scholarly journals An Erdős-Ko-Rado Type Theorem via the Polynomial Method

Symmetry ◽  
2020 ◽  
Vol 12 (4) ◽  
pp. 640
Author(s):  
Kyung-Won Hwang ◽  
Younjin Kim ◽  
Naeem N. Sheikh
Keyword(s):  
Upper Bound ◽  
Type Theorem ◽  
Nonempty Intersection ◽  
Polynomial Method ◽  
Linearly Independent ◽  
Intersecting Family ◽  
Intersecting Families ◽  
Families Of Subsets

A family F is an intersecting family if any two members have a nonempty intersection. Erdős, Ko, and Rado showed that | F | ≤ n − 1 k − 1 holds for a k-uniform intersecting family F of subsets of [ n ] . The Erdős-Ko-Rado theorem for non-uniform intersecting families of subsets of [ n ] of size at most k can be easily proved by applying the above result to each uniform subfamily of a given family. It establishes that | F | ≤ n − 1 k − 1 + n − 1 k − 2 + ⋯ + n − 1 0 holds for non-uniform intersecting families of subsets of [ n ] of size at most k. In this paper, we prove that the same upper bound of the Erdős-Ko-Rado Theorem for k-uniform intersecting families of subsets of [ n ] holds also in the non-uniform family of subsets of [ n ] of size at least k and at most n − k with one more additional intersection condition. Our proof is based on the method of linearly independent polynomials.

scholarly journals Intersecting $k$-Uniform Families Containing all the $k$-Subsets of a Given Set

10.37236/3213 ◽  
2013 ◽  
Vol 20 (3) ◽  
Author(s):  
Wei-Tian Li ◽  
Bor-Liang Chen ◽  
Kuo-Ching Huang ◽  
Ko-Wei Lih
Keyword(s):  
Nonempty Intersection ◽  
Intersecting Family ◽  
Intersecting Families

Let $m, n$, and $k$ be integers satisfying $0 < k \leq n < 2k \leq m$. A family of sets $\mathcal{F}$ is called an $(m,n,k)$-intersecting family if $\binom{[n]}{k} \subseteq \mathcal{F} \subseteq \binom{[m]}{k}$ and any pair of members of $\mathcal{F}$ have nonempty intersection. Maximum $(m,k,k)$- and $(m,k+1,k)$-intersecting families are determined by the theorems of Erdős-Ko-Rado and Hilton-Milner, respectively. We determine the maximum families for the cases $n = 2k-1, 2k-2, 2k-3$, and $m$ sufficiently large.

scholarly journals The Intersection Structure of $t$-Intersecting Families

10.37236/1985 ◽  
2005 ◽  
Vol 12 (1) ◽  
Author(s):  
John Talbot
Keyword(s):  
Upper Bound ◽  
Common Elements ◽  
Intersecting Family ◽  
The Family ◽  
Intersecting Families ◽  
Asymptotic Upper Bound

A family of sets is $t$-intersecting if any two sets from the family contain at least $t$ common elements. Given a $t$-intersecting family of $r$-sets from an $n$-set, how many distinct sets of size $k$ can occur as pairwise intersections of its members? We prove an asymptotic upper bound on this number that can always be achieved. This result can be seen as a generalization of the Erdős-Ko-Rado theorem.

scholarly journals Counting Intersecting and Pairs of Cross-Intersecting Families

2017 ◽  
Vol 27 (1) ◽  
pp. 60-68 ◽  
Author(s):  
PETER FRANKL ◽  
ANDREY KUPAVSKII
Keyword(s):  
Classical Result ◽  
Maximum Size ◽  
Extremal Combinatorics ◽  
Intersecting Family ◽  
Intersecting Families

A family of subsets of {1,. . .,n} is called intersecting if any two of its sets intersect. A classical result in extremal combinatorics due to Erdős, Ko and Rado determines the maximum size of an intersecting family of k-subsets of {1,. . .,n}. In this paper we study the following problem: How many intersecting families of k-subsets of {1,. . .,n} are there? Improving a result of Balogh, Das, Delcourt, Liu and Sharifzadeh, we determine this quantity asymptotically for n ≥ 2k+2+2$\sqrt{k\log k}$ and k → ∞. Moreover, under the same assumptions we also determine asymptotically the number of non-trivial intersecting families, that is, intersecting families for which the intersection of all sets is empty. We obtain analogous results for pairs of cross-intersecting families.

scholarly journals Complexity of Nondeterministic Functions

1994 ◽  
Vol 1 (2) ◽  
Author(s):  
Alexander E. Andreev
Keyword(s):  
Upper Bound ◽  
Randomized Algorithms ◽  
Nonempty Intersection ◽  
Linear Size ◽  
Worst Case ◽  
K Value ◽  
Hitting Set ◽  
Set Size

The complexity of a nondeterministic function is the minimum possible complexity of its determinisation. The entropy of a nondeterministic function, F, is minus the logarithm of the ratio between the number of determinisations of F and the number of all deterministic functions.<br /> <br />We obtain an upper bound on the complexity of a nondeterministic function with restricted entropy for the worst case.<br /> <br /> These bounds have strong applications in the problem of algorithm derandomization. A lot of randomized algorithms can be converted to deterministic ones if we have an effective hitting set with certain parameters (a set is hitting for a set system if it has a nonempty intersection with any set from the system).<br /> <br />Linial, Luby, Saks and Zuckerman (1993) constructed the best effective hitting set for the system of k-value, n-dimensional rectangles. The set size is polynomial in k log n / epsilon.<br /> <br />Our bounds of nondeterministic functions complexity offer a possibility to construct an effective hitting set for this system with almost linear size in k log n / epsilon.

scholarly journals Fractional L-intersecting Families

10.37236/7846 ◽  
2019 ◽  
Vol 26 (2) ◽  
Author(s):  
Niranjan Balachandran ◽  
Rogers Mathew ◽  
Tapas Kumar Mishra
Keyword(s):  
Intersecting Family ◽  
Intersecting Families

Let $L = \{\frac{a_1}{b_1}, \ldots , \frac{a_s}{b_s}\}$, where for every $i \in [s]$, $\frac{a_i}{b_i} \in [0,1)$ is an irreducible fraction. Let $\mathcal{F} = \{A_1, \ldots , A_m\}$ be a family of subsets of $[n]$. We say $\mathcal{F}$ is a fractional $L$-intersecting family if for every distinct $i,j \in [m]$, there exists an $\frac{a}{b} \in L$ such that $|A_i \cap A_j| \in \{ \frac{a}{b}|A_i|, \frac{a}{b} |A_j|\}$. In this paper, we introduce and study the notion of fractional $L$-intersecting families.

scholarly journals On the union of intersecting families

2019 ◽  
Vol 28 (06) ◽  
pp. 826-839
Author(s):  
David Ellis ◽  
Noam Lifshitz
Keyword(s):  
Fixed Integer ◽  
Empty Intersection ◽  
Intersecting Family ◽  
The Family ◽  
Intersecting Families ◽  
Element Set

AbstractA family of sets is said to be intersecting if any two sets in the family have non-empty intersection. In 1973, Erdős raised the problem of determining the maximum possible size of a union of r different intersecting families of k-element subsets of an n-element set, for each triple of integers (n, k, r). We make progress on this problem, proving that for any fixed integer r ⩾ 2 and for any $$k \le ({1 \over 2} - o(1))n$$, if X is an n-element set, and $${\cal F} = {\cal F}_1 \cup {\cal F}_2 \cup \cdots \cup {\cal F}_r $$, where each $$ {\cal F}_i $$ is an intersecting family of k-element subsets of X, then $$|{\cal F}| \le \left( {\matrix{n \cr k \cr } } \right) - \left( {\matrix{{n - r} \cr k \cr } } \right)$$, with equality only if $${\cal F} = \{ S \subset X:|S| = k,\;S \cap R \ne \emptyset \} $$ for some R ⊂ X with |R| = r. This is best possible up to the size of the o(1) term, and improves a 1987 result of Frankl and Füredi, who obtained the same conclusion under the stronger hypothesis $$k &#x003C; (3 - \sqrt 5 )n/2$$, in the case r = 2. Our proof utilizes an isoperimetric, influence-based method recently developed by Keller and the authors.

Intersecting Families are Essentially Contained in Juntas

2009 ◽  
Vol 18 (1-2) ◽  
pp. 107-122 ◽  
Author(s):  
IRIT DINUR ◽  
EHUD FRIEDGUT
Keyword(s):  
Fourier Analysis ◽  
Boolean Functions ◽  
Simple Description ◽  
Discrete Fourier Analysis ◽  
Intersecting Family ◽  
Intersecting Families ◽  
Positive Integers

A family$\J$of subsets of {1, . . .,n} is called aj-junta if there existsJ⊆ {1, . . .,n}, with |J| =j, such that the membership of a setSin$\J$depends only onS∩J.In this paper we provide a simple description of intersecting families of sets. Letnandkbe positive integers withk<n/2, and let$\A$be a family of pairwise intersecting subsets of {1, . . .,n}, all of sizek. We show that such a family is essentially contained in aj-junta$\J$, wherejdoes not depend onnbut only on the ratiok/nand on the interpretation of ‘essentially’.Whenk=o(n) we prove that every intersecting family ofk-sets is almost contained in a dictatorship, a 1-junta (which by the Erdős–Ko–Rado theorem is a maximal intersecting family): for any such intersecting family$\A$there exists an elementi∈ {1, . . .,n} such that the number of sets in$\A$that do not containiis of order$\C {n-2}{k-2}$(which is approximately$\frac {k}{n-k}$times the size of a maximal intersecting family).Our methods combine traditional combinatorics with results stemming from the theory of Boolean functions and discrete Fourier analysis.

scholarly journals NONZERO VALUES OF DIRICHLET L-FUNCTIONS IN VERTICAL ARITHMETIC PROGRESSIONS

2013 ◽  
Vol 09 (04) ◽  
pp. 813-843 ◽  
Author(s):  
GREG MARTIN ◽  
NATHAN NG
Keyword(s):  
Arithmetic Progression ◽  
Positive Constant ◽  
Upper Bound ◽  
Arithmetic Progressions ◽  
Linearly Independent ◽  
Theoretical Evidence

Let L(s, χ) be a fixed Dirichlet L-function. Given a vertical arithmetic progression of T points on the line ℜs = ½, we show that at least cT/ log T of them are not zeros of L(s, χ) (for some positive constant c). This result provides some theoretical evidence towards the conjecture that all nonnegative ordinates of zeros of Dirichlet L-functions are linearly independent over the rationals. We also establish an upper bound (depending upon the progression) for the first member of the arithmetic progression that is not a zero of L(s, χ).

Sign in / Sign up

Export Citation Format

Share Document