---
title: Schoenberg Parameters Overview
url: https://www.emergentmind.com/topics/schoenberg-parameters
type: topic
---

# Schoenberg Parameters Overview

Schoenberg parameters are parameter systems arising in several lines of work initiated by I. J. Schoenberg. In contemporary usage, the phrase does not denote a single invariant; rather, it refers to explicit coefficient sets, node systems, or generator data that appear in Schoenberg-type characterizations of total positivity, positive definite kernels, polynomial critical-point inequalities, approximation operators, and noncommutative positivity. In the most classical analytic setting, they are the parameters in the Hadamard factorization of a Laguerre–Pólya entire function associated with a totally positive function by Laplace transform [2007.12889].

## 1. Range of meanings

In the cited literature, “Schoenberg parameters” denotes several technically distinct objects.

| Context | Parameters | Role |
|---|---|---|
| Totally positive functions | $(C,\gamma,\delta,(\delta_j))$ with $m$ in the factorization of $\Psi$ | Parametrize Laguerre–Pólya functions and totally positive functions |
| Positive definite kernels on spheres | $a_k$, $a_{k,l}$, $b_{n,d}$, $\varphi_{n,d}$ | Coefficients or function-valued coefficients in Gegenbauer expansions |
| Toeplitz total positivity | $(\gamma,\boldsymbol{\alpha},\boldsymbol{\beta})$ | Edrei–Schoenberg factorization of totally nonnegative Toeplitz symbols |
| Polynomial geometry | $C_p$, or the $b_k$ in $P'(z)=d\prod(z-b_k)$ | Sharp constants or derivative-root parameters |
| Approximation operators | $\zeta_i$ | Sampling nodes in Schoenberg and CCC-Schoenberg operators |

This distribution of meanings is explicit in the literature on totally positive functions [2007.12889], products of spheres [1503.08174], sphere–group kernels [1505.05682], Toeplitz parametrizations [2509.25163], Schoenberg type inequalities [2508.10341], and CCC-Schoenberg operators [2103.07299]. A plausible implication is that the term now functions as a family resemblance notion: it marks explicit coordinate systems attached to positivity-preserving structures rather than a single universal definition.

## 2. Totally positive functions and Laguerre–Pólya factorization

For a function $\Lambda:\mathbb{R}\to\mathbb{R}$, total positivity means that for every $n\in\mathbb{N}$ and all strictly increasing sequences $x_1<\cdots<x_n$ and $y_1<\cdots<y_n$, one has
\[
\det\Big(\Lambda(x_j-y_k)\Big)_{j,k=1}^n\ge 0.
\]
If $\Lambda$ is also integrable, it is a Pólya frequency function [2007.12889].

Schoenberg’s fundamental theorem identifies the Laplace transforms of Pólya frequency functions with reciprocals of Laguerre–Pólya entire functions. If $\Lambda$ is totally positive and integrable, then
\[
\int_{-\infty}^{\infty}\Lambda(x)e^{-sx}\,dx=\frac{1}{\Psi(s)}
\]
in a vertical strip, where $\Psi$ is an entire function in the Laguerre–Pólya class with $\Psi(0)>0$; conversely, every such reciprocal Laplace transform comes from an integrable totally positive function [2007.12889].

The associated factorization is
\[
\Psi(s)=C s^m e^{-\gamma s^2+\delta s}\prod_{j=1}^\infty (1+\delta_j s)e^{-\delta_j s},
\]
with
\[
C>0,\qquad m\in\mathbb{N}_0,\qquad \gamma\ge 0,\qquad \delta,\delta_j\in\mathbb{R},\qquad \sum_{j=1}^\infty \delta_j^2<\infty.
\]
The paper describes the real parameters $(C,\gamma,\delta,(\delta_j)_j)$ as a parametrization by the set $(0,\infty)\times\mathbb{R}\times\ell^2(\mathbb{Z})$, and states that these parameters uniquely encode all totally positive functions via the Laplace transform relationship [2007.12889]. In the Fourier domain the same data appear in
\[
\hat{\Lambda}(\tau)=C e^{-\gamma \tau^2+2\pi i \delta \tau}\prod_{j=1}^\infty (1+2\pi i \delta_j \tau)^{-1}e^{2\pi i \delta_j \tau}.
\]

A one-sided version holds for functions supported on $[0,\infty)$:
\[
\Psi(s)=C e^{\delta s}\prod_{j=1}^\infty (1+\delta_j s),
\]
with $\delta_j\ge 0$ and $\sum \delta_j<\infty$ [2007.12889]. The same paper emphasizes the variation diminishing property of Pólya frequency functions and an operator-theoretic characterization via $p\mapsto 1/\Psi(D)p$, which is zero-decreasing.

The number-theoretic significance is that the completed Riemann $\Xi$-function belongs to the Laguerre–Pólya class exactly when the Riemann hypothesis holds. Schoenberg’s theorem then yields the equivalence: the Riemann hypothesis holds if and only if there exists a Pólya frequency function $\Lambda$ such that
\[
\frac{1}{\Xi(s)}=\int_{-\infty}^{\infty}\Lambda(x)e^{-sx}\,dx
\]
for $|\mathrm{Re}\,s|<t_0$, where $t_0$ is the imaginary part of the first zero of $\zeta$ on the critical line; equivalently,
\[
\Lambda(x)=\frac{1}{2\pi}\int_{-\infty}^{\infty}\frac{1}{\xi(\frac12+\tau)}e^{-ix\tau}\,d\tau
\]
is a Pólya frequency function if and only if the Riemann hypothesis holds [2007.12889].

## 3. Positive definite kernels on spheres and groups

In Schoenberg’s theorem for a single sphere, a continuous isotropic positive definite kernel on $S^m$ has isotropic part
\[
g(t)=\sum_{k=0}^{\infty} a_k P_k^m(t),\qquad t\in[-1,1],
\]
with $a_k\ge 0$ and
\[
\sum_{k=0}^{\infty} a_k P_k^m(1)<\infty.
\]
The coefficients $a_k$ are called Schoenberg’s parameters in the product-of-spheres literature [1503.08174].

On $S^m\times S^M$, the corresponding characterization is
\[
f(t,s)=\sum_{k=0}^{\infty}\sum_{l=0}^{\infty} a_{k,l}P_k^m(t)P_l^M(s),
\]
where $a_{k,l}\ge 0$ and
\[
\sum_{k=0}^{\infty}\sum_{l=0}^{\infty} a_{k,l}P_k^m(1)P_l^M(1)<\infty.
\]
Thus the single-index coefficients become doubly indexed coefficients $a_{k,l}$, which the paper presents as the generalized Schoenberg parameters for products of spheres [1503.08174]. For $S^\infty\times S^M$ and $S^\infty\times S^\infty$, Gegenbauer polynomials are replaced by monomials:
\[
f(t,s)=\sum_{k,l\ge 0} a_{k,l} t^k P_l^M(s),\qquad
f(t,s)=\sum_{k,l\ge 0} a_{k,l} t^k s^l.
\]

For isotropic positive definite kernels on a single sphere, the normalized expansion
\[
\psi(\theta)=\sum_{n=0}^{\infty} b_{n,d}\frac{C_n^\lambda(\cos\theta)}{C_n^\lambda(1)},\qquad \lambda=\frac{d-1}{2},
\]
defines the $d$-Schoenberg coefficients $b_{n,d}$; when $\psi(0)=1$, the sequence $\{b_{n,d}\}_{n\ge 0}$ is a probability mass function [1807.02363]. The same paper gives the integral formula
\[
b_{n,d}=\frac{(n+\lambda)\Gamma(\lambda)}{\Gamma(\lambda+1/2)\Gamma(1/2)}
\int_0^\pi C_n^\lambda(\cos\theta)\psi(\theta)(\sin\theta)^{2\lambda}\,d\theta,
\]
and, for $d=1$, identifies the $1$-Schoenberg coefficients with Fourier coefficients. It also provides explicit formulas expressing $d$-Schoenberg coefficients as linear combinations of $1$-Schoenberg coefficients and uses them to study the exponential and Askey families, together with lower bounds for curvature at the origin of locally supported kernels [1807.02363].

A further extension replaces scalar coefficients by positive definite functions on a locally compact group $G$. For $f:[-1,1]\times G\to\mathbb{C}$ with
\[
K(\xi,u;\eta,v)=f(\xi\cdot\eta,u^{-1}v),
\]
positive definiteness on $(S^d\times G)\times(S^d\times G)$ is equivalent to an expansion
\[
f(\cos\theta,u)=\sum_{n=0}^{\infty}\varphi_{n,d}(u)\,C_n^{(d)}(\cos\theta),
\]
where each $\varphi_{n,d}$ is a continuous positive definite function on $G$ and $\sum_{n=0}^\infty \varphi_{n,d}(e)<\infty$ [1505.05682]. The sequence $(\varphi_{n,d})_{n\ge 0}$ is called the $d$-Schoenberg sequence of functions, or the $d$-Schoenberg functions. For $S^\infty\times G$ the expansion becomes
\[
f(\cos\theta,u)=\sum_{n=0}^{\infty}\varphi_n(u)(\cos\theta)^n.
\]

## 4. Toeplitz total positivity and asymptotic representation theory

For an infinite normalized upper-triangular Toeplitz matrix with generating series
\[
1+c_1x+c_2x^2+c_3x^3+\dots,
\]
Edrei’s theorem gives the factorization
\[
1+c_1x+c_2x^2+c_3x^3+\dots
=
e^{\gamma x}\prod_{i=1}^\infty \frac{1+\beta_i x}{1-\alpha_i x},
\]
where $\gamma\ge 0$, the sequences $\boldsymbol{\alpha}=(\alpha_i)$ and $\boldsymbol{\beta}=(\beta_j)$ are nonnegative, monotonically decreasing, and satisfy $\sum(\alpha_i+\beta_j)<\infty$ [2509.06944]. In this setting, the pairs of sequences $(\boldsymbol{\alpha},\boldsymbol{\beta})$ are the Schoenberg parameters, and nonzero parameters correspond to the roots and poles of the naturally associated generating function [2509.25163].

These parameters are central in the classification of characters of the infinite symmetric group. Thoma’s theorem identifies the extremal characters of $S_\infty$ using the same parameter pairs, now constrained by
\[
\sum_i \alpha_i+\sum_j \beta_j\le 1,
\]
and the cycle values are
\[
\chi((1\ldots k))=\sum_{i=1}^{\infty}\alpha_i^k+(-1)^{k+1}\beta_i^k
\]
[2509.25163]. Vershik–Kerov then interpret the same data asymptotically through normalized Frobenius coordinates of Young diagrams:
\[
\alpha_i=\lim_{n\to\infty}\frac{a_i^{(n)}}{n},\qquad
\beta_j=\lim_{n\to\infty}\frac{b_j^{(n)}}{n}
\]
[2509.25163].

Recent work describes two further asymptotic realizations through quantum cohomology of the flag variety. If $d_i^{(n+1)}$ are diagonal parameters extracted from minors of finite totally positive Toeplitz truncations, then
\[
\lim_{n\to\infty}\sqrt[n]{d_i^{(n+1)}}=\alpha_i,\qquad
\lim_{n\to\infty}\sqrt[n]{d_{n+2-j}^{(n+1)}}=\beta_j.
\]
Similarly, for normalized quantum parameters $q_i^{(n+1)}$,
\[
\lim_{n\to\infty}\sqrt[n]{q_i^{(n+1)}}=\frac{\alpha_{i+1}}{\alpha_i},
\qquad
\lim_{n\to\infty}\sqrt[n]{q_{n+1-j}^{(n+1)}}=\frac{\beta_{j+1}}{\beta_j}
\]
[2509.25163].

The tropical analogue replaces positive reals by a valued semifield. In that setting the tropical Schoenberg parameters are weakly increasing sequences $(A_i)$ and $(B_j)$, and the infinite tropical Toeplitz data are recovered by
\[
M_{ij}=\min(A_i,B_j).
\]
The paper proves an asymptotic relation between finite tropical parameters and tropicalizations of the Schoenberg parameters, and identifies the finite tropical parametrization map with Lusztig’s weight map [2509.06944]. This suggests that the classical Schoenberg parameters admit parallel analytic, asymptotic, and tropical realizations.

## 5. Polynomial geometry and Schoenberg type inequalities

In the geometry of polynomials, Schoenberg’s original inequality concerns a polynomial of degree $n$ with zeros $z_1,\dots,z_n$ and critical points $w_1,\dots,w_{n-1}$ under the centroid condition $\sum_{j=1}^n z_j=0$. The quadratic form is
\[
\sum_{k=1}^{n-1}|w_k|^2\le \frac{n-2}{n}\sum_{j=1}^{n}|z_j|^2,
\]
and the centroid-free form is
\[
\sum_{k=1}^{n-1}|w_k|^2\le \sum_{j=1}^{n}|z_j|^2-\frac1n\left|\sum_{j=1}^{n} z_j\right|^2
\]
[2504.09837].

In this literature, “Schoenberg parameters” can denote the sharp constants in inequalities of the form
\[
\sum_{k=1}^{n-1}|w_k|^p\le C_p \sum_{j=1}^{n}|z_j|^p
\]
under the centroid condition [2508.10341]. An interpolation-based treatment yields the sharp constants
\[
C_p=\frac{n-2}{n}\quad (p\ge 2),\qquad
C_p=\left(\frac{n-2}{n}\right)^{p/2}\quad (1\le p\le 2),
\]
thereby extending the theory to all $p\ge 1$ [2508.10341]. The same line of work reports a new proof of the order-$1$ inequality and states that the result completely resolves an open problem posed by Kushel and Tyaglov.

Complementary results establish an order-six Schoenberg type inequality and a novel order-one inequality. Under $\sum z_j=0$,
\[
\sum_{k=1}^{n-1}|w_k|\le \sqrt{(n-2)\sum_{j=1}^n |z_j|^2},
\]
and an explicit sextic inequality is given with equality if and only if all zeros are collinear [2504.09837]. The same paper also derives a majorization-based inequality for elementary symmetric functions,
\[
e_k(|w|)\le \frac{n-k}{n}e_k(|z|),\qquad k=1,\dots,n-1,
\]
and connects the resulting estimates to Sendov’s conjecture [2504.09837].

A different noncommutative usage occurs in the C$^*$-algebraic Schoenberg conjecture. If
\[
P(z)=(z-a_1)\cdots(z-a_d),\qquad
P'(z)=d(z-b_1)\cdots(z-b_{d-1}),
\]
with $a_j,b_k\in\mathcal A$, then the elements $b_1,\dots,b_{d-1}$ are called the Schoenberg parameters for the derivative [2206.06653]. The conjectured inequalities are
\[
\sum_{k=1}^{d-1}b_kb_k^*\le \frac1{d^2}\Big[\sum_{j=1}^{d}a_j\Big]\Big[\sum_{j=1}^{d}a_j\Big]^*
+\frac{d-2}{d}\sum_{j=1}^{d}a_ja_j^*
\]
and
\[
\sum_{k=1}^{d-1}b_k^*b_k\le \frac1{d^2}\Big[\sum_{j=1}^{d}a_j\Big]^*\Big[\sum_{j=1}^{d}a_j\Big]
+\frac{d-2}{d}\sum_{j=1}^{d}a_j^*a_j.
\]
The paper proves the conjecture for degree $2$, where equality holds [2206.06653].

## 6. Operators, noncommutative correspondences, and applied extensions

In approximation theory, the classical Schoenberg operator
\[
S_{n,k}f(x)=\sum_{j=-k}^{n-1} f(\xi_{j,k})N_{j,k}(x)
\]
is built from Greville nodes $\xi_{j,k}$ and normalized B-splines $N_{j,k}$ on equidistant knots [1312.5546]. The same paper lists parameters associated with the operator: the mesh width $h=1/n$, the stability constant $d_k$, and the quantity $\varepsilon_{n,k}$ computed from B-spline differences. These govern estimates such as the lower bound
\[
M\cdot \omega_2(f,t)\le \|f-S_{n,k}f\|_\infty
\]
and the equivalence
\[
M_1\cdot \omega_2(f,t)\le \|f-S_{n,k}f\|_\infty\le M_2\cdot \omega_2(f,t)
\]
for the second order modulus of smoothness [1312.5546].

For CCC-splines, the CCC-Schoenberg operator is
\[
S[f](x):=\sum_{i=1}^n f(\zeta_i)T_i^k(x),
\]
and the nodes
\[
a=\zeta_1<\zeta_2<\cdots<\zeta_n=b
\]
are explicitly called the Schoenberg parameters [2103.07299]. They are usually taken as CCC-Greville points, although any strictly increasing sequence with the stated support property may be used if the operator reproduces $\mathrm{span}\{1,u_2\}$. Their placement controls approximation, shape preservation, and quasi-collocation error bounds such as
\[
\|f-S[f]\|_\infty\le C\,\bar h^2,\qquad
\|s-y\|_\infty\le \bar C_S\,\bar h^2
\]
[2103.07299].

Several noncommutative generalizations retain the same parametrizing role. For generalized Schur products, the noncommutative Schoenberg theorem states that a positivity-preserving noncommutative function on Schur spectral contractions must have a power-series expansion
\[
f(X)=\sum_\alpha c_\alpha X^\alpha,\qquad c_\alpha\ge 0,
\]
so the coefficients $c_\alpha$ are the decisive positivity parameters [1907.04480]. For semigroups on cones of $k$-positive, $k$-superpositive, or $k$-entanglement breaking maps, the generator condition
\[
\forall \varphi\in C^*,\ \varphi(T_0)=0 \implies \varphi(S)\ge 0
\]
is described as a Schoenberg parameterization of the generator $S$ [2301.10679]. On dual groups, Schoenberg correspondence identifies conditionally positive functionals $\psi$ as generators of convolution semigroups of states through
\[
\varphi_t=\exp_\star^{t\psi},
\]
with convolution exponential defined by
\[
\exp_\star(\psi)=\sum_{n=0}^{\infty}\frac{\psi^{\star n}}{n!}
\]
[1210.1830].

In robust statistics, Schoenberg transformations
\[
\varphi(D)=\int_0^\infty \frac{1-e^{-\lambda D}}{\lambda}g(\lambda)\,d\lambda
\]
act on squared Euclidean distances, and the parameters of the family—either the measure $g(\lambda)$ or special-case scalars such as $q$, $\delta$, or $\lambda$—are explicitly called Schoenberg parameters [1102.4359]. Examples include the power transform $\varphi(D)=D^q$ with $0<q<1$, the exponential transform $\varphi(D)=1-e^{-D/\delta}$, and the logarithmic transform $\varphi(D)=\ln(1+D/\delta)$. These parameters determine the transformed inertia
\[
\Gamma(a)=\sum_{i=1}^n f_i\varphi(D_{ia}),
\]
the weights
\[
\alpha_i=\frac{f_i\varphi'(D_{ia})}{\sum_j f_j\varphi'(D_{ja})},
\]
and the transition between distributed and concentrated regimes of robust location estimates [1102.4359].

Across these settings, Schoenberg parameters serve as explicit coordinates on positivity phenomena: they encode total positivity, positive definiteness, spectral generators, approximation nodes, or sharp contraction constants. This suggests a unifying editorial description: Schoenberg parameters are the data that make Schoenberg-type classification theorems concrete.

Source: https://www.emergentmind.com/topics/schoenberg-parameters