{"id":"4ecedc7f-a1f0-40c4-b430-f7637b889565","arxiv_id":"2504.16231","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"low","formal_verification":"none","parameter_count":2,"one_line_summary":"Tubal tensor SVD and optimal low-rank approximation are extended to tensors with infinite-dimensional tubes by embedding the tube space in a commutative unital C*-algebra isomorphic to ℓ∞.","lead":"This paper builds an algebra for tensors whose 'tubes' are infinite-dimensional functions, by embedding them into a larger unital C*-algebra. It proves that a singular value decomposition and Eckart-Young optimal low-rank approximations exist in this infinite-dimensional setting.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 7.1's proof contains a false basis claim: the q' rank-one terms of Y do not span the image of Z->Y⋆F Z; that image has dimension p·q', so the written proof of optimality has a gap.","rationale":"The reader identified basis dependence of the whole construction as the weakest assumption. That is an acknowledged limitation of the framework, not a correctness gap in the central theorem as stated. My stress-test found a different, more concrete issue: a false statement inside the proof of Theorem 7.1. The proof claims that the q' rank-one summands of Y form a basis for the image of the map Z↦Y⋆F Z on p×p quasitubal tensors. Left multiplication by a rank-one m×p matrix on p×p matrices has image dimension p, not 1, and the same holds fibrewise in the transform domain; the true image dimension is p·q'. This invalidates the coordinate expansion used to argue that an optimal approximant must have rank exactly q. Since Theorem 7.1 is the paper's central load-bearing assertion, a proof gap here matters. However, the theorem itself appears plausible and the later part of the proof (slice-wise truncation plus a majorization argument comparing kept singular components) is sound and independent of the faulty basis claim; a repair seems likely. I therefore recommend CONDITIONAL acceptance rather than rejection: the central claim should be accepted once the proof of Theorem 7.1 is corrected or a valid substitute argument is supplied.","tokens_in":40554,"tokens_out":25115,"duration_ms":246238,"concrete_test":"Work out the smallest nontrivial case: m=p=2, τ∈Z, u=v=e_1, Y=φ(τ) u v^T ∈H^{2×2}. Then rank_F Y=1. Compute TY(Z)=Y⋆F Z for Z∈H^{2×2}_*: in the transform domain at frequency τ the output is u v^T Z_τ, and as Z_τ ranges over F^{2×2} this image is all matrices with columns in span(u), a 2-dimensional space. Thus one basis element cannot span the image of TY. Then check whether replacing 'image of TY' by 'span of the rank-one components of Y' (and extending to a full orthonormal basis of H^{m×p}) repairs the proof; if the repaired proof goes through, the theorem stands with a corrected argument, and if not, Theorem 7.1 is unproved.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central Eckart-Young result (Theorem 7.1) is proved by reducing to a coordinate expansion. In the proof, after writing a finite-rank Y as Σ_{k=1}^{q'} g_k φ(τ_k) R_{:,λ_k} W*_{:,λ_k}, the text defines B(k) as these q' rank-one summands and asserts that {B(k)}_{k=1}^{q'} is an orthonormal basis for the image of TY(Z)=Y⋆F Z on H^{p×p}_*. This is not correct. For a single nonzero frontal slice at frequency τ with Y_τ = u v^T (rank 1), the image {Y_τ Z_τ : Z_τ∈F^{p×p}} has dimension p (all matrices with columns in span(u)), not 1; summing over the q' nonzero slices gives dimension p·q', while only q' basis vectors are listed. Consequently the subsequent expansion X=Σ α_k B(k) with Y supported on the first q' coefficients, and the conclusion that an optimal approximation must saturate the rank budget q, are not justified as written. The theorem may still be true—the later slice-truncation/majorization argument is independent and appears sound—but the proof needs repair or a different reduction before the central claim is fully established.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper develops a quasitubal tensor algebra for tensors whose tubes lie in a separable infinite-dimensional Hilbert space H. Since the natural pointwise-multiplication algebra on H lacks a unit, the authors embed H into the commutative unital C*-algebra H* of bounded H-linear operators (isometrically isomorphic to ℓ∞), define quasitubal tensors as matrices over H*, establish a q-SVD (Theorem 5.9), and prove two Eckart-Young-type optimality results: Theorem 5.11 for multi-rank truncations in the operator norm, and Theorem 7.1 for finite implicit-rank truncations in the H-norm, with convergence of X[q] to X as q → ∞. The paper also discusses computational aspects and gives a numerical demonstration with Chebyshev bases.","tokens_in":40897,"tokens_out":12049,"duration_ms":108248,"significance":"If the results are correct, this is a valuable extension of the tubal tensor framework to infinite-dimensional tubes, with rigorous proofs of an SVD analogue and optimal low-rank approximation. The construction is principled: it follows from the axioms of a separable Hilbert space and an orthonormal basis, and the results are proven rather than assumed. The paper is mostly self-contained and carefully builds the algebraic infrastructure (Hilbert C*-modules, spectral theory) needed for the main theorems. The potential impact is in functional data analysis, operator learning, and dynamical systems, where tensors with continuous modes arise. The main caveat is that the optimality results are relative to a chosen orthonormal basis F, which the authors acknowledge as a limitation; this is not a flaw but a scope restriction.","major_comments":[{"comment":"The assertion that the q' rank-one tensors {B(k)} form an orthonormal basis for the image of TY(Z)=Y⋆F Z is incorrect. For a single nonzero frontal slice at frequency τ with Y_τ = u v^T, the image of the map Z_τ ↦ Y_τ Z_τ on F^{p×p} has dimension p (all m×p matrices with columns in span(u)), not 1; summing over q' nonzero slices gives image dimension p·q', while only q' basis vectors are listed. Consequently, the subsequent expansion X = Σ α_k B(k) and the claim that a rank-q'<q approximation can be improved by adding α_{q'+1}B(q'+1) are not justified as written. The later slice-wise Eckart-Young and majorization argument for the case q' = q appears sound and independent, but it does not cover the case q' < q. The theorem may still be true, but the proof needs repair or a different reduction before the central optimality claim is fully established.","section":"Section 7, proof of Theorem 7.1 (Eq. (39) and the paragraph beginning 'Consider the mapping TY')"}],"minor_comments":[{"comment":"There are several typos: 'spae' should be 'space', 'seperable' should be 'separable', and 'it’s' should be 'its' in the phrase about the matrix-mimetic SVD.","section":"Introduction, page 2"},{"comment":"The word 'quaistubes' appears once and should be 'quasitubes'.","section":"Section 3.2, paragraph after Definition 3.8"},{"comment":"The claim that the set of quasitubes is independent of F is asserted without a forward reference; it is only fully justified by Theorem 4.4, so the reader would benefit from a pointer to that theorem.","section":"Remark 3.10"},{"comment":"The H-norm in Eq. (18) is only defined for tensors in H^{m×p}, but later it is applied to the finite-rank truncations X[q], which indeed lie in H^{m×p}; stating this explicitly at the point of Definition 5.3 would remove a potential source of confusion.","section":"Definition 5.3"},{"comment":"The definition of N_q and the matching argument between indices in [q]\\N_q and tail indices n'>q are dense; a short explanatory paragraph would improve readability and verifiability.","section":"Proof of Theorem 7.1, combinatorial step"},{"comment":"The demonstration would be strengthened by reporting the observed decay of the Chebyshev coefficients and quantifying how the truncation error depends on the choice of the basis F, since the theory leaves this choice free.","section":"Section 8.1, numerical demonstration"}],"recommendation":"major_revision","confidential_remarks":"The paper is a solid contribution and the algebraic construction is convincing. The main issue is the proof of Theorem 7.1, which contains a false basis claim and therefore leaves a gap in the case rank(Y) < q. I believe the theorem is true and the gap is fixable within the scope of the manuscript, so I recommend major revision rather than rejection. The authors should either repair the argument for q' < q or show that it follows from the slice-wise Eckart-Young reasoning together with a separate argument that an optimal approximation can be taken to have full rank q."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe short version: the quasitubal algebra construction is a genuine advance, and I believe Theorem 5.11. But the proof of Theorem 7.1 does not hold up as written. The stress-test note is right, and there is a second problem in the same proof that it did not mention.\n\nThe genuinely new content is the identification of H* (the dual module of H over itself) as a commutative unital C*-algebra isometrically *-isomorphic to ℓ∞, and the use of that algebra to build a q-SVD with ordered singular quasitubes. That part is well executed. Lemma 6.25, showing that the squared singular values of a tubal tensor with square-summable energy have 0 as their only accumulation point, is the right compactness ingredient. Theorem 5.11, which gives operator-norm optimality for multi-rank truncations by slicing, is correct and is a clean infinite-dimensional analog of the finite result. The Hilbert C*-module framing is appropriate and not just decoration.\n\nThe problem is the second Eckart-Young theorem, the one that says the explicit rank-q truncation in Eq. (36) is optimal in the H-norm among all finite-rank tensors of rank at most q. Three things go wrong in the proof.\n\nFirst, after writing Y as a sum of q' rank-one terms B(k), the paper claims these B(k) form an orthonormal basis for the image of T_Y(Z)=Y⋆_F Z on H^{p×p}. That is false. If Y has one nonzero slice at frequency τ of rank 1, the image is all m×p matrices at that slice whose columns lie in the span of the left singular vector: dimension p. The q' rank-one tensors span at most a q'-dimensional space, so they cannot be a basis for a p·q'-dimensional image. This invalidates the expansion of X in that basis and the conclusion that an optimal approximation must saturate the rank budget.\n\nSecond, the combinatorial step with N_q does not work when q'<q. The candidate eY has rank q', so it covers exactly q' of the singular components of X. If q'<q, the number of uncovered components among the first q is q − |N_q|, while the number of covered components beyond q is only q' − |N_q|. For q'<q there are strictly more of the former, so the claimed matching between uncovered first-q indices and covered beyond-q indices cannot exist. The inequality chain that follows is therefore unsupported.\n\nThe theorem might still be true, and I suspect it is: the natural proof is to allocate the budget q across frequencies by taking the top q singular values globally, using the slice-wise Eckart-Young and the additive Frobenius structure. But that is not what the paper does. Minor issues: the numerics ship no code, and the choice of basis F is acknowledged but left entirely open, which limits the practical guidance.\n\nBottom line: the paper deserves a serious referee, and I would send it out. But Theorem 7.1 should be marked as requiring substantial proof repair, and the paper should not be accepted until the authors fix or replace that argument.","headline":"Solid construction and a credible q-SVD theory, but the proof of the central finite-rank optimality theorem (Theorem 7.1) has a real gap: the image of T_Y is p·rank(Y)-dimensional, not rank(Y)-dimensional, and the combinatorial matching step is unsound as written.","tokens_in":41440,"tokens_out":6535,"would_cite":false,"duration_ms":60197,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["15A69","46L05","46L08"],"pacs":[],"model":"deepseek-v4-flash","headline":"For tubal tensors with tubes in a separable Hilbert space, truncating the quasitubal SVD at rank q gives the optimal rank-q approximation, with error tending to zero as q grows.","keywords":["tubal tensors","quasitubal algebra","separable Hilbert space","tensor SVD","Eckart-Young optimality","low-rank approximation","C*-algebra","infinite-dimensional tensors"],"falsifier":"Take $H=L^2([-1,1])$ with the Chebyshev basis, define a tubal tensor $X$ with continuously parameterized entries, compute $X[q]$ by Eq. (36) for some $q$, and run a numerical search over all rank-$q$ function-valued tubal tensors $Y$ (for example by optimizing the $q$ rank-one terms directly); if any $Y$ achieves $\\|X-Y\\|_H<\\|X-X[q]\\|_H$, Theorem 7.1 is false. A cheaper necessary check is whether the ordered singular coefficients $\\sigma_n$ used in Eq. (36) are always non-increasing and square-summable, since the convergence claim depends on that ordering.","tokens_in":40357,"feed_emoji":"📐","tokens_out":14117,"duration_ms":106938,"temperature":0.7,"pith_summary":"The paper extends the tubal-tensor framework—treating tensors as matrices of short vectors ('tubes')—to tubes drawn from an infinite-dimensional separable Hilbert space. Because no such Hilbert space can carry a multiplicative identity, the paper embeds the tube space in a larger commutative unital C*-algebra of bounded operators, the quasitubal algebra, and develops a quasitubal singular value decomposition (q-SVD) for tensors over this algebra. The central result is an Eckart–Young theorem: for any such tensor $X$, the explicit rank-$q$ truncation $X[q]$ built from the q-SVD minimizes the Hilbert-space error $\\|X-Y\\|_H$ among all rank-at-most-$q$ approximations, and the error $\\|X-X[q]\\|_H$ converges to zero as $q\\to\\infty$. This gives a principled way to approximate genuinely infinite-dimensional, function-valued tensors by finitely representable tubal tensors.","feed_headline":"Truncated tensor SVD stays optimal for infinite-size tubes","feed_subtitle":"A separable Hilbert space can replace finite tubes, and the rank-q truncation provably beats every other rank-q approximation.","key_machinery":"The key object is the quasitubal algebra $H^*$, the commutative unital C*-algebra of bounded $H$-linear operators on a separable Hilbert space $H$, isometrically *-isomorphic to $\\ell^\\infty$ via the $\\pi$-transform. The tubal product $\\star_F$ is defined by an orthonormal basis (an isometric isomorphism $F:H\\to\\ell^2$), and quasitubes extend tubes by allowing bounded diagonal multipliers in the transform domain; this supplies the missing multiplicative identity and gives a notion of positivity, order, and square roots in $H^*$. The proof machinery then runs through the q-SVD: applying a pointwise matrix SVD to each frontal slice in the transform domain yields unitary quasitubal tensors and ordered nonnegative singular quasitubes, and the Eckart–Young argument compares any rank-$q$ competitor against the explicit truncation $X[q]$ using the orthonormal basis induced by the q-SVD.","core_discovery":"The paper's central discovery is that a matrix-mimetic Eckart–Young theory exists for tubal tensors over separable Hilbert spaces even though the tube space with the tubal product is not unital, once the tube space $H$ is embedded as a two-sided *-ideal in $H^*$, the algebra of bounded $H$-linear operators on $H$, which is isometrically *-isomorphic to $\\ell^\\infty$. The quasitubal SVD of any $X\\in H^{m\\times p}_*$ exists (Theorem 5.9), and for $X\\in H^{m\\times p}$ the explicit rank-$q$ truncation $X[q]$ (Eq. (36)) satisfies $\\|X-X[q]\\|_H\\le\\|X-Y\\|_H$ for every $Y\\in H^{m\\times p}$ with $\\mathrm{rank}_{F,\\star_F}Y\\le q$, with $\\|X-X[q]\\|_H\\to 0$ and $\\|X-X[q]\\|_{\\mathrm{op}}\\to 0$ as $q\\to\\infty$ (Theorem 7.1). In other words, the best finite-rank approximation of an infinite-dimensional tubal tensor is obtained by keeping the $q$ largest ordered singular quasitubes of the q-SVD, and these finite-rank truncations converge to the original tensor.","pith_inferences":["The paper fixes an orthonormal basis $F$ that defines the tube multiplication, and its optimality is relative to that choice; a natural extension is an adaptive or data-dependent choice of $F$, which the paper does not address.","The construction requires separability and an isometric transform; extending the Eckart–Young statement to non-separable Hilbert spaces or to non-isometric transforms would require a different proof, and the paper leaves this open.","Because the tube space $H$ sits inside $H^*$ as an ideal, the q-SVD truncation of a function-valued tensor can be read as a spectral-type approximation of an operator; this may connect to model-order reduction for continuous-time dynamical systems, a direction the paper mentions but does not develop."],"forward_implications":["Any tubal tensor with tubes in a separable Hilbert space has a best rank-$q$ approximation in the $H$-norm, given by the explicit truncation of its q-SVD; this extends the finite-dimensional tubal Eckart–Young theorem to infinite dimensions.","The rank-$q$ truncation is finitely representable: it is a finite-dimensional tubal tensor embedded in the infinite-dimensional space, so it can be stored and manipulated on a computer.","Truncation error vanishes in both the Hilbert-space norm and the operator norm as $q\\to\\infty$, so infinite-dimensional tensors can be approximated to arbitrary accuracy by finite-rank objects.","The framework applies to any separable Hilbert space—for instance spaces of square-integrable functions—so continuous, functional data can be treated with matrix-mimetic tensor operations rather than classical CP-style decompositions."],"supporting_citations":[{"why":"Establishes the finite-dimensional tubal tensor algebra, tSVD, and the Eckart–Young optimality result that the paper extends to infinite-dimensional tubes.","marker":"[9]"},{"why":"Introduces t-linear operators and the tSVD factorization framework that the quasitubal construction generalizes.","marker":"[8]"},{"why":"Defines tensor–tensor products for general invertible transforms and proves the C*-algebra structure of finite tubes that motivates the quasitubal algebra.","marker":"[7]"},{"why":"Supplies the C*-algebra, spectrum, and Hilbert–Schmidt results used to show that no identity exists and to establish spectral ordering of singular quasitubes.","marker":"[3]"},{"why":"Provides the Hilbert C*-module toolkit used to define adjoints, orthogonality, and the module structure of quasitubal tensors.","marker":"[14]"}],"fun_headline_variants":["Eckart-Young holds for tensors with infinite tubes","Best rank-q tensor fit proven for Hilbert-space tubes","Quasitubal SVD: infinite tubes, finite-rank optimum","Infinite-size tubes? SVD truncation still optimal"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything depends on fixing a separable Hilbert space and an orthonormal basis (an isometric transform) that defines how tubes are multiplied; the optimality claims hold only relative to that choice, and the construction breaks down without separability or without the transform being an isometry.","fun_headline_variants_meta":{"raw":{"variants":["Eckart-Young holds for tensors with infinite tubes","Best rank-q tensor fit proven for Hilbert-space tubes","Quasitubal SVD: infinite tubes, finite-rank optimum","Infinite-size tubes? SVD truncation still optimal"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000458,"raw_usage":{"total_tokens":2351,"prompt_tokens":1055,"completion_tokens":1296,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":671,"completion_tokens_details":{"reasoning_tokens":1226}},"tokens_in":671,"tokens_out":1296,"duration_ms":9512,"temperature":1.0,"reasoning_tokens":1226,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T11:09:12.219667+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take $H=L^2([-1,1])$ with the Chebyshev basis, define a tubal tensor $X$ with continuously parameterized entries, compute $X[q]$ by Eq. (36) for some $q$, and run a numerical search over all rank-$q$ function-valued tubal tensors $Y$ (for example by optimizing the $q$ rank-one terms directly); if any $Y$ achieves $\\|X-Y\\|_H<\\|X-X[q]\\|_H$, Theorem 7.1 is false. A cheaper necessary check is whether the ordered singular coefficients $\\sigma_n$ used in Eq. (36) are always non-increasing and square-summable, since the convergence claim depends on that ordering.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the finite-dimensional tubal tensor algebra, tSVD, and the Eckart–Young optimality result that the paper extends to infinite-dimensional tubes."},{"cited_title":"Kernfeld, M","cited_arxiv_id":null,"evidence_quote":"Defines tensor–tensor products for general invertible transforms and proves the C*-algebra structure of finite tubes that motivates the quasitubal algebra."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the C*-algebra, spectrum, and Hilbert–Schmidt results used to show that no identity exists and to establish spectral ordering of singular quasitubes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the Hilbert C*-module toolkit used to define adjoints, orthogonality, and the module structure of quasitubal tensors."}],"review_version":1}