Related papers: Quantum logics close to Boolean algebras
In third paper of the series we construct a large family of representations of the quantum toroidal $\gl_1$ algebra whose bases are parameterized by plane partitions with various boundary conditions and restrictions. We study the…
For given quantum (non-commutative) spaces $\mathbb{P}$ and $\mathbb{O}$ we study the quantum space of maps $\mathbb{M}_{\mathbb{P},\mathbb{O}}$ from $\mathbb{P}$ to $\mathbb{O}$. In case of finite quantum spaces these objects turn out to…
Structures of quantum Fokker-Planck equations are characterized with respect to the properties of complete positivity, covariance under symmetry transformations and satisfaction of equipartition, referring to recent mathematical work on…
Systematic description of a spin one-half system endowed with magnetic moment or any other two-level system (qubit) interacting with the quantized electromagnetic field is developed. This description exploits a close analogy between a…
We classify the cosemisimple Hopf algebras whose corepresentation semi-ring is isomorphic to that of GL(2). This leads us to define a new family of Hopf algebras which generalize the quantum similitude group of a non-degenerate bilinear…
We introduce a new variant of dependence logic called Boolean dependence logic. In Boolean dependence logic dependence atoms are of the type =(x_1,...,x_n,\alpha), where \alpha is a Boolean variable. Intuitively, with Boolean dependence…
Infinite families of multi-indexed orthogonal polynomials are discovered as the solutions of exactly solvable one-dimensional quantum mechanical systems. The simplest examples, the one-indexed orthogonal polynomials, are the infinite…
The interplay of confinement and Coulomb interactions in quantum dots can lead to strongly correlated phases differing qualitatively from the Fermi liquid behavior. We explore how the presence of magnetic impurities in quantum dots can…
Linear-Optical Passive (LOP) devices and photon counters are sufficient to implement universal quantum computation with single photons, and particular schemes have already been proposed. In this paper we discuss the link between the…
Let $V$ be a finite-dimensional vector space over $\mathbb{F}_p$. We say that a multilinear form $\alpha \colon V^k \to \mathbb{F}_p$ in $k$ variables is $d$-approximately symmetric if the partition rank of difference $\alpha(x_1, \dots,…
Logical propositions with the fuzzy modality "Probably" are shown to obey an uncertainty principle very similar to that of Quantum Optics. In the case of such propositions, the partial truth values are in fact probabilities. The…
The word \textit{proposition} is used in physics with different meanings, which must be distinguished to avoid interpretational problems. We construct two languages $\mathcal{L}^{\ast}(x)$ and $\mathcal{L}(x)$ with classical set-theoretical…
Formalizations of quantum information theory in category theory and type theory, for the design of verifiable quantum programming languages, need to express its two fundamental characteristics: (1) parameterized linearity and (2) metricity.…
The aim of this paper is to suggest a new interpretation of quantum indeterminacy using the notion of polar duality from convex geometry. Our approach does not involve the usual variances and covariances, whose use to describe quantum…
In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of…
Any two infinite-dimensional (separable) Hilbert spaces are unitarily isomorphic. The sets of all their self-adjoint operators are also therefore unitarily equivalent. Thus if all self-adjoint operators can be observed, and if there is no…
The degrees of polynomials representing or approximating Boolean functions are a prominent tool in various branches of complexity theory. Sherstov recently characterized the minimal degree deg_{\eps}(f) among all polynomials (over the…
Although the study of ultracold quantum gases trapped by light is a prominent direction of modern research, the quantum properties of light were widely neglected in this field. Quantum optics with quantum gases closes this gap and addresses…
Quantum embedding theories are promising approaches to investigate strongly-correlated electronic states of active regions of large-scale molecular or condensed systems. Notable examples are spin defects in semiconductors and insulators. We…
A general procedure for construction of the formalism of quantum beam optics for any particle is reviewed. The quantum formalism of spin-1/2 particle beam optics is presented starting {\em ab initio} with the Dirac equation. As an example…