arXiv++ Combinatorics

Hoffman's bound is a well-known eigenvalue bound on the chromatic number of a graph. By interpreting this bound as a parameter, we show multiple applications of colorings attaining the bound (Hoffman colorings) for several notions of graph regularity: regular, (co-)edge-regular, and strongly regular. For strongly regular graphs, we prove that Hoffman colorability implies pseudo-geometricity, and we strengthen Haemers' finiteness result on strongly regular graphs with a bounded chromatic number by considering the Hoffman bound instead of the chromatic number. Furthermore, by using Hoffman colorings we show that a sufficient condition for non-unique vector colorability shown by Godsil, Roberson, Rooney, Šámal and Varvitsiotis [European J. Combin. 79, 2019] can be relaxed in the setting of strongly regular graphs. Lastly, using Hoffman colorings we derive several new characterizations of the mentioned graph regularity notions.

Let $G$ be a graph with adjacency eigenvalues $λ_1 \geq \cdots \geq λ_n$. Both $λ_1 + λ_n$ and the odd girth of $G$ can be seen as measures of the bipartiteness of $G$. Csikvári proved in 2022 that for odd girth 5 graphs (triangle-free) it holds that $(λ_1+λ_n)/n \le (3-2\sqrt 2) < 0.1716$. In this paper we extend Csikvári's result to general odd girth $k$ proving that $(λ_1+λ_n)/n = O(k^{-1})$. In the case of odd girth 7, we prove a stronger upper bound of $(λ_1+λ_n)/n < 0.0396$.

For a fixed positive integer $t$, we consider the graph colouring problem in which edges at distance at most $t$ are given distinct colours. We obtain sharp lower bounds for the distance-$t$ chromatic index, the least number of colours necessary for such a colouring. Our bounds are of algebraic nature; they depend on the eigenvalues of the line graph and on a polynomial which can be found using integer linear programming methods. We show several graph classes that attain equality for our bounds, and also present some computational results which illustrate the bound's performance. Lastly, we investigate the implications the spectral approach has to the Erdős-Nešetřil conjecture, and derive some conditions which a graph must satisfy if we could use it to obtain a counter example through the proposed spectral methods.

Motivated by the well-known conjecture of Ryser which relates maximum matchings to minimum vertex covers in $r$-partite $r$-uniform hypergraphs, Lovász formulated a stronger conjecture. It states that one can always reduce the matching number by removing $r-1$ vertices. This conjecture was very recently disproven for $r=3$ by Clow, Haxell, and Mohar using the line graph of a $3$-regular graph of order $102$. Building on this, we describe a simple infinite family of counterexamples based on generalized Petersen graphs for the case $r=3$ and give specific counterexamples for $r=4$.

Kemeny's constant quantifies the expected time for a random walk to reach a randomly chosen vertex, providing insight into the global behavior of a Markov chain. We present a novel eigenvector-based formula for computing Kemeny's constant. Moreover, we analyze the impact of network structure on Kemeny's constant. In particular, we use various spectral techniques, such as spectral sparsification of graphs and eigenvalue interlacing, and show that they are particularly useful in this context for deriving approximations and sharp bounds for Kemeny's constant

Switching is an operation on a graph that does not change the spectrum of the adjacency matrix, thus producing cospectral graphs. An important activity in the field of spectral graph theory is the characterization of graphs by their spectrum. Hence, switching provides a tool for disproving the existence of such a characterization. This paper presents a general framework for counting the number of graphs that have a non-isomorphic cospectral graph through a switching method, expanding on the work by Haemers and Spence [European Journal of Combinatorics, 2004]. Our framework is based on a different counting approach, which allows it to be used for all known switching methods for the adjacency matrix. From this, we derive asymptotic results, which we complement with computer enumeration results for graphs up to $10$ vertices.

The quantum chromatic number, a generalization of the chromatic number, was first defined in relation to the non-local quantum coloring game. We generalize the former by defining the quantum $k$-distance chromatic number $χ_{kq}(G)$ of a graph $G$, which can be seen as the quantum chromatic number of the $k$-th power graph, $G^k$, and as generalization of the classical $k$-distance chromatic number $χ_k(G)$ of a graph. It can easily be shown that $χ_{kq}(G) \leq χ_k(G)$. In this paper, we strengthen three classical eigenvalue bounds for the $k$-distance chromatic number by showing they also hold for the quantum counterpart of this parameter. This shows that several bounds by Elphick et al. [J. Combinatorial Theory Ser. A 168, 2019, Electron. J. Comb. 27(4), 2020] hold in the more general setting of distance-$k$ colorings. As a consequence we obtain several graph classes for which $χ_{kq}(G)=χ_{k}(G)$, thus increasing the number of graphs for which the quantum parameter is known.

For a graph $G$, its $k$-th power $G^k$ is constructed by placing an edge between two vertices if they are within distance $k$ of each other. The $k$-independence number $α_k(G)$ is defined as the independence number of $G^k$. By using general semidefinite programming and polynomial methods, we derive sharp bounds for the $k$-independence number of a graph, which extend and unify various existing results. Our work also allows us to easily derive some new bounds for $α_k(G)$.

Local operations of combinatorial structures (graphs, Hadamard matrices, codes, designs) that maintain the basic parameters unaltered, have been widely used in the literature under the name of switching. We show an equivalence between two switching methods to construct inequivalent Hadamard matrices, which were proposed by Orrick [SIAM Journal on Discrete Mathematics, 2008], and the switching method for constructing cospectral graphs which was introduced by Godsil and McKay [Aequationes Mathematicae, 1982].

A switching method is a graph operation that results in cospectral graphs (graphs with the same spectrum). Work by Wang and Xu [Discrete Math. 310 (2010)] suggests that most cospectral graphs with cospectral complements can be constructed using regular orthogonal matrices of level 2, which has relevance for Haemers' conjecture. We present two new switching methods and several combinatorial and geometrical reformulations of existing switching operations of level 2. We also introduce the concept of reducibility and use it to classify all irreducible switching methods that correspond to a conjugation with a regular orthogonal matrix of level 2 with one nontrivial indecomposable block, up to switching sets of size 12, extending previous results.

Hoffman's bound is a well-known spectral bound on the chromatic number of a graph, known to be tight for instance for bipartite graphs. While Hoffman colorings (colorings attaining the bound) were studied before for regular graphs, for general graphs not much is known. We investigate tightness of the Hoffman bound, with a particular focus on irregular graphs, obtaining several results on the graph structure of Hoffman colorings. In particular, we prove a Decomposition Theorem, which characterizes the structure of Hoffman colorings, and we use it to completely classify Hoffman colorability of cone graphs and line graphs. We also prove a partial converse, the Composition Theorem, leading to an algorithm for computing all connected Hoffman colorable graphs for some given number of vertices and colors. Since several graph coloring parameters are known to be sandwiched between the Hoffman bound and the chromatic number, as a byproduct of our results, we obtain the values of these chromatic parameters.

We derive a linear programming bound on the maximum cardinality of error-correcting codes in the sum-rank metric. Based on computational experiments on relatively small instances, we observe that the obtained bounds outperform all previously known bounds.

In this note we apply a spectral method to the graph of alternating bilinear forms. In this way, we obtain upper bounds on the size of an alternating rank-metric code for given values of the minimum rank distance. We computationally compare our results with Delsarte's linear programming bound, observing that they give the same value. For small values of the minimum rank distance, we are able to establish the equivalence of the two methods. The problem remains open for larger values.

We derive eigenvalue bounds for the $t$-distance chromatic number of a graph, which is a generalization of the classical chromatic number. We apply such bounds to hypercube graphs, providing alternative spectral proofs for results by Ngo, Du and Graham [Inf. Process. Lett., 2002], and improving their bound for several instances. We also apply the eigenvalue bounds to Lee graphs, extending results by Kim and Kim [Discrete Appl. Math., 2011]. Finally, we provide a complete characterization for the existence of perfect Lee codes of minimum distance $3$. In order to prove our results, we use a mix of spectral and number theory tools. Our results, which provide the first application of spectral methods to Lee codes, illustrate that such methods succeed to capture the nature of the Lee metric.

In this note, we use eigenvalue interlacing to derive an inequality between the maximum degree of a graph and its maximum and minimum adjacency eigenvalues. The case of equality is fully characterized.

The exact distance $t$-power of a graph $G$, $G^{[\sharp t]}$, is a graph which has the same vertex set as $G$, with two vertices adjacent in $G^{[\sharp t]}$ if and only if they are at distance exactly $t$ in the original graph $G$. We study the clique number of this graph, also known as the $t$-equidistant number. We show that it is NP-hard to determine the $t$-equidistant number of a graph, and that in fact, it is NP-hard to approximate it within a constant factor. We also investigate how the $t$-equidistant number relates to another distance-based graph parameter; the $t$-independence number. In particular, we show how large the gap between both parameters can be. The hardness results motivate deriving eigenvalue bounds, which compare well against a known general bound. In addition, the tightness of the proposed eigenvalue bounds is studied.

A unified framework for the Expander Mixing Lemma for irregular graphs using adjacency eigenvalues is presented, as well as two new versions of it. While the existing Expander Mixing Lemmas for irregular graphs make use of the notion of volume (the sum of degrees within a vertex set), we instead propose to use the Perron eigenvector entries as vertex weights, which is a way to regularise the graph. This provides a new application of weight partitions of graphs. The new Expander Mixing Lemma versions are then applied to obtain several eigenvalue bounds for NP-hard parameters such as the zero forcing number, the vertex integrity and the routing number of a graph.

The inverse eigenvalue problem studies the possible spectra among matrices whose off-diagonal entries have their zero-nonzero patterns described by the adjacency of a graph $G$. In this paper, we refer to the $i$-nullity pair of a matrix $A$ as $(\operatorname{null}(A), \operatorname{null}(A(i))$, where $A(i)$ is the matrix obtained from $A$ by removing the $i$-th row and column. The inverse $i$-nullity pair problem is considered for complete graphs, cycles, and trees. The strong nullity interlacing property is introduced, and the corresponding supergraph lemma and decontraction lemma are developed as new tools for constructing matrices with a given nullity pair.

Let $G$ be a graph on $n$ vertices with adjacency matrix $A$, and let $\mathbf{1}$ be the all-ones vector. We call $G$ controllable if the set of vectors $\mathbf{1}, A\mathbf{1}, \dots, A^{n-1}\mathbf{1}$ spans the whole space $\mathbb{R}^n$. We characterize the isomorphism problem of controllable graphs in terms of other combinatorial, geometric and logical problems. We also describe a polynomial time algorithm for graph isomorphism that works for almost all graphs.

A Neumaier graph is a non-complete edge-regular graph containing a regular clique. In this work, we prove several results on the existence of small strictly Neumaier graphs. In particular, we present a theoretical proof of the uniqueness of the smallest strictly Neumaier graph with parameters $(16,9,4;2,4)$, we establish the existence of a strictly Neumaier graph with parameters $(25,12,5;2,5)$, and we disprove the existence of strictly Neumaier graphs with parameters $(25,16,9;3,5)$, $(28,18,11;4,7)$, $(33,24,17;6,9)$, $(35,22,12;3,5)$ and $(55,34,18;3,5)$. Our proofs use combinatorial techniques and a novel application of integer programming methods.