Abstract
It is often said that the transition from quantum to classical worlds is caused by decoherence originated from an interaction between a system of interest and its surrounding environment. Here we establish a computational quantumclassical boundary from the viewpoint of classical simulatability of a quantum system under decoherence. Specifically, we consider commuting quantum circuits being subject to decoherence. Or equivalently, we can regard them as measurementbased quantum computation on decohered weighted graph states. To show intractability of classical simulation in the quantum side, we utilize the postselection argument and crucially strengthen it by taking noise effect into account. Classical simulatability in the classical side is also shown constructively by using both separable criteria in a projectedentangledpairstate picture and the GottesmanKnill theorem for mixed state Clifford circuits. We found that when each qubit is subject to a singlequbit completepositivetracepreserving noise, the computational quantumclassical boundary is sharply given by the noise rate required for the distillability of a magic state. The obtained quantumclassical boundary of noisy quantum dynamics reveals a complexity landscape of controlled quantum systems. This paves a way to an experimentally feasible verification of quantum mechanics in a high complexity limit beyond classically simulatable region.
Introduction
Understanding a boundary between quantum and classical worlds is one of the most important quests in physics. Sometimes it is said that decoherence originated from an interaction with an environment causes the transition from quantum to classical worlds^{1,2}. However, the definition of “quantumness” varies depending on a situation where the system is located and a purpose of its usage.
One of the most successful definition would be a violation of the Bell inequality^{3}; if the measurement outcomes of Alice and Bob violate the Bell inequality, the measurement outcomes cannot be expressed by any local hidden variable theory. In this sense, whether or not the system obeys the Bell inequality serves as a quantumclassical boundary. Nonlocality, or more widely, entanglement, beyond the classical regime is also utilized as a resource for quantum information processing, especially in a communication scenario^{4,5}.
Is there any other quantumclassical boundary, which would be useful in another scenario? In many experiments, the quantum system of interest is held in a local experimental apparatus, such as a vacuum chamber and a refrigerator. In such a situation, can we decide whether or not the system is quantum in a reasonable sense?
In this paper, we establish a quantumclassical boundary from the viewpoint of classical simulatability of a quantum dynamics under decoherence, which we call a computational quantumclassical (CQC) boundary. This is motivated by increasing importance of computational complexity in physics^{6}, and increasing demands for experimental verification^{7} of complex quantum dynamics, such as quantum simulation and quantum annealing^{8,9,10}.
For this purpose, nonlocality or entanglement is not enough since there are a lot of classically simulatable classes of quantum computation, which can generate highly entangled states^{11,12,13,14}. Moreover, highly mixed state quantum computation with less entanglement exhibits nontrivial quantum dynamics^{15,16,17}. Thus we have to develop a novel criterion, which determines whether or not the system is classically simulatable.
Here we consider commuting (diagonal) quantum circuits preceded and followed by state preparations and measurements whose bases are not diagonal. This setting is quite simple and less powerful than universal quantum computation but still exhibits nontrivial quantum dynamics^{14,18,19}. They can be applied, for example, to a random state generation and a thermalizing algorithm of classical Hamiltonian^{20}. We derive a threshold on the noise strength, below which the system has quantumness in the sense that the measurement outcomes cannot be simulated efficiently by any classical computer under some reasonable assumptions. Hence we call such a region quantum side. On the other hand, if the noise strength lies above another threshold, the measurement outcomes can be efficiently simulated by a classical computer. We call this region classical side. Specifically, when nonconstant depth commuting quantum circuits are followed by singlequbit completepositivetracepreserving (CPTP) noises (or equivalently weighted graph states of a nonconstant degree being subject to singlequbit CPTP noises), the CQC boundary is given sharply by q = 14.6%. Here q is a noise strength measured appropriately from the CPTP map and almost equivalent to the error probability on the measurement outcome. Even in the case of depthfour circuits, we show that the CQC boundary is sharply upper and lower bounded by 14.6% and 13.4%, respectively. We also discuss how to verify quantumness in the computational sense by a singleshot experimental result under some physical assumptions without relying on any tomographic technique.
In particular, to show intractability of classical simulation in the quantum side, we utilize the postselection argument introduced by Bremner, Jozsa and Shepherd^{19} and further extend it for the system being subject to rather general decoherence. This extension is crucial for our purpose. This is because the original postselection argument holds only for an approximation with a multiplicative error. However, the assumption of the multiplicative error or even an additive error with the l_{1}norm is easily broken in actual experimental systems, where noise is introduced inevitably. If noisy quantum circuits with postselection cannot decide postBQP (or equivalently PP) problems, hardness of weak sampling with a multiplicative error would originated from an analog nature of the sampling problems. If it is true, the hardness results on sampling would not be physically detectable like classical analog computing with unlimitedprecision real numbers, which can solve NP complete and even PSPACE complete problems^{21,22}.
To tackle this issue, we directly show that commuting quantum circuits being subject to decoherence themselves (or MBQC on noisy weighted graph states) are classically intractable if a strength of noise is smaller than a certain constant threshold value. In doing so, we virtually utilize faulttolerant quantum computation to extend the complexity result in an ideal case to a noisy case. To our knowledge, this is the first result on faulttolerance of the intermediate classes of quantum computation; even noisy quantum circuits can decide postBQP (or equivalently PP) complete problems under postselection. This fact indicates that the hardness of the intermediate class consisting of the commuting quantum circuits, relying on postselection, is robust against noise and physically realistic.
On the other hand, classical simulatability in the classical side is shown by taking a projectedentangledpairstate (PEPS) picture^{23}. Not only the separable criteria^{24,25}, we also develop a criteria for the shared entangled pair to become a convex mixture of stabilizer states. This allows us to show classical simulatability of highly entangling operations. We explicitly construct a classical algorithm that simulate noisy commuting quantum circuits, which would be useful to simulate noisy and complex physical dynamics with minimum computational effort.
The rest of the paper is organized as follows. First, we preliminarily introduce commuting quantum circuits and the postselection argument developed on them. In Sec. 2 we provide a generic threshold theorem for postselected quantum computation, which shows robustness of the postselected argument against decoherence. In Sec. 3, we derive a CQC boundary, which sharply separates the classically simulatable and not simulatable regions. In Sec. 4, we provide an experimental verification scheme, which determines the system is classically simulatable or not, based on locality and homogeneity of noise. In Sec. 5. we generalize the results into general commuting circuits with arbitrary rotational angles to draw a complexity landscape of the system. The final section is devoted to discussion.
Commuting Quantum Circuits and Postselection
The commuting quantum circuit consists of an input state, dynamics, and measurements as shown in Fig. 1. The input state is given as a product state of N qubits, {0〉, e^{iθZ}+〉}^{⊗N}, which are assumed to be arranged on a lattice . The dynamics D consists of commuting twoqubit gates , where ith and jth qubits are connected on a lattice , and A_{i} indicates an operator A acting on the ith qubit. The measurements are done in the Xbasis. By choosing an input state of a qubit to be 0〉, the commuting gates acting on the qubit can be effectively canceled. (Or equivalently, instead of using the input 0〉, we may change the lattice structure.) Since D+〉^{⊗N} is a weighted graph state^{26}, the system can also viewed as MBQC on weighted graph states. In this case, instead of the input 0〉, we measure the qubit in the Zbasis. Other qubits are measured on xyplane. Below, we will mainly expand our argument in quantum commuting circuits, but we can always interpret the results in MBQC on the weighted graph states.
The commuting quantum circuits apparently belong to the class IQP^{18,19}. Since adaptive measurements are not allowed, the commuting quantum circuits (or IQP) are less powerful than universal quantum computation. However, if we are allowed to use postselection, we can simulate universal MBQC by choosing the measurement outcomes that do not need any feedforward operation. This implies that the postselected commuting quantum circuits are as powerful as probabilistic polynomialtime computation (PP) by virtue of postBQP = PP theorem^{27}. As shown in ref. 19, if the output {m_{k}} of such a commuting quantum circuit can be efficiently sampled with a multiplicative error using a classical randomized algorithm, the polynomial hierarchy (PH) collapses at the third level^{19}.
The above postselection argument has been quite successful, showing classical intractability of the experimentally feasible intermediate models, such as commuting quantum circuits (socalled IQP)^{19}, liner optics (boson sampling)^{28}, and highlymixed state quantum computation (deterministic quantum computation with oneclean qubit^{15})^{16}. However, the above argument holds only for sampling with a multiplicative approximation error, which is experimentally hard to achieve and verify. This is the reason why researchers have also argued the intractability with an additive error under some plausible complexity conjectures^{28,29}. However, the hardness is characterized by a constant additive error measured by l_{1}norm of the output probability distribution. This is unsatisfactory in a physically realistic scenario, where each gate element is subject to a noise of a constant strength, and hence an additive error bound in the sense of l_{1}norm is easily broken.
Postselected Threshold Theorem
Here, we will show that intractability of commuting quantum circuits is robust against noise. Specifically, the hardness is characterized by the noise strength measured by an appropriate operator norm of the commuting circuits followed by noise. To this end, we introduce an equivalent reduction; noise in the output probability distribution, which would spoil the multiplicative approximation, is regarded as a part of a quantum task and an ideal sampling of it is executed. Then we show that such a noisy quantum task itself can solve a PPcomplete (or equivalently postBQPcomplete) problem. Importantly, we do not assume any detail of the noise as long as it is given by spatiallylocal CPTP map and criteria is given with respect to a noise strength measured by a relevant superoperator distance measure. To prove this, we virtually utilize faulttolerant quantum computation as explained below in detail.
The postselected commuting quantum circuits can simulate universal measurementbased quantum computation (MBQC) as mentioned before. This implies that topologically protected MBQC on a threedimensional (3D) cluster state can also be simulated^{30,31,32}. The reason why we employ topologically protected MBQC is that it exhibits high noise tolerance while the resource state can be generated simply by a depthfour commuting quantum circuit. This property is useful in various situations to show quantum computational capability in the presence of noise^{24,25,33,34,35,36}. Moreover, we can also calculate (a lower bound of) the threshold value rigorously using the selfavoiding walks^{37}. (As a review of topologically protected MBQC, see ref. 32 for example).
We consider commuting quantum circuits on a RaussendorfHarringtonGoyal (RHG) lattice , where each face center qubit is connected with four surrounding edge qubits on a cubic lattice as shown in Fig. 2(a). This corresponds to a depthfour commuting quantum circuit. We restrict our attention to twoqubit commuting gates with θ_{ij} = π/4, i.e. a maximally entangling case (later we will consider general twoqubit commuting gates). Then the dynamics D generate the cluster state on the RHG lattice. Specifically, input states are chosen to be 0〉, +〉, and e^{i(π/8)Z}+〉 to create the defect, vacuum, and singularqubit regions, respectively. If the noise level is sufficiently smaller than the threshold value for topologically protected MBQC, classical simulation of such a noisy commuting quantum circuit is also hard. More importantly, we can go further beyond the standard noise threshold by virtue of postselection. Since we are allowed to use postselection, we can execute error detection, without any cost, which discards any possible error events. Since the noise threshold for error detection is much higher than the noise threshold for error correction^{38,39,40,41}, intractability of the commuting quantum circuits is much more robust against noise than the standard universal quantum computation.
We model the noise as a kspatiallylocal CPTP map . Here is a superoperator acting on the jth qubit and its at most (k − 1)th nearest neighbor qubits on the RHG lattice . We are assumed not to know the detail of the noise except that it is spatially local. Nevertheless we can show the following theorem.
Theorem 1 (Postselected threshold). Suppose the dynamics D is followed by arbitrary kspatiallylocal noise . There is a constant threshold such that if , then efficient classical simulation of the output of the noisy commuting quantum circuits is impossible unless the PH collapses at the third level. Here denotes the diamond norm of the superoperators^{42}.
Proof: The defect regions are introduced by choosing the input state to be 0〉. The magic state injection can be done by using the input state e^{i(π/8)Z}+〉. By the Xbasis measurements, we can perform topologically protected MBQC. The postselection is utilized to avoid feedforward operations of MBQC. In the vacuum region, we obtain a parity of six measurement outcomes of the face qubits on a unit cube u, as an error syndrome. The postselection is further employed not only to choose the measurement outcomes with no feedforward operation but also to discard the erroneous events with odd parities, i.e., S_{u} = 1.
Below we will bound the logical error probability by modifying the argument developed in ref. 37 under the condition of all even parities, S_{u} = 0. We first decompose the kspatiallylocal noise into
where is an identity superoperator and . is a residual kspatiallylocal superoperator and may no longer be a CPTP map. Note that we have . The density matrix is divided into sparse and faulty part
where the summation is taken over all possible configurations (j_{1}, ..., j_{η}) (j_{k} = 1, ..., N, j_{k} ≠ j_{k′}). The faulty part ρ_{faulty} consists of a superoperator whose support covers a logical error. The operator ρ_{sparse} never contributes to the logical error probability under postselection. The logical error probability, i.e., the l_{1}distance between the probability distributions for the ideal state ρ_{ideal} and the noisy state ρ_{noisy} can be bounded by the operator1 norm of the faulty operator ρ_{faulty}^{43}:
where M_{ν} is the projector for the final measurement, and is an unnormalized postselected density matrix with P^{post} being the projection to the postselection event. To obtain the last line, we used the fact that the postselection probability is lower bounded as follows: . Below we will show that Eq. (3) is upper bounded by an exponentially decreasing function by evaluating .
To count all configurations (j_{1}, ..., j_{η}) in ρ_{faulty}, which possibly cause logical errors, below we will assume a superoperator can put arbitrary errors on its support qubits in the most adversarial way. originated from a kspatially local noise can put at most (2k − 1) adversarial Pauli errors around the jth qubit. Moreover, the noise with a set A can put arbitrary adversarial Pauli errors on the qubits on . This allows us to employ the conventional counting argument of the number of selfavoiding walks^{37}.
The faulty part is decomposed into contributions with respect to error chains of length L:
where L_{d} is the minimum size of the defects. Denoting the set of configurations that possibly cause error chains of length L by , we have
Since is kspatially local, η have to be at least . Accordingly,
where we used the properties of the diamond norm^{42}. The number of error chains of length L in the 3D lattice can be bounded by N(6/5)5^{L} from the number of 3D selfavoiding walks. Thus the logical error probability is bounded by
The total failure probability decreases exponentially in the defect size L_{d}, if . Since k is a finite constant, there is a constant threshold on , below which Clifford gates are topologically protected under postselection. Furthermore, if is sufficiently smaller than a certain constant value, the magic state distillation for universal quantum computation^{44,45} can also be done under postselection. The logical error probability of the magic state can be reduced exponentially with a polynomial overhead. Accordingly there exists a postselected noise threshold , below which we can perform faulttolerant quantum computation, i.e., the postselected logical error probability decreases exponentially. That is, for an arbitrary output ν, we have
where the overhead N = poly(n, κ) is polynomial both in the size n and the exponent κ > 0 of the logical error probability.
Let us consider an output of an ideal quantum circuit of size n, P_{ideal}(x, y) = Tr[M_{x,y}ρ_{ideal}], where x ∈ {0, 1} and y ∈ {0, 1} are decision and postselection registers, respectively. Its postselected faulttolerant version is . Now we simulate postselected quantum computation P_{ideal}(x  y = 0) by postselected faulttolerant quantum computation P_{FT}(x  y = 0, post). The postselected probability distribution is obtained as
Here we utilized the fact that the postselection with an exponentially small probability P_{ideal}(y) > 2^{−6n−4} is enough to solve a PP complete problem of the size n (see Appendix 0.3 for the detail). We can always choose κ as a polynomial function of n such that for an arbitrary n. Thus postselected noisy commuting quantum circuits can solve postBQP complete (or equivalently PP complete) problems. This indicates that the noisy commuting quantum circuits with postselection are as hard as PP, and hence no efficient classical simulation exists unless the PH collapses at the third level. ◻
From the above theorem, we can induce the following corollary:
Corollary 1 (Postselected threshold for circuit level noises). Let us consider noisy commuting (IQP) circuits consisting of +〉 state preparations, singlequbit Z rotations and Xbasis measurements followed by singlequbit CPTP noises, and twoqubit commuting gates followed by twoqubit CPTP noises. There exists a constant threshold value on the noise strength (the distance with the identity map measured by the diamond norm), below which classical sampling (with exact or with an multiplicative error ) of the noisy commuting circuits is hard unless the PH collapses to the third level.
Note that the above CPTP noise of a constant noise strength can easily breaks the bounds on the multiplicative or additive error with the l_{1}norm, which are employed in the original arguments^{19,29}.
Proof: Finite depth commuting circuits are enough to construct a topologically protected MBQC on the 3D cluster state. Therefore, the single and twoqubit CPTP noises can always be written as kspatiallylocal noises after the commuting gates. Then we can employ Theorem 1. ◻
Note that in the above proof, we directly show the noisy commuting quantum circuits with postselection include PP or postBQP, instead of showing that they are BQPcomplete and further postselection boosts them into postBQP. If the latter is possible, the statement is somewhat trivial. However, this is not the case. Importantly, even if a computational model A is BQPcomplete, it does not directly lead that A with postselection is as powerful as postBQP. For example, BQPcomplete problems such as approximations of Jones/Tutte polynomials^{46,47,48} and Ising partition functions^{49} are more powerful than IQP^{18,19} or DQC1^{15} as decision problems, but would not become postBQP complete even with the help of postselection. (See, for example, ref. 50 for the distinction between decision and sampling problems). Moreover, since the probability of postselection is exponentially small, the logical error probability has to be reduced exponentially. Fortunately, in faulttolerant theory, we can reduce the logical error probability exponentially with increasing the overhead polynomially. These facts allow the postselected noisy quantum circuits to decide postBQP complete problems.
Since the dynamics consists only of twoqubit commuting gates of a constant depth, noises introduced by the input states, the commuting gates, and the measurements can also be regarded as a kspatiallylocal noise as long as they are also local in space.
A Sharp CQC Boundary
Next we derive a CQC boundary that sharply divides the classically simulatable and intractable regions of noisy commuting quantum circuits. To this end, we consider the simplest case: the dynamics is homogeneously subject to a singlequbit CPTP map
where with σ_{l} being the Pauli matrices. Moreover, nonconstantdepth commuting quantum circuits are also employed for the magic state injection. The latter requirement is relaxed to constantdepth circuits later.
We are supposed to be blind to the detail of the noise in experiments. Thus we have to transform the CPTP noise into dephasing by using a subprotocol as follows. In the vacuum and singularqubit regions, the input state is chosen to be , where with ∂j being neighbors of the jth qubit, and {ξ_{j}} and {ν_{j}} are random binary variables with probability 1/2. The measurement outcomes are reinterpreted as . This subprotocol is equivalent to the original commuting quantum circuit where each singlequbit CPTP noise is sandwiched by stochastic Pauli operations as shown in Fig. 3. These stochastic Pauli operations diagonalize the CPTP noise into a stochastic Pauli noise^{51}. Under these operations and using the fact that the measurements are done in the Xbasis, an arbitrary singlequbit CPTP noise can be rewritten as a dephasing^{51}:
with a dephasing rate .
In this case and . From Eq. (6), the total failure probability is given by . Thus the threshold for the topological protection is given by q = 16.7%. On the other hand, if we inject the magic state directly to the defect qubit by using a noncommuting circuit as shown in Fig. 2(b), the error on the injected magic state is given solely by the dephasing on the injected qubit. The threshold for the magic state distillation is given by ^{44,45}. Thus postselected threshold is given by 14.6%. If q ≤ 14.6%, classical simulation of such a noisy commuting quantum circuit is impossible. On the other hand, if q > 14.6%, any input state lies inside the octahedron of the Bloch sphere and hence can be written as a convex mixture of the Paulibasis states. The dynamics consists only of Clifford gates. The measurements are done in the Paulibasis. Thus the output distribution is classically simulatable due to the GottesmanKnill theorem^{11}. This indicates that the CQC boundary, which divides classically simulatable and not simulatable regions, is sharply given by q = 14.6% in the present setup.
Next we consider the constantdepth case, the depthfour commuting quantum circuit shown in Fig. 2(a). In this case, we have to take into account the noise accumulation on a logical magic state originated from the low weight errors (see Appendix C for the detail). We count the number of selfavoiding walks causing logical errors up to the length 14. The logical X and Z error probabilities as functions of q are given by
respectively. Since the logical X error causes an error during magic state distillation with probability 1/2, the threshold for magic state distillation is given by
The higher order contributions of the length larger than 14 is at most ~10^{−5} for each, and hence the threshold almost converges. Thus if q < 0.134, postselected faulttolerant quantum computation can simulate postBQP, and hence classical simulation of the corresponding noisy commuting quantum circuits is hard. While there still remains a gap between the classical simulatable region q > 14.6% and the intractable region q < 13.4%, we can obtain a fairly narrow CQC boundary, which is valid even for the constantdepth circuits.
Note that in the standard quantum computation, the threshold for Clifford gates are much lower than that for the magic state distillation. Thus the threshold for faulttolerant universal quantum computation is determined by the threshold 0.0075 for the Clifford gates^{31}. This is also the case in the earlier work on transitions of quantum computational power of thermal states^{25}, where a large gap between classical and quantum regions exists. Then, there has been a natural question how powerful the system in the intermediate region is. Our result provides an answer to this question. As shown above, if we consider the classical simulatability by using the postselection argument, the threshold, i.e. CQC boundary, is given solely by the distillation threshold of the magic state. This result is quite reasonable since the magic state distillation is an essential ingredient for universal quantum computation.
Verification
We have shown that if the noise strength q is smaller than a threshold value, the corresponding noisy quantum circuits cannot be simulated by classical computer unless the PH collapses at the third level. Thus if we can estimate the rate q in an experiment efficiently (later we will show how to do this), the CQC boundary serves as an efficient experimental criterion that the dynamics has quantumness in a computational sense. Below, we show how to estimate the dephasing rate q from a singleshot measurement under some physical assumptions.
Theorem 2 (Singleshot verification). Suppose the noise is given by homogeneous 1spatiallylocal noise. If the spatial average is larger than 0.154, such a noisy commuting quantum circuit is guaranteed to be hard for classical simulation with a probability exponentially close to 1 in the system size N.
Proof: As mentioned previously, if the jth input state is chosen to be randomly, the 1spatiallylocal noise can be rewritten as a dephasing with the probability . The parities {S_{u} = ±1} are independent binary variables with probability [1 + S_{u}(1 − 2q)^{6}]/2. The spatial average of S_{u} is calculated to be
If q = 0.134, this reads 0.154. By virtue of HoeffdingChernoff inequality, if we obtain 〈S_{u}〉 > 0.154 experimentally, the probability that q > 0.154 is exponentially small, and hence classical intractability is guaranteed with a probability exponentially close to 1. ◻
The above arguments can be straightforwardly generalized into kspatiallylocal CPTP noises, if one assumes spatial homogeneity. As a practice, let us consider a more realistic noise model, where the state preparation and measurements are followed by a singlequbit depolarizing noise
and twoqubit commuting gate is followed by twoqubit depolarizing noise
Here [A] indicates a superoperator A(···)A^{†}. In this case, the noise operator after the depthfour commuting gate is at most 2spatiallylocal. The correlated errors introduced on each pair of qubits on opposite edges on each face. The independent and correlated error probabilities q_{ind} and q_{cor} can be obtained from a straightforward calculation^{30}:
The correlated error is located between two unit cubes, and hence errors are independent for each qubit on a unit cell. Therefore 〈S_{u}〉 can be given simply by
On the other hand, the threshold on the magic state distillation has to be modified appropriately by taking correlated noise into account. For the errors on the singular qubit, we counted, up to the leading order, the probability p_{s} of the errors, which are located solely on the singular qubit or the weightfour primal chain and hence cannot by postselected. This amounts to be p_{s} = (8p_{2}/15 + 3p_{1}/3) + (4p_{2}/15 + 2p_{1}/3)/2. For the chains of weight three or higher, we replace q with in Eqs (13) and (14). This automatically takes the weighttwo correlated errors; for example , where the odd order terms of are unphysical but only worse the threshold. Note that this substantially overestimates the error probability, since some of them can be detected and postselected on the dual lattice. For simplicity, if we take p_{1} = p_{2}, the threshold is given by p_{1} = p_{2} = 0.0270, which corresponds to 〈S_{u}〉 = 0.225. Note that the postselected threshold 0.0270 is still higher than the standard threshold ~0.0075^{30} for universal quantum computation. On the other hand, if , then the noisy magic state becomes a convex mixture of the Pauli basis states. This indicates that if p_{1} = p_{2} > 0.0998 for the depolarizing noise model, the noisy commuting circuits become classically simulatable. The gap between 0.0270 and 0.0998 is originated from that the probability includes the errors that can be postselected using the correlation between the primal and dual lattices. Therefore the true threshold for classical intractability would be much higher than 0.0270.
CQC Boundary for General Commuting Circuits
In the previous argument, we explicitly utilized the fact that the dynamics consists only of CZ gates. Here we generalize the dynamics to twoqubit nearestneighbor commuting gates
where θ_{ij} ∈ [0, π/4], and is taken over all nearestneighbor two qubits. For simplicity, we assume that noise is intrinsically provided as a dephasing consider the depthfour commuting quantum circuits. The lower bound, i.e. classical intractability, with θ_{ij} = π/4 is q = 13.4% for the depthfour circuit (q = 14.6% for the higher depth circuit), since the previous case is a special case of the present one.
Classical simulatability: PEPS approach
Below we will first derive an upper bound of the CQC boundary showing classically simulatability of an arbitrary depthfour commuting quantum circuit under decoherence. We regard the state before the measurement, which we call a quantum output hereafter, as a PEPS^{23,24,25}. At the center of the site, the input state α_{j}〉 is located to represent an initially rotated singlequbit state. An entangled pair
is shared between nearestneighbor sites as shown in Fig. 4(a), which corresponds to a twoqubit commuting gate. The isometry (projection)
defined on each site i reproduces the quantum output as follows:
where is a normalization factor. By denoting and , the dephasing can be taken as
where q_{i,j} and q_{k} are chosen such that
By choosing q_{i,j} = q_{j,i} = q^{(i,j)}, the dephased entangled pair can be written as
The separability criterion, socalled concurrence, for twoqubit mixed state^{52} provides the condition
Each site has four nearestneighbor bonds since we are considering a depthfour commuting quantum circuits. If at least two nearestneighbor bonds per site are made separable for as shown in Fig. 4, the corresponding PEPS can be decoupled into quasi onedimensional entangled states (more precisely matrix product states).
After the sampling (see Appendix 0.3 for the detail), the probability distributions on the quasi onedimensional entangled states can be evaluated via the matrix products. Hence the measurement outcomes can be simulated efficiently if
where θ_{m} = max{θ_{ij}} and q_{k} = 0 is taken.
Classical simulatability: stabilizer mixture approach
The above argument using the separability criteria cannot reproduce classical simulatability with θ_{ij} = π/4, where the quantum output is highly entangled. Next we derive another bound with respect to the GottesmanKnill theorem. If
the entangled pair becomes a convex mixture of the stabilizer states. The input state becomes a convex mixture of Paulibasis states, if . Thus if
with , the quantum output becomes a convex mixture of stabilizer states, on which the Paulibasis measurements are efficiently classically simulatable. More precisely, for each bond, we first choose a pure stabilizer state from the convex mixture according to the posterior probability conditioned on the successful projections as mentioned previously. In this case, one of the sampled state is given as an entangled state
This state can be made separable by using the commuting gate e^{−i(π/4)ZZ}, which commutes with the isometry. Thus even in this case, the joint probability of successful projections on all sites can be divided into probabilities of successful projections on each site. Then, the sampling with the posterior probability can be done appropriately.
The Xbasis measurement of the ith qubit after the isometry (projection) is equivalent to the measurement of an operator at site i before the isometry. Thus the probability distribution of the output of the commuting circuits is given by the probability distribution for conditioned on obtaining +1 eigenvalues for all parity operators . Such a probability can be evaluated efficiently by virtue of the GottesmanKnill theorem.
For simplicity, let us assume ϕ = π/4 − θ_{ij} for all (i, j), that is, all commuting gates have the same entangling power. Then the separable and stabilizermixture criteria are shown in Fig. 5. When ϕ = 0.0144, the dephasing rate q required for classical simulation becomes the highest. In the region ϕ > 0.0144, the state before the measurements is highly entangled but can be written as a convex mixture of stabilizer states, and hence the measurement outcomes can be efficiently simulated.
Classical intractability for general θ _{ ij }
Finally we discuss classical intractability, i.e., lower bound of the CQC boundary for the general twoqubit commuting gates with ϕ = π/4 − θ_{ij} (θ_{ij} ∈ [−π/4, π/4]). The heart of this parameterization is that the twoqubit commuting gates are characterized by its entangling power; they generate maximally entangled state with ϕ = 0 and noentanglement with ϕ = π/4. Note that two different types of twoqubit commuting gates (θ_{ij} = π/4 ± ϕ) of the same entangling power can be freely chosen. The choice of the commuting gates is inevitable to take the over or under rotation ϕ with respect to π/4 as imperfections as follows. By choosing θ_{ij} = π/4 ± ϕ randomly with probability 1/2, the twoqubit commuting gate can be rewritten as (equivalent to CZ up to a singlequbit rotation) followed by a collective dephasing with probability :
Topological quantum error corrections are done independently on the primal and dual lattices, respectively. Suppose the primal lattice is utilized to inject magic states and perform universal quantum computation and the dual lattice is utilized to detect errors. If a total of the dephasing rates q and q(ϕ) is below the topological threshold 20% (although this is far from tight), that is,
then the correlated errors are detected and removed on the primal lattice. Besides, if , magic state distillation succeeds and hence the commuting quantum circuits can simulate universal quantum computation under postselection. The classically intractable region (q, ϕ), in which the dynamics cannot be simulated efficiently unless the PH collapses at the third level, is shown in Fig. 5.
Note that while we here randomly choose the angle θ_{ij} = π/4 ± ϕ to depolarize a commuting gate into a correlated dephsing, we can also calculate the intractable region for θ_{ij} = π/4 − ϕ by taking e^{−ϕZZ} as a noise and evaluating its diamond norm.
Discussion
Here we have established the CQC boundary for the commuting quantum circuits under decoherence. The condition for the system to be a convex mixture of the stabilizer states is far from tight and should be further improved. Such a technique required to show classical simulatability will be useful to describe a complex and noisy quantum system efficiently.
On the other hand, the technique to show classical intractability is useful to certify quantumness in an experimentally feasible setup. It will be interesting to study a relation with unconditionally verifiable blind quantum computation^{53}, where the quantum tasks are verified without any assumption but unfortunately have no error tolerance, meaning that any small error is detected as an evil attack by the quantum server.
The commuting quantum circuits, which we adopted as an experimentally feasible setup, can be readily applicable for a wide range of noncommuting quantum dynamics by using the TrotterSuzuki expansion and a path integral method. It would be interesting to investigate the relationship between the present CQC boundary and contextuality^{54}, a nonlocal property of quantum systems, which has been shown to be relevant for universal quantum computation via magic state distillation, recently.
While we here addressed faulttolerance of an intermediate model of quantum computation only for commuting circuits, application of the postselected threshold theorem to another intermediate models such as boson sampling and DQC1 might be possible^{15,16,17,28}. Specifically, there are faulttolerant models of linear optical quantum computation^{55,56,57,58}, we could, in principle, apply the postselected threshold theorem for linear optical quantum computation. It would be interesting to see how it behaves against various sources of noise such as a multiphoton effect and photon loss^{59}.
Method
Exponentially small logical error probability is enough to solve postBQP = PP
Here we briefly review postBQP = PP theorem by Aaronson^{27} and show that postselection with at most exponentially small probability is enough to solve a PPcomplete problem. Let f : {0, 1}^{n} → {0, 1} be an efficiently computable Boolean function and s = {x : f(x) = 1}. To show PPcompleteness, it is enough to decide whether s < 2^{n−1} or s ≥ 2^{n−1}. To this end, we first prepare . After the Hadamard transformations, the first n qubits are measured in the Z basis, and we obtain x = 0...0 with probability at least 1/4. The postmeasurement state (0〉^{⊗n} is omitted hereafter)
is entangled with another ancilla qubit α0〉 + β1〉 (α^{2} + β^{2} = 1) as
where β/α = 2^{k} with k ∈ [−n, n] being an integer. Then postselection on the second qubit by 1〉 yields
Then if 2^{n} − 2s ≤ 0, i.e., s ≥ 2^{n−1}, the state never lies in the first quadrant. Otherwise, ϕ_{k}〉 can be made close to +〉 by an appropriate k. This separation can be enough to then we can decide whether s < 2^{n−1} or 2^{n−1} ≤ s (see ref. 27 for the detail).
The probability of the above postselection is calculated to be
where we used that 2^{−n} ≤ 2^{k} ≤ 2^{n} and 0 ≤ s ≤ 2^{n}. Thus postselection with an exponentially small probability 2^{−6n−4} is enough to decide a PPcomplete problem of the size n. Let us define postBQP* as a restricted postselected quantum computation class whose probability for postselection is lower bounded by 2^{−6n−4} in the size n of the problem. Now we have postBQP* = PP.
Let P_{ω}(x, y_{1}) is the output probability distribution of C_{ω} for uniformly generated quantum circuits {C_{ω}}, where x and y_{1} are decision and postselection ports, respectively. Let P(x, y_{1}, y_{2}) is the output probability distribution of an element of uniformly generated noisy quantum circuits (possibly followed by polynomialtime classical computation to decode the logical information), where x and y_{1,2} are decision and two postselection ports, respectively. Then we can show the following lemma:
Lemma 1. For any quantum circuit C_{ω}, if there exists a noisy quantum circuit of the size N = poly(n, κ) with n being the size of C_{w} such that
then weak classical simulation with the multiplicative error of such a uniform family of the noisy quantum circuits is impossible unless the PH collapses to the third level.
Here weak classical simulation with a multiplicative error of the noisy quantum circuits means that the classical sampling of {m_{k}} according to the probability distribution P^{ ap}({m_{k}}) that satisfies
where P({m_{k}}) is the output probability distribution of the noisy quantum circuit.
Proof: A language L is in the class postBQP* iff there exists a uniform family of postselected quantum circuits {C_{ω}} with a decision port x and postselection port y_{1} such that P_{ω}(y_{1} = 0) > 2^{−6n−4}, and
where δ can be chosen arbitrary such that 0 < δ < 1/2. Now we have
Since P_{ω}(y_{1} = 0) > 2^{−6n−4}, we can choose κ = poly(n) such that P(x  y_{1} = 0, y_{2} = 0) − P_{ω}(x  y_{1} = 0) < 1/2. The resultant size of the noisy quantum circuit is still polynomial in n. From the definition (robustness against the bounded error) of the class postBQP* (as same as postBQP), the postselected noisy quantum circuit can decide problems in postBQP* = PP (recall that we can freely choose 0 < δ < 1/2). Thus postselected quantum computation of such noisy quantum circuits is as hard as PP, and hence cannot be weakly simulated with the multiplicative error unless the PH collapses to the third level. ◻
Sampling method
In a classical simulation, we have to take into account the success probability of the projections for the PEPS. Suppose the dephased entangled pair is decomposed into separable states as follows:
To handle the success probability of projections, we have to sample separable states with a posterior probability conditioned on the success of projections on all site l:
where {⋅}_{sep} and 〈⋅〉_{sep} are sets with respect to the separable bonds, and ρ_{r} indicates the remaining entangling bonds and central qubits for the input state. To this end, a separable state is sampled independently for each dephased entangled pair according to a posterior probability given that the projections at site i and j succeed:
Here if the sampling on bond (i, j′) is not yet completed, with Tr_{a}[⋅] being a partial trace with respect to qubit a. Otherwise, according to the sampling result. Similarly or depending on whether or not the sampling on bond (i′, j) is completed. In other words, the calculation of the posterior probability is done with updating the states on the bonds depending on the sampling results. Since both commuting gate and dephasing operations commute with the isometry, the joint probability distribution for the successful projections on all sites are divided into a product of probabilities of successful projections on each site. This is also the case for the sampled states, since they are separable. By using these facts, as proved in ref. 25, the sampling according to reproduces the distribution p({k_{ij}}).
Lowweight error accumulation
On the RHG lattice, a magic state is injected by measuring a singular qubit in the eigenbases of the operators Y and . In order to inject the magic state, the defect is shrunk around the singular qubit as shown in Fig. 6. Thus the code distance around the singular qubit is relatively small. This causes low weight errors. This is the reason why the singular qubit is said not to be topologically protected.
There are twotypes of errors: one corresponds to primal 1chains surrounding the shrunk defect tube and occurs as the Z errors on the injected magic state (shown by a blue chain in Fig. 6), and another corresponds to dual 1chains connecting upper and lower sides of the defect cones and occurs as the X errors on the injected magic state (shown by a red chain in Fig. 6). In order to evaluate these error accumulations, we count the number of selfavoiding walks satisfying the above conditions up to length 14. Two authors independently have built the codes for the brute force counting and have verified to obtain the same results. The numbers of the primal and dual 1chains are listed in Table 1.
Additional Information
How to cite this article: Fujii, K. and Tamate, S. Computational quantumclassical boundary of noisy commuting quantum circuits. Sci. Rep. 6, 25598; doi: 10.1038/srep25598 (2016).
References
 1.
Zurek, W. H. Decoherence and the transition from quantum to classical–revisited. Physics Today 44, arXiv preprint quantph/0306072 (2003).
 2.
Zurek, W. H. Decoherence, einselection, and the quantum origins of the classical. Rev. Mod. Phys. 75, 715 (2003).
 3.
Bell, J. On the einsteinpodolskyrosen paradox. Physics 1, 195200 (1964).
 4.
Bennett, C. H. et al. Teleporting an unknown quantum state via dual classical and einsteinpodolskyrosen channels. Phys. Rev. Lett. 70, 1895 (1993).
 5.
Ekert, A. K. Quantum cryptography based on bell’s theorem. Phys. Rev. Lett. 67, 661–663 (1991).
 6.
Gefter, A. Theoretical physics: Complexity on the horizon. Nature 509, 552 (2014).
 7.
Reichardt, B. W., Unger, F. & Vazirani, U. Classical command of quantum systems. Nature 496, 456–460 (2013).
 8.
Johnson, M. et al. Quantum annealing with manufactured spins. Nature 473, 194–198 (2011).
 9.
Rønnow, T. F. et al. Defining and detecting quantum speedup. Science 345, 420–424 (2014).
 10.
Boixo, S. et al. Evidence for quantum annealing with more than one hundred qubits. Nat. Phys. 10, 218–224 (2014).
 11.
Gottesman, D. Stabilizer codes and quantum error correction. Ph.D. thesis, California Institute of Technology (1997).
 12.
Valiant, L. G. Quantum circuits that can be simulated classically in polynomial time. SIAM Journal on Computing 31, 1229–1254 (2002).
 13.
Bravyi, S. & Raussendorf, R. Measurementbased quantum computation with the toric code states. Phy. Rev. A 76, 022304 (2007).
 14.
Fujii, K. & Morimae, T. Quantum commuting circuits and complexity of ising partition functions. arXiv preprint arXiv:1311.2128 (2013).
 15.
Knill, E. & Laamme, R. Power of one bit of quantum information. Phys. Rev. Lett. 81, 5672–5675 (1998).
 16.
Morimae, T., Fujii, K. & Fitzsimons, J. F. Hardness of classically simulating the onecleanqubit model. Phys. Rev. Lett. 112, 130502 (2014).
 17.
Fujii, K. et al. Impossibility of classically simulating onecleanqubit computation. arXiv preprint arXiv:1409.6777 (2014).
 18.
Shepherd, D. & Bremner, M. J. Temporally unstructured quantum computation. Proc. R. A 465, 1413–1439 (2009).
 19.
Bremner, M. J., Jozsa, R. & Shepherd, D. J. Classical simulation of commuting quantum computations implies collapse of the polynomial hierarchy. Proc. R. A 467, 459–472 (2011).
 20.
Nakata, Y. & Murao, M. Diagonal quantum circuits: Their computational power and applications. Eur. Phys. J. Plus 129, 1–14 (2014).
 21.
Aaronson, S. Guest column: Npcomplete problems and physical reality. ACM Sigact News 36, 30–52 (2005).
 22.
Schönhage, A. On the power of random access machines (Springer, 1979).
 23.
Verstraete, F. & Cirac, J. I. Valencebond states for quantum computation. Phy. Rev. A 70, 060302 (2004).
 24.
Raussendorf, R., Bravyi, S. & Harrington, J. Longrange quantum entanglement in noisy cluster states. Phys. Rev. A 71, 062313 (2005).
 25.
Barrett, S. D., Bartlett, S. D., Doherty, A. C., Jennings, D. & Rudolph, T. Transitions in the computational power of thermal states for measurementbased quantum computation. Phys. Rev. A 80, 062328 (2009).
 26.
Hein, M. et al. Quantum computers, algorithms and chaos. In International School of Physics Enrico Fermi, vol. 162 (IOS, 2006).
 27.
Aaronson, S. Quantum computing, postselection, and probabilistic polynomialtime. Proc. R. A 461, 3473–3482 (2005).
 28.
Aaronson, S. & Arkhipov, A. The computational complexity of linear optics. In Proc. 43rd STOC, 333–342 (ACM, 2011).
 29.
Bremner, M. J., Montanaro, A. & Shepherd, D. J. Averagecase complexity versus approximate simulation of commuting quantum computations. arXiv preprint arXiv:1504.07999 (2015).
 30.
Raussendorf, R., Harrington, J. & Goyal, K. A faulttolerant oneway quantum computer. Ann. of phys. 321, 2242–2270 (2006).
 31.
Raussendorf, R., Harrington, J. & Goyal, K. Topological faulttolerance in cluster state quantum computation. New J. Phys. 9, 199 (2007).
 32.
Fujii, K. Quantum computation with topological codes: from qubit to topological faulttolerance. arXiv preprint arXiv:1504.01444 (2015).
 33.
Fujii, K. & Morimae, T. Topologically protected measurementbased quantum computation on the thermal state of a nearestneighbor twobody hamiltonian with spin3/2 particles. Phys. Rev. A 85, 010304 (2012).
 34.
Li, Y., Browne, D. E., Kwek, L. C., Raussendorf, R. & Wei, T.C. Thermal states as universal resources for quantum computation with alwayson interactions. Phys. Rev. Lett. 107, 060501 (2011).
 35.
Morimae, T. & Fujii, K. Blind topological measurementbased quantum computation. Nat. Commun. 3, 1036 (2012).
 36.
Fujii, K., Nakata, Y., Ohzeki, M. & Murao, M. Measurementbased quantum computation on symmetry breaking thermal states. Phys. Rev. Lett. 110, 120502 (2013).
 37.
Dennis, E., Kitaev, A., Landahl, A. & Preskill, J. Topological quantum memory. J. of Math. Phys. 43, 4452–4505 (2002).
 38.
Knill, E. Quantum computing with realistically noisy devices. Nature 434, 39–44 (2005).
 39.
Knill, E. Scalable quantum computing in the presence of large detectederror rates. Phy. Rev. A 71, 042322 (2005).
 40.
Fujii, K. & Yamamoto, K. Clusterbased architecture for faulttolerant quantum computation. Phys. Rev. A 81, 042324 (2010).
 41.
Fujii, K. & Yamamoto, K. Topological oneway quantum computation on verified logical cluster states. Phys. Rev. A 82, 060301 (2010).
 42.
Aharonov, D., Kitaev, A. & Nisan, N. Quantum circuits with mixed states. In Proc. 30th STOC, 20–30 (ACM, 1998).
 43.
Aliferis, P. An introduction to reliable quantum computation. In Quantum Error Correction, 127–158 (Cambridge University Press, 2013).
 44.
Bravyi, S. & Kitaev, A. Universal quantum computation with ideal clifford gates and noisy ancillas. Phy. Rev. A 71, 022316 (2005).
 45.
Reichardt, B. W. Quantum universality from magic states distillation applied to css codes. Quant. Inf. Proc. 4, 251–264 (2005).
 46.
Aharonov, D., Jones, V. & Landau, Z. A polynomial quantum algorithm for approximating the jones polynomial. Algorithmica 55, 395–421 (2009).
 47.
Aharonov, D. & Arad, I. The bqphardness of approximating the jones polynomial. arXiv preprint quantph/0605181 (2006).
 48.
Aharonov, D., Arad, I., Eban, E. & Landau, Z. Polynomial quantum algorithms for additive approximations of the potts model and other points of the tutte plane. arXiv preprint quantph/0702008 (2007).
 49.
Matsuo, A., Fujii, K. & Imoto, N. Quantum algorithm for an additive approximation of ising partition functions. Phys. Rev. A 90, 022304 (2014).
 50.
Ni, X. & Nest, M. V. d. Commuting quantum circuits: efficient classical simulations versus hardness results. arXiv preprint arXiv:1204.4570 (2012).
 51.
Dür, W., Hein, M., Cirac, J. I. & Briegel, H.J. Standard forms of noisy quantum operations via depolarization. Phys. Rev. A 72, 052326 (2005).
 52.
Wootters, W. K. Entanglement of formation of an arbitrary state of two qubits. Phys. Rev. Lett. 80, 2245 (1998).
 53.
Fitzsimons, J. F. & Kashefi, E. Unconditionally verifiable blind computation. arXiv preprint arXiv:1203.5217 (2012).
 54.
Howard, M., Wallman, J., Veitch, V. & Emerson, J. Contextuality supplies the /‘magic/’ for quantum computation. Nature 510, 351 (2014).
 55.
Knill, E., Laamme, R. & Milburn, G. J. A scheme for efficient quantum computation with linear optics. Nature 409, 46–52 (2001).
 56.
Dawson, C. M., Haselgrove, H. L. & Nielsen, M. A. Noise thresholds for optical quantum computers. Phys. Rev. Lett. 96, 020501 (2006).
 57.
Fujii, K. & Tokunaga, Y. Faulttolerant topological oneway quantum computation with probabilistic twoqubit gates. Phys. Rev. Lett. 105, 250503 (2010).
 58.
Li, Y., Barrett, S. D., Stace, T. M. & Benjamin, S. C. Fault tolerant quantum computation with nondeterministic gates. Phys. Rev. Lett. 105, 250502 (2010).
 59.
Rohde, P. P., Motes, K. R., Knott, P. & Munro, W. J. Will bosonsampling ever disprove the extended churchturing thesis? arXiv preprint arXiv:1401.2199 (2014).
Acknowledgements
KF is supported by JSPS GrantinAid for Research Activity Startup 25887034 and KAKENHI No. 16H02211. ST is supported by the Funding Program for WorldLeading Innovative R&D on Science and Technology (FIRST Program).
Author information
Affiliations
The Hakubi Center for Advanced Research, Kyoto University, YoshidaUshinomiyacho, Sakyoku, Kyoto 6068302, Japan
 Keisuke Fujii
Department of Physics, Graduate School of Science, Kyoto University, Kitashirakawa Oiwakecho, Sakyoku, Kyoto 6068502, Japan
 Keisuke Fujii
Graduate School of Informatics, Kyoto University, Yoshida Honmachi, Sakyoku, Kyoto 6068501, Japan
 Keisuke Fujii
Photon Science Center, Graduate School of Engineering, The University of Tokyo, 21116 Yayoi, Bunkyoku, Tokyo 1138656, Japan
 Keisuke Fujii
RIKEN Center for Emergent Matter Science, Wako, Saitama 3510198, Japan
 Shuhei Tamate
National Institute of Informatics, Hitotsubashi 212, Chiyodaku, Tokyo 1018403, Japan
 Shuhei Tamate
Authors
Search for Keisuke Fujii in:
Search for Shuhei Tamate in:
Contributions
K.F. designed concept of the study and drafted the manuscript. K.F. and S.T. discussed and analyzed the contents reviewed the manuscript.
Competing interests
The authors declare no competing financial interests.
Corresponding author
Correspondence to Keisuke Fujii.
Rights and permissions
This work is licensed under a Creative Commons Attribution 4.0 International License. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in the credit line; if the material is not included under the Creative Commons license, users will need to obtain permission from the license holder to reproduce the material. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/
About this article
Further reading

Quantum computational supremacy
Nature (2017)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.