Showing 1–50 of 160 results for author: Balogh, J

On the maximum $F$-free induced subgraphs in $K_t$-free graphs

Authors: József Balogh, Ce Chen, Haoran Luo

Abstract: For graphs $F$ and $H$, let $f_{F,H}(n)$ be the minimum possible size of a maximum $F$-free induced subgraph in an $n$-vertex $H$-free graph. This notion generalizes the Ramsey function and the Erdős--Rogers function. Establishing a container lemma for the $F$-free subgraphs, we give a general upper bound on $f_{F,H}(n)$, assuming the existence of certain locally dense $H$-free graphs. In particul… ▽ More For graphs $F$ and $H$, let $f_{F,H}(n)$ be the minimum possible size of a maximum $F$-free induced subgraph in an $n$-vertex $H$-free graph. This notion generalizes the Ramsey function and the Erdős--Rogers function. Establishing a container lemma for the $F$-free subgraphs, we give a general upper bound on $f_{F,H}(n)$, assuming the existence of certain locally dense $H$-free graphs. In particular, we prove that for every graph $F$ with $\mathrm{ex}(m,F) = O(m^{1+α})$, where $α\in [0,1/2)$, we have \[ f_{F, K_3}(n) = O\left(n^{\frac{1}{2-α}}\left(\log n\right)^{\frac{3}{2- α}}\right) \quad \textrm{and} \quad f_{F, K_4}(n) = O\left(n^{\frac{1}{3-2α}}\left(\log n\right)^{\frac{6}{3-2α}}\right). \] For the cases where $F$ is a complete multipartite graph, letting $s = \sum_{i=1}^r s_i$, we prove that \[ f_{K_{s_1,\ldots,s_r}, K_{r+2}}(n) = O \left( n^{\frac{2s -3}{4s -5}} (\log n)^{3} \right). \] We also make an observation which improves the bounds of $\mathrm{ex}(G(n,p),C_4)$ by a polylogarithmic factor. △ Less

Submitted 19 June, 2024; originally announced June 2024.

Comments: 14 pages

MSC Class: 05D10 05C55 05C35 05C80

On the number of $P$-free set systems for tree posets $P$

Authors: József Balogh, Ramon I. Garcia, Michael C. Wigal

Abstract: We say a finite poset $P$ is a tree poset if its Hasse diagram is a tree. Let $k$ be the length of the largest chain contained in $P$. We show that when $P$ is a fixed tree poset, the number of $P$-free set systems in $2^{[n]}$ is $2^{(1+o(1))(k-1){n \choose \lfloor n/2\rfloor}}$. The proof uses a generalization of a theorem by Boris Bukh together with a variation of the multiphase graph container… ▽ More We say a finite poset $P$ is a tree poset if its Hasse diagram is a tree. Let $k$ be the length of the largest chain contained in $P$. We show that when $P$ is a fixed tree poset, the number of $P$-free set systems in $2^{[n]}$ is $2^{(1+o(1))(k-1){n \choose \lfloor n/2\rfloor}}$. The proof uses a generalization of a theorem by Boris Bukh together with a variation of the multiphase graph container algorithm. △ Less

Submitted 15 May, 2024; originally announced May 2024.

Generalized Ramsey-Turán Numbers

Authors: József Balogh, Van Magnan, Cory Palmer

Abstract: The Ramsey-Turán problem for $K_p$ asks for the maximum number of edges in an $n$-vertex $K_p$-free graph with independence number $o(n)$. In a natural generalization of the problem, cliques larger than the edge $K_2$ are counted. Let {\bf RT}$(n,\#K_q,K_p,o(n))$ denote the maximum number of copies of $K_q$ in an $n$-vertex $K_p$-free graph with independence number $o(n)$. Balogh, Liu and Sharifza… ▽ More The Ramsey-Turán problem for $K_p$ asks for the maximum number of edges in an $n$-vertex $K_p$-free graph with independence number $o(n)$. In a natural generalization of the problem, cliques larger than the edge $K_2$ are counted. Let {\bf RT}$(n,\#K_q,K_p,o(n))$ denote the maximum number of copies of $K_q$ in an $n$-vertex $K_p$-free graph with independence number $o(n)$. Balogh, Liu and Sharifzadeh determined the asymptotics of {\bf RT}$(n,\# K_3,K_p,o(n))$. In this paper we will establish the asymptotics for counting copies of $K_4$, $K_5$, and for the case $p \geq 5q$. We also provide a family of counterexamples to a conjecture of Balogh, Liu and Sharifzadeh. △ Less

Submitted 13 May, 2024; v1 submitted 2 May, 2024; originally announced May 2024.

Comments: Fixed an icorrect row in Table 1 and corresponding computation in proof of Theorem 1.5

Grid-drawings of graphs in three-dimensions

Authors: Jozsef Balogh, Ethan Patrick White

Abstract: Using probabilistic methods, we obtain grid-drawings of graphs without crossings with low volume and small aspect ratio. We show that every $D$-degenerate graph on $n$ vertices can be drawn in $[m]^3$ where $m^3 = O(D^2 n\log n)$. In particular, every graph of bounded maximum degree can be drawn in a grid with volume $O(n \log n)$. Using probabilistic methods, we obtain grid-drawings of graphs without crossings with low volume and small aspect ratio. We show that every $D$-degenerate graph on $n$ vertices can be drawn in $[m]^3$ where $m^3 = O(D^2 n\log n)$. In particular, every graph of bounded maximum degree can be drawn in a grid with volume $O(n \log n)$. △ Less

Submitted 14 June, 2024; v1 submitted 2 April, 2024; originally announced April 2024.

MSC Class: 68R10

On the maximum number of $r$-cliques in graphs free of complete $r$-partite subgraphs

Authors: József Balogh, Suyun Jiang, Haoran Luo

Abstract: We estimate the maximum possible number of cliques of size $r$ in an $n$-vertex graph free of a fixed complete $r$-partite graph $K_{s_1, s_2, \ldots, s_r}$. By viewing every $r$-clique as a hyperedge, the upper bound on the Turán number of the complete $r$-partite hypergraphs gives the upper bound $O\left(n^{r - {1}/{\prod_{i=1}^{r-1}s_i}}\right)$. We improve this to… ▽ More We estimate the maximum possible number of cliques of size $r$ in an $n$-vertex graph free of a fixed complete $r$-partite graph $K_{s_1, s_2, \ldots, s_r}$. By viewing every $r$-clique as a hyperedge, the upper bound on the Turán number of the complete $r$-partite hypergraphs gives the upper bound $O\left(n^{r - {1}/{\prod_{i=1}^{r-1}s_i}}\right)$. We improve this to $o\left(n^{r - {1}/{\prod_{i=1}^{r-1}s_i}}\right)$. The main tool in our proof is the graph removal lemma. We also provide several lower bound constructions. △ Less

Submitted 26 February, 2024; originally announced February 2024.

Comments: 6 pages

MSC Class: 05C35

On multicolor Turán numbers

Authors: József Balogh, Anita Liebenau, Letícia Mattos, Natasha Morrison

Abstract: We address a problem which is a generalization of Turán-type problems recently introduced by Imolay, Karl, Nagy and Váli. Let $F$ be a fixed graph and let $G$ be the union of $k$ edge-disjoint copies of $F$, namely $G = \mathbin{\dot{\cup}}_{i=1}^{k} F_i$, where each $F_i$ is isomorphic to a fixed graph $F$ and $E(F_i)\cap E(F_j)=\emptyset$ for all $i \neq j$. We call a subgraph $H\subseteq G$ mul… ▽ More We address a problem which is a generalization of Turán-type problems recently introduced by Imolay, Karl, Nagy and Váli. Let $F$ be a fixed graph and let $G$ be the union of $k$ edge-disjoint copies of $F$, namely $G = \mathbin{\dot{\cup}}_{i=1}^{k} F_i$, where each $F_i$ is isomorphic to a fixed graph $F$ and $E(F_i)\cap E(F_j)=\emptyset$ for all $i \neq j$. We call a subgraph $H\subseteq G$ multicolored if $H$ and $F_i$ share at most one edge for all $i$. Define $\text{ex}_F(H,n)$ to be the maximum value $k$ such that there exists $G = \mathbin{\dot{\cup}}_{i=1}^{k} F_i$ on $n$ vertices without a multicolored copy of $H$. We show that $\text{ex}_{C_5}(C_3,n) \le n^2/25 + 3n/25+o(n)$ and that all extremal graphs are close to a blow-up of the 5-cycle. This bound is tight up to the linear error term. △ Less

Submitted 20 June, 2024; v1 submitted 7 February, 2024; originally announced February 2024.

Comments: 17 pages

A note on colour-bias perfect matchings in hypergraphs

Authors: József Balogh, Andrew Treglown, Camila Zárate-Guerén

Abstract: A result of Balogh, Csaba, **g and Pluhár yields the minimum degree threshold that ensures a $2$-coloured graph contains a perfect matching of significant colour-bias (i.e., a perfect matching that contains significantly more than half of its edges in one colour). In this note we prove an analogous result for perfect matchings in $k$-uniform hypergraphs. More precisely, for each $2\leq \ell <k$ a… ▽ More A result of Balogh, Csaba, **g and Pluhár yields the minimum degree threshold that ensures a $2$-coloured graph contains a perfect matching of significant colour-bias (i.e., a perfect matching that contains significantly more than half of its edges in one colour). In this note we prove an analogous result for perfect matchings in $k$-uniform hypergraphs. More precisely, for each $2\leq \ell <k$ and $r\geq 2$ we determine the minimum $\ell$-degree threshold for forcing a perfect matching of significant colour-bias in an $r$-coloured $k$-uniform hypergraph. △ Less

Submitted 30 January, 2024; originally announced January 2024.

Comments: 9 pages, 1 figure

On the Constructor-Blocker Game

Authors: József Balogh, Ce Chen, Sean English

Abstract: In the Constructor-Blocker game, two players, Constructor and Blocker, alternatively claim unclaimed edges of the complete graph $K_n$. For given graphs $F$ and $H$, Constructor can only claim edges that leave her graph $F$-free, while Blocker has no restrictions. Constructor's goal is to build as many copies of $H$ as she can, while Blocker attempts to stop this. The game ends once there are no m… ▽ More In the Constructor-Blocker game, two players, Constructor and Blocker, alternatively claim unclaimed edges of the complete graph $K_n$. For given graphs $F$ and $H$, Constructor can only claim edges that leave her graph $F$-free, while Blocker has no restrictions. Constructor's goal is to build as many copies of $H$ as she can, while Blocker attempts to stop this. The game ends once there are no more edges that Constructor can claim. The score $g(n,H,F)$ of the game is the number of copies of $H$ in Constructor's graph at the end of the game, when both players play optimally and Constructor plays first. In this paper, we extend results of Patkós, Stojaković and Vizer on $g(n, H, F)$ to many pairs of $H$ and $F$: We determine $g(n, H, F)$ when $H=K_r$ and $χ(F)>r$, also when both $H$ and $F$ are odd cycles, using Szemerédi's Regularity Lemma. We also obtain bounds of $g(n, H, F)$ when $H=K_3$ and $F=K_{2,2}$. △ Less

Submitted 30 December, 2023; originally announced January 2024.

Comments: 16 pages

Partitioning the hypercube into smaller hypercubes

Authors: Noga Alon, Jozsef Balogh, Vladimir N. Potapov

Abstract: Denote by Q_d the d-dimensional hypercube. Addressing a recent question we estimate the number of ways the vertex set of Q_d can be partitioned into vertex disjoint smaller cubes. Among other results, we prove that the asymptotic order of this function is not much larger than the number of perfect matchings of Q_d. We also describe several new (and old) questions. Denote by Q_d the d-dimensional hypercube. Addressing a recent question we estimate the number of ways the vertex set of Q_d can be partitioned into vertex disjoint smaller cubes. Among other results, we prove that the asymptotic order of this function is not much larger than the number of perfect matchings of Q_d. We also describe several new (and old) questions. △ Less

Submitted 3 February, 2024; v1 submitted 30 December, 2023; originally announced January 2024.

Comments: Proofs slightly shortened

MSC Class: 05

Improving Uniquely Decodable Codes in Binary Adder Channels

Authors: József Balogh, The Nguyen, Patric R. J. Ostergard, Ethan Patrick White, Michael Wigal

Abstract: We present a general method to modify existing uniquely decodable codes in the $T$-user binary adder channel. If at least one of the original constituent codes does not have average weight exactly half of the dimension, then our method produces a new set of constituent codes in a higher dimension, with a strictly higher rate. Using our method we improve the highest known rate for the $T$-user bina… ▽ More We present a general method to modify existing uniquely decodable codes in the $T$-user binary adder channel. If at least one of the original constituent codes does not have average weight exactly half of the dimension, then our method produces a new set of constituent codes in a higher dimension, with a strictly higher rate. Using our method we improve the highest known rate for the $T$-user binary adder channel for all $T \geq 2$. This information theory problem is equivalent to co-Sidon problems initiated by Lindstr{ö}m in the 1960s, and also the multi-set union-free problem. Our results improve the known lower bounds in these settings as well. △ Less

Submitted 18 December, 2023; originally announced December 2023.

Comments: 8 pages

MSC Class: 05D40; 05C65; 05D05; 94A40; 05B10

On a Traveling Salesman Problem for Points in the Unit Cube

Authors: József Balogh, Felix Christian Clemen, Adrian Dumitrescu

Abstract: Let $X$ be an $n$-element point set in the $k$-dimensional unit cube $[0,1]^k$ where $k \geq 2$. According to an old result of Bollobás and Meir (1992), there exists a cycle (tour) $x_1, x_2, \ldots, x_n$ through the $n$ points, such that $\left(\sum_{i=1}^n |x_i - x_{i+1}|^k \right)^{1/k} \leq c_k$, where $|x-y|$ is the Euclidean distance between $x$ and $y$, and $c_k$ is an absolute constant tha… ▽ More Let $X$ be an $n$-element point set in the $k$-dimensional unit cube $[0,1]^k$ where $k \geq 2$. According to an old result of Bollobás and Meir (1992), there exists a cycle (tour) $x_1, x_2, \ldots, x_n$ through the $n$ points, such that $\left(\sum_{i=1}^n |x_i - x_{i+1}|^k \right)^{1/k} \leq c_k$, where $|x-y|$ is the Euclidean distance between $x$ and $y$, and $c_k$ is an absolute constant that depends only on $k$, where $x_{n+1} \equiv x_1$. From the other direction, for every $k \geq 2$ and $n \geq 2$, there exist $n$ points in $[0,1]^k$, such that their shortest tour satisfies $\left(\sum_{i=1}^n |x_i - x_{i+1}|^k \right)^{1/k} = 2^{1/k} \cdot \sqrt{k}$. For the plane, the best constant is $c_2=2$ and this is the only exact value known. Bollob{á}s and Meir showed that one can take $c_k = 9 \left(\frac23 \right)^{1/k} \cdot \sqrt{k}$ for every $k \geq 3$ and conjectured that the best constant is $c_k = 2^{1/k} \cdot \sqrt{k}$, for every $k \geq 2$. Here we significantly improve the upper bound and show that one can take $c_k = 3 \sqrt5 \left(\frac23 \right)^{1/k} \cdot \sqrt{k}$ or $c_k = 2.91 \sqrt{k} \ (1+o_k(1))$. Our bounds are constructive. We also show that $c_3 \geq 2^{7/6}$, which disproves the conjecture for $k=3$. Connections to matching problems, power assignment problems, related problems, including algorithms, are discussed in this context. A slightly revised version of the Bollobás--Meir conjecture is proposed. △ Less

Submitted 2 July, 2024; v1 submitted 4 October, 2023; originally announced October 2023.

Almost Congruent Triangles

Authors: József Balogh, Felix Christian Clemen, Adrian Dumitrescu

Abstract: Almost $50$ years ago Erdős and Purdy asked the following question: Given $n$ points in the plane, how many triangles can be approximate congruent to equilateral triangles? They pointed out that by dividing the points evenly into three small clusters built around the three vertices of a fixed equilateral triangle, one gets at least… ▽ More Almost $50$ years ago Erdős and Purdy asked the following question: Given $n$ points in the plane, how many triangles can be approximate congruent to equilateral triangles? They pointed out that by dividing the points evenly into three small clusters built around the three vertices of a fixed equilateral triangle, one gets at least $\left\lfloor \frac{n}{3} \right\rfloor \cdot \left\lfloor \frac{n+1}{3} \right\rfloor \cdot \left\lfloor \frac{n+2}{3} \right\rfloor$ such approximate copies. In this paper we provide a matching upper bound and thereby answer their question. More generally, for every triangle $T$ we determine the maximum number of approximate congruent triangles to $T$ in a point set of size $n$. Parts of our proof are based on hypergraph Turán theory: for each point set in the plane and a triangle $T$, we construct a $3$-uniform hypergraph $\mathcal{H}=\mathcal{H}(T)$, which contains no hypergraph as a subgraph from a family of forbidden hypergraphs $\mathcal{F}=\mathcal{F}(T)$. Our upper bound on the number of edges of $\mathcal{H}$ will determine the maximum number of triangles that are approximate congruent to $T$. △ Less

Submitted 26 March, 2023; originally announced March 2023.

Turán density of long tight cycle minus one hyperedge

Authors: József Balogh, Haoran Luo

Abstract: Denote by $\mathcal{C}^-_{\ell}$ the $3$-uniform hypergraph obtained by removing one hyperedge from the tight cycle on $\ell$ vertices. It is conjectured that the Turán density of $\mathcal{C}^-_{5}$ is $1/4$. In this paper, we make progress toward this conjecture by proving that the Turán density of $\mathcal{C}^-_{\ell}$ is $1/4$, for every sufficiently large $\ell$ not divisible by $3$. One of… ▽ More Denote by $\mathcal{C}^-_{\ell}$ the $3$-uniform hypergraph obtained by removing one hyperedge from the tight cycle on $\ell$ vertices. It is conjectured that the Turán density of $\mathcal{C}^-_{5}$ is $1/4$. In this paper, we make progress toward this conjecture by proving that the Turán density of $\mathcal{C}^-_{\ell}$ is $1/4$, for every sufficiently large $\ell$ not divisible by $3$. One of the main ingredients of our proof is a forbidden-subhypergraph characterization of the hypergraphs, for which there exists a tournament on the same vertex set such that every hyperedge is a cyclic triangle in this tournament. A byproduct of our method is a human-checkable proof for the upper bound on the maximum number of almost similar triangles in a planar point set, which was recently proved using the method of flag algebras by Balogh, Clemen, and Lidický. △ Less

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

Comments: 23 pages, 3 figures. Some minor updates according to referees' comments

MSC Class: 05C35; 05C65; 05D05

Weighted Turán theorems with applications to Ramsey-Turán type of problems

Authors: József Balogh, Domagoj Bradač, Bernard Lidický

Abstract: We study extensions of Turán Theorem in edge-weighted settings. A particular case of interest is when constraints on the weight of an edge come from the order of the largest clique containing it. These problems are motivated by Ramsey-Turán type problems. Some of our proofs are based on the method of graph Lagrangians, while the other proofs use flag algebras. Using these results, we prove several… ▽ More We study extensions of Turán Theorem in edge-weighted settings. A particular case of interest is when constraints on the weight of an edge come from the order of the largest clique containing it. These problems are motivated by Ramsey-Turán type problems. Some of our proofs are based on the method of graph Lagrangians, while the other proofs use flag algebras. Using these results, we prove several new upper bounds on the Ramsey-Turán density of cliques. Other applications of our results are in a recent paper of Balogh, Chen, McCourt and Murley. △ Less

Submitted 15 February, 2023; originally announced February 2023.

Comments: 19 pages, 10 figures

On oriented cycles in randomly perturbed digraphs

Authors: Igor Araujo, József Balogh, Robert A. Krueger, Simón Piga, Andrew Treglown

Abstract: In 2003, Bohman, Frieze, and Martin initiated the study of randomly perturbed graphs and digraphs. For digraphs, they showed that for every $α>0$, there exists a constant $C$ such that for every $n$-vertex digraph of minimum semi-degree at least $αn$, if one adds $Cn$ random edges then asymptotically almost surely the resulting digraph contains a consistently oriented Hamilton cycle. We generalize… ▽ More In 2003, Bohman, Frieze, and Martin initiated the study of randomly perturbed graphs and digraphs. For digraphs, they showed that for every $α>0$, there exists a constant $C$ such that for every $n$-vertex digraph of minimum semi-degree at least $αn$, if one adds $Cn$ random edges then asymptotically almost surely the resulting digraph contains a consistently oriented Hamilton cycle. We generalize their result, showing that the hypothesis of this theorem actually asymptotically almost surely ensures the existence of every orientation of a cycle of every possible length, simultaneously. Moreover, we prove that we can relax the minimum semi-degree condition to a minimum total degree condition when considering orientations of a cycle that do not contain a large number of vertices of indegree $1$. Our proofs make use of a variant of an absorbing method of Montgomery. △ Less

Submitted 13 October, 2023; v1 submitted 20 December, 2022; originally announced December 2022.

Comments: 24 pages, 7 figures. Author accepted manuscript, to appear in Combinatorics, Probability and Computing

Nearly all $k$-SAT functions are unate

Authors: József Balogh, Dingding Dong, Bernard Lidický, Nitya Mani, Yufei Zhao

Abstract: We prove that $1-o(1)$ fraction of all $k$-SAT functions on $n$ Boolean variables are unate (i.e., monotone after first negating some variables), for any fixed positive integer $k$ and as $n \to \infty$. This resolves a conjecture by Bollobás, Brightwell, and Leader from 2003. We prove that $1-o(1)$ fraction of all $k$-SAT functions on $n$ Boolean variables are unate (i.e., monotone after first negating some variables), for any fixed positive integer $k$ and as $n \to \infty$. This resolves a conjecture by Bollobás, Brightwell, and Leader from 2003. △ Less

Submitted 3 October, 2023; v1 submitted 11 September, 2022; originally announced September 2022.

Comments: 43 pages. v2 merges arXiv:2107.09233 (SODA22) and arXiv:2209.04894v1 (STOC23) along with expository improvements. This combined version is intended for journal submission

MSC Class: 05A16; 05C65 ACM Class: G.2.1; G.2.2

On the sizes of $t$-intersecting $k$-chain-free families

Authors: József Balogh, William B. Linz, Balázs Patkós

Abstract: A set system $\mathcal{F}$ is $t$-\textit{intersecting}, if the size of the intersection of every pair of its elements has size at least $t$. A set system $\mathcal{F}$ is $k$-\textit{Sperner}, if it does not contain a chain of length $k+1$. Our main result is the following: Suppose that $k$ and $t$ are fixed positive integers, where $n+t$ is even with $t\le n$ and $n$ is large enough. If… ▽ More A set system $\mathcal{F}$ is $t$-\textit{intersecting}, if the size of the intersection of every pair of its elements has size at least $t$. A set system $\mathcal{F}$ is $k$-\textit{Sperner}, if it does not contain a chain of length $k+1$. Our main result is the following: Suppose that $k$ and $t$ are fixed positive integers, where $n+t$ is even with $t\le n$ and $n$ is large enough. If $\mathcal{F}\subseteq 2^{[n]}$ is a $t$-intersecting $k$-Sperner family, then $|\mathcal{F}|$ has size at most the size of the sum of $k$ layers, of sizes $(n+t)/2,\ldots, (n+t)/2+k-1$. This bound is best possible. The case when $n+t$ is odd remains open. △ Less

Submitted 4 September, 2022; originally announced September 2022.

New Lower Bounds For Essential Covers Of The Cube

Authors: Igor Araujo, József Balogh, Letícia Mattos

Abstract: An essential cover of the vertices of the $n$-cube $\{0,1\}^n$ by hyperplanes is a minimal covering where no hyperplane is redundant and every variable appears in the equation of at least one hyperplane. Linial and Radhakrishnan gave a construction of an essential cover with $\lceil \frac{n}{2} \rceil + 1$ hyperplanes and showed that $Ω(\sqrt{n})$ hyperplanes are required. Recently, Yehuda and Yeh… ▽ More An essential cover of the vertices of the $n$-cube $\{0,1\}^n$ by hyperplanes is a minimal covering where no hyperplane is redundant and every variable appears in the equation of at least one hyperplane. Linial and Radhakrishnan gave a construction of an essential cover with $\lceil \frac{n}{2} \rceil + 1$ hyperplanes and showed that $Ω(\sqrt{n})$ hyperplanes are required. Recently, Yehuda and Yehudayoff improved the lower bound by showing that any essential cover of the $n$-cube contains at least $Ω(n^{0.52})$ hyperplanes. In this paper, building on the method of Yehuda and Yehudayoff, we prove that $Ω\left( \frac{n^{5/9}}{(\log n)^{4/9}} \right)$ hyperplanes are needed. △ Less

Submitted 31 August, 2022; originally announced September 2022.

Comments: Extended version of the submitted paper, 21 pages, 3 figures

Unavoidable order-size pairs in hypergraphs -- positive forcing density

Authors: Maria Axenovich, József Balogh, Felix Christian Clemen, Lea Weber

Abstract: Erdős, Füredi, Rothschild and Sós initiated a study of classes of graphs that forbid every induced subgraph on a given number $m$ of vertices and number $f$ of edges. Extending their notation to $r$-graphs, we write $(n,e) \to_r (m,f)$ if every $r$-graph $G$ on $n$ vertices with $e$ edges has an induced subgraph on $m$ vertices and $f$ edges. The \emph{forcing density} of a pair $(m,f)$ is… ▽ More Erdős, Füredi, Rothschild and Sós initiated a study of classes of graphs that forbid every induced subgraph on a given number $m$ of vertices and number $f$ of edges. Extending their notation to $r$-graphs, we write $(n,e) \to_r (m,f)$ if every $r$-graph $G$ on $n$ vertices with $e$ edges has an induced subgraph on $m$ vertices and $f$ edges. The \emph{forcing density} of a pair $(m,f)$ is $$ σ_r(m,f) =\left. \limsup\limits_{n \to \infty} \frac{|\{e : (n,e) \to_r (m,f)\}|}{\binom{n}{r}} \right. .$$ In the graph setting it is known that there are infinitely many pairs $(m, f)$ with positive forcing density. Weber asked if there is a pair of positive forcing density for $r\geq 3$ apart from the trivial ones $(m, 0)$ and $(m, \binom{m}{r})$. Answering her question, we show that $(6,10)$ is such a pair for $r=3$ and conjecture that it is the unique such pair. Further, we find necessary conditions for a pair to have positive forcing density, supporting this conjecture. △ Less

Submitted 13 August, 2022; originally announced August 2022.

Non-degenerate Hypergraphs with Exponentially Many Extremal Constructions

Authors: József Balogh, Felix Christian Clemen, Haoran Luo

Abstract: For every integer $t \ge 0$, denote by $F_5^t$ the hypergraph on vertex set $\{1,2,\ldots, 5+t\}$ with hyperedges $\{123,124\} \cup \{34k : 5 \le k \le 5+t\}$. We determine $\mathrm{ex}(n,F_5^t)$ for every $t\ge 0$ and sufficiently large $n$ and characterize the extremal $F_5^t$-free hypergraphs. In particular, if $n$ satisfies certain divisibility conditions, then the extremal $F_5^t$-free hyperg… ▽ More For every integer $t \ge 0$, denote by $F_5^t$ the hypergraph on vertex set $\{1,2,\ldots, 5+t\}$ with hyperedges $\{123,124\} \cup \{34k : 5 \le k \le 5+t\}$. We determine $\mathrm{ex}(n,F_5^t)$ for every $t\ge 0$ and sufficiently large $n$ and characterize the extremal $F_5^t$-free hypergraphs. In particular, if $n$ satisfies certain divisibility conditions, then the extremal $F_5^t$-free hypergraphs are exactly the balanced complete tripartite hypergraphs with additional hyperedges inside each of the three parts $(V_1,V_2,V_3)$ in the partition; each part $V_i$ spans a $(|V_i|,3,2,t)$-design. This generalizes earlier work of Frankl and Füredi on the Turán number of $F_5:=F_5^0$. Our results extend a theory of Erdős and Simonovits about the extremal constructions for certain fixed graphs. In particular, the hypergraphs $F_5^{6t}$, for $t\geq 1$, are the first examples of hypergraphs with exponentially many extremal constructions and positive Turán density. △ Less

Submitted 1 August, 2022; originally announced August 2022.

Ramsey-Turán Problems with small independence numbers

Authors: József Balogh, Ce Chen, Grace McCourt, Cassie Murley

Abstract: Given a graph $H$ and a function $f(n)$, the Ramsey-Turán number $RT(n,H,f(n))$ is the maximum number of edges in an $n$-vertex $H$-free graph with independence number at most $f(n)$. For $H$ being a small clique, many results about $RT(n,H,f(n))$ are known and we focus our attention on $H=K_s$ for $s\leq 13$. By applying Szemerédi's Regularity Lemma, the dependent random choice method and some we… ▽ More Given a graph $H$ and a function $f(n)$, the Ramsey-Turán number $RT(n,H,f(n))$ is the maximum number of edges in an $n$-vertex $H$-free graph with independence number at most $f(n)$. For $H$ being a small clique, many results about $RT(n,H,f(n))$ are known and we focus our attention on $H=K_s$ for $s\leq 13$. By applying Szemerédi's Regularity Lemma, the dependent random choice method and some weighted Turán-type results, we prove that these cliques have the so-called phase transitions when $f(n)$ is around the inverse function of the off-diagonal Ramsey number of $K_r$ versus a large clique $K_n$ for some $r\leq s$. △ Less

Submitted 2 August, 2023; v1 submitted 21 July, 2022; originally announced July 2022.

Comments: 20 pages

Maximal 3-wise Intersecting Families with Minimum Size: the Odd Case

Authors: József Balogh, Ce Chen, Haoran Luo

Abstract: A family $\mathcal{F}$ on ground set $\{1,2,\ldots, n\}$ is maximal $k$-wise intersecting if every collection of $k$ sets in $\mathcal{F}$ has non-empty intersection, and no other set can be added to $\mathcal{F}$ while maintaining this property. Erdős and Kleitman asked for the minimum size of a maximal $k$-wise intersecting family. Complementing earlier work of Hendrey, Lund, Tompkins and Tran,… ▽ More A family $\mathcal{F}$ on ground set $\{1,2,\ldots, n\}$ is maximal $k$-wise intersecting if every collection of $k$ sets in $\mathcal{F}$ has non-empty intersection, and no other set can be added to $\mathcal{F}$ while maintaining this property. Erdős and Kleitman asked for the minimum size of a maximal $k$-wise intersecting family. Complementing earlier work of Hendrey, Lund, Tompkins and Tran, who answered this question for $k=3$ and large even $n$, we answer it for $k=3$ and large odd $n$. We show that the unique minimum family is obtained by partitioning the ground set into two sets $A$ and $B$ with almost equal sizes and taking the family consisting of all the proper supersets of $A$ and of $B$. A key ingredient of our proof is the stability result by Ellis and Sudakov about the so-called $2$-generator set systems. △ Less

Submitted 29 June, 2022; v1 submitted 19 June, 2022; originally announced June 2022.

Comments: 11 pages

A sharp threshold for a random version of Sperner's Theorem

Authors: József Balogh, Robert A. Krueger

Abstract: The Boolean lattice $\mathcal{P}(n)$ consists of all subsets of $[n] = \{1,\dots, n\}$ partially ordered under the containment relation. Sperner's Theorem states that the largest antichain of the Boolean lattice is given by a middle layer: the collection of all sets of size $\lfloor{n/2}\rfloor$, or also, if $n$ is odd, the collection of all sets of size $\lceil{n/2}\rceil$. Given $p$, choose each… ▽ More The Boolean lattice $\mathcal{P}(n)$ consists of all subsets of $[n] = \{1,\dots, n\}$ partially ordered under the containment relation. Sperner's Theorem states that the largest antichain of the Boolean lattice is given by a middle layer: the collection of all sets of size $\lfloor{n/2}\rfloor$, or also, if $n$ is odd, the collection of all sets of size $\lceil{n/2}\rceil$. Given $p$, choose each subset of $[n]$ with probability $p$ independently. We show that for every constant $p>3/4$, the largest antichain among these subsets is also given by a middle layer, with probability tending to $1$ as $n$ tends to infinity. This $3/4$ is best possible, and we also characterize the largest antichains for every constant $p>1/2$. Our proof is based on some new variations of Sapozhenko's graph container method. △ Less

Submitted 20 September, 2023; v1 submitted 23 May, 2022; originally announced May 2022.

Comments: 24 pages, 3 figures; added more details in new version

MSC Class: 05D40 (Primary) 05D05; 60C05 (Secondary)

The Spectrum of Triangle-free Graphs

Authors: József Balogh, Felix Christian Clemen, Bernard Lidický, Sergey Norin, Jan Volec

Abstract: Denote by $q_n(G)$ the smallest eigenvalue of the signless Laplacian matrix of an $n$-vertex graph $G$. Brandt conjectured in 1997 that for regular triangle-free graphs $q_n(G) \leq \frac{4n}{25}$. We prove a stronger result: If $G$ is a triangle-free graph then $q_n(G) \leq \frac{15n}{94}< \frac{4n}{25}$. Brandt's conjecture is a subproblem of two famous conjectures of Erdős: (1) Sparse-Half-Co… ▽ More Denote by $q_n(G)$ the smallest eigenvalue of the signless Laplacian matrix of an $n$-vertex graph $G$. Brandt conjectured in 1997 that for regular triangle-free graphs $q_n(G) \leq \frac{4n}{25}$. We prove a stronger result: If $G$ is a triangle-free graph then $q_n(G) \leq \frac{15n}{94}< \frac{4n}{25}$. Brandt's conjecture is a subproblem of two famous conjectures of Erdős: (1) Sparse-Half-Conjecture: Every $n$-vertex triangle-free graph has a subset of vertices of size $\lceil\frac{n}{2}\rceil$ spanning at most $n^2/50$ edges. (2) Every $n$-vertex triangle-free graph can be made bipartite by removing at most $n^2/25$ edges. In our proof we use linear algebraic methods to upper bound $q_n(G)$ by the ratio between the number of induced paths with 3 and 4 vertices. We give an upper bound on this ratio via the method of flag algebras. △ Less

Submitted 4 January, 2023; v1 submitted 31 March, 2022; originally announced April 2022.

10 Problems for Partitions of Triangle-free Graphs

Authors: József Balogh, Felix Christian Clemen, Bernard Lidický

Abstract: We will state 10 problems, and solve some of them, for partitions in triangle-free graphs related to Erdős' Sparse Half Conjecture. Among others we prove the following variant of it: For every sufficiently large even integer $n$ the following holds. Every triangle-free graph on $n$ vertices has a partition $V(G)=A\cup B$ with $|A|=|B|=n/2$ such that $e(G[A])+e(G[B])\leq n^2/16$. This result is sha… ▽ More We will state 10 problems, and solve some of them, for partitions in triangle-free graphs related to Erdős' Sparse Half Conjecture. Among others we prove the following variant of it: For every sufficiently large even integer $n$ the following holds. Every triangle-free graph on $n$ vertices has a partition $V(G)=A\cup B$ with $|A|=|B|=n/2$ such that $e(G[A])+e(G[B])\leq n^2/16$. This result is sharp since the complete bipartite graph with class sizes $3n/4$ and $n/4$ achieves equality, when $n$ is a multiple of 4. Additionally, we discuss similar problems for $K_4$-free graphs. △ Less

Submitted 29 March, 2022; originally announced March 2022.

On the Maximum $F_5$-free Subhypergraphs of a Random Hypergraph

Authors: Igor Araujo, József Balogh, Haoran Luo

Abstract: Denote by $F_5$ the $3$-uniform hypergraph on vertex set $\{1,2,3,4,5\}$ with hyperedges $\{123,124,345\}$. Balogh, Butterfield, Hu, and Lenz proved that if $p > K \log n / n$ for some large constant $K$, then every maximum $F_5$-free subhypergraph of $G^3(n,p)$ is tripartite with high probability, and showed that if $p_0 = 0.1\sqrt{\log n} / n$, then with high probability there exists a maximum… ▽ More Denote by $F_5$ the $3$-uniform hypergraph on vertex set $\{1,2,3,4,5\}$ with hyperedges $\{123,124,345\}$. Balogh, Butterfield, Hu, and Lenz proved that if $p > K \log n / n$ for some large constant $K$, then every maximum $F_5$-free subhypergraph of $G^3(n,p)$ is tripartite with high probability, and showed that if $p_0 = 0.1\sqrt{\log n} / n$, then with high probability there exists a maximum $F_5$-free subhypergraph of $G^3(n,p_0)$ that is not tripartite. In this paper, we sharpen the upper bound to be best possible up to a constant factor. We prove that if $p > C \sqrt{\log n} / n $ for some large constant $C$, then every maximum $F_5$-free subhypergraph of $G^3(n, p)$ is tripartite with high probability. △ Less

Submitted 14 July, 2023; v1 submitted 5 March, 2022; originally announced March 2022.

Comments: 5 figures

Lower bounds on the performance of online algorithms for relaxed packing problems

Authors: János Balogh, György Dósa, Leah Epstein, Łukasz Jeż

Abstract: We prove new lower bounds for suitable competitive ratio measures of two relaxed online packing problems: online removable multiple knapsack, and a recently introduced online minimum peak appointment scheduling problem. The high level objective in both problems is to pack arriving items of sizes at most 1 into bins of capacity 1 as efficiently as possible, but the exact formalizations differ. In t… ▽ More We prove new lower bounds for suitable competitive ratio measures of two relaxed online packing problems: online removable multiple knapsack, and a recently introduced online minimum peak appointment scheduling problem. The high level objective in both problems is to pack arriving items of sizes at most 1 into bins of capacity 1 as efficiently as possible, but the exact formalizations differ. In the appointment scheduling problem, every item has to be assigned to a position, which can be seen as a time interval during a workday of length 1. That is, items are not assigned to bins, but only once all the items are processed, the optimal number of bins subject to chosen positions is determined, and this is the cost of the online algorithm. On the other hand, in the removable knapsack problem there is a fixed number of bins, and the goal of packing items, which consists in choosing a particular bin for every packed item (and nothing else), is to pack as valuable a subset as possible. In this last problem it is possible to reject items, that is, deliberately not pack them, as well as to remove packed items at any later point in time, which adds flexibility to the problem. △ Less

Submitted 16 January, 2022; originally announced January 2022.

Rainbow connectivity of randomly perturbed graphs

Authors: József Balogh, John Finlay, Cory Palmer

Abstract: In this note we examine the following random graph model: for an arbitrary graph $H$, with quadratic many edges, construct a graph $G$ by randomly adding $m$ edges to $H$ and randomly coloring the edges of $G$ with $r$ colors. We show that for $m$ a large enough constant and $r \geq 5$, every pair of vertices in $G$ are joined by a rainbow path, i.e., $G$ is {\it rainbow connected}, with high prob… ▽ More In this note we examine the following random graph model: for an arbitrary graph $H$, with quadratic many edges, construct a graph $G$ by randomly adding $m$ edges to $H$ and randomly coloring the edges of $G$ with $r$ colors. We show that for $m$ a large enough constant and $r \geq 5$, every pair of vertices in $G$ are joined by a rainbow path, i.e., $G$ is {\it rainbow connected}, with high probability. This confirms a conjecture of Anastos and Frieze [{\it J. Graph Theory} {\bf 92} (2019)] who proved the statement for $r \geq 7$ and resolved the case when $r \leq 4$ and $m$ is a function of $n$. △ Less

Submitted 26 April, 2023; v1 submitted 25 December, 2021; originally announced December 2021.

Comments: Some typos and errors fixed

Proper elements of Coxeter groups

Authors: József Balogh, David Brewster, Reuven Hodges

Abstract: We extend the notion of proper elements to all Coxeter groups. For all infinite families of finite Coxeter groups we prove that the probability a random element is proper goes to zero in the limit. This proves a conjecture of the third author and A. Yong regarding the proportion of Schubert varieties that are Levi spherical for all infinite families of Weyl groups. We also enumerate the proper ele… ▽ More We extend the notion of proper elements to all Coxeter groups. For all infinite families of finite Coxeter groups we prove that the probability a random element is proper goes to zero in the limit. This proves a conjecture of the third author and A. Yong regarding the proportion of Schubert varieties that are Levi spherical for all infinite families of Weyl groups. We also enumerate the proper elements in the exceptional Coxeter groups. △ Less

Submitted 26 April, 2024; v1 submitted 29 November, 2021; originally announced November 2021.

Comments: 21 pages

Maximal $3$-wise intersecting families

Authors: József Balogh, Ce Chen, Kevin Hendrey, Ben Lund, Haoran Luo, Casey Tompkins, Tuan Tran

Abstract: A family $\mathcal{F}$ on ground set $[n]:=\{1,2,\ldots, n\}$ is maximal $k$-wise intersecting if every collection of at most $k$ sets in $\mathcal{F}$ has non-empty intersection, and no other set can be added to $\mathcal{F}$ while maintaining this property. In 1974, Erdős and Kleitman asked for the minimum size of a maximal $k$-wise intersecting family. We answer their question for $k=3$ and suf… ▽ More A family $\mathcal{F}$ on ground set $[n]:=\{1,2,\ldots, n\}$ is maximal $k$-wise intersecting if every collection of at most $k$ sets in $\mathcal{F}$ has non-empty intersection, and no other set can be added to $\mathcal{F}$ while maintaining this property. In 1974, Erdős and Kleitman asked for the minimum size of a maximal $k$-wise intersecting family. We answer their question for $k=3$ and sufficiently large $n$. We show that the unique minimum family is obtained by partitioning the ground set $[n]$ into two sets $A$ and $B$ with almost equal sizes and taking the family consisting of all the proper supersets of $A$ and of $B$. △ Less

Submitted 26 February, 2023; v1 submitted 25 October, 2021; originally announced October 2021.

Comments: 17 pages. This is a combination of the results from arXiv:2110.12708 (version 1) and the results from arXiv:2206.09334, which settled the even and odd case of the problem, respectively

MSC Class: 05D05

Solving Turán's Tetrahedron Problem for the $\ell_2$-Norm

Authors: József Balogh, Felix Christian Clemen, Bernard Lidický

Abstract: Turán's famous tetrahedron problem is to compute the Turán density of the tetrahedron $K_4^3$. This is equivalent to determining the maximum $\ell_1$-norm of the codegree vector of a $K_4^3$-free $n$-vertex $3$-uniform hypergraph. We introduce a new way for measuring extremality of hypergraphs and determine asymptotically the extremal function of the tetrahedron in our notion. The codegree squar… ▽ More Turán's famous tetrahedron problem is to compute the Turán density of the tetrahedron $K_4^3$. This is equivalent to determining the maximum $\ell_1$-norm of the codegree vector of a $K_4^3$-free $n$-vertex $3$-uniform hypergraph. We introduce a new way for measuring extremality of hypergraphs and determine asymptotically the extremal function of the tetrahedron in our notion. The codegree squared sum, $\text{co}_2(G)$, of a $3$-uniform hypergraph $G$ is the sum of codegrees squared $d(x,y)^2$ over all pairs of vertices $xy$, or in other words, the square of the $\ell_2$-norm of the codegree vector of the pairs of vertices. We define $\text{exco}_2(n,H)$ to be the maximum $\text{co}_2(G)$ over all $H$-free $n$-vertex $3$-uniform hypergraphs $G$. We use flag algebra computations to determine asymptotically the codegree squared extremal number for $K_4^3$ and $K_5^3$ and additionally prove stability results. In particular, we prove that the extremal $K_4^3$-free hypergraphs in $\ell_2$-norm have approximately the same structure as one of the conjectured extremal hypergraphs for Turán's conjecture. Further, we prove several general properties about $\text{exco}_2(n,H)$ including the existence of a scaled limit, blow-up invariance and a supersaturation result. △ Less

Submitted 11 November, 2021; v1 submitted 23 August, 2021; originally announced August 2021.

Comments: 23 pages

Hypergraph Turán Problems in $\ell_2$-Norm

Authors: József Balogh, Felix Christian Clemen, Bernard Lidický

Abstract: There are various different notions measuring extremality of hypergraphs. In this survey we compare the recently introduced notion of the codegree squared extremal function with the Turán function, the minimum codegree threshold and the uniform Turán density. The codegree squared sum $\textrm{co}_2(G)$ of a $3$-uniform hypergraph $G$ is defined to be the sum of codegrees squared $d(x,y)^2$ over… ▽ More There are various different notions measuring extremality of hypergraphs. In this survey we compare the recently introduced notion of the codegree squared extremal function with the Turán function, the minimum codegree threshold and the uniform Turán density. The codegree squared sum $\textrm{co}_2(G)$ of a $3$-uniform hypergraph $G$ is defined to be the sum of codegrees squared $d(x,y)^2$ over all pairs of vertices $x,y$. In other words, this is the square of the $\ell_2$-norm of the codegree vector. We are interested in how large $\textrm{co}_2(G)$ can be if we require $G$ to be $H$-free for some $3$-uniform hypergraph $H$. This maximum value of $\textrm{co}_2(G)$ over all $H$-free $n$-vertex $3$-uniform hypergraphs $G$ is called the codegree squared extremal function, which we denote by $\textrm{exco}_2(n,H)$. We systemically study the extremal codegree squared sum of various $3$-uniform hypergraphs using various proof techniques. Some of our proofs rely on the flag algebra method while others use more classical tools such as the stability method. In particular, we (asymptotically) determine the codegree squared extremal numbers of matchings, stars, paths, cycles, and $F_5$, the $5$-vertex hypergraph with edge set $\{123,124,345\}$. Additionally, our paper has a survey format, as we state several conjectures and give an overview of Turán densities, minimum codegree thresholds and codegree squared extremal numbers of popular hypergraphs. We intend to update the arXiv version of this paper regularly. △ Less

Submitted 23 October, 2023; v1 submitted 23 August, 2021; originally announced August 2021.

Comments: Invited survey for BCC 2022, comments are welcome

On generalized Turán results in height two posets

Authors: József Balogh, Ryan R. Martin, Dániel T. Nagy, Balázs Patkós

Abstract: For given posets $P$ and $Q$ and an integer $n$, the generalized Turán problem for posets, asks for the maximum number of copies of $Q$ in a $P$-free subset of the $n$-dimensional Boolean lattice, $2^{[n]}$. In this paper, among other results, we show the following: (i) For every $n\geq 5$, the maximum number of $2$-chains in a butterfly-free subfamily of $2^{[n]}$ is… ▽ More For given posets $P$ and $Q$ and an integer $n$, the generalized Turán problem for posets, asks for the maximum number of copies of $Q$ in a $P$-free subset of the $n$-dimensional Boolean lattice, $2^{[n]}$. In this paper, among other results, we show the following: (i) For every $n\geq 5$, the maximum number of $2$-chains in a butterfly-free subfamily of $2^{[n]}$ is $\left\lceil\frac{n}{2}\right\rceil\binom{n}{\lfloor n/2\rfloor}$. (ii) For every fixed $s$, $t$ and $k$, a $K_{s,t}$-free family in $2^{[n]}$ has $O\left(n\binom{n}{\lfloor n/2\rfloor}\right)$ $k$-chains. (iii) For every $n\geq 3$, the maximum number of $2$-chains in an $\textbf{N}$-free family is $\binom{n}{\lfloor n/2\rfloor}$, where $\textbf{N}$ is a poset on 4 distinct elements $\{p_1,p_2,q_1,q_2\}$ for which $p_1 < q_1$, $p_2 < q_1$ and $p_2 < q_2$. (iv) We also prove exact results for the maximum number of $2$-chains in a family that has no $5$-path and asymptotic estimates for the number of $2$-chains in a family with no $6$-path. △ Less

Submitted 15 November, 2021; v1 submitted 19 August, 2021; originally announced August 2021.

Comments: 13 pages, 3 figures

MSC Class: 06A06; 05D05

Counting $r$-graphs without forbidden configurations

Authors: József Balogh, Felix Christian Clemen, Letícia Mattos

Abstract: One of the major problems in combinatorics is to determine the number of $r$-uniform hypergraphs ($r$-graphs) on $n$ vertices which are free of certain forbidden structures. This problem dates back to the work of Erdős, Kleitman and Rothschild, who showed that the number of $K_r$-free graphs on $n$ vertices is $2^{\text{ex}(n,K_r)+o(n^2)}$. Their work was later extended to forbidding graphs as ind… ▽ More One of the major problems in combinatorics is to determine the number of $r$-uniform hypergraphs ($r$-graphs) on $n$ vertices which are free of certain forbidden structures. This problem dates back to the work of Erdős, Kleitman and Rothschild, who showed that the number of $K_r$-free graphs on $n$ vertices is $2^{\text{ex}(n,K_r)+o(n^2)}$. Their work was later extended to forbidding graphs as induced subgraphs by Prömel and Steger. Here, we consider one of the most basic counting problems for $3$-graphs. Let $E_1$ be the $3$-graph with $4$ vertices and $1$ edge. What is the number of induced $\{K_4^3,E_1\}$-free $3$-graphs on $n$ vertices? We show that the number of such $3$-graphs is of order $n^{Θ(n^2)}$. More generally, we determine asymptotically the number of induced $\mathcal{F}$-free $3$-graphs on $n$ vertices for all families $\mathcal{F}$ of $3$-graphs on $4$ vertices. We also provide upper bounds on the number of $r$-graphs on $n$ vertices which do not induce $i \in L$ edges on any set of $k$ vertices, where $L \subseteq \big \{0,1,\ldots,\binom{k}{r} \big\}$ is a list which does not contain $3$ consecutive integers in its complement. Our bounds are best possible up to a constant multiplicative factor in the exponent when $k = r+1$. The main tool behind our proof is counting the solutions of a constraint satisfaction problem. △ Less

Submitted 30 July, 2021; originally announced July 2021.

Comments: 18 pages

Sharp threshold for the Erdős-Ko-Rado theorem

Authors: József Balogh, Robert A. Krueger, Haoran Luo

Abstract: For positive integers $n$ and $k$ with $n\geq 2k+1$, the Kneser graph $K(n,k)$ is the graph with vertex set consisting of all $k$-sets of $\{1,\dots,n\}$, where two $k$-sets are adjacent exactly when they are disjoint. The independent sets of $K(n,k)$ are $k$-uniform intersecting families, and hence the maximum size independent sets are given by the Erdős-Ko-Rado Theorem. Let $K_p(n,k)$ be a rando… ▽ More For positive integers $n$ and $k$ with $n\geq 2k+1$, the Kneser graph $K(n,k)$ is the graph with vertex set consisting of all $k$-sets of $\{1,\dots,n\}$, where two $k$-sets are adjacent exactly when they are disjoint. The independent sets of $K(n,k)$ are $k$-uniform intersecting families, and hence the maximum size independent sets are given by the Erdős-Ko-Rado Theorem. Let $K_p(n,k)$ be a random spanning subgraph of $K(n,k)$ where each edge is included independently with probability $p$. Bollobás, Narayanan, and Raigorodskii asked for what $p$ does $K_p(n,k)$ have the same independence number as $K(n,k)$ with high probability. For $n=2k+1$, we prove a hitting time result, which gives a sharp threshold for this problem at $p=3/4$. Additionally, completing work of Das and Tran and work of Devlin and Kahn, we determine a sharp threshold function for all $n>2k+1$. △ Less

Submitted 6 June, 2022; v1 submitted 6 May, 2021; originally announced May 2021.

Comments: 27 pages; slightly revised with new references; updated funding information; to appear in Random Structures & Algorithms

MSC Class: 05C80; 05D05; 05D40

Intersecting families of sets are typically trivial

Authors: József Balogh, Ramon I. Garcia, Lina Li, Adam Zsolt Wagner

Abstract: A family of subsets of $[n]$ is intersecting if every pair of its sets intersects. Determining the structure of large intersecting families is a central problem in extremal combinatorics. Frankl-Kupavskii and Balogh-Das-Liu-Sharifzadeh-Tran independently showed that for $n\geq 2k + c\sqrt{k\ln k}$, almost all $k$-uniform intersecting families are stars. Improving their result, we show that the sam… ▽ More A family of subsets of $[n]$ is intersecting if every pair of its sets intersects. Determining the structure of large intersecting families is a central problem in extremal combinatorics. Frankl-Kupavskii and Balogh-Das-Liu-Sharifzadeh-Tran independently showed that for $n\geq 2k + c\sqrt{k\ln k}$, almost all $k$-uniform intersecting families are stars. Improving their result, we show that the same conclusion holds for $n\geq 2k+ 100\ln k$. Our proof uses, among others, Sapozhenko's graph container lemma and the Das-Tran removal lemma. △ Less

Submitted 7 April, 2021; originally announced April 2021.

Short proofs of three results about intersecting systems

Authors: József Balogh, William Linz

Abstract: In this note, we give short proofs of three theorems about intersection problems. The first one is a determination of the maximum size of a nontrivial $k$-uniform, $d$-wise intersecting family for $n\ge \left(1+\frac{d}{2}\right)(k-d+2)$, which improves upon a recent result of O'Neill and Verstraëte. Our proof also extends to $d$-wise, $t$-intersecting families, and from this result we obtain a ve… ▽ More In this note, we give short proofs of three theorems about intersection problems. The first one is a determination of the maximum size of a nontrivial $k$-uniform, $d$-wise intersecting family for $n\ge \left(1+\frac{d}{2}\right)(k-d+2)$, which improves upon a recent result of O'Neill and Verstraëte. Our proof also extends to $d$-wise, $t$-intersecting families, and from this result we obtain a version of the Erdős-Ko-Rado theorem for $d$-wise, $t$-intersecting families. The second result partially proves a conjecture of Frankl and Tokushige about $k$-uniform families with restricted pairwise intersection sizes. The third result concerns graph intersections. Answering a question of Ellis, we construct $K_{s, t}$-intersecting families of graphs which have size larger than the Erdős-Ko-Rado-type construction whenever $t$ is sufficiently large in terms of $s$. △ Less

Submitted 25 June, 2023; v1 submitted 1 April, 2021; originally announced April 2021.

Comments: Added a note about Theorem 10 and a reference

An upper bound on the size of Sidon sets

Authors: József Balogh, Zoltán Füredi, Souktik Roy

Abstract: In this entry point into the subject, combining two elementary proofs, we decrease the gap between the upper and lower bounds by $0.2\%$ in a classical combinatorial number theory problem. We show that the maximum size of a Sidon set of $\{ 1, 2, \ldots, n\}$ is at most $\sqrt{n}+ 0.998n^{1/4}$ for sufficiently large $n$. In this entry point into the subject, combining two elementary proofs, we decrease the gap between the upper and lower bounds by $0.2\%$ in a classical combinatorial number theory problem. We show that the maximum size of a Sidon set of $\{ 1, 2, \ldots, n\}$ is at most $\sqrt{n}+ 0.998n^{1/4}$ for sufficiently large $n$. △ Less

Submitted 16 June, 2021; v1 submitted 29 March, 2021; originally announced March 2021.

Comments: Minor edits from previous version

Max Cuts in Triangle-free Graphs

Authors: József Balogh, Felix Christian Clemen, Bernard Lidický

Abstract: A well-known conjecture by Erdős states that every triangle-free graph on $n$ vertices can be made bipartite by removing at most $n^2/25$ edges. This conjecture was known for graphs with edge density at least $0.4$ and edge density at most $0.172$. Here, we will extend the edge density for which this conjecture is true; we prove the conjecture for graphs with edge density at most $0.2486$ and for… ▽ More A well-known conjecture by Erdős states that every triangle-free graph on $n$ vertices can be made bipartite by removing at most $n^2/25$ edges. This conjecture was known for graphs with edge density at least $0.4$ and edge density at most $0.172$. Here, we will extend the edge density for which this conjecture is true; we prove the conjecture for graphs with edge density at most $0.2486$ and for graphs with edge density at least $0.3197$. Further, we prove that every triangle-free graph can be made bipartite by removing at most $n^2/23.5$ edges improving the previously best bound of $n^2/18$. △ Less

Submitted 25 March, 2021; originally announced March 2021.

Comments: This is an extended abstract submitted to EUROCOMB 2021. Comments are welcome

MSC Class: 05C35

Lower bounds on the Erdős-Gyárfás problem via color energy graphs

Authors: József Balogh, Sean English, Emily Heath, Robert A. Krueger

Abstract: Given positive integers $p$ and $q$, a $(p,q)$-coloring of the complete graph $K_n$ is an edge-coloring in which every $p$-clique receives at least $q$ colors. Erdős and Shelah posed the question of determining $f(n,p,q)$, the minimum number of colors needed for a $(p,q)$-coloring of $K_n$. In this paper, we expand on the color energy technique introduced by Pohoata and Sheffer to prove new lower… ▽ More Given positive integers $p$ and $q$, a $(p,q)$-coloring of the complete graph $K_n$ is an edge-coloring in which every $p$-clique receives at least $q$ colors. Erdős and Shelah posed the question of determining $f(n,p,q)$, the minimum number of colors needed for a $(p,q)$-coloring of $K_n$. In this paper, we expand on the color energy technique introduced by Pohoata and Sheffer to prove new lower bounds on this function, making explicit the connection between bounds on extremal numbers and $f(n,p,q)$. Using results on the extremal numbers of subdivided complete graphs, theta graphs, and subdivided complete bipartite graphs, we generalize results of Fish, Pohoata, and Sheffer, giving the first nontrivial lower bounds on $f(n,p,q)$ for some pairs $(p,q)$ and improving previous lower bounds for other pairs. △ Less

Submitted 24 May, 2022; v1 submitted 22 February, 2021; originally announced February 2021.

Maximum Number of Almost Similar Triangles in the Plane

Authors: József Balogh, Felix Christian Clemen, Bernard Lidický

Abstract: A triangle $T'$ is $\varepsilon$-similar to another triangle $T$ if their angles pairwise differ by at most $\varepsilon$. Given a triangle $T$, $\varepsilon>0$ and $n\in\mathbb{N}$, Bárány and Füredi asked to determine the maximum number of triangles $h(n,T,\varepsilon)$ being $\varepsilon$-similar to $T$ in a planar point set of size $n$. We show that for almost all triangles $T$ there exists… ▽ More A triangle $T'$ is $\varepsilon$-similar to another triangle $T$ if their angles pairwise differ by at most $\varepsilon$. Given a triangle $T$, $\varepsilon>0$ and $n\in\mathbb{N}$, Bárány and Füredi asked to determine the maximum number of triangles $h(n,T,\varepsilon)$ being $\varepsilon$-similar to $T$ in a planar point set of size $n$. We show that for almost all triangles $T$ there exists $\varepsilon=\varepsilon(T)>0$ such that $h(n,T,\varepsilon)=n^3/24 (1+o(1))$. Exploring connections to hypergraph Turán problems, we use flag algebras and stability techniques for the proof. △ Less

Submitted 25 January, 2021; originally announced January 2021.

Comments: 20 pages

MSC Class: 52C45; 05D05; 05C65

On the number of sum-free triplets of sets

Authors: Igor Araujo, József Balogh, Ramon I. Garcia

Abstract: We count the ordered sum-free triplets of subsets in the group $\mathbb{Z}/p\mathbb{Z}$, i.e., the triplets $(A,B,C)$ of sets $A,B,C \subset \mathbb{Z}/p\mathbb{Z}$ for which the equation $a+b=c$ has no solution with $a\in A$, $b \in B$ and $c \in C$. Our main theorem improves on a recent result by Semchankau, Shabanov, and Shkredov using a different and simpler method. Our proof relates previous… ▽ More We count the ordered sum-free triplets of subsets in the group $\mathbb{Z}/p\mathbb{Z}$, i.e., the triplets $(A,B,C)$ of sets $A,B,C \subset \mathbb{Z}/p\mathbb{Z}$ for which the equation $a+b=c$ has no solution with $a\in A$, $b \in B$ and $c \in C$. Our main theorem improves on a recent result by Semchankau, Shabanov, and Shkredov using a different and simpler method. Our proof relates previous results on the number of independent sets of regular graphs by Kahn, Perarnau and Perkins, and Csikvári to produce explicit estimates on smaller order terms. We also obtain estimates for the number of sum-free triplets of subsets in a general abelian group. △ Less

Submitted 18 August, 2021; v1 submitted 14 January, 2021; originally announced January 2021.

Comments: 13 pages, 4 figures (including appendix)

Maximum determinant and permanent of sparse 0-1 matrices

Authors: Igor Araujo, József Balogh, Yuzhou Wang

Abstract: We prove that the maximum determinant of an $n \times n $ matrix, with entries in $\{0,1\}$ and at most $n+k$ non-zero entries, is at most $2^{k/3}$, which is best possible when $k$ is a multiple of 3. This result solves a conjecture of Bruhn and Rautenbach. We also obtain an upper bound on the number of perfect matchings in $C_4$-free bipartite graphs based on the number of edges, which, in the s… ▽ More We prove that the maximum determinant of an $n \times n $ matrix, with entries in $\{0,1\}$ and at most $n+k$ non-zero entries, is at most $2^{k/3}$, which is best possible when $k$ is a multiple of 3. This result solves a conjecture of Bruhn and Rautenbach. We also obtain an upper bound on the number of perfect matchings in $C_4$-free bipartite graphs based on the number of edges, which, in the sparse case, improves on the classical Bregman's inequality for permanents. This bound is tight, as equality is achieved by the graph formed by vertex disjoint union of 6-vertex cycles. △ Less

Submitted 3 November, 2020; originally announced November 2020.

Comments: 21 pages, 30 figures

Generalized rainbow Turán numbers of odd cycles

Authors: József Balogh, Michelle Delcourt, Emily Heath, Lina Li

Abstract: Given graphs $F$ and $H$, the generalized rainbow Turán number $\text{ex}(n,F,\text{rainbow-}H)$ is the maximum number of copies of $F$ in an $n$-vertex graph with a proper edge-coloring that contains no rainbow copy of $H$. B. Janzer determined the order of magnitude of $\text{ex}(n,C_s,\text{rainbow-}C_t)$ for all $s\geq 4$ and $t\geq 3$, and a recent result of O. Janzer implied that… ▽ More Given graphs $F$ and $H$, the generalized rainbow Turán number $\text{ex}(n,F,\text{rainbow-}H)$ is the maximum number of copies of $F$ in an $n$-vertex graph with a proper edge-coloring that contains no rainbow copy of $H$. B. Janzer determined the order of magnitude of $\text{ex}(n,C_s,\text{rainbow-}C_t)$ for all $s\geq 4$ and $t\geq 3$, and a recent result of O. Janzer implied that $\text{ex}(n,C_3,\text{rainbow-}C_{2k})=O(n^{1+1/k})$. We prove the corresponding upper bound for the remaining cases, showing that $\text{ex}(n,C_3,\text{rainbow-}C_{2k+1})=O(n^{1+1/k})$. This matches the known lower bound for $k$ even and is conjectured to be tight for $k$ odd. △ Less

Submitted 21 September, 2021; v1 submitted 27 October, 2020; originally announced October 2020.

Ramsey upper density of infinite graph factors

Authors: József Balogh, Ander Lamaison

Abstract: The study of upper density problems on Ramsey theory was initiated by Erdős and Galvin in 1993. In this paper we are concerned with the following problem: given a fixed finite graph $F$, what is the largest value of $λ$ such that every 2-edge-coloring of the complete graph on $\mathbb{N}$ contains a monochromatic infinite $F$-factor whose vertex set has upper density at least $λ$? Here we prove… ▽ More The study of upper density problems on Ramsey theory was initiated by Erdős and Galvin in 1993. In this paper we are concerned with the following problem: given a fixed finite graph $F$, what is the largest value of $λ$ such that every 2-edge-coloring of the complete graph on $\mathbb{N}$ contains a monochromatic infinite $F$-factor whose vertex set has upper density at least $λ$? Here we prove a new lower bound for this problem. For some choices of $F$, including cliques and odd cycles, this new bound is sharp, as it matches an older upper bound. For the particular case where $F$ is a triangle, we also give an explicit lower bound of $1-\frac{1}{\sqrt{7}}=0.62203\dots$, improving the previous best bound of 3/5. △ Less

Submitted 26 October, 2020; originally announced October 2020.

Comments: 17 pages, 3 figures

MSC Class: 05C63; 05C55

More on ordered open end bin packing

Authors: János Balogh, Leah Epstein, Asaf Levin

Abstract: We consider the Ordered Open End Bin Packing problem. Items of sizes in $(0,1]$ are presented one by one, to be assigned to bins in this order. An item can be assigned to any bin for which the current total size strictly below $1$. This means also that the bin can be overloaded by its last packed item. We improve lower and upper bounds on the asymptotic competitive ratio in the online case. Specif… ▽ More We consider the Ordered Open End Bin Packing problem. Items of sizes in $(0,1]$ are presented one by one, to be assigned to bins in this order. An item can be assigned to any bin for which the current total size strictly below $1$. This means also that the bin can be overloaded by its last packed item. We improve lower and upper bounds on the asymptotic competitive ratio in the online case. Specifically, we design the first algorithm whose asymptotic competitive ratio is strictly below $2$ and it is close to the lower bound. This is in contrast to the best possible absolute approximation ratio, which is equal to $2$. We also study the offline problem where the sequence of items is known in advance, while items are still assigned to bins based on their order in the sequence. For this scenario we design an asymptotic polynomial time approximation scheme. △ Less

Submitted 14 October, 2020; originally announced October 2020.

Chain method for panchromatic colorings of hypergraphs

Authors: Margarita Akhmejanova, József Balogh

Abstract: We deal with an extremal problem concerning panchromatic colorings of hypergraphs. A vertex $r$-coloring of a hypergraph $H$ is \emph{panchromatic} if every edge meets every color. We prove that for every $3<r\leq\sqrt[3]{n/(100\ln n)}$, every $n$-uniform hypergraph $H$ with $|E(H)|\leq \frac{1}{20r^2}\left(\frac{n}{\ln n}\right)^{\frac {r-1}{r}}\left(\frac{r}{r-1}\right)^{n-1}$ has a panchromatic… ▽ More We deal with an extremal problem concerning panchromatic colorings of hypergraphs. A vertex $r$-coloring of a hypergraph $H$ is \emph{panchromatic} if every edge meets every color. We prove that for every $3<r\leq\sqrt[3]{n/(100\ln n)}$, every $n$-uniform hypergraph $H$ with $|E(H)|\leq \frac{1}{20r^2}\left(\frac{n}{\ln n}\right)^{\frac {r-1}{r}}\left(\frac{r}{r-1}\right)^{n-1}$ has a panchromatic coloring with $r$ colors. △ Less

Submitted 23 September, 2021; v1 submitted 9 August, 2020; originally announced August 2020.

Truly asymptotic lower bounds for online vector bin packing

Authors: Janos Balogh, Leah Epstein, Asaf Levin

Abstract: In this work, we consider online vector bin packing. It is known that no algorithm can have a competitive ratio of $o(d/\log^2 d)$ in the absolute sense, though upper bounds for this problem were always shown in the asymptotic sense. Since variants of bin packing are traditionally studied with respect to the asymptotic measure and since the two measures are different, we focus on the asymptotic me… ▽ More In this work, we consider online vector bin packing. It is known that no algorithm can have a competitive ratio of $o(d/\log^2 d)$ in the absolute sense, though upper bounds for this problem were always shown in the asymptotic sense. Since variants of bin packing are traditionally studied with respect to the asymptotic measure and since the two measures are different, we focus on the asymptotic measure and prove new lower bounds on the asymptotic competitive ratio. The existing lower bounds prior to this work were much smaller than $3$ even for very large dimensions. We significantly improve the best known lower bounds on the asymptotic competitive ratio (and as a byproduct, on the absolute competitive ratio) for online vector packing of vectors with $d \geq 3$ dimensions, for every such dimension $d$. To obtain these results, we use several different constructions, one of which is an adaptive construction showing a lower bound of $Ω(\sqrt{d})$. Our main result is that the lower bound of $Ω(d/\log^2 d)$ on the competitive ratio holds also in the asymptotic sense. The last result requires a careful adaptation of constructions for online coloring rather than simple black-box reductions. △ Less

Submitted 3 August, 2020; originally announced August 2020.

Comments: Submitted to SODA 2021

Tilings in vertex ordered graphs

Authors: Jozsef Balogh, Lina Li, Andrew Treglown

Abstract: Over recent years there has been much interest in both Turán and Ramsey properties of vertex ordered graphs. In this paper we initiate the study of embedding spanning structures into vertex ordered graphs. In particular, we introduce a general framework for approaching the problem of determining the minimum degree threshold for forcing a perfect $H$-tiling in an ordered graph. In the (unordered) g… ▽ More Over recent years there has been much interest in both Turán and Ramsey properties of vertex ordered graphs. In this paper we initiate the study of embedding spanning structures into vertex ordered graphs. In particular, we introduce a general framework for approaching the problem of determining the minimum degree threshold for forcing a perfect $H$-tiling in an ordered graph. In the (unordered) graph setting, this problem was resolved by Kühn and Osthus [The minimum degree threshold for perfect graph packings, Combinatorica, 2009]. We use our general framework to resolve the perfect $H$-tiling problem for all ordered graphs $H$ of interval chromatic number $2$. Already in this restricted setting the class of extremal examples is richer than in the unordered graph problem. In the process of proving our results, novel approaches to both the regularity and absorbing methods are developed. △ Less

Submitted 16 February, 2022; v1 submitted 21 July, 2020; originally announced July 2020.

Comments: 23 pages, author accepted manuscript to appear in JCTB

A Strengthening of the Erdős-Szekeres Theorem

Authors: József Balogh, Felix Christian Clemen, Emily Heath, Mikhail Lavrov

Abstract: The Erdős-Szekeres Theorem stated in terms of graphs says that any red-blue coloring of the edges of the ordered complete graph $K_{rs+1}$ contains a red copy of the monotone increasing path with $r$ edges or a blue copy of the monotone increasing path with $s$ edges. Although $rs + 1$ is the minimum number of vertices needed for this result, not all edges of $K_{rs+1}$ are necessary. We character… ▽ More The Erdős-Szekeres Theorem stated in terms of graphs says that any red-blue coloring of the edges of the ordered complete graph $K_{rs+1}$ contains a red copy of the monotone increasing path with $r$ edges or a blue copy of the monotone increasing path with $s$ edges. Although $rs + 1$ is the minimum number of vertices needed for this result, not all edges of $K_{rs+1}$ are necessary. We characterize the subgraphs of $K_{rs+1}$ with this coloring property as follows: they are exactly the subgraphs that contain all the edges of a graph we call the circus tent graph $CT(r,s)$. Additionally, we use similar proof techniques to improve upon some of the bounds on the online ordered size Ramsey number of a path given by Pérez-Giménez, Pralat, and West. △ Less

Submitted 21 September, 2021; v1 submitted 5 June, 2020; originally announced June 2020.

Comments: 16 pages