Related papers: Categories of quantum liquids I
In this work we propose an effective low-energy theory for a large class of 2+1 dimensional non-Abelian topological spin liquids whose edge states are conformal degrees of freedom with central charges corresponding to the coset structure…
Gapless fracton quantum spin liquids are exotic phases of matter described by higher-rank U(1) gauge theories which host gapped and immobile fracton matter excitations as well as gapless photons. Despite well-known field theories, no spin…
We review the condensation completion of a modular tensor category $\mathcal{C}$, which yields a fusion 2-category $\Sigma\mathcal{C}$ of separable algebras, bimodules over algebras and bimodule maps in $\mathcal{C}$. Physically,…
Quantum-chemical processes in liquid environments impact broad areas of science, from molecular biology to geology to electrochemistry. While density-functional theory (DFT) has enabled efficient quantum-mechanical calculations which…
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the dynamics of such a system, the updates of that system…
We construct a lattice model of topological order (kagome quantum spin liquids) and solve it with unbiased quantum Monte Carlo simulations. A three-stage anyon condensation with two transitions from a $\mathbb Z_2\boxtimes\mathbb Z_2$…
In the tradition of toy models of quantum mechanics in vector spaces over finite fields (e.g., Schumacher and Westmoreland's "modal quantum theory"), one finite field stands out, 2, since vectors over 2 have an interpretation as natural…
Although liquid water is ubiquitous in chemical reactions at roots of life and climate on the earth, the prediction of its properties by high-level ab initio molecular dynamics simulations still represents a formidable task for quantum…
Although quantum circuits have been ubiquitous for decades in quantum computing, the first complete equational theory for quantum circuits has only recently been introduced. Completeness guarantees that any true equation on quantum circuits…
In this thesis, the properties of mixtures of Bose-Einstein condensates at $T = 0$ have been investigated using quantum Monte Carlo (QMC) methods and Density Functional Theory (DFT) with the aim of understanding physics beyond the…
Topological quantum computing is a way of allowing precise quantum computations to run on noisy and imperfect hardware. One implementation uses surface codes created by forming defects in a highly-entangled cluster state. Such a method of…
This paper presents an equational theory for the QRAM model of quantum computation, formulated as an embedded language inside of homotopy type theory. The embedded language approach is highly expressive, and reflects the style of…
We construct bulk-deformed orbifold Hamiltonian Floer theory for a global quotient orbifold, that is the quotient of a smooth closed symplectic manifold by a finite group acting faithfully via symplectomorphisms. The moduli spaces define an…
Interest in combinatorial interpretations of mathematical entities stems from the convenience of the concrete models they provide. Finding a bijective proof of a seemingly obscure identity can reveal unsuspected significance to it. Finding…
Physical systems made of many interacting quantum particles can often be described by Euler hydrodynamic equations in the limit of long wavelengths and low frequencies. Recently such a classical hydrodynamic framework, now dubbed…
This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…
We develop a general theory of 3-dimensional ``orbifold completion'', to describe (generalised) orbifolds of topological quantum field theories as well as all their defects. Given a semistrict 3-category $\mathcal{T}$ with adjoints for all…
A formulation of quantum mechanics based on replacing the general unitary group by finite groups is considered. To solve problems arising in the context of this formulation, we use computer algebra and computational group theory methods.
Quantum physics is a linear theory, so it is somewhat puzzling that it can underlie very complex systems such as digital computers and life. This paper investigates how this is possible. Physically, such complex systems are necessarily…
From a simple analysis of particle orbits and fluid flows in presence or not of dissipation, some connections between apparently uncorrelated research areas are made. The main results point out for a deep relation between quantization of…