{"id":"f440337c-1299-45bc-ae47-ef9c5b17c0fe","arxiv_id":"2412.00075","paper_version":1,"verdict":"REJECT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The main theorem is unsound because the kernel H_u is undefined for allowed functions like u(t)=t; the worked application is likely correct.","lead":"This preprint states a Fourier transform composition formula and proves it with insufficient hypotheses, making the main theorem invalid as written. It also computes a new Fourier transform for a hyperbolic-square function, which appears correct and may be useful.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1's hypotheses do not guarantee H_u exists: for u(t)=t, which satisfies them, H_u as defined in Eq. (1) has no improper-integral limit, so the claimed identity is not well-formed.","rationale":"The reader's weakest_assumption identifies the same gap: H_u is defined only under stronger conditions, and u=t is a counterexample. This is an internal inconsistency, not a disagreement with external consensus. The paper has a plausibly correct application calculation, and if Theorem 1 is restated with the stronger assumptions that are actually used (u′ proper, eventually monotone, and |u′|>C), the argument may well go through. But the central theorem as stated is not just unproven: its statement is not meaningful for admissible u. Therefore no correction of the limiting step can preserve the claim without changing hypotheses. No formal verification or reproducible code is offered that would mitigate the issue. The reader's diagnosis is sound, so the rejection should stand unchanged.","tokens_in":4265,"tokens_out":4828,"duration_ms":47340,"concrete_test":"Take u(t)=t and let f be any L2 function with f^ nonzero. Under the paper's Notation 1, compute the truncated right-hand side of (3): (1/2π)∫ f^(l)[∫_{−S}^{T} e^{i(k−l)t} dt] dl = (1/2π)∫ f^(l)(e^{i(k−l)T}−e^{−i(k−l)S})/(i(k−l)) dl. As S and T tend independently to infinity, this expression has no limit (for k=l the inner integral is S+T and diverges), so H_t is undefined. Showing this explicitly for one compactly supported f^, e.g. a bump function supported in [1,2], settles that Eq. (3) cannot hold as stated for u=t.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 2 defines H_u(k,l)=∫_{→∞}^{→−∞} e^{i(kt−lu(t))}dt only under the condition that u∈C^1 with u′ proper and eventually monotone. Theorem 1 instead assumes only that u is a C^1 bijection with |u′|>C. The latter class includes u(t)=t, for which H_t(k,l)=lim_{S,T→∞}∫_{−S}^{T}e^{i(k−l)t}dt. For k=l this equals lim(S+T)=∞; for k≠l the truncated integrals oscillate as e^{iωT} and e^{−iωS}; in neither case does the two-sided limit exist. Hence the right-hand side of Eq. (3) is undefined for a function satisfying every hypothesis of Theorem 1. The gap is not cosmetic: the proof of Theorem 1 invokes Lemma 2, whose standing assumptions (u′ proper and eventually monotone) are exactly the stronger conditions absent from the theorem statement. Consequently the approximation argument with the f_n cannot get started, because the quantities g_n are not well defined under the stated assumptions. The theorem could be repaired by strengthening the hypotheses on u, e.g. requiring u′ proper, eventually monotone, and bounded away from 0, which would cover the sinh example in Section 4; but as written the central claim is not valid.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper aims to prove a rigorous version of Bergner et al.'s formula expressing the Fourier transform of the composition f(u(t)) in terms of the Fourier transform of f and a transfer function H_u(k,l). It defines H_u as an improper oscillatory integral under conditions on u, proves a uniform-convergence lemma, establishes the composition formula for Schwartz functions whose Fourier transforms vanish near zero, and then attempts an L2 extension by a density argument. The paper closes with an application computing the Fourier transform of (a^2+sinh(bt)^2)^{-1}.","tokens_in":1291,"tokens_out":1510,"duration_ms":109394,"significance":"If the composition formula could be rigorously established, it would supply a useful tool for Fourier analysis and sampling applications. The paper is self-contained, clearly structured, and the application produces a closed-form result that appears to be new and is explicitly checked against known integral tables. The main theorem, however, is not well formed as stated, and the proof's final extension step is incomplete; the application calculation itself is not enough to support the paper's central claim.","major_comments":[{"comment":"The hypotheses of Theorem 1 are insufficient to define H_u. The function u(t)=t is a C^1 bijection with |u'(t)|=1, so it satisfies the assumptions of Theorem 1 with, for example, C=1/2, but H_t(k,l)=lim_{S,T→∞} ∫_{-S}^{T} e^{i(k-l)t} dt does not exist for any k,l: for k=l the integral equals S+T, which diverges, and for k≠l the truncated integrals oscillate without a two-sided limit. Since the right-hand side of Eq. (3) is undefined for an admissible u, Theorem 1 is not a valid statement as written. The proof invokes Lemma 2, whose standing assumptions (u' proper and eventually monotone) are exactly the stronger conditions missing from the theorem; the theorem needs to be restated with those hypotheses or an equivalent strengthening.","section":"Theorem 1; Section 2, Eq. (1)"},{"comment":"The final approximation step is unjustified. The proof shows that the sequence g_n(k)=(1/2π) ∫ \\u005Cwidehat{f}_n(l) H_u(k,l) dl converges to \\u005Cwidehat{f∘u}(k) in L^2, by combining Lemma 2, Lemma 3, and Plancherel's theorem. But to conclude that the limit equals (1/2π) ∫ \\u005Cwidehat{f}(l) H_u(k,l) dl, one needs a continuity or dominated-convergence argument for the integral operator defined by H_u; no such argument is supplied. Without it, the extension from the dense set of Schwartz functions with Fourier support away from zero is incomplete.","section":"Proof of Theorem 1"},{"comment":"The proof of Lemma 1 assumes without loss of generality that u'(t) tends to +∞ as t tends to +∞; this is not a harmless reduction, because u' proper and eventually monotone only implies |u'| tends to infinity, and u'(t) tending to -∞ is possible, as with u(t)=-t^3. In that case the change-of-variables step maps the tail integral to an integral over v from v(M) to +∞, not to -∞ as written. The claim may still be repairable, but as it stands the proof of existence and uniform convergence of H_u is incomplete.","section":"Lemma 1"}],"minor_comments":[{"comment":"The phrase 'u sufficiently well behaved' in the abstract should be aligned with the precise hypotheses used in Section 2 and Theorem 1, since the current mismatch obscures the fact that the theorem's assumptions are too weak.","section":"Abstract and introduction"},{"comment":"The two-sided improper integral lim_{S,T→∞} ∫_{-S}^{T} f(t)dt should specify that S and T tend to infinity independently; otherwise the notation is ambiguous and can be mistaken for a principal value.","section":"Notation 1"},{"comment":"In the change of variables, the letter u is used both for the function and for the integration variable; writing s=u(t) would make the computation clearer and avoid notational confusion.","section":"Lemma 3"},{"comment":"The derivation of H_u(k,l) quotes DLMF formula 10.32.7 without stating the identity; for reproducibility, the relevant integral representation should be written out explicitly, and the sign convention e^{i(kt-lu(t))} should be checked against the sign in the quoted formula.","section":"Section 4"},{"comment":"There are several typographical artifacts in the text, such as 'sufficiently', 'calculating', and 'although', that should be corrected in a revision.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The central theorem needs substantial repair before the paper can be accepted. The application section appears sound and is the strongest part of the manuscript. I would encourage the authors to resubmit a revised version with corrected hypotheses on u and a completed limiting argument for the L2 extension, or to reframe the paper around the cases where the formula can be rigorously justified."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe short version: the paper genuinely tries to give a rigorous L2 proof of Bergner et al.'s composition formula, and the application (the Fourier transform of (a^2+sinh(bt)^2)^{-1}) is a nice closed-form calculation that checks out. But Theorem 1 as stated is false: the hypotheses on u are too weak to define H_u. For u(t)=t, which satisfies the assumptions, the improper integral defining H_u does not converge. The proof invokes Lemma 2, which assumes u' proper and eventually monotone—conditions absent from the theorem statement. So the central claim is not supported as written.\n\nThat said, this is a repairable flaw, not a dead end. The fix is to put the stronger hypotheses (u' proper and eventually monotone, plus the existing |u'|>C) into Theorem 1. The example u(t)=sinh(bt) satisfies them, and the application calculation survives. The final limiting step in the proof also needs a bit more justification, but that is minor relative to the hypothesis gap.\n\nWhat the paper does well: it correctly identifies the gap in Bergner et al., it states a plausible generalization, and it derives a specific transform that does not appear in standard tables. The derivation of Eq. (4) is careful and the closed form is believable.\n\nWho is this for? Someone working in sampling theory or Unruh detector physics who wants a rigorous justification for a formula they already use. For that audience, the paper is valuable even in revised form. As it stands, the main theorem is not usable.\n\nMy recommendation: if I were the editor, I would send it back for major revision rather than desk reject. The fix is straightforward, and the application is worth preserving. A referee with a background in classical analysis could check the repaired theorem quickly.","headline":"A well-intentioned proof of a known composition formula with a central hypothesis gap that is easy to patch; the application is correct.","tokens_in":4970,"tokens_out":3024,"would_cite":false,"duration_ms":45240,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["42A38","46E30"],"pacs":[],"model":"deepseek-v4-flash","headline":"A rigorous proof puts the Fourier-composition formula on solid ground.","keywords":["Fourier transform","function composition","transfer function","L2 spaces","Plancherel theorem","improper integrals","sinh function","Unruh detectors"],"falsifier":"Set $u(t)=t$ and take any nontrivial $f\\in L^2$. The left side of (3) is the ordinary Fourier transform of $f$, while under the paper's own convention $H_u(k,l)=\\lim_{S,T\\to\\infty}\\int_{-S}^{T} e^{i(k-l)t}dt$ has no limit for $k\\neq l$, so the right side is undefined; this directly shows the hypotheses of Theorem 1 are not sufficient for the stated identity.","tokens_in":121,"feed_emoji":"📐","tokens_out":11392,"duration_ms":219416,"temperature":0.7,"pith_summary":"The paper supplies a rigorous proof of a formula for the Fourier transform of a composed function: if $f$ is in $L^2$ and $u$ is a sufficiently well-behaved reparametrization, then the transform of $f(u(t))$ equals an integral of the transform of $f$ against a kernel $H_u$ that depends only on $u$. Earlier informal derivations of this formula in the computer-graphics literature changed the order of integration without a legitimate Fubini justification; the paper fills that gap by working on Schwartz functions and then extending to $L^2$ through Plancherel's theorem. The reward is a practical route for computing transforms of functions like $(a^2+\\sinh(bt)^2)^{-1}$, which the paper evaluates in closed form. The central claim is stated for $u$ a $C^1$ bijection with derivative bounded away from zero, although the kernel $H_u$ as defined requires somewhat stronger conditions on $u$.","feed_headline":"Rigorous proof puts the Fourier-composition formula on solid ground","feed_subtitle":"For L2 functions, the Fourier transform of f(u(t)) becomes a weighted integral of the transform of f.","key_machinery":"The transfer function $H_u(k,l)$, defined as the improper integral $\\int_{-\\infty}^{\\infty} e^{i(kt-lu(t))}dt$, carries the composition data: it converts composition with $u$ into an integral transform acting on the Fourier variable. The proof machinery is the standard three-step extension: first prove the identity on a dense subspace of Schwartz functions whose Fourier transforms vanish near the origin, where the double integral can legitimately be exchanged; then show composition with $u$ is continuous on $L^2$ (Lemma 3, with norm bound $C^{-1/2}$); finally use Plancherel's theorem to pass from the dense subspace to all of $L^2$. Lemma 1 supplies the uniform-in-$l$ convergence of $H_u$ that makes the Fubini step valid, under the condition that $u'$ is proper and eventually monotone.","core_discovery":"The paper's central claim, Theorem 1, is that for $f\\in L^2(-\\infty,\\infty)$ and $u:\\mathbb{R}\\to\\mathbb{R}$ a bijection with $u\\in C^1$ and $|u'(t)|>C$, the Fourier transform of $f(u(t))$ satisfies\n$$\\widehat{f\\circ u}(k)=\\frac{1}{2\\pi}\\int_{-\\infty}^{\\infty}\\hat f(l)\\,H_u(k,l)\\,dl$$\nfor almost every $k$, where $H_u(k,l)=\\int_{-\\infty}^{\\infty}e^{i(kt-lu(t))}dt$ is the transfer function associated with $u$. The proof follows the standard $L^2$ strategy: establish the identity for Schwartz functions whose Fourier transforms vanish near zero, where Fubini and uniform convergence are available, then pass to arbitrary $L^2$ functions using density and Plancherel's theorem. The paper also computes $H_u$ for $u(t)=\\sinh(bt)$ and uses the formula to derive the closed-form Fourier transform of $(a^2+\\sinh(bt)^2)^{-1}$.","pith_inferences":["The identity case $u(t)=t$ suggests that $H_u$ should really be interpreted as an oscillatory integral or distribution, formally $2\\pi\\delta(k-l)$, in which case Theorem 1 would extend to a broader class of reparametrizations including the identity.","Viewing $H_u$ as a Fourier integral operator points toward higher-dimensional analogues, where the stationary points of the phase $kt-lu(t)$ would encode how $u$ folds frequency variables.","A natural stress test is to weaken the 'eventually monotone' condition to a milder bound such as $u''/(u')^2\\to 0$ and check whether the uniform convergence in Lemma 1 survives; if it does, the admissible class of $u$ broadens."],"forward_implications":["For any $u$ where the transfer kernel converges, the formula replaces a nonlinear operation, composition, by a single weighted integral, so known transform tables and numerical quadrature apply directly.","The worked example gives a closed form for the transform of $(a^2+\\sinh(bt)^2)^{-1}$, a function that arises in physics contexts such as Unruh-detector calculations.","Composition with $u$ is a bounded operation on $L^2$ with norm at most $C^{-1/2}$, so the identity extends continuously from Schwartz space to all of $L^2$.","The convergence conditions on $u$ are satisfied by proper, eventually monotone derivatives, covering examples such as $u(t)=t^3+\\sin t$ and $u(t)=\\sinh(bt)$."],"supporting_citations":[{"why":"It is the source of the composition formula that the paper sets out to prove rigorously.","marker":"[1]"},{"why":"It supplies the convention for improper two-sided integrals used in the definitions of $H_u$ and the Fourier transform.","marker":"[5]"},{"why":"It provides the Plancherel theorem and the density of Schwartz space used to extend the identity from Schwartz functions to $L^2$.","marker":"[6]"},{"why":"It is the companion real-analysis reference supporting the $L^2$ and Fourier-extension background.","marker":"[7]"},{"why":"It supplies the table entries used for the Fourier transform of $1/(a^2+t^2)$ and for the integral evaluated in the worked example.","marker":"[8]"},{"why":"It provides formula 10.32.7, which is used to evaluate $H_u$ for $u(t)=\\sinh(bt)$.","marker":"[9]"}],"fun_headline_variants":["Explicit Fourier formula for composed L2 functions","Fourier transform of composite f via transfer kernel","New exact formula for Fourier transform of f(u(t))","Kernel integral computes Fourier transform of composed functions"],"cache_read_input_tokens":7168,"weakest_assumption_plain":"The theorem states that a $C^1$ bijection with derivative bounded away from zero is enough, but the transfer function $H_u$ is only defined through an improper integral that converges under stronger conditions on $u'$; for $u(t)=t$, which meets the theorem's hypotheses, the defining integral of $H_u$ does not converge.","fun_headline_variants_meta":{"raw":{"variants":["Explicit Fourier formula for composed L2 functions","Fourier transform of composite f via transfer kernel","New exact formula for Fourier transform of f(u(t))","Kernel integral computes Fourier transform of composed functions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001296,"raw_usage":{"total_tokens":5224,"prompt_tokens":816,"completion_tokens":4408,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":432,"completion_tokens_details":{"reasoning_tokens":4346}},"tokens_in":432,"tokens_out":4408,"duration_ms":32944,"temperature":1.0,"reasoning_tokens":4346,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T12:07:33.601230+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Set $u(t)=t$ and take any nontrivial $f\\in L^2$. The left side of (3) is the ordinary Fourier transform of $f$, while under the paper's own convention $H_u(k,l)=\\lim_{S,T\\to\\infty}\\int_{-S}^{T} e^{i(k-l)t}dt$ has no limit for $k\\neq l$, so the right side is undefined; this directly shows the hypotheses of Theorem 1 are not sufficient for the stated identity.","supporting_citations":[{"cited_title":"A Spectral Analysis of Function Composit ion and its Implications for Sampling in Direct Volume Visualization","cited_arxiv_id":null,"evidence_quote":"It is the source of the composition formula that the paper sets out to prove rigorously."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It supplies the convention for improper two-sided integrals used in the definitions of $H_u$ and the Fourier transform."},{"cited_title":"Fourier analysis: an introduction","cited_arxiv_id":null,"evidence_quote":"It provides the Plancherel theorem and the density of Schwartz space used to extend the identity from Schwartz functions to $L^2$."},{"cited_title":"Real analysis: measure theory, integra- tion, and Hilbert spaces","cited_arxiv_id":null,"evidence_quote":"It is the companion real-analysis reference supporting the $L^2$ and Fourier-extension background."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It supplies the table entries used for the Fourier transform of $1/(a^2+t^2)$ and for the integral evaluated in the worked example."},{"cited_title":"https://dlmf.nist.gov/, Release 1.1.9 of 2023-03-15","cited_arxiv_id":null,"evidence_quote":"It provides formula 10.32.7, which is used to evaluate $H_u$ for $u(t)=\\sinh(bt)$."}],"review_version":1}