Edrei Theorem in Total Positivity

• Edrei theorem is a classification result in total positivity that characterizes normalized infinite upper-triangular Toeplitz matrices via a generating function factorization.
• It connects polynomial results, like the Aissen–Edrei–Schoenberg–Whitney theorem, with stability properties by linking the location of zeros and poles in generating functions.
• Modern extensions integrate representation theory, quantum cohomology, tropical analogues, and K-theoretic settings, offering a unified framework across diverse mathematical domains.

Searching arXiv for the cited work and closely related papers on the Edrei theorem and its modern extensions. arxiv_search(query="Edrei theorem Toeplitz total nonnegative Schoenberg parameters", max_results=10) arxiv_search(query="(Holtz et al., 2015) generalized Hurwitz matrices forbidden sectors Edrei theorem", max_results=5) The Edrei theorem is a classical classification result in total positivity. In its standard one-sided Toeplitz form, it characterizes normalized infinite upper-triangular Toeplitz matrices $u(\mathbf c)=(c_{i-j})_{i,j\in\mathbb N}$, with $c_0=1$ and $c_{-n}=0$ for $n>0$, whose minors are all nonnegative, by a generating-function factorization

$$1+c_1x+c_2x^2+c_3x^3+\dotsc = e^{\gamma x}\prod_{i=1}^\infty\frac{1+\beta_i x}{1-\alpha_i x},$$

where $\gamma\ge 0$ and $\boldsymbol\alpha,\boldsymbol\beta$ are weakly decreasing summable sequences of nonnegative reals. In this form the theorem is also called the Edrei–Thoma theorem, and the parameters $\alpha_i,\beta_i$ are called the Schoenberg parameters (Rietsch, 29 Sep 2025). In adjacent polynomial literature, however, the name “Edrei theorem” is also used for the Aissen–Edrei–Schoenberg–Whitney theorem, which characterizes real polynomials with only negative real zeros by total nonnegativity of a Toeplitz matrix of coefficients (Holtz et al., 2015).

1. Classical Toeplitz formulation

A one-sided sequence $\mathbf c=(c_1,c_2,c_3,\dotsc)$ defines the infinite upper-triangular Toeplitz matrix

$$u(\mathbf c)=(c_{i-j})_{i,j\in\mathbb N}, \qquad c_0=1,\quad c_{-n}=0\ \text{for }n>0.$$

The sequence is called totally nonnegative when all minors of $c_0=1$0 lie in $c_0=1$1; the same objects are also called Pólya frequency sequences. Edrei’s theorem states that this condition is equivalent to the factorization

$c_0=1$2

for parameters $c_0=1$3 in

$c_0=1$4

The nonzero $c_0=1$5 and $c_0=1$6 encode poles and zeros of the generating function, while the residual entire factor is exactly $c_0=1$7 (Rietsch, 29 Sep 2025).

A point emphasized in modern expositions is that the difficult part of the theorem is not the existence of root and pole data, but the identification of the remaining entire factor. Schoenberg had shown that the displayed factorization produces a totally nonnegative sequence, and Aissen–Schoenberg–Whitney had identified the permissible roots and poles; Edrei’s contribution was to prove that the leftover factor must be the simple exponential $c_0=1$8 (Rietsch, 29 Sep 2025). The theorem therefore parametrizes all normalized infinite totally nonnegative upper-triangular Toeplitz matrices by the Schoenberg parameters.

The theorem is fundamentally about total nonnegativity rather than strict total positivity. Later work distinguishes the totally positive locus, where all nontrivial minors are strictly positive, as an open dense subset of the totally nonnegative part. In the infinite case, refined subsets are obtained by requiring all Schoenberg parameters to be nonzero, or moreover pairwise distinct, but the classical theorem itself is the biconditional classification of the totally nonnegative case (Rietsch, 29 Sep 2025).

2. The polynomial theorem and the $c_0=1$9 endpoint

In polynomial theory, the same Toeplitz positivity phenomenon appears in the Aissen–Edrei–Schoenberg–Whitney theorem. For

$c_{-n}=0$0

the Toeplitz matrix

$c_{-n}=0$1

is totally nonnegative if and only if $c_{-n}=0$2 has only real negative zeros. Here “totally nonnegative” again means that all minors are nonnegative (Holtz et al., 2015).

This polynomial form is the $c_{-n}=0$3 case of a broader framework based on generalized Hurwitz matrices

$c_{-n}=0$4

where $c_{-n}=0$5. The generalized sector theorem states that if $c_{-n}=0$6 is totally nonnegative, then

$c_{-n}=0$7

For $c_{-n}=0$8, this recovers the total-nonnegativity form of the Hurwitz stability theorem; for $c_{-n}=0$9, it recovers the Cowling–Thron zero-free sector for polynomials with positive coefficients; and for $n>0$0, it yields the Edrei-type conclusion that zeros lie on the nonpositive real axis (Holtz et al., 2015).

The $n>0$1 case is stronger than the general sector theorem because it is an exact characterization. For $n>0$2, total nonnegativity of $n>0$3 is only sufficient for zero exclusion from the sector $n>0$4, and the converse fails in general. This distinction is central in the generalized Hurwitz-matrix literature: the Edrei case and the Hurwitz case retain “if and only if” formulations, whereas the higher-$n>0$5 theory is genuinely one-sided (Holtz et al., 2015).

3. Historical development and representation theory

The historical line emphasized in recent work is Schoenberg $n>0$6 Edrei $n>0$7 Thoma $n>0$8 Vershik–Kerov. Schoenberg conjectured the factorization, Edrei completed the proof in 1952, and Thoma later rediscovered the same parametrization in the language of extremal characters of the infinite symmetric group $n>0$9. In Thoma’s normalization $$1+c_1x+c_2x^2+c_3x^3+\dotsc = e^{\gamma x}\prod_{i=1}^\infty\frac{1+\beta_i x}{1-\alpha_i x},$$0, one obtains the Thoma simplex and the relation

$$1+c_1x+c_2x^2+c_3x^3+\dotsc = e^{\gamma x}\prod_{i=1}^\infty\frac{1+\beta_i x}{1-\alpha_i x},$$1

so the Schoenberg parameters become exactly the Thoma parameters (Rietsch, 29 Sep 2025).

Vershik–Kerov then gave these parameters an asymptotic representation-theoretic meaning in terms of normalized modified Frobenius coordinates of Young diagrams. For a sequence of partitions $$1+c_1x+c_2x^2+c_3x^3+\dotsc = e^{\gamma x}\prod_{i=1}^\infty\frac{1+\beta_i x}{1-\alpha_i x},$$2 with modified Frobenius coordinates $$1+c_1x+c_2x^2+c_3x^3+\dotsc = e^{\gamma x}\prod_{i=1}^\infty\frac{1+\beta_i x}{1-\alpha_i x},$$3, the limits

$$1+c_1x+c_2x^2+c_3x^3+\dotsc = e^{\gamma x}\prod_{i=1}^\infty\frac{1+\beta_i x}{1-\alpha_i x},$$4

exist exactly when normalized characters converge, and these limits are the Thoma parameters (Rietsch, 29 Sep 2025).

A two-sided analogue appears in the Edrei–Voiculescu theorem. In that setting, doubly infinite totally positive Toeplitz sequences are classified by parameters

$$1+c_1x+c_2x^2+c_3x^3+\dotsc = e^{\gamma x}\prod_{i=1}^\infty\frac{1+\beta_i x}{1-\alpha_i x},$$5

through the Laurent generating function

$$1+c_1x+c_2x^2+c_3x^3+\dotsc = e^{\gamma x}\prod_{i=1}^\infty\frac{1+\beta_i x}{1-\alpha_i x},$$6

Borodin and Olshanski identify this theorem with the boundary of the Gelfand–Tsetlin graph, the extreme finite characters of $$1+c_1x+c_2x^2+c_3x^3+\dotsc = e^{\gamma x}\prod_{i=1}^\infty\frac{1+\beta_i x}{1-\alpha_i x},$$7, and the space of doubly infinite totally positive sequences (Borodin et al., 2011). Petrov’s later work simplifies the determinantal formula underlying that proof and gives a $$1+c_1x+c_2x^2+c_3x^3+\dotsc = e^{\gamma x}\prod_{i=1}^\infty\frac{1+\beta_i x}{1-\alpha_i x},$$8-analogue, but the classification itself remains the Edrei–Voiculescu boundary theorem (Petrov, 2012).

4. Asymptotic geometry, finite Toeplitz matrices, and quantum cohomology

A major modern theme is that Edrei’s theorem is not only a classification theorem for infinite Toeplitz matrices, but also the asymptotic target of finite-dimensional constructions. For finite totally positive Toeplitz matrices $$1+c_1x+c_2x^2+c_3x^3+\dotsc = e^{\gamma x}\prod_{i=1}^\infty\frac{1+\beta_i x}{1-\alpha_i x},$$9, one has torus parameters $\gamma\ge 0$0 and quantum parameters $\gamma\ge 0$1, and if $\gamma\ge 0$2 converges uniformly to an infinite totally positive Toeplitz matrix with Schoenberg parameters $\gamma\ge 0$3, then

$\gamma\ge 0$4

and

$\gamma\ge 0$5

Thus finite quantum-cohomological data recover the Schoenberg parameters asymptotically (Rietsch, 29 Sep 2025).

The same paper interprets $\gamma\ge 0$6 and $\gamma\ge 0$7 as asymptotic Chern roots. In particular, certain Chern-class limits are

$\gamma\ge 0$8

and asymptotics of Schubert classes are controlled by the same reciprocal parameters. This recasts the roots and poles of Edrei’s generating function as asymptotic geometric data on flag varieties (Rietsch, 29 Sep 2025).

The Grassmannian version isolates special one-parameter strata inside Edrei’s parameter space. For convergent sequences $\gamma\ge 0$9, the possible infinite limits in the proved cases are

$\boldsymbol\alpha,\boldsymbol\beta$0

$\boldsymbol\alpha,\boldsymbol\beta$1

and

$\boldsymbol\alpha,\boldsymbol\beta$2

The middle-dimensional Grassmannian case is especially significant because it isolates precisely the exponential factor in Edrei’s theorem (Chung-Halpern et al., 15 Jun 2026).

5. Tropical analogues and the Lusztig connection

Recent work has produced a tropical counterpart of the infinite Toeplitz parametrization. In the tropical setting, the role of an infinite totally positive Toeplitz matrix is played by an infinite min-ideal filling $\boldsymbol\alpha,\boldsymbol\beta$3 satisfying

$\boldsymbol\alpha,\boldsymbol\beta$4

The tropical parameter space consists of two weakly increasing sequences

$\boldsymbol\alpha,\boldsymbol\beta$5

and the tropical Edrei map is

$\boldsymbol\alpha,\boldsymbol\beta$6

The corresponding theorem states that this map is a bijection onto the space of infinite min-ideal fillings, with refined versions for asymptotically real and stable fillings (Rietsch, 8 Sep 2025).

A detropicalized version is obtained by working over a valued semifield and forming a Toeplitz matrix with generating function

$\boldsymbol\alpha,\boldsymbol\beta$7

If $\boldsymbol\alpha,\boldsymbol\beta$8 are the standard coordinates of the resulting infinite Toeplitz matrix, then

$\boldsymbol\alpha,\boldsymbol\beta$9

where $\alpha_i,\beta_i$0 and $\alpha_i,\beta_i$1. In this sense, the tropical formula $\alpha_i,\beta_i$2 is the valuation shadow of the classical Schoenberg-parameter theory (Rietsch, 8 Sep 2025).

The same paper places beside this infinite theorem a finite Toeplitz parametrization arising from quantum cohomology. After tropicalization, the finite Toeplitz parameter map becomes exactly Lusztig’s weight map

$\alpha_i,\beta_i$3

An asymptotic theorem then shows that normalized finite Lusztig weights recover the tropical Schoenberg parameters $\alpha_i,\beta_i$4. A plausible implication is that Edrei’s classical infinite parametrization and Lusztig’s canonical-basis parametrization are linked through a finite-to-infinite tropical limit (Rietsch, 8 Sep 2025).

6. $\alpha_i,\beta_i$5-theoretic, integral, and shifted extensions

The Edrei–Thoma product formula also classifies Schur-positive specializations of the ring $\alpha_i,\beta_i$6 of symmetric functions. If $\alpha_i,\beta_i$7 is Schur-positive, then

$\alpha_i,\beta_i$8

with $\alpha_i,\beta_i$9 and $\mathbf c=(c_1,c_2,c_3,\dotsc)$0. Yeliussizov’s work on symmetric Grothendieck polynomials constructs, from a $\mathbf c=(c_1,c_2,c_3,\dotsc)$1-positive specialization $\mathbf c=(c_1,c_2,c_3,\dotsc)$2, a Toeplitz matrix

$\mathbf c=(c_1,c_2,c_3,\dotsc)$3

and proves that it is totally nonnegative, thereby reducing the $\mathbf c=(c_1,c_2,c_3,\dotsc)$4-theoretic classification to the classical Edrei–Thoma theorem (Yeliussizov, 2019).

There is also an integral form. In the Witt-vector framework, totally positive integral series $\mathbf c=(c_1,c_2,c_3,\dotsc)$5 are exactly those of the form

$\mathbf c=(c_1,c_2,c_3,\dotsc)$6

where $\mathbf c=(c_1,c_2,c_3,\dotsc)$7, all complex roots of $\mathbf c=(c_1,c_2,c_3,\dotsc)$8 are negative real numbers, and all those of $\mathbf c=(c_1,c_2,c_3,\dotsc)$9 are positive real numbers. The paper presents this as an integral Edrei–Thoma theorem, equivalent to a classification of Schur Witt vectors over $$u(\mathbf c)=(c_{i-j})_{i,j\in\mathbb N}, \qquad c_0=1,\quad c_{-n}=0\ \text{for }n>0.$$0 (Borger et al., 2013).

A shifted $$u(\mathbf c)=(c_{i-j})_{i,j\in\mathbb N}, \qquad c_0=1,\quad c_{-n}=0\ \text{for }n>0.$$1-theoretic analogue has now been proved for Ikeda–Naruse $$u(\mathbf c)=(c_{i-j})_{i,j\in\mathbb N}, \qquad c_0=1,\quad c_{-n}=0\ \text{for }n>0.$$2-theoretic Schur $$u(\mathbf c)=(c_{i-j})_{i,j\in\mathbb N}, \qquad c_0=1,\quad c_{-n}=0\ \text{for }n>0.$$3- and $$u(\mathbf c)=(c_{i-j})_{i,j\in\mathbb N}, \qquad c_0=1,\quad c_{-n}=0\ \text{for }n>0.$$4-functions. In the unsigned case, the positive specializations are classified by a single summable nonnegative sequence $$u(\mathbf c)=(c_{i-j})_{i,j\in\mathbb N}, \qquad c_0=1,\quad c_{-n}=0\ \text{for }n>0.$$5 and $$u(\mathbf c)=(c_{i-j})_{i,j\in\mathbb N}, \qquad c_0=1,\quad c_{-n}=0\ \text{for }n>0.$$6, with generating series

$$u(\mathbf c)=(c_{i-j})_{i,j\in\mathbb N}, \qquad c_0=1,\quad c_{-n}=0\ \text{for }n>0.$$7

This extends Nazarov’s shifted $$u(\mathbf c)=(c_{i-j})_{i,j\in\mathbb N}, \qquad c_0=1,\quad c_{-n}=0\ \text{for }n>0.$$8 theorem and shows that the Edrei–Thoma paradigm persists in the shifted $$u(\mathbf c)=(c_{i-j})_{i,j\in\mathbb N}, \qquad c_0=1,\quad c_{-n}=0\ \text{for }n>0.$$9-theoretic setting, with the ordinary two-sequence parameter set collapsing to one sequence because of shifted symmetry (Marberg, 30 Dec 2025).

The theorem’s contemporary significance lies in this persistence across settings. In one-sided Toeplitz total positivity it is a classification of generating functions; in polynomial theory it becomes the $c_0=1$00 endpoint of generalized Hurwitz-sector theorems; in representation theory it reappears as Thoma parameters and, in two-sided form, as the Edrei–Voiculescu description of the Gelfand–Tsetlin boundary; in asymptotic geometry it governs quantum parameters, Chern roots, and Schubert limits; and in tropical and $c_0=1$01-theoretic settings it survives as a structural template for new parametrization theorems (Rietsch, 29 Sep 2025).