arXiv++ Combinatorics

In this article, we contribute to the spectral analysis of graph associahedra by providing a lower bound for the second largest eigenvalue of $\mathcal{A}(G)$. Furthermore, using equitable partitions, we analyze the spectrum of the stellohedron $\mathcal{A}(K_{1,n})$. Specifically, we prove the existence of an eigenvalue in each interval $(n-i, n-i+1]$ for $1 \leq i \leq 5$, establish the presence of an eigenvalue with high multiplicity in $(n - \frac{3}{n} + \frac{2}{n^2-n}, n)$, and identify two additional small eigenvalues.

We study the $R$-sequenceability of finite groups of odd order. Building on the classical theory of $R^*$-sequences and orthomorphisms, we explore two tools: the notion of $R^{**}$-sequenceability, a strengthening of $R^*$-sequenceability tailored for inductive arguments over normal subgroups with cyclic quotients, and the \textit{odd cycle index} $τ(G)$, which measures how many orthomorphisms are required to generate a full cycle together with an involution. Our main result is a Quotient-Normal Gadget theorem, which shows that if $G$ has a normal subgroup $N$ such that $G/N$ is $R^{**}$-sequenceable and $τ(N) \leq |G/N| - 3$, then $G$ itself is $R^{**}$-sequenceable. We prove that $τ(G) = 2$ for cyclic groups of order coprime with $3$, and establish an inductive bound $τ(G) \leq \max\{τ(N), τ(G/N)\}$ for odd ordered groups with a normal subgroup $N$. As consequences, we show that every group whose order is coprime with $30$ is $R$-sequenceable, and that every nilpotent group whose order is coprime with $6$ and not a power of $5$ is $R$-sequenceable. These results extend prior work on abelian groups to broad families of non-abelian groups.

This paper resolves several open questions regarding the algebraic and metric inheritance of distance-based regularities under graph products, with a particular focus on Commutative Distance Degree-Regular (CDDR) graphs. We characterize the behavior of CDDR, distance mean-regular (DMR), and distance degree-regular (DDR) graphs under the strong and direct (tensor) products. To address the non-closure of classical regularities under the direct product, we introduce and study a novel, broader family of graphs: \textit{Distance Walk Regular (DWR)} graphs. Furthermore, we relax the global commutativity condition by defining and structuralizing the class of $i$-CDDR graphs, providing deep characterizations within the realm of Cayley graphs. By developing systematic lifting operations, we construct infinite families of graphs with arbitrarily large order and diameter within specific structural intersections, effectively settling topological gaps in the current regularity hierarchy.

Let $S$ be a split graph with bipartition $(K,I)$ and let $Φ(S)$ be the factor graph associated with $S$, a multigraph on $I$ whose encodes the combinatorial information about 2-switch transformations in $S$. We study induced paths and cycles in $Φ(S)$ and show that they impose strong structural restrictions on the neighborhoods in $S$ of the corresponding vertices. In particular, induced paths generate chains of neighborhood inclusions which force a monotone behavior of the degrees (in $S$) of their vertices along the path. As a consequence, we prove that induced cycles in $Φ(S)$ have length $\leq 4$. Finally, we show that in any induced path only the first or the last edge can be simple, which yields an upper bound for the diameter of $Φ(S)$ in terms of the 2-switch-degree of $S$.

Let $α(G)$ denote the cardinality of a maximum independent set. An independent set $I$ of $G$ is critical if $\left|I\right|-\left|N(I)\right|\ge\left|J\right|-\left|N(J)\right|$ for every independent set $J$ of $G$. Let $\text{core}(G)$ and $\text{corona}(G)$ be the intersection/union of all maximum independent sets of $G$. Let $\text{ker}(G)$ and $\text{diadem}(G)$ be the intersection/union of all critical independent sets of $G$. In this paper we prove that \[ \left|\text{corona}(G)\right|+\left|\text{core}(G)\right|\le2α(G)+k, \] \noindent where $k$ is the number of vertex-distinct odd cycles in $G$, thus confirming a recent conjecture in the area. Moreover, we prove that \[ \left|\text{nucleus}(G)\right|+\left|\text{diadem}(G)\right|\le2α(G), \] \noindent thereby confirming another conjecture (Levit--Mandrescu 2014). As an application of these facts, we obtain a chain of inequalities \[ \left|\text{nucleus}(G)\right|+\left|\text{diadem}(G)\right|\le2α(G)\le\left|\text{corona}(G)\right|+\left|\text{core}(G)\right|\le2α(G)+k. \] \noindent The paper concludes with a collection of related open problems.

Given any two forests (pseudoforests) with the same degree sequence, we show that one can be transformed into the other by a sequence of 2-switches in such a way that all the intermediate graphs of the transformation are forests (pseudoforests). We also prove that the 2-switch operation perturbs minimally some well-known integer parameters in families of graphs with the same degree sequence. Then, we apply these results to conclude that the studied parameters have the interval property on those families.

We introduce and study a loopless multigraph associated with a split graph $S$: the factor graph of $S$, denoted by $Φ(S)$, which encodes the combinatorial information about 2-switch transformations over $S$. This construction provides a cleaner, compact and non-redundant alternative to the graph $A_4(S)$ by Barrus and West, for the particular case of split graphs. If $Φ(S)$ is simple and connected, we obtain a precise description of the underlying structure of $S$, particularly when $Φ(S)$ is complete, highlighting the usefulness of the factor graph for understanding 2-switch dynamics in balanced and indecomposable split graphs, as well as its 2-switch-degree classification.

In this work, we delve into the study of the 2-switch-degree of a graph $G$, which is nothing more than the degree of $G$ as a vertex of the realization graph $\mathcal{G}(s)$ associated with the degree sequence $s$ of $G$. We explore the characteristics of active and inactive vertices, the basic properties of the degree, explicit formulas for its computation, and its behavior in specific families of graphs, such as trees and unicyclic graphs.

As evidence for the Odd Hadwiger Conjecture, Simonyi and Zsbán (2010) showed that every Kneser graph $G$ with large enough order (compared to $χ(G)$) contains a totally odd subdivision of $K_{χ(G)}$. A recent result of Steiner (2024), shows that every Schriver graph, and thus every Kneser graph, satisfies the Odd Hadwiger Conjecture, that is, it contains $K_{χ(G)}$ as an odd minor. We strengthen these results for Kneser graphs in two ways. We show that for every $t\ge 8$, there are $t$-chromatic Kneser graphs that contain arbitrarily large complete totally odd subdivisions (and thus, odd minors). We also show that every Kneser graph contains a totally odd subdivision of $K_{χ(G)}$. Kneser graphs are the prime example of graphs having chromatic number equal to its topological lower bounds. Motivated by our main results, we also study totally odd immersions on graphs with this property, proving, in particular, that if the chromatic number of $G$ is equal to any of its topological lower bounds, then $G$ contains a totally odd immersion of $K_{\lfloor χ(G)/2 \rfloor +1}$. This gives evidence for the immersion-analogue of the Odd Hadwiger Conjecture.

Given a graph $G$, we determine the structure of the rotation graph of a graph obtained by applying certain operations to $G$. Specifically, we consider the operations of adding a simplicial vertex, adding a true twin to a vertex, and the two closely related operations of deleting the set of edges from a subgraph induced by a set of true twins, and adding a false twin to a vertex. We describe how applying these operations to a graph affects the structure of its rotation graph. Furthermore, by using this description, we study chromatic number, distance, and diameter in rotation graphs. In particular, we establish conditions under which the chromatic number of the rotation graphs is preserved. As an interesting consequence, we obtain that the chromatic number of the rotation graphs of threshold graphs (which includes complete split graphs and star graphs) and of complete bipartite graphs is 3. We also provide a new lower bound for $\text{diam}(\mathcal{R}(G-S))$ in terms of $\text{diam}(\mathcal{R}(G))$, where $S$ is the set of edges of the subgraph of $G$ induced by a set of true twins. As a consequence, we improve the known lower bound for the diameter of the rotation graph of balanced complete bipartite graphs, allowing us to compute the exact value of $\text{diam}(\mathcal{R}(K_{2,q}))$ for $q\in\{3,4,5,6,7,8\}$.

For any graph $G = (V,E)$ and positive integer $d$, the exact distance-$d$ graph $G_{=d}$ is the graph with vertex set $V$, where two vertices are adjacent if and only if the distance between them in $G$ is $d$. We study the exact distance-$d$ Kneser graphs. For these graphs, we characterize the adjacency of vertices in terms of the cardinality of the intersection between them. We present formulas describing the distance between any pair of vertices and we compute the diameter of these graphs.

The analogue of Hadwiger's conjecture for the immersion relation states that every graph $G$ contains an immersion of $K_{χ(G)}$. For graphs with independence number 2, this is equivalent to stating that every such $n$-vertex graph contains an immersion of $K_{\lceil n/2 \rceil}$. We show that every $n$-vertex graph with independence number 2 contains every complete bipartite graph on $\lceil n/2 \rceil$ vertices as an immersion.

Let $G$ be a connected graph with $V(G)=\{v_1,\ldots,v_n\}$. The $(i,j)$-entry of the distance matrix $D(G)$ of $G$ is the distance between $v_i$ and $v_j$. In this article, using the well-known Ramsey's theorem, we prove that for each integer $k\ge 2$, there is a finite amount of graphs whose distance matrices have rank $k$. We exhibit the list of graphs with distance matrices of rank $2$ and $3$. Besides, we study the rank of the distance matrices of graphs belonging to a family of graphs with their diameters at most two, the trivially perfect graphs. We show that for each $η\ge 1$ there exists a trivially perfect graph with nullity $η$. We also show that for threshold graphs, which are a subfamily of the family of trivially perfect graphs, the nullity is bounded by one.

For $k \geq 1$ and $n \geq 2k$, the well known Kneser graph $\operatorname{KG}(n,k)$ has all $k$-element subsets of an $n$-element set as vertices; two such subsets are adjacent if they are disjoint. Schrijver constructed a vertex-critical subgraph $\operatorname{SG}(n,k)$ of $\operatorname{KG}(n,k)$ with the same chromatic number. In this paper, we compute the diameter of the graph $\operatorname{SG}(2k+r,k)$ with $r \geq 1$. We obtain an exact value of the diameter of $\operatorname{SG}(2k+r,k)$ when $r \in \{1,2\}$ or when $r \geq k-3$. For the remained cases, when $3 \leq r \leq k-4$, we obtain that the diameter of $\operatorname{SG}(2k+r,k)$ belongs to the integer interval $[4..k-r-1]$.

In the present work we prove that given any two unicycle graphs (pseudoforests) that share the same degree sequence there is a finite sequence of 2-switches transforming one into the other such that all the graphs in the sequence are also unicyclic graphs (pseudoforests).

The family of all $k$-independent sets of a graph containing a fixed vertex $v$ is called a {star} and $v$ is called its center. Stars are interesting for their relation to Erdös-Ko-Rado graphs. Hurlbert and Kamat conjectured that in trees the largest stars are centered in leafs. This conjecture was disproven independently by Baber, Borg, and Feghali, Johnson, and Thomas. In this paper we introduce a tool to bound the size of stars centered at certain vertices by stars centered at leafs. We use this tool to show that caterpillars and sunlet graphs satisfy Hurlbert and Kamat's conjecture, and to show that the centers of the largest stars in lobsters are either leafs or spinal vertices of degree 2.

Given any two forests with the same degree sequence, we show in an algorithmic way that one can be transformed into the other by a sequence of 2-switches in such a way that all the intermediate graphs of the transformation are forests. We also prove that the 2-switch operation perturbs minimally some well-known integer parameters in families of graphs with the same degree sequence. Then, we apply these results to conclude that the studied parameters have the interval property on those families.

A partial Steiner triple system of order n is sequenceable if there is a sequence of length n of its distinct points such that no proper segment of the sequence is a union of point-disjoint blocks. We prove that if a partial Steiner triple system has at most three point-disjoint blocks, then it is sequenceable.

In this paper, we consider the Randić energy $RE$ of simple connected graphs. We provide upper bounds for $RE$ in terms of the number of vertices and the nullity of the graph. We present families of graphs that satisfy the Conjecture proposed by Gutman, Furtula and Bozkurt \cite{Gutman1} about the maximal RE. For example, we show that starlikes of odd order satisfy the conjecture.

In this work we study the null space of bipartite graphs without cycles of length multiple of $4$, and its relation to structural properties. We decompose them into two subgraphs: $C_N(G)$ and $C_S(G)$. $C_N(G)$ has perfect matching and its adjacency matrix is nonsingular. $C_S(G)$ has a unique maximum independent set and the dimension of its null space equals the dimension of the null space of $G$. Even more, we show that the fundamental spaces of $G$ are the direct sum of the fundamental spaces of $C_N(G)$ and $C_S(G)$. We also obtain formulas relating the independence number and the matching number of a $C_{4k}$-free bipartite graph with $C_N(G)$ and $C_S(G)$, and the dimensions of the fundamental spaces. Among other results, we show that the rank of a $C_{4k}$-free bipartite graph is twice its matching number, generalizing a result for trees due to Bevis et al \cite{bevis1995ranks}, and Cvetković and Gutman \cite{D1972}. About maximum independent sets, we show that the intersection of all maximum independent sets of a $C_{4k}$-free bipartite graph coincides with the support of its null space.