graph
35150 papers tagged with this keyword
Generating functions of $q$-chromatic polynomials
Given a graph $G=(V,E)$ and a linear form $λ\in \mathbb{Z}_{ > 0 }^V$, Bajo et al. (2025) introduced the $q$-chromatic polynomial $χ_G^λ(q,n) := \sum q^{\sum_{v \in V} λ_v c(v)}$ where the sum is over all proper colorings $c: V \to [n] := \{ 1, 2, \dots, n \}$; they showed that $χ_G^λ(q,n)$ is a polynomial in $[n]_q := 1 + q + \dots + q^{ n-1 } $ with coefficients in $\mathbb{Z}(q)$. For $d \in \mathbb{Z}_{>0}$ and the linear form given by $(d,d^2,\ldots,d^d)$, we show that the $q$-chromatic polynomial distinguishes labeled graphs with vertex set $[d]$. Using permutation statistics introduced by Chung--Graham (1995), called $G$-statistics, and polyhedral geometry, we give the multivariate integer point transform for the region of proper colorings of a given graph $G$. This integer point transform allows us to find the generating function for the $q$-chromatic polynomial with respect to any linear form. We further specialize these results to the linear form $(1, 1, \dots, 1)$, which allows us to write the $q$-chromatic polynomial in the $q$-binomial basis, clarifying expressions found by Bajo et al. Moreover, we show that $G$-statistics are compatible with the theory of order polytopes used by Bajo et al. and Chow (1999). This yields further properties for the generating function of $q$-chromatic polynomial with linear form $(1, 1, \dots, 1)$, where certain coefficients of the numerator polynomial are palindromic polynomials in $q$.
On Pauling's residual entropy estimate for regular graphs with growing degree
In 1935, Pauling proposed an estimate for the number of Eulerian orientations of a graph in the context of the theoretical behaviour of water ice. The logarithm of the number of Eulerian orientations, normalised by the number of vertices, is called the residual entropy. In an earlier paper, we conjectured that the residual entropy of a sequence of regular graphs of increasing degree was asymptotically equal to Pauling's estimate. Here we prove the conjecture under constraints on the number of short circuits. These constraints hold under weak eigenvalue conditions and apply to sequences of increasing girth and repeated Cartesian products such as hypercubes.
$q$-Laplacian State Transfer on Graphs with Involutions
We study the existence of state transfer with respect to the $q$-Laplacian matrix of a graph equipped with a non-trivial involution. We show that the occurrence of perfect state transfer between certain pair (or plus) states in such a graph is equivalent to the existence of vertex state transfer in a subgraph induced by the involution with potentials. This yields infinite families of trees with potentials and unicyclic graphs of maximum degree three that exhibit perfect pair state transfer. In particular, we investigate vertex and pair state transfer in edge-perturbed complete bipartite graphs, cycles, and paths with potentials only at the end vertices.
The odd independence number of graphs, I: Foundations and classical classes
An odd independent set $S$ in a graph $G=(V,E)$ is an independent set of vertices such that, for every vertex $v \in V \setminus S$, either $N(v) \cap S = \emptyset$ or $|N(v) \cap S| \equiv 1$ (mod 2), where $N(v)$ stands for the open neighborhood of $v$. The largest cardinality of odd independent sets of a graph $G$, denoted $α_{od}(G)$, is called the odd independence number of $G$.
This new parameter is a natural companion to the recently introduced strong odd chromatic number. A proper vertex coloring of a graph $G$ is a strong odd coloring if, for every vertex $v \in V(G)$, each color used in the neighborhood of $v$ appears an odd number of times in $N(v)$. The minimum number of colors in a strong odd coloring of $G$ is denoted by $χ_{so}(G)$.
A simple relation involving these two parameters and the order $|G|$ of $G$ is $α_{od}(G)\cdot χ_{so}(G) \geq |G|$, parallel to the same on chromatic number and independence number.
We develop several basic inequalities concerning $α_{od}(G)$, and use already existing results on strong odd coloring, to derive lower bounds for odd independence in many families of graphs.
We prove that $α_{od}(G) = α(G^2)$ holds for all claw-free graphs $G$, and present many results, using various techniques, concerning the odd independence number of cycles, paths, Moore graphs, Kneser graphs, the complete subdivision $S(K_n)$ of $K_n$, the half graphs $H_{n,n}$, and $K_p \Box K_q$. Further, we consider the odd independence number of the hypercube $Q_d$ and also of the complements of triangle-free graphs. Many open problems for future research are stated.
A recurrence for certain Tutte polynomials
We combinatorially prove a new recurrence between the Tutte polynomials of graphs obtained by contraction of the complete graphs $K_{n}$%. This generalizes, to two variables, a relation previously obtained by the author between the inversion enumerator polynomials in the colored tree sequences.
Tight bounds for judicious 3-partitions of graphs
In this paper, we show that every graph with $m$ edges admits a 3-partition such that \[ \max_{1 \leq i \leq 3} e(V_i) \leq \frac{m}{9} + \frac{1}{9}h(m) \quad \text{and} \quad e(V_1, V_2, V_3) \geq \frac{2}{3}m + \frac{1}{3}h(m), \] where $h(m) = \sqrt{2m + 1/4} - 1/2$. This answers a problem of Bollobás and Scott affirmatively. We also solve several related problems of Bollobás and Scott. All of our results are tight.
A Simplified Proof for the Edge-Density of 4-Planar Graphs
A graph on $n \ge 3$ vertices drawn in the plane such that each edge is crossed at most four times has at most $6(n-2)$ edges -- this result proven by Ackerman is outstanding in the literature of beyond-planar graphs with regard to its tightness and the structural complexity of the graph class. We provide a much shorter proof while at the same time relaxing the conditions on the graph and its embedding, i.e., allowing multi-edges and non-simple drawings.
Maximum Spread of Vertex Degrees in a Simple Graph
We consider the following problem: let $n>k$ be natural numbers, and let $G$ be a graph on $n$ vertices (undirected, without loops or multiple edges). Denote by $h_k(G)$ the number of unordered pairs of vertices in the graph $G$ whose degrees differ by less than $k$. We aim to determine the smallest possible value $f(n,k)$ of the quantity $h_k(G)$. Interest in this question is motivated by the fact that the bipartite analogue of the problem enabled S. Cichomski and F. Petrov to prove the Burdzy -- Pitman conjecture on the spread of independent coherent random variables.
The problem has been solved under a number of restrictions on $n$ and $k$. A conjecture about the answer in the general case is also presented.
Cubic tic-tac-toe: A matching-based approach
In the natural generalization of tic-tac-toe to an $n \times n \times n$ board where $n \in \mathbb{N}$, it is known that the first player has a winning strategy if $n \leq 4$ and that either player can force a draw if $n \geq 8$. The question of whether the first player has a winning strategy if $n = 5, 6$ or $7$ has remained open. Here, we prove that the first player does not have a winning strategy if $n = 7$. The proof, which is computer-assisted, exploits the fact that the second player's first four moves can always be chosen such that their remaining moves can be automated via a simple pairing strategy. The process of finding the pairing strategy involves reframing the problem in such a way that the goal is to seek a maximal matching in a bipartite graph that represents the tic-tac-toe board after each player has made four moves. We use the Hopcroft-Karp matching algorithm to find such maximal matchings.
Semi-Random Graphs, Robust Asymmetry, and Reconstruction
The Graph Reconstruction Conjecture famously posits that any undirected graph on at least three vertices is determined up to isomorphism by its family of (unlabeled) induced subgraphs. At present, the conjecture admits partial resolutions of two types: 1) casework-based demonstrations of reconstructibility for families of graphs satisfying certain structural properties, and 2) probabilistic arguments establishing reconstructibility of random graphs by leveraging average-case phenomena. While results in the first category capture the worst-case nature of the conjecture, they play a limited role in understanding the general case. Results in the second category address much larger graph families, but it remains unclear how heavily the necessary arguments rely on optimistic distributional properties. Drawing on the perspectives of smoothed and semi-random analysis, we study the robustness of what are arguably the two most fundamental properties in this latter line of work: asymmetry and uniqueness of subgraphs. Notably, we find that various semi-random graph distributions exhibit these properties asymptotically, much like their Erdős-Rényi counterparts. In particular, Bollobás (1990) demonstrated that almost all Erdős-Rényi random graphs $G = (V, E) \sim \mathscr{G}(n, p)$ enjoy the property that their induced subgraphs on $n - Θ(1)$ vertices are asymmetric and mutually non-isomorphic, for $1 - p, p = Ω(\log(n) / n)$. We show that this property is robust against perturbation -- even when an adversary is permitted to add/remove each vertex pair in $V^{(2)}$ with (independent) arbitrarily large constant probability. Exploiting this result, we derive asymptotic characterizations of asymmetry in random graphs with planted structure and bounded adversarial corruptions, along with improved bounds on the probability mass of nonreconstructible graphs in $\mathscr{G}(n, p)$.
Leaky Zero Forcing on Induced Subgraphs of $d$-dimensional Grid Graphs with an Application to Hopi Rectangles
We study zero forcing and $\ell$-leaky zero forcing on induced subgraphs of $d$-dimensional grid graphs. Using $\ell$-leaky forts, we prove structural results showing that for $\ell \le 2d-1$, every nonempty $\ell$-leaky fort in an induced subgraph of $P_{n_1}\square\cdots\square P_{n_d}$ intersects the boundary of the graph. These results give general bounds and, in certain settings, exact values for the $\ell$-leaky forcing number of induced subgraphs. Motivated by this framework, we introduce an integer lattice based definition of the Hopi rectangle graphs $HD(a,b)$ as induced subgraphs of $P_{a+b}\square P_{a+b}$. For this particular family of graphs, we show that the zero forcing number equals the maximum nullity, and we completely characterize the $\ell$-leaky forcing number for all $\ell\ge 1$.
Stochastically Evolving Graphs via Edit Semigroups
Published
• View Publication
• BIB
We investigate a randomly evolving process of subgraphs in an underlying host graph using the spectral theory of semigroups related to the Tsetlin library and hyperplane arrangements. Starting with some initial subgraph, at each iteration, we apply a randomly selected edit to the current subgraph. Such edits vary in nature from simple edits consisting of adding or deleting an edge, or compound edits which can affect several edges at once. This evolving process generates a random walk on the set of all possible subgraphs of the host graph. We show that the eigenvalues of this random walk can be naturally indexed by subsets of edges of the host graph. We also provide, in the case of simple edits, a closed-form formula for the eigenvectors of the transition probability matrix and a sharp bound for the rate of convergence of this random walk. We consider extensions to the case of compound edits; examples of this model include the previously studied Moran forest model and a dynamic random intersection graph model. Evolving graphs arise in a variety of fields ranging from deep learning and graph neural networks to epidemic modeling and social networks. Our random evolving process serves as a general stochastic model for sampling random subgraphs from a given graph.
On the pancyclicity of $2$-connected $[5,3]$-graphs
Published
• View Publication
• BIB
A graph $G$ is called an $[s,t]$-graph if any induced subgraph of $G$ of order $s$ has size at least $t$. In 2024, Zhan conjectured that every $2$-connected $[p + 2, p]$-graph of order at least $2p + 3$ and with minimum degree at least $p$ is pancyclic, where $p$ is an integer with $3 \leq p \leq 5$. In this paper, we confirm the conjecture for the case $p=3$, thereby taking the first step toward a complete resolution of the conjecture.
A Characterization of Triangle-Free Cyclic Graphs With Self-Loops Of Rank 3
Let $G_S$ be a self-loop graph as the graph obtained by attaching a self-loop at every vertex in $S \subseteq V(G)$ of a simple graph $G.$ If $G=C_n$ is the cycle graphs of order $n$ and $S \neq \emptyset,$ we show that there are no rank 3 self-loop graphs $(C_n)_S$ for $n\geq 5.$ As a consequence, we determine and construct all possible rank 3 triangle-free self-loop cyclic graph of order at least 4 from $(C_4)_S$ via graph join operations. This provides a partial solution to the characterization problem of rank 3 self-loop graphs.
Burning games on strong path products
Burning and cooling are diffusion processes on graphs in which burned (or cooled) vertices spread to their neighbors with a new source picked at discrete time steps. In burning, the one tries to burn the graph as fast as possible, while in cooling one wants to delay cooling as long as possible.
We consider $d$-fold strong products of paths, which generalize king graphs. The propagation of these graphs is radial, and models local spread of contagion in an arbitrary number of dimensions. We reduce the problem to a geometric tiling problem to obtain a bound for the burning number of a strong product of paths by a novel use of an Euler-Maclaurin formula, which is sharp under certain number theoretic conditions.
Additionally, we consider liminal burning, which is a two-player perfect knowledge game played on graphs related to the effectiveness of controlled spread of contagion throughout a network. We introduce and study the number $k^*$, the smallest $k$ such that $b_{k}(G) = b(G)$.
The unavoidable drawings of complete multipartite graphs
In a simple drawing of a graph every pair of edges intersect each other in at most one point, which is either a common endvertex or a proper crossing. For each positive integer $n$, Negami identified a drawing $B_n$ of the complete bipartite graph $K_{n,n}$, and proved that if $N$ is sufficiently large, then every drawing of $K_{N,N}$ contains a drawing of $K_{n,n}$ weakly isomorphic to $B_n$. Thus $B_n$ is (up to weak isomorphism) the only {\em unavoidable} drawing of $K_{n,n}$. We extend this result to complete multipartite graphs, characterizing their unavoidable drawings.
Universal perspectives on irredundance for X-set parameters
Universal definitions of irredundance for X-set parameters are presented using blocking sets. This approach is modeled on (domination) irredundance (which uses closed neighborhoods as blocking sets) and zero forcing irredundance (which uses forts). Results include a chain of inequalities between irredundance parameters and original parameters and the isomorphism theorem for TAR reconfiguration graphs of many irredundance parameters. These results are then applied to PSD forcing irredundance and vertex cover irredundance; the chain of inequalities also applies to skew forcing irredundance. The upper vertex cover irredundance number becomes part of the Domination Chain used in the study of (domination) irredundance. Based on the propagation processes involved in forcing, an alternate universal theory of irredundance is developed using closure operators.
Cops and robbers on chess graphs
Cops and robbers is a pursuit-evasion game played on graphs. We completely classify the cop numbers for $n \times n$ knight graphs and queen graphs. This completes the classification of the cop numbers for all $n \times n$ classical chess graphs. As a corollary, we resolve an open problem about the monotonicity of $c$($\mathcal{Q}_n$). Moreover, we introduce \emph{royal graphs}, a generalization of chess graphs for arbitrary piece movements, which models real-life movement constraints. We give results on the cop numbers for these families.
Strong chordality in tournaments and multipartite tournaments with possible loops
Strongly chordal digraphs are included in the class of chordal digraphs and generalize strongly chordal graphs and chordal bipartite graphs. They are the digraphs that admit a linear ordering of its vertex set for which their adjacency matrix does not contain the $Γ$ matrix as a submatrix. In general, it is not clear if these digraphs can be recognized in polynomial time. We focus on multipartite tournaments with possible loops. We give a polynomial-time recognition algorithm and a forbidden induced subgraph characterization of the strong chordality for each of the following cases: tournaments with possible loops, reflexive multipartite tournaments, irreflexive bipartite tournaments, irreflexive tournaments minus one arc, and balanced digraphs.
In addition, we prove that in a strongly chordal digraph the minimum size of a total dominating set equals the maximum number of disjoint in-neighborhoods, and this number can be calculated in linear time given a $Γ$-free ordering of the input graph.
Decomposition of Cliques into $k$-Star-Forests
A $k$-star-forest is a forest with at most $k$ connected components where each component is a star. Let $F_k(n)$ be the minimum integer such that the complete graph on $n$ vertices can be decomposed into $F_k(n)$ $k$-star-forests. Pach, Saghafian and Schnider showed that $F_2(n)=\lceil 3n/4 \rceil$. In this paper, we show that $F_3(n)=5n/9$ when $n$ is a multiple of 27. Further, for $k\ge 4$, we show that $F_k(n)=n/2+2$ when $n>2k$ and $n\equiv 4 \pmod{12}$. Our results disprove a conjecture of Pach, Saghafian and Schnider.