01881nas a2200193 4500008004100000245007300041210006900114260001400183490000600197520129800203100002001501700002201521700002101543700001601564700001801580700002401598700002801622856003701650 2023 eng d00aExperimental Observation of Thermalization with Noncommuting Charges0 aExperimental Observation of Thermalization with Noncommuting Cha c4/28/20230 v43 a

Quantum simulators have recently enabled experimental observations of quantum many-body systems' internal thermalization. Often, the global energy and particle number are conserved, and the system is prepared with a well-defined particle number - in a microcanonical subspace. However, quantum evolution can also conserve quantities, or charges, that fail to commute with each other. Noncommuting charges have recently emerged as a subfield at the intersection of quantum thermodynamics and quantum information. Until now, this subfield has remained theoretical. We initiate the experimental testing of its predictions, with a trapped-ion simulator. We prepare 6-21 spins in an approximate microcanonical subspace, a generalization of the microcanonical subspace for accommodating noncommuting charges, which cannot necessarily have well-defined nontrivial values simultaneously. We simulate a Heisenberg evolution using laser-induced entangling interactions and collective spin rotations. The noncommuting charges are the three spin components. We find that small subsystems equilibrate to near a recently predicted non-Abelian thermal state. This work bridges quantum many-body simulators to the quantum thermodynamics of noncommuting charges, whose predictions can now be tested.

1 aKranzl, Florian1 aLasek, Aleksander1 aJoshi, Manoj, K.1 aKalev, Amir1 aBlatt, Rainer1 aRoos, Christian, F.1 aHalpern, Nicole, Yunger uhttps://arxiv.org/abs/2202.0465201518nas a2200169 4500008004100000245007200041210006900113260001300182520098500195100001901180700002501199700002201224700002101246700001601267700002801283856003701311 2023 eng d00aNoncommuting conserved charges in quantum thermodynamics and beyond0 aNoncommuting conserved charges in quantum thermodynamics and bey c9/7/20233 a

Thermodynamic systems typically conserve quantities ("charges") such as energy and particle number. The charges are often assumed implicitly to commute with each other. Yet quantum phenomena such as uncertainty relations rely on observables' failure to commute. How do noncommuting charges affect thermodynamic phenomena? This question, upon arising at the intersection of quantum information theory and thermodynamics, spread recently across many-body physics. Charges' noncommutation has been found to invalidate derivations of the thermal state's form, decrease entropy production, conflict with the eigenstate thermalization hypothesis, and more. This Perspective surveys key results in, opportunities for, and work adjacent to the quantum thermodynamics of noncommuting charges. Open problems include a conceptual puzzle: Evidence suggests that noncommuting charges may hinder thermalization in some ways while enhancing thermalization in others.

1 aMajidy, Shayan1 aBraasch, William, F.1 aLasek, Aleksander1 aUpadhyaya, Twesh1 aKalev, Amir1 aHalpern, Nicole, Yunger uhttps://arxiv.org/abs/2306.0005402031nas a2200145 4500008004100000245007100041210006900112260001400181490000800195520154100203100002801744700002701772700001601799856007001815 2020 eng d00aNoncommuting conserved charges in quantum many-body thermalization0 aNoncommuting conserved charges in quantum manybody thermalizatio c4/15/20200 v1013 a

In statistical mechanics, a small system exchanges conserved quantities—heat, particles, electric charge, etc.—with a bath. The small system thermalizes to the canonical ensemble or the grand canonical ensemble, etc., depending on the quantities. The conserved quantities are represented by operators usually assumed to commute with each other. This assumption was removed within quantum-information-theoretic (QI-theoretic) thermodynamics recently. The small system's long-time state was dubbed “the non-Abelian thermal state (NATS).” We propose an experimental protocol for observing a system thermalize to the NATS. We illustrate with a chain of spins, a subset of which forms the system of interest. The conserved quantities manifest as spin components. Heisenberg interactions push the conserved quantities between the system and the effective bath, the rest of the chain. We predict long-time expectation values, extending the NATS theory from abstract idealization to finite systems that thermalize with finite couplings for finite times. Numerical simulations support the analytics: The system thermalizes to near the NATS, rather than to the canonical prediction. Our proposal can be implemented with ultracold atoms, nitrogen-vacancy centers, trapped ions, quantum dots, and perhaps nuclear magnetic resonance. This work introduces noncommuting conserved quantities from QI-theoretic thermodynamics into quantum many-body physics: atomic, molecular, and optical physics and condensed matter.

1 aHalpern, Nicole, Yunger1 aBeverland, Michael, E.1 aKalev, Amir uhttps://journals.aps.org/pre/abstract/10.1103/PhysRevE.101.04211701576nas a2200157 4500008004100000245010800041210006900149260001400218490000600232520106400238100001701302700001601319700002701335700001901362856003701381 2020 eng d00aOptimal fermion-to-qubit mapping via ternary trees with applications to reduced quantum states learning0 aOptimal fermiontoqubit mapping via ternary trees with applicatio c5/26/20200 v43 a

We introduce a fermion-to-qubit mapping defined on ternary trees, where any single Majorana operator on an n-mode fermionic system is mapped to a multi-qubit Pauli operator acting nontrivially on ⌈log3(2n+1)⌉ qubits. The mapping has a simple structure and is optimal in the sense that it is impossible to construct Pauli operators in any fermion-to-qubit mapping acting nontrivially on less than log3(2n) qubits on average. We apply it to the problem of learning k-fermion reduced density matrix (RDM), a problem relevant in various quantum simulation applications. We show that using the ternary-tree mapping one can determine the elements of all k-fermion RDMs, to precision ϵ, by repeating a single quantum circuit for ≲(2n+1)kϵ−2 times. This result is based on a method we develop here that allows one to determine the elements of all k-qubit RDMs, to precision ϵ, by repeating a single quantum circuit for ≲3kϵ−2 times, independent of the system size. This improves over existing schemes for determining qubit RDMs.

1 aJiang, Zhang1 aKalev, Amir1 aMruczkiewicz, Wojciech1 aNeven, Hartmut uhttps://arxiv.org/abs/1910.1074601053nas a2200121 4500008004100000245007400041210006900115260001300184520066700197100001600864700001400880856003700894 2020 eng d00aSimulating Hamiltonian Dynamics with an Off-diagonal Series Expansion0 aSimulating Hamiltonian Dynamics with an Offdiagonal Series Expan c6/3/20203 a

We propose an efficient quantum algorithm for simulating the dynamics of general Hamiltonian systems. Our technique is based on a power series expansion of the time-evolution operator in its off-diagonal terms. The expansion decouples the dynamics due to the diagonal component of the Hamiltonian from the dynamics generated by its off-diagonal part, which we encode using the linear combination of unitaries technique. Our method has an optimal dependence on the desired precision and, as we illustrate, generally requires considerably fewer resources than the current state-of-the-art. We provide an analysis of resource costs for several sample models.

1 aKalev, Amir1 aHen, Itay uhttps://arxiv.org/abs/2006.0253901484nas a2200121 4500008004100000245004900041210004600090260001500136520114100151100001701292700001601309856003701325 2019 eng d00aAn approximate description of quantum states0 aapproximate description of quantum states c2019/11/133 a

We introduce an approximate description of an N-qubit state, which contains sufficient information to estimate the expectation value of any observable with precision independent of N. We show, in fact, that the error in the estimation of the observables' expectation values decreases as the inverse of the square root of the number of the system's identical preparations and increases, at most, linearly in a suitably defined, N-independent, seminorm of the observables. Building the approximate description of the N-qubit state only requires repetitions of single-qubit rotations followed by single-qubit measurements and can be considered for implementation on today's Noisy Intermediate-Scale Quantum (NISQ) computers. The access to the expectation values of all observables for a given state leads to an efficient variational method for the determination of the minimum eigenvalue of an observable. The method represents one example of the practical significance of the approximate description of the N-qubit state. We conclude by briefly discussing extensions to generative modelling and with fermionic operators

1 aPaini, Marco1 aKalev, Amir uhttps://arxiv.org/abs/1910.1054301930nas a2200133 4500008004100000245008000041210006900121260001400190520148400204100002801688700002701716700001601743856003701759 2019 eng d00aEquilibration to the non-Abelian thermal state in quantum many-body physics0 aEquilibration to the nonAbelian thermal state in quantum manybod c6/21/20193 a

In statistical mechanics, a small system exchanges conserved charges---heat, particles, electric charge, etc.---with a bath. The small system thermalizes to the canonical ensemble, or the grand canonical ensemble, etc., depending on the charges. The charges are usually represented by operators assumed to commute with each other. This assumption was removed within quantum-information-theoretic (QI-theoretic) thermodynamics recently. The small system's long-time state was dubbed "the non-Abelian thermal state (NATS)." We propose an experimental protocol for observing a system thermalize to the NATS. We illustrate with a chain of spins, a subset of which form the system of interest. The conserved charges manifest as spin components. Heisenberg interactions push the charges between the system and the effective bath, the rest of the chain. We predict long-time expectation values, extending the NATS theory from abstract idealization to finite systems that thermalize with finite couplings for finite times. Numerical simulations support the analytics: The system thermalizes to the NATS, rather than to the canonical prediction. Our proposal can be implemented with ultracold atoms, nitrogen-vacancy centers, trapped ions, quantum dots, and perhaps nuclear magnetic resonance. This work introduces noncommuting charges from QI-theoretic thermodynamics into quantum many-body physics: atomic, molecular, and optical physics and condensed matter. 

1 aHalpern, Nicole, Yunger1 aBeverland, Michael, E.1 aKalev, Amir uhttps://arxiv.org/abs/1906.0922701481nas a2200157 4500008004100000245006800041210006700109260001500176300001000191490000800201520102300209100002101232700001601253700001701269856003701286 2019 eng d00aParallel Self-Testing of the GHZ State with a Proof by Diagrams0 aParallel SelfTesting of the GHZ State with a Proof by Diagrams c01/29/2019 a43-660 v2873 a

Quantum self-testing addresses the following question: is it possible to verify the existence of a multipartite state even when one's measurement devices are completely untrusted? This problem has seen abundant activity in the last few years, particularly with the advent of parallel self-testing (i.e., testing several copies of a state at once), which has applications not only to quantum cryptography but also quantum computing. In this work we give the first error-tolerant parallel self-test in a three-party (rather than two-party) scenario, by showing that an arbitrary number of copies of the GHZ state can be self-tested. In order to handle the additional complexity of a three-party setting, we use a diagrammatic proof based on categorical quantum mechanics, rather than a typical symbolic proof. The diagrammatic approach allows for manipulations of the complicated tensor networks that arise in the proof, and gives a demonstration of the importance of picture-languages in quantum information.

1 aBreiner, Spencer1 aKalev, Amir1 aMiller, Carl uhttps://arxiv.org/abs/1806.0474401015nas a2200133 4500008004100000245004800041210004800089260001400137490000700151520064300158100001600801700002700817856003700844 2019 eng d00aValidating and Certifying Stabilizer States0 aValidating and Certifying Stabilizer States c9/16/20190 v993 a

We propose a measurement scheme that validates the preparation of a target n-qubit stabilizer state. The scheme involves a measurement of n Pauli observables, a priori determined from the target stabilizer and which can be realized using single-qubit gates. Based on the proposed validation scheme, we derive an explicit expression for the worse-case fidelity, i.e., the minimum fidelity between the target stabilizer state and any other state consistent with the measured data. We also show that the worse-case fidelity can be certified, with high probability, using O(n) copies of the state of the system per measured observable.

1 aKalev, Amir1 aKyrillidis, Anastasios uhttps://arxiv.org/abs/1808.1078601552nas a2200109 4500008004100000245008900041210006900130520116300199100002701362700001601389856003701405 2018 eng d00aImplicit regularization and solution uniqueness in over-parameterized matrix sensing0 aImplicit regularization and solution uniqueness in overparameter3 a

We consider whether algorithmic choices in over-parameterized linear matrix factorization introduce implicit regularization. We focus on noiseless matrix sensing over rank-r positive semi-definite (PSD) matrices in Rn×n, with a sensing mechanism that satisfies the restricted isometry property (RIP). The algorithm we study is that of \emph{factored gradient descent}, where we model the low-rankness and PSD constraints with the factorization UU⊤, where U∈Rn×r. Surprisingly, recent work argues that the choice of r≤n is not pivotal: even setting U∈Rn×n is sufficient for factored gradient descent to find the rank-r solution, which suggests that operating over the factors leads to an implicit regularization. In this note, we provide a different perspective. We show that, in the noiseless case, under certain conditions, the PSD constraint by itself is sufficient to lead to a unique rank-r matrix recovery, without implicit or explicit low-rank regularization. \emph{I.e.}, under assumptions, the set of PSD matrices, that are consistent with the observed data, is a singleton, irrespective of the algorithm used.

1 aKyrillidis, Anastasios1 aKalev, Amir uhttps://arxiv.org/abs/1806.0204601180nas a2200157 4500008004100000245007300041210006900114490000800183520068500191100001800876700002900894700002400923700001600947700002200963856003700985 2018 eng d00aOptimal Pure-State Qubit Tomography via Sequential Weak Measurements0 aOptimal PureState Qubit Tomography via Sequential Weak Measureme0 v1213 a

The spin-coherent-state positive-operator-valued-measure (POVM) is a fundamental measurement in quantum science, with applications including tomography, metrology, teleportation, benchmarking, and measurement of Husimi phase space probabilities. We prove that this POVM is achieved by collectively measuring the spin projection of an ensemble of qubits weakly and isotropically. We apply this in the context of optimal tomography of pure qubits. We show numerically that through a sequence of weak measurements of random directions of the collective spin component, sampled discretely or in a continuous measurement with random controls, one can approach the optimal bound.

1 aShojaee, Ezad1 aJackson, Christopher, S.1 aRiofrio, Carlos, A.1 aKalev, Amir1 aDeutsch, Ivan, H. uhttps://arxiv.org/abs/1805.0101202409nas a2200157 4500008004100000245009100041210006900132520188600201100003302087700001602120700001702136700002402153700002202177700001502199856003702214 2018 eng d00aQuantum SDP Solvers: Large Speed-ups, Optimality, and Applications to Quantum Learning0 aQuantum SDP Solvers Large Speedups Optimality and Applications t3 a

We give two new quantum algorithms for solving semidefinite programs (SDPs) providing quantum speed-ups. We consider SDP instances with m constraint matrices, each of dimension n, rank r, and sparsity s. The first algorithm assumes an input model where one is given access to entries of the matrices at unit cost. We show that it has run time O~(s2(m−−√ε−10+n−−√ε−12)), where ε is the error. This gives an optimal dependence in terms of m,n and quadratic improvement over previous quantum algorithms when m≈n. The second algorithm assumes a fully quantum input model in which the matrices are given as quantum states. We show that its run time is O~(m−−√+poly(r))⋅poly(logm,logn,B,ε−1), with B an upper bound on the trace-norm of all input matrices. In particular the complexity depends only poly-logarithmically in n and polynomially in r. We apply the second SDP solver to the problem of learning a good description of a quantum state with respect to a set of measurements: Given m measurements and copies of an unknown state ρ, we show we can find in time m−−√⋅poly(logm,logn,r,ε−1) a description of the state as a quantum circuit preparing a density matrix which has the same expectation values as ρ on the m measurements, up to error ε. The density matrix obtained is an approximation to the maximum entropy state consistent with the measurement data considered in Jaynes' principle from statistical mechanics. As in previous work, we obtain our algorithm by "quantizing" classical SDP solvers based on the matrix multiplicative weight method. One of our main technical contributions is a quantum Gibbs state sampler for low-rank Hamiltonians with a poly-logarithmic dependence on its dimension, which could be of independent interest.

1 aBrandão, Fernando, G. S. L.1 aKalev, Amir1 aLi, Tongyang1 aLin, Cedric, Yen-Yu1 aSvore, Krysta, M.1 aWu, Xiaodi uhttps://arxiv.org/abs/1710.0258102582nas a2200169 4500008004100000245010100041210006900142260001500211520202200226100003302248700001602281700001702297700002402314700002202338700001502360856003702375 2017 eng d00aExponential Quantum Speed-ups for Semidefinite Programming with Applications to Quantum Learning0 aExponential Quantum Speedups for Semidefinite Programming with A c2017/10/063 a

We give semidefinite program (SDP) quantum solvers with an exponential speed-up over classical ones. Specifically, we consider SDP instances with m constraint matrices of dimension n, each of rank at most r, and assume that the input matrices of the SDP are given as quantum states (after a suitable normalization). Then we show there is a quantum algorithm that solves the SDP feasibility problem with accuracy ǫ by using √ m log m · poly(log n,r, ǫ −1 ) quantum gates. The dependence on n provides an exponential improvement over the work of Brand ˜ao and Svore [6] and the work of van Apeldoorn et al. [23], and demonstrates an exponential quantum speed-up when m and r are small. We apply the SDP solver to the problem of learning a good description of a quantum state with respect to a set of measurements: Given m measurements and a supply of copies of an unknown state ρ, we show we can find in time √ m log m · poly(log n,r, ǫ −1 ) a description of the state as a quantum circuit preparing a density matrix which has the same expectation values as ρ on the m measurements up to error ǫ. The density matrix obtained is an approximation to the maximum entropy state consistent with the measurement data considered in Jaynes’ principle. As in previous work, we obtain our algorithm by “quantizing” classical SDP solvers based on the matrix multiplicative weight update method. One of our main technical contributions is a quantum Gibbs state sampler for low-rank Hamiltonians with a poly-logarithmic dependence on its dimension based on the techniques developed in quantum principal component analysis, which could be of independent interest. Our quantum SDP solver is different from previous ones in the following two aspects: (1) it follows from a zero-sum game approach of Hazan [11] of solving SDPs rather than the primal-dual approach by Arora and Kale [5]; and (2) it does not rely on any sparsity assumption of the input matrices.

1 aBrandão, Fernando, G. S. L.1 aKalev, Amir1 aLi, Tongyang1 aLin, Cedric, Yen-Yu1 aSvore, Krysta, M.1 aWu, Xiaodi uhttps://arxiv.org/abs/1710.0258101398nas a2200169 4500008004100000245006100041210006000102260001500162520088000177100002701057700001601084700001801100700002601118700002701144700002001171856003701191 2017 eng d00aProvable quantum state tomography via non-convex methods0 aProvable quantum state tomography via nonconvex methods c2017/11/193 a

With nowadays steadily growing quantum processors, it is required to develop new quantum tomography tools that are tailored for high-dimensional systems. In this work, we describe such a computational tool, based on recent ideas from non-convex optimization. The algorithm excels in the compressed-sensing-like setting, where only a few data points are measured from a lowrank or highly-pure quantum state of a high-dimensional system. We show that the algorithm can practically be used in quantum tomography problems that are beyond the reach of convex solvers, and, moreover, is faster than other state-of-the-art non-convex approaches. Crucially, we prove that, despite being a non-convex program, under mild conditions, the algorithm is guaranteed to converge to the global minimum of the problem; thus, it constitutes a provable quantum state tomography protocol.

1 aKyrillidis, Anastasios1 aKalev, Amir1 aPark, Dohuyng1 aBhojanapalli, Srinadh1 aCaramanis, Constantine1 aSanghavi, Sujay uhttps://arxiv.org/abs/1711.0252401315nas a2200145 4500008004100000245004100041210004100082260001500123300001100138490000600149520091300155100001601068700001701084856006801101 2017 eng d00aRigidity of the magic pentagram game0 aRigidity of the magic pentagram game c2017/11/02 a0150020 v33 a

A game is rigid if a near-optimal score guarantees, under the sole assumption of the validity of quantum mechanics, that the players are using an approximately unique quantum strategy. Rigidity has a vital role in quantum cryptography as it permits a strictly classical user to trust behavior in the quantum realm. This property can be traced back as far as 1998 (Mayers and Yao) and has been proved for multiple classes of games. In this paper we prove ridigity for the magic pentagram game, a simple binary constraint satisfaction game involving two players, five clauses and ten variables. We show that all near-optimal strategies for the pentagram game are approximately equivalent to a unique strategy involving real Pauli measurements on three maximally-entangled qubit pairs.

1 aKalev, Amir1 aMiller, Carl uhttp://iopscience.iop.org/article/10.1088/2058-9565/aa931d/meta