-
Exact Solutions to the Klein--Gordon Equation via Reduction Algebras
Authors:
Jonas T. Hartwig,
Lillian Ryan Uhl,
Dwight Anderson Williams II
Abstract:
Reduction algebras (also known as generalized Mickelsson algebras, Zhelobenko algebras, or transvector algebras) are well-studied associative algebras appearing in the representation theory of Lie algebras. In the 1990s, Zhelobenko noted that reduction algebras have a connection to field equations from physics, whereas Howe's study of dual pairs in the 1980s signifes that the link originated even…
▽ More
Reduction algebras (also known as generalized Mickelsson algebras, Zhelobenko algebras, or transvector algebras) are well-studied associative algebras appearing in the representation theory of Lie algebras. In the 1990s, Zhelobenko noted that reduction algebras have a connection to field equations from physics, whereas Howe's study of dual pairs in the 1980s signifes that the link originated even earlier. In this paper, we revisit the simplest case of a scalar field, working in arbitrary spacetime dimension $n\ge 3$, and in arbitrary flat metric $η_{ab}$. We recall that the field equations specialize to the homogeneous Laplace equation and the (massless) Klein--Gordon equation for appropriate metrics; correspondingly, there is a representation of the Lie algebra $\mathfrak{sl}_2$ (technically, $\mathfrak{sp}_2$) by differential operators and an associated reduction algebra. The reduction algebra contains raising operators, which provide a means to construct bosonic states $|a_1a_2\cdots a_\ell\rangle$ as certain degree $\ell$ polynomials solving the relevant field equation. We give an explicit formula for these solutions and prove that they span the polynomial part of the solution space. We also give a complete presentation of the reduction algebra and compute the inner product between the bosonic states in terms of the rational dynamical R-matrix.
△ Less
Submitted 6 July, 2025;
originally announced July 2025.
-
Ghost center and representations of the diagonal reduction algebra of $\mathfrak{osp}(1|2)$
Authors:
Jonas T. Hartwig,
Dwight Anderson Williams II
Abstract:
Reduction algebras are known by many names in the literature, including step algebras, Mickelsson algebras, Zhelobenko algebras, and transvector algebras, to name a few. These algebras, realized by raising and lowering operators, allow for the calculation of Clebsch-Gordan coefficients, branching rules, and intertwining operators; and have connections to extremal equations and dynamical R-matrices…
▽ More
Reduction algebras are known by many names in the literature, including step algebras, Mickelsson algebras, Zhelobenko algebras, and transvector algebras, to name a few. These algebras, realized by raising and lowering operators, allow for the calculation of Clebsch-Gordan coefficients, branching rules, and intertwining operators; and have connections to extremal equations and dynamical R-matrices in integrable face models.
In this paper we continue the study of the diagonal reduction superalgebra $A$ of the orthosymplectic Lie superalgebra $\mathfrak{osp}(1|2)$. We construct a Harish-Chandra homomorphism, Verma modules, and study the Shapovalov form on each Verma module. Using these results, we prove that the ghost center (center plus anti-center) of $A$ is generated by two central elements and one anti-central element (analogous to the Scasimir due to Leśniewski for $\mathfrak{osp}(1|2)$). As another application, we classify all finite-dimensional irreducible representations of $A$. Lastly, we calculate an infinite-dimensional tensor product decomposition explicitly.
△ Less
Submitted 30 March, 2022; v1 submitted 15 March, 2022;
originally announced March 2022.
-
Diagonal reduction algebra for $\mathfrak{osp}(1|2)$
Authors:
Jonas T. Hartwig,
Dwight Anderson Williams II
Abstract:
The problem of providing complete presentations of reduction algebras associated to a pair of Lie algebras $(\mathfrak{G},\mathfrak{g})$ has previously been considered by Khoroshkin and Ogievetsky in the case of the diagonal reduction algebra for $\mathfrak{gl}(n)$. In this paper we consider the diagonal reduction algebra of the pair of Lie superalgebras…
▽ More
The problem of providing complete presentations of reduction algebras associated to a pair of Lie algebras $(\mathfrak{G},\mathfrak{g})$ has previously been considered by Khoroshkin and Ogievetsky in the case of the diagonal reduction algebra for $\mathfrak{gl}(n)$. In this paper we consider the diagonal reduction algebra of the pair of Lie superalgebras $\left(\mathfrak{osp}(1|2) \times \mathfrak{osp}(1|2), \mathfrak{osp}(1|2)\right)$ as a double coset space having an associative diamond product and give a complete presentation in terms of generators and relations. We also provide a PBW basis for this reduction algebra along with Casimir-like elements and a subgroup of automorphisms.
△ Less
Submitted 26 February, 2022; v1 submitted 6 June, 2021;
originally announced June 2021.
-
The paramagnetic and glass transitions in sudoku
Authors:
Alex Williams,
Graeme . J. Ackland
Abstract:
We study the statistical mechanics of a model glassy system based on a familiar and popular mathematical puzzle. Sudoku puzzles provide a very rare example of a class of frustrated systems with a unique groundstate without symmetry. Here, the puzzle is recast as thermodynamic system where the number of violated rules defines the energy. We use Monte Carlo simulation to show that the "Sudoku Hamilt…
▽ More
We study the statistical mechanics of a model glassy system based on a familiar and popular mathematical puzzle. Sudoku puzzles provide a very rare example of a class of frustrated systems with a unique groundstate without symmetry. Here, the puzzle is recast as thermodynamic system where the number of violated rules defines the energy. We use Monte Carlo simulation to show that the "Sudoku Hamiltonian" exhibits two transitions as a function of temperature, a paramagnetic and a glass transition. Of these, the intermediate condensed phase is the only one which visits the ground state (i.e. it solves the puzzle, though this is not the purpose of the study). Both transitions are associated with an entropy change, paramagnetism measured from the dynamics of the Monte Carlo run, showing a peak in specific heat, while the residual glass entropy is determined by finding multiple instances of the glass by repeated annealing. There are relatively few such simple models for frustrated or glassy systems which exhibit both ordering and glass transitions, sudoku puzzles are unique for the ease with which they can be obtained with the proof of the existence of a unique ground state via the satisfiability of all constraints. Simulations suggest that in the glass phase there is an increase in information entropy with lowering temperature. In fact, we have shown that sudoku have the type of rugged energy landscape with multiple minima which typifies glasses in many physical systems, and this puzzling result is a manifestation of the paradox of the residual glass entropy. These readily-available puzzles can now be used as solvable model Hamiltonian systems for studying the glass transition.
△ Less
Submitted 7 December, 2012;
originally announced December 2012.
