{"id":"0aadbfd5-2463-4354-abdf-ef52cc745684","arxiv_id":"2606.31301","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Upper and lower bounds on capacity of quantized MIMO ISAC are tight at low SNR, saturate at high SNR due to quantization, and i.i.d. Gaussian signaling is near-optimal; closed-form LMMSE also saturates under Kronecker model.","lead":"The paper derives upper and lower bounds on the capacity of a quantized MIMO ISAC system using analog spatial combining and subtractive dithered quantization, showing saturation at high SNR and near-optimality of Gaussian signaling. A smart generalist might read it to understand hardware-constrained performance limits in future wireless systems that jointly handle communication and sensing.","discovery_kind":"unclear","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"Reader's UNVERDICTED status and weakest-assumption flag stem from abstract-only access. With the full text now available, the quantization model is a standard, well-justified construction that directly enables the additive-noise representation used for the bounds; the numerical tightness statement is presented as an empirical observation rather than an unproven assertion. No load-bearing gap is identified that would alter the reader's verdict.","tokens_in":1681,"tokens_out":342,"duration_ms":51196,"concrete_test":"Recompute the mutual-information lower bound (Gaussian input) and the paper's upper bound for the same parameter set used in the manuscript's figures, at both low SNR (where tightness is claimed) and high SNR (where saturation occurs); if the gap remains below 5% of the upper bound across the plotted range, the numerical support for the claim holds.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim rests on derived upper/lower bounds for the capacity of the effective channel (additive non-Gaussian noise after analog combining + subtractive dithered scalar quantization) together with numerical evidence that the achievable rate under i.i.d. isotropic Gaussian inputs lies close to the upper bound at low SNR, with both quantities saturating at high SNR. The quantization model is the standard subtractive-dither construction that yields an input-independent additive noise term; the paper also supplies a closed-form LMMSE expression under the Kronecker sensing model. No internal inconsistency, hidden assumption in the bound derivations, or mismatch between the stated model and the claimed numerical behavior is apparent from the manuscript description.","agreement_with_reader":"disagree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript studies quantized MIMO ISAC systems in which communication and sensing receivers apply analog spatial combining followed by scalar subtractive dithered quantization, yielding an additive effective-noise model with non-Gaussian noise. Upper and lower bounds on the capacity of this channel are derived. Numerical results indicate that the bounds are tight at low SNR and both saturate at high SNR due to finite-resolution quantization. The work further shows that i.i.d. isotropic Gaussian signaling achieves rates close to the upper bound despite the non-Gaussian noise, and supplies a closed-form LMMSE expression under the Kronecker sensing-channel model whose saturation level increases as the spatial combining ratio decreases.","tokens_in":1794,"tokens_out":370,"duration_ms":35363,"significance":"If the derived bounds and the numerical tightness hold, the results establish concrete fundamental limits for quantized MIMO ISAC and demonstrate the near-optimality of Gaussian inputs for this non-Gaussian effective channel. The closed-form LMMSE expression under the Kronecker model is a useful analytical tool for sensing performance evaluation. The observed saturation behavior quantifies how quantization and combining ratio constrain high-SNR operation.","major_comments":[],"minor_comments":[{"comment":"The abstract states that the bounds are tight at low SNR and saturate at high SNR, but the main text should explicitly identify the SNR regimes, antenna dimensions, and quantization bit depths used in the numerical evaluation so that the tightness claim can be reproduced.","section":"Abstract"},{"comment":"The closed-form LMMSE expression is presented for the Kronecker model; a brief derivation outline or reference to the key matrix inversion step would improve readability for readers focused on the sensing metric.","section":null}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive summary, recognition of the significance of the derived bounds and closed-form LMMSE, and the recommendation for minor revision. No specific major comments were provided in the report.","responses":[],"tokens_in":1245,"tokens_out":60,"duration_ms":14313,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main result is upper and lower bounds on the capacity of this effective channel with non-Gaussian noise, plus the LMMSE expression. The numerics indicate the bounds are tight at low SNR, both quantities saturate at high SNR from the quantization, and i.i.d. isotropic Gaussian inputs get close to the upper bound. The LMMSE also saturates, with the level depending on the spatial combining ratio.\n\nThis extends prior ISAC work by incorporating the dithered quantization model and the specific combining step, then working out the bounds and the closed-form LMMSE. The paper handles the non-Gaussian noise cleanly enough to get analytical expressions and shows the expected high-SNR behavior in the plots.\n\nThe modeling choice of subtractive dither is standard and lets them treat the quantization as additive input-independent noise, which is reasonable for analysis. The numerical tightness and saturation results line up with the model without obvious mismatches.\n\nA minor limitation is that the dither subtraction is idealized; real ADCs will not match it exactly, though this is a common starting point. The near-optimality of Gaussian signaling is shown numerically rather than proven in closed form, which is fine for this setting but leaves some room for tighter analysis later.\n\nThe work is aimed at people studying practical ISAC systems under quantization constraints in MIMO setups. It has concrete new expressions and supporting evidence, so it deserves a serious referee.","headline":"The paper derives capacity bounds for MIMO ISAC with subtractive dithered quantization after analog combining and gives a closed-form LMMSE under the Kronecker model, with numerics showing Gaussian signaling near the bounds at low SNR and saturation at high SNR.","tokens_in":2283,"tokens_out":386,"would_cite":true,"duration_ms":34320,"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":"i.i.d. isotropic Gaussian signaling achieves rates close to capacity in quantized MIMO ISAC despite non-Gaussian effective noise.","keywords":["quantized MIMO","ISAC","capacity bounds","Gaussian signaling","effective noise","LMMSE","spatial combining","Kronecker model"],"falsifier":"A direct computation of mutual information achieved by a non-Gaussian input distribution at moderate SNR, compared against the derived upper bound, would show whether Gaussian signaling rates remain close to capacity.","tokens_in":2573,"feed_emoji":"📡","tokens_out":701,"duration_ms":35547,"temperature":0.7,"pith_summary":"This paper examines the capacity of a MIMO integrated sensing and communication system where both receivers use analog spatial combining and scalar subtractive dithered quantization. The quantization creates an additive effective noise that is non-Gaussian. Upper and lower bounds on the capacity are derived, and numerical evaluations show these bounds are close at low SNR but level off at high SNR because of the limited quantization resolution. The work finds that standard i.i.d. isotropic Gaussian signaling performs nearly as well as the capacity despite the non-Gaussian noise. A closed-form expression is also given for the linear minimum mean-squared error estimator under a Kronecker sensing channel model when using Gaussian signals.","feed_headline":"Gaussian signals near capacity in quantized MIMO ISAC","feed_subtitle":"Bounds tighten at low SNR and saturate at high SNR; LMMSE saturates based on spatial combining ratio.","key_machinery":"Additive effective-noise representation with non-Gaussian statistics produced by analog spatial combining followed by scalar subtractive dithered quantization, used to obtain capacity bounds and LMMSE expressions.","core_discovery":"In a quantized MIMO ISAC system with analog spatial combining and subtractive dithered quantization, upper and lower bounds on capacity are derived under the resulting additive non-Gaussian effective-noise model. Numerical results establish that i.i.d. isotropic Gaussian signaling achieves rates close to these bounds. For the sensing component under a Kronecker channel model, a closed-form LMMSE expression is obtained that saturates at high SNR, with the saturation level rising as the spatial combining ratio falls and occurring even without quantization when the ratio is below one.","pith_inferences":["Near-optimality of Gaussian signaling may allow simpler transceiver design in quantized ISAC without needing non-Gaussian codebooks.","The saturation behavior implies that increasing transmit power yields diminishing returns once quantization limits are reached.","The Kronecker model enables closed-form sensing results, but extensions to other channel models would require numerical evaluation.","The closeness result could be tested by comparing Gaussian rates to capacity bounds under varying quantization bit resolutions."],"forward_implications":["Capacity upper and lower bounds are tight at low SNR.","Both capacity and LMMSE saturate at high SNR due to finite-resolution quantization.","LMMSE saturation level increases as the spatial combining ratio decreases.","LMMSE saturation occurs even without quantization when the combining ratio is below one."],"fun_headline_variants":["Gaussian Signals Near Capacity in Quantized MIMO ISAC","Capacity Bounds Tighten at Low SNR for Quantized ISAC","LMMSE Saturates at High SNR with Lower Combining Ratios","Closed-Form LMMSE for Kronecker Sensing in Quantized MIMO ISAC"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The quantization model with analog spatial combining followed by scalar subtractive dithered quantization leads to an additive effective-noise representation with non-Gaussian noise that is used for the capacity bounds.","fun_headline_variants_meta":{"raw":{"variants":["Gaussian Signals Near Capacity in Quantized MIMO ISAC","Capacity Bounds Tighten at Low SNR for Quantized ISAC","LMMSE Saturates at High SNR with Lower Combining Ratios","Closed-Form LMMSE for Kronecker Sensing in Quantized MIMO ISAC"]},"model":"grok-4.3","cost_usd":0.006651,"raw_usage":{"total_tokens":3098,"prompt_tokens":660,"num_sources_used":0,"completion_tokens":71,"cost_in_usd_ticks":66512000,"prompt_tokens_details":{"text_tokens":660,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2367,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":660,"tokens_out":71,"duration_ms":35323,"temperature":1.0,"reasoning_tokens":2367,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-01T03:34:37.201087+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A direct computation of mutual information achieved by a non-Gaussian input distribution at moderate SNR, compared against the derived upper bound, would show whether Gaussian signaling rates remain close to capacity.","supporting_citations":[],"review_version":1}