{"id":"6b217d41-ed80-4924-b33c-ff1fc9d0f8eb","arxiv_id":"2411.15578","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Holomorphic functions of the continuous Cesàro operator in L2 are Hausdorff operators with a Mellin-transform certificate, and its fractional powers are Hölder means.","lead":"This paper identifies every holomorphic function of the continuous Cesàro operator on L2 spaces with a Hausdorff integral operator whose kernel satisfies a Mellin-transform condition, and shows the fractional powers are Hölder means. It also defines the logarithm of the Cesàro operator and computes its spectrum, resolvent, and inverse.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.2's classification rests on an unproved, self-cited holomorphic symbol calculus for A_u ([22, Thm 3.1]); a direct verification for a non-polynomial F is needed to secure the central claim.","rationale":"The reader's weakest_assumption correctly identifies the reliance on the previously published symbol calculus as the least secure point of the central theorem. My re-reading of Theorem 3.2 confirms that, assuming [22, Theorem 3.1] and the matrix-symbol uniqueness results, the proof is internally coherent: the matrix-symbol computation for the Cesàro operator is correct, the Mellin-transform conditions follow, and the converse is a valid comparison of symbols. The paper's own uniqueness argument for K ↦ H_K is sound but only proves injectivity; it does not establish that every holomorphic function of C has a Hausdorff kernel in A_u with the stated integrability. That existence step is exactly what [22, Theorem 3.1] supplies. Since this theorem is self-cited and not proved in this preprint, a failure there would invalidate Theorem 3.2, so I frame the concern as a need for direct verification. The auxiliary issues flagged by the reader (Corollaries 3.9, 3.12, 4.23) are real but do not affect the central classification; they are corollaries whose proofs can be repaired without changing the main result. Therefore the verdict should remain conditional, consistent with the reader's assessment.","tokens_in":13794,"tokens_out":35920,"duration_ms":296391,"concrete_test":"Verify the forward direction of Theorem 3.2 for F(z)=e^z−1 by constructing K_F from the inverse Mellin transform of F(z^{-1}) on Re z=1/2, i.e. K_F(u) = (2πi)^{-1} ∫_{1/2−i∞}^{1/2+i∞} F(s^{-1}) u^{-s} ds, and then checking that H_{K_F} equals the Cauchy integral (2πi)^{-1} ∫_Γ F(λ)R(λ,C)dλ, using the explicit resolvent kernel from Examples 3.4 and 3.5. If equality holds for this non-polynomial F (and a few similar choices), the cited symbol calculus is consistent; otherwise Theorem 3.2's core identification is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that every holomorphic F with F(0)=0 and with spectrum in a neighborhood of T+1 maps to a unique Hausdorff operator H_K satisfying condition (c). The forward direction uses [22, Theorem 3.1] to assert F(C) ∈ A_u and the matrix-symbol formula to derive (a)–(c). The converse uses matrix-symbol uniqueness ([22, Lemma 2.1], [26, Theorem 1]). These are cited, not proved, and they are self-citations. If the holomorphic calculus in A_u is not valid, or if matrix symbols do not determine the operator, Theorem 3.2 fails. The paper's own uniqueness proof covers K ↦ H_K, but not the existence of the representation for arbitrary F. This is the least secure point, especially because a small branch-cut or closure issue in the algebra would break the classification.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a description of holomorphic functions and fractional powers of the continuous Cesàro operator C on L2(R), L2(R+), and L2[0,1] in terms of Hausdorff operators. Theorem 3.2 characterizes F(C)=H_K by three conditions on the kernel K, Theorem 3.7 identifies C^α with the Hölder operator H_α for Re α>0, and Theorem 3.13 describes the resolvent and spectrum of log C, with Theorem 3.14 giving the inverse of log C. Analogous statements for L2(R+) and L2[0,1] are derived by restriction arguments. The main classification is based on the author's earlier symbol calculus for Hausdorff operators [22,26,27].","tokens_in":13912,"tokens_out":35240,"duration_ms":298116,"significance":"If the central classification is correct, the paper provides a clean and fairly complete description of holomorphic functions of the continuous Cesàro operator, with explicit formulae for resolvents, fractional powers, and the logarithm, and it extends the theory to complex orders. The derivations from the cited symbol calculus are mostly coherent and involve no fitted parameters or invented entities. The main weakness is the heavy reliance on the author's previously published symbol calculus for the core theorem; assuming those cited results, the argument is internally consistent. However, several auxiliary claims are false or incorrectly proved, which materially reduces the reliability of the secondary results and of the paper in its current form.","major_comments":[{"comment":"The identity (Hα)^β=Hαβ for Re α,Re β>0 is not justified and is in general false under the branch conventions used in the paper. In the normal functional calculus, the β-th power of Hα uses a branch of w^β applied to the spectrum of Hα, and this does not reproduce the αβ-th power of the original branch on σ(C). For example, for z∈T+1 close to 0 the argument of z^3 approaches 3π/2, so the principal square root of z^3 has argument near -π/4, whereas z^{3/2} has argument near 3π/4; hence (H_3)^{1/2}≠H_{3/2}. This corollary should be deleted or replaced by a statement about the semigroup property H_{α+β}=Hα Hβ, which is different from composing fractional powers.","section":"§3.2, Corollary 3.9"},{"comment":"The proof of Corollary 3.12 is invalid. Cesàro ergodicity, as given by [4, Cor. 4.3.5], yields convergence of the Cesàro averages (1/t)∫_0^t T(s)f ds, not the pointwise limit lim_{t→∞} 2^{-t}H_t f asserted in the proof. Moreover, the term 'uniformly stable' is inaccurate because ||T(t)||=1 for all t≥0; the statement proved is strong stability. The conclusion itself is true and can be proved directly: after the diagonalization in Theorem 3.7, T(t) is unitarily equivalent to multiplication by (1-2is)^{-t}, which converges to 0 pointwise and is dominated by 1 in modulus, so dominated convergence gives 2^{-t}H_t f→0 for every f. Please replace the proof and correct the terminology.","section":"§3.2, Corollary 3.12"},{"comment":"The proof of Corollary 4.23 contains a false assertion: 'the restriction of Hα to the subspace L2(R)⊖L2(R+)=L2(R-) is zero' is incorrect. For f supported on R- and x<0, (Hα f)(x)=∫_0^1 K(u)f(ux)du is generally nonzero; already for α=1, H_1=C does not annihilate L2(R-). The conclusion may still be true, for instance because Hα decomposes as Hα+ ⊕ Hα- with Hα- unitarily equivalent to Hα+, or because Hα+ is unitarily equivalent to multiplication by (1/2-is)^{-α}; please supply a correct proof.","section":"§4.2, Corollary 4.23"}],"minor_comments":[{"comment":"The uniqueness of K for H_K is proved for L2(R); the claimed analogous statement for the restriction to L2(R+) should be stated and proved explicitly, since it is used in later sections.","section":"§2"},{"comment":"The proof of the main classification relies on [22, Theorem 3.1], [22, Lemma 2.1], and [26, Theorem 1] without stating these results fully. Because they are load-bearing and are the author's own results, please state them precisely in the preliminaries, or provide a short proof sketch for the key step F(C)∈A_u.","section":"Theorems 3.2 and 3.13"},{"comment":"There are several typos and small gaps: 'wright' should be 'write' (Section 2); 'McGrow-Hill' in reference [30]; 'Noth Holland' in reference [25]; a missing closing parenthesis in (3.19); 'there is such function K' in Theorem 4.16 should be 'there is a function K'.","section":"Throughout"},{"comment":"The phrase 'uniformly stable' should be changed to 'strongly stable' throughout the statement and proof, since the estimate 2^{-t}||H_t f||→0 is pointwise in f.","section":"Corollary 3.12"},{"comment":"In the proof of the limit lim_{λ→-∞} ||R(λ, log C)||=2/π, the sentence about horizontal asymptotes is terse; it would help to spell out that the distance from λ to the curve approaches the horizontal distance to the asymptotes y=±π/2.","section":"Theorem 3.13(iv)"}],"recommendation":"major_revision","confidential_remarks":"The paper makes heavy use of the author's own previously published results [22,26,27] for the central symbol calculus. This is not circular, but it means the main classification is only as solid as those prior papers. The false auxiliary claims (Corollaries 3.9, 3.12, 4.23) suggest that a careful revision is needed before the paper can be accepted. The editor may also wish to have the cited symbol-calculus results checked independently."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"I've read the Mirotin paper. The main result is Theorem 3.2: holomorphic functions F of the Cesàro operator C on L2(R) (with F(0)=0) are exactly the Hausdorff operators H_K with K supported on R+, K(u)u^{-1/2} in L1, and Mellin transform (MK)(z)=F(z^{-1}) on Re z=1/2. This is new and useful, and the author also works out the fractional powers C^α=H_α (Hölder means) and the spectrum of log C as the curve log(2 cos y)+iy. Those are genuine contributions; the earlier literature had integer powers (Boyd) and the discrete analogue, but not this complete picture.\n\nThe derivation is a straightforward application of the author's own symbol calculus for Hausdorff operators, from [22] and [26]. That is not a fatal problem—those are peer-reviewed results and the paper cites them honestly. But the central classification does rest entirely on that machinery, so a referee should ask for a direct verification of Theorem 3.2 for a non-polynomial F, just to rule out a hidden closure or branch-cut issue. I don't see internal circularity: the cited theorems are about general Hausdorff operators, not tailored to Cesàro.\n\nThe soft spots are in the corollaries. Corollary 3.9 claims (H_α)^β=H_{αβ} for Re α, Re β>0; the proof doesn't address branch choices, and for large imaginary parts the identity fails for pointwise powers, so this needs a real argument or a counterexample. Corollary 3.12's proof uses Cesàro ergodicity to conclude strong convergence of 2^{-t}H_t, which it doesn't establish; the conclusion may still be true via spectral theory, but the argument as written is wrong. Corollary 4.23 says H_α vanishes on L2(R-), which is simply false—for x<0 the integral runs over (x,0). These don't touch Theorem 3.2, but they should be fixed before publication.\n\nOverall, the paper is a serious and mostly careful extension of the Hausdorff symbol calculus to Cesàro operators. I'd send it out. With the corollaries repaired and the central theorem's dependence on [22] explicitly flagged (and ideally a sanity check), it would be a solid contribution to the literature.","headline":"A solid, likely correct classification of holomorphic functions of the continuous Cesàro operator, with a few corollaries that need fixing.","tokens_in":14489,"tokens_out":4140,"would_cite":true,"duration_ms":38121,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["47B38","47A60","47A10","44A15"],"pacs":[],"model":"deepseek-v4-flash","headline":"Holomorphic functions of the Cesàro operator are exactly Hausdorff operators whose Mellin symbol matches the function on the critical line.","keywords":["continuous Cesàro operator","Hausdorff operators","holomorphic functional calculus","fractional powers","Hölder operators","logarithm of an operator","Mellin transform","spectral mapping"],"falsifier":"Test the theorem on a specific pair, say $F(z)=z^2$, where the predicted kernel is $K(u)=\\log(1/u)\\chi_{(0,1)}(u)$: compute $(C^2f)(x)$ and $(H_K f)(x)$ for a concrete $L^2$ function such as $f(x)=e^{-x^2}$; if the two functions differ at any $x$, the symbol-calculus identification is wrong. More generally, any $K$ satisfying conditions (a), (b), and (c) for which $H_K f\\neq F(C)f$ on a test function would refute the classification.","tokens_in":13536,"feed_emoji":"","tokens_out":6431,"duration_ms":56262,"temperature":0.7,"pith_summary":"This paper aims to establish a complete description of holomorphic functions of the continuous Cesàro operator in $L^2(\\mathbb{R})$, and by restriction also in $L^2(\\mathbb{R}_+)$ and $L^2[0,1]$. It claims that, for any holomorphic $F$ with $F(0)=0$, the operator $F(C)$ is a Hausdorff operator $H_K$ whose kernel $K$ is supported on $\\mathbb{R}_+$, satisfies $K(u)u^{-1/2}\\in L^1(\\mathbb{R}_+)$, and has Mellin transform $(MK)(z)=F(z^{-1})$ on the critical line $\\operatorname{Re} z=\\tfrac12$; conversely any such $K$ gives $F(C)=H_K$. The payoff is that fractional powers $C^\\alpha$ are computed explicitly as Hölder operators, and $\\log C$ is shown to have a curve spectrum with Hausdorff resolvents. If true, this turns a broad class of operator functions into concrete integral operators.","feed_headline":"Every holomorphic function of a Cesàro operator is a Hausdorff operator","feed_subtitle":"The classification reduces every F(C) to one kernel condition, yielding explicit fractional powers and log C.","key_machinery":"The machinery is the Hausdorff operator symbol calculus. A Hausdorff operator has the form $(H_K f)(x)=\\int_{\\mathbb{R}}K(u)f(ux)\\,du$, and to each such operator one attaches a matrix symbol built from two Mellin-type integrals of $K$; for normal Hausdorff operators the symbol determines the operator. The Cesàro operator $C$ has matrix symbol $\\operatorname{diag}((\\tfrac12-is)^{-1},(\\tfrac12-is)^{-1})$, so the holomorphic functional calculus acts on the symbol, giving $\\Phi_{F(C)}=F(\\Phi_C)$. This forces $F(C)$ to be the Hausdorff operator whose scalar symbol is $F((\\tfrac12-is)^{-1})$, which is exactly the Mellin-transform identity $(MK)(z)=F(z^{-1})$ on the critical line $\\operatorname{Re} z=\\tfrac12$.","core_discovery":"The central claim is Theorem 3.2: if $F$ is holomorphic in a neighborhood of the spectrum $\\mathbb{T}+1$ of the Cesàro operator $C$ and $F(0)=0$, then $F(C)=H_K$ for a unique kernel $K$ exactly when $K$ vanishes on $(-\\infty,0)$, $K(u)u^{-1/2}\\in L^1(\\mathbb{R}_+)$, and $(MK)(z)=F(z^{-1})$ for all $z$ with $\\operatorname{Re} z=\\tfrac12$. The converse direction shows that any $K$ meeting these three conditions gives $H_K=F(C)$, and the spectrum condition then yields $\\sigma(H_K)=F(\\mathbb{T}+1)$. The paper applies this to obtain $C^\\alpha=H_\\alpha$ for $\\operatorname{Re}\\alpha>0$, where $H_\\alpha$ is the Hölder operator, and to introduce $\\log C$ as the generator of the semigroup $H_t$; the spectrum of $\\log C$ is the curve $\\{\\log(2\\cos y)+iy: y\\in(-\\pi/2,\\pi/2)\\}$.","pith_inferences":["Theorem 3.2 can be read as an inverse Mellin calculus: to compute $F(C)$, one only needs to write $F(z^{-1})$ as the Mellin transform of a kernel on $\\mathbb{R}_+$, which suggests explicit formulas for other symbols such as exponentials or rational functions.","The boundary condition $\\operatorname{Re} z=\\tfrac12$ links the symbol calculus to Hardy-space geometry, and the paper's non-holomorphic example built from the Riemann zeta function indicates that the normal functional calculus used for $C^\\alpha$ may reach operators that the holomorphic calculus cannot.","If the same symbol-calculus pattern holds for other normal Hausdorff operators with scalar symbols, the Mellin-transform test would characterize their holomorphic functions as well; this is a natural direction beyond the Cesàro case."],"forward_implications":["Every holomorphic function of $C$ with $F(0)=0$ is a Hausdorff operator, so questions about such functions reduce to kernels and Mellin transforms.","For $\\operatorname{Re}\\alpha>0$, $C^\\alpha=H_\\alpha$, the Hölder operator, with spectrum $\\{z^\\alpha:z\\in\\mathbb{T}+1\\}$ and norm $\\|H_\\alpha\\|=\\bigl(\\tfrac{2\\operatorname{Re}\\alpha}{|\\alpha|}\\bigr)^{\\operatorname{Re}\\alpha}e^{\\operatorname{Im}\\alpha\\arg\\alpha}$; for real $\\alpha>0$ the spectrum is an arc and $\\|H_\\alpha\\|=2^\\alpha$.","The operator $\\log C$ is normal with empty point spectrum, spectrum $\\{\\log(2\\cos y)+iy:y\\in(-\\pi/2,\\pi/2)\\}$, spectral bound $\\log 2$, and resolvent given as a Hausdorff operator with a kernel built from the Volterra function $\\nu$.","The inverse $(\\log C)^{-1}$ is also a Hausdorff operator with an explicit kernel, so the inverse logarithm stays inside the same operator algebra.","The same classification transfers to $L^2(\\mathbb{R}_+)$ and $L^2[0,1]$: $F(C_+)=H_K^+$ and $F(C_1)=(H_K)_1$ under the same kernel conditions."],"supporting_citations":[{"why":"Supplies the realization of normal Hausdorff operators through their scalar or matrix symbol, the theorem that a normal Hausdorff operator is determined by its symbol, and the spectrum and point-spectrum facts used throughout.","marker":"[26]"},{"why":"Provides the holomorphic calculus for Hausdorff operators: Theorem 3.1 that $F(H_{K,a})$ is again a Hausdorff operator and Lemma 2.1 on uniqueness from the matrix symbol; this is the bridge from $F(C)$ to $H_K$.","marker":"[22]"},{"why":"Gives the companion description of multidimensional normal Hausdorff operators, including boundedness and normality conditions and the uniqueness of the scalar symbol.","marker":"[27]"},{"why":"Contains the original spectral results for Cesàro operators in $L^2(\\mathbb{R}_+)$ and $L^2[0,1]$, namely the spectra $\\mathbb{T}+1$ and $\\mathbb{D}+1$, on which the extensions in Sections 4 and 5 rest.","marker":"[10]"},{"why":"Provides the known resolvent behavior of the Cesàro operator in $L^2(\\mathbb{R}_+)$ against which the paper's resolvent formulas are checked.","marker":"[9]"},{"why":"Supplies the Mellin transform identity used to identify the Hölder operator's symbol as $(\\tfrac12-is)^{-\\alpha}$ in the proof of $C^\\alpha=H_\\alpha$.","marker":"[28]"}],"fun_headline_variants":["Cesàro operator: all holomorphic functions are Hausdorff","Fractional powers of Cesàro operators become Hölder operators","Log of Cesàro operator: spectral curve revealed","Cesàro's holomorphic functions reduce to one kernel condition","Every F(C) is a Hausdorff operator, classification done"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole classification rests on earlier results that a normal Hausdorff operator is uniquely fixed by its matrix or scalar symbol and that applying a holomorphic function to a Hausdorff operator gives another Hausdorff operator; if either of those fails, the equality $F(C)=H_K$ and the converse of Theorem 3.2 can break down.","fun_headline_variants_meta":{"raw":{"variants":["Cesàro operator: all holomorphic functions are Hausdorff","Fractional powers of Cesàro operators become Hölder operators","Log of Cesàro operator: spectral curve revealed","Cesàro's holomorphic functions reduce to one kernel condition","Every F(C) is a Hausdorff operator, classification done"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000175,"raw_usage":{"total_tokens":1228,"prompt_tokens":827,"completion_tokens":401,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":443,"completion_tokens_details":{"reasoning_tokens":329}},"tokens_in":443,"tokens_out":401,"duration_ms":3805,"temperature":1.0,"reasoning_tokens":329,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T14:12:32.515040+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Test the theorem on a specific pair, say $F(z)=z^2$, where the predicted kernel is $K(u)=\\log(1/u)\\chi_{(0,1)}(u)$: compute $(C^2f)(x)$ and $(H_K f)(x)$ for a concrete $L^2$ function such as $f(x)=e^{-x^2}$; if the two functions differ at any $x$, the symbol-calculus identification is wrong. More generally, any $K$ satisfying conditions (a), (b), and (c) for which $H_K f\\neq F(C)f$ on a test function would refute the classification.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the realization of normal Hausdorff operators through their scalar or matrix symbol, the theorem that a normal Hausdorff operator is determined by its symbol, and the spectrum and point-spectrum facts used throughout."},{"cited_title":"Liflyand, A","cited_arxiv_id":null,"evidence_quote":"Provides the holomorphic calculus for Hausdorff operators: Theorem 3.1 that $F(H_{K,a})$ is again a Hausdorff operator and Lemma 2.1 on uniqueness from the matrix symbol; this is the bridge from $F(C)$ to $H_K$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the companion description of multidimensional normal Hausdorff operators, including boundedness and normality conditions and the uniqueness of the scalar symbol."},{"cited_title":"Brown, P .R","cited_arxiv_id":null,"evidence_quote":"Contains the original spectral results for Cesàro operators in $L^2(\\mathbb{R}_+)$ and $L^2[0,1]$, namely the spectra $\\mathbb{T}+1$ and $\\mathbb{D}+1$, on which the extensions in Sections 4 and 5 rest."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the known resolvent behavior of the Cesàro operator in $L^2(\\mathbb{R}_+)$ against which the paper's resolvent formulas are checked."},{"cited_title":"Oberhettinger, Tables of Mellin Transforms, Berlin - Heidelberg - New Y ork, Springer-V erlag, 1974","cited_arxiv_id":null,"evidence_quote":"Supplies the Mellin transform identity used to identify the Hölder operator's symbol as $(\\tfrac12-is)^{-\\alpha}$ in the proof of $C^\\alpha=H_\\alpha$."}],"review_version":1}