Related papers: State BCK-algebras and State-Morphism BCK-algebras
A quite flourishing research thread in the recent literature on component-based systems is concerned with the algebraic properties of different classes of connectors. In a recent paper, an algebra of stateless connectors was presented that…
We define various type of states on implicative involutive BE algebras (Jauch-Piron state, (P)-state, (B)-state, subadditive state, valuation), and we investigate the relationships between these states. Moreover, we introduce the unital,…
We explicitly construct the adjoint operator of coboundary operator and obtain the Hodge decomposition theorem and the Poincar\'e duality for the Lie algebra cohomology of the infinite-dimensional gauge transformation group. We show that…
We propose the idea that in Bohmian mechanics the wavefunction is related to a density of states and explore some of its consequences. Specifically, it allows a maximum-entropy interpretation of quantum probabilities, which creates a…
We consider state-based systems modelled as coalgebras whose type incorporates branching, and show that by suitably adapting the definition of coalgebraic bisimulation, one obtains a general and uniform account of the linear-time behaviour…
We will give a new model for measurements of a quantum system such that the measuring apparatuses are described by a unital separable non-type I nuclear simple C$^*$-algebra equipped with certain unital endomorphisms and pure states. An…
We construct a model of type theory enjoying parametricity from an arbitrary one. A type in the new model is a semi-cubical type in the old one, illustrating the correspondence between parametricity and cubes. Our construction works not…
The construction of a class of unitary operators generating linear superpositions of generalized coherent states from the ground state of a quantum harmonic oscillator is reported. Such a construction, based on the properties of a new ad…
This paper presents State Algebra, a novel framework designed to represent and manipulate propositional logic using algebraic methods. The framework is structured as a hierarchy of three representations: Set, Coordinate, and Row…
We introduce the notion of eigenstate of an operator in an abstract C*-algebra, and prove several properties. Most significantly, if the operator is self-adjoint, then every element of its spectrum has a corresponding eigenstate.
We propose an algebraic construction of the operator-state correspondence in non-relativistic conformal field theories by explicitly constructing an automorphism of the Schr\"odinger algebra relating generators in different frames. It is…
We initiate a mathematically rigorous study of Klein-Gordon position operators in single-particle relativistic quantum mechanics. Although not self-adjoint, these operators have real spectrum and enjoy a limited form of spectral…
This paper provides a description of an algebraic setting for the Lagrangian formalism over graded algebras and is intended as the necessary first step towards the noncommutative C-spectral sequence (variational bicomplex). A noncommutative…
We introduce a two-sorted algebraic theory whose models are states of MV-algebras and, to within a categorical equivalence that extends Mundici's well-known one, states of Abelian lattice-groups with (strong order) unit. We discuss free…
We study different algebraic structures associated to an operad and their relations: to any operad $\mathbf{P}$ is attached a bialgebra,the monoid of characters of this bialgebra, the underlying pre-Lie algebra and its enveloping algebra;…
Coherent state theory is shown to reproduce three categories of representations of the spectrum generating algebra for an algebraic model: (i) classical realizations which are the starting point for geometric quantization; (ii) induced…
We introduce algebraic sets in the complex projective spaces for the mixed states in bipartite quantum systems as their invariants under local unitary operations. The algebraic sets of the mixed state have to be the union of the linear…
The class of weak BCK-algebras is obtained by weakening one of standard BCK axioms. It is known that every weak BCK-algebra is completely determined by the structure of its initial segments. We review several natural classes of commutative…
Given a state on an algebra of bounded quantum-mechanical observables (the self-adjoint part of a C*-algebra), we investigate those subalgebras that are maximal with respect to the property that the given state's restriction to the…
We consider the Hubbard model and its extensions on bipartite lattices. We define a dynamical group based on the $\eta$-pairing operators introduced by C.N.Yang, and define coherent pairing states, which are combinations of eigenfunctions…