graph
34516 papers tagged with this keyword
Decompositions of graphs with degree constraints relative to prescribed subgraphs
Given a finite simple undirected graph $G$, let $T_1(G)$ denote the subset of vertices of $G$ such that every vertex of $T_1(G)$ belongs to at least one subgraph isomorphic to a graph obtained by connecting a single vertex to two vertices of $K_4 - e$. Define $T_0(G) = V(G) \setminus T_1(G)$, and let $a,b \colon V(G) \longrightarrow \mathbb{Z}_{\ge 0}$ be arbitrary functions. In this paper, we prove that if $d_G(u) \ge a(u) + b(u) + h(u)$, where $h(u) \in \{0,1\}$ for $u \in T_h(G)$, then there exists a partition $(S, T)$ of $V(G)$ such that $d_{S}(u) \ge a(u)$ for every $u \in S$ and $d_{T}(u) \ge b(u)$ for every $u \in T$. This result extends the theorem of Stiebitz~[\textit{J. Graph Theory}, 23 (1996), 321--324]. Moreover, we establish an analogous result in the case where $T_1(G)$ consists of vertices belonging to at least one $K_{2,3}$, thereby extending the findings of Hou et al.~[\textit{Discrete Math.}, 341 (2018), 3288--3295].
Claw-free bricks that every $b$-invariant edge is solitary
A graph $G$ is a brick if it is 3-connected and $G-\{u,v\}$ has a perfect matching for any two distinct vertices $u$ and $v$ of $G$. Lucchesi and Murty proposed a problem concerning the characterization of bricks, distinct from $K_4$, $\overline{C_6}$ and the Petersen graph, in which every $b$-invariant edge is solitary. In this paper, we present a characterization of this problem when the bricks are claw-free.
Efficient graph similarity assessment method based on vectors of topological indices
Measuring similarity between complex objects is a fundamental task in many scientific fields. When objects are represented as graphs, graph similarity/distance measures offer a powerful framework for quantifying structural resemblance. Those comparative measures play a key role in domains such as network science, chemoinformatics, and social network analysis. While methods like graph edit distance and graph kernels are widely used, they can be computationally intensive or fail to capture fine structural variations, since they require graphs without any structural uncertainty. Another class of methods is based on using topological indices to encode structural information of the graphs, followed by the application of distance or similarity measures for real numbers to obtain corresponding graph-level metrics. In this paper, we introduce a novel class of distance/similarity measures which are based on multiple topological indices. Since they are generally computed in polynomial time, our method is computationally efficient in practice. We demonstrate its effectiveness through comparisons and show that it captures subtle structural information meaningfully. Additionally, we explore its applicability in two domains: analyzing random graph models in network theory and assessing molecular similarity among isomers in chemoinformatics. These preliminary results suggest that our approach holds promise for graph comparison across disciplines.
A structure theorem for rooted connectivity in bidirected graphs
Recently, bidirected graphs have received increasing attention from the graph theory community with both structural and algorithmic results. Bidirected graphs are a generalization of directed graphs, consisting of an undirected graph together with a map assigning each endpoint of every edge either sign $+$ or $-$. The connectivity properties of bidirected graphs are more complex than those of directed graphs and not yet well understood. In this paper, we show a structure theorem about rooted connectivity in bidirected graphs in terms of directed graphs. As applications, we prove Lovász' flame theorem, Pym's theorem and a strong variant of Menger's theorem for a class of bidirected graphs and provide counterexamples in the general case.
Diameter Bounds for Friends-and-Strangers Graphs
Consider two $n$-vertex graphs $X$ and $Y$, where we interpret $X$ as a social network with edges representing friendships and $Y$ as a movement graph with edges representing adjacent positions. The friends-and-strangers graph $\mathsf{FS}(X,Y)$ is a graph on the $n!$ permutations $V(X)\to V(Y)$, where two configurations are adjacent if and only if one can be obtained from the other by swapping two friends located on adjacent positions. Friends-and-strangers graphs were first introduced by Defant and Kravitz, and generalize sliding puzzles as well as token swapping problems. Previous work has largely focused on their connectivity properties.
In this paper, we study the diameter of the connected components of $\mathsf{FS}(X, Y)$. We extend the result of Kornhauser, Miller, and Spirakis on sliding puzzles to general graphs in two ways. First, we show that the diameter of $\mathsf{FS}(X, Y)$ is polynomially bounded when both the friendship and the movement graphs have large minimum degree. Second, when both the underlying graphs $X$ and $Y$ are Erdős-Rényi random graphs, we show that the distance between any pair of configurations is almost always polynomially bounded under certain conditions on the edge probabilities.
Planar ternary graphs, flag spheres, and Delannoy polynomials
In 2022 Kim showed when a graph $G$ is ternary (without induced cycles of length divisible by three), its independence complex $\text{Ind}(G)$ is either contractible or homotopy equivalent to a sphere. In this paper, we show that when $\text{Ind}(G)$ is homotopy equivalent to a sphere of dimension $\dim \text{Ind}(G)$, the complex is Gorenstein. Equivalently, $G$ is a $1$-well-covered graph. This answers a question by Faridi and Holleben.
We then focus on the independence complexes of Gorenstein planar ternary graphs. We prove that they are boundaries of vertex decomposable simplicial polytopes. We show that the transformations among these flag spheres using edge subdivisions and contractions can be modeled by the Hasse diagram of the partition refinement poset. In addition, their $h$-polynomials are products of Delannoy polynomials and thus real-rooted. Finally, we demonstrate a way to construct nonplanar Gorenstein ($1$-well-covered) ternary graphs from planar ones.
Various Diamond Properties in Combinatorial Game Theory
We investigate conditions under which positions in combinatorial games admit simple values. We introduce a unified diamond framework, the $\Diamond_A$-property ($A\in\{\mathbb{Z},\mathbb{D}$), for sets of positions closed under options. Under certain conditions, this framework guarantees that all values are integers, dyadic rationals, or pairs $\{m|n\}$ (on $\mathbb{Z}$ or $\mathbb{D}$). As an application, we establish that every position in \textsc{Yashima} game on bipartite graphs has an integer pair value.
On the Precise Asymptotics of $ex(n,n,n,K_{2,t})$ for even $t$
Let $K_{2,t}$ denote the complete bipartite graph. For an integer $n\ge 1$, let $ex(n,n,n,K_{2,t})$ be the maximum number of edges in an $n\times n\times n$ tripartite graph (that is, a 3-partite graph with three parts each of size $n$) containing no copy of $K_{2,t}$. In this paper we prove that, for even $t\ge 2$, $$ ex(n,n,n,K_{2,t}) \ge \frac{3\sqrt{t-1}}{\sqrt{2}}\, n^{3/2} + o(n^{3/2}). $$ Combining our construction with earlier work of Tait and Timmons, we obtain $$ \lim\limits_{n\to\infty} \frac{ex(n,n,n,K_{2,t})}{n^{3/2}} = \frac{3\sqrt{t-1}}{\sqrt{2}}, \qquad\text{for integer } t\ge 2. $$
On the Chromatic Number of Stable Kneser Hypergraphs: Verifying the Conjecture for New Families
One of the key unsolved conjectures in hypergraph coloring is about the chromatic number of $s$-stable $r$-uniform Kneser hypergraphs $\mathrm{KG}^r(n,k)_{s\textup{-stab}}$. The problem remains largely open, particularly in the case where $s > r\geq 3$. To the best of our knowledge, no information is available except a limited number of computations conducted for the instances when $r=3, 4$, $s=4, 5$, $k=2,3$ with some $n$ does not exceed 14. In this study, we verify the conjecture for infinity many values of the parameters $n$ and $k$. In particular, we demonstrate: (i) the validity of the conjecture for $r = 4$, $s = 6$ under the condition that $3 \mid n$ or $k=2$, and (ii) for $r = 4$, $k = 2$, $s = 5$ given $3 \nmid n$. As far as we are aware, this provides the first rigorous theoretical proof of the conjecture (for the case $s > r\geq 3$) for infinitely many parameter values, extending beyond finite computational verification. Furthermore, our methods rely on a detailed study of vector-stable Kneser graphs, an approach that not only yields these results but also provides a deeper understanding of their chromatic numbers.
Modularity and random graphs
This work will appear as a chapter in a forthcoming volume titled `Topics in Probabilistic Graph Theory'.
For a given graph $G$, each partition of the vertices has a modularity score, with higher values indicating that the partition better captures community structure in $G$. The modularity $q^*(G)$ of $G$ is the maximum over all vertex-partitions of the modularity score, and satisfies $0\leq q^*(G)< 1$. Modularity lies at the heart of the most popular algorithms for community detection. In this chapter we discuss the behaviour of the modularity of various kinds of random graphs, starting with the binomial random graph $G_{n,p}$ with $n$ vertices and edge-probability $p$.
On the coefficients of interior and exterior polynomials of polymatroids
The Tutte polynomial is an important invariant of graphs and matroids. Chen and Guo \emph{[Adv. in Appl. Math. 166 (2025) 102868.]} proved that for a $(k+1)$-edge connected graph $G$ and for any $i$ with $0\leq i <\frac{3(k+1)}{2}$, $$[y^{g-i}]T_{G}(1,y)=\binom{|V(G)|+i-2}{i}-\sum_{j=0}^{i}\binom{|V(G)|+i-2-j}{i-j}|\mathcal{SC}_{j}(G)|,$$ where $g=|E(G)|-|V(G)|+1$, $\mathcal{SC}_{j}(G)$ is the set of all minimal edge cuts with $j$ edges, $T_{G}(x,y)$ is the Tutte polynomial of the graph $G$, and $[y^{g-i}]T_{G}(1,y)$ denotes the coefficient of $y^{g-i}$ in the polynomial $T_{G}(1,y)$. Recently, Ma, Guan and Jin \emph{[arXiv.2503.06095, 2025.]} generalized this result from graphs to matroids and obtained the dual result on coefficients of $T_M(x,1)$ of matroids $M$ at the same time. In 2013, as a generalization of $T_{G}(x,1)$ and $T_{G}(1,y)$ of graphs $G$ to hypergraphs, Kálmán \emph{[Adv. Math. 244 (2013) 823-873.]} introduced interior and exterior polynomials for connected hypergraphs. Chen and Guo posed a problem that can one generalize these results of graphs to interior and exterior polynomials of hypergraphs? In this paper, we solve it in the affirmative by obtaining results for more general polymatroids, which include the case of hypergraphs and also generalize the results of matroids due to Ma, Guan and Jin. As an application, the sequence consisting of these coefficients on polymatroids is proven to be unimodal, while the unimodality of the whole coefficients of matroids was obtained in 2018 by Adiprasito, Huh and Katz using Hodge theory.
Majority Edge Colouring of Hypergraph
Let G = (V, E) be a hypergraph. A 1/k-majority (k+1)-edge-colouring of a hypergraph is an edge-colouring with k+1 colours such that for every vertex v and each colour i, at most floor(d(v)/k) hyperedges incident to v receive colour i. Motivated by a recent work of Pękała and Przybyło on majority edge-colouring in graphs, we prove that every hypergraph G with minimum degree delta(G) >= 2 r k^2 admits a 1/k-majority (k+1)-edge-colouring, where r = max_{e in E} |e|, by extending their key lemma.
List coloring ordered graphs with forbidden induced subgraphs
In the List $k$-Coloring problem we are given a graph whose every vertex is equipped with a list, which is a subset of $\{1,\ldots,k\}$. We need to decide if $G$ admits a proper coloring, where every vertex receives a color from its list.
The complexity of the problem in classes defined by forbidding induced subgraphs is a widely studied topic in algorithmic graph theory. Recently, Hajebi, Li, and Spirkl [SIAM J. Discr. Math. 38 (2024)] initiated the study of List $3$-Coloring in ordered graphs, i.e., graphs with fixed linear ordering of vertices. Forbidding ordered induced subgraphs allows us to investigate the boundary of tractability more closely.
We continue this direction of research, focusing mostly on the case of List $4$-Coloring. We present several algorithmic and hardness results, which altogether provide an almost complete dichotomy for classes defined by forbidding one fixed ordered graph: our investigations leave one minimal open case.
Extremal distance spectral radius of graphs with $h$-extra $r$-component connectivity
For two integers $r\geq 2$ and $h\geq 0$, the $h$-extra $r$-component connectivity of a graph $G$, denoted by $cκ_{r}^{h}$, is defined as the minimum number of vertices whose removal produces a disconnected graph with at least $r$ components, where each component contains at least $h+1$ vertices. Let $\mathcal{G}_{n,δ}^{cκ_{r}^{h}}$ represent the set of graphs of order $n$ with minimum degree $δ$ and $h$-extra $r$-component connectivity $cκ_{r}^{h}$. Hu, Lin, and Zhang [\textit{Discrete Math.} \textbf{345} (2025) 114621] investigated the case when $h=0$ within $\mathcal{G}_{n,δ}^{cκ_{r}^{h}}$, and characterized the corresponding extremal graphs that minimize the distance spectral radius. In this paper, we further explore the relevant extremal graphs in $\mathcal{G}_{n,δ}^{cκ_{r}^{h}}$ for $h\geq 1$.
Visibility Polynomial of Some Graph Classes
Mutual visibility in graphs provides a framework for analysing how vertices can observe one another along shortest paths free of internal obstructions. The visibility polynomial, which enumerates mutual-visibility sets of all orders, has emerged as a central invariant in this study, with both theoretical significance and practical relevance in areas such as surveillance, target tracking, and distributed coordination. While computing this polynomial is computationally demanding, with known complexity $O(n^32^n)$, explicit characterizations for specific graph families yield valuable structural insights. In this paper, we characterize the mutual-visibility sets of several fundamental graph classes and derive closed-form expressions for their associated visibility polynomials. These results deepen the understanding of visibility-based invariants and expand the toolkit available for studying visibility phenomena in networks.
An exponential upper bound for induced Ramsey numbers
The induced Ramsey number $R_{\mathrm{ind}}(H; r)$ of a graph $H$ is the minimum number $N$ such that there exists a graph with $N$ vertices for which all $r$-colourings of its edges contain a monochromatic induced copy of $H$. Our main result is the existence of a constant $C > 0$ such that, for every graph $H$ on $k$ vertices, these numbers satisfy \begin{equation*}
R_{\mathrm{ind}}(H; r) \le r^{C r k}. \end{equation*} When $r = 2$, this resolves a conjecture of Erdős from 1975. For $r > 2$, it answers a question of Conlon, Fox and Sudakov in a strong form.
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.