We gratefully acknowledge support from
the Simons Foundation and member institutions.

Computational Complexity

New submissions

[ total of 6 entries: 1-6 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Thu, 26 Jan 23

[1]  arXiv:2301.10557 [pdf, other]
Title: PSPACE $\subseteq$ BQP
Authors: Shibdas Roy
Comments: 4 pages, 1 figure
Subjects: Computational Complexity (cs.CC)

The complexity class $PSPACE$ includes all computational problems that can be solved by a classical computer with polynomial memory. All $PSPACE$ problems are known to be solvable by a quantum computer too with polynomial memory and are, therefore, known to be in $BQPSPACE$. Here, we present a polynomial time quantum algorithm for a $PSPACE$-complete problem, implying that $PSPACE$ is a subset of the class $BQP$ of all problems solvable by a quantum computer in polynomial time. In particular, we outline a $BQP$ algorithm for the $PSPACE$-complete problem of evaluating a full binary $NAND$ tree. An existing best of quadratic speedup is achieved using quantum walks for this problem, which is still exponential in the problem size. By contrast, we achieve an exponential speedup for the problem, allowing for solving it in polynomial time. There are many real-world applications of our result, such as strategy games like chess or Go. As an example, in quantum sensing, the problem of quantum illumination, that is treated as that of channel discrimination, is $PSPACE$-complete. Our work implies that quantum channel discrimination, and therefore, quantum illumination, can be performed by a quantum computer in polynomial time.

Cross-lists for Thu, 26 Jan 23

[2]  arXiv:2301.10354 (cross-list from cs.GT) [pdf, other]
Title: The Frontier of Intractability for EFX with Two Agents
Subjects: Computer Science and Game Theory (cs.GT); Computational Complexity (cs.CC)

We consider the problem of sharing a set of indivisible goods among agents in a fair manner, namely such that the allocation is envy-free up to any good (EFX). We focus on the problem of computing an EFX allocation in the two-agent case and characterize the computational complexity of the problem for most well-known valuation classes. We present a simple greedy algorithm that solves the problem when the agent valuations are weakly well-layered, a class which contains gross substitutes and budget-additive valuations. For the next largest valuation class we prove a negative result: the problem is PLS-complete for submodular valuations. All of our results also hold for the setting where there are many agents with identical valuations.

[3]  arXiv:2301.10617 (cross-list from math.LO) [pdf, ps, other]
Title: Extended Nullstellensatz proof systems
Authors: Jan Krajicek
Comments: Preliminary version January 2023
Subjects: Logic (math.LO); Computational Complexity (cs.CC)

For a finite set $\cal F$ of polynomials over fixed finite prime field of size $p$ containing all polynomials $x^2 - x$ a Nullstellensatz proof of the unsolvability of the system $$
f = 0\ ,\ \mbox{ all } f \in {\cal F} $$ in the field is a linear combination $\sum_{f \in {\cal F}} \ h_f \cdot f$ that equals to $1$ in the ring of polynomails. The measure of complexity of such a proof is its degree: $\max_f deg(h_f f)$.
We study the problem to establish degree lower bounds for some {\em extended} NS proof systems: these systems prove the unsolvability of $\cal F$ by proving the unsolvability of a bigger set ${\cal F}\cup {\cal E}$, where set $\cal E$ may use new variables $r$ and contains all polynomials $r^p - r$, and satisfies the following soundness condition: -- - Any $0,1$-assignment $\overline a$ to variables $\overline x$ can be appended by an assignment $\overline b$ to variables $\overline r$ such that for all $g \in {\cal E}$ it holds that $g(\overline a, \overline b) = 0$.
We define a notion of pseudo-solutions of $\cal F$ and prove that the existence of pseudo-solutions with suitable parameters implies lower bounds for two extended NS proof systems ENS and UENS defined in Buss et al. (1996/97). Further we give a combinatorial example of $\cal F$ and candidate pseudo-solutions based on the pigeonhole principle.

[4]  arXiv:2301.10637 (cross-list from math.OC) [pdf, ps, other]
Title: Bit-complexity estimates in geometric programming, and application to the polynomial-time computation of the spectral radius of nonnegative tensors
Comments: 26 pages
Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC)

We show that the spectral radius of nonnegative tensors can be approximated within $\varepsilon$ error in polynomial time. This implies that the maximum of a nonnegative homogeneous $d$-form in the unit ball with respect to $d$-H\"older norm can be approximated in polynomial time. These results are deduced by establishing bit-size estimates for the near-minimizers of functions given by suprema of finitely many log-Laplace transforms of discrete nonnegative measures on $\mathbb{R}^n$. Hence, some known upper bounds for the clique number of hypergraphs are polynomially computable.

Replacements for Thu, 26 Jan 23

[5]  arXiv:2102.04984 (replaced) [pdf, ps, other]
Title: Approximately counting independent sets of a given size in bounded-degree graphs
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Combinatorics (math.CO)
[6]  arXiv:2210.12753 (replaced) [pdf, other]
Title: Google's Quantum Supremacy Claim: Data, Documentation, and Discussion
Comments: v3. 32 pages, 2 figures; v2 and v3 contain a few more details about the Google quantum supremacy experiment and about and our study; v3 - thorough English editing
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)
[ total of 6 entries: 1-6 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, recent, 2301, contact, help  (Access key information)