{"id":"44c7c3cf-5b09-48c8-8116-15fb07f8f899","arxiv_id":"2608.09499","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"Under the Clarke model, fluid antenna channel recovery becomes feasible when the number of observed ports reaches the modal dimension r approximately 2W+1, which is set by aperture, not port count.","lead":"This paper studies fluid antenna systems where the channel is measured only at a few active ports and shows that, under the Clarke isotropic scattering model, the full channel lives in a low-dimensional modal subspace whose dimension is set by the antenna aperture. The authors derive a threshold: if the number of observed ports reaches this modal dimension, full-port channel state information can be recovered without knowing the channel covariance.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central threshold assumes the channel energy lies almost entirely in the r-dimensional DFT subspace; the paper never numerically demonstrates that truncation error at finite N is negligible, so the M≥r guarantee may not hold for the true Clarke channel.","rationale":"The reader's weakest assumption—that the channel lies essentially in the r-dimensional DFT subspace with negligible truncation error—is the load-bearing point for both halves of the central claim: the achievability for M≥r and the impossibility for M<r. I agree that this is the main soft spot. My partial rather than full agreement reflects two extra considerations. First, the numerical section never displays the total NMSE including ε_sub, so the central claim is not actually demonstrated for the true Clarke channel at finite N; the O(1/N) bound in Prop. 2 is stated but not verified experimentally, and the proof glosses over the distinction between eigenvalue concentration and subspace-projection error. Second, there is a concrete mathematical flaw in Prop. 3's oracle formula for general diagonal modal powers: when G^H G is not diagonal, P and G^H G do not commute, so the trace of (P^{-1}+σ^{-2}G^H G)^{-1} is not the sum of p_kσ^2/(σ^2+p_kμ_k) over eigenvalues of G^H G. This does not destroy the phase transition under the flat-Clarke uniform-selection scenario used in the plots, but it means the general oracle bounds are not reliable as stated. Both concerns are addressable: the first by a simulation that includes ε_sub, the second by either restricting Prop. 3 to the commuting case (e.g., uniform selection) or replacing it with a correct bound. Since these are verification and precision gaps rather than demonstrated counterexamples to the main threshold, they do not change the reader's CONDITIONAL verdict; they reinforce it. The concrete test proposed—computing total NMSE with true Clarke covariance at N=64 and comparing to the reduced-rank proxy—would settle whether the truncation leakage is actually negligible at the port counts used in the paper.","tokens_in":9508,"tokens_out":23477,"duration_ms":260121,"concrete_test":"For N=64, W=2 (r=5), generate the true Clarke covariance Σ with entries sinc(2πWℓ/(N−1)), choose M=5 uniformly spaced ports, and compute the total NMSE of the oracle reduced-rank estimator including the truncation term: NMSE_total = (ε_sub + ε_est)/tr(Σ), with ε_sub = tr((I−BB^H)Σ(I−BB^H)) and ε_est = tr((P^{-1}+σ^{-2}G^H G)^{-1}) using P = B^HΣB. Sweep SNR from 0 to 30 dB and compare against the reduced-rank oracle (excluding ε_sub) and the full-rank ideal bound. If NMSE_total does not approach the reduced-rank curve to within, say, 1% at 30 dB, then truncation leakage dominates and the M≥r recovery guarantee fails at this N. Also repeat with M=r−1=4 to verify the predicted floor of (r−M)/r plus leakage.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central feasibility threshold (Prop. 4) is derived under the reduced-rank model g_t = B(ϑ)z_t (Eq. 15). For the actual Clarke covariance Σ(W), this is only an asymptotic statement: the DFT columns do not exactly diagonalize the Toeplitz matrix at finite N, and the truncation term ε_sub in Eq. (22) is nonzero. Prop. 2 asserts ε_sub/tr(Σ_true) ≤ C/N for ϑ ≥ W, but its proof uses Szegő's theorem on eigenvalue samples, whereas ε_sub is a subspace-projection error; the numerical section never plots the total NMSE including ε_sub. If residual band-edge leakage is not negligible at N=64, W=2, the claim that M≥r enables reliable recovery is unsupported for realistic port counts, and the 'sharp' impossibility at M<r is only approximate. Additionally, the oracle bound in Prop. 3 (Eq. 28) is not valid for general diagonal P when G^H G is non-diagonal, since P and G^H G need not commute; this is exactly the regime of arbitrary port selections. That said, the flat-Clarke uniform-selection results (Cor. 1, Prop. 5) are the main basis for the threshold and appear internally consistent.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies reconstruction of the full N-port fluid-antenna channel from M active-port observations without a pre-acquired covariance prior. It models the channel as lying in an r-dimensional DFT modal subspace determined by the normalized aperture W (Eq. (15)), derives a three-term MSE decomposition (Proposition 1), oracle reduced-rank MMSE bounds (Propositions 3\\u20135), and a phase transition at M = r (Proposition 4), and reports numerical verification for N = 64, W = 2. The central claim is that reliable prior-free recovery becomes possible once M \\u2265 r and is impossible when M < r.","tokens_in":9882,"tokens_out":11825,"duration_ms":129487,"significance":"If the claims held unconditionally, the paper would provide useful engineering guidance for sizing FAS hardware according to the aperture rather than the total port count. The conceptual decomposition into truncation, estimation, and learning errors is helpful, and the exact reduced-rank model is analyzed with explicit bounds. However, as discussed below, the main threshold as stated is conditional on an exact-subspace model, and one of the key oracle trace formulas is not valid for noncommuting factors; these issues must be resolved before the threshold can be regarded as established for the Clarke channel.","major_comments":[{"comment":"The oracle reduced-rank MMSE formula is not valid for general diagonal P. The posterior covariance is (P^{-1} + \\sigma^{-2} G^H G)^{-1}, and its trace is not equal to \\sum_k p_k \\sigma^2/(\\sigma^2 + p_k \\mu_k) unless P and G^H G commute, which does not hold for arbitrary port selections because G = S_O B is a generic sub-Gram matrix of DFT columns. This affects Corollaries 1\\u20133 and the achievability bound in Proposition 4(ii); the authors should either restrict the exact expression to scalar P or provide a correct trace formula or inequality for the general diagonal case.","section":"Section III-C, Eq. (28)"},{"comment":"The central M \\u2265 r threshold is stated for the Clarke model, but it is proved for the assumed model g_t = B(\\vartheta) z_t in Eq. (15). Proposition 2 gives only an asymptotic O(1/N) truncation bound, and Remark 1 concedes that \\epsilon_sub is nonzero under basis mismatch. The numerical section does not display the total NMSE including \\epsilon_sub; the reduced-rank oracle curves exclude it by construction. Thus the finite-N achievability claim for the true Clarke covariance is currently unsupported, and the threshold should either be stated conditionally on \\epsilon_sub \\approx 0 or verified with \\epsilon_sub included in the plots.","section":"Section III-B/Remark 1 and Section IV"},{"comment":"The impossibility statement is established only for estimators confined to the r-dimensional subspace col(B). The bound NMSE \\geq (r-M) p_min/(r \\bar{p}) follows from the rank deficiency of G = S_O B inside that subspace and does not rule out arbitrary estimators that use a full-rank covariance or a different basis. The contribution text's phrase \"information-theoretically impossible ... regardless of SNR or prior knowledge\" therefore overstates the proof's scope; please add a qualifier or prove a lower bound for the full Clarke model with \\epsilon_sub > 0.","section":"Section III-D, Prop. 4(i)"},{"comment":"The proof of the truncation bound invokes Szeg\\u0151's theorem for eigenvalue samples, but \\epsilon_sub is a subspace-projection error relative to a fixed DFT column space, not an eigenvalue truncation. The O(1/N) rate in Eq. (27) needs a direct argument relating the projection error to the DFT-based spectral approximation, and it should be checked numerically, because Eq. (27) is the bridge connecting the exact-subspace model to the Clarke model.","section":"Section III-B, Prop. 2"}],"minor_comments":[{"comment":"Eq. (13) uses r \\approx 2\\vartheta + 1 while Proposition 4 uses r = 2\\lfloor W \\rfloor + 1; please define the cardinality of K(\\vartheta) exactly for non-integer apertures and state the floor assumption consistently.","section":"Section II-B, Eq. (13)"},{"comment":"The reduced-rank oracle curve is described as possibly lying below the full-rank oracle because it excludes \\epsilon_sub; this should be marked clearly in Fig. 2 so readers do not interpret it as a violation of optimality.","section":"Section IV, Fig. 2"},{"comment":"Proposition 5's statement that the cross terms vanish \"without aliasing\" is an approximation when N/M is not an integer; please state the asymptotic condition explicitly.","section":"Section III-D, Prop. 5"},{"comment":"Eq. (38) is asserted without derivation; a sketch of the Fisher-information computation would help readers verify the prefactor and the claimed T^{-1} scaling.","section":"Section III-E, Eq. (38)"},{"comment":"The notation L_t in Eq. (18) is later specialized to M without comment; please make the specialization explicit.","section":"Section II-C, Eq. (18)"}],"recommendation":"major_revision","confidential_remarks":"To strengthen the paper for a journal submission, the authors should include the total NMSE (\\epsilon_sub + \\epsilon_est + \\epsilon_learn) for the true Clarke covariance at N = 64 and N = 128, and should compare with [18]'s full-rank oracle in the M < r regime. The current evidence does not yet distinguish the reduced-rank threshold from an artifact of the assumed Eq. (15)."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"What you should know: the paper does something useful for fluid antenna systems—it makes the low-rank structure of the Clarke covariance explicit, shows the modal dimension is set by aperture (r≈2W+1), and gives a clean M≥r feasibility threshold with error decomposition. Within the reduced-rank model, the main propositions are sound, and the uniform-selection/flat-spectrum results (Prop 5) are the right way to see the transition. The authors deserve credit for the decomposition into truncation, estimation, and learning errors, and for stating explicitly in Remark 1 that the O(1/N) truncation rate is idealized.\n\nThe soft spots are real but mostly at the edges. The abstract says reliable recovery is 'impossible below this dimension regardless of SNR or prior knowledge.' That is only proven for estimators that live in the assumed r-dimensional subspace. The true Clarke channel has energy outside that subspace, so the threshold is approximate at finite N. The paper is honest about this in Remark 1 and in the numerical setup (the reduced-rank oracle excludes ǫ_sub), but the abstract overclaims. Second, Proposition 3's trace formula (28) assumes P and G^H G commute; for arbitrary port selections and general diagonal P, the eigenvalues of the posterior covariance are not the sum you get. The flat/uniform case commutes approximately, so the phase-transition results survive, but the general statement is wrong as written and needs a fix or a restriction. Finally, the numerical section only shows oracle curves—the EM learner is never run. So the 'prior-free' claim is not numerically demonstrated; a learning curve with a few snapshots would close that gap.\n\nBottom line: this is a serious paper with a correct core idea, aimed at the FAS subfield. A reader who wants design guidance on active-port count will find the tradeoffs useful. It deserves peer review but with major revision: soften the abstract, fix or scope Prop 3, and add a learning simulation. I would bring it to a reading group if anyone in our group works on sparse channel recovery.","headline":"The low-rank modal model is sensible and the oracle bounds are mostly right, but the abstract overclaims: the sharp threshold is proven only inside the reduced-rank model, not for the true Clarke channel.","tokens_in":10319,"tokens_out":2741,"would_cite":false,"duration_ms":30041,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["94A12","94A15"],"pacs":[],"model":"deepseek-v4-flash","headline":"A fluid antenna's full-port channel can be reconstructed without any covariance prior as soon as the number of observed ports reaches the modal dimension (about 2W+1), and is impossible below it regardless of SNR.","keywords":["fluid antenna systems","channel state information reconstruction","prior-free channel estimation","modal-domain representation","Clarke isotropic scattering","phase transition","spatial covariance","sparse port observations"],"falsifier":"Take a Clarke-model channel with $W=2$ (so $r=5$), observe $M=4$ uniformly spaced ports, and measure the NMSE of the best reduced-rank estimator at very high SNR; the paper predicts an irreducible floor of at least $(r-M)/r=1/5$ under the flat spectrum, so observing the floor fall substantially below $1/5$ as SNR grows would falsify the sharp threshold. Conversely, use a non-isotropic angular power spectrum with significant energy outside $|\\omega|\\le 2\\pi d_\\vartheta$ and check whether the truncation error at $M=r$ remains large; if it is small despite out-of-band energy, the modeling assumption is conservative, and if it is large, the negligible-truncation premise fails.","tokens_in":9248,"feed_emoji":"📡","tokens_out":11202,"duration_ms":108340,"temperature":0.7,"pith_summary":"This paper asks whether a fluid antenna can reconstruct the channel at all $N$ candidate ports from observations at only $M$ active ports when no spatial covariance prior is available. The answer is yes under the Clarke isotropic scattering model, because the channel is effectively confined to a low-dimensional modal subspace whose dimension $r \\approx 2W+1$ is set by the physical aperture in wavelengths, not by the port count $N$. The central result is a sharp phase transition: for $M < r$ reliable reconstruction is impossible regardless of SNR, while for $M \\ge r$ recovery becomes feasible and accuracy improves with more observed ports, higher SNR, and more training snapshots. This matters because it provides hardware designers with a concrete rule for sizing the number of active ports and shows that expensive covariance learning is not a prerequisite for full-port channel reconstruction.","feed_headline":"Fluid-antenna channel recovery needs just 2W+1 observed ports","feed_subtitle":"Fewer active ports leave an error no SNR can remove; at 2W+1 ports, no covariance prior is needed.","key_machinery":"The central object is the modal-domain basis $B(\\vartheta)=F_{N,\\mathcal{K}(\\vartheta)}$, the $N\\times r$ matrix of DFT columns whose frequencies fall inside the band $|\\omega|\\le 2\\pi d_\\vartheta$. Szegő's theorem makes the Toeplitz Clarke covariance asymptotically diagonal in the DFT basis, so only $r\\approx 2W+1$ modes carry significant energy; this is what reduces the reconstruction to an $r$-dimensional linear system $y_t = \\Psi_t S_t B(\\vartheta) z_t + n_t$. The proof machinery is the three-term MSE decomposition $\\epsilon_{\\mathrm{sub}}+\\epsilon_{\\mathrm{est}}+\\epsilon_{\\mathrm{learn}}$, the eigenvalue analysis of the modal sensing Gram matrix $G^{\\mathsf{H}}G$, and a Fisher-information calculation for learning the unknown modal powers and noise variance.","core_discovery":"The paper establishes that under the Clarke isotropic scattering model with a rectangular angular power spectrum, the $N$-port fluid-antenna covariance is asymptotically diagonalized by the DFT and is effectively low-rank, with rank $r = 2\\lfloor W\\rfloor + 1$ where $W$ is the aperture measured in wavelengths. Modeling the channel as $g_t = B(\\vartheta) z_t$, with $B$ collecting the $r$ active DFT columns and $z_t$ Gaussian with an unknown diagonal covariance, turns sparse-port observation and interpolation into an $r$-dimensional linear inverse problem. The oracle reduced-rank MMSE decomposes into a modal truncation error, a sensing/estimation error, and a learning error; the truncation term vanishes as $N\\to\\infty$ when the modeled band contains the true spectrum. The estimation term obeys a sharp threshold: when $M<r$ every sensing matrix has a null space of dimension at least $r-M$, producing an SNR-independent NMSE floor, whereas when $M\\ge r$ a generic port selection gives full column rank and the NMSE decays with SNR. The paper concludes that prior-free full-port recovery is information-theoretically possible exactly in the regime $M\\ge r$, and it quantifies the learning cost through a snapshot requirement $T\\ge\\lceil(r+1)/M\\rceil$.","pith_inferences":["Beyond the paper's claims: if the threshold persists under measured non-isotropic scattering, then the active-port count can be chosen from the aperture width alone during deployment, before any channel statistics are collected, which would simplify FAS hardware planning considerably.","The same modal-subspace reasoning suggests a natural test for richer scattering: an angular power spectrum with $K$ separated rectangular supports would plausibly raise the modal dimension to roughly $2W$ times the occupied bandwidth plus $K$, so comparing the measured modal dimension with $2W+1$ would locate exactly where the Clarke idealization breaks down.","Because the impossibility statement is proved for the oracle that knows the true modal powers, it is a limit of the reduced-rank model itself rather than of empirical Bayes; extending the impossibility beyond that model would require a separate minimax argument.","A concrete experiment: switch a $2W$-wavelength aperture so that $M=r-1$ and $M=r$ ports are sampled uniformly and compare NMSE at high SNR; the predicted cliff at $M=r$ would confirm the modal dimension as the controlling system parameter."],"forward_implications":["Hardware designers can size an FAS by aperture: prior-free reconstruction needs only $M \\ge 2\\lfloor W\\rfloor+1$ active ports, so the active-port count no longer needs to grow with the candidate-port count $N$.","Below the threshold, the floor is a structural limit: with $M<r$, the oracle reduced-rank NMSE is at least $(r-M)p_{\\min}/(r\\bar{p})$, which is $(r-M)/r$ under a flat Clarke spectrum and cannot be lowered by increasing SNR.","Above the threshold, uniform port selection is near-optimal in the large-$N$ regime: it gives $G^{\\mathsf{H}}G\\approx(M/N)I_r$ and an NMSE of about $1/(1+(M/N)\\mathrm{SNR}_m)$, making performance predictable from the observation ratio and modal SNR.","The pilot/training cost has an explicit bound: learning the $r+1$ hyperparameters from $T$ snapshots requires $T\\ge\\lceil(r+1)/M\\rceil$ for identifiability, and one snapshot suffices when $M\\ge r+1$.","System design becomes a three-way tradeoff among aperture (which sets truncation), the number of observed ports and RF chains and SNR (which set estimation), and training data (which sets the learning error)."],"supporting_citations":[{"why":"Supplies the Clarke isotropic scattering setting whose rectangular angular spectrum is the premise for the band-limited low-rank covariance.","marker":"[4]"},{"why":"Cited with [25] as the Clarke isotropic scattering model giving the sinc-shaped spatial covariance used to define the modal subspace.","marker":"[12]"},{"why":"Provides the spatial block-correlation/Clarke-type covariance model whose band-limited spectrum fixes the active DFT-mode set.","marker":"[25]"},{"why":"Gives the unconstrained MMSE bound and the ideal rank-M lower bound used as the covariance-prior baseline for comparison.","marker":"[18]"},{"why":"Supplies Szegő's theorem, the tool that asymptotically diagonalizes the Toeplitz covariance and justifies the rank-r DFT modal model.","marker":"[26]"}],"fun_headline_variants":["Fluid antenna CSI: no priors needed if M≥2W+1","Prior-free fluid antenna CSI: just 2W+1 ports do it","Fluid antenna: full CSI without priors from M=2W+1 ports","No covariance priors needed: fluid antenna CSI at 2W+1 ports","M≥2W+1 unlocks prior-free CSI in fluid antennas"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the true channel lies almost entirely in the $r$-dimensional DFT modal subspace with $r=2\\lfloor W\\rfloor+1$, meaning the scattering is isotropic with a rectangular angular power spectrum whose band is covered by the modeled frequencies and whose out-of-band energy $\\epsilon_{\\mathrm{sub}}$ is negligible; if real propagation concentrates significant energy outside that band, the $M\\ge r$ rule no longer guarantees accurate recovery.","fun_headline_variants_meta":{"raw":{"variants":["Fluid antenna CSI: no priors needed if M≥2W+1","Prior-free fluid antenna CSI: just 2W+1 ports do it","Fluid antenna: full CSI without priors from M=2W+1 ports","No covariance priors needed: fluid antenna CSI at 2W+1 ports","M≥2W+1 unlocks prior-free CSI in fluid antennas"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001196,"raw_usage":{"total_tokens":4954,"prompt_tokens":992,"completion_tokens":3962,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":608,"completion_tokens_details":{"reasoning_tokens":3859}},"tokens_in":608,"tokens_out":3962,"duration_ms":30445,"temperature":1.0,"reasoning_tokens":3859,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T16:16:58.296292+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a Clarke-model channel with $W=2$ (so $r=5$), observe $M=4$ uniformly spaced ports, and measure the NMSE of the best reduced-rank estimator at very high SNR; the paper predicts an irreducible floor of at least $(r-M)/r=1/5$ under the flat spectrum, so observing the floor fall substantially below $1/5$ as SNR grows would falsify the sharp threshold. Conversely, use a non-isotropic angular power spectrum with significant energy outside $|\\omega|\\le 2\\pi d_\\vartheta$ and check whether the truncation error at $M=r$ remains large; if it is small despite out-of-band energy, the modeling assumption is conservative, and if it is large, the negligible-truncation premise fails.","supporting_citations":[{"cited_title":"When is clarke’s approximat ion valid?","cited_arxiv_id":null,"evidence_quote":"Supplies the Clarke isotropic scattering setting whose rectangular angular spectrum is the premise for the band-limited low-rank covariance."},{"cited_title":"Finite-blocklength fluid antenna systems with spatial block-correlation channel model,","cited_arxiv_id":null,"evidence_quote":"Cited with [25] as the Clarke isotropic scattering model giving the sinc-shaped spatial covariance used to define the modal subspace."},{"cited_title":"A new spatial block-correlation model for fluid antenna systems,","cited_arxiv_id":null,"evidence_quote":"Provides the spatial block-correlation/Clarke-type covariance model whose band-limited spectrum fixes the active DFT-mode set."},{"cited_title":"Beyond covariance: Generative spatial correlation modeling and channel interpolation for fluid antenna system s,","cited_arxiv_id":null,"evidence_quote":"Gives the unconstrained MMSE bound and the ideal rank-M lower bound used as the covariance-prior baseline for comparison."},{"cited_title":"Toeplitz and circulant matrices: A review,","cited_arxiv_id":null,"evidence_quote":"Supplies Szegő's theorem, the tool that asymptotically diagonalizes the Toeplitz covariance and justifies the rank-r DFT modal model."}],"review_version":1}