{"id":"dbcbdd4b-89b7-440e-8f91-8070b0a894fa","arxiv_id":"2606.04003","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Root-MUSIC selects only correct roots because extraneous ones lie outside an annulus, with frequency error bounded by O(sigma/(m sqrt n)) under a separation condition on the true frequencies.","lead":"This paper shows that in Root-MUSIC, all extraneous polynomial roots lie outside a specific annulus around the unit circle so the algorithm never selects them, and derives explicit non-asymptotic error bounds of order sigma over m times square root of n for the correct frequency estimates. A generalist might read it to see how a common signal-processing tool gains accuracy from extra sensors and when its root-selection rule is provably safe.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly isolates the separation condition as the explicit hypothesis required for both the annulus claim and the error bound. Because the paper states the results hold only under that condition and supplies a geometric argument to support it, the structure is internally consistent; the low-confidence UNVERDICTED rating stems solely from the abstract-only review and does not require adjustment once the full argument is accepted at face value.","tokens_in":1764,"tokens_out":324,"duration_ms":32792,"concrete_test":"Verify that the annulus radius derived in the main theorem remains strictly positive and independent of σ whenever the minimal frequency separation Δ satisfies the paper's hypothesis; recompute the distance from any extraneous root to the unit circle on a two-frequency example with Δ fixed and σ \to 0.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim rests on proving that, under a stated separation condition on the true frequencies, the Root-MUSIC polynomial has correct roots that remain inside a thin annulus around the unit circle while all extraneous roots lie strictly outside it; the error bound O(σ/(m √ n)) then follows by standard perturbation arguments. The abstract and title indicate the paper supplies an explicit geometric argument for the annulus property that removes the previous implicit selection assumption. No internal gap, circularity, or unstated dependence that would invalidate the derivation under the given hypotheses is apparent from the supplied description.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript analyzes Root-MUSIC for frequency estimation in array signal processing. It proves that, under a separation condition on the true frequencies, the Root-MUSIC polynomial has its correct roots stable inside a thin annulus around the unit circle while all extraneous roots lie strictly outside this annulus; this justifies the standard root-selection step without implicit assumptions. The paper further derives sharp non-asymptotic error bounds on the correct roots (O(σ/(m √n)) in the multi-snapshot model) that are explicit in the model parameters σ, m, and n, and validates the claims with numerical simulations. Results are stated to hold for both single- and multi-snapshot settings.","tokens_in":1871,"tokens_out":431,"duration_ms":27188,"significance":"If the geometric annulus argument and the ensuing perturbation bounds hold, the work removes a key implicit assumption from prior Root-MUSIC analyses and supplies the first explicit non-asymptotic bounds that isolate the 1/m sensor-count advantage. The combination of a parameter-free geometric property with reproducible simulation checks constitutes a concrete strengthening of the theoretical foundation for subspace methods in spectral estimation.","major_comments":[],"minor_comments":[{"comment":"The abstract states the annulus property and the O(σ/(m √n)) bound but does not name the precise thickness of the annulus or the exact form of the separation condition; adding one sentence with these quantities would improve readability without altering the technical content.","section":"Abstract"},{"comment":"Notation for the single-snapshot versus multi-snapshot models is introduced only in the abstract; a short dedicated paragraph or table in §2 that tabulates the model parameters (m, n, σ) for each case would prevent later ambiguity.","section":null},{"comment":"The claim of 'sharp' bounds is repeated in the abstract and title; a brief comparison (even qualitative) with the best previously known asymptotic rates would help readers assess the improvement.","section":"Abstract"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive and accurate summary of our manuscript, as well as the recommendation for minor revision. The referee's assessment correctly identifies the key contributions: the geometric annulus argument that removes the implicit root-selection assumption, the explicit non-asymptotic bounds with the 1/m factor, and the validation for both single- and multi-snapshot models. No major comments were raised in the report.","responses":[],"tokens_in":1315,"tokens_out":99,"duration_ms":9539,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that this paper removes the implicit root-selection assumption in earlier Root-MUSIC work by proving that all extraneous roots fall outside a fixed annulus around the unit circle under a separation condition on the true frequencies. From there they obtain the explicit bound O(σ/(m √n)) for the frequency estimates in the multi-snapshot model.\n\nThe annulus argument is the concrete advance. It supplies a geometric reason why the correct roots remain stable while the others are excluded, and the resulting 1/m decay in the error is new and practically relevant for array sizing. The results are stated to hold in both single- and multi-snapshot settings and rest on direct perturbation of the polynomial coefficients rather than fitted quantities.\n\nThe separation condition is required for all claims and is stated clearly; when frequencies are too close the guarantees simply do not apply. That is a standard limitation rather than a hidden flaw. The numerical simulations are cited as confirmation, though the abstract gives no detail on how closely the observed scaling matches the predicted 1/m term.\n\nThis is aimed at people working on finite-sample analysis of subspace methods in array signal processing. A reader who needs non-asymptotic guarantees for Root-MUSIC or similar algorithms will find usable bounds here. The approach looks internally consistent and engages the existing literature by fixing a specific gap.\n\nI would send it for peer review. The central claims are new enough and the derivation path is direct enough that referees should see it.","headline":"Root-MUSIC gets its first explicit non-asymptotic bound with a 1/m factor once extraneous roots are shown to lie outside an annulus.","tokens_in":2328,"tokens_out":370,"would_cite":true,"duration_ms":32246,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Root-MUSIC selects correct frequency roots because all extraneous ones lie outside an annulus of fixed thickness around the unit circle.","keywords":["Root-MUSIC","spectral estimation","frequency estimation","polynomial roots","extraneous roots","annulus","noise perturbation","multi-snapshot model"],"falsifier":"Finding even one extraneous root inside the claimed annulus when the separation condition holds and noise is small enough.","tokens_in":2652,"feed_emoji":"📡","tokens_out":590,"duration_ms":127074,"temperature":0.7,"pith_summary":"The paper shows that the polynomial constructed by Root-MUSIC has its extraneous roots forced outside an annulus around the unit circle, so the algorithm's closest-to-circle selection rule never picks them. It also derives explicit non-asymptotic bounds on how far the correct roots can move under noise, giving an error of order sigma over m times square root of n in the multi-snapshot case. These bounds hold once the true frequencies satisfy a separation condition and apply whether there is one snapshot or many. The results remove an earlier implicit assumption that extraneous roots would not be chosen and make the 1/m improvement from extra sensors visible in the formula.","feed_headline":"Root-MUSIC extraneous roots stay outside fixed annulus","feed_subtitle":"This selection rule plus explicit O(sigma/(m sqrt n)) error bounds hold under frequency separation in single- and multi-snapshot settings.","key_machinery":"The geometric location of roots of the Root-MUSIC polynomial relative to an annulus around the unit circle.","core_discovery":"The Root-MUSIC polynomial has correct roots that remain stable under additive noise while all extraneous roots lie strictly outside an annulus of positive thickness; this geometric separation guarantees that the algorithm's selection of roots nearest the unit circle returns only the correct ones, and it yields sharp bounds on the perturbation of those correct roots that decay explicitly with the number of sensors.","pith_inferences":["The annulus thickness could be computed numerically for concrete array geometries to give practical thresholds.","Similar root-location arguments might extend to related subspace methods that also form polynomials from noise subspaces.","The explicit 1/m factor suggests that hardware designs with larger arrays gain more than previously quantified."],"forward_implications":["The root-selection step of Root-MUSIC becomes provably reliable without extra checks.","Frequency estimation error improves linearly with the number of sensors m.","The same annulus argument and error bounds apply to both single-snapshot and multi-snapshot data.","The bounds are non-asymptotic and explicit in the model parameters sigma, m, and n."],"fun_headline_variants":["Root-MUSIC annulus separates correct and extraneous roots","Correct Root-MUSIC roots stable under additive noise","Root-MUSIC bounds decay as 1 over m with more sensors","Extraneous roots lie outside Root-MUSIC annulus","Root-MUSIC geometric separation for root selection"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The true signal frequencies must satisfy a minimum separation condition.","fun_headline_variants_meta":{"raw":{"variants":["Root-MUSIC annulus separates correct and extraneous roots","Correct Root-MUSIC roots stable under additive noise","Root-MUSIC bounds decay as 1 over m with more sensors","Extraneous roots lie outside Root-MUSIC annulus","Root-MUSIC geometric separation for root selection"]},"model":"grok-4.3","cost_usd":0.006495,"raw_usage":{"total_tokens":3062,"prompt_tokens":713,"num_sources_used":0,"completion_tokens":72,"cost_in_usd_ticks":64949500,"prompt_tokens_details":{"text_tokens":713,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2277,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":713,"tokens_out":72,"duration_ms":24771,"temperature":1.0,"reasoning_tokens":2277,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-29T15:51:23.577907+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Finding even one extraneous root inside the claimed annulus when the separation condition holds and noise is small enough.","supporting_citations":[],"review_version":1}