Bell theorems of many-body nonlocality and contextuality serve as a benchmark for proving quantum advantage in that a quantum computer outperforms a classical computer for a certain problem. In practice, however, near-term quantum devices do not prepare perfectly pure states but rather mixed states produced from noisy channels. We investigate noisy quantum advantage by considering thermal mixed states of one-dimensional many-body systems with a symmetry-protected topological (SPT) order. In the pure-state (or zero-temperature) case, these states are known to be useful for measurement-based quantum computation, and to outperform classical computers in a many-body contextuality game, provided string order parameters (SOPs) of SPT are sufficiently large. Here, we show that quantum advantage in mixed states is measured by a combination of twisted SOP and symmetry representation expectation values. Using the minimally entangled typical thermal states algorithm, it is demonstrated that quantum advantage persists to a nonzero critical temperature for finite-sized instances of the many-body contextuality game. While this critical temperature goes to zero in the thermodynamic limit, it is relatively robust to system size, suggesting that these states remain useful for demonstrating genuine "quantumness" of noisy hardware in a scalable fashion. Finally, we show that the quantum winning probability is lower bounded by the global fidelity with the 1D cluster state, so that our contextuality game can provide an operational meaning to benchmark the capacity to create long-range order like SPT states in near-term experimental devices.
We propose an order parameter for the symmetry-protected topological (SPT) phases which are protected by Abelian on-site symmetries. This order parameter, called the SPT entanglement, is defined as the entanglement between
A and
B, two distant regions of the system, given that the total charge (associated with the symmetry) in a third region
C is measured and known, where
C is a connected region surrounded by
A,B, and the boundaries of the system. In the case of one-dimensional systems we prove that in the limit where
A and
B are large and far from each other compared to the correlation length, the SPT entanglement remains constant throughout a SPT phase, and furthermore, it is zero for the trivial phase while it is nonzero for all the nontrivial phases. Moreover, we show that the SPT entanglement is invariant under the low-depth quantum circuits which respect the symmetry, and hence it remains constant throughout a SPT phase in the higher dimensions as well. Also, we show that there is an intriguing connection between SPT entanglement and the Fourier transform of the string order parameters, which are the traditional tool for detecting SPT phases. This leads to an algorithm for extracting the relevant information about the SPT phase of the system from the string order parameters. Finally, we discuss implications of our results in the context of measurement-based quantum computation.
Nonlocal quantum games provide proof of principle that quantum resources can confer advantage at certain tasks. They also provide a compelling way to explore the computational utility of phases of matter on quantum hardware. In a recent manuscript [Hart et al., arXiv:2403.04829] we demonstrated that a toric code resource state conferred advantage at a certain nonlocal game, which remained robust to small deformations of the resource state. In this manuscript we demonstrate that this robust advantage is a generic property of resource states drawn from topological or fracton ordered phases of quantum matter. To this end, we illustrate how several other states from paradigmatic topological and fracton ordered phases can function as resources for suitably defined nonlocal games, notably the three-dimensional toric-code phase, the X-cube fracton phase, and the double-semion phase. The key in every case is to design a nonlocal game that harnesses the characteristic braiding processes of a quantum phase as a source of contextuality. We unify the strategies that take advantage of mutual statistics by relating the operators to be measured to order and disorder parameters of an underlying generalized symmetry-breaking phase transition. Finally, we massively generalize the family of games that admit perfect strategies when codewords of homological quantum error-correcting codes are used as resources.
Symmetry-protected topological (SPT) phases extend the Landau paradigm of quantum matter by admitting distinct symmetry-preserving phases that lack any local order parameter. Demonstrating these phases at scale on programmable quantum processors is a key milestone in using quantum hardware to probe emergent many-body phenomena, yet it is impeded by the circuit depth normally required to capture non-trivial entanglement. Here we use a tensor network based approximate quantum compiling (AQC) protocol to construct shallow quantum circuits (18-39 CNOT depth), which prepare 100-site ground states of the spin-1/2 bond-alternating Heisenberg chain in both SPT phases, to 97.9-99.0% fidelity. Upon executing the circuits on IBM quantum hardware, the resulting states exhibit all defining signatures of SPT order including non-local string order for strings of up to length 20, characteristic degeneracies in the entanglement spectrum and clear evidence of symmetry-protected edge modes. The simultaneous observation of these independent diagnostics establishes current quantum computers as versatile platforms for large-scale studies of symmetry-protected quantum matter. More broadly, our results establish a practical foundation for probing non-equilibrium quench dynamics of such systems in regimes that challenge classical computational methods.
While quantum computers can achieve dramatic speedups over the classical computers familiar to us, identifying the origin of this quantum advantage in physical systems remains a major goal of quantum information science. A useful tool here is measurement-based quantum computation (MQC), a computational framework utilizing the quantum entanglement found in many-body resource states. Not all resource states are useful for quantum computation however, so an important question is what properties of many-body entanglement characterize universal resource states, which can implement any quantum computation. Many-body states are also studied in condensed matter physics, where the collective behavior of quantum many-body systems sometimes define topological phases of matter. These phases are defined by nonlocal many-body entanglement, making topologically-ordered states natural candidates for MQC. We might wonder if these topological phases could be organized as phases of quantum computation, so that every state within the phase is universal for MQC. While phases of symmetry-protected topological order (SPTO) have arisen as natural candidates, previous attempts to demonstrate an MQC-SPTO correspondence were mostly limited to nonuniversal 1D spin chains, leaving the important 2D setting wide open. In this dissertation, we explore the wide and varied connections between MQC and SPTO, and obtain new results for 1D and 2D systems. After identifying a new MQC-SPTO correspondence within 1D spin chains, we move up and explore the operational use of 2D states with two complementary forms of SPTO. We create a new Union Jack resource state, whose different form of SPTO than previous 2D resource states permits a hierarchical notion of MQC universality. This state leads us to consider an idealized model of 2D SPTO, where we show that an additional symmetry condition makes these model states form universal resources for MQC only when they have nontrivial SPTO. We finally study the intrinsic complexity of SPTO-inspired states for classically intractable sampling, and identify inherent advantages of MQC for this purpose. Our work highlights the rich complexity available in states of entangled quantum matter, providing new evidence which sharpens our understanding of the diverse connections between MQC and SPTO.