graph
34516 papers tagged with this keyword
On the sunflower property and the galah property
Sunflowerability, or the infinite sunflower property, was introduced and studied by Ackerman, Karker and Mirabi as a structural generalization of the well-known Δ-system lemma for sets. It turns out that for relational Fra\''issé limits with strong amalgamation, this property is equivalent to the so-called galah property, which was introduced by Sullivan and Winkel as an asymmetric variation of indivisibility. This paper is about these two properties and is divided into three parts. In the first part, we show that the conjecture proposed by Ackerman, Karker and Mirabi about the infinite sunflower property in higher dimensions is far from being true by proving that no infinite structure has the infinite n-sunflower property in dimension k for any n, k \geq 2. In the second part, we give a complete characterization of the galah property for Henson directed graphs, homogeneous metric spaces and homogeneous ultrametric spaces, thereby answering the second question asked by Sullivan and Winkel. The third part contains several additional results about the finite sunflower property, including a strengthening of recent results about indivisibility for some classes of undirected graphs obtained by Guingona et al..
Vertex-critical co-gem-free graphs
A graph $G$ is $k$-$colorable$ if $V(G)$ can be partitioned into at most $k$ stable sets. A graph $G$ is $k$-$chromatic$ if $k$ is the smallest integer for which $G$ is $k$-colorable. In general, for a fixed $k\ge 3$, determining whether an arbitrary graph $G$ is $k$-colorable is NP-complete. Consequently, $k$-coloring algorithms for restricted graph classes, such as $\mathcal{H}$-free graphs, have been widely studied over the past few decades. A graph $G$ is $k$-$vertex$-$critical$ if $G$ is $k$-chromatic and every proper induced subgraph of $G$ is ($k$-1)-colorable. Given a graph $G$, most of the certifying $k$-coloring algorithms in the literature either output a $k$-coloring of $G$ or a ($k$+1)-vertex-critical induced subgraph of $G$, thus, proving that $G$ is not $k$-colorable. As a result, $k$-vertex-critical graphs have gathered considerable attention in the recent years. Beaton and Cameron [Vertex-critical graphs in co-gem-free graphs, Theoretical Computer Science 1042 (2025) 115234] asked for which graphs $H$ of order five are there finitely many $k$-vertex-critical (co-gem, $H$)-free graphs for all $k$?
In this paper we explore the structure of (co-gem, house)-free graphs and (co-gem, dart)-free graphs, and prove that, for each $k\ge 1$, there are finitely many $k$-vertex-critical (co-gem, $H$)-free graphs, when $H$ is in $\{$house, dart$\}$.
Nordhaus-Gaddum upper bounds for graph connectivity parameters
We examine upper bounds on Nordhaus-Gaddum type problems for parameters related to graph connectivity. Our main result is that for a graph $G$ on $n$ vertices where both $G$ and its complement $G^c$ are connected, then the sum of the algebraic connectivity of $G$ and the algebraic connectivity of $G^c$ cannot exceed $n-3$ (with finitely many exceptions with a small number of vertices). We obtain similar results for the isoperimetric number of a graph, and explore similar Nordhaus-Gaddum type questions for the Cheeger constant and the second eigenvalue of the normalized Laplacian matrix.
A note on generic $n$-partite graphs
An $n$-partite graph is a graph such that every vertex has a color in $\{1,\ldots,n\}$ and every two vertices of the same color are not adjacent. We study the model comparisons of the theories of $n$-partite graph and $K_{\overline{m}}$-free $n$-partite graph, where $K_{\overline{m}}$ is a complete graph of a given size. The model companion of the theory of $n$-partite graph is simple and has IP. The model companion of the theory of $K_{\overline{m}}$-free $n$-partite graph has $\operatorname{TP}_2$, $\operatorname{SOP}_3$ and $\operatorname{NSOP}_4$ if $n > 2$. Forking independence coincides with dividing independence in this theory.
Multiplicity of Laplacian eigenvalue 1 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$. A graph $G$ is called reduced, if $p(G)=q(G)$. It is known that deleting a pendant path $P_3$ from a graph $G$ cannot change $m_{L(G)}(1)$. By the reduction operation for a graph (defined by Tian and Wong, 2026), we could turn to the reduced graphs with each quasi-pendant vertex of degree 2 to investigate $m_{L(G)}(1)$. Then let $T$ be a reduced tree on $n(\geq 7)$ vertices with each quasi-pendant vertex of degree 2 and without pendant path $P_3$. We first prove that \begin{equation*}
m_{L(T)}(1)\leq \frac{n-5}{6} \end{equation*} and the extremal trees attaining the upper bound are determined completely. In addition, let $G$ be an arbitrary connected reduced graph with order $n\geq 6$ and size $m$. Denote by $c=m-n+1$ the first Betti number of $G$, then we obtain \begin{equation*}
m_{L(G)}(1)\leq c+\frac{n-2}{4}, \end{equation*} and the extremal graphs attaining the upper bound are characterized completely.
Measurable matchings in unbalanced graphs
Let $G$ be a locally finite multigraph that is bipartite and "unbalanced," meaning that it has a nontrivial bipartition $(A,B)$ with $°(x) > °(y)$ for all $x \in A$ and $y \in B$. We explore matchings in such graphs through the lens of descriptive set theory. In particular, we show that when $G$ is Borel and $μ$ is a Borel probability measure on its vertex set, there is a Borel matching in $G$ that covers $μ$-almost every vertex in $A$. This was previously known only under the assumption that $μ$ is $G$-invariant, which we eliminate using a novel probabilistic approach. We also describe various extra conditions that imply the existence of a Borel matching covering every vertex in $A$. Along the way, we confirm a conjecture of the first and third named authors concerning the existence of Borel independent complete sections in Borel graphs of finite asymptotic separation index.
In addition to their intrinsic interest, our results have applications to various other topics, such as edge-colorings, balanced orientations, and equidecomposition theory for group actions. For example, we show that the measurable edge-chromatic number of every Borel multigraph with finite maximum degree $Δ$ is at most $\lfloor\frac{3Δ}{2}\rfloor$, matching Shannon's optimal bound for finite multigraphs. Another example is that paradoxical Borel group actions with finite asymptotic separation index admit paradoxical decompositions with Borel pieces. This refines a result of Marks and Unger.
Extremal results on the second largest eigenvalue of graphs with given order
In this paper, we demonstrate the effects on the second largest eigenvalue $λ_2(G)$ of a connected graph $G$ after edge addition or deletion.
In 1989, Chung, Graham and Wilson showed $\max\{|λ_2|,|λ_n|\}>Ω(n)$ for dense $K_{r+1}$-free graphs of order $n$, giving spectral comprehension of existence of large clique or independent set, respect to Ramsey theory. Applying the results of effects on $λ_2$ after edge operations, we determine the maximum value of $λ_2$ among all $K_{r+1}$-free connected graphs with given order, and completely characterize the extremal graphs.
Moreover, for arbitrary given graph $F$, we investigates the maximum second largest $λ_2(G)$ among $F$-free connected graphs of order $n$. Let $ρ^*(n,F)$ be the maximum spectral radius of $F$-free graphs on $n\ge n_F$ vertices, and $G^*(n,F)$ be a graph with its spectral radius $ρ\big(G^*(n,F)\big)=ρ^*(n,F)$. We prove that, for an $F$-free connected graph $G$ of order $n\ge f(n_F)$, \\(1) if $n$ is odd, then $$λ_2(G)\leρ^*\left(\frac{n-1}{2},F\right)$$ with equality if and only if $G\in \mathcal{I}\big(G^*(\frac{n-1}{2},F),G^*(\frac{n-1}{2},F)\big)$; and\\ (2) if $n$ is even, and $F$ does not contain cut edges, then the graph $G^†$ with the maximum second largest eigenvalue satisfies $$λ_2(G^†)=ρ^*\left(\frac{n}{2},F\right)-o(1)$$ and $G^†\in \mathcal{E}\big(H_1,H_2\big)$, where $H_1$ and $H_2$ are $F$-saturated graphs on $\frac{n}{2}$ vertices.
In particular, other than a complete graph $K_{r+1}$, when $F$ is a book graph $B_{k+1}$ or an odd cycle $C_{2k+1}$, we are able to determine the maximum second largest eigenvalue for $F$-free connected graphs of given order, and completely characterize the extremal graphs.
Upper bounds of the second largest eigenvalue of graphs
Let $λ_i(G)$ denote the $i$-th largest eigenvalue of adjacency matrix of a graph $G$. Gerschgorin's Theorem indicates $λ_1(G)$ belongs to the largest disk, i.e., $λ_1(G)\leΔ_1(G)$, where $Δ_i(G)$ is the $i$-th largest degree of $G$. We show that $λ_2(G)$ lies in the second largest disk. That is, in detail, $$λ_2(G)<Δ_2(G)-\frac{1}{n^2}.$$
A classical theorem proved by Hong [\textit{Linear Algebra Appl.} 1988] states that $λ_1(G)\le\sqrt{2m-n+1}$ for a connected graph $G$ with $n$ vertices and $m$ edges, where the equality holds if and only if $G$ is a star $S_n$ or a complete graph $K_n$. We give a refinement of Hong's theorem by showing $$λ_1(G)<\sqrt{2m-n}$$ for any connected graph $G\not\in\left\{S_n,S^1_{n-1},K_n,K^1_{n-1}\right\}$. Based on this improved upper bound of $λ_1(G)$, for a connected graph $G$ with $n$ vertices and $m$ edges, we are able to prove a sharp upper bound of $λ_2(G)$ that $$λ_2(G)\le\sqrt{m-\frac{n}{2}-\frac{1}{2}},$$ except $G$ is obtained from two disjoint $S_\frac{n}{2}$ by adding an edge between a pendant vertex of each star. Moreover, we provide a complete characterization to extremal graphs attaining the equality.
A parity Erdős-Hajnal theorem for $t$-intersecting curves
For every fixed $t\ge 1$, we prove a parity analogue of the mighty Erdős-Hajnal property for $t$-intersecting curves in the plane. Let $\mathcal B$ be a set of blue curves and $\mathcal G$ a set of green curves in the plane such that $\mathcal B\cup\mathcal G$ is a collection of $t$-intersecting curves in general position. We show that there exist subfamilies $\mathcal B'\subseteq\mathcal B$ and $\mathcal G'\subseteq\mathcal G$ such that $|\mathcal B'|\geq \varepsilon|\mathcal B|$ and $|\mathcal G'|\geq \varepsilon|\mathcal G|$, where $\varepsilon>0$ depends only on $t$, such that either every pair in $\mathcal B'\times\mathcal G'$ intersects an even number of times or every such pair intersects an odd number of times. For $t=1$, this recovers the theorem of Fox, Pach, and Suk for pseudo-segments. As an application, we show that every $n$-vertex topological graph with edges forming a $t$-intersecting family and with no $k$ edges that pairwise cross an odd number of times has at most $n(\log n)^{O_t(\log k)}$ edges.
Krahn-Szeg\H o type inequalities for graphs
We study discrete analogues of classical spectral geometric inequalities and extremal eigenvalue problems on graphs. The well-known Krahn--Szegő inequality states that the minimum of $λ_2(Ω)$ among bounded open sets of $\mathbb{R}^n$ with given volume is achieved by the union of two identical balls $\mathbb{R}^n$. Firstly, we establish a Krahn--Szegő type inequality for trees. For trees with a fixed number of interior vertices and boundary leaves, we completely characterize the extremal structures that minimize the second Dirichlet eigenvalue. Secondly, we develop a nodal domain method for adjacency matrices. By proving a nodal domain theorem in adjacency version for graphs, we obtain upper bounds for the second largest adjacency eigenvalue $ρ_2(G)$ of $G$ in given graph classes. These bounds imply some previous results. Finally, we settle the Aouchiche--Hansen conjecture (2010) on the second largest eigenvalue with given number of edges and clique number. We prove that for connected graphs $G$ of odd order $n \geq 5$, $|ρ_2| \cdot ω\leq m-2$, with equality if and only if $G$ consists of two complete graphs of orders $\frac{n+1}{2}$ and $\frac{n-1}{2}$ joined by an edge or a path. For even $n \geq 2$, the quantity $|ρ_2| \cdot ω- m$ is maximized exactly when $G$ is the join of two copies of $K_{n/2}$ by an edge.
The core of the methods developed in this paper is to regard a connected graph as an internally disconnected graph with Dirichlet boundary condition. This perspective allows us to transfer nodal domain techniques from continuous spectral geometry to discrete settings and to obtain sharp extremal characterizations across diverse graph classes.
Graphical Analysis of Lifted Product Code Constructions
Lifted product codes are an important family of quantum low-density parity-check (QLDPC) codes, as they were the first QLDPC code family shown to be asymptotically good. Understanding the structure of their parity-check matrices $H_{\mathsf{X}}$ and $H_{\mathsf{Z}}$, as well as the associated Tanner graphs, is essential for analyzing their decoding behavior and error-floor performance. In this work, we show that the Tanner graphs of $H_{\mathsf{X}}$ and $H_{\mathsf{Z}}$ are indeed isomorphic, and investigate their graph-theoretical structure. We establish conditions ensuring the connectivity of these graphs and provide bounds on their minimal absorbing sets, providing new insight into the combinatorial structures influencing decoding performance.
On the hitting time of Hamiltonicity in bipartite Dirac graphs
Let $\varepsilon\in (0,1/2]$ and let $G$ be a balanced bipartite graph on $2n$ vertices with minimum degree at least $(1/2 + \varepsilon)n$. Then, whp, the hitting time for minimum degree 2 coincides with the hitting time for Hamiltonicity. This extends Bollobás--Kohayakawa and gives a bipartite analogue of Johansson's theorem. As an immediate corollary, we deduce a sharp threshold result for Hamiltonicity in such graphs.
Extremal number of edges in graphs without homeomorphically irreducible spanning trees
For integers $k\ge 1$ and $n\ge k+1$, let $\operatorname{ex}^{\mathrm{HIST}}_k(n)$ denote the maximum number of edges in a $k$-connected graph of order $n$ which contains no homeomorphically irreducible spanning tree (or briefly HIST). We determine these extremal numbers for $k=1$ and $k=2$. More precisely, we prove that $\operatorname{ex}^{\mathrm{HIST}}_1(n)=\binom{n-2}{2}+2$ for $n\ge 9$, with $L_n$ as the unique extremal graph, and that $\operatorname{ex}^{\mathrm{HIST}}_2(n)=\binom{n-3}{2}+4$ for $n\ge 13$, with $B_n$ as the unique extremal graph. This provides a Turán-type extremal result for spanning trees with no vertices of degree two.
On a hypergraph Turán problem of Balogh-Bohman-Bollobás-Zhao
Let $S$ and $T$ be disjoint sets with $|S|=i$ and $|T|=r-1$ for $2\le i\le r-1$, and let $B_i^{(r)}$ be the $r$-graph on $S\cup T$ whose edges are the $r$-subsets containing $S$ or $T$. We study the deficit $q_{r,i}:=1-π(B_i^{(r)})$ in its Turán density. Balogh, Bohman, Bollobás, and Zhao previously obtained bounds for these deficits with logarithmic gaps near both ends of the sequence $B_i^{(r)}$, namely, when $i=O(1)$ or $i=r-O(1)$. We close these gaps by showing that, as $r\to\infty$, for every fixed integer $a\ge1$, $q_{r,a+1}=Θ_a(r^{-a})$, and for every fixed integer $b\ge2$, $q_{r,r-b}=Θ_b(r^{-b}\log r)$.
On Brouwer's Laplacian conjecture
Brouwer's Laplacian conjecture states that the sum of the largest $k$ eigenvalues of a graph's Laplacian is less than or equal to the number of edges plus $\binom{k+1}{2}$. We give a proof of this conjecture. Our proof relies on the Grone--Merris--Bai theorem for \emph{split} graphs. We also show the converse, thereby establishing an equivalence between Brouwer's conjecture and the Grone--Merris--Bai theorem.
Average degrees of edge-$Δ$-critical multigraphs
Let $G$ be a loopless multigraph with maximum degree $Δ(G)$, average degree $\overline{d}(G)$, density $Γ(G)$, and chromatic index $χ'(G)$. A multigraph $G$ is called edge-$Δ$-critical if $Δ(G)=Δ$, $χ'(G)=Δ(G)+1$ and $χ'(H) \le Δ(G)$ for every proper subgraph $H\subset G$. Vizing conjectured that if $G$ is an edge-$Δ$-critical simple graph on $n$ vertices, then $\overline{d}(G) \ge Δ-1+\tfrac{3}{n}$. Motivated by this, we conjecture that every edge-$Δ$-critical multigraph $G$ satisfies $\overline{d}(G) \ge \tfrac{2Δ+2}{3}$, which is best possible. We first give a general lower bound in this direction. For any such graph $G$, \[ \overline{d}(G) \ge \begin{cases} \frac{\sqrt{17}-3}{2}(Δ+1) & \text{if } Δ\le 112;\\[4pt] \frac{Δ+\sqrt{2Δ-1}}{2} & \text{if } Δ\ge 113. \end{cases} \] This bound can be further improved under an additional condition on the multiplicity $μ$. In this case, \[ \overline{d}(G)\ge \min\left\{ \frac{2μΔ+2μ(2μ-1)}{4μ-1},\; \frac{\sqrt{17}-3}{2}(Δ+1) \right\}. \] We also confirm the conjecture for $Δ\in \{2,3,4,5,6,7,8\}$. As a consequence, Goldberg's conjecture~\cite{Goldberg1984} holds for $Δ(G)\in\{2,3,4,5\}$, that is, every multigraph $G$ with $χ'(G)\ge Δ(G)+1$ satisfies $Γ(G)\ge Δ(G)$.
A note on geometric colorings of the Moser lattice
In arXiv:2311.10069, Matolcsi et al. show that the fractional chromatic number of the plane is at least 4. Their proof uses a 27-vertex unit-distance graph in the Moser lattice, with geometric fractional chromatic number exactly 4. We show that this bound is tight for graphs in the Moser lattice by exhibiting geometric 4-colorings of the entire lattice. The same colorings also extend to the entire Moser ring.
Cooling graph products
The cooling number measures the speed at which a slow-moving influence or contagion spreads on a graph. In this paper, we investigate the cooling number of four classical graph products: the Cartesian product, the strong product, the lexicographic product, and the direct product. We also determine the cooling number of a disconnected graph in terms of the cooling numbers of its components. We conclude with open problems.
On a conjecture of Las Vergnas
In 1988, Las Vergnas conjectured that if $M$ is a binary matroid with bicycle dimension $d$, then for $0 \leq k \leq d$, the $k$th derivative of the diagonal Tutte polynomial $T(M;z,z)$ evaluated at $z=-1$ is an integer multiple of $2^{d-k}$. While this was rapidly disproved for binary matroids and for graphs in general, extensive computations strongly suggested that it might be true for planar graphs. In this paper we prove that this is indeed the case. To do this, we consider a stronger divisibility property that we call the LV property, and a larger class of graphs, namely the class of delta-wye-reducible graphs. By a detailed analysis of how a delta-wye exchange affects the coefficients of the diagonal Tutte polynomial, we show that delta-wye-reducible graphs have the LV property. That Las Vergnas' conjecture holds for planar graphs immediately follows because planar graphs are delta-wye reducible and the LV property is stronger than Las Vergnas' divisibility conditions.
Dominance and symmetry-breaking rules for the Graph Burning Problem
The Graph Burning Problem (GBP) is a NP-Hard combinatorial optimization problem that models the propagation of influence or contagion in a network. The propagation is represented through the metaphor of a fire spreading through the vertices of a graph. A burning process takes place in a series of discrete time-steps. At each time step, the burning process is characterized by a propagation (where burned nodes spread the fire to their neighbors), and an ignition (where one additional unburned node is chosen to become burned). The minimum number of steps required to burn all vertices of a graph defines its burning number. Literature provides integer linear programming formulations to solve the problem, but with no surprise, such approaches struggle to converge as the graph size increases. Therefore, reducing the search space explored by these formulations becomes a key point to improve performances. In this work, we study the similarities of the Graph Burning Problem with the well-known Dominating Set Problem. We propose a new formulation based on this study and apply dominance rules and symmetry-breaking techniques to reduce the search space and consequently speed up resolution time. We also introduce a perturbation of the proposed objective function, as well as a pruning rule for the perturbed model in order to further accelerate its resolution.