English
Related papers

Related papers: Not each sequential effect algebra is sharply domi…

200 papers

Our basic concept is the set $\mathcal{E}(H)$ of effects on a finite dimensional complex Hilbert space $H$. If $a,b\in\mathcal{E}(H)$, we define the sequential product $a[\mathcal{I}]b$ of $a$ then $b$. The sequential product depends on the…

Quantum Physics · Physics 2023-08-01 Stanley Gudder

We investigate the question of whether or not the orbit of a point in A/Q, under the natural action of a subset S of Q, is dense in A/Q. We prove that if the set S is a multiplicative semigroup which contains at least two multiplicatively…

Number Theory · Mathematics 2013-03-08 Alan Haynes , Sara Munday

Algebraic effects are computational effects that can be represented by an equational theory whose operations produce the effects at hand. The free model of this theory induces the expected computational monad for the corresponding effect.…

Logic in Computer Science · Computer Science 2015-07-01 Gordon D Plotkin , Matija Pretnar

Given a graph $G=(V,E)$, $S\subseteq V$ is a dominating set if every $v\in V\setminus S$ is adjacent to an element of $S$. The Minimum Dominating Set problem asks for a dominating set with minimum cardinality. It is well known that its…

Combinatorics · Mathematics 2020-02-28 Valentin Bouquet , François Delbot , Christophe Picouleau , Stéphane Rovedakis

A uniform algebra $A$ on its Shilov boundary $X$ is {\em maximal} if $A$ is not $C(X)$ and there is no uniform algebra properly contained between $A$ and $C(X)$. It is {\em essentially pervasive} if $A$ is dense in $C(F)$ whenever $F$ is a…

Functional Analysis · Mathematics 2014-02-11 Pamela Gorkin , Anthony G. O'Farrell

Let $G$ be an undirected graph. An edge of $G$ dominates itself and all edges adjacent to it. A subset $E'$ of edges of $G$ is an edge dominating set of $G$, if every edge of the graph is dominated by some edge of $E'$. We say that $E'$ is…

Discrete Mathematics · Computer Science 2017-05-24 Min Chih Lin , Vadim Lozin , Veronica A. Moyano , Jayme L. Szwarcfiter

Let $G=(V,E)$ be a simple connected graph. A set of vertices $S\subseteq V$ is said to be a dominating set if for any vertex in $V\setminus S$ is adjacent to at least one vertex in $S$. The domination number $\gamma(G)$ of $G$ is the…

Combinatorics · Mathematics 2016-03-25 Lang Tang , Shenglin Zhou

As a natural variant of domination in graphs, Dankelmann et al. [Domination with exponential decay, Discrete Math. 309 (2009) 5877-5883] introduce exponential domination, where vertices are considered to have some dominating power that…

Combinatorics · Mathematics 2015-11-05 Stéphane Bessy , Pascal Ochem , Dieter Rautenbach

A set $S$ of vertices in a graph $G(V,E)$ is called a dominating set if every vertex $v\in V$ is either an element of $S$ or is adjacent to an element of $S$. A set $S$ of vertices in a graph $G(V,E)$ is called a total dominating set if…

Combinatorics · Mathematics 2008-10-28 Maryam Atapour , Nasrin Soltankhah

What is Sequence Algebra? This is a question that any teacher or student of mathematics or computer science can engage with. Sequences are in Calculus, Combinatorics, Statistics and Computation. They are foundational, a step up from number…

Combinatorics · Mathematics 2019-03-01 Kieran Clenaghan

This survey article has two components. The first part gives a gentle introduction to Serre's notion of $G$-complete reducibility, where $G$ is a connected reductive algebraic group defined over an algebraically closed field. The second…

Group Theory · Mathematics 2023-09-12 Alastair J. Litterick , David I. Stewart , Adam R. Thomas

Algebraic effects are computational effects that can be described with a set of basic operations and equations between them. As many interesting effect handlers do not respect these equations, most approaches assume a trivial theory,…

Logic in Computer Science · Computer Science 2020-05-29 Žiga Lukšič , Matija Pretnar

Let $\alpha$ be a totally positive algebraic integer, and define its absolute trace to be $\frac{Tr(\alpha)}{\text{deg}(\alpha)}$, the trace of $\alpha$ divided by the degree of $\alpha$. Elementary considerations show that the absolute…

Number Theory · Mathematics 2022-08-09 Kyle Pratt , George Shakan , Alexandru Zaharescu

Let $G=(V,E)$ be a simple graph. A dominating set of $G$ is a subset $D\subseteq V$ such that every vertex not in $D$ is adjacent to at least one vertex in $D$. The cardinality of a smallest dominating set of $G$, denoted by $\gamma(G)$, is…

Combinatorics · Mathematics 2021-01-26 Saeid Alikhani , Maryam Safazadeh , Nima Ghanbari

For an effect algebra $A$, we examine the category of all morphisms from finite Boolean algebras into $A$. This category can be described as a category of elements of a presheaf $R(A)$ on the category of finite Boolean algebras. We prove…

Rings and Algebras · Mathematics 2019-04-25 Gejza Jenča

Present article concerns the generalization of the results of I. Chajda and J. K\"{u}hr to a non-commutative setting resulting into so called (weak) pre pseudo effect algebras and generalized pre pseudo effect algebras.

Rings and Algebras · Mathematics 2015-10-01 Marek Hyčko

A set $D$ of vertices of a simple graph $G=(V,E)$ is a strong dominating set, if for every vertex $x\in \overline{D}=V\setminus D$ there is a vertex $y\in D$ with $xy\in E(G)$ and $deg(x)\leq deg(y)$. The strong domination number…

Combinatorics · Mathematics 2023-03-01 Nima Ghanbari , Saeid Alikhani

We consider spatial discretizations by the finite section method of the restricted group algebra of a finitely generated discrete group, which is represented as a concrete operator algebra via its left-regular representation. Special…

Operator Algebras · Mathematics 2010-02-23 Steffen Roch

We study total binary operations on effect algebras obtained by truncating the Gudder-Greechie axiom package for a sequential product. The point is not to reprove the known nonexistence of non-Boolean full sequential products on finite…

Logic · Mathematics 2026-04-07 Joaquim Reizi Higuchi

The class of finitely presented algebras over a field $K$ with a set of generators $a_{1},..., a_{n}$ and defined by homogeneous relations of the form $a_{1}a_{2}... a_{n} =a_{\sigma (a)} a_{\sigma (2)} ... a_{\sigma (n)}$, where $\sigma$…

Rings and Algebras · Mathematics 2008-10-03 F. Cedo , E. Jespers , J. Okninksi