The I3322 quantum value is attained spatially but not in finite dimension

• URL: http://arxiv.org/abs/2609.05555v1
• Date: Thu, 03 Sep 2026 15:48:01 GMT
• Title: The I3322 quantum value is attained spatially but not in finite dimension
• Abstract summary: 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
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: 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). From a certified window $S\in(0.2508753845015185,0.250875388108398]$ (independently and more tightly enclosed by Mghirbi's prior certificates) and a certified equality of the tensor-product and commuting-operator suprema, we prove: (i) no finite-dimensional quantum strategy attains $S$ -- any finite local dimensions, pure or mixed states, projective or POVM measurements -- proving the conjecture of Pal and Vertesi (2010); (ii) $S$ is attained by a spatial strategy on $\ell^2(\mathbb{Z})\otimes\ell^2(\mathbb{Z})$, the infinite-dimensional attainment those authors asserted, on an independent route. So $C_q(3,3;2,2)$ is not closed -- the smallest two-outcome bipartite scenario by input count where nonclosure is known -- and $C_{qs}(3,3;2,2)\setminus C_q(3,3;2,2)$ is nonempty, settling the attainment question raised by Dykema, Paulsen and Prakash. Nonattainment is proved via a concave critical Bellman storage, exact rational endpoint-exclusion certificates, reflection-gluing and a convex-envelope theorem: finiteness forces an exact maximizer's two equality transports to coincide, capping its value at $1/4<S$. Attainment is proved by disintegrating a commuting maximizer's spectral measure over the orbits of its two response transports, yielding an $\ell^2$ Jacobi eigenvector with inherited normalizability. We also determine the dimension complexity: with $S_d$ the optimum at local dimension $\le d$ and $D(ε)=\min\{d:S-S_d\leε\}$, $D(ε)=Θ(\log(1/ε))$ -- the upper half constructively, with $D(ε)\le 23.9010650\log(1/ε)$; the lower half in a certificate chain in the accompanying repository. Cores of both halves are machine-checked in Lean 4.

Related papers

• Quantum State of a Gravitating Spacetime Region [0.10874100424278173]
  We associate a gravitational Hilbert space $mathbfH_$ to any closed compact $(d-1)$-manifold $$ with real metric.<n>A quantum state $mathcalJ()$ is a $d$-manifold bounded by $$ and equipped with elliptic data.
  arXiv  Detail & Related papers  (2026-09-09T18:00:03Z)
• Unitary-orbit classification and a refinement theorem for context-independent projective probabilities [0.0]
  We prove a stability theorem that compares the binary-coarsening path with a shortest path in this graph followed by one complementary unitary.<n>The results are structural characterizations, not independent physical derivations of context independence.
  arXiv  Detail & Related papers  (2026-08-10T14:56:44Z)
• Optimal Quantum de Finetti Theorems via Argmax Rounding [42.55259086694773]
  We prove optimal finite quantum de Finetti upper bounds for bosonic states and arbitrary exchangeable states.<n>Our proof formulates de Finetti approximation as the integrality gap of a symmetric-extension semidefinite program.<n> spectral truncation gives the first dimension-free bosonic de Finetti theorem in Hilbert--Schmidt distance.
  arXiv  Detail & Related papers  (2026-08-03T17:57:15Z)
• The Condition-Number Barrier in Sparse Least Squares [77.64108812086542]
  In [AS21], Axiotis and Sviridenko conjectured that the linear dependence on the restricted condition number in convex optimization cannot be improved by a sparse-time algorithm.<n>We establish their conjectured lower bound for least-squares objectives, conditional on the randomized exact-volume Small-Set Expansion Hypothesis.
  arXiv  Detail & Related papers  (2026-08-03T17:57:01Z)
• Costs of Arbitrary Real Matrix Factorizations for Pure-DP Continual Counting [0.9023847175654603]
  We prove $c_mathrmF(T_n),c_2(T_n)=(log(n+1)3/2)$ with no sign, sparsity, or squareness restriction.<n>Within the pure-$varepsilon$-DP matrix-mechanism class, the optimized maximum and mean squared errors are both $(varepsilon-2log3(n+1))$.
  arXiv  Detail & Related papers  (2026-07-30T14:41:34Z)
• 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)
• A phase transition in the exactness of the NPA hierarchy at the critical doubly-tilted CHSH functional [0.0]
  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.
  arXiv  Detail & Related papers  (2026-07-15T12:34: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)
• Two-Indexed Schatten Quasi-Norms with Applications to Quantum Information Theory [9.048611509540079]
  We define 2-indexed $(q,p)$-Schatten quasi-norms for any $q,p > 0$ on operators on a tensor product of Hilbert spaces.<n>For linear maps between spaces of such quasi-norms, we introduce completely bounded quasi-norms and co-quasi-norms.<n>Our results imply a tensorizing notion of reverse hypercontractivity, additivity of the completely bounded minimum output Rényi-$$-entropy for $geqfrac12$ or the Sandwiched Rényi Umlaut information
  arXiv  Detail & Related papers  (2026-04-15T16:35:46Z)
• Optimal Scalar Quantization for Matrix Multiplication: Closed-Form Density and Phase Transition [50.36362492608702]
  We study entrywise scalar quantization of two matrices prior to multiplication.<n>We obtain a closed-form optimal point density [ star(u) propto exp!left(-fracu26right)bigl( (1-2)+2u22bigr), qquad u=fracx_X,, and prove a correlation-driven phase transition.
  arXiv  Detail & Related papers  (2026-03-20T01:53:44Z)
• Approximating the operator norm of local Hamiltonians via few quantum states [53.16156504455106]
  Consider a Hermitian operator $A$ acting on a complex Hilbert space of $2n$.<n>We show that when $A$ has small degree in the Pauli expansion, or in other words, $A$ is a local $n$-qubit Hamiltonian.<n>We show that whenever $A$ is $d$-local, textiti.e., $deg(A)le d$, we have the following discretization-type inequality.
  arXiv  Detail & Related papers  (2025-09-15T14:26:11Z)
• 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.