A proof of Esterle's conjecture on negative powers of Hilbert-space contractions
Pith reviewed 2026-05-19 18:47 UTC · model grok-4.3
The pith
For any closed zero-measure set E on the unit circle, there is a growth sequence u_n such that a contraction with spectrum in E and ||T^{-n}||=O(u_n) must be unitary.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For each closed subset E of the unit circle of Lebesgue measure zero, there exists a positive sequence u_n to infinity with the property that if T is a contraction on a Hilbert space satisfying sigma(T) subset E and ||T^{-n}|| = O(u_n) as n to infinity, then T is unitary. The proof reduces the operator statement to a removable-singularity question and establishes the needed removability for moderately unbounded holomorphic functions, where the permitted growth rate is chosen according to the set E.
What carries the argument
The generalized removable singularity property for unbounded holomorphic functions of moderate growth near E, with the allowed growth rate depending on E.
Load-bearing premise
Closed sets of Lebesgue measure zero on the unit circle remain removable for holomorphic functions whose unboundedness near the set is controlled by a growth rate that can be chosen depending on the set.
What would settle it
Exhibit a non-unitary contraction T on some Hilbert space whose spectrum lies in a fixed closed set E of measure zero on the circle, yet ||T^{-n}|| grows no faster than the sequence u_n constructed for that E.
read the original abstract
We establish the following result, confirming a conjecture of Jean Esterle. For each closed subset $E$ of the unit circle of Lebesgue measure zero, there exists a positive sequence $u_n\to\infty$ with the following property: if $T$ is a contraction on a Hilbert space such that $\sigma(T)\subset E$ and $\|T^{-n}\|=O(u_n)$ as $n\to\infty$, then $T$ is a unitary operator. A key tool used in the proof is a result generalizing the well-known fact that closed subsets $E$ of the real axis of Lebesgue measure zero are removable for bounded holomorphic functions. We show that such sets remain removable even for certain unbounded holomorphic functions of moderate growth near $E$, where the notion of `moderate' depends on $E$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves Esterle's conjecture in operator theory: for every closed subset E of the unit circle with Lebesgue measure zero, there exists a sequence u_n → ∞ such that any contraction T on a Hilbert space satisfying σ(T) ⊂ E and ||T^{-n}|| = O(u_n) as n → ∞ must be unitary. The argument proceeds by constructing a holomorphic function via functional calculus or resolvent estimates off the unit circle, then applying a generalized removable-singularity theorem showing that closed measure-zero sets on the circle remain removable for holomorphic functions of E-dependent moderate growth.
Significance. If correct, the result resolves a longstanding conjecture and clarifies the relationship between spectral thinness, growth of negative powers, and unitarity for Hilbert-space contractions. The generalized removable-singularity statement for moderate-growth functions is of independent interest in complex analysis and extends classical results for bounded holomorphic functions. The proof relies on standard tools (functional calculus, spectral theory) without ad-hoc parameters or fitted constants, and the existence of u_n is asserted constructively via the analytic lemma.
major comments (1)
- §3, Theorem 3.1 (analytic lemma): the moderate-growth threshold is defined in terms of an E-dependent integral or capacity condition. The subsequent application in §4 must verify that the specific growth induced by ||T^{-n}|| = O(u_n) is strictly weaker than or equal to this threshold; the current sketch leaves the comparison of constants implicit rather than explicit.
minor comments (3)
- §1: the historical remarks on Esterle's original formulation could include a precise citation to the conjecture statement for easier cross-reference.
- Notation: the symbol for the moderate-growth class (e.g., M_E) is introduced without an explicit definition box; adding one would improve readability.
- §4, proof of main theorem: the passage from the extended holomorphic function to the conclusion that T is unitary could be expanded by one sentence recalling the relevant spectral-radius or functional-calculus fact.
Simulated Author's Rebuttal
We thank the referee for the careful reading and the recommendation of minor revision. The positive evaluation of the result and its significance is appreciated. We respond to the single major comment below, agreeing that the comparison requires explicit verification, and we will revise the manuscript to address this.
read point-by-point responses
-
Referee: §3, Theorem 3.1 (analytic lemma): the moderate-growth threshold is defined in terms of an E-dependent integral or capacity condition. The subsequent application in §4 must verify that the specific growth induced by ||T^{-n}|| = O(u_n) is strictly weaker than or equal to this threshold; the current sketch leaves the comparison of constants implicit rather than explicit.
Authors: We agree with the referee that the comparison between the growth rate coming from the hypothesis ||T^{-n}|| = O(u_n) and the moderate-growth threshold of Theorem 3.1 should be stated explicitly rather than left implicit. In the revised version we will add a short paragraph at the beginning of §4 that recalls the precise integral/capacity condition appearing in the statement of Theorem 3.1 and verifies that the sequence u_n constructed in the proof of the analytic lemma (which depends on the capacity of E) ensures that the holomorphic function arising from the functional calculus satisfies the moderate-growth bound with a constant strictly below the threshold. This clarification uses only the existing estimates and does not change the main argument or introduce new parameters. revision: yes
Circularity Check
No significant circularity; derivation relies on independent analytic generalization
full rationale
The paper first proves a generalization of the classical removable-singularity theorem, showing that closed measure-zero sets E on the unit circle remain removable for holomorphic functions of E-dependent moderate growth. This analytic result is then applied to a function obtained from the functional calculus of the contraction T (whose spectrum lies in E) to deduce that the growth condition ||T^{-n}|| = O(u_n) forces T to be unitary. The sequence u_n is constructed as part of the theorem statement using the properties of the generalized removable-set lemma; it is not presupposed or fitted from the operator conclusion. No equations reduce by construction to their inputs, no self-citations form a load-bearing chain, and the argument invokes only standard facts from complex analysis and spectral theory that are independent of the target result. The derivation is therefore self-contained.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Closed subsets of the real axis with Lebesgue measure zero are removable for bounded holomorphic functions.
- domain assumption Basic spectral theory and norm properties of contractions on Hilbert spaces.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 1.2: ... if f is holomorphic on Ω∖E such that |f(x+iy)|≤ω(|y|) ... then f has a holomorphic extension
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
use of ω(t) chosen after E so that liminf |E_t ∩ R|/t ∫ω=0
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
J. Esterle. Distributions on Kronecker sets, strong forms of uniqueness, and closed ideals ofA +.J. Reine Angew. Math., 450:43–82, 1994
work page 1994
-
[2]
J. Esterle. Uniqueness, strong forms of uniqueness and negative powers of contractions. InFunctional analysis and operator theory (Warsaw, 1992), volume 30 ofBanach Center Publ., pages 127–145. Polish Acad. Sci. Inst. Math., Warsaw, 1994
work page 1992
-
[3]
K. Kellay. Contractions et hyperdistributions ` a spectre de Carleson.J. London Math. Soc. (2), 58(1):185–196, 1998
work page 1998
- [4]
-
[5]
M. Zarrabi. Contractions ` a spectre d´ enombrable et propri´ et´ es d’unicit´ e des ferm´ es d´ enombrables du cercle.Ann. Inst. Fourier (Grenoble), 43(1):251–263, 1993. D´epartement de math´ematiques et de statistique, Universit´e Laval, Qu´ebec (QC), G1V 0A6, Canada Email address:ransford@mat.ulaval.ca
work page 1993
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.