collaborators

6 papers

quant-ph2026

Quantitative quantum soundness for all multipartite compiled nonlocal games

Matilde Baroni, Igor Klep, Dominik Leichtle +4

Compiled nonlocal games transfer the power of Bell-type multi-prover tests into a single-device setting by replacing spatial separation with cryptography. Concretely, the KLVY comp…

quant-ph2026

Quantitative Quantum Soundness for Bipartite Compiled Bell Games via the Sequential NPA Hierarchy

Igor Klep, Connor Paddock, Marc-Olivier Renou +4

Compiling Bell games under cryptographic assumptions replaces the need for physical separation, allowing nonlocality to be probed with a single untrusted device. While Kalai et al.…

quant-ph2026

Fermions are fundamentally more nonlocal than Bosons

Fatemeh Moradi Kalarde, Sadra Boreiri, Xiangling Xu +5

Bell's theorem shows that entangled quantum particles can exhibit correlations that classical particles cannot reproduce without an additional nonlocal resource, such as communicat…

quant-ph2026

The bulk spectral gap is semi-decidable: a convergent family of certified upper bounds

Xiangling Xu, Matthias Schötz, Jie Wang +4

Determining spectral gaps in the thermodynamic limit is a central challenge in quantum many-body physics. Existing rigorous methods are largely limited to special settings, while v…

quant-ph2026

Comment on "Quantum theory based on real numbers cannot be experimentally falsified": On the compatibility of physical principles with information theory for fermions

Fatemeh Moradi Kalarde, Xiangling Xu, Marc-Olivier Renou

The manuscript [arXiv:2603.19208] proposes a physically motivated postulate to select the appropriate formulation of quantum theory over real Hilbert spaces, ruling out the theory…

quant-ph2025

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

Xiangling Xu, Marc-Olivier Renou, Igor Klep

Whether an almost-commuting pair of operators must be close to a commuting pair is a central question in operator and matrix theory. We investigate this problem for pairs of -…