# Examples for simplicial complexes in which every k-edge is contained in exactly $d$ $k+1$-edges

Are there any(other than the full complex/1-case)? Is there a name for this ($$k$$-edge-regular I call it)?

Thanks.

There are many such examples. If d=2 (plus some connectivity) those are called pseudomanifolds, so there are many of those, and there are many examples for larger values of d. When every set of size k is a k-edge these are designs.

• I don't think this answer is true. As t-design requires that every (t-1) subset of V is contained in exactly d t-edges. And there could be an hypergraph that is not a design with this property. – user2679290 Apr 2 at 12:53
• Yes, as I said in the answer those examples are designs when every set of $k$ is in the hypergraph. Examples like psudomanifolds, and buildings, and quotients of building are more general; they need not be designs. – Gil Kalai Apr 11 at 22:02
• Yes, sorry. I misunderstood this to suggest that the name is designs. I don't know why. – user2679290 Apr 11 at 22:10

I have looked for such construction with 5 vertices(and less). There were none. But it is possible with 6. Here are possible lists of triplets, as returned by Wolfram Mathematica.

{{{1, 2, 3}, {1, 2, 4}, {1, 3, 5}, {1, 4, 6}, {1, 5, 6}, {2, 3, 6}
, {2, 4, 5}, {2, 5, 6}, {3, 4, 5}, {3, 4, 6}}, {{1, 2, 3}, {1, 2,4}
, {1, 3, 6}, {1, 4, 5}, {1, 5, 6}, {2, 3, 5}, {2, 4, 6}, {2, 5, 6}
, {3, 4, 5}, {3, 4, 6}}, {{1, 2, 3}, {1, 2, 5}, {1, 3, 4}, {1, 4,6}
, {1, 5, 6}, {2, 3, 6}, {2, 4, 5}, {2, 4, 6}, {3, 4, 5}, {3, 5, 6}
}, {{1, 2, 3}, {1, 2, 5}, {1, 3, 6}, {1, 4, 5}, {1, 4, 6}, {2, 3,4}
, {2, 4, 6}, {2, 5, 6}, {3, 4, 5}, {3, 5, 6}}, {{1, 2, 3}, {1, 2, 6}
, {1, 3, 4}, {1, 4, 5}, {1, 5, 6}, {2, 3, 5}, {2, 4, 5}, {2, 4, 6}
, {3, 4, 6}, {3, 5, 6}}, {{1, 2, 3}, {1, 2, 6}, {1, 3, 5}, {1,4, 5}
, {1, 4, 6}, {2, 3, 4}, {2, 4, 5}, {2, 5, 6}, {3, 4, 6}, {3, 5, 6}
}, {{1, 2, 4}, {1, 2, 5}, {1, 3, 4}, {1, 3, 6}, {1, 5, 6}, {2,3, 5}
, {2, 3, 6}, {2, 4, 6}, {3, 4, 5}, {4, 5, 6}}, {{1, 2, 4}
, {1, 2, 5}, {1, 3, 5}, {1, 3, 6}, {1, 4, 6}, {2, 3, 4}, {2, 3, 6}
, {2, 5, 6}, {3, 4, 5}, {4, 5, 6}}, {{1, 2, 4}, {1, 2, 6}, {1, 3,4}
, {1, 3, 5}, {1, 5, 6}, {2, 3, 5}, {2, 3, 6}, {2, 4, 5}, {3, 4, 6}
, {4, 5, 6}}, {{1, 2, 4}, {1, 2, 6}, {1, 3, 5}, {1, 3, 6}, {1, 4,5}
, {2, 3, 4}, {2, 3, 5}, {2, 5, 6}, {3, 4, 6}, {4, 5, 6}}, {{1, 2, 5}
, {1, 2, 6}, {1, 3, 4}, {1, 3, 5}, {1, 4, 6}, {2, 3, 4}, {2, 3, 6}
, {2, 4, 5}, {3, 5, 6}, {4, 5, 6}}, {{1, 2, 5}, {1, 2, 6}, {1,3, 4}
, {1, 3, 6}, {1, 4, 5}, {2, 3, 4}, {2, 3, 5}, {2, 4, 6}, {3, 5, 6}
, {4, 5, 6}}, {{1, 2, 3}, {1, 2, 4}, {1, 2, 5}, {1, 2, 6}, {1,3, 4}
, {1, 3, 5}, {1, 3, 6}, {1, 4, 5}, {1, 4, 6}, {1, 5, 6}, {2, 3, 4}
, {2, 3, 5}, {2, 3, 6}, {2, 4, 5}, {2, 4, 6}, {2, 5, 6}, {3, 4, 5}
, {3, 4, 6}, {3, 5, 6}, {4, 5, 6}}}


Also, Conlon's hypergraph construction satisfies it:

https://arxiv.org/abs/1709.10006

• Some of them are probably isomorphic – user2679290 Mar 1 at 1:21

These are called $$d$$-(upper) regular $$k$$-complexes as defined here

https://arxiv.org/abs/1607.07734