Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1307.7318

Secure quantum bit commitment against empty promises. II. The density matrix

Guang Ping He

Published Jul 27, 2013• 1 citation
arXivHTMLPDF

Abstract

We further study the security of the quantum bit commitment (QBC) protocol we previously proposed [Phys. Rev. A 74, 022332 (2006).], by analyzing the reduced density matrix ρ_{b}^{B} which describes the quantum state at Bob's side corresponding to Alice's committed bit b. It is shown that Alice will find ρ_{0}^{B}\perp ρ_{1}^{B} while the protocol remains concealing to Bob. On the contrary, the existing no-go theorem of unconditionally secure QBC is based on the condition ρ_{0}^{B}\simeq ρ_{1}^{B}. Thus the specific cheating strategy proposed in the no-go theorem does not necessarily applies to our protocol.

DOI
10.48550/arxiv.1307.7318

Related papers

Secure quantum bit commitment against empty promises

Guang Ping He

The existence of unconditionally secure quantum bit commitment (QBC) is excluded by the Mayers-Lo-Chau no-go theorem. Here we look for the second-best: a QBC protocol that can defeat certain quantum attacks. By breaking the knowledge symmetry between the participants with quantum algorithm, a QBC protocol is proposed and is proven to be secure against a major kind of coherent attacks---the dummy attack, in which the participant makes an empty promise instead of committing to a specific bit. Therefore it surpasses previous QBC protocols which are secure against individual attacks only.

Physical Review A•Aug 31, 2006•14 citations

Quantum Bit Commitment can be Unconditionally Secure

Chi-Yee Cheung

It is generally believed that unconditionally secure quantum bit commitment (QBC) is proven impossible by a "no-go theorem". We point out that the theorem only establishes the existence of a cheating unitary transformation in any QBC scheme secure against the receiver, but this fact alone is not sufficient to rule out unconditionally secure QBC as a matter of principle, because there exists no proof that the cheating unitary transformation must be known to the cheater in all possible cases. In this work, we show how to circumvent the "no-go theorem" and prove that unconditionally secure QBC is in fact possible.

arXiv:quant-ph/0112120•Dec 20, 2001•2 citations

An Information-Theoretic Perspective on the Quantum Bit Commitment Impossibility Theorem

Marius Nagy, Naya Nagy

This paper proposes a different approach to pinpoint the causes for which an unconditionally secure quantum bit commitment protocol cannot be realized, beyond the technical details on which the proof of Mayers' no-go theorem is constructed. We have adopted the tools of quantum entropy analysis to investigate the conditions under which the security properties of quantum bit commitment can be circumvented. Our study has revealed that cheating the binding property requires the quantum system acting as the safe to harbor the same amount of uncertainty with respect to both observers (Alice and Bob) as well as the use of entanglement. Our analysis also suggests that the ability to cheat one of the two fundamental properties of bit commitment by any of the two participants depends on how much information is leaked from one side of the system to the other and how much remains hidden from the other participant.

Entropy•Mar 13, 2018•7 citations

Unconditionally secure quantum bit commitment based on the uncertainty principle

Guang Ping He

Unconditionally secure quantum bit commitment (QBC) was considered impossible. But the no-go proofs are based on the Hughston–Jozsa–Wootters (HJW) theorem (a.k.a. the Uhlmann theorem). Recently, it was found that in high-dimensional systems, there exist some states which can display a chaos effect in quantum steering, so that the attack strategy based on the HJW theorem has to require the capability of discriminating quantum states with very subtle difference, to the extent that is not allowed by the uncertainty principle. With the help of this finding, here we propose a simple QBC protocol which manages to evade the no-go proofs.

arXiv:1709.01396•Proceedings of the Royal Society A Mathematical Physical and Engineering Sciences•Feb 1, 2019•8 citations

Secure bit commitment based on quantum one-way function

Bo Hao Yu, Zheng-Wei Zhou, Jian Li +1 more

Although Mayers, Lo and Chau successfully showed that unconditionally secure quantum bit commitment (QBC) is impossible, we present a secure QBC protocol which is quite different from the model used in their proofs. If Alice wants to commit a bit b, she first encodes b into a series of classical bit strings of the same length. The requirement is that the modulo 2 sum of all bits in every bit string equals to b. Then Alice uses quantum one-way function to produce quantum states which are corresponding to the encoded classical bit strings and will be sent to Bob as evidence. The quantum one-way function used here is just that was successfully applied in Gottesman and Chuang's quantum digital signatures. When it comes to the unveilingtime, Alice only sends the bit strings to Bob. Finally, Bob generates quantum states form the bit strings by the same quantum one-way function and uses controlled-swap circuit to check whether the quantum states are identical with the evidence.

Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE•Sep 11, 2002•2 citations

Quantum key distribution based on orthogonal states allows secure quantum bit commitment

Guang Ping He

For more than a decade, it was believed that unconditionally secure quantum bit commitment (QBC) is impossible. But basing on a previously proposed quantum key distribution scheme using orthogonal states, here we build a QBC protocol in which the density matrices of the quantum states encoding the commitment do not satisfy a crucial condition on which the no-go proofs of QBC are based. Thus the no-go proofs could be evaded. Our protocol is fault-tolerant and very feasible with currently available technology. It reopens the venue for other "post-cold-war" multi-party cryptographic protocols, e.g., quantum bit string commitment and quantum strong coin tossing with an arbitrarily small bias. This result also has a strong influence on the Clifton-Bub-Halvorson theorem which suggests that quantum theory could be characterized in terms of information-theoretic constraints.

arXiv:1101.4587•Journal of Physics A Mathematical and Theoretical•Oct 14, 2011•29 citations
We further study the security of the quantum bit commitment (QBC) protocol we previously proposed [Phys. Rev. A 74, 022332 (2006).], by analyzing the reduced density matrix ρ_{b}^{B} which describes the quantum state at Bob's side corresponding to Alice's committed bit b. It is shown that Alice will find ρ_{0}^{B}\perp ρ_{1}^{B} while the protocol remains concealing to Bob. On the contrary, the existing no-go theorem of unconditionally secure QBC is based on the condition ρ_{0}^{B}\simeq ρ_{1}^{B}. Thus the specific cheating strategy proposed in the no-go theorem does not necessarily applies to our protocol.
The existence of unconditionally secure quantum bit commitment (QBC) is excluded by the Mayers-Lo-Chau no-go theorem. Here we look for the second-best: a QBC protocol that can defeat certain quantum attacks. By breaking the knowledge symmetry between the participants with quantum algorithm, a QBC protocol is proposed and is proven to be secure against a major kind of coherent attacks---the dummy attack, in which the participant makes an empty promise instead of committing to a specific bit. Therefore it surpasses previous QBC protocols which are secure against individual attacks only.
It is generally believed that unconditionally secure quantum bit commitment (QBC) is proven impossible by a "no-go theorem". We point out that the theorem only establishes the existence of a cheating unitary transformation in any QBC scheme secure against the receiver, but this fact alone is not sufficient to rule out unconditionally secure QBC as a matter of principle, because there exists no proof that the cheating unitary transformation must be known to the cheater in all possible cases. In this work, we show how to circumvent the "no-go theorem" and prove that unconditionally secure QBC is in fact possible.
This paper proposes a different approach to pinpoint the causes for which an unconditionally secure quantum bit commitment protocol cannot be realized, beyond the technical details on which the proof of Mayers' no-go theorem is constructed. We have adopted the tools of quantum entropy analysis to investigate the conditions under which the security properties of quantum bit commitment can be circumvented. Our study has revealed that cheating the binding property requires the quantum system acting as the safe to harbor the same amount of uncertainty with respect to both observers (Alice and Bob) as well as the use of entanglement. Our analysis also suggests that the ability to cheat one of the two fundamental properties of bit commitment by any of the two participants depends on how much information is leaked from one side of the system to the other and how much remains hidden from the other participant.
Unconditionally secure quantum bit commitment (QBC) was considered impossible. But the no-go proofs are based on the Hughston–Jozsa–Wootters (HJW) theorem (a.k.a. the Uhlmann theorem). Recently, it was found that in high-dimensional systems, there exist some states which can display a chaos effect in quantum steering, so that the attack strategy based on the HJW theorem has to require the capability of discriminating quantum states with very subtle difference, to the extent that is not allowed by the uncertainty principle. With the help of this finding, here we propose a simple QBC protocol which manages to evade the no-go proofs.
Although Mayers, Lo and Chau successfully showed that unconditionally secure quantum bit commitment (QBC) is impossible, we present a secure QBC protocol which is quite different from the model used in their proofs. If Alice wants to commit a bit b, she first encodes b into a series of classical bit strings of the same length. The requirement is that the modulo 2 sum of all bits in every bit string equals to b. Then Alice uses quantum one-way function to produce quantum states which are corresponding to the encoded classical bit strings and will be sent to Bob as evidence. The quantum one-way function used here is just that was successfully applied in Gottesman and Chuang's quantum digital signatures. When it comes to the unveilingtime, Alice only sends the bit strings to Bob. Finally, Bob generates quantum states form the bit strings by the same quantum one-way function and uses controlled-swap circuit to check whether the quantum states are identical with the evidence.
For more than a decade, it was believed that unconditionally secure quantum bit commitment (QBC) is impossible. But basing on a previously proposed quantum key distribution scheme using orthogonal states, here we build a QBC protocol in which the density matrices of the quantum states encoding the commitment do not satisfy a crucial condition on which the no-go proofs of QBC are based. Thus the no-go proofs could be evaded. Our protocol is fault-tolerant and very feasible with currently available technology. It reopens the venue for other "post-cold-war" multi-party cryptographic protocols, e.g., quantum bit string commitment and quantum strong coin tossing with an arbitrarily small bias. This result also has a strong influence on the Clifton-Bub-Halvorson theorem which suggests that quantum theory could be characterized in terms of information-theoretic constraints.