Related papers: Orthocomplemented subspaces and partial projection…

Motivated by the Hilbert-space model for quantum mechanics, we define a pre-Hilbert space logic to be a pair $(S,\el)$, where $S$ is a pre-Hilbert space and $\el$ is an orthocomplemented poset of orthogonally closed linear subspaces of $S$,…

Similarity-Projection structures abstract the numerical properties of real scalar product of rays and projections in Hilbert spaces to provide a more general framework for Quantum Physics. They are characterized by properties that possess…

We consider the standard quantum logic ${\mathcal L}(H)$ associated to a complex Hilbert space $H$, i.e. the lattice of closed subspaces of $H$ together with the orthogonal complementation. The orthogonality and compatibility relations are…

If $\H$ is a Hilbert space, $A$ is a positive bounded linear operator on $\cH$ and $\cS$ is a closed subspace of $\cH$, the relative position between $\cS$ and $A^{-1}(\cS \orto)$ establishes a notion of compatibility. We show that the…

The fundamental axioms of the quantum theory do not explicitly identify the algebraic structure of the linear space for which orthogonal subspaces correspond to the propositions (equivalence classes of physical questions). The projective…

This paper presents a substructural logic of sequents with very restricted exchange and weakening rules. It is sound with respect to sequences of measurements of a quantic system. A sound and complete semantics is provided. The semantic…

In this short article we show an orthogonal decomposition of a Hilbert space as a sum of null solutions of the first derivative and the first derivative of a traceless higher order Hilbert/Sobolev space. We define orthogonal projections and…

Let $\mathcal{H}$ be a (separable) Hilbert space and $\{e_k\}_{k\geq 1}$ a fixed orthonormal basis of $\mathcal{H}$. Motivated by many papers on scaled projections, angles of subspaces and oblique projections, we define and study the notion…

We study the relationship between operators, orthonormal basis of subspaces and frames of subspaces (also called fusion frames) for a separable Hilbert space $\mathcal{H}$. We get sufficient conditions on an orthonormal basis of subspaces…

An orthoset (also called an orthogonality space) is a set $X$ equipped with a symmetric and irreflexive binary relation $\perp$, called the orthogonality relation. In quantum physics, orthosets play a central role. In fact, a Hilbert space…

It is known that complementary oblique projections $\hat{P}_0 + \hat{P}_1 = I$ on a Hilbert space $\mathscr{H}$ have the same standard operator norm $\|\hat{P}_0\| = \|\hat{P}_1\|$ and the same singular values, but for the multiplicity of…

We obtain a general concept of triplet of Hilbert spaces with closed (unbounded) embeddings instead of continuous (bounded) ones. The construction starts with a positive selfadjoint operator $H$, that is called the Hamiltonian of the…

The failure of distributivity in quantum logic is motivated by the principle of quantum superposition. However, this principle can be encoded differently, i.e., in different logico-algebraic objects. As a result, the logic of experimental…

A class of ordered relational topological spaces is described, which we call orthomodular spaces. Our construction of these spaces involves adding a topology to the class of orthomodular frames introduced by Hartonas, along the lines of…

P-algebras are a non-commutative, non-associative generalization of Boolean algebras that are for quantum logic what Boolean algebras are for classical logic. P-algebras have type <X, 0, ', .> where 0 is a constant, ' is unary and . is…

The concepts of independence and totalness of subspaces are introduced in the context of quasi-probability distributions in phase space, for quantum systems with finite-dimensional Hilbert space. It is shown that due to the…

Let H_1 and H_2 be complex Hilbert spaces, L_1=P(H_1) and L_2=P(H_2) the lattices of closed subspaces, and let L be a complete atomistic lattice. We prove under some weak assumptions relating L_i and L, that if L admits an…

Coherent subspaces spanned by a finite number of coherent states are introduced, in a quantum system with Hilbert space that has odd prime dimension $d$. The set of all coherent subspaces is partitioned into equivalence classes, with $d^2$…

An orthoset is a set equipped with a symmetric, irreflexive binary relation. With any (anisotropic) Hermitian space $H$, we may associate the orthoset $(P(H),\perp)$, consisting of the set of one-dimensional subspaces of $H$ and the usual…

Since the pioneering work of Birkhoff and von Neumann, quantum logic has been interpreted as the logic of (closed) subspaces of a Hilbert space. There is a progression from the usual Boolean logic of subsets to the "quantum logic" of…