Related papers: Negations and Meets in Topos Quantum Theory
We analyze a class of bottom-up holographic models for low energy thermo-electric transport. The models we focus on belong to a family of Einstein-Maxwell-dilaton theories parameterized by two scalar functions, characterizing the dilaton…
The relationship between Heyting algebras (HA) and semirings is explored. A new class of HAs called Symmetric Heyting algebras (SHAs) is proposed, and a necessary condition on SHAs to be consider semirings is given. We define a new…
The finite set of subsystems of a finite quantum system with variables in ${\mathbb Z}(n)$, is studied as a Heyting algebra. The physical meaning of the logical connectives is discussed. It is shown that disjunction of subsystems is more…
In their seminal paper Birkhoff and von Neumann revealed the following dilemma: "... whereas for logicians the orthocomplementation properties of negation were the ones least able to withstand a critical analysis, the study of mechanics…
Cold atoms, loaded into an optical lattice with double-well sites, are considered. Pseudospin representation for an effective Hamiltonian is derived. The system in equilibrium displays two phases, ordered and disordered. The second-order…
The space of deformations of the integer Heisenberg group under the action of $\textrm{Aut}(H(\mathbb{R}))$ is a homogeneous space for a non-reductive group. We analyze its structure as a measurable dynamical system and obtain mean and…
We show that classical DNA unzipping transition which is equivalently described by quantum mechanical localization-delocalization transition in the ground state of non-Hermitian single impurity Hatano-Nelson Hamiltonian is underpinned by…
In the framework of geometric quantization we extend the Bohr-Sommerfeld rules to a full quantization theory which resembles Heisenberg's matrix theory. This extension is possible because Bohr-Sommerfeld rules not only provide an orthogonal…
We regard the classification of rational homotopy types as a problem in algebraic deformation theory: any space with given cohomology is a perturbation, or deformation, of the "formal" space with that cohomology. The classifying space is…
Quasi-Hermitian quantum systems, including $\mathcal{PT}$-symmetric ones, can be mapped to equivalent Hermitian systems via a similarity transformation that redefines the inner product with a positive-definite metric operator. Although an…
This article gives an overview of some key categorical-algebraic properties of the variety of Heyting semilattices, with the aim of correcting a misconception in the literature. We confirm that the category of Heyting semilattices is not…
Any modality in homotopy type theory gives rise to an orthogonal factorization system of which the left class is stable under pullbacks. We show that there is a second orthogonal factorization system associated to any modality, of which the…
By decomposing the regular representation of a particular (Heisenberg-like) Lie supergroup into irreducible subspaces, we show that not all of them can be obtained by applying geometric quantization to coadjoint orbits with an even…
It is shown that inhomogeneous nonlinear interactions in a Bose-Einstein condensate loaded in an optical lattice can result in delocalizing transition in one dimension, what sharply contrasts to the known behavior of discrete and periodic…
We study the localization of bosonic atoms in an optical lattice, which interact in a spatially confined region. The classical theory predicts that there is no localization below a threshold value for the strength of interaction that is…
Our aim in this thesis is to use the language of deformation-quantization to understand certain quantized algebras by looking at properties of the corresponding commutative ones, and conversely to obtain results about the commutative…
The problem of the time of arrival of a quantum system in a specified state is considered in the framework of the repeated measurement protocol and in particular the limit of continuous measurements is discussed. It is shown that for a…
We consider a two-component asymmetric simple exclusion process (ASEP) on a finite lattice with reflecting boundary conditions. For this process, which is equivalent to the ASEP with second-class particles, we construct the representation…
The notion of duality -- that a given physical system can have two different mathematical descriptions -- is a key idea in modern theoretical physics. Establishing a duality in lattice statistical mechanics models requires the construction…
In this paper, we introduce a new variety of Heyting algebras with two unary modal operators that are not interdefinable but satisfy the weakest condition necessary to define modal operators on Nelson lattices. To achieve this, we utilize…