extremal set theory
Recently Published Documents


TOTAL DOCUMENTS

18
(FIVE YEARS 7)

H-INDEX

4
(FIVE YEARS 0)

Author(s):  
Arturo Tozzi

When an edge is removed, a cycle graph Cn becomes a n-1 tree graph. This observation from extremal set theory leads us to the realm of set theory, in which a topological manifold of genus-1 turns out to be of genus-0. Starting from these premises, we prove a theorem suggesting that a manifold with disjoint points must be of genus-0, while a manifold of genus-1 cannot encompass disjoint points.


10.37236/9627 ◽  
2021 ◽  
Vol 28 (3) ◽  
Author(s):  
Jason O'Neill ◽  
Jacques Verstraete

The Bollobás set pairs inequality is a fundamental result in extremal set theory with many applications. In this paper, for $n \geqslant k \geqslant t \geqslant 2$, we consider a collection of $k$ families $\mathcal{A}_i: 1 \leq i \leqslant k$ where $\mathcal{A}_i = \{ A_{i,j} \subset [n] : j \in [n] \}$ so that $A_{1, i_1} \cap \cdots \cap A_{k,i_k} \neq \varnothing$ if and only if there are at least $t$ distinct indices $i_1,i_2,\dots,i_k$. Via a natural connection to a hypergraph covering problem, we give bounds on the maximum size $\beta_{k,t}(n)$ of the families with ground set $[n]$.


2021 ◽  
Vol vol. 23 no. 1 (Combinatorics) ◽  
Author(s):  
Travis Dillon ◽  
Attila Sali

The forbidden number $\mathrm{forb}(m,F)$, which denotes the maximum number of unique columns in an $m$-rowed $(0,1)$-matrix with no submatrix that is a row and column permutation of $F$, has been widely studied in extremal set theory. Recently, this function was extended to $r$-matrices, whose entries lie in $\{0,1,\dots,r-1\}$. The combinatorics of the generalized forbidden number is less well-studied. In this paper, we provide exact bounds for many $(0,1)$-matrices $F$, including all $2$-rowed matrices when $r > 3$. We also prove a stability result for the $2\times 2$ identity matrix. Along the way, we expose some interesting qualitative differences between the cases $r=2$, $r = 3$, and $r > 3$. Comment: 12 pages; v3: formatted for DMTCS; v2: Corollary 3.2 added, typos fixed, some proofs clarified


Author(s):  
Sean Eberhard ◽  
Jeff Kahn ◽  
Bhargav Narayanan ◽  
Sophie Spirkl

Abstract A family of vectors in [k] n is said to be intersecting if any two of its elements agree on at least one coordinate. We prove, for fixed k ≥ 3, that the size of any intersecting subfamily of [k] n invariant under a transitive group of symmetries is o(k n ), which is in stark contrast to the case of the Boolean hypercube (where k = 2). Our main contribution addresses limitations of existing technology: while there are now methods, first appearing in work of Ellis and the third author, for using spectral machinery to tackle problems in extremal set theory involving symmetry, this machinery relies crucially on the interplay between up-sets, biased product measures, and threshold behaviour in the Boolean hypercube, features that are notably absent in the problem considered here. To circumvent these barriers, introducing ideas that seem of independent interest, we develop a variant of the sharp threshold machinery that applies at the level of products of posets.


2017 ◽  
Vol 24 (2) ◽  
pp. 211-215 ◽  
Author(s):  
R. Ramu Naidu ◽  
Chandra R. Murthy

2014 ◽  
Vol 24 (4) ◽  
pp. 585-608 ◽  
Author(s):  
SHAGNIK DAS ◽  
WENYING GAN ◽  
BENNY SUDAKOV

A central result in extremal set theory is the celebrated theorem of Sperner from 1928, which gives the size of the largest family of subsets of [n] not containing a 2-chain, F1 ⊂ F2. Erdős extended this theorem to determine the largest family without a k-chain, F1 ⊂ F2 ⊂ . . . ⊂ Fk. Erdős and Katona, followed by Kleitman, asked how many chains must appear in families with sizes larger than the corresponding extremal bounds.In 1966, Kleitman resolved this question for 2-chains, showing that the number of such chains is minimized by taking sets as close to the middle level as possible. Moreover, he conjectured the extremal families were the same for k-chains, for all k. In this paper, making the first progress on this problem, we verify Kleitman's conjecture for the families whose size is at most the size of the k + 1 middle levels. We also characterize all extremal configurations.


10.37236/322 ◽  
2010 ◽  
Vol 17 (1) ◽  
Author(s):  
R. P. Anstee ◽  
S. N. Karp

We consider the following extremal set theory problem. Define a matrix to be simple if it is a (0,1)-matrix with no repeated columns. An $m$-rowed simple matrix corresponds to a family of subsets of $\{1,2,\ldots ,m\}$. Let $m$ be a given integer and $F$ be a given (0,1)-matrix (not necessarily simple). We say a matrix $A$ has $F$ as a configuration if a submatrix of $A$ is a row and column permutation of $F$. We define $\hbox{forb}(m,F)$ as the maximum number of columns that a simple $m$-rowed matrix $A$ can have subject to the condition that $A$ has no configuration $F$. We compute exact values for $\hbox{forb}(m,F)$ for some choices of $F$ and in doing so handle all $3\times 3$ and some $k\times 2$ (0,1)-matrices $F$. Often $\hbox{forb}(m,F)$ is determined by $\hbox{forb}(m,F')$ for some configuration $F'$ contained in $F$ and in that situation, with $F'$ being minimal, we call $F'$ a critical substructure.


Sign in / Sign up

Export Citation Format

Share Document