contain ↗ reference
7694 papers tagged with this keyword
Separating path systems in complete graphs
Published
• View Publication
• BIB
We prove that in any $n$-vertex complete graph there is a collection $\mathcal{P}$ of $(1 + o(1))n$ paths that strongly separates any pair of distinct edges $e, f$, meaning that there is a path in $\mathcal{P}$ which contains $e$ but not $f$. Furthermore, for certain classes of $n$-vertex $αn$-regular graphs we find a collection of $(\sqrt{3 α+ 1} - 1 + o(1))n$ paths that strongly separates any pair of edges. Both results are best-possible up to the $o(1)$ term.
Spanning trees for many different numbers of leaves
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:3, Graph Theory (November 18, 2024) dmtcs:13116
• View Publication
• BIB
Let $G$ be a connected graph and $L(G)$ the set of all integers $k$ such that $G$ contains a spanning tree with exactly $k$ leaves. We show that for a connected graph $G$, the set $L(G)$ is contiguous. It follows from work of Chen, Ren, and Shan that every connected and locally connected $n$-vertex graph -- this includes triangulations -- has a spanning tree with at least $n/2 + 1$ leaves, so by a classic theorem of Whitney and our result, in any plane $4$-connected $n$-vertex triangulation one can find for any integer $k$ which is at least $2$ and at most $n/2 + 1$ a spanning tree with exactly $k$ leaves (and each of these trees can be constructed in polynomial time). We also prove that there exist infinitely many $n$ such that there is a plane $4$-connected $n$-vertex triangulation containing a spanning tree with $2n/3$ leaves, but no spanning tree with more than $2n/3$ leaves.
The growth rate of multicolor Ramsey numbers of $3$-graphs
The $q$-color Ramsey number of a $k$-uniform hypergraph $G,$ denoted $r(G;q)$, is the minimum integer $N$ such that any coloring of the edges of the complete $k$-uniform hypergraph on $N$ vertices contains a monochromatic copy of $G$. The study of these numbers is one of the most central topics in combinatorics. One natural question, which for triangles goes back to the work of Schur in 1916, is to determine the behaviour of $r(G;q)$ for fixed $G$ and $q$ tending to infinity. In this paper we study this problem for $3$-uniform hypergraphs and determine the tower height of $r(G;q)$ as a function of $q$. More precisely, given a hypergraph $G$, we determine when $r(G; q)$ behaves polynomially, exponentially or double-exponentially in $q$. This answers a question of Axenovich, Gyárfás, Liu and Mubayi.
On Separating Path and Tree Systems in Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:2, Graph Theory (May 20, 2025) dmtcs:12743
• View Publication
• BIB
We explore the concept of separating systems of vertex sets of graphs. A separating system of a set $X$ is a collection of subsets of $X$ such that for any pair of distinct elements in $X$, there exists a set in the separating system that contains exactly one of the two elements. A separating system of the vertex set of a graph $G$ is called a vertex-separating path (tree) system of $G$ if the elements of the separating system are paths (trees) in the graph $G$. In this paper, we focus on the size of the smallest vertex-separating path (tree) system for different types of graphs, including trees, grids, and maximal outerplanar graphs.
Hardness of linearly ordered 4-colouring of 3-colourable 3-uniform hypergraphs
A linearly ordered (LO) $k$-colouring of a hypergraph is a colouring of its vertices with colours $1, \dots, k$ such that each edge contains a unique maximal colour. Deciding whether an input hypergraph admits LO $k$-colouring with a fixed number of colours is NP-complete (and in the special case of graphs, LO colouring coincides with the usual graph colouring).
Here, we investigate the complexity of approximating the `linearly ordered chromatic number' of a hypergraph. We prove that the following promise problem is NP-complete: Given a 3-uniform hypergraph, distinguish between the case that it is LO $3$-colourable, and the case that it is not even LO $4$-colourable. We prove this result by a combination of algebraic, topological, and combinatorial methods, building on and extending a topological approach for studying approximate graph colouring introduced by Krokhin, Opršal, Wrochna, and Živný (2023).
On recognition algorithms and structure of graphs with restricted induced cycles
This is my PhD thesis which was defended in May 2021.
We call an induced cycle of length at least four a hole. The parity of a hole is the parity of its length. Forbidding holes of certain types in a graph has deep structural implications. In 2006, Chudnovksy, Seymour, Robertson, and Thomas famously proved that a graph is perfect if and only if it does not contain an odd hole or a complement of an odd hole. In 2002, Conforti, Cornuéjols, Kapoor and Vuškovíc provided a structural description of the class of even-hole-free graphs. In Chapter 3, we provide a structural description of all graphs that contain only holes of length $\ell$ for every $\ell \geq 7$.
Analysis of how holes interact with graph structure has yielded detection algorithms for holes of various lengths and parities. In 1991, Bienstock showed it is NP-Hard to test whether a graph G has an even (or odd) hole containing a specified vertex $v \in V(G)$. In 2002, Conforti, Cornuéjols, Kapoor and Vuškovíc gave a polynomial-time algorithm to recognize even-hole-free graphs using their structure theorem. In 2003, Chudnovsky, Kawarabayashi and Seymour provided a simpler and slightly faster algorithm to test whether a graph contains an even hole. In 2019, Chudnovsky, Scott, Seymour and Spirkl provided a polynomial-time algorithm to test whether a graph contains an odd hole. Later that year, Chudnovsky, Scott and Seymour strengthened this result by providing a polynomial-time algorithm to test whether a graph contains an odd hole of length at least $\ell$ for any fixed integer $\ell \geq 5$. In Chapter 2, we provide a polynomial-time algorithm to test whether a graph contains an even hole of length at least $\ell$ for any fixed integer $\ell \geq 4$.
Diffusion limited aggregation in the layers model
Published
• View Publication
• BIB
In the classical model of Diffusion Limited Aggregation (DLA), introduced by Witten and Sander, the process begins with a single particle cluster placed at the origin of a space, and then, one at a time, particles make a random walk from infinity until they collide with, and stick to, the existing cluster.
We consider an analogous version of this process on large but finite graphs with a designated source and sink vertex. Initially the cluster of halted particles contains a single particle at the sink vertex. Starting one at a time from the source, each particle makes a random walk in the direction of the sink vertex. The particle halts at the last unoccupied vertex before the walk enters the cluster for the first time, thus increasing the size of the cluster. This continues until the source vertex becomes occupied, at which point the process ends. We study the DLA process on several classes of layered graphs, including Cayley trees of branching factor at least two with a sink vertex attached to the leaves. We determine the finish time of the process for a given class of graphs and show that the subcomponent of the final cluster linking source to sink is essentially a unique path.
Graded Multiplicities in the Kostant-Rallis Setting
This paper contains two main results. First, we provide combinatorial branching rules for $\text{GL}_n \downarrow \text{O}_n$ and $\text{GL}_{2n} \downarrow \text{Sp}_{2n}$ extending the Littlewood restriction rules. Second, we use these branching rules and the combinatorics of $\text{GL}_n$-crystals to derive a formula for the graded multiplicity of a $K$-type in the regular functions on the $K$-nilpotent cone for $\text{GL}(n, \mathbb{R})$, $\text{GL}(n, \mathbb{C})$ and $\text{GL}(n, \mathbb{H})$. Due to work of Schmid and Vilonen, these graded multiplicities determine the Hodge $K$-character of the spherical principal series with infinitesimal character 0.
Labelled well-quasi-order in juxtapositions of permutation classes
Published
• View Publication
• BIB
The juxtaposition of permutation classes $\mathcal{C}$ and $\mathcal{D}$ is the class of all permutations formed by concatenations $στ$, such that $σ$ is order isomorphic to a permutation in $\mathcal{C}$, and $τ$ to a permutation in $\mathcal{D}$.
We give simple necessary and sufficient conditions on the classes $\mathcal{C}$ and $\mathcal{D}$ for their juxtaposition to be labelled well-quasi-ordered (lwqo): namely that both $\C$ and $\DDD$ must themselves be lwqo, and at most one of $\mathcal{C}$ or $\mathcal{D}$ can contain arbitrarily long zigzag permutations. We also show that every class without long zigzag permutations has a growth rate which must be integral.
Improved bounds for five-term arithmetic progressions
Published
• View Publication
• BIB
Let $r_5(N)$ be the largest cardinality of a set in $\{1,\ldots,N\}$ which does not contain $5$ elements in arithmetic progression. Then there exists a constant $c\in (0,1)$ such that \[r_5(N)\ll \frac{N}{\exp((\log\log N)^{c})}.\] Our work is a consequence of recent improved bounds on the $U^4$-inverse theorem of the first author and the fact that $3$-step nilsequences may be approximated by locally cubic functions on shifted Bohr sets. This combined with the density increment strategy of Heath-Brown and Szemer{é}di, codified by Green and Tao, gives the desired result.
Relation between broadcast domination and multipacking numbers on chordal and other hyperbolic graphs
Published
• View Publication
• BIB
For a graph $ G = (V, E) $ with a vertex set $ V $ and an edge set $ E $, a function
$ f : V \rightarrow \{0, 1, 2, . . . , diam(G)\} $ is called a \emph{broadcast} on $ G $. For each
vertex $ u \in V $, if there exists a vertex $ v $ in $ G $ (possibly, $ u = v $) such that $ f (v) > 0 $ and
$ d(u, v) \leq f (v) $, then $ f $ is called a dominating broadcast on $ G $. The cost of the dominating broadcast $f$ is the quantity $ \sum_{v\in V}f(v) $. The minimum cost of a dominating broadcast is the broadcast domination number of $G$, denoted by $ γ_{b}(G) $.
A multipacking is a set $ S \subseteq V $ in a
graph $ G = (V, E) $ such that for every vertex $ v \in V $ and for every integer $ r \geq 1 $, the
ball of radius $ r $ around $ v $ contains at most $ r $ vertices of $ S $, that is, there are at most
$ r $ vertices in $ S $ at a distance at most $ r $ from $ v $ in $ G $. The
multipacking number of $ G $ is the maximum cardinality of a multipacking of $ G $ and
is denoted by $ mp(G) $.
We show that, for any connected chordal graph $G$, $γ_{b}(G)\leq \big\lceil{\frac{3}{2} mp(G)\big\rceil}$. We also show that $γ_b(G)-mp(G)$ can be arbitrarily large for connected chordal graphs by constructing an infinite family of connected chordal graphs such that the ratio $γ_b(G)/mp(G)=10/9$, with $mp(G)$ arbitrarily large. Moreover, we show that $γ_{b}(G)\leq \big\lfloor{\frac{3}{2} mp(G)+2δ\big\rfloor} $ holds for all $δ$-hyperbolic graphs. In addition, we provide a polynomial-time algorithm to construct a multipacking of a $δ$-hyperbolic graph $G$ of size at least $ \big\lceil{\frac{2mp(G)-4δ}{3} \big\rceil} $.
Tight Hamilton cycles with high discrepancy
Published in Combinator. Probab. Comp. 34 (2025) 565-584
• View Publication
• BIB
In this paper, we study discrepancy questions for spanning subgraphs of $k$-uniform hypergraphs. Our main result is that, for any integers $k \ge 3$ and $r \ge 2$, any $r$-colouring of the edges of a $k$-uniform $n$-vertex hypergraph $G$ with minimum $(k-1)$-degree $δ(G) \ge (1/2+o(1))n$ contains a tight Hamilton cycle with high discrepancy, that is, with at least $n/r+Ω(n)$ edges of one colour. The minimum degree condition is asymptotically best possible and our theorem also implies a corresponding result for perfect matchings. Our tools combine various structural techniques such as Turán-type problems and hypergraph shadows with probabilistic techniques such as random walks and the nibble method. We also propose several intriguing problems for future research.
On graphs without cycles of length 0 modulo 4
Bollobás proved that for every $k$ and $\ell$ such that $k\mathbb{Z}+\ell$ contains an even number, an $n$-vertex graph containing no cycle of length $\ell \bmod k$ can contain at most a linear number of edges. The precise (or asymptotic) value of the maximum number of edges in such a graph is known for very few pairs $\ell$ and $k$. In this work we precisely determine the maximum number of edges in a graph containing no cycle of length $0 \bmod 4$.
Uniformly resolvable decompositions of $K_v-I$ into $5$-stars
We consider the existence problem of uniformly resolvable decompositions of $K_v$ into subgraphs such that each resolution class contains only blocks isomorphic to the same graph. We give a complete solution for the case in which one resolution class is $K_2$ and the rest are $K_{1,5}$.
Connectivity keeping paths for k-connected bipartite graphs
Published
• View Publication
• BIB
Luo, Tian and Wu [Discrete Math. 345 (4) (2022) 112788] conjectured that for any tree $T$ with bipartition $(X,Y)$, every $k$-connected bipartite graph $G$ with minimum degree at least $k+w$, where $w=\max\{|X|,|Y|\}$, contains a tree $T'\cong T$ such that $κ(G-V(T'))\geq k$. In the paper, we confirm the conjecture when $T$ is an odd path on $m$ vertices. We remind that Yang and Tian \cite{YT2} also prove the same result by a different way.
Treewidth is Polynomial in Maximum Degree on Weakly Sparse Graphs Excluding a Planar Induced Minor
A graph $G$ contains a graph $H$ as an induced minor if $H$ can be obtained from $G$ after vertex deletions and edge contractions. We show that for every $k$-vertex planar graph $H$, every graph $G$ excluding $H$ as an induced minor and $K_{t,t}$ as a subgraph has treewidth at most $Δ(G)^{f(k,t)}$ where $Δ(G)$ denotes the maximum degree of $G$. Without requiring the absence of a $K_{t,t}$ subgraph, Korhonen [JCTB '23] has shown the upper bound of $k^{O(1)} 2^{Δ(G)^5}$ whose dependence in $Δ(G)$ is exponential. Our result partially answers a question of Chudnovsky [Dagstuhl seminar '23] asking whether the treewidth of graphs with $Δ(G)=O(\log{|V(G)|})$ excluding both a $k$-vertex planar graph as an induced minor and the biclique $K_{t,t}$ as a subgraph is in $O_{k,t}(\log |V(G)|)$. We confirm that the treewidth is in this case polylogarithmic in $|V(G)|$.
Clique Supersaturation
Published
• View Publication
• BIB
We study how many copies of a graph $F$ that another graph $G$ with a given number of cliques is guaranteed to have. For example, one of our main results states that for all $t\ge 2$, if $G$ is an $n$ vertex graph with $kn^{3/2}$ triangles and $k$ is sufficiently large in terms of $t$, then $G$ contains at least
\[Ω(\min\{k^t n^{3/2},k^{\frac{2t^2}{3t-1}}n^{\frac{5t-2}{3t-1}}\})\]
copies of $K_{2,t}$, and furthermore, we show these bounds are essentially best-possible provided either $k\ge n^{1/2t}$ or if certain bipartite-analogues of well known conjectures for Turán numbers hold.
Extremal results on degree powers in some classes of graphs
Let $G$ be a simple graph of order $n$ with degree sequence $(d_1,d_2,\cdots,d_n)$. For an integer $p>1$, let $e_p(G)=\sum_{i=1}^n d^{p}_i$ and let $ex_p(n,H)$ be the maximum value of $e_p(G)$ among all graphs with $n$ vertices that do not contain $H$ as a subgraph (known as $H$-free graphs). Caro and Yuster proposed the problem of determining the exact value of $ex_2(n,C_4)$, where $C_4$ is the cycle of length $4$. In this paper, we show that if $G$ is a $C_4$-free graph having $n\geq 4$ vertices and $m\leq \lfloor 3(n-1)/2\rfloor$ edges and no isolated vertices, then $e_p(G)\leq e_p(F_n)$, with equality if and only if $G$ is the friendship graph $F_n$. This yields that for $n\geq 4$, $ex_p(n,\mathcal{C}^*)=e_p(F_n)$ and $F_n$ is the unique extremal graph, which is an improved complement of Caro and Yuster's result on $ex_p(n,\mathcal{C}^*)$, where $\mathcal{C}^*$ denotes the family of cycles of even lengths. We also determine the maximum value of $e_p(\cdot)$ among all minimally $t$-(edge)-connected graphs with small $t$ or among all $k$-degenerate graphs, and characterize the corresponding extremal graphs. A key tool in our approach is majorization.
Planar stick indices of some knotted graphs
Published
• View Publication
• BIB
Two isomorphic graphs can have inequivalent spatial embeddings in 3-space. In this way, an isomorphism class of graphs contains many spatial graph types. A common way to measure the complexity of a spatial graph type is to count the minimum number of straight sticks needed for its construction in 3-space. In this paper, we give estimates of this quantity by enumerating stick diagrams in a plane. In particular, we compute the planar stick indices of knotted graphs with low crossing numbers. We also show that if a bouquet graph or a theta-curve has the property that its proper subgraphs are all trivial, then the planar stick index must be at least seven.
Spherical higher order Fourier analysis over finite fields IV: an application to the Geometric Ramsey Conjecture
This paper is the fourth and the last part of the series "Spherical higher order Fourier analysis over finite fields", aiming to develop the higher order Fourier analysis method along spheres over finite fields, and to solve the Geometric Ramsey Conjecture in the finite field setting.
In this paper, we proof a conjecture of Graham on the Remsey properties for spherical configurations in the finite field setting. To be more precise, we show that for any spherical configuration $X$ of $\mathbb{F}_{p}^{d}$ of complexity at most $C$ with $d$ being sufficiently large with respect to $C$ and $\vert X\vert$, and for some prime $p$ being sufficiently large with respect to $C$, $\vert X\vert$ and $ε>0$, any set $E\subseteq \mathbb{F}_{p}^{d}$ with $\vert E\vert>εp^{d}$ contains at least $\gg_{C,ε,\vert X\vert}p^{(k+1)d-(k+1)k/2}$ congruent copies of $X$, where $k$ is the dimension of $\text{span}_{\mathbb{F}_{p}}(X-X)$. The novelty of our approach is that we avoid the use of harmonic analysis, and replace it by the theory of spherical higher order Fourier analysis developed in previous parts of the series.