Skip to main content
Nature Portfolio logoLink to Nature Portfolio
. 2024 Oct 9;634(8033):328–333. doi: 10.1038/s41586-024-07998-6

Phase transitions in random circuit sampling

A Morvan 1,#, B Villalonga 1,#, X Mi 1,#, S Mandrà 1,2,3,#, A Bengtsson 1, P V Klimov 1, Z Chen 1, S Hong 1, C Erickson 1, I K Drozdov 1,4, J Chau 1, G Laun 1, R Movassagh 1, A Asfaw 1, L T A N Brandão 5, R Peralta 6, D Abanin 1, R Acharya 1, R Allen 1, T I Andersen 1, K Anderson 1, M Ansmann 1, F Arute 1, K Arya 1, J Atalaya 1, J C Bardin 1,7, A Bilmes 1, G Bortoli 1, A Bourassa 1, J Bovaird 1, L Brill 1, M Broughton 1, B B Buckley 1, D A Buell 1, T Burger 1, B Burkett 1, N Bushnell 1, J Campero 1, H-S Chang 1, B Chiaro 1, D Chik 1, C Chou 1, J Cogan 1, R Collins 1, P Conner 1, W Courtney 1, A L Crook 1, B Curtin 1, D M Debroy 1, A Del Toro Barba 1, S Demura 1, A Di Paolo 1, A Dunsworth 1, L Faoro 1, E Farhi 1, R Fatemi 1, V S Ferreira 1, L Flores Burgos 1, E Forati 1, A G Fowler 1, B Foxen 1, G Garcia 1, É Genois 1, W Giang 1, C Gidney 1, D Gilboa 1, M Giustina 1, R Gosula 1, A Grajales Dau 1, J A Gross 1, S Habegger 1, M C Hamilton 1,8, M Hansen 1, M P Harrigan 1, S D Harrington 1, P Heu 1, M R Hoffmann 1, T Huang 1, A Huff 1, W J Huggins 1, L B Ioffe 1, S V Isakov 1, J Iveland 1, E Jeffrey 1, Z Jiang 1, C Jones 1, P Juhas 1, D Kafri 1, T Khattar 1, M Khezri 1, M Kieferová 1,9, S Kim 1, A Kitaev 1, A R Klots 1, A N Korotkov 1,10, F Kostritsa 1, J M Kreikebaum 1, D Landhuis 1, P Laptev 1, K-M Lau 1, L Laws 1, J Lee 1,11, K W Lee 1, Y D Lensky 1, B J Lester 1, A T Lill 1, W Liu 1, W P Livingston 1, A Locharla 1, F D Malone 1, O Martin 1, S Martin 1, J R McClean 1, M McEwen 1, K C Miao 1, A Mieszala 1, S Montazeri 1, W Mruczkiewicz 1, O Naaman 1, M Neeley 1, C Neill 1, A Nersisyan 1, M Newman 1, J H Ng 1, A Nguyen 1, M Nguyen 1, M Yuezhen Niu 1, T E O’Brien 1, S Omonije 1, A Opremcak 1, A Petukhov 1, R Potter 1, L P Pryadko 12, C Quintana 1, D M Rhodes 1, C Rocque 1, E Rosenberg 1, N C Rubin 1, N Saei 1, D Sank 1, K Sankaragomathi 1, K J Satzinger 1, H F Schurkus 1, C Schuster 1, M J Shearn 1, A Shorter 1, N Shutty 1, V Shvarts 1, V Sivak 1, J Skruzny 1, W C Smith 1, R D Somma 1, G Sterling 1, D Strain 1, M Szalay 1, D Thor 1, A Torres 1, G Vidal 1, C Vollgraff Heidweiller 1, T White 1, B W K Woo 1, C Xing 1, Z J Yao 1, P Yeh 1, J Yoo 1, G Young 1, A Zalcman 1, Y Zhang 1, N Zhu 1, N Zobrist 1, E G Rieffel 2, R Biswas 2, R Babbush 1, D Bacon 1, J Hilton 1, E Lucero 1, H Neven 1, A Megrant 1, J Kelly 1, P Roushan 1, I Aleiner 1, V Smelyanskiy 1, K Kechedzhi 1,, Y Chen 1, S Boixo 1
PMCID: PMC11464376  PMID: 39385051

Abstract

Undesired coupling to the surrounding environment destroys long-range correlations in quantum processors and hinders coherent evolution in the nominally available computational space. This noise is an outstanding challenge when leveraging the computation power of near-term quantum processors1. It has been shown that benchmarking random circuit sampling with cross-entropy benchmarking can provide an estimate of the effective size of the Hilbert space coherently available28. Nevertheless, quantum algorithms’ outputs can be trivialized by noise, making them susceptible to classical computation spoofing. Here, by implementing an algorithm for random circuit sampling, we demonstrate experimentally that two phase transitions are observable with cross-entropy benchmarking, which we explain theoretically with a statistical model. The first is a dynamical transition as a function of the number of cycles and is the continuation of the anti-concentration point in the noiseless case. The second is a quantum phase transition controlled by the error per cycle; to identify it analytically and experimentally, we create a weak-link model, which allows us to vary the strength of the noise versus coherent evolution. Furthermore, by presenting a random circuit sampling experiment in the weak-noise phase with 67 qubits at 32 cycles, we demonstrate that the computational cost of our experiment is beyond the capabilities of existing classical supercomputers. Our experimental and theoretical work establishes the existence of transitions to a stable, computationally complex phase that is reachable with current quantum processors.

Subject terms: Quantum information, Quantum simulation


By implementing random circuit sampling, experimental and theoretical results establish the existence of transitions to a stable, computationally complex phase that is reachable with current quantum processors.

Main

The computational complexity of quantum systems arises from the exponential growth of the Hilbert space dimension with system size. On near-term quantum processors whose practical complexity is limited by noise, random circuit sampling (RCS) has emerged as the most suitable candidate for a beyond-classical demonstration. The interplay between computational complexity and noise is highlighted by recent RCS experiments with increasing system sizes and fidelity46,9,10, although classical algorithms have also advanced substantially1116. RCS is, arguably, the entry point into the realm of classically intractable problems for any experimental quantum processing platform17. The reason is that RCS circuits can be optimized to maximize the speed of quantum correlations with iSWAP-like gates2,1820 while preventing potential simplifications in the corresponding classical emulations17. This intensifying quantum–classical competition motivates two questions. Are there well-defined boundaries for the region where the exponentially large Hilbert space is, in fact, leveraged by a noisy quantum processor? More importantly, can we establish an experimental observable that directly probes these boundaries?

In this work, we provide direct insight to these two questions using RCS on a two-dimensional grid of superconducting qubits. We demonstrate that the interplay between quantum dynamics and noise can drive the system into distinct phases. The boundary between these phases can be resolved using finite-size studies with a fidelity estimation technique called cross-entropy benchmarking (XEB)24,21. Reaching the desired phase of maximized complexity requires a noise rate per cycle below a critical threshold whose value is determined by the growth rate of quantum correlations.

The structure of these phases is schematically illustrated in Fig. 1. Driven by the circuit number of cycles or depth, the system first goes through a dynamical phase transition where the output distribution is no longer concentrated in a fraction of bit strings. Anti-concentration is a key ingredient of XEB and of mathematical arguments on the complexity of simulating noiseless RCS2,2225. Nevertheless, we will show that this is a necessary but not sufficient condition for global entanglement (Supplementary Information section H), which maximizes the computational cost.

Fig. 1. Phase transitions in RCS.

Fig. 1

One phase transition goes between a concentrated output distribution of bit strings from RCS at a low number of cycles to a broad or anti-concentrated distribution. There is a second phase transition in a noisy system. A strong-enough error per cycle induces a phase transition from a regime where correlations extend to the full system to a regime where the system may be approximately represented by the product of several uncorrelated subsystems.

The second transition is driven by noise, specifically the error rate per cycle ϵ × n, where ϵ is the error per gate and n is the number of qubits. As illustrated in Fig. 1, the behaviour of quantum correlations falls into two regimes: when the error rate per cycle is large, the state of the system can be approximately represented by several uncorrelated subsystems (equation (3)). This leaves the quantum system open to spoofing by classical algorithms that represent only part of the system at a time22,26,27. In the regime where the error rate per cycle is sufficiently low, correlations eventually span the entire system, thus restoring its computational complexity, and the experiment cannot be spoofed (Supplementary Information section F). The boundary between these two phases is determined by the competition between ϵ × n and the convergence of the system to the ergodic state. Reference 28 studied the same phase transition for one-dimensional and all-to-all connectivity.

We found that XEB is a proper observable and can be used to resolve the aforementioned regimes experimentally, as it is sensitive to the nature of the dominant correlations. Specifically, linear XEB is measured as

XEB=2npsim(s)1s, 1

where n is the number of qubits, psim(s) is the ideal (simulated) probability of bit string s and the average is over experimentally observed bit strings s. We measured XEB as a function of the number of cycles or depth d for different system sizes to resolve the dynamical phase transition (Fig. 1). The experimental results are shown in Fig. 2a,b for one- and two-dimensional systems, respectively. We found that XEB increased with system size for small d. In this case, the system state was concentrated in a fraction of basis states. However, for large d, XEB decayed exponentially and approximated the circuit fidelity. At an intermediate number of cycles, we observed a single crossing point where all the measured XEB curves intersected and where XEB was approximately independent of the system size. The detailed theory presented in Supplementary Information section E shows that this is indeed a phase transition associated with the role of the boundary.

Fig. 2. Phase transitions in the linear cross-entropy.

Fig. 2

ad, At a low number of cycles, XEB grows with the size of the system. In a noiseless device, XEB will converge to 1 with the number of cycles. In the presence of noise, XEB becomes an estimator of the system fidelity. a,b, We experimentally observed a dynamical phase transition at a fixed number of cycles between these two regimes in one (a) and two dimensions (b). The random circuits have Haar random single-qubit gates and an iSWAP-like gate as an entangler. c,d, We experimentally probed a noise-induced phase transition using a weak-link model (see the main text), where the weak link is applied every 12 cycles (discrete gate set; see main text). c, The two different regimes. In the weak-noise regime, XEB converges to the fidelity, whereas in the strong-noise regime, XEB remains higher than predicted by the digital error model. d, We induced errors to scan the transition from one regime to the other.

Having identified the minimum number of cycles at which XEB approximated the system fidelity, we formulated an experimental protocol for locating the transition between the strong- and weak-noise regimes (Fig. 1). A conceptually simple set-up that highlights the underlying physics for this transition is the so-called weak-link model, where two subsystems of size n/2 are coupled through an entangling gate applied every T cycles. In the limit where T = ∞ (no weak link is applied), the subsystems were uncoupled and the overall system converged to a product state ρA ⊗ ρB, where ρA and ρB are the pure ergodic states of each subsystem. Adding noise, we assumed the so-called depolarizing channel noise model for the density matrix of each subsystem A and B (ref. 29): Fd/2ρA/B + (1 − Fd/2)IA/B/2n/2, where IA (IB) is the identity matrix and F = eϵn is the fidelity. Direct substitution of this density matrix into equation (1) gives XEB = eϵnd + 2eϵnd/2. We use XEB = 1 for ρA/B and XEB = 0 for IA/B/2n/2.

At finite yet large T, each subsystem approached the ergodic state in less than T cycles. The application of a two-qubit gate between the two subsystems built global correlations, which, therefore, decreased the XEB term proportional to Fd/2 with some rate λ. This rate λ depends on the gate and was λ = 1/4 for the iSWAP-like gates employed in our experiment (Supplementary Information section D). Therefore, a simplified model for linear XEB is

XEB2λd/Teϵnd/2+eϵnd. 2

We justify this equation by formally averaging circuit instances over two-replicas, which results in the so-called population dynamics formalism (Supplementary Information section D). We probed this behaviour by measuring XEB experimentally as a function of d, as shown in Fig. 2c. We employed a noise-injection protocol that effectively changed the gate fidelities in our quantum circuits (Supplementary Information section C2) and show results corresponding to different noise levels. We used the discrete set of single-qubit gates chosen randomly from ZpX1/2Zp with p ∈ {−1, −3/4, −1/2, …, 3/4} and Z and X the corresponding Pauli matrices. We observed that in the weak-noise regime, XEB converged to the expected fidelity of the entire system, Fd. This was because F was sufficiently high such that Fd dominated the contribution to XEB. On the other hand, XEB was significantly above Fd in the strong-noise regime owing to the dominant contribution of 2λd/TFd/2 to XEB. These results exemplify the competition between the exponential decay of global correlations proportional to ϵn and the entangling rate between subsystems (proportional to 1/T in this example).

The transition between the two different noise-induced phases was more clearly seen by fixing d to a few values and varying the effective noise level (F). We observed that XEB exhibits a non-trivial scaling distinct from Fd (Fig. 2d). In particular, the rate of decay with respect to errors decreased at higher error rates. This is also consistent with 2λd/TFd/2 being dominant at high errors.

To experimentally locate the critical value of the error per cycle (or equivalently, F) where the dynamical exponent of XEB changed, we defined a modified order parameter Fd/XEB, which is asymptotic to a distinct value of 1 (0) in the weak (strong) noise regime. The transition between the two limits became a discontinuity when d → ∞, indicating a phase transition for finite ϵn ≈ κc, where the critical value κc can be a function of λ and T. In the transition region, we observed the finite-size critical behaviour where Fd/XEB was approximately a function of (ϵn − κc)d. This was revealed in the order parameter for different numbers of cycles d crossing at a single point, as can be verified from equation (2) and numerically for the circuits used in the experiment. The experimentally obtained Fd/XEB, shown in Fig. 3a–c,e,f, indeed manifested the expected critical behaviour. For ϵn ≲ κc, the order parameter increased as d was increased, whereas for ϵn ≳ κc, the order parameter decreased as d was increased. At the critical point ϵn ≈ κc, the datasets crossed and the order parameter was approximately independent of d. We attribute the slight drift in the crossing point between different depths to potential systematic errors in the experimental estimation of F.

Fig. 3. Noise-induced phase transitions.

Fig. 3

ac, Experimental noise-induced phase transitions as a function of the error per cycle for several periods T of the weak-link model (discrete gate set) (T = 8 (a), T = 12 (b) and T = 18 (c)). As T increases, the critical value of noise or error per cycle becomes lower. d, Phase diagram of the transition with analytical, numerical and experimental data. The experimental data were extracted from the crossing of the largest number of cycles scanned. e,f, Experimental transitions in two dimensions with different patterns: staggered ACBD (e) and unstaggered EGFH (f; discrete gate set). g, Numerical phase diagram of the two-dimensional phase transition. We show the critical point for different sizes and patterns. The qubits are arranged as shown in the inset of e. For fixed size, we increased the number of bridges (such as the red coupler in e) until all bridges were applied (four and six for the 4 × 4 and 4 × 6 systems, respectively), denoted as links per four cycles in g. For all the patterns, we delimited a lower bound on the critical error rate of 0.47 errors per cycle to separate the region of strong noise where XEB failed to characterize the underlying fidelity and where global correlations were subdominant. The experimental results shown in Fig. 4 (SYC-67) and in Supplementary Information section C1 (SYC-70) are represented by red stars, which are well within the weak-noise regime.

We extracted the critical noise rate for different link frequencies 1/T experimentally, numerically and analytically (Fig. 3d). When comparing with the functional form ϵn4/Tlog2 predicted by the analytical weak-link model, we observed appreciable deviations when the link frequency approached 1/2, which corresponds to the regular one-dimensional chain. The deviation occurred because the weak-link model was no longer applicable in this regime. A more accurate description is provided by a generalization of this model in Supplementary Information section E1.

To explain the nature of the noise-induced phase transition for two and more dimensions, we extended the weak-link model from two subsystems to a number of subsystems equal to the number of qubits (see Supplementary Information section E2 for details). For depths d ≫ 1, the subsystems converge either to an appropriate ergodic state or to a state proportional to the identity matrix, as in the weak-link model. In the noiseless case, there are two stationary configurations, with either all subsystems in the identity matrix or all in the ergodic state. We expanded the noisy state around these two configurations using the so-called dilute flipped spin expansion. This generalizes equation (2) to

XEB+1k1k!eϵkd(λdn)k+k1k!eϵ(nk)d(λdn)k, 3

where the first (second) term on the right-hand side corresponds to the expansion around the identity matrix (ergodic state). See Supplementary Information section D for the derivation. The index k describes the total number of subsystems not equal to the corresponding global state and k! is its factorial. The first term on the right-hand side corresponds to the low-weight Pauli paths approximation in ref. 27. Finally, λ = 1/4 for the iSWAP gate, as in the weak-link model.

The noise-induced phase transition appears in the thermodynamical limit n → ∞ at fixed ϵn and d/logn (see Supplementary Information section E for details). We found

XEB+1exp(n22d)(1+eϵnd). 4

The second factor on the right-hand side corresponds to the global fidelity and dominates in the weak-noise regime ϵnln4. The first factor describes the convergence to anti-concentration (Supplementary Information section E), in accordance with refs. 22,23, and dominates in the strong-noise regime ϵnln4. In this case, the first term on the right-hand side of equation (3) prevails, and by taking small k, the state can be approximately represented by several uncorrelated subsystems. On the one hand, as captured by equation (3), this transition corresponds to qualitatively different configurations. On the other hand, both regimes correspond to an ordered phase. The noise-induced phase transition is driven by a control parameter (analogous to a magnetic field in an Ising model) that scales with the system size (number of qubits). This is loosely like Fréedericksz transitions in liquid crystals30 and is qualitatively different from the quantum to classical transition discussed in ref. 31. The transition discussed here is a competition between the finite rate of convergence to the overall ergodic state and the fidelity per cycle. The transition in ref. 31 is a competition between local interactions and the error rate per qubit and is related to the error threshold of quantum error correction codes.

The two-dimensional experimental results are shown in Fig. 3e,f for a 4 × 4 square grid of qubits and two different circuit structures, whereby the two-qubit gates were applied either in a staggered (Fig. 3e) or an unstaggered (Fig. 3f) fashion. As in one dimension, the 16-qubit system was divided into two halves connected by a single iSWAP-like gate applied every four cycles. For both circuit structures, we observed a similar crossing between Fd/XEB measured at three different cycles, with a higher value of ϵn observed for the unstaggered patterns.

We numerically evaluated critical noise rates for systems of different sizes and circuit structures without weak links, including both the staggered and unstaggered patterns and the ABCD-CDAB pattern used in ref. 4. Here, we used Haar random single-qubit gates (Supplementary Information section D).

The vertical line in Fig. 3g gives a lower bound for the noise-induced phase transition. Furthermore, the noise-induced phase transition for the discrete gate set used in the experiment occurred at higher noise rates (Supplementary Information section F2). We compared this lower bound with the 67-qubit and 70-qubit RCS experiments that we will present next. We obtained the error per cycle by fitting the exponential decay of the fidelity (Fig. 4). It is evident that these experiments fell well within the weak-noise regime, satisfying the requirement to fully utilize the computational capacity of the noisy quantum processors.

Fig. 4. Demonstration of a classically intractable computation.

Fig. 4

a, Verification of RCS fidelity with logarithmic XEB. The full device is divided into two (green) or three (blue) patches to estimate the XEB fidelity for a modest computational cost. We used the discrete gate set of single-qubit gates chosen randomly from ZpX1/2Zp with p ∈ {−1, −3/4, −1/2, …, 3/4}. For each number of cycles, 20 circuit instances were sampled with 100,000 shots each. The solid lines indicate the XEB estimated from the digital error model. b, Verification of RCS fidelity with Loschmidt echo. The inversion was done by reversing the circuit and inserting single-qubit gates. In this case, the Loschmidt echo number of cycles doubled. c, Time complexity estimated as a function of the number of qubits and the number of cycles for a set of circuits. As a working definition of time complexity, we used the number of FLOPs needed to compute the probability of a single bit string under no memory constraints. The solid line indicates the depth at which correlations spread to the full device and the FLOPs with depth go from exponential to polynomial. d, Evolution of the time complexity of the RCS experiments. The dashed line represents doubly exponential growth as a guide for the eye.

We demonstrated beyond-classical RCS by performing an experiment on a 67-qubit Sycamore chip (Fig. 4). These random circuits followed the same two-dimensional ABCD-CDAB pattern as ref. 4. The single-qubit gates were chosen randomly from the discrete set ZpX1/2Zp with p ∈ {−1, −3/4, −1/2, …, 3/4}. We show in Supplementary Information section B the fidelity of the elementary operations of the random circuit. On average, we achieved a read-out error of 1.3(0.5) × 10−2, a dressed two-qubit Pauli error rate of 5.5(1.3) × 10−3 that can be further decomposed into a single-qubit Pauli error rate of 1.0(0.5) × 10−3, and an intrinsic two-qubit simultaneous error of 3.5(1.4) × 10−3. An intrinsic Pauli error rate of 3.5 × 10−3 corresponds to an average fidelity of 99.72%. We validated the digital error model by looking at patched variations of the random circuit (inset in Fig. 4a), where slices of two-qubit gates have been removed to create patched circuits for which each patch XEB can be verified for a modest computational cost. The total fidelity was then the product of the patch fidelities. Computing XEB over full circuits is, at present, an intractable classical task. We, thus, estimated the fidelity after 32 cycles using the discrete error model, obtaining 0.1%. This increased depth was possible thanks to the substantially reduced errors compared with previous processors. We collected over 70 million sample bit strings for a single circuit at this depth. In Supplementary Information section SC1, we report fidelities for another XEB experiment, SYC-70, done on 70 qubits and with 24 cycles. In Fig. 4b, we verify these extracted fidelities with the Loschmidt echo, where we use the same circuit and its inversion to return to the initial state. We observed good agreement with the XEB experiment and the digital error model.

Finally, we estimated the equivalent classical computational cost of RCS with the tensor network contraction method7,1116,18,3234. With this method, ref. 15 classically sampled the RCS experiment performed in 20194 in 15 h using 512 GPUs. Reference 16 also performed this task with a similar cost. Furthermore, another team computed7 the corresponding XEB, which confirmed the predictions of ref. 4, which is a harder computational task than noisy sampling. Hence, these notable improvements in classical algorithms significantly raised the beyond-classical threshold. For completeness, in Supplementary Information section H, we also study matrix product states, a popular tensor network variational representation of one-dimensional quantum states with limited entanglement3537. We found that given current supercomputer memory constraints, matrix product states failed to reach the experimental fidelity and offered worse performance than tensor network contraction.

We report improvements in tensor network contraction techniques that resulted in lower estimated computational costs for simulated RCS (Supplementary Information section G). Figure 4c shows the time complexity or number of floating-point operations (FLOPs) (the number of real multiplications and additions) as a function of the number of qubits and cycles required to compute a single amplitude at the output of a random circuit without memory constraints, as we are optimizing only the contraction ordering of the underlying tensor network. The time complexity in this context is rigorously defined as the minimum contraction cost achievable in terms of FLOPs per amplitude12, which we approximated by optimizing the contraction ordering. This served as a proxy lower bound for the hardness of both sampling and verification. For a fixed number of qubits and increasing number of cycles, there was a notional crossover in the scaling of the time complexity from exponential to linear. Given a noisy experimental set-up, this implies an optimal number of cycles for the trade-off between computational time complexity and fidelity. Beyond the crossover, fidelity decreases faster than the time complexity increases. The crossover number of cycles is consistent with a scaling n. A line following the functional form d=An, where n is the number of qubits, has been added as a guide to the eye. Note that this is related to the number of cycles at which ‘typical’ entanglement is achieved (Supplementary Information section H) and is a stronger requirement than the anti-concentration of the output distribution. For both 67 and 70 qubits, 24 cycles was deep enough to saturate the exponential growth of this time complexity. Figure 4d shows the growth of the time complexity without memory constraints of the largest RCS experiments run over the last few years.

A practical estimate of the computational resources to simulate RCS needs to take into account the finite FLOPS (FLOPs per second) delivery of a supercomputer as well as its memory constraints and other limitations such as finite bandwidth. Table 1 shows estimates of the runtime for the approximate simulation of the largest instances of RCS from refs. 46 and the current work when using the state-of-the-art methods discussed in Supplementary Information section G. For these estimates, we considered sampling 1 million uncorrelated bit strings at a fidelity like that of the experiment using the current top-performing supercomputer, Frontier, which performs 1.7 × 1018 single-precision FLOPS of theoretical peak performance spread across GPUs with 128 GB of RAM each. This required the computation of 10 million approximate probability amplitudes of uncorrelated bit strings to be used in rejection sampling18. Despite notable progress in achieving tensor contraction algorithms that are embarrassingly parallelizable over each GPU14,32, we found that this technique broke down for the much deeper SYC-67 circuits with 32 cycles given the tight memory constraints. As a result, an estimated lower bound for the sampling cost became substantially more prohibitive. Assuming a distributed use of all RAM and under the unrealistic assumption of negligible bandwidth constraints, the computational cost was around 1 × 104 years (Table 1). In the untested case in which we expanded working memory to all secondary storage and still ignored the bandwidth, we obtained an estimate of 12 years.

Table 1.

Estimated computational cost of simulation

Experiment d One amplitude 1 million noisy samples
(FLOPs) FLOPs XEB fidelity Time
SYC-53 (ref. 4) 20 5 × 1018 2 × 1018 2 × 10−3 6 s
ZCZ-56 (ref. 5) 20 1 × 1020 7 × 1020 6 × 10−4 20 min
ZCZ-60 (ref. 6) 24 6 × 1021 3 × 1023 3 × 10−4 40 days
SYC-70 24 4 × 1024 5 × 1026 2 × 10−3 50 years
SYC-67 32 1 × 1024 1 × 1038 1 × 10−3 1 × 1013 years
1 × 1029 1 × 104 yearsa
1 × 1026 12 yearsb

aWe include the cost estimated by assuming memory is distributed over all RAM, ignoring realistic bandwidth constraints. bWe include the cost estimated by assuming memory is distributed over all secondary storage, ignoring realistic bandwidth constraints.The second column shows the depth d of each experiment. The third column shows the FLOP count (number of real multiplications and additions) needed to compute a single output amplitude assuming no memory constraints. The last three columns refer to the cost of simulating the noisy sampling of 1 million bit strings. We used the specifications of Frontier for our estimates. This computer has a theoretical peak performance of 1.685 × 1018 single-precision FLOPS. We assumed 20% FLOP efficiency1315 and accounted for the low target fidelity of the simulation in the computational cost13,14,18,33, as explained in Supplementary Information section G. SYC-67 refers to the experimental result shown in Fig. 4. All other rows used tensor contraction algorithms embarrassingly parallelizable over each GPU14,15,32. SYC-70 refers to the experimental results from Supplementary Information section C.

In conclusion, our experiment provides direct insights on how quantum dynamics interacts with noise. The observed phase boundaries lay out quantitative guidance to the regimes where noisy quantum devices can properly leverage their computational power. In addition, we present new RCS results with an estimated fidelity of 1.5 × 10−3 at 67 qubits and 32 cycles or 880 entanglement gates, corresponding to more than doubling the circuit volume compared to ref. 4 for the same fidelity. Global correlations dominate XEB in the weak-noise phase, which protects RCS against ‘spoofing’ attacks, in contrast to boson sampling38, where all known metrics for recent experiments3941 are dominated by local correlations42. Looking forward, despite the success of RCS in quantifying the available coherent resources, finding practical applications for near-term noisy quantum processors still remains an outstanding challenge. Certified randomness generation43,44 could be a promising candidate for such an application (Supplementary Information section I).

Online content

Any methods, additional references, Nature Portfolio reporting summaries, source data, extended data, supplementary information, acknowledgements, peer review information; details of author contributions and competing interests; and statements of data and code availability are available at 10.1038/s41586-024-07998-6.

Supplementary information

Peer Review File (396.4KB, pdf)

Acknowledgements

We acknowledge insightful discussions with C. Miller on certified randomness and K. J. Sung for his work on randomness extractors. S. Mandrà is partially supported by the Prime Contract No. 80ARC020D0010 with the NASA Ames Research Center and acknowledges funding from the Defense Advanced Research Projects Agency under IAA 8839.

Author contributions

Y.C. and S.B. led the overall project. A. Morvan and X.M. performed the experiments. A. Bengtsson contributed to read-out developments. X.M. and P.V.K. contributed to gate developments. B.V. developed and ran the tensor network contraction optimizations. S. Mandrà developed and ran the matrix product states simulations. A. Morvan, Z.C., S. Hong, C.E., P.V.K. and I.K.D. contributed to the large-system calibration and stability improvements. I.A. and K.K. developed the theories and performed the numerical simulations of the phase transitions. R.M. proved the XEB for approximate tensor representations. J. Chau, G.L., R.M., L.T.A.N.B. and R. Peralta worked on the certified randomness. A.A. provided technical programme management to the project. All authors contributed to building the hardware and software infrastructures and writing the manuscript.

Peer review

Peer review information

Nature thanks Yunchao Liu, Pan Zhang and the other, anonymous, reviewer(s) for their contribution to the peer review of this work. Peer reviewer reports are available.

Data availability

The quantum circuits and datasets generated and analysed for this study are available at Zenodo (https://zenodo.org/records/11663206)45.

Code availability

The source code used for the tensor contraction cost estimates are available under an open-source licence at GitHub (https://github.com/google-research/google-research/tree/master/rcs_tnsa).

Competing interests

The authors declare no competing interests.

Footnotes

Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

These authors contributed equally: A. Morvan, B. Villalonga, X. Mi, S. Mandrà

Supplementary information

The online version contains supplementary material available at 10.1038/s41586-024-07998-6.

References

  • 1.Preskill, J. Quantum computing in the NISQ era and beyond. Quantum2, 79 (2018). [Google Scholar]
  • 2.Boixo, S. et al. Characterizing quantum supremacy in near-term devices. Nat. Phys.14, 595–600 (2018). [Google Scholar]
  • 3.Neill, C. et al. A blueprint for demonstrating quantum supremacy with superconducting qubits. Science360, 195–199 (2018). [DOI] [PubMed] [Google Scholar]
  • 4.Arute, F. et al. Quantum supremacy using a programmable superconducting processor. Nature574, 505–510 (2019). [DOI] [PubMed] [Google Scholar]
  • 5.Wu, Y. et al. Strong quantum computational advantage using a superconducting quantum processor. Phys. Rev. Lett.127, 180501 (2021). [DOI] [PubMed] [Google Scholar]
  • 6.Zhu, Q. et al. Quantum computational advantage via 60-qubit 24-cycle random circuit sampling. Sci. Bull.67, 240–245 (2022). [DOI] [PubMed] [Google Scholar]
  • 7.Liu, Y. et al. Verifying quantum advantage experiments with multiple amplitude tensor network contraction. Phys. Rev. Lett.132, 030601 (2024). [DOI] [PubMed]
  • 8.Mark, D. K., Choi, J., Shaw, A. L., Endres, M. & Choi, S. Benchmarking quantum simulators using ergodic quantum dynamics. Phys. Rev. Lett.131, 110601 (2023). [DOI] [PubMed] [Google Scholar]
  • 9.Shaw, A. L. et al. Benchmarking highly entangled states on a 60-atom analogue quantum simulator. Nature628, 71–77 (2024). [DOI] [PMC free article] [PubMed]
  • 10.Bluvstein, D. et al. Logical quantum processor based on reconfigurable atom arrays. Nature626, 58–65 (2022). [DOI] [PMC free article] [PubMed]
  • 11.Markov, I. L. & Shi, Y. Simulating quantum computation by contracting tensor networks. SIAM J. Comput.10.1137/050644756 (2008). [Google Scholar]
  • 12.Boixo, S., Isakov, S. V., Smelyanskiy, V. N. & Neven, H. Simulation of low-depth quantum circuits as complex undirected graphical models. Preprint at https://arxiv.org/abs/1712.05384 (2017).
  • 13.Gray, J. & Kourtis, S. Hyper-optimized tensor network contraction. Quantum5, 410 (2021). [Google Scholar]
  • 14.Huang, C. et al. Classical simulation of quantum supremacy circuits. Preprint at https://arxiv.org/abs/2005.06787 (2020).
  • 15.Pan, F., Chen, K. & Zhang, P. Solving the sampling problem of the Sycamore quantum circuits. Phys. Rev. Lett.129, 090502 (2022). [DOI] [PubMed] [Google Scholar]
  • 16.Kalachev, G., Panteleev, P., Zhou, P. & Yung, M.-H. Classical sampling of random quantum circuits with bounded fidelity. Preprint at https://arxiv.org/abs/2112.15083 (2021).
  • 17.Kechedzhi, K. et al. Effective quantum volume, fidelity and computational cost of noisy quantum processing experiments. Future Gener. Comput. Syst.153, 431–441 (2024). [Google Scholar]
  • 18.Markov, I. L., Fatima, A., Isakov, S. V. & Boixo, S. Quantum supremacy is both closer and farther than it appears. Preprint at https://arxiv.org/abs/1807.10749 (2018).
  • 19.Mi, X. et al. Information scrambling in quantum circuits. Science374, 1479–1483 (2021). [DOI] [PubMed] [Google Scholar]
  • 20.Bertini, B., Kos, P. & Prosen, T. Operator entanglement in local quantum circuits. I. Chaotic dual-unitary circuits. SciPost Phys.8, 067 (2020). [Google Scholar]
  • 21.Liu, Y., Otten, M., Bassirianjahromi, R., Jiang, L. & Fefferman, B. Benchmarking near-term quantum computers via random circuit sampling. Preprint at https://arxiv.org/abs/2105.05232 (2021).
  • 22.Barak, B., Chou, C.-N. & Gao, X. Spoofing linear cross-entropy benchmarking in shallow quantum circuits. Preprint at https://arxiv.org/abs/2005.02421 (2020).
  • 23.Dalzell, A. M., Hunter-Jones, N. & Brandão, F. G. S. L. Random quantum circuits anticoncentrate in log depth. PRX Quantum3, 010333 (2022). [Google Scholar]
  • 24.Bouland, A., Fefferman, B., Nirkhe, C. & Vazirani, U. On the complexity and verification of quantum random circuit sampling. Nat. Phys.15, 159 (2019). [Google Scholar]
  • 25.Movassagh, R. The hardness of random quantum circuits. Nat. Phys.19, 1719 (2023). [Google Scholar]
  • 26.Gao, X. et al. Limitations of linear cross-entropy as a measure for quantum advantage. PRX Quantum5, 010334 (2024). [Google Scholar]
  • 27.Aharonov, D., Gao, X., Landau, Z., Liu, Y. & Vazirani, U. A polynomial-time classical algorithm for noisy random circuit sampling. In Proc. 55th Annual ACM Symposium on Theory of Computing 945–957 (ACM, 2023).
  • 28.Ware, B. et al. A sharp phase transition in linear cross-entropy benchmarking. Preprint at https://arxiv.org/abs/2305.04954 (2023).
  • 29.Dalzell, A. M., Hunter-Jones, N. & Brandão, F. G. Random quantum circuits transform local noise into global white noise. Commun. Math. Phys.405, 78 (2024). [Google Scholar]
  • 30.de Gennes, P. & Prost, J. The Physics of Liquid Crystals (Clarendon, 1993).
  • 31.Aharonov, D. Quantum to classical phase transition in noisy quantum computers. Phys. Rev. A62, 062311 (2000).
  • 32.Chen, J., Zhang, F., Huang, C., Newman, M. & Shi, Y. Classical simulation of intermediate-size quantum circuits. Preprint at https://arxiv.org/abs/1805.01450 (2018).
  • 33.Villalonga, B. et al. A flexible high-performance simulator for verifying and benchmarking quantum circuits implemented on real hardware. npj Quantum Inf.5, 86 (2019). [Google Scholar]
  • 34.Zlokapa, A., Villalonga, B., Boixo, S. & Lidar, D. A. Boundaries of quantum supremacy via random circuit sampling. npj Quantum Inf.9, 36 (2023). [Google Scholar]
  • 35.White, S. R. Density-matrix algorithms for quantum renormalization groups. Phys. Rev. B48, 10345 (1993). [DOI] [PubMed] [Google Scholar]
  • 36.Vidal, G. Efficient classical simulation of slightly entangled quantum computations. Phys. Rev. Lett.91, 147902 (2003). [DOI] [PubMed] [Google Scholar]
  • 37.Ayral, T. et al. Density-matrix renormalization group algorithm for simulating quantum circuits with a finite fidelity. PRX Quantum4, 020304 (2023). [Google Scholar]
  • 38.Aaronson, S. & Arkhipov, A. The computational complexity of linear optics. In Proc. Forty-third Annual ACM Symposium on Theory of Computing 333–342 (2011).
  • 39.Zhong, H.-S. et al. Quantum computational advantage using photons. Science370, 1460–1463 (2020). [DOI] [PubMed] [Google Scholar]
  • 40.Zhong, H.-S. et al. Phase-programmable Gaussian boson sampling using stimulated squeezed light. Phys. Rev. Lett.127, 180502 (2021). [DOI] [PubMed] [Google Scholar]
  • 41.Madsen, L. S. et al. Quantum computational advantage with a programmable photonic processor. Nature606, 75–81 (2022). [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 42.Villalonga, B. et al. Efficient approximation of experimental Gaussian boson sampling. Preprint at https://arxiv.org/abs/2109.11525 (2021).
  • 43.Bassirian, R., Bouland, A., Fefferman, B., Gunn, S. & Tal, A. On certified randomness from Fourier sampling or random circuit sampling. Preprint at https://arxiv.org/abs/2111.14846 (2021).
  • 44.Aaronson, S. & Hung, S.-H. Certified randomness from quantum supremacy. In Proc. 55th Annual ACM Symposium on Theory of Computing 933–944 (ACM, 2023).
  • 45.Morvan, A. et al. Data for ‘Phase transition in random circuit sampling’. Zenodo10.5281/zenodo.8253792 (2024).

Associated Data

This section collects any data citations, data availability statements, or supplementary materials included in this article.

Supplementary Materials

Peer Review File (396.4KB, pdf)

Data Availability Statement

The quantum circuits and datasets generated and analysed for this study are available at Zenodo (https://zenodo.org/records/11663206)45.

The source code used for the tensor contraction cost estimates are available under an open-source licence at GitHub (https://github.com/google-research/google-research/tree/master/rcs_tnsa).


Articles from Nature are provided here courtesy of Nature Publishing Group

RESOURCES