arxiv: 2512.17388 · v2 · submitted 2025-12-19 · 🧮 math.CV

Recognition: 2 theorem links

· Lean Theorem

On the membership of two-variable Rational Inner Functions in spaces of Dirichlet-type

Athanasios Beslikas , Alan Sola

Authors on Pith no claims yet

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

classification 🧮 math.CV

keywords rational inner functionsbidiskDirichlet spacescontact ordersingular pointsseveral complex variablesfunction spacesinner functions

0 comments

The pith

Rational inner functions on the bidisk belong to Dirichlet-type spaces exactly when their contact order at singular points meets a bound set by the space parameter.

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

The paper characterizes membership of rational inner functions on the bidisk in a scale of Dirichlet spaces and their higher-order variants. It shows that this membership holds precisely when a geometric quantity called contact order satisfies an inequality at each singular point of the function. This replaces direct analytic estimates of integrals with a calculation based on how the function touches the boundary at those points. A reader would care because the result supplies an explicit test that works for any rational inner function without further case-by-case analysis.

Core claim

Rational inner functions on the bidisk lie in the Dirichlet-type spaces if and only if the contact order of the function at each of its singular points is at least as large as a number determined by the space parameter; the same style of characterization holds for the higher-order variants of the spaces.

What carries the argument

Contact order at singular points, the geometric quantity that records the rate at which a rational inner function approaches its boundary singularities and thereby controls whether the associated Dirichlet integral remains finite.

If this is right

Membership reduces to a finite computation of contact orders at the singular points.
Higher-order Dirichlet spaces require correspondingly higher minimal contact orders.
The same geometric test applies to the variants of the spaces considered in the paper.
Explicit rational inner functions can be classified as members or non-members by inspecting their boundary geometry alone.

Where Pith is reading between the lines

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

If contact order can be defined for non-rational inner functions, the same criterion might classify membership more generally.
The test may link to questions about zero sets or model spaces on the bidisk.
Low-degree examples could be checked numerically to confirm the predicted bounds on the Dirichlet integral.

Load-bearing premise

Contact order is well-defined at every singular point of any rational inner function and this single number controls membership in the Dirichlet-type spaces for any choice of the space parameters.

What would settle it

Pick any explicit rational inner function, compute its contact orders at the singular points, and verify whether the finiteness of its Dirichlet integral matches the inequality predicted by those orders.

Figures

Figures reproduced from arXiv: 2512.17388 by Alan Sola, Athanasios Beslikas.

**Figure 1.** Figure 1: Graphs of the functions |a1(ζ2)| and |a2(ζ2)| on a neighborhood of the origin after mapping the ζ2−variable on the real line. We observe that as z2 → 1, the hyperbolic pseudodistance ρD(a1(ζ2), a2(ζ2)) → 1 because a1(1) = 1 and a2(1) = 1 3 . α < 5 4 . Combining these with the sufficiency estimates, we get a sharp cut-off for α and membership of the AMY function in D1,1,α. 7. Acknowledgements The first name… view at source ↗

read the original abstract

We study membership of rational inner functions on the bidisk $\mathbb{D}^2$ in a scale of Dirichlet spaces considered by Bera, Chavan, and Ghara, and in higher-order variants of these spaces. We give a characterization for membership in terms of the geometric concept of contact order of a rational inner function at its singular points, and we further record some consequences and variants of our main result.

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 a clean geometric criterion for when rational inner functions on the bidisk belong to the Bera-Chavan-Ghara Dirichlet spaces and their higher-order versions, via finite contact order at singular points.

read the letter

The key point here is that the authors characterize membership of rational inner functions on the bidisk in a scale of Dirichlet spaces by the contact order at singular points. If the contact order is finite, the function is in the space; otherwise not. This is presented as new relative to the Bera-Chavan-Ghara work. They do this by defining the contact order through the vanishing order of the denominator on the torus and then equating it to the finiteness of the Dirichlet integral via direct comparison. The approach stays with the explicit rational form and the geometry on the boundary, which avoids abstract machinery. This seems solid because the rational case allows explicit computation of the integrals involved. This works well because it gives a usable geometric test and extends to higher-order variants without adding extra conditions on the functions or weights. The consequences they record are straightforward but useful for applications, such as perhaps stability or approximation properties. The potential weak point is minor: everything hinges on the singular points being well-behaved for rationals, which they are by definition, but the paper might benefit from an example where contact order is infinite to illustrate the boundary case more vividly. Also, while the stress-test indicates the argument handles parameter dependence cleanly, a reader might want to see how it behaves for non-rational inner functions as a contrast, though that's outside the scope. No major gaps show up in the outline, and there is no circularity in the reasoning. This paper is for researchers in several complex variables who work with inner functions and Dirichlet spaces on polydisks. It provides a concrete tool rather than a broad theory shift, so specialists will find it directly applicable and worth citing in related membership problems. I think it deserves peer review. The characterization is sharp enough and the methods are standard but applied cleanly here to produce a useful criterion.

Referee Report

2 major / 2 minor

Summary. The paper characterizes membership of rational inner functions on the bidisk in the scale of Dirichlet-type spaces introduced by Bera-Chavan-Ghara, as well as higher-order variants, by means of the geometric contact order of the function at its singular points on the distinguished boundary. The main result equates finite contact order (defined via vanishing order of the denominator along the torus) with membership in these spaces through direct comparison of the associated integrals, and records several consequences and variants.

Significance. If the central equivalence holds, the work supplies an explicit geometric criterion for membership that reduces the analytic integral conditions to a local order-of-vanishing computation on the zero set. This strengthens the link between geometry of rational inner functions and the Dirichlet-scale spaces, and may facilitate further study of boundedness, compactness, or operator-theoretic properties in several variables.

major comments (2)

[§3, Theorem 3.1] §3, Theorem 3.1: the proof that finite contact order implies the integral defining the Dirichlet norm is finite relies on a local coordinate change near each singular point; it is not immediately clear whether the change of variables preserves the precise weight parameters of the higher-order spaces when the contact order exceeds 1. A short explicit computation for a model example (e.g., a Blaschke product of order 2) would confirm the constants remain controlled.
[§4, Corollary 4.2] §4, Corollary 4.2: the claimed equivalence for the higher-order Dirichlet spaces is stated for all real parameters α > −1, but the integral comparison in the proof appears to require α > 0 to absorb the logarithmic terms arising from the contact-order expansion. Clarify whether the result extends to the full range or whether an additional restriction on α is needed.

minor comments (2)

[§2] Notation: the symbol D_α for the Dirichlet-type space is introduced without an explicit reference to the original Bera-Chavan-Ghara definition; add a one-line reminder of the integral form at the beginning of §2.
[Figure 1] Figure 1: the schematic diagram of contact order would benefit from labeling the vanishing order explicitly on the curve, rather than only in the caption.

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 have revised the paper accordingly.

read point-by-point responses

Referee: [§3, Theorem 3.1] §3, Theorem 3.1: the proof that finite contact order implies the integral defining the Dirichlet norm is finite relies on a local coordinate change near each singular point; it is not immediately clear whether the change of variables preserves the precise weight parameters of the higher-order spaces when the contact order exceeds 1. A short explicit computation for a model example (e.g., a Blaschke product of order 2) would confirm the constants remain controlled.

Authors: We appreciate the referee's suggestion. The local coordinate change is chosen to respect the contact order at each singular point, and the resulting Jacobian is bounded by a constant depending only on the order; this preserves the precise weights in the higher-order Dirichlet integrals. To make the argument fully explicit, we have added a short computation for the model Blaschke product of order 2 immediately after the proof of Theorem 3.1 in the revised manuscript. revision: yes
Referee: [§4, Corollary 4.2] §4, Corollary 4.2: the claimed equivalence for the higher-order Dirichlet spaces is stated for all real parameters α > −1, but the integral comparison in the proof appears to require α > 0 to absorb the logarithmic terms arising from the contact-order expansion. Clarify whether the result extends to the full range or whether an additional restriction on α is needed.

Authors: Upon rechecking the estimates, the contact-order vanishing produces a power-law factor that dominates the logarithmic terms for every α > −1. The comparison therefore holds on the full range stated in the corollary. We have inserted a brief remark immediately after the proof of Corollary 4.2 explaining how the logs are absorbed, without altering the statement. revision: yes

Circularity Check

0 steps flagged

No significant circularity; direct characterization via explicit rational form and integral comparison

full rationale

The derivation defines contact order at singular points as the vanishing order of the denominator along the distinguished boundary, then establishes equivalence to membership in the Dirichlet-type spaces (and higher-order variants) by direct comparison of the relevant integrals. This proceeds from the explicit rational expression of the inner function, the geometry of its zero set on the torus, and parameter dependence without reduction to a fitted input, self-definition, or self-citation chain. The cited spaces of Bera-Chavan-Ghara are external and the argument is self-contained against those benchmarks. No load-bearing steps reduce by construction to the paper's own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies on standard definitions of rational inner functions and the Dirichlet spaces from prior literature, plus basic properties of holomorphic functions on the bidisk.

axioms (2)

domain assumption Rational inner functions on the bidisk are holomorphic and bounded with the appropriate inner property on the distinguished boundary.
Invoked as the class of functions under study; standard in the field.
domain assumption The Dirichlet-type spaces are defined via integrals or norms involving derivatives or differences as introduced by Bera, Chavan, and Ghara.
The scale of spaces is taken from the cited reference.

pith-pipeline@v0.9.0 · 5355 in / 1187 out tokens · 51114 ms · 2026-05-16T21:01:17.572228+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/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

Theorem 2.1. Let p∈C[z1,z2] be stable and locally square free on T². Then φ=˜p/p ∈ D^{1,1,α}(D²) iff α<1+1/K, where K is the contact order of φ.
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

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

Theorem 3.1 (Puiseux). p vanishes to order M at (0,0); branches (z1 + qj(z2) + i z2^{2Lj}) with deg qj<2Lj, qj(0)=0, qj'(0)>0; K=max 2Lj.

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.

Composition operators and Rational Inner Functions on the bidisc: A geometric approach
math.CV 2026-04 unverdicted novelty 6.0

Boundedness of composition operators induced by rational inner functions on weighted Bergman spaces of the bidisc equals transversal intersection of level sets for non-smooth symbols, assuming high-order tangential in...

Reference graph

Works this paper leans on

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

[1]

Agler and J.E

J. Agler and J.E. McCarthy,Pick interpolation and Hilbert function spaces, volume 44 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2002

work page 2002
[2]

Agler and J

J. Agler and J. McCarthy,Distinguished varieties, Acta Math. 194 (2005), no. 2, 133–153

work page 2005
[3]

Agler and J.E

J. Agler and J.E. McCarthy,Nevanlinna-Pick interpolation on the bidisk, J. Reine Angew. Math. 506 (1999), 191–20

work page 1999
[4]

J. T. Anderson, L. Bergqvist, K. Bickel, J. A. Cima, and A. A. Sola,Clark measures for rational inner functions II: general bidegrees and higher dimensions, Ark. Mat. 62 (2024), no. 2. 331–368

work page 2024
[5]

Arcozzi, P

N. Arcozzi, P. Mozolyako, K.-M. Perfekt, and G. Sarfatt,Bi-parameter potential theory and Carleson measures for the Dirichlet space on the bidisc, Discrete Anal. 2023, Paper no.22

work page 2023
[6]

B´ en´ eteau, A.A

C. B´ en´ eteau, A.A. Condori, C. Liaw, D. Seco, and A.A. Sola,Cyclicity in Dirichlet-type spaces and extremal polynomials II: functions on the bidisk, Pacific J. Math. 276 (2015)

work page 2015
[7]

B´ en´ eteau, G

C. B´ en´ eteau, G. Knese, L. Kosi´ nski, C. Liaw, D. Seco, and A. Sola,Cyclic polynomials in two variables, Trans. Amer. Math. Soc. 368 (2016), 8737-8754

work page 2016
[8]

S. Bera, S. Chavan, and S. Ghara,Dirichlet-type spaces of the unit bidisc and toral 2-isometries, Canadian J. Math. 2025;77(4):1271-1293

work page 2025
[9]

Bergqvist,Rational Inner Functions and their Dirichlet Type Norms, Computational Methods and Function Theory,23(2023), 563–587

L. Bergqvist,Rational Inner Functions and their Dirichlet Type Norms, Computational Methods and Function Theory,23(2023), 563–587

work page 2023
[10]

Beslikas,Composition Operators and Rational Inner Functions on the bidisc,Proc

A. Beslikas,Composition Operators and Rational Inner Functions on the bidisc,Proc. Amer. Math. Soc., Vol. 153, No. 8, August 2025

work page 2025
[11]

Beurling,On two problems concerning linear transformations in Hilbert space,Acta Math

A. Beurling,On two problems concerning linear transformations in Hilbert space,Acta Math. 81 (1948), 239–255. 18

work page 1948
[12]

Bickel, J

K. Bickel, J. A. Cima, A.A. Sola,Clark Measures for Rational Inner Functions, Michigan Math. J.73(2023), 1021-1057

work page 2023
[13]

Bickel and G

K. Bickel and G. Knese,Inner functions on the bidisk and associated Hilbert spaces, J. Funct. Anal. Volume265 (2013), 2753-2790

work page 2013
[14]

Bickel, G

K. Bickel, G. Knese, J. E. Pascoe, and A. Sola ,Local theory of stable polynomials and bounded rational functions of several variables, Ann. Polon. Math. 133 (2024), no. 2, 95-169

work page 2024
[15]

Bickel, J.E

K. Bickel, J.E. Pascoe, A. Sola,Derivatives of Rational Inner Functions and integrability at the boundary,Proc. London Math. Soc.116(2018), 281-329

work page 2018
[16]

Bickel, J.E

K. Bickel, J.E. Pascoe, and A. Sola,Level curve portraits of rational inner functions. Annali Scuola Normale Superiore di Pisa - Cl. Scienze,21(2020), 449-494

work page 2020
[17]

Bickel, J.E

K. Bickel, J.E. Pascoe, and A. Sola,Singularities of Rational Functions in higher dimensions,Amer. J. Math. 144(2022), 1115-1157

work page 2022
[18]

El-Fallah, K

O. El-Fallah, K. Kellay, J. Mashreghi, and T. Ransford,A primer on the Dirichlet space, Cambridge Tracts in Mathematics 203, Cambridge University Press, 2014

work page 2014
[19]

Fulton,Algebraic curves, Advanced Book Classics, Addison-Wesley Publishing Company, Advanced Book Program, Redwood City, CA, 1989

W. Fulton,Algebraic curves, Advanced Book Classics, Addison-Wesley Publishing Company, Advanced Book Program, Redwood City, CA, 1989. An introduction to algebraic geometry; Notes written with the collaboration of Richard Weiss; Reprint of 1969 original. MR1042981

work page 1989
[20]

Garcia, J

S. Garcia, J. Mashreghi, and W.T. Ross,Finite Blaschke products and their connections, Springer-Verlag, Cham, 2018

work page 2018
[21]

Hedenmalm,Outer functions in function algebras on the bidisk, Trans

H. Hedenmalm,Outer functions in function algebras on the bidisk, Trans. Amer. Math. Soc. 306 (1988), 697-714

work page 1988
[22]

Hedenmalm, B

H. Hedenmalm, B. Korenblum, K. Zhu,Theory of Bergman spaces, Springer, New York, 2000

work page 2000
[23]

Jupiter and D

D. Jupiter and D. Redett,Mutlipliers on Dirichlet-type spaces, Acta Sci. Math. (Szeged)72(2006), 179-203

work page 2006
[24]

Math.163(1994), 337-360

H.T.Kaptano˘ glu,Mobius-invariant Hilbert spaces in Polydiscs, Pacific J. Math.163(1994), 337-360

work page 1994
[25]

Knese,Rational Inner Functions in the Schur-Agler class of the polydisc, Publ

G. Knese,Rational Inner Functions in the Schur-Agler class of the polydisc, Publ. Mat. Vol. 55, No. 2 (2011), pp. 343-357

work page 2011
[26]

Knese,A refined Agler decomposition and geometric applications, Indiana Univ

G. Knese,A refined Agler decomposition and geometric applications, Indiana Univ. Math. J.60(2011), 1831-1841

work page 2011
[27]

Knese,Integrability and regularity of Rational Inner Functions,Proc

G. Knese,Integrability and regularity of Rational Inner Functions,Proc. London Math. Soc.111(2015), 1261- 1306

work page 2015
[28]

Knese,Boundary local integrability of rational functions in two variables,to appear in Trans

G. Knese,Boundary local integrability of rational functions in two variables,to appear in Trans. Amer. Math. Soc. https://doi.org/10.48550/arXiv.2404.05042

work page doi:10.48550/arxiv.2404.05042
[29]

Knese, L

G. Knese, L. Kosi´ nski, T.J. Ransford, and A.A. Sola,Cyclic polynomials in anisotropic Dirichlet spaces, J. Anal. Math.138(2019) 23–47

work page 2019
[30]

Koll´ ar,Bounded meromorphic functions on the complex 2-disc, Periodica Mathematica Hungarica 19 (2023), 1-7

J. Koll´ ar,Bounded meromorphic functions on the complex 2-disc, Periodica Mathematica Hungarica 19 (2023), 1-7

work page 2023
[31]

Kosi´ nski,Three-point Nevanlinna–Pick problem in the polydisc, Proceedings of the London Mathematical Society, Volume 111 (2015), 887–910

L. Kosi´ nski,Three-point Nevanlinna–Pick problem in the polydisc, Proceedings of the London Mathematical Society, Volume 111 (2015), 887–910

work page 2015
[32]

Naiwal and A

R. Naiwal and A. Zalar,Cyclic polynomials in Dirichlet-type spaces on the unit bidisk, preprint, https://arxiv.org/abs/2511.13441

work page arXiv
[33]

Pascoe,A wedge-of-the-edge theorem: analytic continuation of multivariable Pick functions in and around the boundary, Bull

J.E. Pascoe,A wedge-of-the-edge theorem: analytic continuation of multivariable Pick functions in and around the boundary, Bull. London Math. Soc.49(2017), 916-925

work page 2017
[34]

Perfekt,Rectangular summation of Fourier series and multi-parametric capacity, Potential Anal.55(2021), 389-402

K.-K. Perfekt,Rectangular summation of Fourier series and multi-parametric capacity, Potential Anal.55(2021), 389-402

work page 2021
[35]

Rudin,Function Theory in polydisks, W

W. Rudin,Function Theory in polydisks, W. A. Benjamin, Inc., New York Amsterdam, 1969

work page 1969
[36]

Yamashita,Criteria for functions to be of Hardy classH p, Proc

S. Yamashita,Criteria for functions to be of Hardy classH p, Proc. Amer. Math. Soc.75(1979), 69-72. Doctoral School of Exact and Natural Studies, Institute of Mathematics, Faculty of Mathematics and Computer Science, Jagiellonian University, Lojasiewicza 6, PL30348, Cracow, Poland Email address:athanasios.beslikas@doctoral.uj.edu.pl Department of Mathemat...

work page 1979