{"id":"b288d6d7-b587-4f6d-8078-81642c49eea9","arxiv_id":"2411.19659","paper_version":2,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The Ruijsenaars spectral transform, a many-variable Fourier generalization, is claimed to have an inversion formula for complex parameters and to be unitary in four parameter regimes.","lead":"This paper defines the Ruijsenaars spectral transform, an integral transform built from the eigenfunctions of the Ruijsenaars hyperbolic many-body system that generalizes the Fourier transform. It claims an inversion formula and orthogonality relations for complex parameter values, and identifies four parameter regimes in which the transform is a unitary isomorphism of square-integrable function spaces.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The complex-parameter inversion formula rests on the delta-sequence property (5.15), which the paper itself says was proved only for real parameters.","rationale":"The reader's weakest_assumption identifies the same load-bearing concern: the delta-sequence property (5.15) is the exact step that turns the regularized pairing into the inversion formula, and the paper does not prove this property for complex parameters. This is an internal gap, not a matter of disagreement with an external consensus: the Introduction explicitly says the needed extension was not available in [BDKK3]. The proof of Theorem 1 in Section 5.3 uses (5.15) as a black box, and Theorem 2, as well as the four-regime unitarity results in Section 6, all rely on Theorem 1 or on the same delta-sequence input. The paper does contain substantial supporting work: the bounds on T and its image, the reduction of the free case to Fourier transforms, and the density argument for L2 extension are coherent and largely self-contained. If the missing complex-parameter delta-sequence proof can be supplied, the remaining structure appears sound. As written, however, the central claim for complex parameters is unsupported, and the REJECT verdict is appropriate. My stress-test pass finds no reason to change the reader's verdict.","tokens_in":25466,"tokens_out":5715,"duration_ms":49598,"concrete_test":"Read [BDKK3, Proposition 2] and its proof to determine the exact hypotheses. If it does not cover complex ω,g, require a self-contained analytic proof of (5.15) for parameters satisfying (2.1)–(2.2): starting from the explicit formula (5.14), show that for every φ∈S_{ω,g} and x∈R^n, lim_{λ→∞} lim_{ε→0+} ∫ dy μ(y) φ(y) [√(ω1ω2)S2(ĝ|ωhat)]^{-n} e^{2πiλΣ(x_j-y_j)} ∏_{j,k} K(x_j-y_k+ig*/2-iε) = φ(x). If such a proof cannot be produced, the inversion formula for complex parameters is unproved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 1 (inversion formula) and Theorem 2 (equivariance) are proved for complex parameters using the delta-sequence property (5.15) of the regularized pairing (5.13). Section 5.2 cites this as \"[BDKK3, Proposition 2]\", but the Introduction explicitly states that BDKK3 established orthogonality and completeness only for real periods ω_i and real coupling g, and that extending this to complex parameters is one of the goals of the present note. No proof of the complex-parameter version of (5.15) appears in Sections 5.3–5.4 or elsewhere. The equality (5.15) is exactly the completeness statement in distribution form: without it, the manipulation (5.17)–(5.21), in which the double limit of the regularized pairing is replaced by μ^{-1}(x)δ(x,y), has no justification. The unitarity theorems in Section 6 inherit this gap because they use the inversion formula (or Theorem 2) as the starting point for the L2 extension. Thus the paper's central claim is unsupported at its hinge: a cited result is invoked under hypotheses that the paper itself says were not covered.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper defines the Ruijsenaars spectral transform T with respect to the wave functions of the hyperbolic Ruijsenaars system and claims an inversion formula T†T = id on a Schwartz-type space S_{ω,g} for complex-valued parameters satisfying (2.1)–(2.2), together with an equivariance (orthogonality) identity. It further claims that in four regimes of parameters—real periods or complex-conjugate periods, with either real coupling or coupling satisfying ¯g = g∗—the transform extends to unitary isomorphisms of the corresponding L² spaces. The main theorems are Theorem 1 (inversion), Theorem 2 (equivariance), and Theorem 3 (unitarity in regimes I–IV). The proofs reduce the problem to a delta-sequence property of the regularized wave-function pairing, Eq. (5.15), which is imported from the authors' prior paper [BDKK3, Proposition 2].","tokens_in":25610,"tokens_out":7770,"duration_ms":65081,"significance":"If the missing step is supplied, the paper would provide a genuinely useful generalization: a spectral decomposition of the Ruijsenaars system for complex parameters, and a unified treatment of four unitarity regimes, including the less studied complex-conjugate-period cases. The structural strategy is attractive: it reduces unitarity to the inversion formula plus density of polynomial-type test functions, and the four regimes are organized clearly. The paper is also careful about convergence and bounds in Sections 3–4, and it makes explicit the dependence on the previously established delta-sequence result. The main value of the paper therefore hinges on whether that delta-sequence property is actually available for complex parameters; the present manuscript does not demonstrate this.","major_comments":[{"comment":"The delta-sequence identity (5.15) is quoted from [BDKK3, Proposition 2] without any qualification, but the Introduction (p. 2) states that orthogonality and completeness of the wave functions were proved in [BDKK3] only for real ω_i and g, and that extending this result to complex parameters is one of the goals of the present note. The paper contains no proof of (5.15) under the complex-parameter hypotheses (2.1)–(2.2). This is not a minor technicality: (5.15) is exactly the completeness of the wave functions in distribution form, and it is used in the final step of (5.21) to replace the regularized pairing by μ^{-1}(x)δ(x,y). The analyticity of the individual wave functions in Corollary 1 does not by itself justify the distributional limit of the regularized pairing. Therefore the proof of Theorem 1 is incomplete for the stated parameter range.","section":"§5.2, Eq. (5.15)"},{"comment":"The proof of Theorem 2 inherits the same gap. The first proof of Theorem 2 uses Theorem 1 directly, while the second, presented as independent, again uses the delta-sequence property (5.15) at Eq. (5.28). Since Theorem 2 is the equivariance/orthogonality statement needed for the L² extension in Section 6, the entire chain of results for complex parameters collapses without a proof of (5.15).","section":"§5.3–§5.4, Eqs. (5.17)–(5.21), (5.26)–(5.28)"},{"comment":"Theorem 3 is proved by reducing the scalar-product transform F to T through Eq. (6.37) and then invoking the inversion formula (6.43), so the unproved delta-sequence property (5.15) is load-bearing for the unitarity claims as well. In addition, the alternative route sketched in Section 6.5 for regimes III and IV is only a sketch: the reduction (6.61) and the claimed delta-sequence limit (6.65) are not proved. If Section 6.5 is meant to provide an independent proof of unitarity in regimes III and IV, it is incomplete; if it is meant only as a remark, this should be stated explicitly. Either way, the main theorem is not rescued by Section 6.5 because it relies on the inversion formula from Section 5.","section":"§6.3–§6.5, Eqs. (6.37)–(6.43), (6.61)–(6.65)"}],"minor_comments":[{"comment":"The sentence 'It was proved in [BDKK3, Proposition 2] that the regularized pairing ... forms a delta sequence' omits the parameter restrictions that are acknowledged in the same introduction; please reconcile this statement with the stated goal of extending the real-parameter result.","section":"Introduction, item 3"},{"comment":"In the formula for |R_{λ,ε}(λ)|², the meaning of the conjugate kernel K∗ is not fully specified for complex periods; a definition in terms of the double sine function would make the subsequent calculations in (6.61)–(6.65) more transparent.","section":"§6.5, Eq. (6.56)"},{"comment":"The notation λ/ω_1ω_2 is ambiguous; write λ/(ω_1ω_2).","section":"§6.4, Eq. (6.48)"},{"comment":"In the displayed inequality, the left-hand side is written with [Tφ](x) but the argument should be λ; trivial typo.","section":"§4, Proposition 2, Eq. (4.29)"},{"comment":"The constant C(g,ω) may depend on the arbitrary small δ introduced by the bound; please clarify the dependence.","section":"§3.2, Corollary 2, Eqs. (3.40)–(3.41)"}],"recommendation":"major_revision","confidential_remarks":"The central issue is not novelty but completeness. The authors explicitly announce the complex-parameter extension of orthogonality and completeness as a goal of the note, and then cite the real-parameter result without supplying the advertised extension. This is a correctable gap if the authors can prove (5.15) for complex parameters or cite a precise reference where it is proved, but as it stands the main theorems are not supported. I would not recommend rejection if the gap is fillable within the paper's framework, but the revision needs to be substantive, not merely stylistic."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a careful, readable note from the BDKK school that sets up a clean Schwartz-space framework for the Ruijsenaars spectral transform and lays out four unitarity regimes, with complex-conjugate periods (II and IV) genuinely new as far as I know. The density argument and the analytic bounds in Sections 3–4 look solid and largely self-contained. But the hinge of Theorem 1 is a delta-sequence property, (5.15), cited from [BDKK3, Proposition 2], and the paper's own introduction says that orthogonality and completeness were proved in BDKK3 only for real ω_i and g. No proof of the complex-parameter version of (5.15) appears here. The inversion formula, the equivariance theorem, and the unitarity theorems in Section 6 all lean on that step, so the central claim is unsupported at its load-bearing point.\n\nThat is the main soft spot, and it is a real one. Section 6.5 sketches an alternative route for regimes III–IV using |R_{λ,ε}|^2 and reduces the needed delta-sequence to a residue computation, but it stays a sketch: “careful analysis of residues” and “one can prove” are not a proof. If the authors fill this gap—either by supplying the complex-parameter delta-sequence argument or by showing that BDKK3 already covers it—the rest of the structure appears sound. I would not cite the complex-parameter inversion for my own work until that happens.\n\nThe paper deserves a serious referee. It is honestly written, technically rich, and the unitarity-regimes picture is valuable to the Ruijsenaars/modular-double/q-Toda community. The right move is to send it to review with a clear request: prove the missing delta-sequence property, or state explicitly that it is being imported from BDKK3 under hypotheses that BDKK3 actually established. That is a fixable problem, not a hopeless one.","headline":"A serious framework paper whose central complex-parameter inversion theorem rests on a cited delta-sequence result that the paper's own introduction says was only proved for real parameters – worth refereeing, but the main claim is unproven as written.","tokens_in":26169,"tokens_out":3406,"would_cite":false,"duration_ms":30332,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["33E30","47A70"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that the Ruijsenaars spectral transform is inverted by its dual on a class of symmetric analytic functions, for complex parameters, and extends to a unitary L2 isomorphism in four unitarity regimes.","keywords":["Ruijsenaars hyperbolic system","spectral transform","inversion formula","orthogonality relations","unitarity regimes","double sine function","bispectral duality","delta sequence"],"falsifier":"For $n=2$, pick parameters satisfying (2.1)-(2.2) with non-real $\\omega_1=\\overline{\\omega_2}$, and compute the double limit in (5.15) against a symmetric Gaussian test function such as $e^{-|x|^2}$. If the limit is not $\\mu^{-1}(x)$ times the symmetrized $\\delta(x,y)$ for at least one such parameter triple, the inversion formula of Theorem 1 collapses.","tokens_in":25213,"feed_emoji":"🔁","tokens_out":12786,"duration_ms":101439,"temperature":0.7,"pith_summary":"The Ruijsenaars hyperbolic system has wave functions $\\Psi_\\lambda(x)$ that depend on position $x$ and spectral parameter $\\lambda$; integrating a function against these wave functions defines an integral transform $T$ that generalizes the Fourier transform, to which it reduces when there is one particle. The paper establishes the basic harmonic-analysis facts for this transform: on a space $\\mathcal{S}_{\\omega,g}$ of symmetric, analytic, exponentially decaying functions, every $\\phi$ is recovered from its spectral image by $T^\\dagger$, i.e. $[T^\\dagger T\\phi](x)=\\phi(x)$, and the transform respects the natural pairings. These facts are proved for complex-valued periods $\\omega_1,\\omega_2$ and coupling $g$ under mild positivity assumptions, extending earlier results that required real parameters. The paper then classifies four unitarity regimes, real or complex-conjugate periods combined with real or reflected coupling, in which the transform extends to a unitary isomorphism between the relevant symmetric square-integrable spaces. Together these results yield a spectral decomposition for the commuting Ruijsenaars-Macdonald difference operators, with Fourier-like completeness, orthogonality, and inversion in one package.","feed_headline":"Ruijsenaars transform found invertible for complex parameters","feed_subtitle":"A Fourier-style dual recovers functions from spectral data, and four regimes make the transform unitary.","key_machinery":"The central object is the Hallnäs-Ruijsenaars wave function $\\Psi_\\lambda(x)$, built recursively from a kernel $K(x)$ expressed through the double sine function $S_2(z|\\omega)$, and the corresponding measure $\\mu(x)=\\prod_{j\\neq k}\\mu(x_j-x_k)$ with $\\mu(x)=S_2(ix|\\omega)S_2^{-1}(ix+g|\\omega)$. The spectral transform is $[T\\phi](\\lambda)=\\int_{\\mathbb{R}^n}dx\\,\\mu(x)\\Psi_\\lambda(-x)\\phi(x)$, with dual $[T^\\dagger\\chi](x)=\\int_{\\mathbb{R}^n}d\\lambda\\,\\hat\\mu(\\lambda)\\Psi_\\lambda(x)\\chi(\\lambda)$ using the dual measure $\\hat\\mu$ on spectral variables. The identity that carries the argument is the delta-sequence limit of the regularized pairing $(\\Psi_\\lambda(y),\\Psi_\\lambda(x))^{\\lambda,\\varepsilon}_{\\hat\\mu}$, which converges to $\\mu^{-1}(x)\\delta(x,y)$; inserting this pairing into $T^\\dagger T$ gives the inversion formula. Decay of $[T\\phi](\\lambda)$ is controlled through the generating function $H(\\lambda)$ of the commuting difference Hamiltonians and its symmetry under the bilinear form, and in the unitarity regimes with complex coupling the coupling-reflection symmetry connecting $\\mu$ to the Sklyanin measure $\\Delta$ plays the decisive role.","core_discovery":"On the function space $\\mathcal{S}_{\\omega,g}$ of symmetric functions analytic in strips and decaying exponentially in the variables and their differences, the paper proves $[T^\\dagger T\\phi](x)=\\phi(x)$ and the identity $(\\phi_1(-x),\\phi_2(x))_\\mu=([T\\phi_1], [T\\phi_2])_{\\hat\\mu}$, valid for complex parameters satisfying the positivity restrictions (2.1)-(2.2). These follow from the delta-sequence convergence of a regularized pairing of wave functions. In regime I, real periods and real coupling, this upgrading gives a unitary isomorphism $\\mathrm{L}^2_{\\mathrm{sym}}(\\mathbb{R}^n,\\mu)\\to\\mathrm{L}^2_{\\mathrm{sym}}(\\mathbb{R}^n,\\hat\\mu)$; regimes II-IV cover complex-conjugate periods and/or coupling with $\\bar g=\\omega_1+\\omega_2-g$, in which the scalar product uses the Sklyanin measure $\\Delta$. The paper further shows that a half-measure rescaling turns the unitary into an operator $U$ with $U^2=R$, the reflection operator, mirroring the Fourier transform.","pith_inferences":["Editorial inference: if the complex-parameter delta-sequence assumption is supplied, the same proof scheme should extend the inversion formula to function classes with only polynomial decay, since the decay argument and the bounded regularizer are robust under weaker weights.","Editorial inference: the unitary isomorphisms give a Plancherel theorem and a spectral calculus: symmetric observables built from the commuting difference Hamiltonians can be conjugated to multiplication by their eigenvalues on the spectral side, a step the paper does not carry out.","Editorial inference: the $U^2=R$ structure suggests that in regimes II and IV the transform is a Fourier-type operator for modular-double structures of the underlying symmetry algebra; making that representation-theoretic interpretation precise is a natural next step beyond this paper."],"forward_implications":["The inversion formula gives a reconstruction theorem: any function in $\\mathcal{S}_{\\omega,g}$ is recovered from its spectral transform by integrating against the same wave functions, so the wave functions form a complete system for this function class.","The equivariance identity makes $T$ an isometry between the natural pairings; in the four unitarity regimes this upgrades to a unitary isomorphism between symmetric $L^2$ spaces with the measure $\\mu$ or the Sklyanin measure $\\Delta$.","Bispectral duality gives the reverse identity $TT^\\dagger=\\mathrm{Id}$, so the same wave functions are simultaneously complete in the spectral and spatial pictures.","At $g=\\omega_2$ the transform reduces to a multidimensional Fourier transform between spaces of antisymmetric functions; after rescaling by half-measures in any regime, the unitary satisfies $U^2=R$, the reflection operator, exactly as the Fourier transform does."],"supporting_citations":[{"why":"Provides the delta-sequence limit on which the inversion formula rests, and the earlier real-parameter orthogonality and completeness.","marker":"[BDKK3]"},{"why":"Supplies the analyticity and exponential bounds for wave functions and the bispectral duality used throughout the proof.","marker":"[BDKK2]"},{"why":"Contributes the coupling-reflection symmetry and Baxter Q-operator that convert the bilinear transform into unitary transforms in regimes III and IV.","marker":"[BDKK4]"},{"why":"Constructs the wave functions and their diagonalization of the commuting difference Hamiltonians.","marker":"[HR1]"},{"why":"Gives the measure and kernel estimates needed to make the wave-function bounds uniform under complex parameters.","marker":"[BDKK1]"},{"why":"Supplies the density of the subspace of polynomial times Gaussian and the standard argument upgrading an isometry on a dense set to a unitary map.","marker":"[KF]"},{"why":"Establishes the original real-parameter unitarity case that the paper extends to the four regimes.","marker":"[R3]"},{"why":"Identifies the Sklyanin measure and the reflected-coupling condition behind regimes III and IV.","marker":"[DKKSS]"}],"fun_headline_variants":["Ruijsenaars integral transform gains full inversion and unitarity","Complex-parameter Ruijsenaars transform now provably invertible","Four regimes make Ruijsenaars transform a true Fourier analog","Ruijsenaars transform: Fourier analog with unitarity in four regimes"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the regularized pairing of wave functions converges to a delta function even for complex periods and coupling; the cited source proves this convergence only for real parameters, and the present paper invokes it for the complex case without supplying the proof.","fun_headline_variants_meta":{"raw":{"variants":["Ruijsenaars integral transform gains full inversion and unitarity","Complex-parameter Ruijsenaars transform now provably invertible","Four regimes make Ruijsenaars transform a true Fourier analog","Ruijsenaars transform: Fourier analog with unitarity in four regimes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000676,"raw_usage":{"total_tokens":3013,"prompt_tokens":821,"completion_tokens":2192,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":437,"completion_tokens_details":{"reasoning_tokens":2118}},"tokens_in":437,"tokens_out":2192,"duration_ms":14301,"temperature":1.0,"reasoning_tokens":2118,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T05:59:35.563074+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For $n=2$, pick parameters satisfying (2.1)-(2.2) with non-real $\\omega_1=\\overline{\\omega_2}$, and compute the double limit in (5.15) against a symmetric Gaussian test function such as $e^{-|x|^2}$. If the limit is not $\\mu^{-1}(x)$ times the symmetrized $\\delta(x,y)$ for at least one such parameter triple, the inversion formula of Theorem 1 collapses.","supporting_citations":[],"review_version":1}