arXiv++ Combinatorics

We introduce a commutative-algebraic framework for studying occupation patterns in directed support graphs associated with discrete-time Markov chains. Given an initial state, the support graph determines a regular language whose words are the admissible state trajectories. Applying the Parikh map, each trajectory is represented by its occupation vector, recording the number of visits to each state. Equivalently, each trajectory defines a monomial whose exponents are its occupation numbers. For each time $n$, we associate a monomial ideal generated by the Parikh monomials of all admissible trajectories of length $n$. The minimal generators of this ideal encode the distinct occupation patterns realized at that time. This construction embeds occupation patterns into combinatorial commutative algebra and separates three levels of support complexity: reachability growth, trajectory growth, and occupation-pattern growth. The framework provides an algebraic and combinatorial layer attached to the directed support structure of a Markov chain. It connects regular languages, Parikh images, monomial ideals, symbolic dynamics, and support graphs. Examples illustrate how occupation ideals reflect branching, recurrence, transience, and local oscillation in the underlying graph.

We introduce new methods to describe admissible states of the six-vertex and the eight-vertex lattice models of statistical mechanics. For the six-vertex model, we view the admissible states as differential forms on a grid graph. This yields a new proof of the correspondence between admissible states and 3-colorings of a rectangular grid. For the eight-vertex model, we interpret the set of admissible states as an $\mathbb{F}_2$-vector space. This viewpoint lets us enumerate the set of admissible states. Finally, we find necessary conditions for a Yang-Baxter equation to hold for the general eight-vertex model.

We construct colored lattice models whose partition functions represent symplectic and odd orthogonal Demazure characters and atoms. We show that our lattice models are not solvable, but we are able to show the existence of sufficiently many solutions of the Yang--Baxter equation that allows us to compute functional equations for the corresponding partition functions. From these functional equations, we determine that the partition function of our models are the Demazure atoms and characters for the symplectic and odd orthogonal Lie groups. We coin our lattice models as quasi-solvable. We use the natural bijection of admissible states in our models with Proctor patterns to give a right key algorithm for reverse King tableaux and Sundaram tableaux.