Abstract:In \cite[Serra, Vena, Extremal families for the Kruskal-Katona theorem]{sv21}, the authors have shown a characterization of the extremal families for the Kruskal-Katona Theorem. We further develop some of the arguments given in \cite{sv21} and give additional properties of these extremal families. Füredi-Griggs/Mörs theorem from 1986/85 \cite{furgri86,mors85} claims that, for some cardinalities, the initial segment of the colexicographical is the unique extremal family; we extend their result as follows: the number of (non-isomorphic) extremal families strictly grows with the gap between the last two coefficients of the $k$-binomial decomposition. We also show that every family is an induced subfamily of an extremal family, and that, somewhat going in the opposite direction, every extremal family is close to being the inital segment of the colex order; namely, if the family is extremal, then after performing $t$ lower shadows, with $t=O(\log(\log n))$, we obtain the initial segment of the colexicographical order. We also give a ``fast'' algorithm to determine whether, for a given $t$ and $m$, there exists an extremal family of size $m$ for which its $t$-th lower shadow is not yet the initial segment in the colexicographical order. As a byproduct of these arguments, we give yet another characterization of the families of $k$-sets satisfying equality in the Kruskal--Katona theorem. Such characterization is, at first glance, less appealing than the one in \cite{sv21}, since the additional information that it provides is indirect. However, the arguments used to prove such characterization provide additional insight on the structure of the extremal families themselves.

From Kruskal's theorem to Friedman's gap condition

The Turán problem for a family of tight linear forests

Extremal families for the Kruskal--Katona theorem

On the extremal families for the Kruskal--Katona theorem

Kemperman's inequality and Freiman's lemma via few translates

A New Proof of Friedman's Conjecture.

A representation theorem for end spaces of infinite graphs

Random minimum spanning tree and dense graph limits

Constant Factor Lasserre Integrality Gaps for Graph Partitioning Problems.

The three gap theorem and the space of lattices

Typical and Extremal Aspects of Friends-and-Strangers Graphs

When Joints Meet Extremal Graph Theory: Hypergraph Joints

On Fabry's Gap Theorem

On the strength of Hausdorff's gap condition

Analogs of Brooks' Theorem for coloring parameters of infinite graphs and Konig's Lemma

The relevance of Freiman's theorem for combinatorial commutative algebra

Getting to the Root of the Problem: Sums of Squares for Infinite Trees

Highly Connected Graphs Have Highly Connected Spanning Bipartite Subgraphs

From polynomial time queries to graph structure theory

Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism

Sharp Thresholds for Factors in Random Graphs