arXiv++ Combinatorics

A bound resembling Pascal's identity is presented for binary necklaces with fixed density using Lyndon words with fixed density. The result is generalized to k-ary necklaces and Lyndon words with fixed content. The bound arises in the study of Nichols algebras of diagonal type.

Nichols algebras of group type with many cubic relations are classified under a technical assumption on the structure of Hurwitz orbits of the third power of the underlying indecomposable rack. All such Nichols algebras are finite-dimensional and their Hilbert series have a factorization into quantum integers. Also, all known finite-dimensional elementary Nichols algebras of group type turn out to have many cubic relations. The technical assumption of our theorem can be removed if a conjecture in the theory of cellular automata can be proven.