Showing 1–19 of 19 results for author: Korándi, D

Saturation in Random Hypergraphs

Authors: Sahar Diskin, Ilay Hoshen, Dániel Korándi, Benny Sudakov, Maksim Zhukovskii

Abstract: Let $K^r_n$ be the complete $r$-uniform hypergraph on $n$ vertices, that is, the hypergraph whose vertex set is $[n]:=\{1,2,...,n\}$ and whose edge set is $\binom{[n]}{r}$. We form $G^r(n,p)$ by retaining each edge of $K^r_n$ independently with probability $p$. An $r$-uniform hypergraph $H\subseteq G$ is $F$-saturated if $H$ does not contain any copy of $F$, but any missing edge of $H$ in $G$ cr… ▽ More Let $K^r_n$ be the complete $r$-uniform hypergraph on $n$ vertices, that is, the hypergraph whose vertex set is $[n]:=\{1,2,...,n\}$ and whose edge set is $\binom{[n]}{r}$. We form $G^r(n,p)$ by retaining each edge of $K^r_n$ independently with probability $p$. An $r$-uniform hypergraph $H\subseteq G$ is $F$-saturated if $H$ does not contain any copy of $F$, but any missing edge of $H$ in $G$ creates a copy of $F$. Furthermore, we say that $H$ is weakly $F$-saturated in $G$ if $H$ does not contain any copy of $F$, but the missing edges of $H$ in $G$ can be added back one-by-one, in some order, such that every edge creates a new copy of $F$. The smallest number of edges in an $F$-saturated hypergraph in $G$ is denoted by $sat(G,F)$, and in a weakly $F$-saturated hypergraph in $G$ by $wsat(G,F)$. In 2017, Korándi and Sudakov initiated the study of saturation in random graphs, showing that for constant $p$, with high probability $sat(G(n,p),K_s)=(1+o(1))n\log_{\frac{1}{1-p}}n$, and $wsat(G(n,p),K_s)=wsat(K_n,K_s)$. Generalising their results, in this paper, we solve the suturation problem for random hypergraphs for every $2\le r < s$ and constant $p$. △ Less

Submitted 5 May, 2024; originally announced May 2024.

Decomposing random permutations into order-isomorphic subpermutations

Authors: Carla Groenland, Tom Johnston, Dániel Korándi, Alexander Roberts, Alex Scott, Jane Tan

Abstract: Two permutations $s$ and $t$ are $k$-similar if they can be decomposed into subpermutations $s^1, \ldots, s^k$ and $t^1, \ldots, t^k$ such that $s^i$ is order-isomorphic to $t^i$ for all $i$. Recently, Dudek, Grytczuk and Ruciński posed the problem of determining the minimum $k$ for which two permutations chosen independently and uniformly at random are $k$-similar. We show that two such permutati… ▽ More Two permutations $s$ and $t$ are $k$-similar if they can be decomposed into subpermutations $s^1, \ldots, s^k$ and $t^1, \ldots, t^k$ such that $s^i$ is order-isomorphic to $t^i$ for all $i$. Recently, Dudek, Grytczuk and Ruciński posed the problem of determining the minimum $k$ for which two permutations chosen independently and uniformly at random are $k$-similar. We show that two such permutations are $O(n^{1/3}\log^{11/6}(n))$-similar with high probability, which is tight up to a polylogarithmic factor. Our result also generalises to simultaneous decompositions of multiple permutations. △ Less

Submitted 22 January, 2023; v1 submitted 22 February, 2022; originally announced February 2022.

Comments: 11 pages, 2 figures

Powers of paths and cycles in tournaments

Authors: António Girão, Dániel Korándi, Alex Scott

Abstract: We show that for every positive integer $k$, any tournament can be partitioned into at most $2^{ck}$ $k$-th powers of paths. This result is tight up to the exponential constant. Moreover, we prove that for every $\varepsilon>0$ and every integer $k$, any tournament on $n\ge \varepsilon^{-Ck}$ vertices which is $\varepsilon$-far from being transitive contains the $k$-th power of a cycle of length… ▽ More We show that for every positive integer $k$, any tournament can be partitioned into at most $2^{ck}$ $k$-th powers of paths. This result is tight up to the exponential constant. Moreover, we prove that for every $\varepsilon>0$ and every integer $k$, any tournament on $n\ge \varepsilon^{-Ck}$ vertices which is $\varepsilon$-far from being transitive contains the $k$-th power of a cycle of length $Ω(\varepsilon n)$; both bounds are tight up to the implied constants. △ Less

Submitted 26 May, 2021; originally announced May 2021.

Comments: 17 pages

Powers of paths in tournaments

Authors: Nemanja Draganić, François Dross, Jacob Fox, António Girão, Frédéric Havet, Dániel Korándi, William Lochet, David Munhá Correia, Alex Scott, Benny Sudakov

Abstract: In this short note we prove that every tournament contains the $k$-th power of a directed path of linear length. This improves upon recent results of Yuster and of Girão. We also give a complete solution for this problem when $k=2$, showing that there is always a square of a directed path of length $\lceil 2n/3 \rceil-1$, which is best possible. In this short note we prove that every tournament contains the $k$-th power of a directed path of linear length. This improves upon recent results of Yuster and of Girão. We also give a complete solution for this problem when $k=2$, showing that there is always a square of a directed path of length $\lceil 2n/3 \rceil-1$, which is best possible. △ Less

Submitted 16 February, 2021; v1 submitted 12 October, 2020; originally announced October 2020.

Comments: 6 pages; updated affiliations; accepted at CPC

Exact stability for Turán's Theorem

Authors: Dániel Korándi, Alexander Roberts, Alex Scott

Abstract: Turán's Theorem says that an extremal $K_{r+1}$-free graph is $r$-partite. The Stability Theorem of Erdős and Simonovits shows that if a $K_{r+1}$-free graph with $n$ vertices has close to the maximal $t_r(n)$ edges, then it is close to being $r$-partite. In this paper we determine exactly the $K_{r+1}$-free graphs with at least $m$ edges that are farthest from being $r$-partite, for any… ▽ More Turán's Theorem says that an extremal $K_{r+1}$-free graph is $r$-partite. The Stability Theorem of Erdős and Simonovits shows that if a $K_{r+1}$-free graph with $n$ vertices has close to the maximal $t_r(n)$ edges, then it is close to being $r$-partite. In this paper we determine exactly the $K_{r+1}$-free graphs with at least $m$ edges that are farthest from being $r$-partite, for any $m\ge t_r(n) - δ_r n^2$. This extends work by Erdős, Győri and Simonovits, and proves a conjecture of Balogh, Clemen, Lavrov, Lidický and Pfender. △ Less

Submitted 26 December, 2021; v1 submitted 22 April, 2020; originally announced April 2020.

Comments: 17 pages, 2 figures

Journal ref: Advances in Combinatorics, 2021:9, 17pp

Large homogeneous submatrices

Authors: Dániel Korándi, János Pach, István Tomon

Abstract: A matrix is homogeneous if all of its entries are equal. Let $P$ be a $2\times 2$ zero-one matrix that is not homogeneous. We prove that if an $n\times n$ zero-one matrix $A$ does not contain $P$ as a submatrix, then $A$ has an $cn\times cn$ homogeneous submatrix for a suitable constant $c>0$. We further provide an almost complete characterization of the matrices $P$ (missing only finitely many ca… ▽ More A matrix is homogeneous if all of its entries are equal. Let $P$ be a $2\times 2$ zero-one matrix that is not homogeneous. We prove that if an $n\times n$ zero-one matrix $A$ does not contain $P$ as a submatrix, then $A$ has an $cn\times cn$ homogeneous submatrix for a suitable constant $c>0$. We further provide an almost complete characterization of the matrices $P$ (missing only finitely many cases) such that forbidding $P$ in $A$ guarantees an $n^{1-o(1)}\times n^{1-o(1)}$ homogeneous submatrix. We apply our results to chordal bipartite graphs, totally balanced matrices, halfplane-arrangements and string graphs. △ Less

Submitted 12 October, 2020; v1 submitted 15 March, 2019; originally announced March 2019.

Comments: 21 pages, 2 figures. Revised version, a tabular overview of results added at the end

Minimum degree conditions for monochromatic cycle partitioning

Authors: Dániel Korándi, Richard Lang, Shoham Letzter, Alexey Pokrovskiy

Abstract: A classical result of Erdős, Gyárfás and Pyber states that any $r$-edge-coloured complete graph has a partition into $O(r^2 \log r)$ monochromatic cycles. Here we determine the minimum degree threshold for this property. More precisely, we show that there exists a constant $c$ such that any $r$-edge-coloured graph on $n$ vertices with minimum degree at least $n/2 + c \cdot r \log n$ has a partitio… ▽ More A classical result of Erdős, Gyárfás and Pyber states that any $r$-edge-coloured complete graph has a partition into $O(r^2 \log r)$ monochromatic cycles. Here we determine the minimum degree threshold for this property. More precisely, we show that there exists a constant $c$ such that any $r$-edge-coloured graph on $n$ vertices with minimum degree at least $n/2 + c \cdot r \log n$ has a partition into $O(r^2)$ monochromatic cycles. We also provide constructions showing that the minimum degree condition and the number of cycles are essentially tight. △ Less

Submitted 5 August, 2020; v1 submitted 15 February, 2019; originally announced February 2019.

Comments: 22 pages (26 including appendix)

Covering graphs by monochromatic trees and Helly-type results for hypergraphs

Authors: Matija Bucić, Dániel Korándi, Benny Sudakov

Abstract: How many monochromatic paths, cycles or general trees does one need to cover all vertices of a given $r$-edge-coloured graph $G$? These problems were introduced in the 1960s and were intensively studied by various researchers over the last 50 years. In this paper, we establish a connection between this problem and the following natural Helly-type question in hypergraphs. Roughly speaking, this que… ▽ More How many monochromatic paths, cycles or general trees does one need to cover all vertices of a given $r$-edge-coloured graph $G$? These problems were introduced in the 1960s and were intensively studied by various researchers over the last 50 years. In this paper, we establish a connection between this problem and the following natural Helly-type question in hypergraphs. Roughly speaking, this question asks for the maximum number of vertices needed to cover all the edges of a hypergraph $H$ if it is known that any collection of a few edges of $H$ has a small cover. We obtain quite accurate bounds for the hypergraph problem and use them to give some unexpected answers to several questions about covering graphs by monochromatic trees raised and studied by Bal and DeBiasio, Kohayakawa, Mota and Schacht, Lang and Lo, and Girão, Letzter and Sahasrabudhe. △ Less

Submitted 4 August, 2020; v1 submitted 13 February, 2019; originally announced February 2019.

Comments: 20 pages including references plus 2 pages of an Appendix

Improved Ramsey-type results for comparability graphs

Authors: Dániel Korándi, István Tomon

Abstract: Several discrete geometry problems are equivalent to estimating the size of the largest homogeneous sets in graphs that happen to be the union of few comparability graphs. An important observation for such results is that if $G$ is an $n$-vertex graph that is the union of $r$ comparability (or more generally, perfect) graphs, then either $G$ or its complement contains a clique of size… ▽ More Several discrete geometry problems are equivalent to estimating the size of the largest homogeneous sets in graphs that happen to be the union of few comparability graphs. An important observation for such results is that if $G$ is an $n$-vertex graph that is the union of $r$ comparability (or more generally, perfect) graphs, then either $G$ or its complement contains a clique of size $n^{1/(r+1)}$. This bound is known to be tight for $r=1$. The question whether it is optimal for $r\ge 2$ was studied by Dumitrescu and Tóth. We prove that it is essentially best possible for $r=2$, as well: we introduce a probabilistic construction of two comparability graphs on $n$ vertices, whose union contains no clique or independent set of size $n^{1/3+o(1)}$. Using similar ideas, we can also construct a graph $G$ that is the union of $r$ comparability graphs, and neither $G$, nor its complement contains a complete bipartite graph with parts of size $\frac{cn}{(\log n)^r}$. With this, we improve a result of Fox and Pach. △ Less

Submitted 12 October, 2020; v1 submitted 1 October, 2018; originally announced October 2018.

Comments: 11 pages, 1 figure

Journal ref: Combinatorics, Probability and Computing 29 (2020), 747-756

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)

On the Turán number of ordered forests

Authors: Dániel Korándi, Gábor Tardos, István Tomon, Craig Weidert

Abstract: An ordered graph $H$ is a simple graph with a linear order on its vertex set. The corresponding Turán problem, first studied by Pach and Tardos, asks for the maximum number $\text{ex}_<(n,H)$ of edges in an ordered graph on $n$ vertices that does not contain $H$ as an ordered subgraph. It is known that $\text{ex}_<(n,H) > n^{1+\varepsilon}$ for some positive $\varepsilon=\varepsilon(H)$ unless… ▽ More An ordered graph $H$ is a simple graph with a linear order on its vertex set. The corresponding Turán problem, first studied by Pach and Tardos, asks for the maximum number $\text{ex}_<(n,H)$ of edges in an ordered graph on $n$ vertices that does not contain $H$ as an ordered subgraph. It is known that $\text{ex}_<(n,H) > n^{1+\varepsilon}$ for some positive $\varepsilon=\varepsilon(H)$ unless $H$ is a forest that has a proper 2-coloring with one color class totally preceding the other one. Making progress towards a conjecture of Pach and Tardos, we prove that $\text{ex}_<(n,H) =n^{1+o(1)}$ holds for all such forests that are "degenerate" in a certain sense. This class includes every forest for which an $n^{1+o(1)}$ upper bound was previously known, as well as new examples. Our proof is based on a density-increment argument. △ Less

Submitted 21 November, 2017; originally announced November 2017.

Comments: 10 pages

Rainbow saturation and graph capacities

Authors: Dániel Korándi

Abstract: The $t$-colored rainbow saturation number $rsat_t(n,F)$ is the minimum size of a $t$-edge-colored graph on $n$ vertices that contains no rainbow copy of $F$, but the addition of any missing edge in any color creates such a rainbow copy. Barrus, Ferrara, Vandenbussche and Wenger conjectured that $rsat_t(n,K_s) = Θ(n\log n)$ for every $s\ge 3$ and $t\ge \binom{s}{2}$. In this short note we prove the… ▽ More The $t$-colored rainbow saturation number $rsat_t(n,F)$ is the minimum size of a $t$-edge-colored graph on $n$ vertices that contains no rainbow copy of $F$, but the addition of any missing edge in any color creates such a rainbow copy. Barrus, Ferrara, Vandenbussche and Wenger conjectured that $rsat_t(n,K_s) = Θ(n\log n)$ for every $s\ge 3$ and $t\ge \binom{s}{2}$. In this short note we prove the conjecture in a strong sense, asymptotically determining the rainbow saturation number for triangles. Our lower bound is probabilistic in spirit, the upper bound is based on the Shannon capacity of a certain family of cliques. △ Less

Submitted 3 April, 2018; v1 submitted 3 November, 2017; originally announced November 2017.

Comments: 5 pages, minor changes

On the Turán number of some ordered even cycles

Authors: Ervin Győri, Dániel Korándi, Abhishek Methuku, István Tomon, Casey Tompkins, Máté Vizer

Abstract: A classical result of Bondy and Simonovits in extremal graph theory states that if a graph on $n$ vertices contains no cycle of length $2k$ then it has at most $O(n^{1+1/k})$ edges. However, matching lower bounds are only known for $k=2,3,5$. In this paper we study ordered variants of this problem and prove some tight estimates for a certain class of ordered cycles that we call bordered cycles.… ▽ More A classical result of Bondy and Simonovits in extremal graph theory states that if a graph on $n$ vertices contains no cycle of length $2k$ then it has at most $O(n^{1+1/k})$ edges. However, matching lower bounds are only known for $k=2,3,5$. In this paper we study ordered variants of this problem and prove some tight estimates for a certain class of ordered cycles that we call bordered cycles. In particular, we show that the maximum number of edges in an ordered graph avoiding bordered cycles of length at most $2k$ is $Θ(n^{1+1/k})$. Strengthening the result of Bondy and Simonovits in the case of 6-cycles, we also show that it is enough to forbid these bordered orderings of the 6-cycle to guarantee an upper bound of $O(n^{4/3})$ on the number of edges. △ Less

Submitted 17 July, 2018; v1 submitted 20 October, 2017; originally announced October 2017.

Comments: 10 pages, 1 figure; added references and some discussion

Journal ref: European Journal of Combinatorics, 73 (2018), 81-88

Domination in 3-tournaments

Authors: Dániel Korándi, Benny Sudakov

Abstract: A 3-tournament is a complete 3-uniform hypergraph where each edge has a special vertex designated as its tail. A vertex set $X$ dominates $T$ if every vertex not in $X$ is contained in an edge whose tail is in $X$. The domination number of $T$ is the minimum size of such an $X$. Generalizing well-known results about usual (graph) tournaments, Gyárfás conjectured that there are 3-tournaments with a… ▽ More A 3-tournament is a complete 3-uniform hypergraph where each edge has a special vertex designated as its tail. A vertex set $X$ dominates $T$ if every vertex not in $X$ is contained in an edge whose tail is in $X$. The domination number of $T$ is the minimum size of such an $X$. Generalizing well-known results about usual (graph) tournaments, Gyárfás conjectured that there are 3-tournaments with arbitrarily large domination number, and that this is not the case if any four vertices induce two triples with the same tail. In this short note we solve both problems, proving the first conjecture and refuting the second. △ Less

Submitted 4 February, 2016; originally announced February 2016.

Comments: 3 pages

Saturation in random graphs

Authors: Dániel Korándi, Benny Sudakov

Abstract: A graph $H$ is $K_s$-saturated if it is a maximal $K_s$-free graph, i.e., $H$ contains no clique on $s$ vertices, but the addition of any missing edge creates one. The minimum number of edges in a $K_s$-saturated graph was determined over 50 years ago by Zykov and independently by Erdős, Hajnal and Moon. In this paper, we study the random analog of this problem: minimizing the number of edges in a… ▽ More A graph $H$ is $K_s$-saturated if it is a maximal $K_s$-free graph, i.e., $H$ contains no clique on $s$ vertices, but the addition of any missing edge creates one. The minimum number of edges in a $K_s$-saturated graph was determined over 50 years ago by Zykov and independently by Erdős, Hajnal and Moon. In this paper, we study the random analog of this problem: minimizing the number of edges in a maximal $K_s$-free subgraph of the Erdős-Rényi random graph $G(n,p)$. We give asymptotically tight estimates on this minimum, and also provide exact bounds for the related notion of weak saturation in random graphs. Our results reveal some surprising behavior of these parameters. △ Less

Submitted 13 April, 2016; v1 submitted 30 October, 2015; originally announced October 2015.

Comments: 13 pages, 2 figures; some minor corrections

A random triadic process

Authors: Dániel Korándi, Yuval Peled, Benny Sudakov

Abstract: Given a random 3-uniform hypergraph $H=H(n,p)$ on $n$ vertices where each triple independently appears with probability $p$, consider the following graph process. We start with the star $G_0$ on the same vertex set, containing all the edges incident to some vertex $v_0$, and repeatedly add an edge $xy$ if there is a vertex $z$ such that $xz$ and $zy$ are already in the graph and $xzy \in H$. We sa… ▽ More Given a random 3-uniform hypergraph $H=H(n,p)$ on $n$ vertices where each triple independently appears with probability $p$, consider the following graph process. We start with the star $G_0$ on the same vertex set, containing all the edges incident to some vertex $v_0$, and repeatedly add an edge $xy$ if there is a vertex $z$ such that $xz$ and $zy$ are already in the graph and $xzy \in H$. We say that the process propagates if it reaches the complete graph before it terminates. In this paper we prove that the threshold probability for propagation is $p=\frac{1}{2\sqrt{n}}$. We conclude that $p=\frac{1}{2\sqrt{n}}$ is an upper bound for the threshold probability that a random 2-dimensional simplicial complex is simply connected. △ Less

Submitted 30 October, 2015; v1 submitted 15 March, 2015; originally announced March 2015.

Comments: 20 pages; some minor corrections

Decomposing random graphs into few cycles and edges

Authors: Dániel Korándi, Michael Krivelevich, Benny Sudakov

Abstract: Over 50 years ago, Erdős and Gallai conjectured that the edges of every graph on $n$ vertices can be decomposed into $O(n)$ cycles and edges. Among other results, Conlon, Fox and Sudakov recently proved that this holds for the random graph $G(n,p)$ with probability approaching 1 as $n\rightarrow\infty$. In this paper we show that for most edge probabilities $G(n,p)$ can be decomposed into a union… ▽ More Over 50 years ago, Erdős and Gallai conjectured that the edges of every graph on $n$ vertices can be decomposed into $O(n)$ cycles and edges. Among other results, Conlon, Fox and Sudakov recently proved that this holds for the random graph $G(n,p)$ with probability approaching 1 as $n\rightarrow\infty$. In this paper we show that for most edge probabilities $G(n,p)$ can be decomposed into a union of $\frac{n}{4}+\frac{np}{2}+o(n)$ cycles and edges whp. This result is asymptotically tight. △ Less

Submitted 26 November, 2014; v1 submitted 12 April, 2014; originally announced April 2014.

Comments: 14 pages

Journal ref: Combinator. Probab. Comp. 24 (2015) 857-872

$K_{s,t}$-saturated bipartite graphs

Authors: Wenying Gan, Dániel Korándi, Benny Sudakov

Abstract: An $n$-by-$n$ bipartite graph is $H$-saturated if the addition of any missing edge between its two parts creates a new copy of $H$. In 1964, Erdős, Hajnal and Moon made a conjecture on the minimum number of edges in a $K_{s,s}$-saturated bipartite graph. This conjecture was proved independently by Wessel and Bollobás in a more general, but ordered, setting: they showed that the minimum number of e… ▽ More An $n$-by-$n$ bipartite graph is $H$-saturated if the addition of any missing edge between its two parts creates a new copy of $H$. In 1964, Erdős, Hajnal and Moon made a conjecture on the minimum number of edges in a $K_{s,s}$-saturated bipartite graph. This conjecture was proved independently by Wessel and Bollobás in a more general, but ordered, setting: they showed that the minimum number of edges in a $K_{(s,t)}$-saturated bipartite graph is $n^2-(n-s+1)(n-t+1)$, where $K_{(s,t)}$ is the "ordered" complete bipartite graph with $s$ vertices in the first color class and $t$ vertices in the second. However, the very natural question of determining the minimum number of edges in the unordered $K_{s,t}$-saturated case remained unsolved. This problem was considered recently by Moshkovitz and Shapira who also conjectured what its answer should be. In this short paper we give an asymptotically tight bound on the minimum number of edges in a $K_{s,t}$-saturated bipartite graph, which is only smaller by an additive constant than the conjecture of Moshkovitz and Shapira. We also prove their conjecture for $K_{2,3}$-saturation, which was the first open case. △ Less

Submitted 26 November, 2014; v1 submitted 11 February, 2014; originally announced February 2014.

Comments: 11 pages, 1 figure

Separating path systems

Authors: Victor Falgas-Ravry, Teeradej Kittipassorn, Dániel Korándi, Shoham Letzter, Bhargav Narayanan

Abstract: We study separating systems of the edges of a graph where each member of the separating system is a path. We conjecture that every $n$-vertex graph admits a separating path system of size $O(n)$ and prove this in certain interesting special cases. In particular, we establish this conjecture for random graphs and graphs with linear minimum degree. We also obtain tight bounds on the size of a minima… ▽ More We study separating systems of the edges of a graph where each member of the separating system is a path. We conjecture that every $n$-vertex graph admits a separating path system of size $O(n)$ and prove this in certain interesting special cases. In particular, we establish this conjecture for random graphs and graphs with linear minimum degree. We also obtain tight bounds on the size of a minimal separating path system in the case of trees. △ Less

Submitted 6 September, 2016; v1 submitted 20 November, 2013; originally announced November 2013.

Comments: 21 pages, fixed misprints, Journal of Combinatorics

MSC Class: 05C38 (Primary) 05C70; 05C80 (Secondary)