graph
35150 papers tagged with this keyword
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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.
Up-down chains and scaling limits: application to permuton- and graphon-valued diffusions
An up-down chain is a Markov chain in which each transition is a two-step process that moves up to a larger object and then back down to an object of the original size. The first goal of this paper is to present a general framework for analyzing these chains and computing their scaling limits. This approach unifies much of the existing literature while extending it in several directions. These include explicit conditions for constructing integrable up-down chains and convergence results for families of intertwined processes. The latter contribute to the method of intertwiners of Borodin and Olshanski.
The second goal is to highlight a notable application of this framework to the settings of permutations and graphs. Here, we identify some integrable up-down chains and construct their scaling limits, a family of permuton- and graphon-valued Feller diffusions. Both the up-down chains and the limiting diffusions exhibit ergodicity, diagonalizable semigroups, and explicit expressions for the maximal separation distance to stationarity. For the diffusions, the stationary measures are the recursive separable permutons and recursive cographons recently introduced by the authors, and the separation distances turn out to be related to the Dedekind eta function.
Disproof of the Odd Hadwiger Conjecture
We prove that there exist graphs which do not contain $K_t$ as an odd minor and whose chromatic number is at least $(\frac 32-o(1))t$. This disproves, in a strong form, the odd Hadwiger conjecture of Gerards and Seymour from 1993.
Sign-reversing involutions in moduli spaces of curves
We use sign-reversing involutions to solve two computational problems that arise naturally in the geometry of moduli spaces of curves. In particular, we give an explicit combinatorial formula for arbitrary $ψ$ class intersection products on the genus zero multicolored spaces $\overline{M}_{0,[r_1,\ldots,r_m]}$ using a novel sign reversing involution on decorated diagrams. As an application, we give a necessary and sufficient condition for when these intersection products are nonzero in terms of matchings on graphs.
We also calculate the analog of the tropical Euler characteristic for the graphical moduli spaces $\overline{M}_{0,Γ}$ for graphs with two dominant vertices $P, Q$, by constructing two new sign-reversing involutions to simplify the sum. We show that (up to sign) it is the number of acyclic orientations of $Γ\smallsetminus \{P, Q\}$.
On Link-irregular Digraphs
Published
• View Publication
• BIB
We extend the study of link-irregular graphs to directed graphs (digraphs), where a digraph is link-irregular if no two vertices have isomorphic directed links. We establish that link-irregular digraphs exist on $n$ vertices if and only if $n \geq 5$, and prove that their underlying graphs must contain 3-cycles. We conjecture that link-irregular tournaments exist if and only if $n \geq 6$, providing explicit constructions for $n \leq 8$ and computational verification for $n \leq 100$. We derive lower bounds on the minimum degree and outdegree required for link-irregularity, establish that almost all link-irregular digraphs are nonplanar, and prove that any link-irregular orientable graph admits a link-irregular labeling. Additionally, we construct explicit examples of link-irregular digraphs with constant outdegree and regular tournaments.
Framing Lattices and Flow Polytopes
Flow polytopes of acyclic oriented graphs arise naturally in combinatorial optimization, and the study of their volumes and triangulations has revealed intriguing connections across combinatorics, geometry, algebra, and representation theory. In this work, we introduce the framing lattice associated with a framed graph, whose Hasse diagram is dual to a framed triangulation of the corresponding flow polytope. Framing lattices are remarkable in that they provide a unifying framework encompassing many classical and well-studied lattice structures, including the Boolean lattice, the Tamari lattice, and the weak order on permutations. They further subsume a broad array of examples such as all type-A Cambrian lattices, the Grassmann and grid-Tamari lattices, the alt-$ν$-Tamari and cross-Tamari lattices, the permutree lattices, and the $τ$-tilting posets of certain gentle algebras. We show, among several foundational structural properties, that the framing lattice is a semidistributive, congruence uniform, and polygonal lattice, with its polygons consisting of squares, pentagons, and hexagons. We study its connections to noncrossing partitions via Reading's core label orders, simple representations of its join and meet irreducible elements, and several of its lattice congruences and quotients induced by a graph operation called an M-move.
On $\ell_1$ embeddings of finite metric spaces, and sphere-of-influence graphs
We introduce the {\em pair-cut cone $PCUT_n$} of metrics on sets with $n\ge 3$ elements, that correspond to linear combinations with non-negative coefficients of the cut-metrics resulting from cuts that are pairs. Given a metric, we fully characterize membership in the pair-cut cone in terms of quantities computed from the metric directly. We also prove a new result by which a metric $d$ that satisfies a system of inequalities, lies in the (full) cut cone of metrics, making it $\ell_1$-embeddable into Euclidean space.
We give applications of our results to the $\ell_1$-embeddability of simple graphs into Euclidean space as {\em sphere-of-influence graphs}. We exhibit an example of a simple graph that admits no such $\ell_1$-metric in the pair-cut cone.
Locally interval graphs are circular-arc graphs
Circular-arc graphs are graphs that can be represented as intersection graphs of subpaths of a cycle. Interval graphs are graphs that can be represented as intersection graphs of subpaths of a path. Since cycles are locally paths, every circular-arc graph is locally interval. In this paper, we prove that the converse holds as well: every locally interval graph is a circular-arc graph. This result and its proofs are connected to a recent broader study of structural local-global theory and build on previous work on locally chordal graphs.