Szeg\H{o}'s Theorem for Canonical Systems: the Arov Gauge and a Sum Rule

Benjamin Eichinger (Rice University); David Damanik (Rice University); Peter Yuditskii (Johannes Kepler Universit\"at Linz)

arxiv: 1907.03267 · v1 · pith:UWB7KXP5new · submitted 2019-07-07 · 🧮 math.SP · math-ph· math.CA· math.MP

SzegH{o}'s Theorem for Canonical Systems: the Arov Gauge and a Sum Rule

David Damanik (Rice University) , Benjamin Eichinger (Rice University) , Peter Yuditskii (Johannes Kepler Universit\"at Linz) This is my paper

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

classification 🧮 math.SP math-phmath.CAmath.MP

keywords canonical systemsSzegő classentropy functionalArov gaugesum rulespectral theory

0 comments

The pith

In the Arov gauge the entropy integral equals an integral involving the coefficients of the canonical system.

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

The paper studies canonical systems and the Szegő class defined by finiteness of the associated entropy functional. It selects the Arov gauge and proves that the entropy integral equals an integral involving the coefficients of the system. This equality is presented as a sum rule that relates spectral data to the underlying coefficients. A reader would care because the relation supplies an explicit bridge between the entropy, which encodes information about the spectral measure, and the coefficient functions that define the system.

Core claim

Working in the Arov gauge, the authors prove that the entropy integral is equal to an integral involving the coefficients of the canonical system. This sum rule characterizes the Szegő class for these systems by equating the entropy functional to a concrete expression in the coefficients.

What carries the argument

The Arov gauge, which reduces the entropy integral to a direct integral over the coefficient matrix of the canonical system.

If this is right

Membership in the Szegő class is equivalent to integrability of an expression built from the coefficients.
The sum rule supplies an explicit relation between the entropy and the coefficient functions.
Classical Szegő-type results extend to canonical systems through this gauge choice.
Spectral information encoded in the entropy becomes directly accessible from the coefficients.

Where Pith is reading between the lines

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

The same equality might be adapted to other gauge choices by inserting appropriate transformation factors.
The result could be used to test numerical approximations of spectral measures against coefficient integrals for chosen systems.
Connections to inverse spectral problems may become more direct once the entropy is expressed in coefficient form.
The approach could be checked on finite-interval truncations of the systems to verify the equality numerically.

Load-bearing premise

The Arov gauge can be chosen without loss of generality while keeping the entropy functional well-defined.

What would settle it

A specific canonical system in the Arov gauge for which the entropy integral and the coefficient integral are computed explicitly and found to differ.

read the original abstract

We consider canonical systems and investigate the Szeg\H{o} class, which is defined via the finiteness of the associated entropy functional. Noting that the canonical system may be studied in a variety of gauges, we choose to work in the Arov gauge, in which we prove that the entropy integral is equal to an integral involving the coefficients of the canonical system. This sum rule provides a spectral theory gem in the sense proposed by Barry Simon.

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.

Desk Editor's Note private letter to a colleague

The paper gives an explicit sum rule equating entropy to a coefficient integral for canonical systems in the Arov gauge, but the generality of that gauge choice is the key point to check.

read the letter

The main takeaway is that the authors derive a sum rule in which the entropy integral for a canonical system equals an integral over the system coefficients once the Arov gauge is fixed. This is not just a restatement of classical Szegő results; the gauge produces a concrete, usable form that fits the “spectral theory gem” description in the abstract. That identification is the actual new piece and the part worth noting for people working on canonical systems or related orthogonal polynomial problems. The paper does the straightforward job of stating the equality cleanly and situating it inside the existing literature on gauges and entropy functionals. The derivation itself is not visible from the abstract, so any assessment of the steps or the precise regularity assumptions on the coefficients has to wait for the full text. The central soft spot is exactly the one flagged in the stress test: whether every finite-entropy system admits an Arov-gauge representative that leaves both the entropy value and the spectral measure unchanged. The abstract says the authors “choose to work in the Arov gauge,” but does not indicate whether this choice is always possible or whether the transformation preserves membership in the Szegő class. If the paper only treats the subclass where the gauge is attainable, the sum rule is narrower than it first appears; if it proves the gauge is always reachable without side effects, that needs to be stated up front. The citation pattern looks standard for the subfield and does not raise red flags. This is a paper for readers already inside spectral theory of canonical systems or scattering problems. It is narrow enough that it will not move broader mathematics, but the explicit identity could be useful to specialists. The work shows clear engagement with the literature and formulates a definite claim, so it deserves a serious referee even if the gauge question requires tightening.

Referee Report

2 major / 1 minor

Summary. The paper considers canonical systems and the Szegő class defined by finiteness of the entropy functional. By restricting to the Arov gauge, it proves that the entropy integral equals an integral involving the coefficients of the system, yielding a sum rule in the sense of Barry Simon's spectral theory gems.

Significance. If the central equality holds for the full class of finite-entropy systems, the result supplies a direct, gauge-specific link between the entropy and the coefficient functions, which may facilitate inverse spectral theory for canonical systems. The manuscript does not mention machine-checked proofs or reproducible code.

major comments (2)

[Abstract] Abstract and opening paragraphs: the equality is stated after choosing the Arov gauge, but no argument is supplied showing that every canonical system with finite entropy admits an Arov-gauge representative that leaves both the spectral measure and the value of the entropy integral unchanged. This attainability is load-bearing for the sum rule to characterize the entire Szegő class rather than a subclass.
[Section introducing the Arov gauge] The definition of the Arov gauge (presumably in the section introducing gauges) must be checked to confirm that the transformation is always possible without altering membership in the Szegő class; if the gauge change can increase the entropy or fail to exist for some finite-entropy systems, the claimed equality does not furnish a general sum rule.

minor comments (1)

Clarify the precise regularity assumptions on the coefficients that guarantee the entropy integral is well-defined after the gauge change.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying a key point about the scope of the sum rule. The comments correctly note that the manuscript works in the Arov gauge without supplying an explicit argument that this gauge is attainable for every finite-entropy canonical system while preserving both the spectral measure and the entropy value. We respond to each major comment below and will revise the manuscript to address the concern.

read point-by-point responses

Referee: [Abstract] Abstract and opening paragraphs: the equality is stated after choosing the Arov gauge, but no argument is supplied showing that every canonical system with finite entropy admits an Arov-gauge representative that leaves both the spectral measure and the value of the entropy integral unchanged. This attainability is load-bearing for the sum rule to characterize the entire Szegő class rather than a subclass.

Authors: We agree that the attainability of the Arov gauge for the full Szegő class is essential if the sum rule is to apply beyond a subclass. The current manuscript does not contain such an argument; it simply restricts attention to systems already written in Arov gauge. A gauge transformation that normalizes the system to Arov form exists and leaves the spectral measure invariant, but whether the entropy integral remains finite (or unchanged) under this transformation is not verified in the text. We will add a short subsection establishing that the Arov-gauge representative can always be chosen without leaving the Szegő class. revision: yes
Referee: [Section introducing the Arov gauge] The definition of the Arov gauge (presumably in the section introducing gauges) must be checked to confirm that the transformation is always possible without altering membership in the Szegő class; if the gauge change can increase the entropy or fail to exist for some finite-entropy systems, the claimed equality does not furnish a general sum rule.

Authors: The referee is right that the manuscript must confirm the gauge transformation preserves membership in the Szegő class. The present version defines the Arov gauge but does not prove that the change of gauge is always feasible for finite-entropy systems or that it cannot increase the entropy. We will insert the required verification (or a reference to a standard result on gauge equivalence) in the section that introduces the gauges, thereby making the sum rule applicable to the entire class. revision: yes

Circularity Check

0 steps flagged

No circularity: equality proven inside chosen gauge with no reduction to input by construction

full rationale

The abstract states the authors choose the Arov gauge and then prove the entropy integral equals an integral over coefficients. No quoted step shows the right-hand side defined from the left, no fitted parameter renamed as prediction, and no self-citation chain invoked to justify the gauge or the equality. The derivation is presented as a direct mathematical proof within the selected gauge; the paper supplies no indication that the claimed identity is tautological or forced by its own definitions. This is the normal case of a self-contained analytic result.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Only the abstract is available, so the ledger is necessarily incomplete. The work rests on the standard definition of the Szegő class via finite entropy and on the existence of the Arov gauge transformation.

axioms (2)

domain assumption The Szegő class is defined via finiteness of the associated entropy functional.
This definition is invoked to set the objects whose entropy is studied.
domain assumption The Arov gauge is admissible for the canonical systems under consideration.
The proof is carried out inside this gauge.

pith-pipeline@v0.9.0 · 5626 in / 1174 out tokens · 27500 ms · 2026-05-25T01:25:09.445671+00:00 · methodology

discussion (0)

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/Foundation/Cost/FunctionalEquation.lean washburn_uniqueness_aczel (J uniqueness) unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

we choose to work in the Arov gauge, in which we prove that the entropy integral is equal to an integral involving the coefficients of the canonical system. This sum rule provides a spectral theory gem… Theorem 2.1. … I(w) = ∫₀^∞ (tr A(t) − 2√det A(t)) dt
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean absolute_floor_iff_bare_distinguishability unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

A-gauge: A(t)+B(t) is upper triangular and tr B(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

25 extracted references · 2 canonical work pages

[1]

V. M. Adamjan, D. Z. Arov, M. G. Krein, Inﬁnite Hankel bloc k matrices and related problems of extension (Russian), Izv. Akad. Nauk Armjan. SSR Ser. Mat. 6 (1971), 87–112

1971
[2]

N. I. Akhiezer, The Classical Moment Problem and Some Related Questions in A nal- ysis, Translated by N. Kemmer, Hafner Publishing Co., New York, 1 965
[3]

D. Z. Arov, M. G. Krein, The problem of ﬁnding the minimum e ntropy in indetermi- nate problems of continuation (Russian), Funktsional. Anal. i Prilozhen. 15 (1981), 61–64

1981
[4]

D. Z. Arov, M. G. Krein, Calculation of entropy functiona ls and their minima in indeterminate continuation problems (Russian), Acta Sci. Math. (Szeged) 45 (1983), 33–50

1983
[5]

D. Z. Arov, L. Z. Grossman, Scattering matrices in the the ory of extensions of iso- metric operators (Russian), Dokl. Akad. Nauk SSSR 270 (1983), 17–20

1983
[6]

Bessonov, S

R. Bessonov, S. Denisov, A spectral Szeg˝ o theorem on the real line, arXiv:1711.05671

work page arXiv
[7]

Bessonov, S

R. Bessonov, S. Denisov, De Branges canonical systems wi th ﬁnite logarithmic inte- gral, arXiv:1903.05622

work page arXiv 1903
[8]

de Branges, Some Hilbert spaces of entire functions

L. de Branges, Some Hilbert spaces of entire functions. I I., Trans. Amer. Math. Soc. 99 (1961), 118–152

1961
[9]

de Branges, Some Hilbert spaces of entire functions

L. de Branges, Some Hilbert spaces of entire functions. I V., Trans. Amer. Math. Soc. 105 (1962), 43–83

1962
[10]

de Branges, Hilbert Spaces of Entire Functions , Prentice-Hall, Inc., Englewood Cliﬀs, N.J., 1968

L. de Branges, Hilbert Spaces of Entire Functions , Prentice-Hall, Inc., Englewood Cliﬀs, N.J., 1968

1968
[11]

Damanik, R

D. Damanik, R. Killip, B. Simon, Perturbations of ortho gonal polynomials with pe- riodic recursion coeﬃcients, Ann. of Math. (2) 171 (2010), 1931–2010

2010
[12]

Golinskii, I

L. Golinskii, I. Mikhailova, Hilbert spaces of entire f unctions as a J theory subject, Topics in interpolation theory 95 (1997), 205–251

1997
[13]

Kheifets, P

A. Kheifets, P. Yuditskii, An analysis and extension of V. P. Potapov’s approach to interpolation problems with applications to the general ized bi-tangential Schur- Nevanlinna-Pick problem and J-inner-outer factorization , Matrix and operator valued functions, 133–161, Oper. Theory Adv. Appl. 72, Birkh¨ auser, Basel, 1994

1994
[14]

Killip, B

R. Killip, B. Simon, Sum rules for Jacobi matrices and th eir applications to spectral theory, Ann. of Math. (2) 158 (2003), 253–321

2003
[15]

Killip, B

R. Killip, B. Simon, Sum rules and spectral measures of S chr¨ odinger operators with L2 potentials, Ann. of Math. (2) 170 (2009), 739–782

2009
[16]

I. V. Kovalishina, Analytic theory of a class of interpo lation problems (Russian), Izv. Akad. Nauk SSSR Ser. Mat. 47 (1983), 455–497

1983
[17]

I. V. Kovalishina, V. P. Potapov, An indeﬁnite metric in the Nevanlinna–Pick problem (Russian), Akad. Nauk Armjan. SSR Dokl. 59 (1974), 17–22

1974
[18]

S. A. Orlov, The J-modulus of J-contractive matrices (Russian), Teor. Funktsii Funk- tsional. Anal. i Prilozhen. 39 (1983), 94–95. SZEG ˝O’S THEOREM FOR CANONICAL SYSTEMS 17

1983
[19]

V. P. Potapov, The multiplicative structure of J-contractive matrix functions, Amer. Math. Soc. Transl. (2) 15 (1960), 131–243

1960
[20]

V. P. Potapov, A theorem on the modulus. I. Fundamental c oncepts. The modulus (Russian), Teor. Funktsii Funktsional. Anal. i Prilozhen. 38 (1982), 91–101, 129

1982
[21]

V. P. Potapov, A theorem on the modulus. II. (Russian), Teor. Funktsii Funktsional. Anal. i Prilozhen. 39 (1983), 95–106

1983
[22]

Remling, Spectral Theory of Canonical Systems , De Gruyter Studies in Mathe- matics 70, De Gruyter, Berlin, 2018

C. Remling, Spectral Theory of Canonical Systems , De Gruyter Studies in Mathe- matics 70, De Gruyter, Berlin, 2018

2018
[23]

Simon, Szeg˝ o’s Theorem and its Descendants

B. Simon, Szeg˝ o’s Theorem and its Descendants. Spectral Theory for L2 Perturba- tions of Orthogonal Polynomials , M. B. Porter Lectures, Princeton University Press, Princeton, NJ, 2011

2011
[24]

Yuditskii, The character-automorphic Nehari probl em: non-uniqueness criterion and some extremal solutions, Z

P. Yuditskii, The character-automorphic Nehari probl em: non-uniqueness criterion and some extremal solutions, Z. Anal. Anwendungen 16 (1997), 249–261

1997
[25]

Yuditskii, Killip-Simon problem and Jacobi ﬂow on GM P matrices, Adv

P. Yuditskii, Killip-Simon problem and Jacobi ﬂow on GM P matrices, Adv. Math. 323 (2018), 811–865. Department of Mathematics, Rice University, Houston, TX 77 005, USA E-mail address : damanik@rice.edu Department of Mathematics, Rice University, Houston, TX 77 005, USA E-mail address : be11@rice.edu Abteilung f ¨ur Dynamische Systeme und Approximationsthe...

2018

[1] [1]

V. M. Adamjan, D. Z. Arov, M. G. Krein, Inﬁnite Hankel bloc k matrices and related problems of extension (Russian), Izv. Akad. Nauk Armjan. SSR Ser. Mat. 6 (1971), 87–112

1971

[2] [2]

N. I. Akhiezer, The Classical Moment Problem and Some Related Questions in A nal- ysis, Translated by N. Kemmer, Hafner Publishing Co., New York, 1 965

[3] [3]

D. Z. Arov, M. G. Krein, The problem of ﬁnding the minimum e ntropy in indetermi- nate problems of continuation (Russian), Funktsional. Anal. i Prilozhen. 15 (1981), 61–64

1981

[4] [4]

D. Z. Arov, M. G. Krein, Calculation of entropy functiona ls and their minima in indeterminate continuation problems (Russian), Acta Sci. Math. (Szeged) 45 (1983), 33–50

1983

[5] [5]

D. Z. Arov, L. Z. Grossman, Scattering matrices in the the ory of extensions of iso- metric operators (Russian), Dokl. Akad. Nauk SSSR 270 (1983), 17–20

1983

[6] [6]

Bessonov, S

R. Bessonov, S. Denisov, A spectral Szeg˝ o theorem on the real line, arXiv:1711.05671

work page arXiv

[7] [7]

Bessonov, S

R. Bessonov, S. Denisov, De Branges canonical systems wi th ﬁnite logarithmic inte- gral, arXiv:1903.05622

work page arXiv 1903

[8] [8]

de Branges, Some Hilbert spaces of entire functions

L. de Branges, Some Hilbert spaces of entire functions. I I., Trans. Amer. Math. Soc. 99 (1961), 118–152

1961

[9] [9]

de Branges, Some Hilbert spaces of entire functions

L. de Branges, Some Hilbert spaces of entire functions. I V., Trans. Amer. Math. Soc. 105 (1962), 43–83

1962

[10] [10]

de Branges, Hilbert Spaces of Entire Functions , Prentice-Hall, Inc., Englewood Cliﬀs, N.J., 1968

L. de Branges, Hilbert Spaces of Entire Functions , Prentice-Hall, Inc., Englewood Cliﬀs, N.J., 1968

1968

[11] [11]

Damanik, R

D. Damanik, R. Killip, B. Simon, Perturbations of ortho gonal polynomials with pe- riodic recursion coeﬃcients, Ann. of Math. (2) 171 (2010), 1931–2010

2010

[12] [12]

Golinskii, I

L. Golinskii, I. Mikhailova, Hilbert spaces of entire f unctions as a J theory subject, Topics in interpolation theory 95 (1997), 205–251

1997

[13] [13]

Kheifets, P

A. Kheifets, P. Yuditskii, An analysis and extension of V. P. Potapov’s approach to interpolation problems with applications to the general ized bi-tangential Schur- Nevanlinna-Pick problem and J-inner-outer factorization , Matrix and operator valued functions, 133–161, Oper. Theory Adv. Appl. 72, Birkh¨ auser, Basel, 1994

1994

[14] [14]

Killip, B

R. Killip, B. Simon, Sum rules for Jacobi matrices and th eir applications to spectral theory, Ann. of Math. (2) 158 (2003), 253–321

2003

[15] [15]

Killip, B

R. Killip, B. Simon, Sum rules and spectral measures of S chr¨ odinger operators with L2 potentials, Ann. of Math. (2) 170 (2009), 739–782

2009

[16] [16]

I. V. Kovalishina, Analytic theory of a class of interpo lation problems (Russian), Izv. Akad. Nauk SSSR Ser. Mat. 47 (1983), 455–497

1983

[17] [17]

I. V. Kovalishina, V. P. Potapov, An indeﬁnite metric in the Nevanlinna–Pick problem (Russian), Akad. Nauk Armjan. SSR Dokl. 59 (1974), 17–22

1974

[18] [18]

S. A. Orlov, The J-modulus of J-contractive matrices (Russian), Teor. Funktsii Funk- tsional. Anal. i Prilozhen. 39 (1983), 94–95. SZEG ˝O’S THEOREM FOR CANONICAL SYSTEMS 17

1983

[19] [19]

V. P. Potapov, The multiplicative structure of J-contractive matrix functions, Amer. Math. Soc. Transl. (2) 15 (1960), 131–243

1960

[20] [20]

V. P. Potapov, A theorem on the modulus. I. Fundamental c oncepts. The modulus (Russian), Teor. Funktsii Funktsional. Anal. i Prilozhen. 38 (1982), 91–101, 129

1982

[21] [21]

V. P. Potapov, A theorem on the modulus. II. (Russian), Teor. Funktsii Funktsional. Anal. i Prilozhen. 39 (1983), 95–106

1983

[22] [22]

Remling, Spectral Theory of Canonical Systems , De Gruyter Studies in Mathe- matics 70, De Gruyter, Berlin, 2018

C. Remling, Spectral Theory of Canonical Systems , De Gruyter Studies in Mathe- matics 70, De Gruyter, Berlin, 2018

2018

[23] [23]

Simon, Szeg˝ o’s Theorem and its Descendants

B. Simon, Szeg˝ o’s Theorem and its Descendants. Spectral Theory for L2 Perturba- tions of Orthogonal Polynomials , M. B. Porter Lectures, Princeton University Press, Princeton, NJ, 2011

2011

[24] [24]

Yuditskii, The character-automorphic Nehari probl em: non-uniqueness criterion and some extremal solutions, Z

P. Yuditskii, The character-automorphic Nehari probl em: non-uniqueness criterion and some extremal solutions, Z. Anal. Anwendungen 16 (1997), 249–261

1997

[25] [25]

Yuditskii, Killip-Simon problem and Jacobi ﬂow on GM P matrices, Adv

P. Yuditskii, Killip-Simon problem and Jacobi ﬂow on GM P matrices, Adv. Math. 323 (2018), 811–865. Department of Mathematics, Rice University, Houston, TX 77 005, USA E-mail address : damanik@rice.edu Department of Mathematics, Rice University, Houston, TX 77 005, USA E-mail address : be11@rice.edu Abteilung f ¨ur Dynamische Systeme und Approximationsthe...

2018