graph
34516 papers tagged with this keyword
Word-Representability of Well-Partitioned Chordal Graphs
In this paper, we study the word-representability of well-partitioned chordal graphs using split decomposition. We show that every component of the minimal split decomposition of a well-partitioned chordal graph is a split graph. Thus we have a characterization for word-representability of well-partitioned chordal graphs. As a consequence, we prove that the recognition of word-representability of well-partitioned chordal graphs can be done in polynomial time. Moreover, we prove that the representation number of a word-representable well-partitioned chordal graph is at most three. Further, we obtain a minimal forbidden induced subgraph characterization of circle graphs restricted to well-partitioned chordal graphs. Accordingly, we determine the class of word-representable well-partitioned chordal graphs having representation number exactly three.
Generalized Erdős-Rogers problems for hypergraphs
Given $r$-uniform hypergraphs $G$ and $F$ and an integer $n$, let $f_{F,G}(n)$ be the maximum $m$ such that every $n$-vertex $G$-free $r$-graph has an $F$-free induced subgraph on $m$ vertices. We show that $f_{F,G}(n)$ is polynomial in $n$ when $G$ is a subgraph of an iterated blowup of $F$. As a partial converse, we show that if $G$ is not a subgraph of an $F$-iterated blowup and is $2$-tightly connected, then $f_{F,G}(n)$ is at most polylogarithmic in $n$. Our bounds generalize previous results of Dudek and Mubayi for the case when $F$ and $G$ are complete.
The Alon-Tarsi Number of Cartesian product and Corona product of Hypercube Graph and Special Graphs
The \emph{Alon-Tarsi number} of a graph $G$ is the smallest $k$ so that there exists an orientation $D$ of $G$ with max outdegree $k-1$ satisfying the number of even Eulerian subgraphs different from the number of odd Eulerian subgraphs. In this paper, the Alon-Tarsi number of the $n$-cube is obtained according to its special properties, we obtain the Alon-Tarsi number of Cartesian product of some special bipartite graphs, and get the Alon-Tarsi number of Corona product of graphs. As corollaries, we get the Alon-Tarsi number of Cartesian product and Corona product of hypercube graph and special graphs.
A New Dominating Set Game on Graphs
We introduce a new two-player game on graphs, in which players alternate choosing vertices until the set of chosen vertices forms a dominating set. The last player to choose a vertex is the winner. The game fits into the scheme of several other known games on graphs. We characterize the paths and cycles for which the first player has the winning strategy. We also create tools for combining graphs in various ways (via graph powers, Cartesian products, graph joins, and other methods) for building a variety of graphs whose games are won by the second player, including cubes, multidimensional grids with an odd number of vertices, most multidimensional toroidal grids, various trees such as specialized caterpillars, the Petersen graph, and others. Finally, we extend the game to groups and show that the second player wins the game on abelian groups of even order with canonical generating set, among others.
Nonlinear spectral graph theory
Nonlinear spectral graph theory is an extension of the traditional (linear) spectral graph theory and studies relationships between spectral properties of nonlinear operators defined on a graph and topological properties of the graph itself. Many of these relationships get tighter when going from the linear to the nonlinear case. In this manuscript, we discuss the spectral theory of the graph $p$-Laplacian operator. In particular we report links between the $p$-Laplacian spectrum and higher-order Cheeger (or isoperimetric) constants, sphere packing constants, independence and matching numbers of the graph. The main aim of this paper is to present a complete and self-contained introduction to the problem accompanied by a discussion of the main results and the proof of new results that fill some gaps in the theory. The majority of the new results are devoted to the study of the graph infinity Laplacian spectrum and the information that it yields about the packing radii, the independence numbers and the matching number of the graph. This is accompanied by a novel discussion about the nodal domains induced by the infinity eigenfunctions. There are also new results about the variational spectrum of the $p$-Laplacian, the regularity of the $p$-Laplacian spectrum varying $p$, and the relations between the $1$-Laplacian spectrum and new Cheeger constants.
Number of independent transversals in multipartite graphs
An independent transversal in a multipartite graph is an independent set that intersects each part in exactly one vertex. We show that for every even integer $r\ge 2$, there exist $c_r>0$ and $n_0$ such that every $r$-partite graph with parts of size $n\ge n_0$ and maximum degree at most $rn/(2r-2)-t$, where $t=o(n)$, contains at least $c_r t n^{r-1}$ independent transversals. This is best possible up to the value of $c_r$. Our result confirms a conjecture of Haxell and Szabó from 2006 and partially answers a question raised by Erdős in 1972 and studied by Bollobás, Erdős and Szemerédi in 1975. We also show that, given any integer $s\ge 2$ and even integer $r\ge 2$, there exist $c_{r,s}>0$ and $n_0$ such that every $r$-partite graph with parts of size $n\ge n_0$ and maximum degree at most $rn/(2r-2)- c_{r, s} n^{1-1/s}$ contains an independent set with exactly $s$ vertices in each part. This is best possible up to the value of $c_{r, s}$ if a widely believed conjecture for the Zarankiewicz number holds. Our result partially answers a question raised by Di Braccio and Illingworth recently.
Modulus of hypertrees
Lorea [11] and later Frank et al. [8] generalized graphic matroids to hypergraphic matroids. In [8], the authors introduced hypertrees as a generalization of spanning trees and proved a form of the theorem of Tutte [18] and Nash-Williams [14]. In [3, 15, 17], the authors explored the modulus of the family of spanning trees in graphs and of the family of bases of matroids, and provided connections to the notions of strength and fractional arboricity. They also established Fulkerson duality for these families. In this paper, we extend these results to hypertrees, and show that the modulus of hypertrees uncovers a hierarchical structure within arbitrary hypergraphs.
A sharp upper bound for the number of connected sets in any grid graph
A connected set in a graph is a subset of vertices whose induced subgraph is connected. Although counting the number of connected sets in a graph is generally a \#P-complete problem, it remains an active area of research. In 2020, Vince posed the problem of finding a formula for the number of connected sets in the $(n\times n)$-grid graph. In this paper, we establish a sharp upper bound for the number of connected sets in any grid graph by using multistep recurrence formulas, which further derives enumeration formulas for the numbers of connected sets in $(3\times n)$- and $(4\times n)$-grid graphs, thus solving a special case of the general problem posed by Vince. In the process, we also determine the number of connected sets of $K_{m}\times P_{n}$ by employing the transfer matrix method, where $K_{m}\times P_{n}$ is the Cartesian product of the complete graph of order $m$ and the path of order $n$.
On the twin-width of near-regular graphs
Published in Discrete Applied Mathematics 379 (2026) 177-193
• View Publication
• BIB
Twin-width is a recently introduced graph parameter based on the repeated contraction of near-twins. It has shown remarkable utility in algorithmic and structural graph theory, as well as in finite model theory -- particularly since first-order model checking is fixed-parameter tractable when a witness certifying small twin-width is provided. However, the behavior of twin-width in specific graph classes, particularly cubic graphs, remains poorly understood. While cubic graphs are known to have unbounded twin-width, no explicit cubic graph of twin-width greater than 4 is known.
This paper explores this phenomenon in regular and near-regular graph classes. We show that extremal graphs of bounded degree and high twin-width are asymmetric, partly explaining their elusiveness. Additionally, we establish bounds for circulant and d-degenerate graphs, and examine strongly regular graphs, which exhibit similar behavior to cubic graphs. Our results include determining the twin-width of Johnson graphs over 2-sets, and cyclic Latin square graphs.
Interval Graphs are Reconstructible
A graph is reconstructible if it is determined up to isomorphism by the multiset of its proper induced subgraphs. The reconstruction conjecture postulates that every graph of order at least 3 is reconstructible. We show that interval graphs with at least three vertices are reconstructible. For this purpose we develop a technique to handle separations in the context of reconstruction. This resolves a major roadblock to using graph structure theory in the context of reconstruction. To apply our novel technique, we also develop a resilient combinatorial structure theory for interval graphs. A consequence of our result is that interval graphs can be reconstructed in polynomial time.
Strongly regular graphs with parameters (85,14,3,2) do not exist
We investigate the second smallest unresolved feasible set of parameters of strongly regular graphs, $(v,k,λ,μ)=(85,14,3,2)$. Using the classification of cubic graphs of small degree, we restrict possible local structure of such a graph $G$. After that, we exhaustively enumerate possible neighbourhoods of a maximal $3$-clique of $G$ and check them against a variety of conditions, including the combinatorial ones, coming from $λ=3$ and $μ=2$, as well as the linear algebra ones, utilising the Euclidean representation of $G$. These conditions yield contradiction in all cases, and hence, no $\mathrm{srg}(85,14,3,2)$ exists.
On zero-divisor graph of the ring of Gaussian integers modulo $2^n$
For a commutative ring $R$, the zero-divisor graph of $R$ is a simple graph with the vertex set as the set of all zero-divisors of $R$ and two distinct vertices $x$ and $y$ are adjacent if and only if $xy = 0$. This article attempts to predict the structure of the zero-divisor graph of the ring of Gaussian integers modulo $2$ to the power $n$ and determine the size, chromatic number, clique number, independence number, and matching through associate classes of divisors of $2^n$ in $\mathbb{Z}_{2^n}[i]$. In addition, a few topological indices of the corresponding zero-divisor graph, are obtained.
Polynomial Bounds for the Graph Minor Structure Theorem
The Graph Minor Structure Theorem, originally proven by Robertson and Seymour [JCTB, 2003], asserts that there exist functions $f_1, f_2 \colon \mathbb{N} \to \mathbb{N}$ such that for every non-planar graph $H$ with $t := |V(H)|$, every $H$-minor-free graph can be obtained via the clique-sum operation from graphs which embed into surfaces where $H$ does not embed after deleting at most $f_1(t)$ many vertices with up to at most $t^2-1$ many ``vortices'' which are of ``depth'' at most $f_2(t)$. In the proof presented by Robertson and Seymour the functions $f_1$ and $f_2$ are non-constructive. Kawarabayashi, Thomas, and Wollan [arXiv, 2020] found a new proof showing that $f_1(t), f_2(t) \in 2^{\mathbf{poly}(t)}$. While believing that this bound was the best their methods could achieve, Kawarabayashi, Thomas, and Wollan conjectured that $f_1$ and $f_2$ can be improved to be polynomials.
In this paper we confirm their conjecture and prove that $f_1(t), f_2(t) \in \mathbf{O}(t^{2300})$. Our proofs are fully constructive and yield a polynomial-time algorithm that either finds $H$ as a minor in a graph $G$ or produces a clique-sum decomposition for $G$ as above.
A spanning tree model for Khovanov homology, Rasmussen's s-invariant and exotic discs in the $4$-ball
The checkerboard coloring of knot diagrams offers a graph-theoretical approach to address topological questions. Champanerkar and Kofman defined a complex generated by the spanning trees of a graph obtained from the checkerboard coloring whose homology is the reduced Khovanov homology. Notably, the differential in their chain complex was not explicitly defined. We explicitly define the combinatorial form of the differential within the spanning tree complex. We additionally provide a description of Rasmussen's $s$-invariant within the context of the spanning tree complex. Applying our techniques, we identify a new infinite family of knots where each of them bounds a set of exotic discs within the 4-ball.
Investigating Simple Drawings of $K_n$ using SAT
We present a SAT framework which allows to investigate properties of simple drawings of the complete graph $K_n$ using the power of AI. In contrast to classic imperative programming, where a program is operated step by step, our framework models mathematical questions as Boolean formulas which are then solved using modern SAT solvers. Our framework for simple drawings is based on a characterization via rotation systems and finite forbidden substructures. We showcase its universality by addressing various open problems, reproving previous computational results and deriving several new computational results. In particular, we test and progress on several unavoidable configurations such as variants of Rafla's conjecture on plane Hamiltonian cycles, Harborth's conjecture on empty triangles, and crossing families for general simple drawings as well as for various subclasses. Moreover, based our computational results we propose some new challenging conjectures.
Equality of tropical rank and dimension for tropical linear series
The tropical rank of a semimodule of rational functions on a metric graph mirrors the concept of rank in linear algebra. Defined in terms of the maximal number of tropically independent elements within the semimodule, this quantity has remained elusive due to the challenges of computing it in practice. In this note, we establish that the tropical rank is, in fact, precisely equal to the topological dimension of the semimodule, one more than the dimension of the associated linear system of divisors. Moreover, we show that the equality of divisorial and tropical ranks in the definition of tropical linear series is equivalent to the pure dimensionality of the corresponding linear system. We conclude with several complementary results and questions on combinatorial, topological, and computability properties of the tropical rank.
Vertex-Based Localization of Turán's Theorem
Let $G$ be a simple graph with $n$ vertices and $m$ edges. According to Turán's theorem, if $G$ is $K_{r+1}$-free, then $m \leq |E(T(n, r))|,$ where $T(n, r)$ denotes the Turán graph on $n$ vertices with a maximum clique of order $r$. A limitation of this statement is that it does not give an expression in terms of $n$ and $r$. A widely used version of Turán's theorem states that for an $n$-vertex $K_{r+1}$-free graph, $m \leq \left\lfloor \frac{n^2(r-1)}{2r} \right\rfloor.$ Though this bound is often more convenient, it is not the same as the original statement. In particular, the class of extremal graphs for this bound, say $\mathcal{S}$, is a proper subset of the set of Turán graphs. In this paper, we generalize this result as follows: For each $v \in V(G)$, let $c(v)$ be the order of the largest clique that contains $v$. We show that \[ m \leq \left\lfloor\frac{n}{2}\sum_{v\in V(G)}\frac{c(v)-1}{c(v)}\right\rfloor\] Furthermore, we characterize the class of extremal graphs that attain equality in this bound. Interestingly, this class contains two extra non-Turán graphs other than the graphs in $\mathcal{S}$.
On cycle covers of infinite bipartite graphs
Given a graph $G$ and a subset $X$ of vertices of $G$ with size at least two, we denote by $N^2_G(X)$ the set of vertices of $G$ that have at least two neighbors in $X$. We say that a bipartite graph $G$ with sides $A$ and $B$ satisfies the double Hall property if for every subset $X$ of vertices of $A$ with size at least 2, $\vert N^2_G(X)\vert \geq \vert X\vert$. Salia conjectured that if $G$ is a bipartite graph that satisfies the double Hall property, then there exists a cycle in $G$ that covers all vertices of $A$. In this work, we study this conjecture restricted to infinite graphs. For this, we use the definition of ends and infinite cycles. It is simple to see that Salia's conjecture is false for infinite graphs in general. Consequently, all our results are partial. Under certain hypothesis it is possible to obtain a collection of pairwise disjoint 2-regular subgraphs that covers $A$. We show that if side $B$ is locally finite and side $A$ is countable, then the conjecture is true. Furthermore, assuming the conjecture holds for finite graphs, we show that it holds for infinite graphs with a restriction on the degree of the vertices of $B$. This result is inspired by the result obtained by Barát, Grzesik, Jung, Nagy and Pálvölgyi for finite graphs. Finally, we also show that if Salia's conjecture holds for some cases of infinite graphs, then the conjecture about finite graphs presented by Lavrov and Vandenbussche is true.
Relationships between minimum rank problem parameters for cobipartite graphs
For a simple graph, the minimum rank problem is to determine the smallest rank among the symmetric matrices whose off-diagonal nonzero entries occur in positions corresponding to the edges of the graph. Bounds on this minimum rank (and on an equivalent value, the maximum nullity) are given by various graph parameters, most notably the zero forcing number and its variants. For a matrix, replacing each nonzero entry with the symbol \(\ast\) gives its zero-nonzero pattern. The associated minimum rank problem is to determine, given only this pattern, the smallest possible rank of the matrix. The most fundamental lower bound on this minimum rank is the triangle number of the pattern. A cobipartite graph is the complement of a bipartite graph; its vertices can be partitioned into two cliques. Such a graph corresponds to a zero-nonzero pattern in a natural way. Over an infinite field, the minimum rank of the graph and that of the pattern obey a simple relationship. We show that this same relationship is followed by the zero forcing number of the graph and the triangle number of the pattern. This has implications for the relationship between the two minimum rank problems. We also explore how, for cobipartite graphs, variants of the zero forcing number and other parameters important to the minimum rank problem are related, as well as how, for graphs in general, these parameters can be interpreted in terms of the zero-nonzero patterns of the symmetric matrices associated with the graph.
A Dense Neighborhood Lemma: Applications of Partial Concept Classes to Domination and Chromatic Number
In its Euclidean form, the Dense Neighborhood Lemma (DNL) asserts that if $V$ is a finite set of points of $\mathbb{R}^N$ such that for each $v \in V$ the ball $B(v,1)$ intersects $V$ on at least $δ|V|$ points, then for every $\varepsilon >0$, the points of $V$ can be covered with $f(δ,\varepsilon)$ balls $B(v,1+\varepsilon)$ with $v \in V$. DNL also applies to other metric spaces and to abstract set systems, where elements are compared pairwise with respect to (near) disjointness. In its strongest form, DNL provides an $\varepsilon$-clustering with size exponential in $\varepsilon^{-1}$, which amounts to a Regularity Lemma with 0/1 densities of some trigraph.
Trigraphs are graphs with additional red edges. They are natural instances of partial concept classes, introduced by Alon, Hanneke, Holzman and Moran [FOCS 2021]. This paper is mainly a combinatorial study of the generalization of Vapnik-Cervonenkis dimension to partial concept classes. The main point is to show how trigraphs can sometimes explain the success of random sampling even though the VC-dimension of the underlying graph is unbounded. All the results presented here are effective in the sense of computation: they primarily rely on uniform sampling with the same success rate as in classical VC-dimension theory.
Among some applications of DNL, we show that $\left(\frac{3t-8}{3t-5}+\varepsilon\right)\cdot n$-regular $K_t$-free graphs have bounded chromatic number. Similarly, triangle-free graphs with minimum degree $n/3-n^{1-\varepsilon}$ have bounded chromatic number (this does not hold with $n/3-n^{1-o(1)}$). For tournaments, DNL implies that the domination number is bounded in terms of the fractional chromatic number. Also, $(1/2-\varepsilon)$-majority digraphs have bounded domination, independently of the number of voters.