Showing 1–46 of 46 results for author: Szabo, T

Almost-perfect colorful matchings in three-edge-colored bipartite graphs

Authors: Simona Boyadzhiyska, Micha Christoph, Tibor Szabó

Abstract: We prove that, for positive integers $n,a_1, a_2, a_3$ satisfying $a_1+a_2+a_3 = n-1$, it holds that any bipartite graph $G$ which is the union of three perfect matchings $M_1$, $M_2$, and $M_3$ on $2n$ vertices contains a matching $M$ such that $|M\cap M_i| =a_i$ for $i= 1,2,$ and $3$. The bound $n-1$ on the sum is best possible in general. Our result verifies the multiplicity extension of the Ry… ▽ More We prove that, for positive integers $n,a_1, a_2, a_3$ satisfying $a_1+a_2+a_3 = n-1$, it holds that any bipartite graph $G$ which is the union of three perfect matchings $M_1$, $M_2$, and $M_3$ on $2n$ vertices contains a matching $M$ such that $|M\cap M_i| =a_i$ for $i= 1,2,$ and $3$. The bound $n-1$ on the sum is best possible in general. Our result verifies the multiplicity extension of the Ryser-Brualdi-Stein Conjecture, proposed recently by Anastos, Fabian, Müyesser, and Szabó, for three colors. △ Less

Submitted 21 April, 2025; originally announced April 2025.

Comments: 15 pages

MSC Class: 05C70

On almost Gallai colourings in complete graphs

Authors: Alexandr Grebennikov, Letícia Mattos, Tibor Szabó

Abstract: For $t \in \mathbb{N}$, we say that a colouring of $E(K_n)$ is $\textit{almost}$ $t$-$\textit{Gallai}$ if no two rainbow $t$-cliques share an edge. Motivated by a lemma of Berkowitz on bounding the modulus of the characteristic function of clique counts in random graphs, we study the maximum number $τ_t(n)$ of rainbow $t$-cliques in an almost $t$-Gallai colouring of $E(K_n)$. For every $t \ge 4$,… ▽ More For $t \in \mathbb{N}$, we say that a colouring of $E(K_n)$ is $\textit{almost}$ $t$-$\textit{Gallai}$ if no two rainbow $t$-cliques share an edge. Motivated by a lemma of Berkowitz on bounding the modulus of the characteristic function of clique counts in random graphs, we study the maximum number $τ_t(n)$ of rainbow $t$-cliques in an almost $t$-Gallai colouring of $E(K_n)$. For every $t \ge 4$, we show that $n^{2-o(1)} \leq τ_t(n) = o(n^2)$. For $t=3$, surprisingly, the behaviour is substantially different. Our main result establishes that $$\left ( \frac{1}{2}-o(1) \right ) n\log n \le τ_3(n) = O\big (n^{\sqrt{2}}\log n \big ),$$ which gives the first non-trivial improvements over the simple lower and upper bounds. Our proof combines various applications of the probabilistic method and a generalisation of the edge-isoperimetric inequality for the hypercube. △ Less

Submitted 24 March, 2025; v1 submitted 21 March, 2025; originally announced March 2025.

Comments: 23 pages

On the number of sets with small sumset

Authors: Dingyuan Liu, Letícia Mattos, Tibor Szabó

Abstract: We investigate subsets with small sumset in arbitrary abelian groups. For an abelian group $G$ and an $n$-element subset $Y \subseteq G$ we show that if $m \ll s^2/(\log n)^2$, then the number of subsets $A \subseteq Y$ with $|A| = s$ and $|A + A| \leq m$ is at most \[2^{o(s)}\binom{\frac{m+β}{2}}{s},\] where $β$ is the size of the largest subgroup of $G$ of size at most $\left(1+o(1)\right)m$. Th… ▽ More We investigate subsets with small sumset in arbitrary abelian groups. For an abelian group $G$ and an $n$-element subset $Y \subseteq G$ we show that if $m \ll s^2/(\log n)^2$, then the number of subsets $A \subseteq Y$ with $|A| = s$ and $|A + A| \leq m$ is at most \[2^{o(s)}\binom{\frac{m+β}{2}}{s},\] where $β$ is the size of the largest subgroup of $G$ of size at most $\left(1+o(1)\right)m$. This bound is sharp for $\mathbb{Z}$ and many other groups. Our result improves the one of Campos and nearly bridges the remaining gap in a conjecture of Alon, Balogh, Morris, and Samotij. We also explore the behaviour of uniformly chosen random sets $A \subseteq \{1,\ldots,n\}$ with $|A| = s$ and $|A + A| \leq m$. Under the same assumption that $m \ll s^2/(\log n)^2$, we show that with high probability there exists an arithmetic progression $P \subseteq \mathbb{Z}$ of size at most $m/2 + o(m)$ containing all but $o(s)$ elements of $A$. Analogous results are obtained for asymmetric sumsets, improving results by Campos, Coulson, Serra, and Wötzel. The main tool behind our results is a more efficient container-type theorem developed for sets with small sumset, which gives an essentially optimal collection of containers. The proof of this combines an adapted hypergraph container lemma, that caters to the asymmetric setup as well, with a novel ``preprocessing'' graph container lemma, which allows the hypergraph container lemma to be called upon significantly less times than was necessary before. △ Less

Submitted 13 April, 2025; v1 submitted 5 July, 2024; originally announced July 2024.

Comments: 30 pages + appendix

Global rigidity of random graphs in $\mathbb{R}$

Authors: Richard Montgomery, Rajko Nenadov, Julien Portier, Tibor Szabó

Abstract: We investigate the problem of reconstructing a set $P\subseteq \mathbb{R}$ of distinct points, where the only information available about $P$ consists of the distances between some of the pairs of points. More precisely, we examine which properties of the graph $G$ of known distances, defined on the vertex set $P$, ensure that $P$ can be uniquely reconstructed up to isometry. We prove that as soon… ▽ More We investigate the problem of reconstructing a set $P\subseteq \mathbb{R}$ of distinct points, where the only information available about $P$ consists of the distances between some of the pairs of points. More precisely, we examine which properties of the graph $G$ of known distances, defined on the vertex set $P$, ensure that $P$ can be uniquely reconstructed up to isometry. We prove that as soon as the random graph process has minimum degree 2, with high probability it can reconstruct all distances within any point set in $\mathbb{R}$. This resolves a conjecture of Benjamini and Tzalik. We also study the feasibility and limitations of reconstructing the distances within almost all points using much sparser random graphs. In doing so, we resolve a question posed by Girão, Illingworth, Michel, Powierski, and Scott. △ Less

Submitted 20 February, 2025; v1 submitted 19 January, 2024; originally announced January 2024.

Comments: 9 pages. This version includes a new coauthor and an additional result, Theorem 1.5

Slow graph bootstrap percolation II: Accelerating properties

Authors: David Fabian, Patrick Morris, Tibor Szabó

Abstract: For a graph $H$ and an $n$-vertex graph $G$, the $H$-bootstrap process on $G$ is the process which starts with $G$ and, at every time step, adds any missing edges on the vertices of $G$ that complete a copy of $H$. This process eventually stabilises and we are interested in the extremal question raised by Bollobás of determining the maximum running time (number of time steps before stabilising) of… ▽ More For a graph $H$ and an $n$-vertex graph $G$, the $H$-bootstrap process on $G$ is the process which starts with $G$ and, at every time step, adds any missing edges on the vertices of $G$ that complete a copy of $H$. This process eventually stabilises and we are interested in the extremal question raised by Bollobás of determining the maximum running time (number of time steps before stabilising) of this process over all possible choices of $n$-vertex graph $G$. In this paper, we initiate a systematic study of the asymptotics of this parameter, denoted $M_H(n)$, and its dependence on properties of the graph $H$. Our focus is on $H$ which define relatively fast bootstrap processes, that is, with $M_H(n)$ being at most linear in $n$. We study the graph class of trees, showing that one can bound $M_T(n)$ by a quadratic function in $v(T)$ for all trees $T$ and all $n$. We then go on to explore the relationship between the running time of the $H$-process and the minimum vertex degree and connectivity of $H$. △ Less

Submitted 17 December, 2024; v1 submitted 30 November, 2023; originally announced November 2023.

Comments: 27 pages, 6 figures. Version updated thanks to comments of referees. To appear in JCTB

Sampling depth trade-off in function estimation under a two-level design

Authors: Akira Horiguchi, Li Ma, Botond T. Szabó

Abstract: Many modern statistical applications involve a two-level sampling scheme that first samples subjects from a population and then samples observations on each subject. These schemes often are designed to learn both the population-level functional structures shared by the subjects and the functional characteristics specific to individual subjects. Common wisdom suggests that learning population-level… ▽ More Many modern statistical applications involve a two-level sampling scheme that first samples subjects from a population and then samples observations on each subject. These schemes often are designed to learn both the population-level functional structures shared by the subjects and the functional characteristics specific to individual subjects. Common wisdom suggests that learning population-level structures benefits from sampling more subjects whereas learning subject-specific structures benefits from deeper sampling within each subject. Oftentimes these two objectives compete for limited sampling resources, which raises the question of how to optimally sample at the two levels. We quantify such sampling-depth trade-offs by establishing the $L_2$ minimax risk rates for learning the population-level and subject-specific structures under a hierarchical Gaussian process model framework where we consider a Bayesian and a frequentist perspective on the unknown population-level structure. These rates provide general lessons for designing two-level sampling schemes given a fixed sampling budget. Interestingly, they show that subject-specific learning occasionally benefits more by sampling more subjects than by deeper within-subject sampling. We show that the corresponding minimax rates can be readily achieved in practice through simple adaptive estimators without assuming prior knowledge on the underlying variability at the two sampling levels. We validate our theory and illustrate the sampling trade-off in practice through both simulation experiments and two real datasets. While we carry out all the theoretical analysis in the context of Gaussian process models for analytical tractability, the results provide insights on effective two-level sampling designs more broadly. △ Less

Submitted 30 March, 2024; v1 submitted 4 October, 2023; originally announced October 2023.

Comments: 43 pages, 10 figures

Slow graph bootstrap percolation I: Cycles

Authors: David Fabian, Patrick Morris, Tibor Szabó

Abstract: Given a fixed graph $H$ and an $n$-vertex graph $G$, the $H$-bootstrap percolation process on $G$ is defined to be the sequence of graphs $G_i$, $i\geq 0$ which starts with $G_0:=G$ and in which $G_{i+1}$ is obtained from $G_i$ by adding every edge that completes a copy of $H$. We are interested in $M_H(n)$ which is the maximum number of steps, over all $n$-vertex graphs $G$, that this process tak… ▽ More Given a fixed graph $H$ and an $n$-vertex graph $G$, the $H$-bootstrap percolation process on $G$ is defined to be the sequence of graphs $G_i$, $i\geq 0$ which starts with $G_0:=G$ and in which $G_{i+1}$ is obtained from $G_i$ by adding every edge that completes a copy of $H$. We are interested in $M_H(n)$ which is the maximum number of steps, over all $n$-vertex graphs $G$, that this process takes to stabilise. We determine this maximum running time precisely when $H$ is a cycle, giving the first infinite family of graphs $H$ for which an exact solution is known. We find that $M_{C_k}(n)$ is of order $\log_{k-1}(n)$ for all $3\leq k\in \mathbb{N}$. Interestingly though, the function exhibits different behaviour depending on the parity of $k$ and the exact location of the values of $n$ for which $M_H(n)$ increases is determined by the Frobenius number of a certain numerical semigroup depending on $k$. △ Less

Submitted 27 February, 2025; v1 submitted 1 August, 2023; originally announced August 2023.

Comments: 24 pages, 1 figure, second version

Splitting matchings and the Ryser-Brualdi-Stein conjecture for multisets

Authors: Michael Anastos, David Fabian, Alp Müyesser, Tibor Szabó

Abstract: We study multigraphs whose edge-sets are the union of three perfect matchings, $M_1$, $M_2$, and $M_3$. Given such a graph $G$ and any $a_1,a_2,a_3\in \mathbb{N}$ with $a_1+a_2+a_3\leq n-2$, we show there exists a matching $M$ of $G$ with $|M\cap M_i|=a_i$ for each $i\in \{1,2,3\}$. The bound $n-2$ in the theorem is best possible in general. We conjecture however that if $G$ is bipartite, the same… ▽ More We study multigraphs whose edge-sets are the union of three perfect matchings, $M_1$, $M_2$, and $M_3$. Given such a graph $G$ and any $a_1,a_2,a_3\in \mathbb{N}$ with $a_1+a_2+a_3\leq n-2$, we show there exists a matching $M$ of $G$ with $|M\cap M_i|=a_i$ for each $i\in \{1,2,3\}$. The bound $n-2$ in the theorem is best possible in general. We conjecture however that if $G$ is bipartite, the same result holds with $n-2$ replaced by $n-1$. We give a construction that shows such a result would be tight. We also make a conjecture generalising the Ryser-Brualdi-Stein conjecture with colour multiplicities. △ Less

Submitted 1 June, 2023; v1 submitted 6 December, 2022; originally announced December 2022.

New Ramsey Multiplicity Bounds and Search Heuristics

Authors: Olaf Parczyk, Sebastian Pokutta, Christoph Spiegel, Tibor Szabó

Abstract: We study two related problems concerning the number of homogeneous subsets of given size in graphs that go back to questions of Erdős. Most notably, we improve the upper bounds on the Ramsey multiplicity of $K_4$ and $K_5$ and settle the minimum number of independent sets of size $4$ in graphs with clique number at most $4$. Motivated by the elusiveness of the symmetric Ramsey multiplicity problem… ▽ More We study two related problems concerning the number of homogeneous subsets of given size in graphs that go back to questions of Erdős. Most notably, we improve the upper bounds on the Ramsey multiplicity of $K_4$ and $K_5$ and settle the minimum number of independent sets of size $4$ in graphs with clique number at most $4$. Motivated by the elusiveness of the symmetric Ramsey multiplicity problem, we also introduce an off-diagonal variant and obtain tight results when counting monochromatic $K_4$ or $K_5$ in only one of the colors and triangles in the other. The extremal constructions for each problem turn out to be blow-ups of a graph of constant size and were found through search heuristics. They are complemented by lower bounds established using flag algebras, resulting in a fully computer-assisted approach. For some of our theorems we can also derive that the extremal construction is stable in a very strong sense. More broadly, these problems lead us to the study of the region of possible pairs of clique and independent set densities that can be realized as the limit of some sequence of graphs. △ Less

Submitted 13 September, 2024; v1 submitted 8 June, 2022; originally announced June 2022.

Comments: 39 pages, 3 figures, published in Foundations of Computational Mathematics (2024), DOI: 10.1007/s10208-024-09675-6

MSC Class: 05D10; 90C27

Oriented cycles in digraphs of large outdegree

Authors: Lior Gishboliner, Raphael Steiner, Tibor Szabó

Abstract: In 1985, Mader conjectured that for every acyclic digraph $F$ there exists $K=K(F)$ such that every digraph $D$ with minimum out-degree at least $K$ contains a subdivision of $F$. This conjecture remains widely open, even for digraphs $F$ on five vertices. Recently, Aboulker, Cohen, Havet, Lochet, Moura and Thomassé studied special cases of Mader's problem and made the following conjecture: for ev… ▽ More In 1985, Mader conjectured that for every acyclic digraph $F$ there exists $K=K(F)$ such that every digraph $D$ with minimum out-degree at least $K$ contains a subdivision of $F$. This conjecture remains widely open, even for digraphs $F$ on five vertices. Recently, Aboulker, Cohen, Havet, Lochet, Moura and Thomassé studied special cases of Mader's problem and made the following conjecture: for every $\ell \geq 2$ there exists $K = K(\ell)$ such that every digraph $D$ with minimum out-degree at least $K$ contains a subdivision of every orientation of a cycle of length $\ell$. We prove this conjecture and answer further open questions raised by Aboulker et al. △ Less

Submitted 30 August, 2020; originally announced August 2020.

Comments: 28 pages, 3 figures

MSC Class: 05C07; 05C20; 05C83

Dichromatic number and forced subdivisions

Authors: Lior Gishboliner, Raphael Steiner, Tibor Szabó

Abstract: We investigate bounds on the dichromatic number of digraphs which avoid a fixed digraph as a topological minor. For a digraph $F$, denote by $\text{mader}_{\vecχ}(F)$ the smallest integer $k$ such that every $k$-dichromatic digraph contains a subdivision of $F$. As our first main result, we prove that if $F$ is an orientation of a cycle then $\text{mader}_{\vecχ}(F)=v(F)$. This settles a conjectur… ▽ More We investigate bounds on the dichromatic number of digraphs which avoid a fixed digraph as a topological minor. For a digraph $F$, denote by $\text{mader}_{\vecχ}(F)$ the smallest integer $k$ such that every $k$-dichromatic digraph contains a subdivision of $F$. As our first main result, we prove that if $F$ is an orientation of a cycle then $\text{mader}_{\vecχ}(F)=v(F)$. This settles a conjecture of Aboulker, Cohen, Havet, Lochet, Moura and Thomassé. We also extend this result to the more general class of orientations of cactus graphs, and to bioriented forests. Our second main result is that $\text{mader}_{\vecχ}(F)=4$ for every tournament $F$ of order $4$. This is an extension of the classical result by Dirac that $4$-chromatic graphs contain a $K_4$-subdivision to directed graphs. △ Less

Submitted 22 August, 2020; originally announced August 2020.

Comments: 24 pages, 1 figure

MSC Class: 05C15; 05C20; 05C83

Ryser's Conjecture for $t$-intersecting hypergraphs

Authors: Anurag Bishnoi, Shagnik Das, Patrick Morris, Tibor Szabó

Abstract: A well-known conjecture, often attributed to Ryser, states that the cover number of an $r$-partite $r$-uniform hypergraph is at most $r - 1$ times larger than its matching number. Despite considerable effort, particularly in the intersecting case, this conjecture remains wide open, motivating the pursuit of variants of the original conjecture. Recently, Bustamante and Stein and, independently, Kir… ▽ More A well-known conjecture, often attributed to Ryser, states that the cover number of an $r$-partite $r$-uniform hypergraph is at most $r - 1$ times larger than its matching number. Despite considerable effort, particularly in the intersecting case, this conjecture remains wide open, motivating the pursuit of variants of the original conjecture. Recently, Bustamante and Stein and, independently, Király and Tóthmérész considered the problem under the assumption that the hypergraph is $t$-intersecting, conjecturing that the cover number $τ(\mathcal{H})$ of such a hypergraph $\mathcal{H}$ is at most $r - t$. In these papers, it was proven that the conjecture is true for $r \leq 4t-1$, but also that it need not be sharp; when $r = 5$ and $t = 2$, one has $τ(\mathcal{H}) \leq 2$. We extend these results in two directions. First, for all $t \geq 2$ and $r \leq 3t-1$, we prove a tight upper bound on the cover number of these hypergraphs, showing that they in fact satisfy $τ(\mathcal{H}) \leq \lfloor(r - t)/2 \rfloor + 1$. Second, we extend the range of $t$ for which the conjecture is known to be true, showing that it holds for all $r \leq \frac{36}{7}t-5$. We also introduce several related variations on this theme. As a consequence of our tight bounds, we resolve the problem for $k$-wise $t$-intersecting hypergraphs, for all $k \geq 3$ and $t \geq 1$. We further give bounds on the cover numbers of strictly $t$-intersecting hypergraphs and the $s$-cover numbers of $t$-intersecting hypergraphs. △ Less

Submitted 27 November, 2020; v1 submitted 13 January, 2020; originally announced January 2020.

Comments: Revised according to the referee reports, updated references, to appear in JCTA

Majority Colorings of Sparse Digraphs

Authors: Michael Anastos, Ander Lamaison, Raphael Steiner, Tibor Szabó

Abstract: A majority coloring of a directed graph is a vertex-coloring in which every vertex has the same color as at most half of its out-neighbors. Kreutzer, Oum, Seymour, van der Zypen and Wood proved that every digraph has a majority 4-coloring and conjectured that every digraph admits a majority 3-coloring. We verify this conjecture for digraphs with chromatic number at most 6 or dichromatic number at… ▽ More A majority coloring of a directed graph is a vertex-coloring in which every vertex has the same color as at most half of its out-neighbors. Kreutzer, Oum, Seymour, van der Zypen and Wood proved that every digraph has a majority 4-coloring and conjectured that every digraph admits a majority 3-coloring. We verify this conjecture for digraphs with chromatic number at most 6 or dichromatic number at most 3. We obtain analogous results for list coloring: We show that every digraph with list chromatic number at most 6 or list dichromatic number at most 3 is majority 3-choosable. We deduce that digraphs with maximum out-degree at most 4 or maximum degree at most 7 are majority 3-choosable. On the way to these results we investigate digraphs admitting a majority 2-coloring. We show that every digraph without odd directed cycles is majority 2-choosable. We answer an open question posed by Kreutzer et al. negatively, by showing that deciding whether a given digraph is majority 2-colorable is NP-complete. Finally we deal with a fractional relaxation of majority coloring proposed by Kreutzer et al. and show that every digraph has a fractional majority 3.9602-coloring. We show that every digraph with minimum out-degree $Ω\left((1/\varepsilon)^2\ln(1/\varepsilon)\right)$ has a fractional majority $(2+\varepsilon)$-coloring. △ Less

Submitted 5 November, 2019; originally announced November 2019.

Comments: 15 pages, 2 figures

MSC Class: 05C15; 05C20

Enumerating extensions of mutually orthogonal Latin squares

Authors: Simona Boyadzhiyska, Shagnik Das, Tibor Szabó

Abstract: Two $n \times n$ Latin squares $L_1, L_2$ are said to be orthogonal if, for every ordered pair $(x,y)$ of symbols, there are coordinates $(i,j)$ such that $L_1(i,j) = x$ and $L_2(i,j) = y$. A $k$-MOLS is a sequence of $k$ pairwise-orthogonal Latin squares, and the existence and enumeration of these objects has attracted a great deal of attention. Recent work of Keevash and Luria provides, for al… ▽ More Two $n \times n$ Latin squares $L_1, L_2$ are said to be orthogonal if, for every ordered pair $(x,y)$ of symbols, there are coordinates $(i,j)$ such that $L_1(i,j) = x$ and $L_2(i,j) = y$. A $k$-MOLS is a sequence of $k$ pairwise-orthogonal Latin squares, and the existence and enumeration of these objects has attracted a great deal of attention. Recent work of Keevash and Luria provides, for all fixed $k$, log-asymptotically tight bounds on the number of $k$-MOLS. To study the situation when $k$ grows with $n$, we bound the number of ways a $k$-MOLS can be extended to a $(k+1)$-MOLS. These bounds are again tight for constant $k$, and allow us to deduce upper bounds on the total number of $k$-MOLS for all $k$. These bounds are close to tight even for $k$ linear in $n$, and readily generalize to the broader class of gerechte designs, which include Sudoku squares. △ Less

Submitted 7 October, 2019; originally announced October 2019.

Comments: 18 pages

MSC Class: 05B15

Singer difference sets and the projective norm graph

Authors: Tamás Mészáros, Lajos Rónyai, Tibor Szabó

Abstract: We demonstrate a close connection between the classic planar Singer difference sets and certain norm equation systems arising from projective norm graphs. This, on the one hand leads to a novel description of planar Singer difference sets as a subset $\mathcal{H}$ of $\mathcal{N}$, the group of elements of norm 1 in the field extension $\mathbb{F}_{q^3}/\mathbb{F}_q$. $\mathcal{H}$ is given as the… ▽ More We demonstrate a close connection between the classic planar Singer difference sets and certain norm equation systems arising from projective norm graphs. This, on the one hand leads to a novel description of planar Singer difference sets as a subset $\mathcal{H}$ of $\mathcal{N}$, the group of elements of norm 1 in the field extension $\mathbb{F}_{q^3}/\mathbb{F}_q$. $\mathcal{H}$ is given as the solution set of a simple polynomial equation, and we obtain an explicit formula expressing each non-identity element of $\mathcal{N}$ as a product $B\cdot C^{-1}$ with $B, C\in \mathcal{H}$. The description and the definitions naturally carry over to the nonplanar and the infinite setting. On the other hand, relying heavily on the difference set properties, we also complete the proof that the projective norm graph $\text{NG}(q,4)$ does contain the complete bipartite graph $K_{4,6}$ for every prime power $q \geq 5$. This complements the property, known for more than two decades, that projective norm graphs do not contain $K_{4,7}$ (and hence provide tight lower bounds for the Turán number $ex(n,K_{4,7})$). △ Less

Submitted 15 August, 2019; originally announced August 2019.

Comments: 25 pages + 1 page Appendix

Exploring Projective Norm Graphs

Authors: Tomas Bayer, Tamás Mészáros, Lajos Rónyai, Tibor Szabó

Abstract: The projective norm graphs $\text{NG}(q,t)$ provide tight constructions for the Turán number of complete bipartite graphs $K_{t,s}$ with $s>(t-1)!$. In this paper we determine their automorphism group and explore their small subgraphs. To this end we give quite precise estimates on the number of solutions of certain equation systems involving norms over finite fields. The determination of the larg… ▽ More The projective norm graphs $\text{NG}(q,t)$ provide tight constructions for the Turán number of complete bipartite graphs $K_{t,s}$ with $s>(t-1)!$. In this paper we determine their automorphism group and explore their small subgraphs. To this end we give quite precise estimates on the number of solutions of certain equation systems involving norms over finite fields. The determination of the largest integer $s_t$, such that the projective norm graph $\text{NG}(q,t)$ contains $K_{t,s_t}$ for all large enough prime powers $q$ is an important open question with far-reaching general consequences. The best known bounds, $t-1\leq s_t \leq (t-1)!$, are far apart for $t\geq 4$. Here we prove that $\text{NG}(q,4)$ does contain (many) $K_{4,6}$ for any prime power $q$ not divisble by $2$ or $3$. This greatly extends recent work of Grosu, using a completely different approach. Along the way we also count the copies of any fixed $3$-degenerate subgraph, and find that projective norm graphs are quasirandom with respect to this parameter. Some of these results also extend the work of Alon and Shikhelman on generalized Turán numbers. Finally we also give a new, more elementary proof for the $K_{4,7}$-freeness of $\text{NG}(q,4)$. △ Less

Submitted 14 August, 2019; originally announced August 2019.

Comments: 41 pages + 6 pages of Appendix

The maximum length of $K_r$-Bootstrap Percolation

Authors: József Balogh, Gal Kronenberg, Alexey Pokrovskiy, Tibor Szabó

Abstract: Graph-bootstrap percolation, also known as weak saturation, was introduced by Bollobás in 1968. In this process, we start with initial "infected" set of edges $E_0$, and we infect new edges according to a predetermined rule. Given a graph $H$ and a set of previously infected edges $E_t\subseteq E(K_n)$, we infect a non-infected edge $e$ if it completes a new copy of $H$ in $G=([n],E_t\cup e)$. A q… ▽ More Graph-bootstrap percolation, also known as weak saturation, was introduced by Bollobás in 1968. In this process, we start with initial "infected" set of edges $E_0$, and we infect new edges according to a predetermined rule. Given a graph $H$ and a set of previously infected edges $E_t\subseteq E(K_n)$, we infect a non-infected edge $e$ if it completes a new copy of $H$ in $G=([n],E_t\cup e)$. A question raised by Bollobás asks for the maximum time the process can run before it stabilizes. Bollobás, Przykucki, Riordan, and Sahasrabudhe considered this problem for the most natural case where $H=K_r$. They answered the question for $r\leq 4$ and gave a non-trivial lower bound for every $r\geq 5$. They also conjectured that the maximal running time is $o(n^2)$ for every integer $r$. In this paper we disprove their conjecture for every $r\geq 6$ and we give a better lower bound for the case $r=5$; in the proof we use the Behrend construction. △ Less

Submitted 10 July, 2019; originally announced July 2019.

Comments: 10 pages

MSC Class: 05D99; 05C35; 82B43; 11B25

On the Odd Cycle Game and Connected Rules

Authors: Jan Corsten, Adva Mond, Alexey Pokrovskiy, Christoph Spiegel, Tibor Szabó

Abstract: We study the positional game where two players, Maker and Breaker, alternately select respectively $1$ and $b$ previously unclaimed edges of $K_n$. Maker wins if she succeeds in claiming all edges of some odd cycle in $K_n$ and Breaker wins otherwise. Improving on a result of Bednarska and Pikhurko, we show that Maker wins the odd cycle game if $b \leq ((4 - \sqrt{6})/5 + o(1)) n$. We furthermore… ▽ More We study the positional game where two players, Maker and Breaker, alternately select respectively $1$ and $b$ previously unclaimed edges of $K_n$. Maker wins if she succeeds in claiming all edges of some odd cycle in $K_n$ and Breaker wins otherwise. Improving on a result of Bednarska and Pikhurko, we show that Maker wins the odd cycle game if $b \leq ((4 - \sqrt{6})/5 + o(1)) n$. We furthermore introduce "connected rules" and study the odd cycle game under them, both in the Maker-Breaker as well as in the Client-Waiter variant. △ Less

Submitted 10 June, 2019; originally announced June 2019.

Comments: 22 pages, 3 figures

MSC Class: 91A24; 05C57; 05C38

List Ramsey numbers

Authors: N. Alon, M. Bucić, T. Kalvari, E. Kuperwasser, T. Szabó

Abstract: We introduce the list colouring extension of classical Ramsey numbers. We investigate when the two Ramsey numbers are equal, and in general, how far apart they can be from each other. We find graph sequences where the two are equal and where they are far apart. For $\ell$-uniform cliques we prove that the list Ramsey number is bounded by an exponential function, while it is well-known that the Ram… ▽ More We introduce the list colouring extension of classical Ramsey numbers. We investigate when the two Ramsey numbers are equal, and in general, how far apart they can be from each other. We find graph sequences where the two are equal and where they are far apart. For $\ell$-uniform cliques we prove that the list Ramsey number is bounded by an exponential function, while it is well-known that the Ramsey number is super-exponential for uniformity at least $3$. This is in great contrast to the graph case where we cannot even decide the question of equality for cliques. △ Less

Submitted 12 August, 2020; v1 submitted 19 February, 2019; originally announced February 2019.

Comments: 18 pages

Calculating power integral bases by solving relative Thue equations

Authors: István Gaál, László Remete, Tí mea Szabó

Abstract: In our recent paper we gave an efficient algorithm to calculate "small" solutions of relative Thue equations (where "small" means an upper bound of type $10^{500}$ for the sizes of solutions). Here we apply this algorithm to calculating power integral bases in sextic fields with an imaginary quadratic subfield and to calculating relative power integral bases in pure quartic extensions of imaginary… ▽ More In our recent paper we gave an efficient algorithm to calculate "small" solutions of relative Thue equations (where "small" means an upper bound of type $10^{500}$ for the sizes of solutions). Here we apply this algorithm to calculating power integral bases in sextic fields with an imaginary quadratic subfield and to calculating relative power integral bases in pure quartic extensions of imaginary quadratic fields. In both cases the crucial point of the calculation is the resolution of a relative Thue equation. We produce numerical data that were not known before. △ Less

Submitted 27 September, 2018; originally announced October 2018.

MSC Class: 11Y50; 11D59; 11R16

Journal ref: Tatra Mt. Math. Publ. 59, 79-92 (2014)

Relative power integral bases in infinite families of quartic extensions of quadratic fields

Authors: István Gaál, Tí mea Szabó

Abstract: We consider infinite parametric families of octic fields, that are quartic extensions of quadratic fields. We describe all relative power integral bases of the octic fields over the quadratic subfields. We consider infinite parametric families of octic fields, that are quartic extensions of quadratic fields. We describe all relative power integral bases of the octic fields over the quadratic subfields. △ Less

Submitted 27 September, 2018; originally announced October 2018.

MSC Class: 11R33; 11D25; 11Y50

Journal ref: JP J. Algebra Number Theory Appl. 29, No. 1, 31-43 (2013)

Calculating power integral bases by using relative power integral bases

Authors: István Gaál, László Remete, Tí mea Szabó

Abstract: Let $M\subset K$ be number fields. We consider the relation of relative power integral bases of $K$ over $M$ with absolute power integral bases of $K$ over $Q$. We show how generators of absolute power integral bases can be calculated from generators of relative ones. We apply our ideas in infinite families of octic fields with quadratic subfields. Let $M\subset K$ be number fields. We consider the relation of relative power integral bases of $K$ over $M$ with absolute power integral bases of $K$ over $Q$. We show how generators of absolute power integral bases can be calculated from generators of relative ones. We apply our ideas in infinite families of octic fields with quadratic subfields. △ Less

Submitted 27 September, 2018; originally announced September 2018.

MSC Class: 11R04; 11Y50

Journal ref: Funct. Approximatio, Comment. Math. 54, No. 2, 141-149 (2016)

On the optimality of the uniform random strategy

Authors: Christopher Kusch, Juanjo Rué, Christoph Spiegel, Tibor Szabó

Abstract: The concept of biased Maker-Breaker games, introduced by Chvátal and Erd{\H o}s, is a central topic in the field of positional games, with deep connections to the theory of random structures. For any given hypergraph ${\cal H}$ the main questions is to determine the smallest bias $q({\cal H})$ that allows Breaker to force that Maker ends up with an independent set of ${\cal H}$. Here we prove matc… ▽ More The concept of biased Maker-Breaker games, introduced by Chvátal and Erd{\H o}s, is a central topic in the field of positional games, with deep connections to the theory of random structures. For any given hypergraph ${\cal H}$ the main questions is to determine the smallest bias $q({\cal H})$ that allows Breaker to force that Maker ends up with an independent set of ${\cal H}$. Here we prove matching general winning criteria for Maker and Breaker when the game hypergraph satisfies a couple of natural `container-type' regularity conditions about the degree of subsets of its vertices. This will enable us to derive a hypergraph generalization of the $H$-building games, studied for graphs by Bednarska and Łuczak. Furthermore, we investigate the biased version of generalizations of the van der Waerden games introduced by Beck. We refer to these generalizations as Rado games and determine their threshold bias up to constant factors by applying our general criteria. We find it quite remarkable that a purely game theoretic deterministic approach provides the right order of magnitude for such a wide variety of hypergraphs, when the generalizations to hypergraphs in the analogous setup of sparse random discrete structures are usually quite challenging. △ Less

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

Comments: 26 pages

A family of extremal hypergraphs for Ryser's conjecture

Authors: Ahmad Abu-Khazneh, János Barát, Alexey Pokrovskiy, Tibor Szabó

Abstract: Ryser's Conjecture states that for any $r$-partite $r$-uniform hypergraph, the vertex cover number is at most $r{-}1$ times the matching number. This conjecture is only known to be true for $r\leq 3$ in general and for $r\leq 5$ if the hypergraph is intersecting. There has also been considerable effort made for finding hypergraphs that are extremal for Ryser's Conjecture, i.e. $r$-partite hypergra… ▽ More Ryser's Conjecture states that for any $r$-partite $r$-uniform hypergraph, the vertex cover number is at most $r{-}1$ times the matching number. This conjecture is only known to be true for $r\leq 3$ in general and for $r\leq 5$ if the hypergraph is intersecting. There has also been considerable effort made for finding hypergraphs that are extremal for Ryser's Conjecture, i.e. $r$-partite hypergraphs whose cover number is $r-1$ times its matching number. Aside from a few sporadic examples, the set of uniformities $r$ for which Ryser's Conjecture is known to be tight is limited to those integers for which a projective plane of order $r-1$ exists. We produce a new infinite family of $r$-uniform hypergraphs extremal to Ryser's Conjecture, which exists whenever a projective plane of order $r-2$ exists. Our construction is flexible enough to produce a large number of non-isomorphic extremal hypergraphs. In particular, we define what we call the {\em Ryser poset} of extremal intersecting $r$-partite $r$-uniform hypergraphs and show that the number of maximal and minimal elements is exponential in $\sqrt{r}$. This provides further evidence for the difficulty of Ryser's Conjecture. △ Less

Submitted 12 July, 2018; v1 submitted 20 May, 2016; originally announced May 2016.

MSC Class: 05D15 ACM Class: G.2.1

Sharp thresholds for half-random games II

Authors: Jonas Groschwitz, Tibor Szabó

Abstract: We study biased Maker-Breaker positional games between two players, one of whom is playing randomly against an opponent with an optimal strategy. In this work we focus on the case of Breaker playing randomly and Maker being "clever". The reverse scenario is treated in a separate paper. We determine the sharp threshold bias of classical games played on the edge set of the complete graph $K_n$, such… ▽ More We study biased Maker-Breaker positional games between two players, one of whom is playing randomly against an opponent with an optimal strategy. In this work we focus on the case of Breaker playing randomly and Maker being "clever". The reverse scenario is treated in a separate paper. We determine the sharp threshold bias of classical games played on the edge set of the complete graph $K_n$, such as connectivity, perfect matching, Hamiltonicity, and minimum degree-$1$. In all of these games, the threshold is equal to the trivial upper bound implied by the number of edges needed for Maker to occupy a winning set. Moreover, we show that the clever Maker can not only win against an asymptotically optimal bias, but can do so very fast, wasting only logarithmically many moves (while the winning set sizes are linear in $n$). △ Less

Submitted 31 March, 2016; v1 submitted 15 February, 2016; originally announced February 2016.

Comments: This is the second part of our work on this subject, the first part can be found here: arXiv:1507.06688 . Originally, both parts were contained in the same paper. This original version can be found here: arXiv:1507.06688v2

Sharp thresholds for half-random games I

Authors: Jonas Groschwitz, Tibor Szabó

Abstract: We study biased Maker-Breaker positional games between two players, one of whom is playing randomly against an opponent with an optimal strategy. In this paper we consider the scenario when Maker plays randomly and Breaker is "clever", and determine the sharp threshold bias of classical graph games, such as connectivity, Hamiltonicity, and minimum degree-$k$. We treat the other case, that is when… ▽ More We study biased Maker-Breaker positional games between two players, one of whom is playing randomly against an opponent with an optimal strategy. In this paper we consider the scenario when Maker plays randomly and Breaker is "clever", and determine the sharp threshold bias of classical graph games, such as connectivity, Hamiltonicity, and minimum degree-$k$. We treat the other case, that is when Breaker plays randomly, in a separate paper. The traditional, deterministic version of these games, with two optimal players playing, are known to obey the so-called probabilistic intuition. That is, the threshold bias of these games is asymptotically equal to the threshold bias of their random counterpart, where players just take edges uniformly at random. We find, that despite this remarkably precise agreement of the results of the deterministic and the random games, playing randomly against an optimal opponent is not a good idea: the threshold bias becomes significantly more tilted towards the random player. An important qualitative aspect of the probabilistic intuition carries through nevertheless: the bottleneck for Maker to occupy a connected graph is still the ability to avoid isolated vertices in her graph. △ Less

Submitted 31 March, 2016; v1 submitted 23 July, 2015; originally announced July 2015.

Comments: This paper has been split in two parts, the second part can be found at https://arxiv.boxedpaper.com/abs/1602.04628 . A full version from before the split is submission v2 of this arXiv entry, available at https://arxiv.boxedpaper.com/abs/1507.06688v2

Change detection in the Cox-Ingersoll-Ross model

Authors: Gyula Pap, Tamás T. Szabó

Abstract: We propose a change detection method for the famous Cox--Ingersoll--Ross model. This model is widely used in financial mathematics and therefore detecting a change in its parameters is of crucial importance. We develop one- and two-sided testing procedures for both drift parameters of the process. The test process is based on estimators that are motivated by the discrete time least-squares estimat… ▽ More We propose a change detection method for the famous Cox--Ingersoll--Ross model. This model is widely used in financial mathematics and therefore detecting a change in its parameters is of crucial importance. We develop one- and two-sided testing procedures for both drift parameters of the process. The test process is based on estimators that are motivated by the discrete time least-squares estimators, and its asymptotic distribution under the no-change hypothesis is that of a Brownian bridge. We prove the asymptotic weak consistence of the test, and derive the asymptotic properties of the change-point estimator under the alternative hypothesis of change at one point in time. △ Less

Submitted 25 February, 2015; originally announced February 2015.

Comments: 30 pages

MSC Class: Primary: 62M02; secondary: 60J60; 60F17

On the minimum degree of minimal Ramsey graphs for multiple colours

Authors: Jacob Fox, Andrey Grinshpun, Anita Liebenau, Yury Person, Tibor Szabo

Abstract: A graph G is r-Ramsey for a graph H, denoted by G\rightarrow (H)_r, if every r-colouring of the edges of G contains a monochromatic copy of H. The graph G is called r-Ramsey-minimal for H if it is r-Ramsey for H but no proper subgraph of G possesses this property. Let s_r(H) denote the smallest minimum degree of G over all graphs G that are r-Ramsey-minimal for H. The study of the parameter s_2 wa… ▽ More A graph G is r-Ramsey for a graph H, denoted by G\rightarrow (H)_r, if every r-colouring of the edges of G contains a monochromatic copy of H. The graph G is called r-Ramsey-minimal for H if it is r-Ramsey for H but no proper subgraph of G possesses this property. Let s_r(H) denote the smallest minimum degree of G over all graphs G that are r-Ramsey-minimal for H. The study of the parameter s_2 was initiated by Burr, Erdős, and Lovász in 1976 when they showed that for the clique s_2(K_k)=(k-1)^2. In this paper, we study the dependency of s_r(K_k) on r and show that, under the condition that k is constant, s_r(K_k) = r^2 polylog r. We also give an upper bound on s_r(K_k) which is polynomial in both r and k, and we determine s_r(K_3) up to a factor of log r. △ Less

Submitted 10 February, 2015; originally announced February 2015.

Graphs without proper subgraphs of minimum degree 3 and short cycles

Authors: Lothar Narins, Alexey Pokrovskiy, Tibor Szabó

Abstract: We study graphs on $n$ vertices which have $2n-2$ edges and no proper induced subgraphs of minimum degree $3$. Erdős, Faudree, Gyárfás, and Schelp conjectured that such graphs always have cycles of lengths $3,4,5,\dots, C(n)$ for some function $C(n)$ tending to infinity. We disprove this conjecture, resolve a related problem about leaf-to-leaf path lengths in trees, and characterize graphs with… ▽ More We study graphs on $n$ vertices which have $2n-2$ edges and no proper induced subgraphs of minimum degree $3$. Erdős, Faudree, Gyárfás, and Schelp conjectured that such graphs always have cycles of lengths $3,4,5,\dots, C(n)$ for some function $C(n)$ tending to infinity. We disprove this conjecture, resolve a related problem about leaf-to-leaf path lengths in trees, and characterize graphs with $n$ vertices and $2n-2$ edges, containing no proper subgraph of minimum degree $3$. △ Less

Submitted 22 August, 2014; originally announced August 2014.

Comments: 22 pages, 14 figures

MSC Class: 05C38 (Primary); 05C05; 05C75 (Secondary)

Parameter estimation for the subcritical Heston model based on discrete time observations

Authors: Matyas Barczy, Gyula Pap, Tamas T. Szabo

Abstract: We study asymptotic properties of some (essentially conditional least squares) parameter estimators for the subcritical Heston model based on discrete time observations derived from conditional least squares estimators of some modified parameters. We study asymptotic properties of some (essentially conditional least squares) parameter estimators for the subcritical Heston model based on discrete time observations derived from conditional least squares estimators of some modified parameters. △ Less

Submitted 8 February, 2016; v1 submitted 3 March, 2014; originally announced March 2014.

Comments: 22 pages, mistakes in the proof of Theorem 3.2 are corrected

MSC Class: 91G70; 60H10; 62F12; 60F05

Journal ref: Acta Scientiarum Mathematicarum (Szeged) 82, (2016), 313-338

Extremal Hypergraphs for Ryser's Conjecture: Home-Base Hypergraphs

Authors: Penny Haxell, Lothar Narins, Tibor Szabó

Abstract: Ryser's Conjecture states that any $r$-partite $r$-uniform hypergraph has a vertex cover of size at most $r - 1$ times the size of the largest matching. For $r = 2$, the conjecture is simply König's Theorem and every bipartite graph is a witness for its tightness. The conjecture has also been proven for $r = 3$ by Aharoni using topological methods, but the proof does not give information on the ex… ▽ More Ryser's Conjecture states that any $r$-partite $r$-uniform hypergraph has a vertex cover of size at most $r - 1$ times the size of the largest matching. For $r = 2$, the conjecture is simply König's Theorem and every bipartite graph is a witness for its tightness. The conjecture has also been proven for $r = 3$ by Aharoni using topological methods, but the proof does not give information on the extremal $3$-uniform hypergraphs. Our goal in this paper is to characterize those hypergraphs which are tight for Aharoni's Theorem. Our proof of this characterization is also based on topological machinery, particularly utilizing results on the (topological) connectedness of the independence complex of the line graph of the link graphs of $3$-uniform Ryser-extremal hypergraphs, developed in a separate paper. The current paper contains the second, structural hypergraph-theoretic part of the argument, where we use the information on the line graph of the link graphs to nail down the elements of a structure we call \emph{home-base hypergraph}. While there is a single minimal home-base hypergraph with matching number $k$ for every positive integer $k \in \mathbb{N}$, home-base hypergraphs with matching number $k$ are far from being unique. There are infinitely many of them and each of them is composed of $k$ copies of two different kinds of basic structures, whose hyperedges can intersect in various restricted, but intricate ways. Our characterization also proves an old and wide open strengthening of Ryser's Conjecture, due to Lovász, for the $3$-uniform extremal case, that is, for hypergraphs with $τ= 2 ν$. △ Less

Submitted 20 June, 2016; v1 submitted 31 December, 2013; originally announced January 2014.

Extremal Hypergraphs for Ryser's Conjecture: Connectedness of Line Graphs of Bipartite Graphs

Authors: Penny Haxell, Lothar Narins, Tibor Szabó

Abstract: In this paper we consider a natural extremal graph theoretic problem of topological sort, concerning the minimization of the (topological) connectedness of the independence complex of graphs in terms of its dimension. We observe that the lower bound $\frac{\dim(\mathcal{I}(G))}{2} - 2$ on the connectedness of the independence complex $\mathcal{I}(G)$ of line graphs of bipartite graphs $G$ is tight… ▽ More In this paper we consider a natural extremal graph theoretic problem of topological sort, concerning the minimization of the (topological) connectedness of the independence complex of graphs in terms of its dimension. We observe that the lower bound $\frac{\dim(\mathcal{I}(G))}{2} - 2$ on the connectedness of the independence complex $\mathcal{I}(G)$ of line graphs of bipartite graphs $G$ is tight. In our main theorem we characterize the extremal examples. Our proof of this characterization is based on topological machinery. Our motivation for studying this problem comes from a classical conjecture of Ryser. Ryser's Conjecture states that any $r$-partite $r$-uniform hypergraph has a vertex cover of size at most $(r - 1)$-times the size of the largest matching. For $r = 2$, the conjecture is simply König's Theorem. It has also been proven for $r = 3$ by Aharoni using a beautiful topological argument. In a separate paper we characterize the extremal examples for the $3$-uniform case of Ryser's Conjecture (i.e., Aharoni's Theorem), and in particular resolve an old conjecture of Lovász for the case of Ryser-extremal $3$-graphs. Our main result in this paper will provide us with valuable structural information for that characterization. Its proof is based on the observation that link graphs of Ryser-extremal $3$-uniform hypergraphs are exactly the bipartite graphs we study here. △ Less

Submitted 20 June, 2016; v1 submitted 31 December, 2013; originally announced January 2014.

What is Ramsey-equivalent to a clique?

Authors: Jacob Fox, Andrey Grinshpun, Anita Liebenau, Yury Person, Tibor Szabo

Abstract: A graph G is Ramsey for H if every two-colouring of the edges of G contains a monochromatic copy of H. Two graphs H and H' are Ramsey-equivalent if every graph G is Ramsey for H if and only if it is Ramsey for H'. In this paper, we study the problem of determining which graphs are Ramsey-equivalent to the complete graph K_k. A famous theorem of Nesetril and Rodl implies that any graph H which is R… ▽ More A graph G is Ramsey for H if every two-colouring of the edges of G contains a monochromatic copy of H. Two graphs H and H' are Ramsey-equivalent if every graph G is Ramsey for H if and only if it is Ramsey for H'. In this paper, we study the problem of determining which graphs are Ramsey-equivalent to the complete graph K_k. A famous theorem of Nesetril and Rodl implies that any graph H which is Ramsey-equivalent to K_k must contain K_k. We prove that the only connected graph which is Ramsey-equivalent to K_k is itself. This gives a negative answer to the question of Szabo, Zumstein, and Zurcher on whether K_k is Ramsey-equivalent to K_k.K_2, the graph on k+1 vertices consisting of K_k with a pendent edge. In fact, we prove a stronger result. A graph G is Ramsey minimal for a graph H if it is Ramsey for H but no proper subgraph of G is Ramsey for H. Let s(H) be the smallest minimum degree over all Ramsey minimal graphs for H. The study of s(H) was introduced by Burr, Erdos, and Lovasz, where they show that s(K_k)=(k-1)^2. We prove that s(K_k.K_2)=k-1, and hence K_k and K_k.K_2 are not Ramsey-equivalent. We also address the question of which non-connected graphs are Ramsey-equivalent to K_k. Let f(k,t) be the maximum f such that the graph H=K_k+fK_t, consisting of K_k and f disjoint copies of K_t, is Ramsey-equivalent to K_k. Szabo, Zumstein, and Zurcher gave a lower bound on f(k,t). We prove an upper bound on f(k,t) which is roughly within a factor 2 of the lower bound. △ Less

Submitted 1 December, 2013; originally announced December 2013.

MSC Class: 05D10

On the rank of higher inclusion matrices

Authors: Codrut Grosu, Yury Person, Tibor Szabo

Abstract: Let r >= s >= 0 be integers and G be an r-graph. The higher inclusion matrix M_s^r(G) is a {0,1}-matrix with rows indexed by the edges of G and columns indexed by the subsets of V(G) of size s: the entry corresponding to an edge e and a subset S is 1 if S is contained in e and 0 otherwise. Following a question of Frankl and Tokushige and a result of Keevash, we define the rank-extremal function re… ▽ More Let r >= s >= 0 be integers and G be an r-graph. The higher inclusion matrix M_s^r(G) is a {0,1}-matrix with rows indexed by the edges of G and columns indexed by the subsets of V(G) of size s: the entry corresponding to an edge e and a subset S is 1 if S is contained in e and 0 otherwise. Following a question of Frankl and Tokushige and a result of Keevash, we define the rank-extremal function rex(n,t,r,s) as the maximum number of edges of an r-graph G having rank M_s^r(G) <=\binom{n}{s} - t. For t at most linear in n we determine this function as well as the extremal r-graphs. The special case t=1 answers a question of Keevash. △ Less

Submitted 10 June, 2013; originally announced June 2013.

Comments: 18 pages

MSC Class: 05D05

How many colors guarantee a rainbow matching?

Authors: Roman Glebov, Benny Sudakov, Tibor Szabó

Abstract: Given a coloring of the edges of a multi-hypergraph, a rainbow t-matching is a collection of t disjoint edges, each having a different color. In this note we study the problem of finding a rainbow $t$-matching in an r-partite r-uniform multi-hypergraph whose edges are colored with f colors such that every color class is a matching of size t. This problem was posed by Aharoni and Berger, who asked… ▽ More Given a coloring of the edges of a multi-hypergraph, a rainbow t-matching is a collection of t disjoint edges, each having a different color. In this note we study the problem of finding a rainbow $t$-matching in an r-partite r-uniform multi-hypergraph whose edges are colored with f colors such that every color class is a matching of size t. This problem was posed by Aharoni and Berger, who asked to determine the minimum number of colors which guarantees a rainbow matching. We improve on the known upper bounds for this problem for all values of the parameters. In particular for every fixed r, we give an upper bound which is polynomial in t, improving the superexponential estimate of Alon. Our proof also works in the setting not requiring the hypergraph to be r-partite. △ Less

Submitted 5 November, 2012; originally announced November 2012.

Comments: 11 pages

MSC Class: 05C15; 05C35; 05D10; 05C55; 05D15; 05C65; 05C70; 05D40

Bayes procedures for adaptive inference in inverse problems for the white noise model

Authors: B. T. Knapik, B. T. Szabó, A. W. van der Vaart, J. H. van Zanten

Abstract: We study empirical and hierarchical Bayes approaches to the problem of estimating an infinite-dimensional parameter in mildly ill-posed inverse problems. We consider a class of prior distributions indexed by a hyperparameter that quantifies regularity. We prove that both methods we consider succeed in automatically selecting this parameter optimally, resulting in optimal convergence rates for trut… ▽ More We study empirical and hierarchical Bayes approaches to the problem of estimating an infinite-dimensional parameter in mildly ill-posed inverse problems. We consider a class of prior distributions indexed by a hyperparameter that quantifies regularity. We prove that both methods we consider succeed in automatically selecting this parameter optimally, resulting in optimal convergence rates for truths with Sobolev or analytic "smoothness", without using knowledge about this regularity. Both methods are illustrated by simulation examples. △ Less

Submitted 29 May, 2013; v1 submitted 17 September, 2012; originally announced September 2012.

Comments: 41 pages, 2 figures

MSC Class: 62G05; 62C15 (Primary) 62G20 (Secondary)

On the Concentration of the Domination Number of the Random Graph

Authors: Roman Glebov, Anita Liebenau, Tibor Szabó

Abstract: In this paper we study the behaviour of the domination number of the Erdős-Rényi random graph $\mathcal{G}(n,p)$. Extending a result of Wieland and Godbole we show that the domination number of $\mathcal{G}(n,p)$ is equal to one of two values asymptotically almost surely whenever $p \gg \frac{\ln^2n}{\sqrt{n}}$. The explicit values are exactly at the first moment threshold, that is where the expec… ▽ More In this paper we study the behaviour of the domination number of the Erdős-Rényi random graph $\mathcal{G}(n,p)$. Extending a result of Wieland and Godbole we show that the domination number of $\mathcal{G}(n,p)$ is equal to one of two values asymptotically almost surely whenever $p \gg \frac{\ln^2n}{\sqrt{n}}$. The explicit values are exactly at the first moment threshold, that is where the expected number of dominating sets starts to tend to infinity. For small $p$ we also provide various non-concentration results which indicate why some sort of lower bound on the probability $p$ is necessary in our first theorem. Concentration, though not on a constant length interval, is proven for every $p\gg 1/n$. These results show that unlike in the case of $p \gg \frac{\ln^2n}{\sqrt{n}}$ where concentration of the domination number happens around the first moment threshold, for $p = O(\ln n/n)$ it does so around the median. In particular, in this range the two are far apart from each other. △ Less

Submitted 15 March, 2015; v1 submitted 14 September, 2012; originally announced September 2012.

A topological classification of convex bodies

Authors: Gábor Domokos, Zsolt Lángi, Tí mea Szabó

Abstract: The shape of homogeneous, generic, smooth convex bodies as described by the Euclidean distance with nondegenerate critical points, measured from the center of mass represents a rather restricted class M_C of Morse-Smale functions on S^2. Here we show that even M_C exhibits the complexity known for general Morse-Smale functions on S^2 by exhausting all combinatorial possibilities: every 2-colored q… ▽ More The shape of homogeneous, generic, smooth convex bodies as described by the Euclidean distance with nondegenerate critical points, measured from the center of mass represents a rather restricted class M_C of Morse-Smale functions on S^2. Here we show that even M_C exhibits the complexity known for general Morse-Smale functions on S^2 by exhausting all combinatorial possibilities: every 2-colored quadrangulation of the sphere is isomorphic to a suitably represented Morse-Smale complex associated with a function in M_C (and vice versa). We prove our claim by an inductive algorithm, starting from the path graph P_2 and generating convex bodies corresponding to quadrangulations with increasing number of vertices by performing each combinatorially possible vertex splitting by a convexity-preserving local manipulation of the surface. Since convex bodies carrying Morse-Smale complexes isomorphic to P_2 exist, this algorithm not only proves our claim but also generalizes the known classification scheme in [36]. Our expansion algorithm is essentially the dual procedure to the algorithm presented by Edelsbrunner et al. in [21], producing a hierarchy of increasingly coarse Morse-Smale complexes. We point out applications to pebble shapes. △ Less

Submitted 20 November, 2015; v1 submitted 24 April, 2012; originally announced April 2012.

Comments: 25 pages, 10 figures

MSC Class: 52A15; 53A05; 53Z05

Conflict-free coloring of graphs

Authors: Roman Glebov, Tibor Szabó, Gábor Tardos

Abstract: We study the conflict-free chromatic number chi_{CF} of graphs from extremal and probabilistic point of view. We resolve a question of Pach and Tardos about the maximum conflict-free chromatic number an n-vertex graph can have. Our construction is randomized. In relation to this we study the evolution of the conflict-free chromatic number of the Erdős-Rényi random graph G(n,p) and give the asympto… ▽ More We study the conflict-free chromatic number chi_{CF} of graphs from extremal and probabilistic point of view. We resolve a question of Pach and Tardos about the maximum conflict-free chromatic number an n-vertex graph can have. Our construction is randomized. In relation to this we study the evolution of the conflict-free chromatic number of the Erdős-Rényi random graph G(n,p) and give the asymptotics for p=omega(1/n). We also show that for p \geq 1/2 the conflict-free chromatic number differs from the domination number by at most 3. △ Less

Submitted 19 September, 2013; v1 submitted 23 November, 2011; originally announced November 2011.

Comments: 12 pages

MSC Class: 05C35; 05C15; 05C80; 05D40; 05C69

On covering expander graphs by Hamilton cycles

Authors: Roman Glebov, Michael Krivelevich, Tibor Szabó

Abstract: The problem of packing Hamilton cycles in random and pseudorandom graphs has been studied extensively. In this paper, we look at the dual question of covering all edges of a graph by Hamilton cycles and prove that if a graph with maximum degree $Δ$ satisfies some basic expansion properties and contains a family of $(1-o(1))Δ/2$ edge disjoint Hamilton cycles, then there also exists a covering of it… ▽ More The problem of packing Hamilton cycles in random and pseudorandom graphs has been studied extensively. In this paper, we look at the dual question of covering all edges of a graph by Hamilton cycles and prove that if a graph with maximum degree $Δ$ satisfies some basic expansion properties and contains a family of $(1-o(1))Δ/2$ edge disjoint Hamilton cycles, then there also exists a covering of its edges by $(1+o(1))Δ/2$ Hamilton cycles. This implies that for every $α>0$ and every $p \geq n^{α-1}$ there exists a covering of all edges of $G(n,p)$ by $(1+o(1))np/2$ Hamilton cycles asymptotically almost surely, which is nearly optimal. △ Less

Submitted 14 November, 2011; originally announced November 2011.

Comments: 19 pages. arXiv admin note: some text overlap with arXiv:some math/0612751

MSC Class: 05C80; 05C45; 05C70; 05C35

Change detection in INAR(p) processes against various alternative hypotheses

Authors: Gyula Pap, Tamás T. Szabó

Abstract: Change in the coefficients or in the mean of the innovation distribution of an INAR(p) process is a sign of disturbance that is important to detect. The methods of this paper can test for change in any one of these quantities separately, or in any collection of them. They are available in forms that make one-sided tests possible, furthermore, they can be used to test for a temporary change. The te… ▽ More Change in the coefficients or in the mean of the innovation distribution of an INAR(p) process is a sign of disturbance that is important to detect. The methods of this paper can test for change in any one of these quantities separately, or in any collection of them. They are available in forms that make one-sided tests possible, furthermore, they can be used to test for a temporary change. The tests are based on a CUSUM process using conditional least squares estimators of the parameters. Under alternative hypotheses consistency of the tests is proved and the large sample properties of the change-point estimator are also explored. △ Less

Submitted 15 September, 2012; v1 submitted 10 November, 2011; originally announced November 2011.

Comments: 42 pages; minor corrections

MSC Class: 62M02 (Primary) 60J80; 60F17 (Secondary)

On the equilibria of finely discretized curves and surfaces

Authors: Gabor Domokos, Zsolt Langi, Timea Szabo

Abstract: Our goal is to identify the type and number of static equilibrium points of solids arising from fine, equidistant $n$-discretrizations of smooth, convex surfaces. We assume uniform gravity and a frictionless, horizontal, planar support. We show that as $n$ approaches infinity these numbers fluctuate around specific values which we call the imaginary equilibrium indices associated with the approxim… ▽ More Our goal is to identify the type and number of static equilibrium points of solids arising from fine, equidistant $n$-discretrizations of smooth, convex surfaces. We assume uniform gravity and a frictionless, horizontal, planar support. We show that as $n$ approaches infinity these numbers fluctuate around specific values which we call the imaginary equilibrium indices associated with the approximated smooth surface. We derive simple formulae for these numbers in terms of the principal curvatures and the radial distances of the equilibrium points of the solid from its center of gravity. Our results are illustrated on a discretized ellipsoid and match well the observations on natural pebble surfaces. △ Less

Submitted 21 October, 2011; v1 submitted 3 June, 2011; originally announced June 2011.

Comments: 21 pages, 2 figures

MSC Class: 53A05; 53Z05

The Local Lemma is asymptotically tight for SAT

Authors: Heidi Gebauer, Tibor Szabo, Gabor Tardos

Abstract: The Local Lemma is a fundamental tool of probabilistic combinatorics and theoretical computer science, yet there are hardly any natural problems known where it provides an asymptotically tight answer. The main theme of our paper is to identify several of these problems, among them a couple of widely studied extremal functions related to certain restricted versions of the k-SAT problem, where the L… ▽ More The Local Lemma is a fundamental tool of probabilistic combinatorics and theoretical computer science, yet there are hardly any natural problems known where it provides an asymptotically tight answer. The main theme of our paper is to identify several of these problems, among them a couple of widely studied extremal functions related to certain restricted versions of the k-SAT problem, where the Local Lemma does give essentially optimal answers. As our main contribution, we construct unsatisfiable k-CNF formulas where every clause has k distinct literals and every variable appears in at most (2/e + o(1))*2^k/k clauses. The Lopsided Local Lemma shows that this is asymptotically best possible. The determination of this extremal function is particularly important as it represents the value where the corresponding k-SAT problem exhibits a complexity hardness jump: from having every instance being a YES-instance it becomes NP-hard just by allowing each variable to occur in one more clause. The construction of our unsatisfiable CNF-formulas is based on the binary tree approach of [16] and thus the constructed formulas are in the class MU(1) of minimal unsatisfiable formulas having one more clauses than variables. The main novelty of our approach here comes in setting up an appropriate continuous approximation of the problem. This leads us to a differential equation, the solution of which we are able to estimate. The asymptotically optimal binary trees are then obtained through a discretization of this solution. The importance of the binary trees constructed is also underlined by their appearance in many other scenarios. In particular, they give asymptotically precise answers for seemingly unrelated problems like the European Tenure Game introduced by Doerr [9] and a search problem allowing a limited number of consecutive lies. △ Less

Submitted 19 April, 2016; v1 submitted 3 June, 2010; originally announced June 2010.

Comments: 40 pages, 1 figure

ACM Class: G.2.1

Fast winning strategies in Avoider-Enforcer games

Authors: Dan Hefetz, Michael Krivelevich, Miloš Stojaković, Tibor Szabó

Abstract: In numerous positional games the identity of the winner is easily determined. In this case one of the more interesting questions is not {\em who} wins but rather {\em how fast} can one win. These type of problems were studied earlier for Maker-Breaker games; here we initiate their study for unbiased Avoider-Enforcer games played on the edge set of the complete graph $K_n$ on $n$ vertices. For se… ▽ More In numerous positional games the identity of the winner is easily determined. In this case one of the more interesting questions is not {\em who} wins but rather {\em how fast} can one win. These type of problems were studied earlier for Maker-Breaker games; here we initiate their study for unbiased Avoider-Enforcer games played on the edge set of the complete graph $K_n$ on $n$ vertices. For several games that are known to be an Enforcer's win, we estimate quite precisely the minimum number of moves Enforcer has to play in order to win. We consider the non-planarity game, the connectivity game and the non-bipartite game. △ Less

Submitted 2 June, 2008; originally announced June 2008.

MSC Class: 91A24; 68R10

Hamilton cycles in highly connected and expanding graphs

Authors: Dan Hefetz, Michael Krivelevich, Tibor Szabo

Abstract: In this paper we prove a sufficient condition for the existence of a Hamilton cycle, which is applicable to a wide variety of graphs, including relatively sparse graphs. In contrast to previous criteria, ours is based on only two properties: one requiring expansion of ``small'' sets, the other ensuring the existence of an edge between any two disjoint ``large'' sets. We also discuss applications… ▽ More In this paper we prove a sufficient condition for the existence of a Hamilton cycle, which is applicable to a wide variety of graphs, including relatively sparse graphs. In contrast to previous criteria, ours is based on only two properties: one requiring expansion of ``small'' sets, the other ensuring the existence of an edge between any two disjoint ``large'' sets. We also discuss applications in positional games, random graphs and extremal graph theory. △ Less

Submitted 24 December, 2006; originally announced December 2006.

Comments: 19 pages

MSC Class: 05C45; 05C38; 05C80

Positional games on random graphs

Authors: Milos Stojakovic, Tibor Szabo

Abstract: We introduce and study Maker/Breaker-type positional games on random graphs. Our main concern is to determine the threshold probability $p_{F}$ for the existence of Maker's strategy to claim a member of $F$ in the unbiased game played on the edges of random graph $G(n,p)$, for various target families $F$ of winning sets. More generally, for each probability above this threshold we study the smal… ▽ More We introduce and study Maker/Breaker-type positional games on random graphs. Our main concern is to determine the threshold probability $p_{F}$ for the existence of Maker's strategy to claim a member of $F$ in the unbiased game played on the edges of random graph $G(n,p)$, for various target families $F$ of winning sets. More generally, for each probability above this threshold we study the smallest bias $b$ such that Maker wins the $(1\:b)$ biased game. We investigate these functions for a number of basic games, like the connectivity game, the perfect matching game, the clique game and the Hamiltonian cycle game. △ Less

Submitted 26 January, 2006; originally announced January 2006.

MSC Class: 91A24; 05C80

Journal ref: Random Structures & Algorithms 26 (2005), 204-223