{"id":"f912ce57-a0eb-43be-83a0-0db86ec1fca7","arxiv_id":"2607.06861","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":4,"one_line_summary":"Closed-form lower bounds on outage probability are derived for FRIS-assisted wireless systems over arbitrarily correlated Nakagami-m fading channels.","lead":"This paper derives mathematical lower bounds on the outage probability for wireless systems using fluid reconfigurable intelligent surfaces (FRIS) under correlated Nakagami-m fading. A smart generalist might read it to understand the fundamental reliability limits of next-generation adaptive wireless surfaces.","discovery_kind":"unclear","skeptic_critique":{"model":"glm-5.2","headline":"Integer-m restriction in the Gaussian representation (Eq. 7) undermines the claimed validity for arbitrary positive real m in the correlated case; the Moschopoulos argument does not bridge this gap.","rationale":"The reader correctly identified the most load-bearing concern: the gap between the integer-m construction and the claimed arbitrary-real-m validity. I agree with the CONDITIONAL verdict. The core mathematical framework is sound for integer m — the WCS inequality, the monotonicity argument for the lower bound, and the truncation error bound (Eq. 19) are all correct. The i.i.d. result (Eq. 23) is valid for any real m > 0. The concern is specifically about the correlated case with non-integer m, where the derivation chain from Eq. (7) through Eq. (11) cannot be replicated. The paper's one-sentence assertion that Moschopoulos handles this is insufficient, as Moschopoulos characterizes sums of Gammas but does not establish that A*_w has that structure for non-integer m. This is a correctness risk in the stated generality, not merely a presentation issue. The ζ=5000 truncation order is a practical concern but secondary — the paper acknowledges it as sufficient rather than necessary. The verdict should remain CONDITIONAL pending either (a) a rigorous derivation extending the quadratic-form decomposition to non-integer m, or (b) a retraction of the arbitrary-m claim to 'integer m' for the correlated case.","tokens_in":11841,"tokens_out":3252,"duration_ms":98525,"concrete_test":"Run Monte Carlo simulations for the correlated configuration (Configuration 2) with non-integer fading parameters, e.g., m_X = 1.5 and m_Y = 2.5, and compare the simulated OP against Eq. (22). If the analytical bound deviates from the simulation (either violating the lower-bound property or showing significant mismatch), the claim of arbitrary real m is false for the correlated case. If it matches, the extension likely works but requires a separate proof.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The paper's central claim is that Eq. (22) provides rigorous OP lower bounds under arbitrarily correlated Nakagami-m fading for arbitrary positive real m. The derivation proceeds as follows: (i) represent Nakagami envelopes as sums of squared Gaussian magnitudes (Eq. 7, requiring integer m), (ii) express A*_w and B*_w as quadratic forms in correlated Gaussian vectors (Eq. 9-10), (iii) apply eigenvalue decomposition to obtain sums of independent Gamma variables (Eq. 11), and (iv) use Moschopoulos [17] for the PDF. The paper then asserts: 'the derived PDF, CDF, and OP expressions remain valid for general Nakagami-m fading with arbitrary positive real parameters m_X, m_Y > 0, since the analysis ultimately relies on the Moschopoulos Gamma-sum representation, which holds for arbitrary positive real shape parameters.' This assertion contains a logical gap. Moschopoulos provides the distribution OF a sum of independent Gamma variables with arbitrary real shapes. But the paper only establishes that A*_w IS such a sum for integer m, via the Gaussian quadratic-form decomposition. For non-integer m, the Nakagami envelope lacks the Gaussian-sum representation, so steps (ii)-(iii) break down: there is no derivation showing that A*_w decomposes into independent Gammas with eigenvalues capturing the spatial correlation. The i.i.d. case (Eq. 23) is unaffected, since X²_ℓ ~ Gamma(m, Ω/m) holds for any real m > 0 and independence makes the sum structure immediate. But the correlated case (Eq. 22) with non-integer m is unsupported. The numerical results use m_X=2, m_Y=3 (integers), so this gap is not exposed empirically.","agreement_with_reader":"agree"},"referee_report":{"model":"glm-5.2","summary":"The manuscript develops an analytical framework for fluid reconfigurable intelligent surface (FRIS)-assisted wireless systems over arbitrarily correlated Nakagami-$m$ fading channels. The key technical contributions are: (i) a physically consistent correlation model for Nakagami-$m$ fading based on correlated complex Gaussian multipath clusters; (ii) a weighted Cauchy-Schwarz (WCS) framework yielding an upper bound $T_w$ on the squared effective cascaded channel $S^2$; (iii) exact statistical characterizations (PDF/CDF) of $T_w$ via Gamma-mixture representations and Moschopoulos-type series; and (iv) rigorous finite-truncation lower bounds on the outage probability (OP), given in closed form by Eq. (22) for the correlated case and Eq. (23) for the i.i.d. case. Numerical results validate the bounds against Monte Carlo simulations and benchmark CLT/Gamma approximations.","tokens_in":12128,"tokens_out":1227,"duration_ms":160417,"significance":"The paper addresses a genuine gap in the FRIS literature: existing works predominantly rely on CLT or moment-matched approximations under Rayleigh fading, which do not provide rigorous performance guarantees. The derivation of strict OP lower bounds under correlated Nakagami-$m$ fading is a well-motivated and non-trivial contribution. The WCS framework combined with the eigenvalue decomposition of quadratic forms in correlated Gaussian vectors is an elegant and technically sound approach. The truncation error bound in Eq. (19) is a notable strength, providing a provable accuracy guarantee for the infinite-series representations. The i.i.d. closed-form result in Eq. (23) is clean and useful. These are falsifiable, parameter-bound results that advance the analytical foundations of FRIS systems.","major_comments":[{"comment":"Section III-B, Eq. (7) and the final paragraph of Section III-D: The central derivation of the correlated-case OP bound (Eq. 22) relies on the Gaussian-sum representation of Nakagami-$m$ envelopes in Eq. (7), which is structurally restricted to integer values of $m_X$ and $m_Y$. The eigenvalue decomposition in Eq. (11) and the quadratic forms in Eqs. (9)-(10) depend on this construction. However, the final paragraph of Section III-D asserts that the results 'remain valid for general Nakagami-$m$ fading with arbitrary positive real parameters $m_X, m_Y > 0$, since the analysis ultimately relies on the Moschopoulos Gamma-sum representation.' This assertion contains a logical gap: Moschopoulos's theorem characterizes the distribution of a sum of independent Gamma variables with arbitrary real shapes, but the paper only establishes that $A^*_w$ and $B^*_w$ decompose into such sums (with the ","section":null},{"comment":"Section III-D, Eq. (22): The claim that Eq. (22) provides a rigorous lower bound for the OP under 'arbitrarily correlated Nakagami-$m$ fading' is, as derived, limited to integer $m$. The extension to non-integer $m$ in the correlated case is not rigorously established within the manuscript. The authors should either (a) explicitly restrict the claimed validity of Eq. (22) to integer $m$ in the correlated case, or (b) provide a rigorous derivation showing that the quadratic-form decomposition and eigenvalue-based correlation capture hold for non-integer $m$. The i.i.d. case (Eq. 23) is unaffected by this issue.","section":null}],"minor_comments":[{"comment":"Section III-C, Eqs. (13)-(17): The double infinite series representations for the PDF and CDF of $T_w$ involve Meijer G-functions and modified Bessel functions. While the truncation bound in Eq. (19) is valuable, the authors state that $zeta=5000$ is used to ensure $epsilon_zeta(t) le 10^{-3}$. It would be helpful to comment on the computational cost of evaluating Eq. (22) with such a large truncation order and whether more efficient evaluation methods exist.","section":null},{"comment":"Section IV: The numerical results use $m_X=2$ and $m_Y=3$, both integers. To support the claim of validity for arbitrary positive real $m$, numerical validation with at least one non-integer $m$ value (e.g., $m=1.5$ or $m=2.7$) would strengthen the paper, provided the derivation is extended or the claim is appropriately scoped.","section":null},{"comment":"Section II-A: The correlation threshold $tau=0.4$ is used in the numerical results. A brief discussion on how sensitive the OP performance is to the choice of $tau$ would provide additional insight into the practical design of FRIS activation patterns.","section":null},{"comment":"Figures 2 and 3: The legend entries contain OCR-like artifacts (e.g., 'Anal.tical', 'Con igu)ation'). These should be corrected for clarity.","section":null},{"comment":"Section III-B, Eq. (8): The expression for the envelope correlation coefficient $rho_{r,s}$ involves the Gauss hypergeometric function. It would assist the reader to briefly state the range of $rho_{r,s}$ (e.g., $[0,1]$) and confirm that the model can produce the full range of correlation strengths.","section":null}],"recommendation":"major_revision","confidential_remarks":"The integer-$m$ restriction issue is the key concern. The reader's report correctly identifies this gap. The authors' assertion in the final paragraph of Section III-D is overly broad given the derivation provided. If the authors can either scope the claim to integer $m$ (which still covers many practical scenarios) or rigorously extend the decomposition, the paper should be acceptable. The self-citation to [14] for the element selection strategy is appropriate and does not appear to be circular, as the core analytical framework is developed independently within this manuscript."},"author_rebuttal":null,"desk_editor":{"model":"glm-5.2","letter":"The main thing to know: this paper derives the first strict lower bounds on outage probability for FRIS-assisted systems under correlated Nakagami-m fading. That is a genuine result. The approach is clean—weighted Cauchy-Schwarz to upper-bound the cascaded channel S² by a product T_w, then a Gaussian quadratic-form decomposition to express the factors as sums of independent Gammas, then Moschopoulos for the CDF. The truncation error bound in (19) is correctly argued and gives a provable accuracy guarantee. The i.i.d. simplification in (23) is a nice closed-form Meijer G expression. This is solid, reproducible work that moves beyond the CLT and moment-matching approximations that dominate the FRIS literature. Credit earned here. The stress-test concern about non-integer m is real and lands. Equation (7) constructs the Nakagami envelope as a sum of m squared Gaussian magnitudes, which requires integer m. The eigenvalue decomposition in (9)-(11) that captures spatial correlation depends on this construction. The paper then asserts validity for arbitrary positive real m by appealing to Moschopoulos, but Moschopoulos gives you the distribution of a sum of independent Gammas—it does not establish that A*_w decomposes into such a sum when m is non-integer. The i.i.d. case (23) is fine for any real m since X²_ℓ ~ Gamma(m, Ω/m) holds directly. But the correlated case (22) with non-integer m is unsupported. The simulations use m_X=2, m_Y=3, both integers, so this gap is never exposed empirically. This is fixable: either restrict the claim to integer m (which still covers many practical scenarios) or provide a separate derivation for non-integer correlated m. The truncation order ζ=5000 is large but the authors acknowledge it is sufficient, not necessary, and the error bound (19) lets you pick the order for any target accuracy. Minor concern. For wireless communications researchers working on RIS/FRIS performance analysis, this is worth reading. The framework is a genuine step forward over approximation-based approaches. Recommend serious peer review. The non-integer m gap should be addressed in revision but does not invalidate the core contribution for integer m.","headline":"First strict OP lower bounds for FRIS under correlated Nakagami-m fading, but the extension to non-integer m has a real gap in the correlated case","tokens_in":12915,"tokens_out":543,"would_cite":true,"duration_ms":103892,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"glm-5.2","headline":"First strict lower bounds on outage probability for FRIS under correlated Nakagami-m fading","keywords":[],"falsifier":"A scenario in which the finite-truncation lower bound (22) exceeds the true outage probability measured by Monte Carlo simulation, which would violate the inequality chain S^2 <= T_w => F_{T_w} <= F_{S^2}.","tokens_in":12149,"feed_emoji":"📉","tokens_out":1080,"duration_ms":145013,"temperature":0.7,"pith_summary":"The paper derives the first mathematically rigorous lower bounds on outage probability for wireless links assisted by fluid reconfigurable intelligent surfaces (FRIS) when the fading environment follows a Nakagami-m distribution with arbitrary spatial correlation between surface elements. The core technical move is a weighted Cauchy-Schwarz inequality applied to the effective cascaded channel gain, which is a sum of products of two fading envelopes. This inequality replaces the intractable product-of-sums structure with an upper bound whose cumulative distribution can be computed exactly as a finite-truncation infinite series of Gamma mixtures. Because the bound sits above the true channel gain, its CDF sits below the true outage probability, yielding a guaranteed lower bound. The key enabling construction represents correlated Nakagami-m envelopes as sums of squared magnitudes of correlated complex Gaussian vectors, which converts the spatial correlation problem into an eigenvalue problem and makes the statistics of the bound computable in closed form. For the independent and identically distributed case, the series collapses to a single Meijer G-function term.","feed_headline":"First strict lower bounds on outage probability for FRIS under correlated Nakagami-m","feed_subtitle":"Weighted Cauchy-Schwarz converts intractable cascaded channel into a Gamma-mixture CDF that provably bounds outage from below.","key_machinery":"The argument rests on three pieces: (1) a weighted Cauchy-Schwarz inequality that upper-bounds the squared cascaded channel S^2 by a product T_w = A_w * B_w, where A_w and B_w are weighted sums of squared fading envelopes; (2) a Gaussian-sum representation of integer-m Nakagami envelopes that converts each weighted sum into a sum of quadratic forms in correlated complex Gaussian vectors, which via eigenvalue decomposition become sums of independent Gamma random variables; and (3) the Moschopoulos Gamma-sum representation and a product-of-Gammas CDF formula that together yield the distribution of T_w as a double infinite series with nonnegative coefficients, so that any finite truncation is a","core_discovery":"The weighted Cauchy-Schwarz inequality, applied to the FRIS cascaded channel S = sum of X_l * Y_l with weights w_l = sqrt(Omega_X,l / Omega_Y,l), produces an upper bound T_w = A_w * B_w whose CDF provides a rigorous lower bound on outage probability. By representing Nakagami-m envelopes as norms of sums of correlated complex Gaussians, the bound's distribution reduces to the product of two sums of independent Gamma random variables, whose CDF is expressible as a convergent double infinite series of Meijer G-functions with provable truncation error.","pith_inferences":["The Gaussian-sum representation in Eq. (7) is constructed for integer fading parameters m_X, m_Y. The paper asserts extension to arbitrary positive real m via the Moschopoulos representation, but the quadratic-form derivation and eigenvalue decomposition that produce the Gamma sums rely on the integer-m structure. Whether the non-integer case follows by analytic continuation or requires a separate","The bound's tightness in the high-SNR regime, where it reportedly outperforms CLT approximations, suggests that the Cauchy-Schwarz upper bound T_w may be asymptotically tight in the distributional tail. A formal asymptotic analysis of the ratio S^2 / T_w as the SNR grows could establish whether the bound becomes exact in the high-SNR limit.","The truncation order zeta = 5000 used in the numerical results is described as sufficient but not necessary. The convergence rate of the Moschopoulos series depends on the spread of the eigenvalue ratios, so scenarios with strong spatial correlation (highly disparate eigenvalues) may require substantially more terms, potentially limiting real-time use of the bound in highly correlated deployments."],"forward_implications":["The bound provides system designers with a guaranteed worst-case outage floor for FRIS deployments under spatial correlation, usable without Monte Carlo simulation for any number of active elements.","The correlation-aware element selection strategy (stencil-based decorrelation threshold) can be directly evaluated against the bound to quantify how much diversity gain is lost to residual spatial correlation.","The i.i.d. simplification to a single Meijer G-function offers a compact benchmark against which the cost of spatial correlation can be measured as the gap between the correlated bound (22) and the i.i.d. bound (23).","The framework extends naturally to other cascaded-channel architectures where the effective gain has a sum-of-products structure, including multi-RIS relaying and distributed MIMO surfaces."],"fun_headline_variants":["Cauchy-Schwarz gives first strict FRIS outage bounds under correlated Nakagami-m","Weighted Cauchy-Schwarz yields provable outage lower bounds for FRIS in Nakagami-m fading","FRIS outage probability bounded below via Gamma-mixture CDF in correlated Nakagami-m","Tighter-than-CLT outage bounds for FRIS via weighted Cauchy-Schwarz in Nakagami-m channels","First rigorous FRIS outage bounds: cascaded channel reduced to Gamma-mixture via Cauchy-Sc"],"cache_read_input_tokens":0,"weakest_assumption_plain":"The Gaussian-sum representation of Nakagami-m envelopes is constructed for integer values of the fading parameter m, but the paper claims validity for arbitrary positive real m without rigorously deriving the extension beyond the integer case.","fun_headline_variants_meta":{"raw":{"variants":["Cauchy-Schwarz gives first strict FRIS outage bounds under correlated Nakagami-m","Weighted Cauchy-Schwarz yields provable outage lower bounds for FRIS in Nakagami-m fading","FRIS outage probability bounded below via Gamma-mixture CDF in correlated Nakagami-m","Tighter-than-CLT outage bounds for FRIS via weighted Cauchy-Schwarz in Nakagami-m channels","First rigorous FRIS outage bounds: cascaded channel reduced to Gamma-mixture via Cauchy-Schwarz","Provable FRIS outage floor in correlated Nakagami-m beats CLT at high SNR","Cauchy-Schwarz on FRIS cascaded channel gives first outage guarantee under Nakagami-m correlation","FRIS outage lower bound from weighted Cauchy-Schwarz tightens CLT at high SNR"]},"model":"glm-5.2","effort":"low","cost_usd":0.0,"raw_usage":{"total_tokens":1106,"prompt_tokens":514,"completion_tokens":592,"prompt_tokens_details":null},"tokens_in":514,"tokens_out":592,"duration_ms":18906,"temperature":1.0,"reasoning_tokens":396,"cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-10T00:02:55.541622+00:00","model_set":{"reader":"glm-5.2"},"falsifier":"A scenario in which the finite-truncation lower bound (22) exceeds the true outage probability measured by Monte Carlo simulation, which would violate the inequality chain S^2 <= T_w => F_{T_w} <= F_{S^2}.","supporting_citations":[],"review_version":1}