Polymath10, Post 2: Homological Approach

We launched polymath10 a week ago and it is time for the second post. In this post I will remind the readers what  the Erdos-Rado Conjecture and the Erdos-Rado theorem are,  briefly mention some points made in the previous post and in the comments, make some remarks of administrative nature, and describe in detail a homological plan for attack, some of whose ingredients were mentioned in the first post.

Of course, there are various other avenues that can be explored:  In a series of comments (e.g. this thread and that thread and this) Tim Gowers proposed a line of attack related to understanding quasirandom behavior of families of sets in terms of their pairwise intersections. (Update: Tim developed his ideas in further comments. A theme which is common to his approach as well as to the homological approach is to see if we can “improve” certain properties of the family after moving to an exponentially smaller subfamily. Second update: this post was written after 70 or so comments for post 1. There are many further interesting comments. ) Karim Adiprasito described a different topological combinatorics approach. Another clear direction is  to try to extend the ideas of Spencer and Kostochka which led to the best known bounds today.  Raising more ideas for attacking the conjecture is most welcome. For example, in Erdos Ko Rado theory, besides direct combinatorial arguments (mainly those based on “shifting,”) spectral methods are also quite important. Of course, the sunflower conjecture may be false as well and ideas on how to construct large families without sunflowers are also most welcome.

Terry Tao kindly set a Wiki page for the project and proposed to conduct computer experimentation for small values of r and k. Of course, computer experimentation will be most welcome! Some of the suggestions described below can also be tested experimentally for small values.

Let me also mention some surprising connections between the sunflower conjecture and various issues arising in matrix multiplication. As pointed by Shachar Lovett (in this comment and the following one), a counterexample to a certain structural special case of the sunflower conjecture will imply an almost quadratic algorithm for matrix multiplication!

Dömötör and I hyperoptimistically conjectured that the Erdos-Rado example is optimal for Balanced families. But Hao gave a very simple counterexample.

The status of our project at this stage is described very nicely by Tim Gowers who wrote:

At the time of writing, Gil’s post has attracted 60 comments, but it is still at what one might call a warming-up stage, so if you are interested in the problem and understand what I have written above, it should still be easy to catch up with the discussion. I strongly recommend contributing — even small remarks can be very helpful for other people, sparking off ideas that they might not have had otherwise. And there’s nothing quite like thinking about a problem, writing regular bulletins of the little ideas you’ve had, and getting feedback on them from other Polymath participants. This problem has the same kind of notoriously hard feel about it that the Erdős discrepancy problem had — it would be wonderful if a Polymath collaboration could contribute to its finally getting solved.


Update to an earlier post. Karim Adiprasito, June Huh, and Eric Katz have now posted their paper “Hodge theory for combinatorial geometries” which contains, among other things, a proof of the Heron-Rota-Welsh conjecture on matroids.


Here is a reminder of the sunflower theorem and conjecture:

The Erdos-Rado sunflower Theorem

A sunflower (a.k.a. Delta-system) of size r is a family of sets A_1, A_2, \dots, A_r such that every element that belongs to more than one of the sets belongs to all of them.  We call the common element to all the sets the head of the sunflower (or the kernel of the sunflower), and the elements that belong to just one among the sets, the petals.

A basic and simple result of Erdos and Rado asserts that

Erdos-Rado sunflower theorem: There is a function f(k,r) so that every family \cal F of k-sets with more than f(k,r) members contains a sunflower of size r.

We denote by f(k,r) the smallest integer that suffices for the assertion of the theorem to be true.

The Erdos-Rado Sunflower Conjecture

The Erdos-Rado sunflower conjecture:  f(k,r) \le C_r^k.

Here, C_r is a constant depending on r. It may be also the case that we can take C_r=Cr for some absolute constant C. The conjecture is already most interesting for r=3.  I recommend to reading Kostochka’s survey paper and also, as we go, it will be useful to learn Spencer’s argument and Kostochka’s argument which made remarkable improvements over earlier upper bounds.

The main purpose of this post is to provide

A Homological attack on the sunflower Conjecture

Part 1:  Combinatorial Extensions and Variations

A) The question as an Erdos-Ko-Rado type question

Let f(k,r,m;n) be the maximum size of a family \cal F of k-subsets of [n]=\{1,2,\dots ,n\}  containing no sunflower of size r with head of size at most m-1.  (Note: it should me m-1.)

Basic Question: Understand the function f(k,r,m;n). Is it true that f(k,r,m;n)\le C_r^{k}n^{k-m}, where C_r is a constant depending on r, perhaps even linear in r.

A family of k-sets satisfies property P(k,r,m) if it contains no sunflower of size r with head of size at most m-1.

B) Stars and links:  Given a family F of sets and a set S,  the star of S is the subfamily of those sets in F containing S, and the link of S is obtained from the star of S by deleting the elements of S from every set in the star. Another way to say that \cal F has property P(k,r,m) is that the link of every set of size at most  less than m contains no r pairwise disjoint sets.

C) The balanced case

A family of k-sets is balanced (or k-colored, or multipartite) if it is possible to divide the ground set into k parts so that every set in the family contains one element from every part.

Let g(k,r,m;n) be the maximum size of a balanced family \cal F of k-subsets of [n]=\{1,2,\dots ,n\}  containing no sunflower of size r with head of size at most m. By randomly dividing the ground set into colors we obtain that f(k,r,m;n) \le \frac{k^k}{k!}g(k,r,m;n).

D) What we aim for. Below we describe two variations of a homological attack on the sunflower conjecture. If successful (as they are) they will lead to the following bounds.

The first variation based on conjectured homological properties of balanced families would yield

(*) f(k,r,m;n)\le e^k {{(r-1)m}\choose{m}}\cdot{{n-m} \choose {k-m}}

The alternative version would give

(**) f(k,r,m;n)\le {{m+(r-1)k}\choose{m}}\cdot {{n-m}\choose {k-m}}

Part 2: Collections of sets as geometric objects, homology and iterated homology.

E) Simplicial complexes and homology

Staring with a family {\cal F} we will consider the collection of sets obtained by adding all subsets of sets in {\cal F}. This is a simplicial complex, K, and we can regard it as a geometric object if we replace every set of size i by a simplex of dimension i-1. (We call sets in K of cardinality (i+1) by the name i-faces.

The definition of homology groups only depends on the combinatorial data. For simplicity we assume that all sets in {\cal F} (and hence in the associated simplicial complex) are subsets of {1,2,…,n}. We choose a field A (we can agree that the field will be the field of real numbers). Next we define for i>0 the vector space of i-dimensional chains C_i(K) as a vector space generated by i-faces of K. We also define a boundary map \partial_i:C_i(K)\to C_{i-1}(K) for every i. The kernel of \partial_i is the space of i-cycles denoted by Z_i(K); the image of \partial_{i+1} is the space of i-boundaries, denoted by B_i(K). The crucial property is that applying boundary twice gives you zero, and this allows to define homology groups H_i(K)=Z_i(K)/B_i(K). The betti numbers are defined as b_i(K)=dim H_i(K).  We will give the definition of the boundary operator further below.

F) Acyclic families and intersecting families

A family {\cal F} of k-sets is acyclic  if it contains no k-cycle, or equivalently if H_k({\cal F})=0.  (For coefficients in Z/2Z, a k-cycle G is a family of k-sets such that  every set of size (k-1) is included in an even number of k-sets in G.)

Proposition: An acyclic family of k-subsets of [n], contains at most {{n-1} \choose {k-1}} sets.

In the first post we asked:  Are there some connections between the property “intersecting” and the property “acyclic?”

Unfortunately, but not surprisingly intersecting families are not always acyclic, and acyclic families are not always intersecting. (The condition 2k \le n from EKR theorem also disappeared.) As we mentioned in the previous post intersecting balanced families are acyclic! And as we will see for balanced families Erdos-Ko-Rado properties translate nicely into homological property.

G) Pushing the analogy further

We made an analogy between “intersecting” and “acyclic”. Building on this analogy

1) What could be the “homological” property analogous to “every two sets have at least elements in common”?

2) What could be the “homological” property analogous to “not having r pairwise disjoints sets”?

I will propose answers below the fold. What is your answer?

H) Weighted homology

For a simplicial complex K on the vertex set [n] the boundary operator \partial C_k(K) \to C_{k-1}(K) is defined by \partial \{i_0,i_1,\dots,i_k\}=\sum_{j=0}^k(-1)^j\{i_0,\dots,\hat i_j,\dots,i_k\}. Where i_0<i_1<\dots<i_k.

Given a vector w of  nonzero weights w=(w_1,w_2\dots,w_n) we can define a weighted boundary operator by

\partial\{i_0,i_1,\dots,i_k\}=\sum_{j=0^k}(-1)^jw_j\{i_0,\dots,\hat i_j,\dots,i_k\},

where i_0<i_1<\dots<i_k. It is a simple matter of scaling a matrix that still the boundary of the boundary is zero and (over any field) the homology with respect to this weighted boundary operator does not depend on w.

I) Iterated homology

Being acyclic guarantees that |F| \le {{n-1} \choose {k-1}}.

1) What is the global homological property that will give us |F|\le {{n-m} \choose {k-m}}  ?

2) What is the global homological property that will give us |F|\le {{n}\choose {k}} - {{n}\choose{k-r}}?

Answer for 1: There is no chain in C_{k-1} (F) which vanishes when you apply m (generic) weighted boundary operators successively.

Answer for 2: There is no chain in C_{k-1} (F) which vanishes when you apply each one out of m (generic) weighted boundary operators.

When m=1 both answers coincide with the top dimensional homology H_{k-1}(F)=Z_{k-1}(F). For larger value of m those are kind of homology-like spaces whch are called “iterated homology.”

J) m-fold acyclic families (first try)

Iterated homology gives us global properties of a family of sets that we want to relate to Erdos-Ko-Rado-like properties P(m,r). But in order to make such a connection we first need to study the connection between local and global properties. Here, by “local” I refer to properties described in terms of links. Let’s go back to ordinary homology and try to understand the situation when we impose (top-dimension-) acyclicity on the family as well as on links. We will start with the simplest case: what about families which are acyclic, and all links of vertices are acyclic? Let us choose the case k=3, m=2.

Is the number of triangles in such a 2-fold  acyclic family at most linear in n?  perhaps even at most n-2?

Here is an example with more than n-2 triangles.

homolo

But things can get much worse: Consider a Steiner triple system: namely a collection of triangles where every pair of elements is included in one triangle. It is obviously 2-acyclic and the link of every vertex is a matching and thus, it is an acyclic graph. Still, we have quadratic number of triangles.

K) m-fold acyclic families revisited.

Theorem 1: Let  F be a family of k-sets and let K be the associated (k-1)-dimensional simplicial complex. Suppose that

a) H_{k-1}(F)=0

b) H_{k-2} (lk (v,F))=0

and

c) H_{k-2} (F)=0

Then |F|\le{{n-2}\choose {k-2}}.

So we need a new crucial assumption: it is not enough to require that the top homology for the family and its links vanish, we need also that the (k-2)th homology will vanish.

[One thing to keep in mind: Condition c) is not preserved when we delete sets from the family. We can hope that we can replace this condition by a weaker condition which is a monotone property relating (k-2)th homology of K with (k-3)th homology of links of vertices. For every vertex v there is a map from H_{k-3}(lk (v,K)) to H_{k-2}(K). Perhaps the property is that this map is surjective for every vertex. update (Dec 13) I am less certain about what the property should be.]

This theorem extends also to every value of m.

Theorem 2: Let  F  be a family of k-sets and let K be the associated (k-1)-dimensional simplicial complex. Suppose that H_{k-i-1} (K')=0 for every link of K (including K itself) whenever i < m, then |F|\le {{n-m} \choose {k-m}}.

L) Collapsibility. An easier version of Theorem 2 is for the case that K is “d-collapsible,” for d=k-m. This is a combinatorial property which is stronger than the homology condition. Using a combinatorial strong form (like collapsibility) of the homological conditions may be relevant to our case as well.

M) A working conjecture that may assist an inductive argument.

The following working conjecture may  be useful for some inductive arguments:

Working Conjecture: Suppose that F is a family (or just a balanced family) of k-subsets of [n]. Suppose that for every element v the star of v contains a sunflower of size r with head of size m. Then F contains  a sunflower of size r with head of size smaller than m.

Update: False as stated for general families: Fano plane fails it, as Dömötör pointed out. I dont have a cunterexample for balanced families.

Update: False also for balanced families, as Dömötör pointed out. I dont have a counterexample (general, or better balanced) for the case m=k-1. (This case might be useful.)

PART III: Moving to  the balanced case

N) Acyclicity and Erdos-Ko-Rado properties for balanced families.

Now we  consider the various Erdos-Ko-Rado questions for balanced families and revisit the connection to homology. For example, note that for balanced families, if 2k <n then one color class has just one element hence all sets in the family contains this element.

Proposition: For a balanced family of k-sets {\cal G} if every set of size (k-1)  is included it at least r sets of size k, then G contains r pairwise disjoint sets.

Corollary: If {\cal F} is balanced and intersecting then it is acyclic. If F is balanced and has a (k-1)-cycle that vanished by applying each one of r-1 generic boundary operations, then  {\cal F} contains  r pairwise disjoint k-sets.  [corrected]

O) The expected global consequences for balanced families without Delta systems

Conjecture 1 (special case of r=2): If F is a balanced family of k-sets from [n] and every two sets in the family share at least m elements then there is no cycle in C_{k-1} (F) which vanishes when you apply successively  m different (generic) boundary operators.

Conjecture 1 (general case): If F is a balanced family of k-sets from [n] without a sunflower of size r and head with less than m elements. (In other words, it has no r pairwise disjoint sets for every link of a set of size less than m.) Then there is no cycle in C_{k-1} (F) which vanishes when you apply any combination of m boundary operators successively out of (r-1)m different (generic) boundary operators.

This last conjecture would give

(*) f(k,r,m;n)\le e^k {{(r-1)m}\choose{m}}\cdot{{n-m} \choose {k-m}}.

Part IV: An alternative ending to the program

P) Avoiding coloring

We had some difficulty to relating intersecting and acyclic families. One (conjectural) proposal was to move to balanced families. But another proposal is to relax the notion of acyclicity. (Essentially by adding k additional boundary operators.)

Theorem 4:  (1) Let F be an intersecting family of k-subsets from [n]. Then there is no cycle in C_{k-1} (F) which vanishes when you apply each one out of k (generic) boundary operators

(2) Let F be a family of k-subsets from [n] without r pairwise disjoint sets, Then there is no cycle in C_{k-1} (F) which vanishes when one applies every boundary operator out of (r-1)k (generic) boundary operators.

(3) If F is a family of k-sets from [n] and every two members of F share at least m elements then there is no cycle in C_{k-1} (F) which vanishes when you apply any combination of m boundary operators successively out of k different (generic) boundary operators.

These follow directly from the fact that algebraic shifting preserves the property that F is intersecting, the property that F has no r pairwise disjoint sets, and the property that every pairwise intersection has at least m elements.

Unfortunately, as we mentioned,  the property of interest to us is not preserved under shifting. We can hope that the effect of the extra k boundary operators, in an inductive argument will be as follows:

Q) The Conjecture for the alternative direction:  

Conjecture 2: If F is a family of k-sets from [n] and if it has no r pairwise disjoint sets for every link of a set of size less than m then there is no cycle in C_{k-1}(F) which vanishes when you apply any combination of m boundary operators successively out of m+(r-1)k  different (generic) boundary operators.

This would give

(**)  f(k,r,m;n)\le {{m+(r-1)k}\choose{m}}\cdot {{n-m}\choose {k-m}}

Part V: Shifting

R) Shifting

We mentioned the shifting method in this post.  A collection F of k-subsets from [n]={1,2,…,n} is shifted (or compressed) if whenever a set S is in the collection and R is obtained by S by lowering the value of an element, then R is also in the family.

A shifting process is a method to move from an arbitrary family to a shifted one with the same size. Erdos, Ko and Rado described a combinatorial method for shifting in their paper on the Erdos-Ko-Rado theorem. A very basic facts from Erdos-Ko-Rado theory is

(EKR) P(2,m) and P(r,1) are preserved under shifting.

But not having a sunflower is not preserved under shifting. It is still possible that not having a sunflower for the family is translated to a different statement for the family obtained from it by shifting and indeed we will formulate Conjectures 1 and 2 in these terms.

S) Algebraic shifting

Algebraic shifting was mentioned in this post. A good reference for it is this 2002 paper.

Here is a quick definition of algebraic shifting:

(1)  Start with an n by n generic matrix M.

(2) Next consider the kth-compound {{n} \choose {k}} \times {{n} \choose {k}} matrix whose entries correspond to the determinants all k by k minors of M. Order the rows and columns of M lexicographically.

(3) Given a family F of k subsets of [n]  consider the submatrix M_F of M whose columns are indexed by sets in F.

(4) Now, choose a basis to the rows of M_F greedily, namely,  go over the rows of M_F one by one and add a row to the basis if it does not depend on the earlier rows.

(5) The algebraic shifting \Delta (F) of F is the family of indices for the rows in this basis.

Theorem: Property (EKR) continues to hold for algebraic shifting.

T) Algebraic shifting and homology

Algebraic shifting also preserves the Betti numbers as well as the dimension of various iterated homology groups.

For example,  F is acyclic, namely there is no (k-1)-chain that vanishes when a boundary operation is applied, if and only if all sets in \Delta (F) contains ‘1’.

There is no chain in C_{k-1} (F) which vanishes when you apply successively  m  weighted boundary operators if and only if all sets in \Delta (F) contains \{1,2,\dots,m\}.

There is no chain in C_{k-1} (F) which vanishes when you apply each one out of m (generic) weighted boundary operators, if and only every set in \Delta (F) contains an element j, 1 \le j \le m.

U) Our conjectures in terms of algebraic shifting

Conjecture 1 and 2 are equivalent to:

Conjecture 1′: Algebraic shifting of balanced families with property P(r,m) leads  to a shifted family so that every set has at least m elements in the set {1,2,…,(r-1)k}.

Conjecture 2′: If {\cal F} is a family of k-subsets of {1,2,…,n} with property P(r,m) then for the algebraic shifting of {\cal F}, every set has at least  m elements in the set {1,2,…,m+(r-1)k}.

V) Balanced shifting

Even when dealing with balanced families we considered a shifting operation that does not preserve the balance structure.Variants for algebraic shifting for the balanced case were defined and may be useful. (EKR) is not known for balanced shifting.

Question: Does balanced shifting have property (EKR).

W) Methods from commutative algebra

Methods from commutative algebra are quite powerful for demonstrating (often in another language) results about algebraic shifting and iterated homology groups.

This entry was posted in Combinatorics, Polymath10 and tagged , , , . Bookmark the permalink.

125 Responses to Polymath10, Post 2: Homological Approach

  1. domotorp says:

    I think that in M) for your “working conjecture” a finite projective plane gives a counterexample.

    • Gil Kalai says:

      Right, I overlooked that. In any case items L and M are calling to be on the alert for a “collapsibility-type” statement which may simplify proofs. But what I suggested is too strong.

    • Gil Kalai says:

      Dömötör, I still wonder if the conjecture holds for the balanced case:

      Working Conjecture (balanced case): Suppose that F is a balanced family of k-subsets of [n]. Suppose that for every element v, the star of v contains a sunflower of size r with head of size m. Then F contains a sunflower of size r with head of size smaller than m.

      • domotorp says:

        This is true for k=2, but fails for k=3. Let the set of vertices be \{0,1\}^3 and the edges be the triples whose sum is even. Every v has r=2 sized sunflower, but there are no disjoint edges.

      • Gil Kalai says:

        Hmm, right! very nice example! (BTW do you have a quick way to see that the hypergraph is intersecting?) I guess I care most about the case that m=k-1. So I wonder if we can construct a similar example of a family of k-sets (perhaps even a balanced family) so that every star of a vertex contains a sunflower with head k-1, but the family itself does not contain a sunflower with smaller head than k-1.

      • domotorp says:

        A quick way to see is that two disjoint triples would sum up to 3, so both cannot be even.

      • domotorp says:

        Even m=k-1 is false for r>2, even for balanced families, so we can construct a balanced family of k-sets so that every star of a vertex contains a sunflower with head k-1, but the family itself does not contain a sunflower with smaller head than k-1. Below I sketch this for r=3. Start with a digraph on k vertices where the outdegree of each vertex is 2, and the girth of the underlying multigraph is more than 3. The base set of our hypergraph is \{0,1,2\}^k and the support of each hyperedge has size at most 2. The hypergraph has 0^k and every k-tuple with one non-zero element. The k-tuples with two non-zeros which are in the hypergraph are as follows. The k-tuple whose i-th element is 1 (resp. 2) and j-th element is 1 or 2 is in the hypergraph if there is a directed edge from the i-th vertex to the j-th vertex with label 1 (resp. 2). This guarantees that all stars have sunflowers with head k-1, and the large girth shows (with a simple case analysis) that there are no sunflowers with smaller heads.

      • Gil Kalai says:

        Thanks Dömötör, it is useful to know it. I plan to describe further the notions of (b,c)-cycles and relevance to Erdos-Ko-Rado and sunflower statements in the 3rd thread.

  2. Gil Kalai says:

    It can be useful to think about the simplest cases for the conjectures. One simple case is the assertion that a balanced family of k-subsets from {1,2,…,k} so that every two sets have at least m elements in common contains at most {{n-m}\choose{k-m}} elements. The other case is to consider balanced families with no sunflower of size three with head of 0 or 1 elements.

    • Gil Kalai says:

      The very very simplest case is the following: If {\cal F} is a balanced family of k-subsets from [n] = \{1,2,\dots\}, and every pair of sets have at least two elements in common then |{\cal F}| \le {{n-2} \choose {k-2}}.

      Maybe it is known and maybe some example a la Erdos-Ko-Rado (for the non balanced case) shows it false.

      If it is correct it may have some simple combinatorial proof. There may be a proof using a combinatorial version of shifting for balanced families. And there may be a homological proof. We know that H_{k-1}({\cal F})=0 and for every link of a vertex \cal G we have H_{k-2}({\cal G})=0 as well. We need some condition on the (k-2)-homology of the entire {\cal F}.

      • Gil Kalai says:

        The very very very simplest case is for k=3.

      • Vincent says:

        In the very very very simplest case above, you don’t need the condition that F is balanced. It would be interesting to see at which k the need for this condition kicks in. (I try to write out the k = 4 case, but my 4 year old keeps drawing faces at my piece of paper. I will come back to it (hopefully))

      • Vincent says:

        Ok, this is not entirely waterproofed but I feel that the very very simple conjecture above is true in the unbalanced case with possibly some exceptions at small n (small definable in terms of k.) It seems sensible to distinguish between the case where every two sets A, B from the family have the SAME pair of elements in common (i. e. F is a sun flower and attains the bound from the very very simple conjecture) or the case where there are family A, B, C that do not form a sunflower with head of size 2, in spite of every two of them having at least two elements of [n] in common.

        If I’m not mistaken, in the latter case we have that when n - 4 > k - 2 the number of members in the family is at most 4 \binom{n -4}{k-3} which, being a polynomial in $n$ of degree $k-3$, will for large enough n be less than the bound from the conjecture, which is a polynomial in n of degree k-2.

        (For n-4\leq k-2 we can have more than 4\binom{n-4}{k-3} members but I didn’t check if and when it beats \binom{n-2}{k-2})

      • Gil Kalai says:

        Dear Vincent, when n is large then many of the Erdos-Ko-Rado questions become easier as observed already by Erdos-Ko-Rado. So the answers for P(k,2,m) and P(k,r,1) are obtained when n is large for families containing [m] and one element from [r] respectively.

  3. Vincent says:

    ‘Family A, B, C’ should read ‘family members A, B, C’. Also, how do I make my Latex look Latexy?

    • gowers says:

      After each opening dollar you write “latex” with no space. It’s hard to demonstrate without making it look latexy and thus hiding the demonstration, but if I use a pound sign to stand for the dollar sign, then to make n choose 2 you would for example write £latex \binom n2£.

  4. gowers says:

    This isn’t to do with the homological approach (which I plan to try to understand, but I have not got there yet). Instead it is a partial answer to a question I asked on the first post. The question was this: if you have a collection of k-sets, how many do you need in order to guarantee that either three of them are disjoint or m of them form an intersecting family?

    The simple upper bound is around 2km. This one proves by taking a maximal disjoint subfamily, which contains at most two sets, and using the pigeonhole principle to find at least m sets that all contain the same element from the union of this subfamily. A simple lower bound is obtained by picking two disjoint intersecting families of size m-1. Then by the pigeonhole principle you don’t have three disjoint sets and you don’t have an intersecting family of size m. This family has size 2(m-1).

    The question I asked was whether there is a lower bound that tends to infinity with k for fixed m. The answer is yes: here’s a simple construction that gives a lower bound of around m\sqrt k.

    Start by picking a graph with k vertices that has no independent set of size 3 and no clique of size \sqrt k. This is known to exist from the best known bounds for R(3,t) — in fact, we can improve it by a log factor. For each vertex v in this graph, let A_v be the set of edges incident to v. Finally, add separate points to each A_v to create sets B_v that have size k. (The A_v typically have size about k-\sqrt k, so we don’t have to add too many points.)

    Note that vw is an edge of the graph if and only if A_v\cap A_w\ne\emptyset, and the points we have added do not affect whether the sets intersect, so the Ramsey property of the graph implies that no three of the sets B_v are pairwise disjoint and no \sqrt k of them form an intersecting family. Also, there are k sets in the set system.

    Now duplicate each set (m-1)/\sqrt k times. Then no m of the sets form an intersecting family, no three are disjoint, and there are about m\sqrt k sets in the set system.

    There was a (not very strong) hope that it might be possible to obtain an improved bound by showing that every r-intersecting family either contains a sunflower or a large (r+1)-intersecting family. The above construction shows that to pass to the (r+1)-intersecting family we would need to divide by at least \sqrt{k-r} or something like that, and the product of those is \sqrt{k!}, which is not an interesting improvement on k!.

    • Gil Kalai says:

      I think that \sqrt {k!} or even k!^{1-\epsilon} would be a spectacular progress. The best we have is k!/\exp (k\cdot \log\log\log k\cdot a(k)) where a(k) tends to infinity. And this is very ingenious.

      Of course comments continuing the older thread are most welcome. The homological suggestions are sort of a last resort. There were some interesting further comments on the group question, in fact I will make one additional comment there but then we can safely move the discussion to here.

      • gowers says:

        Ah — when I wrote that I stupidly didn’t check what the best known bound was.

        In that case it seems worth thinking about whether the bound of m\sqrt k can be improved further, or matched by an upper bound. In the latter case, one wouldn’t immediately get an improvement to \sqrt{k!} because getting a pairwise intersecting family is not the same as getting a family of sets with a non-empty intersection, so it is far from obvious what the inductive step would be in general.

        For that reason it might be interesting to consider the following question: how large an intersecting family of k-sets do you need in order to guarantee either three sets that form a sunflower with a head of size 1 or a subfamily of m sets with all pairwise intersections of size at least 2?

    • Ilan says:

      If k tends to infinity while m is fixed, then (m-1)/ \sqrt{k} would tend to zero, and you can’t duplicate a set less than once. Unless I misunderstood something in the construction.

      • gowers says:

        The construction is meant to be for fixed k and m tending to infinity. The idea is that one wants to pass from a large set system that contains no three disjoint sets to a slightly smaller one that is intersecting. The construction shows that the intersecting subfamily may have to be smaller by a factor of \sqrt k. The sizes of the set systems are much bigger than k.

  5. Philip Gibbs says:

    Are there any best results for small r,k listed anywhere?
    I found f(3,3) \ge 20 , is there better known?
    The first ten sets are
    123 134 145 156 162
    523 634 245 356 462
    The other ten sets are the same combinations but with six different numbers

  6. Vincent says:

    Dear Gil,

    I’m sorry but I’m rather confused about the definition of acyclic families. After some staring I understand the situation when working over Z/2Z. We then can naturally identify each family of k-sets with the k-chain that is the formal sum over its members and it is clear that this chain is a cycle iff it satifies the condition you describe. Also in that case I can make sense of the statement that a family is acyclic if it does not ‘contain’ a cycle, because I interpret it as the family not having a subfamily that is a cycle in the above sense. However there are a lot of things that I don’t see, notably:

    1. What does it mean for a family to contain, or to be, a cycle (or even a chain, really) over the real numbers? Does it mean that no non-zero real linear combination of its members is a cylce?
    2. Why do results like the bound \binom{n-1}{k-1} not depend on the field A you work over?
    3. With the above notion of acylic (over Z/2Z) it is clear that if a family is acyclic, the associated chain complex K as in your post has Z_k(K) = 0 and hence H_k(K) = 0, but how do we know that it is the *only* way to get H_k(K) = 0?

    I know this must all be standard material but I would be very happy if you could say something about it (or post a link to some introductory text).

    Thanks in advance,

    Vincent

    • Gil Kalai says:

      Hi Vincent. Good questions. For every field of coefficients we sat that a family \cal Fof sets of size k is acyclic if it does not support a non-zero cycle w.r.t. the field.
      This means that H_{k-1}(\bar{\cal F})=0, where \bar{\cal F} is the simplicial complex spanned by \cal F. Yes, for the top dimension the only way to have vanishing homology is that the space of cycle vanishes.

      The argument for question 2 goes like this and it is independent of the field of coefficients. Consider the family of all k-subsets from [n] and the {{n}\choose {k-1}} \times {{n} \choose {k}} matrix that represent the boundary operator from C_{k-1} \to C_{k-2}. Remember that (over every field) the boundary of a k-dimensional simplex is a (k-1)-cycle. This means that a column that correspond to a k-sets S not containing ‘1’ linearly depends on the k columns obtained by adding ‘1’ and deleting an element from S. This show that the rank of the matrix is at most {{n-1} \choose {k-1}}. However if you consider the rows corresponding to sets not containing ‘1’ and the columns corresponding to sets containing 1 you see a permutation submatrix of size {{n-1}\choose{k-1}}. This gives the result.

    • Gil Kalai says:

      I can also explain with a similar argument why a family \cal F of k-sets which does not contain a chain that vanishes for each one of r (generic) boundary operators must satisfies |{\cal F}|\le{{n} \choose {k}}-{{n-r}\choose{k}}. This time you consider a {{n}\choose{k}}\times r {{n} \choose {k-1}} matrix which for every k sets describes the r different boundary operators. Now if you take a simplex of dimension k+r-1 and apply successively the r boundary operators, then you get a (k-1)-dimensional chain which vanishes when you apply each one of the r boundary operators once more. This implies that in this matrix the columns which correspond to sets R not containing any elements from {1,2,…,r} depends on those that contains one or more element from {1,2,…,r}. This gives the inequality.

  7. Gil Kalai says:

    So in some sense an early case of the conjecture (for the balanced case) is this: you have a balanced collection of k sets without a sunflower of size 3 and head of size 0 or 1. You want to show that if you take four generic boundary operators, there will not be a chain that will vanish for every two of them. Perhaps the simplest way to go about it is to consider such a (4,2) cycle. and try to find in it a sunflower of the requested kind.

    For the second approach we want to argue directly that a general family of k-sets without a sunflower of size 3 with head of size 0 or 1 cannot vanish for applying all pairs of boundary operators among 2k+2 generic boundary operators. Again the simplest way would be to look at such a (2k+2,2)-cycle and identify in it the required sunflower.

  8. gowers says:

    This is a non-comment, but I wanted to say that I am still thinking about the Ramsey-type problem of how many k-sets you need before three must be disjoint or m must be intersecting, but don’t have anything interesting to say about it.

    If you insist on the stronger property that the m sets must have non-empty intersection (as opposed to being pairwise intersecting) then it’s easy to get a lower bound that’s roughly the same as the obvious upper bound of 2km. For example, let the k-sets be the sets of edges incident at the vertices of K_{k+1}. No two of these sets are disjoint (since any two vertices have an edge in common), there are k+1 of them, and the number of sets containing any given edge is 2. By duplicating t times with t<m/2 we obtain a family of almost km/2 sets that all intersect but that such that no element is contained in m of the sets.

    So the question that interests me (even though it may not ultimately be of any help with the sunflower question) is whether the upper bound can be improved to Cm\sqrt k when we ask only for the weaker property that the family is pairwise intersecting.

    It is perhaps worth noting that an obvious family of k-sets with no three disjoint is all k-subsets of a set of size 3k-1. Unfortunately, the proportion of these sets that contain the element 1 is about 1/3, so we don’t even get a dependence on k with this example.

    Somehow it seems that to get a good example the k-sets need to be spread out in a set of size close to k^2. But this means that random sets have quite a high chance of being disjoint, so to avoid three disjoint sets you have to do a bit of work to force them to intersect. But then to increase the size of the set system it seems hard to do anything radically different from the duplication I have been using. So it looks as though the extremal examples for the Ramseyish problem will have huge sunflowers. However, I don’t have any serious ideas for converting this intuition into a rigorous argument.

  9. Louis says:

    A comment regarding the k=3 case of the hyperoptimistic (former) conjecture — i.e. the maximum size of a balanced collection of 3-sets without an r-sunflower. Hao gave an example
    https://gilkalai.wordpress.com/2015/11/03/polymath10-the-erdos-rado-delta-system-conjecture/#comment-22294
    of a balanced family of 9 3-sets without a 3-sunflower, which disproved the hyperoptimistic conjecture. In trying to understand his example I found it useful to think of the link graphs of the vertices 0, 1, and 2 from V_3 (which together form a 3-colored bipartite multigraph*) between V_1 and V_2. For instance

    000, 010, 100, corresponds to edges 00, 01, 10 having color 0
    011, 001, 101, corresponds to edges 01, 00, 10 having color 1
    112, 122, 212, corresponds to edges 11, 12, 21 having color 2

    In this 3-colored bipartite multigraph, we are trying to avoid (as subgraphs)
    i) monochromatic/rainbow* K_{1,3}, and
    ii) monochromatic/rainbow* 3\cdot K_2, and
    iii) an edge of multiplicity 3
    as these correspond to different types of 3-sunflowers in the original set system.

    * By t-colored multigraph I mean an edge colored multigraph having the property that the edges between a pair of vertices have distinct colors; this implies that the multiplicity of any edge is at most t.
    By K_{1,r}, I mean one vertex of degree r which is adjacent to r vertices of degree 1.
    By r\cdot K_2, I mean a collection of r vertex disjoint edges (i.e. a matching of size r).
    A graph is rainbow if all of its edges are different colors.

    Using this formulation, it becomes easier to see that Hao’s example is maximal (as Sw asked https://gilkalai.wordpress.com/2015/11/03/polymath10-the-erdos-rado-delta-system-conjecture/#comment-22304). Although I have no elegant proof (it would be nice to have one), it seems possible to show (I started to), using some case analysis, that the maximum number of edges in a t-colored bipartite graph which avoids
    i) monochromatic/rainbow K_{1,3}, and
    ii) monochromatic/rainbow 3\cdot K_2, and
    iii) an edge of multiplicity 3
    is at most 9.

    Note that there are no restrictions on t (which corresponds to the number of vertices in the “third” part whose link graphs we are considering; although t=r is probably a good test case), or on the number of vertices in the bipartite graph (which corresponds to the number of vertices in the other two parts). The same will be true in what follows.

    My QUESTION as it relates to the k=3 case of the balanced version of the problem:
    How many edges can a t-colored bipartite multigraph have which avoids
    i) monochromatic/rainbow K_{1,r}, and
    ii) monochromatic/rainbow r\cdot K_2, and
    iii) an edge of multiplicity r?

    If we could determine the maximum such value (over all t), then we would have an answer for the case of balanced collections of 3-sets containing no r-sunflower.

    • anon says:

      I got a bit lost above on how the elements of V1, V2, and V3 relate to you your bipartite multigraph.

      For 000 are you imaging that the first 0 is a vertex representing an element from v1, the second 0 is a vertex representing an element from v2, and the third 0 (edge color) represents an element from v3?

      • Louis says:

        That’s correct. The link graph of the third 0 is 00, 01, 10; the link graph of the third 1 is 01, 00, 10; and the link graph of the third 2 is 11, 12, 21. Since we are looking at all of these link graphs together, we give the link edges colors corresponding to which vertex they came from.

  10. Philip Gibbs says:

    I am looking at cases where there are limits r_h-1 for the number of petals in flowers with a head of size h starting with small number cases. This is very simplistic compared to other approaches discussed but perhaps I am not the only one who finds it too daunting to jump in at the deep end.

    The simplest case is k-sets with r_h=2 for h=0,...,k-1 . This means no two sets can have an intersection. not even an empty one, so there can only be f=1 set and n=k elements. This corresponds to f(k,2) =1.

    Second case is r_0=3 and r_h=2, h=1,...,k-1 . So up to two sets with an empty intersection are allowed and the maximal solution is f=2, n=2k

    The third case is a little more interesting. r_0=2, r_1=3, r_h=2, h=2,...,k-1 . Every pair of sets must have a non-empty intersection because r_0=2. The intersections can’t be no larger than 1 because r_h=2, h \ge 2 No three sets can have a non-empty intersection because the intersection would have to be of size 1 but r_1=3 . Each elements that appears in any set will therefore appear in exactly two sets. Take the first set in a collection of f k-sets. This set must have an intersection of size 1 with each of the other f-1 , sets and these intersections must all be distinct. Since the set has k elements we conclude f-1 \le k . Furthermore this limit can be achieved by distributing n=k(k+1)/2 elements so that they each appear in a different pair of sets. The maximal solution is therefore f=k+1, n=k(k+1)/2 .

    • Philip Gibbs says:

      What about the k-set with r_h = 2, h \ne H, r_H = 3 ?
      The intersection between any two of the sets must be of size H and all such intersections must be distinct. The first k-set has k \choose H subsets of size H so there is an upper bound on the size of the k-set of f = {k \choose H} + 1

      When can this limit be achieved? It can when H=0 or H=1 or H=k-1 . In the case H=2 the limit can be achieved when there is a biplane of order k-2 ( a biplane is a symmetric 3-design see https://en.wikipedia.org/wiki/Block_design ) Biplanes are known of order 0,1,2,3,4,7,9 and 11.

    • Philip Gibbs says:

      Apologies for the Latex errors. The above bound should be f \le {k \choose H} + 1

    • Philip Gibbs says:

      In the case above, one type of sunflower is allowed with a head that must be of a given size H and with two petals. The next step up is to allow two types of sunflower with heads of size H_0 and H_1 where 0 \le H_0 < H_1 < k . In other words r_{H_0} = 3, r_{H_1} = 3 and r_h = 2 for all other sizes of head.

      It is more difficult to set a good limit for these cases except the not-intersecting case when H_0 = 0 . I.e. the collection of k-sets is allowed to contain mutual pairs with no common elements. All other pairs of k-sets must have intersections of size H_1 and no triples of sets can have a non-empty intersection.

      We already know there is an upper limit to the number of k-sets in such a collection for given k, because it would be a special case of a delta-system with r=3 . So let's assume that F is a collection of such k-sets of the maximum possible size |F| = f

      Since F is maximal, there must be two sets S_0 and S_1 in F which do not intersect, because otherwise we could add a new set to F all of whose elements are different from those already used and that would give a bigger collection of k-sets with the required properties.

      There can't be a third k-set which does not intersect with S_0 or S_1 since that would give a sunflower with an empty head and three petals. Furthermore any non-empty intersection between two sets is of size H_1. Therefore the collection F can be subdivided into four collections \{ S_0, S_1 \}, F_0, F_1, F_2 , such that
      the k-sets in F_0 all have H_1 elements in common with S_0 but none in common with S_1 ,
      the k-sets in F_1 all have H_1 elements in common with S_1 but none in common with S_0
      the k-sets in F_2 all have H_1 elements in common with S_0 and H_1 elements in common with S_1

      All of these intersections must be distinct and there are {k \choose H_1} subsets of size H_1 in each k-set, so
      |F| = 2+|F_0|+|F_1|+|F_2| \le 2+( |F_0|+|F_1| )+( |F_1|+|F_2| ) \le 2+2 {k \choose H_1}
      f \le 2+2 {k \choose H_1}
      This limit can be achieved when H_1 = 1 or H_1 = k-1 or when H_1 = 2 and there is a biplane of order k-2

  11. dmoskovich says:

    Instead of keeping the same chain groups and playing with boundary maps, I wonder whether it might make sense to associate objects other than simplices intersecting along m-faces with sets with m elements in common- to play with the chain groups.
    Consider two sets with 3 elements. If they don’t intersect then H_0 will tell us that. Whether they intersect at 3 elements of at 2 or 1 elements will be distinguished by H_1 not of triangles, but of their 1-skeletons (so suppress 2-cycles). To distinguish between 1 and 2-element intersections, count elements in the union (that distinguishes all possibilities in this simple example but of course not in general).

    • Gil Kalai says:

      Dear Daniel, it will certainly be very interesting to relate intersection properties to ordinary chain groups and consider more general objects, like skeleta as you suggested or even the full filtration of the simplicial complex by skeleta, or perhaps other objects.

      • dmoskovich says:

        Yes- my intuition is that this might be a good direction. I’m wondering what the logical first step of this direction might be…

  12. Gil Kalai says:

    Let me make a few comments on the homological approach.

    Given b generic boundary operators, let us define a (b,c)-cycle as a (k-1)-chain that vanishes after every successive application of c boundary operators from the b. Both our approaches are based on a conjecture that certain (b,c) cycles must contain certain sunflowers. The first approach is for the balanced case and the second for the general case.

    We also want to be on the look for a more general “combinatorial” notion of (b,c)-cycle which might already contain the required sunflower.

    The very special case of a=1 and b=1. The claim is that for the balanced case a cycle (which is just a (1,1)-cycle) must contain two disjoint sets. All we need to get an induction to work is that

    a) links of vertices in a (1,1)-cycle is a (1,1)-cycle
    b) every set of size (k-1) which is included in one set of size k in the cycle is included in at least two.

    This is true (over every field of coefficients) for a cycle. We can adopt b) as the notion of “combinatorial (1,1) cycle” and b) is enough for the inductive argument to go through.

    To contain a “combinatorial (1,1)-cycle” just means that the comפlex does not collapse to its codimension-one skeleton.

    Now everything I said extends to (a,1) cycles and I think also (a,a) cycles. But let me elaborate on it separately as this comment gets long.

  13. Gil Kalai says:

    The next case to consider is (b,1) cycles. A (b,1) cycle is a collection of sets so that some linear combination of them with non-zero coefficients is a chain which vanishes for applying each boundary operator among b generic ones. A (b,1) cycle satisfies

    1) The link of a vertex of a (b,1) cycle is a (b,1)-cycle
    2) every set of size k-1 is included in at least b+1 sets of size k.

    In the balanced case a simple inductive argument shows that 1) and 2) imply that we must have b+1 pairwise disjoint sets. Again the weaker combinatorial property 2) suffices for that.

    Here is the argument: By induction the link of a vertex contains b+1 pairwise disjoint sets. So we have something like this. (For b=2)
    Th elink of v contains three disjoint sets A,B and C . We can have three disjont triangles as follows. T_1=A \cup \{v\}. B is included in an additional triangle T_2 = B \cup \{w\}. w is colored red hence not in A \cup B \cup C. C is included in three triangles and one of them must have a red vertex different than both v and w.

    sf1

    Our more general aim is to show that in the balanced case (mb,m)-cycle must contain a sunflower of size b+1 with head of size at most m-1. Here are some thoughts, hopes, and concerns about it. Lets just worry about sunflowers of size 3.

    A) A possible direction: The results about (2,1) cycles gives some information about links. With some extra results on vanishing of lower dimensional “homology” some techniques used for Theorem 2 may apply.

    B) Hope: Using combinatorial notions of (b,c) cycles may simplify matters.

    C) Concern: Maybe inductive arguments like the one describe here can be used to reduce the conjectures for “no sunflowers with small heads” to the original conjecture of “no sunflower”. Again a good place to check is for “no sunflowers of size 3 with head of size 0 or 1.”

    D) (hopeful) The inductive argument actually allow to get a sunflower from weaker structure. We will return to it later. (Added later: Actually I don’t see it allows such a thing.)

    • Gil Kalai says:

      The next case to consider is the case of (b,b)-cycles. Here the statement is this: if F is a balanced family of k-sets which form a (b,b)-cycle then there are two sets in the family whose intersection has size smaller than b. Again it looks to me that the inductive arguments work (and used basic properties of (b,b)-cycles which applies in greater generality).

      Another challenge would be to prove the same conclusion (which we know is correct) using arguments of Theorems 1 and 2. Or to start consider the case b=2 and trying to guess/verify the additional homological property in addition to the property that the family and links of vertices have vanishing top dimensional homology.

  14. Gil Kalai says:

    Some of the insights regarding sunflowers may extend to many-families questions and such extensions may be useful for some inductive arguments. So for example we can ask, given k for which 3 numbers a,b,c whenever we have three families A, B, C of k-sets of cardinality a,b,c respectively, we can find a sunflower with one set from A one from B and one from C. of course we can also consider families of sets of different sizes.

    • domotorp says:

      I might misunderstand something, but if all sets of A and B contain some element x that is not in any set from C, then we will never have a colorful sunflower.

      • Gil Kalai says:

        That’s right, we do need to make some extra assumptions. I specifically wondered about the following: If A B are cycles and balanced (all are families of k-sets). Do we necessarily have a pair of disjoint sets one from A and one from B? If A B and C are cycles for two boundary operators and balanced (all are families of k-sets). Do we necessarily have a colorful triple of pairwise disjoint sets?

      • Gil Kalai says:

        Actually, I think that or basic argument for cycles indeed shows that.

      • domotorp says:

        I feel very ashamed, but the homological notions (like cycle) are still quite alien to me. But if you sketch a proof, I might be able to follow it, or maybe even understand cycles better!

      • Gil Kalai says:

        Dear Dömötör, what about the following: we assume further that A B and C have a k-set in common. can we find a colorful sunflower then? Actually I care about k=2.

      • domotorp says:

        I think the same counterexample works with the addition of one element. Again, all sets of A and B contain some x, except for one set from each, which is the common set of A, B and C. If all sets from C avoid x and intersect this common set, we won’t have a rainbow triple.

  15. Gil Kalai says:

    Let me draw attention to GFP’s comment from the first thread. Fix k and n (and r that we can set to r=3). Consider the following sunflower process: we choose k sets from [n] at random until any new k-sets leads to a sunflower. The question is what is the expected size of the resulting sunflower-free family. It will be interesting to answer this question!
    (We can also start from all the sets and remove sunflowers at random.)

    • gowers says:

      I’ve just replied to that comment without noticing that it was on the first post. Let me briefly repeat here one thing that I said there, which is that I think it would be interesting to have a look at this question experimentally for some small values of k and n. How do the set systems produced compare with the best known examples? If I get time, and if nobody else has already done it, I’ll write a program to look into this.

      • Philip Gibbs says:

        I have some code that can do this already. I will post some results when I have them.

      • gowers says:

        I’ll look forward to it!

      • Philip Gibbs says:

        I used n=k^2 and gave up searching after 10 million attempts to find the next set. These were averaged over 100 trials

        k=2: 4.52
        k=3: 10.13
        k=4: 24.11
        k=5: 58.53

        The last one may go a bit higher if I increase the number of attempts. For k=6 I would need a lot more attempts so it would take a long time. Some improvements in strategy may help. e.g. selecting elements randomly from all previous ones and k new ones could be faster.

        Let me know if more info would be useful and I will run again.

      • Gil Kalai says:

        Probably it will be useful to let both n run from k (or say 2k) and look at all pairs (k,n) trying to see a pattern to the behavior.

      • gowers says:

        I’d be interested to know not just what the averages were but what the best examples were. It’s nice that these examples beat 2^{k-1}, though I don’t know what the state of the art is.

      • gowers says:

        I meant to say also that I agree with Gil that trying some smaller ground sets would be interesting.

      • gowers says:

        Finally, I would like if possible to stare at some of the maximal examples — maybe there could be a page on the wiki for them. I’d like to know for example how spread out the sets are, whether the intersections tend to have roughly the same size, etc. etc.

      • Philip Gibbs says:

        Give me a little time and I will follow up these suggestions.
        The maximum sizes I am seeing from this process are only a small percentage better than the averages and are a long way short of the best constructions known. For example you can get 20 k-sets for k=3 and 54 for k=4. There must be other random methods that would find better examples if that is one goal.

      • Philip Gibbs says:

        Here is a collection of 34 sets for k=4. I don’t see many bigger than this.
        { 9 1 13 0 } { 9 1 6 10} { 11 5 14 0 }
        { 3 1 0 11 } { 10 1 5 13 } { 3 1 11 12 }
        { 11 9 14 1 } { 10 2 13 9 } { 3 14 9 12 }
        { 9 13 2 0 } { 3 6 7 14 } { 3 4 14 12 }
        { 3 11 5 7 } { 4 9 10 0 } { 8 9 10 0 }
        { 2 3 7 14 } { 11 14 0 15 } { 10 1 9 13 }
        { 3 8 11 7 } { 9 13 2 10 } { 7 9 6 10 }
        { 9 1 13 12 } { 6 10 2 13 } { 3 8 11 5 }
        { 4 11 9 14 } { 7 9 1 10 } { 2 3 6 14 }
        { 11 5 14 15 } { 9 13 0 12 } { 6 10 13 9 }
        { 10 5 9 13 } { 3 4 14 9 } { 4 11 14 1 }
        { 4 8 9 10 }
        All 16 numbers are in use so perhaps n needs to go higher

      • Philip Gibbs says:

        I may have a bug, let me check that before you do anything with these results

      • @Phillip Gibbs

        I used my generic program for finding large examples in generic extremal problems. Some of my maximums are better than yours, some are not. It’s all very close. I will just upload my summary (I calculated a bunch of small values for f(k, 3, m, n) with \binom{n}{k} \leq 2000), but maybe it would make sense to unify the results somehow?

        My program is still running and I still have to write a script to extract the results nicely. I only gave it 5 minutes for each set of parameters. For f(4, 3, 0, 13) my generic program needed ca. 10 hours for a complete search, so results will be far from optimal.

    • Philip Gibbs says:

      There was a bug that affected some of the earlier numbers a little but these ones pass sanity checks. Feel free to delete the others results to avoid confusion. I have done k=2 and k=3 with varying n. The best possible for k=3 is 20 but that never came up.

      (k,n) mean max

      (2,2) 1.00 1
      (2,3) 3.00 3
      (2,4) 3.75 4
      (2,5) 4.64 5
      (2,6) 5.23 6
      (2,8) 5.38 6
      (2,10) 5.48 6
      (2,20) 5.75 6
      (2,40) 5.90 6

      (3,3) 1.00 1
      (3,4) 4.00 4
      (3,5) 5.82 6
      (3,6) 8.06 10
      (3,7) 10.15 12
      (3,8) 10.92 12
      (3,9) 11.57 14
      (3,10) 11.49 14
      (3,11) 11.45 14
      (3,12) 11.67 17
      (3,15) 11.88 17
      (3,20) 11.92 16
      (3,40) 12.26 16

      • Philip Gibbs says:

        (k,n) mean max

        (4,4) 1.00 1
        (4,5) 5.00 5
        (4,6) 8.16 9
        (4,7) 12.91 15
        (4,8) 16.93 20
        (4,9) 20.21 25
        (4,10) 22.18 25
        (4,11) 23.4 26
        (4,12) 24.03 28
        (4,13) 24.11 30
        (4,14) 24.42 28
        (4,15) 24.43 29
        (4,16) 24.70 30
        (4,20) 25.53 32
        (4,30) 28.60 36
        (4,40) 30.75 38
        (4,60) 32.78 38
        (4,100) 34.09 39

      • Gil Kalai says:

        Many thanks, Philip. The outcomes seems monotone with n which surprised me. Is there a reason to think that this is always the case? And is there some guess we can make on what happens when n tends to infinity?

      • Philip Gibbs says:

        The maximum will be monotone but I don’t always find the maximum in these runs. The mean is less obvious. In the n tends to infinity limit it will select a k-set at each step so as to maximise the number of elements that have not been used before in previous k-sets.

        I don’t know what is the most useful next step I can do but I am thinking about compiling a database of best solutions as a function of (k,n) and I will try to present them in an ordered way that allows us to see any symmetry

      • Philip Gibbs says:

        I have posted all the best examples of k-sets I could find at http://pastebin.com/XNkZwxzV

  16. gowers says:

    One other thing I wanted to say was that I had an idea for a generalization of the problem, but then realized that it was uninteresting. Nevertheless, perhaps it is worth mentioning, just in case someone can think of a way of making it interesting after all.

    The generalization was to consider an analogous question for k-dimensional subspaces of a vector space, where a sunflower is defined exactly as before, though it is probably nicer to describe it in terms of dimensions of subspaces. This is a generalization because for the k-sets question we can think of the elements of the ground set as a linearly independent set of vectors and take the subspaces generated by the k-sets.

    The reason the problem is uninteresting is that if you take two-dimensional subspaces of \mathbb{R}^3 in general position, then any two of them intersect in a one-dimensional subspace, but any three of them intersect in a zero-dimensional subspace. So it is easy to produce continuum-many sunflower-free systems of subspaces.

    It’s tempting to use this fact about subspaces to build large sunflower-free sets, but the obvious things I’ve tried produce only very small ones. For example, in the vector space \mathbb{F}_2^{2r-1} we could take r-dimensional subspaces, but they have size 2^r and there are at most 2^{2r^2} of them, so we get at best a bound like k^{\log k} with this construction, and my guess is that pretty well all similar constructions suffer from the same kind of problem.

    • Gil Kalai says:

      This is an interesting direction. It is an interesting question what is the upper bound if we are asking about vector spaces over finite fields like {\mathbb F}_2 and consider them as sets systems.(So an r-dimensional space is regarded as a 2^r-set. It is interesting what is the largest size of sunflower of this kind. Can we get above k^{\log k}?)

      There is another way to go even over {\mathbb R} which is to consider families of subspaces which, regarded as vectors in the corresponding exterior product, are linearly independent. (This follows also from a certain combinatorial property for pairs of spaces.) there the question is a genuine stengthening of the original question. For Erdos-Ko-Rado theory this more general setting reduces to the regular one since shifting is still available. But this does not apply to sunflower questions.

    • Since I read up on this PolyMath problem two days ago, I spend some time looking for a finite vector space version of the problem. (As a trained finite geometer that is the natural thing to do for me I suppose.) Finally, I found your comment, so maybe here my comment fits. I did not think about the same problem. I just thought a little bit about the following, where I replaced “of size x” with “of dimension x”:

      A sunflower of size r is a family of subspaces A_1, A_2, \ldots, A_r over a finite field with q elements such that every subspace that belongs to more than one of these subspaces belongs to all of them.

      As in the set case you will have a function f(k, r, q) such that every family of k-spaces with more than f(k, r, q) elements contains a sunflower of size r. The proof for this is just the same.

      q-analog of the Erdos-Rado conjecture: Prove that f(k, r, q) \leq C_{r, q}^k, where C_{r, q} is a constant depending on r and q.

      Is there any good reason to look at this? Maybe not. At least f(2, 3, q) reminds one of the dual of a (partial) hyperoval (a family Y of 2-spaces in a 3-space such that no 1-space lies in more than two elements of Y). Then some things get much easier for large q (with the set case seen as q = 1). Sometimes you can do a tradeoff between q and k (I know an example where you can replace n \geq 3k and q \geq 2 with n \geq 2k+1 and q \geq k! \cdot 2^{2k}). Of course this will never help with the set case, but maybe it gives one new ideas or more confidence that the original Erdos-Rado conjecture is true.

      As I have no useful ideas, I did not want to comment, but this looks like a good place to mention this canonical vector space analog.

    • Gil Kalai says:

      Dear Ferdinand, I agree that the q-analog and other vector space analogs are potentially interesting. This applies also to Erdos-Ko-Rado theory of course.

      • Thanks. I don’t know why you mention EKR theorems, but there the q-analog of the standard EKR theorem is known for a long time (most of it due to Hsieh, 197?). In some sense the q-analog is easier. There’s a two line EKR proof for n >= k^3. The same two line q-analog argument shows the q-analog of the EKR theorem for n >= 3k (and n >= 2k+1 with some fine tuning).

  17. GFP says:

    I have implemented a small variation of the process, where I also require that the family is intersecting. One could obtain a usual sunflower-free family by ‘duplicating the family’. For each pair the process was run 100 times. Below is a list of the values I obtained (so again, we get twice as much for the usual sunflower-free problem)

    For the pair (k,n)= (3, 4)
    Average length is : 4.0
    Max found is: 4
    For the pair (k,n)= (3, 7)
    Average length is : 8.61
    Max found is: 10
    For the pair (k,n)= (3, 10)
    Average length is : 7.24
    Max found is: 10
    For the pair (k,n)= (3, 13)
    Average length is : 6.97
    Max found is: 10

    For the pair (k,n)= (4, 5)
    Average length is : 5.0
    Max found is: 5
    For the pair (k,n)= (4, 9)
    Average length is : 18.06
    Max found is: 21
    For the pair (k,n)= (4, 13)
    Average length is : 17.56
    Max found is: 22
    For the pair (k,n)= (4, 17)
    Average length is : 17.67
    Max found is: 24
    For the pair (k,n)= (4, 21)
    Average length is : 17.45
    Max found is: 21

    For the pair (k,n)= (5, 6)
    Average length is : 6.0
    Max found is: 6
    For the pair (k,n)= (5, 11)
    Average length is : 38.46
    Max found is: 42
    For the pair (k,n)= (5, 16)
    Average length is : 37.43
    Max found is: 46
    For the pair (k,n)= (5, 21)
    Average length is : 38.43
    Max found is: 58
    For the pair (k,n)= (5, 26)
    Average length is : 38.86
    Max found is: 49
    For the pair (k,n)= (5, 31)
    Average length is : 40.23
    Max found is: 52

    It seems to easily beat the 2^{k} construction, and even the 10^{n/2 -clog(n)} construction (for the small values of k I could manage at any rate), which I believe is the state of the art.

    One particular context I was also thinking about was the “n=\infty case”. The advantage of this setting is that the randomness is much easier to control; for instance we know that the process would be initially driven by intersections of size 1, then when we run out of those by intersections of size 2 and so on…

    • domotorp says:

      If you can beat it for small values, you can also beat it for big ones, as f(n)f(m)\le f(n+m). So your example gives f(4)\ge 48 and f(5)\ge 116, I think we need a little better to beat it with this simple product recursion, though other tricks might help further.

      • GFP says:

        Yes, the aforementioned best known lower bound is obtained by making the observation that $g(mn)\geq g(m)g(n)^{m}$ and that $g(3)=10$ (where g is the extremal function for intersecting 3-sunflower free families). If we could find a $k$ for which $g(k)^{1/(k-1)}>10^{1/2}$ then using the same argument we’d obtain an improved lower bound.

    • gowers says:

      Do you know what happens if you insist that the k-sets are k-coloured? Is it still possible to beat the 2^{k-1} bound by quite a lot in this way?

      • Philip Gibbs says:

        Using random trials on the balanced case I found
        f_b(2) = 4
        f_b(3) \ge 12
        f_b(4) \ge  25
        f_b(5) \ge 68

      • Gil Kalai says:

        The homological balance conjecture would give f_b(k) \le {{2k}\choose{k}} which is not in contradiction with these results.

      • Philip Gibbs says:

        With some more trials I have f_b(5) \ge 72 and f_b(6) \ge 202

      • Philip Gibbs says:

        For k=4 there is a balanced intersecting collection of 13 k-sets so f_b(4) \ge 26 . Here is what the 13 k-sets it looks. Elements in different columns are coloured so that they are distinct

        { 0 0 0 0 }

        { 0 3 3 1 }
        { 0 3 3 2 }
        { 1 3 3 0 }
        { 2 3 3 0 }

        { 3 0 3 1 }
        { 3 0 3 2 }
        { 3 1 3 0 }
        { 3 2 3 0 }

        { 3 3 0 1 }
        { 3 3 0 2 }
        { 3 3 1 0 }
        { 3 3 2 0 }

      • Philip Gibbs says:

        The structure seen in the example of 13 balanced intersecting sets can be reused to show that f_b(k+2) \ge 6 f_b(k) . Ignoring the extra row of zeros we can take the solution of size f_b(k) and make three copies with two extra columns of identical numbers in each staggered over three columns as in the example. This gives an intersecting solution so it can be doubled up to give the overall factor of six with two extra columns.

        For k=6 this construction gives a set of size 6×26=156 but using further random trials I now have f_b(6) \ge 212

      • Philip Gibbs says:

        The generalisation of this construction gives f_b(k+l) \ge f(l)f_b(k) provided that k+l \ge n where n is the number of elements appearing in the union of the collection that gives the limit f(l) . The extra condition is slightly better when we use connected sets. In particular f_b(k+3) \ge 20f_b(k) for k \ge 3 which gives f_b(6) \ge 120 . This is for r=3.

        This may be enough to show that the growth rate and the conjecture for balanced sets is the same as for general sets.

      • Philip Gibbs says:

        domotrop, because k+l \ge n the n elements from the unbalanced collection can each be given a different colour in the new balanced collection with sets of size k+l . These are then combined with the second set which is balanced so as to fill in the rest of the colours. That’s not very clear. I will try and find a way to write it out in more detail.

        You can see how it works in the example of 13 k-sets with k=4 that I posted. This combines the unbalanced intersecting collection {2,3} {1,3} {1,2} with the balanced non-intersecting collection {0,1} (0,2} {1,0} (2,0} to give a balanced intersecting collection of 12 k-sets. In this case a 13th k-set can be added so the construction is not always optimal.

      • domotorp says:

        I see, nice construction. But I don’t think that this is enough to show that the growth rates are the same because of the condition k+\ell\ge n.

      • Philip Gibbs says:

        Suppose f(k)^{\frac{1}{k}} \rightarrow C and {f(k)_b}^{\frac{1}{k}} \rightarrow C_b then f_b(k) \le f(k) implies C_b \le C

        For any l there is a maximal unbalanced collection of f(l) sets which has some number n of elements in its union. Using the construction m times with this unbalanced collection and the maximal balanced collection for k=n to begin with we get, f_b(ml+n) \ge f(l)^m f_b(n) which implies
        f_b(ml+n)^{\frac{1}{ml+n}} \ge f(l)^{\frac{m}{ml+n}} f_b(n)^{\frac{1}{ml+n}}

        Taking the limit m \rightarrow \infty with l and n fixed
        C_b \ge f(l)^{\frac{1}{l}}
        Since this is true for all l we can now take the l \rightarrow \infty limit to get C_b \ge C therefore C_b = C

        The good news is we only need to consider balanced sets. The bad news is that balanced sets are no simpler than unbalanced sets.

    • Gil Kalai says:

      Maybe we can run the computations on balanced (k-colored) families as well. I met Avi today and he asked an very natural question: Can we reduce the delta-system conjecture to a specific case for k and n, say n=k^2. Avi also mentioned some applications of delta systems in TCS which I was not aware of and some other cool developments.

  18. Gil Kalai says:

    What is the status of the statement C_b=C? It would be quite surprising. Can we improve \frac{C}{C_b}\le e?

    • Philip Gibbs says:

      Let F be a (k,r) delta set of size f with n elements in its union. Let F_b be a balanced (k_b,r) delta set of size f_b , Then if k_b+k \ge n we can construct a balanced (k+k_b,r) delta set of size f \times f_b as follows.

      Since k_b+k \ge n we can assign a unique colour from a palate of k_b+k colours to each element in the union of F . For each set S in F take the k colours assigned to its elements and recolour all the sets in F_b with the remaining k_b colours in the palette using a one to one mapping between the colours. Now form f_b coloured sets from the union of the coloured version of S with each recoloured set in F_b (We assume that the elements in F_b are distinct from the elements in F ). Do this for each of the sets in F to form f \times f_b sets.

      To illustrate this with an example consider the (2,3) delta set {1,2}, (1,3}, (2,3} and the (4,3) balanced delta set {r4, g8}, {r4, g9}, {r5,g7}, {r6,g7} assign the 3 elements 1,2,3 to the colours r,g,b from a palate of four colours r,g,b,y. The 12 sets from the construction are

      {r1, g2, b4, y8} (r1, g4, b2, y8 } {r4, g1, b2, y8}
      {r1, g2, b4, y9} {r1, g4, b2, y9 } {r4, g1, b2, y9 }
      {r1, g2, b5, y7} (r1, g5, b2, y7 } {r5, g1, b2, y7}
      (r1, g2, b6, y7} {r1, g6, b2, y7 } {r6, g1, b3, y7}

      Proof that the constructed delta set has no sunflower of size r :
      Suppose we can find a sunflower of size r. Consider three cases one of which must apply:
      (1) All the sets in the sunflower are constructed using distinct sets from F
      (2) All the sets in the sunflower are constructed using the same set from F
      (3) The sets in the sunflower contain some pair using the same set from F and some other using a different set from F .
      All three cases can be ruled out. Case (1) would imply a sunflower of size r in F , case (2) would imply a sunflower in F_b , and in case (3) the intersections of the three described sets in pairs cannot be the same. This completes the proof.

      From this construction we can conclude that
      f_b(k+k_b,r) \ge f(k,r) \times f(k_b,r)
      provided k+k_b \ge n where n is the (smallest) total number of elements in a maximal (k,r) delta set

      Suppose that f(k,r)^{\frac{1}{k}} \rightarrow C and f_b(k,r)^{\frac{1}{k}} \rightarrow C_b where C and C_b may depend on r . (The following argument also works if these can be infinity)

      For any (k,r) let n be the number of elements in a maximal (k,r) delta set. Then using the inequality m times we get
      f_b(mk+n,r) \ge f(k,r)^m f_b(n,r)
      f_b(mk+n,r)^{\frac{1}{mk+n}}  \ge f(k,r)^{\frac{m}{mk+n}} f_b(n,r)^{\frac{1}{mk+n}}
      Taking the limit m \rightarrow \infty with all else fixed.
      C_b \ge f(k,r)^{\frac{1}{k}}
      Since this is true for all k,r we can take the k \rightarrow \infty limit so C_b \ge C . Since f(k,r) \ge f_b(k,r) we also know that C \ge C_b therefore C_b = C

      • Gil Kalai says:

        Beautiful! and looks perfectly ok. (But other participants, please do check it too, maybe I missed something). Now if we could only always enlarge a balanced system for (k,r) to a general system of size larger by a factor (1+\epsilon)^k we would have a counter example to the conjecture. (We have e^k times available sets.) Unfortunately, it looks that we cannot enlarge at all the basic 2^k example.

        Given this equality, the homological balanced conjecture will give a bound of 4^{k(1+o(1))}, and the homological unbalanced conjecture would yield a weaker result.

      • Philip Gibbs says:

        The example can be extended with {r4, g4, b4, y7} and still be intersecting, and the construction has some flexibility in the recolouring. It is also possible to renumber the sets from F_b differently for each set from F . So there is hope that enlargement could work.

  19. Gil Kalai says:

    As Philip said, there may other ways to alternate between balanced and non balanced example so that we may gain something, maybe even break the exponential barrier. This certainly deserve thinking.

    Another idea we can explore which may be relevant to both positive and negative direction is a more drastic reduction of the kind we did when we originally moved from general families to balanced families. (This was suggested both by Tim and by me and perhaps others.)

    Suppose we start want to color with 5k colors rather than k colors with the following additional conditions

    (1) every set is colored by k consequtive colors modulo 5k.

    (2) Two sets that share k-1 elements must involve at least k+1 colors.

    Perhaps by taking random coloring and excluding violators of (1) and (2) we can start from an arbitrary family and end with an exponentially smaller (but only exponential smaller) subfamily satisfying these conditions.

  20. domotorp says:

    I’ve also wondered if the following, Kneser-type coloring question can be useful:
    How many colors to we need to color all k-tuples of an n element set avoiding monochromatic 3-sunflowers?

    • gowers says:

      Let me try to work out the obvious bounds here, just to get a feel for the problem. Of course, we need at least C(k)^{-1}\binom nk colours, where C(k) is the size of the largest 3-sunflower-free family. Obviously one interesting problem is whether this second bound is likely to be a good one. That is, if we define D(k) to be \binom nk divided by the smallest number of colours needed to avoid a monochromatic sunflower — which is the average size of each colour class — we know that D(k)\leq C(k), but must it in fact be much less?

      For very large n I would guess no, given that there are some powerful results around that tell us that complete hypergraphs can be almost partitioned into copies of small fixed hypergraphs — or even exactly partitioned when certain divisibility conditions are satisfied. But the range that interests us is more like n\leq k^2 I think, and here it is not at all clear that extremal sunflower-free examples would fit together nicely.

  21. daeseoklee says:

    Hello I’m a highschool student in Korea. I recently read over a book on extremal combinatorics,
    wanted to find some problems to think about, and fortunately got to this website.
    I really like this environment of discussing about a problem. It’s so cool.
    And I admire intelligent people here such as Tao and Gowers.
    I have some approaches and (probably)related problems. It might be meaningless but
    please leave some comments on it.
    1. This approach is only meaningful in the case of 3 petals.
    Let there’s a family F_1, F_2,\cdots, F_m, |F_i|=s and \bigcup F_i=[n].
    Regard the set as 0 1 vectors. A simple observation is that
    three different vectors u,v,w form a sunflower iff
    component of 2 doesn’t appear in u+v+w, 1 represents a point
    occupied by a single set, 3 represents an intersection of whole 3 sets,
    and 0 represents the backgrounds.
    And another possible representation of this is here,
    Define I(u,v,w)=++-3 Then,
    three different vector in the family form a sunflower iff I(u,v,w)=0.
    From this, we can generalize this problem to the case of real vectors.
    (Think about a finite set of vectors in V=\{(a_1,a_2,\cdots,a_n)\in [0,1]^n:\sum a_i=s\},
    such that each pair of vectors satisfy some distance condition. (like ||u-v||>=1 in some p-norm?)
    And what number of vectors guarentee that there’re three different u,v,w such that I(u,v,w)<1?)
    But this might be unsucessful since normally I(u,v,w) would be too large.

    I'll continue this a few hours later

    • Gil Kalai says:

      Dear daeseoklee, thanks for participating! What is the definition of I(u,v,w)?

      • daeseoklee says:

        I meant ++-3 when is the ordinary inner product and is sum of all coordinatewise products of u,v,w.

      • daeseoklee says:

        Ah I got why this type error happened. Maybe it omits inner product notation (sharp parenthesis). I meant u•v+v•w+w•u-3u•v•w where u•v•w is sum of coordinatewise products

  22. Philip Gibbs says:

    While I was away for a few days I thought about how to construct r=3 delta systems. With a few observations I was able to reduce it to a problem of constructing polytopes. I don’t know if this is already understood but it is new to me so I will try to explain it. My goal is to work through the case k=3 by hand and then try to understand the k=4 case well enough to use a computational search. The k=3 case reduces to looking at ordinary polytopes in three dimensions where the faces are made with triangles, squares and pentagons and all vertices are trivalent. For k=4 you have to move up to 4-dimensional polytopes built from the 3-dimensional ones and they may be embedded in spaces of different topologies so this will be a lot more difficult. These polytopes are the duals of the simplical complex used in the homological approach so there may be some cross-over that will help.

    • Philip Gibbs says:

      (1)
      (sorry I was using the term delta system incorrectly. I meant families of k-sets with no sunflowers of size 3)

      The first goal is to construct all k = 3 families of k-sets with no sunflowers of size r = 3 . It suffices to construct all complete families, where “complete” means that no further k-sets can be added without forming a sunflower with r petals. If incomplete families are needed they can be derived from complete ones by removing some k-sets.

      The first useful observation is as follows: Given is a complete (k,r) family F , select any element x that appears in at least one k-set of F and form the family F_x of (k-1)-sets from the subsets of F which contained x, with x removed. F_x is then a complete (k-1,r) family. This is because if you could add a new k-set to F_x without forming a sunflower then you could add the element x to that set and add the set to F without forming a sunflower.

      From this observation the task of constructing complete (k,r) = (3,3) families reduces to first constructing complete (k,r) = (2,3) families, and then working out how to combine them,

      • domotorp says:

        F_x was defined as the link of x.

      • Philip Gibbs says:

        Thanks, I am sure this construction must have been done before. Let me know if you are aware of a reference.

      • domotorp says:

        For a reference, see the top of this post…

      • Philip Gibbs says:

        I see the definition of link. I was wondering if anyone had gone through this whole classification based on polytopes. I may not be able to access all the literature because I don’t have journal subscriptions.

      • domotorp says:

        Unfortunately, I don’t believe your “first useful observation.” Take k=2 and r=4, and let F be the graph formed by three disjoint triangles. This is maximal but no F_x is.

      • Philip Gibbs says:

        Thank you for pointing this out. There are also counterexamples for the r=3, k=3 case, e.g. a solution based on two tetrahedra. However, it should not be difficult to find these possibilities as special cases.

    • Philip Gibbs says:

      (2)
      There are three complete (2,3) families as follows
      square: {1,2} {2,3} {3,4} {4,1}
      pentagon: {1,2} {2,3} {3,4} {4,5} {5,1}
      tow triangles: {1,2} {2,3} {1,3} {4,5} {5,6} {6,4}

      The only complete (1,3) family is {1} {2} so (2,3) families must be formed by linking pairs into collections of polygonal structures. It remains to check that any bigger polygons or collections of polygons than these three would have more than two mutually distinct subsets which would therefore form a sunflower with an empty head.

    • Philip Gibbs says:

      (3)
      Now we need to see how to combine these (2,3) families to build a complete (3,3) family F .

      Any k-set with 3 elements {x,y,z} in F can be associated with three complete (2,3) families F_x, F_y, F_z and these can be any combination of the three possibilities, the square, the pentagon or the two triangles. This can be pictured by placing the k-set {x,y,z} on a vertex of a graph where three edges and three faces meet. The faces can be squares, pentagons or triangles and can be labelled with the symbols x , y and z accordingly (usually these elements are represented by numbers)

      The process of making vertexes in this way can be repeated to form a graph for the (3,3) family.

      When triples of complete (2,3) families are brought together in this way, some of the elements in the families need to match for consistency at the vertex, however there are other elements from the smaller families that could be made to match but they don’t have to. We have the choice. This has to be done in such a way that no r=3 sunflowers are created. Potentially this generates a large number of cases to check until all consistent families are found. Luckily there is an observation that simplifies this task.

      The procedure is to build the graph structure vertex by vertex and face by face choosing from squares, pentagons and triangles and always using trivalent vertices, but whenever two elements don’t have to be the same, always make them different, provisionally. Continue this until the graph forms a complete polytope. Since no polygons with more than 5 edges are used and all vertices are trivalent, we know that this process will eventually end. There are only a finite number of trivalent polytopes made with triangles, squares and pentagons (note that the polyopes don’t have to be formed with flat faces. It is only the topology that matters). Listing them all is the first step towards finding all complete (3,3) families. However, our family F can be constructed from more than one such polytope.

      Each square face and each pentagon face is the polytopes will be labelled with a unique element. The triangular faces will come in pairs Labelled with the same element because they form the two-triangle (2,3) family. The two triangles in each pair can be different faces in the same polytope but they must not touch at an edge of vertex. They can also be two faces in two different polytopes in which case the labelling element would form a connection between them

      The remaining question is how do you form the cases where some of the elements that could be different are chosen to be the same? The only way this can be done consistently is when the collection of polytopes has a symmetry. Faces that map to each other under some subset of the symmetry transformations can be made the same consistently, provided the transformations never maps a vertex to another vertex in the same face.

      To conclude, all complete (3,3) families can be constructed by considering all collections of trivalent polytopes made with faces of up to 5 edges and considering reductions modulo some subset of their symmetries.

    • Philip Gibbs says:

      (4)
      When forming families F using this polytope construction we only accept the results if no sunflowers of size r=3 are formed. The next useful observation is that the only such sunflowers that can form before any symmetry reduction are those made of r mutually disjoint sets. This is because if any sunflowers of size r=3 with an element x in its head were included in F then it would also form a sunflower in F_x , but we have only used the three complete (2,3) families which have no sunflowers of size 3.

      To make the construction more concrete consider some special cases. If the only faces used are squares the only trivalent polytope that can be formed is a cube with the faces numbered from 1 to 6. The family this forms with one set for each of the eight vertices incorporating the elements on faces that meet at the vertex is
      {1,2,3} {4,2,3} {1,5,3} {4,5,3} {1,2,6} {4,2,6} {1,5,6} {4,5,6}

      This includes pairs of mutually disjoint sets but no triples, so it is a valid (3,3) family. Only one cube can be included in the family because two cubes would have four mutually disjoint sets.

      For a second example consider the case where only pentagons are used as faces. The polytope formed is a dodecahedron labelled with 12 elements. There are 20 sets in the family corresponding to the vertices. In this case it is possible to find four mutually disjoint sets by choosing vertices that form a tetrahedron inside the dodecahedron. However the family can be reduced modulo a reflection which sends each vertex, face and edge to its antipodal point on the dodecahedron. This reduces the number of elements to 6 and the number of sets to 10. In the resulting family there are no mutually disjoint sets, so in this case two copies on the reduced dodecahedron can be included in a family. This gives the maximal (3,3) family of 20 sets.

      What about families built from pairs of triangles? The trivalent polytopes formed from triangles are tetrahedrons, but the faces must be paired across different tetrahedrons otherwise the pairs would touch. Every tetrahedron in the family must be connected to each other one by either one or two pairs to avoid disjoint sunflowers. There are valid ways to do this using 3,4 or 5 tetrahedrons. Since there are four vertices on each tetrahedron this gives families of 12, 16 and 20 sets. (I was not aware of this second maximal solution until I constructed it in this way)

    • Philip Gibbs says:

      (5)
      What are the possible symmetries that can be used to reduce the collections of polytopes? The polytopes themselves can have many symmetries and if the collection has more than one polytope of the same form there will be permutation symmetries of those. However, the permutation symmetries would just reduce the number of polytopes by making them equivalent.

      The symmetries must not map any vertex to another vertex in the same polygon. Since rotation symmetries in 3D always have a fixed point any rotation symmetry of a polytope will be invalid. I conjecture that the only valid transformation is the reflection that maps each point to its antipodal point. This can easily be verified in individual cases.

    • Philip Gibbs says:

      (6)
      To be able to complete the classification of (3,3) families a list of all trivalent polytopes with faces having at most 5 edges is needed. If a trivalent polytope has t triangles, s squares and p pentagons, then using Euler’s formula 3t+2s+p=12 . Fortunately wikipedia provides a shortcut to finding all cases that work with a list of the dual polytopes made from triangles at https://en.wikipedia.org/wiki/Deltahedron If I have not missed anything there are eleven cases with the following values for (t,s,p)
      (0,0,12) (0,2,8) (0,3,6) (0,4,4) (0,5,2) (0,6,0) (1,3,3) (2,0,6) (2,2,2) (2,3,0) (4,0,0)
      From here it is a straightforward exercise to construct all the solutions.

    • Philip Gibbs says:

      (7)
      As Dömötör pointed out this construction does not give all complete/maximal families, and I don’t think I can fix that. However it is still a good way of constructing large families so it could help with the search for possible counterexamples.

      To illustrate the point I have a new best family for r=3, k=4. It was found by combining the new family of 20 sets for r=3. k=3, but there is an easier way to describe the construction which starts with the following 11 sets

      { 0 1 2 3 4 } { 0 1 5 6 7 } { 0 2 7 8 9 }
      { 0 3 6 9 10 } { 0 4 5 8 10 } { 1 2 6 8 10 }
      { 1 3 5 8 9 } { 1 4 7 9 10 } { 2 3 5 7 10 }
      { 2 4 5 6 9 } { 3 4 6 7 8 }

      These form the Paley biplane with the property that there is a one-to-one correspondence between pairs of elements and pairs of sets which contain them both. To get the r=3, k=4 family just take all subsets of size four from each set to form a family of 55 sets. According to the wiki the best known solution has 54 sets so this is a new record. It is not a huge advance but at least it shows we are in new territory.

  23. Gil Kalai says:

    Dömötör wrote: “…the homological notions (like cycle) are still quite alien to me. But if you sketch a proof, I might be able to follow it, or maybe even understand cycles better!”

    Let me try to explain the notions a little better, and later sketch some proofs using them.

    A (k-1)-dimensional chain is a linear combination of k-sets with real coefficients. Such a chain is a (b,c)-cycle if it vanishes whenever we apply c successive boundary operations from b generic such boundary operations. A family of k-sets is a (b,c)-cycle if we can assign nonzero weights to its members as to get a (k-1)-chain which is a (b,c)-cycle. Our conjecture is that for m \le k a balanced (non-empty) family of k-sets which is a (2m,m)-cycle must contain a sunflower of size three with head of size smaller than m. If true this will say that for r=3, C_b \le 4 (and hence by Philip result C \le 4.)

    This is fairly cryptic but I think it is useful to replace (or “approximate”) the notion of a (b,c) cycle by a stronger combinatorial notion as follows:

    When c < k, a family of k-sets is a combinatorial (b,c)-cycle if every link of a vertex is a combinatorial (b,c) cycle. When c=k, a family of k-sets is a (b,c) cycle if its cardinality is larger than {{b} \choose {c}}.

    Combinatorial (b,c)-cycles are good approximations for (b,c)-cycles (that we can call topological or algebraic (b,c)-cycles.) It is easier to understand them and sometimes to get results you need to juggle between the two notions.

  24. Pingback: Polymath 10 Post 3: How are we doing? | Combinatorics and more

  25. Pingback: attack on/ of the sunflowers! | Turing Machine

  26. Pingback: Polymath10-post 4: Back to the drawing board? | Combinatorics and more

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s