An exact upper bound for the minimum size of a path system that weakly separates a clique

George Kontogeorgiou,Maya Stein

2024-03-13

Abstract:We show that for each natural number $n$ the clique $K_n$ has a weakly separating path system of size $n+2$, improving the previous best known upper bound of $(1+o(1))n$. Since $n-1$ is a lower bound, this is almost tight.

Combinatorics

What problem does this paper attempt to address?

Separating paths systems of almost linear size

Shoham Letzter

2024-05-29

Abstract:A separating path system for a graph $G$ is a collection $\mathcal{P}$ of paths in $G$ such that for every two edges $e$ and $f$ in $G$, there is a path in $\mathcal{P}$ that contains $e$ but not $f$. We show that every $n$-vertex graph has a separating path system of size $O(n \log^* n)$. This improves upon the previous best upper bound of $O(n \log n)$, and makes progress towards a conjecture of Falgas-Ravry--Kittipassorn--Korándi--Letzter--Narayanan and Balogh--Csaba--Martin--Pluhár, according to which an $O(n)$ bound should hold.

Combinatorics
Separating Path Systems for the Complete Graph

Belinda Wickes

2023-11-14

Abstract:For any graph $G$, a separating path system of $G$ is a family of paths in $G$ with the property that for any pair of edges in $E(G)$ there is at least one path in the family that contains one edge but not the other. We investigate the size of the smallest separating path system for $K_n$, denoted $f(K_n)$. Our first main result is a construction that shows $f(K_n) \leq \left(\frac{21}{16}+o(1)\right)n$ for sufficiently large $n$. We also show that $f(K_n) \leq n$ whenever $n=p,p+1$ for prime $p$. It is known by simple argument that $f(K_n) \geq n-1$ for all $n \in \mathbb{N}$. A key idea in our construction is to reduce the problem to finding a single path with some particular properties we call a Generator Path. These are defined in such a way that the $n$ cyclic rotations of a generator path provide a separating path system for $K_n$. Hence existence of a generator path for some $K_n$ gives $f(K_n) \leq n$. We construct such paths for all $K_n$ with $n \leq 20$, and show that generator paths exist whenever $n$ is prime.

Combinatorics
Separating the edges of a graph by cycles and by subdivisions of $K_4$

Fábio Botler,Tássio Naia

2024-07-02

Abstract:A separating system of a graph $G$ is a family $\mathcal{S}$ of subgraphs of $G$ for which the following holds: for all distinct edges $e$ and $f$ of $G$, there exists an element in $\mathcal{S}$ that contains $e$ but not $f$. Recently, it has been shown that every graph of order $n$ admits a separating system consisting of $19n$ paths [Bonamy, Botler, Dross, Naia, Skokan, Separating the Edges of a Graph by a Linear Number of Paths, Adv. Comb., October 2023], improving the previous almost linear bound of $\mathrm{O}(n\log^\star n)$ [S. Letzter, Separating paths systems of almost linear size, Trans. Amer. Math. Soc., to appear], and settling conjectures posed by Balogh, Csaba, Martin, and Pluhár and by Falgas-Ravry, Kittipassorn, Korándi, Letzter, and Narayanan. We investigate a natural generalization of these results to subdivisions of cliques, showing that every graph admits both a separating system consisting of $41n$ edges and cycles, and a separating system consisting of $82 n$ edges and subdivisions of $K_4$.

Combinatorics,Discrete Mathematics
Efficient maximal cliques enumeration in weakly closed graphs

George Manoussakis

2023-06-22

Abstract:We show that the algorithm presented in [J. Fox, T. Roughgarden, C. Seshadhri, F. Wei, and N. Wein. Finding cliques in social networks: A new distribution-free model. SIAM journal on computing, 49(2):448-464, 2020.] can be modified to have enumeration time complexity $\alpha\mathcal{O} (npoly(c))$. Here parameter $c$ is the weakly closure of the graph and $\alpha$ its number of maximal cliques. This result improves on their complexity which was not output sensitive and exponential in the closure of the graph.

Data Structures and Algorithms
Many cliques with small degree powers

Ting-Wei Chao,Zichao Dong,Zijun Shen,Ningyuan Yang

2024-11-19

Abstract:Suppose $0 < p \le \infty$. For a simple graph $G$ with a vertex-degree sequence $d_1, \dots, d_n$ satisfying $(d_1^p + \dots + d_n^p)^{1/p} \le C$, we prove asymptotically sharp upper bounds on the number of $t$-cliques in $G$. This result bridges the $p = 1$ case, which is the notable Kruskal--Katona theorem, and the $p = \infty$ case, known as the Gan--Loh--Sudakov conjecture, and resolved by Chase. In particular, we demonstrate that the extremal construction exhibits a dichotomy between a single clique and multiple cliques at $p_0 = t - 1$. Our proof employs the entropy method.

Combinatorics
Bounding Clique Size in Squares of Planar Graphs

Daniel W. Cranston

2024-03-13

Abstract:Wegner conjectured that if $G$ is a planar graph with maximum degree $\Delta\ge 8$, then $\chi(G^2)\le \left\lfloor \frac32\Delta\right\rfloor +1$. This problem has received much attention, but remains open for all $\Delta\ge 8$. Here we prove an analogous bound on $\omega(G^2)$: If $G$ is a plane graph with $\Delta(G)\ge 36$, then $\omega(G^2)\le \lfloor\frac32\Delta(G)\rfloor+1$. In fact, this is a corollary of the following lemma, which is our main result. If $G$ is a plane graph with $\Delta(G)\ge 19$ and $S$ is a maximal clique in $G^2$ with $|S|\ge \Delta(G)+20$, then there exist $x,y,z\in V(G)$ such that $S=\{w:|N[w]\cap\{x,y,z\}|\ge 2\}$.

Combinatorics
Vertex-separating path systems in random graphs

Lyuben Lichev,Nicolás Sanhueza-Matamala

2024-08-04

Abstract:A set $V$ is said to be separated by subsets $V_1,\ldots,V_k$ if, for every pair of distinct elements of $V$, there is a set $V_i$ that contains exactly one of them. Imposing structural constraints on the separating subsets is often necessary for practical purposes and leads to a number of fascinating (and, in some cases, already classical) graph-theoretic problems. In this work, we are interested in separating the vertices of a random graph by path-connected vertex sets $V_1,\ldots,V_k$, jointly forming a separating system. First, we determine the size of the smallest separating system of $G(n,p)$ when $np\to \infty$ up to lower order terms, and exhibit a threshold phenomenon around the sharp threshold for connectivity. Second, we show that random regular graphs of sufficiently high degree can typically be optimally separated by $\lceil \log_2 n\rceil$ sets. Moreover, we provide bounds for the minimum degree threshold for optimal separation of general graphs.

Combinatorics
Separating the edges of a graph by a linear number of paths

Marthe Bonamy,Fábio Botler,François Dross,Tássio Naia,Jozef Skokan

DOI: https://doi.org/10.19086/aic.2023.6

2023-10-10

Abstract:Recently, Letzter proved that any graph of order $n$ contains a collection $\mathcal{P}$ of $O(n\log^\star n)$ paths with the following property: for all distinct edges $e$ and $f$ there exists a path in $\mathcal{P}$ which contains $e$ but not $f$. We improve this upper bound to $19 n$, thus answering a question of G.O.H. Katona and confirming a conjecture independently posed by Balogh, Csaba, Martin, and Pluhár and by Falgas-Ravry, Kittipassorn, Korándi, Letzter, and Narayanan. Our proof is elementary and self-contained.

Combinatorics,Discrete Mathematics
Many cliques in bounded-degree hypergraphs

Rachel Kirsch,Jamie Radcliffe

DOI: https://doi.org/10.1137/22M1507565

2023-08-12

Abstract:Recently Chase determined the maximum possible number of cliques of size $t$ in a graph on $n$ vertices with given maximum degree. Soon afterward, Chakraborti and Chen answered the version of this question in which we ask that the graph have $m$ edges and fixed maximum degree (without imposing any constraint on the number of vertices). In this paper we address these problems on hypergraphs. For $s$-graphs with $s\ge 3$ a number of issues arise that do not appear in the graph case. For instance, for general $s$-graphs we can assign degrees to any $i$-subset of the vertex set with $1\le i\le s-1$. We establish bounds on the number of $t$-cliques in an $s$-graph $\mathcal{H}$ with $i$-degree bounded by $\Delta$ in three contexts: $\mathcal{H}$ has $n$ vertices; $\mathcal{H}$ has $m$ (hyper)edges; and (generalizing the previous case) $\mathcal{H}$ has a fixed number $p$ of $u$-cliques for some $u$ with $s\le u \le t$. When $\Delta$ is of a special form we characterize the extremal $s$-graphs and prove that the bounds are tight. These extremal examples are the shadows of either Steiner systems or partial Steiner systems. On the way to proving our uniqueness results, we extend results of Füredi and Griggs on uniqueness in Kruskal-Katona from the shadow case to the clique case.

Combinatorics
On short edges in complete topological graphs

Andrew Suk

2023-12-03

Abstract:Let $h(n)$ be the minimum integer such that every complete $n$-vertex simple topological graph contains an edge that crosses at most $h(n)$ other edges. In 2009, Kynčl and Valtr showed that $h(n) = O(n^2/\log^{1/4} n)$, and in the other direction, gave constructions showing that $h(n) = \Omega(n^{3/2})$. In this paper, we prove that $h(n) = O(n^{7/4})$. Along the way, we establish a new variant of Chazelle and Welzl's matching theorem for set systems with bounded VC-dimension, which we believe to be of independent interest.

Combinatorics,Computational Geometry
Separating path systems in trees

Francisco Arrepol,Patricio Asenjo,Raúl Astete,Víctor Cartes,Anahí Gajardo,Valeria Henríquez,Catalina Opazo,Nicolás Sanhueza-Matamala,Christopher Thraves Caro

2023-06-02

Abstract:For a graph $G$, an edge-separating (resp. vertex-separating) path system of $G$ is a family of paths in $G$ such that for any pair of edges $e_1, e_2$ (resp. pair of vertices $v_1, v_2$) of $G$ there is at least one path in the family that contains one of $e_1$ and $e_2$ (resp. $v_1$ and $v_2$) but not the other. We determine the size of a minimum edge-separating path system of an arbitrary tree $T$ as a function of its number of leaves and degree-two vertices. We obtain bounds for the size of a minimal vertex-separating path system for trees, which we show to be tight in many cases. We obtain similar results for a variation of the definition, where we require the path system to separate edges and vertices simultaneously. Finally, we investigate the size of a minimal vertex-separating path system in Erdős--Rényi random graphs.

Combinatorics
Counting the minimum number of arcs in an oriented graph having weak diameter 2

Sandip Das,Koushik Kumar Dey,Pavan P D,Sagnik Sen

2024-03-07

Abstract:An oriented graph has weak diameter at most $d$ if every non-adjacent pair of vertices are connected by a directed $d$-path. The function $f_d(n)$ denotes the minimum number of arcs in an oriented graph on $n$ vertices having weak diameter $d$. Finding the exact value of $f_d(n)$ is a challenging problem even for $d = 2$. This function was introduced by Katona and Szemeredi (1967), and after that several attempts were made to find its exact value by Znam (1970), Dawes and Meijer (1987), Furedi, Horak, Pareek and Zhu (1998), and Kostochka, Luczak, Simonyi and Sopena (1999) through improving its best known bounds. In that process, it was proved that this function is asymptotically equal to $n\log_2 n$ and hence, is an asymptotically increasing function. However, the exact value and behaviour of this function was not known. In this article, we observe that the oriented graphs with weak diameter at most $2$ are precisely the absolute oriented cliques, that is, analogues of cliques for oriented graphs in the context of oriented coloring. Through studying arc-minimal absolute oriented cliques we prove that $f_2(n)$ is a strictly increasing function. Furthermore, we improve the best known upper bound of $f_2(n)$ and conjecture that our upper bound is tight. This improvement of the upper bound improves known bounds involving the oriented achromatic number.

Discrete Mathematics,Combinatorics
Extremal number of cliques of given orders in graphs with a forbidden clique minor

Ruilin Shi,Fan Wei

2024-08-22

Abstract:Alon and Shikhelman initiated the systematic study of a generalization of the extremal function. Motivated by algorithmic applications, the study of the extremal function $\text{ex}(n, K_k, K_t\text{-minor})$, i.e., the number of cliques of order $k$ in $K_t$-minor free graphs on $n$ vertices, has received much attention. In this paper, we determine essentially sharp bounds on the maximum possible number of cliques of order $k$ in a $K_t$-minor free graph on $n$ vertices. More precisely, we determine a function $C(k,t)$ such that for each $k < t$ with $t-k\gg \log_2 t$, every $K_t$-minor free graph on $n$ vertices has at most $ n C(k, t)^{1+o_t(1)}$ cliques of order $k$. We also show this bound is sharp by constructing a $K_t$-minor-free graph on $n$ vertices with $C(k, t) n$ cliques of order $k$. This bound answers a question of Wood and Fox-Wei asymptotically up to $o_t(1)$ in the exponent except the extreme values when $k$ is very close to $t$.

Combinatorics
Proof a conjecture on connectivity keeping odd paths in k-connected bipartite graphs

Qing Yang,Yingzhi Tian

2024-01-22

Abstract:Luo, Tian and Wu (2022) conjectured that for any tree $T$ with bipartition $X$ and $Y$, every $k$-connected bipartite graph $G$ with minimum degree at least $k+t$, where $t=$max$\{|X|,|Y|\}$, contains a tree $T'\cong T$ such that $G-V(T')$ is still $k$-connected. Note that $t=\lceil\frac{m}{2}\rceil$ when the tree $T$ is the path with order $m$. In this paper, we proved that every $k$-connected bipartite graph $G$ with minimum degree at least $k+ \lceil\frac{m+1}{2}\rceil$ contains a path $P$ of order $m$ such that $G-V(P)$ remains $k$-connected. This shows that the conjecture is true for paths with odd order. And for paths with even order, the minimum degree bound in this paper is the bound in the conjecture plus one.

Combinatorics
Sparse Partitions of Graphs with Bounded Clique Number

António Girão,Toby Insley

2024-11-30

Abstract:We prove that for each integer $r\geq 2$, there exists a constant $C_r>0$ with the following property: for any $0<\varepsilon \leq 1/2$ and any graph $G$ with clique number at most $r,$ there is a partition of $V(G)$ into at most $(1/\varepsilon)^{C_r}$ sets $S_1, \dots, S_t,$ such that $G[S_i]$ has maximum degree at most $\varepsilon |S_i|$ for each $1 \leq i \leq t.$ This answers a question of Fox, Nguyen, Scott and Seymour, who proved a similar result for graphs with no induced $P_4.$

Combinatorics
Minors in expanding graphs

Michael Krivelevich,Benny Sudakov

DOI: https://doi.org/10.48550/arXiv.0707.0133

2007-07-02

Abstract:Extending several previous results we obtained nearly tight estimates on the maximum size of a clique-minor in various classes of expanding graphs. These results can be used to show that graphs without short cycles and other H-free graphs contain large clique-minors, resolving some open questions in this area.

Combinatorics
Induced subgraph density. V. All paths approach Erdos-Hajnal

Tung Nguyen,Alex Scott,Paul Seymour

2024-10-21

Abstract:The Erdős-Hajnal conjecture says that, for every graph $H$, there exists $c>0$ such that every $H$-free graph on $n$ vertices has a clique or stable set of size at least $n^c$. In this paper we are concerned with the case when $H$ is a path. The conjecture has been proved for paths with at most five vertices, but not for longer paths. We prove that the conjecture is ``nearly'' true for all paths: for every path $H$, all $H$-free graphs with $n$ vertices have cliques or stable sets of size at least $2^{(\log n)^{1-o(1)}}$.

Combinatorics
Generalized Turán problem for a path and a clique

Xiaona Fang,Xiutao Zhu,Yaojun Chen

2024-09-16

Abstract:Let $\mathcal{H}$ be a family of graphs. The generalized Turán number $ex(n, K_r, \mathcal{H})$ is the maximum number of copies of the clique $K_r$ in any $n$-vertex $\mathcal{H}$-free graph. In this paper, we determine the value of $ex(n, K_r, \{P_k, K_m \} )$ for sufficiently large $n$ with an exceptional case, and characterize all corresponding extremal graphs, which generalizes and strengthens the results of Katona and Xiao [EJC, 2024] on $ex(n, K_2, \{P_k, K_m \} )$. For the exceptional case, we obtain a tight upper bound for $ex(n, K_r, \{P_k, K_m \} )$ that confirms a conjecture on $ex(n, K_2, \{P_k, K_m \} )$ posed by Katona and Xiao.

Combinatorics
Excluding Hooks and their Complements

Krzysztof Choromanski,Dvir Falik,Anita Liebenau,Viresh Patel,Marcin Pilipczuk

DOI: https://doi.org/10.37236/6397

2018-08-24

The Electronic Journal of Combinatorics

Abstract:The long-standing Erdős-Hajnal conjecture states that for every $n$-vertex undirected graph $H$ there exists $\epsilon(H)>0$ such that every graph $G$ that does not contain $H$ as an induced subgraph contains a clique or an independent set of size at least $n^{\epsilon(H)}$. A natural weakening of the conjecture states that the polynomial-size clique/independent set phenomenon occurs if one excludes both $H$ and its complement $H^\mathrm{c}$. These conjectures have been shown to hold for only a handful of graphs: it is not even known if they hold for all graphs on $5$ vertices.In a recent breakthrough, the symmetrized version of the Erdős-Hajnal conjecture was shown to hold for all paths. The goal of this paper is to show that the symmetrized conjecture holds for all trees on $6$ (or fewer) vertices. In fact this is a consequence of showing that the symmetrized conjecture holds for any path with a pendant edge at its third vertex; thus we also give a new infinite family of graphs for which the symmetrized conjecture holds.
On odd covers of cliques and disjoint unions

Calum Buchanan,Alexander Clifton,Eric Culver,Péter Frankl,Jiaxi Nie,Kenta Ozeki,Puck Rombach,Mei Yin

2024-08-16

Abstract:Babai and Frankl posed the ``odd cover problem" of finding the minimum cardinality of a collection of complete bipartite graphs such that every edge of the complete graph of order $n$ is covered an odd number of times. In a previous paper with O'Neill, some of the authors proved that this value is always $\lceil n / 2 \rceil$ or $\lceil n / 2 \rceil + 1$ and that it is the former whenever $n$ is a multiple of $8$. In this paper, we determine this value to be $\lceil n / 2 \rceil$ whenever $n$ is odd or equivalent to $18$ modulo $24$. We also further the study of odd covers of graphs which are not complete, wherein edges are covered an odd number of times and nonedges an even number of times by the complete bipartite graphs in the collection. Among various results on disjoint unions, we find the minimum cardinality of an odd cover of a union of odd cliques and of a union of cycles.

Combinatorics

An exact upper bound for the minimum size of a path system that weakly separates a clique

Separating paths systems of almost linear size

Separating Path Systems for the Complete Graph

Separating the edges of a graph by cycles and by subdivisions of $K_4$

Efficient maximal cliques enumeration in weakly closed graphs

Many cliques with small degree powers

Bounding Clique Size in Squares of Planar Graphs

Vertex-separating path systems in random graphs

Separating the edges of a graph by a linear number of paths

Many cliques in bounded-degree hypergraphs

On short edges in complete topological graphs

Separating path systems in trees

Counting the minimum number of arcs in an oriented graph having weak diameter 2

Extremal number of cliques of given orders in graphs with a forbidden clique minor

Proof a conjecture on connectivity keeping odd paths in k-connected bipartite graphs

Sparse Partitions of Graphs with Bounded Clique Number

Minors in expanding graphs

Induced subgraph density. V. All paths approach Erdos-Hajnal

Generalized Turán problem for a path and a clique

Excluding Hooks and their Complements

On odd covers of cliques and disjoint unions