{"id":"54e9cd43-d95f-4fbe-8a4d-f3e91ca5001c","arxiv_id":"2607.23016","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":5.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"In one dimension, the plunge eigenvalue count of a time–frequency localization operator with finite-boundary windows is O(ln(1/ε) ln(c/ln(1/ε))).","lead":"This paper proves a sharp bound on how many eigenvalues of one-dimensional time–frequency localization operators can sit in the 'plunge' region between 0 and 1, with explicit constants. The result matches the Kulikov–Dam Larsen conjecture, which was already known in one dimension; the paper's contribution is a new, self-contained proof mechanism.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"The reader identified finite-boundary decomposition and Rotfel'd subadditivity as the weakest assumptions, but I do not see these as load-bearing concerns. Finite topological boundaries are an explicit hypothesis of the theorem and, as Remark 2.3 shows, coincide in d=1 with KDL's finite upper Minkowski boundary content; Lemma 2.2 converts this to a finite interval decomposition exactly as needed. Rotfel'd's inequality is a standard, cited theorem for 0<p≤1 and is applied correctly at every splitting step. The proof's true load-bearing components are the three quantitative estimates (Lemmas 4.1–4.3) and their assembly; I examined each in detail and found no error. The Bernstein-ellipse argument is rigorous: the pole of 1/(s+r) in the mapped variable is outside E_4 for all s>0, the Chebyshev coefficient bound is applied correctly, and the HS-norm approximation error yields the stated singular-value decay. The oscillation factorization in Lemma 4.2 is an exact identity, and Fan's inequality correctly bounds the difference of two Hankel operators. The Taylor-rank boundary-layer estimate is also correct, including the tail-sum and p-quasi-norm bounds. The assembly via Rotfel'd over dyadic scales is legitimate because no almost-orthogonality is required and the number of scales is finite. The constants in Theorem 1.1 were recomputed and the 63 is safe. Therefore I find no reason to alter the reader's ACCEPT verdict.","tokens_in":12341,"tokens_out":50988,"duration_ms":422996,"concrete_test":"Verify the key scale-uniform estimate numerically: discretize K_1 with kernel 1/(2π(s+r)) on (0,∞)×(1,2), truncating s at a large value (e.g., S=200) and using a fine grid (e.g., 1000 points per dimension). Compute the first 20 singular values and check s_{N+1} ≤ 0.971·4^{-N} for N=0,...,15. This directly tests the load-bearing Lemma 4.1 on which the far-field and assembly arguments depend.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I reviewed the full proof chain and found no load-bearing mathematical concern. The central estimate is Lemma 4.1: the scale-uniform singular-value decay s_{N+1}(K_h) ≤ 4^{-N} for the Hankel kernel 1/(2π(s+r)) on (0,∞)×(h,2h). This is justified by a Bernstein-ellipse/Chebyshev argument: after scaling to h=1, the pole in the mapped variable lies at u=−2s−3, well outside the ellipse E_4, giving coefficient decay ρ^{-k} with ρ=4 and hence HS-approximation error O(4^{-N}). The argument is standard and the constants check out. Lemma 4.2's oscillation factorization correctly strips the band parameter via unimodular factors, and Fan's inequality gives the stated 2^{3−n} singular-value bound. Lemma 4.3's Taylor-rank bound is also sound: the exponential remainder satisfies |R_N(z)|≤2·2^{-N} for N≥πeb'D, yielding the stated p-quasi-norm estimate. The assembly in Proposition 5.1 via Rotfel'd subadditivity over O(log) dyadic scales is valid because each piece has p-quasi-norm O(1/p). The constant chase to C0=63 is correct, and Corollary 1.2 follows. The only issues are cosmetic: a typo in Lemma 2.2 (\"α∈U\" should read \"α∈\\bar U\") and an uncited reference ([13]); neither affects the proof.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper gives an independent proof of the Kulikov–Dam Larsen plunge-region conjecture in dimension one, with fully explicit constants. Working with the off-diagonal operator T=P_{A^c}Q_BP_A and the identity S−S^2=T^*T, the author reduces the problem to singular-value estimates for a Hankel-type kernel sin(πb'(s+r))/(π(s+r)). A scale-uniform Bernstein-ellipse/Chebyshev argument gives 4^{−N} singular-value decay for the bandwidth-free Hankel kernel; an oscillation factorization strips the band parameter in the far field; a Taylor-rank bound controls the boundary layer; and Rotfel'd p-quasi-norm subadditivity assembles the pieces over O(log(ca/eL)) dyadic scales. The final result, Theorem 1.1, proves Λε≤63 M K(1+b) eL (1+ln_+(ca/eL)) for all c>0 and 0<ε<1/2, and Corollary 1.2 derives the KDL conjecture in d=1.","tokens_in":12727,"tokens_out":24478,"duration_ms":192680,"significance":"If correct, this is a significant contribution: it settles the KDL conjecture in d=1 by a first-principles argument that does not rely on the parallelepiped theorem or on prolate/Chebyshev spectral analysis of S itself. The proof is unusually transparent: the self-tuned exponent p=1/eL, the boundary-layer width D=1/p, and the dyadic one-variable decomposition are all natural and not fitted to the target bound. The estimates are explicit and checkable; I verified the main links — Lemma 2.5, Proposition 3.1, Lemmas 4.1–4.3, and the constant chase in Section 5. The paper also honestly itemizes the d=1-specific ingredients and explains why the argument does not immediately extend to higher dimensions. This independent confirmation of the d=1 conjecture is of clear value to the field.","major_comments":[],"minor_comments":[{"comment":"The line \"Then α∈ U⊂E\" appears to contain a typo: α is the left endpoint of a component J=(α,β) of U=intE, so α∉U; the intended statement is α∈\\overline U (or α∉U), which is what makes α∈∂E follow. The proof is otherwise correct.","section":"Lemma 2.2, proof"},{"comment":"There is a constant inconsistency: the proof derives Λε≤2C0 M K(1+b)(2+ln_+a)L ln(αc/L), but the corollary statement sets C(A0,B0)=4C0 M K(1+b)(2+ln_+a). Since 4C0 is an overestimate of 2C0, the stated bound is still valid, but the text should be reconciled — e.g., state 2C0 if the logarithms are natural, or explicitly say the extra factor is a safety margin for base-2 logs.","section":"Corollary 1.2, proof"},{"comment":"Reference [13] (Sobolev) appears in the bibliography but is never cited in the body. Either cite it where relevant (for instance near the Rotfel'd inequality or in Section 6) or remove it.","section":"References"},{"comment":"Compactness of T is not explicitly justified before n(t;T) is used. It follows from T^*T=S−S^2 with S compact, or directly from Q_BP_A being Hilbert–Schmidt, but a one-sentence remark would make the argument self-contained.","section":"Lemma 2.5"},{"comment":"The expression \"ln α/lnα\" should be read as \"ln(α/ln α)\"; as typeset it is ambiguous and the inequality ≥ln(4/ln4) is otherwise unmotivated.","section":"Corollary 1.2, proof"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The first thing you should know is that Theorem 1.1 is not a new result: the d=1 KDL conjecture was already implied by Kulikov–Dam Larsen's parallelepiped theorem, and the paper says so in §1.1. The second is that the independent proof offered here is genuinely new and, as far as I checked, correct. The value is in the mechanism, not the theorem.\n\nWhat the paper does well is lay out that mechanism cleanly. The oscillation factorization splits the sine kernel into unimodular factors times the bandwidth-free Hankel kernel 1/(2π(s+r)); the Bernstein-ellipse argument gives scale-uniform decay 4^{-N} on dyadic far-field pieces; the Taylor-rank estimate controls the boundary layer; and Rotfel'd p-quasi-norm subadditivity assembles the pieces without any almost-orthogonality. The constants are explicit, with C0=63, which is more than KDL's qualitative statement provides. The paper is also honest about what is d=1-specific: Section 6 pins the failure for d≥2 on the non-splitting phase, which is the right diagnosis.\n\nSoft spots are minor. The theorem's novelty is limited to the proof technique, so a reader looking for progress on the open d≥2 question will not find it. There are two small mechanical flaws: reference [13] is listed but never cited in the text, and Lemma 2.2 has a typo ('α∈U' should be 'α∈\\bar U'). Neither affects the argument. The proof leans heavily on Rotfel'd's subadditivity as an external input, but that is standard and properly cited.\n\nThis is a paper for harmonic analysts who want to understand why the d=1 plunge count has the logarithmic form, and who value a self-contained proof with explicit constants. It deserves a serious referee. I would send it out rather than desk reject, and I would be comfortable accepting after the reference/typo cleanup.","headline":"A careful independent proof of a bound already known in d=1; the method is new and the checks hold, so it merits serious review.","tokens_in":13190,"tokens_out":4696,"would_cite":true,"duration_ms":38872,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["47B10","47B35","45P05"],"pacs":[],"model":"deepseek-v4-flash","headline":"A dimension-one proof pins down the plunge-region conjecture for time-frequency localization.","keywords":["time-frequency localization","plunge region","eigenvalue bounds","Hankel kernel","Schatten quasi-norm","singular values","one-dimensional analysis","boundary decomposition"],"falsifier":"Numerically compute the singular values of the integral operator with kernel 1/(2π(s+r)) acting from L²(1,2) to L²(0,∞); if any singular value s_{N+1} exceeds 4^{-N}, the scale-uniform Hankel estimate on which the proof rests fails.","tokens_in":12267,"feed_emoji":"📉","tokens_out":10307,"duration_ms":94009,"temperature":0.7,"pith_summary":"The paper proves a sharp upper bound on the number of 'plunge' eigenvalues—those lying between ε and 1−ε—of a time-frequency localization operator in one dimension. The operator restricts a signal to a dilated set cA₀ and then low-pass filters it to a fixed set B₀. The bound is an explicit constant times log(1/(ε(1−ε))) times (1 + log₊(ca / log(1/(ε(1−ε))))), uniform for all c>0 and all ε in (0,1/2), including ε exponentially small in c. This establishes the long-conjectured sharp order in dimension one. The interest is that the argument avoids the heavy spectral machinery previously used, working directly with the off-diagonal part of the operator and reducing every scale to a single fixed Hankel kernel.","feed_headline":"Sharp plunge bound proven for 1D time-frequency localization","feed_subtitle":"All finite-boundary sets and every scale obey an explicit log-type count.","key_machinery":"The central object is the off-diagonal time-frequency factor T and its reduction to the Hankel-type operator Γ_{ℓ,b′} with kernel sin(πb′(s+r))/(π(s+r)) on L²(0,ℓ)→L²(0,∞). The identity that carries the proof is the factorization sin(πb′(s+r))/(π(s+r)) = e^{iπb′s} e^{iπb′r}/(2πi(s+r)) − e^{−iπb′s} e^{−iπb′r}/(2πi(s+r)), showing that each piece has exactly the singular values of the plain Hankel kernel 1/(2π(s+r)). Two quantitative estimates feed in: a scale-uniform bound s_{N+1} ≤ 4^{−N} for that kernel on (h,2h), and a Taylor-rank bound for the boundary layer of width D = 1/p. Assembly uses subadditivity of the p-quasi-norm over one-variable dyadic scales.","core_discovery":"At the heart of the argument is the identity S−S² = T*T for the off-diagonal factor T = P_{(cA₀)ᶜ} Q_{B₀} P_{cA₀}, which converts plunge eigenvalues of S into singular values of T. The proof controls those singular values in a Schatten quasi-norm with exponent p = 1 / log(1/(ε(1−ε))). The one-dimensional mechanism is an exact oscillation factorization: after boundary-distance coordinates, sin(πb(s+r))/(π(s+r)) splits into a product of unimodular factors times 1/(2πi(s+r)) (minus a conjugate term). Because unimodular multiplication is unitary, every dyadic far-field piece has exactly the singular values of the scale-free Hankel kernel 1/(2π(s+r)), whose singular values decay geometrically. A","pith_inferences":["The mechanism suggests a general principle: whenever a phase can be split into a product of unimodular functions of two boundary-distance variables, the oscillatory kernel can be replaced by a non-oscillatory one with scale-free singular values, potentially yielding sharp eigenvalue counts in other one-dimensional boundary problems.","The self-tuned exponent p = 1/log(1/(ε(1−ε))) and the boundary-width/scale trade-off imply that counting depth can be priced against geometric resolution; this may transfer to Toeplitz or Hankel eigenvalue counting and to higher-dimensional area laws if the phase-splitting obstruction is lifted.","A concrete testable extension would be to replace the Taylor-rank boundary block by a higher-order or multiparameter block, which should improve the constant 63 and potentially approach the classical asymptotic coefficient for single intervals."],"forward_implications":["The d=1 case of the sharp plunge conjecture is established: for any bounded measurable sets with finite boundaries, the plunge count is at most an explicit constant times log(1/(ε(1−ε))) times (1 + log₊(ca / log(1/(ε(1−ε))))).","The bound is uniform in c and ε: it holds for all c>0 and all ε∈(0,1/2), covering the regime ε exponentially small in c where the logarithmic factor degenerates to O(1).","The proof avoids prolate-spheroidal or Chebyshev spectral machinery, showing that the off-diagonal factor and a fixed Hankel kernel fully determine the plunge count.","The explicit constant and the one-variable dyadic decomposition provide a quantitative template that does not rely on almost-orthogonality, a property that fails for p-quasi-norms with p<1."],"fun_headline_variants":["1D plunge conjecture: proof without prolate machinery","Explicit log-type plunge bound for all finite-boundary sets","Hankel kernel drives new proof of plunge conjecture","Time-frequency plunge count: sharp bound in dimension one","Rotfel'd quasi-norm cracks 1D plunge region"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The proof requires that the boundaries of A₀ and B₀ be finite sets, so that each set is a finite union of intervals; without this, the interval decomposition and the finite summation over components collapse.","fun_headline_variants_meta":{"raw":{"variants":["1D plunge conjecture: proof without prolate machinery","Explicit log-type plunge bound for all finite-boundary sets","Hankel kernel drives new proof of plunge conjecture","Time-frequency plunge count: sharp bound in dimension one","Rotfel'd quasi-norm cracks 1D plunge region"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001166,"raw_usage":{"total_tokens":4786,"prompt_tokens":994,"completion_tokens":3792,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":738,"completion_tokens_details":{"reasoning_tokens":3712}},"tokens_in":738,"tokens_out":3792,"duration_ms":24953,"temperature":1.0,"reasoning_tokens":3712,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T03:52:38.820415+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Numerically compute the singular values of the integral operator with kernel 1/(2π(s+r)) acting from L²(1,2) to L²(0,∞); if any singular value s_{N+1} exceeds 4^{-N}, the scale-uniform Hankel estimate on which the proof rests fails.","supporting_citations":[],"review_version":1}