Source author record

António Girão

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

10works
2topics
4close collaborators

Published work

10 publications

preprint2026arXiv

Cycles with almost linearly many chords

We prove that constant minimum degree already forces cycles with almost linearly many chords. Specifically, every graph GG with δ(G)≥Cδ(G)\ge C contains a cycle of length ℓ≥4\ell\ge 4 with Ω(ℓ/log⁡Cℓ)Ω(\ell/\log^{C}\ell) chords for some absolute constant C>0C>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.

preprint2022arXiv

Hamiltonicity of random subgraphs of the hypercube

We study Hamiltonicity in random subgraphs of the hypercube Qn\mathcal{Q}^n. Our first main theorem is an optimal hitting time result. Consider the random process which includes the edges of Qn\mathcal{Q}^n according to a uniformly chosen random ordering. Then, with high probability, as soon as the graph produced by this process has minimum degree 2k2k, it contains kk edge-disjoint Hamilton cycles, for any fixed k∈Nk\in\mathbb{N}. Secondly, we obtain a perturbation result: if H⊆QnH\subseteq\mathcal{Q}^n satisfies δ(H)≥αnδ(H)\geqαn with α>0α>0 fixed and we consider a random binomial subgraph Qpn\mathcal{Q}^n_p of Qn\mathcal{Q}^n with p∈(0,1]p\in(0,1] fixed, then with high probability H∪QpnH\cup\mathcal{Q}^n_p contains kk edge-disjoint Hamilton cycles, for any fixed k∈Nk\in\mathbb{N}. In particular, both results resolve a long standing conjecture, posed e.g. by Bollobás, that the threshold probability for Hamiltonicity in the random binomial subgraph of the hypercube equals 1/21/2. Our techniques also show that, with high probability, for all fixed p∈(0,1]p\in(0,1] the graph Qpn\mathcal{Q}^n_p contains an almost spanning cycle. Our methods involve branching processes, the Rödl nibble, and absorption.

preprint2022arXiv

Immersion of complete digraphs in Eulerian digraphs

A digraph GG \emph{immerses} a digraph HH if there is an injection f:V(H)→V(G)f : V(H) \to V(G) and a collection of pairwise edge-disjoint directed paths PuvP_{uv}, for uv∈E(H)uv \in E(H), such that PuvP_{uv} starts at uu and ends at vv. We prove that every Eulerian digraph with minimum out-degree tt immerses a complete digraph on Ω(t)Ω(t) vertices, thus answering a question of DeVos, Mcdonald, Mohar, and Scheide.

preprint2021arXiv

Path and cycle decompositions of dense graphs

We make progress on three long standing conjectures from the 1960s about path and cycle decompositions of graphs. Gallai conjectured that any connected graph on nn vertices can be decomposed into at most ⌈n2⌉\left\lceil \frac{n}{2}\right\rceil paths, while a conjecture of Hajós states that any Eulerian graph on nn vertices can be decomposed into at most ⌊n−12⌋\left\lfloor \frac{n-1}{2}\right\rfloor cycles. The Erdős-Gallai conjecture states that any graph on nn vertices can be decomposed into O(n)O(n) cycles and edges. We show that if GG is a sufficiently large graph on nn vertices with linear minimum degree, then the following hold. (i) GG can be decomposed into at most n2+o(n)\frac{n}{2}+o(n) paths. (ii) If GG is Eulerian, then it can be decomposed into at most n2+o(n)\frac{n}{2}+o(n) cycles. (iii) GG can be decomposed into at most 3n2+o(n)\frac{3 n}{2}+o(n) cycles and edges. If in addition GG satisfies a weak expansion property, we asymptotically determine the required number of paths/cycles for each such GG. (iv) GG can be decomposed into max⁡{odd(G)2,Δ(G)2}+o(n)\max \left\{\frac{odd(G)}{2},\frac{Δ(G)}{2}\right\}+o(n) paths, where odd(G)odd(G) is the number of odd-degree vertices of GG. (v) If GG is Eulerian, then it can be decomposed into Δ(G)2+o(n)\frac{Δ(G)}{2}+o(n) cycles. All bounds in (i)-(v) are asymptotically best possible.

preprint2020arXiv

A Canonical Polynomial Van der Waerden's Theorem

We prove a canonical polynomial Van der Waerden's Theorem. More precisely, we show the following. Let {p1(x),…,pk(x)}\{p_1(x),\ldots,p_k(x)\} be a set of polynomials such that pi(x)∈Z[x]p_i(x)\in \mathbb{Z}[x] and pi(0)=0p_i(0)=0, for every i∈{1,…,k}i\in \{1,\ldots,k\}. Then, in any colouring of Z\mathbb{Z}, there exist a,d∈Za,d\in \mathbb{Z} such that {a+p1(d),…,a+pk(d)}\{a+p_1(d),\ldots,a+p_{k}(d)\} forms either a monochromatic or a rainbow set.

preprint2020arXiv

Dirac's theorem for random regular graphs

We prove a `resilience' version of Dirac's theorem in the setting of random regular graphs. More precisely, we show that, whenever dd is sufficiently large compared to ε>0\varepsilon>0, a.a.s. the following holds: let G′G' be any subgraph of the random nn-vertex dd-regular graph Gn,dG_{n,d} with minimum degree at least (1/2+ε)d(1/2+\varepsilon)d. Then G′G' is Hamiltonian. This proves a conjecture of Ben-Shimon, Krivelevich and Sudakov. Our result is best possible: firstly, the condition that dd is large cannot be omitted, and secondly, the minimum degree bound cannot be improved.

preprint2020arXiv

On Covering Numbers, Young Diagrams, and the Local Dimension of Posets

We study covering numbers and local covering numbers with respect to difference graphs and complete bipartite graphs. In particular we show that in every cover of a Young diagram with (2kk)\binom{2k}{k} steps with generalized rectangles there is a row or a column in the diagram that is used by at least k+1k+1 rectangles, and prove that this is best-possible. This answers two questions by Kim, Martin, Masa{ř}{\'ı}k, Shull, Smith, Uzzell, and Wang (Europ. J. Comb. 2020), namely: - What is the local complete bipartite cover number of a difference graph? - Is there a sequence of graphs with constant local difference graph cover number and unbounded local complete bipartite cover number? We add to the study of these local covering numbers with a lower bound construction and some examples. Following Kim \emph{et al.}, we use the results on local covering numbers to provide lower and upper bounds for the local dimension of partially ordered sets of height~2. We discuss the local dimension of some posets related to Boolean lattices and show that the poset induced by the first two layers of the Boolean lattice has local dimension (1+o(1))log⁡2log⁡2n(1 + o(1))\log_2\log_2 n. We conclude with some remarks on covering numbers for digraphs and Ferrers dimension.

preprint2020arXiv

Subgraphs of large connectivity and chromatic number

Resolving a problem raised by Norin, we show that for each k∈Nk \in \mathbb{N}, there exists an f(k)≤7kf(k) \le 7k such that every graph GG with chromatic number at least f(k)+1f(k)+1 contains a subgraph HH with both connectivity and chromatic number at least kk. This result is best-possible up to multiplicative constants, and sharpens earlier results of Alon-Kleitman-Thomassen-Saks-Seymour from 1987 showing that f(k)=O(k3)f(k) = O(k^3), and of Chudnovsky-Penev-Scott-Trotignon from 2013 showing that f(k)=O(k2)f(k) = O(k^2). Our methods are robust enough to handle list colouring as well: we also show that for each k∈Nk \in \mathbb{N}, there exists an fℓ(k)≤4kf_\ell(k) \le 4k such that every graph GG with list chromatic number at least fℓ(k)+1f_\ell(k)+1 contains a subgraph HH with both connectivity and list chromatic number at least kk. This result is again best-possible up to multiplicative constants; here, unlike with f(⋅)f(\cdot), even the existence of fℓ(⋅)f_\ell(\cdot) appears to have been previously unknown.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.