Pith. sign in

REVIEW 4 major objections 5 minor 20 references

Inner and characteristic functions in polydiscs

T0 review · 4 major / 5 minor · reviewed 2026-08-09 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read An explicit formula gives complete unitary invariants for commuting contractions on polydiscs and represents all inner functions.

desk verdict Genuine explicit characteristic function for Beurling tuples on the polydisc, with one load-bearing dependency on the authors' own classification; worth refereeing. read the letter →

arxiv 2502.00727 v1 pith:QG5DFXJF submitted 2025-02-02 math.FA math.CVmath.OA

Ramlal Debnath , Deepak K. Pradhan , Jaydeb Sarkar This is my paper · ORCID
classification math.FAmath.CVmath.OA MSC 46J1547A1530H0547A5632A3530J05
keywords innerfunctionspolydiscscharacteristicBeurlingtuplesHardyspacesdefectoperatorscommutingcontractionsquotientmodules
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper claims to solve a long-open problem: characterize the commuting tuples of pure contractions on a Hilbert space that admit a characteristic function, write that function explicitly, and use it to represent every inner function on the polydisc $\mathbb{D}^n$. The answer is restricted to 'Beurling tuples'—commuting Szegő tuples whose pairwise defect spaces annihilate each other—and for these the paper defines an operator-valued analytic function $\Theta_T$ by an explicit formula involving defect operators and a joint commutator matrix. It then proves $\Theta_T$ is inner and that two Beurling tuples are unitarily equivalent exactly when their characteristic functions coincide up to unitary transformations. From that, every inner function on $\mathbb{D}^n$ is shown to be, up to a constant unitary block, a characteristic function of some Beurling tuple.

What carries the argument

The load-bearing object is the joint defect operator $D_T$ of the second kind: an $n \times n$ operator matrix on the $n$-fold direct sum of the underlying Hilbert space, with diagonal entries the 'truncated defect operators' (positive operators obtained by applying $(I - T_k T_k^*)$ to the classical defect operators) and off-diagonal entries the 'joint commutators' (products of such maps applied to pairwise commutators $[T_j, T_i^*]$). For Beurling tuples this matrix is positive, so $D_T$ is a genuine defect space; the characteristic function $\Theta_T$ is built from $D_T$, the first-kind defect operator $D_{T_*}$, and the resolvents $(I - w_k T_k^*)^{-1}$. Positivity of $D_T$ is what makes $\Theta_T$ inner, and the canonical dilation of Szegő tuples—embedding $H$ into a vector-valued Hardy space—connects the abstract construction to the concrete formula.

What would settle it

Compute $\Theta_T$ explicitly for a concrete Beurling tuple with $n = 2$, for instance a pair built from the unilateral shift, and check numerically whether $\Theta_T(z)^*\Theta_T(z) = I$ on the distinguished boundary $\mathbb{T}^2$; a single point with nonzero defect would falsify the innerness claim. Equivalently, exhibit two Beurling tuples that are not unitarily equivalent but whose characteristic functions coincide up to the stated constant unitaries, which would falsify Theorem 7.5.

Watch

Extended reading notes

Core claim

The central discovery is that the characteristic function of a Beurling tuple $T$ is realized by the explicit analytic function $\Theta_T(w)$ acting on the joint defect space $D_T$ and taking values in $D_{T_*}$, given by the operator product formula of Definition 7.3. The paper proves (Theorems 7.1 and 7.2) that $\Theta_T$ is inner, meaning $\Theta_T(z)^*\Theta_T(z) = I$ for almost every boundary point $z$ in the distinguished boundary of $\mathbb{D}^n$, and (Theorem 7.5) that the assignment $T \mapsto \Theta_T$ is a complete unitary invariant. As a corollary, any inner function $\Theta$ on $\mathbb{D}^n$ is unitarily equivalent to the direct sum of $\Theta_T$ and a constant identity block, where $T$ is a Beurling tuple constructed from $\Theta$. This yields the first concrete representation of inner functions on the polydisc for $n > 1$.

Load-bearing premise

The proof that $\Theta_T$ is inner relies on a previously established classification theorem (reference [7]) stating that a Szegő tuple admits a characteristic function exactly when its pairwise defect spaces annihilate each other; this paper does not reprove that classification, so if it were incorrect the innerness of the explicit formula would not follow.

Editorial extensions

If this is right

  • Every inner function on $\mathbb{D}^n$ for any $n \geq 2$ is unitarily equivalent to the direct sum of a characteristic function of some Beurling tuple and a constant identity block.
  • Two Beurling tuples are jointly unitarily equivalent if and only if their characteristic functions coincide up to constant unitaries, reducing the classification problem to comparison of analytic functions.
  • For $n = 1$, the formula reduces to the classical characteristic function of a pure contraction, so the paper is a genuine multivariable extension of the single-variable model theory.
  • The equality between the dimension of the wandering subspace of a Beurling submodule and the dimension of the joint defect space provides a new structural tool for studying quotient modules of the Hardy space.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A natural extension, not pursued in the paper, is to use the joint defect operator as a candidate definition of hyponormality for commuting tuples; the authors themselves hint at this possibility in Subsection 8.3.
  • One could test the representation theorem by computing $\Theta_T$ for concrete tuples such as Toeplitz or composition operators, a computation that was previously infeasible.
  • The proof depends on the classification theorem [7]; independently verifying that classification would make the representation results self-contained.
  • If a similar formula could be found for non-Beurling Szegő tuples, it would settle the broader question of which commuting contractions admit characteristic functions; the paper proves only the Beurling case.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 5 minor

Summary. The paper develops a model theory for commuting tuples of pure contractions on the polydisc. For the class of Beurling tuples T in S_n^B(H), it constructs an explicit operator-valued analytic function Θ_T: D^n → B(D_T, D_{T*}), called the characteristic function of T, and proves that it is inner and a complete unitary invariant. The construction proceeds through new tools: truncated defect operators, joint commutators, and a joint defect operator D_T. The authors then use this invariant to represent every inner function on D^n as a direct sum of a characteristic function Θ_T and a constant unitary block, and they show that their formula reduces to the classical Sz.-Nagy--Foias characteristic function when n=1. They also revisit and generalize a result of Ahern and Clark on the infinite dimensionality of Beurling quotient modules.

Significance. If the main theorems are correct, this is a substantial contribution to multivariable operator theory and function theory on the polydisc. The characteristic function is given by an explicit, canonical formula rather than by an abstract existence argument, and the paper identifies the exact class of tuples (Beurling tuples) for which such a function can exist. The resulting representation of inner functions on D^n, the recovery of the one-variable Sz.-Nagy--Foias theory, and the new proofs of the Ahern--Clark result are all valuable. The paper also introduces truncated defect operators and joint commutators, which are likely to be useful beyond the present application. The main caveat is that the proof of innerness of Θ_T in Theorem 7.1 relies on an imported classification theorem from the authors' earlier paper [7], and some load-bearing identification steps around the canonical dilation space are not fully written out; these gaps are fixable but need attention.

major comments (4)
  1. [Section 7, Theorem 7.1 and Eq. (7.1)] The proof asserts that Q := Π_T H is a Beurling quotient module and that therefore there exist E and an inner Θ such that Q = Q_Θ. This does not follow directly from Theorem 3.4(1), which gives a unitary equivalence T ≅ C_{Q_Θ} for some Θ, not an equality of the canonical dilation space Π_T H with a Beurling quotient module in the fixed ambient space H^2_{D_{T*}}(D^n). The proof needs an additional argument using the minimality of the canonical dilation (Theorem 2.1) and the uniqueness of the minimal isometric dilation, reducing Q_Θ to its minimal part if necessary, to obtain a Θ with Q = Q_Θ. This identification is load-bearing: the unitary U: E → D_T, and hence the whole definition of Θ_T, depends on it.
  2. [Section 4, Theorem 4.3 and Eq. (4.4)] The proof of positivity of the truncated defect operators is concluded by the sentence 'applying induction, one can now say that (4.4)'. This induction is not spelled out, yet the identity D^2_{j,C,P} = P_Q M_{z_j}^* P_{W_P} M_{z_j}|_Q is used later to prove positivity of the joint defect operator in Proposition 6.2 and to identify defect spaces in Corollary 6.3. The induction step requires justifying, for an arbitrary number of factors, identities such as P_{S⊖z_i S} - P_{z_k(S⊖z_i S)} = P_{(S⊖z_i S)∩(S⊖z_k S)} and their ordering. This should be stated as a separate lemma with a complete proof.
  3. [Section 7, Theorem 7.5, first direction] The proof that coinciding characteristic functions imply unitary equivalence is hard to verify because of mismatched unitaries and missing adjoints. The displayed computation should involve (I⊗τ_*^*) M_{Θ_T}^* (I⊗τ_*) = M_{Θ_S}^*, and later the identity should be M_{Θ_T} M_{Θ_T}^* = (I⊗τ_*) M_{Θ_S} M_{Θ_S}^* (I⊗τ_*^*), not M_{Θ_T} M_{Θ_T} as written. The conclusion P_{Q_{Θ_T}}(I⊗τ_*) = (I⊗τ_*)P_{Q_{Θ_S}} also needs a short explicit derivation. Since this direction is essential for the completeness of the invariant, it should be rewritten carefully.
  4. [Section 7, proof of Theorem 7.1, definition of U] The definition of U on the generating set is only shown to be isometric, but the proof should also address well-definedness and surjectivity onto D_T. Specifically, one must show that if the expression Σ_i ∏_{j≠i}(I-M_{z_j}M_{z_j}^*)M_Θ^* M_{z_i}Π_T h_i vanishes, then D_T \tilde h = 0, and that the span of such expressions exhausts E. These facts follow from (7.3), Proposition 5.7, and the properties of D_T, but they are not stated. Without them, U is not fully defined and the innerness of Θ_T is not completely established.
minor comments (5)
  1. [Section 7, Theorem 7.2] The definition Π_{z_i,T} := M_{z_i}Π_T - Π_T M_{z_i} is a typo; it should be M_{z_i}Π_T - Π_T T_i, as used in the subsequent computation.
  2. [Section 7, Definition 7.4 and Theorem 7.5] The notation for the unitaries τ and τ_* is inconsistent: Definition 7.4 writes Θ_T(w) = τ_* Θ_S(w) τ^* but the proof and later display use τ and τ_* in different orders. Please standardize the notation and insert the missing adjoints.
  3. [Section 4, Proposition 4.8] In the induction proof, the labels (1) and (2) are interchanged: the text says 'Thus (1) is true' when referring to the identity for D^2_{T_j}, and 'proving (2)' at another point. This makes the proof harder to follow.
  4. [Throughout] There are several typos that should be corrected: 'Beulring' in the proof of Proposition 6.2, 'sll' in Corollary 8.3, 'obation' in the proof of Lemma 5.6, 'It is important to that' in the introduction, and the corrupted author name in reference [19].
  5. [Section 5, Lemma 5.6] The statement of Lemma 5.6 reads 'If Q_Θ ... is a minimal quotient module if and only if'; the first 'if' should be removed or the sentence restructured.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular reduction: the explicit characteristic-function formula is proved by direct computation; reliance on the prior [7] classification is external support, not an input-output tautology.

full rationale

The paper's central new object is the explicit formula for the characteristic function Theta_T (Definition 7.3). The proof that this formula defines an inner function (Theorem 7.1) uses an auxiliary inner function Theta whose existence for Q = Pi_T H is imported from the authors' earlier classification result (Theorem 3.4, citing [7]). This is a load-bearing citation, but it is not a circular reduction: the classification theorem is a parameter-free external result whose hypotheses concern Szegő tuples and Beurling defect conditions, not the current explicit formula. Once the auxiliary Theta is available, the paper obtains the concrete formula for Theta_T by a direct operator computation in Theorem 7.2, and the complete-unitary-invariance statement in Theorem 7.5 is proved directly from that formula. In Section 8.2, a given inner function Theta is used to define a Beurling tuple T on Q_Theta, and canonical-dilation uniqueness then shows Theta is unitarily equivalent to diag(Theta_T, I). This is a representation construction, not a fitted parameter renamed as a prediction: the inner function on the left is the object being represented, not a fitted input that is later claimed as output. No equation in the paper is shown to be identical to its own input by construction, and the cited classification theorem is neither a uniqueness theorem invoked to forbid alternatives nor an ansatz smuggled in by citation. The observed reliance on [7] is a matter of external support and proof attribution, not circularity.

Assumptions & free parameters 0 free parameters · 5 assumptions · 4 invented entities

The paper introduces no free parameters or numerical fits; it is a pure operator-theoretic construction. The central claim rests on standard theorems (dilation theory, Wold decomposition, Douglas range inclusion) and on the authors' earlier classification of Beurling quotient modules. The new entities (truncated defect operators, joint commutators, joint defect operator, characteristic function) are defined constructs with internal consistency but no external empirical evidence.

assumptions (5)
  • domain assumption Muller-Vasilescu canonical dilation theorem (Theorem 2.1): every Szego tuple T admits a minimal isometric dilation to the tuple of shifts on H^2_{D_{T_*}}(D^n).
    Imported from [13] and [20]; used throughout to pass from T to model operators on a quotient module.
  • domain assumption Classification of Beurling quotient modules, [7, Theorem 3.2]: a Szego tuple is Beurling iff (I - T_i^* T_i)(I - T_j^* T_j) = 0 for all i != j.
    Self-cited from the authors' earlier paper; used in Theorem 3.4 and in Theorem 7.1 to produce an inner function Theta with Q = Q_Theta.
  • standard math Douglas range inclusion theorem.
    Used in Theorem 3.3 and Section 8.3 to derive range inclusions for defect operators.
  • standard math Slocinski-Mandrekar Wold decomposition for doubly commuting isometries (Lemma 4.2(4)).
    Used to compute wandering subspaces and truncated defect operators.
  • standard math C_0 contractions satisfy the SOT convergent series identity D_T^2 = sum_{k>=0} T^k D_{T_*}^2 T^{*k}.
    Used in Proposition 4.8 for the series expansions of defect operators.
invented entities (4)
  • Truncated defect operators D_{j,T,P} (Section 4)
    purpose: Building blocks for the joint defect operator; they are placed on the diagonal of D_T^2.
    Defined from T and powers of T; positivity proven in Theorem 4.3 for Beurling tuples.
  • Joint commutators delta_{ij}(T) (Section 5)
    purpose: Off-diagonal entries of the joint defect operator.
    New notion; shown to relate to wandering subspaces (Proposition 5.2).
  • Joint defect operator D_T (Section 6)
    purpose: Second-kind defect operator whose defect space D_T appears in the characteristic function.
    Defined as a Gram matrix of projections onto wandering subspaces; positivity for Beurling tuples in Proposition 6.2.
  • Characteristic function Theta_T of a Beurling tuple (Section 7)
    purpose: Complete unitary invariant for Beurling tuples.
    Defined via an explicit formula; theorem says it is inner and coincides with the abstractly defined Theta_T up to unitary. No external empirical handle; the n=1 recovery is an internal consistency check.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Inner and characteristic functions in polydiscs." pith.science (2026). https://pith.science/paper/QG5DFXJF

@misc{pith2026250200727,
  author       = {Pith},
  title        = {Pith review of: Inner and characteristic functions in polydiscs},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QG5DFXJF}},
  note         = {Machine review of arXiv:2502.00727}
}
read the original abstract

Characteristic functions of linear operators are analytic functions that serve as complete unitary invariants. Such functions, as long as they are built in a natural and canonical manner, provide representations of inner functions on a suitable domain and make significant contributions to the development of various theories in Hilbert function spaces. In this paper, we solve this problem in polydiscs. In particular, we present a concrete description of the characteristic functions of tuples of commuting pure contractions and, consequently, provide a description of inner functions on polydiscs.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 19 canonical work pages

  1. [7]

    Bhattacharjee, B

    M. Bhattacharjee, B. Das, R. Debnath, and J. Sarkar, Beurling quotient modules on the polydisc , J. Funct. Anal. 282 (2022), Paper No. 109258, 18 pp

    work page 2022

  2. [1]

    Agler, On the representation of certain holomorphic functions defi ned on a polydisk , in ”Topics in Operator Theory: Ernst D

    J. Agler, On the representation of certain holomorphic functions defi ned on a polydisk , in ”Topics in Operator Theory: Ernst D. Hellinger Memorial Volume” (L. de Brang es, I. Gohberg, and J. Rovnyak, Eds.), Operator Theory and Applications, Vol. 48, pp. 47–66, Birkh ¨ auser-Verlag, Basel, 1990

    work page 1990

  3. [2]

    Agler, Some interpolation theorems of Nevanlinna-Pick type , preprint

    J. Agler, Some interpolation theorems of Nevanlinna-Pick type , preprint

    work page

  4. [3]

    Ahern and D

    P. Ahern and D. Clark, Invariant subspaces and analytic continuation in several v ariables, J. Math. Mech. 19 (1969/70), 963-969

    work page 1969

  5. [4]

    Athavale, On joint hyponormality of operators , Proc

    A. Athavale, On joint hyponormality of operators , Proc. Amer. Math. Soc. 103 (1988), 417–423

    work page 1988

  6. [5]

    J. Ball, W. Li, D. Timotin, and T. Trent, A commutant lifting theorem on the polydisc , Indiana Univ. Math. J.48(1999), 653-675

    work page 1999

  7. [6]

    Barik, B

    S. Barik, B. Das, K. Haria, and J. Sarkar, Isometric dilations and von Neumann inequality for a class o f tuples in the polydisc , Trans. Amer. Math. Soc. 372 (2019), 1429-1450

    work page 2019

  8. [8]

    Curto and W

    R. Curto and W. Lee, Joint hyponormality of Toeplitz pairs , Mem. Amer. Math. Soc. 150 (2001), no. 712, x+65 pp

    work page 2001

Show all 20 references
  1. [9]

    R. E. Curto and F. H. Vasilescu, Standard operator models in the polydisc , Indiana Univ. Math. J. 42 (1993), 791-810

    1993

  2. [10]

    Deepak K. D. and J. Sarkar, Commutant lifting, interpolation, and perturbations on th e polydisc , arXiv:2301.10020

    arXiv

  3. [11]

    Grinshpan, D

    A. Grinshpan, D. Kaliuzhnyi-Verbovetskyi, V. Vinnikov, and H. W oerdeman, Classes of tuples of com- muting contractions satisfying the multivariable von Neum ann inequality , J. Funct. Anal. 256 (2009), 3035–3054

    2009

  4. [12]

    Mandrekar, The validity of Beurling theorems in polydiscs , Proc

    V. Mandrekar, The validity of Beurling theorems in polydiscs , Proc. Amer. Math. Soc. 103 (1988), 145- 148

    1988

  5. [13]

    M¨ uller and F.-H

    V. M¨ uller and F.-H. Vasilescu,Standard models for some commuting multioperators , Proc. Amer. Math. Soc. 117 (1993), 979-989

    1993

  6. [14]

    Sz.-Nagy and C

    B. Sz.-Nagy and C. Foia¸ s,Harmonic analysis of operators on Hilbert space , North Holland, Amsterdam 1970. INNER AND CHARACTERISTIC FUNCTIONS IN POLYDISCS 43

    1970

  7. [15]

    Nikolski, Treatise on the shift operator , Berlin: Springer, 1986

    N. Nikolski, Treatise on the shift operator , Berlin: Springer, 1986

    1986

  8. [16]

    Popescu, Berezin transforms on noncommutative polydomains , Trans

    G. Popescu, Berezin transforms on noncommutative polydomains , Trans. Amer. Math. Soc. 368 (2016), 4357–4416

    2016

  9. [17]

    Rudin, Function theory in polydiscs , W

    W. Rudin, Function theory in polydiscs , W. A. Benjamin, Inc., New York-Amsterdam, (1969)

    1969

  10. [18]

    Sarkar, Wold decomposition for doubly commuting isometries , Linear Algebra Appl

    J. Sarkar, Wold decomposition for doubly commuting isometries , Linear Algebra Appl. 445 (2014), 289- 301

    2014

  11. [19]

    S/suppress loci´ nski,On Wold type decompositions of a pair of commuting isometrie s, Ann

    M. S/suppress loci´ nski,On Wold type decompositions of a pair of commuting isometrie s, Ann. Pol. Math. 37 (1980), 255–262

    1980

  12. [20]

    Timotin, Regular dilations and models for multicontractions , Indiana Univ

    D. Timotin, Regular dilations and models for multicontractions , Indiana Univ. Math. J. 47 (1998), 671–684. Department of Mathematics, KTH Royal Institute of Technolo gy, Stockholm, Sweden Email address : ramlal@kth.se, ramlaldebnath@gmail.com Department of Mathematics, Indian...

    1998

Pith tools

Reviewed August 9, 2026 · model on record in the stance chip above.