I’ve been in Paris for the weekend, so the number of comments on the previous post got rather large, and I also fell slightly behind. Writing this post will I hope help me catch up with what is going on.

### FUNC with symmetry

One question that has arisen is whether FUNC holds if the ground set is the cyclic group and is rotationally invariant. This was prompted by Alec Edgington’s example showing that we cannot always find and an injection from to that maps each set to a superset. Tom Eccles suggested a heuristic argument that if is generated by all intervals of length , then it should satisfy FUNC. I agree that this is almost certainly true, but I think nobody has yet given a rigorous proof. I don’t think it should be too hard.

One can ask similar questions about ground sets with other symmetry groups.

A nice question that I came across on Mathoverflow is whether the intersection version of FUNC is true if consists of all subgroups of a finite group . The answers to the question came very close to solving it, with suggestions about how to finish things off, but the fact that the question was non-trivial was quite a surprise to me.

### A weakening of Gil’s conjecture

In response to Alec’s counterexample, Gil Kalai asked a yet weaker question, which is whether one can find and an injection from to that increases the size of each set. It is easy to see that this is equivalent to asking that the number of sets of size at least in is always at least the number of sets of size at least in . One aspect of this question that may make it a good one is that it permits one to look at what happens for particular values of , such as (where is the size of the ground set), and also to attempt induction on . So far this conjecture still seems to be alive.

### Ternary FUNC

Another question that is I think alive still is a “ternary version” of FUNC. I put forward a conjecture that had a very simple counterexample, and my attempt to deal with that counterexample led to the following question. Let be a collection of functions from a finite set to and suppose that it is closed under the following slightly strange multivalued operation. Given two functions , let be the set where and . (Thus, there are potentially nine sets . We now take the set of all functions that are constant on each , and either lie between and or lie between and . For example, if and then we get , , , , , and and themselves.

This definition generalizes to alphabets of all sizes. In particular, when the alphabet has size 1, it reduces to the normal FUNC, since the only functions between and that are constant on the sets where and are constant are and themselves. The conjecture is then that there exists such that (where the functions take values in ) for at least of the functions in . If true, this conjecture is best possible, since we can take to consist of all functions from to .

The reason for the somewhat complicated closure operation is that, as Thomas pointed out, one has to rule out systems of functions such as all functions that either take all values in or are the constant function that takes the value 2 everywhere. This set is closed under taking pointwise maxima, but we cannot say anything interesting about how often functions take the largest value. The closure property above stops it being possible to “jump” from small functions to a large one. I don’t think anyone has thought much about this conjecture, so it may still have a simple counterexample.

### Weighted FUNC

Another conjecture I put forward also had to be significantly revised after a critical mauling, but this time not because it was false (that still seems to be an open question) but because it was equivalent to a simpler question that was less interesting than I had hoped my original question might be.

I began by noting that if we think of sets in has having weight 1 and sets not in as having weight 0, then the union-closed condition is that . We had already noted problems with adopting this as a more general conjecture, but when weights are 0 or 1, then . So I wondered whether the condition would be worth considering. The conjecture would then be that there exists such that , where we sum over all subsets of the ground set . I had hoped that this question might be amenable to a variational approach.

Alec Edgington delivered two blows to this proposal, which were basically two consequences of the same observation. The observation, which I had spotted without properly appreciating its significance, was that if have non-zero weight, then , and therefore . One consequence of this is that a weighting with is usually not close to a weighting with . Indeed, suppose we can find with and . Then the moment becomes non-zero, is forced to jump from to at least .

A second consequence is that talking about geometric means is a red herring, since that condition implies, and is implied by, the simpler condition that the family of sets with non-zero weight is union closed, and whenever with .

However, this still leaves us with a strengthening of FUNC. Moreover, it is a genuine strengthening, since there are union-closed families where it is not optimal to give all the sets the same weight.

Incidentally, as was pointed out in some of the comments, and also in this recent paper, it is natural to rephrase this kind of problem so that it looks more like a standard optimization problem. Here we would like to maximize subject to the constraints that whenever and for every in the ground set. If we can achieve a maximum greater than 2, then weighted FUNC is false. If we can achieve it with constant weights, then FUNC is false.

However, this is not a linear relaxation of FUNC, since for the weighted version we have to choose the union-closed family before thinking about the optimum weights. The best that might come out of this line of enquiry (as far as I can see) is a situation like the following.

- Weighted FUNC is true.
- We manage to understand very well how the optimum weights depend on the union-closed family .
- With the help of that understanding, we arrive at a statement that is easier to prove than FUNC.

That seems pretty optimistic, but it also seems sufficiently non-ridiculous to be worth investigating. And indeed, quite a bit of investigation has already taken place in the comments on the previous post. In particular, weighted FUNC has been tested on a number of families, and so far no counterexample has emerged.

A quick remark that may have been made already is that if is a group of permutations of the ground set that give rise to automorphisms of , then we can choose the optimal weights to be -invariant. Indeed, if is an optimal weight, then the weight satisfies the same constraints as and . However, the optimal weight is not in general unique, and sometimes there are non--invariant weights that are also optimal.

### Where next?

I wonder whether it is time to think a bit about strategy. It seems to me that the (very interesting) discussion so far has had a “preliminary” flavour: we have made a lot of suggestions, come up with several variants, some of which are false and some of which may be true, and generally improved our intuitions about the problem. Should we continue like that for a while, or are there promising proof strategies that we should consider pursuing in more detail? As ever, there is a balance to be struck: it is usually a good idea to avoid doing hard work until the chances of a payoff are sufficiently high, but sometimes avoiding hard work means that one misses discoveries that could be extremely helpful. So what I’m asking is whether there are any proposals that would involve hard work.

One that I have in the back of my mind is connected with things that Tom Eccles has said. It seems to me at least possible that FUNC could be proved by induction, if only one could come up with a suitably convoluted inductive hypothesis. But how does one do that? One method is a kind of iterative process: you try a hypothesis and discover that it is not strong enough to imply the next case, so you then search for a strengthening, which perhaps implies the original statement but is not implied by smaller versions of itself, so a yet further strengthening is called for, and so on. This process can be quite hard work, but I wonder whether if we all focused on it at once we could make it more painless. But this is just one suggestion, and there may well be better ones.

February 22, 2016 at 4:03 pm |

There are some comments from FUNC3 (eg https://gowers.wordpress.com/2016/02/13/func3-further-strengthenings-and-variants/#comment-154692 and the comments above) that suggest looking for an inductive proof of weighted FUNC, based on looking at the upset of elements of maximum weight.

There were also some discussion related to proving various observations based on the examples, so perhaps further conjecturing/searching for counter-examples could be useful for weighted FUNC. (For instance, it appears that the weights can be specified by giving the weights of the generators.)

In addition, if it were always true that for the optimal weighting, achieve equality for some , then “maximum ” would imply weighted FUNC.

I must admit that I don’t have time to commit to hard work at the moment (but would a month or so).

February 22, 2016 at 4:55 pm |

I think this has probably been said already, but let me quickly note what duality gives us about a weight that maximizes subject to the constraints that for every and for every . I tried this once before and got it wrong.

Adding a small weight is legal only if whenever , and whenever . If these constraints imply that , then must be a non-negative linear combination of the for which and the for which and .

Just to clarify my notation here, I am identifying set systems with their characteristic functions. So for example is the function that takes the value 1 at and -1 at . Also, I write for .

Where I went wrong before was getting the sign wrong for the part.

So let me look once again at the set system , which I’ll call . Since 1 has maximal abundance, and its abundance is equal to , the best we can do is to maximize , so it’s easy to see that we want to be constant. To see that from the dual perspective, write for each . Observe first that

.

If on the other hand is monotone and non-constant, then let be minimal such that . Then in any linear combination that gives non-zero weight to the empty set, we will have some given smaller weight than .

February 23, 2016 at 5:48 am |

If we want to create an inductive hypothesis for the original FUNC, then it may actually be worth considering induction on the number of sets, rather than the number of elements. Since every union closed family A of sets has generators, there is a family B that contains all elements except one of the generators (but still has all the generated sets). Therefore, if we can prove that if FUNC is true for families with only n sets, then it is true for all one set extensions of those families (having n+1 sets). Additional assumptions may have to be made, for example that the family is separable or that it contains the empty set.

February 24, 2016 at 1:09 pm

One way to proceed with the induction would be to show that removing a random generator decreases the expected abundance by at most 1/2.

February 24, 2016 at 8:47 pm

It turns out that if the expected decrease in abundance is more than 1/2, then there is an element in the ground set that is contained in more than half of the generators.

Here are the details: write for the ground set, and write for the set of generators of . The expected decrease in abundance upon removing a random generator is

$$

If , then , and if , then .

By linearity of expectations**

$$ latex \Delta = \mathbb{E}_{x\in X}[\mathbb{P}_{\mathcal G}(x\in G)]$$

where denotes the probability that a random generator contains a given .

Thus the expected decrease in abundance is less than 1/2 if . If , then

$$ latex \mathbb{E}_{x\in X}[\mathbb{P}_{\mathcal G}(x\in G)] > 1/2$$

so there exists an in such that

$$ latex \mathbb{P}_{\mathcal G}(x\in G) > 1/2$$

i.e. is contained in more than half of the generators.

So, we can carry out the induction, unless we have an element that is very abundant in the generator set.

——-

** To show this step explicitly, write the cardinalities as sums over indicator functions and move this summation outside.

February 24, 2016 at 8:51 pm

So we have another conjecture/question that implies FUNC: if is a union closed set system generated by , and there exists an element in ground set such that

is abundant in ?

February 24, 2016 at 9:18 pm

This is not the case; the following example has been mentioned here. Let and let consist of all subsets of together with all sets where contains at least two elements. This union-closed family has as generators the singletons 1,2,3 and 4 as well as the sets of the form for distinct x,y. Hence 0 is contained is 6 out of 10 generators, but has an abundance of only 11/27.

February 24, 2016 at 9:18 pm

For counterexample to that last one, take to be the 1-sets of , together with the 2-sets of together with (e.g. for ).

Then for large, is in nearly all the generators. However, is not abundant in the union-closed family they generate.

February 23, 2016 at 10:04 am |

I wrote a program to test the ternary version of FUNC by generating random examples, and it quickly found counterexamples. For example: {121, 002, 011, 122, 110, 001, 020, 101, 100, 000, 111, 022, 010, 112} contains 14 functions but each coordinate takes the value 2 at most 4 times.

February 23, 2016 at 10:11 am

However, if we add the requirement that each coordinate must take the value on at least one function in the family, the conjecture may still stand…

February 23, 2016 at 10:21 am

… or not.

This appears to be a counterexample: {0201, 0112, 1220, 0221, 1111, 0121, 2010, 1210, 2101, 1012, 2020, 1011, 2121, 2222, 0111, 1221, 1112, 1201, 2011, 1102, 1101, 1212, 2102, 2112, 1010, 1121, 0101, 2111, 0211, 1020, 2012, 1110, 2002, 1211, 1001, 1120, 2110, 1021, 0202, 0102}.

February 23, 2016 at 11:05 am

A smaller counterexample (in lexicographic order this time):

February 23, 2016 at 11:25 am

A still smaller counterexample:

February 23, 2016 at 11:37 am

That last example contains 0220 and 1110. The maximum of those two sequences is 1220, which isn’t there. I wonder whether there is some misunderstanding. E.g. when I said “between and ” did you perhaps interpret that as “strictly between”?

February 23, 2016 at 11:38 am

Similarly, the previous example contains 1201 and 2101 but not 2201.

February 23, 2016 at 11:53 am

Oops, thanks Tim. I think the mistake I made was slightly more subtle. My program works by successively adding a new random function to the family and working out all new functions generated ‘between’ the new one and all existing ones, and adding these to the family. I implicitly assumed that this would automatically cover all functions ‘between’ the newly added ones. However, the ‘betweenness’ relation does not imply this.

February 23, 2016 at 6:11 pm

I’ve corrected the program (I hope), and it’s not found any counterexamples yet.

In case anyone would like to play with it (and verify that it is now doing the right thing), here is the Python source:

February 23, 2016 at 10:57 pm |

Now that we’ve excluded the existence of injections with various nice structural properties, we could also think about the existence of

surjectionswith nice features.For example, are there always and such that ?

As usual, there may be trivial counterexamples.

February 23, 2016 at 11:20 pm

Doesn’t selection from the multivalued inversion to that surjection

provide injections (that don’t exist)?

February 23, 2016 at 11:45 pm

Ah, right, thank you!

My other question doesn’t seem to be immediately answered by this, but this doesn’t necessarily make it any less trivial.

February 23, 2016 at 10:59 pm |

Is it always possible to find and a surjection with ?

[I’ve posted this separately from the other question in order the keep the threads separate.]

February 24, 2016 at 2:23 am

Since that will most likely have a negative answer, a more interesting weakening may be to require for .

I had asked the analogous question for injections back at FUNC1, and just realized that Alec’s -based family is also a counterexample to this. While a monotone surjection still exists in this case, I suspect that the analogous family generated by pairs of neighbouring elements of will fail this. But it’s a bit too hard to check this by just staring at the Hasse diagram, as I’ve done right now. Maybe somebody else who’ve thought about cyclically symmetric families more than I have will directly see what the problem with a monotone surjection would be.

February 24, 2016 at 9:09 pm |

On doing the hard work to try to prove it by induction – sounds good to me.

One candidate for the first strengthening is a statement from FUNC3. To recap:

Define , and to mean . If:

1) and are union-closed and non-empty.

2)

3)

Then every element of abundance at least in also has abundance at least in .

That’s not obviously a strengthening, but it is exactly what we need when we try to prove FUNC by induction on the groundset. Here, we split our union-closed family on an arbitrary element . The resulting families and satisfy 1) and 2). Either is abundant, or they also satisfy 3), so any abundant element of is abundant in ; and such an element exists by the induction hypothesis.

Next, I’m going to see what happens when we try to prove this stronger statement by induction. However, I still suspect it’s strong enough to be false. If so, I hope that a counterexample would be useful in formulating the “correct” stronger hypothesis.

February 24, 2016 at 9:57 pm |

Sorry about all the typos in that last one.

Trying to prove that led me to a counterexample, and the failed proof seems quite unilluminating.

, of size 8.

, of size 5.

, so .

But 3 is abundant in but not .

Note that it’s still true in this example that some element is abundant in both and (1,2,4 and 5 all fit the bill; though we can dispense of 4 and 5 by adding the empty set to ).

February 24, 2016 at 10:12 pm

One thing that’s been confusing me about that kind of proposal is the following. I can see how to deduce FUNC from this statement, applied to the case of ground sets of cardinality one less. But when you try to prove such a statement

itselfby induction, wouldn’t you expect the number of relevant set systems to double again, because you’ll be dealing with , , and ?So my understanding is that in order to get that kind of strategy to work, we’ll need to find a generalization that applies to any number of set systems as opposed to just one or two. Or maybe I’m missing something? Could you clarify what you have in mind?

February 24, 2016 at 10:21 pm |

Sure. When we split the two-system conjecture’s condition , we get several relations between pairs of families:

The hope is that applying the induction hypothesis to these relations is enough to deduce it for and – so we don’t need a statement that talks about any number of set systems.

February 24, 2016 at 10:28 pm

Ah, thanks, that’s neat!

February 25, 2016 at 5:33 pm |

I can prove that ‘FUNC with symmetry’ (for the family generated by all intervals of length r on the cyclic group ).

The argument shows that at least one of x=0 or y=r has to be abundant, showing first that the subfamily of sets A in our family containing neither x nor y is not greater than the subfamily of sets containing both x and y. (This is an universal sufficient condition for either x or y being abundant; depending on which of paterns x-non y, or y-non x, is more frequent. It is simple.)

In our example, if neither x nor y is in A, then whole interval [x,y] is in the gap of A (as components of A are not so short).

Taking union of A with this interval [x,y] is an injective map between the subfamily of sets containing neither x nor y, into a subfamily containing both x and y; and we are done then.

February 26, 2016 at 10:25 am

That’s nice. Am I right in thinking that the same argument shows that one of 0 and is abundant?

February 26, 2016 at 10:40 am

Using symmetry we get that can be mapped to bijectively preserving cardinalities. Your map can then be extended to an injection into larger sets from to .

That means that all these systems generated by intervals even satisfy the presumably stronger injection into larger sets conjecture.

February 26, 2016 at 10:53 am

Yes, I think the same argument works for any where .

This nice proof makes me wonder about a slightly generalized form of Gil’s former conjecture where we ask if there are always and an injection such that for all .

February 26, 2016 at 11:01 am

Alec, if you want to argue with x=0 and y=d, you may need 0,1,2,…,d to be a legal interval, otherwise injectivity of that map ‘filling the hole’ can be hardly granted.

February 26, 2016 at 11:10 am

Miroslav: thanks, yes of course, the union map won’t be into in this case.

February 26, 2016 at 1:51 pm

Let me mention one more (rather exotic) strengthening of FUNC.

Conjecture: For any union-closed family on a ground set X with at least two elements there are two distinct elements x, y in X such that the number of sets containing neither x nor y is not larger than the number of sets containing both x and y.

Interestingly, if one would allow x=y, this is just equivalent to FUNC, but insisting on distinct x and y it is a strengthening.

Theorem: If there is a set and two its elements x,y that collectively dominate all the traces with

(in a sense that whenever intersects C then either x or y belongs to A), then the above conjecture holds.

The proof is the same as I did for that particular example; the map that adds C to a set containing neither x nor y is that injection that do the job.

Moreover, in a group setting, when we assume that has symmetry not only on translations but also on reflexions, one can interchange x and y and to show that this conjecture is still equivalent to the presumably stronger injection into larger sets conjecture and FUNC itself, as the above injection extends easily as required.

February 26, 2016 at 10:45 am |

Sure. Here it is only important that I understand interval 1,2,…r-1

illegal (two short), and 0,1,2,…,r-1,r is legal. There is some flexibility. But due to translation invariancy all points will be abundant.

February 26, 2016 at 11:15 am |

Miroslav’s argument above naturally focuses attention on what one might think of as the next case: what happens if we look at systems generated by all symmetries of a single set?

This has a particularly nice formulation as a question in additive combinatorics. Let be a finite group, let , and let consist of all sets with . Does satisfy FUNC?

This is equivalent to asking whether the average size of a set of the form must be at least 1/2. Informally, we could think of it as asking whether it is possible for complements of large sumsets with to be somehow more structured, and thus fewer in number, than small sumsets with .

There are perhaps some reasons to hope that this could be the case. For example, this very nice paper of Ben Green exploits the fact that complements of sumsets (when the sets are reasonably dense) are “hereditarily non-uniform”, which means, roughly speaking, that they are quite non-random in a way that is inherited by all their subsets.

An obvious test case would be when and is a random set of some suitably chosen cardinality. Given a subset of , how hard is it to write as for some ? If has cardinality , for instance, then it is very hard indeed, since the probability that even one translate of is a subset of a random is very small. The question though is whether it is harder for large sets or for small sets. Large sets have the advantage that it is easier to find translates of . But they have the disadvantage that there is more of the set to cover with those translates, so more opportunities for things to go wrong. It seems hard to predict which of these effects will win out.

Perhaps this would be a good thing to test experimentally. If we were

reallylucky, we might stumble on a counterexample, though I suppose it’s more likely that FUNC will be true by miles for such examples.March 3, 2016 at 10:24 am

There are simpler instances of this general group setting that could be attacked first.

So far I hasn’t been able to answer the 2 dimensional version on the group with being the square interval of side r.

One could try to generalize ideas from1-d somehow.Now the set D of all 4 vertices of such a set E offers natural candidates among which one could hope to find an abundant vertex, similarly as

in the 1-d case. But in this higher dimensional situation we may need to answer that there are at least as many

sets in containing axactly 3 vertices of D, as the sets in containing 1 vertex of D.

February 26, 2016 at 12:08 pm |

One thing I think it would be good to try is what I think of as the “method of metavariables”. The word “metavariables” comes from automatic theorem proving, and it corresponds to the practice of pretending one has already chosen the value of some variable, and then doing some manipulation with it, determining properties that it needs to satisfy in order to get the proof to work. A simple example is if we need to set some small parameter , and instead of trying to predict in advance how small needs to be, we just note down inequalities that it must satisfy in order for the steps of the proof to be valid, and at the end we choose a that does indeed satisfy those inequalities.

But the method can be used for much more complicated variables. What I have in mind is the following. I would like to prove FUNC by an averaging argument. More precisely, I would like to define a function that takes set systems to probability distributions on their ground sets, and I would like to prove that if is a union-closed set system, then the -average abundance of an element of the ground set is at least 1/2.

Now that isn’t the whole story by any means. If FUNC is true, then a map that takes to the uniform distribution over all elements of maximal abundance would do the job. But the problem is that we would not have any idea how to

provethat it does the job. So instead what I want to do is just pretend that we have already come up with some clever definition of and go ahead and start writing down a proof of FUNC. From time to time, we will need certain statements about to hold, and these can then be thought of as properties that must satisfy. The hope is that finding a with these properties will be simpler than finding with the original property (that the -average abundance is at least 1/2 for all union-closed ). A good analogy is with solving the quadratic equation . Finding with that property is hard, but if we assume we have already found and do some manipulations, we can get to the point where we are considering the much simpler property .Of course, for a strategy like this to work, a lot depends on what we think the proof of FUNC should look like. My hope is that we could try to prove FUNC inductively. So here goes. Pretend we’ve chosen . We have a union-closed set system and would like to prove that the -average abundance is at least 1/2.

We are allowed to assume that this statement is true for any union-closed set system that is strictly smaller than . If we are going for an inductive proof, then one possibility would be to take an element that belongs to some sets in and not others (if we can’t find such an , then the problem is trivial) and consider the set systems and , where here I am defining to be .

The information we have at our disposal now is as follows.

1. Both and are union closed.

2. for every and .

3. (or else we are done).

4. .

5. The -average abundance in and the -average abundance in of an element are both at least 1/2.

From this we must deduce that the -average abundance in of an element of is at least 1/2. Since this comment is getting long, I will not make a serious attempt to do this (where “this” means “start writing out the deduction until it becomes clear what properties needs to satisfy”), but will finish with a remark that gives some idea of the kind of thing that I hope might come out of a method of attack like this. Maybe one could try proving the result without using property 1 above. We wouldn’t be completely ignoring the fact that and are union closed, but we would be using just property 5 in the proof. On the other hand, property 2 looks essential, as we have to use the fact that and are related. It is conceivable that one could do without property 3.

February 26, 2016 at 9:42 pm

Let me try something naive at this point. We have probability distributions and associated with and . Now let us choose non-negative and adding up to 1 and define a probability distribution associated with by , and . In other words, the new probability distribution is a linear combination of , , and .

We know that and . We want to deduce that

.

I’m going to post this comment just so that I can look at what I’ve got.

February 26, 2016 at 9:48 pm

By the definition of , that gives us that we want to show that

.

Again I need to post this comment so that I can stare at it.

February 26, 2016 at 10:02 pm

We probably ought to use the fact that and that .

But then something strange happens, as it was basically guaranteed to do. One of the terms we get on the left-hand side will be

,

which we know is at least . And another term will be at least . So it is sufficient to prove that

is at least

,

which seems an odd thing to require. But maybe this is where the relationship between and would have to come in.

February 27, 2016 at 11:02 am

Note that if we set , then , and then the inequality reduces to

.

So in some funny way it is saying that you do better by measuring the average abundance by swapping the probability distributions associated with and . Of course, we can’t expect to be able to set in general.

February 27, 2016 at 1:47 pm

Since we “know” that the uniform distribution on elements with maximal abundance works, it seems there is some justification setting , assuming that does not have maximal abundance.

February 27, 2016 at 4:31 pm

Interesting point. So maybe the next step would be to try to build up a function inductively by picking to have minimal abundance, to be 0, and and to be optimized.

February 27, 2016 at 6:57 pm

I did one step of this process for the system {1, 2, 12, 13, 23, 123, 1234}, then chose the uniform distribution on elements of maximal abundance for and . The swapping condition was satisfied, and it was possible to choose to make the -average abundance more than .

Some kind of swapping condition makes sense, since an element of maximal abundance in could conceivably drop below maximum after the branching step (that is, it was maximal in , but it is not maximal in ). If we then put the uniform distribution on elements of maximal abundance, we lose .

February 26, 2016 at 1:08 pm |

Are there known separating counterexamples for the sum of (frequency – n/2 + 1) for all abundant elements being 3? This sum will be m for the power set of the universe so I am searching for something “better” than the powerset.

In a systematic search, I found counterexamples for m=2,3 (e.g. 0 1 12 13 123) but not for 4. The search for m=5 will take at least a week. Random samples and genetic algorithms also did not turn up something better than the power set (see http://brunni.de/ucf/stats.cgi ).

I am an amateur and apologize if this question is trivial.

February 26, 2016 at 1:12 pm

Oops. This is HTML and I used < > so part of my questions was dropped. I was asking for counterexamples with the sum being < m and m > 3

February 27, 2016 at 7:23 pm

I count 3/35/2039/1352390 separating families for m = 2/3/4/5.

By starting with the power set of the universe and recursively removing basis

sets while avoiding to remove the same basis sets in different order, I was

able to search all separating, union closed families for m=5 in less than an

hour and found no family that is better than the power set with regard to the

measure sum of (frequency – n/2 + 1) for all abundant elements. Not branching

into different families that are isomorphic to each other further reduces the

search time.

How do you see the chances that this holds for higher m? As the known

counterexamples for m=2,3 beat the power set by only 0.5, how do you see the

chances that this hold for all m for the ceiling of this measure? Does this

correspond with one of the strengthenings already discussed?

April 22, 2016 at 6:42 am

By avoiding some isomorphisms and non-separating families, I was able to reduce the search space for m=6 to 7933357710 families and search them in 2.5 days on a quad core CPU. I found no family where the sum of (frequency – n/2 + 1) for all abundant elements is < m. I would not be surprised if this does not hold for higher m.

The code can be found at https://github.com/michaelbrunnbauer/ucf

February 26, 2016 at 1:54 pm |

Just a thought, not formalized.

It appears to me that union closed sets manifest itself through nested sets. For each element it is possible to create a family of families of saturated nested sets, where largest element is X, and smallest element is the set containing element, but any intersection with all smaller (cardinality) sets lead to sets not containing element.

If we take an elements appearing in most of the sets and compare it with other elements (say second by appearance) in a nested saturated sets we may get something interesting, even in terms of probabilities. I could not formalize it exactly.

February 28, 2016 at 10:41 pm |

Let me suggest a different approach based on weights . I’d like to find a condition on which has the following properties:

1) Every indicator function of a union-closed family satisfies the condition.

2) If is -rare, then the restricted weight defined by satisfies the condition.

3) Furthermore, this fails to satisfy the condition in at least some cases when is not -rare.

4) If is a singleton, then the condition is equivalent to .

The idea is to prove that every which satisfies the condition also satisfies FUNC, and to do so by induction on the size of the ground set: if is -abundant, then there is nothing to show; if is -rare, then there is some that is -abundant, and therefore also -abundant since the abundances are the same. Property 4) makes the base case work.

Now the problem reduces to finding a condition on with properties 1) to 4). Assuming FUNC, a silly example of such a condition would be “There is a -abundant element”. A non-example would be “ is monotone”, which satisfies 2) and 4), but not 1) and 3).

February 29, 2016 at 5:09 am |

Here’s a weakening of FUNC based on the formulation for intersection-closed families. As usual, I can’t guarantee that this is nontrivial, let alone interesting.

Conjecture: Let be intersection-closed and . Then there is a nontrivial subset such that .One obtains intersection-closed FUNC by additionally requiring to be a singleton, since then the first factor evaluates to .

Can anyone tell whether this is trivial or potentially interesting? Could it be that the conjecture is true even for arbitrary without the assumption of intersection-closure?

February 29, 2016 at 9:14 am |

Isn’t this trivial in full generality?

EITHER $\mathcal A$ contains all proper subsets of X, and $\mathcal A$

is essentially the power set of X (possibly without X itself);

OR one can take for C any inclusionwise maximal proper subset that is not in $\mathcal A$.

February 29, 2016 at 7:52 pm

Could you expand a bit on your “OR” statement? The following example seems to show that your argument doesn’t work, but I may have misunderstood what you have in mind.

Take and to consist of all sets that are either proper subsets or proper supersets of . Then is not in , and is inclusionwise maximal with this property. We get and , so that my inequality is violated for .

February 29, 2016 at 8:42 pm

I was not very precise,but what I had in mind is as follows:

With the choice the first factor evaluates to 0 or 1 unless both . Similarly, with the choice the second factor evaluates to 0 or 1 unless both . So one can always assume the following:

contains all singletons, all complements of singletons, , and ,

9otherwise the answer is trivially YES without any other assumptions on ).

After such reduction the problem is simple for intersection-closed, or union closed families (as e.g. in union closed families singletons are abundant). For general families some discussion is still neded to decide what C can do the job (and if it has to always exist).

February 29, 2016 at 9:02 pm

After that reduction your intersection-closed (or union closed) systems are reduced to power sets. In general, one is then tempted to look for a counterexample as follows: to consider and the system consisting of all sets of cardinality at most k, their complements…

February 29, 2016 at 10:51 am |

Inspired by Miroslav’s recent progress and his conjecture I was considering the question whether all abundant elements induce injections that come from his construction.

False conjecture: For any union closed set system with an abundant element , there is an such that and are injections.

A counterexample to the above is the Hungarian family together with . Of course, contains abundant elements satisfying the above (e.g. with ).

March 1, 2016 at 9:37 am

One could hardly expect that much…But in the group setting one can have many symmetries

of \. The group of symmetries generated by bijections $\phi X \rightarrow X$,

for which an induced mapping defines a bijection of onto itself,

can be so large that for any pair x, y from X one can have such a symmetry of

that interchange x and y, . This certainly induces the map

$\latex \mathcal A_{\overline x,y} \rghtarrow \mathcal A_{\overline y,x}$ that preserves cardinalities, but the way

how can’t be so rigid as you were aiming for.

March 2, 2016 at 6:14 pm |

For natural , call a family of sets

-union-closediff it is closed w.r.t. the union of different members. FUNC claims that in every -union-closed family there is an element with relative frequentness of at least . Is this true for -union-closed families as well? It is not true for -union-closed families, as in the family given by the maximum relative frequentness is . What’s the lower bound of the mrf of a -union-closed family?March 2, 2016 at 8:52 pm

I feel as though Alec should be able to provide us with an example of a 3-union-closed set system with no element of abundance at least 1/2. But it’s a great question.

March 2, 2016 at 11:54 pm

The examples 1, 2, …, k, 12…k show that k-union-closed families can have maximal abundance as low as . I don’t see how any k-union-closed family could be doing worse than this upper bound.

March 2, 2016 at 11:57 pm

, of course. Clearly, for k=2, the bound 2/3 is not tight, so maybe me not finding a counter-example means very little.

March 3, 2016 at 1:55 am

I want to try and prove that this is actually equivalent to FUNC (for ). In order to harness the lattice-theoretic formulation of FUNC, I’d like to rephrase the problem in intersection-closed terms, and also strengthen it a bit.

Conjecture:: let satisfy and such that for any distinct , none of which is , also . Then either there is an element of abundance at most 1/2, or (after separating points).Since FUNC is clearly a special case of this, I only need to prove that FUNC implies this in order to show the equivalence. In the following, I call a set in “nontrivial” if it is neither empty nor equal to .

Case 1: Suppose that when considered as a poset ordered under inclusion, is a lattice. Then the lattice-theoretic formulation of FUNC gives us a join-irreducible whose upset has abundance at most 1/2. Following the argument in the survey (p.5/6), choose that is not contained in any proper subset of that is in . The argument for the existence of such an element is the same, using the assumption that is a lattice. The other part, which shows the abundance of to be at most 1/2, is trickier, since it relies on . The assumption of 3-intersection-closure guarantees this as soon as a third nontrivial with exists, since then we obtain . What we want to show is that implies . So let be minimal with . Then if there is some nontrivial distinct from and , we get which also contains , and is therefore equal to by minimality. This implies , and hence by the definition of .The remaining subcase is when the only sets in that contain are , and . Then is still rare as soon as , so we assume . Going through all posets on at most 5 elements by hand, the only possible poset structure in which a rare element does not trivially exist is for M3. Denoting the associated sets by , we therefore have and , so that every element occurs in one or two nontrivial sets. If some element occurs in one, then it is rare, so that we may assume every element to occur in exactly two. After separating points, this results in , as was to be shown.

I roughly know how to go about Case 2, but I’ll need to work out the details before posting it.

March 3, 2016 at 2:09 am

Correction: the exceptional case should be . I forgot to translate this from union-closed to intersection-closed.

March 3, 2016 at 8:20 am

Interesting — I’d tried to find a counterexample by random methods, and failed, which was a little surprising given that it looks like a significant weakening of the condition on the family. Your arguments suggest that it is not such a significant weakening after all. But it would be nice to get to the bottom of it. Somehow it seems one can ignore sets that are a union of only two generators, without violating FUNC.

March 3, 2016 at 8:36 am

My idea was “Where does the factor 1/2 come from?” I thought maybe it has to do with the fact that unions of two sets are considered, and maybe it is smaller (1/3 or 1/k in general) if we weaken this and consider only unions of three (or k) different sets. But me too did not find a 3-union-closed example with mrf smaller than 1/2.

March 3, 2016 at 2:04 pm

Mathematica says that this conjecture is correct for all 3-union-closed set systems on a ground set of size at most 4.

March 3, 2016 at 7:44 am |

I haven’t been able to complete the argument yet, but I can explain what I’ve got.

Case 2 (general): Consider the Dedekind-MacNeille completion of the poset . Its elements are the upper sets such that . I claim that there are exactly two kinds:a) The principal upsets for . I will call these

honest.b) Those of the form , where are coatoms which have the property that if , then equals one of , , or . Let me call these upsets

spurious.Indeed it’s easy to check that both of these kinds of upsets satisfy . For the converse, we need to use 3-intersection-closure: if contains more than 3 nontrivial sets, then it also contains the intersection of these sets (by virtue of being meet-closed, whenever meets exist). Since is an upset, it is therefore either principal or of the form as in b). The additional condition is a rephrasing of .

To go from here, one can e.g. try to bound the number of spurious elements from above, thereby showing that going from to won’t change abundances by too much. A more careful analysis resulting in the desired minimal abundance of at most 1/2 would probably require some kind of case analysis again.

Alternatively, one could try induction on the number of spurious elements: identifying the and that form a spurious element results in a poset whose Dedekind-MacNeille completion has one spurious element less, but whose abundances are very similar to those of the original . However, this is again not entirely straightforward.

March 3, 2016 at 8:00 am

Sorry, the previous comment (and this one) belong to the thread started by Markus Sigg.

As a general remark, let me add that the lattice-theoretic formulation of FUNC is genuinely useful for this kind of stuff. To wit, the result of my Case 1 applies also in certain cases in which is not intersection-closed, but nevertheless turns out to be a lattice. This is what happens e.g. in the exceptional case . So the reason for using the lattice formulation is not only that it seems to provide an adequate language, but also that getting rid of the ground set results in greater flexibility for working with .

March 5, 2016 at 8:44 pm |

There’s a new paper on the arXiv which proposes a strengthening reminiscent of TIm’s average overlap density conjecture. I will try to give a quick summary of the main idea.

Looking for averaging arguments to prove FUNC as we’ve done before, let’s try to put more weight on elements with high abundance. For example, we can choose a parameter and simply define the probability of to be proportional to , so that the average abundance is . As , this distribution converges to the uniform distribution on elements of maximal abundance. Hence FUNC is equivalent to the existence of so that .

There’s a neat way to rewrite this as follows by interchanging sums: . Therefore the inequality above simply states that the average size of the intersection of uniformly chosen sets in is at least half of the average size of the intersection of uniformly chosen sets in .

For , this states that the uniformly averaged abundance is at least 1/2, which we know to be false. For , the inequality is . This is a strengthening of FUNC that does not have any known counterexamples. (At least according to the paper, and I’ve also just checked this by computer on some of our running examples.) Moreover, there are several nice ways of rewriting it further, such as this one: .

I figured that I’d mention this strengthening in case that somebody here hasn’t seen the paper but might know how to look for a counterexample. Since I personally find the lattice formulation to be the one which formalizes the relevant structures most accurately, I’ll keep thinking along these lines.

March 7, 2016 at 2:11 pm

The Duffus Sands example (p. 22 survey)

March 7, 2016 at 2:43 pm

Oops. The last comment was not meant to be sent before my computations have finished. They are still running. I expect to be hit for .

March 7, 2016 at 2:57 pm

For we have 272 elements in on a 24 element ground set. For I get .

March 9, 2016 at 4:39 pm

I suppose that same example would also defeat the conjecture for fixed ? It might become computationally infeasible very quickly, but maybe a general proof is possible.

March 29, 2016 at 2:24 pm

I’m interested in seeing examples of families in which the ratio becomes arbitrarily small. Any ideas?

Let me briefly explain why I think that the Duffus-Sands example doesn’t provide this. Recall that it consists of a power set of size plus a totally ordered tail of size . This tail is exponentially small relative to the power set. We therefore should have , since a random family member belongs to the power set most of the time and then contributes an average size of , while with a probability of about it belongs to the tail and then contribute an average size of plus lower-order terms. On the other hand, we will get , corresponding to only the contribution of the power set: the exponential tail can make a significant contribution only if

bothand are in there, but this has a probability of roughly , which is too small to be relevant. In conclusion, I would expect , which converges to 1/2 as .March 29, 2016 at 3:12 pm

Sorry, that should have been in the first paragraph.

And I forgot to mention that I’m only interested in families that separate points. (I usually think in terms of lattices, where this is automatic.)

March 5, 2016 at 10:23 pm |

As it turns out, the MathOverflow question linked to in the main post comes surprisingly close to a proof of FUNC conditional on the finite lattice representation problem.

Proposition: Assuming a positive answer to the finite lattice representation problem, FUNC holds if and only if the following is true: for every finite group and subgroup , there is another subgroup that contains which is included in at most half of the subgroups that contain .Proof sketch: By a result of Pálfy and Pudlák (see link above), a positive answer to the finite lattice representation problem implies that every finite lattice is isomorphic to the lattice of subgroups of some finite group that are above some subgroup . Hence what looks like a special case of FUNC is actually general. QED.So, concerning further strategy I would like to propose this: we try to find a conditional proof of FUNC by looking at subgroup lattices of finite groups in more detail. Building on what has been done on MO, this seems reasonably concrete to do and it should be fun to learn some more group theory along the way. I’m hoping that it’s still easy enough to be doable. But I might be overly optimistic as usual😉

March 5, 2016 at 10:30 pm

Now that I’m reading the MathOverflow discussion in detail, I’m noticing that my proposal is basically what the OP there was saying. Sorry about being too overzealous with posting here… I’ll try to do my homework from now on.

June 14, 2016 at 3:18 pm

In the meantime, the participants of the MathOverflow discussion have written a joint paper establishing FUNC for subgroup lattices of finite groups. Let me try to summarize their argument here.

The proof is based on establishing FUNC for a class of lattices which includes many other classes for which FUNC has been proven as special cases. An element is

left-modularif in implies . There’s a short and sweet argument showing that if has elements such that is left-modular and , then or has abundance at most 1/2, so that FUNC holds. (The authors forgot to state the assumption , but told me that this will be fixed in an upcoming revision.)The main group-theoretical ingredient is very simple to state, but very hard to prove: every nonabelian finite simple group is generated by an element of order 2 and an element of prime order. There seems to be a long history in group theory of establishing special cases of this result, while the last few cases have been finished off only very recently by King. This result implies, via a bit of elementary group theory, that subgroup lattices fall into the class of lattices described above.

March 7, 2016 at 9:59 am |

In a comment about FUNC4, Thomas Bloom noted that if $F$ is a union-closed family with $m$ members, then Frankl’s conjecture “trivially implies that, for every $k\leq \log_2 m$, there exists some $k$-set which has abundancy at least $1/2^k$.” (In other words, there is a $k$-set contained in at least $m/2^k$ members of $F$.)

He added: “Note that the other extremal case, when $k=\log_2m$, is trivially true.”

If $k$ is not equal to $\log_2m$, the “other extremal case” seems less trivial to me. I posted an inelegant proof (without use of Frankl’s conjecture, of course) on Mathoverflow :

http://mathoverflow.net/questions/232757/literature-about-a-property-of-union-closed-families/232988#232988

and Fedor Petrov posted an elegant one. I also indicated a statement that seems likely to me and that would implie let us say the first half of the second extremal case in Thomas Bloom’s induction. I don’t know if this can interest specialists.

March 7, 2016 at 11:38 am |

A slight recasting of the Horn-clause representation gives us a duality between families over a ground set , on the one hand, and functions , on the other. This duality also gives a context to the ‘subgroups’ case of FUNC. Maybe it could lead to an alternative formulation of the conjecture.

I’ll focus on intersection-closed families here, since it seems easier to understand in those terms.

If is any function , let be the family of subsets such that for all , . In the other direction, if is a family of sets, let be the function taking a set to the intersection of all such that .

Call a function ‘beta-closed’ if:

for all ; and

for all .

For two functions , say if for all .

Let the ‘beta-closure’ of be the minimal beta-closed function .

(I’m making up terminology as I don’t know if there’s an existing term for such functions.)

I think we then have the following facts:

and ;

is intersection-closed for any function ;

is beta-closed for any family ;

is the intersection-closure of ;

is the beta-closure of ;

Is there a good way to translate FUNC to a statement about beta-closed functions?

Note that we can easily express the ‘subgroups’ case of FUNC in this setting: if is a group, let be the subgroup generated by . Then is the family of all subgroups of .

March 8, 2016 at 11:09 pm

Maybe it’s worth saying that such functions are usually called closure operators, and it is well-known that these correspond to intersection-closed families; see the section “Closed sets” in the Wikipedia article. The properties that you mention are arguably due to and forming a Galois connection between set families and functions, in the sense that if and only if . (To see this, note that both of these statements simply say that must imply for .)

I haven’t found a good way to translate FUNC to a statement about closure operators, where I interpret “good” as meaning that it doesn’t just replace one term for another, but also provides a fresh perspective.

Oh, could you expand a bit on what relation you see between this and the Horn clause picture?

March 9, 2016 at 8:56 am

Ah, thanks.

To explain the connection with Horn clauses, I’ll use the shorthand notation from FUNC3, writing as shorthand for the condition . Translating the above from the intersection-closed to the union-closed setting, the mapping from a family to a closure operator becomes . In other words, is the set of such that .

March 8, 2016 at 12:11 pm |

I haven’t quite worked out how this relates to some of the discussion above about moments, but here is a simple observation that suggests that insisting that set systems separate points doesn’t really make a fundamental difference to what kinds of arguments work and what don’t. (I won’t try to make that claim precise.) I have a feeling I may have said this already, in which case apologies for the accidental repetition.

Let and be positive integers with much less than and much less than . Build a union-closed family on as follows: it consists of all subsets of together with all subsets of of cardinality at least .

This set system contains sets. If then it belongs to sets, while if then it belongs to sets. Since is much less than , the abundance of each is roughly 1/2 and the abundance of each is roughly 0. Therefore, since is much less than , the average abundance is roughly 0, and this will be true of higher moments as well.

In other words, the same sort of example that kills off naive averaging arguments kills off the same naive averaging arguments even if one insists on a set system that separates points.

March 9, 2016 at 10:39 am |

It turns out that the Horn clause formulation for

intersection-closedfamilies is actually well-known in the literature on formal concept analysis and related areas; I’ve learnt about this from reading this paper, where it is essentially shown that Tim’s canonical system of Horn clauses based on the minimal transversals of coincides with several other definitions of canonical systems that had been proposed previously. The authors quote a 1992 paper of Dechter and Pearl, who state that the equivalence between Horn functions and families of subsets closed by intersection “appears to be a general folklore among many researchers, although we could not trace its precise origin”.Since it’s been getting a bit more difficult to keep track of the entire discussion so far, I’ve been expanding the wiki a bit and am currently working on a page describing the Horn clause formulation. [Not posting the link in order not to trigger the spam filter. You can get there from the Polymath11 main page.]

March 18, 2016 at 10:06 am |

Here’s a quick summary of what I’ve been thinking about in terms of the lattice formulation. A decent part of this is on the wiki. If anyone wants to see more details on anything and/or join the fun, I’d be happy to elaborate and discuss things.

1) It is sufficient to consider atomistic lattices only. In terms of the standard formulation in terms of union-closed families, this means that we can always assume that all sets of the form belong to . This answers a question that had come up at FUNC3.

2) While I still don’t know whether weighted FUNC follows from FUNC, there now is a proof that weighted FUNC with every weight a power of 2 follows from Poonen’s strong FUNC, i.e. the assertion that every union-closed family has an element of abundance strictly larger than 1/2 or is (isomorphic to) a power set.

3) Here’s another strengthening that may be of interest:

Poset FUNC:let be an arbitrary finite poset with $|\mathcal{P}|\geq 2$. Then contains a join-irreducible element of relative abundance .While this survives the basic sanity checks, there may still be relatively simple or small counterexamples. Also, it seems likely that other people who have thought about the lattice formulation have considered this as well, although I don’t think I’ve seen it mentioned anywhere.

4) I’ve been studying Wójcik’s proof of the best-known general abundance bound of , and from my perspective it is lattice-theoretic in nature. In fact, part of what Wójcik does is to identify a large subsemilattice in that decomposes naturally as a fibre bundle. The challenge here is to make this subsemilattice as large as possible relative to . So while I had proposed at FUNC3 to look for fibre bundle decompositions of itself and had to realize that these do not always exist, Wójcik has (possibly unknowingly) implemented a refinement of this idea that gives something interesting.

March 18, 2016 at 4:06 pm

I am interested in details (especially on 1) and 4)).

March 18, 2016 at 6:31 pm

Great! So here’s some more info on 1); I’ll write more about 4) tomorrow.

The proof of 1) in the lattice formulation is at the wiki page

that I had linked to above; but the proof translates easily into the

conventional picture and it is quite simple, so let me present it here.

I’m considering -FUNC for a constant as the

assertion that there always exists an element of abundance at least

; if you like, you can specialize to the case and

only consider standard FUNC.

Lemma: If there such that -FUNCholds when , then it holds in general.

Proof: To derive -FUNC for an arbitrary , consider the -fold product as in the main post of FUNC2. This lives on a ground setwhich consists of disjoint copies of , and the

different abundances of the elements are the same as those of the

original . Now notice that

grows exponentially while the size of the ground set grows only linearly

in , so that we can make the quotient of these cardinalities

arbitrarily small.

Proposition: If -FUNC holds for every which contains all sets , then it holds in general.Proof: Simply throwing in those sets creates a union-closed family , for which we assume a lower bound on maximal abundance of . Also, we can assume by the lemma. Therefore . Since was arbitrary, the claim follows.March 19, 2016 at 7:22 am

I’d appreciate it if somebody could go through the above argument to make sure that it’s ok. Sorry about the messy formatting, that wasn’t intended…

I forgot to mention that Poset FUNC should also assume to have a least element. Otherwise, taking a power set and removing the empty set results in a counterexample.

March 19, 2016 at 12:38 pm

The wiki now contains some details on 4). We can discuss anything that may be unclear.

Besides obtaining a better structural understanding of finite lattices, my goal in extracting these general statements from Wójcik’s proof is to try and improve on his bound of . Of course this is unlikely to be possible with his very techniques, since otherwise he would already have done so, but it’s still good to have these tools at hand and maybe we’ll figure out how to sharpen them.

March 21, 2016 at 12:30 pm

1) is very nice. Ad 4) I have to do some homework concerning lattices. I willing to do that, since this formulation of the problem seems to be optimal to make it accessible to automated reasoning. This view of mine might be very, very naive, but one reason why at least I cannot post a lot on this problem is that whatever I do I get a lot of “boring” cases without many ideas. For others that might be similar. Why not turn this property against the problem?

In any case, I share your opinion on Woicik’s proof.

March 21, 2016 at 3:02 pm

Sounds good! I share your general feeling about the problem: it’s very hard to come up with good ideas that don’t pretty soon run into a wall…

March 18, 2016 at 10:51 am |

The rate of comments has slowed down a lot recently: Tobias’s comment is the first for a few days. So I think we should decide what to do now. Here are the options as I see them.

1. We decide that the project has run out of steam, devote some effort to writing a nice document about the various different ideas that have been discussed, post it to the arXiv, and declare the project closed.

2. We do the above, up to but not including the last two steps, and then see whether the writing of the document stimulates us to continue the discussion further (as it easily might, as writing a document tends to draw attention to lots of loose ends).

3. We declare that Polymath11 is closed, but start a new and more private project to continue working on FUNC, with anybody who wishes to participate and can promise at least some commitment to participating (at a level similar to the level of commitment that one would have to a conventional mathematical collaboration).

4. We just continue as at present and hope that the rate of comments picks up.

The fourth option isn’t necessarily hopeless: part of the reason I have not commented much recently is that I have been busy with a number of other things, and it may be that I could get the conversation going again if I set aside some time to write a new post and make regular contributions to the ensuing discussion.

Anyhow, thoughts, particularly from people who have made a lot of comments on Polymath11, would be very welcome.

The only thing I want to avoid is drifting without making a clear decision about what our policy is. That has happened in the past, and I think it is better to finish projects in a clean way if they are going to finish.

March 18, 2016 at 11:01 am

I think it does not hurt to keep this open for a few more weeks or months.

March 18, 2016 at 4:43 pm

I wholeheartedly agree with Tim’s last sentence on finishing projects in a clean way. I’m personally open to either of those four options, and also to Markus’s suggestion of leaving this open for a bit longer. I’m pretty sure that if we attempt 1., then I couldn’t help myself thinking further about the problem. But of course I could restrain myself to doing so in private if you guys prefer to finish things up.

Currently my gut feeling is that of having obtained a decent amount of understanding of the problem comparable to what’s in recent literature. There are many further avenues to explore, which I’m eager to do, and this may result in something new. But I don’t have any lead that would hold the promise of a major breakthrough.

March 18, 2016 at 4:26 pm |

Closing a polymath project before it is really dead might have a negative impact on future projects.

March 18, 2016 at 8:52 pm |

Based on the above comments, I think the best thing is not to do anything for now. I won’t be able to contribute much between now and about April 10th, but at that point I will try to catch up with the current lines of thought (as they are then), write a new post, and make regular contributions for a while after that. There are still questions that I feel I could think about a lot harder than I have so far, so I think I will be able to come up with things to say.

The main reason for not wanting a project to drift on for too long in an inactive state is that it leaves people who want to work on the problem in future in an awkward position. But if at some point we mark the end of a project by writing a preprint, which might even be publishable, then people have something to refer to and there is no awkwardness about assigning credit to any ideas that might have arisen in the project.

March 19, 2016 at 7:12 pm

Let me mention the situation regarding polymath 10 which is running on my blog. (In a slower paste compared to polymath11.) I hope to come back to it soon, and, of course, further comments on post 4 are most welcome. (I hope to be able to report on some computer experimentation regarding the various conjectures and ideas.) In April I am planning to launch a fifth post.

Overall I consider one year as a good time span for that project, but I agree that a clear end-of-project deceleration and some effort to organize the results could be useful. We can even decide that as a default a polymath project terminates one year after it starts.

Of course, I regard it perfectly ok/welcome if people work on the problem in parallel to the polymath, and even if they pursue some avenues discussed there on their own.

March 19, 2016 at 9:54 pm

Thank you for sharing that. I think that for FUNC a year may be a bit too long, unless things pick up again. But I now think that the best option for FUNC is probably option 2: that is, write up the discussion so far but in the hope that it stimulates further progress. And then if it doesn’t, it will be easy to close the project and say that the document is its write-up.

March 20, 2016 at 8:03 am |

I can now formulate the problem of fnding a fibre bundle inside some union-closed family also in conventional language (without lattices). The idea of finding a bundle inside is to exploit this structure in order to derive lower bounds on maximal abundances. This is part of what Wójcik did in deriving the best-known unconditional bound of . Obtaining good unconditional bounds seems to require identifying some kind of structure within , and this is one way to do so. I wonder if one can use it to improve on Wójcik’s result.

For now, let me just present a special case of the question which recovers e.g. the fibre bundle decomposition of Thomas Bloom‘s example. Namely, how does one need to choose such that for as many as possible? And for an optimal choice of , what is the number of ‘s for which this holds?

In Thomas’s example, choosing means that for

every, so that the entire decomposes as a fibre bundle.[PS: if anyone feels that I’m cluttering the discussion too much, please let me know! Then I’ll comment less and put things on the wiki instead.]

March 21, 2016 at 3:07 pm |

To try and restart the discussion, let me present an idea that doesn’t rely on lattice theory, but rather has a dynamical systems and automata theory flavour. Let be a union-closed family, and let’s try to prove FUNC by induction on . So we need to show that there exists some with .

The base case is trivial, so let’s focus on the induction step. By the induction assumption, for every we have some such that . Similarly, we have such that . We can now consider these two maps as a finite automaton on the input alphabet . One can easily complete the induction step in at least the following cases:

1) There is such that . Then we have , and we are done.

2) There is such that . Putting then results in , so that we have .

Now the questions are: What’s an example of a small automaton for which neither of these conditions holds? (Note that we also must have for all .) Are there other cases in which the induction step can be completed easily?

Of course, to complete the induction step in general one will most likely have to use union-closure in a stronger sense. In what way could this possibly come in? Can we combine this idea with Tom Eccles’ approach?

March 21, 2016 at 3:10 pm

I forgot to say that the induction step in case 2) uses Miroslav’s argument to conclude FUNC from .

March 21, 2016 at 5:02 pm

I would like to mention that the “local averaging argument”, that I used earlier for the pairs, in more general context can be also useful. Namely, given a union-closed family $\latex \mathcal A$ over the ground set X, we can try to prove the existence of an abundant element. We have seen earlier the situations when it is “easier” to identify first a larger set $\latex A \subset X$ for which we are able to prove existence of an abundant vertex in it. If we define an “excess” of a set

$\latex A \subset X$ by

$\latex e(A)=\sum_{x \in A} |\mathxal A_x|-|\mathcal A_{\bar x}|$, then FUNC for $\latex \mathcal A$ is equivalent to the existence of a nonempty set $\latex A \subset X$ with $\latex e(A) \geq 0$ (with $\latex e(A) > -|A|$ would be also enough).

While this is clearly equivalent question, I demonstrated that sometimes it may be “more natural” to prove this for larger set A (a pair, for example) and not for a singleton.

March 22, 2016 at 9:22 am

If I understand correctly, this kind of local averaging has also been used by Poonen in his study of set configurations that imply FUNC (in particular p.5/6), so it seems like a useful tool to have at hand.

Let me describe what I was trying to do yesterday a bit differently. Construct a directed graph on the vertex set with edge labels ‘blue’ and ‘red’ as follows. If , then put a blue edge , which stands for being abundant in . If , then put a red edge , which stands for being abundant in . The induction assumption guarantees that every vertex has at least one outgoing edge of each colour. It may help to think of this directed graph as the set of transition rules of a finite automaton (nondeterministic and with binary input).

My idea was to find subgraph configurations that would guarantee FUNC, such as a blue edge parallel to a red edge (case 1) or a blue edge antiparallel to a blue edge (case 2). But so far I haven’t been able to find any configuration of at least three vertices and without (anti-)parallel edges from which FUNC would follow. So it may well be that the whole idea is totally naive and kind of trivial; I’m not sure.

March 22, 2016 at 12:50 pm

I have used the term “local averaging” to stress that we may need to consider averaging over any subset A of a ground set X (rather than over the whole ground set X.)

Given a union closed family over a ground set X, and keeping a set fixed, we can partition sets in according to their traces in A. For any we consider sets

with . To be consistent with previously used notation this subfamily can be denoted .

Now it is easy to express , and using this partition; for example,

$$

An example, when , was what I used earlier,

and then $$.

Indeed, sometimes it is easier to prove that on the way to prove that (at least) one of x, y is abundant; this is how this local averaging can help even in higher generality.

March 22, 2016 at 1:18 pm

Is that just a further elaboration or specifically a reply to my comment?

(Maybe you had the impression that I had misunderstood something. If this is the case, then I might have expressed myself badly. Was anything unclear about what I said and I should elaborate? These things are hard to gauge online, which is why I’m asking explicitly.)

March 22, 2016 at 1:35 pm |

I haven’t started to comment on you last attempt (I am sorry for that), but I wanted (and still will continue) to put few more (related) ideas that haven’t been considered enough (in my opinion), to prevent this project closure prematurely if we see new avenues of research that deserve our attention.

March 22, 2016 at 1:52 pm

No need to be sorry, I just wanted to make sure that we’re not miscommunicating. Looking forward to see what you have in mind!

March 23, 2016 at 10:16 am

Concerning local averaging. Tobias’s inequality implies FUNC for the extreme cases, i.e. the existence of either small or large minmal all-intersecting sets.

The known counterexamples to averaging have either a small all-intersecting set (Duffus-Sands) or a large all-intersecting set (Hungarian familiy). Thus, in the region where we know that averaging does not yield FUNC we get FUNC from the inequality.

I have not yet thought very much about it, but the following question seems to be natural: Can we get an averaging argument over medium sized minimal all-intersecting sets to work?

March 23, 2016 at 4:15 pm

That’s an interesting observation. The general idea of distinguishing various regimes seems to be a good one: for example, it was applied successfully to FUNC in this impressive paper.

On the other hand, my inequality can at most establish weak FUNC, since it leads to an abundance bound of 1/2 only in the trivial cases where some minimal all-intersecting set has size at most 2 or exactly . But we can still try to use your idea to attack weak FUNC. For doing this, I suspect that an averaging argument can also establish weak FUNC when there is a large minimal all-intersecting set: the Hungarian family has average abundance close to 1/2, and in general a family in which all minimal all-intersecting set are large should be close to a power set in some sense. So if your hypothesis is correct, then the regime in which averaging does not always establish weak FUNC is probably when there is a small all-intersecting set. And in this case, my inequality is only a negligible improvement over Knill’s original bound, so we might as well use the latter (simpler) one.

In summary, it seems interesting to distinguish two regimes:

1) There is a small all-intersecting set (minimal transversal), say of cardinality . Then Knill’s bound establishes a maximal abundance of at least $\frac{3(n-1)}{\log_2 n}$.

2) Suppose that every all-intersecting set has cardinality . Does this imply an average abundance of at least ?

A positive answer to 2) would yield a slight improvement over Wójcik’s best-known bound to . Of course I’ve chosen the numbers precisely such that this comes out, and the exact numbers should be adapted to whatever we can achieve. Moreover, by my earlier observations we can assume wlog that contains all sets , which also removes the ambiguity of duplicating elements and forces to be separating.

March 23, 2016 at 6:08 pm

Actually it’s not even true that the Duffus-Sands example has a small all-intersecting set: the

uniqueminimal all-intersecting set is , with cardinality . This is definitely not small relative to . Hence Knill’s argument does not lead to any good bound on the maximal abundance, but my inequality surprisingly does give the desired as . All this has to do with the fact that the Duffus-Sands example is very close to a power set: you only need to remove an exponentially small number of members to arrive at the power set .I’m not sure yet what this implies for averaging. One encouraging (but probably unrelated) fact is that the paper that I linked to above relies on averaging throughout.

March 24, 2016 at 7:17 am |

You are of course right with Duffus-Sands having a large minimal all intersecting set and yes weak FUNC should be the target.

I still think that averaging might work in the correct regime and will try to post some maths showing that later today.

March 24, 2016 at 7:17 am

My last comment was meant as a replay to Tobias.

March 24, 2016 at 11:36 am |

I tend to think about a potential induction proof in a way that I would like to understand many properties of a “minimal counterexample” (we can think of more natural partial orders,

the size is just one of options), and then we want to show, to get a contradiction, that given such a minimal counterexample we are always able to find a smaller one.

So consider our “minimal counterexample” with a ground set X, consider a minimal hitting set (transversal)

. We certainly can find a subfamily of whose traces in S reproduces the power set . If the estimate would be our only use of the fact that we deal with “union-closed families”, then we can hardly improve the Knill’s result. But the fact that the traces of in S form the power set suggests that “removing” from should result in a smaller counterexample; the contradiction. Of course, this is not so simple, as we could get into the families that are not “union-closed”. Alternatively, one can think about weighted (and even weaker) versions of FUNC in this “minimal contradiction” scenario; then try to get weight 0 to sets in (but be carefull what other weights need to be modified then as well), and look if we can find still a smaller counterexample this way.

March 24, 2016 at 6:38 pm |

To outline the above mentioned idea let me first sketch a lattice–free proof of Tobias’s inequality to keep this coment somewhat self–contained.

Let be a minimal subset of such that any non–empty set has non–empty intersection with . Then

Proof. Since is minimal there is for each a set with . By union–closedness of we obtain that is equal to the powerset of . Since the frequencies of all elements in the powerset are we get the first part. There are still sets left and since they are non–empty and since has non–empty intersection with them we can bound the rest of the sum from below by .

As already noted by Tobias, this bound implies

Let now –FUNC denote FUNC with 1/2 replaced by some .

Whenever there is a minimal all-intersecting set with or , then satisfies –FUNC.

Proof. The case is easy. For we get that and thus . For we get

Provided the above is correct we can apply it to e.g. Duffus–Sands. Here we have and . Duffus–Sands then satisfies –Func. That is –FUNC, a result that cannot be achieved by averaging.

If we now could get a result in the spirit of Reimer (cf. Thm.21 survey) for the case that all minimal all–intersecting sets are smaller than , e.g. by a slick up–compression argument, we might make progress on –FUNC.

This is getting long and it is getting late. Let me conclude: modulo some technical hiccups I made, the idea is as follows. In the region where we know averaging to fail we prove –FUNC by Tobias's bound. In the other region we try to use averaging to prove –FUNC.

March 25, 2016 at 10:48 am

After pondering this for a while, I think that this particular approach won’t work, for the following reasons:

1) We already know that every minimal all-intersecting set has cardinality at most (since all possible traces must occur). Hence assuming that every all-intersecting set has cardinality at most gives us an assumption that’s better only by an additive constant.

2) Here are some general observations on averaging that are easiest to explain in the lattice formulation. Naive averaging samples from the uniform distribution over all join-irreducibles. In this case, the average abundance is very sensitive to small modifications of the lattice that add or remove new join-irreducibles. More concretely, by gluing in a small number of new join-irreducibles at the bottom, one can make the average abundance increase arbitrarily. This is what happens in the Duffus-Sands example, where one glues a total order of size to the bottom of a power set, and in Tim’s example who essentially glues a copy of the lattice also to the bottom of a power set. ( is the lattice that you get when you take a top and a bottom element and throw in mutually incomparable elements in between.)

Of course, there are many other ways in which one could alter the average abundance while introducing only a small number of elements by adding new join-irreducibles. My conclusion is that there is no regime, specified only by some relation between the size of all-intersecting sets and , in which averaging could work in all cases.

This is why uniform averaging looks like too crude a tool. We might have more luck by doing a more clever sort of averaging. Certainly Miroslav’s local averaging can perform better, since it’s precisely what gives us Knill’s bound when applied to an all-intersecting set. However, it’s hard to find a suitable set with respect to which we should apply local averaging. How about choosing it at random as well, say uniformly chosen over all nonempty ? This is indeed not too bad, since it’s exactly Tim’s “average overlap density” proposal (see the main posts to FUNC1 and FUNC2).

Now recall that Tim had found an example where the average overlap density was below 1/2. I believe that one can even apply his reasoning to Thomas Bloom’s family of examples to obtain arbitrarily small average overlap density. However, these counterexamples are heavily based on duplicating elements, and so far there is no counterexample that separates points (as far as I know). Moreover, assuming separation of points is actually a very natural condition from the lattice-theoretic perspective: duplicating elements does not affect the lattice structure of , and in particular new duplicated elements of the ground set do not result in new join-irreducibles in the lattice. So if one formulates an average overlap density conjecture in terms of lattices, the problem of duplication of points will not even come up. But since most people are more comfortable with the set-based formulation, let me propose a revised average overlap density conjecture (implying weak FUNC) like this:

Conjecture:There is such that if a union-closed family contains all sets of the form , then has an average overlap density of at least .March 25, 2016 at 7:47 pm

Here’s an argument which suggests that the conjecture is most likely false, together with a general lesson on averaging arguments. I’m going to gloss over some details, hoping that the principal thrust of the idea is correct.

Suppose that the conjecture holds for a certain . Then let’s apply it to , the -fold product of with itself for some integer . In this new family, the average overlap density is the expectation value of

where these variables are iid copies of the original and . By the law of large numbers, this should converge to , although I haven’t worked this out rigorously. This is an expression that we’ve seen before. As Uwe’s computation revealed, this expression is less than 1/2 for the Duffus-Sands example with parameter . Hence a suitably large power of the Duffus-Sands example should also show that my conjecture does not hold with . Since it’s very likely that can get arbitrarily small, this probably refutes my conjecture completely.

The general lesson is that a good averaging inequality should be well-behaved with respect to products, which the average overlap density inequality apparently is not. In contrast, the conjectural Duffus-Sands inequality, namely Eq. (2) in their paper “An inequality for the sizes of prime filters of finite distributive lattices”, is nicely stable under products.

March 29, 2016 at 6:13 pm |

On this Mathoverflow page :

http://mathoverflow.net/questions/234759/frankls-conjecture-and-oeis-sequence-a188163

I suggested a link between Frankl’s conjecture and Oeis sequence A188163.

But i’s only a guess on a rather small basis.

March 29, 2016 at 6:41 pm

This looks a lot like the discussion in Section 8 of the survey. If this is what you’re after, then it seems to be quite a good guess, but nevertheless one that becomes wrong eventually.

March 29, 2016 at 8:35 pm |

Thanks for the answer, but I don’t understand it. What is Section 8 of the survey ? And do you mean that the relation f(c) = A188163(c) (in my notations) is false ? I’m sorry if I am importunate.

March 30, 2016 at 4:00 pm

Judging by the comment thread over at MathOverflow, Panurge seems to have answered their own questions already, but I’ve also posted a more detailed answer there.

March 31, 2016 at 3:29 pm |

I wonder what else one can do with the observation that in order to prove (weak) FUNC for a union-closed family , it’s enough to prove it for a power for some . For example, the law of large numbers now implies that most members of have the same cardinality. Could this be useful in some way?

Also, suppose that we do this in the graph formulation of FUNC. Then the observation is that instead of proving FUNC for a bipartite graph , it’s enough to prove it for disconnected copies of . Could it then help to apply results like Szemerédi’s regularity lemma?

May 5, 2016 at 5:26 pm

To get going with the idea of applying the regularity lemma, we could start by tackling an easier case first: we could consider the graph formulation of FUNC for the case of a pseudorandom graph, and try to prove weak FUNC in this case by “derandomizing” the arguments of Bruhn and Schaudt which show that FUNC almost holds for almost all random bipartite graphs. It seems that there are results (e.g. by Thomason) which go along the lines of stating that the number of induced subgraphs of a certain type behaves roughly like the expected number in a random graph with the corresponding edge probability. Is there any hope that applying this kind of thing would let us prove weak FUNC for pseudorandom graphs? (Of course, I really mean -pseudorandom, and the constant in weak FUNC will depend on .)

In general, the regularity lemma decomposes a graph into a number of clusters, such that the edges between most pairs of clusters are pseudorandom. Does anyone see how one could deal with this case? Or is there some reason for why applying the regularity lemma in this way is bound to fail? I’m hoping that somebody with some experience in applying the regularity lemma will be able to weigh in.

May 7, 2016 at 8:58 pm

Here’s why any potential derandomization result is unlikely to combine well with the regularity lemma.

Suppose that we successfully derandomize the arguments of Bruhn and Schaudt and establish weak FUNC for pseudorandom graphs. In particular, this would imply that uniform averaging is enough for pseudorandom graphs. Now it seems likely that if one managed to combine this with the regularity lemma, then one would end up showing that the average abundance over one the clusters is lower bounded by a constant. Since the number of clusters is bounded, this would mean that local averaging over a set whose cardinality is at least a constant fraction of the size of the ground set can establish weak FUNC (for some fixed constant). However, David Ellis’s example shows that this is not the case, because the fraction of elements with very small abundance can be made arbitrarily large.

April 12, 2016 at 4:20 pm |

Here is a rather nice counterterexample to the ‘average overlap density conjecture’ which gives arbitrarily small average overlap density. Let such that , and divides . Let . Partition the set into ‘blocks’ , with for all . For each block , choose a set such that and . Now let be the union-closed family on ground-set which is generated by .

Clearly, every set in contains at least one block. Now let be a uniform random set in . The number of sets in containing at least two blocks is at most , and the number of sets in containing exactly one block is , so crudely, the probability that contains at least two blocks is at most

Now, given that contains exactly one block, the average abundance of a uniform random element of is at most

the first term coming from the elements of , and the second term coming from the elements of , where is the unique block contained in .

Since the probability that a uniform random contains at least two blocks is , it follows that the average abundance of a uniform random element of a uniform random is also

Taking and to be sufficiently large shows that the average overlap density can be arbitrarily small.

Slightly less formally, what is going on here is that because , a uniform random element of a uniform random is very unlikely to lie in . On the other hand, because , most sets in contain just one block, so the probability that a uniform random element of a uniform random lies in an (independent) uniform random set is approximately the probability that two independent uniform random blocks coincide, which is .

Note that any element of has abundance at least $1/2$. However, when one chooses a uniform random element of a uniform random set, one is very unlikely to choose an element of .

It is easy to convert this into an example which separates the points of , e.g. by adding into all sets of the form , for , and adding in the assumption that , or e.g. by adapting Tim’s construction in his March 8th post above.

April 17, 2016 at 8:11 pm

This looks interesting, but I’m being a bit dense. In the definition of , what is ? Is it ?

Assuming that this is what you meant, I get for the number of sets that contain exactly one block: there are blocks to choose from, and for each there block we can choose any nonempty subset of . If what you meant by is rather just without removing , then I get , for essentially the same reason Both of those expressions seem similar enough to yours that one of us has probably just miscalculated here.

On the other hand, what I don’t understand at all is your expression as an upper bound on the number of sets with at most two blocks. Naively speaking, it looks more like an estimate of the number of sets with

exactlytwo blocks. Could you elaborate a bit on how you count the sets with more than two blocks?April 20, 2016 at 11:03 pm |

My apologies; I should have been more careful. I meant to define . Let me re-do the estimates. The number of sets in containing exactly one block is . The number of sets in containing exactly two blocks is , so the probability that a uniform random contains exactly two blocks, is at most . Similarly, for any , the number of sets in containing exactly blocks is , so the probability that a uniform random contains exactly blocks, is at most . So by the union bound, the probability that a uniform random contains at least two blocks is at most

I hope this makes sense now.

April 23, 2016 at 5:17 pm

Thank you, that’s very nice indeed!

In lieu of having anything better to say, let me try to gain some structural understanding of your example. Before separating points, the example seems quite close to the -fold product of a much simpler union-closed family with itself, namely the family that consists only of a single block together with all subsets of . To arrive at your example, one then only needs to remove those sets that don’t contain

anyblock at all (i.e. most of them, by your reasoning). Maybe it could be interesting to apply this type of construction to other examples and/or iterate it?Alternatively, one can also understand your example as a fibre bundle (see FUNC2) using the power set as the base. The sets index the subsets of all blocks. Over every nonempty , the fibre is the union-closed family consisting of the power set of . Over the empty set, we can take or even , corresponding to whether you want your family to contain the empty set or not. The nontrivial bundle maps are given by intersecting a subset with $\bigcup_{i\not\in K’} T_i$.

I’ll need to think about more about what duplication of points and then separating them again—as in your final paragraph—looks like at the lattice level…

April 24, 2016 at 11:38 am |

[…] to launch a fifth post in May. Overall, I consider one year as a good time span for the project. Post 4 of Polymath11 is still active on Gowers’s blog, and I think that a fifth post is also in […]

April 30, 2016 at 4:50 pm |

Unfortuantly I’m an outsider of this field. Still I find it very interesting to follow the progress, which is very well presented at the summary posts. Do you plan to write a FUNC5 at some point? That would be wonderful!

May 5, 2016 at 12:33 pm |

The following tropical geometry point of view might be of interest. Associate to each $A \in \mathcal A$ its characteristic function $v_A \in \{0,1\}^n$ given by $(v_A)_i = 1$ iff $i \in A$. Then $\mathcal A_i = \{A \in \mathcal A: i \in A\}=\{v_A: v_A \in \{x_i>1/2\}$, i.e. the set of points in a certain half-space. Here $1/2$ could be replaced by any number $c \in (0,1)$ but is chosen to make the setup symmetric.

Now the condition that $\mathcal A$ is union closed translates to the fact that the $v_A$’s are closed under the tropical addition $(x+y)_i:=max(x_i,y_i)$.

This suggests the following variants of the problem:

* Study other halfspaces

* Allow not only $\{0,1\}$ as coordinates for the $v_A$.

May 7, 2016 at 5:08 pm

In this geometric formulation, let $$c$$ be the center of gravity of the set of points. Then the question asks if there is some coordinate $$c_i \geq 1/2$$.

This might be interesting for the following reason: Given a union-closed set $$mathcal A$ and a set $$B$$, then $$\{A \cup B: A \in \mathcal A}$$ is again a union-closed set (and each union-closed set arises in this way). What happens with the center of gravity in this construction?

May 7, 2016 at 8:41 pm

Actually, your family is the same as the upset of all member sets above .

One thing that can happen with your center of gravity in that construction is that some of its coordinates may decrease. For example, take to consist of all subsets of $\{0,\ldots,n\}$ that contain , together with all subsets that do not contain but have cardinality at least , and consider . Here, and are arbitrary parameters with .

I've previously wondered which centers of gravity (or equivalently, which distributions of abundances) can arise from union-closed families, say on a given ground set, but so far haven't really pursued this. Has anyone compiled some data about this?

June 12, 2016 at 9:08 pm |

Did someone heared about the triangular representation of an intersection closed finte set of party? I wonder if it’s “new”….

if you see an ordered set of finite subset as a matrix and that you close it for the intersection according to an order you will get another matrix, suppose now that you have the line $0$, the row $0$ and not two equal rows in the matrix then if you do the same thing with the transposed matrix, you will obtain a square matrix, this matrix is invertible (if you remove the $0$_line and the $0$-row, we had to put them to avoid the “adjonction of a line with only $1$ that would not give a square matrix anymore)

to be more precise…

lets write the definition of integer $p=\left\{0,1,…p-1\right\}$ we will identify $2^p$ and $\mathcal P(p)$ ,and say for any $a,b\in 2^p$ that $a<<b$ if $\Sigma_{k\in a}2^k\leq\Sigma_{k\in b}2^k$.(lexicographic order)

If $A\subset 2^p$ we will note $A^t$ (resp. $A_t$, the ordered set of lines of $A^t$ decreasing (resp. increasing) according to $<<$

then $A_t^t$ is lower triangular (we don' need $P$ and $Q$)

(to see this consider a maximum line in $A$ and note that it intersect a row with only one $1$, (this $1$ is on the maximum we chosed)

I don't know if $A\mapsto A^t$ and $A\mapsto A_t$ commute but they do up to permutations of lines and permutation of rows.

FUNC then become : there exist a generative line(and a generative row) which is $0$-abundant

Generators are also exactly the separtors : if $g$ is a générator line of $A$ (and only if it's a generator!!) then if you remove $g$ from $A$ you'll get a matrix with two equal rows,

It's not difficult to get this result, and there is one nice other result, with the same hypothesies on $A$ : if $x$ is a line of $A$ and $y$ is a row, and if the common scalar is $0$, then the number of $1$ that they carry togther is less than the size of the matrix.

Thus we get easily the fact that a contrexemple to FUNC : let's say all the rows that are generators are $1$ abundant, then, each line is $0$-abundant (because each line have a $0$ in common with a row which is a generator (remember there is the $0$ line in $A$ $0$ row, so there is no row constantly $1$)

There is a lot of thing to say and another quite nice property concerning triangularity, this property gives a generalisation of FUNC without any stability consideration, and with only "verctorial" considerations, but befor giving it I've got to be sure that I was clear, if I was not, I willl have to be more formal, and write simple things with heavy notations and a lot of definitions, that would look trivial, I realy wonder what is the best way to present this, (and I'm sorry for the bad english)

June 12, 2016 at 9:16 pm |

correction : in the 6§ “(we don’t need P and Q)” has to vanish!! it was not supposed to stay on the comment!, sorry!

June 13, 2016 at 3:40 am |

Tom Eccles asked here https://plus.google.com/116722954888557728588 if someone find a reason why FUNC shoud be true… I ask this to me, especialy when I note that every induction proove I made, with considering some exotics construction, failed, in such a way that those failures seems to have a forcing clever way to fail, and I wonder how much thinking about how any induction proove fails,will give an answer, a good reason to give for those failure, is that it’s not true… but maybe paradoxaly the proove if there is one, will come from the insolent resitance of it… I shoud wait to be more credible to say such curious and fantasists romantics statements, but I might never be (credible) so let’s take avantage of the fact that I did not have the occasion of being stupid and give now a “funny” and joky reason for Frankl conjecture to be …true :

if the minimum of aboudance is not 1/2, then what can it be?then it is $\alpha<1/2$(*), if $\alpha$ is arbitrary small (**) it's quite not intuitive, and if it's converging to a non 0 real (***) number, it's weird : who could be this number lol?

It's easy to see that if we ask$\emptyset\$ not to be element of famillies, then the limit is never reach, but I wonder if , forcing emptyset to be element of families implies that we reach the real in case (***), (if FUNC is true, it's true, because 1/2 is trivialy reached).

Why do I say (**) is not intuitive?

because I proved (and I'me sure it's a known result) that the smalest matrix whose line correspund to caractristic fonction of the set of generator of a family such that the maximum bondage is a very small $\alpha$ , would have the property that the transposed matrix would generate a dual family where every point is at least $1-\alpha$ abundant… so it's kind of difficult to admit, but why not?

That's been a couple of years I was thinking about this conjecture, and sometime, I told me, "instead of having some idees, you shoud maybe thing about why it shoud be true, and what's happening", but I never did it (lol)

June 22, 2016 at 9:36 pm |

I have to be more precise because it seems that I’ve not been readen ^^

0) preliminaries and main triangular property

let’s index matrices in $\mathbb N$ with sets $A$ and $B$ with NO ORDER. A classical matrix will then be obtain by giving bijections from $a:[1,|A]\cap \mathbb N|\to A$ and $b:[1,|B|]\cap\mathbb N\to B$

IN BOTH CASES we will note for any matrix $M$, $lin(M)$(resp.$row(M)$) the set of line of $M$ (resp. rows of $M$)

If $M$ is NO-ORDER-indexed we will note that $lin(M)$ (resp.$row(M)$) define a unique NO-ORDERED-indexed matrix, and we will say that $M$ is $line-separated$ ,(resp. $row-separated$)

we will say $separated$ when the matrix is both $line-separated$ and $row-separated$).

we note that $row(lin(M))=lin(row(M)):=M^*$ and if we note $A^*$ and $B^*$ the (non-ordered) sets of indexation of $M^*$, each line $l\in lin(M^*)$ is a element of $\mathbb Z_2^{A^*}$, which is a Boole ring, and we can canonically associate the product $\wedge$ in this ring with the intersection in $\mathcal P(A^*)$

The same can be said with rows, and we can considere what we will call the line-cloture (resp. row-cloture) of a NO-ORDERED-matrix $M$, it will be the $separated$ matrix $L(M)$ (resp. $R(M)$ such that $lin(L(M^*))$ (resp. $row(R(M))$) is closed for $\wedge$ and is the smalest set containing $lin(M^*)$ (resp.$row(M^*)$)

We can easyly see that $R$ and $C$ commute, and I will give a demonstration that if $M$ has the line full-$0$ and not the line full $1$, than $R(L(M))=L(R(M))$ is a NON-ORDERED square matrix, and that you can order the indexed set such that it is a triangular matrix (I will give lter a demonstration and more very interesting properties)

lets finish with terminology!

if we call $l(M)\subset lin(M)\subset L(M)$ the smalest separated NO-ORDRED matrix to have the property $L(l(M))=L(M)$ we will call $l(M)$ the set of Line Generators, the obvious definition handle for rows and we will call $r(M)$ the set of Row-Générators.

$a\in l(M)$ if and only if for any $x,y\in L(M)$, such that $x\ne a\ne y$ we have $x\wedge y\ne a$

another way to see $l(M)$ is that they are the elements $l$ of $L(M)$ such that $L(M)\setminus \left\{l\right\}$ is closed for the product of lines, we will say that a element of $l(M)$ is minimal element if no-one in $lin(M)$ is a divisor (Then for the inclusion it correspond to maximal element, since we chosed the $\wedge$-cloture, corresponding to intersection, if we did the same job with the union (corresponding to “$\vee$”) the definition of our minimal would be the minimal corresponding subset of inclusion)

for example the set if $B$= {$a$,$b$,$c$,$d$,$e$} and $A$= {{$a$},{$b$},{$a,c$},{$a,c,d$},$\emptyset$} $\subset \mathcal P(B)$ can be AFTER having ordered $A$ and $B$… give the ordered matrix (= “usual” matrix) :

$N= \left( \begin{array}{ccc}

1 & 0 & 0 & 0 & 0\\

1 & 1 & 0 & 0 & 0\\

1 & 0 & 1 & 0 & 0\\

1 & 0& 1& 1 & 0 \\

0 & 0 & 0 & 0 & 0

\end{array} \right)$

if $P$ and $Q$ are permutation matrices $PNQ$ will define the same NO-ORDERED-matrix, $M$, in our case $M$ is indexed not by ordered sets but by $A$ and $B$ themselfs!

$M$ is here, line-closed and row-closed ,

$L(M)=lin(M)$ and $R(M)=row(M)$

we can give an ordered representation of $l(M)$ as

$ \left( \begin{array}{ccc}

1 & 1 & 0 & 0 & 0\\

1 & 0 & 1 & 0 & 0\\

1 & 0& 1& 1 & 0 \\

0 & 0 & 0 & 0 & 0

\end{array} \right)$

and we can see that $r(M)=M$ : every row is a generator in this example!

the minimal lines are

$(1,0,1,1,0)$ and $(1,1,0,0,0)$ in $N$

and we can see that they are the one that intersect the unique $1$ coefficient of a row that have only one $1$

this is a caractarisation of minimal lines in a row-closed separated matrix.

to see this suppose that there is a minimal line in a row-closed separated matrix that intersect not such a row, tht meen has $1$ as soon as the minimal line has a $1$ in the corresponding row, and that mean that this line is a divisor of our minimal line, so by minimality , the two lines are equal, but we said the matrix was separated so it is absurd.

We can use this statement to proove by induction on the number of rows (by “removing” a minimal line) that a row-closed separated matrix with row $0$, and without row $1$, is line-closed if and only if it is a NO-ORDERED square matrix (then it has a triangular $n\times n$ representation, of rank $n-1$, because all the diagonal coefficient are $1$ except the commun coefficient of the $0$-row and the $0$-line.

We will call BISTABLE any separated NO-ORDERED matrix which is line-closed and row-closed, and which contain line full $0$ line and row

We can call $\mathbb B$ the set of BISTABLE matrix and $\mathbb B_n$ Bistable matrix of size $n\times n$

If we have a NO-ORDERED matrix $M$, and $l\in lin(M)$ (resp. $r\in row(M)$) we a unique NON-ORDERED matrix $M-l$ (resp. $M-r$ such that $lin(M-l)=lin(M)\setminus \left\{l\right\}$ (resp $row(M-r)=lin(M)\setminus \left\{r\right\}$)

We will also call $\mathbb T$ the (ordered) lower-triangular representation of BISTABLE (NO-ORDERED)-matrix

FUNC is equivalent to the fact that there exist in such a matrix a line-generator with more $0$ than $1$

1)quick definitions and immediate properties

$T$ will be a member of $\mathbb T$ and we will note $T^*$ the corresponding NO-ORDERED matrix in $\mathbb B$ obtained by “forgeting” the indexation (the notation $T^*$ has already been used it for the separated NO-ORDERED matrix of a NO-ORDERED matrix, but as soon as member of $\mathbb B$ are separated, it is not confusing)

we get these property easily by induction and they can themeself be usefull for induction

definition a)

We say that a $x\in lin(T)\cup row(T)$ is a $separator$ when $T^*-x$ is not separated

property a)

separators are generators and generators are separators

definition b)

if $a$ is a line of $T^*$ and $b$ a row of $T^*$, we note $a\wedge b$ the common coeficient of $a$ and $b$. and we will aslo assume that $a\wedge 1=1\wedge a=a\wedge b=b\wedge 1$ and that $0=0\wedge a=a\wedge 0=b\wedge 0=0\wedge b$

we call $T_*=(lin(T^*)\cup row(T^*)\cup \left\{0,1\right\})/\mathcal Z$ the square monoïd

were $\mathcal Z$ is the identificaton $0$=full-0 line=full-0 row

property b)

$(T_*,\wedge)$ is a monoïd

definition c)

if $i\in \mathbb Z_2$ and $a$ is a line (resp. row) we way that $b$ is $i$-perpendicular to $a$ if and only if $b$ is a row (resp. line) and $a\wedge b=i$

We call $a^{\perp}:=\bigwedge_{b\wedge a=1}b$ the product of all rows (resp.line) that are $1$-perpendicular to $a$.

properties c1)

$a\wedge b=a\Leftrightarrow b^{\perp}\wedge a^{\perp}=b^{\perp}$

property c2)

$(a^{\perp})^{\perp}=a$

note1

in terms of intersection-closed separated subset $\mathcal A$ of size $n$ with a groud set $X$ of size $n$ such that $\emptyset \in \mathcal A$ and such that $\mathcal A_{\emptyset}=\emptyset$, the ortogonal of any $x\in X$ is $\mathcal A_x=\left\{a\in \mathcal A\space |\space x\in a\right\}$

and property c1) become $a\subset b\Leftrightarrow \mathcal A_b \subset \mathcal A_a$

note2

in if $a$ is the line nuber $j$ in $T$ than $a^{\perp}$ is the row number $j$

2_very intersting properties of $\mathbb T$ !!

we can give a impressively better result than the main (triangular) property

This result will hold in a bigger set than $\mathbb T$, and we will caracterize this set few interseting equivalent ways!

lets $D$ be a diagonal matrix in $\mathcal M(\mathbb Z_2)$ than

I will say that $P$ a principal matrix of $M$ if $P=(D.M.D)^*$

lets note by $\mathbb P$ the set of all principal matrices of matrices in $\mathbb T$

Very obvioussly members of $\mathbb P$ are lower-triangular matrices.

Quite obvioussly to if $P\in \mathbb P$ and $a\in lin(P)$, we have $(P-a)-a^{\perp}=(P-a^{\perp})-a\in mathbb P$

wait… it is obvious if we call $a^{\perp}$ the row that intesect $a$ on the diagonal… but it mayght not be so clear that the definition and property in c) still work!

in fact it does and $\mathbb P$ is the bigest set of lower-triangular matrix that has those properties , we can say this WITHOUT USING $\wedge$ anymore (!!)

For any lower trangular matrix in $\mathbb R$, $A$ of size $n$, for any lets call $A_i$ the line numer $i$ in $A$, $A^j$ the row number $j$ and $A_i^j$ the $i,j$ coefficient of $A$.

lets note by $\mathbb P^0\subset GL_n(\mathbb R)$ the set of lower-triangular matrices $P$ such that

for any $0<i\leq j\leq n$ integers,

$P_i^j\in \left\{0,1\right\}$ and $ P_i^j=1 \Leftrightarrow P_j-P_j\in \left\{0,1\right\}^n$

if you see $P\in \mathbb P^0$ like matrix with coeficient in $\mathbb Z_2$ you get all the invertible matrix in $\mathbb P$ (we removed the full-0 line and row of $\mathbb P_0$

This is a way to say that $\mathbb P$ is the set of rinagular $\mathbb Z_2$ matrices closed under the $a\mapsto a^{\perp}=\bigwedge_{b\wedge a=1}b$ application where $\wedge$ and $P_*$ can be defined like in definition c) but where $P_*$ is no longer a monoid, because it might not be closed for the $\wedge$

3_connectable lines/rows

let $M$ be the NO-ORDERED matrix indexed by $A$ and $B$ and let $x\in lin(M)$ with $|x|$ the number of $1$ in $x$.

If there exist $a$ bijection from $[1,|A|]\cap \mathbb N\to A$ and $b$ bijection from $[1,|B|]\cap \mathbb N\to B$

such that

1)the matrix $M'=(M_{a(i),b(j)})_{i,j\leq n}$ is trigonal

2) $a^{-1}(x)=|x|$

we say that $x$ is connectable in $M$

(in other terms you have a orderded matrix that represent $M$, which is lower triangular and where $x$ is the line where there is only $1$ under the diagonal, in this diagonal ordered matrix we say that this line is "connected")

a connectable matrix is a matrix where all line are connectable

property e)

$P$ is connectable separated matrix $P^*\in \mathbb P$

(easy by induction)

corollary :

if $P$ is connectable $P^t$ is also connectable

if $T$ is Bistable , then $T$ is connectable

important property f):

if $P\in \mathbb P_n$ and $a\in lin(P)$ and if $mult(a):=\left\{x\in lin(P),\space \exists y\in 2^n, x=a\wedge y\right\}$ then

$|a|=|mult(a)|-1$

(if $P$ is bistable we can write $mult(a)=a\wedge lin(P)$, we note that $MULT(P)=\left\{mult(a),\space a\in lin(P)\right\}$ is a monoide for intersection, and that $a\mapsto mult(a)$ is an isomorphism of monoïd.

note for any monoïd $P,\wedge$, we can also define

MULT'(P) is always a monoïde when the basic monoïd $P$ is idempotent

if we call $divi(a):=\left\{x\in P,\space \exists y\in P, a=x\wedge y\right\}$ we see that $a\mapsto divi(a)$ is an ismorphism of monoïd between $lin(P)$ and $DIVI'(P)=\left\{divi(a),\space a\in P\right\}$ but for the Union (only because of the idempotence $a\wedge a=a$)

$DIVI(P)=(DIVI'(lin(P)), \cup)$ is isomorphic to $(MULT(row(P)),\cap)$

this is given by property c)

4) a week FUNC!

in a bistable if $a$ and $b$ are 0-perpendicular than $|a|+|b|<n$

(it is funny to see that it still holds if $a$ and $b$ are not "perpendicular", but verify $a\wedge b=0$ in $T_*$, (see property and definition b) in paragraph 1))

this a direct corollary of the connectability of a bistable.

we sayd that FUNC is equivalent to the fact that there is a line-generator $a$ in a bistable $B$ such that $|a|<n/2$(**)

this is also equivalent to the fact that there is a line-generator $a$ and a row-generator $b$ such that $|a|<n/2$ and $|b|<n/2$(***)

what would then hapend if we have not (**): we would have

for all genertor line $a\in l(M)$, $ |a|\geq n/2$ , and then each row $r\in row(M)$ that would intersect any generator-line in a $0$ would verify $|r|<n/2$, but all rows are 0-perpendicular to at list one generator line, because if it was not the case, this row would be the full-1 row and as soon as we have the full-0 line this is not possible!

So a contrexemple to FUNC (**) would give us matrix with all rows verifying FUNC,

if we call the equivalent (***) version of FUNC the "and-FUNC", we than have, the $or-FUNC$ :

there is a line-generator $a$ or a row-generator $b$ such that $|a|<n/2$ or $|b|<n/2$

the weeker-FUNC that we HAVE is better than this it say that if the line-generator are not Frankl the row-generators are "uniformally-Frankl", but I think it is not a new result.

Note also that the duality of rows and line, as well as the duality for MULT and DIVI, give, with the property f) the DUAL-FUNC

if $(P,.)$ is a finite commutative idempotent monoïd, and if $g$ is a generator (that mean that $P-\left\{g\right\}$ is still a monoïd, then

$card(g.P)\leq card(P)/2$

(this is exactly the lattice version)

So a intersection closed (or union closed) familly that would not verify the DUAL-lattice-FUNC=FUNC) would verify FUNC uniformilly.

again that is not new but we have it with the tool that I built.

And with this tool I think that we "see" whats happening… therefore it is now time to give a stronger conjecture that the tools ask naturally : we note that bistable matrix are particular connectable matrix, and that the generator are exactly the separators then….

5) Separator-FUNC

If $P\in \mathbb P_n$ there exists $a\in P$ such that $a$ is separator and such that $|a|<n/2$

June 22, 2016 at 10:22 pm |

I give the conjecture Sep-FUNC without all the necessary reading :

Let $M\in \mathcal M_n(R)$, with $n>1$, be a lower triangular invertible matrix with all coefficient $0$ or $1$, and suppose that for each integer $0<i\leq j\leq n$

$M_{i,j}=1\Leftrightarrow M_i-M_j\in \left\{0,1\right\}^n$(*)

where $M_i$ and $M_j$ are the line number $i$ and $j$ of $M$

we will say that $M$ is triangular connectable.

If a line in a matrix is such that by removing it we get two equal rows, or a full-0 row : we will say that it is a line-separator:

Sep-FUNC:

In a triangular connectable $n\times n$ matrix without the full-1 line ,there is a line separator $s$ such that $||s||_1\leq n/2$

This does not need the $\wedge$ product which give to matrices of caracteristical fonction of intersection closed Familly a very NOT-VECTORIAL shape, if I can speak this way…but the Sep-FUNC get reed of this Boole ring product and the condition (*) is the vestige of the "inclusion", no more intersection or union…^^

to give a summary of the reason why this is stronger than FUNC, we will say that a version of FUNC still holds in a union closed familly $\mathcal A$ with the same**** size than the ground set $X$, we than see that $\mathcal X=\left\{\mathcal A_x\space|\space x\in X\right\}$ is also closed for the union. and FUNC is equivalent to the fact that there exist a $x\in X$ such that $x$ is aboundant and such that $\mathcal A_x$ is a generator of $\mathcal X$…

****same size up to trivial "lines" and "row" but this is in the upper comment

If we than indexate correctly $X=\left\{x_1…,x_n\right\}$, and $\mathcal A=\left\{A_1,…A_n\right\}$ such that the $Z_2$-matrix, $A$ such that $A_{i,j}=0\Leftrightarrow x_i\in A_j$ we get a anti-caracteristic matrix, and this matrix is a connectable matrix, and the rows of this matrix correspunding to a generators are exactly the separated rows

(of course we have the same statement for lines, please note that I pretend that $M$ is connectable if and only if $M^t$ is connectable, everything is exposed in the upper comment)

I think this conjecture is quite intersting

June 25, 2016 at 9:23 pm |

Separator-FUNC is false : take a matrix with four blocs

$ A=\left( \begin{array}{ccc}

Id & 0 \\

X & Id

\end{array} \right)$

where the rows of $X$ are all the rows with five $1$ and two $0$

like $(1111100)^t,(1111010)^t,(1110110)^t…(1101011)^t…..$

The line separator of $A$ are the line of

$ A=\left( \begin{array}{ccc}

X & Id

\end{array} \right)$

and they have 15 times $1$ and 12 times $0$

So maybe we have change it a litlle bit, I’ve got few idees… but I’m waiting for reactions, it would seem a bit ridiculous to go on, while the comments are not even put in latex^^