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

# Tropical Schoenberg Parameters

Tropical Schoenberg parameters are the tropical counterparts of the classical Schoenberg–Edrei parameters for totally positive Toeplitz matrices. In the tropical theory developed for infinite upper-triangular Toeplitz data, they are encoded by a pair of monotone sequences \((\mathbf A,\mathbf B)\) with entries in \(\mathbb R\cup\{\infty\}\), and the associated tropical Toeplitz object is the min-ideal filling
\[
M_{ij}=\min(A_i,B_j).
\]
Their role is simultaneously structural and asymptotic: they tropicalize the classical root/pole parameters \((\boldalpha,\boldbeta)\) from Edrei’s factorization of Toeplitz generating functions, and they arise as normalized limits of finite Lusztig weights in large rank. This places them at the intersection of total positivity, tropical geometry, and canonical-basis parametrization theory [2509.25163], [2509.06944].

## 1. Classical origin in the Edrei–Schoenberg theorem

The starting point is the classical classification of infinite upper-triangular Toeplitz matrices. Given a sequence \(\mathbf c=(c_i)_{i\ge1}\), one considers the Toeplitz matrix
\[
u(\mathbf c)= \begin{pmatrix}
1 & c_1 & c_2 & c_3 & \cdots\\
  & 1 & c_1 & c_2 & \ddots\\
  &   & 1 & c_1 & \ddots\\
  &   &   & \ddots & \ddots
\end{pmatrix},
\]
equivalently \(u(\mathbf c)=\bigl(c_{i-j}\bigr)_{i,j\ge 1}\) with \(c_0=1\) and \(c_{-n}=0\) for \(n>0\). Its generating function is
\[
1+c_1x+c_2x^2+\cdots.
\]

Edrei’s theorem, originally conjectured by Schoenberg, states that total nonnegativity is equivalent to a factorization
\[
1+c_1x+c_2x^2+\cdots
=
e^{\gamma x}\prod_{i=1}^\infty \frac{1+\beta_i x}{1-\alpha_i x},
\]
for some \((\gamma,\boldalpha,\boldbeta)\in\Omega_S\), where \(\boldalpha=(\alpha_i)\) and \(\boldbeta=(\beta_i)\) are weakly decreasing, summable sequences of nonnegative real numbers. In this framework, \((\boldalpha,\boldbeta)\) are the Schoenberg parameters. They are the roots and poles in the factorization of the Toeplitz generating function, and they determine the matrix completely. When \(c_1=1\), one obtains the Thoma simplex normalization \(\gamma=1-\sum_i(\alpha_i+\beta_i)\) [2509.25163], [2509.06944].

The classical theory also contains an asymptotic interpretation due to Edrei. For totally positive Toeplitz matrices, certain standard coordinates \(m_{ij}\) built from minors converge in row and column directions to the Schoenberg parameters:
\[
\lim_{k\to\infty} m_{ik}=\alpha_i,
\qquad
\lim_{k\to\infty} m_{kj}=\beta_j.
\]
This asymptotic recovery mechanism is one of the templates for the tropical theory [2509.25163].

## 2. Tropicalization and the tropical Toeplitz locus

The tropical theory replaces positive reals by a valued positive semifield. In the formulation using generalized Puiseux series or positive continuous functions, the valuation is a semifield homomorphism
\[
Val:\mathcal R_{>0}\twoheadrightarrow \mathbb R
\]
satisfying
\[
Val(ab)=Val(a)+Val(b),
\qquad
Val(a+b)=\min(Val(a),Val(b)).
\]
For finite Toeplitz matrices the valued field \(\mathbb K\) of generalized Puiseux series is used, with \(Val\) equal to the lowest exponent. For the infinite theory, a new positive semifield \(\mathcal C_{>0}\subset C^0((0,\delta])\) is introduced, where \(Val(f)=F\) if \(\lim_{t\to0}t^{-F}f(t)\in\mathbb R_{>0}\). The infinite setting requires both a strong topology and a weak topology on \(\mathcal C_{>0}\) [2509.06944].

The finite positive geometry comes from the unipotent group \(U_+\subset SL_{n+1}\). In Lusztig’s standard positive chart,
\[
u=\prod_{(i,j)\in \mathcal S_{\le n+1}} x_{i+j-1}(m_{ij}),
\]
and tropicalization sends the standard coordinates to
\[
m_{ij}\mapsto M_{ij}=Val(m_{ij}).
\]

Within these tropical coordinates, the Toeplitz locus is characterized by the min-ideal condition
\[
M_{ij}=\min(M_{i+1,j},\,M_{i,j+1})
\]
for all interior positions. Equivalently, in root language,
\[
M_{\alpha+\beta}=\min(M_\alpha,M_\beta)
\qquad\text{whenever }\alpha+\beta\in R_+.
\]
This is the tropical analogue of the Toeplitz condition. The resulting tropical Toeplitz locus is canonical in the sense that it is independent of the choice of reduced word for \(w_0\) [2509.25163].

## 3. Definition and parametrization of tropical Schoenberg parameters

The tropical Schoenberg parameters are the infinite tropical replacement for the classical parameter sequences \((\boldalpha,\boldbeta)\). In the 2025 tropical Toeplitz literature, they are given by two weakly increasing sequences
\[
\mathbf A=(A_1,A_2,\dots),
\qquad
\mathbf B=(B_1,B_2,\dots),
\]
with values in \(\mathbb R\cup\{\infty\}\) [2509.25163], [2509.06944].

Two closely related parameter-space formulations appear.

| Aspect | Classical Schoenberg data | Tropical Schoenberg data |
|---|---|---|
| Parameters | weakly decreasing \((\alpha_i),(\beta_j)\) | weakly increasing \((A_i),(B_j)\) |
| Ambient values | nonnegative real numbers | \(\mathbb R\cup\{\infty\}\) |
| Reconstruction | factorization of generating function | \(M_{ij}=\min(A_i,B_j)\) |

One formulation imposes a weak interlacing condition
\[
\sup_i A_i=\sup_j B_j
\qquad\text{and}\qquad
\min(A_i,B_j)\in\mathbb R
\quad\text{for all }i,j.
\]
Another packages the infinite tropical parameter space as
\[
\Omega_\star(\mathbb R)
=
\left\{(\mathbf A,\mathbf B)\mid \mathbf A,\mathbf B \text{ weakly increasing, } \min(A_i,B_i)\in\mathbb R\text{ for all }i\right\},
\]
together with subspaces \(\Omega_\star^{il}\) for interlacing sequences and \(\Omega_\star^{\mathrm{real}}\) when all entries are real [2509.25163], [2509.06944].

From such a pair one forms the filling
\[
M_{ij}=\min(A_i,B_j).
\]
This defines the tropical Edrei map
\[
\mathbb E(\mathbf A,\mathbf B)=\bigl(\min(A_i,B_j)\bigr)_{i,j}.
\]
The central structural statement is that this map is bijective:
\[
\mathbb E:\Omega_\star \xrightarrow{\sim} IM_\infty,
\]
where \(IM_\infty\) denotes the space of infinite min-ideal fillings. There is also a stable version
\[
\mathbb E^s:\Omega_\star^{il}\xrightarrow{\sim} IM_\infty^s,
\]
and in this stable setting interlacing corresponds exactly to stabilization of rows and columns [2509.25163], [2509.06944].

## 4. Valuation-theoretic interpretation

A defining feature of tropical Schoenberg parameters is that they are not merely formal tropical coordinates; they are the valuations of classical Schoenberg parameters. In a valued setting, one lifts a tropical pair \((\mathbf A,\mathbf B)\) to actual positive parameters, for example by
\[
\alpha_i=\frac{1}{2^i}t^{A_i},
\qquad
\beta_j=\frac{1}{2^j}t^{B_j},
\]
so that
\[
Val(\alpha_i)=A_i,
\qquad
Val(\beta_j)=B_j.
\]

The associated classical generating series is
\[
\frac{\prod_j(1+\beta_j x)}{\prod_i(1-\alpha_i x)},
\]
or, in the infinite-valued setting,
\[
1+\sum_{k\ge1}\mathbf c_k x^k
=
\frac{\prod_{j=1}^{\infty}(1+\beta_j x)}{\prod_{i=1}^{\infty}(1-\alpha_i x)}.
\]
The Toeplitz matrix built from this series has standard coordinates whose valuations recover the tropical filling:
\[
M_{ij}=Val(m_{ij})=\min(A_i,B_j).
\]
Thus the tropical Toeplitz matrix is literally the valuation image of the classical one [2509.25163].

A more refined description uses supersymmetric Schur functions. For \((\boldalpha,\boldbeta)\in\Omega^\circ(\mathcal C_{>0})\), the standard coordinates satisfy
\[
m_{ij}
=
\frac{
S_{i\times j}(\boldalpha\|\boldbeta)\,
S_{(i-1)\times(j-1)}(\boldalpha\|\boldbeta)
}{
S_{(i-1)\times j}(\boldalpha\|\boldbeta)\,
S_{i\times(j-1)}(\boldalpha\|\boldbeta)
},
\]
and the valuation formula
\[
Val\bigl(S_\lambda(\boldalpha\|\boldbeta)\bigr)
=
\sum_{(i,j)\in\lambda}\min(A_i,B_j)
\]
implies
\[
Val(m_{ij})=\min(A_i,B_j).
\]
This provides a direct valuation-theoretic derivation of the tropical Edrei map [2509.06944].

## 5. Asymptotic recovery from Lusztig’s weight map

The asymptotic significance of tropical Schoenberg parameters lies in their recovery from finite tropical Toeplitz data. Let
\[
M^{(n+1)}\in IM_{n+1}
\]
be a sequence of finite min-ideal fillings converging uniformly to an asymptotically real infinite filling
\[
M^{(\infty)}=(M_{ij})\in IM_\infty^{\mathbb R}.
\]
Write the Lusztig weight of the finite filling as
\[
\mathcal L^{(n+1)}(M^{(n+1)})
=
\operatorname{diag}\!\big(\lambda_1^{(n+1)},\dots,\lambda_{n+1}^{(n+1)}\big).
\]
Then the normalized edge coordinates of the diagonal converge to the tropical Schoenberg parameters:
\[
\lim_{n\to\infty}\frac{\lambda_i^{(n+1)}}{n}=A_i,
\qquad
\lim_{n\to\infty}\frac{-\lambda_{n+2-j}^{(n+1)}}{n}=B_j.
\]
The left end of the diagonal converges to the \(A_i\), while the right end, with the longest-element involution \(w_0\) and the corresponding minus sign, converges to the \(B_j\). This is the tropical analogue of a Vershik–Kerov type asymptotic statement [2509.25163], [2509.06944].

The same result can be phrased by saying that the normalized finite map
\[
\frac1n(\mathcal L^{(n+1)},\mathcal L^{(n+1),\vee})
\]
converges, in the limit, to the inverse of the tropical Edrei map. In particular, the tropical Schoenberg parameter pair \((\mathbf A,\mathbf B)\) is asymptotically extracted from finite Lusztig weight data. The finite tropical parametrization itself is Lusztig’s weight map, and the relevant tropicalization of the finite Toeplitz parametrization map is identified with this canonical-basis weight map [2509.25163], [2509.06944].

The asymptotic theorem requires the asymptotically real hypothesis. A plausible implication is that tropical Schoenberg parameters are robust only within a controlled asymptotic regime; without that hypothesis, the normalized finite weights need not converge to the expected infinite tropical data [2509.06944].

## 6. Mathematical scope and distinction from other Schoenberg notions

Tropical Schoenberg parameters mediate a three-way connection emphasized in the 2025 literature: classical infinite totally nonnegative Toeplitz matrices and their Edrei–Schoenberg factorization, finite totally positive Toeplitz matrices and Lusztig/Peterson parametrizations from flag varieties, and a tropical limit in which Toeplitz data become min-ideal fillings and the parameterization becomes piecewise-linear [2509.25163]. In the companion treatment of tropical Toeplitz matrices, this bridge is also tied to quantum cohomology of the flag variety, mirror symmetry, and the historical role of Schoenberg parameters in the theory of characters of the infinite symmetric group [2509.06944].

A common source of confusion is the coexistence of several distinct “Schoenberg” theories on arXiv. Tropical Schoenberg parameters are not the Schoenberg coefficients appearing in isotropic positive definite kernels on spheres. In the spherical setting, Schoenberg’s theorem and its extensions concern nonnegative spectral expansions in Gegenbauer or tensor Gegenbauer bases; for example, on \(S^m\times S^M\) the isotropic part has a double Gegenbauer expansion with nonnegative coefficients and a double summability condition [1503.08174]. Related works study \(d\)-Schoenberg coefficients, dimension-walk relations, and strict positive definiteness on real and complex spheres [1807.02363], [1807.08184]. Those are spectral coefficients for positive definite kernels, whereas tropical Schoenberg parameters are valuation-level invariants for Toeplitz total positivity.

The resulting picture is specific and rigid. Tropical Schoenberg parameters are monotone sequence data \((\mathbf A,\mathbf B)\), their associated tropical Toeplitz matrices are exactly the min-ideal fillings \(M_{ij}=\min(A_i,B_j)\), and their principal significance is that they simultaneously tropicalize the classical Edrei–Schoenberg factorization and encode the large-rank limit of Lusztig weight data [2509.25163], [2509.06944].

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