A phase transition in the exactness of the NPA hierarchy at the critical doubly-tilted CHSH functional

• URL: http://arxiv.org/abs/2607.13774v1
• Date: Wed, 15 Jul 2026 12:34:25 GMT
• Title: A phase transition in the exactness of the NPA hierarchy at the critical doubly-tilted CHSH functional
• Abstract summary: We prove the exact quantum maximum of the doubly-tilted CHSH functional $B_=langle A_0rangle+l B_0rangle+mathrmCHSH$.<n>For all $,ge 1$ and every level the hierarchy is exact, via three explicit rational certificates realizing an affine identity.<n>On the subcritical side we certify the first four levels in exact arithmetic.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Gigena et al. [npj Quantum Inf. 11, 82 (2025)] proved the exact quantum maximum of the doubly-tilted CHSH functional $B_{αβ}=α\langle A_0\rangle+β\langle B_0\rangle+\mathrm{CHSH}$ and observed that the NPA level required to reach it grows without evident bound toward the critical line $α+β=2$. We quantify the mechanism on the symmetric slice $s=2-α-β$: (i) the quantum value leaves the local bound cubically, $c_Q=4-s+s^3/6-s^4/36+O(s^5)$; (ii) each NPA level overshoots quadratically, $c_k(s)=4-s+a_k s^2+O(s^3)$, with the almost-quantum coefficient computed exactly, $a_{1+AB}=3/64$; (iii) the divergence of the required exact level is equivalent to positivity of the single sequence $(a_k)$ - proven for every $k$ in the companion paper. We prove the supercritical side completely: for all $α,β\ge 1$ and every level the hierarchy is exact, via three explicit rational certificates realizing an affine identity. The hierarchy's exactness thus undergoes a phase transition at the critical line. On the subcritical side we certify the first four levels in exact arithmetic (rational pseudo-moments beating $c_Q$, confirmed by Sturm's theorem). We identify the exact mechanism: rescaled to the critical corner, the limiting obstruction is the Motzkin polynomial, the classical nonnegative-but-not-sum-of-squares form, so the finite-level failure sits in the restricted-certificate regime. The phase boundary has a precise geometric reading via Nie's finite-convergence theorem and Marshall's boundary Hessian condition: a self-tested optimum is finitely NPA-certifiable whenever its boundary Hessian is nondegenerate (contact order two), which holds for the single tilt and fails exactly at the doubly-tilted cubic touch. Three verified errata in the published polynomial system of Gigena et al. are documented.

Related papers

• Semidefinite extension complexity of the separable set, with applications to approximate disentanglers [0.6117371161379209]
  We consider semidefinite programs that approximate the maximum acceptance probability of a measurement over separable states.<n>Our proof combines the quantitative pseudo-density theorem of Lee, Raghavendra, and Steurer with explicit block-positive operators and Chebyshev amplification.
  arXiv  Detail & Related papers  (2026-09-08T17:00:11Z)
• The I3322 quantum value is attained spatially but not in finite dimension [0.0]
  Let $S$ be the quantum supremum of the $I_3322$ Bell functional in the Collins-Gisin normalization (classical bound 0; two-qubit maximum exactly 1/4)<n>We prove: (i) no finite-dimensional quantum strategy attains $S$ -- any finite local dimensions, pure or mixed states, projective or POVM measurements -- proving Pal and Vertesi (2010)<n>We also determine the dimension complexity: with $S_d$ the optimum at local dimension $le d$ and $D()=mind:S-S_d
  arXiv  Detail & Related papers  (2026-09-03T15:48:01Z)
• The Kikuchi Hierarchy is Sharp for $k$XOR [46.26532142699448]
  We show that a normalized variant of the Kikuchi hierarchy achieves the sharp conjectured trade-off, with no logarithmic loss, at every arity $kge3$.<n>We also prove matching lower bounds in the same model. The inference and refutation upper bounds transfer to more general planting laws and predicates.
  arXiv  Detail & Related papers  (2026-07-31T17:54:11Z)
• Quantum Speedups for Stochastic Optimization with Heavy-Tailed Noise [49.730496294398726]
  We develop a novel quantum mean estimator for heavy-tailed random variables.<n>We derive stronger lower bounds for tail index>4/3$, showing that a nontrivial dependence on a dimension is unavoidable.<n>For a convex objective function, we propose a quantum projected gradient descent method.
  arXiv  Detail & Related papers  (2026-07-28T09:29:37Z)
• No Finite NPA Level Characterizes the Complete Quantum Set in the Simplest Bell Scenario [0.0]
  We show that emphno finite level is exact.<n>Every standard NPA relaxation based on a fixed finite list of words in the measurement projectors strictly contains the complete quantum set.
  arXiv  Detail & Related papers  (2026-07-16T04:52:11Z)
• No finite level of the NPA hierarchy is exact for the doubly-tilted CHSH functional near the critical tilt [0.0]
  We prove that for every NPA level $kge 2$ there are an explicit rational $g_k>0$ and an $s*_k>0$ with $c_k(s)ge 4-s+g_k s2$ on $(0,s*_k)$.<n>For $kge 3$ no quantum state and no smooth curve of quantum models can realize the gain direction, so the overshoot lives strictly in the non-quantum part of the NPA cone.
  arXiv  Detail & Related papers  (2026-07-15T12:22:23Z)
• Non-asymptotic Tail Bounds for the Kostlan--Shub--Smale Field: Tensor PCA and Spherical $k$-Spin Complexity [0.6627152091494143]
  This paper builds a hierarchy of explicit, non-asymptotic tail bounds for the supremum of the Kostlan--Shub--Smale random field on the sphere.<n>It applies it to two problems: Spiked PCA and the landscape of the spherical $k$-spin model.
  arXiv  Detail & Related papers  (2026-06-16T08:27:25Z)
• Optimal Dimension-Free Sampling for Regularized Classification [56.72526267755301]
  We prove optimal sampling bounds achieving $(1pmvarepsilon)$-relative error for a broad class of Lipschitz continuous classification loss functions.<n>This includes important functions such as logistic and sigmoid loss, hinge loss, and ReLU loss, as prominent and popular representative examples.
  arXiv  Detail & Related papers  (2026-05-22T15:05:33Z)
• Universal Quantum Suppression in Frustrated Ising Magnets across the Quasi-1D to 2D Crossover via Quantum Annealing [0.0]
  competing ferromagnetic and antiferromagnetic couplings generate a sign problem provably intractable for quantum Monte Carlo at any system size.<n>We measure quantum-driven transitions at $g_cmathrmQPUin0.286,,0.210,,0.156,,0.093$ for $in1.0,,0.7,,0.5,,0.3$.
  arXiv  Detail & Related papers  (2026-03-25T13:50:52Z)
• Hardness of High-Dimensional Linear Classification [58.29089693778071]
  We establish new exponential in dimension lower bounds for the Maximum Halfspace Discrepancy problem.<n>Both are fundamental problems in computational geometry and machine learning in their exact and approximate forms.
  arXiv  Detail & Related papers  (2026-03-19T15:53:41Z)
• On the Sparsifiability of Correlation Clustering: Approximation Guarantees under Edge Sampling [6.908972852063454]
  Correlation Clustering (CC) is a fundamental unsupervised learning primitive.<n>We study how much edge information is needed to retain LP-based guarantees.<n>We show via Yao's minimax principle that without pseudometric structure, any algorithm observing $o(n)$ uniformly random edges incurs an approximation ratio.
  arXiv  Detail & Related papers  (2026-02-14T09:12:15Z)
• KPZ scaling from the Krylov space [83.88591755871734]
  Recently, a superdiffusion exhibiting the Kardar-Parisi-Zhang scaling in late-time correlators and autocorrelators has been reported. Inspired by these results, we explore the KPZ scaling in correlation functions using their realization in the Krylov operator basis.
  arXiv  Detail & Related papers  (2024-06-04T20:57:59Z)
• Rigorous derivation of the Efimov effect in a simple model [68.8204255655161]
  We consider a system of three identical bosons in $mathbbR3$ with two-body zero-range interactions and a three-body hard-core repulsion of a given radius $a>0$.
  arXiv  Detail & Related papers  (2023-06-21T10:11:28Z)
• Universality in the tripartite information after global quenches: (generalised) quantum XY models [0.0]
  We consider the R'enyi-$alpha$ tripartite information $I_3(alpha)$ of three adjacent subsystems in the stationary state emerging after global quenches in noninteracting spin chains from both homogeneous and bipartite states. We identify settings in which $I_3(alpha)$ remains nonzero also in the limit of infinite lengths and develop an effective quantum field theory description of free fermionic fields on a ladder.
  arXiv  Detail & Related papers  (2023-02-02T18:50:42Z)
• 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)
• Stochastic behavior of outcome of Schur-Weyl duality measurement [45.41082277680607]
  We focus on the measurement defined by the decomposition based on Schur-Weyl duality on $n$ qubits. We derive various types of distribution including a kind of central limit when $n$ goes to infinity.
  arXiv  Detail & Related papers  (2021-04-26T15:03:08Z)

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.