Possible consequences for physics of the negative resolution of Tsirelson's problem

• URL: http://arxiv.org/abs/2307.02920v2
• Date: Thu, 26 Jun 2025 17:04:03 GMT
• Title: Possible consequences for physics of the negative resolution of Tsirelson's problem
• Authors: Adán Cabello, Marco Túlio Quintino, Matthias Kleinmann,
• Abstract summary: Ji, J. and colleagues provided proof that complexity classes $textMIPast$ and $textRE$ are equivalent.<n>This result implies a negative resolution of Tsirelson's problem, that is, $C_qa$ and $C_qc$ can be separated by a hyperplane.<n>Here, we point out four logical possibilities of this result.
• Score: 0.6827423171182154
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: In 2020, Ji et al. [arXiv:2001.04383 and Comm.~ACM 64}, 131 (2021)] provided a proof that the complexity classes $\text{MIP}^\ast$ and $\text{RE}$ are equivalent. This result implies a negative resolution of Tsirelson's problem, that is, $C_{qa}$ (the closure of the set of tensor product correlations) and $C_{qc}$ (the set of commuting correlations) can be separated by a hyperplane (that is, a Bell-like inequality). In particular, there are correlations produced by commuting measurements (a finite number of them and with a finite number of outcomes) on an infinite-dimensional quantum system which cannot be approximated by sequences of finite-dimensional tensor product correlations. Here, we point out that there are four logical possibilities of this result. Each possibility is interesting because it fundamentally challenges the nature of spacially separated systems in different ways. We list open problems for making progress for deciding which of the possibilities is correct.

Related papers

• Observable and computable entanglement in time [0.0]
  We propose a novel family of entanglement measures for time-separated subsystems. For relativistic quantum field theories our definition agrees with the analytic continuation from spacelike to timelike separated regions. We perform explicit computations for an Ising spin chain, free fermions, (1+1)-dimensional conformal field theories and holographic theories.
  arXiv  Detail & Related papers  (2025-02-17T19:00:01Z)
• Relativity of spacetime ontology: When correlations in space become correlata in time [0.0]
  We argue that correlat and correlationsa are not fundamentally distinct. Since the same quantum states may be either entangled or separable, a spatial correlation in one context can become a temporal correlatum in another.
  arXiv  Detail & Related papers  (2023-11-23T09:58:50Z)
• The signaling dimension in generalized probabilistic theories [48.99818550820575]
  The signaling dimension of a given physical system quantifies the minimum dimension of a classical system required to reproduce all input/output correlations of the given system. We show that it suffices to consider extremal measurements with rayextremal effects, and we bound the number of elements of any such measurement in terms of the linear dimension. For systems with a finite number of extremal effects, we recast the problem of characterizing the extremal measurements with ray-extremal effects.
  arXiv  Detail & Related papers  (2023-11-22T02:09:16Z)
• Synthetic Combinations: A Causal Inference Framework for Combinatorial Interventions [8.491098180590447]
  We learn unit-specific potential outcomes for any combination of interventions, i.e., $N times 2p$ causal parameters. Running $N times 2p$ experiments to estimate the various parameters is likely expensive and/or infeasible as $N$ and $p$ grow.
  arXiv  Detail & Related papers  (2023-03-24T18:45:44Z)
• Bell inequalities with overlapping measurements [52.81011822909395]
  We study Bell inequalities where measurements of different parties can have overlap. This allows to accommodate problems in quantum information. The scenarios considered show an interesting behaviour with respect to Hilbert space dimension, overlap, and symmetry.
  arXiv  Detail & Related papers  (2023-03-03T18:11:05Z)
• An operator growth hypothesis for open quantum systems [0.0]
  We study the dissipative $q$-body Sachdev-Ye-Kitaev (SYK$_q$) model. We conjecture to be generic for any dissipative (open) quantum systems.
  arXiv  Detail & Related papers  (2022-12-12T19:00:12Z)
• Near-optimal fitting of ellipsoids to random points [68.12685213894112]
  A basic problem of fitting an ellipsoid to random points has connections to low-rank matrix decompositions, independent component analysis, and principal component analysis. We resolve this conjecture up to logarithmic factors by constructing a fitting ellipsoid for some $n = Omega(, d2/mathrmpolylog(d),)$. Our proof demonstrates feasibility of the least squares construction of Saunderson et al. using a convenient decomposition of a certain non-standard random matrix.
  arXiv  Detail & Related papers  (2022-08-19T18:00:34Z)
• Exponential Separation between Quantum and Classical Ordered Binary Decision Diagrams, Reordering Method and Hierarchies [68.93512627479197]
  We study quantum Ordered Binary Decision Diagrams($OBDD$) model. We prove lower bounds and upper bounds for OBDD with arbitrary order of input variables. We extend hierarchy for read$k$-times Ordered Binary Decision Diagrams ($k$-OBDD$) of width.
  arXiv  Detail & Related papers  (2022-04-22T12:37:56Z)
• Construction and the ergodicity properties of dual unitary quantum circuits [0.0]
  We consider one dimensional quantum circuits of the type, where the fundamental quantum gate is dual unitary. We review various existing constructions for dual unitary gates and we supplement them with new ideas in a number of cases. A brief mathematical treatment of the recurrence time in such models is presented in the Appendix by Roland Bacher and Denis Serre.
  arXiv  Detail & Related papers  (2022-01-19T18:09:34Z)
• Affine Quantization of the Harmonic Oscillator on the Semi-bounded domain $(-b,\infty)$ for $b: 0 \ ightarrow \infty$ [0.0]
  We study the transformation of a classical system into its quantum counterpart using it affine quantization (AQ) Fantoni and Klauder (arXiv:2109.13447,Phys. Rev. D bf 103, 076013 (2021) We numerically solve this problem for $b rightarrow infty$, confirming the results of Gouba ( arXiv:2005.08696,J. High Energy Phys., Gravitation Cosmol.
  arXiv  Detail & Related papers  (2021-11-20T22:52:45Z)
• Annihilating Entanglement Between Cones [77.34726150561087]
  We show that Lorentz cones are the only cones with a symmetric base for which a certain stronger version of the resilience property is satisfied. Our proof exploits the symmetries of the Lorentz cones and applies two constructions resembling protocols for entanglement distillation.
  arXiv  Detail & Related papers  (2021-10-22T15:02:39Z)
• The Logic of Quantum Programs [77.34726150561087]
  We present a logical calculus for reasoning about information flow in quantum programs. In particular we introduce a dynamic logic that is capable of dealing with quantum measurements, unitary evolutions and entanglements in compound quantum systems.
  arXiv  Detail & Related papers  (2021-09-14T16:08:37Z)
• Modular Nuclearity and Entanglement Entropy [0.0]
  In this work we show that the Longo's canonical entanglement entropy is finite in any local QFT verifying a modular $p$-nuclearity condition. As application, in $1+1$-dimensional integrable models with factorizing S-matrices we study the behavior of the canonical entanglement entropy as the distance between two causally disjoint wedges diverges.
  arXiv  Detail & Related papers  (2021-08-20T09:01:59Z)
• Fuzzy Clustering with Similarity Queries [56.96625809888241]
  The fuzzy or soft objective is a popular generalization of the well-known $k$-means problem. We show that by making few queries, the problem becomes easier to solve.
  arXiv  Detail & Related papers  (2021-06-04T02:32:26Z)
• The principle of majorization: application to random quantum circuits [68.8204255655161]
  Three classes of circuits were considered: (i) universal, (ii) classically simulatable, and (iii) neither universal nor classically simulatable. We verified that all the families of circuits satisfy on average the principle of majorization. Clear differences appear in the fluctuations of the Lorenz curves associated to states.
  arXiv  Detail & Related papers  (2021-02-19T16:07:09Z)
• Stochastic Approximation for Online Tensorial Independent Component Analysis [98.34292831923335]
  Independent component analysis (ICA) has been a popular dimension reduction tool in statistical machine learning and signal processing. In this paper, we present a by-product online tensorial algorithm that estimates for each independent component.
  arXiv  Detail & Related papers  (2020-12-28T18:52:37Z)
• Causal Expectation-Maximisation [70.45873402967297]
  We show that causal inference is NP-hard even in models characterised by polytree-shaped graphs. We introduce the causal EM algorithm to reconstruct the uncertainty about the latent variables from data about categorical manifest variables. We argue that there appears to be an unnoticed limitation to the trending idea that counterfactual bounds can often be computed without knowledge of the structural equations.
  arXiv  Detail & Related papers  (2020-11-04T10:25:13Z)
• Quantum-Mechanical Correlations and Tsirelson Bound from Geometric Algebra [0.0]
  We show that no local hidden-variable theory can reproduce the correlations predicted by quantum mechanics (QM) It can be proved that certain QM correlations lead to a violation of the classical bound established by the inequality. All correlations, QM and classical, respect a QM bound (the Tsirelson bound)
  arXiv  Detail & Related papers  (2020-07-10T11:05:25Z)
• Robustly Learning any Clusterable Mixture of Gaussians [55.41573600814391]
  We study the efficient learnability of high-dimensional Gaussian mixtures in the adversarial-robust setting. We provide an algorithm that learns the components of an $epsilon$-corrupted $k$-mixture within information theoretically near-optimal error proofs of $tildeO(epsilon)$. Our main technical contribution is a new robust identifiability proof clusters from a Gaussian mixture, which can be captured by the constant-degree Sum of Squares proof system.
  arXiv  Detail & Related papers  (2020-05-13T16:44:12Z)
• Theory of Ergodic Quantum Processes [0.0]
  We consider general ergodic sequences of quantum channels with arbitrary correlations and non-negligible decoherence. We compute the entanglement spectrum across any cut, by which the bipartite entanglement entropy can be computed exactly. Other physical implications of our results are that most Floquet phases of matter are metastable and that noisy random circuits in the large depth limit will be trivial as far as their quantum entanglement is concerned.
  arXiv  Detail & Related papers  (2020-04-29T18:00:03Z)
• On the complex behaviour of the density in composite quantum systems [62.997667081978825]
  We study how the probability of presence of a particle is distributed between the two parts of a composite fermionic system. We prove that it is a non-perturbative property and we find out a large/small coupling constant duality. Inspired by the proof of KAM theorem, we are able to deal with this problem by introducing a cut-off in energies that eliminates these small denominators.
  arXiv  Detail & Related papers  (2020-04-14T21:41:15Z)
• Causal discrete field theory for quantum gravity [0.0]
  We study integer values on directed edges of a self-similar graph with a propagation rule. There is an infinite countable number of variants of the theory for a given self-similar graph depending on the choice of propagation rules. It combines the elements of cellular automata, causal sets, loop quantum gravity, and causal dynamical triangulations to become an excellent candidate to describe quantum gravity at the Planck scale.
  arXiv  Detail & Related papers  (2020-01-26T18:38:36Z)
• MIP*=RE [9.42581332803306]
  We show that the class MIP* of languages can be decided by a classical verifier interacting with multiple quantum provers sharing entanglement. We provide a refutation of Connes' theory of von Neumann algebras.
  arXiv  Detail & Related papers  (2020-01-13T16:32:40Z)

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.