arXiv ScienceSearch

arXiv subjects

Milad Bafarassat

Publications and source records attributed to Milad Bafarassat.

5 recordsLinked to original sources

Reliability- and Connectivity-Constrained Age-of-Information Optimization for UAV Swarm IoT Data Collection

Uncrewed aerial vehicle~(UAV) swarms provide a flexible platform for Internet of Things~(IoT) data collection by gathering delay-sensitive measurements from distributed sensor clusters and relaying them to a fusion center~(FC). Between successive updates, the FC estimates the current value of each monitored quantity; however, the estimation accuracy degrades as the last update ages. Such missions require jointly optimizing estimation accuracy, short-packet communication reliability, and swarm connectivity, yet existing approaches typically prioritize freshness while neglecting its impact on connectivity. This paper proposes a topology-coupled urgency~(TCU) scheduler that minimizes the FC's accumulated estimation error while incorporating the swarm's expected algebraic connectivity into the scheduling objective. The resulting connectivity reward encourages idle UAVs to reposition so as to preserve swarm connectivity. For each time slot, the resulting problem is a mixed-integer nonconvex program, which we solve by successive convex approximation. Specifically, the binary assignments are relaxed, while the connectivity reward is represented through a linear matrix inequality on the expected Laplacian. The finite-blocklength rate and the inter-UAV link reliability are linearized in the same convex subproblem, thereby preserving their coupling rather than separating them into alternating blocks. The integer assignments are subsequently recovered by Hungarian matching and verified against the original nonconvex constraints, while a deficit mechanism ensures long-term cluster coverage without requiring explicit long-horizon planning...

eess.SP

Mean Gain Is Not a Guarantee: Risk-Controlled Open-Loop Scheduling for Ka-Band LEO Semantic Downlinks

A low-Earth-orbit satellite has only minutes to downlink imagery on a limited power budget, and some moments in a pass carry far better channels than others. Spending more power on the good moments and skipping hopeless ones should deliver more images, but the channel cannot be measured in time, so the schedule is planned in advance from weather statistics using a safety margin. That margin is sized so the forecast is statistically reliable, and the scheduler is judged by whether it beats uniform power on average. Both targets are wrong for a satellite that gets one attempt per pass: on real Sentinel-2 imagery, a scheduler gaining one to two images per pass on average still delivers fewer than uniform power on a quarter to a third of individual passes, and a genie knowing the weather exactly does no better. We instead size the margin by measuring, on recorded passes, how often it would have backfired, keeping only settings that provably backfire rarely. The procedure declines to schedule our learned codec and certifies scheduling for codecs with a sharper cliff.

cs.IT

One-Bin Fourier Challenges for Dimension-Free Reconstruction Certification

Partial-Fourier measurement underlies computational imaging, and its reconstructions increasingly come from iterative or learned solvers whose recovery guarantees are conditional on a signal model, a sampling law, and solver accuracy. None of those guarantees transfers to a particular committed output: it can satisfy every acquired coefficient while remaining badly wrong in the unmeasured nullspace. Native Fourier holdout does not repair this, since a spectrally concentrated error is missed unless its bin is drawn, so uniform worst-case risk needs a number of hidden bins proportional to the dimension. We propose a post-commit acceptance test: secret finite-phase masks turn one fixed Fourier readout into dense randomized residual checks, and a median-of-means threshold handles calibrated readout noise. We prove that errors above $E_{\rm rej}$ are rejected and errors below $E_{\rm acc}$ are accepted with confidence $1-δ$ once $q\ge C(1+Nσ^2/E_{\rm rej})^2\log(1/δ)$, explicitly exposing the one-bin resolution floor $Nσ^2/\sqrt q$; in the zero-noise limit, QPSK gives $4^{-q}$ soundness versus $97.9\%$ minimax false acceptance for a worst-case ordinary-bin error. At a fixed noise-to-threshold ratio, measured screening false acceptance fell from about $21\%$ at 16 checks to $5\%$ at 64; a data-consistent learned nullspace failure with NMSE $0.200$ was rejected by $96.9\%$ of challenge banks while 16 ordinary bins missed it $98.9\%$ of the time; and error statistics at 16 checks stayed stable from 128 through $65{,}536$ dimensions. The test supports solver acceptance, model selection, and stopping certification, with a certified fresh-bank error interval.

eess.SP

Compressibility is not Feedback: A Random-access Gap in Causal Semantic Repair

Semantic feedback can repair a noisy first decode without retransmitting the whole message, but current end-to-end evaluations hide where a feedback design fails. An oracle that sees both the source-side state and receiver observation may describe a useful correction with few bits, while the receiver, which sees only its own observation, may not know which correction to request. We formulate these as distinct direct and receiver-constrained coding problems, connect repair distortion to retained local utility and prove a random-access separation: one direct bit is exact although receiver utility vanishes with the number of source-conditioned alternatives. A synthetic ladder verifies the exact law. In paired populations of eight Reuters text-JSCC codecs, the trained recurrent population retains over three times more direct 16-bit repair value than the trained DeepSC population despite comparable full-repair opportunity. Nevertheless, an entropy-valid receiver audit across all eight recurrent checkpoints does not resolve against repetition, source-only or shuffled-index controls. The results show that compressible repair is an upper bound, not evidence of deployable feedback, and motivate reporting both rate curves under matched resources.

cs.IT

STRIDE: A Tool-Assisted LLM Agent Framework for Strategic and Interactive Decision-Making

Large Language Models (LLMs) like GPT-4 have revolutionized natural language processing, showing remarkable linguistic proficiency and reasoning capabilities. However, their application in strategic multi-agent decision-making environments is hampered by significant limitations including poor mathematical reasoning, difficulty in following instructions, and a tendency to generate incorrect information. These deficiencies hinder their performance in strategic and interactive tasks that demand adherence to nuanced game rules, long-term planning, exploration in unknown environments, and anticipation of opponents' moves. To overcome these obstacles, this paper presents a novel LLM agent framework equipped with memory and specialized tools to enhance their strategic decision-making capabilities. We deploy the tools in a number of economically important environments, in particular bilateral bargaining and multi-agent and dynamic mechanism design. We employ quantitative metrics to assess the framework's performance in various strategic decision-making problems. Our findings establish that our enhanced framework significantly improves the strategic decision-making capability of LLMs. While we highlight the inherent limitations of current LLM models, we demonstrate the improvements through targeted enhancements, suggesting a promising direction for future developments in LLM applications for interactive environments.

cs.CL