graph
34516 papers tagged with this keyword
Optimal decomposition of $K_{18}$ and $K_{19}$ into $K_3$ and $K_4$
This article explores a new way to obtain the optimal decomposition of a complete graph of order 18 and 19 into cliques of order 3 and 4.
On divisibility relation graphs
For each positive integer $n$, we define the divisibility relation graph $D_n$ whose vertex set is the set of divisors of $n$, and in which two vertices are adjacent if one is a divisor of the other. This type of graph is a special case of graphs associated with a partial order, which have been widely studied in the literature. In this work, we determine various graph-theoretic invariants of divisibility relation graphs, such as their clique and independence numbers, and their planarity. We also discuss various spectral properties that are discovered by our numerical experiments.
Walk Matrix-Based Upper Bounds on Generalized Cospectral Mates
The problem of characterizing graphs determined by their spectrum (DS) or generalized spectrum (DGS) has been a longstanding topic of interest in spectral graph theory, originating from questions in chemistry and mathematical physics. While previous studies primarily focus on identifying whether a graph is DGS, we address a related yet distinct question: how many non-isomorphic generalized cospectral mates a graph can have? Building upon recent advances that connect this question to the properties of the walk matrix, we introduce a broad family of graphs and establish an explicit upper bound on the number of non-isomorphic generalized cospectral mates they can have. This bound is determined by the arithmetic structure of the determinant of the walk matrix, offering a refined criterion for quantifying the multiplicity of generalized cospectral graphs. This result sheds new light on the structure of generalized cospectral graphs and provides a refined arithmetic criterion for bounding their multiplicity.
New Sufficient Conditions for Linear-Sized Epsilon-Nets and $(p,2)$-Theorems
An $ε$-net theorem for a hypergraph upper bounds the minimum size of a vertex set that pierces all $ε$-heavy hyperedges. A $(p,2)$-theorem bounds from above the minimum size of a vertex set that pierces all hyperedges, in terms of the maximum size of a set of pairwise disjoint hyperedges. Numerous works studied $ε$-net theorems and $(p,2)$-theorems that guarantee the existence of small-sized piercing sets.
We focus on the question: In which settings the asymptotically smallest possible piercing sets -- i.e., $ε$-nets of size $O(\frac{1}ε)$ and piercing sets of size $O(p)$ in $(p,2)$-theorems, are guaranteed? We obtain several sufficient criteria for the existence of such linear $ε$-net theorems and $(p,2)$-theorems that unveil interesting connections to graph theory and improve and generalize several previous results. Most notably, we exhibit an unexpected relation of $ε$-nets to the classical Zarankiewicz's problem in graph theory. We show that a linear bound in the Zarankiewicz-type problem that asks for the maximum size of a bipartite graph with no copy of $K_{2,t}$, implies a linear $ε$-net theorem for the corresponding neighborhood hypergraph. We also show that hypergraphs with a hereditarily linear-sized Delaunay graph admit an almost linear $(p,2)$-theorem, and deduce that incidence hypergraphs of non-piercing regions in the plane admit a linear $(p,2)$-theorem, significantly improving previous results on such hypergraphs.
Our work presents a landscape of sufficient conditions for the existence of linear $ε$-net theorems and $(p,2)$-theorems, with complex interrelations between them. Many of the interrelations are still unknown and call for future research.
Spanning k-trees, odd [1,b]-factors and spectral radius in binding graphs
The binding number of a graph $G$, written as $\mbox{bind}(G)$, is defined by $$ \mbox{bind}(G)=\min\left\{\frac{|N_G(X)|}{|X|}:\emptyset\neq X\subseteq V(G),N_G(X)\neq V(G)\right\}. $$ A graph $G$ is called $r$-binding if $\mbox{bind}(G)\geq r$. An odd $[1,b]$-factor of a graph $G$ is a spanning subgraph $F$ with $d_F(v)\in\{1,3,\ldots,b\}$ for all $v\in V(G)$, where $b\geq1$ is an odd integer. A spanning $k$-tree of a connected graph $G$ is a spanning tree $T$ with $d_T(v)\leq k$ for every $v\in V(G)$. In this paper, we first show a tight sufficient condition with respect to the adjacency spectral radius for connected $\frac{1}{b}$-binding graphs to have odd $[1,b]$-factors, which generalizes Fan and Lin's previous result [D. Fan, H. Lin, Binding number, $k$-factor and spectral radius of graphs, Electron. J. Combin. 31(1) (2024) \#P1.30] and partly improves Fan, Liu and Ao's previous result [A. Fan, R. Liu, G. Ao, Spectral radius, odd $[1,b]$-factor and spanning $k$-tree of 1-binding graphs, Linear Algebra Appl. 705 (2025) 1--16]. Then we put forward a tight sufficient condition via the adjacency spectral radius for connected $\frac{1}{k-2}$-binding graphs to have spanning $k$-trees, which partly improves Fan, Liu and Ao's previous result [A. Fan, R. Liu, G. Ao, Spectral radius, odd $[1,b]$-factor and spanning $k$-tree of 1-binding graphs, Linear Algebra Appl. 705 (2025) 1--16].
Volumes of moduli spaces of directed ribbon graphs and Cut-and-Join operators
In this paper, we investigate the algebraic structure underlying the acyclic decomposition. This decomposition applies to directed metric ribbon graphs and enables the recursive computation of the volumes of their moduli spaces. Building on this, we define integral operators with these volumes and show that they satisfy a Cut-and-Join type equation. Furthermore, we demonstrate that a suitable specialization of these operators gives rise to a generating series for \textit{dessins d'enfants}.
Total coloring graphs with large minimum degree
We prove that for all $\varepsilon>0$, there exists a positive integer $n_0$ such that if $G$ is a graph on $n\geq n_0$ vertices with $δ(G)\geq\tfrac{1}{2}(1 + \varepsilon)n$, then $G$ satisfies the Total Coloring Conjecture, that is, $χ_T(G)\leq Δ(G)+2$.
Signless Laplacian index conditions for doubly chorded cycles in graphs with given order
In this paper, we show that for a graph of order $n$, where $n\ge 5$, if the signless Laplacian index is larger than or equal to certain value depending on $n$, then the graph contains a doubly chorded cycle, where the chords incident to a common vertex, unless it is two specified graphs.
Divided difference operators for Hessenberg representations
The equivariant cohomology ring of a regular semisimple Hessenberg variety in type A is a free module over the equivariant cohomology ring of a point. When equipped with Tymoczko's dot action, it becomes a twisted representation of the symmetric group, and the character of this representation is given by the chromatic quasisymmetric function of an indifference graph. In this note, we use divided difference operators to decompose this representation as a direct sum of sub-representations in a way that categorifies the modular relation between chromatic quasisymmetric functions.
When does a tree activate the random graph?
Let $F$ and $G$ be two graphs. A spanning subgraph $H$ of $G$ is called weakly $F$-saturated if one can add to $H$ the edges of $G \setminus H$ in some order, so that whenever a new edge is added, a new copy of $F$ is formed. Obtaining lower bounds for the minimum size $\mathrm{wsat}(G,F)$ of such an $H$ is a classical problem in extremal combinatorics. In particular, in the past 40 years, various algebraic tools have been developed to prove lower bounds on the weak saturation number $\mathrm{wsat}(G,F)$. Our paper uncovers a new connection of weak saturation to topology of clique complexes, that allows to prove tight lower bounds in some cases when the algebraic tools are not efficient.
It is easy to see that the smallest $K_3$-saturating graphs in $K_n$ are trees, thus $\mathrm{wsat}(K_n,K_3)=n-1$. In 2017, Korándi and Sudakov proved that this is also the case in dense random graphs $G\sim G_{n,p}$, $p=\mathrm{const}\in(0,1)$, and posed the question of determining the smallest $p$ for which $G_{n,p}$ contains a $K_3$-saturating tree with high probability. Using the new topological connection, we show that this critical $p$ is of order $n^{-1/3-o(1)}$.
Inspired by Gromov's local-to-global principle for hyperbolic groups, we further develop our topological approach and determine the critical probability up to a constant factor, for trees with diameter at most $n^{c}$, for some $c>0$.
The new connection also enables us to improve the best known upper bound on the threshold probability for simple connectivity of the 2-dimensional clique complex of $G_{n,p}$, due to Kahle.
Comparing the $\mathrm{v}$-number and $h$-polynomials of edge ideals
In this paper, we compare the $\mathrm{v}$-numbers and the degree of the $h$-polynomials associated with edge ideals of connected graphs. We prove that the $\mathrm{v}$-number can be arbitrarily larger or smaller than the degree of the $h$-polynomial for the edge ideal of a connected graph. We also establish that for any pair of positive integers $(v,d)$ with $v \leq d$, there exists a connected graph $H(v,d)$ with the $\mathrm{v}$-number equal to $v$ and the degree of $h$-polynomial equal to $d$. Additionally, we show that the sum of the $\mathrm{v}$-number and the degree of the $h$-polynomial is bounded above by $n$, the number of vertices of $G$, and we classify all graphs for which this sum is exactly $n$. Finally, we show that all thirteen possible inequalities among the three invariants, the $\mathrm{v}$-number, the degree of the $h$-polynomial, and the Castelnuovo-Mumford regularity, can occur in the case of edge ideals of connected graphs. Many of these examples rely on a minimal example of a graph whose $\mathrm{v}$-number is more than the degree of its $h$-polynomial. Using a computer search, we show that there are exactly two such graphs on 11 vertices and 25 edges, and no smaller example on fewer vertices, or 11 vertices and less than 25 edges.
On cubic vertex-transitive graphs of given girth
A set of vertices of a graph is distinguishing if the only automorphism that preserves it is the identity. The minimal size of such sets, if they exist, is the distinguishing cost. The distinguishing costs of vertex transitive cubic graphs are well known if they are 1-arc-transitive, or if they have two edge orbits and either have girth 3 or vertex-stabilizers of order 1 or 2.
There are many results about vertex-transitive cubic graphs of girth 4 with two edge orbits, but for larger girth almost nothing is known about %the existence or the distinguishing costs of such graphs. We prove that cubic vertex-transitive graphs of girth 5 with two edge orbits have distinguishing cost 2, and prove the non-existence of infinite 3-arc-transitive cubic graphs of girth 6.
A Study of the Binary and Boolean Rank of Matrices with Small Constant Real Rank
We initiate the study of the binary and Boolean rank of $0,1$ matrices that have a small rank over the reals. The relationship between these three rank functions is an important open question, and here we prove that when the real rank $d$ is a small constant, the gap between the real and the binary and Boolean rank is a small constant. We give tight upper and lower bounds on the Boolean and binary rank of matrices with real rank $1 \leq d \leq 4$, as well as determine the size of the largest isolation set in each case. Furthermore, we prove that for $d = 3,4$, the circulant matrix defined by a row with $d-1$ consecutive ones followed by $d-1$ zeros, is the only matrix of size $(2d-2)\times (2d-2)$ with real rank $d$ and Boolean and binary rank and isolation set of size $2d-2$, and this matrix achieves the maximal gap possible between the real and the binary and Boolean rank for these values of $d$.
Our results can also be interpreted in other equivalent terms, such as finding the minimal number of bicliques needed to partition or cover the edges of a bipartite graph whose reduced adjacency matrix has real rank $1 \leq d \leq 4$. We use a combination of combinatorial and algebraic techniques combined with the assistance of a computer program.
Judicious Partitions in Edge-Weighted Graphs with Bounded Maximum Weighted Degree
In this paper, we investigate bounds for the following judicious $k$-partitioning problem: Given an edge-weighted graph $G$, find a $k$-partition $(V_1,V_2,\dots ,V_k)$ of $V(G)$ such that the total weight of edges in the heaviest induced subgraph, $\max_{i=1}^k w(G[V_i])$, is minimized. In our bounds, we also take into account the weight $w(V_1,V_2,\dots,V_k)$ of the cut induced by the partition (i.e., the total weight of edges with endpoints in different parts) and show the existence of a partition satisfying tight bounds for both quantities simultaneously. We establish such tight bounds for the case $k=2$ and, to the best of our knowledge, present the first (even for unweighted graphs) completely tight bound for $k=3$. We also show that, in general, these results cannot be extended to $k \geq 4$ without introducing an additional lower-order term, and we propose a corresponding conjecture. Moreover, we prove that there always exists a $k$-partition satisfying $\max \left\{ w(G[V_i]) : i \in [k] \right\} \leq \frac{w(G)}{k^2} + \frac{k - 1}{2k^2} Δ_w(G),$ where $Δ_w(G)$ denotes the maximum weighted degree of $G$. This bound is tight for every integer $k\geq 2$.
Hamiltonicity and structure of connected biclaw-free graphs
We show that for sufficiently large $d$, every balanced bipartite, connected biclaw-free graph with minimum degree $\geq d$ is Hamiltonian. This confirms a conjecture of Flandrin, Fouquet, and Li.
Bounded diameter monochromatic component covers
Ryser conjectured that every $r$-edge-coloured complete graph can be covered by $r-1$ monochromatic trees. Motivated by a question of Austin in analysis, Milićević predicted something stronger -- that every $r$-edge-coloured complete graph can be covered by $r-1$ monochromatic trees \emph{of bounded diameter}. Here we show that the two conjectures are equivalent. As immediate corollaries we obtain new results about Milićević's Conjecture, most notably that it is true for $r=5$. We also obtain several new cases of a generalization of Milićević's Conjecture to non-complete graphs due to DeBiasio-Kamel-McCourt-Sheats.
A simple layered-wheel-like construction
In recent years, there has been significant interest in characterizing the induced subgraph obstructions to bounded treewidth and pathwidth. While this has recently been resolved for pathwidth, the case of treewidth remains open, and prior work has reduced the problem to understanding the layered-wheel-like obstructions -- graphs that contain large complete minor models with each branching set inducing a path; exclude large walls as induced minors; exclude large complete bipartite graphs as induced minors; and exclude large complete subgraphs.
There are various constructions of such graphs, but they are all rather involved. In this paper, we present a simple construction of layered-wheel-like graphs with arbitrarily large treewidth. Three notable features of our construction are: (a) the vertices of degree at least four can be made to be arbitrarily far apart; (b) the girth can be made to be arbitrarily large; and (c) every outerstring induced subgraph of the graphs from our construction has treewidth bounded by an absolute constant. In contrast, among several previously known constructions of layered wheels, none achieves (a); at most one satisfies either (b) or (c); and none satisfies both (b) and (c) simultaneously.
In particular, this is related to a former conjecture of Trotignon, that every graph with large enough treewidth, excluding large walls and large complete bipartite graphs as induced minors, and large complete subgraphs, must contain an outerstring induced subgraph of large treewidth. Our construction provides the first counterexample to this conjecture that can also be made to have arbitrarily large girth.
On the multiplicity of 1 as a Laplacian eigenvalue of a graph
Let $G$ be a graph with $p(G)$ pendant vertices and $q(G)$ quasi-pendant vertices. Denote by $m_{L(G)}(λ)$ the multiplicity of $λ$ as a Laplacian eigenvalue of $G$. Let $\overline{G}$ be the reduced graph of $G$, which can be obtained from $G$ by deleting some pendant vertices such that $p(\overline{G})=q(\overline{G})$. We first prove that $m_{L(G)}(1)=p(G)-q(G)+m_{L(\overline{G})}(1)$. Since deleting pendant path $P_3$ does not change the multiplicity of Laplacian eigenvalue 1 of a graph, we further focus on reduced graphs without pendant path $P_3$. Let $T$ be a reduced tree on $n(\geq 6)$ vertices without pendant path $P_3$, then it is proved that $$m_{L(T)}(1)\leq \frac{n-6}{4},$$ and all the trees attaining the upper bound are characterized completely. As an application, for a reduced unicyclic graph $G$ of order $n\geq 10$ without pendant path $P_3$, we get $$m_{L(G)}(1)\leq \frac{n}{4},$$ and all the unicyclic graphs attaining the upper bound are determined completely.
Metrics on Permutation Families Defined by a Restriction Graph
Understanding the metric structure of permutation families is fundamental to combinatorics and has applications in social choice theory, bioinformatics, and coding theory. We study permutation families defined by restriction graphs--oriented graphs that constrain the relative order of elements in valid permutations. For any restriction graph $G$, we determine the maximum distance achievable by two permutations under the $\ell_\infty$-metric and provide an explicit algorithm that constructs optimal permutation pairs. Our main contribution characterizes when the Kendall-Tau metric achieves its combinatorial upper bound: this occurs if and only if the poset induced by $G$ has dimension at most 2. When this condition holds, the extremal permutations form a minimal realizer of the poset, revealing a deep connection between metric geometry and poset dimension theory. We apply these results to classical permutation statistics including descent sets and Hessenberg varieties, obtaining explicit formulas and efficient algorithms for computing metric diameters.
Binomiality of colored Gaussian models
Following earlier work by Coons-Maraj-Misra-Sorea and Misra-Sullivant, we study colored, undirected Gaussian graphical models, and present a necessary and sufficient condition for such a model to have binomial vanishing ideal. These conditions involve Jordan schemes, a variant of association schemes, well-known structures in algebraic combinatorics. Using association schemes without transitive group action, we refute the conjecture by Coons-Maraj-Misra-Sorea that binomiality implies that the color classes must be orbits under the automorphism group of the colored graph.