Shift Invariant Algebras, Segre Products and Regular Languages

TL;DR

This paper introduces the Segre product of formal languages and demonstrates its use in proving the rationality of equivariant Hilbert series for certain algebraic structures, expanding understanding in algebraic statistics.

Contribution

It establishes that the Segre product of regular languages remains regular and applies this to show rationality of equivariant Hilbert series in new algebraic contexts.

Findings

Segre product of two regular languages is regular

Filtrations of tensor product algebras have rational Hilbert series

Existence of shift-invariant monomial algebra filtrations with non-stabilizing ideals

Abstract

Motivated by results on the rationality of equivariant Hilbert series of some hierarchical models in algebraic statistics we introduce the Segre product of formal languages and apply it to establish rationality of equivariant Hilbert series in new cases. To this end we show that the Segre product of two regular languages is again regular. We also prove that every filtration of algebras given as a tensor product of families of algebras with rational equivariant Hilbert series has a rational equivariant Hilbert series. The term equivariant is used broadly to include the action of the monoid of nonnegative integers by shifting variables. Furthermore, we exhibit a filtration of shift invariant monomial algebras that has a rational equivariant Hilbert series, but whose presentation ideals do not stabilize.