Abstract:Reviews in Mathematical Physics, Ahead of Print. In this paper, we present a homotopical framework for studying invertible gapped phases of matter from the point of view of infinite spin lattice systems, using the framework of algebraic quantum mechanics. We define the notion of quantum state types. These are certain lax-monoidal functors from the category of finite-dimensional Hilbert spaces to the category of topological spaces. The universal example takes a finite-dimensional Hilbert space [math] to the pure state space of the quasi-local algebra of the quantum spin system with Hilbert space [math] at each site of a specified lattice. The lax-monoidal structure encodes the tensor product of states, which corresponds to stacking for quantum systems. We then explain how to formally extract parametrized phases of matter from quantum state types, and how they naturally give rise to [math]-spaces for an operad we call the "multiplicative" linear isometry operad. We define the notion of invertible quantum state types and explain how the passage to phases for these is related to group completion. We also explain how invertible quantum state types give rise to loop-spectra. Our motivation is to provide a framework for constructing Kitaev's loop-spectrum of bosonic invertible gapped phases of matter. Finally, as a first step toward understanding the homotopy types of the loop-spectra associated to invertible quantum state types, we prove that the pure state space of any UHF algebra is simply connected.

Quantum interpretation of lattice paths

Infinite Permutation Groups and the Origin of Quantum Mechanics

A deformation of quantum mechanics

Spreading Estimates for Quantum Walks on the Integer Lattice via Power-Law Bounds on Transfer Matrices

A Lagrangian path integral approach to the qubit

Quantum position operator: why space-time lattice is fuzzy

Continuous-Time Quantum Walks On Nonorientable Surfaces: Analytical Solutions For Mobius Strips And Klein Bottles

Quantum Time Travel Revisited: Noncommutative Möbius Transformations and Time Loops

Probabilistic Representation of Commutative Quantum Circuit Models

Quantum coordinate operators: why space-time lattice is fuzzy

Quantum return probability of a system of $N$ non-interacting lattice fermions

Polyander visualization of quantum walks

Optimization for the propagation of a multiparticle quantum walk in a one-dimensional lattice

Analytic Combinatorics of Planar Lattice Paths

Homotopical foundations of parametrized quantum spin systems

Quantum walks, the discrete wave equation and Chebyshev polynomials

Quantum geodesic flow on the integer lattice line

Two component quantum walk in one-dimensional lattice with hopping imbalance

Quantum graphs: different perspectives, homomorphisms and quantum automorphisms

Gauged permutation invariant matrix quantum mechanics: Path Integrals