https://arxiv.org/api/uegRCzbqReg1PkW9/CJpTFub8Go 2026-06-11T00:54:09Z 12933 390 15 http://arxiv.org/abs/2604.04830v2 2026-04-13T11:14:59Z

A propositional proof system $P$ has the strong feasible disjunction property iff there is a constant $c \geq 1$ such that whenever $P$ admits a size $s$ proof of $\bigvee_i α_i$ with no two $α_i$ sharing an atom then one of $α_i$ has a $P$-proof of size $\le s^c$. We combine the work of Ilango (2025) and Ren et al. (2025) with the gadget proof complexity generator of K. (2007) and rule out the property for strong enough proof systems under the following two hypotheses: - there exists a language in class E that requires exponential size circuits even if they are allowed to query an NP oracle, - there exists a P/poly demi-bit in the sense of Rudich (1997).

2026-04-06T16:32:46Z revision: more background info added Jan Krajicek http://arxiv.org/abs/2501.12282v2 2026-04-13T10:06:17Z

This work shows new results on the complexity of games Jelly-No and Hanano with various constraints on the size of the board and number of colours. Hanano and Jelly-No are one-player, 2D side-view puzzle games with a dynamic board consisting of coloured, movable blocks disposed on platforms. These blocks can be moved by the player and are subject to gravity. Both games, created by Qrostar and available online, somehow vary in their gameplay, but the goal is always to move the coloured blocks in order to reach a specific configuration and make them interact with each other or with other elements of the game. In Jelly-No the goal is to merge all blocks of the same colour, which happens when they make contact. In Hanano the goal is to make all the coloured blocks bloom by making contact with flowers that have the same colour. Jelly-No was proven by Chao Yang to be NP-complete under the restriction that all movable blocks have the same colour and NP-hard for more colours. Hanano was proven by Michael C. Chavrimootoo to be PSPACE-complete under the restriction that all movable blocks have the same colour. However, the question of PSPACE-completeness for Jelly-No with more than one colours was left open. In this paper, we settle this question, proving that Jelly-No is PSPACE-complete with an unbounded number of colours. We further show that, if we allow black jellies (that is, jellies that cannot and do not need to merge), the game is PSPACE-complete even for one colour. We further show that one-colour Jelly-No and Hanano remain NP-hard even if the width or the height of the board are constants.

2025-01-21T16:52:46Z 28 pages, 30 figures Owen Crabtree Valia Mitsou http://arxiv.org/abs/2508.05597v4 2026-04-13T07:17:28Z

We prove that computing the deterministic communication complexity of a Boolean function, given its truth table, is \textsf{NP}-complete in the standard protocol-tree-depth model, addressing a meta-complexity question raised by Yao in 1979. The reduction is from \(\{0,1\}\)-Vector Bin Packing and produces, in polynomial time, a communication matrix whose optimal protocol depth exhibits a one-bit gap between satisfiable and unsatisfiable instances. The main technical contribution is the \emph{relaxed-interlacing} framework that makes this reduction possible. It replaces exponential-size Cartesian products with polynomial-size almost \(t\)-wise independent column sets, a pseudorandom substitute for full products, while preserving the lower-bound and protocol-control statements needed for the reduction. We develop these statements in two stages: first for classical interlacing, where projection arguments give clean lower bounds and separation statements, and then for relaxed interlacing, where a bridge lemma recovers the classical lower-bound and separation statements with controlled density loss. This leads to an extension theorem that lifts the classical lower bound to the relaxed setting and a near-exact separation theorem that lifts the corresponding protocol-control statement, with the present \textsf{NP}-completeness theorem as their main application here.

2025-08-07T17:39:40Z Substantial revision. The paper now focuses on the NP-completeness result and the relaxed-interlacing framework. The previous lower-bound inheritance step (Lemma 6 in v3) was too strong as stated; the revised proof removes that shortcut and instead carries out the full vector-valued density-amplification induction. The additive-inapproximability direction will appear separately Serge Gaspers Tao Zixu He Simon Mackenzie http://arxiv.org/abs/2506.03435v2 2026-04-13T02:26:15Z

Non-Hermitian (NH) quantum systems demonstrate striking differences from their Hermitian counterparts, leading to claims of NH advantage in areas ranging from metrology to entanglement generation. We show that in the context of quantum computation, any such NH advantage is unlikely to be scalable as an efficient computational resource: if coherent normalized non-unitary evolution could be realized with only polynomial overhead, then the resulting model could implement postselection, implying implausibly strong complexity-theoretic power under standard assumptions. We define NHBQP(U) as the computational power of poly-size quantum circuits that, in addition to a standard universal unitary gate set, may apply a fixed gate U on $O(1)$ qubits that is not proportional to a unitary, with the state renormalized after each use of U. We prove this model is powerful enough to decide PostBQP. In the standard uniform circuit-family model this characterization is tight: for any fixed such U, NHBQP(U)=PostBQP=PP. PostBQP is believed intractable, so this suggests that any scalable NH computational advantage must come with a cost limiting its efficiency. Additionally, we study locality-preserving purifications of restricted classes of non-unitary systems. Using this framework, we show that unitary gates with postselection can simulate not only evolution under NH Hamiltonians but arbitrary quantum trajectories. Any NH model whose purification lies in a strongly simulable unitary family (e.g., Clifford, matchgate, or low-bond-dimension tensor-network circuits) remains efficiently classically simulable, provided the relevant postselected events occur with probability $Ω(2^{-\text{poly}(n)})$. Thus adding non-Hermiticity to a universal unitary system makes it infeasibly computationally powerful, while adding it to a strongly simulable system adds no computational power in this setting.

2025-06-03T22:35:28Z 16+4 pages, comments welcome; V2: significant edits, results reframed in terms of formally defined complexity class Brian Barch Daniel Lidar http://arxiv.org/abs/2604.10819v1 2026-04-12T21:17:43Z

A recent line of work initiated by Chiesa and Gur and further developed by Herman and Rothblum investigates the sample and communication complexity of verifying properties of distributions with the assistance of a powerful, knowledgeable, but untrusted prover. In this work, we initiate the study of differentially private (DP) distribution property testing. After all, if we do not trust the prover to help us with verification, why should we trust it with our sensitive sample? We map a landscape of DP prover-aided proofs of properties of distributions. In the non-private case it is known that one-round (two message) private-coin protocols can have substantially lower complexity than public-coin AM protocols, but in the private case, the possibility for improvement depends on the parameter regime and privacy model. Drawing on connections to replicability and techniques for amplification, we show: (1) There exists a reduction from any one-round $(\varepsilon,δ)$-DP private-coin interactive proof to a one-round public-coin DP interactive proof with the same privacy parameters, for the parameter regime $\varepsilon=O(1/\sqrt{n})$ and $δ=O(1/n^{5/2})$, and with the same sample and communication complexities. (2) If the verifier's message in the private-coin interactive proof is $O(1/\sqrt{\log n})$ locally DP -- a far more relaxed privacy parameter regime in a different model -- then applying one additional transformation again yields a one-round public-coin protocol with the same privacy bound and the same sample and computational complexities. (3) However, when the privacy guarantee is very relaxed ($\varepsilon\inΩ(\log n)$), private coins indeed reduce complexity. We also obtain a Merlin-Arthur (one-message) proof for privately testing whether samples are drawn from a product distribution, and prove that its sample complexity is optimal.

2026-04-12T21:17:43Z Elbert Du Cynthia Dwork Pranay Tankala Linjun Zhang http://arxiv.org/abs/2402.00791v2 2026-04-12T16:54:54Z

We introduce Hausdorff (complexity) classes, which provide canonical characterizations of the intermediate levels of the iterated exponential hierarchies, including the Polynomial Hierarchy, the (Weak) Exponential Hierarchy, and higher-order exponential hierarchies. As certificates characterize main hierarchy levels without oracles, Hausdorff classes give an oracle-free characterization of intermediate hierarchy levels. The Hausdorff perspective provides a structural explanation for many known equivalences between oracle classes. In particular, seemingly different oracle classes corresponding to the same intermediate level are shown to arise from just three different, yet equivalent, oracle-aided approaches to deciding languages in a single Hausdorff class, thus replacing multiple oracle-based views with a unique characterization. It also explains the collapse of the Strong Exponential Hierarchy, showing that $\mathrm{P}^{\mathrm{NExp}} = \mathrm{NP}^{\mathrm{NExp}}$ arises because both classes coincide with the same Hausdorff class, thereby resolving a question of Hemachandra. Finally, we define canonical complete problems yielding matching lower bounds for $\mathrm{P}^{\mathrm{NExp[Log]}}$ problems whose hardness was left open due to the lack of known $\mathrm{P}^{\mathrm{NExp[Log]}}$-complete problems.

2024-02-01T17:23:21Z In-depth revision; ii + 107 pages, 2 figures Enrico Malizia http://arxiv.org/abs/2507.14462v5 2026-04-12T13:54:00Z

The \emph{Single-Source Personalized PageRank} (SSPPR) query is central to graph OLAP, measuring the probability $π(s,t)$ that an $α$-decay random walk from node $s$ terminates at $t$. Despite decades of research, a significant gap remains between upper and lower bounds for its computational complexity. Existing upper bounds are $O\left(\min\left(\frac{\log(1/ε)}{ε^2}, \frac{\sqrt{m \log n}}ε, m \log \frac{1}ε\right)\right)$ for SSPPR-A and $O\left(\min\left(\frac{\log(1/n)}δ, \sqrt{m \log(n/δ)}, m \log \left(\frac{\log(n)}{mδ}\right)\right)\right)$ for SSPPR-R, with trivial lower bounds of $Ω(\min(n,1/ε))$ and $Ω(\min(n,1/δ))$. This work narrows or closes this gap. We improve the upper bounds for SSPPR-A and SSPPR-R to $O\left(\frac{1}{ε^2}\right)$ and $O\left(\min\left(\frac{\log(1/δ)}δ, m + n \log(n) \log \left(\frac{\log(n)}{mδ}\right)\right)\right)$, respectively, offering improvements by factors of $\log(1/ε)$ and $\log\left(\frac{\log(n)}{mδ}\right)$. On the lower bound side, we establish stronger results: $Ω(\min(m, 1/ε^2))$ for SSPPR-A and $Ω(\min(m, \frac{\log(1/δ)}δ))$ for SSPPR-R, strengthening theoretical foundations. Our upper and lower bounds for SSPPR-R coincide for graphs with $m \in Ω(n \log^2 n)$ and any threshold $δ, 1/δ\in O(\text{poly}(n))$, achieving theoretical optimality in most graph regimes. The SSPPR-A query attains partial optimality for large error thresholds, matching our new lower bound. This is the first optimal result for SSPPR queries. Our techniques generalize to the Single-Target Personalized PageRank (STPPR) query, improving its lower bound from $Ω(\min(n, 1/δ))$ to $Ω(\min(m, \frac{n}δ \log n))$, matching the upper bound and revealing its optimality.

2025-07-19T03:32:08Z To appear in PODS 2026 Xinpeng Jiang Haoyu Liu Siqiang Luo Xiaokui Xiao http://arxiv.org/abs/2509.13819v3 2026-04-12T07:47:47Z

We study two positional games played on hypergraphs, whose edges may be interpreted as winning sets. Two players take turns picking a previously unpicked vertex of the hypergraph. We say a player fills an edge if that player has picked all the vertices of that edge. In the Maker-Maker convention, whoever first fills an edge wins, or we get a draw if no edge is filled. In the Maker-Breaker convention, the first player aims at filling an edge while the second player aims at preventing the first player from filling an edge. Our main result is that, for both games, deciding whether the first player has a winning strategy is a PSPACE-complete problem even when restricted to 4-uniform hypergraphs (of bounded maximum degree). For the Maker-Maker convention, this improves on the known PSPACE-completeness result for hypergraphs of rank 4. For the Maker-Breaker convention, this improves on the known PSPACE-completeness result for 5-uniform hypergraphs, and closes the complexity gap since the problem for hypergraphs of rank 3 is known to be solvable in polynomial time. As a corollary of our construction, we actually get a stronger result: deciding whether the first player has a winning strategy for the vertex-$C_4$-game played on arbitrary graphs, where the winning sets are the vertex sets of 4-cycles, is a PSPACE-complete problem for both conventions.

2025-09-17T08:36:11Z This version includes the corollary about the vertex-$C_4$-game Florian Galliot http://arxiv.org/abs/2604.10457v1 2026-04-12T04:41:44Z

Noisy $k$-XOR is a basic average-case inference problem in which one observes random noisy $k$-ary parity constraints and seeks to recover, or more weakly, detect, a hidden Boolean assignment. A central question is to characterize the tradeoff among sample complexity, noise level, and running time. We give a recovery algorithm, and hence also a detection algorithm, for noisy $k$-XOR in the high-noise regime. For every parameter $D$, our algorithm runs in time $n^{D+O(1)}$ and succeeds whenever $$ m \ge C_k \frac{n^{k/2}}{D^{\,k/2-1}δ^2}, $$ where $C_k$ is an explicit constant depending only on $k$, and $δ$ is the noise bias. Our result matches the best previously known time--sample tradeoff for detection, while simultaneously yielding recovery guarantees. In addition, the dependence on the noise bias $δ$ is optimal up to constant factors, matching the information-theoretic scaling. We also prove matching low-degree lower bounds. In particular, we show that the degree-$D$ low-degree likelihood ratio has bounded $L^2$-norm below the same threshold, up to the same factor $D^{k/2-1}$. Under the low-degree heuristic, this implies that our algorithm is near-optimal over a broad range of parameters. Our approach combines a refined second-moment analysis with color coding and dynamic programming for structured hypergraph embedding statistics. These techniques may be of independent interest for other average-case inference problems.

2026-04-12T04:41:44Z 59 pages Songtao Mao http://arxiv.org/abs/2602.09385v2 2026-04-12T04:19:05Z

We show an unconditional classical oracle separation between the class of languages that can be verified using a quantum proof ($\mathsf{QMA}$) and the class of languages that can be verified with a classical proof ($\mathsf{QCMA}$). Compared to the recent work of Bostanci, Haferkamp, Nirkhe, and Zhandry (STOC 2026), our proof is conceptually and technically simpler, and readily extends to other oracle separations. In particular, our techniques yield the first unconditional classical oracle separation between the class of languages that can be decided with quantum advice ($\mathsf{BQP}/\mathsf{qpoly}$) and the class of languages that can be decided with classical advice ($\mathsf{BQP}/\mathsf{poly}$), improving on the quantum oracle separation of Aaronson and Kuperberg (CCC 2007) and the classically-accessible classical oracle separation of Li, Liu, Pelecanos and Yamakawa (ITCS 2024). Our oracles are based on the code intersection problem introduced by Yamakawa and Zhandry (FOCS 2022), combined with codes that have extremely good list-recovery properties.

2026-02-10T03:53:09Z John Bostanci Andrew Huang Vinod Vaikuntanathan http://arxiv.org/abs/2604.04188v2 2026-04-11T11:36:38Z

In the noisy $k$-XOR problem, one is given $y \in \mathbb{F}_2^M$ and must distinguish between $y$ uniform and $y = A x + e$, where $A$ is the adjacency matrix of a $k$-left-regular bipartite graph with $N$ variables and $M$ constraints, $x\in \mathbb{F}_2^N$ is random, and $e$ is noise with rate $η$. Lower bounds in restricted computational models such as Sum-of-Squares and low-degree polynomials are closely tied to the expansion of $A$, leading to conjectures that expansion implies hardness. We show that such conjectures are false by constructing an explicit family of graphs with near-optimal expansion for which noisy $k$-XOR is solvable in polynomial time. Our construction combines two powerful directions of work in pseudorandomness and coding theory that have not been previously put together. Specifically, our graphs are based on the lossless expanders of Guruswami, Umans and Vadhan (JACM 2009). Our key insight is that by an appropriate interpretation of the vertices of their graphs, the noisy XOR problem turns into the problem of decoding Reed-Muller codes from random errors. Then we build on a powerful body of work from the 2010s correcting from large amounts of random errors. Putting these together yields our construction. Concretely, we obtain explicit families for which noisy $k$-XOR is polynomial-time solvable at constant noise rate $η= 1/3$ for graphs with $M = 2^{O(\log^2 N)}$, $k = (\log N)^{O(1)}$, and $(N^{1-α}, 1-o(1))$-expansion. Under standard conjectures on Reed-Muller codes over the binary erasure channel, this extends to families with $M = N^{O(1)}$, $k=(\log N)^{O(1)}$, expansion $(N^{1-α}, 1-o(1))$ and polynomial-time algorithms at noise rate $η= N^{-c}$.

2026-04-05T17:07:11Z Jarosław Błasiok Paul Lou Alon Rosen Madhu Sudan http://arxiv.org/abs/2510.08577v3 2026-04-10T22:52:01Z

We introduce Psi-Turing Machines (Psi-TM): classical Turing machines equipped with a constant-depth introspection interface $ ι$ and an explicit per-step information budget $ B(d,n)=c\,d\log_2 n $. With the interface frozen, we develop an information-theoretic lower-bound toolkit: Budget counting, $ Ψ$-Fooling, and $ Ψ$-Fano, with worked examples $ L_k $ and $ L_k^{\mathrm{phase}} $. We prove an oracle-relative separation $ P^Ψ \neq NP^Ψ $ and a strict depth hierarchy, reinforced by an Anti-Simulation Hook that rules out polynomial emulation of $ ι_k $ using many calls to $ ι_{k-1} $ under the budget regime. We also present two independent platforms (Psi-decision trees and interface-constrained circuits IC-AC$^{0}$/IC-NC$^{1}$) and bridges that transfer bounds among machine, tree, and circuit with explicit poly/log losses. The model preserves classical computational power outside $ ι$ yet enables precise oracle-aware statements about barriers (relativization; partial/conditional progress on natural proofs and proof complexity). The aim is a standardized minimal introspection interface with clearly accounted information budgets.

2025-08-29T14:13:44Z Withdrawn by the author due to major drafting errors and internal inconsistencies, including duplicated sections, conflicting claims, and incorrect complexity-class statements. This version should not be relied upon; the paper is withdrawn pending a full rewrite and verification Rafig Huseynzade http://arxiv.org/abs/2408.00243v2 2026-04-10T18:51:54Z

Zero-knowledge proofs (ZKPs) enable computational integrity and privacy by allowing one party to prove the truth of a statement without revealing underlying data. Compared with alternatives such as homomorphic encryption and secure multiparty computation, ZKPs offer distinct advantages in universality and minimal trust assumptions, with applications spanning blockchain systems and confidential verification of computational tasks. This survey provides a technical overview of ZKPs with a focus on an increasingly relevant subset called zkSNARKs. Unlike prior surveys emphasizing algorithmic and theoretical aspects, we take a broader view of practical deployments and recent use cases across multiple domains including blockchain privacy, scaling, storage, and interoperability, as well as non-blockchain applications such as voting, authentication, timelocks, and machine learning. To support consistent comparison, we provide (i) a taxonomy of application areas, (ii) evaluation criteria including proof size, prover and verifier time, memory, and setup assumptions, and (iii) comparative tables summarizing key tradeoffs and representative systems. The survey also covers supporting infrastructure, including zero-knowledge virtual machines, domain-specific languages, libraries, and frameworks. While emphasizing zkSNARKs for their prevalence in deployed systems, we compare them with zkSTARKs and Bulletproofs to clarify transparency and performance tradeoffs. We conclude with future research and application directions.

2024-08-01T02:47:30Z 30 pages, 7 figures, 11 tables Ryan Lavin Xuekai Liu Hardhik Mohanty Logan Norman Giovanni Zaarour Bhaskar Krishnamachari http://arxiv.org/abs/2604.09790v1 2026-04-10T18:12:21Z

This contribution investigates the computational complexity of simulating linear ordinary differential equations (ODEs) on digital computers. We provide an exact characterization of the complexity blowup for a class of ODEs of arbitrary order based on their algebraic properties, extending previous characterization of first order ODEs. Complexity blowup indeed arises in most ODEs (except for certain degenerate cases) and means that there exists a low complexity input signal, which can be generated on a Turing machine in polynomial time, leading to a corresponding high complexity output signal of the system in the sense that the computation time for determining an approximation up to $n$ significant digits grows faster than any polynomial in $n$. Similarly, we derive an analogous blowup criterion for a subclass of first-order systems of linear ODEs. Finally, we discuss the implications for the simulation of analog systems governed by ODEs and exemplarily apply our framework to a simple model of neuronal dynamics$-$the leaky integrate-and-fire neuron$-$heavily employed in neuroscience.

2026-04-10T18:12:21Z Adalbert Fono Noah Wedlich Holger Boche Gitta Kutyniok http://arxiv.org/abs/1610.00353v13 2026-04-10T17:48:08Z

Background: Combinatorial optimization problems (COPs) are central to Logistics and Supply Chain decision making, yet their NP-hardness prevents exact optimal solutions in reasonable time. Methods: This work addresses that limitation by developing a novel ternary network flow linear programming (LP) model of the assignment problem (AP) polytope. The model is very large scale (with Θ(m^9) variables and Θ(m^8) constraints, where m is the number of assignments). Although not intended to compete with conventional two-dimensional formulations of the AP with respect to solution procedures, it enables hard COPs to be solved exactly as "strict" (integrality requirements-free) LPs through simple transformations of their cost functions. Illustrations are given for the quadratic assignment problem (QAP) and the traveling salesman problem (TSP). Results: Because the proposed LP model is polynomial-sized and there exist polynomial-time algorithms for solving LPs, it affirms "P = NP." A separable substructure of the model shows promise for practical-scale instances due to its suitability for large-scale optimization techniques such as dantzig-Wolfe Decomposition, Column Generation, and Lagrangian Relaxation. The formulation also has greater robutness relative to standard network flow models. Conclusiuons: Overall, tyhe approach provides a systematic , modeling-barrier-free framework for representing NP-complete problems as polynomial-sized LPs, with clear theoretical interest and practical potential for medium to lrage-scale Logistics and other COP-intensive applications.

2016-10-02T21:31:19Z PDF Copy of the actual version that was published + Results of an assessment by the Grok AI Logistics 2026, Volume 10, Issue 3, 63; Link: https://www.mdpi.com/2305-6290/10/3/63/pdf Moustapha Diaby