Factorization symmetry in the lattice Boltzmann method

A non-perturbative algebraic theory of the lattice Boltzmann method is developed based on the symmetry of a product. It involves three steps: (i) Derivation of admissible lattices in one spatial dimension through a matching condition which imposes restricted extension of higher-order Gaussian moments, (ii) A special quasi-equilibrium distribution function found analytically in closed form on the product-lattice in two and three spatial dimensions, and which proves the factorization of quasi-equilibrium moments, and (iii) An algebraic method of pruning based on a one-into-one relation between groups of discrete velocities and moments. Two routes of constructing lattice Boltzmann equilibria are distinguished. The present theory includes previously known limiting and special cases of lattices, and enables automated derivation of lattice Boltzmann models from two-dimensional tables, by finding the roots of one polynomial and solving a few linear systems.