graph
34516 papers tagged with this keyword
Localized Erdős-Pósa Property for Subdivisions
For a graph $H$, we say that $H$ has the Erdős-Pósa property for subdivisions with function $f$, if for every graph $G$, either $G$ contains (as a subgraph) $k+1$ pairwise disjoint subdivisions of $H$ or there exists a set $X\subseteq G$ such that $G\setminus X$ contains no $H$-subdivision and $|X|\leq f(k)$. We show that every $H$ that has the \EP property for subdivision also satisfies a localized version of the \EP property, as follows. Let $H$ be an $n$-vertex graph with $m\geq 1$ edges that has the Erdős-Pósa property for subdivisions with function $f$, and let $G$ be a graph that does not contain $k+1$ disjoint subdivisions of $H$. We demonstrate the existence of a set of at most $k$ vertex disjoint subdivisions of $H$ in $G$ such that in their union, we can find a set $X$ with the property that $G \setminus X$ contains no $H$-subdivision and $|X| \leq 2^{f(k)}mk +k(m-n)$.
On automorphism groups of half-arc-transitive tetravalent graphs
We characterize connected tetravalent graphs $Γ$ which admit groups $M<H$ of automorphisms such that $Γ$ is $M$-half-arc-transitive and $H$-arc-transitive. Examples for each case are constructed, including a counter-example to a question asked by A. R. Rivera and P. Šparl in 2019 as well as the first example of tetravalent normal-edge-transitive non-normal Cayley graph on a nonabelian simple group.
On the size edge-ordered Ramsey numbers of graphs
For edge-ordered graphs $G^{\prec}$ and $H^{\prec}$, the size edge-ordered Ramsey number $\hat{r}_{\text{edge}}(G^{\prec}, H^{\prec})$ is defined as the smallest integer $m$ for which there exists an edge-ordered graph $F^{\prec}$ (with underlying graph $F$) having $m$ edges, such that every $2$-coloring of the edges of $F^{\prec}$ contains a monochromatic edge-ordered subgraph isomorphic to $G^{\prec}$ or a monochromatic edge-ordered subgraph isomorphic to $H^{\prec}$. Fox and Li posed a foundational question: which families of edge-ordered graphs have linear or near-linear size edge-ordered Ramsey numbers? In this paper, we apply Szemerédi's regularity lemma to prove that, even for sparse graph families, specifically the well-defined class of edge-ordered book graphs, the size edge-ordered Ramsey numbers of this family exhibit non-linear growth. Furthermore, we show that three families of edge-ordered graphs exhibit linear or near-linear size edge-ordered Ramsey numbers.
On Shellability of 3-Cut Complexes of Hexagonal Grid Graphs
The $k$-cut complex was recently introduced by Bayer et al. as a generalization of earlier work of Fr{ö}berg (1990) and Eagon and Reiner (1998), and was shown to be shellable for several classes of graphs. In this article, we prove that the $3$-cut complexes of the hexagonal grid graphs $H_{1 \times m \times n}$ are shellable for all $m,n \geq 1$, by constructing an explicit shelling order using reverse lexicographic ordering. From this shelling, we determine the number of spanning facets, denoted by $ψ_{m,n}$, and deduce that the complex is homotopy equivalent to a wedge of $ψ_{m,n}$ spheres of dimension $\left( 2m + 2n + 2mn - 4 \right)$, where $$ψ_{m,n} = \binom{2m+2n+2mn-1}{2} - \left[ \left( 6m+2 \right) n + (2m-4) \right].$$
While these topological properties can be obtained from general results of Bayer et al., we provide an explicit combinatorial construction of a shelling order, yielding a direct counting formula for the number of spheres in the wedge sum decomposition.
Chromatic numbers from edge ideals: Graph classes with vanishing syzygies are polynomially $χ$-bounded
The chromatic number $χ$ of a graph is bounded from below by its clique number $ω,$ but it can be arbitrary large. Perfect graphs are defined by $χ=ω$ for all induced subgraphs. An interesting relaxation are $χ$-bounded graph classes, where $χ\leq f(ω).$ It is not always possible to achieve this with a polynomial $f.$
The edge ideal $I_G$ of a graph $G$ is generated by monomials $x_ux_v$ for each edge $uv$ of $G.$ The bi-graded betti numbers $β_{i,j}(I)$ are central algebraic geometric invariants. We study the graph classes where for some fixed $i,j$ that syzygy vanishes, that is, $β_{i,j}(I_G)=0.$
We prove that $χ\leq f(ω),$ where $f$ is a polynomial of degree $2j-2i-4.$ For the elementary special case $β_{i,2i+2}(I_G)=0,$ this amounts to that $(i+1)K_2$-free graphs are ${ω-1+2i \choose 2i}$-colorable, improving on an old combinatorial result by Wagon. We also show that triangle-free graphs with $β_{i,j}(I_G)=0$ are $(j-1)$-colorable.
Complexity wise, we show that these colorings can be derived in time $O(n^3)$ for graphs on $n$ vertices. Moreover, we show that for almost all graphs with parabolic $i,j,$ there are better bounds on $χ.$
Total colouring of circulant graphs $C_{n}(1, 3)$
Total colouring of 4-regular circulant graphs is an interesting but challenging topic, and has attracted much attention. However, it still remains an open question to determine the total chromatic numbers of $C_{n}(1, 3)$, a subclass of 4-regular circulant graphs, even after many efforts. In this paper, we investigate the total colouring of these graphs and determine their total chromatic numbers. Our results show that the total chromatic numbers of $C_{n}(1, 3)$ are 6 for $n=7,8,12,13,17$, and 5 for all others.
Towards a General Framework for Predicting and Explaining the Hardness of Graph-based Combinatorial Optimization Problems using Machine Learning and Association Rule Mining
This study introduces GCO-HPIF, a general machine-learning-based framework to predict and explain the computational hardness of combinatorial optimization problems that can be represented on graphs. The framework consists of two stages. In the first stage, a dataset is created comprising problem-agnostic graph features and hardness classifications of problem instances. Machine-learning-based classification algorithms are trained to map graph features to hardness categories. In the second stage, the framework explains the predictions using an association rule mining algorithm. Additionally, machine-learning-based regression models are trained to predict algorithmic computation times. The GCO-HPIF framework was applied to a dataset of 3287 maximum clique problem instances compiled from the COLLAB, IMDB, and TWITTER graph datasets using five state-of-the-art algorithms, namely three exact branch-and-bound-based algorithms (Gurobi, CliSAT, and MOMC) and two graph-neural-network-based algorithms (EGN and HGS). The framework demonstrated excellent performance in predicting instance hardness, achieving a weighted F1 score of 0.9921, a minority-class F1 score of 0.878, and an ROC-AUC score of 0.9083 using only three graph features. The best association rule found by the FP-Growth algorithm for explaining the hardness predictions had a support of 0.8829 for hard instances and an overall accuracy of 87.64 percent, underscoring the framework's usefulness for both prediction and explanation. Furthermore, the best-performing regression model for predicting computation times achieved a percentage RMSE of 5.12 and an R2 value of 0.991.
Spectral extremal problems for $(a,b,k)$-critical and fractional $(a,b,k)$-critical graphs
A factor of a graph is essentially a specific type spanning subgraph. The study of characterizing the existence of $[a, b]$-factors based on eigenvalue conditions can be traced back to the work of Brouwer and Haemers (2005) on perfect matchings. With the advancement of graphs factor theory, the related spectral extremal problems, particularly the study of $[a,b]$-factors and fractional $[a,b]$-factors, have been widely studied by scholars. Our work is motivated by research related to the $[a,b]$-factors and fractional $[a,b]$-factors, and explores their generalizations: $(a,b,k)$-critical graphs and fractional $(a,b,k)$-critical graphs. A graph $G$ is called an $(a,b,k)$-critical (a fractional $(a,b,k)$-critical) graph if after deleting any $k$ vertices of $G$ the remaining graph of $G$ has an $[a,b]$-factor (a fractional $[a,b]$-factor). In this paper, we establish spectral radius conditions for a graph to be $(a,b,k)$-critical or fractional $(a,b,k)$-critical. When $k=0$, our results also resolve some open problems concerning $[a, b]$-factors and fractional $[a, b]$-factors.
Categorification of Chromatic, Dichromatic and Penrose Polynomials
This paper discusses ways to categorify chromatic, dichromatic and Penrose polynomials, including categorifications of integer evaluations of chromatic polynomials.
We show that with an appropriate choice of variables the coefficients of the Potts partition function at different energy levels are given by Euler characteristics of appropriate parts of a bigraded homology theory associated with the model. In the case of the dichromatic polynomial for graphs, we show that the two variable polynomial can be seen as a sum of powers of one variable multiplied by coefficients that are "impropriety" coloring polynomials for the underlying graph. An impropriety polynomial $C_{G}^{i}(n)$ counts the number of colorings in $n$ colors of the graph that are not proper at a given number $i$ of edges in the graph. The last section of the paper categorifies coloring evaluations rather than coloring polynomials. We then obtain a range of possible chain complexes and homology theories such that the chromatic evaluation is equal to the Euler characteristic of the homology. The freedom of choice in making such chain complexes is related to possible associative algebra structures on the set of colors.
Choosability of multipartite hypergraphs
A $k$-uniform hypergraph (or $k$-graph) $H = (V, E)$ is $k$-partite if $V$ can be partitioned into $k$ sets $V_1, \ldots, V_k$ such that each edge in $E$ contains precisely one vertex from each $V_i$. We show that $k$-partite $k$-graphs of maximum degree $Δ$ are $q$-choosable for $q \geq \left(\frac{4}{5}(k-1 + o(1))Δ/\log Δ\right)^{1/(k-1)}$. Our proof yields an efficient randomized algorithm for finding such a coloring, which shows that the conjectured algorithmic barrier for coloring pseudorandom $k$-graphs does not apply to $k$-partite $k$-graphs.
Perfect codes and regular sets in vertex-transitive graphs
A subset \( C \) of the vertex set \( V \) of a graph \( Γ= (V,E) \) is termed an $(r,s)$-regular set if each vertex in \( C \) is adjacent to exactly \( r \) other vertices in \( C \), while each vertex not in \( C \) is adjacent to precisely \( s \) vertices in \( C \). A specific case, known as a $(0,1)$-regular set, is referred to as a perfect code. In this paper, we will delve into $(r,s)$-regular sets in the context of vertex-transitive graphs. It is noteworthy that any vertex-transitive graph can be represented as a coset graph \( \Cos(G,H,U) \). When examining a group \( G \) and a subgroup \( H \) of \( G \), a subgroup \( A \) that encompasses \( H \) is identified as an $(r,s)$-regular set related to the pair \( (G,H) \) if there exists a coset graph \( \Cos(G,H,U) \) such that the set of left cosets of \( H \) in \( A \) forms an $(r,s)$-regular set within this graph. In this paper, we present both a necessary and sufficient condition for determining when a normal subgroup \( A \) that includes \( H \) as a normal subgroup qualifies as an $(r,s)$-regular set for the pair \( (G,H) \). Furthermore, if \( A \) is a normal subgroup of \( G \) containing \( H \), we establish a relationship between \( A \) being a perfect code of \( (G,H) \) and the quotient \( N_A(H)/H \) being a perfect code of \(( N_G(H)/H, {1_{N_{G}(H)/H}}) \).
Degenerate Vertex Cuts in Sparse Graphs
For a non-negative integer $k$, a vertex cut in a graph is $k$-degenerate if it induces a $k$-degenerate subgraph. We show that a graph of order $n$ at least $2k+2$ without a $k$-degenerate cut has the size at least $\frac{1}{2}\left(k+Ω\left(\sqrt{k}\right)\right)n$ and that a graph of order $n$ at least $5$ without a $2$-degenerate cut has the size at least $\frac{27n-35}{10}$. For $k\geq 2$, we show that a connected graph $G$ of order $n$ at least $k+6$ and size $m$ at most $\frac{k+3}{2}n+\frac{k-1}{2}$ has a minimum $k$-degenerate cut.
Independence Complexes of Hexagonal Grid Graphs
The independence complex of a graph is a simplicial complex whose faces correspond to the independent sets of $G$. While independence complexes have been studied extensively for many graph classes, including square grid graphs, relatively little is known about planar hexagonal grid graphs.
In this article, we study the topology of the independence complexes of hexagonal grid graphs $H_{1 \times m \times n}$. For $ m=1, 2, 3$ and $n\geq 1$, we determine their homotopy types. In particular, we show that the independence complex of the hexagonal line tiling $H_{1 \times 1 \times n}$ is homotopy equivalent to a wedge of two $n$-spheres, and for $m=2$ and $m=3$, we obtain recursive descriptions that completely determine the spheres appearing in the homotopy type. Our proofs rely on link and deletion operations, the fold lemma, and a detailed analysis of induced subgraphs.
Properties of plactic monoid centralizers
Let u be a word over the positive integers P. Motivated by a question involving crystal graphs, Sagan and Wilson initiated the study of the centralizer of u in the plactic monoid which is the set
C(u) = {w | uw is Knuth equivalent to wu}.
In particular, they conjectured the following stability phenomenon: for any u there is a positive integer K depending only on u such that C(u^k) = C(u^K) for k >= K. We prove that this property holds for various u including words consisting of only ones and twos, as well as permutations. Sagan and Wilson also considered c_{n,m}(u) which is the number of w in C(u) of length n and maximum at most m. They showed that c_{n,m}(1) is a polynomial in m of degree n-1 and conjectured properties of the coefficients when it is expanded in a binomial coefficient basis. We prove some of these conjectures, for example, that the coefficients are always nonnegative integers.
Methods for Analyzing RNA Pseudoknots via Chord Diagrams and Intersection Graphs
RNA molecules are known to form complex secondary structures including pseudoknots. A systematic framework for the enumeration, classification and prediction of secondary structures is critical to determine the biological significance of the molecular configurations of RNA. Chord diagrams are mathematical objects widely used to represent RNA secondary structures and to analyze structural motifs, however a mathematically rigorous enumeration of pseudoknots remains a challenge. We introduce a method that incorporates a distance-based metric $τ$ to analyze the intersection graph of a chord diagram associated with a pseudoknotted structure. In particular, our method formally defines a pseudoknot in terms of a weighted vertex cover of a certain intersection graph constructed from a partition of the chord diagram representing the nucleotide sequence of the RNA molecule. In this graph-theoretic context, we introduce a rigorous algorithm that enumerates pseudoknots, classifies secondary structures, and is sensitive to three-dimensional topological features. We implement our methods in MATLAB and test the algorithm on pseudoknotted structures from the bpRNA-1m database. Our findings confirm that genus is a robust quantifier of pseudoknot complexity.
Completely independent Steiner trees and corresponding tree connectivity
The $S$-Steiner tree packing problem provides mathematical foundations for optimizing multi-path information transmission, particularly in designing fault-tolerant parallelized routing architectures for massive-scale network infrastructures. In this article, we propose the definitions of completely independent $S$-Steiner trees (CISSTs for short) and generalized $k^*$-connectivity, which generalize the definitions of internally disjoint $S$-Steiner trees and generalized $k$-connectivity. Given a connected graph $G = (V,E)$ and a vertex subset $S\subseteq V, |S|\geq 2,$ an $S$-Steiner tree of $G$ is a subtree in $G$ that spans all nodes in $S.$ The $S$-Steiner trees $T_1,T_2,\cdots, T_k$ of $G$ are completely independent pairwise if for any $1\leq p<q\leq k,$ $E(T_p)\cap E(T_q)=\emptyset$ , $V(T_p)\cap V(T_q)=S,$ and for any two vertices $x_{1},x_{2}$ in $S$, the paths connecting $x_{1}$ and $x_{2}$ in $T_p,T_q$ are pairwise internally disjoint. The packing number of CISSTs, denoted by $κ^*_G(S),$ is the maximum number of CISSTs in $G.$ The generalized $k^*$-connectivity $κ_k^*(G)$ is the minimum $κ_G^*(S)$ for $S$ ranges over all $k$-subsets of $V(G).$ We provide a detailed characterization of CISSTs. Also, we investigate the CISSTs of complete graphs and complete bipartite graphs. Furthermore, we determine the generalized $k^*$-connectivity for complete graphs and give a tight lower bound of the generalized $k^*$-connectivity for complete bipartite graphs.
Spectral radius and size conditions for fractional $(a,b,m)$-covered graphs
A fractional $(a,b,m)$-covered graph is a generalization of the concept of a fractional $[a,b]$-covered graph. For any $H \subseteq G$ with edge set $|E(H)| = m$, if there exists a fractional $[a,b]$-factor (the corresponding fractional indicator function is $h$) such that $h(e) = 1$ for any $e \in H$, then the graph $G$ is called a fractional $(a,b,m)$-covered graph. In this paper, we characterize the conditions for a graph to be a fractional $(a,b,m)$-covered graph from the perspectives of spectral radius and size, respectively.
The List Linear Arboricity of Digraphs
A (directed) linear forest is a (di)graph whose components are (directed) paths. The linear arboricity $la(F)$ of a (di)graph $F$ is the minimum number of (directed) linear forests required to decompose its edges. Akiyama, Exoo, and Harary (1980) proposed the Linear Arboricity Conjecture that $la(G) \leq \left\lceil \frac{Δ+1}{2}\right\rceil$ for any graph $G$ of maximum degree $Δ$. The current best known bound, due to Lang and Postle (2023), establishes $la(G) \leq \fracΔ{2} + 3\sqrtΔ \log^4 Δ$ for sufficiently large $Δ$. And they proved this in the stronger list setting proposed by An and Wu.
For a digraph $D$, let its maximum degree $Δ(D)$ be the maximum of all in-degrees and out-degrees of its vertices. Nakayama and Péroche (1987) conjectured that $la(D) \leq Δ(D)+1$ for every digraph $D$. We extend Lang and Postle's result to digraphs with a matching error term. We show that $la(D) \leqΔ+ 6\sqrtΔ \log^4 Δ$ for any digraph $D$ with $Δ= Δ(D)$ sufficiently large. Moreover, we also establish this bound in the stronger list setting, where each arc $e \in A(D)$ is assigned a list of colors, and each arc is assigned a color from its list such that each color class forms a directed linear forest.
Clique factors in random samplings of regular graphs
We show that for any integer $r\ge 2$, there exists a constant $c>0$ such that for every sufficiently large integer $n$, every $((r-1)n+1)$-regular graph $G$ on $rn$ vertices has at least $c2^{rn}$ subsets $S\subseteq V(G)$ such that $G[S]$ contains a $K_r$-factor. This confirms a conjecture of Draganić, Keevash and Müyesser for large $n$ [Cyclic subsets in regular Dirac graphs. Int. Math. Res. Not., 2025(14): 1-16, 2025].
A Lovász theta lower bound on Quantum Max Cut
We prove a lower bound to quantum Max Cut of a graph in terms of the Lovász theta function of its complement. For a graph with $m$ edges, $\text{qmc}(G) \geq \tfrac{m}{4}\big( 1 + \tfrac{8}{3π}\tfrac{1}{\vartheta(\bar{G}) -1} \big)$, with the bound achieved by a product state. The proof extends a result by Balla, Janzer, and Sudakov on classical Max Cut and is also inspired by the randomized rounding method of Gharibian and Parekh. The bound outperforms the classical bound when applied to quantum Max Cut.