Related papers: State BCK-algebras and State-Morphism BCK-algebras
We propose two new dependent type systems. The first, is a dependent graded/linear type system where a graded dependent type system is connected via modal operators to a linear type system in the style of Linear/Non-linear logic. We then…
In this paper, we shed light on relations between three concepts studied in representations theory, algebraic geometry and quantum information theory. First - spherical actions of reductive groups on projective spaces. Second - secant…
We introduce a proof language for Intuitionistic Multiplicative Additive Linear Logic (IMALL), extended with a modality B to capture mixed-state quantum computation. The language supports algebraic constructs such as linear combinations,…
In this paper we present the two-state vector formalism of quantum mechanics. It is a time-symmetrized approach to standard quantum theory particularly helpful for the analysis of experiments performed on pre- and post-selected ensembles.…
We introduce the concept of algebra eigenstates which are defined for an arbitrary Lie group as eigenstates of elements of the corresponding complex Lie algebra. We show that this concept unifies different definitions of coherent states…
In [J. Math. Phys. 51 (2010) 022104] a self-adjoint operator was introduced that has the property that it indicates the direction of time within the framework of standard quantum mechanics, in the sense that as a function of time its…
New algebraic structure on electronic Fock space is studied in detail. This structure is defined in terms of a certain multiplication of many electron wave functions and has close interrelation with coupled cluster and similar approaches.…
The unambiguous detection and quantification of entanglement is a hot topic of scientific research, though it is limited to low dimensions or specific classes of states. Here we identify an additional class of quantum states, for which…
We want to relate the concepts of entropy and pressure to that of KMS states for $C^*$-Algebras. Several different definitions of entropy are known in our days. The one we describe here is quite natural and extends the usual one for…
Many behavioural equivalences or preorders for probabilistic processes involve a lifting operation that turns a relation on states into a relation on distributions of states. We show that several existing proposals for lifting relations can…
A unified conceptual foundation of classical and quantum physics is given, free of undefined terms. Ensembles are defined by extending the `probability via expectation' approach of Whittle to noncommuting quantities. This approach carries…
Coalgebras for analytic functors uniformly model graph-like systems where the successors of a state may admit certain symmetries. Examples of successor structure include ordered tuples, cyclic lists and multisets. Motivated by goals in…
Quantum entanglement and nonlocality are inequivalent notions: There exist entangled states that nevertheless admit local-realistic interpretations. This paper studies a special class of local-hidden-variable theories, in which the linear…
The unital endomorphisms of B(H) of (Powers) index n are classified by certain U(n)-orbits in the set of non-degenerate representations of the Cuntz algebra O_n on H. Using this, the corre- sponding conjugacy classes are identified, and a…
With any state of a multipartite quantum system its separability polytope is associated. This is an algebro-topological object (non-trivial only for mixed states) which captures the localisation of entanglement of the state. Particular…
A pure quantum state of N subsystems with d levels each is called k-multipartite maximally entangled state, written k-uniform, if all its reductions to k qudits are maximally mixed. These states form a natural generalization of N-qudits GHZ…
We study self-adjoint operators defined by factorizing second order differential operators in first order ones. We discuss examples where such factorizations introduce singular interactions into simple quantum mechanical models like the…
A shape invariant nonseparable and nondiagonalizable three-dimensional model with quadratic complex interaction was introduced by Bardavelidze, Cannata, Ioffe, and Nishnianidze. However, the complete hidden symmetry algebra and the…
In previous work "Betweenness algebras" we introduced and examined the class of betweenness algebras. In the current paper we study a larger class of algebras with binary operators of possibility and sufficiency, the weak mixed algebras.…
We undertake a study of the notion of a quantum graph over arbitrary finite-dimensional $C^*$-algebras $B$ equipped with arbitrary faithful states. Quantum graphs are realised principally as either certain operators on $L^2(B)$, the quantum…