{"id":"6c7dfc1a-cf9f-4ee6-bd09-b3c89a9be322","arxiv_id":"2502.00727","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Every inner function on the n-dimensional polydisc is, up to unitaries and a constant direct summand, the characteristic function of a Beurling tuple of commuting contractions, defined by an explicit operator formula.","lead":"This paper constructs an explicit analytic function, called a characteristic function, that completely describes certain tuples of commuting contraction operators on the polydisc. It also uses this construction to give a concrete representation of every inner function on the polydisc, extending classical single-variable model theory.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Innerness of Θ_T depends on the imported [7] classification and on identifying Π_T H with the Beurling quotient QΘ; neither step is proved here.","rationale":"The reader's weakest assumption identifies the same central vulnerability: the proof of innerness of Θ_T depends on the classification imported from [7, Theorem 3.2] through Theorem 3.4. My read of the present paper found no internal inconsistency in the defect-operator computations, in the derivation of the explicit formula for Θ_T in Theorem 7.2, or in the complete-invariance argument of Theorem 7.5 once the existence of Θ with Q = QΘ is granted. However, I would sharpen the concern: Theorem 3.4, as stated, yields only a unitary equivalence between T and the model tuple on some QΘ. To reach the equality Q = Π_T H = QΘ used in (7.1), the authors must also use minimality and uniqueness of the canonical isometric dilation, and that justification is omitted. Since the abstract and Section 8.2 claim a full solution and 'first-ever representations' of inner functions on polydiscs, this external theorem is doing essential work. The appropriate disposition is therefore the same conditional acceptance: the authors should reproduce or explicitly cite-with-proof the classification step and spell out the minimality identification. No verdict change is needed.","tokens_in":34062,"tokens_out":14042,"duration_ms":149315,"concrete_test":"Independently re-derive [7, Theorem 3.2] within the framework of this paper: starting from a Beurling tuple T ∈ S^B_n(H), construct an inner function Θ such that Q = Π_T H = QΘ, with ΘE equal to the wandering subspace W and with the identification Π_T Π_T^* = I - M_Θ M_Θ^* holding. In particular, check whether condition (2) alone, without an explicit minimality argument, produces Q = QΘ rather than merely a unitary equivalence. If the construction cannot be completed, the proof of Theorem 7.1 has a genuine gap.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central construction (Theorem 7.1, Definition 7.3, Theorem 7.5) requires that for every Beurling tuple T the canonical dilation space Q = Π_T H be a Beurling quotient module Q = QΘ for some inner Θ (equation (7.1)). This is imported from [7, Theorem 3.2] via Theorem 3.4, equivalence (1) iff (2), and is not re-proved in this paper. Moreover, Theorem 3.4 as stated gives a unitary equivalence T ∼= C_{QΘ}; to obtain the equality Q = Π_T H = QΘ one must additionally invoke minimality and uniqueness of the canonical isometric dilation, and that passage is not written out. If the imported classification is incomplete, or if this identification fails, the unitary U : E → D_T in the proof of Theorem 7.1 is not defined, Θ_T need not be inner, and the complete-invariance Theorem 7.5 and representation (8.1) lose their foundation. The internal defect-operator and commutator computations in Sections 4–6 appear coherent; the vulnerability is this external load-bearing step.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":34310,"tokens_out":10131,"duration_ms":100363,"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":[{"comment":"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.","section":"Section 7, Theorem 7.1 and Eq. (7.1)"},{"comment":"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.","section":"Section 4, Theorem 4.3 and Eq. (4.4)"},{"comment":"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.","section":"Section 7, Theorem 7.5, first direction"},{"comment":"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.","section":"Section 7, proof of Theorem 7.1, definition of U"}],"minor_comments":[{"comment":"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.","section":"Section 7, Theorem 7.2"},{"comment":"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.","section":"Section 7, Definition 7.4 and Theorem 7.5"},{"comment":"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.","section":"Section 4, Proposition 4.8"},{"comment":"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].","section":"Throughout"},{"comment":"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.","section":"Section 5, Lemma 5.6"}],"recommendation":"major_revision","confidential_remarks":"The paper addresses a significant open problem and the main formula is explicit and promising. The central concern is the unproved identification of the canonical dilation space with a Beurling quotient module in Theorem 7.1, which is imported from the authors' earlier classification [7]. This is a fixable gap, but it is load-bearing for the innerness and completeness theorems. I recommend major revision rather than rejection, with the expectation that the authors add the missing minimality/uniqueness argument and a few inductive details. There is no indication of circularity or data fitting; the reliance on [7] is legitimate but should be made fully explicit."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe real deliverable here is Definition 7.3: an explicit, canonical characteristic function for Beurling tuples of commuting contractions on D^n. It is concrete, it reduces to the Sz.-Nagy–Foias function when n=1, and the paper proves it is inner and a complete unitary invariant. That is a solid step, not a reformulation.\n\nThe new machinery is the construction of truncated defect operators, joint commutators, the joint defect operator D_T, and the wandering-space isomorphism in Corollary 6.3. These are natural and appear reusable. The Section 8.2 representation of inner functions is a clean structural consequence, though calling it 'first-ever representations of inner functions on D^n' oversells it; earlier representation schemes exist, and the novelty is the characteristic-function route.\n\nThe soft spot is concentrated in Theorem 7.1. To define U, the proof needs Q_T = Π_T H to literally equal Q_Θ for some inner Θ. That is imported from [7] via Theorem 3.4, and Theorem 3.4 only gives a unitary equivalence T ≅ C_{Q_Θ}, not the equality of subspaces. The missing step is the minimality/uniqueness of the canonical dilation from Theorem 2.1, which would transfer Q_Θ to Q_T. This is likely true and fixable, but it is load-bearing, and the paper should spell it out. A referee should ask for that. The smaller gaps are tolerable: a few 'by induction' steps in Sections 4–5 are compressed but the pattern is credible; the density argument in Theorem 3.4 moving from D_{T_i}^2 to D_{T_i} is minor.\n\nThe citation pattern is honest. The reliance on [7] is declared, not hidden. No data, no fitting, no circularity beyond the normal dependency on prior classification. The paper is clearly written by people who know the area.\n\nIf I worked on polydisc model theory I would cite this. It deserves a serious referee, not a desk reject. The referee should check the Q_T = Q_Θ identification and the inductive steps, but the construction itself is worth engaging with.\n\nBest,","headline":"Genuine explicit characteristic function for Beurling tuples on the polydisc, with one load-bearing dependency on the authors' own classification; worth refereeing.","tokens_in":34887,"tokens_out":3727,"would_cite":true,"duration_ms":38213,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46J15","47A15","30H05","47A56","32A35","30J05"],"pacs":[],"model":"deepseek-v4-flash","headline":"An explicit formula gives complete unitary invariants for commuting contractions on polydiscs and represents all inner functions.","keywords":["inner functions","polydiscs","characteristic functions","Beurling tuples","Hardy spaces","defect operators","commuting contractions","quotient modules"],"falsifier":"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.","tokens_in":33827,"feed_emoji":"📐","tokens_out":10435,"duration_ms":85835,"temperature":0.7,"pith_summary":"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.","feed_headline":"Explicit formula captures every inner function on polydiscs","feed_subtitle":"A concrete formula extends classical one-variable model theory to polydiscs of every dimension.","key_machinery":"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.","core_discovery":"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$.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Provides the classification of Beurling quotient modules (equivalence of admitting a characteristic function with pairwise defect annihilation) that is imported in Theorem 3.4 and used in the proof of Theorem 7.1.","marker":"[7]"},{"why":"Supplies the canonical dilation of Szegő tuples to model operators on quotient modules of the vector-valued Hardy space, used throughout to pass from tuples to quotient modules.","marker":"[13]"},{"why":"Establishes the classical characteristic function theory for single contractions that the paper generalizes and reduces to when n = 1.","marker":"[14]"}],"fun_headline_variants":["Explicit formula describes all inner functions on polydiscs","Complete invariant for inner functions on polydiscs","Polydisc inner functions pinned down by operator formula","Concrete model for every inner function on polydiscs","First explicit description of polydisc inner functions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Explicit formula describes all inner functions on polydiscs","Complete invariant for inner functions on polydiscs","Polydisc inner functions pinned down by operator formula","Concrete model for every inner function on polydiscs","First explicit description of polydisc inner functions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000811,"raw_usage":{"total_tokens":3497,"prompt_tokens":828,"completion_tokens":2669,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":444,"completion_tokens_details":{"reasoning_tokens":2600}},"tokens_in":444,"tokens_out":2669,"duration_ms":19077,"temperature":1.0,"reasoning_tokens":2600,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-09T17:57:04.230858+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"Bhattacharjee, B","cited_arxiv_id":null,"evidence_quote":"Provides the classification of Beurling quotient modules (equivalence of admitting a characteristic function with pairwise defect annihilation) that is imported in Theorem 3.4 and used in the proof of Theorem 7.1."},{"cited_title":"M¨ uller and F.-H","cited_arxiv_id":null,"evidence_quote":"Supplies the canonical dilation of Szegő tuples to model operators on quotient modules of the vector-valued Hardy space, used throughout to pass from tuples to quotient modules."},{"cited_title":"Sz.-Nagy and C","cited_arxiv_id":null,"evidence_quote":"Establishes the classical characteristic function theory for single contractions that the paper generalizes and reduces to when n = 1."}],"review_version":1}