arXiv++ Combinatorics

In 2003, van Dam and Haemers posed a fundamental question in spectral graph theory: does there exist a ``sensible'' matrix whose spectrum determines a random graph up to isomorphism? This paper introduces the class of {\em natural graph matrices}, which are matrices defined by applying a fixed sequence of elementary operations to the adjacency matrix. This class includes many standard matrices such as the adjacency matrix, the Seidel matrix, the Laplacian matrix, and the distance matrix. We give an affirmative answer to the question of van Dam and Haemers by proving the existence of a natural graph matrix whose spectrum determines random graphs up to isomorphism. The proof introduces a new algebraic framework called {\em double algebras}, which provides a simple sufficient condition for spectral determination. This sufficient condition is then shown to hold for random graphs.

In this paper, we study the maximum order $v(k,θ)$ of a connected $k$-regular graph whose second largest eigenvalue is at most $θ$. From Alon-Boppana and Serre, we know that $v(k,θ)$ is finite when $θ< 2\sqrt{k-1}$ while the work of Marcus, Spielman, and Srivastava implies that $v(k,θ)$ is infinite if $θ\geq 2\sqrt{k-1}$. Cioabă, Koolen, Nozaki, and Vermette obtained a general upper bound on $v(k, θ)$ via Nozaki's linear programming bound and determined many values of $v(k,θ)$. The graphs attaining this bound are distance-regular and are called Moore polygons. Damerell and Georgiacodis proved that there are no Moore polygons of diameter $6$ or more. For smaller diameters, there are infinitely many Moore polygons. We complement these results by proving two nonexistence results for Moore polygons with specific parameters. We also determine new values of $v(k,θ)$: $v(4, \sqrt{2}) = 14$ and $v(5, \sqrt{2}) = v(5,\sqrt{5}-1)=16$. The former is achieved by the co-Heawood graph, and the latter by the folded $5$-cube. We verify that any connected $5$-regular graph with second eigenvalue $λ_2$ exceeding $1$ satisfies $λ_2 \geq \sqrt{5} - 1$, and that the unique $5$-regular graph attaining equality in this bound has $10$ vertices. We prove a stronger form of a 2015 conjecture of Kolokolnikov related to the second eigenvalue of cubic graphs of given order, and observe that other recent results on the second eigenvalue of regular graphs are consequences of the general upper bound theorem on $v(k,θ)$ mentioned above.

For a code $C$ in a space with maximal distance $n$, we say that $C$ has symmetric distances if its distance set $S(C)$ is symmetric with respect to $n / 2$. In this paper, we prove that if $C$ is a binary code with length $2n$, constant weight $n$ and symmetric distances, then \[ |C| \leq \binom{2 n - 1}{|S(C)|}. \] This result can be interpreted using the language of Johnson association schemes. More generally, we give a framework to study codes with symmetric distances in Q-bipartite Q-polynomial association schemes, and provide upper bounds for such codes. Moreover, we use number theoretic techniques to determine when the equality holds.

Limited-magnitude errors modify a transmitted integer vector in at most $t$ entries, where each entry can increase by at most $\kp$ or decrease by at most $\km$. This channel model is particularly relevant to applications such as flash memories and DNA storage. A perfect code for this channel is equivalent to a tiling of $\Z^n$ by asymmetric limited-magnitude balls $\cB(n,t,\kp,\km)$. In this paper, we focus on the case where $t=2$ and $\km=\kp-1$, and we derive necessary conditions on $m$ and $n$ for the existence of a lattice tiling of $\cB(n,2,m,m-1)$. Specifically, we prove that if such a tiling exists, then either $4\leq m \leq 512$ and $n<7.23m+4$, or $m>512$ and $n<4m$. In particular, for $m=2$ and $m=3$, we show that no lattice tiling of $\cB(n,2,2,1)$ or $\cB(n,2,3,2)$ exists for any $n\geq 3$.

Tight $2 s$-designs are the $2 s$-$(v, k, λ)$ designs whose sizes achieve the Fisher type lower bound ${v \choose s}$. Symmetric $2$-designs, the Witt $4$-$(23, 7, 1)$ design and the Witt $4$-$(23, 16, 52)$ design are tight designs. It has been widely conjectured since 1970s that there are no other nontrivial tight designs. In this paper, we give a proof of this conjecture. In the proof, an upper bound $v \ll s$ is shown by analyzing the parameters of the designs and the coefficients of the Wilson polynomials, and a lower bound $v \gg s (\ln s)^2$ is shown by using estimates on prime gaps.

Finding the maximum cardinality of a $2$-distance set in Euclidean space is a classical problem in geometry. Lisoněk in 1997 constructed a maximum $2$-distance set in $\mathbb R^8$ with $45$ points. That $2$-distance set constructed by Lisoněk has a distinguished structure of a coherent configuration of type $(2,2;3)$ and is embedded in two concentric spheres in $\mathbb R^8$. In this paper we study whether there exists any other similar embedding of a coherent configuration of type $(2,2;3)$ as a $2$-distance set in $\mathbb R^n$, without assuming any restriction on the size of the set. We prove that there exists no such example other than that of Lisoněk. The key ideas of our proof are as follows: (i) study the geometry of the embedding of the coherent configuration in Euclidean spaces and to drive diophantine equations coming from this embedding. (ii) solve diophantine equations with certain additional conditions of integrality of some parameters of the combinatorial structure by using the method of auxiliary equations.