-
Many-body systems with spurious modular commutators
Authors:
Julian Gass,
Michael Levin
Abstract:
Recently, it was proposed that the chiral central charge of a gapped, two-dimensional quantum many-body system is proportional to a bulk ground state entanglement measure known as the modular commutator. While there is significant evidence to support this relation, we show in this paper that it is not universal. We give examples of lattice systems that have vanishing chiral central charge which ne…
▽ More
Recently, it was proposed that the chiral central charge of a gapped, two-dimensional quantum many-body system is proportional to a bulk ground state entanglement measure known as the modular commutator. While there is significant evidence to support this relation, we show in this paper that it is not universal. We give examples of lattice systems that have vanishing chiral central charge which nevertheless give nonzero "spurious" values for the modular commutator for arbitrarily large system sizes, in both one and two dimensions. Our examples are based on cluster states and utilize the fact that they can generate nonlocal modular Hamiltonians.
△ Less
Submitted 24 May, 2024;
originally announced May 2024.
-
Optimized General Uniform Quantum State Preparation
Authors:
Mark Ariel Levin
Abstract:
Quantum algorithms for unstructured search problems rely on the preparation of a uniform superposition, traditionally achieved through Hadamard gates. However, this incidentally creates an auxiliary search space consisting of nonsensical answers that do not belong in the search space and reduce the efficiency of the algorithm due to the need to neglect, un-compute, or destructively interfere with…
▽ More
Quantum algorithms for unstructured search problems rely on the preparation of a uniform superposition, traditionally achieved through Hadamard gates. However, this incidentally creates an auxiliary search space consisting of nonsensical answers that do not belong in the search space and reduce the efficiency of the algorithm due to the need to neglect, un-compute, or destructively interfere with them. Previous approaches to removing this auxiliary search space yielded large circuit depth and required the use of ancillary qubits. We have developed an optimized general solver for a circuit that prepares a uniform superposition of any N states while minimizing depth and without the use of ancillary qubits. We show that this algorithm is efficient, especially in its use of two wire gates, and that it has been verified on an IonQ quantum computer and through application to a quantum unstructured search algorithm.
△ Less
Submitted 30 November, 2023;
originally announced December 2023.
-
Control flow in active inference systems
Authors:
Chris Fields,
Filippo Fabrocini,
Karl Friston,
James F. Glazebrook,
Hananel Hazan,
Michael Levin,
Antonino Marciano
Abstract:
Living systems face both environmental complexity and limited access to free-energy resources. Survival under these conditions requires a control system that can activate, or deploy, available perception and action resources in a context specific way. We show here that when systems are described as executing active inference driven by the free-energy principle (and hence can be considered Bayesian…
▽ More
Living systems face both environmental complexity and limited access to free-energy resources. Survival under these conditions requires a control system that can activate, or deploy, available perception and action resources in a context specific way. We show here that when systems are described as executing active inference driven by the free-energy principle (and hence can be considered Bayesian prediction-error minimizers), their control flow systems can always be represented as tensor networks (TNs). We show how TNs as control systems can be implmented within the general framework of quantum topological neural networks, and discuss the implications of these results for modeling biological systems at multiple scales.
△ Less
Submitted 24 February, 2023;
originally announced March 2023.
-
Universal lower bound on topological entanglement entropy
Authors:
Isaac H. Kim,
Michael Levin,
Ting-Chun Lin,
Daniel Ranard,
Bowen Shi
Abstract:
Entanglement entropies of two-dimensional gapped ground states are expected to satisfy an area law, with a constant correction term known as the topological entanglement entropy (TEE). In many models, the TEE takes a universal value that characterizes the underlying topological phase. However, the TEE is not truly universal: it can differ even for two states related by constant-depth circuits, whi…
▽ More
Entanglement entropies of two-dimensional gapped ground states are expected to satisfy an area law, with a constant correction term known as the topological entanglement entropy (TEE). In many models, the TEE takes a universal value that characterizes the underlying topological phase. However, the TEE is not truly universal: it can differ even for two states related by constant-depth circuits, which are necessarily in the same phase. The difference between the TEE and the value predicted by the anyon theory is often called the spurious topological entanglement entropy. We show that this spurious contribution is always nonnegative, thus the value predicted by the anyon theory provides a universal lower bound. This observation also leads to a definition of TEE that is invariant under constant-depth quantum circuits.
△ Less
Submitted 31 October, 2023; v1 submitted 1 February, 2023;
originally announced February 2023.
-
Bulk-boundary correspondence for interacting Floquet systems in two dimensions
Authors:
Carolyn Zhang,
Michael Levin
Abstract:
We present a method for deriving bulk and edge invariants for interacting, many-body localized Floquet systems in two spatial dimensions. This method is based on a general mathematical object which we call a flow. As an application of our method, we derive bulk invariants for Floquet systems without symmetry, as well as for systems with $U(1)$ symmetry. We also derive new formulations of previousl…
▽ More
We present a method for deriving bulk and edge invariants for interacting, many-body localized Floquet systems in two spatial dimensions. This method is based on a general mathematical object which we call a flow. As an application of our method, we derive bulk invariants for Floquet systems without symmetry, as well as for systems with $U(1)$ symmetry. We also derive new formulations of previously known single-particle and many-body invariants. For bosonic systems without symmetry, our invariant gives a bulk counterpart of the rational-valued GNVW index $\frac{p}{q}$ quantifying transport of quantum information along the edge.
△ Less
Submitted 27 October, 2022; v1 submitted 8 September, 2022;
originally announced September 2022.
-
The Free Energy Principle drives neuromorphic development
Authors:
Chris Fields,
Karl Friston,
James F. Glazebrook,
Michael Levin,
Antonino Marcianò
Abstract:
We show how any system with morphological degrees of freedom and locally limited free energy will, under the constraints of the free energy principle, evolve toward a neuromorphic morphology that supports hierarchical computations in which each level of the hierarchy enacts a coarse-graining of its inputs, and dually a fine-graining of its outputs. Such hierarchies occur throughout biology, from t…
▽ More
We show how any system with morphological degrees of freedom and locally limited free energy will, under the constraints of the free energy principle, evolve toward a neuromorphic morphology that supports hierarchical computations in which each level of the hierarchy enacts a coarse-graining of its inputs, and dually a fine-graining of its outputs. Such hierarchies occur throughout biology, from the architectures of intracellular signal transduction pathways to the large-scale organization of perception and action cycles in the mammalian brain. Formally, the close formal connections between cone-cocone diagrams (CCCD) as models of quantum reference frames on the one hand, and between CCCDs and topological quantum field theories on the other, allow the representation of such computations in the fully-general quantum-computational framework of topological quantum neural networks.
△ Less
Submitted 20 July, 2022;
originally announced July 2022.
-
Neurons as hierarchies of quantum reference frames
Authors:
Chris Fields,
James F. Glazebrook,
Michael Levin
Abstract:
Conceptual and mathematical models of neurons have lagged behind empirical understanding for decades. Here we extend previous work in modeling biological systems with fully scale-independent quantum information-theoretic tools to develop a uniform, scalable representation of synapses, dendritic and axonal processes, neurons, and local networks of neurons. In this representation, hierarchies of qua…
▽ More
Conceptual and mathematical models of neurons have lagged behind empirical understanding for decades. Here we extend previous work in modeling biological systems with fully scale-independent quantum information-theoretic tools to develop a uniform, scalable representation of synapses, dendritic and axonal processes, neurons, and local networks of neurons. In this representation, hierarchies of quantum reference frames act as hierarchical active-inference systems. The resulting model enables specific predictions of correlations between synaptic activity, dendritic remodeling, and trophic reward. We summarize how the model may be generalized to nonneural cells and tissues in developmental and regenerative contexts.
△ Less
Submitted 3 January, 2022;
originally announced January 2022.
-
A free energy principle for generic quantum systems
Authors:
Chris Fields,
Karl Friston,
James F. Glazebrook,
Michael Levin
Abstract:
The Free Energy Principle (FEP) states that under suitable conditions of weak coupling, random dynamical systems with sufficient degrees of freedom will behave so as to minimize an upper bound, formalized as a variational free energy, on surprisal (a.k.a., self-information). This upper bound can be read as a Bayesian prediction error. Equivalently, its negative is a lower bound on Bayesian model e…
▽ More
The Free Energy Principle (FEP) states that under suitable conditions of weak coupling, random dynamical systems with sufficient degrees of freedom will behave so as to minimize an upper bound, formalized as a variational free energy, on surprisal (a.k.a., self-information). This upper bound can be read as a Bayesian prediction error. Equivalently, its negative is a lower bound on Bayesian model evidence (a.k.a., marginal likelihood). In short, certain random dynamical systems evince a kind of self-evidencing. Here, we reformulate the FEP in the formal setting of spacetime-background free, scale-free quantum information theory. We show how generic quantum systems can be regarded as observers, which with the standard freedom of choice assumption become agents capable of assigning semantics to observational outcomes. We show how such agents minimize Bayesian prediction error in environments characterized by uncertainty, insufficient learning, and quantum contextuality. We show that in its quantum-theoretic formulation, the FEP is asymptotically equivalent to the Principle of Unitarity. Based on these results, we suggest that biological systems employ quantum coherence as a computational resource and - implicitly - as a communication resource. We summarize a number of problems for future research, particularly involving the resources required for classical communication and for detecting and responding to quantum context switches.
△ Less
Submitted 30 December, 2021;
originally announced December 2021.
-
A simple approach to characterizing band topology in bosonic pairing Hamiltonians
Authors:
Gaurav Chaudhary,
Michael Levin,
Aashish A. Clerk
Abstract:
We revisit the problem of characterizing band topology in dynamically-stable quadratic bosonic Hamiltonians that do not conserve particle number. We show this problem can be rigorously addressed by a smooth and local adiabatic map** procedure to a particle number conserving Hamiltonian. In contrast to a generic fermionic pairing Hamiltonian, such a map** can always be constructed for bosons. O…
▽ More
We revisit the problem of characterizing band topology in dynamically-stable quadratic bosonic Hamiltonians that do not conserve particle number. We show this problem can be rigorously addressed by a smooth and local adiabatic map** procedure to a particle number conserving Hamiltonian. In contrast to a generic fermionic pairing Hamiltonian, such a map** can always be constructed for bosons. Our approach shows that particle non-conserving bosonic Hamiltonians can be classified using known approaches for fermionic models. It also provides a simple means for identifying and calculating appropriate topological invariants. We also explicitly study dynamically stable but non-positive definite Hamiltonians (as arise frequently in driven photonic systems). We show that in this case, each band gap is characterized by two distinct invariants.
△ Less
Submitted 22 June, 2021; v1 submitted 13 April, 2021;
originally announced April 2021.
-
Metabolic limits on classical information processing by biological cells
Authors:
Chris Fields,
Michael Levin
Abstract:
Biological information processing is generally assumed to be classical. Measured cellular energy budgets of both prokaryotes and eukaryotes, however, fall orders of magnitude short of the power required to maintain classical states of protein conformation and localization at the Å, fs scales predicted by single-molecule decoherence calculations and assumed by classical molecular dynamics models. W…
▽ More
Biological information processing is generally assumed to be classical. Measured cellular energy budgets of both prokaryotes and eukaryotes, however, fall orders of magnitude short of the power required to maintain classical states of protein conformation and localization at the Å, fs scales predicted by single-molecule decoherence calculations and assumed by classical molecular dynamics models. We suggest that decoherence is limited to the immediate surroundings of the cell membrane and of intercompartmental boundaries within the cell, and that bulk cellular biochemistry implements quantum information processing. Detection of Bell-inequality violations in responses to perturbation of recently-separated sister cells would provide a sensitive test of this prediction. If it is correct, modeling both intra- and intercellular communication requires quantum theory.
△ Less
Submitted 31 March, 2021;
originally announced March 2021.
-
Generalized string-net models: A thorough exposition
Authors:
Chien-Hung Lin,
Michael Levin,
Fiona J. Burnell
Abstract:
We describe how to construct generalized string-net models, a class of exactly solvable lattice models that realize a large family of 2D topologically ordered phases of matter. The ground states of these models can be thought of as superpositions of different "string-net configurations", where each string-net configuration is a trivalent graph with labeled edges, drawn in the $xy$ plane. What make…
▽ More
We describe how to construct generalized string-net models, a class of exactly solvable lattice models that realize a large family of 2D topologically ordered phases of matter. The ground states of these models can be thought of as superpositions of different "string-net configurations", where each string-net configuration is a trivalent graph with labeled edges, drawn in the $xy$ plane. What makes this construction more general than the original string-net construction is that, unlike the original construction, tetrahedral reflection symmetry is not assumed, nor is it assumed that the ground state wave function $Φ$ is "isotropic": i.e. in the generalized setup, two string-net configurations $X_1, X_2$ that can be continuously deformed into one another can have different ground state amplitudes, $Φ(X_1) \neq Φ(X_2)$. As a result, generalized string-net models can realize topological phases that are inaccessible to the original construction. In this paper, we provide a more detailed discussion of ground state wave functions, Hamiltonians, and minimal self-consistency conditions for generalized string-net models than what exists in the previous literature. We also show how to construct string operators that create anyon excitations in these models, and we show how to compute the braiding statistics of these excitations. Finally, we derive necessary and sufficient conditions for generalized string-net models to have isotropic ground state wave functions on the plane or the sphere -- a property that may be useful in some applications.
△ Less
Submitted 2 June, 2021; v1 submitted 28 December, 2020;
originally announced December 2020.
-
Classification of interacting Floquet phases with $U(1)$ symmetry in two dimensions
Authors:
Carolyn Zhang,
Michael Levin
Abstract:
We derive a complete classification of Floquet phases of interacting bosons and fermions with $U(1)$ symmetry in two spatial dimensions. According to our classification, there is a one-to-one correspondence between these Floquet phases and rational functions $π(z) = a(z)/b(z)$ where $a(z)$ and $b(z)$ are polynomials obeying certain conditions and $z$ is a formal parameter. The physical meaning of…
▽ More
We derive a complete classification of Floquet phases of interacting bosons and fermions with $U(1)$ symmetry in two spatial dimensions. According to our classification, there is a one-to-one correspondence between these Floquet phases and rational functions $π(z) = a(z)/b(z)$ where $a(z)$ and $b(z)$ are polynomials obeying certain conditions and $z$ is a formal parameter. The physical meaning of $π(z)$ involves the stroboscopic edge dynamics of the corresponding Floquet system: in the case of bosonic systems, $π(z) = \frac{p}{q} \cdot \tildeπ(z)$ where $\frac{p}{q}$ is a rational number which characterizes the flow of quantum information at the edge during each driving period, and $\tildeπ(z)$ is a rational function which characterizes the flow of $U(1)$ charge at the edge. A similar decomposition exists in the fermionic case. We also show that $\tildeπ(z)$ is directly related to the time-averaged $U(1)$ current that flows in a particular geometry. This $U(1)$ current is a generalization of the quantized current and quantized magnetization density found in previous studies of non-interacting fermionic Floquet phases.
△ Less
Submitted 5 October, 2020;
originally announced October 2020.
-
Constraints on order and disorder parameters in quantum spin chains
Authors:
Michael Levin
Abstract:
We derive general constraints on order and disorder parameters in Ising symmetric spin chains. Our main result is a theorem showing that every gapped, translationally invariant, Ising symmetric spin chain has either a nonzero order parameter or a nonzero disorder parameter. We also prove two more constraints on order and disorder parameters: (i) it is not possible for a gapped, Ising symmetric spi…
▽ More
We derive general constraints on order and disorder parameters in Ising symmetric spin chains. Our main result is a theorem showing that every gapped, translationally invariant, Ising symmetric spin chain has either a nonzero order parameter or a nonzero disorder parameter. We also prove two more constraints on order and disorder parameters: (i) it is not possible for a gapped, Ising symmetric spin chain to have both a nonzero order parameter and a nonzero disorder parameter; and (ii) it is not possible for a spin chain of this kind to have a nonzero disorder parameter that is odd under the symmetry. These constraints have an interesting implication for self-dual Ising symmetric spin chains: every self-dual spin chain is either gapless or has a degenerate ground state in the thermodynamic limit. All of these constraints generalize to spin chains without translational symmetry. Our proofs rely on previously known bounds on entanglement and correlations in one dimensional systems, as well as the Fuchs-van de Graaf inequality from quantum information theory.
△ Less
Submitted 23 October, 2020; v1 submitted 21 March, 2019;
originally announced March 2019.
-
Formalism for the solution of quadratic Hamiltonians with large cosine terms
Authors:
Sriram Ganeshan,
Michael Levin
Abstract:
We consider quantum Hamiltonians of the form $H = H_0 - U \sum_j \cos(C_j)$ where $H_0$ is a quadratic function of position and momentum variables $\{x_1, p_1, x_2, p_2,...\}$ and the $C_j$'s are linear in these variables. We allow $H_0$ and $C_j$ to be completely general with only two restrictions: we require that (1) the $C_j$'s are linearly independent and (2) $[C_j, C_k]$ is an integer multipl…
▽ More
We consider quantum Hamiltonians of the form $H = H_0 - U \sum_j \cos(C_j)$ where $H_0$ is a quadratic function of position and momentum variables $\{x_1, p_1, x_2, p_2,...\}$ and the $C_j$'s are linear in these variables. We allow $H_0$ and $C_j$ to be completely general with only two restrictions: we require that (1) the $C_j$'s are linearly independent and (2) $[C_j, C_k]$ is an integer multiple of $2πi$ for all $j,k$ so that the different cosine terms commute with one another. Our main result is a recipe for solving these Hamiltonians and obtaining their exact low energy spectrum in the limit $U \rightarrow \infty$. This recipe involves constructing creation and annihilation operators and is similar in spirit to the procedure for diagonalizing quadratic Hamiltonians. In addition to our exact solution in the infinite $U$ limit, we also discuss how to analyze these systems when $U$ is large but finite. Our results are relevant to a number of different physical systems, but one of the most natural applications is to understanding the effects of electron scattering on quantum Hall edge modes. To demonstrate this application, we use our formalism to solve a toy model for a fractional quantum spin Hall edge with different types of impurities.
△ Less
Submitted 9 February, 2016; v1 submitted 31 July, 2015;
originally announced July 2015.
-
The effect of interactions on 2D fermionic symmetry-protected topological phases with Z2 symmetry
Authors:
Zheng-Cheng Gu,
Michael Levin
Abstract:
We study the effect of interactions on 2D fermionic symmetry-protected topological (SPT) phases using the recently proposed braiding statistics approach. We focus on a simple class of examples: superconductors with a Z2 Ising symmetry. Although these systems are classified by Z in the noninteracting limit, our results suggest that the classification collapses to Z8 in the presence of interactions…
▽ More
We study the effect of interactions on 2D fermionic symmetry-protected topological (SPT) phases using the recently proposed braiding statistics approach. We focus on a simple class of examples: superconductors with a Z2 Ising symmetry. Although these systems are classified by Z in the noninteracting limit, our results suggest that the classification collapses to Z8 in the presence of interactions -- consistent with previous work that analyzed the stability of the edge. Specifically, we show that there are at least 8 different types of Ising superconductors that cannot be adiabatically connected to one another, even in the presence of strong interactions. In addition, we prove that each of the 7 nontrivial superconductors have protected edge modes.
△ Less
Submitted 16 April, 2013;
originally announced April 2013.
-
Casimir repulsion between metallic objects in vacuum
Authors:
Michael Levin,
Alexander P. McCauley,
Alejandro W. Rodriguez,
M. T. Homer Reid,
Steven G. Johnson
Abstract:
We give an example of a geometry in which two metallic objects in vacuum experience a repulsive Casimir force. The geometry consists of an elongated metal particle centered above a metal plate with a hole. We prove that this geometry has a repulsive regime using a symmetry argument and confirm it with numerical calculations for both perfect and realistic metals. The system does not support stable…
▽ More
We give an example of a geometry in which two metallic objects in vacuum experience a repulsive Casimir force. The geometry consists of an elongated metal particle centered above a metal plate with a hole. We prove that this geometry has a repulsive regime using a symmetry argument and confirm it with numerical calculations for both perfect and realistic metals. The system does not support stable levitation, as the particle is unstable to displacements away from the symmetry axis.
△ Less
Submitted 6 August, 2010; v1 submitted 17 March, 2010;
originally announced March 2010.
-
Tensor-entanglement renormalization group approach to 2D quantum systems
Authors:
Zheng-Cheng Gu,
Michael Levin,
Xiao-Gang Wen
Abstract:
Traditional mean-field theory is a simple generic approach for understanding various phases. But that approach only applies to symmetry breaking states with short-range entanglement. In this paper, we describe a generic approach for studying 2D quantum phases with long-range entanglement (such as topological phases). Our approach is a variational method that uses tensor product states (also know…
▽ More
Traditional mean-field theory is a simple generic approach for understanding various phases. But that approach only applies to symmetry breaking states with short-range entanglement. In this paper, we describe a generic approach for studying 2D quantum phases with long-range entanglement (such as topological phases). Our approach is a variational method that uses tensor product states (also known as projected entangled pair states) as trial wave functions. We use a 2D real space RG algorithm to evaluate expectation values in these wave functions. We demonstrate our algorithm by studying several simple 2D quantum spin models.
△ Less
Submitted 23 June, 2008;
originally announced June 2008.
-
On an additional realization of supersymmetry in orthopositronium lifetime anomalies
Authors:
B. M. Levin,
V. I. Sokolov
Abstract:
Expansion of Standard Model for the quantitative description of the orthopositronium lifetime anomalies (from QED to supersymmetric QED) allows to formulate experimental tests of supervision of additional realization of the supersymmetry in final state of the positron beta-decay of the nuclei such as Na-22, Ga-68. The expermentum crucis program is based on supervision of the orthopositronium "is…
▽ More
Expansion of Standard Model for the quantitative description of the orthopositronium lifetime anomalies (from QED to supersymmetric QED) allows to formulate experimental tests of supervision of additional realization of the supersymmetry in final state of the positron beta-decay of the nuclei such as Na-22, Ga-68. The expermentum crucis program is based on supervision of the orthopositronium "isotope anomaly", on the quantitative description of the "lifetime anomaly", and will allow to resolve the alternative as results of the last Michigan work (2003).
△ Less
Submitted 16 March, 2007; v1 submitted 7 February, 2007;
originally announced February 2007.
-
Tensor renormalization group approach to 2D classical lattice models
Authors:
Michael Levin,
Cody P. Nave
Abstract:
We describe a simple real space renormalization group technique for two dimensional classical lattice models. The approach is similar in spirit to block spin methods, but at the same time it is fundamentally based on the theory of quantum entanglement. In this sense, the technique can be thought of as a classical analogue of DMRG. We demonstrate the method - which we call the tensor renormalizat…
▽ More
We describe a simple real space renormalization group technique for two dimensional classical lattice models. The approach is similar in spirit to block spin methods, but at the same time it is fundamentally based on the theory of quantum entanglement. In this sense, the technique can be thought of as a classical analogue of DMRG. We demonstrate the method - which we call the tensor renormalization group method - by computing the magnetization of the triangular lattice Ising model.
△ Less
Submitted 29 December, 2008; v1 submitted 27 November, 2006;
originally announced November 2006.
-
Orthopositronium: "On the possible relation of gravity to electricity"
Authors:
B. A. Kotov,
B. M. Levin,
V. I. Sokolov
Abstract:
The resolve of the 'orthopositronium-lifetime puzzle' needs study of the "isotope anomaly" in gaseous neon and also of the contribution ~ 0.002 of nonperturbative mode into orthopositronium annihilation. The Michigan results (2003) are considered as the first supervision of relation between gravitation and electricity. For the decision of alternative in interpretation of new and former results i…
▽ More
The resolve of the 'orthopositronium-lifetime puzzle' needs study of the "isotope anomaly" in gaseous neon and also of the contribution ~ 0.002 of nonperturbative mode into orthopositronium annihilation. The Michigan results (2003) are considered as the first supervision of relation between gravitation and electricity. For the decision of alternative in interpretation of new and former results it is necessary to execute the program of additional measurements.
△ Less
Submitted 24 April, 2006;
originally announced April 2006.
-
Orthopositronium: Annihilation of positron in gaseous neon
Authors:
B. M. Levin
Abstract:
On the basis of phenomenological model of the orthopositronium annihilation "isotope anomaly" in gaseous neon (lifetime spectra, positrons source Na-22) the realistic estimation of an additinal mode ~0.2%) of the orthopositronium annihilation is received.
On the basis of phenomenological model of the orthopositronium annihilation "isotope anomaly" in gaseous neon (lifetime spectra, positrons source Na-22) the realistic estimation of an additinal mode ~0.2%) of the orthopositronium annihilation is received.
△ Less
Submitted 8 April, 2003; v1 submitted 27 March, 2003;
originally announced March 2003.
