Related papers: Negations and Meets in Topos Quantum Theory
A previous study of diatomic molecules revealed that variational second-order density matrix theory has serious problems in the dissociation limit when the N-representability is imposed at the level of the usual two-index (P, Q, G) or even…
The congruence lattices of all algebras defined on a fixed finite set $A$ ordered by inclusion form a finite atomistic lattice $\mathcal E$. We describe the atoms and coatoms. Each meet-irreducible element of $\mathcal E$ being determined…
The stability of demixing phase transition in binary mixtures of hard plates (with thickness L and diameter D) and hard spheres (with diameter $\sigma$) is studied by means of Parsons-Lee theory. The isotropic-isotropic demixing, which is…
In optical lattices where each site is occupied in its lowest energy state by a superposition of zero, one and two atoms, one can in a controllable manner convert the atomic pair into a molecule while retaining the vacuum and one-atom…
The main purpose of this article is to develop an explicit derived deformation theory of algebraic structures at a high level of generality, encompassing in a common framework various kinds of algebras (associative, commutative, Poisson...)…
Faithful representations of regular $\ast$-rings and modular complemented lattices with involution within orthosymmetric sesquilinear spaces are studied within the framework of Universal Algebra. In particular, the correspondence between…
We study a family of non-Abelian topological models in a lattice that arise by modifying the Kitaev model through the introduction of single-qudit terms. The effect of these terms amounts to a reduction of the discrete gauge symmetry with…
The problem of the orientational ordering transition for lattice-gas models of liquid crystals is discussed in the low-dimensional case $d=1,2$. For isotropic short-range interactions, orientational long-range order at finite temperature is…
Let $R$ be an algebra over a ring $\Bbbk$, $T$ an $R$-algebra, $M$ a finitely generated projective $R$-module, and $N$ a $T$-module. Let $G$ be a linearly reductive group scheme over $\Bbbk$ equipped with a representation…
The distribution of the deformations of elementary cells is studied in an abstract lattice constructed from the existence of the empty set. One combination rule determining oriented sequences with continuity of set-distance function in such…
We study the partition function of both Close-Packed Dimers and the Critical Ising Model on a square lattice embedded on a genus two surface. Using numerical and analytical methods we show that the determinants of the Kasteleyn adjacency…
Aligning self-propelled particles undergo a nonequilibrium flocking transition from apolar to polar phases as their interactions become stronger. We propose a thermodynamically consistent lattice model, in which the internal state of the…
The fields of entanglement theory and tensor networks have recently emerged as central tools for characterising quantum phases of matter. In this article, we determine the entanglement structure of ground states of gapped symmetric quantum…
Entanglement entropy, taken here to be geometric, requires a geometrically separable Hilbert space. In lattice gauge theories, it is not immediately clear if the physical Hilbert space is geometrically separable. In a previous paper we have…
We introduce a construction called realisation which transforms posets into posets. We show that realisations share several key features with upper semilattices. For example, we define local dimensions of points in a poset and show that…
The adiabatic theorem states that when the time evolution of the Hamiltonian is "infinitely slow", a system, when started in the ground state, remains in the instantaneous ground state at all times. This, however, does not mean that the…
We construct commuting transfer matrices for models describing the interaction between a single quantum spin and a single bosonic mode using the quantum inverse scattering framework. The transfer matrices are obtained from certain…
Effect algebras are a generalization of many structures which arise in quantum physics and in mathematical economics. We show that, in every modular Archimedean atomic lattice effect algebra $E$ that is not an orthomodular lattice there…
We exploit the reparametrization symmetry of a relativistic free particle to impose a gauge condition which upon quantization implies space-time noncommutativity. We show that there is an algebraic map from this gauge back to the standard…
What makes two computational systems equivalent? Topos theory answers with classifying toposes: a system's semantic content is encoded in the geometric theory it classifies, and two presentations are equivalent when their classifying…