Showing 1–14 of 14 results for author: Škorić, N

Covering cycles in sparse graphs

Authors: Frank Mousset, Nemanja Škorić, Miloš Trujić

Abstract: Let $k \geq 2$ be an integer. Kouider and Lonc proved that the vertex set of every graph $G$ with $n \geq n_0(k)$ vertices and minimum degree at least $n/k$ can be covered by $k - 1$ cycles. Our main result states that for every $α> 0$ and $p = p(n) \in (0, 1]$, the same conclusion holds for graphs $G$ with minimum degree $(1/k + α)np$ that are sparse in the sense that \[ e_G(X,Y) \leq p|X||Y| +… ▽ More Let $k \geq 2$ be an integer. Kouider and Lonc proved that the vertex set of every graph $G$ with $n \geq n_0(k)$ vertices and minimum degree at least $n/k$ can be covered by $k - 1$ cycles. Our main result states that for every $α> 0$ and $p = p(n) \in (0, 1]$, the same conclusion holds for graphs $G$ with minimum degree $(1/k + α)np$ that are sparse in the sense that \[ e_G(X,Y) \leq p|X||Y| + o(np\sqrt{|X||Y|}/\log^3 n) \qquad \forall X,Y\subseteq V(G). \] In particular, this allows us to determine the local resilience of random and pseudorandom graphs with respect to having a vertex cover by a fixed number of cycles. The proof uses a version of the absorbing method in sparse expander graphs. △ Less

Submitted 17 November, 2021; v1 submitted 6 March, 2020; originally announced March 2020.

Comments: 29 pages, 3 figures; published version

Triangle resilience of the square of a Hamilton cycle in random graphs

Authors: Manuela Fischer, Nemanja Škorić, Angelika Steger, Miloš Trujić

Abstract: Since first introduced by Sudakov and Vu in 2008, the study of resilience problems in random graphs received a lot of attention in probabilistic combinatorics. Of particular interest are resilience problems of spanning structures. It is known that for spanning structures which contain many triangles, local resilience cannot prevent an adversary from destroying all copies of the structure by removi… ▽ More Since first introduced by Sudakov and Vu in 2008, the study of resilience problems in random graphs received a lot of attention in probabilistic combinatorics. Of particular interest are resilience problems of spanning structures. It is known that for spanning structures which contain many triangles, local resilience cannot prevent an adversary from destroying all copies of the structure by removing a negligible amount of edges incident to every vertex. In this paper we generalise the notion of local resilience to $H$-resilience and demonstrate its usefulness on the containment problem of the square of a Hamilton cycle. In particular, we show that there exists a constant $C > 0$ such that if $p \geq C\log^3 n/\sqrt{n}$ then w.h.p. in every subgraph $G$ of a random graph $G_{n, p}$ there exists the square of a Hamilton cycle, provided that every vertex of $G$ remains on at least a $(4/9 + o(1))$-fraction of its triangles from $G_{n, p}$. The constant $4/9$ is optimal and the value of $p$ slightly improves on the best-known appearance threshold of such a structure and is optimal up to the logarithmic factor. △ Less

Submitted 17 November, 2021; v1 submitted 20 September, 2018; originally announced September 2018.

Comments: 40 pages, 7 figures; published version

Monochromatic cycle covers in random graphs

Authors: Dániel Korándi, Frank Mousset, Rajko Nenadov, Nemanja Škorić, Benny Sudakov

Abstract: A classic result of Erdős, Gyárfás and Pyber states that for every coloring of the edges of $K_n$ with $r$ colors, there is a cover of its vertex set by at most $f(r) = O(r^2 \log r)$ vertex-disjoint monochromatic cycles. In particular, the minimum number of such covering cycles does not depend on the size of $K_n$ but only on the number of colors. We initiate the study of this phenomena in the ca… ▽ More A classic result of Erdős, Gyárfás and Pyber states that for every coloring of the edges of $K_n$ with $r$ colors, there is a cover of its vertex set by at most $f(r) = O(r^2 \log r)$ vertex-disjoint monochromatic cycles. In particular, the minimum number of such covering cycles does not depend on the size of $K_n$ but only on the number of colors. We initiate the study of this phenomena in the case where $K_n$ is replaced by the random graph $\mathcal G(n,p)$. Given a fixed integer $r$ and $p =p(n) \ge n^{-1/r + \varepsilon}$, we show that with high probability the random graph $G \sim \mathcal G(n,p)$ has the property that for every $r$-coloring of the edges of $G$, there is a collection of $f'(r) = O(r^8 \log r)$ monochromatic cycles covering all the vertices of $G$. Our bound on $p$ is close to optimal in the following sense: if $p\ll (\log n/n)^{1/r}$, then with high probability there are colorings of $G\sim\mathcal G(n,p)$ such that the number of monochromatic cycles needed to cover all vertices of $G$ grows with $n$. △ Less

Submitted 17 July, 2018; v1 submitted 8 December, 2017; originally announced December 2017.

Comments: 24 pages, 1 figure (minor changes, added figure)

Local resilience of an almost spanning $k$-cycle in random graphs

Authors: Nemanja Škorić, Angelika Steger, Miloš Trujić

Abstract: The famous Pósa-Seymour conjecture, confirmed in 1998 by Komlós, Sárközy, and Szemerédi, states that for any $k \geq 2$, every graph on $n$ vertices with minimum degree $kn/(k + 1)$ contains the $k$-th power of a Hamilton cycle. We extend this result to a sparse random setting. We show that for every $k \geq 2$ there exists $C > 0$ such that if $p \geq C(\log n/n)^{1/k}$ then w.h.p. every subgra… ▽ More The famous Pósa-Seymour conjecture, confirmed in 1998 by Komlós, Sárközy, and Szemerédi, states that for any $k \geq 2$, every graph on $n$ vertices with minimum degree $kn/(k + 1)$ contains the $k$-th power of a Hamilton cycle. We extend this result to a sparse random setting. We show that for every $k \geq 2$ there exists $C > 0$ such that if $p \geq C(\log n/n)^{1/k}$ then w.h.p. every subgraph of a random graph $G_{n, p}$ with minimum degree at least $(k/(k + 1) + o(1))np$, contains the $k$-th power of a cycle on at least $(1 - o(1))n$ vertices, improving upon the recent results of Noever and Steger for $k = 2$, as well as Allen et al. for $k \geq 3$. Our result is almost best possible in three ways: for $p \ll n^{-1/k}$ the random graph $G_{n, p}$ w.h.p. does not contain the $k$-th power of any long cycle; there exist subgraphs of $G_{n, p}$ with minimum degree $(k/(k + 1) + o(1))np$ and $Ω(p^{-2})$ vertices not belonging to triangles; there exist subgraphs of $G_{n, p}$ with minimum degree $(k/(k + 1) - o(1))np$ which do not contain the $k$-th power of a cycle on $(1 - o(1))n$ vertices. △ Less

Submitted 30 August, 2018; v1 submitted 12 September, 2017; originally announced September 2017.

Comments: 24 pages; small updates to the paper after anonymous reviewers' reports

Smaller subgraphs of minimum degree k

Authors: Frank Mousset, Andreas Noever, Nemanja Škorić

Abstract: In 1990 Erdős, Faudree, Rousseau and Schelp proved that for $k\geq 2$, every graph with $n\geq k+1$ vertices and $(k-1)(n-k+2)+\binom{k-2}{2}+1$ edges contains a subgraph of minimum degree $k$ on at most $n-\sqrt{n}/\sqrt{6k^3}$ vertices. They conjectured that it is possible to remove at least $ε_k n$ many vertices and remain with a subgraph of minimum degree $k$, for some $ε_k>0$. We make progres… ▽ More In 1990 Erdős, Faudree, Rousseau and Schelp proved that for $k\geq 2$, every graph with $n\geq k+1$ vertices and $(k-1)(n-k+2)+\binom{k-2}{2}+1$ edges contains a subgraph of minimum degree $k$ on at most $n-\sqrt{n}/\sqrt{6k^3}$ vertices. They conjectured that it is possible to remove at least $ε_k n$ many vertices and remain with a subgraph of minimum degree $k$, for some $ε_k>0$. We make progress towards their conjecture by showing that one can remove at least $Ω(n/\log n)$ many vertices. △ Less

Submitted 1 March, 2017; originally announced March 2017.

On Komlós' tiling theorem in random graphs

Authors: Rajko Nenadov, Nemanja Škorić

Abstract: Conlon, Gowers, Samotij, and Schacht showed that for a given graph $H$ and a constant $γ> 0$, there exists $C > 0$ such that if $p \ge Cn^{-1/m_2(H)}$ then asymptotically almost surely every spanning subgraph $G$ of the random graph $\mathcal{G}(n,p)$ with minimum degree at least $δ(G) \ge (1 - 1/χ_{\mathrm{cr}}(H) + γ)np$ contains an $H$-packing that covers all but at most $γn$ vertices. Here,… ▽ More Conlon, Gowers, Samotij, and Schacht showed that for a given graph $H$ and a constant $γ> 0$, there exists $C > 0$ such that if $p \ge Cn^{-1/m_2(H)}$ then asymptotically almost surely every spanning subgraph $G$ of the random graph $\mathcal{G}(n,p)$ with minimum degree at least $δ(G) \ge (1 - 1/χ_{\mathrm{cr}}(H) + γ)np$ contains an $H$-packing that covers all but at most $γn$ vertices. Here, $χ_{\mathrm{cr}}(H)$ denotes the critical chromatic threshold, a parameter introduced by Komlós. We show that this theorem can be bootstraped to obtain an $H$-packing covering all but at most $γ(C/p)^{m_2(H)}$ vertices, which is strictly smaller when $p > C n^{-1/m_2(H)}$. In the case where $H = K_3$ this answers the question of Balogh, Lee, and Samotij. Furthermore, we give an upper bound on the size of an $H$-packing for certain ranges of $p$. △ Less

Submitted 28 November, 2016; originally announced November 2016.

Symmetric and asymmetric Ramsey properties in random hypergraphs

Authors: Luca Gugelmann, Rajko Nenadov, Yury Person, Nemanja Škorić, Angelika Steger, Henning Thomas

Abstract: A celebrated result of Rödl and Ruciński states that for every graph $F$, which is not a forest of stars and paths of length $3$, and fixed number of colours $r\ge 2$ there exist positive constants $c, C$ such that for $p \leq cn^{-1/m_2(F)}$ the probability that every colouring of the edges of the random graph $G(n,p)$ contains a monochromatic copy of $F$ is $o(1)$ (the "0-statement"), while for… ▽ More A celebrated result of Rödl and Ruciński states that for every graph $F$, which is not a forest of stars and paths of length $3$, and fixed number of colours $r\ge 2$ there exist positive constants $c, C$ such that for $p \leq cn^{-1/m_2(F)}$ the probability that every colouring of the edges of the random graph $G(n,p)$ contains a monochromatic copy of $F$ is $o(1)$ (the "0-statement"), while for $p \geq Cn^{-1/m_2(F)}$ it is $1-o(1)$ (the "1-statement"). Here $m_2(F)$ denotes the $2$-density of $F$. On the other hand, the case where $F$ is a forest of stars has a coarse threshold which is determined by the appearance of a certain small subgraph in $G(n, p)$. Recently, the natural extension of the 1-statement of this theorem to $k$-uniform hypergraphs was proved by Conlon and Gowers and, independently, by Friedgut, Rödl and Schacht. In particular, they showed an upper bound of order $n^{-1/m_k(F)}$ for the $1$-statement, where $m_k(F)$ denotes the $k$-density of $F$. Similarly as in the graph case, it is known that the threshold for star-like hypergraphs is given by the appearance of small subgraphs. In this paper we show that another type of thresholds exists if $k \ge 4:$ there are $k$-uniform hypergraphs for which the threshold is determined by the asymmetric Ramsey problem in which a different hypergraph has to be avoided in each colour-class. Along the way we obtain a general bound on the $1$-statement for asymmetric Ramsey properties in random hypergraphs. This extends the work of Kohayakawa and Kreuter, and of Kohayakawa, Schacht and Spöhel who showed a similar result in the graph case. We prove the corresponding 0-statement for hypergraphs satisfying certain balancedness conditions. △ Less

Submitted 4 October, 2016; originally announced October 2016.

A tight Erdős-Pósa function for long cycles

Authors: Frank Mousset, Andreas Noever, Nemanja Škorić, Felix Weissenberger

Abstract: A classic result of Erdős and Pósa says that any graph contains either $k$ vertex-disjoint cycles or can be made acyclic by deleting at most $O(k \log k)$ vertices. Here we generalize this result by showing that for all numbers $k$ and $l$ and for every graph $G$, either $G$ contains $k$ vertex-disjoint cycles of length at least $l$, or there exists a set $X$ of $\mathcal O(kl+k\log k)$ vertices t… ▽ More A classic result of Erdős and Pósa says that any graph contains either $k$ vertex-disjoint cycles or can be made acyclic by deleting at most $O(k \log k)$ vertices. Here we generalize this result by showing that for all numbers $k$ and $l$ and for every graph $G$, either $G$ contains $k$ vertex-disjoint cycles of length at least $l$, or there exists a set $X$ of $\mathcal O(kl+k\log k)$ vertices that meets all cycles of length at least $l$ in $G$. As a corollary, the tree-width of any graph $G$ that does not contain $k$ vertex-disjoint cycles of length at least $l$ is of order $\mathcal O(kl+k\log k)$. These results improve on the work of Birmelé, Bondy and Reed '07 and Fiorini and Herinckx '14 and are optimal up to constant factors. △ Less

Submitted 24 March, 2016; originally announced March 2016.

Powers of Hamilton cycles in random graphs and tight Hamilton cycles in random hypergraphs

Authors: Rajko Nenadov, Nemanja Škorić

Abstract: We show that for every $k \in \mathbb{N}$ there exists $C > 0$ such that if $p^k \ge C \log^8 n / n$ then asymptotically almost surely the random graph $G_{n,p}$ contains the $k$\textsuperscript{th} power of a Hamilton cycle. This determines the threshold for appearance of the square of a Hamilton cycle up to the logarithmic factor, improving a result of Kühn and Osthus. Moreover, our proof provid… ▽ More We show that for every $k \in \mathbb{N}$ there exists $C > 0$ such that if $p^k \ge C \log^8 n / n$ then asymptotically almost surely the random graph $G_{n,p}$ contains the $k$\textsuperscript{th} power of a Hamilton cycle. This determines the threshold for appearance of the square of a Hamilton cycle up to the logarithmic factor, improving a result of Kühn and Osthus. Moreover, our proof provides a randomized quasi-polynomial algorithm for finding such powers of cycles. Using similar ideas, we also give a randomized quasi-polynomial algorithm for finding a tight Hamilton cycle in the random $k$-uniform hypergraph $G_{n,p}^{(k)}$ for $p \ge C \log^8 n/ n$. The proofs are based on the absorbing method and follow the strategy of Kühn and Osthus, and Allen et al. The new ingredient is a general Connecting Lemma which allows us to connect tuples of vertices using arbitrary structures at a nearly optimal value of $p$. Both the Connecting Lemma and its proof, which is based on Janson's inequality and a greedy embedding strategy, might be of independent interest. △ Less

Submitted 15 May, 2017; v1 submitted 15 January, 2016; originally announced January 2016.

Almost-spanning universality in random graphs

Authors: David Conlon, Asaf Ferber, Rajko Nenadov, Nemanja Škorić

Abstract: A graph $G$ is said to be $\mathcal H(n,Δ)$-universal if it contains every graph on $n$ vertices with maximum degree at most $Δ$. It is known that for any $\varepsilon > 0$ and any natural number $Δ$ there exists $c > 0$ such that the random graph $G(n,p)$ is asymptotically almost surely $\mathcal H((1-\varepsilon)n,Δ)$-universal for $p \geq c (\log n/n)^{1/Δ}$. Bypassing this natural boundary, we… ▽ More A graph $G$ is said to be $\mathcal H(n,Δ)$-universal if it contains every graph on $n$ vertices with maximum degree at most $Δ$. It is known that for any $\varepsilon > 0$ and any natural number $Δ$ there exists $c > 0$ such that the random graph $G(n,p)$ is asymptotically almost surely $\mathcal H((1-\varepsilon)n,Δ)$-universal for $p \geq c (\log n/n)^{1/Δ}$. Bypassing this natural boundary, we show that for $Δ\geq 3$ the same conclusion holds when $p = ω\left(n^{-\frac{1}{Δ-1}}\log^5 n\right)$. △ Less

Submitted 1 February, 2016; v1 submitted 18 March, 2015; originally announced March 2015.

Robust hamiltonicity of random directed graphs

Authors: Asaf Ferber, Rajko Nenadov, Andreas Noever, Ueli Peter, Nemanja Škorić

Abstract: In his seminal paper from 1952 Dirac showed that the complete graph on $n\geq 3$ vertices remains Hamiltonian even if we allow an adversary to remove $\lfloor n/2\rfloor$ edges touching each vertex. In 1960 Ghouila-Houri obtained an analogue statement for digraphs by showing that every directed graph on $n\geq 3$ vertices with minimum in- and out-degree at least $n/2$ contains a directed Hamilton… ▽ More In his seminal paper from 1952 Dirac showed that the complete graph on $n\geq 3$ vertices remains Hamiltonian even if we allow an adversary to remove $\lfloor n/2\rfloor$ edges touching each vertex. In 1960 Ghouila-Houri obtained an analogue statement for digraphs by showing that every directed graph on $n\geq 3$ vertices with minimum in- and out-degree at least $n/2$ contains a directed Hamilton cycle. Both statements quantify the robustness of complete graphs (digraphs) with respect to the property of containing a Hamilton cycle. A natural way to generalize such results to arbitrary graphs (digraphs) is using the notion of \emph{local resilience}. The local resilience of a graph (digraph) $G$ with respect to a property $\mathcal{P}$ is the maximum number $r$ such that $G$ has the property $\mathcal{P}$ even if we allow an adversary to remove an $r$-fraction of (in- and out-going) edges touching each vertex. The theorems of Dirac and Ghouila-Houri state that the local resilience of the complete graph and digraph with respect to Hamiltonicity is $1/2$. Recently, this statements have been generalized to random settings. Lee and Sudakov (2012) proved that the local resilience of a random graph with edge probability $p=ω(\log n /n)$ with respect to Hamiltonicity is $1/2\pm o(1)$. For random directed graphs, Hefetz, Steger and Sudakov (2014+) proved an analogue statement, but only for edge probability $p=ω(\log n/\sqrt{n})$. In this paper we significantly improve their result to $p=ω(\log^8 n/ n)$, which is optimal up to the polylogarithmic factor. △ Less

Submitted 8 October, 2014; originally announced October 2014.

An algorithmic framework for obtaining lower bounds for random Ramsey problems

Authors: Rajko Nenadov, Yury Person, Nemanja Škorić, Angelika Steger

Abstract: In this paper we introduce a general framework for proving lower bounds for various Ramsey type problems within random settings. The main idea is to view the problem from an algorithmic perspective: we aim at providing an algorithm that finds the desired colouring with high probability. Our framework allows to reduce the probabilistic problem of whether the Ramsey property at hand holds for random… ▽ More In this paper we introduce a general framework for proving lower bounds for various Ramsey type problems within random settings. The main idea is to view the problem from an algorithmic perspective: we aim at providing an algorithm that finds the desired colouring with high probability. Our framework allows to reduce the probabilistic problem of whether the Ramsey property at hand holds for random (hyper)graphs with edge probability $p$ to a deterministic question of whether there exists a finite graph that forms an obstruction. In the second part of the paper we apply this framework to address and solve various open problems. In particular, we extend the result of Bohman, Frieze, Pikhurko and Smyth (2010) for bounded anti-Ramsey problems in random graphs to the case of $2$ colors and to hypergraph cliques. As a corollary, this proves a matching lower bound for the result of Friedgut, Rödl and Schacht (2010) and, independently, Conlon and Gowers (2014+) for the classical Ramsey problem for hypergraphs in the case of cliques. Finally, we provide matching lower bounds for a proper-colouring version of anti-Ramsey problems introduced by Kohayakawa, Konstadinidis and Mota~(2014) in the case of cliques and cycles. △ Less

Submitted 22 August, 2014; originally announced August 2014.

Finite irreflexive homomorphism-homogeneous binary relational systems

Authors: Dragan Mašulović, Rajko Nenadov, Nemanja Škorić

Abstract: A structure is called homogeneous if every isomorphism between finite substructures of the structure extends to an automorphism of the structure. Recently, P. J. Cameron and J. Nešetřil introduced a relaxed version of homogeneity: we say that a structure is homomorphism-homogeneous if every homomorphism between finite substructures of the structure extends to an endomorphism of the structure. In… ▽ More A structure is called homogeneous if every isomorphism between finite substructures of the structure extends to an automorphism of the structure. Recently, P. J. Cameron and J. Nešetřil introduced a relaxed version of homogeneity: we say that a structure is homomorphism-homogeneous if every homomorphism between finite substructures of the structure extends to an endomorphism of the structure. In this paper we characterize all finite homomorphism-homogeneous relational systems with one irreflexive binary relation. △ Less

Submitted 4 January, 2010; originally announced January 2010.

Comments: Submitted to NSJOM (Novi Sad Journal of Mathematics)

MSC Class: 05C20

On finite reflexive homomorphism-homogeneous binary relational systems

Authors: Dragan Mašulović, Rajko Nenadov, Nemanja Škorić

Abstract: A structure is called homogeneous if every isomorphism between finitely induced substructures of the structure extends to an automorphism of the structure. Recently, P. J. Cameron and J. Nešetřil introduced a relaxed version of homogeneity: we say that a structure is homomorphism-homogeneous if every homomorphism between finitely induced substructures of the structure extends to an endomorphism… ▽ More A structure is called homogeneous if every isomorphism between finitely induced substructures of the structure extends to an automorphism of the structure. Recently, P. J. Cameron and J. Nešetřil introduced a relaxed version of homogeneity: we say that a structure is homomorphism-homogeneous if every homomorphism between finitely induced substructures of the structure extends to an endomorphism of the structure. In this paper we consider finite homomorphism-homogeneous relational systems with one reflexive binary relation. We show that for a large part of such relational systems (bidirectionally connected digraphs; a digraph is bidirectionally connected if each of its connected components can be traversed by $\rightleftarrows$-paths) the problem of deciding whether the system is homomorphism-homogeneous is coNP-complete. Consequently, for this class of relational systems we cannot hope for a description involving a catalogue, where by a catalogue we understand a finite list of polynomially decidable classes of structures. On the other hand, in case of bidirectionally disconnected digraphs we present the full characterization. Our main result states that if a digraph is bidirectionally disconnected, then it is homomorphism-homogeneous if and only if it is either a finite homomorphism-homogeneous quasiorder, or an inflation of a homomorphism-homogeneous digraph with involution (a peculiar class of digraphs introduced later in the paper), or an inflation of a digraph whose only connected components are $C_3^\circ$ and $\1^\circ$. △ Less

Submitted 25 December, 2009; originally announced December 2009.

Comments: Submited to Discrete Mathematics

MSC Class: 05C20