arXiv++ Combinatorics

The modelling of interconnection networks by graphs motivated the study of several extremal problems that involve well known parameters of a graph (degree, diameter, girth and order) and ask for the optimal value of one of them while holding the other two fixed. Here we focus in {\em bipartite Moore graphs\/}, that is, bipartite graphs attaining the optimum order, fixed either the degree/diameter or degree/girth. The fact that there are very few bipartite Moore graphs suggests the relaxation of some of the constraints implied by the bipartite Moore bound. First we deal with {\em local bipartite Moore graphs}. We find in some cases those local bipartite Moore graphs with local girths as close as possible to the local girths given by a bipartite Moore graph. Second, we construct a family of $(q+2)$-bipartite graphs of order $2(q^2+q+5)$ and diameter $3$, for $q$ a power of prime. These graphs attain the record value for $q=9$ and improve the values for $q=11$ and $q=13$.

Coloring a graph $G$ consists in finding an assignment of colors $c: V(G)\to\{1,\ldots,p\}$ such that any pair of adjacent vertices receives different colors. The minimum integer $p$ such that a coloring exists is called the chromatic number of $G$, denoted by $χ(G)$. We investigate the chromatic number of powers of graphs, i.e. the graphs obtained from a graph $G$ by adding an edge between every pair of vertices at distance at most $k$. For $k=1$, Brooks' theorem states that every connected graph of maximum degree $Δ\geqslant 3$ excepted the clique on $Δ+1$ vertices can be colored using $Δ$ colors (i.e. one color less than the naive upper bound). For $k\geqslant 2$, a similar result holds: excepted for Moore graphs, the naive upper bound can be lowered by 2. We prove that for $k\geqslant 3$ and for every $Δ$, we can actually spare $k-2$ colors, excepted for a finite number of graphs. We then improve this value to $Θ((Δ-1)^{\frac{k}{12}})$.

We prove a sharp upper bound on the number of shortest cycles contained inside any connected graph in terms of its number of vertices, girth, and maximal degree. Equality holds only for Moore graphs, which gives a new characterization of these graphs. In the case of regular graphs, our result improves an inequality of Teo and Koh. We also show that a subsequence of the Ramanujan graphs of Lubotzky-Phillips-Sarnak have super-linear kissing numbers.

The \emph{packing chromatic number $χ_ρ(G)$} of a graph $G$ is the smallest integer $k$ for which there exists a vertex coloring $Γ: V(G)\rightarrow \{1,2,\dots , k\}$ such that any two vertices of color $i$ are at distance at least $i + 1$. For $g\in \{6,8,12\}$, $(q+1,g)$-Moore graphs are $(q+1)$-regular graphs with girth $g$ which are the incidence graphs of a symmetric generalized $g/2$-gons of order $q$. In this paper we study the packing chromatic number of a $(q+1,g)$-Moore graph $G$. For $g=6$ we present the exact value of $χ_ρ(G)$. For $g=8$, we determine $χ_ρ(G)$ in terms of the intersection of certain structures in generalized quadrangles. For $g=12$, we present lower and upper bounds for this invariant when $q\ge 9$ an odd prime power.

A bipartite biregular $(n,m;g)$-graph $G$ is a bipartite graph of even girth $g$ having the degree set $\{n,m\}$ and satisfying the additional property that the vertices in the same partite set have the same degree. An $(n,m;g)$-bipartite biregular cage is a bipartite biregular $(n,m;g)$-graph of minimum order. In their 2019 paper, Filipovski, Ramos-Rivera and Jajcay present lower bounds on the orders of bipartite biregular $(n,m;g)$-graphs, and call the graphs that attain these bounds {\em bipartite biregular Moore cages}. In parallel with the well-known classical results relating the existence of $k$-regular Moore graphs of even girths $g = 6,8 $ and $12$ to the existence of projective planes, generalized quadrangles, and generalized hexagons, we prove that the existence of $S(2,k,v)$-Steiner systems yields the existence of bipartite biregular $(k,\frac{v-1}{k-1};6)$-Moore cages. Moreover, in the special case of Steiner triple systems (i.e., in the case $k=3$), we completely solve the problem of the existence of $(3,m;6)$-bipartite biregular cages for all integers $m\geq 4$. Considering girths higher than $6$ and prime powers $s$, we relate the existence of generalized polygons (quadrangles, hexagons and octagons) with the existence of $(n+1,n^2+1;8)$, $(n+1,n^3+1;12)$, and $(n+1,n^2+1;16)$-bipartite biregular Moore cages, respectively. Using this connection, we derive improved upper bounds for the orders of bipartite biregular cages of girths $8$, $12$ and $14$.

The undirected degree/diameter and degree/girth problems and their directed analogues have been studied for many decades in the search for efficient network topologies. Recently such questions have received much attention in the setting of mixed graphs, i.e. networks that admit both undirected \emph{edges} and directed \emph{arcs}. The degree/diameter problem for mixed graphs asks for the largest possible order of a network with diameter $k$, maximum undirected degree $\leq r$ and maximum directed out-degree $\leq z$. It is also of interest to find smallest possible $k$-geodetic mixed graphs with minimum undirected degree $\geq r$ and minimum directed out-degree $\geq z$. A simple counting argument reveals the existence of a natural bound, the \emph{Moore bound}, on the order of such graphs; a graph that meets this limit is a \emph{mixed Moore graph}. Mixed Moore graphs can exist only for $k = 2$ and even in this case it is known that they are extremely rare. It is therefore of interest to search for graphs with order one away from the Moore bound. Such graphs must be out-regular; a much more difficult question is whether they must be totally regular. For $k = 2$, we answer this question in the affirmative, thereby resolving an open problem stated in a recent paper of López and Miret. We also present partial results for larger $k$. We finally put these results to practical use by proving the uniqueness of a 2-geodetic mixed graph with order exceeding the Moore bound by one.

The degree-diameter problem seeks to find the largest possible number of vertices in a graph having given diameter and given maximum degree. There has been much recent interest in the problem for mixed graphs, where we allow both undirected edges and directed arcs in the graph. For a diameter 2 graph with maximum undirected degree $r$ and directed out-degree $z$, a straightforward counting argument yields an upper bound $M(z,r,2)=(z+r)^2+z+1$ for the order of the graph. Apart from the case $r=1$, the only three known examples of mixed graphs attaining this bound are Cayley graphs, and there are an infinite number of feasible pairs $(r,z)$ where the existence of mixed Moore graphs with these parameters is unknown. We use a combination of elementary group-theoretical arguments and computational techniques to rule out the existence of further examples of mixed Cayley graphs attaining the Moore bound for all orders up to 485.

In this paper we generalize the concept of uniquely $K_r$-saturated graphs to hypergraphs. Let $K_r^{(k)}$ denote the complete $k$-uniform hypergraph on $r$ vertices. For integers $k,r,n$ such that $2\le k <r<n$, a $k$-uniform hypergraph $H$ with $n$ vertices is uniquely $K_r^{(k)}$-saturated if $H$ does not contain $K_r^{(k)}$ but adding to $H$ any $k$-set that is not a hyperedge of $H$ results in exactly one copy of $K_r^{(k)}$. Among uniquely $K_r^{(k)}$-saturated hypergraphs, the interesting ones are the primitive ones that do not have a dominating vertex---a vertex belonging to all possible ${n-1\choose k-1}$ edges. Translating the concept to the complements of these hypergraphs, we obtain a natural restriction of $τ$-critical hypergraphs: a hypergraph $H$ is uniquely $τ$-critical if for every edge $e$, $τ(H-e)=τ(H)-1$ and $H-e$ has a unique transversal of size $τ(H)-1$. We have two constructions for primitive uniquely $K_r^{(k)}$-saturated hypergraphs. One shows that for $k$ and $r$ where $4\le k<r\le 2k-3$, there exists such a hypergraph for every $n>r$. This is in contrast to the case $k=2$ and $r=3$ where only the Moore graphs of diameter two have this property. Our other construction keeps $n-r$ fixed; in this case we show that for any fixed $k\ge 2$ there can only be finitely many examples. We give a range for $n$ where these hypergraphs exist. For $n-r=1$ the range is completely determined: $k+1\le n \le {(k+2)^2\over 4}$. For larger values of $n-r$ the upper end of our range reaches approximately half of its upper bound. The lower end depends on the chromatic number of certain Johnson graphs.

We deal with connected $k$-regular multigraphs of order $n$ that has only three distinct eigenvalues. In this paper, we study the largest possible number of vertices of such a graph for given $k$. For $k=2,3,7$, the Moore graphs are largest. For $k\ne 2,3,7,57$, we show an upper bound $n\leq k^2-k+1$, with equality if and only if there exists a finite projective plane of order $k-1$ that admits a polarity.

This paper describes a new approach to the problem of generating the class of all geodetic graphs homeomorphic to a given geodetic one. An algorithmic procedure is elaborated to carry out a systematic finding of such a class of graphs. As a result, the enumeration of the class of geodetic graphs homeomorphic to certain Moore graphs has been performed.

We prove a tight upper bound on the independence polynomial (and total number of independent sets) of cubic graphs of girth at least 5. The bound is achieved by unions of the Heawood graph, the point/line incidence graph of the Fano plane. We also give a tight lower bound on the total number of independent sets of triangle-free cubic graphs. This bound is achieved by unions of the Petersen graph. We conjecture that in fact all Moore graphs are extremal for the scaled number of independent sets in regular graphs of a given minimum girth, maximizing this quantity if their girth is even and minimizing if odd. The Heawood and Petersen graphs are instances of this conjecture, along with complete graphs, complete bipartite graphs, and cycles.

A mixed graph is said to be dense if its order is close to the Moore bound and it is optimal if there is not a mixed graph with the same parameters and bigger order. We present a construction that provides dense mixed graphs of undirected degree $q$, directed degree $\frac{q-1}{2}$ and order $2q^2$, for $q$ being an odd prime power. Since the Moore bound for a mixed graph with these parameters is equal to $\frac{9q^2-4q+3}{4}$ the defect of these mixed graphs is $({\frac{q-2}{2}})^2-\frac{1}{4}$. In particular we obtain a known mixed Moore graph of order $18$, undirected degree $3$ and directed degree $1$ called Bosák's graph and a new mixed graph of order $50$, undirected degree $5$ and directed degree $2$, which is proved to be optimal.

We consider the critical group of a hypothetical Moore graph of diameter $2$ and valency $57$. Determining this group is equivalent to finding the Smith normal form of the Laplacian matrix of such a graph. We show that all of the Sylow $p$-subgroups of the critical group must be elementary abelian with the exception of $p = 5$. We prove that the $5$-rank of the Laplacian matrix determines the critical group up to two possibilities.

Let $C(d,k)$ and $AC(d,k)$ be the largest order of a Cayley graph and a Cayley graph based on an abelian group, respectively, of degree $d$ and diameter $k$. When $k=2$, it is well-known that $C(d,2)\le d^2+1$ with equality if and only if the graph is a Moore graph. In the abelian case, we have $AC(d,2)\le \frac{d^2}{2}+d+1$. The best currently lower bound on $AC(d,2)$ is $\frac{3}{8}d^2-1.45 d^{1.525}$ for all sufficiently large $d$. In this paper, we consider the construction of large graphs of diameter $2$ using generalized difference sets. We show that $AC(d,2)\ge \frac{25}{64}d^2-2.1 d^{1.525}$ for sufficiently large $d$ and $AC(d,2) \ge \frac{4}{9}d^2$ if $d=3q$, $q=2^m$ and $m$ is odd.

We embed neighborhood geometries of graphs on surfaces as point-circle configurations. We give examples coming from regular maps on surfaces with maximum number of automorphisms for their genus and survey geometric realization of pentagonal geometries coming from Moore graphs. An infinite family of point-circle $v_4$ configurations on $p$-gonal surfaces with two $p$-gonal morphisms is given. The image of these configuration on the sphere under the two $p$-gonal morphisms is also described.

Delsarte, Goethals, and Seidel (1977) used the linear programming method in order to find bounds for the size of spherical codes endowed with prescribed inner products between distinct points in the code. In this paper, we develop the linear programming method to obtain bounds for the number of vertices of connected regular graphs endowed with given distinct eigenvalues. This method is proved by some "dual" technique of the spherical case, motivated from the theory of association scheme. As an application of this bound, we prove that a connected $k$-regular graph satisfying $g>2d-1$ has the minimum second-largest eigenvalue of all $k$-regular graphs of the same size, where $d$ is the number of distinct non-trivial eigenvalues, and $g$ is the girth. The known graphs satisfying $g>2d-1$ are Moore graphs, incidence graphs of regular generalized polygons of order $(s,s)$, triangle-free strongly regular graphs, and the odd graph of degree $4$.

Cranston and Kim conjecture that if $G$ is a connected graph with maximum degree $Δ$ and $G$ is not a Moore Graph, then $χ_l(G^2) \le Δ^2-1$; here $χ_l$ is the list chromatic number. We prove their conjecture; in fact, this upper bound holds even for online list chromatic number.

We develop a new method for enumerating independent sets of a fixed size in general graphs, and we use this method to show that a conjecture of Engbers and Galvin holds for all but finitely many graphs. We also use our method to prove special cases of a conjecture of Kahn. In addition, we show that our method is particularly useful for computing the number of independent sets of small sizes in general regular graphs and Moore graphs, and we argue that it can be used in many other cases when dealing with graphs that have numerous structural restrictions.

Let $G$ be a connected graph with maximum degree $Δ\ge 3$. We investigate the upper bound for the chromatic number $χ_γ(G)$ of the power graph $G^γ$. It was proved that $χ_γ(G) \leΔ\frac{(Δ-1)^γ-1}{Δ-2}+1=:M+1$ with equality if and only $G$ is a Moore graph. If $G$ is not a Moore graph, and $G$ holds one of the following conditions: (1) $G$ is non-regular, (2) the girth $g(G) \le 2γ-1$, (3) $g(G) \ge 2γ+2$, and the connectivity $κ(G) \ge 3$ if $γ\ge 3$, $κ(G) \ge 4$ but $g(G) >6$ if $γ=2$, (4) $Δ$ is sufficiently large than a given number only depending on $γ$, then $χ_γ(G) \le M-1$. By means of the spectral radius $λ_1(G)$ of the adjacency matrix of $G$, it was shown that $χ_2(G) \le λ_1(G)^2+1$, with equality holds if and only if $G$ is a star or a Moore graph with diameter 2 and girth 5, and $χ_γ(G) < λ_1(G)^γ+1$ if $γ\ge 3$.

Let $ρ(G)$ denote the number of convex cycles of a simple graph G of order n, size m, and girth 3 <= g <=n. It is proved that $ρ(G) \leq \frac{n}{g}(m-n+1)$ and that equality holds if and only if G is an even cycle or a Moore graph. The equality also holds for a possible Moore graph of diameter 2 and degree 57 thus giving a new characterization of Moore graphs.