Related papers: Operators on complemented lattices
The Sasaki projection was introduced as a mapping from the lattice of closed subspaces of a Hilbert space onto one of its segments. To use this projection and its dual so-called Sasaki operations were introduced by the second two authors.…
In our previous papers, together with J. Paseka we introduced so-called sectionally pseudocomplemented lattices and posets and illuminated their role in algebraic constructions. We believe that - similar to relatively pseudocomplemented…
We compute the lattice operations for the (pairwise) stable set in many-to-many matching markets when only path-independence on agents' choice functions is imposed. To do this, we first show that the sets of firm-quasi-stable and…
This paper investigates the theory of lattices, focusing on extending lattices relative to abstract classes, modular lattices, and torsion lattices. Definitions of type-1 and type-2 extending lattices are provided, along with their weakly…
An extended multi-hadron operator is developed to extract the spectra of irreducible representations in the finite volume. The irreducible representations of the cubic group are projected using a coordinate-space operator. The correlation…
A fundamental result from Boolean modal logic states that a first-order definable class of Kripke frames defines a logic that is validated by all of its canonical frames. We generalise this to the level of non-distributive logics that have…
We present a systematic method for constructing lattice QCD operators for systems of an arbitrary number of particles with arbitrary momentum, spin, and internal quantum numbers. Explicit constructions are provided for one-, two-, three-,…
An adjoint pair is a pair of densely defined linear operators $A, B$ on a Hilbert space such that $\langle Ax,y\rangle=\langle x,By\rangle$ for $x\in \cD(A), y \in \cD(B).$ We consider adjoint pairs for which $0$ is a regular point for both…
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…
A shape invariant nonseparable and nondiagonalizable two-dimensional model with quadratic complex interaction, first studied by Cannata, Ioffe, and Nishnianidze, is re-examined with the purpose of exhibiting its hidden algebraic structure.…
We analyze the properties of a class of improved lattice topological charge density operators, constructed by a smearing-like procedure. By optimizing the choice of the parameters introduced in their definition, we find operators having (i)…
We generalize the construction of multitildes in the aim to provide multitilde operators for regular languages. We show that the underliying algebraic structure involves the action of some operads. An operad is an algebraic structure that…
This paper explores the interplay between category theory, topology, and the algebraic theory of finite groups. Our analysis unfolds in three stages. First, we establish the foundational universe of our objects: the complete and cocomplete…
A linear operator $T$ between two lattice-normed spaces is said to be $p$-compact if, for any $p$-bounded net $x_\alpha$, the net $Tx_\alpha$ has a $p$-convergent subnet. $p$-Compact operators generalize several known classes of operators…
The notion of a Levi operator is an operator abstraction of the Levy property of a norm or, more generally of the Levi topology on a locally solid vector lattice. Various aspects of Levi operators have been studied recently by several…
We show that the K_1 group of a C*-algebra $A$ can be defined as homotopy classes of pairs, called balanced, of not necessarily unitary matrices over $A$ that have equal defects from being unitary. We also consider pairs of order zero…
Enriched Lawvere theories are a generalization of Lawvere theories that allow us to describe the operational semantics of formal systems. For example, a graph enriched Lawvere theory describes structures that have a graph of operations of…
We characterize inclusions of compact noncommutative convex sets with the property that every continuous affine function on the smaller set can be extended to a continuous affine function on the larger set with a uniform bound. As an…
It is shown that operations of equivalence cannot serve for building algebras which would induce orthomodular lattices as the operations of implication can. Several properties of equivalence operations have been investigated. Distributivity…
We show that every finite semilattice can be represented as an atomized semilattice, an algebraic structure with additional elements (atoms) that extend the semilattice's partial order. Each atom maps to one subdirectly irreducible…