Showing 1–38 of 38 results for author: Salia, N

Saturated Partial Embeddings of Planar Graphs

Authors: Alexander Clifton, Nika Salia

Abstract: In this work, we study how far one can deviate from optimal behavior when embedding a planar graph. For a planar graph $G$, we say that a plane subgraph $H\subseteq G$ is a \textit{plane-saturated subgraph} if adding any edge (possibly with new vertices) to $H$ would either violate planarity or make the resulting graph no longer a subgraph of $G$. For a planar graph $G$, we define the \textit{plan… ▽ More In this work, we study how far one can deviate from optimal behavior when embedding a planar graph. For a planar graph $G$, we say that a plane subgraph $H\subseteq G$ is a \textit{plane-saturated subgraph} if adding any edge (possibly with new vertices) to $H$ would either violate planarity or make the resulting graph no longer a subgraph of $G$. For a planar graph $G$, we define the \textit{plane-saturation ratio}, $\psr(G)$, as the minimum value of $\frac{e(H)}{e(G)}$ for a plane-saturated subgraph $H$ of $G$ and investigate how small $\psr(G)$ can be. While there exist planar graphs where $\psr(G)$ is arbitrarily close to $0$, we show that for all twin-free planar graphs, $\psr(G)>1/16$, and that there exist twin-free planar graphs where $\psr(G)$ is arbitrarily close to $1/16$. In fact, we study a broader category of planar graphs, focusing on classes characterized by a bounded number of degree $1$ and degree $2$ twin vertices. We offer solutions for some instances of bounds while positing conjectures for the remaining ones. △ Less

Submitted 4 March, 2024; originally announced March 2024.

On graphs without cycles of length 0 modulo 4

Authors: Ervin Győri, Binlong Li, Nika Salia, Casey Tompkins, Kitti Varga, Manran Zhu

Abstract: Bollobás proved that for every $k$ and $\ell$ such that $k\mathbb{Z}+\ell$ contains an even number, an $n$-vertex graph containing no cycle of length $\ell \bmod k$ can contain at most a linear number of edges. The precise (or asymptotic) value of the maximum number of edges in such a graph is known for very few pairs $\ell$ and $k$. In this work we precisely determine the maximum number of edges… ▽ More Bollobás proved that for every $k$ and $\ell$ such that $k\mathbb{Z}+\ell$ contains an even number, an $n$-vertex graph containing no cycle of length $\ell \bmod k$ can contain at most a linear number of edges. The precise (or asymptotic) value of the maximum number of edges in such a graph is known for very few pairs $\ell$ and $k$. In this work we precisely determine the maximum number of edges in a graph containing no cycle of length $0 \bmod 4$. △ Less

Submitted 15 December, 2023; originally announced December 2023.

A note on universal graphs for spanning trees

Authors: Ervin Győri, Binlong Li, Nika Salia, Casey Tompkins

Abstract: Chung and Graham considered the problem of minimizing the number of edges in an $n$-vertex graph containing all $n$-vertex trees as a subgraph. They showed that such a graph has at least $\frac{1}{2}n \log{n}$ edges. In this note, we improve this lower estimate to $n \log{n}$. Chung and Graham considered the problem of minimizing the number of edges in an $n$-vertex graph containing all $n$-vertex trees as a subgraph. They showed that such a graph has at least $\frac{1}{2}n \log{n}$ edges. In this note, we improve this lower estimate to $n \log{n}$. △ Less

Submitted 6 November, 2023; v1 submitted 2 November, 2023; originally announced November 2023.

Comments: corrected typos

On the Small Quasi-kernel conjecture

Authors: Péter L. Erdős, Ervin Győri, Tamás Róbert Mezei, Nika Salia, Mykhaylo Tyomkyn

Abstract: An independent vertex subset $S$ of the directed graph $G$ is a kernel if the set of out-neighbors of $S$ is $V(G)\setminus S$. An independent vertex subset $Q$ of $G$ is a quasi-kernel if the union of the first and second out-neighbors contains $V(G)\setminus S$ as a subset. Deciding whether a directed graph has a kernel is an NP-hard problem. In stark contrast, each directed graph has quasi-kern… ▽ More An independent vertex subset $S$ of the directed graph $G$ is a kernel if the set of out-neighbors of $S$ is $V(G)\setminus S$. An independent vertex subset $Q$ of $G$ is a quasi-kernel if the union of the first and second out-neighbors contains $V(G)\setminus S$ as a subset. Deciding whether a directed graph has a kernel is an NP-hard problem. In stark contrast, each directed graph has quasi-kernel(s) and one can be found in linear time. In this article, we will survey the results on quasi-kernel and their connection with kernels. We will focus on the small quasi-kernel conjecture which states that if the graph has no vertex of zero in-degree, then there exists a quasi-kernel of size not larger than half of the order of the graph. The paper also contains new proofs and some new results as well. △ Less

Submitted 28 May, 2024; v1 submitted 9 July, 2023; originally announced July 2023.

Comments: 14 pages, 1 figure, The survey was updated by the development of the last 8 months

MSC Class: 05C20 05C69

How connectivity affects the extremal number of trees

Authors: Suyun Jiang, Hong Liu, Nika Salia

Abstract: The Erdős-Sós conjecture states that the maximum number of edges in an $n$-vertex graph without a given $k$-vertex tree is at most $\frac {n(k-2)}{2}$. Despite significant interest, the conjecture remains unsolved. Recently, Caro, Patkós, and Tuza considered this problem for host graphs that are connected. Settling a problem posed by them, for a $k$-vertex tree $T$, we construct $n$-vertex connect… ▽ More The Erdős-Sós conjecture states that the maximum number of edges in an $n$-vertex graph without a given $k$-vertex tree is at most $\frac {n(k-2)}{2}$. Despite significant interest, the conjecture remains unsolved. Recently, Caro, Patkós, and Tuza considered this problem for host graphs that are connected. Settling a problem posed by them, for a $k$-vertex tree $T$, we construct $n$-vertex connected graphs that are $T$-free with at least $(1/4-o_k(1))nk$ edges, showing that the additional connectivity condition can reduce the maximum size by at most a factor of 2. Furthermore, we show that this is optimal: there is a family of $k$-vertex brooms $T$ such that the maximum size of an $n$-vertex connected $T$-free graph is at most $(1/4+o_k(1))nk$. △ Less

Submitted 5 February, 2024; v1 submitted 18 March, 2023; originally announced March 2023.

Comments: 11 pages, 2 figures. Following the suggestions of the journal reviewers, we have added more explanations in the proofs of Theorem 1.2 and Theorem 1.3

MSC Class: 05C05; 05C35

The maximum Wiener index of a uniform hypergraph

Authors: Stijn Cambie, Ervin Győri, Nika Salia, Casey Tompkins, James Tuite

Abstract: The Wiener index of a (hyper)graph is calculated by summing up the distances between all pairs of vertices. We determine the maximum possible Wiener index of a connected $n$-vertex $k$-uniform hypergraph and characterize for every~$n$ all hypergraphs attaining the maximum Wiener index. The Wiener index of a (hyper)graph is calculated by summing up the distances between all pairs of vertices. We determine the maximum possible Wiener index of a connected $n$-vertex $k$-uniform hypergraph and characterize for every~$n$ all hypergraphs attaining the maximum Wiener index. △ Less

Submitted 16 February, 2023; originally announced February 2023.

MSC Class: 05C65; 05C09; 05C12; 05C35

The maximum number of cliques in graphs with bounded odd circumference

Authors: Zequn Lv, Ervin Győri, Zhen He, Nika Salia, Chuanqi Xiao, Xiutao Zhu

Abstract: In this work, we give the sharp upper bound for the number of cliques in graphs with bounded odd circumferences. This generalized Turán-type result is an extension of the celebrated Erdős and Gallai theorem and a strengthening of Luo's recent result. The same bound for graphs with bounded even circumferences is a trivial application of the theorem of Li and Ning. In this work, we give the sharp upper bound for the number of cliques in graphs with bounded odd circumferences. This generalized Turán-type result is an extension of the celebrated Erdős and Gallai theorem and a strengthening of Luo's recent result. The same bound for graphs with bounded even circumferences is a trivial application of the theorem of Li and Ning. △ Less

Submitted 6 December, 2022; v1 submitted 4 December, 2022; originally announced December 2022.

Linear three-uniform hypergraphs with no Berge path of given length

Authors: Ervin Győri, Nika Salia

Abstract: Extensions of Erdős-Gallai Theorem for general hypergraphs are well studied. In this work, we prove the extension of Erdős-Gallai Theorem for linear hypergraphs. In particular, we show that the number of hyperedges in an $n$-vertex $3$-uniform linear hypergraph, without a Berge path of length $k$ as a subgraph is at most $\frac{(k-1)}{6}n$ for $k\geq 4$. Extensions of Erdős-Gallai Theorem for general hypergraphs are well studied. In this work, we prove the extension of Erdős-Gallai Theorem for linear hypergraphs. In particular, we show that the number of hyperedges in an $n$-vertex $3$-uniform linear hypergraph, without a Berge path of length $k$ as a subgraph is at most $\frac{(k-1)}{6}n$ for $k\geq 4$. △ Less

Submitted 29 November, 2022; originally announced November 2022.

Set systems without a simplex, Helly hypergraphs and union-efficient families

Authors: Stijn Cambie, Nika Salia

Abstract: We present equivalent formulations for concepts related to set families for which every subfamily with empty intersection has a bounded sub-collection with empty intersection. Hereby, we summarize the progress on the related questions about the maximum size of such families. In this work we solve a boundary case of a problem of Tuza for non-trivial $q$-Helly families, by applying Karamata's ineq… ▽ More We present equivalent formulations for concepts related to set families for which every subfamily with empty intersection has a bounded sub-collection with empty intersection. Hereby, we summarize the progress on the related questions about the maximum size of such families. In this work we solve a boundary case of a problem of Tuza for non-trivial $q$-Helly families, by applying Karamata's inequality and determining the minimum size of a $2$-self-centered graph for which the common neighborhood of every pair of vertices contains a clique of size $q-2$. △ Less

Submitted 28 October, 2022; originally announced October 2022.

Comments: 14 Pages, 2 figures

MSC Class: 05D05; 05C65; 05C35; 05C69

Generalized Turan number for the edge blow-up graph

Authors: Zequn Lv, Ervin Győri, Zhen He, Nika Salia, Casey Tompkins, Kitti Varga, Xiutao Zhu

Abstract: Let $H$ be a graph and $p$ be an integer. The edge blow-up $H^p$ of $H$ is the graph obtained from replacing each edge in $H$ by a copy of $K_p$ where the new vertices of the cliques are all distinct. Let $C_k$ and $P_k$ denote the cycle and path of length $k$, respectively. In this paper, we find sharp upper bounds for $ex(n,K_3,C_3^3)$ and the exact value for $ ex(n,K_3,P_3^3)$ and determine the… ▽ More Let $H$ be a graph and $p$ be an integer. The edge blow-up $H^p$ of $H$ is the graph obtained from replacing each edge in $H$ by a copy of $K_p$ where the new vertices of the cliques are all distinct. Let $C_k$ and $P_k$ denote the cycle and path of length $k$, respectively. In this paper, we find sharp upper bounds for $ex(n,K_3,C_3^3)$ and the exact value for $ ex(n,K_3,P_3^3)$ and determine the graphs attaining these bounds. △ Less

Submitted 21 October, 2022; originally announced October 2022.

Edges not covered by monochromatic bipartite graphs

Authors: Xiutao Zhu, Ervin Győri, Zhen He, Zequn Lv, Nika Salia, Casey Tompkins, Kitti Varga

Abstract: Let $f_k(n,H)$ denote the maximum number of edges not contained in any monochromatic copy of~$H$ in a $k$-coloring of the edges of $K_n$, and let $ex(n,H)$ denote the Turán number of $H$. In place of $f_2(n,H)$ we simply write $f(n,H)$. Keevash and Sudakov proved that $f(n,H)=ex(n,H)$ if $H$ is an edge-critical graph or $C_4$ and asked if this equality holds for any graph $H$. All known exact valu… ▽ More Let $f_k(n,H)$ denote the maximum number of edges not contained in any monochromatic copy of~$H$ in a $k$-coloring of the edges of $K_n$, and let $ex(n,H)$ denote the Turán number of $H$. In place of $f_2(n,H)$ we simply write $f(n,H)$. Keevash and Sudakov proved that $f(n,H)=ex(n,H)$ if $H$ is an edge-critical graph or $C_4$ and asked if this equality holds for any graph $H$. All known exact values of this question require $H$ to contain at least one cycle. In this paper we focus on acyclic graphs and have the following results: (1) We prove $f(n,H)=ex(n,H)$ when $H$ is a spider or a double broom. (2) A \emph{tail} in $H$ is a path $P_3=v_0v_1v_2$ such that $v_2$ is only adjacent to $v_1$ and $v_1$ is only adjacent to $v_0,v_2$ in $H$. We obtain a tight upper bound for $f(n,H)$ when $H$ is a bipartite graph with a tail. This result provides the first bipartite graphs which answer the question of Keevash and Sudakov in the negative. (3) Liu, Pikhurko and Sharifzadeh asked if $f_k(n,T)=(k-1)ex(n,T)$ when $T$ is a tree. We provide an upper bound for $f_{2k}(n,P_{2k})$ and show it is tight when $2k-1$ is prime. This provides a negative answer to their question. △ Less

Submitted 25 October, 2022; v1 submitted 20 October, 2022; originally announced October 2022.

Exact results for generalized extremal problems forbidding an even cycle

Authors: Ervin Győri, Zhen He, Zequn Lv, Nika Salia, Casey Tompkins, Kitti Varga, Xiutao Zhu

Abstract: We determine the maximum number of copies of $K_{s,s}$ in a $C_{2s+2}$-free $n$-vertex graph for all integers $s \ge 2$ and sufficiently large $n$. Moreover, for $s\in\{2,3\}$ and any integer $n$ we obtain the maximum number of cycles of length $2s$ in an $n$-vertex $C_{2s+2}$-free bipartite graph. We determine the maximum number of copies of $K_{s,s}$ in a $C_{2s+2}$-free $n$-vertex graph for all integers $s \ge 2$ and sufficiently large $n$. Moreover, for $s\in\{2,3\}$ and any integer $n$ we obtain the maximum number of cycles of length $2s$ in an $n$-vertex $C_{2s+2}$-free bipartite graph. △ Less

Submitted 4 August, 2022; originally announced August 2022.

Stability version of Dirac's theorem and its applications for generalized Turán problems

Authors: Xiutao Zhu, Ervin Győri, Zhen He, Zequn Lv, Nika Salia, Chuanqi Xiao

Abstract: In 1952, Dirac proved that every $2$-connected $n$-vertex graph with the minimum degree $k+1$ contains a cycle of length at least $\min\{n, 2(k+1)\}$. Here we obtain a stability version of this result by characterizing those graphs with minimum degree $k$ and circumference at most $2k+1$. We present applications of the above-stated result by obtaining generalized Turán numbers. In particular, fo… ▽ More In 1952, Dirac proved that every $2$-connected $n$-vertex graph with the minimum degree $k+1$ contains a cycle of length at least $\min\{n, 2(k+1)\}$. Here we obtain a stability version of this result by characterizing those graphs with minimum degree $k$ and circumference at most $2k+1$. We present applications of the above-stated result by obtaining generalized Turán numbers. In particular, for all $\ell \geq 5$ we determine how many copies of a five-cycle as well as four-cycle are necessary to guarantee that the graph has circumference larger than $\ell$. In addition, we give a new proof of Luo's Theorem for cliques using our stability result. △ Less

Submitted 3 August, 2022; v1 submitted 25 July, 2022; originally announced July 2022.

The maximum number of copies of an even cycle in a planar graph

Authors: Zequn Lv, Ervin Győri, Zhen He, Nika Salia, Casey Tompkins, Xiutao Zhu

Abstract: We resolve a conjecture of Cox and Martin by determining asymptotically for every $k\ge 2$ the maximum number of copies of $C_{2k}$ in an $n$-vertex planar graph. We resolve a conjecture of Cox and Martin by determining asymptotically for every $k\ge 2$ the maximum number of copies of $C_{2k}$ in an $n$-vertex planar graph. △ Less

Submitted 8 June, 2022; v1 submitted 31 May, 2022; originally announced May 2022.

Subgraph densities in $K_r$-free graphs

Authors: Andrzej Grzesik, Ervin Győri, Nika Salia, Casey Tompkins

Abstract: In this paper we disprove a conjecture of Lidický and Murphy about the number of copies of a given graph in a $K_r$-free graph and give an alternative general conjecture. We also prove an asymptotically tight bound on the number of copies of any bipartite graph of radius at most $2$ in a triangle-free graph. In this paper we disprove a conjecture of Lidický and Murphy about the number of copies of a given graph in a $K_r$-free graph and give an alternative general conjecture. We also prove an asymptotically tight bound on the number of copies of any bipartite graph of radius at most $2$ in a triangle-free graph. △ Less

Submitted 26 May, 2022; originally announced May 2022.

Extremal results for graphs avoiding a rainbow subgraph

Authors: Peter Frankl, Ervin Győri, Zhen He, Zequn Lv, Nika Salia, Casey Tompkins, Kitti Varga, Xiutao Zhu

Abstract: We say that $k$ graphs $G_1,G_2,\dots,G_k$ on a common vertex set of size $n$ contain a rainbow copy of a graph $H$ if their union contains a copy of $H$ with each edge belonging to a distinct $G_i$. We provide a counterexample to a conjecture of Frankl on the maximum product of the sizes of the edge sets of three graphs avoiding a rainbow triangle. We propose an alternative conjecture, which we p… ▽ More We say that $k$ graphs $G_1,G_2,\dots,G_k$ on a common vertex set of size $n$ contain a rainbow copy of a graph $H$ if their union contains a copy of $H$ with each edge belonging to a distinct $G_i$. We provide a counterexample to a conjecture of Frankl on the maximum product of the sizes of the edge sets of three graphs avoiding a rainbow triangle. We propose an alternative conjecture, which we prove under the additional assumption that the union of the three graphs is complete. Furthermore, we determine the maximum product of the sizes of the edge sets of three graphs or four graphs avoiding a rainbow path of length three. △ Less

Submitted 14 November, 2022; v1 submitted 15 April, 2022; originally announced April 2022.

Comments: The paper has been expanded to include further results on paths

Pósa-type results for Berge-hypergraphs

Authors: Nika Salia

Abstract: A Berge cycle of length $k$ in a hypergraph $\mathcal H$ is a sequence of distinct vertices and hyperedges $v_1,h_1,v_2,h_2,\dots,v_{k},h_k$ such that $v_{i},v_{i+1}\in h_i$ for all $i\in[k]$, indices taken modulo $k$. Füredi, Kostochka and Luo recently gave sharp Dirac-type minimum degree conditions that force non-uniform hypergraphs to have Hamiltonian Berge cycles. We give a sharp Pósa-type low… ▽ More A Berge cycle of length $k$ in a hypergraph $\mathcal H$ is a sequence of distinct vertices and hyperedges $v_1,h_1,v_2,h_2,\dots,v_{k},h_k$ such that $v_{i},v_{i+1}\in h_i$ for all $i\in[k]$, indices taken modulo $k$. Füredi, Kostochka and Luo recently gave sharp Dirac-type minimum degree conditions that force non-uniform hypergraphs to have Hamiltonian Berge cycles. We give a sharp Pósa-type lower bound for $r$-uniform and non-uniform hypergraphs that force Hamiltonian Berge cycles. △ Less

Submitted 13 March, 2024; v1 submitted 12 November, 2021; originally announced November 2021.

Turan problems for $k$-geodetic digraphs

Authors: James Tuite, Grahame Erskine, Nika Salia

Abstract: A digraph $G$ is \emph{$k$-geodetic} if for any pair of (not necessarily distinct) vertices $u,v \in V(G)$ there is at most one walk of length $\leq k$ from $u$ to $v$ in $G$. In this paper we determine the largest possible size of a $k$-geodetic digraph with given order. We then consider the more difficult problem of the largest size of a strongly-connected $k$-geodetic digraph with given order,… ▽ More A digraph $G$ is \emph{$k$-geodetic} if for any pair of (not necessarily distinct) vertices $u,v \in V(G)$ there is at most one walk of length $\leq k$ from $u$ to $v$ in $G$. In this paper we determine the largest possible size of a $k$-geodetic digraph with given order. We then consider the more difficult problem of the largest size of a strongly-connected $k$-geodetic digraph with given order, solving this problem for $k = 2$ and giving a construction which we conjecture to be extremal for larger $k$. We close with some results on generalised Turán problems for the number of directed cycles and paths in $k$-geodetic digraphs. △ Less

Submitted 28 March, 2022; v1 submitted 9 February, 2021; originally announced February 2021.

MSC Class: 05C35 05C20

On $3$-uniform hypergraphs avoiding a cycle of length four

Authors: Beka Ergemlidze, Ervin Győri, Abhishek Methuku, Nika Salia, Casey Tompkins

Abstract: In this note we show that the maximum number of edges in a $3$-uniform hypergraph without a Berge cycle of length four is at most $(1+o(1))\frac{n^{3/2}}{\sqrt{10}}$. This improves earlier estimates by Győri and Lemons and by Füredi and Özkahya. In this note we show that the maximum number of edges in a $3$-uniform hypergraph without a Berge cycle of length four is at most $(1+o(1))\frac{n^{3/2}}{\sqrt{10}}$. This improves earlier estimates by Győri and Lemons and by Füredi and Özkahya. △ Less

Submitted 26 August, 2020; originally announced August 2020.

Stability of extremal connected hypergraphs avoiding Berge-paths

Authors: Dániel Gerbner, Dániel T. Nagy, Balázs Patkós, Nika Salia, Máté Vizer

Abstract: A Berge-path of length $k$ in a hypergraph $\mathcal{H}$ is a sequence $v_1,e_1,v_2,e_2,\dots,v_{k},e_k,v_{k+1}$ of distinct vertices and hyperedges with $v_{i},v_{i+1} \in e_i$, for $i \le k$. Füredi, Kostochka and Luo, and independently Győri, Salia and Zamora determined the maximum number of hyperedges in an $n$-vertex, connected, $r$-uniform hypergraph that does not contain a Berge-path of len… ▽ More A Berge-path of length $k$ in a hypergraph $\mathcal{H}$ is a sequence $v_1,e_1,v_2,e_2,\dots,v_{k},e_k,v_{k+1}$ of distinct vertices and hyperedges with $v_{i},v_{i+1} \in e_i$, for $i \le k$. Füredi, Kostochka and Luo, and independently Győri, Salia and Zamora determined the maximum number of hyperedges in an $n$-vertex, connected, $r$-uniform hypergraph that does not contain a Berge-path of length $k$ provided $k$ is large enough compared to $r$. They also determined the unique extremal hypergraph $\mathcal{H}_1$. We prove a stability version of this result by presenting another construction $\mathcal{H}_2$ and showing that any $n$-vertex, connected, $r$-uniform hypergraph without a Berge-path of length $k$, that contains more than $|\mathcal{H}_2|$ hyperedges must be a sub-hypergraph of the extremal hypergraph $\mathcal{H}_1$, provided $k$ is large enough compared to $r$. △ Less

Submitted 22 September, 2023; v1 submitted 6 August, 2020; originally announced August 2020.

Inverse Turán numbers

Authors: Ervin Győri, Nika Salia, Casey Tompkins, Oscar Zamora

Abstract: For given graphs $G$ and $F$, the Turán number $ex(G,F)$ is defined to be the maximum number of edges in an $F$-free subgraph of $G$. Foucaud, Krivelevich and Perarnau and later independently Briggs and Cox introduced a dual version of this problem wherein for a given number $k$, one maximizes the number of edges in a host graph $G$ for which $ex(G,H) < k$. Addressing a problem of Briggs and Cox… ▽ More For given graphs $G$ and $F$, the Turán number $ex(G,F)$ is defined to be the maximum number of edges in an $F$-free subgraph of $G$. Foucaud, Krivelevich and Perarnau and later independently Briggs and Cox introduced a dual version of this problem wherein for a given number $k$, one maximizes the number of edges in a host graph $G$ for which $ex(G,H) < k$. Addressing a problem of Briggs and Cox, we determine the asymptotic value of the inverse Turán number of the paths of length $4$ and $5$ and provide an improved lower bound for all paths of even length. Moreover, we obtain bounds on the inverse Turán number of even cycles giving improved bounds on the leading coefficient in the case of $C_4$. Finally, we give multiple conjectures concerning the asymptotic value of the inverse Turán number of $C_4$ and $P_{\ell}$, suggesting that in the latter problem the asymptotic behavior depends heavily on the parity of $\ell$. △ Less

Submitted 27 January, 2021; v1 submitted 14 July, 2020; originally announced July 2020.

Comments: updated to include the suggestions of reviewers

The Maximum Number of Paths of Length Four in a Planar Graph

Authors: Debarun Ghosh, Ervin Győri, Ryan R. Martin, Addisu Paulos, Nika Salia, Chuanqi Xiao, Oscar Zamora

Abstract: Let $f(n,H)$ denote the maximum number of copies of $H$ in an $n$-vertex planar graph. The order of magnitude of $f(n,P_k)$, where $P_k$ is a path on $k$ vertices, is $n^{{\lfloor{\frac{k-1}{2}}\rfloor}+1}$. In this paper we determine the asymptotic value of $f(n,P_5)$ and give conjectures for longer paths. Let $f(n,H)$ denote the maximum number of copies of $H$ in an $n$-vertex planar graph. The order of magnitude of $f(n,P_k)$, where $P_k$ is a path on $k$ vertices, is $n^{{\lfloor{\frac{k-1}{2}}\rfloor}+1}$. In this paper we determine the asymptotic value of $f(n,P_5)$ and give conjectures for longer paths. △ Less

Submitted 15 October, 2021; v1 submitted 20 April, 2020; originally announced April 2020.

Comments: 9 pages, 2 figures

The maximum number of induced $C_5$'s in a planar graph

Authors: Debarun Ghosh, Ervin Győri, Oliver Janzer, Addisu Paulos, Nika Salia, Oscar Zamora

Abstract: Finding the maximum number of induced cycles of length $k$ in a graph on $n$ vertices has been one of the most intriguing open problems of Extremal Graph Theory. Recently Balogh, Hu, Lidický and Pfender answered the question in the case $k=5$. In this paper we determine precisely, for all sufficiently large $n$, the maximum number of induced $5$-cycles that an $n$-vertex planar graph can contain. Finding the maximum number of induced cycles of length $k$ in a graph on $n$ vertices has been one of the most intriguing open problems of Extremal Graph Theory. Recently Balogh, Hu, Lidický and Pfender answered the question in the case $k=5$. In this paper we determine precisely, for all sufficiently large $n$, the maximum number of induced $5$-cycles that an $n$-vertex planar graph can contain. △ Less

Submitted 8 September, 2021; v1 submitted 2 April, 2020; originally announced April 2020.

Comments: v2: 19 pages, improved main result; v3: small change in Corollary 1

Generalized Planar Turán Numbers

Authors: Ervin Győri, Addisu Paulos, Nika Salia, Casey Tompkins, Oscar Zamora

Abstract: In a generalized Turán problem, we are given graphs $H$ and $F$ and seek to maximize the number of copies of $H$ in an $F$-free graph of order $n$. We consider generalized Turán problems where the host graph is planar. In particular we obtain the order of magnitude of the maximum number of copies of a fixed tree in a planar graph containing no even cycle of length at most $2\ell$, for all $\ell$,… ▽ More In a generalized Turán problem, we are given graphs $H$ and $F$ and seek to maximize the number of copies of $H$ in an $F$-free graph of order $n$. We consider generalized Turán problems where the host graph is planar. In particular we obtain the order of magnitude of the maximum number of copies of a fixed tree in a planar graph containing no even cycle of length at most $2\ell$, for all $\ell$, $\ell \geq 1$. We obtain the order of magnitude of the maximum number of cycles of a given length in a planar $C_4$-free graph. An exact result is given for the maximum number of $5$-cycles in a $C_4$-free planar graph. Multiple conjectures are also introduced. △ Less

Submitted 17 March, 2020; v1 submitted 11 February, 2020; originally announced February 2020.

Comments: 14 pages, 1 figure

Independent Chains in Acyclic Posets

Authors: Nika Salia, Christoph Spiegel, Casey Tompkins, Oscar Zamora

Abstract: We consider the problem of determining the maximum order of an induced vertex-disjoint union of cliques in a graph. More specifically, given some family of graphs $\mathcal{G}$ of equal order, we are interested in the parameter $a(\mathcal{G}) = \min_{G \in \mathcal{G}} \max \{ |U| : U \subseteq V, G[U] \text{ is a vertex-disjoint union of cliques} \}$. We determine the value of this parameter pre… ▽ More We consider the problem of determining the maximum order of an induced vertex-disjoint union of cliques in a graph. More specifically, given some family of graphs $\mathcal{G}$ of equal order, we are interested in the parameter $a(\mathcal{G}) = \min_{G \in \mathcal{G}} \max \{ |U| : U \subseteq V, G[U] \text{ is a vertex-disjoint union of cliques} \}$. We determine the value of this parameter precisely when $\mathcal{G}$ is the family of comparability graphs of $n$-element posets with acyclic cover graph. In particular, we show that $a(\mathcal{G}) = (n+o(n))/\log_2 (n)$ in this class. △ Less

Submitted 10 December, 2019; v1 submitted 6 December, 2019; originally announced December 2019.

Comments: 15 pages, 6 figures

The Maximum Wiener Index of Maximal Planar Graphs

Authors: Debarun Ghosh, Ervin Győri, Addisu Paulos, Nika Salia, Oscar Zamora

Abstract: The Wiener index of a connected graph is the sum of the distances between all pairs of vertices in the graph. It was conjectured that the Wiener index of an $n$-vertex maximal planar graph is at most $\lfloor\frac{1}{18}(n^3+3n^2)\rfloor$. We prove this conjecture and for every $n$, $n \geq 10$, determine the unique $n$-vertex maximal planar graph for which this maximum is attained. The Wiener index of a connected graph is the sum of the distances between all pairs of vertices in the graph. It was conjectured that the Wiener index of an $n$-vertex maximal planar graph is at most $\lfloor\frac{1}{18}(n^3+3n^2)\rfloor$. We prove this conjecture and for every $n$, $n \geq 10$, determine the unique $n$-vertex maximal planar graph for which this maximum is attained. △ Less

Submitted 5 December, 2019; originally announced December 2019.

Comments: 13 pages, 4 figures

Connected Hypergraphs without long Berge paths

Authors: Ervin Győri, Nika Salia, Oscar Zamora

Abstract: We generalize a result of Balister, Gy{ő}ri, Lehel and Schelp for hypergraphs. We determine the unique extremal structure of an $n$-vertex, $r$-uniform, connected, hypergraph with the maximum number of hyperedges, without a $k$-Berge-path, where $n \geq N_{k,r}$, $k\geq 2r+13>17$. We generalize a result of Balister, Gy{ő}ri, Lehel and Schelp for hypergraphs. We determine the unique extremal structure of an $n$-vertex, $r$-uniform, connected, hypergraph with the maximum number of hyperedges, without a $k$-Berge-path, where $n \geq N_{k,r}$, $k\geq 2r+13>17$. △ Less

Submitted 28 April, 2021; v1 submitted 3 October, 2019; originally announced October 2019.

Comments: 11 pages, 1 figure

Journal ref: European Journal of Combinatorics, 2021

The Maximum Number of Paths of Length Three in a Planar Graph

Authors: Andrzej Grzesik, Ervin Győri, Addisu Paulos, Nika Salia, Casey Tompkins, Oscar Zamora

Abstract: Let $f(n,H)$ denote the maximum number of copies of $H$ possible in an $n$-vertex planar graph. The function $f(n,H)$ has been determined when $H$ is a cycle of length $3$ or $4$ by Hakimi and Schmeichel and when $H$ is a complete bipartite graph with smaller part of size 1 or 2 by Alon and Caro. We determine $f(n,H)$ exactly in the case when $H$ is a path of length 3. Let $f(n,H)$ denote the maximum number of copies of $H$ possible in an $n$-vertex planar graph. The function $f(n,H)$ has been determined when $H$ is a cycle of length $3$ or $4$ by Hakimi and Schmeichel and when $H$ is a complete bipartite graph with smaller part of size 1 or 2 by Alon and Caro. We determine $f(n,H)$ exactly in the case when $H$ is a path of length 3. △ Less

Submitted 11 July, 2021; v1 submitted 30 September, 2019; originally announced September 2019.

Comments: A simpler proof of the main result is now given

The Maximum Number of Pentagons in a Planar Graph

Authors: Ervin Győri, Addisu Paulos, Nika Salia, Casey Tompkins, Oscar Zamora

Abstract: In 1979, Hakimi and Schmeichel considered the problem of maximizing the number of cycles of a given length in an $n$-vertex planar graph. They precisely determined the maximum number of triangles and $4$-cycles and presented a conjecture for the maximum number of pentagons. In this work, we confirm their conjecture. Even more, we characterize the $n$-vertex, planar graphs with the maximum number o… ▽ More In 1979, Hakimi and Schmeichel considered the problem of maximizing the number of cycles of a given length in an $n$-vertex planar graph. They precisely determined the maximum number of triangles and $4$-cycles and presented a conjecture for the maximum number of pentagons. In this work, we confirm their conjecture. Even more, we characterize the $n$-vertex, planar graphs with the maximum number of pentagons. △ Less

Submitted 4 December, 2022; v1 submitted 30 September, 2019; originally announced September 2019.

Turán numbers of Berge trees

Authors: Ervin Győri, Nika Salia, Casey Tompkins, Oscar Zamora

Abstract: A classical conjecture of Erdős and Sós asks to determine the Turán number of a tree. We consider variants of this problem in the settings of hypergraphs and multi-hypergraphs. In particular, for all $k$ and $r$, with $r \ge k (k-2)$, we show that any $r$-uniform hypergraph $\mathcal{H}$ with more than $\frac{n(k-1)}{r+1}$ hyperedges contains a Berge copy of any tree with $k$ edges different from… ▽ More A classical conjecture of Erdős and Sós asks to determine the Turán number of a tree. We consider variants of this problem in the settings of hypergraphs and multi-hypergraphs. In particular, for all $k$ and $r$, with $r \ge k (k-2)$, we show that any $r$-uniform hypergraph $\mathcal{H}$ with more than $\frac{n(k-1)}{r+1}$ hyperedges contains a Berge copy of any tree with $k$ edges different from the $k$-edge star. This bound is sharp when $r+1$ divides $n$ and for such values of $n$ we determine the extremal hypergraphs. △ Less

Submitted 14 April, 2020; v1 submitted 14 April, 2019; originally announced April 2019.

Comments: 11 pages, 1 Figure

The Structure of Hypergraphs without long Berge cycles

Authors: Ervin Győri, Nathan Lemons, Nika Salia, Oscar Zamora

Abstract: We study the structure of $r$-uniform hypergraphs containing no Berge cycles of length at least $k$ for $k \leq r$, and determine that such hypergraphs have some special substructure. In particular we determine the extremal number of such hypergraphs, giving an affirmative answer to the conjectured value when $k=r$ and giving a a simple solution to a recent result of Kostochka-Luo when $k < r$. We study the structure of $r$-uniform hypergraphs containing no Berge cycles of length at least $k$ for $k \leq r$, and determine that such hypergraphs have some special substructure. In particular we determine the extremal number of such hypergraphs, giving an affirmative answer to the conjectured value when $k=r$ and giving a a simple solution to a recent result of Kostochka-Luo when $k < r$. △ Less

Submitted 11 July, 2019; v1 submitted 27 December, 2018; originally announced December 2018.

Comments: 9 pages, 2 figures

Ramsey numbers of Berge-hypergraphs and related structures

Authors: Nika Salia, Casey Tompkins, Zhiyu Wang, Oscar Zamora

Abstract: For a graph $G=(V,E)$, a hypergraph $\mathcal{H}$ is called a Berge-$G$, denoted by $BG$, if there exists a bijection $f: E(G) \to E(\mathcal{H})$ such that for every $e \in E(G)$, $e \subseteq f(e)$. Let the Ramsey number $R^r(BG,BG)$ be the smallest integer $n$ such that for any $2$-edge-coloring of a complete $r$-uniform hypergraph on $n$ vertices, there is a monochromatic Berge-$G$ subhypergra… ▽ More For a graph $G=(V,E)$, a hypergraph $\mathcal{H}$ is called a Berge-$G$, denoted by $BG$, if there exists a bijection $f: E(G) \to E(\mathcal{H})$ such that for every $e \in E(G)$, $e \subseteq f(e)$. Let the Ramsey number $R^r(BG,BG)$ be the smallest integer $n$ such that for any $2$-edge-coloring of a complete $r$-uniform hypergraph on $n$ vertices, there is a monochromatic Berge-$G$ subhypergraph. In this paper, we show that the 2-color Ramsey number of Berge cliques is linear. In particular, we show that $R^3(BK_s, BK_t) = s+t-3$ for $s,t \geq 4$ and $\max(s,t) \geq 5$ where $BK_n$ is a Berge-$K_n$ hypergraph. For higher uniformity, we show that $R^4(BK_t, BK_t) = t+1$ for $t\geq 6$ and $R^k(BK_t, BK_t)=t$ for $k \geq 5$ and $t$ sufficiently large. We also investigate the Ramsey number of trace hypergraphs, suspension hypergraphs and expansion hypergraphs. △ Less

Submitted 12 November, 2019; v1 submitted 29 August, 2018; originally announced August 2018.

Comments: Updated to include suggestions of the referee

Avoiding long Berge cycles, the missing cases $k=r+1$ and $k = r+2$

Authors: Beka Ergemlidze, Ervin Győri, Abhishek Methuku, Nika Salia, Casey Tompkins, Oscar Zamora

Abstract: The maximum size of an $r$-uniform hypergraph without a Berge cycle of length at least $k$ has been determined for all $k \ge r+3$ by Füredi, Kostochka and Luo and for $k<r$ (and $k=r$, asymptotically) by Kostochka and Luo. In this paper, we settle the remaining cases: $k=r+1$ and $k=r+2$, proving a conjecture of Füredi, Kostochka and Luo. The maximum size of an $r$-uniform hypergraph without a Berge cycle of length at least $k$ has been determined for all $k \ge r+3$ by Füredi, Kostochka and Luo and for $k<r$ (and $k=r$, asymptotically) by Kostochka and Luo. In this paper, we settle the remaining cases: $k=r+1$ and $k=r+2$, proving a conjecture of Füredi, Kostochka and Luo. △ Less

Submitted 23 August, 2018; originally announced August 2018.

The maximum number of $P_\ell$ copies in $P_k$-free graphs

Authors: Ervin Győri, Nika Salia, Casey Tompkins, Oscar Zamora

Abstract: Generalizing Turán's classical extremal problem, Alon and Shikhelman investigated the problem of maximizing the number of $T$ copies in an $H$-free graph, for a pair of graphs $T$ and $H$. Whereas Alon and Shikhelman were primarily interested in determining the order of magnitude for large classes of graphs $H$, we focus on the case when $T$ and $H$ are paths, where we find asymptotic and in some… ▽ More Generalizing Turán's classical extremal problem, Alon and Shikhelman investigated the problem of maximizing the number of $T$ copies in an $H$-free graph, for a pair of graphs $T$ and $H$. Whereas Alon and Shikhelman were primarily interested in determining the order of magnitude for large classes of graphs $H$, we focus on the case when $T$ and $H$ are paths, where we find asymptotic and in some cases exact results. We also consider other structures like stars and the set of cycles of length at least $k$, where we derive asymptotically sharp estimates. Our results generalize well-known extremal theorems of Erdős and Gallai. △ Less

Submitted 11 July, 2019; v1 submitted 8 March, 2018; originally announced March 2018.

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 21 no. 1, ICGT 2018 (July 13, 2019) dmtcs:4958

An Erdős-Gallai type theorem for vertex colored graphs

Authors: Nika Salia, Casey Tompkins, Oscar Zamora

Abstract: While investigating odd-cycle free hypergraphs, Győri and Lemons introduced a colored version of the classical theorem of Erdős and Gallai on $P_k$-free graphs. They proved that any graph $G$ with a proper vertex coloring and no path of length $2k+1$ with endpoints of different colors has at most $2kn$ edges. We show that Erdős and Gallai's original sharp upper bound of $kn$ holds for their proble… ▽ More While investigating odd-cycle free hypergraphs, Győri and Lemons introduced a colored version of the classical theorem of Erdős and Gallai on $P_k$-free graphs. They proved that any graph $G$ with a proper vertex coloring and no path of length $2k+1$ with endpoints of different colors has at most $2kn$ edges. We show that Erdős and Gallai's original sharp upper bound of $kn$ holds for their problem as well. We also introduce a version of this problem for trees and present a generalization of the Erdős-Sós conjecture. △ Less

Submitted 12 December, 2017; originally announced December 2017.

Journal ref: Graphs and Combinatorics (2019) 35

On the maximum size of connected hypergraphs without a path of given length

Authors: Ervin Győri, Abhishek Methuku, Nika Salia, Casey Tompkins, Máté Vizer

Abstract: In this note we asymptotically determine the maximum number of hyperedges possible in an $r$-uniform, connected $n$-vertex hypergraph without a Berge path of length $k$, as $n$ and $k$ tend to infinity. We show that, unlike in the graph case, the multiplicative constant is smaller with the assumption of connectivity. In this note we asymptotically determine the maximum number of hyperedges possible in an $r$-uniform, connected $n$-vertex hypergraph without a Berge path of length $k$, as $n$ and $k$ tend to infinity. We show that, unlike in the graph case, the multiplicative constant is smaller with the assumption of connectivity. △ Less

Submitted 23 October, 2017; originally announced October 2017.

A note on the maximum number of triangles in a $C_5$-free graph

Authors: Beka Ergemlidze, Ervin Győri, Abhishek Methuku, Nika Salia

Abstract: We prove that the maximum number of triangles in a $C_5$-free graph on $n$ vertices is at most $\frac{1}{2 \sqrt 2} (1 + o(1)) n^{3/2}$, improving an estimate of Alon and Shikhelman. We prove that the maximum number of triangles in a $C_5$-free graph on $n$ vertices is at most $\frac{1}{2 \sqrt 2} (1 + o(1)) n^{3/2}$, improving an estimate of Alon and Shikhelman. △ Less

Submitted 9 June, 2017; originally announced June 2017.

Numerical comparison of different algorithms for construction of wavelet matrices

Authors: Nika Salia, Alexander Gamkrelidze, Lasha Ephremidze

Abstract: Factorization of compact wavelet matrices into primitive ones has been known for more than 20 years. This method makes it possible to generate wavelet matrix coefficients and also to specify them by their first row. Recently, a new parametrization of compact wavelet matrices of the same order and degree has been introduced by the last author. This method also enables us to fulfill the above mentio… ▽ More Factorization of compact wavelet matrices into primitive ones has been known for more than 20 years. This method makes it possible to generate wavelet matrix coefficients and also to specify them by their first row. Recently, a new parametrization of compact wavelet matrices of the same order and degree has been introduced by the last author. This method also enables us to fulfill the above mentioned tasks of matrix constructions. In the present paper, we briefly describe the corresponding algorithms based on two different methods, and numerically compare their performance △ Less

Submitted 19 November, 2012; originally announced November 2012.