Multi-prover interactive proof systems for NEXP and RE can be made robust against polynomial bits of leakage between provers via parallel repetition and PCP conversions.
Title resolution pending
11 Pith papers cite this work. Polarity classification is still indexing.
11
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
roles
background 1polarities
background 1representative citing papers
A novel free entropy functional χ_chron^U is defined using chronological formulas that is concave along Wasserstein geodesics and whose heat evolution satisfies the evolution variational inequality as the metric gradient flow.
Explicit optimal quantum values for CHSH, Magic Square and 2-out-of-n games as functions of noise rate, plus noise-robust rigidity theorems certifying one, two or n pairs of anticommuting Pauli observables.
Proves a lifting theorem for self-testing assumptions with a counterexample correlation that requires them and cannot be realized by projective measurements on full Schmidt rank states.
A framework is introduced to transfer deformation/rigidity methods into the continuous model theory of II1 factors, proving non-elementary equivalence of L(SL3(Z)) and LF2, non-pseudomatriciality of LF2, and existence of infinite families of pairwise non-equivalent full factors.
Complex self-testing equals uniqueness of real parts of higher moments, reformulated in real C* algebras, with a quaternion strategy providing the first standard self-test for a genuinely complex non-local strategy.
Characterizes the RFD property for crossed products by amenable actions and supplies conditions for amenable étale groupoid C*-algebras to be RFD.
The paper characterizes existence of amenable traces on C*-algebras via joint free numerical radius of unitaries/isometries/partial isometries and derives new obstructions to lifting properties.
The paper organizes important open questions in quantum gravity and quantum information into four themes without presenting new results or derivations.
A compilation of 99 open problems in the structure and classification of nuclear C*-algebras.
citing papers explorer
-
Multi-Prover Interactive Proof Systems with Leakage
Multi-prover interactive proof systems for NEXP and RE can be made robust against polynomial bits of leakage between provers via parallel repetition and PCP conversions.
-
Free information geometry and the model theory of noncommutative stochastic processes
A novel free entropy functional χ_chron^U is defined using chronological formulas that is concave along Wasserstein geodesics and whose heat evolution satisfies the evolution variational inequality as the metric gradient flow.
-
Nonlocal Games in the High-Noise Regime: Optimal Quantum Values and Rigidity
Explicit optimal quantum values for CHSH, Magic Square and 2-out-of-n games as functions of noise rate, plus noise-robust rigidity theorems certifying one, two or n pairs of anticommuting Pauli observables.
-
A mathematical foundation for self-testing: Lifting common assumptions
Proves a lifting theorem for self-testing assumptions with a counterexample correlation that requires them and cannot be realized by projective measurements on full Schmidt rank states.
-
On ultraproduct approximations and property (T) factors
A framework is introduced to transfer deformation/rigidity methods into the continuous model theory of II1 factors, proving non-elementary equivalence of L(SL3(Z)) and LF2, non-pseudomatriciality of LF2, and existence of infinite families of pairwise non-equivalent full factors.
-
Beyond real: Investigating the role of complex numbers in self-testing
Complex self-testing equals uniqueness of real parts of higher moments, reformulated in real C* algebras, with a quaternion strategy providing the first standard self-test for a genuinely complex non-local strategy.
-
RFD property for groupoid C*-algebras of amenable groupoids and for crossed products by amenable actions
Characterizes the RFD property for crossed products by amenable actions and supplies conditions for amenable étale groupoid C*-algebras to be RFD.
-
Amenable traces and the joint numerical radius
The paper characterizes existence of amenable traces on C*-algebras via joint free numerical radius of unitaries/isometries/partial isometries and derives new obstructions to lifting properties.
-
Rethinking quantum information in gravity and fields
The paper organizes important open questions in quantum gravity and quantum information into four themes without presenting new results or derivations.
-
Nuclear C*-algebras: 99 problems
A compilation of 99 open problems in the structure and classification of nuclear C*-algebras.
- On steering in the C*-algebraic framework