---
title: Fisher-Hartwig Conjecture
url: https://www.emergentmind.com/topics/fisher-hartwig-conjecture
type: topic
---

# Fisher-Hartwig Conjecture

The Fisher-Hartwig conjecture describes the asymptotic behavior of Toeplitz determinants whose symbols possess root-type and/or jump-type singularities—termed Fisher-Hartwig (FH) singularities—on the unit circle. Precise statements and rigorous proofs have unified and extended the original conjecture, transforming its role from a heuristic principle into a robust tool for singular integral operators, random matrix theory, quantum many-body systems, spectrum and entropy calculations, and log-correlated fields. The conjecture has also been generalized to discrete settings, Hankel and Muttalib-Borodin determinants, and singularity-merging regimes with uniform error control.

## 1. Definition of Fisher-Hartwig Symbols and Toeplitz Determinants

Let $f(e^{i\theta})$ be a real or complex-valued symbol on the unit circle $S^1$, analytic except at finitely many points $z_j=e^{i t_j}$ where it exhibits singularities characterized by parameters $\alpha_j$ and $\beta_j$:
\[
f(e^{i\theta}) = e^{V(e^{i\theta})} \prod_{j=1}^m |e^{i\theta} - z_j|^{2\alpha_j} e^{i\beta_j (\arg(e^{i\theta} - z_j) - \pi)}
\]
with $V$ analytic on a neighborhood of $S^1$, $\alpha_j > -1/2$, and $\beta_j$ real or purely imaginary [1909.07362], [2311.06616].

The $n \times n$ Toeplitz determinant associated to $f$ is:
\[
D_n(f) = \det(f_{j-k})_{j,k=0}^{n-1}, \quad
f_k = \frac{1}{2\pi} \int_0^{2\pi} f(e^{i\theta}) e^{-ik\theta} d\theta
\]
Jump singularities encode discontinuous phase rotations, while root-type singularities correspond to non-integral powers (algebraic zeros or poles). The choice of branch for the argument is essential for consistency and single-valuedness of $f$ on $S^1$.

## 2. Statement of the Fisher-Hartwig Asymptotic Formula

As $n \to \infty$, the Fisher-Hartwig conjecture (now theorem) asserts:
\[
D_n(f) \sim e^{n V_0} n^{\sum_{j=1}^m (\alpha_j^2 - \beta_j^2)}
\prod_{1 \le j < k \le m} |z_j - z_k|^{-2(\alpha_j \alpha_k - \beta_j \beta_k)}
\prod_{j=1}^m \frac{G(1+\alpha_j+\beta_j) G(1+\alpha_j-\beta_j)}{G(1+2\alpha_j)}
\exp\left\{ i \sum_{j=1}^m (\beta_j - \alpha_j) V_+(z_j) \right\} (1 + o(1))
\]
where $G$ is the Barnes $G$-function, $V_0 = \frac{1}{2\pi} \int_0^{2\pi} V(e^{i\theta}) d\theta$, and $V_+(z) = \sum_{k=1}^\infty V_k z^k$ [1909.07362], [2311.06616].

The logarithmic form is also canonical:
\[
\log D_n(f) = n V_0 + \sum_{j=1}^m (\alpha_j^2 - \beta_j^2) \log n
+ 2 \sum_{1 \le j < k \le m} (\alpha_j \alpha_k - \beta_j \beta_k) \log|\sin \frac{t_j-t_k}{2}|
+ \sum_{j=1}^m (\beta_j - \alpha_j) V_+(z_j) + O(1)
\]
The formula holds uniformly in the singularity locations $t_j$, even in the colliding regime $|t_j-t_k| \sim O(1/n)$, and for all admissible $\alpha_j,\beta_j$ [1909.07362].

## 3. Proof Techniques: Riemann–Hilbert and Steepest-Descent Analysis

Rigorous proofs rely on encoding orthogonal polynomials for $f$ as solutions to $2 \times 2$ matrix Riemann-Hilbert problems (RHPs) [1909.07362], [2311.06616], [1306.5017]. Nonlinear steepest descent (Deift–Zhou method) constructs global ("Szegő") parametrices and cluster-adaptive local parametrices around each singularity. Uniform control over small-norm error terms is achieved via explicit local RHP solutions:

- **Bulk:** Analytic global parametrix $M(z)$.
- **Local:** Shrinking neighborhoods around each $z_j$; use the confluent hypergeometric model when singularities merge (scale $O(1/n)$).
- **Gluing:** Matching global and local solutions; explicit control of the remainder $R = Y \cdot (\text{parametrix})^{-1}$.
- **Fredholm Reduction:** For gap probabilities in spectral theory, Toeplitz determinants reduce to Fredholm determinants of integrable operators (e.g., sine-kernel, confluent hypergeometric kernel) [1907.11509], [1112.2530].

Riemann-Hilbert analysis exactly reconstructs all power-law exponents, phase shifts, and G-function normalizations, with full error control.

## 4. Generalizations, Extensions, and Merging Singularity Regimes

The FH asymptotics apply to:

- **Discrete Toeplitz Determinants:** For lattice log-gases, as long as the density $N/M \to 0$ as $N,M \to \infty$, the same continuum FH formula holds for the discrete Toeplitz determinants [1509.03446]. As density increases, a phase transition occurs, requiring modified multiplicative corrections.
- **Toeplitz + Hankel Determinants:** For ensembles of orthogonal and symplectic matrices, one uses linear combinations of Toeplitz and Hankel determinants; uniform FH-type formulae apply, with explicit phase-transition shifts in $n$-exponents [2311.06616].
- **Hankel/Muttalib–Borodin Determinants:** The conjecture generalizes to Hankel-type and MB determinants with Fisher-Hartwig singularities, yielding large-$n$ expansions controlled by equilibrium measures, with exponents halved compared to the Toeplitz case [1902.08162], [2103.09204], [1706.03579].
- **Spectral Merging:** When singularities merge as their locations converge ($|t_j-t_k| \to 0$), uniform Riemann-Hilbert analysis produces formulae with Painlevé transcendent corrections, preserving Barnes $G$-constant structure [2311.06616], [1907.11509].

## 5. Applications in Random Matrix Theory, Quantum Systems, and Log-Correlated Fields

The FH conjecture underpins rigorous analysis in:

- **Characteristics of the Circular Unitary Ensemble (CUE):** Exact asymptotics for moments and correlations of the characteristic polynomial, including proof of the Fyodorov–Keating moment conjecture for averages of characteristic polynomials [1909.07362], [1306.5017], [1112.2530].
- **Entanglement and Spin Chains:** The algebraic decay of spin-spin correlators in XX chains, and the logarithmic growth of entanglement entropy, are determined by FH exponents and G-function amplitudes, matching conformal field theory predictions [1603.05612].
- **Quantum Free Fermions/Bosons:** Ground-state reduced density matrices for impenetrable bosons and free fermions yield Toeplitz/Hankel determinants with FH singularities; precise asymptotics for zero-momentum occupancy, spectrum, and entropy follow from FH expansions [1306.5017], [1909.07362].
- **Log-Correlated Fields and Gaussian Multiplicative Chaos (GMC):** The leading-order FH asymptotics for characteristic polynomials on the circle underpin convergence to GMC measures in both continuum and discrete log-gas ensembles, with subcritical parameter ranges precisely delineated [1509.03446], [2311.06616].

## 6. Extensions to Out-of-Equilibrium and Non-Standard Ensembles

Extended FH conjectures have been formulated and numerically verified in systems far from equilibrium, notably:

- **Luttinger Liquids with Multiple Edges:** Toeplitz determinants with FH singularities model nonequilibrium Fermi-edge problems, tunneling density of states, and X-ray absorption spectra; generalized FH formulae include summations over all FH representations ("branches"), yielding multiple power-law singularities and universal dephasing rates [1203.6418].
- **Wiener–Hopf Double-Scaling Limit:** Asymptotic expansions become explicit Fourier series over FH branches, each possessing periodicity in the counting parameter; coefficients are polynomials in the relevant physical quantity (e.g., cumulant generating function) and can be extracted via both Riemann–Hilbert and Painlevé V methods [1112.2530].

## 7. Structural Consequences, Phase Transitions, and Outlook

The FH theory exposes:

- Universal power-law exponents $\sum_j (\alpha_j^2 - \beta_j^2)$, robust under perturbations, boundaries, and merging singularities [1406.7594], [2311.06616].
- Explicit expressions for phase factors, interaction terms, and subleading error corrections.
- Sharp transitions in global exponents at special parameter values (symplectic/orthogonal group moments, gas density thresholds, branch-switching points).
- Rigorous match between RG/conformal field theory predictions and determinantal asymptotics, establishing universality classes for 1D quantum and random matrix systems [1603.05612].

Open problems include fully rigorous analysis of high-density discrete log-gases, uniform expansions for multiple merging singularities, and extensions to matrix-valued symbols and higher-order correlators [1509.03446], [1203.6418], [2311.06616].

---

**References:**
- "Uniform asymptotics of Toeplitz determinants with Fisher-Hartwig singularities" [1909.07362]
- "Fisher-Hartwig expansion for Toeplitz determinants and the spectrum of a single-particle reduced density matrix for one-dimensional free fermions" [1306.5017]
- "Luttinger liquids with multiple Fermi edges: Generalized Fisher-Hartwig conjecture and numerical analysis of Toeplitz determinants" [1203.6418]
- "Gap probability of the circular unitary ensemble with a Fisher-Hartwig singularity and the coupled Painlevé V system" [1907.11509]
- "Toeplitz determinants with a one-cut regular potential and Fisher--Hartwig singularities I. Equilibrium measure supported on the unit circle" [2212.06763]
- "A discrete log gas, discrete Toeplitz determinants with Fisher-Hartwig singularities, and Gaussian Multiplicative Chaos" [1509.03446]
- "Toeplitz determinants with perturbations in the corners" [1406.7594]
- "Fisher Hartwig determinants, conformal field theory and universality in generalised XX models" [1603.05612]
- "Asymptotics of Hankel determinants with a Laguerre-type or Jacobi-type potential and Fisher-Hartwig singularities" [1902.08162]
- "Asymptotics of Hankel determinants with a one-cut regular potential and Fisher-Hartwig singularities" [1706.03579]
- "Fisher-Hartwig Asymptotics and Log-Correlated Fields in Random Matrix Theory" [2311.06616]
- "Asymptotics of Muttalib-Borodin determinants with Fisher-Hartwig singularities" [2103.09204]
- "Counting free fermions on a line: a Fisher-Hartwig asymptotic expansion for the Toeplitz determinant in the double-scaling limit" [1112.2530]

Source: https://www.emergentmind.com/topics/fisher-hartwig-conjecture