We explore the relationship between approximate symmetries of a gapped Hamiltonian and the structure of its ground space. We start by considering approximate symmetry operators, defined as unitary operators whose commutators with the Hamiltonian have norms that are sufficiently small. We show that when approximate symmetry operators can be restricted to the ground space while approximately preserving certain mutual commutation relations. We generalize the Stone-von Neumann theorem to matrices that approximately satisfy the canonical (Heisenberg-Weyl-type) commutation relations and use this to show that approximate symmetry operators can certify the degeneracy of the ground space even though they only approximately form a group. Importantly, the notions of “approximate” and “small” are all independent of the dimension of the ambient Hilbert space and depend only on the degeneracy in the ground space. Our analysis additionally holds for any gapped band of sufficiently small width in the excited spectrum of the Hamiltonian, and we discuss applications of these ideas to topological quantum phases of matter and topological quantum error correcting codes. Finally, in our analysis, we also provide an exponential improvement upon bounds concerning the existence of shared approximate eigenvectors of approximately commuting operators under an added normality constraint, which may be of independent interest.
We explore the relationship between approximate symmetries of a gapped Hamiltonian and the structure of its ground space. We start by considering approximate symmetry operators, defined as unitary operators whose commutators with the Hamiltonian have norms that are sufficiently small. We show that when approximate symmetry operators can be restricted to the ground space while approximately preserving certain mutual commutation relations. We generalize the Stone-von Neumann theorem to matrices that approximately satisfy the canonical (Heisenberg-Weyl-type) commutation relations and use this to show that approximate symmetry operators can certify the degeneracy of the ground space even though they only approximately form a group. Importantly, the notions of “approximate” and “small” are all independent of the dimension of the ambient Hilbert space and depend only on the degeneracy in the ground space. Our analysis additionally holds for any gapped band of sufficiently small width in the excited spectrum of the Hamiltonian, and we discuss applications of these ideas to topological quantum phases of matter and topological quantum error correcting codes. Finally, in our analysis, we also provide an exponential improvement upon bounds concerning the existence of shared approximate eigenvectors of approximately commuting operators under an added normality constraint, which may be of independent interest.
It d-pends. Wigner’s symmetry theorem implies that transformations that preserve transition probabilities of pure quantum states are linear maps on the level of density operators. We investigate the stability of this implication. On the one hand, we show that any transformation that preserves transition probabilities up to an additive ε in a separable Hilbert space admits a weak linear approximation, i.e., one relative to any fixed observable. This implies the existence of a linear approximation that is 4εd–close in Hilbert-Schmidt norm, with d the Hilbert space dimension. On the other hand, we prove that a linear approximation that is close in norm and independent of d does not exist in general. To this end, we provide a lower bound that depends logarithmically on d.
Symmetry in quantum mechanicsRoughly speaking, a symmetry of some mathematical object is an invertible transformation that leaves all relevant structure as it is.Thus a symmetry of a set is just a bijection (as sets have no further structure, whence invertibility is the only demand on a symmetry), a symmetry of a topological space is a homeomorphism, a symmetry of a Banach space is a linear isometric isomorphism, and, crucially important for this chapter, a symmetry of a Hilbert space H is a unitary operator, i.e., a linear map u : H → H satisfying one and hence all of the following equivalent conditions:• u is invertible and preserves the inner product, i.e., uϕ, uψ = ϕ, ψ (ϕ, ψ ∈ H).The discussion of symmetries in quantum physics is based on the above idea, but the mathematically obvious choices need not be the physically relevant ones.Even in elementary quantum mechanics, where A = B(H), i.e., the C*-algebra of all bounded operators on some Hilbert space H, the concept of a symmetry is already diverse.The main structures whose symmetries we shall study in this chapter are:1.The normal pure state space P 1 (H), i.e., the set of one-dimensional projections on H, with transition probability τ : P 1 (H) × P 1 (H) → [0, 1] defined by (2.44).2. The normal state space D(H), i.e. the convex set of density operators ρ on H. The self-adjoint operators B(H)sa on H, seen as a Jordan algebra (see below).4. The effects E (H) = [0, 1] B(H) , seen as a convex partially ordered set (poset). 5.The projections P(H) on H, seen as an orthocomplemented lattice.6.The unital commutative C*-subalgebras C (B(H)) of B(H), seen as a poset.Each of these structures comes with its own notion of a symmetry, but the main point of this chapter will be to show these notions are equivalent, corresponding in all cases to either unitary or-surprisingly-anti-unitary operators, both merely defined up to a phase.The latter subtlety will open the world of projective unitary group representation to quantum mechanics (without which the existence of spin-1 2 particles such as electrons, and therewith also of ourselves, would be impossible).
We generalize the proof of stability of topological order, due to Bravyi, Hastings, and Michalakis, to stabilizer Hamiltonians corresponding to low-density parity-check (LDPC) codes without the restriction of geometric locality in Euclidean space. We consider Hamiltonians H 0 defined by ⟦ N , K , d ⟧ LDPC codes, which obey certain topological quantum order conditions: (i) code distance d ≥ c log ( N ) , implying local indistinguishability of ground states, and (ii) a mild condition on local and global compatibility of ground states—these include good quantum LDPC codes and the toric code on a hyperbolic lattice, among others. We consider stability under weak perturbations that are quasilocal on the interaction graph defined by H 0 and that can be represented as sums of bounded-norm terms. As long as the local perturbation strength is smaller than a finite constant, we show that the perturbed Hamiltonian has well-defined spectral bands originating from the O ( 1 ) smallest eigenvalues of H 0 . The band originating from the smallest eigenvalue has 2 K states, is separated from the rest of the spectrum by a finite energy gap, and has exponentially narrow bandwidth δ = C N e − Θ ( d ) , which is tighter than the best-known bounds even in the Euclidean case. We also obtain that the new ground-state subspace is related to the initial-code subspace by a quasilocal unitary, allowing one to relate their physical properties. Our proof uses an iterative procedure that performs successive rotations to eliminate non-frustration-free terms in the Hamiltonian. Our results extend to quantum Hamiltonians built from classical LDPC codes, which give rise to stable symmetry-breaking phases. These results show that LDPC codes very generally define stable gapped quantum phases, even in the non-Euclidean setting, initiating a systematic study of such phases of matter.
An important class of models studied in quantum statistical mechanics consists of frustration-free interactions whose Hamiltonians exhibit a gap in the spectrum above their ground state energies. This paper discusses recent techniques which dramatically extend the class of models to which stability applies when the perturbations exhibit stretched exponential decay at long distances. We consider a class of initial models satisfying an assumption that prevents splitting of the ground state space. This assumption on the structure on the ground state space is referred to as local topological quantum order. A key tool in our analysis is the quasi-local unitary spectral flow automorphism which allows us to decompose the perturbed Hamiltonian into a perturbation model satisfying a relative form bound. We will present a result for the stability of frustration-free, one-dimensional models of this type in the form of an estimate uniform in the system size. We also present additional conditions ensuring the existence of a pure perturbed ground state whose GNS Hamiltonian remains gapped. As an application, we evaluate the stability of the Heisenberg XXZ spin-1/2 chain. Our work shows a new result on the stability of the XXZ model for perturbations respecting a local gauge symmetry and the stability above the translation invariant ground states in the thermodynamic limit. We also discuss challenges to additional conjectured stability results for the XXZ model.
The modular commutator provides a bulk, local, single-wave-function probe of the chiral central charge c− for gapped ground states. Its invariance under deformations was previously established under a local quantum Markov condition---namely, the conditional mutual information I(A:C∣B) is zero for all tripartitions of a disk into three consecutive strips A, B, and C \cite{Modular-commutator-Gapped}. However, the local quantum Markov condition also forces the probe to vanish, leaving open whether modular commutator remains robust in physically relevant states where the Markov property holds only approximately. In this paper, we resolve this tension for finite-dimensional Hilbert spaces: the approximate local quantum Markov property implies the change of the modular commutator under topology-preserving deformations vanishes asymptotically. We next prove trace-norm continuity of the modular commutator. Combining deformation invariance with trace-norm continuity, we establish that the modular commutator remains asymptotically invariant within gapped quantum phases connected by quasi-local unitary paths that preserve the approximate local quantum Markov condition. Conversely, by analyzing finite-time dynamics generated by modular Hamiltonians, we derive a quantitative lower bound on the conditional mutual information required for a non-zero modular commutator: I(A:C∣B) across such strip tripartitions cannot decay faster than exponentially with the width of B given that the state satisfies entanglement area law, extending the exact no-go theorem of \cite{strict-J-2024} to a quantitative finite bound . Finally, we demonstrate that those conclusions apply equally to the Hall conductance estimator \cite{FanSahayVishwanath2023}.
Symmetry algebras of quantum many-body systems with locality can be understood using commutant algebras, which are defined as algebras of operators that commute with a given set of local operators. In this work, we show that these symmetry algebras can be expressed as frustration-free ground states of a local superoperator, which we refer to as a “super-Hamiltonian.” We demonstrate this for conventional symmetries such as Z 2 , U ( 1 ) , and S U ( 2 ) , where the symmetry algebras map to various kinds of ferromagnetic ground states, as well as for unconventional ones that lead to weak ergodicity-breaking phenomena of Hilbert-space fragmentation (HSF) and quantum many-body scars. In addition, we show that the low-energy excitations of this super-Hamiltonian can be understood as approximate symmetries, which in turn are related to slowly relaxing hydrodynamic modes in symmetric systems. This connection is made precise by relating the super-Hamiltonian to the superoperator that governs the operator relaxation in noisy symmetric Brownian circuits and this physical interpretation also provides a novel interpretation for Mazur bounds for autocorrelation functions. We find examples of gapped (gapless) super-Hamiltonians indicating the absence (presence) of slow modes, which happens in the presence of discrete (continuous) symmetries. In the gapless cases, we recover hydrodynamic modes such as diffusion, tracer diffusion, and asymptotic scars in the presence of U ( 1 ) symmetry, HSF, and a tower of quantum scars, respectively. In all, this demonstrates the power of the commutant-algebra framework in obtaining a comprehensive understanding of exact symmetries and associated approximate symmetries and hydrodynamic modes, and their dynamical consequences in systems with locality. Published by the American Physical Society 2024