Number of linear orderings of a set to have balanced frequencies of triple orders

Let $c_n$ be the minimum number of linear orders needed. So $c_n$ is a multiple of $6$ and $c_3=c_4=6.$

As noted $c_5 \gt 6.$ Here is another proof that it is impossible even if we relax the requirement to be that for each distinguished element $a$, among the $6\binom42=36$ ordered triples containing it (counted with multiplicity), there are $12$ each of the forms $axy,xay$ and $xya.$ Suppose we have $6$ linear orders. An element $a$ which appears in the center once must do so exactly three times since each such appearance gives one triple $axy$ , we need $12$ in all, and any other position gives $0,3$ or $6.$ However these three give $12$ orders of the form $xay$ so the other three must have $a$ at the beginning or end so contribute $6$ or $0$ orders of the form $axy.$ This does not allow for a total of $12.$

Also, $c_m \le c_n$ for $m \le n:$ Given a (multi)-set of $c_n$ linear orders of $n$ elements of the desired type, delete all but $m$ elements to get a multiset for those elements.

If I had to guess, I'd guess that $O(\log n)$ is enough. However that is just a hunch. However $O(n^3)$ is enough even with a much stronger property:

If $q$ is a prime-power then the Special Linear group SL$(2,q)$ of order $q^3-q$ acts on the projective line with $n=q+1$ elements and is transitive on ordered triples. So any one orbit of its action on linear orders suffices and has the much stronger property that each ordered triple appears exactly once in any three given positions.


With a colleague we are currently working on a similar problem: we want all 6 orderings to appear, though we do not care whether they happen with the same frequency. The lower bound transfers to your problem, however:

Let us assume that you have a "good" set of permutations $P_1,...,P_k$, and think of the positions of the value $1$ in all these permutations. For every value different from 1, store in a binary vector whether it appears before (noted 0) or after (noted 1) in the ordering. Because all 3-orders must appear, all n-1 vectors your built must be different. Thus, $k\geq \log_2(n-1)$. This technique is used, for instance, in this paper: http://arxiv.org/abs/1502.06888

To be sure that all 3-orders appear, we currently need $\leq 2.85\cdot \log_2(n)+O(1)$ permutations, and we are trying to close the gap. The construction wouldn't work for equal frequencies, however.