Computational Complexity
New submissions
[ showing up to 2000 entries per page: fewer  more ]
New submissions for Mon, 10 May 21
 [1] arXiv:2105.02908 [pdf, ps, other]

Title: Variety Evasive Subspace FamiliesAuthors: Zeyu GuoComments: CCC 2021Subjects: 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 blackbox 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 polynomialtime blackbox PIT algorithm for depth4 arithmetic circuits with bounded top fanin and bottom fanin that are not in the SylvesterGallai configuration, improving and simplifying a result of Gupta (ECCC TR 14130).
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 $nk=\Omega(n)$, the lower bound is superpolynomial unless $d$ is bounded. The proof uses a dimensioncounting argument on Chow varieties that parametrize projective subvarieties.
Crosslists for Mon, 10 May 21
 [2] arXiv:2105.03028 (crosslist from cs.DS) [pdf, other]

Title: Improved Approximation for Longest Common Subsequence over Small AlphabetsSubjects: 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 (crosslist from quantph) [pdf, other]

Title: The complexity of a quantum system and the accuracy of its descriptionAuthors: Yuri I. OzhigovComments: Latex, 20 pages, 3 figuresSubjects: Quantum Physics (quantph); Computational Complexity (cs.CC); Chaotic Dynamics (nlin.CD); Computational Physics (physics.compph)
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 coordinatemomentum 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 nonzero 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 (crosslist from cs.AI) [pdf, ps, other]

Title: Solving the Workflow Satisfiability Problem using General Purpose SolversComments: Associated data: this http URLSubjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Cryptography and Security (cs.CR)
The workflow satisfiability problem (WSP) is a wellstudied 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 realworld 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 userindependent (UI) constraints is fixedparameter tractable (FPT). However, restriction to the UI constraints might be impractical.
To efficiently handle nonUI 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 nonUI constraints is reasonable, WSP can be solved in FPT time.
Extending the results from Karapetyan et al. (2019), we demonstrate that generalpurpose solvers are capable of achieving FPTlike 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 FPTaware 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 NormSubjects: Computational Complexity (cs.CC); Quantum Physics (quantph)
 [6] arXiv:2102.10027 (replaced) [pdf, ps, other]

Title: Sorting Short IntegersSubjects: Computational Complexity (cs.CC)
 [7] arXiv:1909.06437 (replaced) [pdf, other]

Title: The Computational Complexity of Finding Temporal Paths under Waiting Time ConstraintsSubjects: 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 graphsSubjects: Quantum Physics (quantph); Computational Complexity (cs.CC)
[ showing up to 2000 entries per page: fewer  more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, cs, recent, 2105, contact, help (Access key information)