{"id":"64136d9a-95e7-40c3-a492-cf0f5a2dcaf4","arxiv_id":"2411.13177","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A closed subspace of a vector-valued Hardy space is almost invariant under the backward shift exactly when it is almost invariant under the forward shift, with explicit Toeplitz-Hankel range forms.","lead":"Researchers characterize almost invariant subspaces of forward and backward shift operators on vector-valued Hardy spaces, expressing them as ranges of Toeplitz-Hankel products. They show the two families of almost invariant subspaces coincide, a result not present in earlier work.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The main theorems depend on an unproved extension of Toeplitz identities to unbounded H^2 symbols; the proof's assertion that the constructed Φ is inner is false in the scalar Hitt case, so the domain issue is not cosmetic.","rationale":"I read the paper in good faith: the reformulation via ranges of Toeplitz and Hankel products is attractive, and the claimed equivalence between S*_F- and S_F-almost invariance is a genuine and checkable result. The reader's weakest assumption is exactly the unbounded Toeplitz extension. I find this concern load-bearing because Thm 3.8 and Thm 3.12 state Φ ∈ H^2, not merely Φ ∈ H^∞, and their proofs manipulate algebraic identities as if T_Φ were bounded on all relevant vectors. The parenthetical 'We have to use unbounded Toeplitz operators, but the justification should be easy' is an explicit admission of missing support. I also noticed that the proof's claim that the constructed Φ is an inner matrix function is false in the scalar Hitt case: in Thm 3.2(ii), g is a Hitt function with |g|^2 + |y|^2 = 1, so g need not be unimodular. Thus the boundedness of T_Φ cannot be justified by that assertion. This makes the technical gap more than a typo: the stated H^2 generality of the theorems rests on an unproved domain/continuity argument. I do not believe the theorem is false; the scalar examples suggest the identities can likely be established by approximation or by restricting to H^∞ symbols. Since the reader already recommended CONDITIONAL, my independent read does not change that verdict.","tokens_in":21361,"tokens_out":30035,"duration_ms":310909,"concrete_test":"Complete the proof by establishing (9) and (10) for Φ ∈ H^2 and inner Θ as follows: define A = T_Φ(I - T_Θ T*_Θ) on the dense domain D = {h : P_{KΘ}h ∈ H^∞}, show that A extends to a bounded partial isometry whenever the norm identity holds, and verify (10) on D. Equivalently, approximate Φ by Fejér means Φ_r ∈ H^∞, show A_r → A strongly and the finite-rank corrections G_r converge to the asserted G; if this fails for a scalar Hitt pair (g, θ) with g non-inner, then Thm 3.8 must be restricted to Φ ∈ H^∞ and Cor 3.11 adjusted accordingly.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central results (Thm 3.8(2), Cor 3.11, Thm 3.12(2)) allow Φ ∈ H^2, so T_Φ need not be bounded. The proof of Thm 3.8 uses the operator identities (4), (9)-(13) as though they hold for such T_Φ. In particular, (9) is written 'for all h ∈ H^2_{E1}' although T_Φ h is only densely defined; the text before Thm 3.8 says 'We have to use unbounded Toeplitz operators, but the justification should be easy,' which is exactly the missing step. The proof also asserts that Φ = [G0 z g1 ... z gp] is an inner matrix function; in the scalar Hitt model (Thm 3.2(ii)) Φ = g satisfies |g|^2 + |y|^2 = 1 with y ≠ 0 in general, so g need not be inner. Hence boundedness of T_Φ cannot be inferred from this assertion. The finite-rank corrections in (10)-(11) are well-defined for Φ ∈ H^2 only after applying P_{E1} or P_E to finite-dimensional constant spaces, and a dense-domain/continuity argument is needed to justify (10) and (13). Without such an argument, Thm 3.8 and Cor 3.11 are not established in the stated H^2 generality.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies almost invariant subspaces of the forward and backward shift operators on vector-valued Hardy spaces H^2_F. The main results, stated as Theorem 3.8, Theorem 3.12 and Corollary 3.11, characterize the S*_F-almost invariant subspaces as ranges of Toeplitz-type operators, namely M = R(T_Θ) for an inner Θ, or M = R(T_Φ(I - T_ΘT*_Θ)) with Θ inner and pure, Φ ∈ H^2, and T_Φ(I - T_ΘT*_Θ) a partial isometry. The authors then prove the surprising equivalence that a closed subspace is S*_F-almost invariant if and only if it is S_F-almost invariant. The paper also discusses examples, reproducing kernels, and finite-rank perturbations of the shift that leave such subspaces invariant. The approach is a reformulation of known classification theorems due to Chalendar-Chevrot-Partington, Chalendar-Gallardo-Partington, Chattopadhyay-Das-Pradhan, and O'Loughlin, phrased in terms of ranges of Toeplitz and Hankel operators.","tokens_in":21675,"tokens_out":37075,"duration_ms":332822,"significance":"If the results are established, the paper provides a clean operator-range reformulation of almost invariant subspaces, avoids the machinery of nearly invariant subspaces, and gives explicit defect spaces. The equivalence between S*_F- and S_F-almost invariance is a striking structural fact that goes beyond the scalar examples previously in the literature. The exposition is generally clear and the paper makes good use of existing Beurling-Lax-Halmos and Hitt-Sarason theory. The central classification is not circular: it relies on external classification theorems, and the self-cited Lemma 3.7 is used only in the auxiliary Corollary 3.9, not in the main theorem. However, the main theorems currently rest on an insufficiently justified use of unbounded Toeplitz operators, and one assertion in the proof of Theorem 3.8 is false as stated. These issues are technical rather than conceptual, and appear fixable, but they are load-bearing for the stated H^2 generality.","major_comments":[{"comment":"The proofs of Theorem 3.8 and Theorem 3.12 apply the algebraic operator identities (4), (9)–(11) and (13) to Toeplitz operators T_Φ with Φ ∈ H^2, which are generally unbounded. The sentence immediately before Theorem 3.8, \"We have to use unbounded Toeplitz operators, but the justification should be easy,\" is not a proof. In the scalar Hitt case (Theorem 3.2(ii)), Φ = g need not belong to H^∞, so T_Φ is not a bounded operator on H^2, and the composition T_Φ(I − T_ΘT*_Θ) is not automatically defined. Equations (10) and (13), as well as the isometricity condition (9), are used as operator identities on all of H^2_{E1}. Without a dense-domain or continuity argument establishing these identities for the specific unbounded symbols arising from Theorem 3.5, the 'if' and 'only if' directions of Theorem 3.8(2), Corollary 3.11, and Theorem 3.12(2) are not established in the stated H^2 generality. A rigorous treatment—for example, defining T_Φ(I − T_ΘT*_Θ) on K_Θ, proving it is a bounded partial isometry, and verifying the commutation relations on a dense set—is required.","section":"§3, Theorem 3.8 and Theorem 3.12"},{"comment":"The proof asserts that the matrix function Φ = [G_0 z g_1 ⋯ z g_p] is inner. This assertion is false in general. In the scalar Hitt representation (Theorem 3.2(ii)), M = T_g K_θ with g of unit norm and |g|^2 + |y|^2 = 1 for a nonzero admissible function y; such a g is not inner. Consequently T_Φ need not be bounded, which reinforces the unbounded-operator issue raised above. The partial-isometry conclusion should be derived from the norm identity in Theorem 3.5, which gives that T_Φ acts isometrically on K_Θ, not from the false claim that Φ is inner.","section":"§3, proof of Theorem 3.8"}],"minor_comments":[{"comment":"Several displayed formulas for the backward shift of a Toeplitz range are incorrect by a factor of z. For example, S*_F T_Θ P_E applied to a constant e equals (Θ(z) − Θ(0))e / z, not z[Θ(z) − Θ(0)]e. The same factor error appears in Corollary 3.10 in the formula for S*_F h(z). The intended arguments still go through with the corrected expression, but the formulas as written are mathematically false.","section":"§3, Theorem 3.8 and Corollary 3.10"},{"comment":"The proof of Theorem 2.6 treats separately the cases where all summands A_i contain an even number of Hankel factors and where all contain an odd number. The theorem statement allows mixed parity in the sum, and the proof does not justify that case. The statement should be restricted to uniform parity, or a separate argument for mixed sums should be supplied.","section":"§2, Theorem 2.6"},{"comment":"Remark 2.3 claims that Lemma 2.2 also holds when E and F are infinite dimensional. However, the defect bound in Lemma 2.2 is ≤ dim E_1; if E_1 is infinite dimensional, the finite-rank correction G need not have finite rank, so R(T_ΦH_Ψ)^- need not be almost invariant in the sense of Definition 1.1. The remark is misleading as stated.","section":"§2, Remark 2.3"},{"comment":"The reproducing kernel formulas (17) and (18) use the denominator 1 − zw. With the standard Hardy-space reproducing kernel k_w(z) = (1 − \\bar{w}z)^{-1}, the denominator should be 1 − \\bar{w}z or, equivalently, 1 − z\\bar{w}. Please correct or clarify the convention.","section":"§4, Corollary 4.5"}],"recommendation":"major_revision","confidential_remarks":"The central idea is promising and the results are likely correct after filling the unbounded-operator gap and correcting the inner-function assertion. Because those issues affect the main theorems as stated, major revision is appropriate. The paper would benefit from a short lemma that rigorously defines T_Φ(I − T_ΘT*_Θ) for the symbols arising from Theorem 3.5 and proves the needed commutation identities on the relevant domains. I do not see grounds for rejection: the approach is constructive and the missing steps appear within reach."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear [colleague],\n\nThe thing to know: this paper gives a genuinely cleaner operator-range reformulation of the known characterizations of S*-almost invariant subspaces, and it proves a surprising new equivalence — Corollary 3.11, S*_F-almost invariant iff S_F-almost invariant. That result is real and attractive. But the main theorems are stated for Φ ∈ H^2, and the proofs only go through as written for bounded symbols. The authors acknowledge this with \"the justification should be easy,\" but it is not a purely cosmetic gap: in the scalar Hitt model, the constructed Φ is not inner, so T_Φ is genuinely unbounded and the algebraic identities they rely on need a domain argument.\n\nWhat is actually good: the reformulation M = R(T_Φ(I − T_Θ T_Θ^*)) with T_Φ(I − T_Θ T_Θ^*) a partial isometry genuinely simplifies the earlier classification results. The defect-space formulas in Theorem 3.8 and 3.12 are explicit and usable. Section 5, which writes down all finite-rank perturbations that make a given M invariant, is a useful addition and appears correct. The paper is honest about what comes from [9],[10],[8],[23] and what is new: the new part is the reformulation plus the backward/forward equivalence.\n\nThe soft spots: the unbounded Toeplitz issue is the main one. The proof of Theorem 3.8 asserts the matrix Φ = [G0 z g1 ... z gp] is inner. In the scalar Hitt case, g is not inner; it satisfies |g|^2 + |y|^2 = 1. So boundedness of T_Φ cannot be inferred from the representation. The identities (4), (5), (9)–(13) are written for all h ∈ H^2_{E1}, but T_Φ h is only densely defined. The norm equality that makes the product a partial isometry holds on K_Θ, not on all of H^2_{E1}. A density/continuity argument may well fix this, but it is not supplied, and the main theorems are not fully established in the stated H^2 generality. There is also a minor typo in the proof of Theorem 3.12: the displayed identity should have (Θ−Θ(0))/z rather than z[Θ−Θ(0)], but the conclusion still goes through.\n\nWho this is for: anyone working on almost invariant subspaces, nearly invariant subspaces, or Toeplitz/Hankel operator ranges. The paper deserves a serious referee; the likely outcome is \"revise,\" with the main request being a rigorous treatment of the unbounded case. I would send it to review rather than desk-reject.","headline":"Strong, useful paper with a real technical gap in the unbounded Toeplitz case; the backward/forward equivalence is new and worth citing once the domain issues are fixed.","tokens_in":22215,"tokens_out":12123,"would_cite":true,"duration_ms":107411,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["47A15","47B35","47B38"],"pacs":[],"model":"deepseek-v4-flash","headline":"For the Hardy-space shift, almost-invariant subspaces of the forward and backward operators are the same.","keywords":["almost invariant subspaces","backward shift","forward shift","Toeplitz operators","Hankel operators","Hardy spaces","model spaces","partial isometries"],"falsifier":"For a scalar inner $\\theta$ of infinite Blaschke product and $\\phi \\in H^2 \\setminus H^\\infty$, check identity (4) on the dense domain of analytic polynomials: if $S^* T_\\phi p = T_\\phi S^* p + S^* T_\\phi P_{\\mathbb C} p$ fails for some polynomial $p$, the unbounded-symbol step behind Theorem 3.8 breaks. Alternatively, test whether $T_\\phi(I - T_\\theta T^*_\\theta)$ satisfies the algebraic isometry condition (9) on polynomials yet fails to be a bounded partial isometry on $H^2$; that failure would refute the sufficiency direction as stated.","tokens_in":21176,"feed_emoji":"↔️","tokens_out":11143,"duration_ms":85723,"temperature":0.7,"pith_summary":"Almost invariant subspaces are closed subspaces that a shift maps into themselves up to a finite-dimensional error. This paper determines what they are for the shift operator and its adjoint on vector-valued Hardy spaces $H^2_E$. It proves that the two questions have the same answer: a subspace is almost invariant for the backward shift if and only if it is almost invariant for the forward shift. The proof gives an explicit catalogue of such subspaces as ranges of Toeplitz operators composed with model-space projections, expressed through products of Toeplitz and Hankel operators. It also identifies every finite-rank perturbation of the shift that makes such a subspace genuinely invariant.","feed_headline":"Forward and backward shifts share the same almost-invariant subspaces","feed_subtitle":"An operator-range proof gives explicit forms and defect spaces for the shift's almost-invariant subspaces.","key_machinery":"The engine is the algebra of Toeplitz and Hankel operators on vector-valued Hardy spaces, together with the identities (4) and (5), for example $S^*_F T_\\Phi = T_\\Phi S^*_{E_1} + S^*_F T_\\Phi P_{E_1}$. These turn the action of a shift on a range into the same range plus a finite-rank term, which is exactly the almost-invariance condition. The model space $K_\\Theta = H^2_{E_1} \\ominus \\Theta H^2_E$ enters through the projection $I_{E_1} - T_\\Theta T^*_\\Theta$; the representation $M = R(T_\\Phi(I_{E_1} - T_\\Theta T^*_\\Theta))$ expresses $M$ as the image of a model space under a Toeplitz operator. The partial-isometry condition (9), namely $[T_\\Phi(I_{E_1} - T_\\Theta T^*_\\Theta)]^*[T_\\Phi(I_{E_1} - T_\\Theta T^*_\\Theta)] = I_{E_1} - T_\\Theta T^*_\\Theta$, encodes the requirement that this Toeplitz operator act isometrically on $K_\\Theta$, making the range closed and the parametrization one-to-one.","core_discovery":"The central result is Theorem 3.8 together with Corollary 3.11. A closed subspace $M$ of $H^2_F$ is $S^*_F$-almost invariant exactly when either $M = R(T_\\Theta)$ for an inner function $\\Theta \\in H^\\infty_{\\mathcal B(E,F)}$, or $M = R(T_\\Phi(I_{E_1} - T_\\Theta T^*_\\Theta))$ for an inner pure $\\Theta \\in H^\\infty_{\\mathcal B(E,E_1)}$, $\\Phi \\in H^2_{\\mathcal B(E_1,F)}$, $\\dim E_1 < \\infty$, and $T_\\Phi(I_{E_1} - T_\\Theta T^*_\\Theta)$ a partial isometry. The same two forms characterize the $S_F$-almost invariant subspaces, so almost invariance for the forward shift and for the backward shift coincide. This answers the paper's motivating question about the almost invariant subspaces of the shift operator completely, and it implies that every such subspace is almost reducing. The proof obtains these forms by passing the known characterizations of nearly invariant subspaces with finite defect through range identities for Toeplitz and Hankel operators.","pith_inferences":["If the unbounded-symbol extension is supplied, the same range-identity method should characterize almost invariant subspaces for other operators built from Toeplitz or Hankel algebras, such as shifts on weighted Hardy spaces.","Corollary 4.5 realizes these subspaces as reproducing kernel Hilbert spaces with kernels built from $\\Phi$ and $\\Theta$, suggesting that defect spaces could be read off from kernel asymptotics instead of ranges.","The forward/backward coincidence is a genuinely almost-invariant phenomenon: with exact invariance the two families are essentially disjoint, so the finite defect is what buys the symmetry.","Conjecture 4.3 could be tested numerically on finite Blaschke-Potapov products of increasing degree to see whether 'half-space' is equivalent to 'infinite-dimensional model space' for non-inner $\\Phi$."],"forward_implications":["Question 1.3 is settled: the almost invariant subspaces of the forward shift $S_F$ are exactly the list in Theorem 3.8, and each such subspace is also almost invariant for $S^*_F$.","Every $S_F$-almost invariant subspace is $S_F$-almost reducing, so its orthogonal complement shares the property with the same defect.","For $M = R(T_\\Theta)$ the minimal defect is $\\dim E - \\operatorname{rank}(U)$, where $U$ is the unitary part of $\\Theta$; for the model-space form the minimal defect is the orthogonal complement of $M$ inside $R(S^*_F T_\\Phi P_{E_1})$.","Theorem 5.10 lists all finite-rank $T_0$ for which $M$ is $(S_F+T_0)$-, $(S^*_F+T_0)$-, or reducibly invariant, making Lemma 5.1 explicit.","When $\\Phi$ is inner, $M = R(T_\\Phi(I - T_\\Theta T^*_\\Theta))$ is a half-space exactly when $\\Theta$ is not a finite Blaschke-Potapov product."],"supporting_citations":[{"why":"Gives the vector-valued nearly invariant subspace structure that Theorem 3.8 reformulates.","marker":"[9]"},{"why":"Provides the Beurling-type theorem for almost-invariant subspaces of the shift and the nearly invariant subspace treatment with finite defect.","marker":"[10]"},{"why":"Describes nearly $S^*_E$-invariant subspaces with finite defect in vector-valued Hardy spaces, a result being recast via operator ranges.","marker":"[8]"},{"why":"Independently characterizes nearly invariant subspaces with finite defect, used in the comparison with earlier results.","marker":"[23]"},{"why":"Supplies the standard facts on partial isometries, reproducing kernels, and $H(b)$ spaces used in Corollary 4.5 and the isometry condition.","marker":"[13]"},{"why":"Beurling's theorem identifying shift-invariant subspaces, which underlies the model-space decomposition $K_\\Theta = H^2 \\ominus \\Theta H^2$.","marker":"[3]"},{"why":"Lax's vector-valued version of the invariant subspace theorem, used for the BLH structure when $E$ is finite-dimensional.","marker":"[21]"}],"fun_headline_variants":["Shift operators: forward and backward almost-invariant subspaces coincide","Explicit forms unify almost-invariant subspaces for both shifts","Backward shift subspaces equal forward shift ones in operator theory","Almost-invariant subspaces: one characterization for both shifts","Toeplitz-Hankel products reveal shift subspace symmetry"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The main theorems depend on extending algebraic identities for Toeplitz operators with bounded symbols to Toeplitz operators whose symbols are only square-integrable analytic functions, and the paper does not provide the needed domain and continuity argument, remarking only that 'the justification should be easy'.","fun_headline_variants_meta":{"raw":{"variants":["Shift operators: forward and backward almost-invariant subspaces coincide","Explicit forms unify almost-invariant subspaces for both shifts","Backward shift subspaces equal forward shift ones in operator theory","Almost-invariant subspaces: one characterization for both shifts","Toeplitz-Hankel products reveal shift subspace symmetry"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000713,"raw_usage":{"total_tokens":3171,"prompt_tokens":872,"completion_tokens":2299,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":488,"completion_tokens_details":{"reasoning_tokens":2213}},"tokens_in":488,"tokens_out":2299,"duration_ms":24998,"temperature":1.0,"reasoning_tokens":2213,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T16:45:41.482920+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a scalar inner $\\theta$ of infinite Blaschke product and $\\phi \\in H^2 \\setminus H^\\infty$, check identity (4) on the dense domain of analytic polynomials: if $S^* T_\\phi p = T_\\phi S^* p + S^* T_\\phi P_{\\mathbb C} p$ fails for some polynomial $p$, the unbounded-symbol step behind Theorem 3.8 breaks. Alternatively, test whether $T_\\phi(I - T_\\theta T^*_\\theta)$ satisfies the algebraic isometry condition (9) on polynomials yet fails to be a bounded partial isometry on $H^2$; that failure would refute the sufficiency direction as stated.","supporting_citations":[{"cited_title":"Chalendar, N","cited_arxiv_id":null,"evidence_quote":"Gives the vector-valued nearly invariant subspace structure that Theorem 3.8 reformulates."},{"cited_title":"Chalendar, E.A","cited_arxiv_id":null,"evidence_quote":"Provides the Beurling-type theorem for almost-invariant subspaces of the shift and the nearly invariant subspace treatment with finite defect."},{"cited_title":"Chattopadhyay, S","cited_arxiv_id":null,"evidence_quote":"Describes nearly $S^*_E$-invariant subspaces with finite defect in vector-valued Hardy spaces, a result being recast via operator ranges."},{"cited_title":"O’Loughlin, Nearly invariant subspaces with applications to tru ncated Toeplitz operators, Com- plex Analysis and Operator Theory 14 (2020), no","cited_arxiv_id":null,"evidence_quote":"Independently characterizes nearly invariant subspaces with finite defect, used in the comparison with earlier results."},{"cited_title":"Fricain and J","cited_arxiv_id":null,"evidence_quote":"Supplies the standard facts on partial isometries, reproducing kernels, and $H(b)$ spaces used in Corollary 4.5 and the isometry condition."},{"cited_title":"Beurling, On two problems concerning linear transformations in Hilbert space","cited_arxiv_id":null,"evidence_quote":"Beurling's theorem identifying shift-invariant subspaces, which underlies the model-space decomposition $K_\\Theta = H^2 \\ominus \\Theta H^2$."},{"cited_title":"Lax, Shift invariant spaces","cited_arxiv_id":null,"evidence_quote":"Lax's vector-valued version of the invariant subspace theorem, used for the BLH structure when $E$ is finite-dimensional."}],"review_version":1}