{"id":"ea77c18e-80cd-4eaf-a8ac-35ee2c20a9ba","arxiv_id":"2608.00724","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"A fluid-antenna UAV with a threshold-aware port selection rule achieves near-optimal coexistence outage performance in a symbiotic backscatter network at linear complexity.","lead":"This paper proposes three port selection strategies for a fluid antenna mounted on a UAV that powers and communicates with a backscatter tag, and it derives outage bounds for the system. The threshold-based TAPS strategy is claimed to match the optimal Pareto trade-off at low computational cost, with simulations showing a 60% transmit power reduction.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"TAPS-vs-epsilon-constraint equivalence is unproven and unlikely: per-realization threshold filtering (20) is not equivalent to long-term outage-constrained minimization (67).","rationale":"The paper's headline contribution is the claim that TAPS reaches the epsilon-constraint Pareto knee exactly with O(MN) complexity. I find this less secure than the ideal-SIC assumption: residual SIC errors would change all numerical outage results, but the advertised algorithmic novelty could survive with modified constants. The TAPS equivalence, by contrast, is a logical mismatch between a per-realization thresholded maximizer and a long-term outage-constrained optimizer, so the paper's central claim is at risk even under ideal SIC. The reader's weakest_assumption was ideal SIC, but their rationale already flags the TAPS overclaim; my analysis supplies a concrete reason it is not merely unproven but structurally unlikely. I still credit the outage-bound derivations, the asymptotic diversity/coding-gain analysis, and the simulation consistency; the issue is confined to the exact-optimality claim and can be resolved by rephrasing TAPS as a low-complexity heuristic that approximates the knee and by reporting its distance from the true front. The reader's conditional verdict remains appropriate, so I recommend no change to the verdict.","tokens_in":19669,"tokens_out":7753,"duration_ms":79211,"concrete_test":"Implement an independent exhaustive search. For M=1e5 independent channel realizations and a small N (e.g., N=10), enumerate all N ports and compute (J1,J2) for the exact epsilon-constraint front by scanning eps over a fine grid; then compute the TAPS operating point from (20) with gamma_min = 15 dB and also sweeping gamma_min over [-10,40] dB, and record the minimum Euclidean distance in (J1,J2) from any TAPS point to the epsilon-constraint front. If that distance exceeds the Monte Carlo resolution (e.g., >1e-3 in J2), the claimed identical performance is refuted. A hand-checkable two-port example exposes the mechanism: if port 1 alone satisfies the threshold but port 2 has a much larger composite gain, TAPS discards port 2, while epsilon-constraint may count the outage and take port 2 while still meeting the aggregate J2 budget.","verdict_should_be":"UNCHANGED","load_bearing_attack":"TAPS is advertised as reaching the epsilon-constraint Pareto knee exactly (abstract, Section V, Fig. 5), but no proof of equivalence is given, and the two optimization problems are not the same. TAPS (20)/(22) selects, on each channel realization, the port maximizing composite power among ports whose instantaneous BcS SNR exceeds gamma_min, or the BcS-maximizing port if none qualifies. The epsilon-constraint baseline (67) minimizes the long-term composite outage J1 subject to a target long-term BcS outage J2 <= eps. A per-realization threshold on the selected port is stronger than an aggregate outage budget: TAPS sacrifices composite gain in every realization where the best composite port has BcS just below gamma_min, whereas epsilon-constraint can accept such realizations as long as the overall J2 stays below eps. Hence the TAPS operating point (J1, J2) will generally lie strictly inside the front, not on it. Fig. 5 shows a single point plotted near the knee, which is not evidence of equality, and the text itself calls TAPS a heuristic (Section VI). The ideal-SIC issue raised by the reader shifts the quantitative outage curves, but the TAPS-vs-epsilon gap is a logical gap in the central claim.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies a downlink symbiotic radio network in which a UAV-mounted fluid antenna system (FAS) transmits a wireless power transfer carrier to a cluster head while an ambient IoT tag backscatters data on the same carrier. The authors derive upper and lower bounds for the composite-signal outage probability, the backscatter outage probability, and the coexistence outage probability under Nakagami-m fading with correlated FAS ports, together with asymptotic diversity- and coding-gain expressions. They propose three port-selection rules, MBS, JBS, and TAPS, compare them with maximum composite gain selection and random selection, formulate a joint UAV-placement and port-selection Pareto optimization with epsilon-constraint and Tchebycheff baselines, and analyze the protocol's mobility feasibility. Monte Carlo simulations are used to validate the analytical bounds and to demonstrate transmit-power savings from FAS.","tokens_in":19918,"tokens_out":10298,"duration_ms":97861,"significance":"If the analytical bounds and the TAPS optimality claim both held, the paper would provide a useful design toolkit for FAS-enabled symbiotic networks: the outage expressions are parameter-free under stated assumptions, the asymptotic analysis correctly identifies the backscatter uplink as the diversity bottleneck, and the O(MN) selection rules are attractive for real-time UAV operation. The Monte Carlo validation of the single-port and max-selection bounds is a genuine strength, and the mobility-overhead analysis gives an explicit design constraint. However, the central claim that TAPS reaches the epsilon-constraint Pareto knee is currently unsupported, and the 'global' upper-bound statements are over-broad; these issues require substantive revision before the paper can be recommended for publication.","major_comments":[{"comment":"The claim that TAPS 'accelerates directly to the optimal knee-point of the Pareto frontier' and achieves 'identical performance' to the epsilon-constraint method is not established and is not implied by the definitions. TAPS applies, on every channel realization, a hard threshold on the instantaneous BcS SNR of the selected port: if no port satisfies gamma_min, it sacrifices composite gain and selects the BcS-maximizing port. The epsilon-constraint baseline in Eq. (67), by contrast, constrains only the long-term BcS outage probability J2 <= epsilon and is free to accept individual realizations in which the selected port has BcS below gamma_min, as long as the aggregate J2 remains within budget. The per-realization threshold is therefore a stronger constraint than the aggregate outage constraint, and there is no reason to expect the TAPS operating point to lie exactly on the epsilon-constraint frontier. Figure 5 shows a single TAPS marker near the knee, which is not quantitative evidence of equality, and Section VI itself describes TAPS as 'a heuristic optimization technique rather than a direct maximum port selection.' The abstract, introduction, and Section V claims about TAPS achieving the optimal knee should either be backed by a formal equivalence proof or explicitly weakened to describe TAPS as a low-complexity heuristic with an operating point inside the Pareto frontier.","section":"Section III-B3 and Section V-A, Eqs. (20), (22), (67)"},{"comment":"Theorem 1 is stated as a 'Global UB of the composite signal normalized received power outage probability for any FAS selection strategy,' but the derivation computes only the marginal CDF of a single FAS port, with no maximization or selection over the N ports. The single-port CDF is not a universal upper bound for an arbitrary selection strategy: for i.i.d. ports, a strategy that deliberately selects the worst composite port has outage probability 1-(1-F)^N, which exceeds the single-port CDF F for N>1. Even for the proposed TAPS rule, the BcS threshold constraint in Eq. (19) can force selection of a port whose composite power is below that of a fixed reference port, so the selected-port composite outage can exceed the single-port value. Consequently the COP upper bound in Theorem 7, Eq. (64), which relies on this composite UB, is not established for TAPS, MBS, or JBS. The theorem should be restated for the strategies for which it is actually proven, or a true worst-case selection bound must be derived.","section":"Theorem 1, Eq. (30), and Appendix A"},{"comment":"The same over-broad bounding issue appears in the BcS outage UB. The proof says 'UB exists under full correlation among FAS ports,' but full correlation only shows that all selection strategies coincide with the single-port CDF in that limiting case; it does not prove that the single-port CDF dominates the selected-port CDF at partial correlation. A strategy whose selection is driven by the composite or direct link, such as MCGS, can in principle select a port with a weak forward link, giving a BcS outage larger than that of a fixed port. Since Corollary 1 uses this UB as the fixed-antenna reference for the coding-gain comparison, the asymptotic coding-gain claims are only as strong as this bound. The theorem should either be proven for the actual selection rules considered or explicitly labeled as an upper bound only for selection rules whose selected-port BcS gain stochastically dominates a single port.","section":"Theorem 4, Eq. (50)"},{"comment":"All BcS outage derivations rely on the assumption of a coherent receiver at the cluster head with ideal SIC of the direct-link signal: the text states that ideal SIC 'insures the detaching of direct signal effect from the BcS signal.' This assumption is load-bearing for the quantitative claims in the paper, including the BcS outage curves in Figs. 2-3, the coding-gain values, the COP bounds, and the roughly 60% transmit-power reduction reported in Fig. 4. In practice, residual direct-link interference after SIC would reduce the effective BcS SNR and shift every BcS outage and COP value. The paper should either justify the ideal-SIC assumption with a concrete SIC architecture and operating regime, or include a sensitivity analysis showing the degradation under imperfect SIC. Without this, the reported quantitative gains are best-case performance estimates rather than validated system performance.","section":"Section IV, introductory paragraph"}],"minor_comments":[{"comment":"The lower bound in Eq. (43) raises the single-port CDF to the power N, which corresponds to independent ports. The correlated FAS model in Eqs. (2)-(3) is not used in this bound; the text should state explicitly that this LB is the best-case independent-port bound and explain the effect of positive spatial correlation on its tightness.","section":"Theorem 3, Eq. (43)"},{"comment":"The numbered contributions list contains two items labeled '2)' (the mobility-feasibility contribution and the outage-bounds contribution); renumber the list or merge the duplicate entries.","section":"Section I, contributions list"},{"comment":"The statement that the protocol 'consumes under 10% of the channel coherence time' is presented as a proven property, but Eq. (27) is only an inequality constraint that depends on the unspecified parameters ND, NB, Tsw, tau_comp, and Rfb. The paper should either supply representative numerical values for these parameters in the simulation section or phrase the claim as a design feasibility condition rather than a demonstrated property.","section":"Section III-C, Eq. (27)"},{"comment":"The penalty parameter L in Eq. (22) is a free parameter; its units and the rule for choosing it (relative to the typical gamma_C and gamma_BcS values) should be stated. In addition, gamma_min appears in linear form in Eq. (19) while Fig. 5 reports thresholds in dB; the text should clarify the units used in the TAPS definition.","section":"Eqs. (19), (22), and Fig. 5"},{"comment":"A single visual marker is insufficient to support the 'identical performance' claim for TAPS. The paper should report the numerical J1 and J2 values of the TAPS operating point and compare them with the epsilon-constraint results across a sweep of epsilon, including the knee region.","section":"Fig. 5"},{"comment":"Reference [33] appears truncated ('achieving > 98' cuts off mid-sentence); the full citation should be restored.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The core outage derivations and Monte Carlo checks appear sound, but the two central selling points need careful rework: the TAPS optimality claim is overstated and the 'global UB for any selection strategy' statements in Theorems 1 and 4 are not justified as written. I believe the paper is salvageable with a substantial revision that weakens the overclaims and adds the missing comparisons, but the current version should not be accepted as is."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The headline for arXiv:2608.00724 is: solid outage bounds and a genuinely simple heuristic, but the marketing claim that TAPS reaches the Pareto knee exactly is not supported and is likely not true.\n\nWhat is new: the three selection strategies (MBS, JBS, TAPS) for a UAV-mounted FAS in a symbiotic backscatter/WPCN setting, plus parameter-free upper/lower outage bounds for composite and backscatter links under Nakagami-m fading, an asymptotic analysis identifying diversity and coding gains, and a mobility-overhead formula. The bounds match Monte Carlo, and the observation that the backscatter uplink Nakagami parameter m_g is the diversity bottleneck is clean. The mobility analysis is essentially a rearranged inequality, but it gives a useful O(1/N) design trade-off.\n\nThe main soft spot is the abstract and Section V claim that TAPS achieves \"identical performance\" to the epsilon-constraint knee point in one step. That is not proven. TAPS is a per-realization threshold filter; epsilon-constraint minimizes long-term outage subject to a budget on the other outage. These are different problems. A per-realization threshold is stricter than an aggregate outage budget, so TAPS will generally sit inside the front, not on the knee. The text itself calls TAPS a heuristic in Section VI, which is the right description. Fig. 5 shows a single point near the knee, which is not evidence of equality. The authors should either prove equivalence or revise the claim to \"closely approaches the knee region\" with a measured gap.\n\nTwo smaller issues. Theorem 1 states a global upper bound for \"any FAS selection strategy,\" but the derivation is just the single-port CDF. A strategy that deliberately picked the worst port would have higher outage; the single-port CDF is not a worst-case bound. They likely mean \"for the proposed strategies\" or \"for any selection at least as good as random.\" Also, the ideal-SIC assumption at the cluster head is stated but not stress-tested. It is standard in the backscatter literature, but it is load-bearing for the quantitative results; a paragraph on how residual interference shifts the curves would help.\n\nOverall, the analytical core looks sound and the simulations back it up. The issues are about framing and overclaiming, not faked derivations. I would send this to peer review with a request to fix the TAPS claim and clarify Theorem 1. If your research touches FAS or ambient backscatter, it is worth reading.","headline":"Solid bounds and a clever low-complexity selection strategy, but the claim that TAPS exactly hits the Pareto knee is unproven and probably false as stated.","tokens_in":20433,"tokens_out":3065,"would_cite":false,"duration_ms":26792,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper claims that a single-step threshold-aware port-selection rule (TAPS) reaches the same optimal coexistence point of a UAV fluid-antenna backscatter network that an epsilon-constraint optimizer finds only through iteration.","keywords":["fluid antenna systems","symbiotic radio","UAV backscatter communications","port selection","outage probability","Pareto frontier","wireless power transfer","coexistence outage probability"],"falsifier":"Run the same Monte Carlo setup with a practical SIC model that leaves a controlled residual of the direct signal (for example a residual factor from $10^{-1}$ down to $10^{-3}$) and compare the backscatter outage curves with the paper's upper and lower bounds; visible divergence would show that ideal SIC is required for the claimed power savings.","tokens_in":19495,"feed_emoji":"📡","tokens_out":5881,"duration_ms":52716,"temperature":0.7,"pith_summary":"This paper tries to show that a single fluid-antenna port-selection rule, threshold-aware priority selection (TAPS), can satisfy both the energy-harvesting and backscatter-data links of a UAV-served symbiotic radio network at the same point on the trade-off frontier that an expensive epsilon-constraint optimizer finds. It derives upper and lower outage bounds for the composite and backscatter links, along with asymptotic expressions that split the gain into a diversity order set by the weakest Nakagami fading parameter and a coding gain from the fluid antenna ports. It also proves a mobility-feasibility condition: the full port-selection, computation, and feedback loop consumes under ten percent of the channel coherence time, with maximum UAV speed falling as O(1/N) in the number of ports. If these claims hold, a hovering UAV with a compact fluid antenna can cut required transmit power by about 60 percent compared with a fixed antenna while keeping coexistence outage near its Pareto-optimal value.","feed_headline":"One low-complexity port rule reaches the UAV-backscatter Pareto knee","feed_subtitle":"A fluid-antenna UAV can cut transmit power by 60% without iterative optimization loops.","key_machinery":"The load-bearing object is the TAPS selection rule, defined on the set K_valid of ports whose instantaneous backscatter SNR meets the data threshold: choose the best composite port among K_valid if it is nonempty, otherwise choose the port with maximum backscatter gain. The same logic is written as a vectorized penalty objective with an indicator function, giving zero iterative loops. Around it the paper builds global bounds machinery: an upper bound using phase-averaged interference, a lower bound under perfect phase alignment, and a Frechet-Hoeffding pair that sandwiches the coexistence outage between the maximum of the two link outages and the minimum of one and their sum. The asymptotic analysis reduces the composite outage to powers of gamma_th/gamma_bar with exponents m_D and m_min, and the BcS outage to $gamma_th^{{m_g}}$, identifying the uplink Nakagami parameter as the diversity bottleneck; the Jakes coherence-time inequality converts protocol latency into a bound on UAV velocity.","core_discovery":"The central discovery is that the Pareto frontier of the two conflicting outage objectives, composite received power for energy harvesting and backscatter SNR for tag data, is non-convex, so linear weighted-sum scalarization misses the true boundary. The TAPS strategy instead operates as a single-step filter: it first keeps only ports whose instantaneous backscatter SNR passes the data threshold, then maximizes the composite gain among those ports, falling back to maximum backscatter gain when no port passes. This realizes, in one pass with O(MN) complexity, the same knee-point that the epsilon-constraint method reaches by sweeping a grid. The outage analysis shows that at high SNR the diversity order is set by the Nakagami parameter of the tag-to-cluster-head uplink, while adding ports supplies a coding gain that grows from about 6.2 dB at N=10 to 8.5 dB at N=100. Placement optimization then shows the optimal hover point sits close to the IoT tag because the backscatter forward link is the bottleneck.","pith_inferences":["One stress test the paper leaves implicit: if the cluster head's SIC leaves a residual fraction of the direct link, the BcS SNR floor rises; re-deriving the bounds with an added residual term would show how much of the 60 percent power saving survives.","Because TAPS's valid-port set depends on channel severity, a testable extension is to measure TAPS's gap from the epsilon-constraint frontier as the number of extreme fading realizations grows.","Since the optimal hover point sits near the tag, a natural next step is a tracking version of TAPS for a moving tag, where port selection and UAV position update within the coherence budget derived in the paper.","The same priority logic could transfer to other link pairs with a hard constraint and a secondary objective, such as FAS-assisted sensing and communication coexisting on one platform."],"forward_implications":["TAPS reproduces the epsilon-constraint Pareto knee-point in a single step, so real-time UAV operation does not need iterative multi-objective solvers.","Asymptotic BcS outage shows a coding gain that grows with port count but a diversity order fixed by the tag-uplink Nakagami parameter m_g; adding ports alone cannot raise the diversity slope of the backscatter link.","The protocol feasibility bound implies a concrete engineering trade: doubling the number of FAS ports halves the maximum permissible UAV speed for a fixed coherence budget.","At the simulated geometry, moving from a fixed antenna to a 20-port FAS lowers required transmit power from about 37.1 dBm to roughly 33 dBm, a 60 percent power saving that extends flight endurance.","The COP bounds are tight enough to separate placement decisions from link weights, so the same COP map can guide hover-point selection for different energy and data priorities."],"supporting_citations":[{"why":"Introduces fluid antenna systems and their port-selection diversity, the hardware object the paper builds on.","marker":"[3]"},{"why":"Establishes the FAS-enabled UAV WPCN model and simulation parameters used throughout.","marker":"[7]"},{"why":"Defines symbiotic radio and backscatter reuse of the primary waveform, the communication paradigm studied here.","marker":"[12]"},{"why":"Characterizes the FAS-assisted symbiotic-radio capacity Pareto boundary that the paper extends to outage reliability.","marker":"[20]"},{"why":"Supplies the spatial correlation coefficient formula for the FAS ports.","marker":"[24]"},{"why":"Provides the composite received-signal model for FAS backscatter that underlies the outage derivations.","marker":"[25]"},{"why":"Gives the Jakes coherence-time expression used for the mobility feasibility bound.","marker":"[28]"},{"why":"Provides the probability-union bounds used to sandwich the coexistence outage probability.","marker":"[36]"}],"fun_headline_variants":["Single-pass port rule hits Pareto knee, cuts power 60%","One-step filter matches multi-step optimizer on outage frontier","TAPS: one-pass selection reaches the Pareto knee in O(MN)","Ditch weighted-sum: port filter gets the outage knee directly"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the cluster head can perform ideal successive interference cancellation, removing the direct-link signal perfectly before decoding the backscatter signal; any residual direct-link interference lowers the backscatter SNR and shifts every outage result.","fun_headline_variants_meta":{"raw":{"variants":["Single-pass port rule hits Pareto knee, cuts power 60%","One-step filter matches multi-step optimizer on outage frontier","TAPS: one-pass selection reaches the Pareto knee in O(MN)","Ditch weighted-sum: port filter gets the outage knee directly"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00122,"raw_usage":{"total_tokens":5051,"prompt_tokens":1010,"completion_tokens":4041,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":626,"completion_tokens_details":{"reasoning_tokens":3969}},"tokens_in":626,"tokens_out":4041,"duration_ms":27816,"temperature":1.0,"reasoning_tokens":3969,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T15:17:13.776504+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run the same Monte Carlo setup with a practical SIC model that leaves a controlled residual of the direct signal (for example a residual factor from $10^{-1}$ down to $10^{-3}$) and compare the backscatter outage curves with the paper's upper and lower bounds; visible divergence would show that ideal SIC is required for the claimed power savings.","supporting_citations":[{"cited_title":"Fl uid antenna systems,","cited_arxiv_id":null,"evidence_quote":"Introduces fluid antenna systems and their port-selection diversity, the hardware object the paper builds on."},{"cited_title":"Fas enabled uav f or energy- efficient wpcns,","cited_arxiv_id":null,"evidence_quote":"Establishes the FAS-enabled UAV WPCN model and simulation parameters used throughout."},{"cited_title":"Symbi otic radio: Cognitive backscattering communications for future wirel ess networks,","cited_arxiv_id":null,"evidence_quote":"Defines symbiotic radio and backscatter reuse of the primary waveform, the communication paradigm studied here."},{"cited_title":"Progressive optimization framework for fluid a ntenna- assisted symbiotic radio systems,","cited_arxiv_id":null,"evidence_quote":"Characterizes the FAS-assisted symbiotic-radio capacity Pareto boundary that the paper extends to outage reliability."},{"cited_title":"Closed-form expressions for spatial correlation parameters for performance analysis o f fluid antenna systems,","cited_arxiv_id":null,"evidence_quote":"Supplies the spatial correlation coefficient formula for the FAS ports."},{"cited_title":"Performance analysis of fas-aided noma-isac: A backscatt ering sce- nario,","cited_arxiv_id":null,"evidence_quote":"Provides the composite received-signal model for FAS backscatter that underlies the outage derivations."},{"cited_title":"Multimodal environment-aware 3d a daptive scheduling for uav-enabled fluid antenna systems,","cited_arxiv_id":null,"evidence_quote":"Gives the Jakes coherence-time expression used for the mobility feasibility bound."},{"cited_title":"Frechet optimal bounds on the probability of a union with supplementary information,","cited_arxiv_id":null,"evidence_quote":"Provides the probability-union bounds used to sandwich the coexistence outage probability."}],"review_version":2}