English
Related papers

Related papers: Relational Algebra as non-Distributive Lattice

200 papers

We will show that almost all nonassociative relation algebras are symmetric and integral (in the sense that the fraction of both labelled and unlabelled structures that are symmetric and integral tends to 1), and using a Fra\"iss\'e limit,…

Logic · Mathematics 2022-02-07 James Koussas

A Rota-Baxter algebra, also known as a Baxter algebra, is an algebra with a linear operator satisfying a relation, called the Rota-Baxter relation, that generalizes the integration by parts formula. Most of the studies on Rota-Baxter…

Rings and Algebras · Mathematics 2021-02-01 Kurusch Ebrahimi-Fard , Li Guo

We generalize the classical study of (generalized) Lax pairs and the related $O$-operators and the (modified) classical Yang-Baxter equation by introducing the concepts of nonabelian generalized Lax pairs, extended $\calo$-operators and the…

Mathematical Physics · Physics 2015-05-14 Xiang Ni , Chengming Bai , Li Guo

Let $(V,\gamma )$ be a real finite dimensional vector space with a symmetric bilinear form $\gamma $ whose kernel is spanned by a nonzero vector. The set of invertible real linear mappings of $(V, \gamma )$ into itself forms a Lie group…

Symplectic Geometry · Mathematics 2022-05-11 Richard Cushman

We introduce here the notion of syntactic lattice algebra which is an analogy of the syntactic monoid and of the syntactic semiring. We present a unified approach to get those three structures.

Formal Languages and Automata Theory · Computer Science 2017-11-30 Ondřej Klíma , Libor Polák

A new realization of the conformal algebra is studied which mimics the behaviour of a statistical system on a discrete albeit infinite lattice. The two-point function is found from the requirement that it transforms covariantly under this…

Statistical Mechanics · Physics 2008-11-26 Malte Henkel , Dragi Karevski

Demonic composition, demonic refinement and demonic union are alternatives to the usual "angelic" composition, angelic refinement (inclusion) and angelic (usual) union defined on binary relations. We first motivate both the angelic and…

Logic in Computer Science · Computer Science 2021-01-14 Robin Hirsch , Szabolcs Mikulás , Tim Stokes

In this paper we study the lattice of restricted subalgebras of a restricted Lie algebra. In particular, we consider those algebras in which this lattice is dually atomistic, lower or upper semimodular, or in which every restricted…

Rings and Algebras · Mathematics 2022-01-06 Pilar Paez-Guillan , Salvatore Siciliano , David A. Towers

Lie conformal algebras appear in the theory of vertex algebras. Their relation is similar to that of Lie algebras and their universal enveloping algebras. Associative conformal algebras play a role in conformal representation theory. We…

Quantum Algebra · Mathematics 2007-05-23 Alexander Retakh

We show that the following two algebras are isomorphic. The first is the algebra $A_P$ of functions on the scheme of monic linear second-order differential operators on $\C$ with prescribed regular singular points at $z_1,..., z_n, \infty$,…

Quantum Algebra · Mathematics 2007-05-30 E. Mukhin , V. Tarasov , A. Varchenko

Information algebras arise from the idea that information comes in pieces which can be aggregated or combined into new pieces, that information refers to questions and that from any piece of information, the part relevant to a given…

Information Theory · Computer Science 2021-01-01 Juerg Kohlas , Juerg Schmid

The present paper deals with complemented lattices where, however, a unary operation of complementation is not explicitly assumed. This means that an element can have several complements. The mapping $^+$ assigning to each element $a$ the…

Logic · Mathematics 2024-06-13 Ivan Chajda , Helmut Länger

We classify connected \'etale algebras in (possibly non-unitary) modular fusion categories $\mathcal B$'s with $\text{rank}(\mathcal B)\le5$. We also comment on Lagrangian algebra, anyon condensation, and physical applications. Concretely,…

Quantum Algebra · Mathematics 2024-05-03 Ken Kikuchi

Previous work has axiomatised the cardinality operation in relation algebras, which counts the number of edges of an unweighted graph. We generalise the cardinality axioms to Stone relation algebras, which model weighted graphs, and study…

Logic in Computer Science · Computer Science 2026-03-11 Hitoshi Furusawa , Walter Guttmann

The classes of relativized relation algebras (whose units are not necessarily transitive as binary relations) are known to be finitely axiomatizable. In this article, we give a new proof for this fact that is easier and more transparent…

Logic · Mathematics 2024-02-28 Tuğba Aslan , Mohamed Khaled

In this paper we define the basic concepts for left or right Leibniz algebras and prove some of the main results. Our proofs are often variations of the known proofs and several results seem to be new.

Rings and Algebras · Mathematics 2018-10-18 Jorg Feldvoss

We show that a class of algebras is closed under the taking of homomorphic images and direct products if and only if the class consists of all algebras that satisfy a set of (generally simultaneous) equations. For classes of regular…

Group Theory · Mathematics 2022-06-23 Peter M Higgins , Marcel Jackson

Twisted vertex operators based on rational lattices have had many applications in vertex operator algebra theory and conformal field theory. In this paper, ``relativized'' twisted vertex operators are constructed in a general context based…

q-alg · Mathematics 2008-02-03 Chongying Dong , James Lepowsky

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…

High Energy Physics - Theory · Physics 2008-02-03 Alexander Verbovetsky

We present a general relational semantics framework which, by varying the axiomatization and components of the relational structures, provides a uniform semantics for sentential logics, classical and non-classical alike. The approach we…

Logic in Computer Science · Computer Science 2025-11-25 Chrysafis Hartonas