Source author record

Dániel Gerbner

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

33works
3topics
4close collaborators

Published work

33 publications

preprint2023arXiv

On non-degenerate Berge-Turán problems

Given a hypergraph H\mathcal{H} and a graph GG, we say that H\mathcal{H} is a \textit{Berge}-GG if there is a bijection between the hyperedges of H\mathcal{H} and the edges of GG such that each hyperedge contains its image. We denote by exk(n,Berge-F)ex_k(n,\text{Berge-}F) the largest number of hyperedges in a kk-uniform Berge-FF-free graph. Let ex(n,H,F)ex(n,H,F) denote the largest number of copies of HH in nn-vertex FF-free graphs. It is known that ex(n,Kk,F)≤exk(n,Berge-F)≤ex(n,Kk,F)+ex(n,F)ex(n,K_k,F)\le ex_k(n,\text{Berge-}F)\le ex(n,K_k,F)+ex(n,F), thus if χ(F)>rχ(F)>r, then exk(n,Berge-F)=(1+o(1))ex(n,Kk,F)ex_k(n,\text{Berge-}F)=(1+o(1)) ex(n,K_k,F). We conjecture that exk(n,Berge-F)=ex(n,Kk,F)ex_k(n,\text{Berge-}F)=ex(n,K_k,F) in this case. We prove this conjecture in several instances, including the cases k=3k=3 and k=4k=4. We prove the general bound exk(n,Berge-F)=ex(n,Kk,F)+O(1)ex_k(n,\text{Berge-}F)= ex(n,K_k,F)+O(1).

preprint2022arXiv

A note on the number of triangles in graphs without the suspension of a path on four vertices

The suspension of the path P4P_4 consists of a P4P_4 and an additional vertex connected to each of the four vertices, and is denoted by P4^\hat{P_4}. The largest number of triangles in a P4^\hat{P_4}-free nn-vertex graph is denoted by ex(n,K3,P4^)ex(n,K_3,\hat{P_4}). Mubayi and Mukherjee in 2020 showed that ex(n,K3,P4^)=n2/8+O(n) ex(n,K_3,\hat{P_4})= n^2/8+O(n). We show that for sufficiently large nn, ex(n,K3,P4^)=⌊n2/8⌋ex(n,K_3,\hat{P_4})=\lfloor n^2/8\rfloor.

preprint2022arXiv

Generalized Turán problems for double stars

We study the generalized Turán function ex(n,H,F)ex(n,H,F), when HH or FF is a double star Sa,bS_{a,b}, which is a tree with a central edge uvuv, aa leaves connected to uu and bb leaves connected to vv. We determine ex(n,Kk,Sa,b)ex(n,K_k,S_{a,b}) and ex(n,Sa,b,F)ex(n,S_{a,b},F) for sufficiently large nn, where FF is either a 3-chromatic graph with an edge whose deletion results in a bipartite graph, or the 2-fan, i.e. two triangles sharing a vertex. We also give bounds on ex(n,Sa,b,Sc,d)ex(n,S_{a,b},S_{c,d}).

preprint2022arXiv

Generalized Turán results for intersecting cliques

For fixed graphs FF and HH, the generalized Turán problem asks for the maximum number ex(n,H,F)ex(n,H,F) of copies of HH that an nn-vertex FF-free graph can have. In this paper, we focus on cases with FF being Br,sB_{r,s}, the graph consisting of two cliques of size ss sharing rr common vertices. We determine ex(n,Kt,Br,0)ex(n,K_t,B_{r,0}), ex(n,Kt,Br,1)ex(n,K_t,B_{r,1}) and ex(n,Ka,b,B3,1)ex(n,K_{a,b},B_{3,1}) for all values of a,b,r,ta,b,r,t if nn is large enough.

preprint2022arXiv

On weakly Turán-good graphs

Given graphs HH and FF with χ(H)<χ(F)χ(H)<χ(F), we say that HH is weakly FF-Turán-good if among nn-vertex FF-free graphs, a (χ(F)−1)(χ(F)-1)-partite graph contains the most copies of HH. Let HH be a bipartite graph that contains a complete bipartite subgraph KK such that each vertex of HH is adjacent to a vertex of KK. We show that HH is weakly K3K_3-Turán-good, improving a very recent asymptotic bound due to Grzesik, Gy\H ori, Salia and Tompkins. They also showed that for any rr there exist graphs that are not weakly KrK_r-Turán-good. We show that for any non-bipartite FF there exists graphs that are not weakly FF-Turán-good. We also show examples of graphs that are C2k+1C_{2k+1}-Turán-good but not C2ℓ+1C_{2\ell+1}-Turán-good for every k>ℓk>\ell.

preprint2022arXiv

Some exact results for non-degenerate generalized Turán problems

The generalized Turán number ex(n,H,F)\mathrm{ex}(n,H,F) is the maximum number of copies of HH in nn-vertex FF-free graphs. We consider the case where χ(H)<χ(F)χ(H)<χ(F). There are several exact results on ex(n,H,F)\mathrm{ex}(n,H,F) when the extremal graph is a complete (χ(F)−1)(χ(F)-1)-partite graph. We obtain multiple exact results with other kinds of extremal graphs.

preprint2022arXiv

Some stability and exact results in generalized Turán problems

Given graphs HH and FF, the generalized Turán number ex(n,H,F)\mathrm{ex}(n,H,F) is the largest number of copies of HH in nn-vertex FF-free graphs. Stability refers to the usual phenomenon that if an nn-vertex FF-free graph GG contains almost ex(n,H,F)\mathrm{ex}(n,H,F) copies of HH, than GG is in some sense similar to some extremal graph. We obtain new stability results for generalized Turán problems and derive several new exact results.

preprint2022arXiv

The maximum number of triangles in FkF_k-free graphs

The generalized Turán number ex(n,Ks,H)ex(n,K_s,H) is the maximum number of complete graph KsK_s in an HH-free graph on nn vertices. Let FkF_k be the friendship graph consisting of kk triangles. Erdős and Sós (1976) determined the value of ex(n,K3,F2)ex(n,K_3,F_2). Alon and Shikhelman (2016) proved that ex(n,K3,Fk)≤(9k−15)(k+1)n.ex(n,K_3, F_k)\le (9k-15)(k+1)n. In this paper, by using a method developed by Chung and Frankl in hypergraph theory, we determine the exact value of ex(n,K3,Fk)ex(n,K_3,F_k) and the extremal graph for any FkF_k when n≥4k3n\ge 4k^3.

preprint2021arXiv

A note on stability for maximal FF-free graphs

Popielarz, Sahasrabudhe and Snyder in 2018 proved that maximal Kr+1K_{r+1}-free graphs with (1−1r)n22−o(nr+1r)(1-\frac{1}{r})\frac{n^2}{2}-o(n^{\frac{r+1}{r}}) edges contain a complete rr-partite subgraph on n−o(n)n-o(n) vertices. This was very recently extended to odd cycles in place of K3K_3 by Wang, Wang, Yang and Yuan. We further extend it to some other 3-chromatic graphs, and obtain some other stability results along the way.

preprint2020arXiv

Adaptive Majority Problems for Restricted Query Graphs and for Weighted Sets

Suppose that the vertices of a graph GG are colored with two colors in an unknown way. The color that occurs on more than half of the vertices is called the majority color (if it exists), and any vertex of this color is called a majority vertex. We study the problem of finding a majority vertex (or show that none exists) if we can query edges to learn whether their endpoints have the same or different colors. Denote the least number of queries needed in the worst case by m(G)m(G). It was shown by Saks and Werman that m(Kn)=n−b(n)m(K_n)=n-b(n), where b(n)b(n) is the number of 1's in the binary representation of nn. In this paper, we initiate the study of the problem for general graphs. The obvious bounds for a connected graph GG on nn vertices are n−b(n)≤m(G)≤n−1n-b(n)\le m(G)\le n-1. We show that for any tree TT on an even number of vertices we have m(T)=n−1m(T)=n-1 and that for any tree TT on an odd number of vertices, we have n−65≤m(T)≤n−2n-65\le m(T)\le n-2. Our proof uses results about the weighted version of the problem for KnK_n, which may be of independent interest. We also exhibit a sequence GnG_n of graphs with m(Gn)=n−b(n)m(G_n)=n-b(n) such that GnG_n has O(nb(n))O(nb(n)) edges and nn vertices.

preprint2020arXiv

Generalized Turán problems for small graphs

For graphs HH and FF, the generalized Turán number ex(n,H,F)ex(n,H,F) is the largest number of copies of HH in an FF-free graph on nn vertices. We consider this problem when both HH and FF have at most four vertices. We give sharp results in almost all cases, and connect the remaining cases to well-known unsolved problems. Our main new contribution is applying the progressive induction method of Simonovits for generalized Turán problems.

preprint2020arXiv

Rainbow Ramsey problems for the Boolean lattice

We address the following rainbow Ramsey problem: For posets P,QP,Q what is the smallest number nn such that any coloring of the elements of the Boolean lattice BnB_n either admits a monochromatic copy of PP or a rainbow copy of QQ. We consider both weak and strong (non-induced and induced) versions of this problem. We also investigate related problems on (partial) kk-colorings of BnB_n that do not admit rainbow antichains of size kk.

preprint2020arXiv

Some exact results for generalized Turán problems

Fix a kk-chromatic graph FF. In this paper we consider the question to determine for which graphs HH does the Turán graph Tk−1(n)T_{k-1}(n) have the maximum number of copies of HH among all nn-vertex FF-free graphs (for nn large enough). We say that such a graph HH is FF-Turán-good. In addition to some general results, we give (among others) the following concrete results: (i) For every complete multipartite graph HH, there is kk large enough such that HH is KkK_k-Turán-good. (ii) The path P3P_3 is FF-Turán-good for FF with χ(F)≥4χ(F) \geq 4. (iii) The path P4P_4 and cycle C4C_4 are C5C_5-Turán-good. (iv) The cycle C4C_4 is F2F_2-Turán-good where F2F_2 is the graph of two triangles sharing exactly one vertex.

preprint2020arXiv

Supersaturation, counting, and randomness in forbidden subposet problems

In the area of forbidden subposet problems we look for the largest possible size La(n,P)La(n,P) of a family F⊆2[n]\mathcal{F}\subseteq 2^{[n]} that does not contain a forbidden inclusion pattern described by PP. The main conjecture of the area states that for any finite poset PP there exists an integer e(P)e(P) such that La(n,P)=(e(P)+o(1))(n⌊n/2⌋)La(n,P)=(e(P)+o(1))\binom{n}{\lfloor n/2\rfloor}. In this paper, we formulate three strengthenings of this conjecture and prove them for some specific classes of posets. (The parameters x(P)x(P) and d(P)d(P) are defined in the paper.) ∙\bullet For any finite connected poset PP and ε>0\varepsilon>0, there exists δ>0δ>0 and an integer x(P)x(P) such that for any nn large enough, and F⊆2[n]\mathcal{F}\subseteq 2^{[n]} of size (e(P)+ε)(n⌊n/2⌋)(e(P)+\varepsilon)\binom{n}{\lfloor n/2\rfloor}, F\mathcal{F} contains at least δnx(P)(n⌊n/2⌋)δn^{x(P)}\binom{n}{\lfloor n/2\rfloor} copies of PP. ∙\bullet The number of PP-free families in 2[n]2^{[n]} is 2(e(P)+o(1))(n⌊n/2⌋)2^{(e(P)+o(1))\binom{n}{\lfloor n/2\rfloor}}. ∙\bullet For any finite poset PP, there exists a positive rational d(P)d(P) such that if p=ω(n−d(P))p=ω(n^{-d(P)}), then the size of the largest PP-free family in P(n,p)\mathcal{P}(n,p) is (e(P)+o(1))p(n⌊n/2⌋)(e(P)+o(1))p\binom{n}{\lfloor n/2\rfloor} with high probability.

preprint2016arXiv

A note on tilted Sperner families with patterns

Let pp and qq be two nonnegative integers with p+q>0p+q>0 and n>0n>0. We call F⊂P([n])\mathcal{F} \subset \mathcal{P}([n]) a \textit{(p,q)-tilted Sperner family with patterns on [n]} if there are no distinct F,G∈FF,G \in \mathcal{F} with: (i)  p∣F∖G∣=q∣G∖F∣, and(i) \ \ p|F \setminus G|=q|G \setminus F|, \ \textrm{and} (ii) f>g for all f∈F∖G and g∈G∖F.(ii) \ f > g \ \textrm{for all} \ f \in F \setminus G \ \textrm{and} \ g \in G \setminus F. Long (\cite{L}) proved that the cardinality of a (1,2)-tilted Sperner family with patterns on [n][n] is O(e120log⁡n 2nn).O(e^{120\sqrt{\log n}}\ \frac{2^n}{\sqrt{n}}). We improve and generalize this result, and prove that the cardinality of every (p,qp,q)-tilted Sperner family with patterns on [nn] is O(log⁡n 2nn).O(\sqrt{\log n} \ \frac{2^n}{\sqrt{n}}).

preprint2016arXiv

Finding a non-minority ball with majority answers

Suppose we are given a set of nn balls {b1,…,bn}\{b_1,\ldots,b_n\} each colored either red or blue in some way unknown to us. To find out some information about the colors, we can query any triple of balls {bi1,bi2,bi3}\{b_{i_1},b_{i_2},b_{i_3}\}. As an answer to such a query we obtain (the index of) a {\em majority ball}, that is, a ball whose color is the same as the color of another ball from the triple. Our goal is to find a {\em non-minority ball}, that is, a ball whose color occurs at least n2\frac n2 times among the nn balls. We show that the minimum number of queries needed to solve this problem is Θ(n)Θ(n) in the adaptive case and Θ(n3)Θ(n^3) in the non-adaptive case. We also consider some related problems.

preprint2016arXiv

On the number of cycles in a graph with restricted cycle lengths

Let LL be a set of positive integers. We call a (directed) graph GG an LL\emph{-cycle graph} if all cycle lengths in GG belong to LL. Let c(L,n)c(L,n) be the maximum number of cycles possible in an nn-vertex LL-cycle graph (we use c⃗(L,n)\vec{c}(L,n) for the number of cycles in directed graphs). In the undirected case we show that for any fixed set LL, we have c(L,n)=ΘL(n⌊k/ℓ⌋)c(L,n)=Θ_L(n^{\lfloor k/\ell \rfloor}) where kk is the largest element of LL and 2ℓ2\ell is the smallest even element of LL (if LL contains only odd elements, then c(L,n)=ΘL(n)c(L,n)=Θ_L(n) holds.) We also give a characterization of LL-cycle graphs when LL is a single element. In the directed case we prove that for any fixed set LL we have c⃗(L,n)=(1+o(1))(n−1k−1)k−1\vec{c}(L,n)=(1+o(1))(\frac{n-1}{k-1})^{k-1}, where kk is the largest element of LL. We determine the exact value of c⃗({k},n)\vec{c}(\{k\},n) for every kk and characterize all graphs attaining this maximum.

preprint2016arXiv

Rounds in a combinatorial search problem

We consider the following combinatorial search problem: we are given some excellent elements of [n][n] and we should find at least one, asking questions of the following type: "Is there an excellent element in A⊂[n]A \subset [n]?". G.O.H. Katona proved sharp results for the number of questions needed to ask in the adaptive, non-adaptive and two-round versions of this problem. We verify a conjecture of Katona by proving that in the rr-round version we need to ask rn1/r+O(1)rn^{1/r}+O(1) queries for fixed rr and this is sharp. We also prove bounds for the queries needed to ask if we want to find at least dd excellent elements.

preprint2016arXiv

Topological orderings of weighted directed acyclic graphs

We call a topological ordering of a weighted directed acyclic graph non-negative if the sum of weights on the vertices in any prefix of the ordering is non-negative. We investigate two processes for constructing non-negative topological orderings of weighted directed acyclic graphs. The first process is called a mark sequence and the second is a generalization called a mark-unmark sequence. We answer a question of Erickson by showing that every non-negative topological ordering that can be realized by a mark-unmark sequence can also be realized by a mark sequence. We also investigate the question of whether a given weighted directed acyclic graph has a non-negative topological ordering. We show that even in the simple case when every vertex is a source or a sink the question is NP-complete.

preprint2015arXiv

Extremal results for Berge-hypergraphs

Let GG be a graph and H\mathcal{H} be a hypergraph both on the same vertex set. We say that a hypergraph H\mathcal{H} is a \emph{Berge}-GG if there is a bijection f:E(G)→E(H)f : E(G) \rightarrow E(\mathcal{H}) such that for e∈E(G)e \in E(G) we have e⊂f(e)e \subset f(e). This generalizes the established definitions of "Berge path" and "Berge cycle" to general graphs. For a fixed graph GG we examine the maximum possible size (i.e.\ the sum of the cardinality of each edge) of a hypergraph with no Berge-GG as a subhypergraph. In the present paper we prove general bounds for this maximum when GG is an arbitrary graph. We also consider the specific case when GG is a complete bipartite graph and prove an analogue of the K\H ovári-Sós-Turán theorem.

preprint2015arXiv

Generalising separating families of fixed size

We examine the following version of a classic combinatorial search problem introduced by Rényi: Given a finite set XX of nn elements we want to identify an unknown subset Y⊂XY \subset X of exactly dd elements by testing, by as few as possible subsets AA of XX, whether AA contains an element of YY or not. We are primarily concerned with the model where the family of test sets is specified in advance (non-adaptive) and each test set is of size at most a given kk. Our main results are asymptotically sharp bounds on the minimum number of tests necessary for fixed dd and kk and for nn tending to infinity.

preprint2014arXiv

A discrete isodiametric result: the Erdős-Ko-Rado theorem for multisets

There are many generalizations of the Erdős-Ko-Rado theorem. We give new results (and problems) concerning families of tt-intersecting kk-element multisets of an nn-set and point out connections to coding theory and classical geometry. We establish the conjecture that for n≥t(k−t)+2n \geq t(k-t)+2 such a family can have at most (n+k−t−1k−t){n+k-t-1\choose k-t} members.

preprint2012arXiv

Density-based group testing

In this paper we study a new, generalized version of the well-known group testing problem. In the classical model of group testing we are given n objects, some of which are considered to be defective. We can test certain subsets of the objects whether they contain at least one defective element. The goal is usually to find all defectives using as few tests as possible. In our model the presence of defective elements in a test set Q can be recognized if and only if their number is large enough compared to the size of Q. More precisely for a test Q the answer is 'yes' if and only if there are at least α|Q| defective elements in Q for some fixed α.

preprint2012arXiv

Edge-decomposition of graphs into copies of a tree with four edges

We study edge-decompositions of highly connected graphs into copies of a given tree. In particular we attack the following conjecture by Barát and Thomassen: for each tree TT, there exists a natural number kTk_T such that if GG is a kTk_T-edge-connected graph, and ∣E(T)∣|E(T)| divides ∣E(G)∣|E(G)|, then E(G)E(G) has a decomposition into copies of TT. As one of our main results it is sufficient to prove the conjecture for bipartite graphs. Let YY be the unique tree with degree sequence (1,1,1,2,3)(1,1,1,2,3). We prove that if GG is a 191-edge-connected graph of size divisible by 4, then GG has a YY-decomposition. This is the first instance of such a theorem, in which the tree is different from a path or a star.

preprint2012arXiv

Majority and Plurality Problems

Given a set of n balls each colored with a color, a ball is said to be majority, k-majority, plurality if its color class has size larger than half of the number of balls, has size at least k, has size larger than any other color class; respectively. We address the problem of finding the minimum number of queries (a comparison of a pair of balls if they have the same color or not) that is needed to decide whether a majority, k-majority or plurality ball exists and if so then show one such ball. We consider both adaptive and non-adaptive strategies and in certain cases, we also address weighted versions of the problems.

preprint2011arXiv

Cross-Sperner families

A pair of families $(\cF,\cG)$ is said to be \emph{cross-Sperner} if there exists no pair of sets $F \in \cF, G \in \cG$ with F⊆GF \subseteq G or G⊆FG \subseteq F. There are two ways to measure the size of the pair $(\cF,\cG)$: with the sum $|\cF|+|\cG|$ or with the product $|\cF|\cdot |\cG|$. We show that if $\cF, \cG \subseteq 2^{[n]}$, then $|\cF||\cG| \le 2^{2n-4}$ and $|\cF|+|\cG|$ is maximal if $\cF$ or $\cG$ consists of exactly one set of size ⌈n/2⌉\lceil n/2 \rceil provided the size of the ground set nn is large enough and both $\cF$ and $\cG$ are non-empty.

preprint2011arXiv

Generalizations of the Tree Packing Conjecture

The Gyárfás tree packing conjecture asserts that any set of trees with 2,3,...,k2,3, ..., k vertices has an (edge-disjoint) packing into the complete graph on kk vertices. Gyárfás and Lehel proved that the conjecture holds in some special cases. We address the problem of packing trees into kk-chromatic graphs. In particular, we prove that if all but three of the trees are stars then they have a packing into any kk-chromatic graph. We also consider several other generalizations of the conjecture.

preprint2011arXiv

Path-search in the pyramid and in other graphs

We are given an acyclic directed graph with one source, and a subset of its edges which contains exactly one outgoing edge for every non-sink vertex. These edges determine a unique path from the source to a sink. We can think of it as a switch in every vertex, which determines which way the water arriving to that vertex flows further. We are interested in determining either the sink the flow arrives, or the whole path, with as few questions as possible. The questions we can ask correspond to the vertices of the graph, and the answer describes the switch, i.e. tells which outgoing edge is in our given subset. Originally the problem was proposed by Soren Riis (who posed the question for pyramid graphs) in the following more general form. We are given a natural number k, and k questions can be asked in a round. The goal is to minimize the number of rounds. We completely solve this problem for complete t-ary trees. Also, for pyramid graphs we present some non-trivial partial results.

preprint2011arXiv

Two-part set systems

The two part Sperner theorem of Katona and Kleitman states that if XX is an nn-element set with partition X1∪X2X_1 \cup X_2, and $\cF$ is a family of subsets of XX such that no two sets $A, B \in \cF$ satisfy A⊂BA \subset B (or B⊂AB \subset A) and A∩Xi=B∩XiA \cap X_i=B \cap X_i for some ii, then $|\cF| \le {n \choose \lfloor n/2 \rfloor}$. We consider variations of this problem by replacing the Sperner property with the intersection property and considering families that satisfiy various combinations of these properties on one or both parts X1X_1, X2X_2. Along the way, we prove the following new result which may be of independent interest: let $\cF, \cG$ be families of subsets of an nn-element set such that $\cF$ and $\cG$ are both intersecting and cross-Sperner, meaning that if $A \in \cF$ and $B \in \cG$, then A⊄BA \not\subset B and B⊄AB \not\subset A. Then $|\cF| +|\cG| < 2^{n-1}$ and there are exponentially many examples showing that this bound is tight.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.