Source author record

Alexei Kitaev

Alexei Kitaev appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

12works
12topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

12 published item(s)

preprint2021arXiv

Information Scrambling in Computationally Complex Quantum Circuits

Interaction in quantum systems can spread initially localized quantum information into the many degrees of freedom of the entire system. Understanding this process, known as quantum scrambling, is the key to resolving various conundrums in physics. Here, by measuring the time-dependent evolution and fluctuation of out-of-time-order correlators, we experimentally investigate the dynamics of quantum scrambling on a 53-qubit quantum processor. We engineer quantum circuits that distinguish the two mechanisms associated with quantum scrambling, operator spreading and operator entanglement, and experimentally observe their respective signatures. We show that while operator spreading is captured by an efficient classical model, operator entanglement requires exponentially scaled computational resources to simulate. These results open the path to studying complex and practically relevant physical observables with near-term quantum processors.

preprint2021arXiv

Observation of Time-Crystalline Eigenstate Order on a Quantum Processor

Quantum many-body systems display rich phase structure in their low-temperature equilibrium states. However, much of nature is not in thermal equilibrium. Remarkably, it was recently predicted that out-of-equilibrium systems can exhibit novel dynamical phases that may otherwise be forbidden by equilibrium thermodynamics, a paradigmatic example being the discrete time crystal (DTC). Concretely, dynamical phases can be defined in periodically driven many-body localized systems via the concept of eigenstate order. In eigenstate-ordered phases, the entire many-body spectrum exhibits quantum correlations and long-range order, with characteristic signatures in late-time dynamics from all initial states. It is, however, challenging to experimentally distinguish such stable phases from transient phenomena, wherein few select states can mask typical behavior. Here we implement a continuous family of tunable CPHASE gates on an array of superconducting qubits to experimentally observe an eigenstate-ordered DTC. We demonstrate the characteristic spatiotemporal response of a DTC for generic initial states. Our work employs a time-reversal protocol that discriminates external decoherence from intrinsic thermalization, and leverages quantum typicality to circumvent the exponential cost of densely sampling the eigenspectrum. In addition, we locate the phase transition out of the DTC with an experimental finite-size analysis. These results establish a scalable approach to study non-equilibrium phases of matter on current quantum processors.

preprint2015arXiv

Time reversal invariant gapped boundaries of the double semion state

The boundary of a fractionalized topological phase can be gapped by condensing a proper set of bosonic quasiparticles. Interestingly, in the presence of a global symmetry, such a boundary can have different symmetry transformation properties. Here we present an explicit example of this kind, in the double semion state with time reversal symmetry. We find two distinct cases where the semionic excitations on the boundary can transform either as time reversal singlets or as time reversal (Kramers) doublets, depending on the coherent phase factor of the Bose condensate. The existence of these two possibilities are demonstrated using both field theory argument and exactly solvable lattice models. Furthermore, we study the domain walls between these two types of gapped boundaries and find that the application of time reversal symmetry tunnels a semion between them.

preprint2013arXiv

An area law and sub-exponential algorithm for 1D systems

We give a new proof for the area law for general 1D gapped systems, which exponentially improves Hastings' famous result \cite{ref:Has07}. Specifically, we show that for a chain of d-dimensional spins, governed by a 1D local Hamiltonian with a spectral gap \eps>0, the entanglement entropy of the ground state with respect to any cut in the chain is upper bounded by $O{\frac{\log^3 d}{\eps}}$. Our approach uses the framework Arad et al to construct a Chebyshev-based AGSP (Approximate Ground Space Projection) with favorable factors. However, our construction uses the Hamiltonian directly, instead of using the Detectability lemma, which allows us to work with general (frustrated) Hamiltonians, as well as slightly improving the $1/\eps$ dependence of the bound in Arad et al. To achieve that, we establish a new, "random-walk like", bound on the entanglement rank of an arbitrary power of a 1D Hamiltonian, which might be of independent interest: \ER{H^\ell} \le (\ell d)^{O(\sqrt{\ell})}. Finally, treating d as a constant, our AGSP shows that the ground state is well approximated by a matrix product state with a sublinear bond dimension $B=e^{O(\log^{3/4}n/\eps^{1/4})}. Using this in conjunction with known dynamical programing algorithms, yields an algorithm for a 1/\poly(n) approximation of the ground energy with a subexponential running time T\le \exp(e^{O(\log^{3/4}n/\eps^{1/4})}).

preprint2013arXiv

Protected gates for superconducting qubits

We analyze the accuracy of quantum phase gates acting on "0-$π$ qubits" in superconducting circuits, where the gates are protected against thermal and Hamiltonian noise by continuous-variable quantum error-correcting codes. The gates are executed by turning on and off a tunable Josephson coupling between an $LC$ oscillator and a qubit or pair of quits; assuming perfect qubits, we show that the gate errors are exponentially small when the oscillator's impedance $\sqrt{L/C}$ is large compared to $\hbar/4e^2 \approx 1\, kΩ$. The protected gates are not computationally universal by themselves, but a scheme for universal fault-tolerant quantum computation can be constructed by combining them with unprotected noisy operations. We validate our analytic arguments with numerical simulations.

preprint2012arXiv

Models for gapped boundaries and domain walls

We define a class of lattice models for two-dimensional topological phases with boundary such that both the bulk and the boundary excitations are gapped. The bulk part is constructed using a unitary tensor category $\calC$ as in the Levin-Wen model, whereas the boundary is associated with a module category over $\calC$. We also consider domain walls (or defect lines) between different bulk phases. A domain wall is transparent to bulk excitations if the corresponding unitary tensor categories are Morita equivalent. Defects of higher codimension will also be studied. In summary, we give a dictionary between physical ingredients of lattice models and tensor-categorical notions.

preprint2012arXiv

Solutions to generalized Yang-Baxter equations via ribbon fusion categories

Inspired by quantum information theory, we look for representations of the braid groups $B_n$ on $V^{\otimes (n+m-2)}$ for some fixed vector space $V$ such that each braid generator $σ_i, i=1,...,n-1,$ acts on $m$ consecutive tensor factors from $i$ through $i+m-1$. The braid relation for $m=2$ is essentially the Yang-Baxter equation, and the cases for $m>2$ are called generalized Yang-Baxter equations. We observe that certain objects in ribbon fusion categories naturally give rise to such representations for the case $m=3$. Examples are given from the Ising theory (or the closely related $SU(2)_2$), $SO(N)_2$ for $N$ odd, and $SU(3)_3$. The solution from the Jones-Kauffman theory at a $6^{th}$ root of unity, which is closely related to $SO(3)_2$ or $SU(2)_4$, is explicitly described in the end.

preprint2011arXiv

Dissipationless dynamics of randomly coupled spins at high temperatures

We develop a technique to compute the high-frequency asymptotics of spin correlators in weakly interacting disordered spin systems. We show that the dynamical spin correlator decreases exponentially at high frequencies, $< SS>_ω\sim\exp(-τ_{*}ω)$ and compute the characteristic time $τ^{*}$ of this dependence. In a typical random configuration, some fraction of spins form strongly coupled pairs, which behave as two-level systems. Their switching dynamics is driven by the high-frequency noise from the surrounding spins, resulting in low-frequency $1/f$ noise in the magnetic susceptibility and other physical quantities. We discuss application of these results to the problem of susceptibility and flux noise in superconducting circuits at mK temperatures.

preprint2010arXiv

Topological phases of fermions in one dimension

In this paper we show how the classification of topological phases in insulators and superconductors is changed by interactions, in the case of 1D systems. We focus on the TR-invariant Majorana chain (BDI symmetry class). While the band classification yields an integer topological index $k$, it is known that phases characterized by values of $k$ in the same equivalence class modulo 8 can be adiabatically transformed one to another by adding suitable interaction terms. Here we show that the eight equivalence classes are distinct and exhaustive, and provide a physical interpretation for the interacting invariant modulo 8. The different phases realize different Altland-Zirnbauer classes of the reduced density matrix for an entanglement bipartition into two half-chains. We generalize these results to the classification of all one dimensional gapped phases of fermionic systems with possible anti-unitary symmetries, utilizing the algebraic framework of central extensions. We use matrix product state methods to prove our results.

preprint2009arXiv

Periodic table for topological insulators and superconductors

Gapped phases of noninteracting fermions, with and without charge conservation and time-reversal symmetry, are classified using Bott periodicity. The symmetry and spatial dimension determines a general universality class, which corresponds to one of the 2 types of complex and 8 types of real Clifford algebras. The phases within a given class are further characterized by a topological invariant, an element of some Abelian group that can be 0, Z, or Z_2. The interface between two infinite phases with different topological numbers must carry some gapless mode. Topological properties of finite systems are described in terms of K-homology. This classification is robust with respect to disorder, provided electron states near the Fermi energy are absent or localized. In some cases (e.g., integer quantum Hall systems) the K-theoretic classification is stable to interactions, but a counterexample is also given.

preprint2009arXiv

The effects of interactions on the topological classification of free fermion systems

We describe in detail a counterexample to the topological classification of free fermion systems. We deal with a one dimensional chain of Majorana fermions with an unusual T symmetry. The topological invariant for the free fermion classification is an integer, but with the introduction of interactions it becomes well defined only modulo 8. We illustrate this in the microscopic model of the Majorana chain by constructing an explicit path between two distinct free phases whose topological invariants are equal modulo 8, along which the system remains gapped. The path goes through a strongly interacting region. We also find the field theory interpretation of this phenomenon. There is a second order phase transition between the two phases in the free theory which can be avoided by going through the strongly interacting region. We show that this transition is in the 2D Ising universality class, where a first order phase transition line, terminating at a second order transition, can be avoided by going through the analogue of a high temperature paramagnetic phase. In fact, we construct the full phase diagram of the system as a function of the thermal operator (i.e. the mass term that tunes between the two phases in the free theory) and two quartic operators, obtaining a first order Peierls transition region, a second order transition region, and a region with no transition.

preprint2005arXiv

Universal manifold pairings and positivity

Gluing two manifolds M_1 and M_2 with a common boundary S yields a closed manifold M. Extending to formal linear combinations x=Sum_i(a_i M_i) yields a sesquilinear pairing p=<,> with values in (formal linear combinations of) closed manifolds. Topological quantum field theory (TQFT) represents this universal pairing p onto a finite dimensional quotient pairing q with values in C which in physically motivated cases is positive definite. To see if such a "unitary" TQFT can potentially detect any nontrivial x, we ask if <x,x> is non-zero whenever x is non-zero. If this is the case, we call the pairing p positive. The question arises for each dimension d=0,1,2,.... We find p(d) positive for d=0,1, and 2 and not positive for d=4. We conjecture that p(3) is also positive. Similar questions may be phrased for (manifold, submanifold) pairs and manifolds with other additional structure. The results in dimension 4 imply that unitary TQFTs cannot distinguish homotopy equivalent simply connected 4-manifolds, nor can they distinguish smoothly s-cobordant 4-manifolds. This may illuminate the difficulties that have been met by several authors in their attempts to formulate unitary TQFTs for d=3+1. There is a further physical implication of this paper. Whereas 3-dimensional Chern-Simons theory appears to be well-encoded within 2-dimensional quantum physics, eg in the fractional quantum Hall effect, Donaldson-Seiberg-Witten theory cannot be captured by a 3-dimensional quantum system. The positivity of the physical Hilbert spaces means they cannot see null vectors of the universal pairing; such vectors must map to zero.