English
Related papers

Related papers: Coexistence in interval effect algebras

200 papers

In this paper, we characterize suitable partial (co)actions of Taft and Nichols Hopf algebras on algebras, and moreover we get that such partial (co)actions are symmetric. For certain algebras, these partial (co)actions obtained are,…

Rings and Algebras · Mathematics 2022-08-11 Graziela Fonseca , Grasiela Martini , Leonardo Silva

We give a simple characterization of special matchings in lower Bruhat intervals (that is, intervals starting from the identity element) of a Coxeter group. As a byproduct, we obtain some results on the action of special matchings.

Combinatorics · Mathematics 2017-12-12 Fabrizio Caselli , Mario Marietti

This paper is devoted to a new approach of the arithmetic of intervals. We present the set of intervals as a normed vector space. We define also a four-dimensional associative algebra whose product gives the product of intervals in any…

Numerical Analysis · Mathematics 2009-10-22 Nicolas Goze , Elisabeth Remm

We study polynomial identities of algebras with adjoined external unit. For a wide class of algebras we prove that adjoining external unit element leads to increasing of PI-exponent precisely to 1. We also show that any real number from the…

Rings and Algebras · Mathematics 2016-02-10 Dušan Repovš , Mikhail Zaicev

In type-and-coeffect systems, contexts are enriched by coeffects modeling how they are actually used, typically through annotations on single variables. Coeffects are computed bottom-up, combining, for each term, the coeffects of its…

Programming Languages · Computer Science 2022-09-16 Riccardo Bianchini , Francesco Dagnino , Paola Giannini , Elena Zucca , Marco Servetto

Given an algebra A we associate an incidence algebra A(\Sigma) and compare their Hochschild cohomology groups.

Representation Theory · Mathematics 2010-11-01 Maria Julia Redondo

We characterize atomistic effect algebras, prove that a weakly orthocomplete Archimedean atomic effect algebra is orthoatomistic and present an example of an orthoatomistic orthomodular poset that is not weakly orthocomplete.

Quantum Physics · Physics 2009-11-13 Josef Tkadlec

In this report, we introduce observation algebras, constructed by considering the downclosed subsets of a coherence space ordered by reverse inclusion. These may be interpreted as specifications of sets of events via some predicates with…

Logic in Computer Science · Computer Science 2025-03-11 Paul Brunet

In a classical Hamiltonian theory with second class constraints the phase space functions on the constraint surface are observables. We give general formulas for extended observables, which are expressions representing the observables in…

High Energy Physics - Theory · Physics 2009-11-07 Simon Lyakhovich , Robert Marnelius

The aim of the paper is to establish a certain logic corresponding to lattice effect algebras. First, we answer a natural question whether a lattice effect algebra can be represented by means of a groupoid-like structure. We establish a…

Logic · Mathematics 2018-10-15 I. Chajda , H. Länger , J. Paseka

In this paper we prove several theorems about the behavior of index of Lie algebras derived from associative algebras under tensor products of underlying associative algebras.

Representation Theory · Mathematics 2007-05-23 Vladimir Dergachev

We present coalgebras of some classes of nonassociative algebras whose associator satisfies invariance conditions given by the action of the 3-order symmetric group. Amongst these algebras we find the well-known Vinberg algebras, the…

Rings and Algebras · Mathematics 2007-05-23 Michel Goze , Elisabeth Remm

We derive some equalities for relations on the algebra A, under the assumption that every subalgebra of A $\times$ A is congruence modular.

Combinatorics · Mathematics 2007-05-23 Paolo Lipparini

A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This…

Logic in Computer Science · Computer Science 2011-07-08 Emmanuel Beffara

We construct an equivariant algebraic cobordism theory for schemes with an action by a linear algebraic group over a field of characteristic zero.

Algebraic Geometry · Mathematics 2011-11-08 Jeremiah Heller , Jose Malagon-Lopez

We prove an intermediate value theorem of an arithmetical flavor, involving the consecutive averages of sequences with terms in a given finite set A. For every such set we completely characterize the numbers x ("intermediate values") with…

General Mathematics · Mathematics 2007-05-23 Mihai Caragiu , Laurence D. Robinson

We study a coderivation from a cobimodule into a coalgebra. Vector cofields are defined by the action of a codual bicomodule on a coalgebra. This action is induced by a codifferential. A construction of a codual object in the category of…

Quantum Algebra · Mathematics 2009-10-31 A. Borowiec , G. A. Vazquez Coutino

We argue that the mathematical structure, enabling certain cascading and emergent phenomena to intuitively emerge, coincides with Galois connections. We introduce the notion of generative effects to formally capture such phenomena. We…

Logic in Computer Science · Computer Science 2019-11-26 Elie M. Adam , Munther A. Dahleh

Mutual-visibility sets were motivated by visibility in distributed systems and social networks, and intertwine with several classical mathematical areas. Monotone properties of the variety of mutual-visibility sets, and restrictions of such…

Combinatorics · Mathematics 2025-12-10 Csilla Bujtás , Sandi Klavžar , Jing Tian

Some properties of integral averages of functions on intervals and their asymptotic behavior are investigated. The results are aimed at applications to entire and subharmonic functions.

Complex Variables · Mathematics 2019-12-20 Bulat N. Khabibullin