arXiv++ Combinatorics

We develop an explicit PBW normal ordering theory for the $26$ double extension regular algebras of type $(14641)$ in the Zhang-Zhang classification. With respect to the order $x_1\prec x_2\prec y_1\prec y_2$, we obtain closed two-letter formulas for the internal relations and recursive coefficient systems for mixed words, products of PBW monomials, powers of normal blocks, and noncommutative multinomial expressions. The internal coefficients are mostly quantum or skew-commutative, while the Jordan families produce Lah-Whitney, hence Stirling-type, triangular arrays. The symbolic reductions are supported by a SageMath implementation included as an ancillary file.

In this paper, we discuss combinatorial aspects of normal ordering of 3-dimensional skew polynomial rings defined and classified by Bell and Smith \cite{BellSmith1990}. With some help of the Mathematical software \texttt{SageMath}, we are able to reduce the length of computation of PBW forms and normal orderings appearing in commutation rules of these algebras.