arXiv Science⌕ Search

arXiv subjects

Jie Li

Publications and source records attributed to Jie Li.

At least 73 records · Page 4Linked to original sources

Power growth of mean-L-stable operators on Banach spaces

We study the growth of powers of mean-L-stable operators on Banach spaces. We show that, for linear operators, mean-L-stability is equivalent to uniform boundedness in density; this yields $\|T^n\|=O(n)$ on every Banach space. On Hilbert spaces we prove that mean-L-stability is equivalent to absolute Cesàro boundedness and obtain $\|T^n\|=O(n^{1/2-c_T})$ for some $c_T>0$. For positive mean-L-stable operators on abstract $L^p$-spaces, $1\le p<\infty$, we similarly obtain $\|T^n\|=O(n^{1/p-c_T})$, where in both cases the positive constant $c_T$ cannot be chosen uniformly over all such operators. For positive mean-L-stable operators on $p$-convex Banach lattices, we prove the bound $O(n^{1/p})$ and construct positive topologically mixing operators $T_p$ for which $\|T_p^n\|\asymp n^{1/p}$, where $1\leq p<\infty$. These operators satisfy a uniform weak $(p,p)$ orbit estimate, while the averages of $\|T_p^nx\|^s$ are bounded for $s p$. The operator $T_1$ is uniformly Kreiss bounded and has linear power growth, answering a question of Montes-Rodríguez, Sánchez-Álvarez and Zemánek (2005). Moreover, $T_1$ is mean-L-stable and mean Li--Yorke chaotic, while it is not distributionally chaotic. This answers a question of Bernardes, Bonilla and Peris (2020).

math.FA↗

SCExAO/CHARIS High-Contrast Pre-Launch Vetting of Roman Coronagraph Technology Demonstration PSF Reference Stars

We present deep, SCExAO/CHARIS high-contrast integral field spectroscopy and archival imaging of four candidate Roman Coronagraph PSF reference stars within/near the Roman Continuous Viewing Zone and potentially suitable for the Coronagraph's key technology demonstration targets HIP 71618 and HIP 54515. For CHARIS data, we achieve 5-$σ$ contrasts down to $\sim$1.4$\times$10$^{-5}$, $\sim$6$\times$10$^{-6}$, and 10$^{-6}$ to 4$\times$10$^{-7}$ at 0\farcs{}16, 0\farcs{}25, and 0\farcs{}5 to 1\arcsec{}. Companion mass limits rule out brown dwarfs at $ρ$ $\sim$ 0\farcs{}15--0\farcs{}25 and massive planets at wider separations around all targets. More critically, for three of the four references our analysis disfavors companions with $V$ band contrasts brighter than 10$^{-8}$, 10$^{-9}$, and $10^{-10}$ at 0\farcs{}15, 0\farcs{}3, and 1$\arcsec{}$. Unless these targets have faint substellar companions within $ρ$ $\sim$ 0\farcs{}15, they likely lack background stars or companions that could corrupt the Roman Coronagraph's dark hole digging to preclude detecting reflected-light planets. For $α$ Cep, our limits are a factor of $\sim$10 worse but still meet the TTR5 limit of 10$^{-7}$ beyond $ρ$ $\sim$ 0\farcs{}25: beyond 0\farcs{}4, they exclude a Jupiter-twin reflected-light companion (10$^{-9}$). Archival Keck/NIRC2 data likewise find no substellar companions with $Δ$V $>$ 10$^{-8}$ at wider separations. Finally, we assess the observability of HIP 71618 and HIP 54515 -- updated for Roman's launch date of August 30, 2026. Adding $γ$ Boo -- not currently in the Roman CPP team reference-star list -- would improve schedulability for the tech demo's key targets.

astro-ph.EP↗

TEMPO: Makespan-Aware Expert-Parallel Load Balancing Across Memory- and Compute-Bound Regimes

In expert-parallel (EP) MoE serving, every layer synchronizes at the slowest GPU. Dispatchers balance token counts (EPLB, LPLB, UltraEP) or activated-expert counts (METRO), assuming expert time is linear in one. Measurements on two datacenter GPU generations show it is neither: below $n^* \approx 156$--$168$ tokens, HBM weight streaming dominates---cost attaches to $activated replicas$, not tokens; above it, grouped GEMM rounds tokens to 128-tile $M$-tiles, so $splitting$ an expert adds padded compute. A max-affine profile $t=\max(a+bG,\,c+βN)$ captures both regimes. Realistic decode batches hold hot experts in the linear regime and cold in the flat $simultaneously$; recorded batches show proxy dispatches differ by $1.4$--$1.6\times$ in modeled block time (p95 up to $1.7\times$), and $which$ proxy wins flips with the regime. We formalize per-batch dispatch as a fixed-charge makespan problem---NP-hard on two fully replicated GPUs, polynomial in degenerate limits---and present TEMPO, a makespan-aware dispatcher solving it in milliseconds off the critical path; its SGLang integration runs out-of-process and fuses dispatch with count collection into one in-graph kernel. Anchored by an 8-GPU Testbed A microbenchmark, TEMPO stays within $1\%$ of the best fixed baseline everywhere and wins by up to $15.5\%$ where regimes mix. End-to-end on Testbed B, Qwen3-235B (inside the win region) gains $4$--$6\%$ throughput and cuts p99 latency by $\sim 15.6\%$; DeepSeek-V3 (outside, communication-dominated) shows only mechanism cost. A phase diagram, not a universal win, is the claim: it predicts both outcomes before deployment.

cs.DC↗

Beyond Imitation: Auditing the Recoverability of Reasoning in Distilled Models

A correct teacher solution becomes useful supervision when the receiving student can continue its reasoning. We measure this compatibility with prefix recovery: after revealing 25%, 50%, or 75% of a verified solution, we test whether the student completes it correctly. We connect recovery to the cosine conflict between cross-entropy and reverse-KL gradients over the full vocabulary. Across adjacent Qwen3 teacher-student pairs from 0.6B to 8B parameters, reverse-KL distillation delivers its most consistent mathematical and code improvements for the two students below 2B parameters. On a fixed cohort of 1,000 trajectories, average prefix recovery rises from 71.0% to 91.9% as student size increases from 0.6B to 4B, and the robust-fragile recovery gap contracts from 46.0 to 14.4 percentage points. With the teacher fixed at 8B, conflict separation falls from 0.993 to 0.233. An independent objective intervention finds the largest reverse-KL rescue on fragile trajectories. The three measurements locate the same capacity-dependent transfer regime: distribution matching has the greatest headroom when correct traces remain unevenly recoverable. Prefix recovery provides a practical diagnostic for selecting costly distribution-level distillation.

cs.LG↗

MSA-CITE: A Co-Adapted LoRA Specialist Ecology for Fixed-Budget Small-Model Inference

Compact language models are typically deployed by retaining a single post-training checkpoint and sampling it repeatedly. In this work, we challenge this practice by treating multiple discarded checkpoints as composable assets for deployment. Starting from a single Qwen3-4B backbone, we preserve four frozen LoRA branches, each derived from a different post-training trajectory. stead of drawing four generations from one branch, we allocate a fixed four-generation budget by sampling one completion from each branch. Our method, Multi-path Specialist Adaptation with Calibrated Inference-Time Evidence (MSA-CITE), processes the resulting portfolio by grouping terminal answers into equivalence classes, scoring each class via summed calibration-derived source priors, and selecting a representative under deterministic tie-breaking rules. The readout stage does not learn from evaluation results, nor does it introduce additional generations, verifiers, or reranking steps. On 200 held-out mathematics items, the four-path portfolio achieves 65.5% accuracy, compared with 62.0% for the strongest single-branch baseline. On a 100-item subject-disjoint shift, it attains 42.0% versus 40.0%. Under in-distribution conditions, the improvements over homogeneous SFT and Online-OPD repetition are robust; results against the strongest baseline and under shifted conditions are not conclusive. Our findings offer a narrow but concrete contribution: post-training branches, even without co-training, can be collectively beneficial for deployment.

cs.LG↗

Technology and Science Advancing Observations with Roman Coronagraph Informed by Ground-Based High-Contrast Imaging

The Roman Coronagraph technology demonstration focuses on achieving $<$ 10$^{-7}$ contrasts within the instrument's dark hole and our ability to detect and characterize properties of faint companions around bright stars. Here, we describe results from a study of potential Roman Coronagraph technology demonstration phase observations focused on these goals, informed by the ongoing OASIS survey at the Subaru Telescope and precursor survey work. OASIS provides at least three compelling targets for the technology demonstration phase with imaged companions - the HIP 71618 B brown dwarf and superjovian planets HIP 54515 b and HIP 99770 b. HIP 71618 is well suited for demonstrating the Coronagraph's core performance requirement while all three targets are well suited for spectroscopic mode observations. Each target can be paired with a PSF reference star vetted for companions. While HIP 71618 and HIP 54515 are already planned for Technology Demonstration phase observations, we describe the programmatic and scientific value of adding spectroscopic mode observations of HIP 99770 as well.

astro-ph.EP↗

Spin-group theory on Edelstein effect and spin-orbit torque in Collinear Ferromagnets

Current-induced spin-orbit torques (SOTs) are central to the electrical manipulation of magnetic order in spintronic devices. In transition-metal/collinear ferromagnet bilayers, field-like and damping-like torques have been described only phenomenologically via the spin or orbital Hall effect, lacking a rigorous symmetry-based foundation. The precise role of spin-orbit coupling (SOC) in both the Edelstein effect and SOTs has remained unresolved. Here we develop a spin-group symmetry theory for the Edelstein effect and SOTs in collinear ferromagnets, treating SOC as a symmetry-breaking perturbation. For 4mm (C4v) point group symmetry, we derive the full forms of field-like and damping-like torques, which arise predominantly from first- and second-order SOC. We further show that SOTs in both orbital-Hall-dominated Ti/Ni and spin-Hall-dominated Pt/CoFe bilayers originate at first-order SOC. Taking the 3m (C3v) torque as a paradigmatic example, we elucidate the role of second- and higher-order SOC torques in field-free switching of perpendicular magnetic anisotropy. Remarkably, in PtMnSb, we demonstrate that SOTs under certain point group symmetries deviate from the conventional form: zeroth- and first-order SOC contributions vanish identically, with the leading SOT emerging at second order. All symmetry-based predictions from spin-group theory are in excellent quantitative agreement with first-principles calculations. Our work establishes a unified symmetry framework for the microscopic understanding of the Edelstein effect and current-induced spin torques in ferromagnetic systems.

cond-mat.mtrl-sci↗

Maximal pattern complexity and structure of null systems

A compact metrizable system is null if its topological sequence entropy vanishes along every sequence of times. We prove that nullness is equivalent to polynomial maximal pattern complexity for every finite open cover, while equicontinuity is equivalent to sublinear maximal pattern complexity. The first characterization is obtained from finite fat-shattering at every positive scale and polynomial empirical covering of orbit-distance classes. We also construct transitive nonminimal null systems with properties excluded in the minimal setting: one is uniformly rigid and has two fixed points, and another is two-scattering. These results settle several long-standing open problems from the literature on polynomial maximal pattern growth and on the structure of transitive nonminimal null systems.

math.DS↗

The Order Is the Guarantee: Verifier-Budgeted Code Deletion with Static-First Learned Proposals

Frontier coding models now match or exceed strong human reference points on programming benchmarks, yet benchmark success does not imply maintainable software. Prompt-driven "vibe coding" is additive: new branches, guards, and fallbacks accumulate faster than obsolete logic is removed. We study the inverse problem-how an Al system should remove code when execution-verification capacity is finite. We formulate redundant-code reduction as proposal scheduling: a ranker orders single-statement deletion candidates, an execution suite accepts the first candidate that passes, and a budget bounds how many candidates may be tested. Our central observation is that candidate order, not model confidence, is the control surface a deployment can reason about. DELSCOUT instantiates two schedules. Given representative target-domain validation, a five-slot budget spends three slots on deterministic shortest-first candidates and two on complementary learned candidates; across nine MBPP replications with 0.5B, 0.6B, and 8B rankers this raises verified-deletion coverage by 9.5% relative (+6.7 accepted tasks) while consuming slightly fewer verifier calls than the matched static baseline. Without such validation the same rankers can lose coverage under shift, so we instead evaluate the complete static prefix first and append learned candidates only afterwards; for a deterministic verifier this makes coverage and character reduction non-decreasing by construction, at a measured 4.8-62.5% increase in verifier calls. MBPP+ then erases the in-domain advantage, showing that scheduling governs search while the test suite alone governs what "preserving behavior" means. The result is an auditable division of labor: models widen the search for removable code, order bounds the damage a mis-ranked proposal can do, and execution retains authority over every committed deletion.

cs.SE↗

Agreement Before Diversity: Verification-First Complementarity for Heterogeneous Language-Model Coordination

Heterogeneous language-model ensembles expand the space of candidate responses, yet they lack a principled criterion for when a newly generated answer should supersede an already supported one. We decouple candidate headroom from replacement authority, rendering the latter as an explicit, auditable object. Our proposed method, Agreement-Before-Diversity (ABD), is a frozen, label-free decision rule: an anchor answer is retained if two additional trusted samples corroborate it under a fixed equivalence relation; otherwise, it is replaced by a heterogeneous synthesis. For this gating mechanism, we prove two exact identities. The first shows that the accuracy gap relative to unconditional synthesis is determined jointly by the agreement coverage and the anchor's advantage on the protected subset. The second shows that the gap relative to never synthesizing reflects a contrast between authorized recovery and authorized destruction. Neither identity assumes independence or calibrated confidence, and the expected inference cost is approximately eight minus five times the coverage in number of calls. Under blind, exact-ID evaluation, ABD achieves 59.43% on the complete LiveCodeBench-v6 (vs. 52.57% for Single9 and 52.00% for HAC; n = 175) and 75.00% on an untouched GPQA-Diamond split (both controls at 72.78%; n = 180). Furthermore, these identities localize every aggregate difference to an enumerable protected stratum: no discordant items occur among the 3 protected cases on LiveCodeBench, where coverage bounds the gate's contribution to 1.71 points a priori; 13 versus 8 discordant cases among 132 on GPQA-Diamond; and 12 versus 0 among 71 under a frozen anchor perturbation. Diversity supplies potential; verification structure supplies authority.

cs.AI↗

When Search Teaches Style: Causal Internalization of Tactical Priors in AlphaZero

AlphaZero is normally evaluated as one agent: a policy-value network fused with Monte Carlo tree search. That fusion hides a causal question. When self-play search is given a useful prior, does the network absorb the induced behavior, or does the behavior stay rented from search at test time? We answer with Cross-Phase Prior Intervention (CPI), which switches a root-level tactical prior on and off independently during training and during evaluation, separating the prior's online effect from the learned residual it leaves in the weights. The endpoint is deliberately narrow: how often a network discharges a forced defensive obligation when no search-time guidance is available. On a sealed one-shot final test in 9x9 Gomoku and 19x19 Go, deleting the prior still leaves a large residual response rises from 13.8% to 26.3% in Gomoku and from 0.6% to 33.8% in Go-and soft reweighting teaches as well as hard action restriction, so pruning legal actions is not the mechanism. The same cross bounds the claim: re-enabling the prior restores nearly 100% response, leaving dependence gaps of 73.7 and 65.8 points. A latched-position evaluation localizes the residual to trained geometry-absent at the shared initialization, emerging over training, worth +17.3 points on in-distribution defenses but only +1.3 on structurally novel ones. Search is therefore best read as a training-time behavioral curriculum whose lessons are real, partial, and geometry-bound, and online competence and internalized competence are different estimands that a diagonal ablation cannot tell apart.

cs.LG↗

Sharp Orlicz Endpoints for Spatial-Temporal Ergodic Averaging

We study the composition of temporal ergodic averaging with spatial averaging over shrinking metric balls, and determine sharp Orlicz endpoints for the corresponding unrestricted joint limit. For consecutive Birkhoff averages normalized by $NΛ_q(N)$ ($q\ge 0$), the sharp Orlicz endpoint is $L\log_{q+1}L$. In particular, the ordinary case $q=0$ yields an $L\log L$ local joint convergence theorem under the Lebesgue differentiation property alone, while $L^1$ fails even on the Euclidean interval, answering two questions of Young. The same $L\log_{q+1}L$ endpoint holds for prime averages for every $q\ge 1$. For arbitrary time sequences, $L\log_qL$ always suffices at the same normalization $NΛ_q(N)$ ($q\ge 1$), and this endpoint is sharp in the Orlicz sense for fixed-base exponential sequences $k^n$ ($k\ge 2$) and for sequences with polynomial ratio separation, including $n!$. The positive results rest on a local stability principle: under the ball Lebesgue differentiation property, pointwise temporal convergence lifts to the local joint limit whenever the associated temporal maximal function admits an $L^1$ majorant. The additional logarithm in the regular-time case comes from lifting restricted logarithmic maximal estimates from sets to general functions. The arbitrary-sequence theorem uses a dyadic decomposition instead. The lower bounds are local $\infty$-sweeping out constructions, obtained by weighted local sweeping out for polynomial-growth regular times, by residue constructions for polynomially ratio-separated sequences, and by digit constructions for fixed-base exponentials.

math.DS↗

Stop When Memory Suffices: Evidence-Conditioned Progressive Execution for LLM Agents

The continued development of LLMs toward persistent and adaptive intelligence increasingly requires long-term memory mechanisms that preserve and reuse information across interactions. Existing memory systems either compress and structure histories for efficient access or perform deep research over broader trajectories. The former lowers online cost but may omit temporal, causal, or cross-step dependencies, while the latter improves evidence coverage at substantial latency and inference cost. This raises a key question: can a memory system achieve strong answer quality while maintaining low online latency? We introduce Router-Mem, an evidence-conditioned progressive execution framework for long-horizon agent memory. Router-Mem first applies a shared low-cost retrieval prefix to obtain evidence. A lightweight sufficiency router then predicts whether the context supports early termination, which enable a single-token decision at inference time. It is trained with evidence-level supervision and rationale-conditioned representation distillation. When evidence is insufficient, Router-Mem reuses retrieval hits to expand memory blocks and perform deeper analysis and aggregation. Experiments on AMA-Bench and BEAM show that Router-Mem achieves 55.17\% and 38.77\% score while reducing average inference time by 27.3\% and 25.5\% compared with full memory execution.

cs.LG↗

BRA-Audit: Budgeted Runtime Auditing for LLM Multi-Agent Systems via Cumulative-Exposure Audit-Point Placement

LLM-based multi-agent systems (LLM-MAS) solve complex tasks through specialized collaboration, but inter-agent dependencies can propagate hallucinated or malicious outputs into system-level failures. Auditor agents mitigate these risks, yet existing strategies face an efficiency dilemma: end-only auditing reviews long trajectories and final outputs, potentially weakening audit effectiveness and enlarging rollback scope, while auditing every agent each round improves detection and localization at high token cost. How can guard performance be preserved while minimizing token cost? To address this problem, we propose BRA-Audit, a budget-aware runtime auditing framework that models MAS execution as a dynamic dependency graph and formulates audit scheduling as audit-point placement under a fixed audit-call budget to minimize cumulative unchecked exposure. Its greedy scheduler prioritizes influential and long-unaudited regions, while trusted audit points enable localized recovery. Across structured coordination, complex reasoning, and open-ended tasks, BRA-Audit restores performance close to the clean setting, remains competitive with heavy guard methods and reduces end-to-end token consumption by \(17.2\%\)--\(40.6\%\).

cs.MA↗

ObjectStream: Latent Objects as Memory Anchors for Streaming Video Understanding

Streaming video understanding requires models to continuously retain useful visual evidence before future questions are known. Existing approaches primarily manage the growing visual context according to token importance, temporal redundancy, or segment-level relevance, but rarely organize evidence around objects that persist and evolve over time. Thus, in this paper, we introduce ObjectStream, a training-free framework that treats latent objects as memory anchors for streaming video understanding. ObjectStream induces spatially coherent latent objects directly from frozen Video-LLM representations, links them across frames into persistent anchors, and maintains their histories under a bounded memory budget, without requiring external object detectors or segmentation models. Built on these anchors, ObjectStream preserves three complementary forms of evidence: persistent object histories, transient object changes, and recent visual context. This design enables existing Video Large Language Models (Video-LLMs) to reason over object identities, interactions, and state changes while leaving the underlying model unchanged. Extensive experiments on online streaming and offline long-video benchmarks demonstrate both effectiveness and efficiency. In online streaming evaluation, ObjectStream improves Qwen2.5-VL-7B by 10.0 points on OVO-Bench Real-Time Visual Perception, while reducing peak GPU mem-ory and TTFT by approximately 50%. On offline long-video benchmarks, it surpasses the full-token baseline while discarding 82.5% of visual tokens. These results highlight latent objects as a practical and effective organizing principle for compact streaming video memory.

cs.CV↗

Diagnosing and Mitigating Perception-Decision Misalignment in Omni-LLMs via Modality Subspace Activation

Omni-Large Language Models (Omni-LLMs) power complex multi-modal reasoning in applications like World Action Models and autonomous agents. However, their strong performance often masks a profound Perceptual-Decision Misalignment (PDM), where decisions remain unfaithful to multi-modal perceptions. To diagnose this, we formalize Causal Modality Sensitivity (CMS), operationalized via a dual-lens framework: Answer Retention Rate (ARR) at the macro behavioral level, and Logit Angular Discrepancy (LAD) to track microscopic distribution shifts. We also curate CausalMSBench, a diagnostic dataset isolating language priors. Benchmarking reveals that popular Omni-LLMs exhibit critically low CMS, showing negligible distribution shifts even when key modalities are removed. To rectify this, we propose Modality Subspace Activation (MSA), a training-free inference-time framework that uses Singular Value Decomposition (SVD) to estimate modal activation strengths. MSA dynamically balances modal projections in the last hidden state, effectively restoring CMS across benchmarks.

cs.LG↗

Quantum Magnonics: Quantum States Generation and Applications

Hybrid systems based on magnons in ferromagnetic materials, such as yttrium iron garnet, have achieved remarkable development in the last decade. These include the coupling of magnons to microwave and optical photons, superconducting qubits, phonons, spins, the center-of-mass motion of a ferromagnet, etc. Here, we review both the experimental and theoretical progress in this field, focusing on the generation of magnonic quantum states and their applications in a broad range of fields. Since the strong coupling is a prerequisite for achieving coherent quantum control of magnons and preparing magnonic quantum states, we start by introducing representative strong-coupling experiments in cavity magnonics, then review a series of protocols for creating various magnonic quantum states, such as Fock, cat, squeezed, and entangled states, and discuss their potential applications in macroscopic quantum studies, quantum information science, quantum sensing, magnonic quantum devices, dark matter detection, and so on. Finally, we summarize the review and give an outlook for the future study of quantum magnonics.

quant-ph↗

CoRE-UIR: Prior-guided common and residual experts for efficient all-in-one remote sensing image restoration

Remote sensing images acquired by unmanned aerial vehicles (UAVs) and satellites are often degraded by adverse weather, illumination variation, and imaging artifacts, which may co-occur and jointly induce global distribution shifts and local structural corruption. Although All-in-One image restoration offers an appealing unified alternative to task-specific pipelines, existing methods still suffer from weak or implicit degradation cues and parameter redundancy caused by full-rank multi-expert designs with overlapping restoration behaviors. We propose CoRE-UIR (Common and Residual Experts for Universal Image Restoration), a prior-guided global-local framework centered on the Common-and-Residual Expert Block (CoRE). CoRE explicitly decomposes restoration capacity into a common dense expert for degradation-invariant restoration and low-rank residual experts for degradation-specific compensation, enabling adaptive specialization without redundant expert replication. Built on this design, Degradation Prior Embedding (DPE) adapts frozen CLIP features into an explicit restoration-oriented prior, while Global Feature Modulation (GFM) aligns global feature statistics before local residual compensation. We also construct MDVD-108K (Multi-Degradation VisDrone), a large-scale UAV restoration dataset covering both single and compound degradations, together with a real-world test set. Extensive experiments on multiple datasets show that CoRE-UIR improves the overall average PSNR by 1.05 dB while running 11.83$\times$ faster and reducing peak memory by 85.3% relative to the strongest baseline, BaryIR, thereby maintaining a favorable quality-efficiency trade-off. Evaluations on downstream tasks and unseen degradation also validate the generalizability of CoRE-UIR. The code and dataset will be released at https://github.com/zzaiyan/CoRE-UIR.

cs.CV↗