contain ↗ reference
7689 papers tagged with this keyword
Cycles with almost linearly many chords
We prove that constant minimum degree already forces cycles with almost linearly many chords. Specifically, every graph $G$ with $δ(G)\ge C$ contains a cycle of length $\ell\ge 4$ with $Ω(\ell/\log^{C}\ell)$ chords for some absolute constant $C>0$. This is the first result showing that a constant-degree condition yields an unbounded -- indeed nearly linear -- number of chords, placing our bound within a polylogarithmic factor of the Chen--Erdős--Staton conjecture. It also gives a strong affirmative conclusion in the direction of a recent question of Dvořák, Martins, Thomassé, and Trotignon asking whether constant-degree graphs must contain cycles whose chord counts grow with their length.
Laplacian eigenvalue conditions for edge-disjoint spanning trees and a forest with constraints
Published
• View Publication
• BIB
Let $k$ be a positive integer and let $G$ be a simple graph of order $n$ with minimum degree $δ$. A graph $G$ is said to have property $P(k, d)$ if it contains $k$ edge-disjoint spanning trees and an additional forest $F$ with edge number $|E(F)| > \frac{d-1}{d}(|V(G)| - 1)$, such that if $F$ is not a spanning tree, then $F$ has a component with at least $d$ edges. Let $D(G)$ be the degree diagonal matrix of $G$. We denote $λ_i$ and $μ_i$ as the $i$th largest eigenvalue of the adjacency matrix $A(G)$ of $G$ and the Laplacian matrix $L(G) = D(G) - A(G)$ of $G$ for $i = 1, 2, \ldots, n$, respectively. In this paper, we investigate the relationship between Laplacian eigenvalues and property $P(k, δ)$. Let $t$ be a positive integer, and define $\mathcal{G}_t$ as the set of simple graphs such that each $G \in \mathcal{G}_t$ contains at least $t+1$ non-empty disjoint proper subsets $V_1, V_2, \ldots, V_{t+1}$ satisfying $V(G) \setminus \bigcup_{i=1}^{t+1} V_i \neq \emptyset$ and edge connectivity $κ'(G) = e(V_i, V(G) \setminus V_i)$ for any $i = 1, 2, \ldots, t+1$. For the class of graphs $\mathcal{G}_1$ with minimum degree $δ$, we provide a sufficient condition involving the third smallest Laplacian eigenvalue $μ_{n-2}(G)$ for a graph $G\in \mathcal{G}_1$ to have property $P(k, δ)$. Similarly, for the class of graphs $\mathcal{G}_2$ with minimum degree $δ$, we establish a corresponding sufficient condition involving the fourth smallest Laplacian eigenvalue $μ_{n-3}(G)$ for a graph $G\in \mathcal{G}_2$ to have property $P(k, δ)$. Furthermore, we extend the spectral conditions for all the results about $μ_{n-2}(G)$, $μ_{n-3}(G)$ and $λ_2(G)$ to the general graph matrices $aD(G) + A(G)$ and $aD(G) + bA(G)$.
Distance spectral radius conditions for edge-disjoint spanning trees and a forest with constraints
Let $k\ge 2$ be a positive integer and let $G$ be a simple graph of order $n$ with minimum degree $δ$. A graph $G$ is said to have property $P(k, d)$ if it contains $k$ edge-disjoint spanning trees and an additional forest $F$ with edge number $|E(F)| > \frac{d-1}{d}(n-1)$, such that if $F$ is not a spanning tree, then $F$ has a component with at least $d$ edges. Let $D(G)$ be the distance matrix of $G$. We denote $ρ_D(G)$ as the largest eigenvalue of $D(G)$, which is called the distance spectral radius of $G$. In this paper, we investigate the relationship between the distance spectral radius and the property $P(k, δ)$. We prove that for a connected graph $G$ of order $n \ge 2k+8$ with minimum degree $δ\ge k+2$, if $ρ_D(G) \le ρ_D(K_{k-1} \vee (K_{n-k} \cup K_1))$, then $G$ possesses property $P(k, δ)$. Furthermore, for a connected balanced bipartite graph $G$ of order $n \ge 4k+8$ with minimum degree $δ\ge k+2$, we show that if $ρ_D(G) \le ρ_D(K_{\frac{n}{2}, \frac{n}{2}} \setminus E(K_{1, \frac{n}{2}-k+1}))$, then $G$ also possesses property $P(k, δ)$. Our results generalize the work of Fan et al. [Discrete Appl. Math. 376 (2025), 31--40] from the existence of $k$ edge-disjoint spanning trees to the more refined structural property $P(k, δ)$.
Bipartite Turán problem on cographs
A cograph is a graph that contains no induced path $P_4$ on four vertices or equivalently a graph that can be constructed from vertices by sum and product operations. We study the bipartite Turán problem restricted to cographs: for fixed integers $s \leq t$, what is the maximum number of edges in an $n$-vertex cograph that does not contain $K_{s,t}$ as a subgraph? This problem falls within the framework of induced Turán numbers $\text{ex}(n, \{K_{s,t}, P_4\text{-ind}\})$ introduced by Loh, Tait, Timmons, and Zhou.
Our main result is a Pumping Theorem: for every $s\le t$ there exists a period $R$ and core cographs such that for all sufficiently large $n$ an extremal cograph is obtained by repeatedly pumping one designated pumping component inside the appropriate core (depending on $n\bmod R$). We determine the linear coefficient of $\text{ex}(n, \{K_{s,t}, P_4\text{-ind}\})$ to be $s-1 + \frac{t-1}{2}$. Moreover, the pumping components are $(t-1)$-regular and have $s-1$ common neighbours in the respecitve core graphs, giving the extremal cographs a particularly rigid extremal star-like shape.
Motivated by the rarity of complete classification of extremal configurations, we completely classify all $K_{3,3}$-free extremal cographs by proof. We also develop a dynamic programming algorithm for enumerating extremal cographs for small $n$.
Anticoncentration of random spanning trees in almost regular graphs
The celebrated formula of Otter \emph{[Ann. of Math. (2) 49 (1948), 583--599]} asserts that the complete graph contains exponentially many non-isomorphic spanning trees. In this paper, we show that every connected almost regular graph with sufficiently large degree already contains exponentially many non-isomorphic spanning trees. Indeed, we prove a stronger statement: for every fixed $n$-vertex tree $T$, $$
\Pr\bigl[\mathcal{T} \simeq_{\mathrm{iso}} T\bigr] = e^{-Ω(n)}, $$ where $\mathcal{T}$ is a uniformly random spanning tree of a connected $n$-vertex almost regular graph with sufficiently large degree. To prove this, we introduce a graph-theoretic variant of the classical balls--into--bins model, which may be of independent interest.
Tree versus tree of preorder induced by rainbow forbidden subgraphs
A subgraph $H$ of an edge-colored graph $G$ is rainbow if all the edges of $H$ receive different colors. If $G$ does not contain a rainbow subgraph isomorphic to $H$, we say that $G$ is rainbow $H$-free. For connected graphs $H_1$ and $H_2$, if there exists an integer $t=t(H_1,H_2)$ such that every rainbow $H_1$-free edge-colored complete graph colored with $t$ or more colors is rainbow $H_2$-free, then we write $H_1\le H_2$. The binary relation $\le$ is reflexive and transitive, and hence it is a preorder. For graphs $H_1$ and $H_2$, we write $H_1 \equiv H_2$ if both $H_1 \le H_2$ and $H_2 \le H_1$ hold. Then $\equiv$ is an equivalence relation. If $H_1$ is a subgraph of $H_2$, then trivially $H_1\le H_2$ holds. On the other hand, there exists a pair $(H_1, H_2)$ such that $H_1$ is a proper supergraph of $H_2$ and $H_1\le H_2$ holds. Q.~Cui, Q.~Liu, C.~Magnant and A.~Saito [Discrete Math. {\bf 344} (2021) Article Number 112267] characterized these pairs. %On the other hand, there are few known results regarding the study of $\leq$ for the incomparable with respect to $\subseteq$. Cui et al. found pairs of graphs $H_1$ and $H_2$ such that $H_1 \leq H_2$ and $H_2 \leq H_1$, that is, non-singleton equivalence class with respect to $\le$. However, we have not found any other non-singleton equivalence class with respect to $\le$ except for those discovered by Cui et al.
In this paper. we investigate the existence of non-singleton equivalence class with respect to $\le$ by focusing on trees.
More on spectral supersaturation for the bowtie
A central topic in extremal graph theory is the supersaturation problem, which studies the minimum number of copies of a fixed substructure that must appear in any graph with more edges than the corresponding Turán number. Significant works due to Erdős, Rademacher, Lovász and Simonovits investigated the supersaturation problem for the triangle. Moreover, Kang, Makai and Pikhurko studied the case for the bowtie, which consists of two triangles sharing a vertex. Building upon the pivotal results established by Bollobás, Nikiforov, Ning and Zhai on counting triangles via the spectral radius, we study in this paper the spectral supersaturation problem for the bowtie. Let $λ(G)$ be the spectral radius of a graph $G$, and let $K_{\lceil \frac{n}{2}\rceil, \lfloor \frac{n}{2}\rfloor}^q$ be the graph obtained from Turán graph $T_{n,2}$ by adding $q$ pairwise disjoint edges to the partite set of size $\lceil \frac{n}{2}\rceil$. Firstly, we prove that there exists an absolute constant $δ>0$ such that if $n$ is sufficiently large, $2\le q \le δ\sqrt{n}$, and $G$ is an $n$-vertex graph with $λ(G)\ge λ(K_{\lceil \frac{n}{2}\rceil, \lfloor \frac{n}{2}\rfloor}^q)$, then $G$ contains at least ${q\choose 2}\lfloor \frac{n}{2}\rfloor$ bowties, and $K_{\lceil \frac{n}{2}\rceil, \lfloor \frac{n}{2}\rfloor}^q$ is the unique spectral extremal graph. This solves an open problem proposed by Li, Feng and Peng. Secondly, we show that a graph $G$ whose spectral radius exceeds that of the spectral extremal graph for the bowtie must contain at least $\lfloor \frac{n-1}{2}\rfloor$ bowties. This sharp bound reveals a distinct phenomenon from the edge-supersaturation case, which guarantees at least $\lfloor \frac{n}{2}\rfloor$ bowties.
Asymptotic enumeration of constrained bipartite, directed and oriented graphs by degree sequence
In the sufficiently sparse case, we find the probability that a uniformly random bipartite graph with given degree sequence contains no edge from a specified set of edges. This enables us to enumerate loop-free digraphs and oriented graphs with given in-degree and out-degree sequences, and obtain subgraph probabilities. Our theorems are not restricted to the near-regular case. As an application, we determine the expected permanent of sparse or very dense random matrices with given row and column sums; in the regular case, our formula holds over all densities. We also draw conclusions about the degrees of a random orientation of a random undirected graph with given degrees, including its number of Eulerian orientations.
On structural properties of some probable $R(3, 10)$-critical graphs
The Ramsey number $R(s, t)$ is the smallest positive integer $n$ such that every graph on $n$ vertices contains either a clique of size $s$ or an independent set of size $t$. An $R(s,t)$-critical graph is a graph on $R(s,t)-1$ vertices that contains neither a clique of size $s$ nor an independent set of size $t$. It is known that $40\leq R(3, 10)\leq 42$. We study the structure of a $R(3,10)$-critical graphs by assuming $R(3, 10)=42$. We show that if such a graph exists then its minimum degree and vertex connectivity are the same and is $6, 7$ or $8$. Then we find all the possible degree sequences of such graphs. Further, we show that if such a graph exists, then its diameter is either $2$ or $3$, and if it has diameter $2$ and minimum degree $6$, then it has only $21$ choices for its degree sequence.
Trade-off between spread and width for tree decompositions
We study the trade-off between (average) spread and width in tree decompositions, answering several questions from Wood [arXiv:2509.01140]. The spread of a vertex $v$ in a tree decomposition is the number of bags that contain $v$. Wood asked for which $c>0$, there exists $c'$ such that each graph $G$ has a tree decomposition of width $c\cdot tw(G)$ in which each vertex $v$ has spread at most $c'(d(v)+1)$. We show that $c\geq 2$ is necessary and that $c>3$ is sufficient. Moreover, we answer a second question fully by showing that near-optimal average spread can be achieved simultaneously with width $O(tw(G))$.
Metric general position extensions of classical graph invariants
We introduce a two-parameter framework that refines several classical graph invariants by imposing higher-order constraints along bounded-length geodesics. For integers $k,d\ge1$, a vertex set is called $k,d$-independent if every shortest path of length at most $d$ contains fewer than $k$ vertices of the set, giving rise to corresponding $k,d$-independence, chromatic, clique, and domination invariants. We develop a general framework for these parameters by associating each graph with a $k$-uniform hypergraph that encodes its geodesic structure. We then establish basic bounds and monotonicity properties, and introduce a notion of $k,d$-perfection extending the classical theory of perfect graphs. Exact formulas are obtained for the $k,d$-chromatic number of paths and cycles. In particular, all paths are $k,d$-perfect for all parameters, while cycles admit a complete classification of $k,d$-perfection that recovers the classical case when $k=2$ and exhibits new periodic and finite-exception behavior for $k\ge3$. We further investigate the interaction between $k,d$-invariants and graph powers, showing that while the $k=2$ case reduces to graph powers in a straightforward way, substantially different behavior arises for higher values of $k$, even for powers of paths.
Branching $k$-path vertex cover of forests
We define a set $P$ to be a branching $k$-path vertex cover of an undirected forest $F$ if all leaves and isolated vertices (vertices of degree at most $1$) of $F$ belong to $P$ and every path on $k$ vertices (of length $k-1$) contains either a branching vertex (a vertex of degree at least $3$) or a vertex belonging to $P$. We define the branching $k$-path vertex cover number of an undirected forest $F$, denoted by $ψ_b(F,k)$, to be the number of vertices in the smallest branching $k$-path vertex cover of $F$. These notions for a rooted directed forest are defined similarly, with natural adjustments. We prove the lower bound $ψ_b(F,k) \geq \frac{n+3k-1}{2k}$ for undirected forests, the lower bound $ψ_b(F,k) \geq \frac{n+k}{2k}$ for rooted directed forests, and that both of them are tight.
The Sequence Reconstruction of Permutations under Hamming Metric with Small Errors
Published
• View Publication
• BIB
The sequence reconstruction problem asks for the recovery of a sequence from multiple noisy copies, where each copy may contain up to $r$ errors. In the case of permutations on \(n\) letters under the Hamming metric, this problem is closely related to the parameter $N(n,r)$, the maximum intersection size of two Hamming balls of radius $r$. While previous work has resolved \(N(n,r)\) for small radii (\(r \leq 4\)) and established asymptotic bounds for larger \(r\), we present new exact formulas for \(r \in \{5,6,7\}\) using group action techniques. In addition, we develop a formula for \(N(n,r)\) based on the irreducible characters of the symmetric group \(S_n\), along with an algorithm that enables computation of \(N(n,r)\) for larger parameters, including cases such as \(N(43,8)\) and \(N(24,14)\).
Flat simplices and kissing polytopes
We consider how flat a lattice simplex contained in the hypercube $[0,k]^d$ can be. This question is related to the notion of kissing polytopes: two lattice polytopes contained in the hypercube $[0,k]^d$ are kissing when they are disjoint but their distance is as small as possible. We show that the smallest possible distance of a lattice point $P$ contained in the cube $[0,k]^3$ to a lattice triangle in the same cube that does not contain $P$ is $$ \frac{1}{\sqrt{3k^4-4k^3+4k^2-2k+1}} $$ when $k$ is at least $2$. We also improve the known lower bounds on the distance of kissing polytopes for $d$ at least $4$ and $k$ at least $2$.
On counting polygons in a crystal
How many $n$-step polygons exist that contain a given vertex of an infinite quasi-transitive graph $G$? The exponential growth rate of such polygons is identified as the connective constant when $G$ has sub-exponential growth and possesses a so-called square graph height function. The last condition amounts to the requirement that $G$ has a certain ${\Bbb Z}^2$ action of automorphisms. The main theorem extends a result of Hammersley (Proc. Cambridge Philos. Soc. 57 (1961) 516--523) and others for the hypercubic lattice, and responds to Hammersley's challenge to prove such a result for more general "crystals''.
Extremal $Q$-index problem in outerplanar graphs
Outerplanar Turán problem has received considerable attention recently. We study the spectral version via $Q$-index. We determine the unique graph that maximizes the $Q$-index among all $n$-vertex connected outerplanar graphs which are respectively forbidden to contain: (i) a fixed cycle; and (ii) the disjoint union of paths of a given order.
Towards a conjecture on long induced rainbow paths in triangle-free graphs
Given a triangle-free graph $G$ with chromatic number $k$ and a proper vertex coloring $φ$ of $G$, it is conjectured that $G$ contains an induced rainbow path on $k$ vertices under $φ$. Scott and Seymour proved the existence of an induced rainbow path on $(\log \log \log k)^{\frac{1}{3}- o(1)}$ vertices. We improve this to $(\log k)^{\frac{1}{2}- o(1)}$ vertices. Further, we prove the existence of an induced path that sees $\frac{k}{2}$ colors.
Some lemmas on spectral radius of graphs: including an application
Published
• View Publication
• BIB
For a graph $G$, the spectral radius $ρ(G)$ of $G$ is the largest eigenvalue of its adjacency matrix. In this paper, we give three lammas on $ρ(G)$ when $G$ contains a spanning complete bipartite graph. Using these lemmas and typical spectral method, we characterized the unique extremal graph with the maximum spectral radius among all planar graphs of large order $n$ without a cycle of length $\ell$, where $5\leq \ell\leq n$.
Rational codegree Turán density of hypergraphs
Let $H$ be a $k$-graph (i.e. a $k$-uniform hypergraph). Its minimum codegree $δ_{k-1}(H)$ is the largest integer $t$ such that every $(k-1)$-subset of $V(H)$ is contained in at least $t$ edges of~$H$. The \emph{codegree Turán density} $γ(\mathcal{F})$ of a family $\mathcal{F}$ of $k$-graphs is the infimum of $γ> 0$ such that every $k$-graph $H$ on $n\to\infty$ vertices with $δ_{k-1}(H) \ge (γ+o(1))\, n$ contains some member of $\mathcal{F}$ as a subgraph.
We prove that, for every integer $k\ge3$ and every rational number $α\in [0,1)$, there exists a finite family of $k$-graphs $\mathcal{F}$ such that $γ(\mathcal{F})=α$.
Also, for every $k \ge 3$, we establish a strong version of non-principality, namely that there are two $k$-graphs $F_1$ and $F_2$ such that the codegree Turán density of $\{F_1,F_2\}$ is strictly smaller than that of each $F_i$. This answers a question of Mubayi and Zhao [J Comb Theory (A) 114 (2007) 1118--1132].
Tight paths in fully directed hypergraphs
It is well-known that every tournament has a spanning path. We consider hypergraph analogues. In an \emph{$r$-uniform fully directed hypergraph}, or \emph{$r$-digraph}, every edge is a list or $r$ distinct vertices. An $(r,k)$-tournament is an $r$-digraph $G$ such that for every $r$-set $S$ of vertices in $G$, exactly $k$ of the orderings of $S$ are edges in $G$. A \emph{directed tight path} is an $r$-digraph $G$ whose vertices can be ordered so that the intervals of size $r$ are the edges in $G$. Let $f(n,r,k)$ be the maximum $s$ such that every $n$-vertex $(r,k)$-tournament contains a tight path on $s$ vertices. Since every tournament has a spanning path, we have $f(n,2,1)=n$.
In this paper, we show that the minimum $k$ such that $f(n,r,k)$ tends to infinity with $n$ is in the interval $\left[\left(1-\frac{1}{r}-O(\frac{\log r}{r^2\log\log r})\right)r!, ~\left(1-\frac{1}{r} - \frac{\varphi(r)-1}{r!}\right)r!\right]$ where $\varphi(r)$ is the Euler Totient Function, and we find the exact value when $r\le 5$. We also show that $Ω(\sqrt{\log n/\log \log n}) \le f(n,3,3) \le O(\log n)$ and $f(n,3,4)\ge Ω(n^{1/5})$.