{"id":"1f4019f6-0723-4b16-b6a4-563f8e680862","arxiv_id":"2605.31059","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"CRB-optimal array geometries in active sensing are inherently redundant with optimal Tx-Rx allocation favoring receive sensors, plus new spatial covariance conditions for planar arrays and a Diophantine link for equal-CRB designs.","lead":"The paper derives that the single-target CRB for active sensing with orthogonal waveforms depends on the sum of spatial variances of Tx and Rx arrays, showing optimal geometries are redundant and that unequal sensor allocation favoring Rx is best. A smart generalist might read it to understand design trade-offs for sensor arrays in radar, sonar, or MIMO sensing systems.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"CRB dependence on Tx/Rx spatial variances holds only for the narrowband far-field point-target manifold","rationale":"The reader's weakest assumption correctly isolates the modeling step that makes the variance/co-array equivalence possible. No internal algebraic inconsistency is visible in the stated claim, and the paper's other contributions (optimal allocations, planar-array covariance condition, Diophantine constructions) are downstream of this step.","tokens_in":1776,"tokens_out":346,"duration_ms":20463,"concrete_test":"Re-derive the Fisher information matrix for a single target under the near-field model (range r and angle \theta both unknown) using the exact distance ||p_k - r u(\theta)|| in the phase; if the (2,2) entry of the inverse FIM for \theta retains cross terms involving r that cannot be expressed solely as a function of the position second moments, the claimed reduction fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim equates the single-target CRB (orthogonal waveforms) to the sum of Tx and Rx position variances, or equivalently the multiplicity-weighted second moment of the sum co-array. This equivalence is obtained by differentiating the standard narrowband steering vector a(\theta) = exp(j 2 \beta r_k · u(\theta)) with respect to angle; the resulting Fisher information matrix entry reduces exactly to a quadratic form in the sensor coordinates. Any deviation from the far-field plane-wave assumption (near-field spherical wavefront, extended target with angular spread, or wideband model) introduces additional range or amplitude derivatives that do not cancel, so the CRB no longer collapses to a pure spatial-variance expression.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript characterizes performance limits for optimal array and waveform design in active sensing for linear and planar arrays. For orthogonal waveforms, the single-target CRB is shown to equal the sum of the spatial variances of the Tx and Rx arrays (equivalently, the multiplicity-weighted spatial variance of the sum co-array). This implies that CRB-optimal geometries are inherently redundant and reveals a trade-off between MSE and identifiability. The work derives optimal Tx-Rx sensor allocations (favoring Rx even for non-redundant arrays), provides a general condition on Tx/Rx spatial covariances for planar arrays so that optimal waveforms direct power toward the target, and establishes a link between Diophantine equations and array geometries that achieve equal CRB, together with a constructive design procedure.","tokens_in":1925,"tokens_out":508,"duration_ms":28138,"significance":"If the derivations hold, the paper supplies concrete, actionable guidelines for MIMO active-sensing array design by making the dependence of the CRB on array geometry explicit and by identifying the redundancy-identifiability trade-off. The constructive method based on Diophantine equations and the planar-array covariance condition are novel contributions that could directly influence practical system design in radar and sensing applications. The work also supplies falsifiable predictions (e.g., unequal Tx/Rx allocations) that can be tested numerically.","major_comments":[],"minor_comments":[{"comment":"Abstract: the phrase 'inherently redundant' is used without a precise definition of redundancy at first appearance; a one-sentence clarification would help readers.","section":"Abstract"},{"comment":"Section on planar arrays: the new general condition on spatial covariances is stated but not illustrated with a concrete numerical example or figure; adding one would strengthen the claim.","section":"planar arrays section"},{"comment":"Notation: 'spatial variance' and 'sum co-array' are central but introduced without an explicit forward reference to their definitions; a short preliminary subsection or boxed definition would improve accessibility.","section":"Notation/Introduction"},{"comment":"The connection to Diophantine equations is interesting but the constructive algorithm is described at a high level; a short pseudocode block or step-by-step example for a small sensor budget would make the method reproducible.","section":"Diophantine-equation section"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive assessment of our manuscript, the accurate summary of its contributions, and the recommendation for minor revision. We are gratified that the significance of the CRB characterizations, the redundancy-identifiability trade-off, the optimal Tx-Rx allocations, the planar-array covariance condition, and the Diophantine construction are recognized as potentially actionable for MIMO active-sensing design.","responses":[],"tokens_in":1333,"tokens_out":97,"duration_ms":10653,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The central result is that for orthogonal waveforms the CRB on a single far-field target reduces exactly to the sum of the spatial variances of the transmit and receive arrays, or equivalently the multiplicity-weighted second moment of the sum co-array. That directly implies CRB-optimal geometries must be redundant.\n\nThe new pieces are the explicit variance linkage, the proof that redundancy is required, the optimal unequal Tx-Rx split (favoring receive sensors), the planar-array spatial-covariance condition for power focusing, and the Diophantine construction for equal-CRB arrays. These are concrete and not just restatements of prior co-array results. The derivations stay within the standard narrowband manifold, so the algebra checks out under those assumptions and supplies usable design rules for MIMO radar or sonar.\n\nThe main limitation is the model itself. The variance-only dependence disappears once you move to near-field, wideband, or extended-target cases, because extra range or amplitude derivatives appear. The paper probably states the assumption clearly, but anyone applying the guidelines outside the narrowband point-target setting will need to re-derive. The coherent-waveform section also gets less space.\n\nThis is useful for researchers who actually place sensors and choose waveforms in active sensing. A reader looking for allocation heuristics and geometry rules will find value. The work is grounded enough to deserve peer review; the claims are specific and the math appears reproducible from the abstract description.","headline":"The paper shows that single-target CRB for orthogonal waveforms equals the sum of Tx and Rx spatial variances, forcing redundancy in optimal arrays.","tokens_in":2428,"tokens_out":358,"would_cite":true,"duration_ms":17327,"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":"For orthogonal waveforms the single-target CRB depends on the sum of the spatial variances of the transmit and receive arrays.","keywords":["CRB","array geometry","orthogonal waveforms","spatial variance","active sensing","MIMO","co-array","redundancy"],"falsifier":"Measuring the CRB in an experiment with a near-field target or extended target and finding it does not match the spatial variance prediction would falsify the dependence.","tokens_in":2675,"feed_emoji":"📡","tokens_out":635,"duration_ms":20558,"temperature":0.7,"pith_summary":"The paper establishes that the Cramér-Rao Bound for estimating a single target's parameters with orthogonal waveforms is determined by the combined spatial variances of the transmit and receive arrays. Equivalently this is the spatial variance of the sum co-array with multiplicities from virtual sensors. This dependence implies that the best-performing array geometries must incorporate redundancy. The work also finds that with a fixed total number of sensors allocating more to the receive array is better, and provides conditions for planar arrays and connections to Diophantine equations for equal-performance designs.","feed_headline":"CRB depends only on sum of Tx and Rx spatial variances","feed_subtitle":"Optimal sensing arrays must therefore be redundant, and receive arrays should get more sensors than transmit ones.","key_machinery":"The sum of the spatial variances of the Tx and Rx arrays, or the spatial variance of the sum co-array weighted by virtual sensor multiplicities.","core_discovery":"For orthogonal waveforms, the single-target CRB depends on the sum of the spatial variances of the transmit (Tx) and receive (Rx) arrays, or equivalently the spatial variance of the sum co-array weighted by the multiplicities of the virtual sensors. This reveals that CRB-optimal geometries are inherently redundant. Optimal Tx-Rx sensor allocations favor the Rx even for nonredundant arrays. For planar arrays, the spatial covariances of Tx and Rx arrays must satisfy a condition for optimal waveforms to direct power in the target direction. There is a connection between Diophantine equations and array geometries with equal CRB.","pith_inferences":["If the single-target assumption is relaxed to multiple targets, the redundancy requirement may change due to identifiability needs.","The MSE-identifiability trade-off suggests exploring hybrid orthogonal-coherent waveform designs.","Simulations of MIMO radar with the derived allocations could test the sensor allocation result."],"forward_implications":["CRB-optimal array geometries must be redundant to minimize the bound.","With a total sensor budget, unequal allocation favoring receive sensors is optimal.","Planar array designs require specific spatial covariance conditions between Tx and Rx for power direction.","Array geometries satisfying certain Diophantine equations achieve equal CRB."],"fun_headline_variants":["CRB equals sum of Tx and Rx spatial variances","CRB-optimal arrays must be redundant","Rx-favoring allocation beats equal Tx-Rx split","Planar waveforms require Tx Rx covariance match"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The analysis assumes a single far-field point target whose response follows the standard narrowband array manifold model.","fun_headline_variants_meta":{"raw":{"variants":["CRB equals sum of Tx and Rx spatial variances","CRB-optimal arrays must be redundant","Rx-favoring allocation beats equal Tx-Rx split","Planar waveforms require Tx Rx covariance match"]},"model":"grok-4.3","cost_usd":0.003712,"raw_usage":{"total_tokens":1957,"prompt_tokens":729,"num_sources_used":0,"completion_tokens":51,"cost_in_usd_ticks":37124500,"prompt_tokens_details":{"text_tokens":729,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1177,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":729,"tokens_out":51,"duration_ms":9538,"temperature":1.0,"reasoning_tokens":1177,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-28T21:35:34.370155+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Measuring the CRB in an experiment with a near-field target or extended target and finding it does not match the spatial variance prediction would falsify the dependence.","supporting_citations":[],"review_version":1}