2026-10-16 | | Total: 85
The human brain effortlessly deciphers colors and textures from visual stimuli and reconstructs the world around us, yet preserving such details remains challenging in image denoising. While significant progress has been made in generic image denoising, the problem of texture denoising has remained relatively under-explored. Fine details, such as intricate patterns and repetitive structures, often suffer from over-smoothing even in deep learning based approaches for denoising. In this paper, we analyze the behavior of state-of-the-art (SOTA) denoisers on texture datasets and show that performance improvements are possible only by fine-tuning the denoisers on the texture datasets. Surprisingly, fine-tuning on texture datasets result in the models catastrophically forgetting the original dataset. These findings highlight the need for specialized treatment of textures in denoising. Since denoising quality directly impacts downstream tasks such as generative modelling, we argue that dedicated texture aware denoisers are essential for faithful texture reconstruction and synthesis.
Stability issues in converter-dominated grids have a multifold nature, where static, small-signal and large-signal phenomena can influence each other. Capturing the interplay among these different stability aspects requires a rethinking of conventional modeling and analysis tools for power systems. As a further complication, Intellectual Property protection among manufacturers and system operators makes detailed converters and grid models unattainable. This motivates the use of data-driven approaches for stability analysis and control, nevertheless achieving an insightful representation of static, small-signal and large-signal phenomena from data still leaves many open questions. This paper discusses model-based and data-driven methodologies for stability analysis of converter-dominated grids. The instability mechanisms of static, small-signal and large-signal phenomena are conceptually explained, and the capability of different modeling and analysis tools to investigate them is examined. The effectiveness of data-driven methodologies to analyze instability phenomena in their multifold nature is debated, and the challenges on data completeness, model generalization under untrained conditions, physical interpretability, and uncertainty awareness are discussed.
We propose learned variable metric (LVM), a framework that learns metrics of proximal splitting algorithms adapted to each problem instance, coordinate, and iteration with a convergence guarantee. Proximal splitting algorithms can solve a wide variety of convex optimization problems but often require many iterations to converge. Choosing a suitable metric is an effective remedy, and variable metric theory naturally extends convergence guarantees to metrics that vary over the iterations. Learning is a promising way to design such adaptive metrics beyond the reach of manual design, but a naive implementation leads to (i) an expensive evaluation of a network at every iteration and (ii) difficulty in satisfying the conditions that the theory imposes on the whole infinite sequence of metrics. To resolve these difficulties, we first train a neural network to generate a few representative metrics once per problem instance, and then obtain the metric of every iteration by combining them with basis functions of the normalized iteration index. We present LVM for the proximal gradient method with a quadratic term and the primal-dual hybrid gradient method, and prove their convergence under a mild spectral condition, which is ensured by a rescaling of the representative metrics. In experiments on deblurring and inpainting, LVM reduces the number of iterations to reach a target accuracy in most tested settings compared with several baselines, and the computation time at high accuracies.
Safe multi-agent coordination typically assumes what real-world, deployed, resource-constrained robots cannot provide: continuous, perfect state sharing. Robust control strategies must be complemented with robust communication strategies to deliver resilient deployments. In this work, we propose a unified control/communication strategy that provides safe control to guarantee inter-agent safety under intermittent communication and demonstrate its effectiveness in a pursuit-evasion scenario. Each agent computes the reachable set of neighboring agents based on the last state information received, then solves for a safe control input based on control barrier functions to ensure agents avoid collision. We prove that inter-agent collision avoidance is guaranteed provided communication staleness remains bounded. As the reachable set inflates between state transmissions, each agent reasons about when to preemptively transmit its state information to neighboring agents based on novel metrics characterizing uncertainty risk and kinematic risk. We implement and simulate a variety of pursuit-evasion scenarios and show that preemptive communication reduces messages by 77.5% compared to periodic and event-triggered baselines with zero collisions.
Mine accidents can damage the wired backbone supporting underground wireless networks, forcing rescue teams to deploy temporary mesh nodes to maintain communication with the surface. Although higher carrier frequencies can support bandwidth-intensive applications such as live video, multimode propagation within mine tunnels produces severe, spatially localized fading. Movable antennas can mitigate these fades by adjusting antenna position; however, moving all antennas on a multi-link relay node simultaneously may improve one link at the expense of another. This paper introduces QuadBeam, a compact mesh node antenna system comprising four independently positionable 2.4~GHz patch antennas mounted on the side faces of a central hub, together with a 900~MHz monopole for backup voice communication. A preliminary prototype incorporates one motor-driven patch mount and three manually adjustable mounts. Bench measurements show interelement coupling below $-46$~dB between patches on adjacent faces. Measurements at five carrier frequencies from 2.40~GHz to 2.48~GHz in the Edgar Experimental Mine reveal 19~dB to 26~dB received-power variations across transmitter and receiver separations of 8.3~m to 18.3~m. Adjusting the receiver height over approximately 20~cm yields received-power improvements of up to 22~dB. Repositioning neighboring patches and removing or reinstalling the monopole produce no noticeable change in the active link. These results demonstrate the potential of independently positioned antennas to alleviate spatial fading in underground mesh communications.
Online identification of frequency response functions is increasingly relevant for control and monitoring of high-performance systems whose dynamics may change during operation. In modern machines, however, continuously transmitting all locally acquired measurements to a central unit for identification can impose substantial communication demands, particularly as sensing rates and the number of subsystems increase. This paper develops an event-triggered data-selection approach for remote frequency-domain identification, in which periodically acquired measurements are evaluated locally and transmitted only when relevant. The selection mechanism combines information about the current estimation uncertainty with evidence of model mismatch, reducing communication while preserving identification accuracy and responsiveness to changes in the dynamics.
In integrated sensing and communication (ISAC) systems, communication and sensing share time-frequency resources, creating a fundamental trade-off between communication quality of service (QoS) and quality of sensing (QoSe). Reusing 5G new radio (NR) reference signals (RSs) enables standard-compliant sensing, but their inherent sparsity leads to undersampled channels and strong sidelobes that degrade weak-target detection. Compressed sensing (CS) can mitigate these effects, yet existing methods either overlook communication QoS constraints or rely on reconstruction algorithms that are step-size-sensitive or employ global thresholding, leading to weak-target masking in multi-target scenarios. The multi-target detection problem, therefore, requires a joint design of resource scheduling and CS-based reconstruction. In this work, we investigate the impact of two scheduling schemes, namely QoS-guaranteed scheduling and proportional-fairness (PF)-based scheduling, on the sensing-communication trade-off. To further enhance sensing performance, we employ a 2D max-median complex approximate message passing (2D-mmCAMP) algorithm that performs adaptive row- and column-wise thresholding to suppress sidelobes while preserving weak-target responses in multi-target scenarios. Simulations demonstrate an improvement of >= 16% in weak-target detection over baseline reconstruction algorithms while meeting downlink (DL) QoS constraints, validating the effectiveness of the proposed NR-compliant ISAC scheme.
Ambiguity function (AF) characterizes the delay--Doppler sidelobe structure that governs target resolution and masking in radar sensing. In ISAC, however, random communication symbols make the AF data-dependent, complicating its characterization and incorporation into transmit design. This raises a fundamental question: which AF characteristic can be effectively controlled through beamforming in a practical multiuser multitarget (MUMT) MIMO--OFDM system? To answer this, we statistically characterize the discrete-periodic AF (DP-AF) and derive an exact closed-form expected sidelobe level (ESL). We observe that nonzero-Doppler ESL cuts are delay-flat and the full two-dimensional integrated sidelobe level ratio (ISLR) is invariant to beamforming, whereas the zero-Doppler peak-to-sidelobe ratio (PSLR) remains controllable. We accordingly formulate an AF-aware joint beamforming and subcarrier-allocation problem with target-wise PSLR and illumination constraints. Since the direct PSLR constraint is intractable, we characterize its global optimum and prove that, for symbol kurtosis greater than one, the PSLR is maximized if and only if each target-wise directional-power profile is flat across subcarriers. We then introduce the coefficient of variation (CV) to measure deviation from this flatness and derive tight CV-dependent PSLR bounds. The lower bound yields a convex sufficient constraint for a desired PSLR, enabling an efficient reformulation. Simulations show $9.4$--$11.0$ dB worst-case PSLR gains over communication-only beamforming at the flat-spectrum point with a $2.4$--$5.9\%$ sum-rate loss. The CV-relaxed formulation achieves $99.7\%$ of the average sum-rate of the original PSLR-constrained problem, while reducing runtime by factors of $10.35$--$12.15$ under the considered scenarios.
Vision-aided beam tracking reduces mmWave beam-training overhead by predicting beam indices from camera observations. Fixed top-$K$ selection, however, assigns the same candidate beam budget to all predictions, ignoring uncertainty variations across samples and horizons. This letter proposes confidence-guided adaptive candidate selection: predictor logits are temperature-calibrated, and the smallest top-ranked beam set whose cumulative probability reaches a target threshold is retained under a maximum budget. On DeepSense~6G Scenario~8, over five random seeds and at matched overhead, the policy improves candidate set accuracy by up to 3.80 percentage points, increases normalized received power by 0.32 percentage points, and reduces outage probability by 2.06 percentage points without retraining the predictor.
Speech enhancement systems are commonly trained using randomly sampled mini-batches, which may contain limited diversity in intrinsic acoustic characteristics of the clean speech signals. Motivated by previous findings linking clean speech characteristics to enhancement performance, we propose a feature-stratified mini-batch sampling strategy that divides training examples into quantiles according to a clean-speech characteristic and enforces equal representation within each mini-batch. Experiments across two large-scale English and Spanish speech datasets and a smaller dataset containing neurotypical and pathological speech demonstrate improvements over standard random mini-batch sampling across multiple objective enhancement metrics. Ablation studies demonstrate that the gains are robust across training runs, while their magnitude depends on the acoustic characteristic used for stratification. The proposed strategy requires no modification to the enhancement model or training objective, providing a simple and complementary approach to speech enhancement training.
This paper studies optimal energy conversion in port-Hamiltonian systems. We analyze state- and control-constrained finite-horizon optimal control problems that maximize energy conversion efficiencies. Under suitable reachability conditions, we show that the asymptotic optimal efficiencies exist and coincide with the corresponding optimal cyclic efficiencies. For a class of port-Hamiltonian systems describing coupled storage-conversion components, we further derive intrinsic limits on achievable energy conversion and establish a generalized Carnot-type efficiency bound. Our results provide an optimal-control framework connecting asymptotic optimal operation, cyclic operation, and fundamental efficiency limits for port-Hamiltonian systems.
Model-based formal verification of industry-relevant Cyber-Physical Systems (CPSs) is often a computationally prohibitive task. In most cases, the complexity of the models precludes any prospect of symbolic analysis, leaving numerical simulation as the only viable option. Unfortunately, exhaustive simulation of a CPS model over the entire set of plausible operational scenarios is rarely possible in practice, and alternative strategies such as Statistical Model Checking (SMC) must be used instead. In this article, we show that the number of model simulations (samples) required by SMC techniques to converge can be significantly reduced by considering multiple (an ensemble of) Adaptive Stopping Algorithms (SAs) at once, and that the simulations themselves (by far the most expensive step of the entire workload) can be efficiently sped up by exploiting massively parallel platforms. With three industry-scale CPS models, we experimentally show that the use of an ensemble of two state-of-the-art SAs (AA and EBGStop) may require dozens of millions fewer samples when compared to running a single algorithm, with reductions in sample size of up to 78%. Furthermore, we show that our implementation, by massively parallelizing system model simulations on a HPC infrastructure, yields speed-ups for the completion time of the verification tasks which are practically linear with respect to the number of computational nodes, thus achieving an efficiency of virtually 100%, even on very large platforms. This makes it possible to complete tasks of model-based SMC verification for complex CPSs in a matter of hours or days, whereas a naïve sequential execution would require from months to many years.
This paper proposes sensing-assisted OFDM with index modulation (SA-OFDM-IM) for joint communication and localisation over optical wireless systems. In SA-OFDM-IM, a multilayer frequency-domain architecture partitions each layer's admissible subcarriers into disjoint communication and distributed sensing-pilot subsets, applying group-wise index modulation (IM) within the communication subset. A constrained sensing-to-communication energy allocation jointly minimises average bit-error rate (BER) and delay-based localisation root mean square error (RMSE) under a minimum power-domain margin, enabling low-complexity, ordered-energy detection of both sensing and communication subcarriers without exhaustive maximum-likelihood search. Sensing tones are aggregated across the frame to reconstruct the channel frequency response, yielding the line-of-sight (LoS) delay tap and phase-compensated LoS gain for multilateration and, via the proposed delay-aided received signal strength (RSS) refinement. Simulation results indicate that SA-OFDM-IM can achieve up to 5 dB lower SNR requirement in BER and up to three orders of magnitude lower channel-estimation error than DC-biased optical OFDM, while the RSS estimator removes the SNR-independent error floors of delay-only and hybrid-RSS benchmarks to attain sub-delay-bin range and position accuracy, remaining robust under random known and unknown receiver orientations.
This paper considers the problem of policy-gradient transfer from a simulator to a physical plant when both are controlled through the same fixed state estimator. The plant and the simulator are partially observed nonlinear systems with additive Gaussian noise of common known covariance whose dynamics and observation models differ, and the controller is a squashed Gaussian policy with uniformly bounded latent mean and first two parameter derivatives. We derive a bound on the difference between the plant and simulator policy gradients that is linear in the noise-weighted model error and requires no estimator-accuracy guarantee, because the shared estimator is a common post-processing of the measurements and the data-processing inequality compares the trajectory laws without an estimation-error term. Based on this bound, we derive an occupancy-weighted refinement, a sufficient condition for the simulator gradient to be an ascent direction for the plant, and a bound on the expected squared plant gradient at a random iterate of a finite simulator-training run with optimization, truncation and model-error terms. Simulation results on a scalar system and a pendulum are presented to validate the theoretical results.
Objective: Absolute auditory attention decoding (aAAD) aims to track how strongly a listener attends to a single speech source using electroencephalography (EEG). Unlike selective auditory attention decoding, aAAD lacks a competing speech reference, making reliable attention tracking challenging. Approach: We propose a fully unsupervised aAAD pipeline combining neural envelope tracking (NET) with hidden Markov model (HMM)-based temporal inference. Using EEG signals and the target speech envelope, the framework estimates a continuous attention trajectory without explicit attention-state labels. We evaluate the approach using EEG recordings from 30 adults, investigate the impact of analysis window length, and compare HMM post-processing with moving-average (MA) smoothing and alternative EEG features. Main results: With 1-s analysis windows, non-causal HMM post-processing improves the area under the receiver operating characteristic curve (AUC) for all 30 participants, increasing mean AUC from 0.547 for raw NET to 0.832. A 5-s window achieves the highest mean AUC of 0.858. Compared with non-causal MA smoothing, the HMM achieves higher AUC across the examined smoothing scales. Individual switch detection times are comparable, while the HMM generally achieves lower group-level detection times. NET also outperforms alpha power and spectral entropy as an observation feature in the unsupervised HMM framework. Significance: The proposed framework provides a label-free approach for estimating temporal fluctuations in auditory attention, demonstrating the utility of probabilistic temporal inference for continuous attention tracking in single-speaker listening scenarios.
Although the amplitude estimation of sinusoids is a linear and tractable problem when their frequencies are known, the accuracy of signal modeling is fundamentally limited by the inevitable frequency mismatches produced by existing methods. Quasi-harmonic modeling (QHM) and its extensions (aQHM and eaQHM) offer the ability to refine frequency estimates while extracting amplitudes; however, their extraction and correction capabilities remain limited. In this paper, we first revisit QHM methods from the perspective of frequency mismatches, and reveal that their performances are essentially constrained by the order of the model. Specifically, QHM methods are linear models and thus incapable of capturing higher-order frequency variations, leading to suboptimal modeling accuracy. Second, to address this limitation, we propose a higher-order modeling framework that enables more precise approximation of signal components. Eventually, we qualitatively characterize the optimization problem and employ the Levenberg--Marquardt (LM) algorithm for parameter estimation. As a result, the proposed method allows for significantly improved estimation of amplitudes, frequencies, and phases of sinusoidal components, enabling more accurate signal modeling. Experiments on both simulation study and speech signals demonstrate the superiority of the high-order model in frequency refinement and parameter extraction and its robustness under additive noise conditions.
The synchronization signal block (SSB) is designed to synchronize a capable user-equipment (UE) with the base-station (BS) in recent cellular networks. However, the same SSB cannot be utilized by a narrowband, low-complexity, and low-power internet of things (IoT) device for synchronization. To address this limitation, this paper proposes a dual-purpose SSB (DP-SSB) to enable low-complexity IoT synchronization using the existing SSB, while ensuring uninterrupted conventional UE operation. Specifically, selected demodulation reference signal (DMRS) symbols are contiguously mapped to some physical resource blocks (PRBs) in the second and fourth symbols of the DP-SSB. These DMRS symbols are further optimized using a receiver-aware least square (LS) approach to impose a distinct time-domain structure at the output of the IoT front-end. At the IoT receiver, a reduced-rate observation of the DP-SSB is obtained after narrowband filtering and decimation that is exploited for energy detection and sequential time-frequency (TF) synchronization. For the UE, primary synchronization signal (PSS) and secondary synchronization signal (SSS)-based synchronization is preserved, while the effect of relocated DMRS on the channel estimation and physical broadcast channel (PBCH) reception is assessed. The performance of the proposed DP-SSB is evaluated in terms of detection probability, TF synchronization accuracy, IoT receiver computational complexity, and UE-side PBCH decoding. Simulation results validate the analytical detection characterization and demonstrate reliable low-power IoT synchronization performance compared with the benchmark synchronization schemes while maintaining conventional UE operation.
Orbital angular momentum (OAM) beams provide a spatial-multiplexing dimension for wireless communications, but multipath scattering broadens their mode spectrum, so that energy leaks across modes as inter-mode interference (IMI), which conventional OAM demultiplexing discards. This paper treats the leaked modal energy not as interference but as a structured, harvestable resource: it attains up to $LK$-fold asymptotic diversity under independent-branch fading and yields harvested energy under the rank-limited per-tap fading of the operating channel. Each active OAM mode is colored with a distinct time-domain orthogonal spreading code, and a two-dimensional (2D) receiver grid spanning the OAM modes and the resolvable multipath delays jointly combines the despread outputs. The design builds on the Bessel order-difference coupling law of tilted OAM beams, summarized by a Gaussian mode-diffusion model with a mode-coherence metric that quantifies the surviving orthogonality, and on an effective diversity metric that separates the combining gain available at finite signal-to-noise ratio (SNR) from the asymptotic diversity order. At 28~GHz, with a four-mode eight-element uniform circular array (UCA) and four resolvable multipath taps, the proposed 2D modal-time Rake lowers the bit-error rate (BER) by one to three orders of magnitude and saves roughly 10--15~dB of required SNR over mode-wise detection and mode-domain zero-forcing (ZF) and minimum mean-square error (MMSE) detection, and it also outperforms an uncolored modal-time MMSE equalizer; the advantage survives the spectral-efficiency cost of spreading as well as channel-estimation and timing imperfections.
With wireless transmission exposing information to potential interception by unintended receivers, physical layer security (PLS) offers a promising approach to securing wireless communications. Beamforming can mitigate this vulnerability by exploiting the spatial characteristics of wireless propagation to concentrate power toward the intended receiver while suppressing it at potential eavesdroppers. However, as wireless systems enter the radiating near field of large-aperture antenna arrays, the resulting wavefront curvature provides additional opportunities for spatial wavefront engineering to enhance PLS. In this work, we investigate the use of different beam types for PLS, including focused, curved, abruptly autofocusing, and cosine beams, generated using uniform linear and planar arrays (ULAs/UPAs). To quantify their performance, we introduce power-based metrics that characterize the power received by the legitimate user and a potential eavesdropper. For all beam types we introduce focusing along the vertical UPA direction, to independently control the phase distributions along the two UPA dimensions and enhance the power discrimination between the legitimate receiver and the eavesdropper. We also propose hollow-focused beams, in which an inactive strip is introduced in the transmitting aperture to create a protected low-power region between the transmitter and the legitimate receiver. The results demonstrate that vertical focusing dramatically enhances the PLS performance and that hollow-focused beams achieve superior PLS performance in both line-of-sight (LoS) and vicinity-of-user (VoU) scenarios.
Joint Acoustic Scene Classification (ASC) and Audio Tagging (AT) models traditionally rely on unconstrained multihead architectures. However, this design ignores the natural hierarchical dependency between sounds and acoustic scenes. In this work, we investigate a hierarchical (sequential) conditioning paradigm that predicts scene categories directly from intermediate event probabilities. Through a large-scale empirical benchmark with 66 full training runs across three state-of-the-art backbones (PaSST, PANNs, and BEATs) and different loss-weighting settings (beta in [0.0, 1.0]), we show that hierarchical conditioning achieves competitive classification performance while altering multitask optimization dynamics. Unlike multihead baselines, which sequentially solve the easier ASC task before optimizing AT, the hierarchical architecture enables synchronized dual-task learning for specific loss-weighting settings (beta in [0.6, 0.9]). Furthermore, we propose a multi-perspective interpretability framework that combines an analysis of the information bottleneck, manifold geometry, and Formal Concept Analysis (FCA) on a Term-Frequency Inverse-Document-Frequency (TF-IDF) event representation, providing complementary insights into event-scene relationships. Our findings reveal that hierarchical conditioning systematically yields lower conditional entropy, higher mutual information, and superior latent cluster separability (higher Silhouette scores), establishing a more structured and semantically faithful intermediate feature space.
Cooperative multi-agent semantic communication requires deciding not only how a transmitter encodes its observation, but also which resulting semantic content should be delivered to each receiver under a limited link budget. We introduce an encoder-agnostic transmitter-side framework for receiver-specific valuation of independently selectable semantic units, termed semantic atoms. Each atom is assigned a signed value that quantifies whether delivering it is expected to improve or degrade the intended receiver's downstream decision. We formulate this effect through a controlled-delivery utility and identify it via prospective randomized payload delivery before the receiver acts. A shadow receiver estimates this utility using only transmitter-available information, from which receiver-specific leave-one-out (LOO) and Shapley atom values are computed. Experiments on a four-receiver intersection benchmark show 68.4% accuracy in recovering the sign of non-negligible LOO atom effects and a Spearman correlation of 0.302 between estimated and reference LOO values. Under limited budgets, we show that receiver-specific selection consistently outperforms shared and random alternatives, demonstrating the benefit of adapting semantic ranking to the intended receiver. At full affordability, exhaustive subset selection also outperforms full-payload transmission, showing that transmitting all available content need not maximize receiver utility. Overall, our results show that receiver-specific semantic valuation can support effective budget-constrained communication despite imperfect atom-value estimation.
Human face-to-face conversation requires coordinating speech, gestures and expressions across both speaking and listening. We present ELLSA 2, an end-to-end full-duplex dialogue model that jointly optimizes speech interaction and streaming gesture-expression generation. An autoregressive, chunk-wise synthesizer combines pretrained acoustic features with distinct listening and speaking hidden states from the dialogue backbone and speech synthesizer, enabling continuous non-verbal generation even when the model is verbally silent. To translate dialogue understanding into vivid semantic gestures, we introduce contextual semantic calls and template guidance, separating whether to invoke an available semantic gesture from how to realize it. We also establish a curated data and evaluation pipeline for dialog-aware co-speech gesture generation and investigate reference-based multimodal large language models (MLLMs) as automatic judges. Experiments show that ELLSA 2 remains highly competitive with open-source full-duplex speech interaction models and outperforms cascaded baselines across dialog-aware gesture and expression metrics. Semantic template guidance further significantly improves semantic gesture quality. Strong system-level correlations with human judgments support these reference-based scores as useful preliminary metrics for full-duplex and semantic gesture assessment. Together, these results advance dialogue modeling from spoken responses toward coordinated multimodal interaction.
Multi-contrast X-ray computed tomography (CT) combines attenuation contrast with phase and dark-field contrast, which are sensitive to refraction and ultra-small-angle scattering, respectively. Common implementations record several intensity measurements per projection angle by phase or mask stepping, which lengthens acquisition and, at a fixed exposure per measurement, raises the dose. Limited-data acquisition via sparse angular sampling or reduced stepping lowers these costs but makes the data less informative, calling for prior information and uncertainty quantification. We study joint Bayesian reconstruction of attenuation, phase, and dark-field images from separately retrieved sinograms. A joint total variation term in the prior couples edge locations across the images but not their values. Posterior sampling with the No-U-Turn Sampler complements maximum a posteriori estimates with pixel-wise uncertainty. We compare this joint prior with channel-wise total variation alone on synthetic and experimental Talbot-Lau interferometry data under full, sparse-angle, sparse-step, and combined acquisition (up to 24 times fewer exposures). Both maximum a posteriori reconstructions suppressed undersampling artifacts, with synthetic relative errors 1.6-11 times lower than those of filtered backprojection. The joint prior gave modest synthetic accuracy gains, a cleaner experimental dark-field background, 23-30 % lower mean dark-field posterior standard deviation, and 4-38% higher median effective sample size in experimental limited-data runs. In the synthetic study, posterior standard deviations matched or exceeded the errors in flat regions but underestimated them at boundaries, especially in phase. Experimental phase chains mixed slowly under angular undersampling. The formulation also applies to edge illumination with adapted forward and noise models.
Vertiports must accommodate electric vertical takeoff and landing (eVTOL) aircraft with different climb capabilities and crosswind tolerances. However, conventional runway based departure criteria do not exploit the directional freedom of vertical takeoff. This paper proposes a framework that evaluates every departure azimuth and identifies usable and preferred departure directions for each climb capability. Each azimuth is evaluated by its obstacle clearance from surrounding urban buildings and its wind operability based on ten years of wind observations. Three climb angle layers reflect differences in climb capability among aircraft. Four weighting scenarios between obstacles and wind reveal how operational priority affects the preferred departure direction. In an application to Suseo station and the Jamsil heliport in Seoul, steeper climbs widened the usable azimuths from 8.9 to 34.4% and from 66.1 to 83.6%, respectively. By relaxing obstacle constraints, steeper climbs also shifted the preferred direction toward the prevailing wind at lower wind weights. These results show that vertiport departure paths should be planned as a set of candidate directions matched to the obstacles and wind of the site and the climb capability of the aircraft, rather than as a single runway style path.
Fluid antenna receivers can select a service position from partial port observations, but finite historical data leave uncertainty in the covariance used for that decision. We develop deployment-before-use reliability certification for a frozen partial-observation rule. A proper predictive density defines a history-based parameter region. Gaussian covariance envelopes, shared conditional-probability bounds and selector enclosures provide simultaneous risk bounds over continuous parameters and discontinuous port decisions. Separate history-coverage and integration budgets limit erroneous positive certification to 0.05 for a single qualification procedure under the stated stationary model and numerical assumptions. Confidence-set inclusion allows a new independent history to reuse the risk computation with the rule unchanged. In a structured Gaussian example with 32 candidate positions, five noisy probes and target outage 0.001, all 282 risk groups are qualified; the largest upper bound is 0.000999748. A separate coupled comparison gives a current-rule outage interval of $[7.6820,9.1266]\times10^{-4}$ and resolves lower outage than two observed-port controls using the same historical fit. One independently recalibrated history reuses the certificate without additional risk sampling. Unresolved and adverse-member controls delimit this reuse.