{"id":"4d9ef6f7-2c5e-4486-9396-fa86a4da7db1","arxiv_id":"2607.26361","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Finite box unions admit a fully explicit all-parameter plunge-count bound; cubes have an Omega((log c)^d) lower block and fixed-order trace asymptotics, proved via exact tensor structure.","lead":"The paper proves explicit, constant-by-constant upper bounds on the number of transition eigenvalues of time–frequency limiting operators for finite disjoint unions of axis-parallel boxes, in every dimension and for every scale and threshold. It also gives an explicit logarithmic lower bound and fixed-order trace expansions for the cube, built on a new tensor-product decomposition.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Explicit constants in Theorem 1.2 rest entirely on a self-cited one-dimensional bound (Prop 2.7) not proved here; the order is safe, but the headline constants are not independently secured.","rationale":"The reader and I agree on the weakest point: the explicit upper-bound constants flow from Prop 2.7, an external self-cited black box. I found no internal error in the tensorization, the Rotfel'd/Markov assembly, the Schatten multiplicativity, or the lower-bound moment argument; the telescoping identity and the algebra in Corollaries 1.3/1.6 check out. The abstract's trace formula is read as shorthand for the one-dimensional S_ℓ of Prop 6.3, since the d-dimensional analogue would have different ℓ-scaling; this is a notational looseness, not a load-bearing mathematical defect. The lower-bound non-effectivity of C_0 and C_1 is openly disclosed and does not affect the Ω((log c)^d) existence assertion. Therefore the concern does not change the verdict: ACCEPT stands, but it should be recorded as conditional on the companion's one-dimensional bound being exactly as quoted. If that bound were ever found to have different constants, only the explicit constants (not the order or the tensorization method) would need revision.","tokens_in":35510,"tokens_out":34187,"duration_ms":296084,"concrete_test":"Verify Prop 2.7 independently: (1) Re-derive the one-dimensional bound in [1, Prop. 3.1/5.1] from its stated oscillation factorization, checking that the constants 2, 12.5, 4.5 and the 2/p factor are exactly as quoted; if the derivation yields different constants, recompute Theorem 1.2 and Corollary 1.3 with the corrected bound and compare the displayed constants. (2) As a numerical cross-check, discretize the prolate operator for I=(0,ℓ), B=(-1/2,1/2) with high-order quadrature at ℓ=10,50,200 and p=1,0.5,0.2, and verify the claimed bound with margin; this would catch gross constant errors, though not exactness.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's advertised new contribution is an all-parameter estimate with explicit constants. The proof of Theorem 1.2 imports, verbatim and as a black box, the one-dimensional off-diagonal Schatten bound ||P_{I^c}Q_{B^o}P_I||_p^p ≤ (2/p)[π e b + 12.5 + 4.5 log_{2,+}(ℓ p)] (Prop 2.7, cited to the author's companion preprint [1], Sec. 2.5 and §§3/5). Every constant in Theorem 1.2 — the 2e^{1/2} prefactor, the 12.5 and 4.5 in G, the 2/p factor — and hence the explicit constants in Corollaries 1.3 and 1.6, is a direct algebraic consequence of that bound. No part of the present paper verifies it or supplies an independent derivation. If, say, the additive constant were 11.5 or the factor were 1/p, the displayed constants in Theorem 1.2 and the explicit C in Corollary 1.3 would shift, and the central 'explicit all-parameter' contribution would be wrong as stated, even though the c^{d-1}LR order would survive via [11, Thm. 1.3]. The lower-bound side has a similar but weaker reliance on the non-effective C_0 from the cited Basor–Widom/Charlier determinant asymptotics, which the paper openly discloses. The concern is not that the bound is false; it is that the paper's distinctive claim currently inherits its exactness from an unexamined self-citation.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the spatio-spectral concentration operator S=P_{cA_0}Q_{B_0}P_{cA_0} for pairs of bounded axis-parallel product boxes, and estimates the plunge count Λ_ε = #{n : ε < λ_n(S) < 1−ε}. Its main upper-bound result is Theorem 1.2, a single explicit estimate valid for every d≥1, c>0 and 0<ε<1/2; from it Corollary 1.3 recovers the Kulikov–Dam Larsen order c^{d−1} log(1/ε) log(αc/log(1/ε)) on the range α≥4, c≥2, α^{-c}<ε<1/2. The proof is a telescoping decomposition of the complement of a box into d elementary tensor operators, followed by Schatten quasi-norm multiplicativity across tensor factors; the tangential localization factors supply the c^{d−1} surface scale and the one normal factor supplies the single logarithm. Lower bounds are given for the cube pair: Theorem 1.4 produces a d-fold tensor block of size Ω((log c)^d) for ε<4^{-d}, via a polynomial minorant inequality and sine-kernel determinant asymptotics; Proposition 6.3 gives Tr((S−S²)^m)=B(m,m)π^{-2}log c+O_m(1) at each fixed m; and Proposition 6.10 gives a fixed-depth two-sided window density. The paper is consistently explicit about what it does not claim: the lower bound is not matching, the trace estimates are not uniform in m, the depth density is not uniform in u, and the lower-bound constant C_0 is not effective.","tokens_in":35760,"tokens_out":8552,"duration_ms":73481,"significance":"If the constants are accepted, the paper delivers the first all-parameter, fully explicit plunge-count bound for finite unions of product boxes. The order is not new — it is independently established in [11, Thm. 1.3] — so the distinctive contribution is the explicit all-c, all-ε form and the structurally transparent tensor-factorization proof. The lower-bound section is genuinely new but is explicitly not matching in order. A particular strength is the paper's candor: limitations such as non-effectivity of C_0 and the lack of uniformity in m and u are located and stated plainly rather than hidden. The algebra of the telescoping identity (6), the Schatten multiplicativity lemma (Lemma 2.4), the tangential-mass lemma (Lemma 4.1), and the polynomial-minorant inequality (Proposition 6.2) all check out at the points I verified.","major_comments":[{"comment":"The displayed constants in Theorem 1.2 — the prefactor 2e^{1/2}, the additive 12.5 and 4.5 log_{2,+} terms in G, and the 2/p factor — are direct algebraic consequences of the one-dimensional off-diagonal Schatten bound imported verbatim from the author's companion preprint [1]. The paper states that it uses this result as a black box and gives no independent derivation or numerical verification of the specific constants 12.5 and 4.5. Because the manuscript's advertised new contribution is the explicit all-parameter estimate rather than the c^{d−1}LR order (which is already available from [11, Thm. 1.3] for this geometric class), this reliance is load-bearing for the central claim. I am not asserting the bound is false; the issue is that the manuscript's distinctive constants cannot be checked from this manuscript alone. I recommend including a proof or a detailed derivation of Propositio","section":"§2.5, Prop. 2.7; used in §5, Thm. 1.2"}],"minor_comments":[{"comment":"The sentence 'No statement of the paper is conditional on an unproved hypothesis' is too strong as written. Proposition 2.7 is a citation to the author's companion preprint, and Theorem C.1 is a quoted published theorem; these are external inputs. I suggest rewording to 'No statement is conditional on any hypothesis beyond the two cited results' or similar.","section":"Abstract and §1.1"},{"comment":"The proof invokes the two-constants theorem / harmonic measure estimate on the slit ellipse without a reference. Since this is a nontrivial complex-analysis tool, please cite a standard source (e.g., Ransford, Potential Theory in the Complex Plane) or give a one-sentence justification. This does not affect correctness.","section":"Appendix C, Lemma C.3"},{"comment":"The non-effectivity of C_0 is stated in the text after Theorem 6.4, which is good. However, because the abstract emphasizes explicitness, consider stating explicitly in the abstract that the upper-bound constants are fully explicit while the lower-bound remainder constants are finite but not effective. This would prevent a reader from overinterpreting the word 'explicit' in the lower-bound context.","section":"§6.4 and Theorem 6.4"}],"recommendation":"major_revision","confidential_remarks":"This is a technically strong and unusually honest paper. The sole reason I am not recommending acceptance is the heavy reliance on the author's own companion preprint [1] for the exact constants that constitute the paper's main new contribution. If the editor is willing to treat that preprint as a reliable citable source, the paper could be acceptable after a minor revision; otherwise, I would require the proof of Proposition 2.7 to be included or an explicit conditional statement. The lower-bound non-effectivity is a real limitation but is disclosed and does not affect the asymptotic statements."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Arash, this is a paper I'd referee without complaint. The short version: it knows exactly what it is. Cor 1.3, the KDL-order bound, is already in Kulikov–Dam Larsen for a larger class, and the paper says so in plain language. What is genuinely new is Theorem 1.2 — a single closed-form estimate valid for all c>0 and ε∈(0,1/2), with constants written in the side lengths — and the tensorization proof that gets there. The upper bound mechanism is clean: telescoping the complement of a box into d elementary tensor operators, then multiplying Schatten quasi-norms. I checked the algebra in the key spots — telescoping identity, tensor multiplicativity, tangential mass lemma, polynomial minorant — and it holds. The lower-bound half is also new and honest: a window count M_a ≥ c0 ln ℓ − C0 with c0 = 8/(15π^2), a fixed-order trace expansion Tr(φ^m)= β_m/π² ln ℓ + O_m(1), and hence a d-fold plunge block of size Ω((log c)^d). The non-uniformity in m and the non-effective C0 are disclosed and discussed rather than hidden.\n\nThe real soft spot is the one the reader flagged: every constant in Theorem 1.2 comes from Proposition 2.7, a one-dimensional off-diagonal Schatten bound imported verbatim from the author's own companion preprint, and used as a black box. That is not a fatal flaw — any theorem relies on prior results — but it is a real tension with the paper's central claim. If the paper's value is explicit constants, those constants need to be checkable from the page in front of you, not from a second manuscript that a referee may not see. The order survives anyway via [11, Thm 1.3], so the damage is limited to the explicit constant claim. I'd ask the author to either prove Prop 2.7 in this paper or attach the companion preprint clearly.\n\nOverall: not a breakthrough, but a solid, careful advance that treats the literature fairly and states limitations plainly. The audience is specialists in spectral concentration and the Landau–Widom program. Send it to a competent referee; with the self-citation issue addressed, I'd be happy to see it published.","headline":"Honest, careful paper: the order bound is not new, but the explicit all-parameter estimate and the tensor method are, and the lower bound is fresh; the constants lean on a self-cited black box.","tokens_in":36405,"tokens_out":2488,"would_cite":true,"duration_ms":24514,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["47B10","47A75","42B10"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves an explicit, all-parameter upper bound on the plunge eigenvalue count for spatio-spectral concentration operators of box-shaped sets, and, for the cube pair, an unconditional logarithmic tensor block of plunge eigenvalues.","keywords":["plunge count","spatio-spectral concentration operators","time-frequency localization","tensor factorization","Schatten quasi-norms","sine kernel","eigenvalue counting","product boxes"],"falsifier":"A decisive check is to compute, for moderate and large intervals, the one-dimensional Schatten quasi-norm bound at p=1/ln(4) and compare it with the claimed expression, and separately to evaluate the cube-pair traces Tr((S-S^2)^2) and Tr((S-S^2)^3) at large ell; the first tests the upper-bound constants, the second tests the lower-bound leading coefficients.","tokens_in":35260,"feed_emoji":"📦","tokens_out":8737,"duration_ms":76144,"temperature":0.7,"pith_summary":"For a spatial region A and a frequency region B in d-dimensional space, the concentration operator S = P_A Q_B P_A has a cluster of eigenvalues near 1, a cluster near 0, and a narrow transition region whose eigenvalue count is the 'plunge count.' The paper's aim is to control that count explicitly when A and B are finite unions of axis-parallel boxes, at every dilation scale c and every width epsilon. It proves a closed-form upper bound for all d, c, and epsilon, and shows that on the standard range the count is at most C c^{d-1} log(1/epsilon) log(alpha c/log(1/epsilon)). For the special case of a cube, it also proves that at least Omega((log c)^d) eigenvalues lie in the plunge region, and that the traces of powers of S-S^2 grow as log c with coefficients B(m,m)/pi^2. The interest is that the proof uses an exact tensor structure of the off-diagonal operator rather than orthogonality estimates, giving explicit constants and a route toward curved boundaries; the paper is explicit that the lower-bound threshold is finite but not effective and that its fixed-order trace statements are not uniform in m or depth.","feed_headline":"Tensor splitting bounds the plunge count for box operators","feed_subtitle":"An explicit all-parameter estimate, plus a logarithmic lower block for cubes, controls the spectral transition region.","key_machinery":"The engine is the identity that the concentration operator for a single pair of boxes is an exact d-fold tensor product of one-dimensional localization operators, together with the telescoping identity 1 - prod_m 1_{(0,ell_m)} = sum_k (prod_{m<k} 1_{(0,ell_m)}) 1_{(0,ell_k)^c}. This splits the off-diagonal operator into a sum of d elementary tensors; the one-dimensional off-diagonal Schatten bound supplies the logarithmic plunge mass, and the tangential factors carry the area-law mass. On the lower side, the same tensor identity converts a one-dimensional window count into a d-dimensional block, with the window count obtained from an exact trace identity, a degree-three polynomial minorant t","core_discovery":"The central claim is that for product-box geometry the plunge count is governed by a telescoping tensor decomposition: the off-diagonal factor P_{A^c} Q_B P_A splits into exactly d elementary tensor operators, each with one normal one-dimensional factor and d-1 tangential localization factors. Schatten quasi-norms multiply exactly across tensor factors, so the tangential factors contribute the surface-scale c^{d-1} and only the normal factor contributes the logarithm. Theorem 1.2 packages this into a single all-parameter estimate at every c>0 and 0<epsilon<1/2, with constants written in terms of the box side lengths. For the cube pair, the same tensor identity is read as a counting statement","pith_inferences":["The same tensor-sharing mechanism suggests an extension: for curved boundaries, patch the boundary into nearly flat pieces, apply the flat tensor model per patch, and sum; the paper signposts this program but does not prove the curvature and cross-patch error estimates.","The explicit all-parameter form in Theorem 1.2 could be numerically checked for moderate d and side lengths without taking limits, providing independent confidence in the constants.","The lower-bound method stops at fixed depth because the polynomial minorant degree grows with depth; a testable next step is to see whether higher-degree minorants, approaching the all-degree ceiling 2 ln 3 / pi^2, yield a uniform-in-depth density estimate.","If the one-dimensional black-box bound were reproved with a smaller constant, every explicit constant in the upper bound would improve by a simple multiplicative factor, including the 2^{d-1} from the tangential Markov step."],"forward_implications":["For finite disjoint unions of axis-parallel boxes, the plunge count has a written-out bound valid at every c>0 and every 0<epsilon<1/2, with no threshold or hidden constant.","On the range c>=2 and alpha^{-c}<epsilon<1/2, the bound becomes C c^{d-1} log(1/epsilon) log(alpha c/log(1/epsilon)), matching the previously known order independently.","For the cube pair with epsilon<4^{-d}, at least (c_0 ln c - C_0)^d eigenvalues fall strictly inside the plunge region, certifying a genuine d-dimensional tensor block of size Omega((log c)^d).","For the cube pair, Tr((S-S^2)^m) = B(m,m) pi^{-2} log c + O_m(1) at each fixed m, and the fixed-depth plunge density is bounded below by a positive constant per unit depth with exact ceiling 2 ln 3 / pi^2.","In dimension one the theorem reduces to the sharp per-component bound of the companion paper, so the d-dimensional statement contains it as the empty-product case."],"fun_headline_variants":["Tensor splitting bounds plunge counts for box operators","Explicit plunge-count bound via tensor product splitting","Logarithmic plunge count for product boxes, all parameters","Tensor factorization yields uniform plunge estimate for boxes","Box plunge count traced to one-dimensional factor"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The explicit numerical constants in the main upper bound rest on one quoted one-dimensional Schatten estimate; if that estimate is wrong, the numbers change even though the c^{d-1} log(1/epsilon) log(alpha c/...) order remains intact from prior work.","fun_headline_variants_meta":{"raw":{"variants":["Tensor splitting bounds plunge counts for box operators","Explicit plunge-count bound via tensor product splitting","Logarithmic plunge count for product boxes, all parameters","Tensor factorization yields uniform plunge estimate for boxes","Box plunge count traced to one-dimensional factor"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000183,"raw_usage":{"total_tokens":1260,"prompt_tokens":965,"completion_tokens":295,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":709,"completion_tokens_details":{"reasoning_tokens":225}},"tokens_in":709,"tokens_out":295,"duration_ms":3148,"temperature":1.0,"reasoning_tokens":225,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T17:26:18.539047+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A decisive check is to compute, for moderate and large intervals, the one-dimensional Schatten quasi-norm bound at p=1/ln(4) and compare it with the claimed expression, and separately to evaluate the cube-pair traces Tr((S-S^2)^2) and Tr((S-S^2)^3) at large ell; the first tests the upper-bound constants, the second tests the lower-bound leading coefficients.","supporting_citations":[],"review_version":1}