pith. sign in

arxiv: 2503.22189 · v3 · submitted 2025-03-28 · 🧮 math.SP

Inverse spectral problems for positive Hankel operators

Alexander Pushnitski , Sergei Treil This is my paper

Pith reviewed 2026-05-22 23:25 UTC · model grok-4.3

classification 🧮 math.SP
keywords Hankel operatorspositive operatorsspectral measuresinverse spectral problemsfinite measuresinvolutionbijectionLaplace transform
0
0 comments X

The pith

The map sending a finite positive measure to the spectral measure of its Hankel operator is an involution and therefore a bijection.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

Positive Hankel operators on the half-line are parameterized by positive measures on the positive reals. When the measure is finite, a natural scalar spectral measure for the operator can be defined, and this produces a map from one finite measure to another. The paper proves that applying this map twice recovers the original measure exactly. The same conclusion holds in a dual setting for co-finite measures whose second-moment integral is finite.

Core claim

Positive semi-definite Hankel operators with integral kernels given by the Laplace transform of a positive measure mu are in one-to-one correspondence with their spectral measures sigma when mu is finite; the correspondence is given by an involution on the space of finite positive measures on the positive reals. A parallel involution exists for the dual class of co-finite measures satisfying the finite-integral condition on x to the minus two.

What carries the argument

The spectral map that sends the parameterizing measure mu to the scalar spectral measure sigma of the associated Hankel operator.

If this is right

  • Every finite positive measure arises as the spectral measure of exactly one positive Hankel operator with finite parameter measure.
  • The inverse spectral problem for these operators is solved by applying the same map a second time.
  • The same bijection holds for the dual class of co-finite measures with finite integral of x to the minus two.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Properties of the Hankel operator that are easy to read from the measure mu become equally easy to read from sigma after the map is applied.
  • The involution may supply a new way to compare spectra of different classes of integral operators that admit similar Laplace-transform representations.
  • The construction could be tested numerically on simple discrete measures to verify the return map in finite dimensions.

Load-bearing premise

A natural scalar spectral measure can be defined for every finite positive measure that parameterizes a positive Hankel operator.

What would settle it

A concrete finite positive measure mu on the positive reals for which the spectral measure sigma, when used to define a new Hankel operator, yields a spectral measure different from mu.

read the original abstract

A Hankel operator $\Gamma$ in $L^2(\mathbb{R}_+)$ is an integral operator with the integral kernel of the form $h(t+s)$, where $h$ is known as the kernel function. It is known that $\Gamma$ is positive semi-definite if and only if $h$ is the Laplace transform of a positive measure $\mu$ on $\mathbb{R}_+$. Thus, positive semi-definite Hankel operators $\Gamma$ are parameterised by measures $\mu$ on $\mathbb{R}_+$. We consider the class of $\Gamma$ corresponding to \emph{finite} measures $\mu$. In this case it is possible to define the (scalar) spectral measure $\sigma$ of $\Gamma$ in a natural way. The measure $\sigma$ is also finite on $\mathbb{R}_+$. This defines the \emph{spectral map} $\mu\mapsto\sigma$ on finite measures on $\mathbb{R}_+$. We prove that this map is an involution; in particular, it is a bijection. We also consider a dual variant of this problem for measures $\mu$ that are not necessarily finite but have the finite integral \[ \int_0^\infty x^{-2}\mathrm{d}\mu(x); \] we call such measures \emph{co-finite}.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The paper shows that positive semi-definite Hankel operators Γ on L²(ℝ₊) with kernel the Laplace transform of a finite positive measure μ admit a natural scalar spectral measure σ (also finite), and proves that the spectral map μ ↦ σ is an involution (hence a bijection) on all finite positive measures on ℝ₊. A dual result is stated for co-finite measures satisfying ∫ x^{-2} dμ(x) < ∞.

Significance. If the construction of σ is canonical and the involution holds without restriction on the support or singularity of μ, the result would give a complete, explicit solution to the inverse spectral problem for finite positive Hankel operators, with the self-inverse property providing both uniqueness and existence in a strong form.

major comments (2)
  1. [Abstract] Abstract (paragraph 3): the claim that a natural scalar spectral measure σ exists and is finite for every finite positive measure μ (including Dirac masses and measures with atoms at 0) is load-bearing for the involution statement. The manuscript must supply the explicit construction of σ (presumably via the spectral measure <E(·)f,f> for a fixed cyclic vector f) and verify that it remains finite and independent of auxiliary choices in these cases; otherwise the domain of the map is strictly smaller than the set of all finite measures.
  2. The proof that μ ↦ σ is an involution (central claim) must be checked to ensure the definition of σ does not tacitly require absolute continuity of μ or reduce to a self-referential fitting procedure; any such reduction would make the bijection hold only on a proper subclass.
minor comments (1)
  1. The introduction should explicitly state the precise definition of the Hankel operator Γ and the Laplace-transform relation between the kernel h and the measure μ before invoking the spectral map.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and will incorporate clarifications to make the construction and its generality fully explicit.

read point-by-point responses

  1. Referee: [Abstract] Abstract (paragraph 3): the claim that a natural scalar spectral measure σ exists and is finite for every finite positive measure μ (including Dirac masses and measures with atoms at 0) is load-bearing for the involution statement. The manuscript must supply the explicit construction of σ (presumably via the spectral measure <E(·)f,f> for a fixed cyclic vector f) and verify that it remains finite and independent of auxiliary choices in these cases; otherwise the domain of the map is strictly smaller than the set of all finite measures.

    Authors: The construction of σ is given explicitly in Section 2 via the spectral measure of the self-adjoint operator Γ_μ with respect to the cyclic vector corresponding to the constant function 1 ∈ L²(ℝ₊). Finiteness of σ for general finite μ, including Dirac masses and atoms at 0, follows from the moment estimates derived from the Laplace-transform representation of the kernel and is verified by direct computation in the cases of point masses. Independence of auxiliary choices is a consequence of the uniqueness theorem for spectral measures of self-adjoint operators. We will add a short subsection (or expanded remark) that carries out these verifications in full detail for singular measures. revision: yes

  2. Referee: The proof that μ ↦ σ is an involution (central claim) must be checked to ensure the definition of σ does not tacitly require absolute continuity of μ or reduce to a self-referential fitting procedure; any such reduction would make the bijection hold only on a proper subclass.

    Authors: The definition of σ uses only the functional calculus for the positive self-adjoint Hankel operator Γ_μ, which is well-defined for any finite positive measure μ through its Laplace-transform kernel; no absolute continuity is assumed or used. The proof that the map is an involution proceeds by showing that the moments of σ recover the original measure μ via the inverse Laplace transform (or equivalent Stieltjes inversion), which holds for arbitrary positive measures. The argument is not self-referential: the spectral measure is constructed independently from Γ_μ and the composition is computed directly. We will insert a clarifying paragraph emphasizing that the argument applies verbatim to singular measures. revision: partial

Circularity Check

0 steps flagged

No circularity; involution proven from independent spectral definition

full rationale

The spectral map is defined by taking the (standard) scalar spectral measure σ of the Hankel operator Γ_μ constructed from finite measure μ; the paper then proves that this map is an involution. No step reduces the claimed bijection to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain. The construction of σ is external to the involution property and applies to the stated class of finite measures without circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only; no free parameters, axioms, or invented entities are visible.

pith-pipeline@v0.9.0 · 5762 in / 869 out tokens · 46746 ms · 2026-05-22T23:25:50.688552+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel echoes
    ?
    echoes

    ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

    We prove that this map is an involution; in particular, it is a bijection. ... Ω# = Ω ∘ # on Mco-finite ... the inverse is given by (Ω#)−1 = # ∘ Ω.

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

22 extracted references · 22 canonical work pages

  1. [1]

    N. I. Akhiezer, The classical moment problem and some related questions in a nalysis, vol. 82 of Classics in Applied Mathematics . Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2021

    work page 2021

  2. [2]

    Bauer, Measure and integration theory , De Gruyter, Berlin, 2001

    H. Bauer, Measure and integration theory , De Gruyter, Berlin, 2001

    work page 2001

  3. [3]

    Erdelyi et al., Higher Transcendental Functions, Bateman Manuscript Project, Vol

    A. Erdelyi et al., Higher Transcendental Functions, Bateman Manuscript Project, Vol. 2, McGraw–Hill, New York, 1953

    work page 1953

  4. [4]

    G´ erard, A

    P. G´ erard, A. Pushnitski, An inverse problem for Hankel operators and turbulent solut ions of the cubic Szeg˝ o equation on the line, to appear in J. of Eur. Math. Soc. (JEMS)

    work page

  5. [5]

    Gesztesy, B

    F. Gesztesy, B. Simon, Rank one perturbations at infinite coupling, J. Funct. Anal. 128 (1995), 245–252

    work page 1995

  6. [6]

    I. S. Gradshteyn, I. M. Ryzhik, Table of Integrals, Series, and Products, Seventh Edition, Academic Press 2007

    work page 2007

  7. [7]

    N. N. Lebedev, Some singular integral equations connected with integral r epresentations of mathematical physics, (Russian) Doklady Akad. Nauk SSSR (N.S.) 65 (1949), 621–624

    work page 1949

  8. [8]

    N. N. Lebedev, The analogue of Parseval’s theorem for a certain integral tr ansform, (Rus- sian) Doklady Akad. Nauk SSSR (N.S.) 68 (1949), 653–656

    work page 1949

  9. [9]

    A. V. Megretski ˘ ı, V. V. Peller, S. R. Treil’, The inverse spectral problem for self-adjoint Hankel operators, Acta Math. 174 (1995), no. 2, 241–309

    work page 1995

  10. [10]

    F. G. Mehler, Ueber eine mit den Kugel- und Cylinderfunctionen verwandte Function und ihre Anwendung in der Theorie der Elektricit¨ atsvertheilu ng, Math. Ann. 18, no. 2 (1881), 161–194

    work page

  11. [11]

    R. J. Ober, A note on a system theoretic approach to a conjecture by Pelle r-Khrushchev, Systems Control Lett. 8 (1987), no. 4, 303–306

    work page 1987

  12. [12]

    R. J. Ober, A note on a system-theoretic approach to a conjecture by Pell er-Khrushchev: the general case , IMA J. Math. Control Inform. 7 (1990), no. 1, 35–45

    work page 1990

  13. [13]

    V Peller, Hankel operators and their applications, Springer, New York, 2003

    V. V Peller, Hankel operators and their applications, Springer, New York, 2003

    work page 2003

  14. [14]

    Pocovnicu, Explicit formula for the solution of the Szeg˝ o equation on t he real line and applications, Discrete Contin

    O. Pocovnicu, Explicit formula for the solution of the Szeg˝ o equation on t he real line and applications, Discrete Contin. Dyn. Syst. 31 (2011), no. 3, 607–649

    work page 2011

  15. [15]

    Pushnitski, S

    A. Pushnitski, S. Treil, Unbounded integral Hankel operators, preprint, arXiv:2502.04175

    work page arXiv

  16. [16]

    M. Reed, B. Simon, Methods of modern mathematical physics. I. Functional anal ysis. Second edition. Academic Press, New York, 1980

    work page 1980

  17. [17]

    Rosenblum, On the Hilbert matrix, I, II, Proc

    M. Rosenblum, On the Hilbert matrix, I, II, Proc. Amer. Math. Soc., 9 (1958), 137–140, 581–585

    work page 1958

  18. [18]

    S. R. Treil, An inverse spectral problem for the modulus of the Hankel ope rator, and balanced realizations, Leningrad Math. J. 2 (1991), no. 2, 353–375. INVERSE SPECTRAL PROBLEMS FOR POSITIVE HANKEL OPERATORS 35

    work page 1991

  19. [19]

    S. R. Treil and V. I. Vasyunin, The inverse spectral problem for the modulus of a Hankel operator, Leningrad Math. J., 1 (1990), no. 4, 859–870

    work page 1990

  20. [20]

    Yafaev, Quasi-Carleman operators and their spectral properties, Integr

    D. Yafaev, Quasi-Carleman operators and their spectral properties, Integr. Equ. Oper. The- ory 81 (2015), 499–534

    work page 2015

  21. [21]

    Yafaev, Quasi-diagonalization of Hankel operators, Journal d’Analyse Mathematique, 133 (2017), 133–182

    D. Yafaev, Quasi-diagonalization of Hankel operators, Journal d’Analyse Mathematique, 133 (2017), 133–182

    work page 2017

  22. [22]

    Yafaev, A commutator method for the diagonalization of Hankel opera tors, Funct

    D. Yafaev, A commutator method for the diagonalization of Hankel opera tors, Funct. Anal. Appl. 44 no. 4 (2010), 295–306. Department of Mathematics, King’s College London, Strand, London, WC2R 2LS, U.K. Email address : alexander.pushnitski@kcl.ac.uk Department of Mathematics, Brown University, Providence, RI 02912, USA Email address : treil@math.brown.edu

    work page 2010