Related papers: De-linearizing Linearity: Projective Quantum Axiom…
Constructing a classical mechanical system associated with a given quantum mechanical one, entails construction of a classical phase space and a corresponding Hamiltonian function from the available quantum structures and a notion of…
We construct a realizability model of linear dependent type theory from a linear combinatory algebra. Our model motivates a number of additions to the type theory. In particular, we add a universe with two decoding operations: one takes…
Consider a rational map from a projective space to a product of projective spaces, induced by a collection of linear projections. Motivated by the the theory of limit linear series and Abel-Jacobi maps, we study the basic properties of the…
An understanding of quantum theory in terms of new, underlying descriptions capable of explaining the existence of non-classical correlations, non-commutativity of measurements and other unique and counter-intuitive phenomena remains still…
A quantum field theory is described which is a supersymmetric classical model. -- Supersymmetry generators of the system are used to split its Liouville operator into two contributions, with positive and negative spectrum, respectively. The…
Quantum deformations of sets of points of the real and the complexified projective line are constructed. These deformations depend on the deformation parameter q and certain further parameters \lambda_{ij}. The deformations for which the…
We give a differential geometric construction of a connection in the bundle of quantum Hilbert spaces arising from half-form corrected geometric quantization of a prequantizable, symplectic manifold, endowed with a rigid, family of K\"ahler…
We consider principal fibre bundles with a given connection and construct almost complex structures on the total space if the adjoint bundle is isomorphic to the tangent bundle of the base. We derive the integrability condition. If the…
Despite its enormous empirical success, the formalism of quantum theory still raises fundamental questions: why is nature described in terms of complex Hilbert spaces, and what modifications of it could we reasonably expect to find in some…
The multiplicative fragment of Linear Logic is the formal system in this family with the best understood proof theory, and the categorical models which best capture this theory are the fully complete ones. We demonstrate how the Hyland-Tan…
We introduce a hierarchy of linear systems for showing that a given subspace of pure quantum states is entangled (i.e., contains no product states). This hierarchy outperforms known methods already at the first level, and it is complete in…
Many basis sets for electronic structure calculations evolve with varying external parameters, such as moving atoms in dynamic simulations, giving rise to extra derivative terms in the dynamical equations. Here we revisit these derivatives…
We offer a systematic account of decomposition of quantum systems into parts. Different decompositions (structures) are mutually linked via the proper linear canonical transformations. Different kinds of structures, as well as their…
Finite-dimensional Quantum Mechanics can be geometrically formulated as a proper classical-like Hamiltonian theory in a projective Hilbert space. The description of composite quantum systems within the geometric Hamiltonian framework is…
An arbitrary linear relation (multivalued operator) acting from one Hilbert space to another Hilbert space is shown to be the sum of a closable operator and a singular relation whose closure is the Cartesian product of closed subspaces.…
The nature of the classical canonical phase-space variables for gravity suggests that the associated quantum field operators should obey affine commutation relations rather than canonical commutation relations. Prior to the introduction of…
A linear operator on a Hilbert space $\mathbb{H}$, in the classical approach of von Neumann, must be symmetric to guarantee self-adjointness. However, it can be shown that the symmetry could be ommited by using a criterion for the graph of…
We explicitly construct an Archimedean order unit space whose state space is affinely isomorphic to the set of quantum commuting correlations. Our construction only requires fundamental techniques from the theory of order unit spaces and…
We show that hyperplane sections of strongly formal manifolds inherit strong formality. In particular, this property holds for generalized complete intersections defined by positive line bundles with trivial first de Rham cohomology group.…
We derive upper bounds for Hilbert-Schmidt's quantum coherence of general states of a $d$-level quantum system, a qudit, in terms of its incoherent uncertainty, with the latter quantified using the linear and von Neumann's entropies of the…