arXiv++ Combinatorics

A digraph $G$ is \emph{$k$-geodetic} if for any pair $u,v \in V(G)$ there is at most one $u,v$-walk of length not exceeding $k$. The order of a $k$-geodetic digraph with minimum out-degree $d$ is bounded below by the directed Moore bound $M(d,k) = 1 + d + d^2+ \cdots +d^k$. It is known that the Moore bound cannot be achieved for $d,k \geq 2$. A $k$-geodetic digraph with minimum degree $d$ and order one greater than the Moore bound has \emph{excess one}. In this paper we prove a conjecture that no excess one digraphs exist for $d,k \geq 2$, thus complementing the result of Bannai and Ito on the non-existence of undirected graphs with excess one.

An almost Moore digraph is a diregular digraph of degree $d>1$, diameter $k>1$ and order $d+d^2+ \cdots +d^k$. Their existence has only been shown for $k=2$. It has also been conjectured that there are no more almost Moore digraphs, but so far their nonexistence has only been proven for $k=3,4$ and for $d=2,3$ when $k\geq 3$. In this paper we study the structure of the subdigraphs of an almost Moore digraph induced by the vertices fixed by an automorphism determined by a power of the permutation $r$ of repeats of the digraph. We deduce that each almost Moore digraph of degree $d$ and diameter $k$ with self-repeats has such a subdigraph whose vertices have order $\leq d-1$ under $r$. From this, we extend the results about the nonexistence of almost Moore digraphs with self-repeats of degrees 4 and 5 to those whose diameter is large enough with respect to the degree. More precisely, we prove their nonexistence when $k\geq 2(d-1)$ if $k$ is odd and when $k \geq 2(d-1)^2$ if $k$ is even. We also show that these findings jointly with other results imply that there are no almost Moore digraphs with self-repeats for degrees $d$, $6\leq d\leq 12$, and $k>2$.

The $k$-token graph $F_k(G)$ of a graph $G$ on $n$ vertices is the graph whose vertices are the ${n\choose k}$ $k$-subsets of vertices from $G$, two of which being adjacent whenever their symmetric difference is a pair of adjacent vertices in $G$. It is known that the algebraic connectivity (or second Laplacian eigenvalue) of $F_k(G)$ equals the algebraic connectivity $α(G)$ of $G$. In this paper, we give some bounds on the (Laplacian) eigenvalues of a $k$-token graph (including the algebraic connectivity) in terms of the $h$-token graph, with $h\leq k$. For instance, we prove that if $λ$ is an eigenvalue of $F_k(G)$, but not of $G$, then $$ λ\ge kα(G)-k+1. $$ As a consequence, we conclude that if $α(G)\geq k$, then $α(F_h(G))=α(G)$ for every $h\le k$.

The $k$-token graph $F_k(G)$ of a graph $G$ is the graph whose vertices are the $k$-subsets of vertices from $G$, two of which being adjacent whenever their symmetric difference is a pair of adjacent vertices in $G$. It is a known result that the algebraic connectivity (or second Laplacian eigenvalue) of $F_k(G)$ equals the algebraic connectivity of $G$. In this paper, we first give results that relate the algebraic connectivities of a token graph and the same graph after removing a vertex. Then, we prove the result on the algebraic connectivity of 2-token graphs for two infinite families: the odd graphs $O_r$ for all $r$, and the multipartite complete graphs $K_{n_1,n_2,\ldots,n_r}$ for all $n_1,n_2,\ldots,n_r$ In the case of cycles, we present a new method that allows us to compute the whole spectrum of $F_2(C_n)$. This method also allows us to obtain closed formulas that give asymptotically exact approximations for most of the eigenvalues of $F_2(\textit{}C_n)$.

A graph $G$ of order $n$ is said to be a sum basic equilibrium if and only if for every edge $uv$ from $G$ and any node $v'$ from $G$, when performing the swap of the edge $uv$ for the edge $uv'$, the sum of the distances from $u$ to all the other nodes is not strictly reduced. This concept lies in the heart of the so-called network creation games, where the central problem is to understand the structure of the resulting equilibrium graphs, and in particular, how well they globally minimize the diameter. It was shown in [Alon, Demaine, Hajiaghayi, Leighton, SIAM J. Discrete Math. 27(2), 2013] that the diameter of sum basic equilibria is $2^{O(\sqrt{\log n})}$ in general, and at most $2$ for trees. In this paper we show that the upper bound of $2$ can be extended to bipartite graphs, and that it also holds for some nonbipartite classes like block graphs and cactus graphs.

An $ε$-distance-uniform graph is one in which from every vertex, all but an $ε$-fraction of the remaining vertices are at some fixed distance $d$, called the critical distance. We consider the maximum possible value of $d$ in an $ε$-distance-uniform graph with $n$ vertices. We show that for $\frac1n \le ε\le \frac1{\log n}$, there exist $ε$-distance-uniform graphs with critical distance $2^{Ω(\frac{\log n}{\log ε^{-1}})}$, disproving a conjecture of Alon et al. that $d$ can be at most logarithmic in $n$. We also show that our construction is best possible, in the sense that an upper bound on $d$ of the form $2^{O(\frac{\log n}{\log ε^{-1}})}$ holds for all $ε$ and $n$.