Computational Complexity

New submissions

• New submissions
• Cross-lists
• Replacements

New submissions for Mon, 10 May 21

[1]  arXiv:2105.02908 [pdf, ps, other]

Title: Variety Evasive Subspace Families

Authors: Zeyu Guo

Comments: CCC 2021

Subjects: Computational Complexity (cs.CC)

We introduce the problem of constructing explicit variety evasive subspace families. Given a family $\mathcal{F}$ of subvarieties of a projective or affine space, a collection $\mathcal{H}$ of projective or affine $k$-subspaces is $(\mathcal{F},\epsilon)$-evasive if for every $\mathcal{V}\in\mathcal{F}$, all but at most $\epsilon$-fraction of $W\in\mathcal{H}$ intersect every irreducible component of $\mathcal{V}$ with (at most) the expected dimension. The problem of constructing such an explicit subspace family generalizes both deterministic black-box polynomial identity testing (PIT) and the problem of constructing explicit (weak) lossless rank condensers.
Using Chow forms, we construct explicit $k$-subspace families of polynomial size that are evasive for all varieties of bounded degree in a projective or affine $n$-space. As one application, we obtain a complete derandomization of Noether's normalization lemma for varieties of bounded degree in a projective or affine $n$-space. In another application, we obtain a simple polynomial-time black-box PIT algorithm for depth-4 arithmetic circuits with bounded top fan-in and bottom fan-in that are not in the Sylvester-Gallai configuration, improving and simplifying a result of Gupta (ECCC TR 14-130).
As a complement of our explicit construction, we prove a lower bound for the size of $k$-subspace families that are evasive for degree-$d$ varieties in a projective $n$-space. When $n-k=\Omega(n)$, the lower bound is superpolynomial unless $d$ is bounded. The proof uses a dimension-counting argument on Chow varieties that parametrize projective subvarieties.

Cross-lists for Mon, 10 May 21

[2]  arXiv:2105.03028 (cross-list from cs.DS) [pdf, other]

Title: Improved Approximation for Longest Common Subsequence over Small Alphabets

Authors: Shyan Akmal, Virginia Vassilevska Williams

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)

This paper investigates the approximability of the Longest Common Subsequence (LCS) problem. The fastest algorithm for solving the LCS problem exactly runs in essentially quadratic time in the length of the input, and it is known that under the Strong Exponential Time Hypothesis the quadratic running time cannot be beaten. There are no such limitations for the approximate computation of the LCS however, except in some limited scenarios. There is also a scarcity of approximation algorithms. When the two given strings are over an alphabet of size $k$, returning the subsequence formed by the most frequent symbol occurring in both strings achieves a $1/k$ approximation for the LCS. It is an open problem whether a better than $1/k$ approximation can be achieved in truly subquadratic time ($O(n^{2-\delta})$ time for constant $\delta>0$).
A recent result [Rubinstein and Song SODA'2020] showed that a $1/2+\epsilon$ approximation for the LCS over a binary alphabet is possible in truly subquadratic time, provided the input strings have the same length. In this paper we show that if a $1/2+\epsilon$ approximation (for $\epsilon>0$) is achievable for binary LCS in truly subquadratic time when the input strings can be unequal, then for every constant $k$, there is a truly subquadratic time algorithm that achieves a $1/k+\delta$ approximation for $k$-ary alphabet LCS for some $\delta>0$. Thus the binary case is the hardest. We also show that for every constant $k$, if one is given two strings of \emph{equal} length over a $k$-ary alphabet, one can obtain a $1/k+\epsilon$ approximation for some constant $\epsilon>0$ in truly subquadratic time, thus extending the Rubinstein and Song result to all alphabets of constant size.

[3]  arXiv:2105.03249 (cross-list from quant-ph) [pdf, other]

Title: The complexity of a quantum system and the accuracy of its description

Authors: Yuri I. Ozhigov

Comments: Latex, 20 pages, 3 figures

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Chaotic Dynamics (nlin.CD); Computational Physics (physics.comp-ph)

The complexity of the quantum state of a multi particle system and the maximum possible accuracy of its quantum description are connected by a relation similar to the coordinate-momentum uncertainty relation. The coefficient in this relation is equal to the maximum physically adequate dimension of the Hilbert space of states. This value is the binary exponent of the maximum number of qubits whose dynamics can be adequately described by quantum theory, and therefore it can be determined experimentally through Grover search algorithm. Such a restriction of the Copenhagen formalism is relevant for complex systems; it gives a natural description of unitary dynamics together with decoherence and measurement, but also implies the existence of a minimum non-zero amplitude size, as well as a restriction on the equality of bases in the state space. The quantization of the amplitude allows us to formally introduce a certain kind of determinism into quantum evolution, which is important for complex systems.

[4]  arXiv:2105.03273 (cross-list from cs.AI) [pdf, ps, other]

Title: Solving the Workflow Satisfiability Problem using General Purpose Solvers

Authors: Daniel Karapetyan, Gregory Gutin

Comments: Associated data: this http URL

Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Cryptography and Security (cs.CR)

The workflow satisfiability problem (WSP) is a well-studied problem in access control seeking allocation of authorised users to every step of the workflow, subject to workflow specification constraints. It was noticed that the number $k$ of steps is typically small compared to the number of users in the real-world instances of WSP; therefore $k$ is considered as the parameter in WSP parametrised complexity research. While WSP in general was shown to be W[1]-hard, WSP restricted to a special case of user-independent (UI) constraints is fixed-parameter tractable (FPT). However, restriction to the UI constraints might be impractical.
To efficiently handle non-UI constraints, we introduce the notion of branching factor of a constraint. As long as the branching factors of the constraints are relatively small and the number of non-UI constraints is reasonable, WSP can be solved in FPT time.
Extending the results from Karapetyan et al. (2019), we demonstrate that general-purpose solvers are capable of achieving FPT-like performance on WSP with arbitrary constraints when used with appropriate formulations. This enables one to tackle most of practical WSP instances. While important on its own, we hope that this result will also motivate researchers to look for FPT-aware formulations of other FPT problems.

Replacements for Mon, 10 May 21

[5]  arXiv:2006.04880 (replaced) [pdf, ps, other]

Title: Quantum Logspace Algorithm for Powering Matrices with Bounded Norm

Authors: Uma Girish, Ran Raz, Wei Zhan

Subjects: Computational Complexity (cs.CC); Quantum Physics (quant-ph)

[6]  arXiv:2102.10027 (replaced) [pdf, ps, other]

Title: Sorting Short Integers

Authors: Michal Koucký, Karel Král

Subjects: Computational Complexity (cs.CC)

[7]  arXiv:1909.06437 (replaced) [pdf, other]

Title: The Computational Complexity of Finding Temporal Paths under Waiting Time Constraints

Authors: Arnaud Casteigts, Anne-Sophie Himmel, Hendrik Molter, Philipp Zschoche

Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC)

[8]  arXiv:2104.14384 (replaced) [pdf, other]

Title: Quantum speedups for dynamic programming on $n$-dimensional lattice graphs

Authors: Adam Glos, Martins Kokainis, Ryuhei Mori, Jevgēnijs Vihrovs

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)

• New submissions
• Cross-lists
• Replacements