Search arXiv⌕ Search

arXiv · 2610.14985

Hilbert functions over the exterior algebra and f-vectors in higher rank II: Generalizing Linusson's count to sumsets of f-vectors

Abstract

Let $E$ be the exterior algebra of an $n$-dimensional vector space over a field, let $F$ be a graded free $E$-module with $r$ generators of degrees $d_1 \le \dots \le d_r$, and let $M$ range over the monomial submodules of Amata and Crupi. The Hilbert function of $F/M$ is a shifted sum of $f$-vectors of simplicial complexes; the companion paper determines the convex hull of such sums, and here we count them. For $r = 1$ the count is Linusson's (1999); we show that no new recursion is needed for general $r$. Using two statistics of an $f$-vector -- its top nonvanishing degree and the initial degree of the corresponding ideal -- we prove that the number of achievable Hilbert functions is a product of $r-1$ transfer matrices, one per generator-degree gap, with entries differences of Linusson's refined counts $E^p(n,k)$. The rank enters only as the length of a matrix product. The same holds for the proper variant. Consequences: a linear recurrence in $r$ for constant gaps, with exact exponential asymptotics $K λ^r$ when the gap is positive; polynomiality in $r$ when all gaps vanish; a threshold beyond which the count is a plain power; and polynomiality in the number of vertices.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jan Snellman. 2026-10-10. Hilbert functions over the exterior algebra and f-vectors in higher rank II: Generalizing Linusson's count to sumsets of f-vectors. https://arxiv.org/abs/2610.14985

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Monochromatic non-commuting products

We show that a finite coloring of an amenable group contains `many' monochromatic sets of the form $\{x,y,xy,yx\},$ and natural extensions with more variables. This gives the first combinatorial proof and extensions of Bergelson and McCutcheon's non-commutative Schur theorem. Our main new tool is the introduction of what we call `quasirandom colorings,' a condition that is automatically satisfied by colorings of quasirandom groups, and a reduction to this case.

math.CO↗

Complete tripartite subgraphs of balanced tripartite graphs with large minimum degree

In 1975 Bollobás, Erdős, and Szemerédi asked what minimum degree guarantees an octahedral subgraph $K_3(2)$ in any tripartite graph $G$ with $n$ vertices in each vertex class. We show that $δ(G)\geq n+2n^{\frac{5}{6}}$ suffices thus improving the bound $n+(1+o(1))n^{\frac{11}{12}}$ of Bhalkikar and Zhao obtained by following their approach. Bollobás, Erdős, and Szemerédi conjectured that $n+cn^{\frac{1}{2}}$ suffices and there are many $K_3(2)$-free tripartite graphs $G$ with $δ(G)\geq n+cn^{\frac{1}{2}}$. We confirm this conjecture under the additional assumption that every vertex in $G$ is adjacent to at least $(1/5+\varepsilon)n$ vertices in any other vertex class.

math.CO↗

Almost-full transversals in equi-$n$-squares

In 1975, Stein made a wide generalisation of the Ryser-Brualdi-Stein conjecture on transversals in Latin squares, conjecturing that every equi-$n$-square (an $n\times n$ array filled with $n$ symbols where each symbol appears exactly $n$ times) has a transversal of size $n-1$. That is, it should have a collection of $n-1$ entries that share no row, column, or symbol. In 2017, Aharoni, Berger, Kotlar, and Ziv showed that equi-$n$-squares always have a transversal with size at least $2n/3$. In 2019, Pokrovskiy and Sudakov disproved Stein's conjecture by constructing equi-$n$-squares without a transversal of size $n-\frac{\log n}{42}$, but asked whether Stein's conjecture is approximately true. I.e., does an equi-$n$-square always have a transversal with size $(1-o(1))n$? We answer this question in the positive. More specifically, we improve both known bounds, showing that there exist equi-$n$-squares with no transversal of size $n-Ω(\sqrt{n})$ and that every equi-$n$-square contains $n-n^{1-Ω(1)}$ disjoint transversals of size $n-n^{1-Ω(1)}$. Furthermore, we give results for the corresponding problem in globally-bounded colourings of complete graphs, as part of the wider framework of coloured complete directed graphs.

math.CO↗