Related papers: Effect algebras with the maximality property
We consider the functor C that to a unital C*-algebra A assigns the partial order set C(A) of its commutative C*-subalgebras ordered by inclusion. We investigate how some C*-algebraic properties translate under the action of C to…
Considering Schur positivity of differences of plethysms of homogeneous symmetric functions, we introduce a new relation on integer partitions. This relation is conjectured to be a partial order, with its restriction to one part partitions…
We consider a school choice matching model where the priorities for schools are represented by binary relations that may not be weak order. We focus on the (total order) extensions of the binary relations. We introduce a class of algorithms…
Homological algebra of modules over posets is developed, as closely parallel as possible to that of finitely generated modules over noetherian commutative rings, in the direction of finite presentations and resolutions. Centrally at issue…
We introduce the notion of order projections using the order unit property of a positive element in an order unit space and characterize them in terms of (geometric) orthogonality. We describe order projections of the order unit space…
We give a necessary and sufficient condition for that the support $\tau$-tilting poset of a finite dimensional algebra is isomorphic to the poset of symmetric group with weak order. Moreover we show that there are infinitely many finite…
We show that a partition of the unity (or POVM) on a Hilbert space that is almost orthogonal is close to an orthogonal POVM in the same von Neumann algebra. This generalizes to infinite dimension previous results in matrix algebras by…
We present a mathematical framework for quantum mechanics in which the basic entities and operations have physical significance. In this framework the primitive concepts are states and effects and the resulting mathematical structure is a…
The geometric form of Hilbert's Nullstellensatz may be understood as a property of "geometric saturation" in algebraically closed fields. We conceptualise this property in the language of first order logic, following previous approaches and…
Recently Flaminio and Montagna, \cite{FlMo}, extended the language of MV-algebras by adding a unary operation, called a state-operator. This notion is introduced here also for effect algebras. Having it, we generalize the Loomis--Sikorski…
Recently a new kind of approximation to continuum topological spaces has been introduced, the approximating spaces being partially ordered sets (posets) with a finite or at most a countable number of points. The partial order endows a poset…
It is elementary and well-known that if an element x of a bounded modular lattice L has a complement in L then x has a relative complement in every interval [a,b] containing x. We show that the relatively strong assumption of modularity of…
The real unit interval is the fundamental building block for many branches of mathematics like probability theory, measure theory, convex sets and homotopy theory. However, a priori the unit interval could be considered an arbitrary choice…
We generalize some aspects of the theory of compact projections relative to a C*-algebra, to the setting of more general algebras. Our main result is that compact projections are the decreasing limits of `peak projections', and in the…
This paper is a continuation of our work on the functional-analytic core of the classical Furstenberg-Zimmer theory. We introduce and study (in the framework of lattice-ordered spaces) the notions of total order-boundedness and uniform…
Detecting nonclassical properties that do not allow classical interpretation of photoelectric counting events is one of the crucial themes in quantum optics. Observation of individual nonclassical effects for a single-mode field, however,…
Sequential measurements of non-commuting observables produce order effects that are well-known in quantum physics. But their conceptual basis, a significant measurement interaction, is relevant for far more general situations. We argue that…
In the study of automorphic representations over a function field, Hitchin moduli stack and its variants naturally appear and their geometry helps the comparison of trace formulae. We give a survey on applications of this observation to a…
We generalize the concept of coherent states, traditionally defined as special families of vectors on Hilbert spaces, to Hilbert modules. We show that Hilbert modules over $C^*$-algebras are the natural settings for a generalization of…
The Gr\"atzer-Schmidt theorem of lattice theory states that each algebraic lattice is isomorphic to the congruence lattice of an algebra. We study the reverse mathematics of this theorem. We also show that the set of indices of computable…