Star product for qubit states in phase space and star exponentials
Pith reviewed 2026-05-10 18:43 UTC · model grok-4.3
The pith
A star product on the qubit sphere reproduces the algebra of complexified quaternions and expresses quantum dynamics entirely through phase-space exponentials.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The deformation quantization on the coadjoint orbit yields a star product that reproduces the operator algebra of complexified quaternions. Its antisymmetric component induces the Lie-Poisson bracket associated with the Kirillov-Kostant-Souriau symplectic form. Quantum dynamics is realized by star exponentials of Hamiltonian symbols, which furnish an explicit propagator and establish equivalence with the coherent-state path integral on the sphere.
What carries the argument
The star product arising from the Stratonovich-Weyl quantization map on the coadjoint orbit of SU(2), which deforms the pointwise product of functions on the sphere while reproducing the complexified quaternion multiplication table.
If this is right
- Quantum time evolution for any qubit Hamiltonian reduces to the star exponential of its phase-space symbol.
- The propagator on the sphere is obtained without reference to the Hilbert space or operator ordering.
- The coherent-state path integral on S^{2} is recovered exactly from the algebraic star-exponential construction.
- The Poisson structure on the Bloch sphere is recovered as the first-order term in the star commutator.
Where Pith is reading between the lines
- The same construction may extend to higher-spin systems by replacing SU(2) with SU(N) coadjoint orbits.
- Numerical simulation of qubit dynamics could be performed entirely with functions on the sphere using the explicit star product.
- The equivalence between star exponentials and path integrals suggests a direct route to semiclassical approximations that stay inside phase space.
Load-bearing premise
That the Stratonovich-Weyl correspondence extends directly and without additional corrections to qubit systems on the SU(2) coadjoint orbit and produces a star product identical to the complex quaternion algebra.
What would settle it
An explicit calculation showing that the star product of two symbols for Pauli operators fails to equal the corresponding quaternion product or that the resulting propagator differs from the known unitary evolution operator.
read the original abstract
In this paper, we formulate the phase space description of qubit systems using coadjoint orbits of $SU(2)$ and the Stratonovich-Weyl correspondence, yielding a deformation quantization on the sphere. The resulting star product reproduces the operator algebra of complexified quaternions and its antisymmetric part induces the Lie-Poisson structure associated with the Kirillov-Kostant-Souriau symplectic form. We show that quantum dynamics can be expressed entirely in phase space through star exponentials of Hamiltonian symbols, leading to an explicit representation of the propagator. Further, we establish the equivalence between the coherent-state path integral formulation on $S^2$ and the algebraic description in terms of star exponentials. Some examples illustrating the construction of the star-exponential functions and the resulting Poisson structure are included.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops a phase-space formulation for qubit systems via coadjoint orbits of SU(2) and the Stratonovich-Weyl correspondence, constructing a deformation quantization on the sphere. The resulting star product is asserted to reproduce the algebra of complexified quaternions exactly, with its antisymmetric component inducing the Lie-Poisson structure associated with the Kirillov-Kostant-Souriau symplectic form on S². Quantum dynamics is recast entirely in phase space through star exponentials of Hamiltonian symbols, yielding an explicit propagator; equivalence to the coherent-state path integral on S² is established, and illustrative examples of star-exponential functions and the induced Poisson structure are given.
Significance. If the central construction holds, the work supplies a concrete, finite-dimensional example of deformation quantization in which the star product truncates precisely to a 4-dimensional algebra (complexified quaternions) while recovering the correct Poisson geometry. This would strengthen the link between geometric methods and algebraic structures for spin-1/2 systems, offering a phase-space route to qubit dynamics and path integrals that is free of auxiliary parameters.
major comments (2)
- [§3, Eq. (12)] §3 (Star product construction) and the paragraph following Eq. (12): the claim that the Stratonovich-Weyl kernel induces a star product satisfying σ_i * σ_j = δ_ij 1 + i ε_ijk σ_k exactly (with no residual higher-order terms) is load-bearing for both the quaternion-algebra reproduction and the subsequent star-exponential dynamics. The manuscript must supply the explicit integral evaluation or algebraic verification showing that the kernel projects precisely onto the span {1, n_x, n_y, n_z} and that associativity holds without truncation artifacts in this finite-dimensional setting.
- [§4] §4 (Star exponentials and propagator): the derivation of the propagator via star exponentials assumes the star product is an algebra homomorphism under the Stratonovich-Weyl map. A direct check that symbol(Op(f) Op(g)) = f * g holds for the Pauli symbols (or their linear combinations) is required; without it, the equivalence to the coherent-state path integral and the claim that dynamics is expressed “entirely in phase space” rests on an unverified step.
minor comments (2)
- [§2] Notation for the sphere coordinates and the identification of the coadjoint orbit with S² should be introduced once, with a clear statement of the normalization (e.g., radius or total spin).
- [final section] The examples in the final section would benefit from an explicit numerical or symbolic comparison between the star-exponential result and the corresponding matrix exponential for at least one non-trivial Hamiltonian.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. We address each major point below and will revise the paper accordingly to include the requested explicit verifications.
read point-by-point responses
-
Referee: [§3, Eq. (12)] §3 (Star product construction) and the paragraph following Eq. (12): the claim that the Stratonovich-Weyl kernel induces a star product satisfying σ_i * σ_j = δ_ij 1 + i ε_ijk σ_k exactly (with no residual higher-order terms) is load-bearing for both the quaternion-algebra reproduction and the subsequent star-exponential dynamics. The manuscript must supply the explicit integral evaluation or algebraic verification showing that the kernel projects precisely onto the span {1, n_x, n_y, n_z} and that associativity holds without truncation artifacts in this finite-dimensional setting.
Authors: The Stratonovich-Weyl correspondence for spin-1/2 is constructed so that the symbol map is a linear isomorphism between the 4-dimensional operator algebra (spanned by the identity and Pauli matrices) and the 4-dimensional space of functions on S² spanned by {1, n_x, n_y, n_z}. The star product is induced by operator composition, so it necessarily closes exactly on this space with no higher-order terms, reproducing the complex quaternion relations. We will add to the revised §3 an explicit evaluation of the integral for σ_i * σ_j using the kernel, confirming it equals δ_ij 1 + i ε_ijk σ_k, together with a short argument that associativity follows directly from operator associativity in this finite-dimensional setting. This will also make the projection onto the relevant span fully explicit. revision: yes
-
Referee: [§4] §4 (Star exponentials and propagator): the derivation of the propagator via star exponentials assumes the star product is an algebra homomorphism under the Stratonovich-Weyl map. A direct check that symbol(Op(f) Op(g)) = f * g holds for the Pauli symbols (or their linear combinations) is required; without it, the equivalence to the coherent-state path integral and the claim that dynamics is expressed “entirely in phase space” rests on an unverified step.
Authors: The star product is defined precisely so that the Stratonovich-Weyl map is an algebra homomorphism by construction: the symbol of the operator product Op(f) Op(g) is the star product f * g. Because the star product on the basis {1, σ_i} is verified to close exactly (as addressed in the response to the first comment), the homomorphism property extends immediately to all linear combinations, including the Pauli symbols. To make this fully transparent, we will insert in the revised §4 a direct verification for products of Pauli symbols, confirming symbol(Op(f) Op(g)) = f * g. This step supports the star-exponential propagator and the equivalence with the coherent-state path integral. revision: yes
Circularity Check
No circularity: standard Stratonovich-Weyl construction yields star product as derived result
full rationale
The derivation begins from the established coadjoint orbit geometry of SU(2) and the Stratonovich-Weyl correspondence, which are external to the paper. The star product is then defined via the integral kernel on the sphere and shown to reproduce the complexified quaternion algebra; this reproduction is a verification step, not an input definition. No parameter fitting, self-citation chains, or ansatz smuggling appear in the abstract or described chain. The star-exponential dynamics and path-integral equivalence are presented as consequences of the same construction. The overall argument remains self-contained and externally benchmarkable against known spin-j=1/2 quantization results.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Coadjoint orbits of SU(2) provide the phase space for qubit states
- domain assumption Stratonovich-Weyl correspondence yields a consistent deformation quantization on the sphere
Reference graph
Works this paper leans on
-
[1]
T. L. Curtright, D. B. Fairlie and C. K. Zachos,A Concise Treatise on Quantum Mechanics in Phase Space(World Scientific, 2014)
work page 2014
-
[2]
R. P. Rundle and M. J. Everitt,Overview of the Phase Space Formulation of Quan- tum Mechanics with Application to Quantum Technologies, Adv. Quant. Tech.4, 2100016 (2021)
work page 2021
- [3]
-
[4]
A. F. Bobadilla and J. A. R. Cembranos,Deformation quantization in FLRW geometries, Eur. Phys. J. C85, 516 (2025)
work page 2025
-
[5]
J. A. R. Cembranos,The Wigner formalism on black hole geometries, Eur. Phys. J. C85, 479 (2025). 15
work page 2025
-
[6]
J. C. Varilly and J. M. Gracia-Bondia,The Moyal Representation of Spin, Ann. Phys190, 107 (1989)
work page 1989
-
[7]
S. Heiss and S. Weigert,Discrete Moyal-type representations for a spin, Phys. Rev. A63, 012105 (2000)
work page 2000
-
[8]
T. Tilma, M.J. Everitt, J.H. Sampson, W.J. Munro, K. Nemoto,Wigner functions for arbitrary quentum systems, Phys. Rev. Lett. 117, 180401 (2006)
work page 2006
-
[9]
A. B. Klimov and P. Espinoza,Moyal-like form of the star product for generalized SU(2) Stratonovich-Weyl symbols, J. Phys. A: Math. Gen.35, 8435 (2002)
work page 2002
-
[10]
B Klimov and C Mu˜ noz,Discrete Wigner function dynamics, J
A. B Klimov and C Mu˜ noz,Discrete Wigner function dynamics, J. Opt. B: Quantum Semiclass. Opt.7, S588 (2005)
work page 2005
-
[11]
J. M. Souriau,Structure of Dynamical Systems, (Birkh¨ auser, 1997)
work page 1997
-
[12]
A. A. Kirillov,Lectures on the Orbit Method(American Mathematical Society, Philadelphia, 2004)
work page 2004
-
[13]
Kontsevich,Deformation quantization of Poisson manifolds, Lett
M. Kontsevich,Deformation quantization of Poisson manifolds, Lett. Math. Phys. 66157-216 (2003)
work page 2003
-
[14]
L. Auslander and B. Kostant,Quantization and representations of solvable Lie groups, Bull. Amer, Math. Soc.73692 (1967)
work page 1967
-
[15]
A. A. Kirillov,Unitary Representations of Nilpotent Lie Groups, Russ. Math. Sur.1753, (1962)
work page 1962
-
[16]
D. A. Vogan,Review of ”Lectures on the Orbit Method”by A. A. Kirillov, 2005. Bull. Amer. Math. Soc.42(2005)
work page 2005
-
[17]
B. C. Hall,Lie Groups, Lie Algebras and Representations, (Springer, Berlin, 2015)
work page 2015
-
[18]
Vaisman,Lectures on the Geometry of Poisson Manifolds, (Springer, Berlin, 1994)
I. Vaisman,Lectures on the Geometry of Poisson Manifolds, (Springer, Berlin, 1994)
work page 1994
-
[19]
R. L. Stratonovich,On distributions in representation space, Zh. Eksp. Teor. Fiz. 31, 1012 (1956)
work page 1956
-
[20]
J. J. Sakurai,Modern quantum mechanics(Addison-Wesley, Philadelphia, 1994)
work page 1994
-
[21]
Perelomov,Generalized Coherent States and their Applications(Springer- Verlag, Berlin, 1986)
A. Perelomov,Generalized Coherent States and their Applications(Springer- Verlag, Berlin, 1986)
work page 1986
-
[22]
T. Tilma and K. Nemoto,SU(N)-symmetric quasi-probability distribution functions, J. Phys. A: Math. Theor.45, 015302 (2012). 16
work page 2012
-
[23]
Lounesto,Clifford Algebras and Spinors, (Cam,bridge University Press, Lon- don, 1997)
P. Lounesto,Clifford Algebras and Spinors, (Cam,bridge University Press, Lon- don, 1997)
work page 1997
-
[24]
Girard,Quaternions, Clifford Algebras and Relativistic Physics(Birkhauser, 2004)
P. Girard,Quaternions, Clifford Algebras and Relativistic Physics(Birkhauser, 2004)
work page 2004
-
[25]
S. De Leo, and W. A. Rodrigues,Quantum mechanics: from complex to complex- ified quaternions, Int. J. Theor. Phys.362725–2757 (1997)
work page 1997
-
[26]
C. Cohen-Tannoudji, B. Diu and F. Lalo¨ e,Quantum MechanicsVol. I & II, (Wiley, New York, 2005)
work page 2005
-
[27]
J. Berra-Montiel, H. Garc´ ıa-Compe´ an and A. Molgado,Star exponentials from propagators and path integrals, Ann. Phys.468, 169744 (2024)
work page 2024
- [28]
-
[29]
J. Berra-Montiel, H. Garc´ a-Compe´ an and A. Molgado,The Feynman-Kac formula in deformation quantization, Eur. Phys. J. Plus140, 9, 881 (2025)
work page 2025
-
[30]
J. Berra-Montiel, D. Contreras-Bear, A. Molgado and M. S´ anchez-C´ ordova,Star exponential of time-dependent harmonic oscillators, Eur. Phys. J. Plus141, 3, 299 (2026)
work page 2026
-
[31]
J. Berra-Montiel, H. Garc´ ıa-Compe´ an, A. Kafuri and A. Molgado,Star- exponential for Fermi systems and the Feynman-Kac formula,arXiv:2603.03558 (2026)
-
[32]
C. Gerry and P. L. Knight,Introductory Quantum Optics, (Cambridge University Press, 2005)
work page 2005
-
[33]
N. M. J. Woodhouse,Geometric Quantization, (Oxford University Press, 1992)
work page 1992
-
[34]
Arvanitoyeorgos,Geometry of Flag Manifolds, Int
A. Arvanitoyeorgos,Geometry of Flag Manifolds, Int. J. Geom. Meth. Mod. Phys.3, 05 (2006). 17
work page 2006
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.