## Abstract

Many-body topological invariants, as quantized highly nonlocal correlators of the many-body wave function, are at the heart of the theoretical description of many-body topological quantum phases, including symmetry-protected and symmetry-enriched topological phases. Here, we propose and analyze a universal toolbox of measurement protocols to reveal many-body topological invariants of phases with global symmetries, which can be implemented in state-of-the-art experiments with synthetic quantum systems, such as Rydberg atoms, trapped ions, and superconducting circuits. The protocol is based on extracting the many-body topological invariants from statistical correlations of randomized measurements, implemented with local random unitary operations followed by site-resolved projective measurements. We illustrate the technique and its application in the context of the complete classification of bosonic symmetry-protected topological phases in one dimension, considering in particular the extended Su-Schrieffer-Heeger spin model, as realized with Rydberg tweezer arrays.

## INTRODUCTION

There is an increasing interest in realizing topological quantum phases in synthetic quantum systems (*1*–*5*), including ultracold atoms in optical lattices (*2*), Rydberg atoms (*3*), trapped ions (*4*), and superconducting qubits (*5*). These experimental platforms offer unique possibilities for preparing, controlling, and probing quantum states, with prospects of studying these exotic states of matter, e.g., the fractional Hall state (*6*, *7*), and in light of possible applications such as topological quantum computing (*8*). The characterization and identification of topological phases in an experimental setting represents, however, a substantial challenge: In contrast to symmetry-breaking phases of Landau’s theory with local order parameters (*9*), topological phases are characterized by global properties, which cannot be revealed with local probes. Thus, measurement protocols need to be developed to access these global properties. For noninteracting systems, the measurement of topological invariants (such as the Chern number) has been achieved in seminal experiments in cold atom setups (*10*–*13*), microwave networks (*14*), and photonic systems (*15*). Below, we address the generic interacting case, and we present measurement protocols that allow us to access many-body topological invariants (MBTIs) of interacting topological states with global symmetries (*16*, *17*).

MBTIs are highly nonlocal quantized correlators of the many-body wave function that have been originally derived in the context of the description of symmetry-protected topological (SPT) order (*18*), and in particular from the classification of unidimensional bosonic SPT phases (*16*, *17*, *19*). An MBTI identifies from a many-body wave function the projective representation of a global symmetry (*16*, *17*). For any realization of a topological state with a given symmetry, for instance, the spatial reflection symmetry or the time-reversal symmetry, the corresponding MBTI takes a non-zero quantized value. MBTIs can be considered as generalizations of string order parameters that were introduced (*20*) and measured (*21*, *22*) to detect SPT phases protected by internal symmetries. MBTIs can particularly identify all one-dimensional bosonic SPT phases, even in the absence of internal symmetries, and therefore of string order (*17*, *23*). MBTIs are not restricted to the description of SPT phases: They have been now understood in the general mathematical framework of topological quantum field theory (*17*, *24*, *25*), suggesting that they can identify many types of topological phases beyond SPT orders. In particular, recent theoretical works have shown that MBTIs can identify fermionic SPT phases (*24*, *26*) and topological quantum phase transitions (*27*) and can also distinguish various symmetry-enriched topological (SET) phases with intrinsic topological orders (*28*, *29*). Whereas MBTIs have become key quantities to characterize topology in synthetic quantum systems, the question of their measurement has remained so far elusive.

Our approach to measure MBTIs consists in using the information contained in statistical correlations between randomized measurements. These measurements are realized by applying to a quantum state a sequence of random unitary operations before performing projective measurements. Recently, randomized measurement protocols have been developed to measure entanglement (*30*, *31*), including an experimental demonstration in a trapped-ion quantum simulator (*32*), and out-of-time order correlators (*33*). Here, our approach is based on local random unitaries that can be implemented in experiments with high fidelities (*32*), and the key idea is to use distributions of such random unitaries with different symmetries. From the statistics of such “symmetric” randomized measurements, one can extract the MBTI associated with a particular symmetry. Our analysis of the protocol, including the study of statistical errors, shows that MBTIs can be measured via our protocols with current technology in various spin systems, such as Rydberg atoms, trapped ions, and superconducting qubits, and can be used to experimentally classify interacting many-body topological quantum phases.

Our article is organized as follows. Having in mind current experimental possibilities, e.g., with Rydberg atom quantum simulators (*22*), we study a model Hamiltonian with SPT phases as ground states. We consider MBTIs associated with reflection and time-reversal symmetries to identify the trivial/nontrivial topology of the SPT phases as well as the symmetry-broken phase, and present the corresponding measurement protocols as experimental recipes; the other MBTIs and corresponding protocols are presented in the Supplementary Materials. We then discuss the role of statistical errors and imperfections in our scheme. We also illustrate our protocols via two physical examples that can be realized in experiments: We show how to monitor the dynamical building-up of topology by these MBTIs during adiabatic state preparation, and we also discuss how the breaking and protection mechanisms of symmetries can be probed experimentally. Last, we discuss how our protocols can be applied beyond the case of SPT phases.

## RESULTS

### Model

For concreteness, we present our approach in the context of the extended bosonic Su-Schrieffer-Heeger (SSH) model (Fig. 1A) (*22*, *34*–*37*)

Here, *x*, *y*, *z*) are the Pauli matrices for the spin state at site *i*. *J* and *J*′ are alternating nearest-neighbor spin-exchange coefficients, and δ denotes the exchange anisotropy. The case of δ = 1 corresponds to the bond-alternating Heisenberg model (*35*, *36*), whereas the case of δ = 0 corresponds to the bosonic version of the (non-interacting) SSH model (*34*), as realized recently with Rydberg atoms (*22*). Note that, expect for δ = 0 and δ = 1, the model is generally not integrable and thus has no single-particle correspondence. The alternating spin-exchange coefficients can be engineered, e.g., by loading bosonic atoms into optical superlattices (*37*) or dimerized optical tweezer arrays (*22*), or by coupling bosonic atoms to dynamical gauge fields (*38*, *39*). As a final remark, we emphasize that all protocols presented below can also be generalized to other spin Hamiltonians, e.g., spin-1 Haldane chain (*40*), straightforwardly.

As shown below, the model Hamiltonian in Eq. 1 hosts three different phases: a trivial phase, a topological Haldane phase (*40*), and a symmetry-broken antiferromagnetic phase. The trivial and topological phases are SPT phases protected by any one of the following three symmetries (*23*, *41*): reflection (inversion) symmetry at the center bond, time-reversal symmetry, and dihedral group *D*_{2} of π-rotations of spins around the *x*, *y*, and *z* axes.

### Partial reflection invariant

We now show how to measure MBTIs via randomized measurements. First, SPT phases protected by reflection symmetry can be classified using the partial reflection MBTI *17*), with

Here, ρ* _{I}* = Tr

_{S − I}(|ψ⟩⟨ψ|) is the reduced density matrix of a many-body quantum state |ψ⟩, and the interval

*I*=

*I*

_{1}∪

*I*

_{2}consists of two partitions

*I*

_{1}and

*I*

_{2}, each with

*n*sites;

*S*denotes all the sites of the system. The nonlocal operator R

*“spatially swaps”*

_{I}*I*

_{1}and

*I*

_{2}with respect to the reflection center. On every basis state |

*s*⟩ = |

_{I}*s*

_{1},

*s*

_{2}, …,

*s*

_{2n}⟩ (

*s*= ↑, ↓ for

_{i}*i*∈

*I*), it acts as

*R*|

_{I}*s*⟩ = |

_{I}*s*

_{2n},

*s*

_{2n − 1}, …,

*s*

_{1}⟩ ≡ |

*R*(

_{I}*s*)〉. This operation is graphically shown in Fig. 1B, where the state of each site of

_{I}*I*, represented as a blue line, is “contracted” with the state of the mirror symmetric site.

The MBTI *H*_{eSSH}), *n*, *N* → ∞ (*17*). The typical value of *n* required to achieve convergence is determined by the correlation length in the system and is discussed in detail below. For our model Eq. 1, the phase diagram evaluated by the MBTI

The MBTI * _{I}*, can be measured with randomized measurements, with the following recipe (as illustrated in Fig. 1D): (i) One first prepares the ground state |ψ⟩ via, e.g., adiabatic state preparation (see a later section for details). (ii.a) One applies to |ψ⟩ a unitary operation

*U*=

_{i}*U*

_{2n−i+1}. The unitaries

*U*(

_{i}*i*= 1,2, …,

*n*) are drawn randomly from the circular unitary ensemble (CUE) defined on the local Hilbert spaces of individual spins. This type of random unitaries with spatial reflection symmetry (i.e., with a configuration

*U*

_{1}

*U*

_{2}…

*U*|

_{n}*U*…

_{n}*U*

_{2}

*U*

_{1}as shown schematically in Fig. 1D) will be essential to be able to extract

*U*can be decomposed in products of spin rotations along two axes (

_{i}*x*,

*z*) and can thus be generated with high fidelity in quantum simulators with single-site control, as also shown in recent experiments (

*32*). Note that the impact of potential imperfections, such as miscalibration and decoherence, has been studied in detail in (

*42*), showing the robustness and the applicability of protocols relying on randomized measurements in state-of-the-art quantum devices based on Rydberg atoms, trapped ions, or superconducting qubits. (ii.b) One measures the occupation probabilities

*s*, by performing projective measurements in the basis

_{I}*s*. (iii) One repeats (i) to (ii) for many independently sampled random unitaries

_{I}*U*.

_{R}Given the set of outcome probabilities *P _{UR}*(

*s*), one obtains first

_{I}Here, *D*[*s _{I}*, R(

*s*)] ≡ #{

_{I}*i*∈

*I*|

*s*≠

_{i}*s*

_{2n−i + 1}} is the Hamming distance between |

*s*⟩ and |R

_{I}*(*

_{I}*s*)〉. Equation 3 can be proven using the two-design identities of the CUE (see Materials and Methods) and shows that the MBTI

_{I}*31*,

*32*)

*N*

_{U}and the finite number of projective measurements per unitary

*N*

_{M}. A detailed discussion about the statistical errors and imperfections for the MBTIs (

### Partial time-reversal invariant

We now present the protocol to measure the MBTI associated with the time-reversal symmetry *17, 25*), with

Here, *T*_{1} denotes the partial transpose operation on the partition *I*_{1}, and

The MBTI * _{I}*, which can be measured via the following recipe (Fig. 2B). After (i) the state preparation, we perform two experiments: (ii.a.1) In the first experiment, we apply

*U*being taken independently from the CUE. (ii.b.1) We measure the probabilities

_{i}*U*and estimate

_{i}Equation 6, which is also proven in Materials and Methods, shows that the partial time-reversal MBTI can be accessed from correlations between measurements using random unitary operations, which are complex conjugated. In Fig. 2C, we compare values of *N*_{U}, *N*_{M}, and *n* (see the Supplementary Materials). The deviation and error bars can be reduced by increasing both *N*_{U} and *N*_{M}. Moreover, the solid lines in Figs. 1E and 2C are similar for the current case, because both the reflection and time-reversal symmetries are present in the Hamiltonian. The MBTIs can behave completely different for the case that one of the protecting symmetries is broken but the many-body ground state is still topological (see below and the section on ‘Probing the breaking and the protection of symmetries’).

In Fig. 2D, we also show that by extracting *n*, one can measure the correlation length λ of SPT phases, i.e., the characteristic length above which MBTIs become quantized. In particular, one can identify quantum critical points separating different SPT phases from the divergence of λ.

The two examples given above illustrate how to access MBTIs from the statistics of measurements performed after correlated local random unitary operations. In the Supplementary Materials, we show how to access MBTIs for internal symmetries and combination of symmetries. We also show how to identify the breaking/protection of different symmetries in a later section. Combined together, they provide a complete set of protocols to experimentally probe the classification of one-dimensional bosonic SPT phases.

### Statistical errors and imperfections

Having described our main results relating randomized measurements to the MBTIs ^{1.5n} to access *31*, *32*) and thus compatible with state-of-the-art experimental platforms of Rydberg atoms, trapped ions, and superconducting qubits with high repetition rates. Randomized measurements also feature a natural robustness with respect to decoherence, readout errors, and errors in the implementations of random unitaries (*33*, *42*), because they are based on extracting relevant quantities from ensemble averages (and not from individual measurements). We thus expect our protocols to allow faithful measurements of MBTIs in various experimental platforms. In the following, we illustrate our protocols by means of two important applications: the dynamical building-up of nontrivial topology during the adiabatic preparation of an SPT phase and the identification of the protecting symmetry group.

### Monitoring the dynamical building-up of topology

The MBTIs *t*)⟩ as a function of time, which facilitates the visualization of the dynamical building-up of topology experimentally. For concreteness, we consider the adiabatic state preparation with a time-dependent Hamiltonian*J*′, *J*. We always set the function *f*(*t*) to satisfy *f*(*t* = 0) = 1 and *f*(*t* = *t _{F}*) = 0. At time

*t*= 0, the system is initialized in the Néel state |ψ(

*t*= 0)⟩ = |↓↑↓ …⟩. As an example, we adopt the function

*f*(

*t*) = (

*t*/

*t*− 1)

_{F}^{4}to adiabatically drive the system to the ground state of

*H*

_{eSSH}at the final time

*t*=

*t*. Our protocols give access to the time-dependent values of MBTI

_{F}*t*)⟩. We illustrate the emergence of quantized values of the MBTI

*Jt*= 20 is compatible with the coherence time achieved in the Rydberg experiment realizing the Haldane phase of the bosonic SSH model (

_{F}*22*). As shown in Fig. 3B, the values of

*t*=

*t*can be used to detect the quality of the preparation of an SPT phase: For

_{F}*Jt*≫ 1, the preparation is perfectly adiabatic, and the values of the MBTI correspond to the ones of the ground state wave function (as presented in Figs. 1 and 2). For

_{F}*Jt*∼ 1, the correlations in the wave function do not extend over the full system, as in the true SPT ground state, but only extend to certain characteristic length scale

_{F}*n*. Consequently, for

_{c}*n*≫

*n*, the many-body invariant tends to zero. We expect a similar behavior for a scenario where |ψ(

_{c}*t*=

*t*)⟩ is replaced by a thermal state, and

_{F}*n*by a “thermal length” describing the range of correlations. Our protocols can also be used to probe topology in non-equilibrium systems (

_{c}*43*).

### Probing the breaking and the protection of symmetries

The MBTIs *H*_{eSSH} in Eq. 1, because both reflection and time-reversal symmetries are respected. In addition to identifying the topology, measuring MBTIs also provides us with the ability to experimentally study the protection mechanism of SPT phases. In particular, SPT order can still exist in the absence of certain internal symmetries (thus, string order being absent), provided at least one protecting symmetry is present (*41*). To illustrate this effect with MBTIs, we add here the term*H*_{eSSH}. In the Hamiltonian *H* = *H*_{eSSH} + *H _{B}*, the reflection and

*D*

_{2}symmetries are explicitly broken, but the time-reversal symmetry is respected (

*43*). Thus, the ground state of

*H*=

*H*

_{eSSH}+

*H*can still exhibit nontrivial SPT order, protected solely by the time-reversal symmetry. This is encoded in the values of the MBTIs and can thus be revealed experimentally via our protocols. As shown in Fig. 4, the partial time-reversal MBTI

_{B}*n*→ ∞, whereas the partial reflection MBTI

*n*→ ∞.

## DISCUSSION

To conclude, the use of randomized measurements to probe topological properties of the wave function is a new paradigm that enables the experimental classification of many-body topological quantum phases. While we have focused our study on unidimensional SPT phases, our protocols also open the possibilities for probing two-dimensional SPT phases (*44*), as well as identifying different SET phases (*28*, *29*, *45*, *46*). The accompanied symmetries, e.g., reflection and time-reversal symmetries, for SET phases (*29*) can be distinguished via the same MBTIs as for SPT phases (defined in compactified one-dimensional geometries) and thus can also be probed via randomized measurements. We also note that our protocol—presented in this work for spin systems—can also be realized in fermionic systems (*24*) via global random unitaries implemented for example with random quenches in Hubbard systems (*31*).

As a future direction, our work also suggests that anyonic statistics describing the essence of topologically ordered states can be accessed via randomized measurements, extending, in particular, approaches based on impurities (*47*) or linear response (*48*) to measure the many-body Chern number of fractional quantum Hall states. Moreover, modular matrices revealing anyonic statistics (*49*) can be expressed as spatial reflection operators in a form analog to *50*) and could thus be measured via randomized measurements.

## MATERIALS AND METHODS

In this part, we present the proofs of Eqs. 3 to 6, relating MBTIs to statistical correlations of randomized measurements, together with the details on our DMRG and TEBD (time-evolving block decimation) simulations. Here, we also focus on the case of spin-1/2 systems. Our formulas can, however, be extended straightforwardly to the cases with higher internal dimensions (spins 1, 3/2, etc.).

### Random unitary calculus

We begin by summarizing elementary properties of random unitaries from the CUE. We discuss the minimal case of two spins, each with Hilbert space ℋ. These can be either (i) two spins located at different lattice sites in a single many-body system (partial inversion invariant) or (ii) two spins located at the same site but realized in two different, sequentially performed, experiments (time-reversal invariant). Given a two-spin operator *O* acting on both spins with total Hilbert space *H*^{⊗2}, we define the unitary twirling channel*U* taken from the CUE (i.e., the average with respect to the Haar measure on the group of unitary matrices on H). Using the two-design identities of the CUE, we find (*51*).*52*)

Here, ( · )^{T2} denotes the partial transpose with respect to the second spin. For the following proofs, we will use an operator *51*)

In the following, we show how to use the identities (Eqs. 11 and 12) to prove Eqs. 3 to 6 relating randomized measurements and MBTIs.

### Partial reflection invariant from randomized measurements

The MBTI *Z*_{R} is inferred from statistical correlations of randomized measurements, performed on a quantum state ρ* _{I}*, which are implemented by applying spatially correlated local random unitaries of the form

*U*=

_{i}*U*

_{2n−i+1}for

*i*= 1, …,

*n*. To prove Eq. 3, we first note that its right-hand side can be rewritten as an expectation value of an operator

*O*

_{R}*I*[

*i*] = (

*i*, 2

*n*−

*i*+ 1). We also used the independence of the unitaries

*U*and

_{i}*U*

_{i′}(for

*i*≠

*i*′ with

*i*,

*i*′ = 1, …,

*n*) applied to different pairs of spins

*I*[

*i*] and

*I*[

*i*′], respectively. Using Eq. 11 with the identification

### Partial time-reversal invariant from randomized measurements

The MBTI * _{I}*. These are implemented by applying to the sites in an interval

*I*=

*I*

_{1}∪

*I*

_{2}local random unitaries

Here, we have defined _{i ∈ I}_{i} with

Using Eqs. 11 and 12 with the identification

### Details on the DMRG and TEBD simulations

DMRG and TEBD simulations for the ground states and time-dependent states, respectively, were realized using the ITensor Library (http://itensor.org) in the framework of matrix product states. To get a ground state, the model was numerically solved with open-boundary conditions, with an additional small pinning field acting on the first site * _{p}* = 0.05

*J*, to select one of the two degenerate ground states present in the topological phase for open boundary conditions (

*53*). Note that in experiment with large system size

*N*, the system would always choose one of the degenerate ground states because a cat state (i.e., the superposition of the two degenerate ground states) is always fragile to perturbations (as simulated by the small pinning field). We used a maximum bond dimension of

*D*= 512. The quasi-exact MBTIs were extracted from direct contractions of the matrix product states representing the ground states (as shown by the solid lines in Figs. 1, 2, and 4). The estimations for randomized measurements were obtained using a sampling algorithm of the occupation probabilities

*P*(s) for matrix product states (

_{U}*54*).

The simulations for the time-dependent state for the adiabatic state preparation (as in Fig. 3) were realized via the TEBD algorithm with a time step *Jdt* = 0.001 and a maximum bond dimension *D* = 512.

## SUPPLEMENTARY MATERIALS

Supplementary material for this article is available at http://advances.sciencemag.org/cgi/content/full/6/15/eaaz3666/DC1

This is an open-access article distributed under the terms of the Creative Commons Attribution license, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## REFERENCES AND NOTES

**Acknowledgments:**We thank the PASQuanS partners and Z. P. Cian, I. Cirac, M. Hermele, M. Knap, and Z.-X. Liu for discussions. The tensor-network simulations (DMRG and TEBD) were realized using the ITensor Library (http://itensor.org).

**Funding:**Research in Innsbruck is supported by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant Agreement No. 741541), and from the European Union’s Horizon 2020 research and innovation programme under Grant Agreement No. 817482 (Pasquans) and No. 731473 (FWF QuantERA via QTFLAG I03769). Furthermore, this work was supported by the Simons Collaboration on UltraQuantum Matter, which is a grant from the Simons Foundation (651440, P.Z.). Research in Maryland was supported by ARO-MURI and NSF-PFC at the JQI. F.P. acknowledges funding from the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy—EXC-2111-390814868, DFG TRR80 (project number 107745057), DFG Research Unit FOR 1807 through grant no. PO 1370/2-1, the ERC under the European Unions Horizon 2020 research, and innovation program grant agreement no. 771537.

**Author contributions:**A.E., G.Z., P.Z., and B.V. proposed the research project. A.E. and B.V. derived the randomized measurement protocols to access MBTIs. A.E. and J.Y. performed the numerical simulations. A.E., J.Y., G.Z., M.H., F.P., P.Z., and B.V. contributed to the interpretations of the numerical simulations and wrote the manuscript.

**Competing interests:**The authors declare that they have no competing interests.

**Data and materials availability:**All data needed to evaluate the conclusions in the paper are present in the paper and/or the Supplementary Materials. Additional data related to this paper may be requested from the authors.

- Copyright © 2020 The Authors, some rights reserved; exclusive licensee American Association for the Advancement of Science. No claim to original U.S. Government Works. Distributed under a Creative Commons Attribution License 4.0 (CC BY).