---
title: Toeplitz Determinants of Inverse Functions
url: https://www.emergentmind.com/topics/toeplitz-determinants-of-inverse-functions
type: topic
---

# Toeplitz Determinants of Inverse Functions

A Toeplitz determinant is a structured polynomial in the coefficients of a power series, with entries aligned so that each descending diagonal is constant. In geometric function theory, Toeplitz and symmetric Toeplitz determinants are constructed from the coefficients of the inverse \( f^{-1}(w) = w + \sum_{n\geq2} b_n w^n \) of a normalized univalent function \( f(z) = z + \sum_{n\geq2} a_n z^n \) in the unit disk. These determinants offer quantifications of nonlinearity and geometric deviation, and their sharp bounds enable fine classification of function-theoretic subclasses and extremal phenomena. Recent developments have elucidated both classical and modern analytic families, notably the Ma-Minda classes, with exact constants recovered through advanced coefficient inequalities and subordination techniques [2512.21007, 2505.10891, 2308.01548].

## 1. Core Definitions and Variants

For \( n \geq 1 \), \( p \geq 1 \), the \( n \times n \) Toeplitz determinant of the inverse coefficients \( b_k \) is:
\[
T_{n,p}(f^{-1}) = \det\left[b_{i-j+p}\right]_{i,j=1}^{n},
\]
with \( b_k = 0 \) for \( k < 1 \). The symmetric Toeplitz determinant is
\[
T^s_{n,p}(f^{-1}) = \det\left[b_{|i-j|+p}\right]_{i,j=1}^{n}.
\]
For low orders:
- \( T_{2,1}(f^{-1}) = 1 - |b_2|^2 \)
- \( T_{3,1}(f^{-1}) = 2(b_2^2 \overline{b_3}) - 2|b_2|^2 - |b_3|^2 + 1 \)
- \( T^s_{2,2}(f^{-1}) = b_2^2 - b_3^2 \), etc.

The determinants encode geometric information about the mapping and its inverse, with symmetric forms providing refined sensitivity to the underlying structure [2512.21007].

## 2. Determinant Estimates in Classical and Ma-Minda Classes

For the normalized univalent class \( \mathcal{S} \), and its subclasses:
- **Bounded-turning (\( \mathcal{R} \)):** \( \operatorname{Re}\,f'(z) > 0 \)
- **Starlike (\( \mathcal{S}^* \)):** \( \operatorname{Re}\,(z f'(z)/f(z)) > 0 \)
- **Convex (\( \mathcal{C} \)):** \( \operatorname{Re}(1 + z f''(z)/f'(z)) > 0 \)

Sharp bounds for Toeplitz determinants are:

| Class           | \( |T^s_{2,2}(f^{-1})| \) | \( |T^s_{2,3}(f^{-1})| \) | \( |T^s_{3,2}(f^{-1})| \) |
|-----------------|:------------------------:|:------------------------:|:------------------------:|
| \( \mathcal{S} \)         | 29                        | 221                      | 24                       |
| \( \mathcal{R} \)         | \(25/9 \approx 2.78\)     | \(233/36 \approx 6.47\)  | \(817/108 \approx 7.55\) |
| \( \mathcal{S}^* \)       | 29                        | 221                      | 416                      |
| \( \mathcal{C} \)         | 2                         | 2                        | 4                        |

All bounds are attained by explicit extremal inverse functions, such as the Koebe map and certain rotations [2512.21007].

For Ma-Minda generalizations, where subclasses are defined by subordination to an analytic function \( \varphi(z) \), the sharp bounds for second-order Toeplitz determinants can be expressed in terms of the coefficients \( B_j \) of \( \varphi \) [2505.10891]:

\[
|T_{2,1}(f^{-1})| \leq \frac{B_1^2 + (3B_2 - B_2)^2}{4} \quad \text{for } \mathcal{S}^*(\varphi)
\]
\[
|T_{2,1}(f^{-1})| \leq \frac{B_1^2 + (2B_2 - B_2)^2}{36} \quad \text{for } \mathcal{C}(\varphi)
\]

These bounds apply immediately to Janowski, strongly starlike/convex, and other analytic subclasses.

## 3. Proof Techniques and Coefficient Relations

The determinant bounds are established through precise algebraic manipulations:
- Formal composition yields inverse coefficients
  \[
  f(f^{-1}(w)) \equiv w \implies b_2 = -a_2,\quad b_3 = 2a_2^2 - a_3,\quad b_4 = -a_4 + 5a_2a_3 - 5a_2^3, \ldots
  \]
- Class-specific bounds are derived for the original coefficients (\( a_k \)), frequently using
  - Schwarz subordination,
  - The Prokhorov–Szynal lemma,
  - Fekete–Szegö inequalities.

For subclasses defined by subordination (\( f’/f \prec \varphi \)), the power series expansion of \( \varphi \) provides explicit relations between function and inverse coefficients. Sharp estimates utilize triangle inequalities and maximization over the parameter domain determined by Schwarz-lemmatype bounds (\( |c_1| \leq 1, |c_2| \leq 1 - |c_1|^2 \)), reducing the problem to real polynomial optimization [2512.21007, 2308.01548, 2505.10891].

## 4. Logarithmic Coefficients and Associated Toeplitz Determinants

For the logarithmic inverse function
\[
\log\left(\frac{f^{-1}(w)}{w}\right) = 2\sum_{n=1}^\infty \Gamma_n w^n,
\]
the Toeplitz determinant computed over \( \Gamma_1, \Gamma_2 \) is
\[
T_{2,1}(F_{f^{-1}/2}) = \Gamma_1^2 - \Gamma_2^2
\]
with
\[
\Gamma_1 = -\frac{A_2}{2},\qquad \Gamma_2 = \frac{3A_2^2 - 2A_3}{4}
\]
for the inverse series coefficients \( A_n \). Sharp inequalities are established:
- For starlike with respect to symmetric points (\( \mathcal{S}^* \)): \( |T_{2,1}| \leq 5/16 \)
- For convex with respect to symmetric points (\( \mathcal{C} \)): \( |T_{2,1}| \leq 145/2304 \)

Extremal examples are constructed by specialized choices of Schwarz function, with corresponding coefficients saturating the inequalities [2308.01548].

## 5. Comparison With Prior Results and Error Correction

Recent work ([2512.21007]) clarifies key discrepancies in previous estimates, notably correcting numerical errors and demonstrating the necessity of employing advanced coefficient inequalities. Notable outcomes include:
- Verification that, for low orders, \( T_{n,p}(f^{-1}) = T_{n,p}(f) \) for \( n = 2,3 \), further confirming the symmetry in geometric distortion between \( f \) and its inverse.
- Identification that symmetric Toeplitz bounds for \( f^{-1} \) are generally larger than for \( f \), reflecting the increased growth of inverse coefficients.
- Correction of earlier claims, notably those in [Hadi et al., Math. 2025], using the Prokhorov–Szynal approach to improve sharpness.

## 6. Illustrative Examples and Explicit Extremals

Explicit examples illustrate both calculation process and sharpness of results. For the convex function \( f(z) = z/(1-iz) \), the coefficients of its inverse enable direct computation:
- \( b_2 = -i, b_3 = -1, b_4 = i \)
- \( T^s_{2,2}(f^{-1}) = (-i)^2 - (-1)^2 = -2 \)
- \( T^s_{2,3}(f^{-1}) = (-1)^2 - (i)^2 = 2 \)
- \( T^s_{3,2}(f^{-1}) = 4i \) (absolute value 4)

These explicit calculations confirm the attainability of previously stated bounds and provide templates for direct evaluation in higher orders and more general classes [2512.21007, 2308.01548].

## 7. Extensions and Higher-Order Determinants

The methodology for sharp bounding of Toeplitz determinants for inverse functions extends naturally to higher orders. For an \( m \times m \) Toeplitz matrix,
\[
T_{m,n}(f^{-1}) = \det([b_{n + i - j}]_{i,j=1}^{m}),
\]
obtaining sharp bounds requires generalized inequalities for combinations of Schwarz function coefficients and multilinear forms in \( c_1, ..., c_{n+m-2} \) [2505.10891]. This area remains active, with recent work developing fourth-order Hermitian–Toeplitz estimates and other generalizations, especially within Ma-Minda-type subordination frameworks.

---

Toeplitz determinants of inverse functions serve as precise invariants for the study of univalent functions and their subclasses, providing both sharp constants and structural understanding via algebraic and analytic techniques. The landscape continues to expand through subordination theory, advanced extremal analysis, and systematic generalization to higher orders [2512.21007, 2308.01548, 2505.10891].

Source: https://www.emergentmind.com/topics/toeplitz-determinants-of-inverse-functions