Quantitative Tsirelson's Theorems via Approximate Schur's Lemma and Probabilistic Stampfli's Theorems

• URL: http://arxiv.org/abs/2505.22309v1
• Date: Wed, 28 May 2025 12:51:27 GMT
• Title: Quantitative Tsirelson's Theorems via Approximate Schur's Lemma and Probabilistic Stampfli's Theorems
• Authors: Xiangling Xu, Marc-Olivier Renou, Igor Klep,
• Abstract summary: We show that, in finite dimensions, quantum correlations generated by commuting observables--measurements associated with distinct parties whose operators mutually commute--are equivalent to those obtainable from measurements on separate tensor product factors.<n>We show that if a $d-dimensional bipartite quantum strategy's observables $epsilon$-almost commute, then observables are within $O(mathrmpoly(d) epsilon$ in operator norm.
• Score: 2.048226951354646
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Tsirelson showed that, in finite dimensions, quantum correlations generated by commuting observables--measurements associated with distinct parties whose operators mutually commute--are equivalent to those obtainable from measurements on separate tensor product factors. We generalize this foundational result to the setting of $\epsilon$-almost commuting observables, establishing two distinct quantitative approximate Tsirelson's theorems. Both theorems show that if a $d$-dimensional bipartite quantum strategy's observables $\epsilon$-almost commute, then they are within $O(\mathrm{poly}(d) \epsilon)$ (in operator norm) of observables from a genuine tensor product strategy. This provides a quantitative counterpart to the asymptotic result of [N. Ozawa, J. Math. Phys. 54, 032202 (2013)] and justifies the tensor product model as an effective model even when subsystem independence is only approximately satisfied. Our theorems arise from two different but complementary formulations of almost commutation: (i) The first approach utilizes deterministic operator norm bounds relative to specific matrix generators (such as clock and shift matrices), leading to an approximate Schur's Lemma from which the first theorem directly follows. (ii) The second approach employs probabilistic bounds, requiring small commutators only on average against Haar-random single-qubit unitaries. This method yields two novel probabilistic Stampfli's theorems, quantifying distance to scalars based on probabilistic commutation, a result which may be of independent interest. These theorems set the basis for the second approximate Tsirelson's theorem.

Related papers

• A unified approach to quantum de Finetti theorems and SoS rounding via geometric quantization [0.0]
  We study a connection between a Hermitian version of the SoS hierarchy, related to the quantum de Finetti theorem. We show that previously known HSoS rounding algorithms can be recast as quantizing an objective function.
  arXiv  Detail & Related papers  (2024-11-06T17:09:28Z)
• Particle approximations of Wigner distributions for n arbitrary observables [0.0]
  A class of signed joint probability measures for n arbitrary quantum observables is derived and studied. It is shown that the Wigner distribution associated with these observables can be rigorously approximated by such measures.
  arXiv  Detail & Related papers  (2024-09-28T01:42:57Z)
• Tensor cumulants for statistical inference on invariant distributions [49.80012009682584]
  We show that PCA becomes computationally hard at a critical value of the signal's magnitude. We define a new set of objects, which provide an explicit, near-orthogonal basis for invariants of a given degree. It also lets us analyze a new problem of distinguishing between different ensembles.
  arXiv  Detail & Related papers  (2024-04-29T14:33:24Z)
• Double or nothing: a Kolmogorov extension theorem for multitime (bi)probabilities in quantum mechanics [0.0]
  We prove a generalization of the Kolmogorov extension theorem that applies to families of complex-valued bi-probability distributions. We discuss the relation of our results with the quantum comb formalism.
  arXiv  Detail & Related papers  (2024-02-02T08:40:03Z)
• Sampling and estimation on manifolds using the Langevin diffusion [45.57801520690309]
  Two estimators of linear functionals of $mu_phi $ based on the discretized Markov process are considered.<n>Error bounds are derived for sampling and estimation using a discretization of an intrinsically defined Langevin diffusion.
  arXiv  Detail & Related papers  (2023-12-22T18:01:11Z)
• Intrinsic Bayesian Cramér-Rao Bound with an Application to Covariance Matrix Estimation [49.67011673289242]
  This paper presents a new performance bound for estimation problems where the parameter to estimate lies in a smooth manifold. It induces a geometry for the parameter manifold, as well as an intrinsic notion of the estimation error measure.
  arXiv  Detail & Related papers  (2023-11-08T15:17:13Z)
• Connecting classical finite exchangeability to quantum theory [45.76759085727843]
  Exchangeability is a fundamental concept in probability theory and statistics.<n>It allows to model situations where the order of observations does not matter.<n>It is well known that both theorems do not hold for finitely exchangeable sequences.
  arXiv  Detail & Related papers  (2023-06-06T17:15:19Z)
• Why we should interpret density matrices as moment matrices: the case of (in)distinguishable particles and the emergence of classical reality [69.62715388742298]
  We introduce a formulation of quantum theory (QT) as a general probabilistic theory but expressed via quasi-expectation operators (QEOs) We will show that QT for both distinguishable and indistinguishable particles can be formulated in this way. We will show that finitely exchangeable probabilities for a classical dice are as weird as QT.
  arXiv  Detail & Related papers  (2022-03-08T14:47:39Z)
• When Random Tensors meet Random Matrices [50.568841545067144]
  This paper studies asymmetric order-$d$ spiked tensor models with Gaussian noise. We show that the analysis of the considered model boils down to the analysis of an equivalent spiked symmetric textitblock-wise random matrix.
  arXiv  Detail & Related papers  (2021-12-23T04:05:01Z)
• Nonparametric approximation of conditional expectation operators [0.3655021726150368]
  We investigate the approximation of the $L2$-operator defined by $[Pf](x) := mathbbE[ f(Y) mid X = x ]$ under minimal assumptions. We prove that $P$ can be arbitrarily well approximated in operator norm by Hilbert-Schmidt operators acting on a reproducing kernel space.
  arXiv  Detail & Related papers  (2020-12-23T19:06:12Z)
• Joint measurability meets Birkhoff-von Neumann's theorem [77.34726150561087]
  We prove that joint measurability arises as a mathematical feature of DNTs in this context, needed to establish a characterisation similar to Birkhoff-von Neumann's. We also show that DNTs emerge naturally from a particular instance of a joint measurability problem, remarking its relevance in general operator theory.
  arXiv  Detail & Related papers  (2018-09-19T18:57:45Z)

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.