Related papers: Means Compatible with Semigroup Laws
The arithmetic mean is the mean for addition and the geometric mean is that for multiplication. Then what kind of binary operation is associated with the arithmetic-geometric mean (AGM) due to C. F. Gauss? If it is possible to construct an…
A double magma is a nonempty set with two binary operations satisfying the interchange law. We call a double magma proper if the two operations are distinct and commutative if the operations are commutative. A double semigroup is a double…
Given an action of a finite group G on a fusion category C we give a criterion for the category of G-equivariant objects in C to be group-theoretical, i.e., to be categorically Morita equivalent to a category of group-graded vector spaces.…
We treat two related trigonometric functional equations on semigroups. First we solve the $\mu$-sine subtraction law \[\mu(y) k(x \sigma(y))=k(x) l(y)-k(y) l(x), \quad x, y \in S,\] for $k, l : S\rightarrow \mathbb{C}$, where $S$ is a…
Noncommutative Yang-Mills theories are sensitive to the choice of the representation that enters in the gauge kinetic term. We constrain this ambiguity by considering grand unified theories. We find that at first order in the…
The study of associativity of the commutator operation in groups goes back to some work of Levi in 1942. In the 1960's Richard J. Thompson created a group F whose elements are representatives of the generalized associative law for an…
Binary idempotent semirings govern classical path algebras. Their multiplicative structure is dyadic. We examine whether this restriction is structural or accidental. We define ternary idempotent $\Gamma$-semirings as higher-arity ordered…
Gauss's arithmetic-geometric mean (AGM) which is described by two variables iteration $(a_n, b_n)\rightarrow (a_{n+1}, b_{n+1})$ by $a_{n+1}=(a_n+b_n)/2,\ b_{n+1}=\sqrt{a_nb_n}$. We extend it to three variables iteration $(a_n, b_n,…
Let $(\mathcal G, \Sigma)$ be an ordered abelian group with Haar measure $\mu$, let $(\mathcal A, \mathcal G, \alpha)$ be a dynamical system and let $\mathcal A\rtimes_{\alpha} \Sigma $ be the associated semicrossed product. Using Takai…
We introduce decomposition algebras as a natural generalization of axial algebras, Majorana algebras and the Griess algebra. They remedy three limitations of axial algebras: (1) They separate fusion laws from specific values in a field,…
Building on work of Popa, Ioana, and Epstein--T\"{o}rnquist, we show that, for every nonamenable countable discrete group $\Gamma$, the relations of conjugacy, orbit equivalence, and von Neumann equivalence of free ergodic (or weak mixing)…
Geometric semigroup theory is the systematic investigation of finitely-generated semigroups using the topology and geometry of their associated automata. In this article we show how a number of easily-defined expansions on finite semigroups…
It is known that there are Lie algebras with non-semigroup gradings, i.e. such that the binary operation on the grading set is not associative. We provide a similar example in the class of associative algebras.
The equivariant version of semiprojectivity was recently introduced by the first author. We study properties of this notion, in particular its relation to ordinary semiprojectivity of the crossed product and of the algebra itself. We show…
In this paper, we determine the complex-valued solutions of the following functional equations \[g(x\sigma (y)) = g(x)g(y)+f(x)f(y),\quad x,y\in S,\]\[f(x\sigma (y)) = f(x)g(y)+f(y)g(x),\quad x,y\in S,\]\[f(x\sigma (y)) =…
Our main result is that we describe the solutions $g,f:S\rightarrow\mathbb{C}$ of the functional equation \[g(x\sigma(y))=g(x)g(y)-f(x)f(y)+\alpha f(x\sigma(y)),\quad x,y\in S,\] where $S$ is a semigroup, $\alpha \in \mathbb{C}$ is a fixed…
Using ideas from Jones, lattice gauge theory and loop quantum gravity, we construct 1+1-dimensional gauge theories on a spacetime cylinder. Given a separable compact group $G$, we construct localized time-zero fields on the spatial torus as…
Symmetry plays a basic role in variational problems (settled e.g. in $\mathbb R^{n}$ or in a more general manifold), for example to deal with the lack of compactness which naturally appear when the problem is invariant under the action of a…
A metric measure space is a complete separable metric space equipped with probability measure that has full support. Two such spaces are equivalent if they are isometric as metric spaces via an isometry that maps the probability measure on…
In the present article we investigate the possibility of combining the usual Grassmann algebras with their ternary Z_3-graded counterpart, thus creating a more general algebra with coexisting quadratic and cubic constitutive relations. We…