Segal–Bargmann Representation

• Segal–Bargmann representation is a unitary integral transform mapping L² functions on real spaces to holomorphic functions on their complexification with Gaussian weights.
• It underpins the Bargmann–Fock space by providing a holomorphic model for quantum operators, linking position and momentum through analytic continuation.
• Extensions include q-deformation, superalgebraic, and Clifford adaptations, broadening its applications in noncommutative probability, quantum information, and Lie group analysis.

The Segal–Bargmann representation, also known as the Segal–Bargmann transform, is a fundamental unitary integral transform that intertwines square-integrable functions on a real (or more generally, Riemannian or symmetric) space with holomorphic functions on its complexification, typically under a Gaussian-type measure. It provides a holomorphic model for the Schrödinger (quantum mechanical) Hilbert space and is central in the geometric and analytic theory of minimal and highest weight representations of Lie groups, as well as in quantization, signal analysis, and quantum information.

1. Classical Segal–Bargmann Transform and Bargmann–Fock Space

Let $H \cong \mathbb{R}^n$, and let $\gamma_t(dx) = (2\pi t)^{-n/2} e^{-|x|^2/(2t)}dx$ be the Gaussian measure of variance $t>0$. The classical (one-parameter) Segal–Bargmann transform $S_t$ is defined for $f \in L^2(H,\gamma_t)$ by

$$(S_t f)(z) = \int_H \exp\left(z \cdot x - \tfrac12 |z|^2 - \tfrac12 |x|^2\right) f(x) (2\pi)^{-n/2} dx,$$

yielding an entire function $F(z)$ on $H^{\mathbb{C}} \cong \mathbb{C}^n$. $S_t$ is a unitary isomorphism onto the so-called Bargmann–Fock space of holomorphic $L^2$-functions on $\gamma_t(dx) = (2\pi t)^{-n/2} e^{-|x|^2/(2t)}dx$0 with Gaussian weight, with reproducing kernel $\gamma_t(dx) = (2\pi t)^{-n/2} e^{-|x|^2/(2t)}dx$1 (Bernstein et al., 2021, Chabaud et al., 2021, Benahmadi et al., 2016).

The transform realizes position operators $\gamma_t(dx) = (2\pi t)^{-n/2} e^{-|x|^2/(2t)}dx$2 and momenta $\gamma_t(dx) = (2\pi t)^{-n/2} e^{-|x|^2/(2t)}dx$3 as multiplication and differentiation on holomorphic functions: $\gamma_t(dx) = (2\pi t)^{-n/2} e^{-|x|^2/(2t)}dx$4 furnishing a holomorphic model for the bosonic Fock representation.

2. Extensions to Lie Groups, Symmetric Spaces, and Jordan Algebras

2.1. Compact and Noncompact Symmetric Spaces

For a compact symmetric space $\gamma_t(dx) = (2\pi t)^{-n/2} e^{-|x|^2/(2t)}dx$5, the Segal–Bargmann (heat) transform $\gamma_t(dx) = (2\pi t)^{-n/2} e^{-|x|^2/(2t)}dx$6 is defined by analytically continuing $\gamma_t(dx) = (2\pi t)^{-n/2} e^{-|x|^2/(2t)}dx$7 (where $\gamma_t(dx) = (2\pi t)^{-n/2} e^{-|x|^2/(2t)}dx$8 is the Laplace–Beltrami operator) from $\gamma_t(dx) = (2\pi t)^{-n/2} e^{-|x|^2/(2t)}dx$9 to its complexification $t>0$0. $t>0$1 is a unitary isomorphism from $t>0$2 to a Hilbert space of holomorphic functions on $t>0$3 with a $t>0$4-invariant measure induced by the analytic continuation of the heat kernel. This transforms rigidly under direct limits and propagations (chains) of symmetric spaces (Olafsson et al., 2011). Analogously, on odd-dimensional real hyperbolic spaces $t>0$5, the Segal–Bargmann transform is analytic continuation of the heat-evolved function, with unitarity governed by an unwrapped spherical heat-kernel density (potentially meromorphic in tube radii) (Hall et al., 2015).

2.2. Minimal Representations and Hermitian Lie Groups

In the context of Hermitian Lie groups of tube type $t>0$6, the Segal–Bargmann transform arises as an explicit intertwiner between the Schrödinger realization $t>0$7 on a real minimal $t>0$8-orbit $t>0$9 and a Fock model $S_t$0 on holomorphic functions over the minimal nilpotent $S_t$1-orbit $S_t$2 in the complexified Cartan algebra (Hilgert et al., 2012, Möllers, 2012). The Fock space $S_t$3 is a reproducing kernel Hilbert space with inner product weighted by a $S_t$4-Bessel function: $S_t$5 and the reproducing kernel is expressed via renormalized $S_t$6-Bessel functions: $S_t$7 The generalized Segal–Bargmann transform is given by

$S_t$8

unitarily intertwining the Schrödinger and Fock models at the level of $S_t$9-representations.

3. Segal–Bargmann Representation in Superalgebraic and Clifford Settings

3.1. Lie Supergroups and Super Fock Models

For the orthosymplectic Lie superalgebra $f \in L^2(H,\gamma_t)$0, the minimal representation admits both a Schrödinger model on a superdomain and a Fock model on holomorphic superpolynomials modulo the quadratic ideal (Barbier et al., 2020). The generalized Segal–Bargmann transform intertwines these two, with explicit kernel expressions involving super-Bessel functions, extending the orbit–intertwining picture to supersymmetric settings. Similarly, for the metaplectic Lie supergroup $f \in L^2(H,\gamma_t)$1, one constructs a super Segal–Bargmann transform providing a unitary isomorphism between the super Schrödinger and Fock models, with Berezin–Lebesgue measures and supercreation/annihilation operators (Claerebout, 2023).

3.2. Clifford and Partial-Slice Monogenic Extensions

The Segal–Bargmann transform admits a Clifford-valued generalization acting on $f \in L^2(H,\gamma_t)$2, mapping to the Fock module of holomorphic Clifford–algebra–valued functions on $f \in L^2(H,\gamma_t)$3, with reproducing kernel $f \in L^2(H,\gamma_t)$4 and isometric up to a known normalization (Bernstein et al., 2021). Further, in the context of generalized partial-slice monogenic functions (unifying slice monogenic and monogenic function theories over Clifford algebras), the Segal–Bargmann transform is expressed via the generalized Cauchy–Kovalevskaya extension: $f \in L^2(H,\gamma_t)$5 where $f \in L^2(H,\gamma_t)$6 is the generalized slice-extended exponential, and is unitary into the space of squared-integrable generalized partial-slice monogenic functions with Gaussian weight (Xu et al., 2024).

4. Deformations and Large-$f \in L^2(H,\gamma_t)$7 Limits: $f \in L^2(H,\gamma_t)$8-Deformation and Free Probability

4.1. $f \in L^2(H,\gamma_t)$9-Deformed Segal–Bargmann Transform

The $$(S_t f)(z) = \int_H \exp\left(z \cdot x - \tfrac12 |z|^2 - \tfrac12 |x|^2\right) f(x) (2\pi)^{-n/2} dx,$$0-deformed Segal–Bargmann transform acts on the $$(S_t f)(z) = \int_H \exp\left(z \cdot x - \tfrac12 |z|^2 - \tfrac12 |x|^2\right) f(x) (2\pi)^{-n/2} dx,$$1-Fock space constructed from $$(S_t f)(z) = \int_H \exp\left(z \cdot x - \tfrac12 |z|^2 - \tfrac12 |x|^2\right) f(x) (2\pi)^{-n/2} dx,$$2-Gaussian variables, with creation and annihilation operators satisfying $$(S_t f)(z) = \int_H \exp\left(z \cdot x - \tfrac12 |z|^2 - \tfrac12 |x|^2\right) f(x) (2\pi)^{-n/2} dx,$$3, and $$(S_t f)(z) = \int_H \exp\left(z \cdot x - \tfrac12 |z|^2 - \tfrac12 |x|^2\right) f(x) (2\pi)^{-n/2} dx,$$4-Hermite polynomials serving as orthogonal eigenfunctions. The $$(S_t f)(z) = \int_H \exp\left(z \cdot x - \tfrac12 |z|^2 - \tfrac12 |x|^2\right) f(x) (2\pi)^{-n/2} dx,$$5-Segal–Bargmann transform is given by

$$(S_t f)(z) = \int_H \exp\left(z \cdot x - \tfrac12 |z|^2 - \tfrac12 |x|^2\right) f(x) (2\pi)^{-n/2} dx,$$6

where $$(S_t f)(z) = \int_H \exp\left(z \cdot x - \tfrac12 |z|^2 - \tfrac12 |x|^2\right) f(x) (2\pi)^{-n/2} dx,$$7 is the $$(S_t f)(z) = \int_H \exp\left(z \cdot x - \tfrac12 |z|^2 - \tfrac12 |x|^2\right) f(x) (2\pi)^{-n/2} dx,$$8-Hermite generating function, and $$(S_t f)(z) = \int_H \exp\left(z \cdot x - \tfrac12 |z|^2 - \tfrac12 |x|^2\right) f(x) (2\pi)^{-n/2} dx,$$9 is the $F(z)$0-Gaussian measure. $F(z)$1 is unitary onto a reproducing kernel Hilbert space with $F(z)$2-deformed kernel $F(z)$3 (Cébron et al., 2017).

4.2. Random Matrix and Free Limits

Sniady's random matrix models show that the classical (matrix-valued) Segal–Bargmann transform converges in the large-$F(z)$4 limit to the $F(z)$5-deformed Segal–Bargmann transform for $F(z)$6-Gaussian variables, yielding convergence in Hilbert–Schmidt norm for polynomial observables. Mixtures of classical and free Segal–Bargmann transforms (with random $F(z)$7 commutation) also interpolate to the $F(z)$8-deformed transform, providing a central limit framework connecting classical, free, and $F(z)$9-deformed noncommutative probability (Cébron et al., 2017).

5. Segal–Bargmann Transform on Higher Rank, Spheres, and Compact Groups

On compact groups and symmetric spaces, the Segal–Bargmann transform is the analytic continuation (in suitable coordinates) of heat-evolved functions to the complexification, with the image being a reproducing-kernel Hilbert space of holomorphic functions with inner product determined by heat-kernel analytic continuation (Olafsson et al., 2011). For the unitary group $H^{\mathbb{C}} \cong \mathbb{C}^n$0, the two-parameter Segal–Bargmann transform is formulated via the heat operator on $H^{\mathbb{C}} \cong \mathbb{C}^n$1, and in the large-$H^{\mathbb{C}} \cong \mathbb{C}^n$2 limit, it converges to the “free Hall transform” characteristic of free probability (Driver et al., 2013). On large spheres $H^{\mathbb{C}} \cong \mathbb{C}^n$3, the limit of the Segal–Bargmann transform is the infinite-dimensional flat-space Bargmann–Fock transform (Hermite heat operator followed by holomorphic extension), providing a geometric transition from curved compact models to the infinite-dimensional Gaussian case (Doan, 2022).

6. Unitarity, Inversion, and Reproducing Kernel Properties

The Segal–Bargmann transform is fundamentally unitary: it preserves the $H^{\mathbb{C}} \cong \mathbb{C}^n$4 norm between its domain (e.g., real $H^{\mathbb{C}} \cong \mathbb{C}^n$5 space, Schrödinger model, group $H^{\mathbb{C}} \cong \mathbb{C}^n$6 spaces) and its range (holomorphic or Fock model), typically with precise matching of measures (e.g., Gaussian, Berezin–Lebesgue, or orbital). The inversion is generally given by the adjoint or explicit integral expressions, depending on the kernel representation. The canonical reproducing property of the Bargmann–Fock space, inherited in all settings (scalar, Clifford, symmetric, or $H^{\mathbb{C}} \cong \mathbb{C}^n$7-deformed), ensures evaluation functionals are bounded and allows a dictionary between $H^{\mathbb{C}} \cong \mathbb{C}^n$8-basis (Hermite functions, polynomials) and orthonormal holomorphic/Fock bases (monomials, $H^{\mathbb{C}} \cong \mathbb{C}^n$9-Hermites, slice monogenics, etc.) (Bernstein et al., 2021, Xu et al., 2024, Hilgert et al., 2012).

7. Significance and Applications

The Segal–Bargmann representation enables explicit understanding of minimal and highest weight representations of Lie (super)groups, quantization of coadjoint and nilpotent orbits, and therewith the orbit method, geometric quantization, and the analytic structure of unitary representations (via Bessel kernels and Jordan algebraic structures) (Hilgert et al., 2012, Möllers, 2012). In mathematical physics and quantum information, it supplies the holomorphic formalism underpinning bosonic quantum computation, Gaussian and non-Gaussian hierarchy, and unified treatment of continuous and discrete variables (Chabaud et al., 2021). Its $S_t$0-deformed variances are central to noncommutative probability and quantum groups. The Bargmann–Fock correspondence in Clifford and slice-monogenic settings is vital for higher-spin field theory and geometric analysis (Bernstein et al., 2021, Xu et al., 2024).

In conclusion, the Segal–Bargmann representation and its variants provide a flexible and powerful analytic infrastructure for holomorphic models of $S_t$1-representation theory, geometric quantization, and quantum (and classical) harmonic analysis, intertwining group-theoretic, algebraic, and functional-analytic viewpoints in finite and infinite dimensions, and across classical, super, and noncommutative contexts.