arXiv Science⌕ Search

arXiv subjects

Kun Fang

Publications and source records attributed to Kun Fang.

At least 19 recordsLinked to original sources
arXiv2026

Finite attainment and efficient computation of regularized quantum channel relative entropy

Quantum channel relative entropy can be nonadditive, making its regularization essential for asymptotic analysis. We study when the regularized value is attained at finite blocklength and how efficiently it can be approximated. For the first question, we establish a sharp dichotomy: the regularized value is either attained already at the single-copy level, implying additivity at every blocklength, or is never attained at any finite blocklength. Notably, a simple two-copy additivity test distinguishes between these alternatives for qubit channels and for channel pairs in arbitrary dimensions admitting an interior optimizer. We further show that both the interiority condition and finite nonattainment are generic, holding for almost every channel pair. For the second question, we establish explicit convergence rates for approximating the regularized channel relative entropy. For fixed channel dimensions, $\widetilde O(\varepsilon^{-3/2})$ channel copies suffice to approximate the regularized value to additive accuracy $\varepsilon$. Alternatively, a semidefinite hierarchy achieves the same accuracy at level $\widetilde O(\varepsilon^{-2})$, yielding a certified polynomial-time approximation. Together, these results reveal the intriguing structure and generic behavior of regularized channel relative entropy, sharpening our understanding of both its analytical and computational aspects.

quant-ph↗
arXiv2026

Machine Unlearning in Low-Dimensional Feature Subspace

Machine Unlearning (MU) aims at removing the influence of specific data from a pretrained model while preserving performance on the remaining data. In this work, a novel perspective for MU is presented upon low-dimensional feature subspaces, which gives rise to the potentials of separating the remaining and forgetting data herein. This separability motivates our LOFT, a method that proceeds unlearning in a LOw-dimensional FeaTure subspace from the pretrained model through principal projections, which are optimized to maximally capture the information of the remaining data and meanwhile diminish that of the forgetting data. During unlearning, LOFT simply optimizes a small-size projection matrix that can be flexibly inserted into the pretrained model, requiring just one-shot feature fetching from the pretrained model. LOFT demonstrates that effective and efficient MU can be achieved in low-dimensional feature subspaces even without repeated raw-data access or updates to the entire pretrained model. Extensive experiments validate the significantly lower computational overhead and superior unlearning performance of LOFT across diverse models, datasets, tasks, and applications. Code is publicly available.

cs.LG↗
arXiv2026

Spectral energy-loss bump and $γ$-ray pulsar halos

The parent electron spectrum of $γ$-ray pulsar halos is determined by continuous injection and radiative energy losses, with the nonlinear nature of the latter expected to produce an age-dependent energy-loss bump in the halo spectrum. We demonstrate that the broadband $γ$-ray spectrum of the Geminga halo measured by Fermi-LAT and HAWC is consistent with this expectation. Its energy-loss bump appears in the GeV region and is primarily produced by electrons injected at the earliest stage. Therefore, fitting the data allows us to constrain parameters governing early electron injection, such as the pulsar braking index $n$ and initial spin period $P_0$. In addition, we show that another crucial condition for explaining the Geminga halo spectrum is a power-law index of the injection spectrum close to $1$, consistent with the X-ray observations of the Geminga pulsar wind nebula. Currently, no significant energy-loss bump has been detected in the spectrum of the Monogem halo; based on this, we also place preliminary constraints on $n$ and $P_0$ of Monogem. This work demonstrates that pulsar halo spectra can be used not only to constrain electron injection parameters, but also to provide independent estimates of certain intrinsic pulsar properties.

astro-ph.HE↗
arXiv2026

Origin of the high-energy spectral cutoff in gamma-ray pulsar halos

The spectra of gamma-ray pulsar halos exhibit a clear cutoff feature at tens of TeV. This work investigates the origin of the spectral cutoff by interpreting the HAWC data of the Geminga halo. The most straightforward interpretation is that the cutoff reflects the maximum electron acceleration capability of the central PWN. We model this scenario using spherically symmetric diffusive shock acceleration, where the upstream scale of the PWN termination shock limits the maximum energy. We also propose an alternative interpretation of the cutoff: if the electron diffusion coefficient in the surrounding interstellar medium rises rapidly at high energies, a substantial fraction of high-energy gamma-ray flux from the target source can leak outside the analysis region, producing an observed spectral cutoff effect. Both explanations successfully reproduce the spectral cutoff of the Geminga halo. Meanwhile, the two scenarios make distinct predictions on the statistical properties of pulsar halo spectral cutoffs and the X-ray spectral features of the corresponding PWNe, which may be tested through further observations.

astro-ph.HE↗
arXiv2026

The classical capacity of generalized amplitude-damping channels and its strong-converse exponent

The classical capacity of a quantum channel generally requires regularization because input codewords may be entangled across channel uses. We remove this regularization for generalized amplitude-damping channels (GADCs) and determine their exact strong-converse exponent throughout the full parameter range. The exponent is a single-letter transform of the sandwiched Rényi Holevo information and is attained by product input codewords with collective decoding. The key ingredient is a decomposition of the joint output into positive operators whose triangular factors have identical scalar Gram matrices after norm compression. A sharp triangular Schatten-norm compression inequality then establishes maximum output norm multiplicativity for diagonally sandwiched GADCs tensored with arbitrary completely positive maps. This yields additivity of the sandwiched Rényi Holevo information at every order above one. Consequently, the classical capacity equals the known one-copy Holevo information and admits a scalar optimization. Thus, entangled input codewords improve neither the capacity nor the optimal exponential decay of decoding success above capacity.

quant-ph↗
arXiv2026

Note-Level Temporal Grounding of Musical Concepts in Large Audio-Language Models

Large audio-language models (LALMs) demonstrate growing music-understanding capabilities, but whether their responses are grounded in acoustic evidence remains unclear. Musical language often involves abstract concepts whose acoustic evidence is difficult to define and evaluate precisely. We introduce MusicGroundingBench, a controlled benchmark of algorithmically generated piano audio with exact symbolic alignment, comprising three-note and two-bar settings. We evaluate two complementary capabilities: grounding, which localizes the acoustic evidence for a musical query, and understanding, which answers questions about the same excerpts. Our experiments show that cross-modal fine-tuning enables models to learn each capability, but adding grounding supervision does not consistently improve understanding across backbones. We further test whether understanding requires listening through audio-ablation controls that remove or replace the input audio, and use attention analysis to examine whether grounding supervision shifts attention toward note boundaries. Meanwhile, the two evaluated LALMs show limited zero-shot grounding even for basic musical concepts, highlighting grounded music understanding as an important open challenge.

cs.SD↗
arXiv2026

STCFormer: Adaptive Spatio-Temporal Modeling with Dynamic Cluster Transformer for Station-based Weather Forecasting

Station-based weather forecasting supports daily life and economic activity, yet accurate forecasts require modeling complex spatial dependencies among stations. Recent clustering-based selective modeling offers a promising alternative to dense inter-station interactions. However, a grouping shared across an observation window may obscure local changes in station relationships, while intra-cluster interactions alone may miss important global context. The theoretical advantages of selective interactions over dense connectivity also remain insufficiently understood. We therefore propose STCFormer, an adaptive spatio-temporal Transformer that dynamically groups stations according to their local evolution within each temporal patch. Its Cluster-Guided Attention Block combines fine-grained local attention within clusters and global attention over regional state summaries, allowing each station to access information beyond its own cluster. We further show that a derived Lipschitz upper bound for cluster-conditioned local attention is no larger than its fully connected counterpart, explaining a potential robustness benefit and motivating the design of InfoLoss. Experiments on three real-world weather datasets spanning eight temperature and wind forecasting tasks show that STCFormer achieves the lowest 24-hour mean squared error on all eight tasks and ranks first or second in 47 of 48 comparisons across metrics and forecasting horizons. Ablations and case studies further confirm the benefits of locally adaptive grouping and complementary local-global interactions. Our code can be obtained at https://github.com/hnu-vis/STCFormer.

cs.LG↗
arXiv2026

Approximate majorization and high-order capacity of quantum depolarizing channels

A central challenge in quantum information theory is to determine whether entanglement provides an advantage for information processing when coherent operations across multiple channel uses are allowed. For depolarizing channels, King's proof of the additivity of the minimum output entropy rules out such an advantage for classical communication at leading asymptotic order, while leaving open the possibility of an advantage for higher orders. In this work, we conjecture a majorization relation for the outputs of depolarizing channels and prove an approximate version of this conjecture. Our proof combines an exact ordering of shifted log-determinants with an anti-concentration bound for the spectrum of the product-state output, refining King's analysis based on Schatten norms. As a direct application, we obtain a tight third-order expansion for the classical capacity of quantum depolarizing channels. Consequently, entangled codewords and collective decoding can improve the message size over the product-coding strategy by at most $O(\log \log n)$ bits, sharpening our understanding of the role of entanglement in the finite-blocklength regime.

quant-ph↗
arXiv2026

Machine Unlearning for Large Language Models: Foundations, Advances, and Agentic Extensions

Machine unlearning aims to remove target influence while preserving other capabilities. This survey compares methods, benchmarks, and evidence across large language models and systems using retrieval, memory, tools, and interacting agents. A five-layer framework connects removal requests, system boundaries, target locations, interventions, and supported claims. A seven-stage lifecycle and six evidence dimensions guide comparison. The review shows that target construction, retained data, and recovery tests affect reported outcomes. Evidence from model evaluations remains insufficient to establish removal across external state and subsequent updates, motivating evaluation that tracks dependencies and tests whether target influence returns.

cs.CR↗
arXiv2026

StationPDE: Station-Oriented Surface PDE Learning for Multi-Station Multivariate Weather Forecasting

Multi-station multivariate weather forecasting aims to forecast future weather variables at multiple weather stations from historical surface observations. Existing station forecasting models learn statistical dependencies among discrete stations, but lack explicit physical evolution. Meanwhile, PDE-based weather models provide interpretable physical dynamics, yet require continuous fields and upper-air variables unavailable in surface station data. To bridge this gap, we propose StationPDE, a station-oriented surface PDE learning model. StationPDE constructs a terrain-aware continuous surface field from discrete station observations and decomposes its physical evolution into surface wind transport and upper-air inference. Surface wind transport explicitly evolves observable weather variables, while upper-air inference uses learnable horizontal diffusion to approximate the missing influence of unavailable upper-air variables. A parallel data-driven diffusion branch captures complementary motion patterns, and an adaptive router integrates the two forecasts for station-level multivariate forecasting. Experiments on Weather2K and MeteoNet show that StationPDE consistently outperforms state-of-the-art baselines, reducing MSE by about $9.6\%$ on average compared with the strongest baseline.

cs.LG↗
arXiv2026

Finite-Blocklength and Exponential Analyses for Universal Entanglement and Coherence Distillation under Various Free Operations

Historically, entanglement and coherence distillation focused on the distillable rate under full knowledge of the initial state. In this paper, we develop a unified finite-blocklength and asymptotic theory for universal distillation from convex compact sequences of possible states stable under tensor products. We first resolve an open question by showing that two regularized variants of the generalized quantum Hoeffding divergence need not coincide, and establish fundamental properties of the Hoeffding divergence and anti-divergence. For universal entanglement distillation, we connect finite-blocklength performance under non-entangling, PPT-preserving, and dually free operations to composite correlated hypothesis testing, yielding reliability functions for non-entangling and PPT-preserving operations characterized by regularized quantum Hoeffding divergences and strong converse bounds via the anti-divergence. We recover the entanglement concentration error exponent, zero-rate exponents under a continuity condition, and distillable entanglements, and characterize the dually free cases by regularized relative entropies under restricted measurements. Additionally, five concrete noise models justify the black-box assumptions for both resources. For coherence distillation under maximally incoherent and dephasing-covariant incoherent operations, we extend the one-shot semidefinite program characterization to universal inputs; relating a relaxed optimization to hypothesis testing yields the high-rate reliability function. A coherent-seed approach extends the single-state formula to the entire direct regime when the zero-error rate is positive. Finally, we completely characterize the states with positive zero-error coherence distillation rate, show that the rate equals the order-zero Petz Rényi relative entropy of coherence, and derive dimension-independent one-shot bounds ......

quant-ph↗
arXiv2026

Entanglement cost of quantum depolarization

Entanglement cost is the asymptotic rate of Bell pairs required to prepare a quantum state. Its regularized definition has made exact evaluation difficult, even for isotropic states (i.e., depolarized maximally entangled states). In this work, we determine the entanglement cost of every qubit isotropic state and, more generally, every two-qubit Bell-diagonal state. Our proof uses a family of suitably tuned qubit semigroups to transform a general log-Sobolev entropy bound into supporting lines of Wootters' function. A recent exact tensorization theorem of Dong et al. [arXiv:2606.17729] extends these bounds to arbitrarily many copies, yielding a general lower bound on entanglement cost. Matching this bound with the entanglement of formation also determines the exact cost for a broader class of two-qubit states. For qudit isotropic states, we derive another general lower bound from the full depolarizing $2\to 3$ norm. This bound substantially improves on the PPT-relative entropy of entanglement and nearly matches the entanglement of formation, leaving a gap of at most $2\%$ of $\log d$ that vanishes as $d$ grows. Finally, the exact qubit results and qudit bounds extend to the entanglement cost of preparing quantum depolarizing channels under both parallel and sequential strategies.

quant-ph↗
arXiv2026

Minimax games for quantum channel discrimination

Quantum channel discrimination is a primitive task for identifying, verifying, and benchmarking quantum dynamics. Previous studies have primarily considered either the best-case tester-input setting or the worst-case jammer-input setting. Here, we introduce a game-theoretic framework in which both the tester and jammer control separate inputs. Combining three input structures, characterized by whether the tester and jammer use entangled inputs or IID inputs across channel uses, with four information patterns, determined by the visibility of the jammer's strategy and its knowledge of the true hypothesis, yields twelve game models. We provide exact finite blocklength hypothesis testing characterizations of all twelve models in terms of nine minimax hypothesis testing divergences and derive their asymptotic Stein exponents. Notably, for entangled jammers, neither the visibility of the jammer's strategy nor its knowledge of the true hypothesis affects the asymptotic Stein exponent, whereas the information pattern remains consequential for IID jammers. As an example, we study the discrimination of a general channel from a replacer channel and show that all asymptotic Stein exponents coincide with the same additive, single letter quantity. We further develop a general argument that upgrades achievability results to strong converse results, thereby establishing strong converse properties for several game models, resolving an open problem in composite hypothesis testing posed by Berta et al. [Commun. Math. Phys. 385, 55 (2021)], and strengthening several recent results of Lami [arXiv:2510.06340]. The framework and techniques developed here may support future studies of quantum information tasks involving competing roles.

quant-ph↗
arXiv2026

Generalized quantum asymptotic equipartition

The asymptotic equipartition property (AEP) states that in the limit of a large number of independent and identically distributed (i.i.d.) random experiments, the output sequence is virtually certain to come from the typical set, each member of which is almost equally likely. This property is a form of the law of large numbers and lies at the heart of information theory. In this work, we prove a generalized quantum AEP beyond the i.i.d. framework where the random samples are drawn from two sets of quantum states. In particular, under suitable assumptions on the sets, we prove that all operationally relevant divergences converge to the quantum relative entropy between the sets. More specifically, both the quantum hypothesis testing relative entropy and the smoothed max-relative entropy approach the regularized relative entropy between the sets. Notably, the asymptotic limit has explicit convergence guarantees and can be efficiently estimated through convex optimization programs, despite the regularization, provided that the sets have efficient descriptions. The generalized AEP directly implies a new quantum Stein's lemma for conducting quantum hypothesis testing between two sets of quantum states. Combined with the accompanying work [IEEE TIT 72(4):2330-2342 (2026)], this addresses open questions raised by Brandao et al. [IEEE TIT 66(8):5037-5054 (2020)] and Mosonyi et al. [IEEE TIT 68(2):1032-1067 (2022)], which seek a Stein's lemma with computational efficiency. Moreover, we propose a new framework for quantum resource theory in which state transformations are performed without requiring precise characterization of the states being manipulated, making it more robust to imperfections. We demonstrate the reversibility (also referred to as the second law) of such a theory and identify the regularized relative entropy as the unique measure of the resource in this new framework.

quant-ph↗
arXiv2026

One-shot distillation with constant overhead using catalysts

Quantum resource distillation is a fundamental task in quantum information science and technology. Minimizing the overhead of distillation is crucial for the realization of quantum computation and other technologies. Here we explicitly demonstrate how, for general quantum resources, suitably designed quantum catalysts (i.e., auxiliary systems that remain unchanged before and after the process) enable distillation with constant overhead in the practical one-shot setting, thereby overcoming the established logarithmic lower bound for one-shot distillation overhead. In particular, for magic state distillation, our catalysis method paves a path for tackling the diverging batch size problem associated with code-based low-overhead protocols by enabling arbitrary reduction of the protocol size for any desired accuracy. Notably, this yields constant-overhead magic state distillation with controllable protocol size. Furthermore, we demonstrate a tunable spacetime trade-off between overhead and success probability enabled by catalysts which offers significant versatility for practical implementation. Finally, we extend catalysis techniques to dynamical quantum resources and show that channel mutual information determines one-shot catalytic channel transformation, thereby advancing our understanding for both dynamical catalysis and information theory.

quant-ph↗
arXiv2026

Error exponents of quantum state discrimination with composite correlated hypotheses

We study the error exponents in quantum hypothesis testing between two sets of quantum states, extending the analysis beyond the independent and identically distributed case to encompass composite correlated hypotheses. In particular, we introduce and compare two natural extensions of the quantum Hoeffding divergence and anti-divergence to sets of quantum states, establishing their equivalence or quantitative relations. In the error exponent regime, we generalize the quantum Hoeffding bound to stable sequences of convex, compact sets of quantum states, demonstrating that the optimal Type-I error exponent, under an exponential constraint on the Type-II error, is precisely characterized by the regularized quantum Hoeffding divergence between the sets. In the strong converse exponent regime, we establish a general lower bound on the exponent in terms of the regularized quantum Hoeffding anti-divergence, and we prove a matching upper bound when the null hypothesis is a singleton, under additional assumptions. The generality of these results enables applications in various contexts, including (i) refining the generalized quantum Stein's lemma by [Fang, Fawzi & Fawzi, 2024]; (ii) exhibiting counterexamples to the continuity of the regularized Petz Renyi divergence and Hoeffding divergence; (iii) obtaining error exponents for adversarial channel discrimination and resource detection problems.

quant-ph↗
arXiv2026

Demonstrating advantages of dynamic quantum circuits on a hybrid superconducting qubit-cavity processor

Dynamic quantum circuits (DQCs) provide a hardware-efficient route to quantum computing by reducing physical-qubit overhead and compressing circuit topology through mid-circuit measurements, qubit reset and reuse, and classical feed-forward control. Here, we demonstrate the advantages of DQCs on a single hybrid superconducting qubit-cavity processor by implementing a hierarchy of algorithms with increasing complexity. This hybrid architecture consists of a high-dimensional cavity qudit serving as the computational register and a dispersively coupled superconducting transmon ancilla that is repeatedly measured, reset, and reused to enable dynamic control. Using this device, we implement a 10-bit Bernstein-Vazirani algorithm with an average success probability of 82%, surpassing state-of-the-art dynamic and static implementations in both scale and performance; an 8-bit quantum phase-estimation protocol with estimation errors below 10-3; and the first dynamic-circuit implementation of Shor's algorithm on a superconducting platform, factoring 15 over all coprime bases with squared statistical overlap values above 99.8%. These results provide concrete benchmarks for future DQC implementations and highlight the versatile advantages of DQCs with the hybrid qubit-qudit architecture, establishing it as a promising route toward scalable, programmable quantum computation.

quant-ph↗
arXiv2026

Music-JEPA: Learning a World Model of Sound from Action

Joint Embedding Predictive Architectures (JEPA) have recently emerged as a paradigm for learning world models by predicting latent representations, offering a promising direction for self-supervised learning. While initial attempts have applied JEPA to the music domain, it remains unclear how such frameworks can naturally support the formation of a world model for music. In this work, we propose to learn a world model of piano sound using JEPA by framing music as an action-conditioned system: the audio is treated as the state, and the pianoroll as the instrument action. Given a current audio state and an action, the model predicts the resulting future audio state, mirroring how humans learn musical sound through interaction. The model is trained in a fully offline setting using paired audio-pianoroll data, without environment interaction. Experiments show that the learned model captures the relationships between musical actions and their resulting sound. The resulting representations support downstream tasks, including beat tracking, composer identification, and key estimation, and enable piano transcription via planning, by searching for actions that best explain a target sound.

cs.SD↗