-
Quantum phase transition between symmetry enriched topological phases in tensor-network states
Authors:
Lukas Haller,
Wen-Tao Xu,
Yu-Jie Liu,
Frank Pollmann
Abstract:
Quantum phase transitions between different topologically ordered phases exhibit rich structures and are generically challenging to study in microscopic lattice models. In this work, we propose a tensor-network solvable model that allows us to tune between different symmetry enriched topological (SET) phases. Concretely, we consider a decorated two-dimensional toric code model for which the ground…
▽ More
Quantum phase transitions between different topologically ordered phases exhibit rich structures and are generically challenging to study in microscopic lattice models. In this work, we propose a tensor-network solvable model that allows us to tune between different symmetry enriched topological (SET) phases. Concretely, we consider a decorated two-dimensional toric code model for which the ground state can be expressed as a two-dimensional tensor-network state with bond dimension $D=3$ and two tunable parameters. We find that the time-reversal (TR) symmetric system exhibits three distinct phases (i) an SET toric code phase in which anyons transform non-trivially under TR, (ii) a toric code phase in which TR does not fractionalize, and (iii) a topologically trivial phase that is adiabatically connected to a product state. We characterize the different phases using the topological entanglement entropy and a membrane order parameter that distinguishes the two SET phases. Along the phase boundary between the SET toric code phase and the toric code phase, the model has an enhanced $U(1)$ symmetry and the ground state is a quantum critical loop gas wavefunction whose squared norm is equivalent to the partition function of the classical $O(2)$ model. By duality transformations, this tensor-network solvable model can also be used to describe transitions between SET double-semion phases and between $\mathbb{Z}_2\times\mathbb{Z}_2^T$ symmetry protected topological phases in two dimensions.
△ Less
Submitted 4 September, 2023; v1 submitted 3 May, 2023;
originally announced May 2023.
-
On resilience of connectivity in the evolution of random graphs
Authors:
Luc Haller,
Miloš Trujić
Abstract:
In this note we establish a resilience version of the classical hitting time result of Bollobás and Thomason regarding connectivity. A graph $G$ is said to be $α$-resilient with respect to a monotone increasing graph property $\mathcal{P}$ if for every spanning subgraph $H \subseteq G$ satisfying $\mathrm{deg}_H(v) \leq α\cdot \mathrm{deg}_G(v)$ for all $v \in V(G)$, the graph $G - H$ still posses…
▽ More
In this note we establish a resilience version of the classical hitting time result of Bollobás and Thomason regarding connectivity. A graph $G$ is said to be $α$-resilient with respect to a monotone increasing graph property $\mathcal{P}$ if for every spanning subgraph $H \subseteq G$ satisfying $\mathrm{deg}_H(v) \leq α\cdot \mathrm{deg}_G(v)$ for all $v \in V(G)$, the graph $G - H$ still possesses $\mathcal{P}$. Let $\{G_i\}$ be the random graph process, that is a process where, starting with an empty graph on $n$ vertices $G_0$, in each step $i \geq 1$ an edge $e$ is chosen uniformly at random among the missing ones and added to the graph $G_{i - 1}$. We show that the random graph process is almost surely such that starting from $m \geq (\tfrac{1}{6} + o(1)) n \log n$, the largest connected component of $G_m$ is $(\tfrac{1}{2} - o(1))$-resilient with respect to connectivity. The result is optimal in the sense that the constants $1/6$ in the number of edges and $1/2$ in the resilience cannot be improved upon. We obtain similar results for $k$-connectivity.
△ Less
Submitted 29 April, 2019; v1 submitted 22 May, 2018;
originally announced May 2018.
-
Lifting CDCL to Template-based Abstract Domains for Program Verification
Authors:
Rajdeep Mukherjee,
Peter Schrammel,
Leopold Haller,
Daniel Kroening,
Tom Melham
Abstract:
The success of Conflict Driven Clause Learning (CDCL) for Boolean satisfiability has inspired adoption in other domains. We present a novel lifting of CDCL to program analysis called Abstract Conflict Driven Learning for Programs (ACDLP). ACDLP alternates between model search, which performs over-approximate deduction with constraint propagation, and conflict analysis, which performs under-approxi…
▽ More
The success of Conflict Driven Clause Learning (CDCL) for Boolean satisfiability has inspired adoption in other domains. We present a novel lifting of CDCL to program analysis called Abstract Conflict Driven Learning for Programs (ACDLP). ACDLP alternates between model search, which performs over-approximate deduction with constraint propagation, and conflict analysis, which performs under-approximate abduction with heuristic choice. We instantiate the model search and conflict analysis algorithms to an abstract domain of template polyhedra, strictly generalizing CDCL from the Boolean lattice to a richer lattice structure. Our template polyhedra can express intervals, octagons and restricted polyhedral constraints over program variables. We have imple- mented ACDLP for automatic bounded safety verification of C programs. We evaluate the performance of our analyser by comparing with CBMC, which uses CDCL, and Astree, a commercial abstract interpretation tool. We observe two orders of magnitude reduction in the number of decisions, propagations, and conflicts as well as a 1.5x speedup in runtime compared to CBMC. Compared to Astree, ACDLP solves twice as many benchmarks and has much higher precision. This is the first instantiation of CDCL with a template polyhedra abstract domain.
△ Less
Submitted 6 July, 2017;
originally announced July 2017.
-
Using probability and rules of interaction to simulate the spin relaxation in a MRI
Authors:
John L. Haller Jr
Abstract:
A computer code is written that simulates the relaxation back to thermal equilibrium of an ensemble of particles after a pi/2 pulse. Beginning with Bloch's equations the exponential relaxation behavior is discussed and the transition into a step by step process (from the continuous process) is made such that it is possible for the computer code to simulate the action. An analysis of Boltzmann's…
▽ More
A computer code is written that simulates the relaxation back to thermal equilibrium of an ensemble of particles after a pi/2 pulse. Beginning with Bloch's equations the exponential relaxation behavior is discussed and the transition into a step by step process (from the continuous process) is made such that it is possible for the computer code to simulate the action. An analysis of Boltzmann's factor is offered and serves as the link between the temperature of the ensemble and the parameter that is used to determine if a spin is in the up state or the down state. The specifics of the code are discussed and the spins are shown to follow the rules of interaction governed by the physical collisions that can take place. Lastly, graphs of the simulation are provided and a discussion of its usefulness is given.
△ Less
Submitted 18 November, 2005;
originally announced November 2005.
-
Information Mechanics
Authors:
John L. Haller Jr
Abstract:
A unifying theory is put forward that entropy is equal to action. The crowning derivation is based on information theoretic methods and uses our hypothesis that "particles move via the discrete Bernoulli Process." While this hypothesis matches special relativity for the mean value of a particle's location, the variance appears to open the possibility of new physics. Specifically, the variance is d…
▽ More
A unifying theory is put forward that entropy is equal to action. The crowning derivation is based on information theoretic methods and uses our hypothesis that "particles move via the discrete Bernoulli Process." While this hypothesis matches special relativity for the mean value of a particle's location, the variance appears to open the possibility of new physics. Specifically, the variance is dependent on the square of the particle's velocity and since no reference frame is given, we ask if this velocity is absolute and measurable. To answer this question, we conducted an experiment to measure the jitter on a clock and found a combined 26 sigma three-spike signal in the Fourier Transform of the jitter's magnitude. These spikes are predicted by the hypothesis since the laboratory's velocity fluctuates due to the Earth revolving and rotating as the solar system moves through the Universe. When analyzing the phase and magnitude, the data suggests the velocity of the laboratory is a validation of the Planck collaboration which measured the same velocity of Earth in the Cosmic Microwave Background reference frame. Lastly, a second experiment is underway to ratify these findings.
△ Less
Submitted 11 September, 2022; v1 submitted 25 June, 2001;
originally announced June 2001.
-
The Entropy Rate of Thermal Diffusion
Authors:
John L. Haller Jr
Abstract:
The thermal diffusion of a free particle is a random process and generates entropy at a rate equal to twice the particle temperature in natural units of information per second. The rate is calculated using a Gaussian process with a variance as a combination of quantum and classical diffusion. The solution to the diffusion of a free particle is derived from the equation for kinetic energy and its a…
▽ More
The thermal diffusion of a free particle is a random process and generates entropy at a rate equal to twice the particle temperature in natural units of information per second. The rate is calculated using a Gaussian process with a variance as a combination of quantum and classical diffusion. The solution to the diffusion of a free particle is derived from the equation for kinetic energy and its associated imaginary diffusion constant and a real diffusion constant representing classical diffusion. We find the entropy of the initial state is one natural unit, which is the same amount of entropy the process generates after the de-coherence time, hbar over twice the temperature.
△ Less
Submitted 19 September, 2013; v1 submitted 25 June, 2001;
originally announced June 2001.
