arXiv++ Combinatorics

Let $G$ be a finite simple graph on $[n]$ and let $I_c(G)$ denote its complementary edge ideal in the polynomial ring $S = K[x_1,\dots,x_n]$. We give a combinatorial description, in terms of the structure of $G$, of the minimal generators of the symbolic Rees algebra $\mathcal{R}_s(I_c(G)) = \bigoplus_{k \geq 0} I_c(G)^{(k)} t^k$, and show that this algebra is generated in degree at most $6$. Moreover, we completely determine the minimal generators of $\mathcal{R}_{s}(I_{c}(G))$ in graph-theoretic terms. We then study in more detail the homological invariants of the symbolic powers $I_c(G)^{(k)}$ for the classes of cycle graphs and complete multipartite graphs. For theses families, we study the behavior of the symbolic depth function $k\mapsto\operatorname{depth} S/I_c(G)^{(k)}$, we obtain the limit depth of the symbolic powers and the Waldschmidt constant of $I_c(G)$, and further prove that all the symbolic powers $I_c(G)^{(k)}$ are componentwise linear.

In our previous work \cite{MiezakiTamura2026}, we clarified the second-order linear recurrence structures appearing in the average hitting times on the $k$-th power graph $C_N^k$ of the cycle graph. In this paper, for a connected $r$-regular graph $G$ on $m$ vertices, we investigate the average hitting times of the simple random walk on the Cartesian product graph $C_N^k \square G$. By using discrete Fourier analysis in the $C_N^k$ direction and the Laplacian spectral decomposition of $G$, we decompose the average hitting time into a component proportional to the average hitting time on $C_N^k$ and correction terms arising from the nonzero Laplacian eigenspaces of $G$. For each nonzero Laplacian eigenvalue, we introduce a Chebyshev-type polynomial, and when all of its roots are simple, we express the correction term as a finite Green-type sum. Furthermore, for two vertices having the same $G$-coordinate, we transform this expression into a second-order linear recurrence representation of the form $V_\ell V_{N-\ell}/V_N$. When $G$ is a walk-regular graph, the average hitting time between two vertices having the same $G$-coordinate depends only on the Laplacian eigenvalues of $G$ and their multiplicities. We also derive formulas for the number of spanning trees and the number of two-component spanning forests of $C_N^k \square G$, and give several explicit examples.

This paper investigates perfect state transfer (PST) in discrete-time quantum walks constructed via the shunt decomposition method. The walks are defined on a graph $G$ and its associated quotient graph $G/π$, induced by an equitable partition $π$. Through the shunt decomposition of $G$, we derive an explicit relation between the shift operator of the parent graph $G$ and that of its quotient graph $G/π$. We construct a reflection operator based on the characteristic matrix, which establishes a connection between the transition operator of the parent graph and that of its lower-dimensional quotient graph. We then prove that PST occurs on $G$ if and only if it occurs on $G/π$. Furthermore, we express the unitary evolution operator of the quotient graph in terms of Chebyshev polynomials of the first kind, from which we derive explicit criteria for PST. As an application, we establish PST on the cycle graph $C_{n}$ at time $k = n/2$, and lift the result to the parent graph $C_{2n}$ via the equitable partition $π$. We further show that if an equitable partition $π$ of $G$ induces a quotient isomorphic to $K_n^{\circlearrowleft}$, the complete digraph on $n$ vertices with a loop at every vertex, then PST occurs at step $k = n$, and the walk is periodic at $k = 2n$. This framework is applied to two families of graphs, which are the complete bipartite digraph $K_{n,n}^{\rightleftharpoons}$ and the circulant graph $\operatorname{Circ}(2n, S)$, where $S$ consists of all odd residues modulo $2n$ and $n = 2^s$ for some $s \geq 1$, establishing PST in their respective line digraphs. Collectively, these results also answer the question posed by Godsil and Zhan concerning which shunt decompositions or embeddings of a graph admit PST.

For which graphs $H$ does there exist a graph $G$ with at least one edge and no induced subgraph isomorphic to $H$, such that deleting any edge of $G$ creates an induced copy of $H$? We call such a graph "$H$-deletion-saturated". This version of the well-studied notion of "$H$-induced-saturated" graphs -- where both adding and deleting any edge creates an induced copy of $H$ -- appears more tractable. For example, while it remains wide open whether $H$-induced-saturated graphs exist for every even cycle $H$, we proved recently that deletion-saturated graphs exist for all even cycles. In fact, apart from complete graphs, no graph $H$ is known for which $H$-deletion-saturated graphs do not exist. We conjecture that $H$-deletion-saturated graphs exist for every non-complete graph $H$, and prove this conjecture for several types of graphs, including: complete bipartite graphs with parts of unequal size, triangle-free graphs with one cycle, graphs with two leaves at distance at most three, and line graphs of trees. In fact, in all cases, we prove the conjecture for substantially more general families. We also verify our conjecture for every graph $H$ on at most six vertices.

A subset of the vertex set of a graph is geodetically convex if it contains every vertex on any shortest path between two elements of the subset. The convex hull of a set of vertices is the smallest convex set containing the set. We study two games in which two players take turns selecting vertices of a graph until the convex hull of the jointly unselected vertices is too small. The last player to move is the winner. The achievement game ends when the convex hull of the jointly unselected vertices is not the vertex set. In the avoidance game, the convex hull of the jointly unselected vertices must always be the vertex set. We study the nim-values for several graph families, including cycle graphs, hypercube graphs, complete multipartite graphs, wheel graphs, generalized wheel graphs, and graphs with a unique minimal generating set.

Let $r$ be a positive integer and $G$ be a graph. The list $r$-hued chromatic number of $G$, denoted by $χ_{L,r}(G)$, is the smallest integer $k$, such that for each $k$-list $L$ of $G$, $G$ has an $(L,r)$-coloring. It is proved in [Discrete Math. 306 (16) (2006) 1997-2004] that every tree $G$ satisfies $χ_{r}(G)=\min\{r,Δ(G)\}+1$. It is known that every cycle graph $C_{n}$ with order $n$ has $χ_{L,r}(C_{n})=χ_{r}(C_{n})$. The main results are the following: $(1)$ If $G$ is a tree, then $χ_{L,r}(G)=\min\{r,Δ(G)\}+1$; $(2)$ Let $G$ be a unicyclic graph which is not isomorphic to the cycle $C_{n}$. If $n\neq 5$ and $r\geq3$, then $χ_{L,r}(G)=\min\{r,Δ(G)\}+1$; otherwise, $\min\{r,Δ(G)\}+1\leqχ_{L,r}(G)\leq\min\{r,Δ(G)\}+2$.

We study the discrete graph-metric analogue of Gromov's filling area problem for the cycle graph \(C_n\). An abstract triangulation \(K\) is an isometric filling of \(C_n\) if \(\partial K=C_n\) and the graph distance between any two boundary vertices is not shortened inside the \(1\)-skeleton of \(K\). Let \(D(n;ε)\) denote the minimum number of vertices in a \((1-ε)\)-Lipschitz filling of \(C_n\), and set \[ D^*=\liminf_{ε\to0^+}\liminf_{n\to\infty}\frac{D(n;ε)}{n^2}. \] Previous work gives the general lower bound \(D^*\ge 1/8\), while discretizing the hemisphere gives the upper bound \[ D^*\le \frac{1}{π\sqrt3}. \] In this paper we give an explicit discrete construction which improves the hemispherical upper bound. More precisely, we construct isometric fillings \(K_n\) of \(C_n\) with \[ |V(K_n)|\le \left(\frac16+o(1)\right)n^2, \] and hence \[ D^*\le \frac16<\frac{1}{π\sqrt3}. \] This can directly illustrate the discrete filling area problem is a proper relaxation of Gromov's original filling area problem and cannot be used to settle Gromov's conjecture. The construction is a concentric annular filling.

We investigate the average hitting times of simple random walks on the $k$-th power graph $C_N^k$ of the cycle graph $C_N$. First, we show that the average hitting times are characterized by a difference equation corresponding to the graph Laplacian. Next, by using the cyclic symmetry of $C_N^k$, we derive a spectral representation via Fourier analysis. Furthermore, by applying factorization and partial fraction decomposition of the corresponding difference operator, we obtain an explicit formula for the average hitting times consisting of a quadratic term and finitely many correction terms. These correction terms are described by second-order linear recurrence sequences associated with the characteristic polynomials, and can be regarded as natural generalizations of Fibonacci-type sequences. As a consequence, our formulas recover the known results for cycle graphs and squares of cycle graphs in a unified way. Moreover, from the formulas obtained for average hitting times, we derive explicit formulas for the effective resistances, the numbers of spanning trees, the numbers of two-component spanning forests, and the numbers of spanning trees of vertex-identified graphs. In particular, for the third power graph $C_N^3$ of the cycle graph, all of these quantities are written explicitly in terms of complex conjugate Fibonacci-type sequences. Our results clarify structural relations between random walk quantities and combinatorial quantities on cycle power graphs.

In this paper, we present examples of the cyclic sieving phenomenon coming from studying independent sets in graphs of a fixed size k. Given a graph G, and a cyclic group C acting on the graph, then C also acts on the collection of independent sets of G of a fixed size k. We exhibit cyclic sieving phenomena for a cyclic group acting on the collection of independent sets of powers of cycle graphs. As a corollary, we also find a closed formula for the number of independent sets of a given size in the power of a cycle graph, and in the power of a path. We also show how the graph construction of whiskering can be used to obtain new cyclic sieving phenomena from old phenomena. We also discuss recursive techniques to exhibit cyclic sieving phenomena for the independent sets of gear graphs, helm graphs, and book graphs.

We prove a transfer theorem for hereditary classes of $(r+1)$-uniform hypergraphs. Let $\mathcal G$ be such a class, and for $H\in\mathcal G$ write $Δ(H)$ and $d(H)$ for the maximum degree and average degree of $H$, respectively. We show that, for every nearly logarithmic function $f$ in the sense defined below, a maximum-degree lower bound for the independence number of the form \[ α(H)\ge (1-o(1))\frac{f(Δ(H))}{Δ(H)^{1/r}}|V(H)| \qquad\text{as }Δ(H)\to\infty \] for all $H\in\mathcal G$ implies the corresponding average-degree lower bound \[ α(H)\ge (1-o(1))\frac{f(d(H))}{d(H)^{1/r}}|V(H)| \qquad\text{as }d(H)\to\infty . \] We combine this transfer theorem with known coloring and fractional-coloring bounds to obtain consequences for graphs excluding a fixed cycle, graphs with bounded clique number, locally $q$-colorable graphs, and locally sparse uniform hypergraphs.

This paper studies the search for a single arc in a graph using the Szegedy walk. Arc search can be interpreted as finding a quantum particle not only in its position but also with a specific internal state. The quantum walk employed in this study is essentially the model proposed by Segawa and Yoshie for the purpose of edge search. First, we investigate how the symmetry of a graph is reflected in its time evolution matrix, and provide a sufficient condition under which the success probability of the search is independent of the marked arc. In particular, we prove that if a graph is arc-transitive, the success probability is independent of the choice of the marked arc. Next, we analyze path and cycle graphs and show that the quantum search is ineffective for these graphs, whereas it performs well for complete bipartite graphs $K_{n,n}$. These results provide a theoretical foundation for studying arc and edge searches on various graphs, while also suggesting new problems concerning the eigenvalue analysis of edge-signed graphs in spectral graph theory.

In connection with commutative algebra, Bayer et al. introduced cut complexes in [Topology of cut complexes of graphs, SIAM J.\ Discrete Math., 38(2):1630-1675, 2024]. For a positive integer $k$, the $k$-cut complex of a graph $G$, denoted as $Δ_k(G)$, is the simplicial complex whose facets are the $(|V(G)|-k)$-subsets $σ$ of the vertex set $V(G)$ of $G$ such that the induced subgraph $G[V(G) \setminus σ]$ is disconnected. Let $C_n^p$ denote the $p$-th power graph of the cycle graph $C_n$ on $n$ vertices. In this article, we show that $Δ_3(C_n^p)$ is shellable for $n \geq 6p-3$, and therefore these complexes are homotopy equivalent to a wedge of spheres of dimension $n-4$. We provide an explicit shelling order on the facets of $Δ_3(C_n^p)$. We also characterize and count the number of spanning facets in this shelling order, and determine the number of spheres appearing in the wedge in the homotopy type of $Δ_3(C_n^p)$.

We introduce vertex dismissible and scalable simplicial complexes, generalizing the classical notions of vertex decomposability and shellability. We prove that a complex satisfies these properties if and only if its initial dimension skeleton is vertex decomposable or shellable, respectively. Algebraically, we define vertex divisible ideals and ideals with degree quotients, proving they are the exact Alexander duals of these complexes. This establishes a corresponding topological and homological hierarchy that interpolates between classical structural properties and the initially Cohen-Macaulay condition. Furthermore, we demonstrate that for complexes of initial dimension one and the independence complexes of co-chordal and cycle graphs, vertex dismissibility, scalability, and initial Cohen-Macaulayness are equivalent to weak connectedness. Finally, we provide a complete skeletal characterization of these properties, a generalized perspective that recovers numerous classical theorems as immediate consequences.

The thagomizer matroid, realized as the graphic matroid of the complete tripartite graph $K_{1,1,n}$, has full automorphism group isomorphic to the hyperoctahedral group whenever $n \ge 2$. In the equivariant setting for this action, we compute both the Kazhdan--Lusztig polynomial and the inverse Kazhdan--Lusztig polynomial in the sense of Proudfoot's Kazhdan--Lusztig--Stanley theory, and we show that each coefficient is an honest representation with a multiplicity-free irreducible decomposition. Our main idea is to exploit the palindromicity of the equivariant $Z$-polynomial, reducing the computation to the already established symmetric-group equivariant Kazhdan--Lusztig theory for the graphic matroids of cycle graphs, and then to apply Proudfoot's equivariant Kazhdan--Lusztig--Stanley inversion identity to obtain the inverse polynomial. Passing to dimensions recovers the previously known nonequivariant thagomizer polynomials, while the coefficient formulas admit a natural expression in terms of the wreath product Frobenius characteristic for the hyperoctahedral group.

Dominating Set is a well-known combinatorial optimization problem which finds application in computational biology or mobile communication. Because of its $\mathrm{NP}$-hardness, one often turns to heuristics for good solutions. Many such heuristics have been empirically tested and perform rather well. However, it is not well understood why their results are so good or even what guarantees they can offer regarding their runtime or the quality of their results. For this, a strong theoretical foundation has to be established. We contribute to this by rigorously analyzing a Random Local Search (RLS) algorithm that aims to find a minimum dominating set on a graph. We consider its performance on cycle graphs with $n$ vertices. We prove an upper bound for the expected runtime until an optimum is found of $\mathcal{O}\left(n^4\log^2(n)\right)$. In doing so, we introduce several models to represent dominating sets on cycles that help us understand how RLS explores the search space to find an optimum. For our proof we use techniques which are already quite popular for the analysis of randomized algorithms. We further apply a special method to analyze a reversible Markov Chain, which arises as a result of our modeling. This method has not yet found wide application in this kind of runtime analysis.

Flow cones of a directed acyclic graph admit a family of unimodular triangulations given by Danilov, Karzanov, and Koshevoy (DKK) whose normal fans are related to (generalizations) of the associahedron and permutahedron. A correspondence between these triangulations for certain graphs and maximal cones of a $g$-vector fan of a gentle quiver associated to the graph was discovered by von Bell, Braun, Bruegge, Hanely, Peterson, Serhiyenko, and Yip in 2022. This correspondence has been fruitful in uncovering lattice structures in the triangulations. We start by showing that this correspondence is actually a linear isomorphism. We then consider flow cones of certain graphs with cycles. For this case, we give a DKK-like triangulation of the cone, and extend the correspondence to the finite $g$-vector fan of a corresponding locally gentle quiver. In addition, we extend to cyclic graphs a mysterious result of Postnikov--Stanley and Baldoni--Vergne, giving the volume of flow polytopes of acyclic graphs as the number of certain integer flows on the same graph. We illustrate our results with a two-parameter family of cyclic graphs that includes a cycle graph and nested 2-cycles as special cases. We show that the fans of its DKK-like triangulations are respectively isomorphic to the normal fan of the cyclohedron and of a new polytope with the same $f$-vector but different combinatorial type than the permutahedron.

This note provides a complete solution to a certain version of the edge-isoperimetric problem for powers of a cycle graph. Namely, it shows that the maximum number of edges inside a vertex subset of $C_n^s$ of size $k$ is achieved by a set of $k$ consecutive vertices.

For a positive integer $k$, the \emph{ total $k$-cut complex} of a graph $G$, denoted as $Δ_k^t(G)$, is the simplicial complex whose facets are $σ\subseteq V(G)$ such that $|σ| = |V(G)|-k$ and the induced subgraph $G[V(G) \setminus σ]$ does not contain any edge. These complexes were introduced by Bayer et al.\ in \cite{Bayer2024TotalCutcomplex} in connection with commutative algebra. In the same paper, they studied the homotopy types of these complexes for various families of graphs, including cycle graphs $C_n$, squared cycle graphs $C_n^2$, and Cartesian products of complete graphs and path graphs $K_m \square P_2$ and $K_2 \square P_n$. In this article, we extend the work of Bayer et al.\ for these families of graphs. We focus on the complexes $Δ_2^t(G)$ and determine the homotopy types of these complexes for three classes of graphs: (i) $p$-th powers of cycle graphs $C_n^p$ (ii) $K_m \square P_n$ and (iii) $K_m \square C_n$. Using discrete Morse theory, we show that these complexes are homotopy equivalent to wedges of spheres. We also give the number and dimension of spheres appearing in the homotopy type. Our result on powers of cycle graphs $C_n^p$ proves a conjecture of Shen et al.\ about the homotopy type of the complexes $Δ_2^t(C_n^p)$.

Let $G$ be a connected graph having more than two vertices and let $d_i$ denote the degree of vertex $v_i$ in $G$. Let $E(G)$ represent the edge set of $G$. Then, the augmented Sombor (ASO) index of $G$ is defined as $ASO(G) = \sum_{v_i v_j \in E(G)} \sqrt{(d_i + d_j - 2)^{-1}(d_i^2 + d_j^2)}.$ It is known that the cycle graph $C_n$ uniquely minimizes the ASO index in the class of all $n$-order unicyclic graphs. In this paper, we prove that the unique $n$-order unicyclic graph of maximum degree $n-1$ maximizes the ASO index in the aforementioned unicyclic graph class. We also prove that $ASO(G-v_iv_j)<ASO(G)$ whenever neither of the graphs $G-v_iv_j$ and $G$ contains any isolated edge. Utilizing this edge-deletion property, we characterize the unique graph maximizing the ASO index among all fixed-order connected graphs with a specified vertex connectivity (or edge connectivity).

In this paper, we investigate the homotopy type and combinatorial properties of total cut complexes of squared cycle graphs. The total cut complexes are a new type of graphical complexes introduced by Bayer et al.(2024) to extend Fröberg's theorem. In Bayer et al.[Topology of cut complexes of graphs, SIAM J. on Discrete Math. 38(2): 1630--1675 (2024)], the authors made a conjecture on the homotopy type of total cut complexes of squared cycle graphs for $k \geq 3$. We proved this conjecture in the case when $k=3$ . For general $k\geq 3$, we confirmed the cases when $n =3k+1$ and $3k+2$.