The structure of Sidon set systems

A family $\mathcal{F}\subset 2^G$ of subsets of an abelian group $G$ is a Sidon system if the sumsets $A+B$ with $A,B\in \mathcal{F}$ are pairwise distinct. Cilleruelo, Serra and the author previously proved that the maximum size $F_k(n)$ of a Sidon system consisting of $k$-subsets of the first $n$ positive integers satisfies $C_k n^{k-1}\leq F_k(n) \leq \binom{n-1}{k-1}+n-k$ for some constant $C_k$ only depending on $k$. We close the gap by proving an essentially tight structural result that in particular implies $F_k(n)\geq (1-o(1))\binom{n}{k-1}$. We also use this to establish a result about the size of the largest Sidon system in the binomial random family $\binom{[n]}{k}_p$. Extensions to $h$-fold sumsets for any fixed $h\geq 3$ are also obtained.Comment: 10 pages, comments welcome

Probabilistic and extremal studies in additive combinatorics

The results in this thesis concern extremal and probabilistic topics in number theoretic settings. We prove sufficient conditions on when certain types of integer solutions to linear systems of equations in binomial random sets are distributed normally, results on the typical approximate structure of pairs of integer subsets with a given sumset cardinality, as well as upper bounds on how large a family of integer sets defining pairwise distinct sumsets can be. In order to prove the typical structural result on pairs of integer sets, we also establish a new multipartite version of the method of hypergraph containers, generalizing earlier work by Morris, Saxton and Samotij.L'objectiu de la combinatòria additiva “històricament també anomenada teoria combinatòria de nombres” és la d’estudiar l'estructura additiva de conjunts en determinats grups ambient. La combinatòria extremal estudia quant de gran pot ser una col·lecció d'objectes finits abans d'exhibir determinats requisits estructurals. La combinatòria probabilística analitza estructures combinatòries aleatòries, identificant en particular l'estructura dels objectes combinatoris típics. Entre els estudis més celebrats hi ha el treball de grafs aleatoris iniciat per Erdös i Rényi. Un exemple especialment rellevant de com aquestes tres àrees s'entrellacen és el desenvolupament per Erdös del mètode probabilístic en teoria de nombres i en combinatòria, que mostra l'existència de moltes estructures extremes en configuracions additives utilitzant tècniques probabilistes. Tots els temes d'aquesta tesi es troben en la intersecció d'aquestes tres àrees, i apareixen en els problemes següents. Solucions enteres de sistemes d'equacions lineals. Els darrers anys s'han obtingut resultats pel que fa a l’existència de llindars per a determinades solucions enteres a un sistema arbitrari d'equacions lineals donat, responent a la pregunta de quan s'espera que el subconjunt aleatori binomial d'un conjunt inicial de nombres enters contingui solucions gairebé sempre. La següent pregunta lògica és la següent. Suposem que estem en la zona en que hi haurà solucions enteres en el conjunt aleatori binomial, com es distribueixen aleshores aquestes solucions? Al capítol 1, avançarem per respondre aquesta pregunta proporcionant condicions suficients per a quan una gran varietat de solucions segueixen una distribució normal. També parlarem de com, en determinats casos, aquestes condicions suficients també són necessàries. Conjunts amb suma acotada. Què es pot dir de l'estructura de dos conjunts finits en un grup abelià si la seva suma de Minkowski no és molt més gran que la dels conjunts? Un resultat clàssic de Kneser diu que això pot passar si i només si la suma de Minkowski és periòdica respecte a un subgrup propi. En el capítol 3 establirem dos tipus de resultats. En primer lloc, establirem les anomenades versions robustes dels teoremes clàssics de Kneser i Freiman. Robust aquí es refereix al fet que en comptes de demanar informació estructural sobre els conjunts constituents amb el coneixement que la seva suma és petita, només necessitem que això sigui vàlid per a un subconjunt gran passa si només volem donar una informació estructural per a gairebé tots els parells de conjunts amb una suma d'una mida determinada? Donem un teorema d'estructura aproximat que s'aplica a gairebé la majoria dels rangs possibles per la mida dels conjunts suma. Sistemes de conjunts de Sidon. Les preguntes clàssiques sobre els conjunts de Sidon són determinar la seva mida màxima o saber quan un conjunt aleatori és un conjunt de Sidon. Al capítol 4 generalitzem la noció de conjunts de Sidon per establir sistemes i establim els límits corresponents per a aquestes dues preguntes. També demostrem un resultat de densitat relativa, resultat condicionat a una conjectura sobre l'estructura específica dels sistemes màxims de Sidon. Conjunts independents en hipergrafs. El mètode dels contenidors d'hipergrafs és una eina general que es pot utilitzar per obtenir resultats sobre el nombre i l'estructura de conjunts independents en els hipergrafs. La connexió amb la combinatòria additiva apareix perquè molts problemes additius es poden codificar com l'estudi de conjunts independents en hipergrafs.Postprint (published version

Sidon set systems

A family ${\mathcal A}$ of $k$-subsets of $\{1,2,\dots, N\}$ is a Sidon system if the sumsets $A+B$, $A,B\in \mathcal{A}$ are pairwise distinct. We show that the largest cardinality $F_k(N)$ of a Sidon system of $k$-subsets of $[N]$ satisfies $F_k(N)\le {N-1\choose k-1}+N-k$ and the asymptotic lower bound $F_k(N)=\Omega_k(N^{k-1})$. More precise bounds on $F_k(N)$ are obtained for $k\le 3$. We also obtain the threshold probability for a random system to be Sidon for $k\ge 2$.Comment: Incorporated referee comments. Published in Rev. Mat. Iberoa

A Sublinear Tester for Outerplanarity (and Other Forbidden Minors) With One-Sided Error

We consider one-sided error property testing of $\mathcal{F}$-minor freeness in bounded-degree graphs for any finite family of graphs $\mathcal{F}$ that contains a minor of $K_{2,k}$, the $k$-circus graph, or the $(k\times 2)$-grid for any $k\in\mathbb{N}$. This includes, for instance, testing whether a graph is outerplanar or a cactus graph. The query complexity of our algorithm in terms of the number of vertices in the graph, $n$, is $\tilde{O}(n^{2/3} / \epsilon^5)$. Czumaj et~al.\ showed that cycle-freeness and $C_k$-minor freeness can be tested with query complexity $\tilde{O}(\sqrt{n})$ by using random walks, and that testing $H$-minor freeness for any $H$ that contains a cycles requires $\Omega(\sqrt{n})$ queries. In contrast to these results, we analyze the structure of the graph and show that either we can find a subgraph of sublinear size that includes the forbidden minor $H$, or we can find a pair of disjoint subsets of vertices whose edge-cut is large, which induces an $H$-minor.Comment: extended to testing outerplanarity, full version of ICALP pape

Set systems with distinct sumsets

A family $\mathcal{A}$ of $k$-subsets of $\{1,2,\dots, N\}$ is a Sidon system if the sumsets $A+A'$, $A,A'\in \mathcal{A}$ are pairwise distinct. We show that the largest cardinality $F_k(N)$ of a Sidon system of $k$-subsets of $[N]$ satisfies $F_k(N)\le {N-1\choose k-1}+N-k$ and the asymptotic lower bound $F_k(N)=\Omega_k(N^{k-1})$. More precise bounds on $F_k(N)$ are obtained for $k\le 3$. We also obtain the threshold probability for a random system to be Sidon for $k= 2$ and $3$.Peer ReviewedPostprint (author's final draft

Set systems with distinct sumsets

A family $\mathcal{A}$ of $k$-subsets of $\{1,2,\dots, N\}$ is a Sidon system if the sumsets $A+A'$, $A,A'\in \mathcal{A}$ are pairwise distinct. We show that the largest cardinality $F_k(N)$ of a Sidon system of $k$-subsets of $[N]$ satisfies $F_k(N)\le {N-1\choose k-1}+N-k$ and the asymptotic lower bound $F_k(N)=\Omega_k(N^{k-1})$. More precise bounds on $F_k(N)$ are obtained for $k\le 3$. We also obtain the threshold probability for a random system to be Sidon for $k= 2$ and $3$.Peer Reviewe

An approximate structure theorem for small sumsets

Let A and B be randomly chosen s-subsets of the first n integers such that their sumset A+B has size at most Ks. We show that asymptotically almost surely A and B are almost fully contained in arithmetic progressions PA and PB with the same common difference and cardinalities approximately Ks/2. The result holds for s=¿(log3n) and 2=K=o(s/log3n). Our main tool is an asymmetric version of the method of hypergraph containers which was recently used by Campos to prove the result in the special case A=B.Peer ReviewedPostprint (published version