Unitary transform diagonalizing the Confluent Hypergeometric kernel

Sergei M. Gorbunov

arxiv: 2504.09732 · v2 · submitted 2025-04-13 · 🧮 math.FA · math-ph· math.MP

Unitary transform diagonalizing the Confluent Hypergeometric kernel

Sergei M. Gorbunov This is my paper

Pith reviewed 2026-05-22 19:55 UTC · model grok-4.3

classification 🧮 math.FA math-phmath.MP

keywords unitary transformconfluent hypergeometric kernelWiener-Hopf operatorPaley-Wiener theoremdeterminantal point processoperator equivalencetrace formulahierarchical decomposition

0 comments

The pith

A unitary transform generalizing the Fourier transform describes the image of the confluent hypergeometric kernel operator and equates its Wiener-Hopf analogue to the standard operator.

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

The paper describes the range of the integral operator with the confluent hypergeometric kernel as the image of L2[0,1] under a unitary transform that extends the Fourier transform. A version of the Paley-Wiener theorem is proved for this transform. This equivalence shows that the associated Wiener-Hopf operator is unitarily equivalent to the classical Wiener-Hopf operator. As a result, the new operator inherits the factorization properties and Widom's trace formula from the classical case. The transform also provides explicit formulas for decomposing the range hierarchically.

Core claim

The central discovery is a unitary operator from L2[0,1] onto the range of the confluent hypergeometric kernel operator that satisfies a Paley-Wiener type theorem. Using this, the Wiener-Hopf operator analogue is shown to be unitarily equivalent to the usual Wiener-Hopf operator on L2(R+), sharing its factorization properties and Widom's trace formula. Explicit formulas for the hierarchical decomposition of the image are derived from the transform.

What carries the argument

The unitary transform generalizing the Fourier transform, which maps L2[0,1] onto the image of the confluent hypergeometric kernel operator and enables the equivalence to the classical Wiener-Hopf setting.

If this is right

The analogue of the Wiener-Hopf operator shares the factorization properties of the classical Wiener-Hopf operator.
The analogue satisfies Widom's trace formula.
Explicit formulas exist for the hierarchical decomposition of the image space.
The space admits a Paley-Wiener type characterization via the transform.

Where Pith is reading between the lines

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

The method may extend to other special-function kernels appearing in determinantal point processes.
The transform could simplify spectral calculations for related integral operators.
Similar unitary equivalences might connect other generalizations of the Fourier transform to classical operator theory.

Load-bearing premise

The existence and unitarity of the proposed transform that maps L2[0,1] onto the image of the confluent hypergeometric kernel operator.

What would settle it

A direct computation showing that the proposed transform fails to be unitary or fails to map onto the precise range of the kernel operator would disprove the central equivalence.

read the original abstract

We consider the image of the operator inducing the determinantal point process with the confluent hypergeometric kernel. The space is described as the image of $L_2[0, 1]$ under a unitary transform, which generalizes the Fourier transform. For the derived transform we prove a counterpart of the Paley-Wiener theorem. We use the theorem to prove that the corresponding analogue of the Wiener-Hopf operator is a unitary equivalent of the usual Wiener-Hopf operator, which implies that it shares the same factorization properties and Widom's trace formula. Finally, using the introduced transform we give explicit formulae for the hierarchical decomposition of the image of the operator induced by the confluent hypergeometric kernel.

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 builds a specific unitary transform generalizing the Fourier transform for the confluent hypergeometric kernel and uses a Paley-Wiener result to show the associated Wiener-Hopf operator is unitarily equivalent to the classical one.

read the letter

The main point is that this work constructs a unitary transform mapping L2[0,1] onto the image of the operator with the confluent hypergeometric kernel, proves a Paley-Wiener counterpart for that transform, and applies it to establish unitary equivalence with the standard Wiener-Hopf operator. That equivalence immediately gives the same factorization properties and Widom trace formula. The paper closes with explicit formulas for the hierarchical decomposition of the image space using the new transform. These pieces are presented as fresh constructions without direct prior matches in the literature. The argument runs in a straight line: introduce the transform, verify its properties, then transfer the classical results. That structure is clear and avoids circular definitions or fitted parameters. The explicit decomposition formulas stand out as potentially usable for concrete calculations in this corner of determinantal processes. The overall logic holds together if the stated proofs are filled in properly. The soft spot sits in the verification step. The unitarity of the transform and its exact mapping onto the kernel image are the load-bearing claims, and those require direct checking of the derivations rather than just the outline. Nothing in the setup shows an internal contradiction or hidden assumption that would break the argument on its own terms, but the strength rests on those calculations being correct. This is a specialized piece aimed at people working in operator theory on integral kernels and point processes. A reader who already cares about extensions of Wiener-Hopf theory to hypergeometric cases or needs explicit diagonalizing tools for such operators would find the constructions and formulas worth examining. It deserves a serious referee because the claims are concrete, the method is direct, and the results are checkable even if the broader impact stays within the subfield.

Referee Report

0 major / 1 minor

Summary. The paper constructs a unitary transform generalizing the Fourier transform whose image describes the space associated to the determinantal point process with the confluent hypergeometric kernel. It proves a Paley-Wiener counterpart for the transform and uses this to establish that the analogue Wiener-Hopf operator is unitarily equivalent to the classical Wiener-Hopf operator, inheriting its factorization properties and Widom's trace formula. Explicit formulae for the hierarchical decomposition of the image are also derived via the transform.

Significance. If the stated proofs hold, the work would be significant for functional analysis and the theory of integral operators: it supplies a concrete diagonalizing transform for this kernel, permits transfer of classical results (including Widom's trace formula) via unitary equivalence, and furnishes explicit hierarchical decompositions. These features would strengthen the toolkit for studying the associated determinantal processes.

minor comments (1)

The abstract is dense; expanding the description of the transform's explicit form and the precise statement of the Paley-Wiener counterpart would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. The referee's description accurately reflects the main results of the manuscript. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation proceeds from independent construction to application

full rationale

The paper first constructs a unitary transform that generalizes the Fourier transform and maps L2[0,1] onto the image of the confluent hypergeometric kernel operator. It then proves a Paley-Wiener counterpart for this transform. These steps are used to establish unitary equivalence to the classical Wiener-Hopf operator and to derive explicit formulae for hierarchical decomposition. No step reduces a claimed prediction or uniqueness result to a fitted parameter, self-definition, or load-bearing self-citation; the transform is introduced and verified independently before being applied. The argument chain is therefore self-contained against external benchmarks such as standard Fourier analysis and Wiener-Hopf theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper rests on standard functional-analysis background rather than new free parameters or invented entities; the main addition is the explicit construction of the transform.

axioms (1)

domain assumption The confluent hypergeometric kernel induces a well-defined operator whose image can be realized as the range of a unitary transform applied to L2[0,1].
This is the foundational setup stated in the abstract.

pith-pipeline@v0.9.0 · 5641 in / 1296 out tokens · 80917 ms · 2026-05-22T19:55:56.585490+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/RealityFromDistinction.lean reality_from_one_distinction unclear

?

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

We use the theorem to prove that the corresponding analogue of the Wiener-Hopf operator is a unitary equivalent of the usual Wiener-Hopf operator, which implies that it shares the same factorization properties and Widom's trace formula.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

For the derived transform we prove a counterpart of the Paley-Wiener theorem.

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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Central limit theorem for the determinantal point process with the confluent hypergeometric kernel
math.FA 2025-05 unverdicted novelty 6.0

Additive functionals of the determinantal point process with confluent hypergeometric kernel converge to Gaussian with a Kolmogorov-Smirnov distance estimate as R tends to infinity.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages · cited by 1 Pith paper

[1]

R. A. Askey (ed.), Gabor Szeg¨ o, Collected Papers, vol. I. Birkh¨ auser, Basel, 1982

work page 1982
[2]

Abramowitz, I

M. Abramowitz, I. A. Stegun, Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables , 10th ed., U.S. Government Printing Oﬃce, New York, 1964. 15

work page 1964
[3]

E. L. Basor, Y. Chen, Toeplitz determinants from compatibility conditions , Ramanujan J. 16 (2008), 25-40

work page 2008
[4]

Basor, T

E.L. Basor, T. Ehrhardt, Asymptotics of determinants of Bessel operators , Comm. Math. Phys. 234 (2003), 491–516

work page 2003
[5]

E. L. Basor, H. Widom, Determinants of Airy Operators and Applications to Random M atrices, J. Stat. Phys. 96 (1999), 1-20

work page 1999
[6]

Borodin, P

A. Borodin, P. Deift, Fredholm determinants, Jimbo-Miwa-Ueno tau-functions, a nd represen- tation theory, Comm. Pure Appl. Math. 55 (2002), 1160-1230

work page 2002
[7]

Borodin, G

A. Borodin, G. Olshanski, Inﬁnite Random Matrices and Ergodic Measures , Comm. Math. Phys. 223 (2001), 87-123

work page 2001
[8]

Bourgade, A

P. Bourgade, A. Nikeghbali, A. Rouault, Ewens measures on compact groups and hypergeo- metric kernels , In: Donati-Martin, C., Lejay, A., Rouault, A. (eds), S´ eminaire de Probabilit´ es XLIII. Lecture Notes in Mathematics , vol. 2006, Springer, Berlin, Heidelberg

work page 2006
[9]

A. I. Bufetov, A Palm hierarchy for the decomposing measure in the problem o f harmonic analysis on the inﬁnite-dimensional unitary group, the det erminantal point process with the conﬂuent hypergeometric kernel , St. Petersburg Math. J. 35 (2023), 769-785

work page 2023
[10]

A. I. Bufetov, Yanqi Qiu, A. Shamov, Kernels of conditional determinantal measures and the Lyons–Peres completeness conjecture, J. Eur. Math. Soc. 23 (2021), 1477-1519

work page 2021
[11]

Deift, I

P. Deift, I. Krasovsky, J. Vasilevska, Asymptotics for a determinant with a conﬂuent hyperge- ometric kernel , Int. Math. Res. Notices. 2011 (2011), 2117-2160

work page 2011
[12]

J. B. Garnett, Bounded Analytic Functions , Springer, New York, 2007

work page 2007
[13]

Macchi, The coincidence approach to stochastic point processes , Adv

O. Macchi, The coincidence approach to stochastic point processes , Adv. in Appl. Probab. 7 (1975), 83-122

work page 1975
[14]

Rudin, Real and Complex Analysis , 3rd ed., McGraw Hill, New York, 1987

W. Rudin, Real and Complex Analysis , 3rd ed., McGraw Hill, New York, 1987

work page 1987
[15]

Simon, Orthogonal Polynomials on the Unit Circle, Part 1: Classical Th eory, AMS Collo- quium Series, vol

B. Simon, Orthogonal Polynomials on the Unit Circle, Part 1: Classical Th eory, AMS Collo- quium Series, vol. 54, Amer. Math. Soc., Providence, RI, 200 5

work page
[16]

Simon, Trace Ideals and Their Applications , Mathematical Surveys and Monographs, vol

B. Simon, Trace Ideals and Their Applications , Mathematical Surveys and Monographs, vol. 120, 2nd ed., Amer. Math. Soc., Providence, RI, 2005

work page 2005
[17]

Simon, Operator Theory, Amer

B. Simon, Operator Theory, Amer. Math. Soc., Providence, RI, 2015

work page 2015
[18]

Shirai, Y

T. Shirai, Y. Takahashi, Random point ﬁelds associated with certain Fred- holm deter minants. II. Fermion shifts and their ergodic and Gibbs proper- ties. , Ann. Probab. 31 (2003), 1533-1564

work page 2003
[19]

Soshnikov, Determinantal random point ﬁelds , Russian Math

A. Soshnikov, Determinantal random point ﬁelds , Russian Math. Surveys 55 (2000), 923-975

work page 2000
[20]

Tracy, H

C. Tracy, H. Widom, Level-Spacing Distributions and the Airy Kernel , Phys. Lett. B 305 (1993), 115-118. 16

work page 1993
[21]

Tracy, H

C. Tracy, H. Widom, Level spacing distributions and the Bessel kernel , Comm. Math. Phys. 161 (1994), 289-309

work page 1994
[22]

Widom, A trace formula for Wiener-Hopf operators , J

H. Widom, A trace formula for Wiener-Hopf operators , J. Operator Theory 8 (1982), 279-298. 17

work page 1982

[1] [1]

R. A. Askey (ed.), Gabor Szeg¨ o, Collected Papers, vol. I. Birkh¨ auser, Basel, 1982

work page 1982

[2] [2]

Abramowitz, I

M. Abramowitz, I. A. Stegun, Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables , 10th ed., U.S. Government Printing Oﬃce, New York, 1964. 15

work page 1964

[3] [3]

E. L. Basor, Y. Chen, Toeplitz determinants from compatibility conditions , Ramanujan J. 16 (2008), 25-40

work page 2008

[4] [4]

Basor, T

E.L. Basor, T. Ehrhardt, Asymptotics of determinants of Bessel operators , Comm. Math. Phys. 234 (2003), 491–516

work page 2003

[5] [5]

E. L. Basor, H. Widom, Determinants of Airy Operators and Applications to Random M atrices, J. Stat. Phys. 96 (1999), 1-20

work page 1999

[6] [6]

Borodin, P

A. Borodin, P. Deift, Fredholm determinants, Jimbo-Miwa-Ueno tau-functions, a nd represen- tation theory, Comm. Pure Appl. Math. 55 (2002), 1160-1230

work page 2002

[7] [7]

Borodin, G

A. Borodin, G. Olshanski, Inﬁnite Random Matrices and Ergodic Measures , Comm. Math. Phys. 223 (2001), 87-123

work page 2001

[8] [8]

Bourgade, A

P. Bourgade, A. Nikeghbali, A. Rouault, Ewens measures on compact groups and hypergeo- metric kernels , In: Donati-Martin, C., Lejay, A., Rouault, A. (eds), S´ eminaire de Probabilit´ es XLIII. Lecture Notes in Mathematics , vol. 2006, Springer, Berlin, Heidelberg

work page 2006

[9] [9]

A. I. Bufetov, A Palm hierarchy for the decomposing measure in the problem o f harmonic analysis on the inﬁnite-dimensional unitary group, the det erminantal point process with the conﬂuent hypergeometric kernel , St. Petersburg Math. J. 35 (2023), 769-785

work page 2023

[10] [10]

A. I. Bufetov, Yanqi Qiu, A. Shamov, Kernels of conditional determinantal measures and the Lyons–Peres completeness conjecture, J. Eur. Math. Soc. 23 (2021), 1477-1519

work page 2021

[11] [11]

Deift, I

P. Deift, I. Krasovsky, J. Vasilevska, Asymptotics for a determinant with a conﬂuent hyperge- ometric kernel , Int. Math. Res. Notices. 2011 (2011), 2117-2160

work page 2011

[12] [12]

J. B. Garnett, Bounded Analytic Functions , Springer, New York, 2007

work page 2007

[13] [13]

Macchi, The coincidence approach to stochastic point processes , Adv

O. Macchi, The coincidence approach to stochastic point processes , Adv. in Appl. Probab. 7 (1975), 83-122

work page 1975

[14] [14]

Rudin, Real and Complex Analysis , 3rd ed., McGraw Hill, New York, 1987

W. Rudin, Real and Complex Analysis , 3rd ed., McGraw Hill, New York, 1987

work page 1987

[15] [15]

Simon, Orthogonal Polynomials on the Unit Circle, Part 1: Classical Th eory, AMS Collo- quium Series, vol

B. Simon, Orthogonal Polynomials on the Unit Circle, Part 1: Classical Th eory, AMS Collo- quium Series, vol. 54, Amer. Math. Soc., Providence, RI, 200 5

work page

[16] [16]

Simon, Trace Ideals and Their Applications , Mathematical Surveys and Monographs, vol

B. Simon, Trace Ideals and Their Applications , Mathematical Surveys and Monographs, vol. 120, 2nd ed., Amer. Math. Soc., Providence, RI, 2005

work page 2005

[17] [17]

Simon, Operator Theory, Amer

B. Simon, Operator Theory, Amer. Math. Soc., Providence, RI, 2015

work page 2015

[18] [18]

Shirai, Y

T. Shirai, Y. Takahashi, Random point ﬁelds associated with certain Fred- holm deter minants. II. Fermion shifts and their ergodic and Gibbs proper- ties. , Ann. Probab. 31 (2003), 1533-1564

work page 2003

[19] [19]

Soshnikov, Determinantal random point ﬁelds , Russian Math

A. Soshnikov, Determinantal random point ﬁelds , Russian Math. Surveys 55 (2000), 923-975

work page 2000

[20] [20]

Tracy, H

C. Tracy, H. Widom, Level-Spacing Distributions and the Airy Kernel , Phys. Lett. B 305 (1993), 115-118. 16

work page 1993

[21] [21]

Tracy, H

C. Tracy, H. Widom, Level spacing distributions and the Bessel kernel , Comm. Math. Phys. 161 (1994), 289-309

work page 1994

[22] [22]

Widom, A trace formula for Wiener-Hopf operators , J

H. Widom, A trace formula for Wiener-Hopf operators , J. Operator Theory 8 (1982), 279-298. 17

work page 1982