Classical Verifier Position Verification from Non-Local Games

arXiv:2609.38441 · quant-ph · Submitted 2026-09-29 · Read on arXiv

quant-ph

Submitted: 2026-09-29

Updated: 2026-09-29

Terminology

• Verifier — 116× in this paper · explained in 2 episodes
• Verification — 34× in this paper · explained in 2 episodes
• Consistency — 19× in this paper · explained in 3 episodes
• Entanglement — 15× in this paper · explained in 4 episodes
• Trace — 6× in this paper · explained in 2 episodes
• NPA Hierarchy — 5× in this paper · explained in 2 episodes
• Hilbert Space — 2× in this paper · explained in 2 episodes
• Score Function — 2× in this paper · explained in 4 episodes
• Trace Distance — 2× in this paper · explained in 3 episodes
• Accuracy — 1× in this paper · explained in 1 episode
• Core — 1× in this paper · explained in 2 episodes
• Physical Constraints — 1× in this paper · explained in 7 episodes
• Semidefinite Program (SDP) — 1× in this paper · explained in 2 episodes

Sources

• Quantum position verification in one shot: parallel repetition of the $f$-BB84 and $f$-routing protocols
• Quantum Position Verification with Remote Untrusted Devices
• Relativistic Position Verification with Coherent States
• Loss-Tolerant Quantum Position Verification for Metropolitan Area Networks
• Arbitrarily Loss-Tolerant Quantum Position Verification in a Single Execution
• Correlations and randomness generation based on energy constraints

Related papers

• Reconquering Bell sampling on qudits: stabilizer learning and testing, quantum pseudorandomness bounds, and more
• Encrypted clones can leak: Classification of informative subsets in Quantum Encrypted Cloning
• Polynomial-time classical and quantum simulation of quantum impurity models
• Theory of quantum-enhanced interferometry with general Markovian light sources
• A convergent hierarchy of spectral gap certificates for qubit Hamiltonians
• Universal Bound and Phase Transition in Many-Body Fermionic Non-Gaussianity