Quantum state testing beyond the polarizing regime and quantum triangular discrimination

• URL: http://arxiv.org/abs/2303.01952v5
• Date: Sun, 31 Aug 2025 03:25:03 GMT
• Title: Quantum state testing beyond the polarizing regime and quantum triangular discrimination
• Authors: Yupan Liu,
• Abstract summary: We introduce proper quantum analogs for the time-bounded distribution testing problems with respect to triangular discrimination and the Jensen-Shannon divergence.<n>Our work introduces proper quantum analogs for these problems by defining quantum counterparts for triangular discrimination.<n>These new $mathsfQSZK$-complete problems improve $mathsfQSZK$ containments of $mathrmQSDP$ beyond the polarizing regime.
• Score: 0.2538209532048867
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: The complexity class Quantum Statistical Zero-Knowledge ($\mathsf{QSZK}$) captures computational difficulties of the time-bounded quantum state testing problem with respect to the trace distance, deciding whether $\mathrm{T}(\rho_0,\rho_1)$ is at least $\alpha$ or at most $\beta$, known as the Quantum State Distinguishability Problem ($\mathrm{QSDP}$) introduced by Watrous (FOCS 2002). However, $\mathrm{QSDP}[\alpha,\beta]$ is in $\mathsf{QSZK}$ only within the constant polarizing regime, where $\alpha$ and $\beta$ are constants satisfying $\alpha^2 > \beta$ (rather than $\alpha > \beta$), similar to its classical counterpart shown by Sahai and Vadhan (JACM 2003) due to the polarization lemma (error reduction for $\mathrm{SDP}$). Recently, Berman, Degwekar, Rothblum, and Vasudevan (TCC 2019) extended the $\mathsf{SZK}$ containment of $\mathrm{SDP}$ beyond the polarizing regime via the time-bounded distribution testing problems with respect to the triangular discrimination and the Jensen-Shannon divergence. Our work introduces proper quantum analogs for these problems by defining quantum counterparts for triangular discrimination. We investigate whether the quantum analogs behave similarly to their classical counterparts and examine the limitations of existing approaches to polarization regarding quantum distances. These new $\mathsf{QSZK}$-complete problems improve $\mathsf{QSZK}$ containments of $\mathrm{QSDP}$ beyond the polarizing regime and establish a simple $\mathsf{QSZK}$-hardness for the quantum entropy difference problem ($\mathrm{QEDP}$) defined by Ben-Aroya, Schwartz, and Ta-Shma (ToC 2010). Furthermore, we prove that $\mathrm{QSDP}$ with some exponentially small errors is in $\mathsf{PP}$, while the same problem without error is in $\mathsf{NQP}$.

Related papers

• Fine-Grained Complexity for Quantum Problems from Size-Preserving Circuit-to-Hamiltonian Constructions [1.43494686131174]
  We show that the 3-local Hamiltonian problem on $n$ qubits cannot be solved classically in time $O(2(1-varepsilon)n)$ for any $varepsilon>0$ under the Strong Exponential-Time Hypothesis (SETH)<n>We provide a quantum algorithm that runs in $O(sqrt2n)$ time for an arbitrary $1/mathrmpoly(n)$ relative error, matching our lower bounds and improving the state-of-the-art algorithm by Bravyi, Chowdhury, Goss
  arXiv  Detail & Related papers  (2026-02-16T01:11:55Z)
• Collapses in quantum-classical probabilistically checkable proofs and the quantum polynomial hierarchy [0.7321157455672144]
  We show that restricting quantum-classical PCPs unique to proofs does not reduce their power.<n>We also prove a non-uniform quantum analogue of the Karp-Lipton theorem.<n>These results offer new insights into the structure of quantum proof systems.
  arXiv  Detail & Related papers  (2025-06-24T16:59:50Z)
• On the complexity of unique quantum witnesses and quantum approximate counting [2.4475760284813255]
  We show a quantum oracle separation between $mathsfBQPmathsfUniqueQMA$ and $mathsfQMA$.<n>We then ask a natural question; what structural properties of the local Hamiltonian problem can we exploit?<n>We introduce a physically motivated candidate by showing that the ground energy of local Hamiltonians can be estimated through a $mathsfUniqueQMA$ protocol.
  arXiv  Detail & Related papers  (2024-10-31T10:53:51Z)
• Oracle Separations for the Quantum-Classical Polynomial Hierarchy [0.0]
  We study the quantum-classical hierarchy, QCPH, which is the class of languages solvable by a constant number of alternating classical quantifiers. We give a new switching lemma for quantum algorithms which may be of independent interest.
  arXiv  Detail & Related papers  (2024-10-24T18:12:03Z)
• Quantum PCPs: on Adaptivity, Multiple Provers and Reductions to Local Hamiltonians [0.0]
  We show that non-adaptive quantum PCPs can simulate adaptive quantum PCPs when the number of proof queries is constant. We also show that there exists (quantum) oracles relative to which certain quantum PCP statements are false.
  arXiv  Detail & Related papers  (2024-03-07T19:00:06Z)
• The Power of Unentangled Quantum Proofs with Non-negative Amplitudes [55.90795112399611]
  We study the power of unentangled quantum proofs with non-negative amplitudes, a class which we denote $textQMA+(2)$. In particular, we design global protocols for small set expansion, unique games, and PCP verification. We show that QMA(2) is equal to $textQMA+(2)$ provided the gap of the latter is a sufficiently large constant.
  arXiv  Detail & Related papers  (2024-02-29T01:35:46Z)
• Flying-cat parity checks for quantum error correction [0.0]
  Long range, multi-qubit parity checks have applications in both quantum error correction and measurement-based entanglement generation. We consider "flying-cat" parity checks based on an entangling operation that is quantum non-demolition (QND) for Schr"odinger's cat states $vertalpharanglepm vert-alpharangle$.
  arXiv  Detail & Related papers  (2024-02-26T20:18:21Z)
• Quantum Polynomial Hierarchies: Karp-Lipton, error reduction, and lower bounds [1.3927943269211591]
  This work studies three quantum-verifier based generalizations of $mathsfPH$. We first resolve several open problems from [GSSSY22], including a collapse theorem and a Karp-Lipton theorem for $mathsfQCPH$. We show one-sided error reduction for $mathsfpureQPH$, as well as the first bounds relating these quantum variants of $mathsfPH$.
  arXiv  Detail & Related papers  (2024-01-03T09:12:25Z)
• $\mathcal{PT}$-symmetric mapping of three states and its implementation on a cloud quantum processor [0.9599644507730107]
  We develop a new $mathcalPT$-symmetric approach for mapping three pure qubit states. We show consistency with the Hermitian case, conservation of average projections on reference vectors, and Quantum Fisher Information. Our work unlocks new doors for applying $mathcalPT$-symmetry in quantum communication, computing, and cryptography.
  arXiv  Detail & Related papers  (2023-12-27T18:51:33Z)
• Cubic* criticality emerging from a quantum loop model on triangular lattice [5.252398154171938]
  We show that the triangular lattice quantum loop model (QLM) hosts a rich ground state phase diagram with nematic, vison plaquette (VP) crystals, and the $mathbb$ quantum spin liquid (QSL) close to the Rokhsar-Kivelson quantum critical point. These solutions are of immediate relevance to both statistical and quantum field theories, as well as the rapidly growing experiments in Rydberg atom arrays and quantum moir'e materials.
  arXiv  Detail & Related papers  (2023-09-11T18:00:05Z)
• Quantum Lower Bounds by Sample-to-Query Lifting [7.319050391449301]
  We propose an arguably new method for proving quantum query lower bounds by a quantum sample-to-query lifting theorem. We provide unified proof for some known lower bounds, including those for phase/amplitude estimation and Hamiltonian simulation.
  arXiv  Detail & Related papers  (2023-08-03T14:41:49Z)
• Quantum and classical low-degree learning via a dimension-free Remez inequality [52.12931955662553]
  We show a new way to relate functions on the hypergrid to their harmonic extensions over the polytorus. We show the supremum of a function $f$ over products of the cyclic group $exp(2pi i k/K)_k=1K$. We extend to new spaces a recent line of work citeEI22, CHP, VZ22 that gave similarly efficient methods for learning low-degrees on hypercubes and observables on qubits.
  arXiv  Detail & Related papers  (2023-01-04T04:15:40Z)
• Quantum Depth in the Random Oracle Model [57.663890114335736]
  We give a comprehensive characterization of the computational power of shallow quantum circuits combined with classical computation. For some problems, the ability to perform adaptive measurements in a single shallow quantum circuit is more useful than the ability to perform many shallow quantum circuits without adaptive measurements.
  arXiv  Detail & Related papers  (2022-10-12T17:54:02Z)
• Beyond the Berry Phase: Extrinsic Geometry of Quantum States [77.34726150561087]
  We show how all properties of a quantum manifold of states are fully described by a gauge-invariant Bargmann. We show how our results have immediate applications to the modern theory of polarization.
  arXiv  Detail & Related papers  (2022-05-30T18:01:34Z)
• A lower bound on the space overhead of fault-tolerant quantum computation [51.723084600243716]
  The threshold theorem is a fundamental result in the theory of fault-tolerant quantum computation. We prove an exponential upper bound on the maximal length of fault-tolerant quantum computation with amplitude noise.
  arXiv  Detail & Related papers  (2022-01-31T22:19:49Z)
• On quantum algorithms for the Schr\"odinger equation in the semi-classical regime [27.175719898694073]
  We consider Schr"odinger's equation in the semi-classical regime. Such a Schr"odinger equation finds many applications, including in Born-Oppenheimer molecular dynamics and Ehrenfest dynamics.
  arXiv  Detail & Related papers  (2021-12-25T20:01:54Z)
• Uncertainties in Quantum Measurements: A Quantum Tomography [52.77024349608834]
  The observables associated with a quantum system $S$ form a non-commutative algebra $mathcal A_S$. It is assumed that a density matrix $rho$ can be determined from the expectation values of observables. Abelian algebras do not have inner automorphisms, so the measurement apparatus can determine mean values of observables.
  arXiv  Detail & Related papers  (2021-12-14T16:29:53Z)
• Threshold Phenomena in Learning Halfspaces with Massart Noise [56.01192577666607]
  We study the problem of PAC learning halfspaces on $mathbbRd$ with Massart noise under Gaussian marginals. Our results qualitatively characterize the complexity of learning halfspaces in the Massart model.
  arXiv  Detail & Related papers  (2021-08-19T16:16:48Z)
• Realization of arbitrary doubly-controlled quantum phase gates [62.997667081978825]
  We introduce a high-fidelity gate set inspired by a proposal for near-term quantum advantage in optimization problems. By orchestrating coherent, multi-level control over three transmon qutrits, we synthesize a family of deterministic, continuous-angle quantum phase gates acting in the natural three-qubit computational basis.
  arXiv  Detail & Related papers  (2021-08-03T17:49:09Z)
• Adiabatic Quantum Graph Matching with Permutation Matrix Constraints [75.88678895180189]
  Matching problems on 3D shapes and images are frequently formulated as quadratic assignment problems (QAPs) with permutation matrix constraints, which are NP-hard. We propose several reformulations of QAPs as unconstrained problems suitable for efficient execution on quantum hardware. The proposed algorithm has the potential to scale to higher dimensions on future quantum computing architectures.
  arXiv  Detail & Related papers  (2021-07-08T17:59:55Z)
• Q-Match: Iterative Shape Matching via Quantum Annealing [64.74942589569596]
  Finding shape correspondences can be formulated as an NP-hard quadratic assignment problem (QAP) This paper proposes Q-Match, a new iterative quantum method for QAPs inspired by the alpha-expansion algorithm. Q-Match can be applied for shape matching problems iteratively, on a subset of well-chosen correspondences, allowing us to scale to real-world problems.
  arXiv  Detail & Related papers  (2021-05-06T17:59:38Z)
• Quantum learning algorithms imply circuit lower bounds [7.970954821067043]
  We establish the first general connection between the design of quantum algorithms and circuit lower bounds. Our proof builds on several works in learning theory, pseudorandomness, and computational complexity.
  arXiv  Detail & Related papers  (2020-12-03T14:03:20Z)
• Using Quantum Metrological Bounds in Quantum Error Correction: A Simple Proof of the Approximate Eastin-Knill Theorem [77.34726150561087]
  We present a proof of the approximate Eastin-Knill theorem, which connects the quality of a quantum error-correcting code with its ability to achieve a universal set of logical gates. Our derivation employs powerful bounds on the quantum Fisher information in generic quantum metrological protocols.
  arXiv  Detail & Related papers  (2020-04-24T17:58:10Z)
• Quantum Coupon Collector [62.58209964224025]
  We study how efficiently a $k$-element set $Ssubseteq[n]$ can be learned from a uniform superposition $|Srangle of its elements. We give tight bounds on the number of quantum samples needed for every $k$ and $n$, and we give efficient quantum learning algorithms.
  arXiv  Detail & Related papers  (2020-02-18T16:14:55Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.