arXiv++ Combinatorics

We study the fast-robber version of the Cops and Robbers game on finite strongly connected abelian Cayley digraphs, including undirected Cayley graphs as the symmetric case. For bounded out-degree $D$ we show that $c_{1,\infty}(Γ)=O_D(n^{1-1/D})$, improving to $O_D(n^{1-2/D})$ in the undirected case. Further, we show uniform sublinear bounds in broader slowly growing degree regimes.

We establish new quantitative bounds for asymptotic approximate groups arising from finite subsets of lattices and, more generally, semi-linear subsets of abelian groups. Our approach combines Khovanskii's theorem on sumsets with Rogers and Zong bounds for the covering numbers.

We study a chromatic theory of asymptotic approximate groups for tuples of subsets of abelian groups, combining Nathanson's chromatic sumset formalism with asymptotic covering ideas from approximate group theory. This framework encodes simultaneous additive growth across several color classes. We show some general lifting and invariance principles, establish chromatic covering theorems for finite tuples and for tuples whose color classes are finite unions of unbounded linear sets, and obtain exact structure theorems for translated submonoids and finite-set-plus-submonoid sets. We also obtain sharper binomial bounds in the finite and unbounded-linear cases than the previous lattice-covering estimates. In the integer setting, we show that for each fixed threshold $t$, the threshold-$t$ chromatic layers form an asymptotic approximate family, using Nathanson's eventual interval-plus-edges description to obtain a uniform bound of size $r+2$ and prove an inhomogeneous extension for certain families.

We show that the cop number of the Cayley sum graph of a finite group $G$ with respect to a symmetric subset $S$ is at most twice its degree when the graph is connected, undirected. We also prove that a similar bound holds for the cop number of generalised Cayley graphs and twisted Cayley sum graphs under some conditions. These extend a result of Frankl to such graphs. Using the above bounds and a result of Bollobás--Janson--Riordan, we show that the weak Meyniel conjecture holds for these algebraic graphs.

For any finite, undirected, non-bipartite, vertex-transitive graph, we establish an explicit lower bound for the smallest eigenvalue of its normalised adjacency operator, which depends on the graph only through its degree and its isoperimetric constant.

The Cayley graphs of finite groups are known to provide several examples of families of expanders, and some of them are Ramanujan graphs. Babai studied isospectral non-isomorphic Cayley graphs of the dihedral groups. Lubotzky, Samuels and Vishne proved that there are isospectral non-isomorphic Cayley graphs of $\mathrm{PSL}_d(\mathbb F_q)$ for every $d\geq 5$ ($d \neq 6$) and prime power $q> 2$. In this article, we focus on three variants of Cayley graphs, viz., the Cayley sum graphs, the twisted Cayley graphs, and the twisted Cayley sum graphs. We prove the existence of non-isomorphic expander families of bounded degree, whose spectra are related by the values of certain characters. We also provide several new examples of expander families, and examples of non-expanders and Ramanujan graphs formed by these three variants.

Let $G$ be a finite group with $|G|\geq 4$ and $S$ be a subset of $G$. Given an automorphism $σ$ of $G$, the twisted Cayley graph $C(G, S)^σ$ (resp. the twisted Cayley sum graph $C_Σ(G, S)^σ$) is defined as the graph having $G$ as its set of vertices and the adjacent vertices of a vertex $g\in G$ are of the form $σ(gs)$ (resp. $σ(g^{-1} s)$) for some $s\in S$. If the twisted Cayley graph $C(G, S)^σ$ is undirected and connected, then we prove that the nontrivial spectrum of its normalised adjacency operator is bounded away from $-1$ and this bound depends only on its degree, the order of $σ$ and the vertex Cheeger constant of $C(G, S)^σ$. Moreover, if the twisted Cayley sum graph $C_Σ(G, S)^σ$ is undirected and connected, then we prove that the nontrivial spectrum of its normalised adjacency operator is bounded away from $-1$ and this bound depends only on its degree and the vertex Cheeger constant of $C_Σ(G, S)^σ$. We also study these twisted graphs with respect to anti-automorphisms, and obtain similar results. Further, we prove an analogous result for the Schreier graphs satisfying certain conditions.

The notion of minimal complements was introduced by Nathanson in 2011 as a natural group-theoretic analogue of the metric concept of nets. Given two non-empty subsets $W,W'$ in a group $G$, the set $W'$ is said to be a complement to $W$ if $W\cdot W'=G$ and it is minimal if no proper subset of $W'$ is a complement to $W$. The inverse problem asks which sets may or not occur as minimal complements. We show some new results on the inverse problem and investigate how the study of the inverse problem naturally gives rise to questions about the asymptotic behaviour of these sets, providing partial answers to some of them.

The notion of minimal complements was introduced by Nathanson in 2011. Since then, the existence or the inexistence of minimal complements of sets have been extensively studied. Recently, the study of inverse problems, i.e., which sets can or cannot occur as minimal complements has gained traction. For example, the works of Kwon, Alon--Kravitz--Larson, Burcroff--Luntzlara and also that of the authors, shed light on some of the questions in this direction. These works have focussed mainly on the group of integers, or on abelian groups. In this work, our motivation is two-fold: (i) to show some new results on the inverse problem, (ii) to concentrate on the inverse problem in not necessarily abelian groups. As a by-product, we obtain new results on non-minimal complements in the group of integers and more generally, in any finitely generated abelian group of positive rank and in any free abelian group of positive rank. Moreover, we show the existence of uncountably many subsets in such groups which are "robust" non-minimal complements.

Given two nonempty subsets $A, B$ of a group $G$, they are said to form a co-minimal pair if $A \cdot B = G$, and $A' \cdot B \subsetneq G$ for any $\emptyset \neq A' \subsetneq A$ and $A\cdot B' \subsetneq G$ for any $\emptyset \neq B' \subsetneq B$. In this article, we show several new results on co-minimal pairs in the integers and the integral lattices. We prove that for any $d\geq 1$, the group $\mathbb{Z}^{2d}$ admits infinitely many automorphisms such that for each such automorphism $σ$, there exists a subset $A$ of $\mathbb{Z}^{2d}$ such that $A$ and $σ(A)$ form a co-minimal pair. The existence and construction of co-minimal pairs in the integers with both the subsets $A$ and $B$ ($A\neq B$) of infinite cardinality was unknown. We show that such pairs exist and explicitly construct these pairs satisfying a number of algebraic properties.

Let $\mathbfΓ = (V,E)$ be a (non-trivial) finite graph with $λ: E \rightarrow \mathbb{R}_{+}$, an edge labelling of $\mathbfΓ$. Let $ρ: V\rightarrow \mathbb{R}^{2}$ be a map which preserves the edge labelling. The graph $\mathbfΓ$ is said to be flexible if there exists an infinite number of such maps (upto equivalence by rigid transformations) and it is said to be movable if there exists an infinite number of injective maps. We study movability of Cayley graphs and construct regular moving graphs of all degrees. Further, we give explicit constructions of "dense", movable graphs.

Let $G$ be a finite group and $S$ be a symmetric generating set of $G$ with $|S| = d$. We show that if the undirected Cayley sum graph $C_Σ(G,S)$ is an expander graph and is non-bipartite, then the spectrum of its normalised adjacency operator is bounded away from $-1$. We also establish an explicit lower bound for the spectrum of these graphs, namely, the non-trivial eigenvalues of the normalised adjacency operator lies in the interval $\left(-1+\frac{h(G)^{4}}η, 1-\frac{h(G)^{2}}{2d^{2}}\right]$, where $h(G)$ denotes the (vertex) Cheeger constant of the $d$-regular graph $C_Σ(G,S)$ and $η= 2^{9}d^{8}$. Further, we improve upon a recently obtained bound on the non-trivial spectrum of the normalised adjacency operator of the non-bipartite Cayley graph $C(G,S)$.

A pair of non-empty subsets $(W,W')$ in an abelian group $G$ is an additive complement pair if $W+W'=G$. $W'$ is said to be minimal to $W$ if $W+(W'\setminus \{w'\}) \neq G, \forall \,w'\in W'$. In general, given an arbitrary subset in a group, the existence of minimal complement(s) depends on its structure. The dual problem asks that given such a set, if it is a minimal complement to some subset. Additive complements have been studied in the context of representations of integers since the time of Erdős, Hanani, Lorentz and others. The notion of minimal complements is due to Nathanson. We study tightness property of complement pairs $(W,W')$ such that both $W$ and $W'$ are minimal to each other. These are termed co-minimal pairs and we show that any non-empty finite set in an arbitrary free abelian group belongs to some co-minimal pair. We also study infinite sets forming co-minimal pairs. At the other extreme, motivated by unbounded arithmetic progressions in the integers, we look at sets which can never be a part of any minimal pair. This leads to a discussion on co-minimality, subgroups, approximate subgroups and asymptotic approximate subgroups of $G$.

Let $W\subseteq \mathbb{Z}$ be a non-empty subset of the integers. A nonempty set $C\subseteq \mathbb{Z}$ is said to be an asymptotic complement to $W$ if $W+C$ contains almost all the integers except a set of finite size. $C$ is said to be a minimal asymptotic complement if $C$ is an asymptotic complement, but $C\setminus \lbrace c\rbrace$ is not an asymptotic complement $\forall c\in C$. Asymptotic complements have been studied in the context of representations of integers since the time of Erdős, Hanani, Lorentz and others, while the notion of minimal asymptotic complements is due to Nathanson. In this article, we study minimal asymptotic complements in $\mathbb{Z}$ and deal with a problem of Nathanson on their existence and their inexistence.

Let $G$ be any group and $A$ be an arbitrary subset of $G$ (not necessarily symmetric and not necessarily containing the identity). The $h$-fold product set of $A$ is defined as $$A^{h} :=\lbrace a_{1}.a_{2}...a_{h} : a_{1},\ldots,a_n \in A \rbrace.$$ Nathanson considered the concept of an asymptotic approximate group. Let $r,l \in \mathbb{N}$. The set $A$ is said to be an $(r,l)$ approximate group in $G$ if there exists a subset $X$ in $G$ such that $|X|\leqslant l$ and $A^{r}\subseteq XA$. The set $A$ is an asymptotic $(r,l)$-approximate group if the product set $A^{h}$ is an $(r,l)$-approximate group for all sufficiently large $h$. Recently, Nathanson showed that every finite subset $A$ of an abelian group is an asymptotic $(r,l')$ approximate group (with the constant $l'$ explicitly depending on $r$ and $A$). We generalise the result and show that, in an arbitrary abelian group $G$, the union of $k$ (unbounded) generalised arithmetic progressions is an asymptotic $(r,(4rk)^k)$-approximate group.

Given two non-empty subsets $W,W'\subseteq G$ in an arbitrary abelian group $G$, $W'$ is said to be an additive complement to $W$ if $W + W'=G$ and it is minimal if no proper subset of $W'$ is a complement to $W$. The notion was introduced by Nathanson and previous work by him, Chen--Yang, Kiss--Sàndor--Yang etc. focussed on $G =\mathbb{Z}$. In the higher rank case, recent work by the authors treated a class of subsets, namely the eventually periodic sets. However, for infinite subsets, not of the above type, the question of existence or inexistence of minimal complements is open. In this article, we study subsets which are not eventually periodic. We introduce the notion of "spiked subsets" and give necessary and sufficient conditions for the existence of minimal complements for them. This provides a partial answer to a problem of Nathanson.

Let $W,W'\subseteq G$ be nonempty subsets in an arbitrary group $G$. The set $W'$ is said to be a complement to $W$ if $WW'=G$ and it is minimal if no proper subset of $W'$ is a complement to $W$. We show that, if $W$ is finite then every complement of $W$ has a minimal complement, answering a problem of Nathanson. This also shows the existence of minimal $r$-nets for every $r\geqslant 0$ in finitely generated groups. Further, we give necessary and sufficient conditions for the existence of minimal complements of a certain class of infinite subsets in finitely generated abelian groups, partially answering another problem of Nathanson. Finally, we provide infinitely many examples of infinite subsets of abelian groups of arbitrary finite rank admitting minimal complements.

We provide an explicit construction of finite 4-regular graphs $(Γ_k)_{k\in \mathbb N}$ with ${girth Γ_k\to\infty}$ as $k\to\infty$ and $\frac{diam Γ_k}{girth Γ_k}\leqslant D$ for some $D>0$ and all $k\in\mathbb{N}$. For each fixed dimension $n\geqslant 2,$ we find a pair of matrices in $SL_{n}(\mathbb{Z})$ such that (i) they generate a free subgroup, (ii)~their reductions $\bmod\, p$ generate $SL_{n}(\mathbb{F}_{p})$ for all sufficiently large primes $p$, (iii) the corresponding Cayley graphs of $SL_{n}(\mathbb{F}_{p})$ have girth at least $c_n\log p$ for some $c_n>0$. Relying on growth results (with no use of expansion properties of the involved graphs), we observe that the diameter of those Cayley graphs is at most $O(\log p)$. This gives infinite sequences of finite $4$-regular Cayley graphs of $SL_n(\mathbb F_p)$ as $p\to\infty$ with large girth and bounded diameter-by-girth ratio. These are the first explicit examples in all dimensions $n\geqslant 2$ (all prior examples were in $n=2$). Moreover, they happen to be expanders. Together with Margulis' and Lubotzky-Phillips-Sarnak's classical constructions, these new graphs are the only known explicit logarithmic girth Cayley graph expanders.

Hall's Theorem is a basic result in Combinatorics which states that the obvious necesssary condition for a finite family of sets to have a transversal is also sufficient. We present a sufficient (but not necessary) condition on the sizes of the sets in the family and the sizes of their intersections so that a transversal exists. Using this, we prove that in a bipartite graph $G$ (bipartition $\{A, B\}$), without 4-cycles, if $°(v) \geq \sqrt{2e|A|}$ for all $v \in A$, then $G$ has a matching of size $|A|$.