{"id":"c10be001-f546-439c-bc1c-002b7473b190","arxiv_id":"2511.08125","paper_version":3,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"An alternating SDP-based optimization for power splitting and beamforming in DMA-aided MU-MISO SWIPT systems under Lorentzian-constrained holography reduces transmit power relative to baselines in simulations.","lead":"The paper develops an alternating optimization framework using semidefinite programming to minimize transmit power in DMA-aided multiuser MISO systems for simultaneous wireless information and power transfer while meeting SINR and energy harvesting targets under Lorentzian constraints. A smart generalist might read it to see how dynamic metasurface antennas could enable more efficient joint data and power delivery in future wireless networks.","discovery_kind":"new_application","skeptic_critique":{"model":"grok-4.3","headline":"Alternating optimization under Lorentzian constraint may produce solutions that violate SINR/EH thresholds, undermining the reported transmit-power reductions.","rationale":"The reader's weakest assumption directly identifies the same feasibility risk. Because the review was abstract-only, the concrete test above uses the now-available full text to check whether the numerical results actually confirm constraint satisfaction. This single verification step would either substantiate or refute the load-bearing simulation claim without requiring new experiments.","tokens_in":1690,"tokens_out":279,"duration_ms":13114,"concrete_test":"Re-run the final iteration of the alternating algorithm on the reported simulation parameters and compute the realized SINR and harvested power for each user; if any user falls below its target by more than 0.5 dB or 5 % respectively, the power-reduction claim weakens.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim rests on simulation results showing lower transmit power than baselines. The formulation uses alternating SDP-based optimization subject to the non-convex Lorentzian amplitude-phase constraint on each DMA element. Without explicit post-optimization verification that every user meets its minimum SINR and EH requirement (accounting for circuit noise and nonlinear EH), the power values could correspond to infeasible points. If the solver returns approximate or relaxed solutions that are then projected, the headline efficiency gain is not guaranteed.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"This paper claims to develop an alternating optimization framework based on semidefinite programming (SDP) for minimizing the transmit power in Dynamic Metasurface Antenna (DMA)-aided multi-user MISO systems performing simultaneous wireless information and power transfer (SWIPT) with power splitting. The optimization is subject to signal-to-interference-plus-noise ratio (SINR) and energy harvesting (EH) constraints, with the DMA elements tuned according to Lorentzian-constrained holography (LCH), including the adaptive-radius variant (ARLCH). The approach also considers nonlinear EH models and circuit noise, and simulation results are used to demonstrate reduced transmit power relative to baseline methods.","tokens_in":1797,"tokens_out":401,"duration_ms":31447,"significance":"Should the simulation results be shown to correspond to feasible points satisfying all constraints, the proposed method could offer a valuable contribution to the design of hardware-efficient SWIPT systems. DMA architectures inherently lower the number of required RF chains, and the incorporation of optimal power splitting along with advanced LCH schemes addresses key practical challenges in balancing information decoding and energy harvesting under realistic constraints.","major_comments":[{"comment":"The central claim rests on simulation results showing lower transmit power than baselines. However, the manuscript provides no explicit post-optimization verification that every user meets its minimum SINR and EH requirements after applying the Lorentzian amplitude-phase constraint and any projection from the SDP relaxation. This verification is load-bearing, as the alternating optimization may return approximate solutions that violate the original non-convex constraints when circuit noise and nonlinear EH are accounted for.","section":"Simulation Results"}],"minor_comments":[{"comment":"The abstract refers to integration of 'several LCH schemes' but specifies only ARLCH in detail; a brief enumeration of the schemes evaluated would improve clarity for readers.","section":"Abstract"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the constructive feedback on our manuscript. We address the major comment below and will revise the manuscript to incorporate the suggested verification for improved rigor.","responses":[{"response":"We agree that explicit post-optimization verification strengthens the presentation of the results. The alternating SDP-based framework incorporates the SINR and EH constraints directly into the optimization, with Lorentzian-constrained holography (including ARLCH) applied at each iteration and rank-1 approximations handled via standard randomization or projection techniques. However, to make this explicit and address the concern about potential violations due to approximations, circuit noise, and nonlinear EH, we will add a dedicated verification subsection in the revised manuscript. This will include computed achieved SINR and EH values for each user across the simulated scenarios, confirming that all constraints are satisfied after applying the final Lorentzian amplitude-phase mapping and any SDP projections. We will also report the maximum constraint violation (if any) to quantify feasibility.","revision_made":"yes","referee_comment":"[Simulation Results] The central claim rests on simulation results showing lower transmit power than baselines. However, the manuscript provides no explicit post-optimization verification that every user meets its minimum SINR and EH requirements after applying the Lorentzian amplitude-phase constraint and any projection from the SDP relaxation. This verification is load-bearing, as the alternating optimization may return approximate solutions that violate the original non-convex constraints when circuit noise and nonlinear EH are accounted for."}],"tokens_in":1336,"tokens_out":318,"duration_ms":29530,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The core contribution is a concrete alternating optimization that combines ARLCH with power splitting to minimize transmit power while meeting SINR and EH targets in a DMA setup. It folds in nonlinear energy harvesting and circuit noise, which moves past treating those pieces in isolation. The simulations report clear gains over baselines, and the use of SDP relaxation under the Lorentzian amplitude-phase limits is a reasonable way to handle the metasurface constraints. That part is solid and directly useful for anyone modeling DMA elements. The soft spot is verification: the abstract does not describe how the final points are checked to satisfy every user's SINR and EH thresholds after the alternating steps, especially with possible projection or relaxation gaps. If the solver outputs approximate solutions that are then adjusted, the headline power savings could shrink or disappear in practice. The stress-test concern about constraint violations is worth a close look in the full derivations and results. This paper is for researchers working on metasurface antennas and SWIPT architectures who want a ready design method rather than a broad theoretical advance. It is worth sending to peer review because the problem is well-posed, the approach is reproducible in principle, and the topic has engineering relevance, even if revisions will likely focus on tighter feasibility reporting and more simulation parameters.","headline":"The paper integrates adaptive-radius Lorentzian-constrained holography into a joint power-splitting and beamforming optimization for DMA-aided MU-MISO SWIPT, showing simulated transmit-power reductions, but the feasibility of the solutions under the non-convex constraints needs explicit post-optimization checks.","tokens_in":2276,"tokens_out":349,"would_cite":false,"duration_ms":15667,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[{"relation":"unclear","rs_module":"IndisputableMonolith/Cost/FunctionalEquation.lean","rs_theorem":"washburn_uniqueness_aczel","paper_passage":"The problem is solved via an alternating optimization framework based on semidefinite programming (SDP), where metasurface tunability follows Lorentzian-constrained holography (LCH). ... ARLCH ... projection based scheme for obtaining Lorentzian-constrained weights"},{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/AlphaCoordinateFixation.lean","rs_theorem":"J_uniquely_calibrated_via_higher_derivative","paper_passage":"Simulation results show that the proposed design significantly reduces transmit power compared with baseline methods"}],"headline":"Standard SDP alternating optimization for DMA beamforming under Lorentzian amplitude-phase constraint; no RS-shaped cost or forcing structure","alignment":"orthogonal","rationale":"The paper's machinery is an engineering SDP relaxation + projection (ARLCH/LCPH etc.) for minimizing transmit power subject to SINR/EH constraints in a wireless MISO system. It never invokes J-cost, ratio symmetry, golden-ratio ladders, 8-tick periodicity, or any parameter-free derivation of constants. The Lorentzian constraint q = (j + e^{jΦ})/2 is a hardware-specific circle in the complex plane, unrelated to the RS recognition cost J(x) = ½(x + x^{-1}) - 1 or its cosh formulation. Domain is therefore outside RS scope.","tokens_in":47744,"confidence":"high","tokens_out":357,"duration_ms":11652,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Optimal beamforming and power splitting in DMA-aided SWIPT systems minimizes transmit power under SINR and energy harvesting constraints using Lorentzian-constrained holography.","keywords":["SWIPT","DMA","MISO","beamforming","power splitting","Lorentzian-constrained holography","energy harvesting","metasurface antenna"],"falsifier":"Measuring the actual transmit power required in a hardware testbed with DMA elements to meet the same SINR and EH targets, and checking if it matches or exceeds the simulated values from the proposed method.","tokens_in":2588,"feed_emoji":"📡","tokens_out":629,"duration_ms":61880,"temperature":0.7,"pith_summary":"The paper develops a design for simultaneous wireless information and power transfer in multiuser MISO systems assisted by dynamic metasurface antennas. It minimizes the total transmit power while ensuring each user meets minimum signal quality and harvested energy levels. The approach uses alternating optimization with semidefinite programming to tune the metasurface elements under Lorentzian constraints that limit amplitude and phase. Simulations demonstrate lower power use than standard methods, especially with adaptive-radius Lorentzian-constrained holography and careful power splitting between information and energy paths. This matters because it shows how metasurface antennas can make energy-efficient SWIPT practical by reducing hardware needs like RF chains.","feed_headline":"DMA design slashes transmit power for SWIPT in MISO systems","feed_subtitle":"Optimal power splitting and beamforming under Lorentzian constraints meets user SINR and energy needs with less power than baselines.","key_machinery":"Alternating optimization framework using semidefinite programming under Lorentzian-constrained holography (LCH) for metasurface tunability, with optimal power splitting at receivers.","core_discovery":"The paper shows that an alternating optimization framework based on semidefinite programming, incorporating Lorentzian-constrained holography schemes such as adaptive-radius LCH, enables significant reduction in transmit power for DMA-aided MU-MISO SWIPT systems while satisfying SINR and EH requirements for co-located users.","pith_inferences":["Real-world DMA implementations might achieve similar efficiency gains if the holography model holds.","Extending this to distributed users or multi-cell scenarios could further cut overall network power consumption.","Testing with actual hardware prototypes would validate if the simulated power reductions translate to practice."],"forward_implications":["Transmit power can be reduced compared to baseline beamforming methods in DMA-assisted setups.","Optimal power splitting improves efficiency when combined with ARLCH for metasurface control.","Nonlinear energy harvesting models and circuit noise can be incorporated into the optimization without losing the power savings.","The design reduces reliance on traditional RF chains and phase shifters."],"fun_headline_variants":["DMA MISO SWIPT power minimized by SDP optimization under LCH","Alternating optimization meets SINR EH requirements in DMA SWIPT MISO","Beamforming design under Lorentzian holography for DMA MU-MISO SWIPT","Power splitting and beamforming designed for DMA MU-MISO SWIPT systems"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The Lorentzian-constrained holography model accurately represents the behavior of real dynamic metasurface antenna elements in the system.","fun_headline_variants_meta":{"raw":{"variants":["DMA MISO SWIPT power minimized by SDP optimization under LCH","Alternating optimization meets SINR EH requirements in DMA SWIPT MISO","Beamforming design under Lorentzian holography for DMA MU-MISO SWIPT","Power splitting and beamforming designed for DMA MU-MISO SWIPT systems"]},"model":"grok-4.3","cost_usd":0.012904,"raw_usage":{"total_tokens":5586,"prompt_tokens":634,"num_sources_used":0,"completion_tokens":79,"cost_in_usd_ticks":129037000,"prompt_tokens_details":{"text_tokens":634,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":4873,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":634,"tokens_out":79,"duration_ms":42575,"temperature":1.0,"reasoning_tokens":4873,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-17T23:53:41.909672+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Measuring the actual transmit power required in a hardware testbed with DMA elements to meet the same SINR and EH targets, and checking if it matches or exceeds the simulated values from the proposed method.","supporting_citations":[],"review_version":1}