arXiv++ Combinatorics

Lopsided sets were introduced by Jim Lawrence in 1983 when he studied the subsets of $\{-1,+1\}^E$ that encode the intersection pattern of a convex set $K$ with the orthants of ${\mathbb R}^E$. Lopsided sets have been independently rediscovered by several other authors, in particular by Andreas Dress in 1995, who called them \emph{ample} sets. Dress defined ample sets as the set families satisfying equality in a combinatorial inequality, which holds for all set families. In a previous article we characterized ample sets in various combinatorial and graph-theoretical ways. In this paper we study geometric realizations of ample sets as cubihedra (cube complexes), which yields several new characterizations. One such characterization establishes that the cubihedra of ample sets endowed with the intrinsic $\ell_1$-metric are exactly the isometric subspaces of $\ell_1$-spaces (which we call, weakly convex sets). We also view the barycenter maps of faces of cubihedra of ample sets as collections of $\{ \pm 1, 0\}$-sign vectors and, in analogy with the characterization of oriented matroids by the covectors and the cocircuits. Moreover, we characterize the collections of $\{ \pm 1, 0\}$-sign vectors corresponding to barycenter maps of all faces and all maximal faces of an ample set. Furthermore, we show that any ample set $\covectors\subseteq \{ -1,+1\}^E$ is realizable as the intersection pattern of a weakly convex set $K$ with the orthants of ${\mathbb R}^E$. All this testifies that the concept of ample sets is quite natural in the context of cube complexes.

A Neumaier graph is an edge-regular graph with a regular clique. Such a graph is said to have parameters $(v,k,λ;e,s)$ if it is a $k$-regular graph on $v$ vertices having a clique of size $s$ such that every edge is contained in $λ$ triangles and every vertex outside $C$ is adjacent with exactly $e$ vertices inside $C$. It was an open problem whether Neumaier graphs can exist with exactly five eigenvalues. In the present paper, we describe a family of Neumaier graphs, and show that inside this family there are 1063 nonisomorphic Neumaier graphs with parameters $(v,k,λ;e,s)=(48,14,2;1,4)$, among which 25 have exactly five eigenvalues. These 1063 graphs are also the first known examples of Neumaier graphs for the mentioned parameters.

In 1979, Neumaier gave a bound on $λ$ in terms of $m$ and $μ$, where $-m$ is the smallest eigenvalue of a primitive strongly regular graph, unless the graph in question belongs to one of the two infinite families of strongly regular graphs. We improve this result. We also indicate how our methods can be used to give an alternate derivation of Bruck's Completion Theorem for orthogonal arrays.

We construct a $2$-distance set with $277$ points in the $23$-dimensional Euclidean space having distances $2$ and $\sqrt{6}$.

In this paper, we classify non-geometric distance-regular graphs of diameter at least $3$ with smallest eigenvalue at least $-3$. This is progress towards what is hoped to be an eventual complete classification of distance-regular graphs with smallest eigenvalue at least $-3$, analogous to existing classification results available in the case that the smallest eigenvalue is at least $-2$.

In 2017, Qiao and Koolen showed that for any fixed integer $D\geq 3$, there are only finitely many such graphs with $θ_{\min}\leq -αk$, where $0<α<1$ is any fixed number. In this paper, we will study non-bipartite distance-regular graphs with relatively small $θ_{\min}$ compared with $k$. In particular, we will show that if $θ_{\min}$ is relatively close to $-k$, then the odd girth $g$ must be large. Also we will classify the non-bipartite distance-regular graphs with $θ_{\min} \leq \frac{D-1}{D}$ for $D =4,5$.

The Cheeger constant of a graph is the smallest possible ratio between the size of a subgraph and the size of its boundary. It is well known that this constant must be at least $\frac{λ_1}{2}$, where $λ_1$ is the smallest positive eigenvalue of the Laplacian matrix. The subject of this paper is a conjecture of the authors that for distance-regular graphs the Cheeger constant is at most $λ_1$. In particular, we prove the conjecture for the known infinite families of distance-regular graphs, distance-regular graphs of diameter 2 (the strongly regular graphs), several classes of imprimitive distance-regular graphs, and most distance-regular graphs with small valency.

We introduce the notion of Bonnet-Myers and Lichnerowicz sharpness in the Ollivier Ricci curvature sense. Our main result is a classification of all self-centered Bonnet-Myers sharp graphs (hypercubes, cocktail party graphs, even-dimensional demi-cubes, Johnson graphs $J(2n,n)$, the Gosset graph and suitable Cartesian products). We also present a purely combinatorial reformulation of this result. We show that Bonnet-Myers sharpness implies Lichnerowicz sharpness. We also relate Bonnet-Myers sharpness to an upper bound of Bakry-Émery $\infty$-curvature, which motivates a generalconjecture about Bakry-Émery $\infty$-curvature.

In this paper we give a new characterization of the dual polar graphs, extending the work of Brouwer and Wilbrink on regular near polygons. Also as a consequence of our characterization we confirm a conjecture of the authors on non-bipartite distance-regular graphs with smallest eigenvalue at most $-k/2$, where $k$ is the valency of the distance-regular graph, in case of $c_2 \geq3$ and $a_1 =1$.

We determine the distance-regular graphs with diameter at least $3$ and $c_2\geq 2$ but without induced $K_{1,4}$-subgraphs.

Juriśič et al. conjectured that if a distance-regular graph $Γ$ with diameter $D$ at least three has a light tail, then one of the following holds: 1.$a_1 =0$; 2.$Γ$ is an antipodal cover of diameter three; 3.$Γ$ is tight; 4.$Γ$ is the halved $2D+1$-cube; 5.$Γ$ is a Hermitian dual polar graph $^2A_{2D-1}(r)$ where $r$ is a prime power. In this note, we will consider the case when the light tail corresponds to the eigenvalue $-\frac{k}{a_1 +1}$. Our main result is: Theorem Let $Γ$ be a non-bipartite distance-regular graph with valency $k \geq 3$ , diameter $D \geq 3$ and distinct eigenvalues $θ_0 > θ_1 > \cdots > θ_D$. Suppose that $Γ$ is $2$-bounded with smallest eigenvalue $θ_D = -\frac{k}{a_1 +1}$. If the minimal idempotent $E_D$, corresponding to eigenvalue $θ_D$, is a light tail, then $Γ$ is the dual polar graph $^2A_{2D-1}(r)$, where $r$ is a prime power. As a consequence of this result we will also show: Theorem Let $Γ$ be a distance-regular graph with valency $k \geq 3$, diameter $D \geq 2$, $a_1 =1$ and $θ_0 > θ_1 > \cdots > θ_D$. If $c_2 \geq5$ and $θ_D = -k/2$, then $c_2 =5$ and $Γ$ is the dual polar graph $^2A_{2D-1}(2)$.

In this paper, we study the non-bipartite distance-regular graphs with valency k and having a smallest eigenvalue at most -k/2.

It is known that a distance-regular graph with valency $k$ at least three admits at most two Q-polynomial structures. % In this note we show that all distance-regular graphs with diameter four and valency at least three admitting two $Q$-polynomial structures are either dual bipartite or almost dual imprimitive. By the work of Dickie \cite{Dickie} this implies that any distance-regular graph with diameter $d$ at least four and valency at least three admitting two $Q$-polynomial structures is, provided it is not a Hadamard graph, either the cube $H(d,2)$ with $d$ even, the half cube ${1}/{2} H(2d+1,2)$, the folded cube $\tilde{H}(2d+1,2)$, or the dual polar graph on $[^2A_{2d-1}(q)]$ with $q\ge 2$ a prime power.

We give a structural classification of edge-signed graphs with smallest eigenvalue greater than -2. We prove a conjecture of Hoffman about the smallest eigenvalue of the line graph of a tree that was stated in the 1970s. Furthermore, we prove a more general result extending Hoffman's original statement to all edge-signed graphs with smallest eigenvalue greater than -2. Our results give a classification of the special graphs of fat Hoffman graphs with smallest eigenvalue greater than -3.

We investigate fat Hoffman graphs with smallest eigenvalue at least -3, using their special graphs. We show that the special graph S(H) of an indecomposable fat Hoffman graph H is represented by the standard lattice or an irreducible root lattice. Moreover, we show that if the special graph admits an integral representation, that is, the lattice spanned by it is not an exceptional root lattice, then the special graph S(H) is isomorphic to one of the Dynkin graphs A_n, D_n, or extended Dynkin graphs A_n or D_n.

A realisation of a metric $d$ on a finite set $X$ is a weighted graph $(G,w)$ whose vertex set contains $X$ such that the shortest-path distance between elements of $X$ considered as vertices in $G$ is equal to $d$. Such a realisation $(G,w)$ is called optimal if the sum of its edge weights is minimal over all such realisations. Optimal realisations always exist, although it is NP-hard to compute them in general, and they have applications in areas such as phylogenetics, electrical networks and internet tomography. In [Adv. in Math. 53, 1984, 321-402] A.~Dress showed that the optimal realisations of a metric $d$ are closely related to a certain polytopal complex that can be canonically associated to $d$ called its tight-span. Moreover, he conjectured that the (weighted) graph consisting of the zero- and one-dimensional faces of the tight-span of $d$ must always contain an optimal realisation as a homeomorphic subgraph. In this paper, we prove that this conjecture does indeed hold for a certain class of metrics, namely the class of totally"=decomposable metrics whose tight-span has dimension two. As a corollary, it follows that the minimum Manhattan network problem is a special case of finding optimal realisations of two-dimensional totally-decomposable metrics.

We investigate the behavior of electric potentials on distance-regular graphs, and extend some results of a prior paper. Our main result, Theorem 4, shows(together with Corollary 3) that if distance is measured by the electric resistance between points then all points are close to being equidistant on a distance-regular graph with large valency. A number of auxiliary results are also presented.

In this paper, we classify the connected non-bipartite integral graphs with spectral radius three.

We consider a distance-regular graph $\G$ with diameter $d \ge 3$ and eigenvalues $k=θ_0>θ_1>... >θ_d$. We show the intersection numbers $a_1, b_1$ satisfy $$ (θ_1 + {k \over a_1+1}) (θ_d + {k \over a_1+1}) \ge - {ka_1b_1 \over (a_1+1)^2}. $$ We say $\G$ is {\it tight} whenever $\G$ is not bipartite, and equality holds above. We characterize the tight property in a number of ways. For example, we show $\G$ is tight if and only if the intersection numbers are given by certain rational expressions involving $d$ independent parameters. We show $\G$ is tight if and only if $a_1\not=0$, $a_d=0$, and $\G$ is 1-homogeneous in the sense of Nomura. We show $\G$ is tight if and only if each local graph is connected strongly-regular, with nontrivial eigenvalues $-1-b_1(1+θ_1)^{-1}$ and $-1-b_1(1+θ_d)^{-1}$. Three infinite families and nine sporadic examples of tight distance-regular graphs are given.