arXiv ScienceSearch

arXiv subjects

Ao Zhou

Publications and source records attributed to Ao Zhou.

At least 19 recordsLinked to original sources

Characterizing the Landscape of Open-Source Satellite Software

Satellites have become fundamental components of modern technological systems, supporting critical infrastructure in communication, navigation, Earth observation, and scientific research. As space exploration advances and demand for satellite-enabled services grows, reliance on complex, heterogeneous satellite software continues to increase. A systematic understanding of the satellite software landscape is therefore increasingly important, yet existing studies still lack a comprehensive empirical examination. To address this gap, we present the first characterization study of open-source satellite software, examining its ecosystem and development practices. We mine and analyze 22,286 satellite-related GitHub projects through three research questions on popularity trends (RQ1), software goals (RQ2), and development practices (RQ3). First, we characterize the temporal evolution of projects and active developers, revealing increasing popularity. Second, through manual inspection of 646 projects, we construct a taxonomy of 43 software-goal categories spanning conceptual design, datasets, system implementation, simulation, testing, and tools. Third, we conduct an in-depth analysis of projects with source code, revealing a highly heterogeneous and task-specialized ecosystem with 66 programming languages and diverse implementation strategies. Finally, we summarize key findings and derive actionable implications for satellite developers and researchers.

cs.SE

EcoVLA: Energy-Efficient Device-Edge Co-Inference for Vision-Language-Action Models under Real-Time Constraints

Vision-Language-Action (VLA) models have emerged as a promising foundation for Embodied AI, but their high inference cost poses significant challenges for deployment in robotic systems. In practice, on-device inference is constrained by limited compute capacity and energy budgets, struggling to simultaneously satisfy real-time control and energy efficiency requirements. Alternatively, offloading the inference workload to an edge server is susceptible to fluctuations in system conditions, introducing unpredictable latency risks. Device-edge co-inference offers a promising solution, but systematic research tailored to VLA models remains scarce, particularly a unified co-inference framework that jointly addresses real-time constraints and system-level energy efficiency. Thus, we propose EcoVLA, an adaptive device-edge co-inference framework for VLA models that maximizes system energy efficiency under real-time constraints. EcoVLA first introduces a unified stage-level abstraction over different VLA paradigms, establishing an architecture-agnostic co-inference design space. It then formulates a joint device-edge-network latency and energy prediction model to enable rapid runtime evaluation of candidate co-inference schemes. Building on this, EcoVLA continuously selects the energy-optimal scheme satisfying real-time constraints with millisecond-level overhead, adapting to runtime variations in network and system states. Furthermore, EcoVLA incorporates a lightweight transmission mechanism for inter-stage intermediate tensors to reduce the communication overhead incurred by cross-device collaboration. Experimental results across VLA models show that EcoVLA improves system energy efficiency by up to 236% over existing co-inference approaches under a 20 Hz action output frequency constraint, while consistently maintaining SLO satisfaction under dynamic network and edge workload conditions.

cs.AI

Dynamic Distribution-Aware Uncertainty Tracking in Vision-Language Representation Learning

Uncertainty Quantification (UQ) aims to measure the reliability of model predictions, serving as a critical safeguard for deploying Vision-Language Models (VLMs) in safety-critical scenarios. Post-hoc approaches are widely adopted due to their lightweight nature, mapping the outputs of VLMs to uncertainty measures through learnable modules or inductive summarization. However, Post-hoc approaches remain inherently confined to fitting the failure patterns of the source domain, ignoring the dynamic nature of test distributions. To address this challenge, we propose a Dynamic Distribution-Aware Uncertainty Quantification framework (DDA-UQ) that shifts the paradigm from static mapping to a dynamic distribution-aware process. During training, we leverage a Gaussian Mixture Model to model the VVLMs'embedding space and extract distributional evidence, thereby dynamically deriving uncertainty estimates. During inference, the design dynamically responds to changes in the data distribution. Extensive experiments demonstrate that our approach significantly outperforms state-of-the-art methods.

cs.LG

CDCP: Conditional Diffusion Model with Contextual Prompts for Multi-task Offline Safe Reinforcement Learning

Multi-task offline safe reinforcement learning (RL) promises to learn a shared optimal safe policy from offline data across multiple tasks. This paradigm provides an effective means for the widespread application of RL in multi-task scenarios with high risk and interaction costs. However, the triple challenges of multi-tasking, safety constraints, and out-of-distribution (OOD) actions pose a significant hurdle for existing methods to ensure safety while maximizing reward returns. In this work, we propose a Conditional Diffusion model with Contextual Prompts (CDCP) to address these challenges. Concretely, we first rethink the requirements and challenges in current multi-task decision-making and control scenarios and establish the objectives of multi-task offline safe RL. Subsequently, we transform the multi-task constrained optimization problem into a conditional generation problem using the diffusion model. Based on this, we design a classifier-free guided cost-constraint strategy to provide flexible cost constraints and eliminate extrapolation errors from OOD actions via supervised learning. Additionally, we introduce a novel contextual prompting method to enhance multi-task representation accuracy and adaptability to unseen tasks. A gradient loss synchronization strategy is also introduced to eliminate gradient interference, improving training stability. Finally, extensive experiments demonstrate that the CDCP algorithm exhibits higher performance and safety in multi-task scenarios than the current state-of-the-art baseline methods. It meets different cost constraints without further training, providing a more flexible cost-constraint solution for the multi-task safe RL.

cs.LG

Multi-Label Test-Time Adaptation with Bayesian Conditional Priors

Multi-label recognition with frozen Vision-Language Models (VLMs) is brittle under distribution shift: standard zero-shot inference scores labels independently, ignoring co-occurrence structure and producing incoherent label sets where dominant concepts suppress weaker but compatible labels. We introduce Bayesian Conditional Priors (BCP) Estimation, a gradient-free test-time adaptation method that injects label dependency without tuning the backbone. BCP views zero-shot logits as a proxy for marginal posteriors under a fixed image-text likelihood and attributes shift-induced errors mainly to a mismatched label prior. For each test image, it selects a high-confidence anchor label and applies an anchor-conditioned Bayesian refinement. This update is closed-form in logit space and admits a pointwise mutual information (PMI) interpretation, explicitly promoting compatible labels and suppressing incompatible ones. BCP operates without target annotations by estimating anchor-conditioned priors online from the unlabeled test stream via lightweight second-order co-occurrence statistics, adding negligible overhead beyond a single forward pass. Across standard multi-label benchmarks and multiple CLIP backbones, BCP consistently outperforms strong TTA baselines, e.g., improving RN50 average mAP from 57.31 to 69.22 and ViT-B/16 from 62.61 to 71.79.

cs.CV

General framework for incoherent topological structured light and optical information encoding

Topology provides a powerful language for describing global invariants in physical systems, yet optical topology has been explored predominantly with fully coherent light. Recent studies have shown that incoherent light can host topological structures mediated by coherence singularities; however, a general framework for their construction and control has been lacking. Here, we introduce an incoherent Milnor polynomial, which establishes a theoretical framework for real-space incoherent topological structured light, in which topology and statistical coherence emerge as independent and jointly addressable degrees of freedom. This framework overcomes a fundamental limitation of coherent topological structured light, enabling arbitrary intensity engineering without altering the underlying topological configuration. Experimentally, we realize incoherent Hopf-linked and trefoil-knotted coherence singularities with programmable statistical coherence. We further demonstrate a robust optical information-encoding scheme inspired by Rubik's-cube-like rotations, where statistical coherence determines far-field intensity patterns associated with the cube's initial states, and topological structures govern controlled rotations acting as encryption keys. Our results advance incoherent topological structured light from a physical curiosity to a programmable photonic platform, opening new avenues for optical information encoding, statistical photonics, and coherence-engineered functionalities beyond coherent optical topology.

physics.optics

Addressing Imbalance in Multi-Label Data via Label-Specific Distance-based Oversampling

The complex imbalanced label distribution poses a crucial challenge to multi-label classification, as most classifiers are biased towards the majority class and high-frequent labels. Oversampling is an efficient and flexible solution that augments instances to provide a more balanced training dataset for multi-label classifiers. Most existing oversampling methods create synthetic instances in a heuristic way that essentially relies on neighborhood information retrieved using Euclidean distance within the entire feature space. However, they fail to consider the varying semantic relevance of features to different labels, leading to label inconsistency among proximate neighbors and further introducing label confusion and overfitting to synthetic instances. To overcome the above issue, we propose a novel sampling approach called Label-Specific Distance-based Multi-Label Oversampling (LSDMLO) that creates more useful and well-labeled synthetic instances to address the imbalance in multi-label datasets. LSDMLO derives the label-specific distance to identify label-consistent neighbors based on the weighted pertinent feature space, which facilitates selecting seed instances that express more label correlations in boundary areas and generating synthetic instances aligned with the label distribution of original data. The comprehensive experiments verify that the proposed LSDMLO outperforms the state-of-the-art multi-label sampling approaches under various base classifiers.

cs.LG

Coherence toroidal vortices and statistic-veiled correlation topologies

Toroidal vortices in fluid and gas dynamics underpin a broad spectrum of scientific and technological fields, from elementary particle physics to condensed matter systems, and have recently garnered significant attention in optics because of their inherent topological stability. Here we report the experimental observation of toroidal vortices in stochastic optical wavefields with partial coherence, termed coherence toroidal vortices, which eliminates deterministic topological signatures in conventional optical degrees of freedom while unveiling statistically hidden correlation topologies. These underlying topologies-including both fundamental and higher-order hopfionic textures-emerge exclusively in second-order field correlations and are accessible only through statistical measurements. We further examine the impact of chaotic channels on the stability of these statistically veiled correlation topologies, demonstrating that their topological invariants remain robust under realistic environmental perturbations. These findings are experimentally validated and offer novel insights into the potential of toroidal light vortices serving as controllable channels for directional energy and information transfer within complex media.

physics.optics

Thermodynamic modes of a quasiperiodic mobility-edge system in a quantum Otto cycle

We investigate thermodynamic operation of a quasiperiodic lattice with an exact mobility edge, described by the Biddle--Das Sarma model. We use this model as the working medium of a quantum Otto cycle and map its operating mode as a function of the hopping-range parameter $p$, the initial and final potential strengths $V_i$ and $V_f$, and two idealized protocols for the isolated strokes. In a near-adiabatic (state-frozen) protocol, where the density matrix is approximately unchanged during the isolated strokes, the cycle supports only two modes: a \emph{heater} and an \emph{accelerator}. In an adiabatic protocol, where level populations are preserved while the spectrum is deformed, two additional modes appear: a \emph{heat engine} and a \emph{refrigerator}. Our results show that mobility-edge systems can realize multiple thermodynamic functions within a single platform and provide guidance for switching between modes by tuning $p$, $V_i$, and $V_f$.

cond-mat.dis-nn

Focus-dLLM: Accelerating Long-Context Diffusion LLM Inference via Confidence-Guided Context Focusing

Diffusion Large Language Models (dLLMs) deliver strong long-context processing capability in a non-autoregressive decoding paradigm. However, the considerable computational cost of bidirectional full attention limits the inference efficiency. Although sparse attention is promising, existing methods remain ineffective. This stems from the need to estimate attention importance for tokens yet to be decoded, while the unmasked token positions are unknown during diffusion. In this paper, we present Focus-dLLM, a novel training-free attention sparsification framework tailored for accurate and efficient long-context dLLM inference. Based on the finding that token confidence strongly correlates across adjacent steps, we first design a past confidence-guided indicator to predict unmasked regions. Built upon this, we propose a sink-aware pruning strategy to accurately estimate and remove redundant attention computation, while preserving highly influential attention sinks. To further reduce overhead, this strategy reuses identified sink locations across layers, leveraging the observed cross-layer consistency. Experimental results show that our method offers more than $29\times$ lossless speedup under $32K$ context length. The code is publicly available at: https://github.com/Longxmas/Focus-dLLM

cs.CL

Wigner distribution, Wigner entropy and Quantum Refrigerator of a One-Dimensional Off-diagonal Quasicrystal

We investigate an off-diagonal quasicrystal featuring simultaneous off-diagonal and diagonal quasiperiodic modulations. By analyzing the fractal dimension, we map out the delocalization-localization phase diagram. We demonstrate that delocalized and localized states can be distinguished via the Wigner distribution, while extended, critical, and localized phases are separated using the Wigner entropy. Furthermore, we explore the quantum thermodynamic properties, revealing that localized states facilitate the emergence of a quantum heater mode, alongside the appearance of a refrigerator mode. These findings enhance our understanding of localization phenomena and expand the thermodynamic applications of quasiperiodic systems.

cond-mat.stat-mech

A joint voxel flow-phase field framework for ultra-long microstructure evolution prediction with physical regularization

Phase-field (PF) modeling is a powerful tool for simulating microstructure evolution. To accelerate the simulation of PF models governed by complex PDEs, machine learning methods such as PINNs and ConvLSTM have been introduced. However, current machine-learning-based approaches still suffer from limited flexibility, poor generalization, and short prediction horizons. To address these challenges, we present a joint framework that couples a voxel-flow network (VFN) with PF simulations in an alternating manner for long-horizon prediction of microstructure evolution with substantial computational acceleration. The VFN iteratively predicts future evolution by generating the next snapshot from the previous two snapshots. Periodic PF simulations suppress nonphysical artifacts, reduce accumulated error, and extend the reliable prediction horizon. The VFN was validated using a grain-growth example, and its accuracy outperforms that of similar prediction methods while preserving topological grain details. For an ultra-long grain-growth prediction of 82 frames from 2 input frames, the grain number decreases from 600 to 29 while the NMSE of the average grain area remains 1.64%. The framework also exhibits good generalizability across different PF models. Overall, this joint framework enables rapid, flexible, generalizable, and physically consistent microstructure forecasting from image-based data over ultra-long time scales.

physics.comp-ph

GCoDE: Efficient Device-Edge Co-Inference for GNNs via Architecture-Mapping Co-Search

Graph Neural Networks (GNNs) have emerged as the state-of-the-art graph learning method. However, achieving efficient GNN inference on edge devices poses significant challenges, limiting their application in real-world edge scenarios. This is due to the high computational cost of GNNs and limited hardware resources on edge devices, which prevent GNN inference from meeting real-time and energy requirements. As an emerging paradigm, device-edge co-inference shows potential for improving inference efficiency and reducing energy consumption on edge devices. Despite its potential, research on GNN device-edge co-inference remains scarce, and our findings show that traditional model partitioning methods are ineffective for GNNs. To address this, we propose GCoDE, the first automatic framework for GNN architecture-mapping Co-design and deployment on Device-Edge hierarchies. By abstracting the device communication process into an explicit operation, GCoDE fuses the architecture and mapping scheme in a unified design space for joint optimization. Additionally, GCoDE's system performance awareness enables effective evaluation of architecture efficiency across diverse heterogeneous systems. By analyzing the energy consumption of various GNN operations, GCoDE introduces an energy prediction method that improves energy assessment accuracy and identifies energy-efficient solutions. Using a constraint-based random search strategy, GCoDE identifies the optimal solution in 1.5 hours, balancing accuracy and efficiency. Moreover, the integrated co-inference engine in GCoDE enables efficient deployment and execution of GNN co-inference. Experimental results show that GCoDE can achieve up to 44.9x speedup and 98.2% energy reduction compared to existing approaches across diverse applications and system configurations.

cs.LG

High-Winding-Number Zero-Energy Edge States in Rhombohedral-Stacked Su-Schrieffer-Heeger Multilayers

We study the topological properties of rhombohedral-stacked N-layer Su-Schrieffer-Heeger networks with interlayer coupling. We find that these systems exhibit $2N$-fold degenerate zero-energy edge states with winding number $W=N$, providing a direct route to high-winding-number topological phases where $W$ equals the layer number. Using effective Hamiltonian theory and Zak phase calculations, we demonstrate that the winding number scales linearly with $N$ through a layer-by-layer topological amplification mechanism. We introduce the Wigner entropy as a novel detection method for these edge states, showing that topological boundary states exhibit significantly enhanced Wigner entropy compared to bulk states. Our results establish rhombohedral stacking as a systematic approach for engineering high-winding-number topological insulators with potential applications in quantum information processing.

cond-mat.dis-nn

Spatiotemporally Localized Optical Links and Knots

Optical links and knots have attracted growing attention owing to their exotic topologic features and promising applications in next-generation information transfer and storage. However, current protocols for optical topology realization rely on paraxial propagation of spatial modes, which inherently limits their three-dimensional topological structures to longitudinal space-filling. In this work we propose and experimentally demonstrate a scheme for creating optical knots and links that are localized in space within a transverse plane of a paraxial field, as well as in time. These spatiotemporal topological structures arise from polychromatic wave fields with tightly coupled spatial and temporal degrees of freedom that can be realized in the form of superpositions of toroidal light vortices of opposite topological charges. The (2+1)-dimensional nature of a toroidal light vortex imparts spatiotemporally localized wave fields with nontrivial topological textures, encompassing both individual and nested links or knots configurations. Moreover, the resulting topological textures are localized on an ultrashort timescale propagate at the group velocity of the wave packets and exhibit remarkable topological robustness during propagation as optical carriers. The nascent connection between spatiotemporally localized fields and topology offers exciting prospects for advancing space-time photonic topologies and exploring their potential applications in high-capacity informatics and communications.

physics.optics

Towards Affordable, Adaptive and Automatic GNN Training on CPU-GPU Heterogeneous Platforms

Graph Neural Networks (GNNs) have been widely adopted due to their strong performance. However, GNN training often relies on expensive, high-performance computing platforms, limiting accessibility for many tasks. Profiling of representative GNN workloads indicates that substantial efficiency gains are possible on resource-constrained devices by fully exploiting available resources. This paper introduces A3GNN, a framework for affordable, adaptive, and automatic GNN training on heterogeneous CPU-GPU platforms. It improves resource usage through locality-aware sampling and fine-grained parallelism scheduling. Moreover, it leverages reinforcement learning to explore the design space and achieve pareto-optimal trade-offs among throughput, memory footprint, and accuracy. Experiments show that A3GNN can bridge the performance gap, allowing seven Nvidia 2080Ti GPUs to outperform two A100 GPUs by up to 1.8X in throughput with minimal accuracy loss.

cs.DC

ACE-GNN: Adaptive GNN Co-Inference with System-Aware Scheduling in Dynamic Edge Environments

The device-edge co-inference paradigm effectively bridges the gap between the high resource demands of Graph Neural Networks (GNNs) and limited device resources, making it a promising solution for advancing edge GNN applications. Existing research enhances GNN co-inference by leveraging offline model splitting and pipeline parallelism (PP), which enables more efficient computation and resource utilization during inference. However, the performance of these static deployment methods is significantly affected by environmental dynamics such as network fluctuations and multi-device access, which remain unaddressed. We present ACE-GNN, the first Adaptive GNN Co-inference framework tailored for dynamic Edge environments, to boost system performance and stability. ACE-GNN achieves performance awareness for complex multi-device access edge systems via system-level abstraction and two novel prediction methods, enabling rapid runtime scheme optimization. Moreover, we introduce a data parallelism (DP) mechanism in the runtime optimization space, enabling adaptive scheduling between PP and DP to leverage their distinct advantages and maintain stable system performance. Also, an efficient batch inference strategy and specialized communication middleware are implemented to further improve performance. Extensive experiments across diverse applications and edge settings demonstrate that ACE-GNN achieves a speedup of up to 12.7x and an energy savings of 82.3% compared to GCoDE, as well as 11.7 better energy efficiency than Fograph.

cs.DC

Quantum Mpemba effect in quasiperiodic systems

We study a one-dimensional quasiperiodic tight-binding model with simultaneous off-diagonal (hopping) and diagonal (onsite) modulations. Using the inverse participation ratio and the wave-packet centroid, we construct localization-delocalization phase diagrams for both equilibrium and nonequilibrium steady states. We analyze the robustness of initial-state properties under dissipation and characterize dissipation-induced localization-delocalization transitions (and their reversals) in detail. Trace-distance dynamics provide evidence for a quantum Mpemba effect: states prepared farther from the steady state can relax faster than states initialized closer to it. We propose a starting-line hypothesis that explains the presence or absence of this effect across parameter regimes. These results advance the understanding of steady-state phase transitions and relaxation dynamics in dissipatively driven quasiperiodic systems.

cond-mat.dis-nn