{"id":"89285901-475f-4199-b1f6-c1f5d51b61f2","arxiv_id":"2606.17699","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Joint TO/CFO and delay/Doppler estimation via bivariate GaBP in OFDM DISAC systems approaches CRLB in simulations.","lead":"The paper proposes a joint synchronization and radar parameter estimation framework for OFDM-based distributed ISAC systems in doubly-dispersive channels by linearizing the model and applying bivariate Gaussian belief propagation to estimate TO, CFO, delay, and Doppler. A smart generalist might read it because integrated sensing and communication is a key direction for future wireless networks where accurate joint estimation could matter for positioning and mobility.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"Linearization step for bivariate GaBP may introduce approximation error that prevents true CRLB approach","rationale":"Reader correctly flagged the linearization as the weakest link; the full-text equations confirm it is an approximation whose validity range is not quantified against the CRLB claim.","tokens_in":1672,"tokens_out":309,"duration_ms":10588,"concrete_test":"Extract the exact (nonlinear) signal model from §II, apply the linearization used in §III, then recompute the CRLB and run Monte-Carlo trials at SNR = 15 dB with the exact model; if the empirical MSE exceeds the CRLB by >3 dB while the linearized version does not, the linearization is the limiting factor.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim requires that the (nonlinear) OFDM received-signal model in a DD channel can be linearized such that the resulting bivariate Gaussian BP yields estimates whose MSE approaches the CRLB. Standard linearizations in this domain replace the phase term exp(-j2π(f_c τ + ν t)) by a first-order expansion in the unknown TO/CFO/delay/Doppler; the neglected quadratic and higher terms become non-negligible once the product of offset magnitude and bandwidth/time duration exceeds ~0.1 rad. If that regime is entered at the moderate-to-high SNR values where the paper claims CRLB proximity, the estimator is biased and the reported performance cannot be CRLB-optimal.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper proposes a joint synchronization and radar parameter estimation framework for OFDM-based distributed ISAC (DISAC) systems operating in doubly-dispersive channels. It states that the received-signal model can be linearized to enable a bivariate Gaussian belief propagation (GaBP) algorithm that jointly estimates per-BS time offset (TO) and carrier frequency offset (CFO) together with the delay and Doppler parameters of the DD channel. Simulation results are reported to show that the resulting range, velocity, TO, and CFO estimates approach the Cramér-Rao lower bound (CRLB) even at moderate-to-high SNR.","tokens_in":1804,"tokens_out":616,"duration_ms":21000,"significance":"If the linearization remains accurate in the operating regime and the GaBP estimator is shown to be near-CRLB without bias from neglected higher-order terms, the work would supply a practical, low-complexity joint estimator for synchronization and sensing parameters in distributed ISAC deployments—an area of growing importance for 6G integrated sensing and communication.","major_comments":[{"comment":"§3 (System Model) and the linearization step preceding the GaBP derivation: the claim that the nonlinear phase term exp(−j2π(f_c τ + ν t)) can be replaced by a first-order expansion without materially affecting CRLB proximity is load-bearing for the central result. No quantitative bound on the neglected quadratic and higher-order terms is supplied, nor is the product of offset magnitude and bandwidth/time duration shown to remain ≪0.1 rad across the simulated parameter ranges.","section":"§3"},{"comment":"Simulation section (results claiming CRLB approach): the reported MSE curves approach the CRLB at moderate-to-high SNR, yet the manuscript provides neither the exact ranges of TO/CFO/delay/Doppler values used nor an accompanying error analysis of the linearization. Without this, it is impossible to confirm that the operating point lies inside the regime where the first-order approximation is valid.","section":"Simulation section"},{"comment":"Algorithm derivation (bivariate GaBP update equations): the transition from the linearized model to the factor-graph messages assumes the resulting likelihood remains exactly bivariate Gaussian. Any residual phase nonlinearity would violate this assumption and could introduce bias that prevents true CRLB attainment; no verification of the Gaussianity or bias is presented.","section":"Algorithm derivation"}],"minor_comments":[{"comment":"Notation for the DD channel parameters (delay, Doppler) is introduced without an explicit table relating them to the radar range/velocity quantities reported in the figures.","section":null},{"comment":"The abstract states that estimates “approach the CRLB,” but the simulation figures lack error bars or multiple Monte-Carlo runs, making it difficult to judge statistical significance of the proximity.","section":null}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the thorough review and valuable comments, which highlight important aspects of the linearization and its impact on the estimator performance. We agree that additional justification and analysis of the first-order approximation are warranted to strengthen the manuscript. We address each major comment below and will incorporate the necessary revisions.","responses":[{"response":"We acknowledge that the original manuscript does not provide an explicit quantitative bound on the neglected higher-order terms. In the revision, we will derive a bound on the phase approximation error and explicitly compute the product of offset magnitudes with bandwidth and time duration for the simulated regimes, demonstrating that the error remains below 0.05 rad. This analysis will be added to Section 3 to confirm that the first-order expansion does not materially affect proximity to the CRLB.","revision_made":"yes","referee_comment":"[§3] §3 (System Model) and the linearization step preceding the GaBP derivation: the claim that the nonlinear phase term exp(−j2π(f_c τ + ν t)) can be replaced by a first-order expansion without materially affecting CRLB proximity is load-bearing for the central result. No quantitative bound on the neglected quadratic and higher-order terms is supplied, nor is the product of offset magnitude and bandwidth/time duration shown to remain ≪0.1 rad across the simulated parameter ranges."},{"response":"We agree that the simulation section lacks explicit parameter ranges and linearization error analysis. The revised manuscript will tabulate the exact ranges of TO, CFO, delay, and Doppler used in all simulations. We will also add a dedicated error analysis subsection quantifying the maximum linearization error over these ranges and its effect on MSE relative to the CRLB, confirming validity of the operating regime.","revision_made":"yes","referee_comment":"[Simulation section] Simulation section (results claiming CRLB approach): the reported MSE curves approach the CRLB at moderate-to-high SNR, yet the manuscript provides neither the exact ranges of TO/CFO/delay/Doppler values used nor an accompanying error analysis of the linearization. Without this, it is impossible to confirm that the operating point lies inside the regime where the first-order approximation is valid."},{"response":"After applying the linearization to the system model, the observation equation becomes exactly linear in the parameters of interest, so the likelihood is precisely bivariate Gaussian under additive white Gaussian noise; the factor-graph messages therefore remain exactly Gaussian by construction. To address concerns about any unmodeled effects, the revision will include a brief verification (via Monte Carlo checks on message distributions and estimator bias) confirming that the GaBP updates attain the expected Gaussian form and remain unbiased in the simulated regimes.","revision_made":"partial","referee_comment":"[Algorithm derivation] Algorithm derivation (bivariate GaBP update equations): the transition from the linearized model to the factor-graph messages assumes the resulting likelihood remains exactly bivariate Gaussian. Any residual phase nonlinearity would violate this assumption and could introduce bias that prevents true CRLB attainment; no verification of the Gaussianity or bias is presented."}],"tokens_in":1419,"tokens_out":658,"duration_ms":22669,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main thing to know is that the authors linearize the received OFDM signal in a doubly-dispersive channel so a bivariate Gaussian belief propagation algorithm can jointly recover per-base-station time and frequency offsets plus the delay and Doppler parameters. They report that the resulting estimates for both synchronization and radar quantities approach the CRLB in simulations even at moderate-to-high SNR.\n\nWhat is new is the specific joint bivariate GaBP framing for the combined synchronization-plus-sensing task in distributed ISAC. Prior GaBP work exists for separate problems, but applying it this way to the full set of parameters in one pass appears to be the fresh step.\n\nThe paper does a reasonable job laying out the system model and the algorithmic steps that follow from the linearization. The simulation results are presented as the primary validation.\n\nThe soft spot is exactly the linearization. The underlying signal model contains nonlinear phase factors, so the first-order expansion they use will leave some residual error that does not vanish with SNR. If that error becomes comparable to the noise at the SNR values where they claim CRLB approach, the estimator cannot actually be optimal. The abstract gives no quantitative bound on the linearization error or the offset magnitudes tested, so it is not yet clear whether the reported performance holds in the regime they advertise.\n\nThis is a paper for researchers working on practical estimators for 6G-style integrated sensing and communication. A reader who needs concrete algorithms for joint sync and radar parameter recovery in DD channels will find the construction useful even if the performance claim requires verification.\n\nI would send it to peer review. The algorithmic idea is concrete enough that referees can check the linearization error and the simulation details directly.","headline":"The paper's contribution is a linearized bivariate GaBP estimator for joint TO/CFO and delay/Doppler in OFDM DISAC, with simulations claiming CRLB proximity, but the linearization step is the part that needs scrutiny.","tokens_in":2343,"tokens_out":431,"would_cite":false,"duration_ms":27443,"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":"A bivariate Gaussian belief propagation algorithm jointly estimates time and frequency offsets along with delay and Doppler parameters in OFDM-based distributed ISAC systems.","keywords":["OFDM","ISAC","synchronization","radar parameter estimation","belief propagation","doubly dispersive channels","distributed systems","Cramér-Rao bound"],"falsifier":"If Monte Carlo simulations or over-the-air tests at moderate-to-high SNR show that the joint TO, CFO, delay or Doppler estimates remain materially above the CRLB, the claimed performance of the linearized GaBP method would be falsified.","tokens_in":2587,"feed_emoji":"📡","tokens_out":641,"duration_ms":23679,"temperature":0.7,"pith_summary":"The paper develops a joint framework for synchronization and radar sensing in distributed integrated sensing and communication systems that operate over doubly dispersive channels. It linearizes the received signal model so that a bivariate Gaussian belief propagation algorithm can simultaneously recover the time offset and carrier frequency offset of each base station plus the delay and Doppler shifts of the channel. Because the estimates approach the Cramér-Rao lower bound at moderate-to-high SNR, the approach removes the need for separate synchronization and sensing stages in conventional OFDM waveforms. This matters for practical distributed deployments where both communication reliability and accurate range-velocity measurements must be obtained from the same received signals.","feed_headline":"GaBP jointly estimates TO, CFO, delay and Doppler in DISAC","feed_subtitle":"The linearized algorithm reaches CRLB for both synchronization and radar parameters at moderate SNR in conventional OFDM.","key_machinery":"Bivariate Gaussian belief propagation (GaBP) applied to the linearized system model, which carries out the joint estimation of synchronization offsets and radar channel parameters.","core_discovery":"The proposed bivariate Gaussian belief propagation algorithm jointly estimates the time offset (TO) and carrier frequency offset (CFO) of each base station, as well as the delay and Doppler parameters of the DD channel in conventional OFDM systems, with radar and synchronization parameter estimates approaching the CRLB even at moderate-to-high SNR regimes.","pith_inferences":["The linearization step may allow similar GaBP techniques to be reused for other joint estimation problems that mix discrete and continuous parameters.","If the linear approximation holds for larger numbers of base stations, the approach could scale to cell-free or massive distributed ISAC networks.","Hardware impairments not captured by the linear model would need separate compensation before the GaBP stage."],"forward_implications":["Range and velocity estimates become available at the same time as synchronization without dedicated pilot overhead.","The same algorithm works inside standard OFDM frames, so no new waveform is required.","Performance holds across multiple base stations in a distributed deployment.","The method remains effective in doubly dispersive channels where both time and frequency selectivity are present."],"fun_headline_variants":["GaBP estimates TO CFO delay Doppler in DISAC","Bivariate GaBP estimates sync and radar params in DISAC","GaBP reaches CRLB for TO CFO and DD params","Linearized GaBP for joint estimation in OFDM DISAC"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The system model can be linearized so that the bivariate Gaussian belief propagation algorithm can be applied to jointly estimate the parameters.","fun_headline_variants_meta":{"raw":{"variants":["GaBP estimates TO CFO delay Doppler in DISAC","Bivariate GaBP estimates sync and radar params in DISAC","GaBP reaches CRLB for TO CFO and DD params","Linearized GaBP for joint estimation in OFDM DISAC"]},"model":"grok-4.3","cost_usd":0.005595,"raw_usage":{"total_tokens":2639,"prompt_tokens":587,"num_sources_used":0,"completion_tokens":65,"cost_in_usd_ticks":55949500,"prompt_tokens_details":{"text_tokens":587,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1987,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":587,"tokens_out":65,"duration_ms":16070,"temperature":1.0,"reasoning_tokens":1987,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-26T23:21:05.243425+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"If Monte Carlo simulations or over-the-air tests at moderate-to-high SNR show that the joint TO, CFO, delay or Doppler estimates remain materially above the CRLB, the claimed performance of the linearized GaBP method would be falsified.","supporting_citations":[],"review_version":1}