---
title: Zolotarev Norms in Approximation & Probability
url: https://www.emergentmind.com/topics/zolotarev-norms
type: topic
---

# Zolotarev Norms in Approximation & Probability

The term "Zolotarev norms" encompasses a collection of extremal functionals and distances, arising in rational approximation, probability metrics, and uniform minimax problems for polynomials and rational functions. There are distinct but related uses: (i) the Zolotarev uniform norm of extremal polynomials; (ii) the Zolotarev (ideal) metrics on probability measures defined via test functions of given smoothness or moment vanishing conditions; and (iii) the Zolotarev (ratio) norms associated with the third Zolotarev problem for rational functions on disjoint sets in the complex plane. These objects are central in modern approximation theory, probability, and numerical analysis, as they provide sharp constants and universality properties in their respective regimes.

## 1. Zolotarev Norms in Rational Polynomial and Rational Function Approximation

The classical Zolotarev norm arises in the study of uniform approximation of functions by constrained polynomials or rational functions. For polynomials, the Zolotarev norm of order $n$ is the minimal maximal deviation on $[-1,1]$ among all degree-$n$ polynomials with prescribed leading coefficients (Zolotarev's first problem). For rational functions, the norm is expressed as a minimax ratio problem over disjoint compact sets. These norms have explicit connections to elliptic and theta functions, and serve as extremal constants in best approximation scenarios.

For rational functions, the "Zolotarev norm" of degree $n$ for two disjoint compact sets $E, F \subseteq \widehat{\mathbb{C}}$ is:
\[
\sigma_n = \min_{\substack{r \in R_n \\ \min_{z \in F}|r(z)| = 1}}\ \max_{z \in E}|r(z)| \ =\ \min_{\deg(r)\le n}\frac{\sup_{z \in E}|r(z)|}{\sup_{z \in F}|r(z)|},
\]
with the minimizer called the optimal Zolotarev ratio function of degree $n$ [2408.14092, 2511.04404].

## 2. Zolotarev (Ideal) Probability Metrics and Smooth Norms

For probability measures, the Zolotarev norm (or distance) of order $p$ ($p \in \mathbb{N}$, or more generally $s > 0$) quantifies the "distance" between two distributions via test functions with vanishing moments and bounded smoothness. For measures $\mu, \nu$ on $\mathbb{R}^d$ with matched lower moments, the norm is
\[
\zeta_p(\mu, \nu) = \sup_u \Bigg| \int_{\mathbb{R}^d} u\,d(\mu - \nu) \Bigg|,
\]
where the supremum is over $u \in C^p$ with all mixed lower-order moments vanishing and all partial derivatives of order $p$ bounded by 1. For $p=1$, this reduces to the $W_1$ (Kantorovich–Wasserstein) distance; for $p=2$ and $p=3$, one requires barycenter and covariance equality, respectively [2506.17745, 2511.00232].

In dimension one, dual representations exist in terms of integrated tails and variational functionals. These norms are interpolation metrics between total variation and moments, and they fully metrize weak convergence under moment control [2210.04060].

## 3. Zolotarev Norms and Duality: Kantorovich–Rubinstein Structures

The Zolotarev $Z_2$ norm admits a novel duality, extending the Kantorovich–Rubinstein duality for $W_1$. For centered probability measures $\mu, \nu \in \mathcal{P}_2(\mathbb{R}^d)$, the $Z_2$ distance is
\[
Z_2(\mu, \nu) = \sup \left\{ \int_{\mathbb{R}^d} u\, d(\nu-\mu):\; u \in C^{1,1}(\mathbb{R}^d),\; \mathrm{Lip}(\nabla u) \le 1 \right\},
\]
and has a dual optimal transport formulation involving three-marginal couplings with martingale-like constraints:
\[
Z_2(\mu, \nu) = \inf_{\pi \in \Sigma(\mu, \nu)}\ \iiint_{\mathbb{R}^{3d}} \frac{1}{2}(\|z - x\|^2 + \|z - y\|^2) \, d\pi(x,y,z),
\]
where $\Sigma(\mu, \nu)$ enforces appropriate marginal and martingale balance conditions [2511.00232].

## 4. Sharp Inequalities and Metric Comparisons

Zolotarev norms are tightly related to quadratic Wasserstein distances and play a role in optimal constants for inequalities, limit theorems, and error bounds.

- **Zolotarev–Wasserstein Relations:** For measures $\mu, \nu \in \mathcal{P}_2(\mathbb{R}^d)$,
  \[
  Z_2(\mu, \nu) \ge \frac{1}{4} W_2^2(\mu, \nu), \quad Z_2(\mu, \nu) \le \frac{1}{2} ( \sigma_\mu + \sigma_\nu ) W_2(\mu, \nu ),
  \]
with equality in the upper bound iff $\nu$ is a dilation of $\mu$, and in the lower bound only if $\mu = \nu$ [2511.00232]. These constants are optimal and describe the minimal and maximal possible ratio between $Z_2$ and $W_2$ over measures with fixed variances.

- **Moment Slices and Quantitative Reduction:** The multivariate Zolotarev distance can be controlled by the supremum of the corresponding one-dimensional distances over all projections, with explicit dimension- and moment-dependent exponents:
  \[
  \zeta_p(\mu, \nu) \le (c d)^p b^{1-\beta} \left( \sup_{|\theta|=1} \zeta_p(\mu_\theta, \nu_\theta) \right)^\beta,
  \]
where $\beta=2/(2 + d q/(p(q-p)))$ for $q>p$ and $b$ the $q$th moment bound [2506.17745].

## 5. Algorithmic and Constructive Theory

Computing Zolotarev norms and the associated extremal objects is nontrivial. Recent advances cover both explicit and algorithmic approaches:

- **Explicit Polynomial Parametrization:** Proper Zolotarev polynomials of degree $n$ can be constructed as normalized extremal polynomials on $[-1,1]$ with prescribed top coefficients. For $n \leq 4$, rational parametrizations are available; for $n=5,6,7$, explicit radical or nested radical representations have been achieved, resolving century-old open cases [1903.09443, 2002.00503]. These polynomials equioscillate between $\pm1$ on a fixed set of extremal points, and their minimal deviation yields the classical Zolotarev norm.

- **Rational Function Construction:** The third Zolotarev problem is equivalent to a best uniform approximation by rational functions (of type $(n,n)$) with prescribed behavior on two sets. Its minimax solutions can be characterized by equioscillation and by the structure of level curves in the complex plane. In practice, AAA and AAA-Lawson algorithms, as well as the Loewner framework, are deployed for numerical construction. The Loewner framework, in particular, achieves near-minimax accuracy with superior computational efficiency at high degrees [2408.14092, 2511.04404].

- **Faber Rational Functions and Bounds:** Explicit upper and lower bounds for Zolotarev numbers (extremal ratios) are derivable via Faber rational functions built from conformal maps onto doubly-connected domains. Such bounds have immediate applications to the analysis of operator singular values and to the parameter selection in iterative matrix solvers [1911.11882].

## 6. Applications in Probability, Approximation, and Numerical Analysis

Zolotarev-type norms (especially the $\zeta_s$ and $S_s$ metrics) have become ubiquitous in quantitative limit theorems:

- **Central Limit Theorem:** Error bounds for the Kolmogorov or Wasserstein distances between normalized sums and the Gaussian distribution can be sharply expressed in terms of Zolotarev norms:
  \[
  |P^{*n} - N|_K \leq n^{-\epsilon/2} c \, (S_1 \vee S_{2,\epsilon})(P-N),
  \]
for some universal constant $c$; this strictly improves on classical Berry–Esseen and Katz bounds by accounting for "Zolotarev-closeness to normality" rather than just absolute moments [2503.06653, 2210.04060].

- **Operator Theory and Solvers:** The decay rate of singular values of structured matrices (e.g., Cauchy, Vandermonde) can be estimated in terms of Zolotarev numbers for the spectrum-containing sets, with explicit connection to the rational minimax constants. The optimal (or near-optimal) choice of shift parameters in ADI-type methods for the Sylvester equation can be directly extracted from Faber rational functions associated with Zolotarev bounds [1911.11882].

- **Approximation Theory and Filtering:** The explicit forms for Zolotarev polynomials and rational functions are crucial for the design of optimal filters, digital signal processing, and high-accuracy quadrature on irregular geometries.

## 7. Summary Table: Main Zolotarev Norms and Their Contexts

| Norm/Quantity           | Definition/Context                                                      | Domain                   |
|-------------------------|------------------------------------------------------------------------|--------------------------|
| $\mathcal{Z}_n$         | $\min_{\deg P \le n,~[x^n]P=a_n}\;\|P\|_\infty$ (polynomial dev.)      | $[-1,1]$ (polynomials)   |
| $\sigma_n(E,F)$         | $\min_{r \in R_n} \sup_{E} |r| / \sup_{F} |r|$ (ratio)                | $E,F \subset \widehat{\mathbb{C}}$  |
| $\zeta_p(\mu,\nu)$      | $\sup \left| \int u \, d(\mu-\nu) \right|$, $u$ $C^p$, Deriv. bounds   | $\mathbb{R}^d$ (probability)|
| $Z_2(\mu,\nu)$          | $\sup_{u \in C^{1,1}, \mathrm{Lip}(\nabla u)\leq 1} \int u d(\nu-\mu)$ | $\mathbb{R}^d$ (probability) |

These definitions represent, respectively, the minimal uniform norm for polynomial deviation, the minimax rational ratio on sets, the ideal metric on measures via smooth-test functions, and the second-order Kantorovich-type Zolotarev distance.

---

Zolotarev norms thus provide the sharpest possible metrics and extremal constants in a diverse set of settings ranging from best polynomial/rational approximation, to quantitative limit theorems and stability of numerical algorithms. Their theory synthesizes explicit analytic, algebraic, and geometric methods and continues to expand with new structural dualities and computational frameworks [1903.09443, 2408.14092, 2511.00232, 2506.17745, 2511.04404, 2503.06653, 2210.04060, 1911.11882, 2002.00503].

Source: https://www.emergentmind.com/topics/zolotarev-norms