{"id":"dc58125f-4fb1-4dc8-aae0-1bd0fcdc1426","arxiv_id":"2412.10376","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":3.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For a continuous periodic function with bounded variation, the j-th Fourier coefficient is at most the total variation divided by π j, and the same style of bound gives sufficient bandwidths for reducing a chosen harmonic.","lead":"This paper derives basic limits on the sizes of the harmonic components of a wiggly periodic signal, based on how much the signal changes overall. These limits can be used to design small distortions that suppress chosen tones produced by rotating machinery in a flow.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (0.6) is false as stated for continuous BV functions because V is defined as ∫|f'|, which is 0 for continuous singular functions whose Fourier coefficients are not all 0; either require absolute continuity or let V denote total variation.","rationale":"The reader's conditional verdict is driven by exactly the issue I isolate: the theorem is stated for continuous functions of bounded variation, but the proof's final line identifies the total variation with the integral of |f'|. That identification is equivalent to absolute continuity and is false for the stated class. The counterexample is not pathological in a way that rescues the statement: Cantor-type functions are standard continuous BV functions, and the paper's control application does not exclude them. However, this is a repairable overstatement rather than a collapse of the method. The partition/MVT derivation itself proves the stronger, correct inequality with the total variation; replacing the false identity by either an absolute-continuity hypothesis or by defining V as the total variation restores (0.6), and the Chebyshev analogue follows by the same repair. The finite-N gap in (0.11) is real but secondary: it concerns the translation of the variation bound into a bandwidth sufficient for a guaranteed reduction, not the bound itself. For these reasons the correct verdict remains conditional, not reject: the manuscript needs a stated regularity assumption and a stated finite-extremum condition, but the core estimate is sound once V is interpreted correctly. I agree with the reader's weakest assumption and see no additional load-bearing defect beyond it.","tokens_in":3637,"tokens_out":10800,"duration_ms":99550,"concrete_test":"Let C be the standard Cantor function on [0,1]. Define F on [0,2] by F(x)=C(x) for 0≤x≤1 and F(x)=C(2−x) for 1≤x≤2, then extend 2-periodically and rescale to [0,2π]. F is continuous, periodic, of bounded variation, nonconstant, and F'=0 almost everywhere. Parseval's identity on [0,2π] then gives ∑(|a_j|^2+|b_j|^2) > 0, so at least one Fourier coefficient is nonzero. Substituting this F into (0.6) with V_0^{2π}(F)=∫|F'|=0 gives |a_j|≤0, a contradiction. Equivalently, compute a few coefficients by numerical quadrature only on the flat intervals that make up most of the support; any nonzero computed value settles the point.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central inequality (0.6) is proved correctly as a bound by the full variation: the partition/MVT argument gives |a_j| ≤ V_0^{2π}(f)/(π j) with V the total variation. The failure is in the immediately following identification V_0^{2π}(f)=∫_0^{2π}|f'(x)|dx. This identity characterizes absolutely continuous functions; for a continuous singular function of bounded variation, f'=0 almost everywhere while the total variation is positive. Rescale the Cantor function to a continuous periodic function F on [0,2π] by reflecting it so F(0)=F(2π) and extending periodically. Then F is continuous, of bounded variation, not constant, and F'=0 a.e., so the paper's right-hand side in (0.6) is 0 for every j. Parseval's identity forces some Fourier coefficient of F to be nonzero, contradicting (0.6). The same defect enters the Chebyshev statement (0.18) through the change of variables in (0.17). The control formulas (0.9)-(0.12) inherit the problem: if the distortion f△ is singular, the paper's V(f△)=0 would imply every harmonic is already zero, which is not a valid sufficient condition. A second, independent gap is that (0.11) uses a finite extremum count N without stating it as an assumption; if f△ oscillates infinitely often inside the band, no positive δ follows from that formula. Both are repairable by adding absolute continuity (or defining V as the total variation and estimating it separately) and by requiring finite N or another variation bound.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves inequalities bounding the j-th Fourier coefficients of a continuous periodic function of bounded variation in terms of its variation or range: |a_j| ≤ V_0^{2π}(f)/(πj) and an analogue for Chebyshev coefficients, |a_j| ≤ 2V_{-1}^1(f)/(πj), and uses them to derive sufficient conditions on the width δ of a permitted distortion band that guarantee a requested q-fold reduction of a selected harmonic, namely δ = |a_j^0|πj/(qN) or δ = |a_j^0|π/(2q). The proof uses subdivision of the period into 4j sign-constancy intervals of the trigonometric kernel, the generalized mean value theorem for integrals, and a total-variation estimate.","tokens_in":3977,"tokens_out":8131,"duration_ms":70101,"significance":"If the stated inequalities are read with V as the total variation and with a finite-extrema assumption added, the core result is correct and the control application is coherent. The paper's sufficient conditions are falsifiable and directly usable: any distortion confined to the indicated band is guaranteed to produce the requested harmonic reduction. Credit is due for deriving the bounds from first principles via the mean value theorem and for explicitly linking the inequalities to a real control target; the self-reference to the author's earlier engineering report [3] is motivational and not circular. The mathematical novelty is modest, however, as the coefficient bound is a standard partition/integration-by-parts estimate, and the main obstacles are technical hypotheses that the manuscript currently leaves implicit.","major_comments":[{"comment":"The definition V_0^{2π}(f)=∫_0^{2π}|f'(x)|dx is used as the right-hand side of the bound, but the paper only assumes continuity and bounded variation. For a continuous singular function such as a periodically reflected Cantor function, f'=0 almost everywhere, so the displayed right-hand side is zero, while the Fourier coefficients are not all zero; the inequality as stated fails. The proof up to (0.5) actually establishes |a_j| ≤ V_0^{2π}(f)/(πj) with V the total variation, so the fix is to define V as total variation or to add absolute continuity and estimate the total variation separately. This is load-bearing because formulas (0.9)–(0.12) inherit the definition.","section":"Eq. (0.6)"},{"comment":"The chain of equalities proving the Chebyshev bound is incorrect: d(cosθ)=-sinθ dθ, so ∫_0^π |f'(cosθ)|dθ is not equal to ∫_{-1}^1 |df(x)|. The correct identity is ∫_0^π |f'(cosθ)| sinθ dθ = V_{-1}^1(f) for absolutely continuous f, or V_0^π(f(cosθ))=V_{-1}^1(f) directly by the monotone change of variable for total variation. Although the claimed inequality (0.18) can be repaired by this argument, the proof as printed is invalid and must be rewritten.","section":"Eq. (0.17)"},{"comment":"The manuscript assumes without stating it that f and f△ have a finite number N of extrema. A continuous function of bounded variation may have infinitely many local extrema (for example, a convergent sum of scaled triangular waves), in which case the sum over extrema in (0.7) is not defined and the formula δ=|a_j^0|πj/(qN) in (0.11) has no meaning. The finiteness of N, or an alternative variation estimate, should appear as an explicit hypothesis before these formulas are used.","section":"Eqs. (0.7), (0.11)"}],"minor_comments":[{"comment":"The notation (-1)^{k\\2} is ambiguous; use (-1)^{⌊k/2⌋} or an explicit alternation rule.","section":"Eqs. (0.3), (0.15)"},{"comment":"After the substitution x=cosθ, the coefficient formula should show the Jacobian: dx=-sinθ dθ, so the equality as displayed skips a step; the final expression is correct but the writing should not omit the transformation details.","section":"Eq. (0.14)"},{"comment":"It would help to state explicitly that this bound follows from (0.5) because there are 2j terms each bounded by Δ.","section":"Eq. (0.8)"},{"comment":"The formula divides by N; the N=0 case is discussed in the text but the formula itself should be qualified as N≥1.","section":"Eq. (0.11)"},{"comment":"The hypotheses should be stated precisely, since 'continuous periodic function of bounded variation' is insufficient for the later integral expression ∫|f'|dx; the authors should either assume absolute continuity or define V as total variation.","section":"Abstract and introduction"},{"comment":"There are numerous typographical issues, including the title 'ESTIMA TIONS', inconsistent dashes, and garbled spacing in words such as 'difference'; a careful proofreading is needed.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"This is an elementary paper whose main mathematical content is a known coefficient-variation bound. The control applications are concrete and the paper is short. The current version has load-bearing technical errors that are repairable: the variation definition, the Chebyshev change of variables, and the finite-extrema assumption. The fit is better for an applied or engineering venue; if the journal seeks novel pure mathematics, the contribution is modest. No concerns about citation behavior; the self-reference [3] is legitimate and motivational."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe paper gives a partition/mean-value proof of the standard bound |a_j| ≤ V(f)/(π j) and applies it to design 'fuzzy targets' for harmonic reduction in a propeller noise problem. The proof itself is elementary and correct if V means total variation; the issue is the paper identifies V with ∫|f'| at (0.6). That identity only holds for absolutely continuous functions. For a continuous singular periodic function of BV, f'=0 a.e. while the total variation is positive, so the right-hand side is zero while the Fourier coefficients are not all zero. That makes (0.6) false as stated. The same defect flows into the Chebyshev statement.\n\nThe Chebyshev change of variables (0.17) is also mishandled: the differential dθ is not d(cosθ), and the equality as written is wrong, though the final inequality (0.18) is in fact true for BV functions with the variation of f on [-1,1]. The proof just needs repair.\n\nTwo smaller gaps: (0.11) assumes f△ has finitely many extrema N without stating it, and the general orthogonal-basis inequality (0.19) is asserted without proof.\n\nWhat the paper does well: the application is concrete, the bandwidth formulas (0.11) and (0.12) are useful sufficient conditions, and the elementary proof is accessible. The self-citation to the author's 1986 control paper is appropriate motivation, not circular.\n\nThis is not a new result mathematically—the bound is classical and appears in standard texts. But the paper's framing and the explicit sufficient conditions may have practical value for engineers.\n\nRecommendation: it deserves peer review, not desk rejection, because the core inequality is correct under the right hypotheses and the repair is straightforward. A referee should ask for the absolute continuity assumption (or define V as total variation and bound it separately), fix the Chebyshev variable change, and state the finiteness assumption for N. With those changes, the paper would be publishable as a short note.","headline":"A classical Fourier bound with a repairable regularity gap: the main inequality is true with the total variation, but the paper's identification with ∫|f'| fails for continuous singular functions.","tokens_in":4464,"tokens_out":2626,"would_cite":false,"duration_ms":24611,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["42A16","26A45"],"pacs":[],"model":"deepseek-v4-flash","headline":"A variation bound turns harmonic reduction into a bandwidth choice","keywords":["Fourier coefficients","bounded variation","total variation","harmonic control","Chebyshev polynomials","periodic functions","discrete spectrum sound","controlled distortion"],"falsifier":"Construct the Cantor-Lebesgue function on $[0,2\\pi]$, extended periodically: it is continuous, of bounded variation, and not absolutely continuous, with $\\int|f'|dx=0$ while its Fourier coefficients are nonzero; computing $a_1$ numerically would violate $|a_j| \\leq 0$ under the paper's stated assumptions, settling that the absolute-continuity gap is real.","tokens_in":3387,"feed_emoji":"🔊","tokens_out":8882,"duration_ms":72617,"temperature":0.7,"pith_summary":"This paper proves that Fourier coefficients of a continuous periodic function of bounded variation are bounded by total variation: $|a_j| \\leq V_0^{2\\pi}(f)/(\\pi j)$, with a parallel bound for Chebyshev expansions. The intended use is controlled distortion: if an engineering process can reshape a periodic input, such as the circular inflow-velocity distribution upstream of a rotating body, the formulas give a band width $\\delta = |a_j^0|\\pi j/(qN)$ or $\\delta = |a_j^0|\\pi/(2q)$ whose enforcement guarantees the target harmonic drops by at least $q$ times. That converts a fuzzy goal, such as reducing noise at a chosen frequency, into a quantitative condition on the allowable distortion. If correct, the result makes harmonic suppression a matter of keeping the distortion inside a variation-based band.","feed_headline":"A variation bound turns harmonic reduction into a bandwidth choice","feed_subtitle":"Cut any harmonic q-fold by keeping distortion inside width π|a_j|/(2q), no Fourier computation needed.","key_machinery":"The load-bearing object is the variation-based coefficient inequality $|a_j| \\leq V_0^{2\\pi}(f)/(\\pi j)$. The proof mechanism is a sign-constancy partition: the period is cut into $4j$ segments on which $\\cos(jx)$ and $\\sin(jx)$ do not change sign, and the generalized mean-value theorem writes each coefficient as an alternating sum of function samples; because the sample differences sit on non-overlapping intervals, their absolute sum is bounded by the total variation. The same machinery, after the substitution $x=\\cos\\theta$, yields the Chebyshev analogue and then the abstract form $|a_j| \\leq V_{\\mathrm{ort}}(f)/(j\\|N\\|^2)$ for other orthogonal bases with $j$ sign-constancy intervals.","core_discovery":"On its own terms, the paper's central claim is the coefficient estimate in Eq. (0.6): $|a_j| \\leq V_0^{2\\pi}(f)/(\\pi j)$, where $V_0^{2\\pi}(f)=\\int_0^{2\\pi}|f'(x)|dx$, and the analogous Chebyshev estimate in Eq. (0.18), $|a_j| \\leq 2V_{-1}^1(f)/(\\pi j)$. The proof partitions $[0,2\\pi]$ into $4j$ intervals of constant sign for $\\cos(jx)$, applies the generalized mean-value theorem on each piece, and telescopes the signs into differences $f(x_{2k-1})-f(x_{2k})$; summing absolute differences bounds the coefficient by the total variation. From there the paper derives sufficient conditions for a $q$-fold amplitude reduction: if the distorted function stays within a band of width $\\delta$ around a target with zero $j$-th harmonic, and if the distortion has $N$ extrema, then $\\delta = |a_j^0|\\pi j/(qN)$, or in the simpler form $\\delta = |a_j^0|\\pi/(2q)$, guarantees $|a_j| \\leq |a_j^0|/q$.","pith_inferences":["The stated assumptions need a repair: continuity and bounded variation alone do not make $V_0^{2\\pi}(f)$ equal to $\\int|f'|dx$; replacing $V$ with the sum of the variation of the continuous part plus jumps would make the bound valid for all bounded-variation functions.","The band condition controls variation and extrema, not pointwise error, so a practical controller should verify the variation budget of the actuator, not just the geometric band.","The same partitioning argument should transfer to other oscillatory bases, such as Haar or wavelet-type systems, giving a general recipe for suppressing individual coefficients."],"forward_implications":["A distortion confined to a band of width $\\delta$ with at most $N$ extrema cuts the $j$-th harmonic by at least $q = |a_j^0|\\pi j/(\\delta N)$.","A larger allowed band $\\delta$ yields the same harmonic reduction with less deviation from the original function, so the formulas expose a direct trade-off between control effort and required accuracy.","The Chebyshev analogue extends the same guarantee to polynomial expansions on $[-1,1]$ through the substitution $x=\\cos\\theta$.","The abstract form (0.19) suggests that any orthogonal basis whose $j$-th member has $j$ sign-constancy intervals will admit a similar variation bound."],"supporting_citations":[{"why":"This reference supplies the physical model of discrete-spectrum sound generation by a revolving body in steady flow, the application that motivates controlled distortion of the inflow-velocity distribution.","marker":"[1]"},{"why":"This reference provides the Riemann-Lebesgue theorem that gives $O(1/j)$ decay, the baseline the paper refines into an explicit variation bound.","marker":"[2]"},{"why":"This reference reports the earlier application of this harmonic-control method to reducing sound from rotating bodies, cited as the used approach.","marker":"[3]"}],"fun_headline_variants":["Harmonic reduction reduced to a simple distortion width bound","Fourier coefficient cap: distortion width sets the cutoff","Cut a harmonic q-fold: distortion stays within π|a_j|/(2q)","Bound distortion width to control Fourier coefficients exactly","Variation bound turns harmonic control into a bandwidth choice"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that total variation equals $\\int|f'|dx$, which requires the function to be absolutely continuous, together with the unstated assumption that the distortion has finitely many extrema for the bandwidth formula; if either fails, the sufficiency bounds as written do not follow.","fun_headline_variants_meta":{"raw":{"variants":["Harmonic reduction reduced to a simple distortion width bound","Fourier coefficient cap: distortion width sets the cutoff","Cut a harmonic q-fold: distortion stays within π|a_j|/(2q)","Bound distortion width to control Fourier coefficients exactly","Variation bound turns harmonic control into a bandwidth choice"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000279,"raw_usage":{"total_tokens":1645,"prompt_tokens":921,"completion_tokens":724,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":537,"completion_tokens_details":{"reasoning_tokens":642}},"tokens_in":537,"tokens_out":724,"duration_ms":6948,"temperature":1.0,"reasoning_tokens":642,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T14:21:32.270640+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct the Cantor-Lebesgue function on $[0,2\\pi]$, extended periodically: it is continuous, of bounded variation, and not absolutely continuous, with $\\int|f'|dx=0$ while its Fourier coefficients are nonzero; computing $a_1$ numerically would violate $|a_j| \\leq 0$ under the paper's stated assumptions, settling that the absolute-continuity gap is real.","supporting_citations":[{"cited_title":"Bavin, Y.N","cited_arxiv_id":null,"evidence_quote":"This reference supplies the physical model of discrete-spectrum sound generation by a revolving body in steady flow, the application that motivates controlled distortion of the inflow-velocity distribution."},{"cited_title":"Real and Complex Analysis","cited_arxiv_id":null,"evidence_quote":"This reference provides the Riemann-Lebesgue theorem that gives $O(1/j)$ decay, the baseline the paper refines into an explicit variation bound."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"This reference reports the earlier application of this harmonic-control method to reducing sound from rotating bodies, cited as the used approach."}],"review_version":1}