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

From MaRDI portal
Publication:2805518

DOI10.1137/14096387XzbMATH Open1342.81096arXiv1402.7166MaRDI QIDQ2805518FDOQ2805518


Authors: Dorit Aharonov, André Chailloux, Maor Ganz, Iordanis Kerenidis, Loïck Magnin Edit this on Wikidata


Publication date: 12 May 2016

Published in: SIAM Journal on Computing (Search for Journal in Brave)

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. Moreover, we analyze the resources needed to achieve a bias epsilon and show that the number of qubits is O(log1/epsilon), while the number of rounds is (1/epsilon)O(1/epsilon). A true understanding of the proof, including Kitaev's point game techniques and their applicability, as well as completing the task of constructing an explicit (and also simpler and more efficient) protocol, are left to future work.


Full work available at URL: https://arxiv.org/abs/1402.7166




Recommendations




Cites Work


Cited In (8)





This page was built for publication: A simpler proof of the existence of quantum weak coin flipping with arbitrarily small bias

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2805518)