Showing 1–9 of 9 results for author: Freschi, A

Ramsey-type problems for tilings in dense graphs

Authors: József Balogh, Andrea Freschi, Andrew Treglown

Abstract: Given a graph $H$, the Ramsey number $R(H)$ is the smallest positive integer $n$ such that every $2$-edge-colouring of $K_n$ yields a monochromatic copy of $H$. We write $mH$ to denote the union of $m$ vertex-disjoint copies of $H$. The members of the family $\{mH:m\ge1\}$ are also known as $H$-tilings. A well-known result of Burr, Erdős and Spencer states that $R(mK_3)=5m$ for every $m\ge2$. On t… ▽ More Given a graph $H$, the Ramsey number $R(H)$ is the smallest positive integer $n$ such that every $2$-edge-colouring of $K_n$ yields a monochromatic copy of $H$. We write $mH$ to denote the union of $m$ vertex-disjoint copies of $H$. The members of the family $\{mH:m\ge1\}$ are also known as $H$-tilings. A well-known result of Burr, Erdős and Spencer states that $R(mK_3)=5m$ for every $m\ge2$. On the other hand, Moon proved that every $2$-edge-colouring of $K_{3m+2}$ yields a $K_3$-tiling consisting of $m$ monochromatic copies of $K_3$, for every $m\ge2$. Crucially, in Moon's result, distinct copies of $K_3$ might receive different colours. In this paper, we investigate the analogous questions where the complete host graph is replaced by a graph of large minimum degree. We determine the (asymptotic) minimum degree threshold for forcing a $K_3$-tiling covering a prescribed proportion of the vertices in a $2$-edge-coloured graph such that every copy of $K_3$ in the tiling is monochromatic. We also determine the largest size of a monochromatic $K_3$-tiling one can guarantee in any $2$-edge-coloured graph of large minimum degree. These results therefore provide dense generalisations of the theorems of Moon and Burr-Erdős-Spencer. It is also natural to consider generalisations of these problems to $r$-edge-colourings (for $r \geq 2$) and for $H$-tilings (for arbitrary graphs $H$). We prove some results in this direction and propose several open questions. △ Less

Submitted 19 February, 2025; originally announced February 2025.

Comments: 19 pages

A note on improved bounds for hypergraph rainbow matching problems

Authors: Candida Bowtell, Andrea Freschi, Gal Kronenberg, Jun Yan

Abstract: A natural question, inspired by the famous Ryser-Brualdi-Stein Conjecture, is to determine the largest positive integer $g(r,n)$ such that every collection of $n$ matchings, each of size $n$, in an $r$-partite $r$-uniform hypergraph contains a rainbow matching of size $g(r,n)$. The parameter $g'(r,n)$ is defined identically with the exception that the host hypergraph is not required to be $r$-part… ▽ More A natural question, inspired by the famous Ryser-Brualdi-Stein Conjecture, is to determine the largest positive integer $g(r,n)$ such that every collection of $n$ matchings, each of size $n$, in an $r$-partite $r$-uniform hypergraph contains a rainbow matching of size $g(r,n)$. The parameter $g'(r,n)$ is defined identically with the exception that the host hypergraph is not required to be $r$-partite. In this note, we improve the best known lower bounds on $g'(r,n)$ for all $r \geq 4$ and the upper bounds on $g(r,n)$ for all $r \geq 3$, provided $n$ is sufficiently large. More precisely, we show that if $r\ge3$ then $$\frac{2n}{r+1}-Θ_r(1)\le g'(r,n)\le g(r,n)\le n-Θ_r(n^{1-\frac{1}{r}}).$$ Interestingly, while it has been conjectured that $g(2,n)=g'(2,n)=n-1$, our results show that if $r\ge3$ then $g(r,n)$ and $g'(r,n)$ are bounded away from $n$ by a function which grows in $n$. We also prove analogous bounds for the related problem where we are interested in the smallest size $s$ for which any collection of $n$ matchings of size $s$ in an ($r$-partite) $r$-uniform hypergraph contains a rainbow matching of size $n$. △ Less

Submitted 6 January, 2025; originally announced January 2025.

Typical Ramsey properties of the primes, abelian groups and other discrete structures

Authors: Andrea Freschi, Robert Hancock, Andrew Treglown

Abstract: Given a matrix $A$ with integer entries, a subset $S$ of an abelian group and $r \in \mathbb N$, we say that $S$ is $(A,r)$-Rado if any $r$-colouring of $S$ yields a monochromatic solution to the system of equations $Ax=0$. A classical result of Rado characterises all those matrices $A$ such that $\mathbb N$ is $(A,r)$-Rado for all $r \in \mathbb N$. Rödl and Ruciński and Friedgut, Rödl and Schach… ▽ More Given a matrix $A$ with integer entries, a subset $S$ of an abelian group and $r \in \mathbb N$, we say that $S$ is $(A,r)$-Rado if any $r$-colouring of $S$ yields a monochromatic solution to the system of equations $Ax=0$. A classical result of Rado characterises all those matrices $A$ such that $\mathbb N$ is $(A,r)$-Rado for all $r \in \mathbb N$. Rödl and Ruciński and Friedgut, Rödl and Schacht proved a random version of Rado's theorem where one considers a random subset of $[n]:=\{1,\dots,n\}$ instead of $\mathbb N$. In this paper, we investigate the analogous random Ramsey problem in the more general setting of abelian groups. Given a sequence $(S_n)_{n\in\mathbb N}$ of finite subsets of abelian groups, let $S_{n,p}$ be a random subset of $S_n$ obtained by including each element of $S_n$ independently with probability $p$. We are interested in determining the probability threshold $\hat p:=\hat p(n)$ such that $$\lim _{n \rightarrow \infty} \mathbb P [ S_{n,p} \text{ is } (A,r)\text{-Rado}]= \begin{cases} 0 &\text{ if } p=o(\hat p); \\ 1 &\text{ if } p=ω(\hat p). \end{cases}$$ Our main result, which we coin the random Rado lemma, is a general black box to tackle problems of this type. Using this tool in conjunction with a series of supersaturation results, we determine the probability threshold for a number of different cases. A consequence of the Green-Tao theorem is the van der Waerden theorem for the primes: every finite colouring of the primes contains arbitrarily long monochromatic arithmetic progressions. Using our machinery, we obtain a random version of this result. We also prove a novel supersaturation result for $S_n:=[n]^d$ and use it to prove an integer lattice generalisation of the random version of Rado's theorem. Various threshold results for abelian groups are also given. △ Less

Submitted 10 February, 2025; v1 submitted 29 May, 2024; originally announced May 2024.

Comments: 59 pages, 1 figure. Updated to include Theorem 4.4

The asymptotic behaviour of $sat(n,\mathcal{F})$

Authors: Asier Calbet, Andrea Freschi

Abstract: For a family $\mathcal{F}$ of graphs, $sat(n,\mathcal{F})$ is the minimum number of edges in a graph $G$ on $n$ vertices which does not contain any of the graphs in $\mathcal{F}$ but such that adding any new edge to $G$ creates a graph in $\mathcal{F}$. For singleton families $\mathcal{F}$, Tuza conjectured that $sat(n,\mathcal{F})/n$ converges and Truszczynski and Tuza discovered that either… ▽ More For a family $\mathcal{F}$ of graphs, $sat(n,\mathcal{F})$ is the minimum number of edges in a graph $G$ on $n$ vertices which does not contain any of the graphs in $\mathcal{F}$ but such that adding any new edge to $G$ creates a graph in $\mathcal{F}$. For singleton families $\mathcal{F}$, Tuza conjectured that $sat(n,\mathcal{F})/n$ converges and Truszczynski and Tuza discovered that either $sat(n,\mathcal{F})= \left(1-1/r\right)n+o(n)$ for some integer $r \geq 1$ or $ sat(n,\mathcal{F}) \geq n+o(n) $. This is often cited in the literature as the main progress towards proving Tuza's Conjecture. Unfortunately, the proof is flawed. We give a correct proof, which requires a novel construction. Moreover, for finite families $\mathcal{F}$, we completely determine the possible asymptotic behaviours of $sat(n,\mathcal{F})$ in the sparse regime $sat(n,\mathcal{F}) \leq n+o(n)$. Finally, we essentially determine which sequences of integers are of the form $\left(sat(n,\mathcal{F})\right)_{n \geq 0}$ for some (possibly infinite) family $\mathcal{F}$. △ Less

Submitted 19 January, 2024; originally announced January 2024.

Comments: 22 pages, 15 figures

MSC Class: 05C35

An oriented discrepancy version of Dirac's theorem

Authors: Andrea Freschi, Allan Lo

Abstract: The study of graph discrepancy problems, initiated by Erdős in the 1960s, has received renewed attention in recent years. In general, given a $2$-edge-coloured graph $G$, one is interested in embedding a copy of a graph $H$ in $G$ with large discrepancy (i.e. the copy of $H$ contains significantly more than half of its edges in one colour). Motivated by this line of research, Gishboliner, Krivelev… ▽ More The study of graph discrepancy problems, initiated by Erdős in the 1960s, has received renewed attention in recent years. In general, given a $2$-edge-coloured graph $G$, one is interested in embedding a copy of a graph $H$ in $G$ with large discrepancy (i.e. the copy of $H$ contains significantly more than half of its edges in one colour). Motivated by this line of research, Gishboliner, Krivelevich and Michaeli considered an oriented version of graph discrepancy for Hamilton cycles. In particular, they conjectured the following generalization of Dirac's theorem: if $G$ is an oriented graph on $n\geq3$ vertices with $δ(G)\geq n/2$, then $G$ contains a Hamilton cycle with at least $δ(G)$ edges pointing forward. In this paper, we present a full resolution to this conjecture. △ Less

Submitted 27 June, 2024; v1 submitted 13 November, 2022; originally announced November 2022.

Comments: 11 pages, 1 figure

MSC Class: 05C45 (Primary) 05C20; 05C07; 05C38 (Secondary)

The induced saturation problem for posets

Authors: Andrea Freschi, Simón Piga, Maryam Sharifzadeh, Andrew Treglown

Abstract: For a fixed poset $P$, a family $\mathcal F$ of subsets of $[n]$ is induced $P$-saturated if $\mathcal F$ does not contain an induced copy of $P$, but for every subset $S$ of $[n]$ such that $ S\not \in \mathcal F$, $P$ is an induced subposet of $\mathcal F \cup \{S\}$. The size of the smallest such family $\mathcal F$ is denoted by $\text{sat}^* (n,P)$. Keszegh, Lemons, Martin, Pálvölgyi and Patk… ▽ More For a fixed poset $P$, a family $\mathcal F$ of subsets of $[n]$ is induced $P$-saturated if $\mathcal F$ does not contain an induced copy of $P$, but for every subset $S$ of $[n]$ such that $ S\not \in \mathcal F$, $P$ is an induced subposet of $\mathcal F \cup \{S\}$. The size of the smallest such family $\mathcal F$ is denoted by $\text{sat}^* (n,P)$. Keszegh, Lemons, Martin, Pálvölgyi and Patkós [Journal of Combinatorial Theory Series A, 2021] proved that there is a dichotomy of behaviour for this parameter: given any poset $P$, either $\text{sat}^* (n,P)=O(1)$ or $\text{sat}^* (n,P)\geq \log _2 n$. In this paper we improve this general result showing that either $\text{sat}^* (n,P)=O(1)$ or $\text{sat}^* (n,P) \geq \min\{ 2 \sqrt{n}, n/2+1\}$. Our proof makes use of a Turán-type result for digraphs. Curiously, it remains open as to whether our result is essentially best possible or not. On the one hand, a conjecture of Ivan states that for the so-called diamond poset $\Diamond$ we have $\text{sat}^* (n,\Diamond)=Θ(\sqrt{n})$; so if true this conjecture implies our result is tight up to a multiplicative constant. On the other hand, a conjecture of Keszegh, Lemons, Martin, Pálvölgyi and Patkós states that given any poset $P$, either $\text{sat}^* (n,P)=O(1)$ or $\text{sat}^* (n,P)\geq n+1$. We prove that this latter conjecture is true for a certain class of posets $P$. △ Less

Submitted 4 December, 2023; v1 submitted 8 July, 2022; originally announced July 2022.

Comments: 12 pages, author accepted manuscript. To appear in Combinatorial Theory. Statement of main result very slightly improved

MSC Class: 06A07; 05D05

Dirac-type results for tilings and coverings in ordered graphs

Authors: Andrea Freschi, Andrew Treglown

Abstract: A recent paper of Balogh, Li and Treglown initiated the study of Dirac-type problems for ordered graphs. In this paper we prove a number of results in this area. In particular, we determine asymptotically the minimum degree threshold for forcing (i) a perfect $H$-tiling in an ordered graph, for any fixed ordered graph $H$ of interval chromatic number at least $3$; (ii) an $H$-tiling in an orde… ▽ More A recent paper of Balogh, Li and Treglown initiated the study of Dirac-type problems for ordered graphs. In this paper we prove a number of results in this area. In particular, we determine asymptotically the minimum degree threshold for forcing (i) a perfect $H$-tiling in an ordered graph, for any fixed ordered graph $H$ of interval chromatic number at least $3$; (ii) an $H$-tiling in an ordered graph $G$ covering a fixed proportion of the vertices of $G$ (for any fixed ordered graph $H$); (iii) an $H$-cover in an ordered graph (for any fixed ordered graph $H$). The first two of these results resolve questions of Balogh, Li and Treglown whilst (iii) resolves a question of Falgas-Ravry. Note that (i) combined with a result of Balogh, Li and Treglown completely determines the asymptotic minimum degree threshold for forcing a perfect $H$-tiling. Additionally, we prove a result that combined with a theorem of Balogh, Li and Treglown, asymptotically determines the minimum degree threshold for forcing an almost perfect $H$-tiling in an ordered graph (for any fixed ordered graph $H$). Our work therefore provides ordered graph analogues of the seminal tiling theorems of Kühn and Osthus [Combinatorica 2009] and of Komlós [Combinatorica 2000]. Each of our results exhibits some curious, and perhaps unexpected, behaviour. Our solution to (i) makes use of a novel absorbing argument. △ Less

Submitted 17 October, 2022; v1 submitted 6 December, 2021; originally announced December 2021.

Comments: 45 pages, 3 figures. To appear in Forum of Mathematics, Sigma

On deficiency problems for graphs

Authors: Andrea Freschi, Joseph Hyde, Andrew Treglown

Abstract: Motivated by analogous questions in the setting of Steiner triple systems and Latin squares, Nenadov, Sudakov and Wagner [Completion and deficiency problems, Journal of Combinatorial Theory Series B, 2020] recently introduced the notion of graph deficiency. Given a global spanning property $\mathcal P$ and a graph $G$, the deficiency $\text{def}(G)$ of the graph $G$ with respect to the property… ▽ More Motivated by analogous questions in the setting of Steiner triple systems and Latin squares, Nenadov, Sudakov and Wagner [Completion and deficiency problems, Journal of Combinatorial Theory Series B, 2020] recently introduced the notion of graph deficiency. Given a global spanning property $\mathcal P$ and a graph $G$, the deficiency $\text{def}(G)$ of the graph $G$ with respect to the property $\mathcal P$ is the smallest non-negative integer $t$ such that the join $G*K_t$ has property $\mathcal P$. In particular, Nenadov, Sudakov and Wagner raised the question of determining how many edges an $n$-vertex graph $G$ needs to ensure $G*K_t$ contains a $K_r$-factor (for any fixed $r\geq 3$). In this paper we resolve their problem fully. We also give an analogous result which forces $G*K_t$ to contain any fixed bipartite $(n+t)$-vertex graph of bounded degree and small bandwidth. △ Less

Submitted 15 August, 2021; v1 submitted 8 February, 2021; originally announced February 2021.

Comments: 12 pages, author accepted manuscript, to appear in Combinatorics, Probability and Computing

A note on colour-bias Hamilton cycles in dense graphs

Authors: Andrea Freschi, Joseph Hyde, Joanna Lada, Andrew Treglown

Abstract: Balogh, Csaba, Jing and Pluhár recently determined the minimum degree threshold that ensures a $2$-coloured graph $G$ contains a Hamilton cycle of significant colour bias (i.e., a Hamilton cycle that contains significantly more than half of its edges in one colour). In this short note we extend this result, determining the corresponding threshold for $r$-colourings. Balogh, Csaba, Jing and Pluhár recently determined the minimum degree threshold that ensures a $2$-coloured graph $G$ contains a Hamilton cycle of significant colour bias (i.e., a Hamilton cycle that contains significantly more than half of its edges in one colour). In this short note we extend this result, determining the corresponding threshold for $r$-colourings. △ Less

Submitted 4 March, 2021; v1 submitted 8 November, 2020; originally announced November 2020.

Comments: 6 pages, 2 figures. Author accepted manuscript, to appear in the SIAM Journal on Discrete Mathematics