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
12 Pith papers cite this work. Polarity classification is still indexing.
12
Pith papers citing it
citation-role summary
background 2
citation-polarity summary
roles
background 2polarities
background 2representative 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.
New robust linkages between P and UP≤f(n) classes hold for certain function pairs via path-poisoning and padding, with oracle separations for essentially all other cases.
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.
-
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.
-
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.
- On steering in the C*-algebraic framework