Table of Contents
Fetching ...

Sheffer Polynomials and the s-ordering of Exponential Boson Operators

Robert S. Maier

TL;DR

This paper develops a comprehensive, algebraic framework for s-ordering of single-mode exponential boson operators by marrying quantum-optical orderings with the theory of Sheffer polynomials and Riordan arrays.The authors first recap s-ordering, its special cases (normal, Weyl, anti-normal), and transform relations, then introduce a two-fold mathematical machinery—exponential Riordan arrays and HS polynomials—to systematize orderings of exponentials of boson strings ${a^dag}^L a {a^dag}^R$.They introduce a new parametric two-point Hsu–Shiue family that yields explicit, s-dependent representations of e^{λ(a†^L a a†^R)} for arbitrary s, with the main result unifying and extending known s-orderings and delivering Weyl-order formulas that are, in general, nontrivial to obtain.The results are illustrated through detailed examples for e=0,1,2, showing closed-form expressions for normal, Weyl, and anti-normal orderings, and highlighting the complexity that arises at higher e when solving the associated inverse Riordan functions.

Abstract

The s-ordered form of any product of single-mode boson creation and annihilation operators, containing only a single annihilator, is computed explicitly. The s-ordering concept originated in quantum optics, but subsumes normal, symmetric (Weyl), and anti-normal ordering for any two operators satisfying a canonical commutation relation. Because the s-ordering map can be viewed as producing a function of a complex variable, its inverse is a quantization map that takes such "classical" functions to quantum operators. The explicit s-ordered expressions are derived with the aid of a parametric family of Sheffer polynomial sequences (or equivalently a parametric exponential Riordan array of polynomial coefficients), called the Hsu-Shiue family. To yield orderings interpolating between normal and anti-normal, this family must be extended.

Sheffer Polynomials and the s-ordering of Exponential Boson Operators

TL;DR

This paper develops a comprehensive, algebraic framework for s-ordering of single-mode exponential boson operators by marrying quantum-optical orderings with the theory of Sheffer polynomials and Riordan arrays.The authors first recap s-ordering, its special cases (normal, Weyl, anti-normal), and transform relations, then introduce a two-fold mathematical machinery—exponential Riordan arrays and HS polynomials—to systematize orderings of exponentials of boson strings ${a^dag}^L a {a^dag}^R$.They introduce a new parametric two-point Hsu–Shiue family that yields explicit, s-dependent representations of e^{λ(a†^L a a†^R)} for arbitrary s, with the main result unifying and extending known s-orderings and delivering Weyl-order formulas that are, in general, nontrivial to obtain.The results are illustrated through detailed examples for e=0,1,2, showing closed-form expressions for normal, Weyl, and anti-normal orderings, and highlighting the complexity that arises at higher e when solving the associated inverse Riordan functions.

Abstract

The s-ordered form of any product of single-mode boson creation and annihilation operators, containing only a single annihilator, is computed explicitly. The s-ordering concept originated in quantum optics, but subsumes normal, symmetric (Weyl), and anti-normal ordering for any two operators satisfying a canonical commutation relation. Because the s-ordering map can be viewed as producing a function of a complex variable, its inverse is a quantization map that takes such "classical" functions to quantum operators. The explicit s-ordered expressions are derived with the aid of a parametric family of Sheffer polynomial sequences (or equivalently a parametric exponential Riordan array of polynomial coefficients), called the Hsu-Shiue family. To yield orderings interpolating between normal and anti-normal, this family must be extended.

Paper Structure

This paper contains 16 sections, 14 theorems, 95 equations.

Key Result

Proposition 3.1

In the exponential Riordan group $\mathfrak{R}$ the product operation is $\mathbf{R}[d_1,h_1]\,\mathbf{R}[d_2,h_2] = \mathbf{R}[(d_2\circ h_1)d_1, h_2\circ h_1]$, and the inversion operation is $\mathbf{R}[d,h]^{-1} = \mathbf{R}[1/(d\circ \bar{h}), \bar{h}]$, where $\bar{h}$ is the compositional in

Theorems & Definitions (26)

  • Proposition 3.1: Shapiro2022
  • Proposition 3.2: Shapiro2022
  • Proposition 3.3: Roman84Blasiak2006VerdeStar2025
  • Proposition 3.4
  • Proposition 3.5
  • proof
  • Proposition 4.1: Duchamp2004
  • Theorem 4.2
  • proof
  • Example 4.3
  • ...and 16 more