arXiv subjects

Hui Li

Publications and source records attributed to Hui Li.

At least 37 records · Page 2Linked to original sources

arXiv2026

Uniformly convex stalks and Kucher's $\ell_{\infty}(E)$ problem

Kucher asked whether $\ell_{\infty}(E)$ is a Grothendieck space for every super-reflexive Banach space $E$. We answer this question affirmatively by proving the stronger result that $\ell_{\infty}(E)$ has Pełczyński's property $(V)$. Combined with the natural dual representation of $\ell_{\infty}(E)$, this yields that every non-weakly compact operator on $\ell_{\infty}(E)$ fixes a copy of $\ell_{\infty}$. The main ingredient is a general property-$(V)$ theorem for function modules over zero-dimensional compact Hausdorff spaces with stalks admitting a common modulus of uniform convexity. The proof is based on Gierz's integral representation of functionals and the weak compactness of the associated canonical measures. In the case of $\ell_{\infty}(E)$, the relevant stalks are ultrapowers of $E$, and super-reflexivity provides the uniform geometric control required by the theorem. We also derive several consequences for operators on $\ell_{\infty}(E)$, including weak compactness into separable spaces, reflexivity of separable quotients, and compactness of operators into Schur spaces.

math.FA↗

arXiv2026

CircuitGate: Logic-Consistent Circuit-Level Functional Modeling for And-Inverter Graphs

And-Inverter Graphs (AIGs) are fundamental representations for logic synthesis and verification in Electronic Design Automation (EDA). As structured representations of complex digital systems, AIGs require models to capture functional dependencies beyond local structure and remain robust to functionality-preserving transformations. In learning-based AIG representation, existing approaches are predominantly based on GNNs and rely on local gate-level message passing, limiting their ability to capture circuit-level functional context and making the learned representations sensitive to topology-specific patterns. Therefore, we propose CircuitGate, a function-aware AIG representation learning framework that advances from gate-level semantics to circuit-level functional modeling. CircuitGate explicitly encodes global primary-input (PI) support and models support-overlap-aware reconvergence between fanins, while incorporating logic-inspired Boolean constraints to encourage functionally consistent representations. We evaluate CircuitGate on the large-scale ForgeEDA benchmark and further validate it on the EPFL and ITC'99 benchmarks. Across equivalent-gate identification and signal-probability prediction tasks, CircuitGate consistently outperforms existing methods, achieving up to 21.7% and 14.2% reductions in MAE, respectively. Under direct ForgeEDA-to-OpenABC transfer without fine-tuning, CircuitGate also achieves the best equivalent-gate identification performance, demonstrating strong cross-dataset generalization. These results demonstrate the effectiveness of modeling circuit-level functional dependencies beyond local topology.

cs.LG↗

arXiv2026

Joint Workflow and Prompt Optimization for User Behavior Simulation

User behavior simulation is the computational modeling of user interactions within information systems through the use of simulated agents in place of live users. It supports system testing and evaluation, decision-making and forecasting, and user experience design. Existing simulators rely on hand-crafted rules or domain expertise that transfers poorly across tasks. SWORD (Simulation-driven Workflow and Prompt Optimization with Role-based Design) is introduced as a framework that jointly optimizes multi-agent workflow topology and natural-language prompts. It is guided solely by a scalar task metric, without domain initialization or task-specific engineering. The experimental results demonstrate that SWORD achieves statistically significant gains over prompt-only, workflow-only, and staged-optimization baselines under a controlled, identical-backbone comparison. Against the strongest published domain-specific baseline, SWORD further improves accuracy while using a smaller backbone model, substantially less training data, and a very reasonable API cost (\$4--\$6 for each dataset). Beyond predictive performance, SWORD autonomously discovers domain-relevant signals, review-sentiment mapping rules and epidemiological decay priors, purely from scalar error feedback, establishing textual gradients as a mechanism for unsupervised feature-importance discovery in user behavior modeling.

cs.MA↗

arXiv2026

Well-Typed ComfyUI Cannot Go Wrong: Gradual Refinement Types for Generative-AI Workflow Graphs

Generative-AI workflows are programs assembled from independently developed models and operators. Their correctness depends on relationships among model families, tensor geometry, control modalities, and quantization levels. In ComfyUI, these relationships can be violated even when every connection is accepted by its validator, causing expensive runtime crashes or silent failures. To measure how often such semantic composition failures occur, we classify all 8,766 issues and 1,368 discussion threads of ComfyUI's GitHub repository with an LLM, checked for cross-model agreement. They account for 8\% of issue reports and 21\% of issue-tracker runtime failures, and 32\% of them are silent. Because execution cannot reliably reveal those failures, we present ComfyTy, a gradual refinement type system that checks component compatibility before execution as a compositional property of workflow graphs. Each node declares a reusable schema that states which model families, sizes, modalities, and quantizations it accepts and produces. Wiring nodes together combines their schemas into constraints, which ComfyTy solves to find and report incompatibilities. To evaluate ComfyTy, we first inject faults into official ComfyUI workflows and execute every resulting graph. ComfyTy detects 66.4\% of the confirmed injected faults, all of which ComfyUI's own validator admits. On real workflows across more model families, it raises no false alarm on 765 known-good workflows and detects 67\% of 108 failures rebuilt from user reports. Finally, in a user study with 10 participants, its diagnostics raise fault-localization accuracy on faulty workflows from 35.0\% to 87.5\% and repair accuracy from 30.0\% to 62.5\%.

cs.PL↗

arXiv2026

MuseCritic: Learning Multi-Aspect Song Rewards through Natural-Language Aesthetic Critiques

Long-form song generation models continue to improve in duration, structural coherence, and acoustic complexity, increasing the need for reliable aesthetic rewards aligned with human preferences. However, reward models for complete songs remain limited, and existing evaluators typically predict scores in a single forward pass without readable explanations. To this end, we introduce MuseCritic, a semi-scalar reward model that generates a natural-language critique covering five aesthetic dimensions and uses it as an intermediate representation to predict continuous reward scores. MuseCritic follows a two-stage training pipeline: a teacher model first provides high-quality critiques for supervised fine-tuning, then the fine-tuned model generates its own critiques for reward learning, mitigating training-inference distribution shift. On an in-domain test set of 200 SongEval songs, MuseCritic reduces macro-averaged mean squared error from 0.2875 to 0.2316 and improves macro-averaged LCC, SRCC, and Kendall's tau to 0.9068, 0.8838, and 0.7178, respectively. On the out-of-domain Music Arena benchmark with 733 preference pairs, it achieves 71.35% accuracy and remains competitive with strong music-specific reward models. Using MuseCritic with GRPO also improves Muse-0.6B on all nine aesthetic metrics from SongEval and Audiobox Aesthetics. These results show that critique-conditioned reward modeling reduces scoring error and provides an effective optimization signal for song generation. The project repository is available at https://github.com/WuqnEl/MuseCritic.

cs.SD↗

arXiv2026

Do Submillimeter Galaxies Trace Megaparsec Large-scale Structures? -- An Overdensity Analysis of 449 Submillimeter Galaxies in COSMOS

We present an environmental analysis and overdensity catalog for a large sample of submillimeter galaxies (SMGs) in the COSMOS field in order to understand whether SMGs are signposts of megaparsec-scale overdensity structures. We apply the Poisson Probability Method (PPM) protocluster finder to characterize the significance ($σ$) and overdensity value ($δ$) of any overdense structures surrounding specific 'beacon' galaxies. These beacons include 449 SMGs from A3COSMOS (including 168 with spectroscopic redshifts, 52 of which have CO or [CII] 158$μ$m line detections), as well as a control sample of over 5000 main-sequence star-forming galaxies (SFGs) selected from the 40-band photometric-redshift catalog in COSMOS2025. We successfully reproduce 15 known protoclusters and clusters in COSMOS (including Hyperion large-scale structure, CL J1001+0220 at z~2.5, and AzTEC-3 protocluster at z~5.3), and report 26 new PPM-based high-overdensity ($δ$ $\geq$ 5), high-significance ($σ$ $\geq$ 5), robust candidates. We measure an overdensity fraction of 11.5-71.2% (1.3-61.0%) in the CO/[CII] 52 SMG (full 449 SMG) sample with different criterion categories, confirming that SMGs are signposts of overdensities compared to the control SFG sample. We also notice that the fraction is lower than 100%, indicating that not all SMGs are associated with overdensities. We thus inspect the JWST morphology and argue that the triggering of starburst in SMGs must have non-environmental mechanisms, for instance, merger and violent disk instability. Finally, we further conduct a spatial distribution analysis, finding that the location of SMGs in overdensities has a redshift evolution, with SMGs being more concentrated in the inner regions of overdensities at higher redshift.

astro-ph.GA↗

arXiv2026

Implicit Q-learning-bootstrapped ant colony optimization for maritime moving-target observation scheduling with agile satellites

Maritime moving-target observation scheduling with agile Earth observation satellites is a dynamic, sequence-dependent combinatorial optimization problem. Sea-surface targets move continuously, causing feasible observation windows to vary with target motion and satellite orbital geometry. The scheduler must jointly determine task selection, satellite assignment, observation-window selection, and observation ordering under time-window, attitude-maneuvering, and onboard-resource constraints. This paper proposes an implicit Q-learning-bootstrapped ant colony optimization method, termed IQACO, for multi-satellite maritime moving-target observation scheduling. Rather than directly learning a task-selection policy, IQACO embeds an offline implicit Q-learning module into constructive ant colony optimization to adaptively adjust the pheromone factor, heuristic factor, and evaporation rate. A compact search-state representation captures pheromone distribution, current and historical-best solution quality, and iteration progress. During online scheduling, ant colony optimization constructs feasible observation sequences, while the learned policy adjusts the search behavior according to the current search state. Experiments on 14 scenarios with different scales and satellite configurations show that IQACO consistently outperforms the compared algorithms, improving the mean objective value over conventional ant colony optimization by 2.86%-9.41%. Further comparative and supplementary experiments demonstrate its effectiveness and robustness across different scheduling conditions and problem settings. These results indicate that offline value learning provides an effective adaptive search-control mechanism for constrained maritime moving-target observation scheduling.

cs.AI↗

arXiv2026

MeteoVerse: Unified Weather-Controllable Video World Model

Video world models aim to predict future content from an observed scene while following prescribed camera motion. Real-world scene evolution is determined not only by changes in viewpoint and object dynamics, but also by environmental conditions such as weather, which can substantially alter scene appearance and visibility. Modeling such realistic weather evolution is challenging because the required weather modification depends jointly on the observed and desired weather states. Depending on their relation, the model may need to preserve, introduce, or remove a weather effect. Existing video world models typically leave this weather transition implicit, forcing the generation backbone to infer weather evolution together with scene dynamics and camera motion, which leads to imprecise weather control. To address this limitation, we propose MeteoVerse, a unified weather-controllable video world model that generates future videos from a single sunny or adverse-weather image, conditioned on a weather-free scene description, a target-weather instruction, and a camera trajectory. Rather than conditioning only on the desired weather, MeteoVerse explicitly estimates the observed and target weather states and represents the required weather transition. A transition-aware mixture of weather experts then translates this transition into category-specific residual weather features, unifying weather preservation, introduction, and removal while enabling fine-grained control over introduced weather intensity. We further construct the MeteoVerse dataset with over 50K real-world weather video clips, generated sunny counterparts, disentangled scene and weather descriptions, weather-intensity annotations, and camera trajectories. Extensive experiments demonstrate substantially improved weather controllability while retaining competitive scene consistency and camera-control performance.

cs.CV↗

arXiv2026

SIFARI: Self-Supervised Interferometric Fitting for Astronomical Radio Imaging

Radio-interferometric images are reconstructed from sparsely sampled visibilities, and CLEAN-based imaging can struggle with spatial filtering, complex morphologies, and uncertainty quantification. Alternative methods that fit visibilities directly can address some of these limitations but often require manual choices of image priors and model hyperparameters. We present SIFARI (Self-Supervised Interferometric Fitting for Astronomical Radio Imaging), a self-supervised neural network workflow that represents sky brightness as a continuous function of position and fits measured visibilities without an external image training set or explicit spatial regularizer. An empirical rule sets the Fourier feature scale from the visibilities before training, controlling how readily the network fits fine structure. Sampling network weights with Stochastic Weight Averaging-Gaussian (SWAG) gives approximate brightness uncertainty estimates, which we combine with a thermal-noise floor to construct spatially resolved signal-to-noise maps. In synthetic ALMA tests, SIFARI yields an effective point-source response about eight times narrower than the natural-weighting CLEAN restoring beam and recovers more extended flux than CLEAN when short baselines are missing. It also achieves higher image fidelity than the restored CLEAN images in all three morphology benchmarks. Applied to ALMA observations of PDS 70, SIFARI recovers the bright outer ring together with faint compact emission in the central cavity. For long-baseline-only WISPIT 2 data, SIFARI supplies a sky model for phase self-calibration where the CLEAN model is inadequate. The restored, self-calibrated SIFARI image has approximately 30% lower RMS noise than the CLEAN image made from the original visibilities without self-calibration.

astro-ph.IM↗

arXiv2026

What Does It Mean to Forget a Person? Individual-Level Unlearning in Vision-Language Models

Erasing individual identities from Vision-Language Models (VLMs) is uniquely challenging because personal data is entangled across modalities rather than stored as isolated attributes. However, existing multimodal unlearning benchmarks primarily evaluate attribute-centric forgetting, overlooking the more critical objective of individual-level unlearning: eliminating a model's ability to access, link, and reconstruct target-related information across modalities. To address this gap, we propose IDUnlearn-Bench, the first benchmark for individual-level multimodal unlearning in VLMs. It represents each individual as connected multimodal evidence and evaluates four task families: attribute access, identity access, identity binding, and identity reconstruction. Experiments on representative VLMs and unlearning methods show that successful attribute-centric forgetting often leaves substantial identity-level knowledge intact and can be non-monotonic: reducing one form of risk may amplify another. Models may suppress selected information while still identifying the target, linking records, or reconstructing the individual. These findings reveal a fundamental gap between forgetting information about a person and forgetting the person as a whole.

cs.CR↗

arXiv2026

On $L^p$ bounds for the Littlewood-Paley $g_α$ function with fractional poisson kernel

Let $0<α\leq1$, and let $g_α$ be the Littlewood-Paley function associated with the fractional Poisson kernel, which reduces to the classical $g$-function when $α=1$. We establish dimension-free $L^p$ bounds for $g_α$ for every $1<p<\infty$ and identify its exact $L^2$ norm as $\sqrt{α/2}$. We further determine the precise asymptotic behavior of the weak-type $(1,1)$ constant as $n\to\infty$, yielding quantitative upper and lower bounds in terms of the dimension.

math.FA↗

arXiv2026

CompAdapt: Adaptable Composite Motion Modeling for Physics-Consistent Text-to-Video Generation

While diffusion-based text-to-video (T2V) models have demonstrated impressive capability in generating realistic and temporally coherent videos, they often fail to respect fundamental physical dynamics. Although recent physics-constrained methods incorporate explicit dynamics priors to improve physical plausibility, they remain limited to simple single-type motions, depend on manually specified parameters, and struggle to generalize to unseen physical laws. In this work, we propose CompAdapt, a physics-consistent T2V framework for adaptable generation across complex real-world scenarios. It extends neural dynamics modeling beyond single-type motions to encompass composite physical behaviors, including coupled motions, multi-stage transitions, and multi-object collisions. Furthermore, CompAdapt translates natural language prompts into structured physical semantics, enabling end-to-end specification of motion types, temporal relations, and initial physical parameters. To generalize to novel physical environments, CompAdapt introduces dynamics-aware prior matching, achieving one-shot adaptation without retraining the core dynamics module. In addition, a physics-aware latent feature fusion module improves visual fidelity under fast and complex motion. Experiments on physics-focused T2V benchmarks demonstrate that CompAdapt improves physical consistency over both general T2V models and physics-constrained baselines, while preserving high visual quality and adaptability to unseen dynamics. The project page is available at https://makapic.github.io/CompAdapt/ .

cs.CV↗

arXiv2026

The Entangling of Supernova Feedback Impacts with Coarsening Simulation Resolution

It is often understood that supernova (SN) feedback in galaxies is responsible for regulating star formation (SF) and generating gaseous outflows. However, a detailed look at the small-scale effects of SNe on the interstellar medium (ISM) in simulations shows that the macroscopic processes of SF suppression and outflow generation proceed in distinct channels. We demonstrate this finding in two independent simulations of isolated dwarf galaxies with very high (m_gas ~ Msun) numerical resolution, LYRA and RIGEL. Our findings suggest that the macroscopic effect of a given SN on the galaxy is best predicted by its local density. Outflows are driven by SNe in diffuse regions expanding to their cooling radii on large (~kpc) scales, while dense SF regions are disrupted in a localized (~pc) manner. However, these separate feedback channels are only distinguishable at very high resolutions capable of following mass scales \lesssim 10^2 \msun. When averaging on coarser scales, ISM densities are greatly mis-estimated, and variations between different SF and SNe-affected regions are severely washed out. It therefore cannot be __self-consistently__ determined, from coarse-resolution information __alone__, (1) whether a SN tends to contribute to outflows or direct SF suppression, and (2) the rate of SF in a given region. In particular, commonly used parameters in coarse-resolution (subgrid) models, such as the SN cooling radius and SF density threshold, may require more detailed treatments informed by high-resolution studies.

astro-ph.GA↗

arXiv2026

Precursors, Pathways, and State-Dependent Reliability of Long-range ENSO Prediction in the CESM2 Seasonal-to-Multiyear Large Ensemble

Understanding the sources of ENSO prediction skill and error is essential for improving long-range climate prediction. Here we examine ENSO precursors in CESM2 Seasonal-to-Multiyear Large Ensemble (SMYLE) hindcasts initialized in February and August during 1970-2019, using ensemble sensitivity analysis and an extended nonlinear recharge oscillator (XRO) benchmark. SMYLE exhibits meaningful long-lead skill, with February-initialized predictions remaining skillful through the following winter, and August-initialized predictions retaining useful skill at the December target sixteen months ahead. However, the predictions are under-dispersive in a state-dependent manner. Rank histograms reveal overconfidence issues for strong ENSO events and a warm bias for weak events. February predictability arises from canonical Bjerknes feedback dynamics reinforced by subtropical-tropical interactions resembling the North Pacific Meridional Mode (NPMM). The best February-initialized predictions feature warm western Pacific subsurface anomalies and La Nina anomalies at initialization, with equatorially confined anomalies and relatively weak sensitivities to extratropical influences thereafter. Second-year ENSO predictability in August-initialized predictions instead emerges through a delayed pathway characterized by cross-basin preconditioning. Skillful cases begin with a cold tropical equatorial South Atlantic and a warmer tropical western Indian Ocean, while Pacific processes play a reduced role until the following year. SMYLE matches the skill of the cross-validated XRO at both December targets, and its sensitivities agree with the observationally fitted benchmark, though the Atlantic couplings appear misrepresented. These findings suggest that improving the initial Pacific state and cross-basin coupling fidelity in GCMs may help improve ENSO prediction.

physics.ao-ph↗

arXiv2026

Nonlinear Magneto-Optical Probing of Time-Reversal Symmetry Breaking

Solid-state harmonic generation provides a nonlinear probe of symmetries encoded in electronic wave functions. In the subgap and weak-injection regime, time reversal pairs the harmonic responses driven by fields of opposite ellipticity, strongly suppressing elliptical dichroism in time-reversal-symmetric crystals. We show that, in a magnetic crystal, spin-orbit coupling transfers time-reversal-symmetry breaking from the spin sector to the orbital wave functions and lifts this pairing through the geometric phases of the electric-dipole current. Semiconductor-Bloch-equation calculations for centrosymmetric bilayer Cr2Ge2Te6 predict pronounced third-harmonic elliptical dichroism that reverses with the magnetization. Under linearly polarized driving, SOC-induced geometric-phase accumulation generates a nonlinear transverse current and strongly enhances the harmonic rotation and ellipticity. These results identify the geometric phase as a key microscopic contribution to the nonlinear magneto-optical response. This work establishes helicity-resolved harmonic emission and nonlinear polarimetry as complementary probes of spin-orbit-coupled magnetic order.

physics.optics↗

arXiv2026

Reducing False Positives in Strong-Lens Searches with Generalized-Mean Consensus of Machine-Learning Ensembles in the Kilo-Degree Survey

Context. In wide-field surveys, the main challenge is not just classifier sensitivity, but the overwhelming number of false positives. Searching for strong lenses among millions to bilions of galaxies produces many contaminants, making the bottleneck for follow-up inspection and building statistically useful lens samples. Aims. We aim to improve the purity of strong-lens candidate selection in KiDS DR4 by combining several classifiers. The objective is to retain high completeness for known candidates while substantially reducing the fraction of non-lenses. Methods. We trained convolutional, Transformer-based, and hybrid classifiers, including Li ResNet+, Swin Transformer variants, Swin-MLP, and DemiLensNet. Their probabilistic outputs were combined at score level using averaging and a generalized mean consensus. The models were tested on simulated KiDS-like lens images and then evaluated on real KiDS DR4 lens candidates embedded in a non-lens sample. Results. On the simulated test set, ensembles show no advantage over the best single models. On the mixed real KiDS test set, the arithmetic mean reduces the false-positive rate at 90% completeness from 0.016-0.020 (the range spanned by the two best individual models) to 0.011 for the seven-model ensemble. The generalized mean reduces it further, to 0.007. Applied to the full LRG and BG samples at the same 90% completeness level, the generalized mean reduces returned candidates by roughly 50% for LRGs and 70% for BGs, relative to the best single model. After visual inspection, we obtain 170 new high-quality candidates (24 Class A and 146 Class B), together with 1706 Class C candidates. Conclusions. Our results demonstrate that the generalized mean consensus of an ML ensemble strategy provides a practical route to reducing the visual inspection workload while preserving a high recovery rate of promising strong-lens candidates.

astro-ph.GA↗

arXiv2026

Feeding the Circumplanetary Disk: 3D Simulations of Dust Filtration and Accretion in PDS 70 c

How circumplanetary disks (CPDs) capture and retain solids is central to constraining the timescale for formation of rocky satellites and interpreting submillimeter continuum observations around giant planets. Here, we investigate the transport of gas and dust from the circumstellar disk into the CPD, using PDS 70 as our fiducial example. Based on observation-driven parameters, we perform high-resolution 3D adaptive mesh refinement (AMR) hydrodynamic simulations including a multifluid dust component to study dust accretion onto planets with masses of 1 $M_\mathrm{J}$ and 2.5 $M_\mathrm{J}$. We find that the pressure maximum at the gap edge imposes strong, size-dependent dust filtration, drastically lowering the solid content of the accreting flow. The net dust-to-gas mass ratio of the material accreting onto the planet is reduced by roughly two orders of magnitude relative to the outer disk. Only small grains ($\lesssim 61 μ$m for the 1 $M_\mathrm{J}$ case and $\lesssim 10 μ$m for the 2.5 $M_\mathrm{J}$ case) are able to accrete efficiently onto the CPD. Despite this filtering, we show that a continuous inflow of small grains can still deliver sufficient mass to build the observed PDS 70 c CPD or a Galilean-like satellite system within a few million years. Because more massive planets more effectively prevent the accretion of large grains, the dust that reaches the CPD is dominated by small particles with low millimeter-wave opacities. Consequently, in the absence of grain growth, interpreting millimeter continuum measurements of CPDs around massive giant planets may require invoking larger total dust masses than typically assumed.

astro-ph.EP↗

arXiv2026

Supernova origin of galactic turbulence revealed by superbubbles

Supernovae (SNe) are among the leading candidates for powering galactic-scale turbulence. SNe drive expanding shells of neutral atomic hydrogen (HI) known as superbubbles. Due to the lack of a sensitive, dynamically complete, galaxy-wide census, superbubbles have not been used to quantify the galactic-scale turbulent energy budget. Here we present a combined Five-hundred-meter Aperture Spherical radio Telescope (FAST) and Jansky Very Large Array HI survey of the Andromeda galaxy (M31), the nearest giant spiral, with superior sensitivity and dynamical coverage. We identify 118 superbubbles across the entire disk of M31 with dynamical ages up to 40 Myr, consistent with the expected duration of SN activity in a star cluster and extending the age coverage well beyond previous surveys. Inferred from these superbubbles, the kinetic energy injection rates ($10^{49}$--$10^{51.5}$ erg kpc$^{-3}$ Myr$^{-1}$) from SNe closely match the turbulence dissipation rates derived independently from the same data, in both magnitude and spatial distribution. These results demonstrate that clustered SN feedback is sufficient to sustain galactic-scale turbulence, which shapes disk structure and influences galaxy evolution.

astro-ph.GA↗