A simpler proof of existence of quantum weak coin flipping with arbitrarily small bias - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles SIAM Journal on Computing Year : 2016

A simpler proof of existence of quantum weak coin flipping with arbitrarily small bias

Abstract

Mochon's proof [Moc07] of existence of quantum weak coin flipping with arbitrarily small bias is a fundamental result in quantum cryptography, but at the same time one of the least understood. Though used several times as a black box in important follow-up results [Gan09, CK09, AS10, CK11, KZ13] the result has not been peer-reviewed, its novel techniques (and in particular Kitaev's point game formalism) have not been applied anywhere else, and an explicit protocol is missing. We believe that truly understanding the existence proof and the novel techniques it relies on would constitute a major step in quantum information theory, leading to deeper understanding of entanglement and of quantum protocols in general. In this work, we make a first step in this direction. We simplify parts of Mochon's construction considerably, making about 20 pages of analysis in the original proof superfluous, clarifying some other parts of the proof on the way, and presenting the proof in a way which is conceptually easier to grasp. We believe the resulting proof of existence is easier to understand, more readable, and certainly verifiable.
Fichier principal
Vignette du fichier
1402.7166.pdf (481.74 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01094114 , version 1 (22-12-2014)

Licence

Identifiers

Cite

Dorit Aharonov, André Chailloux, Maor Ganz, Iordanis Kerenidis, Lock Magnin. A simpler proof of existence of quantum weak coin flipping with arbitrarily small bias. SIAM Journal on Computing, 2016, pp.48. ⟨10.1137/14096387X⟩. ⟨hal-01094114⟩
189 View
128 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More