Search

The most crucial issue of quantum cryptography protocols is its security. There exists many ways to attack the quantum communication process. In this paper, we present a model checking method for modeling the eavesdropping in quantum information protocols. So when the security properties of a certain protocol are needed to be verified, we can directly use the models which are already built. Here we adopt the probabilistic model checking tool-PRISM to model these attack methods. The verification results show that the detection rate of eavesdropping is approximately close to 1 when enough photons are transmitted. [ABSTRACT FROM AUTHOR]

How to design a universal fault-tolerant quantum computation protocol with high fidelity and low resource consumption is a hot topic in the field of quantum computing research. By reducing the effective code distance, the design of a universal fault-tolerant gate set based on concatenation code has been proposed. The auxiliary state required by the error correction of code must be verified before it can be used, so as to avoid the errors spread from the auxiliary state to the data state. But the qubit consumption can be very large due to multiple verification processes for the ancillary block. In this work, we analyze the ancillary consumption of two different verification schemes used in the Steane's error correction process. We take the basic state preparation of a 25-qubit 2-level concatenation code as an example, adopt a simpler verification circuit in its error correction process, and design an efficient decoding strategy by using deep neural network algorithm. Numerical simulations are also performed to analyze our low qubit resource overhead error correction scheme. [ABSTRACT FROM AUTHOR]