Pith. sign in

REVIEW 3 major objections 4 minor 23 references

Submodules of $H^2(\mathbb{T}^2)$ and Frames by Pairs of Bounded Commuting Operators

T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read Two commuting operators generate overcomplete frames if and only if they are similar to the two-variable Jordan block on an infinite-dimensional quotient module of the bidisc Hardy space.

desk verdict A genuine new characterization of frames from commuting pairs via the two-variable Jordan block, with a real proof gap in the Beurling-type corollary. read the letter →

arxiv 2507.04992 v2 pith:M6KHXQ2S submitted 2025-07-07 math.FA

Victor Bailey , Carlos Cabrelli This is my paper · ORCID
classification math.FA MSC 42C1547A1547A1332A35
keywords dynamicalsamplingframescommutingoperatorsHardyspaceonthebidiscsubmodulestwo-variableJordanblockBeurling-typeRieszbases
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

This paper settles, for a separable infinite-dimensional Hilbert space, when a single vector can be moved by two commuting bounded operators into an overcomplete frame: the system $\{T_1^iT_2^j\varphi\}_{i,j\ge0}$ is a frame exactly when the triple $(T_1,T_2,\varphi)$ is similar to the model triple formed by the two-variable Jordan block on an infinite-dimensional quotient module of the bidisc Hardy space, with the constant function projected onto that module as the starting vector. This gives a normal form: every such frame is, up to similarity, a projection of monomials. The result routes the frame question through submodules of $H^2(\mathbb{T}^2)$, making the structure of those submodules the deciding geometric input. With an added double-commutativity condition the submodule is forced to be of Beurling type $\varphi H^2(\mathbb{T}^2)$, and a Riesz basis is possible only for the full module $H^2(\mathbb{T}^2)$.

What carries the argument

The load-bearing object is the two-variable Jordan block $(S^K_z,S^K_w)$ associated to a quotient module $K=H^2(\mathbb{T}^2)\ominus M$: the pair of compressions $P_KS_z|_K$ and $P_KS_w|_K$ of the coordinate shifts. The argument is carried by the unitary identification of $\ell^2(\mathbb{N}_0\times\mathbb{N}_0)$ with $H^2(\mathbb{T}^2)$ under which the right shifts become multiplication by $z$ and $w$; this turns the kernel of the frame synthesis operator into a joint invariant subspace (a submodule) and turns the frame question into a statement about quotient modules. The identity $P_K z^i w^j = (S^K_z)^i(S^K_w)^j P_K 1_{\mathbb{T}^2}$ (Lemma 3.6) is what makes the model generate a Parseval frame automatically.

What would settle it

The converse half of Theorem 3.7 predicts that for every infinite-codimensional submodule $M\subset H^2(\mathbb{T}^2)$, the projected monomials $\{P_K z^i w^j\}_{i,j\ge0}$ form an overcomplete Parseval frame for $K=H^2(\mathbb{T}^2)\ominus M$. Choose a concrete non-Beurling submodule of infinite codimension, for instance the closure of $(z-w)H^2(\mathbb{T}^2)$, and compute the lower frame bound of that system; if it vanishes, the equivalence fails.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3.7: for commuting $T_1,T_2\in B(H)$, the orbit $\{T_1^iT_2^j\varphi\}_{i,j\ge0}$ is an overcomplete frame for $H$ if and only if there is a nontrivial submodule $M\subset H^2(\mathbb{T}^2)$ with $\dim(H^2(\mathbb{T}^2)\ominus M)=\infty$ such that $(T_1,T_2,\varphi)\cong(S^K_z,S^K_w,P_K1_{\mathbb{T}^2})$, where $K=H^2(\mathbb{T}^2)\ominus M$ and $S^K_z,S^K_w$ are the compressions of multiplication by $z$ and $w$ to $K$—the two-variable Jordan block. The forward direction is constructive: the synthesis operator is factored through the unitary map from $\ell^2(\mathbb{N}_0\times\mathbb{N}_0)$ to $H^2(\mathbb{T}^2)$ that sends basis vectors to monomials; its kernel becomes a submodule, and the quotient is the model space. The converse uses Lemma 3.6, which shows that iterating the compressed shifts on $P_K1_{\mathbb{T}^2}$ produces exactly the projected monomials, an overcomplete Parseval frame of $K$. Corollary 3.8 adds that if the right shifts doubly commute on the synthesis kernel, the submodule is $\varphi H^2(\mathbb{T}^2)$ for a unique inner function, and Corollary 3.9 characterizes Riesz bases as the similarity class of the full pair $(S_z,S_w,1_{\mathbb{T}^2})$.

Load-bearing premise

The advertised inner-function refinement (Corollary 3.8) rests on the assumption that the right shifts $R_1,R_2$ doubly commute on the kernel of the synthesis operator, a condition the paper does not give a concrete way to verify; the main theorem itself does not need this assumption.

Editorial extensions

If this is right

  • Theorem 3.7 reduces every overcomplete commuting-pair frame to a model: projected monomials on an infinite-dimensional quotient module of $H^2(\mathbb{T}^2)$.
  • Corollary 3.8 gives an inner-function parametrization: under double commutativity, the model is $H^2(\mathbb{T}^2)\ominus\varphi H^2(\mathbb{T}^2)$ with $\varphi$ unique up to a unimodular constant.
  • Corollary 3.9 separates overcomplete frames from Riesz bases: Riesz bases occur only for the full module $H^2(\mathbb{T}^2)$ with $(S_z,S_w,1_{\mathbb{T}^2})$.
  • Proposition 4.1 implies the adjoint iterates converge strongly to zero for every such frame.
  • Proposition 4.3 determines all frame starts from a fixed commuting pair: they are precisely $f=V\varphi$ with $V$ invertible and commuting with both operators.

Reading between the lines

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

  • Beyond the paper: Theorem 3.7 makes the frame property of a commuting pair a module-similarity invariant, which suggests classifying frames by equivalence classes of quotient modules rather than by the operators themselves; the paper does not take up that classification.
  • Beyond the paper: the double-commutativity condition in Corollary 3.8 is not known to be necessary; constructing a frame whose synthesis kernel maps to a non-Beurling submodule would test whether the clean inner-function description is genuinely narrower than the full theorem.
  • Beyond the paper: the paper's Conjecture 4.2 could first be checked on the model pair—for an arbitrary infinite-codimensional submodule $M$, do the compressed shifts satisfy $(S^K_z)^i(S^K_w)^j f\to0$ strongly? If not, the conjecture would need an extra assumption.
  • Beyond the paper: because the converse part of the theorem already produces a Parseval frame on the quotient module, the result gives a route to construct concrete frames on $K$ directly from submodules, which may be useful for sampling problems on the bidisc.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper studies frames of the form {T_1^i T_2^j φ}_{i,j≥0} generated by a pair of commuting bounded operators on a separable infinite-dimensional Hilbert space. Its central result, Theorem 3.7, states that such a system is an overcomplete frame if and only if, up to similarity, it is the canonical system obtained by projecting the monomial basis of H^2(T^2) onto an infinite-dimensional quotient module K = H^2(T^2) ⊖ M for a nontrivial submodule M; in that case the operators are modelled by the compressions of the two shifts to K, the two-variable Jordan block. The proof constructs the synthesis operator V = U F, identifies M with Ker V, and uses the unitary identification of ℓ^2(N_0^2) with H^2(T^2). The paper also gives Corollary 3.8, which adds the conclusion that M has Beurling form φ H^2(T^2) under a double commutant hypothesis on the kernel of the synthesis operator, and Corollary 3.9 for Riesz bases. Several auxiliary results concern properties of such frame representations, including the strong-operator convergence of adjoints and equivalence of frame vectors.

Significance. If the main theorem is correct, it provides a complete similarity classification of two-operator dynamical frames, extending the single-operator result of Christensen–Hasannasab–Philipp to commuting pairs and connecting the subject to the structure theory of submodules of H^2(T^2). The construction of V = U F and the identification of the submodule M with the kernel of the synthesis operator is a genuine conceptual contribution, and the similarity is derived rather than assumed, so the argument is not circular. The theorem is broadly credible and would be of interest to researchers in dynamical sampling, frame theory, and multivariable operator theory. However, the advertised Beurling-type refinement in Corollary 3.8 depends on Lemma 3.4, whose proof currently has a technical gap that must be repaired before the claim can be accepted as proved.

major comments (3)
  1. [Section 3, Lemma 3.4] The proof of Lemma 3.4 misstates the double commutant hypothesis. When R1 and R2 are said to doubly commute on Ker U, the relevant operators are the restricted isometries R1|_{Ker U} and R2|_{Ker U}; the adjoint of R2|_{Ker U} in Ker U is P_{Ker U} R2^*|_{Ker U}, not R2^*. The proof, however, writes the identity as R1 R2^* = R2^* R1 on Ker U and then replaces A R2^* A^{-1} by S_w^*, obtaining S_z S_w^* = S_w^* S_z on A(Ker U). Since S_z and S_w doubly commute on all of H^2(T^2), this global identity holds on every submodule and does not use the hypothesis in a substantive way; it is not the restricted commutation relation required by Mandrekar's theorem. The proof should derive (S_z|_M)(P_M S_w^*|_M) = (P_M S_w^*|_M)(S_z|_M) on M = A(Ker U), which is exactly the double commutant condition of Theorem 2.9. As written, Lemma 3.4 and consequently Corollary 3.8 are not established.
  2. [Section 3, Theorem 3.7, forward direction] In the forward direction, the proof asserts without justification that the projected monomial system {P_K z^m w^n}_{m,n≥0} is an overcomplete Parseval frame for K. That it is a Parseval frame follows from Lemma 3.5 and Lemma 3.6, but overcompleteness requires proof: a Parseval frame is a Riesz basis exactly when it is an orthonormal basis, so one must show that the projected monomials cannot form an orthonormal basis unless M is trivial. A short argument using ∥P_K z^m w^n∥ = 1 for all m,n would force z^m w^n ∈ K for every m,n, giving K = H^2(T^2) and contradicting nontriviality of M. This missing step should be supplied.
  3. [Section 3, Corollary 3.8] Corollary 3.8 is presented as a direct consequence of Theorem 3.7 and Lemma 3.4, but the proof as written is only the sentence that it is a special case. Since Lemma 3.4 is currently unproved, the corollary's conclusion that the submodule is of Beurling type is unsupported. Moreover, the proof refers to 'Proposition 3.4' where Lemma 3.4 is evidently intended. The corollary should either be rewritten with a complete proof that verifies the restricted double commutant condition on the model side or be explicitly conditional on a corrected Lemma 3.4.
minor comments (4)
  1. [Section 3, Theorem 3.7] In the forward direction of the proof, the similarity is written as (T1,T2,φ) ∼= (SKz SKw, PK1T2); this should be (SKz, SKw, PK1T2).
  2. [Section 2, Definition 2.8] The definition of doubly commuting is given for operators on a Hilbert space, but Lemma 3.4 and Corollary 3.8 apply it to a subspace (the kernel of the synthesis operator). The intended meaning, namely that the restricted operators doubly commute with respect to the subspace inner product, should be stated explicitly to avoid the ambiguity that leads to the error in Lemma 3.4.
  3. [Section 3, Lemma 3.3] The proof of invariance of Ker U under R1 and R2 is essentially correct, but the manipulation of the infinite series would benefit from a one-line justification that U is bounded and T1 is applied to a norm-convergent series.
  4. [Section 4, Proposition 4.1] The notation (T1^*)^i(T2^*)^j f → 0 as i,j → ∞ should be interpreted as a statement about the net or about simultaneous tails of the double sequence; a brief clarification would improve readability.

Circularity Check

0 steps flagged · score 2.0 of 10

No circularity: Theorem 3.7 constructs the quotient-module model from the frame synthesis operator, and the only self-citation is auxiliary.

full rationale

The central derivation chain is self-contained rather than circular. In the converse direction of Theorem 3.7, the authors define V = U F, set M = Ker(V), K = H^2(T^2) ⊖ M, and W = V|_K; the similarity (T1, T2, φ) ∼= (S_Kz, S_Kw, P_K 1_{T^2}) is then derived from the frame expansion, not assumed. The sufficiency direction uses the standard fact, proved in Lemmas 3.5 and 3.6, that {P_K z^m w^n} is a Parseval frame for K, and the conclusion that the frame is overcomplete follows from the infinite codimension of M. No fitted parameter is renamed as a prediction, and no conclusion is used as its own hypothesis. The only self-citation, [5] (Bailey, Han, Kornelson, Larson, Liu), appears in Proposition 4.3, which is an auxiliary statement about equivalence of frame vectors; it is not used in the proof of Theorem 3.7 or Corollary 3.8. A skeptical reader's concern about Lemma 3.4 is a possible proof gap in the translation of the double-commutant hypothesis to Mandrekar's theorem, not a circular step: the double-commutant condition is an input assumption and the Beurling-type conclusion is not assumed in it. Thus the paper has no significant circularity; the low non-zero score reflects only the presence of a non-load-bearing self-citation.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The paper introduces no free parameters or invented entities. All background tools are standard results from frame theory, Hardy space theory, and multivariable operator theory. The only condition specific to this paper is the double commutant hypothesis in Corollary 3.8, which is stated as an assumption rather than an axiom.

assumptions (6)
  • standard math Beurling's theorem classifies all nontrivial shift-invariant subspaces of H^2(T) as theta H^2(T) for an inner function theta.
    Invoked in Section 2 (Theorem 2.6) as background and to motivate the study of submodules in the two-variable setting.
  • standard math Mandrekar's theorem: a nontrivial submodule M of H^2(T^2) is of Beurling type phi H^2(T^2) if and only if the shifts S_z and S_w doubly commute on M.
    Used in Lemma 3.4 and Corollary 3.8 to identify the kernel submodule as Beurling type under the double commutant hypothesis.
  • standard math The map A from l^2(N0 x N0) to H^2(T^2) sending coefficient sequences to power series is a unitary isomorphism that intertwines the right shifts with the multiplication shifts S_z and S_w.
    Foundation of Section 3; used to transfer invariance of the synthesis kernel to submodules of H^2(T^2).
  • standard math For a submodule M, the compressions of the commuting shifts S_z and S_w to K = H^2 minus M form a commuting pair (the two-variable Jordan block).
    Implicit in Theorem 3.7 and Lemma 3.6; standard for invariant subspaces.
  • standard math The orthogonal projection of an orthonormal basis onto a closed subspace yields a Parseval frame for that subspace.
    Used in the 'if' direction of Theorem 3.7 to show that {P_K z^m w^n} is a Parseval frame for K.
  • standard math Every proper Beurling-type submodule phi H^2(T^2) has infinite codimension (Proposition 2.10, proved via results of Agrawal-Clark-Douglas and Mandrekar).
    Used in Corollary 3.8 to replace the explicit infinite-codimension condition of Theorem 3.7.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Submodules of $H^2(\mathbb{T}^2)$ and Frames by Pairs of Bounded Commuting Operators." pith.science (2026). https://pith.science/paper/M6KHXQ2S

@misc{pith2026250704992,
  author       = {Pith},
  title        = {Pith review of: Submodules of $H^2(\mathbbT^2)$ and Frames by Pairs of Bounded Commuting Operators},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/M6KHXQ2S}},
  note         = {Machine review of arXiv:2507.04992}
}
abstract

Recent work in Dynamical Sampling has been centered on characterizing frames obtained by the orbit of a vector under a bounded operator. We prove a necessary and sufficient condition for a pair of bounded commuting operators on a separable infinite-dimensional Hilbert space to generate a frame by unilateral iterations on a single vector. Applying the theory on submodules of the Hardy module $H^2(\mathbb{T}^2)$, we characterize these frames in terms of their relation to the two-variable Jordan block on a certain quotient module and provide some properties of frames of this form.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

  1. [1]

    Agrawal, O.P., Clark, D., Douglas, R., Invariant subspaces in the polydisc, Pacific Journal of Mathemat- ics, 121, 1-11 (1986)

    work page 1986

  2. [2]

    Aguilera A., Cabrelli, C., Carbajal, D., Paternostro, V.: Frames by orbits of two operators that commute. Appl. Comp. Harm. Anal. 66, 46-61 (2023)

    work page 2023

  3. [3]

    Aldroubi, A., Cabrelli, C., Molter, U., Tang, S.: Dynamical sampling. Appl. Comput. Harmon. Anal.42, no. 3, 378–401 (2017)

    work page 2017

  4. [4]

    Aldroubi, A., Petrosyan, A., Dynamical sampling and systems from iterative actions of operators, Frames and other bases in abstract and function spaces Appl. Numer. Harmon. Anal., Birkh¨ auser/Springer , 15–26, (2017)

    work page 2017

  5. [5]

    Dynamical Frames and Hyperinvariant Subspaces

    Bailey, V., Han D., Kornelson, K., Larson, D., Liu, R., Dynamical frames and hyperinvariant subspaces. ArXiv:2505.19303, (2025)

    work page Pith review arXiv 2025

  6. [6]

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

    work page 1948

  7. [7]

    Chen, X., Guo, K., Analytic hilbert modules Chapman and Hall/CRC , New York, (2003)

    work page 2003

  8. [8]

    Christensen, O., Hasannasab, M., Philipp, F., Frame properties of systems arising via iterative actions of operators Appl. Comp. Harm. Anal. , 46, 664-673 (2019)

    work page 2019

Show all 23 references
  1. [9]

    B., A course in functional analysis Springer-Verlag, New York, (1990)

    Conway, J. B., A course in functional analysis Springer-Verlag, New York, (1990)

    1990

  2. [10]

    Douglas, R., Paulsen, V., Hilbert modules over function algebras, Longman Scientific and Technical , (1989)

    1989

  3. [11]

    Douglas, R., Yang, R., Operator theory in the hardy space over the bidisc, I Integr. equ. oper. theory. , 38, 207–221 (2000)

    2000

  4. [12]

    Douglas, R., Yang, R., Operator theory in the hardy space over the bidisc, III J. Funct. Anal. , 186, 521–545 (2001)

    2001

  5. [13]

    Garcia, S.R., Mashreghi, J., Ross, W., Introduction to model spaces and their operators Cambridge University Press, Cambridge, (2016)

    2016

  6. [14]

    Ghatage, P., Mandrekar, V., On beurling type invariant subspaces of L2(T2) and their equivalence Journal of Operator Theory , 20, 83-89, (1988)

    1988

  7. [15]

    Lu, Y., Yang, Y., Yang, R., An index formula for the two variable jordan block Proceedings of the American Mathematical Society, Vol. 139, No. 2, 511-520, (2011)

    2011

  8. [16]

    Mandrekar, V., The validity of beurling theorems in polydiscs Proceedings of the American Mathematical Society, 103, 145-148 (1988)

    1988

  9. [17]

    Mart ´ ınez-Avenda˜ no, R., Rosenthal, P., An introduction to operators on the hardy-hilbert space.Grad- uate Texts in Mathematics, Springer , New York, (2007)

    2007

  10. [18]

    , New York, (2003)

    Radjavi, H., Rosenthal, P., Invariant subspaces Dover Publications, Inc. , New York, (2003)

    2003

  11. [19]

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

    1969

  12. [20]

    Rudin, W., Invariant subspaces of H 2 on a torus, J. Funct. Anal. , 61, 378-384 (1985)

    1985

  13. [21]

    Sarkar, J., An introduction to hilbert module approach to multivariable operator theory, Operator Theory, Springer, Basel, (2015)

    2015

  14. [22]

    Schaeffer, A.C., Duffin, R.J., A class of nonharmonic fourier series. Trans. Amer. Math. Soc. 72, 341–366 (1952)

    1952

  15. [23]

    Luis Santal´o

    Yang, R., A brief survey on operator theory in H 2(D2), Handbook of Analytic Operator Theory, Chap- man and Hall/CRC , New York, (2019). SUBMODULES OF H 2(T2) AND FRAMES BY PAIRS OF BOUNDED COMMUTING OPERATORS 11 Department of Mathematics, University of Oklahoma, Norman, OK 73...

    2019

Pith tools

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