Related papers: Relation identities in 3-distributive varieties
A digraph $\mathbb G$ is called weakly connected, strongly connected, and extremely connected if any two vertices of $\mathbb G$ are connected respectively by an oriented, a directed, and a symmetric path in $\mathbb G$. We investigate the…
A congruence on an inverse semigroup $S$ is determined uniquely by its kernel and trace. Denoting by $\rho_k$ and $\rho_t$ the least congruence on $S$ having the same kernel and the same trace as $\rho$, respectively, and denoting by…
The discrete variational identity under general bilinear forms on semi-direct sums of Lie algebras is established. The constant $\gamma$ involved in the variational identity is determined through the corresponding solution to the stationary…
An important consideration for variable selection in interaction models is to design an appropriate penalty that respects hierarchy of the importance of the variables. A common theme is to include an interaction term only after the…
The theory of two binary relations has the strong amalgamation property when the first relation is assumed to be coarser than the second relation, and each relation satisfies a chosen set of properties from the following list: transitivity,…
Let $A=B+C$ be an associative algebra graded by a group $G$, which is a sum of two homogeneous subalgebras $B$ and $C$. We prove that if $B$ is an ideal of $A$, and both $B$ and $C$ satisfy graded polynomial identities, then the same…
A probability distribution is n-divisible if its nth convolution root exists. While modeling the dependence structure between several (re)insurance losses by an additive risk factor model, the infinite divisibility, that is the…
We systematically study several versions of the disjunction and the existence properties in modal arithmetic. First, we newly introduce three classes $\mathrm{B}$, $\Delta(\mathrm{B})$, and $\Sigma(\mathrm{B})$ of formulas of modal…
The paper that is commented by Touchette contains a computational study which opens the door to a desirable generalization of the standard large deviation theory (applicable to a set of $N$ nearly independent random variables) to systems…
We prove that, if $\Gamma$ is a finite connected $3$-valent vertex-transitive, or $4$-valent vertex- and edge-transitive graph, then either $\Gamma$ is part of a well-understood family of graphs, or every non-identity automorphism of…
Let G be a finite simple group. We show that the commutator map $a : G \times G \to G$ is almost equidistributed as the order of G goes to infinity. This somewhat surprising result has many applications. It shows that for a subset X of G we…
We consider the "limiting behavior" of *discriminants*, by which we mean informally the locus in some parameter space of some type of object where the objects have certain singularities. We focus on the space of partially labeled points on…
We present a variety of refined conditions for $\sigma$ algebras $\mathcal{A}$ (on a set $X$), $\mathcal{F}, \mathcal{G}$ (on a set $U$) such that the distributivity equation…
The question of characterizing the (finite) representable relation algebras in a ``nice" way is open. The class $\mathbf{RRA}$ is known to be not finitely axiomatizable in first-order logic. Nevertheless, it is conjectured that ``almost…
We consider square matrices over $\mathbb{C}$ satisfying an identity relating their eigenvalues and the corresponding eigenvectors re-proved and discussed by Denton, Parker, Tao and Zhang, called the eigenvector-eigenvalue identity. We…
The usual coherence theorem of MacLane for categories with multiplication assumes that a certain pentagonal diagram commutes in order to conclude that associativity isomorphisms are well defined in a certain practical sense. The practical…
In $\textit{total domination}$, given a graph $G=(V,E)$, we seek a minimum-size set of nodes $S\subseteq V$, such that every node in $V$ has at least one neighbor in $S$. We define a $\textit{fault-tolerant}$ version of total domination,…
We denote by Conc(A) the semilattice of all finitely generated congruences of an (universal) algebra A, and we define Conc(V) as the class of all isomorphic copies of all Conc(A), for A in V, for any variety V of algebras. Let V and W be…
In this paper, we give some conditions, under which, if an infinitely divisible distribution supported on $[0,\infty)$ belongs to the intersection of exponential distribution class $\mathcal{L}(\gamma)$ for some $\gamma\ge0$ and generalised…
We extend the notion of generalised Cesaro summation/convergence developed previously to the more natural setting of what we call "remainder" Cesaro summation/convergence and, after illustrating the utility of this approach in deriving…