Perfect cheating is impossible for single-qubit position verification

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Miller, Carl A., Alnawakhtha, Yusuf
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866911936475561984
author Miller, Carl A.
Alnawakhtha, Yusuf
author_facet Miller, Carl A.
Alnawakhtha, Yusuf
contents In quantum position verification, a prover certifies her location by performing a quantum computation and returning the results (at the speed of light) to a set of trusted verifiers. One of the very first protocols for quantum position verification was proposed in (Kent, Munro, Spiller 2011): the prover receives a qubit $Q$ from one direction, receives an orthogonal basis $\{ v, v^\perp \}$ from the opposite direction, then measures $Q$ in $\{ v, v^\perp \}$ and broadcasts the result. A number of variants of this protocol have been proposed and analyzed, but the question of whether the original protocol itself is secure has never been fully resolved. In this work we show that there is no perfect finite-dimensional cheating strategy for the original KMS measurement protocol. Our approach makes use of tools from real algebraic geometry.
format Preprint
id arxiv_https___arxiv_org_abs_2406_20022
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Perfect cheating is impossible for single-qubit position verification
Miller, Carl A.
Alnawakhtha, Yusuf
Quantum Physics
Algebraic Geometry
In quantum position verification, a prover certifies her location by performing a quantum computation and returning the results (at the speed of light) to a set of trusted verifiers. One of the very first protocols for quantum position verification was proposed in (Kent, Munro, Spiller 2011): the prover receives a qubit $Q$ from one direction, receives an orthogonal basis $\{ v, v^\perp \}$ from the opposite direction, then measures $Q$ in $\{ v, v^\perp \}$ and broadcasts the result. A number of variants of this protocol have been proposed and analyzed, but the question of whether the original protocol itself is secure has never been fully resolved. In this work we show that there is no perfect finite-dimensional cheating strategy for the original KMS measurement protocol. Our approach makes use of tools from real algebraic geometry.
title Perfect cheating is impossible for single-qubit position verification
topic Quantum Physics
Algebraic Geometry
url https://arxiv.org/abs/2406.20022