arXiv++ Combinatorics

Let $m\geq 1$, let $f:\mathbb N\to\mathbb Z/m\mathbb Z$ be a standard morphism and let $T(m)$ be the least integer $N$ such that every such $f$ admits a primitive monochromatic Pythagorean triple with hypotenuse at most $N$. The aim of this note is to prove that every standard morphism has infinitely many identity-valued Pythagorean triples and infinitely many primitive monochromatic Pythagorean triples. Thus the qualitative part of Problem~4.3 of Eliahou, Fromentin, Marion-Poty and Robilliard is solved for every $m$. Moreover, $T(m)$ is finite, the morphism $n\mapsto v_3(n)\pmod m$ has least possible hypotenuse $(9^m+1)/2$ and $T(d)\leq T(m)$ when $d\mid m$.

An automaton is said to be synchronizing if there is a word in the transitions which sends all states of the automaton to a single state. Research on this topic has been driven by the Černý conjecture, one of the oldest and most famous problems in automata theory, according to which a synchronizing $n$-state automaton has a reset word of length at most $(n-1)^2$. The transitions of an automaton generate a transformation monoid on the set of states, and so an automaton can be regarded as a transformation monoid with a prescribed set of generators. In this setting, an automaton is synchronizing if the transitions generate a constant map. A permutation group $G$ on a set $Ω$ is said to synchronize a map $f$ if the monoid $\langle G,f\rangle$ generated by $G$ and $f$ is synchronizing in the above sense; we say $G$ is synchronizing if it synchronizes every non-permutation. The classes of synchronizing groups and friends form an hierarchy of natural and elegant classes of groups lying strictly between the classes of primitive and $2$-homogeneous groups. These classes have been floating around for some years and it is now time to provide a unified reference on them. The study of all these classes has been prompted by the Černý conjecture, but it is of independent interest since it involves a rich mix of group theory, combinatorics, graph endomorphisms, semigroup theory, finite geometry, and representation theory, and has interesting computational aspects as well. So as to make the paper self-contained, we have provided background material on these topics. Our purpose here is to present results that show the connections between the various areas of mathematics mentioned above, we include a new result on the Černý conjecture, some challenges to finite geometers, some thoughts about infinite analogues, and a long list of open problems.

Let $Ω$ be a set of cardinality $n$, $G$ a permutation group on $Ω$, and $f:Ω\toΩ$ a map which is not a permutation. We say that $G$ synchronizes $f$ if the semigroup $\langle G,f\rangle$ contains a constant map. The first author has conjectured that a primitive group synchronizes any map whose kernel is non-uniform. Rystsov proved one instance of this conjecture, namely, degree $n$ primitive groups synchronize maps of rank $n-1$ (thus, maps with kernel type $(2,1,\ldots,1)$). We prove some extensions of Rystsov's result, including this: a primitive group synchronizes every map whose kernel type is $(k,1,\ldots,1)$. Incidentally this result provides a new characterization of imprimitive groups. We also prove that the conjecture above holds for maps of extreme ranks, that is, ranks 3, 4 and $n-2$. These proofs use a graph-theoretic technique due to the second author: a transformation semigroup fails to contain a constant map if and only if it is contained in the endomorphism semigroup of a non-null (simple undircted) graph. The paper finishes with a number of open problems, whose solutions will certainly require very delicate graph theoretical considerations.

The commuting graph of a finite non-commutative semigroup $S$, denoted $\cg(S)$, is a simple graph whose vertices are the non-central elements of $S$ and two distinct vertices $x,y$ are adjacent if $xy=yx$. Let $\mi(X)$ be the symmetric inverse semigroup of partial injective transformations on a finite set $X$. The semigroup $\mi(X)$ has the symmetric group $\sym(X)$ of permutations on $X$ as its group of units. In 1989, Burns and Goldsmith determined the clique number of the commuting graph of $\sym(X)$. In 2008, Iranmanesh and Jafarzadeh found an upper bound of the diameter of $\cg(\sym(X))$, and in 2011, Doluzan and Oblak claimed (but their proof has a GAP) that this upper bound is in fact the exact value. The goal of this paper is to begin the study of the commuting graph of the symmetric inverse semigroup $\mi(X)$. We calculate the clique number of $\cg(\mi(X))$, the diameters of the commuting graphs of the proper ideals of $\mi(X)$, and the diameter of $\cg(\mi(X))$ when $|X|$ is even or a power of an odd prime. We show that when $|X|$ is odd and divisible by at least two primes, then the diameter of $\cg(\mi(X))$ is either 4 or 5. In the process, we obtain several results about semigroups, such as a description of all commutative subsemigroups of $\mi(X)$ of maximum order, and analogous results for commutative inverse and commutative nilpotent subsemigroups of $\mi(X)$. The paper closes with a number of problems for experts in combinatorics and in group or semigroup theory.

Let T(X) be the semigroup of full transformations on a finite set X with n elements. We prove that every subsemilattice of T(X) has at most 2^{n-1} elements and that there are precisely n subsemilattices of size exactly 2^{n-1}, each isomorphic to the semilattice of idempotents of the symmetric inverse semigroup on a set with n-1 elements.

A nearlattice is a join semilattice such that every principal filter is a lattice with respect to the induced order. Hickman and later Chajda et al independently showed that nearlattices can be treated as varieties of algebras with a ternary operation satisfying certain axioms. Our main result is that the variety of nearlattices is 2-based, and we exhibit an explicit axiom system of two independent identities. We also show that the original axiom systems of Hickman and of Chajda et al are, respectively, dependent.

Let $S$ be a finite non-commutative semigroup. The commuting graph of $S$, denoted $\cg(S)$, is the graph whose vertices are the non-central elements of $S$ and whose edges are the sets $\{a,b\}$ of vertices such that $a\ne b$ and $ab=ba$. Denote by $T(X)$ the semigroup of full transformations on a finite set $X$. Let $J$ be any ideal of $T(X)$ such that $J$ is different from the ideal of constant transformations on $X$. We prove that if $|X|\geq4$, then, with a few exceptions, the diameter of $\cg(J)$ is 5. On the other hand, we prove that for every positive integer $n$, there exists a semigroup $S$ such that the diameter of $\cg(S)$ is $n$. We also study the left paths in $\cg(S)$, that is, paths $a_1-a_2-...-a_m$ such that $a_1\ne a_m$ and $a_1a_i=a_ma_i$ for all $i\in \{1,\ldot, m\}$. We prove that for every positive integer $n\geq2$, except $n=3$, there exists a semigroup whose shortest left path has length $n$. As a corollary, we use the previous results to solve a purely algebraic old problem posed by B.M. Schein.