arXiv subjects

Fei Ye

Publications and source records attributed to Fei Ye.

At least 19 recordsLinked to original sources

arXiv2026

Beyond Class Marginals: Bounding Rehearsal Gaps without Freezing Class Co-occurrence

Class-balanced replay controls class frequency but does not determine the interval between successive replay appearances of a class. We study this interval, the rehearsal gap, separately from the class marginal and class co-occurrence, and introduce randomised-pass replay (RPR), which visits each resident class once per shuffled pass. For a fixed set of C resident classes and replay batch size b less than or equal to C, RPR preserves the balanced time-averaged class marginal and bounds every gap by 2*ceil(C/b)-1; a churn-conditional bound applies while the resident set changes. The scheduler uses no future class information and adds no replay examples or forward passes. In a linear-head ER-ACE diagnostic, joint absence from the incoming and replay batches produces a one-sided classifier-bias gradient. Longer absence episodes are associated with larger negative bias displacement, and removing the incoming-loss mask attenuates the scheduling effect. In the primary ER-ACE experiments, RPR improves final average accuracy by 0.72-1.67 percentage points relative to independent class-balanced retrieval under reservoir storage, with positive effects also observed under balanced storage. Pretrained ViTs show positive effects on the tested LT10 streams with small replay batches, while matched larger-batch controls show no material effect. Fixed-cycle and reused-pass controls change more than one temporal statistic, so the experiments do not isolate rehearsal-gap length from all other forms of temporal dependence. The accuracy effects depend on the learner and operating regime.

cs.LG↗

arXiv2026

Robust Dynamic Expansion for Continual Learning under Backdoor Attacks via Purification and Selective Recovery

Continual learning (CL) enables models to acquire new knowledge from sequentially arriving tasks while retaining previously learned knowledge. However, in practical scenarios, task streams collected from untrusted sources may contain backdoor-poisoned samples, posing a critical challenge to the stability, plasticity, and security of continual learners. In this work, we investigate a challenging setting termed Continual Learning Under Backdoor Attack (CLUBA), where each incremental task may involve a small proportion of maliciously manipulated training samples. Unlike conventional continual learning or backdoor defense scenarios, CLUBA requires models to simultaneously mitigate catastrophic forgetting, preserve adaptation capability, and prevent the absorption of malicious supervision during sequential updates. To address this challenge, we propose a robust dynamic-expansion framework that integrates sample purification, selective recovery, and robust expert routing into a unified continual learning paradigm. Specifically, we introduce Bi-Prototype Purification (BPP) to identify suspicious samples by exploiting semantic discrepancies in feature space. Based on purified data, Gradient Discrepancy-based Robustness Optimization (GDBRO) selectively recovers informative poisoned samples through pseudo-label correction and gradient consistency evaluation, improving robustness while maintaining model plasticity. Furthermore, Robust Feature Consistency-based Expert Selection (RFCBES) constructs perturbation-aware class prototypes to enable reliable expert routing under corrupted or shifted inputs.

cs.LG↗

arXiv2026

Singlet-doublet transitions and Josephson currents in a superconducting ring with a quantum dot

We investigate the ground state properties of a superconducting ring embedded with a quantum dot (QD) by using a variational wave-function approach. A theoretical formulation for the treatment of the finite-U Anderson impurity coupled with a superconducting ring are presented. We demonstrate singlet-doublet transitions of the ground state for this system with the QD in the mixed valence regime. It is shown that the supercurrent in the superconductor ring shows oscillations with the external enclosed magnetic flux and exhibits abrupt jumps at the singlet-doublet phase transition points.

cond-mat.mes-hall↗

arXiv2026

Non-volatile Multistate Magnetic Switching via Spin-orbit Torque and Intrinsic Anisotropy

While current-induced bistate spin-orbit torque (SOT) switching has been well established, deterministic electrical control of multiple magnetic states remains a central challenge in spintronics. Here, we realize a conceptually new multistate SOT device in a SrIrO_3/SrRuO_3 bilayer, hosting four intrinsically stable yet electrically distinguishable magnetic states, including two in-plane canted (IP_c^$\pm$) and two out-of-plane canted (OP_c^$\pm$) states. Pulsed current excitations fully map all twelve deterministic transitions among the four states, establishing a robust switching protocol defined by two characteristic current densities. In-situ scanning nitrogen-vacancy (NV) center magnetometry provides direct real-space evidence for the previously unobserved IP_c^$\pm$ states, and spin dynamics simulations uncover a two-step switching pathway, driven by the concerted action of spin torques and the effective anisotropy field within the fourfold anisotropy landscape. Our demonstration of the intrinsic multistate SOT device directly addresses the density bottleneck of conventional bistate SOT technology, establishing a powerful paradigm for compact, high-speed, and energy-efficient multistate spintronics.

cond-mat.mes-hall↗

arXiv2026

On the Chern-Ricci form of a twisted almost Kähler structure

Let $(M,g,J,ω)$ be an almost Kähler manifold. For any smooth function $f$ on $M$, one can associate an automorphism $ψ\in \mbox{Aut}(TM)$ for which the Kähler form is invariant. Using $ψ$, one can ``twist" the metric $g$ and almost complex structure $J$ to obtain a new almost Kähler structure $(g^ψ,J^ψ,ω)$ on $M$. Let $\widetilde{D}$ denote the Chern connection of $(g^ψ,J^ψ,ω)$ and let $K^{-1}$ denote the anti-canonical bundle of $(TM,J^ψ)$. In the current paper, we give an explicit formula for the local connection 1-form $α$ associated to the pair $(K^{-1},\widetilde{D})$. The Chern-Ricci form of $(g^ψ,J^ψ,ω)$ is then $ρ_{\widetilde{D}}=-dα$. We note that under certain conditions the aforementioned formula assumes a simpler form when applied to the calculation of $α$. We illustrate this with some examples.

math.DG↗

arXiv2026

VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code

Formal verification is the next frontier for ensuring the correctness of code generated by Large Language Models (LLMs). While methods that co-generate code and formal specifications in formal languages, like Dafny, can, in principle, prove alignment with user intent, progress is bottlenecked by specification quality evaluation. Current benchmarks rely on matching against ground-truth specifications, a manual and expertise-intensive process that has limited existing datasets to a few hundred simple problems and also suffers from a reliability issue. To address this, we introduce VeriEquivBench, a new benchmark with $2,389$ complex algorithmic problems that probe the limitations of current models in both code generation and formal reasoning. Our evaluation framework replaces ground-truth matching with a formally grounded metric, the equivalence score, and rigorously verifies the quality of generated specifications and code. Our results show that generating formally verifiable code remains a profound challenge for state-of-the-art LLMs. This underscores both the difficulty of the task and the need for benchmarks like VeriEquivBench to drive progress toward scalable and reliable coding agents.

cs.PL↗

arXiv2026

Berezinskii-Kosterlitz-Thouless Quantum Supercriticality in XXZ Heisenberg Spin Chain

Quantum fluctuations can give rise to a singular quantum critical point (QCP) in the ground state, whose influence extends to finite temperatures, forming a quantum critical regime (QCR). Recently, it has been shown that in the quantum Ising model, the symmetry-breaking, longitudinal field can induce a quantum supercritical regime (QSR) emanating from the QCP, which hosts a universally enhanced quantum supercritical magnetocaloric effect (MCE). In this paper, we show that the QSR also emerges in the spin-1/2 XXZ model, in both the form of Ising and Berezinskii-Kosterlitz-Thouless (BKT) supercriticality. Using ground-state and finite-temperature tensor-network methods, we investigate quantum supercritical phenomena near a BKT QCP. We reveal a quantum supercritical crossover scaling $T \propto h^{2/3}$ and a Grüneisen ratio scaling $Γ_h \propto T^{-3/2}$ for the BKT QCP, which differ from the corresponding Ising supercritical scalings. Nevertheless, we find that the scaling function $ϕ_Γ(x)$ of the singular Grüneisen ratio for both BKT and Ising cases can be approximately described by the same expression $ϕ_Γ(x) \approx x/(1+x^2)$. Our work extends the study of quantum supercritical phenomena from the Ising to the XXZ Heisenberg model, thereby revealing the presence of BKT quantum supercriticality and broadening the scope of quantum supercritical physics.

cond-mat.str-el↗

arXiv2026

On Vanishing Theorems and Bogomolov's Inequality on Surfaces in Positive Characteristic

In this paper, we study the equivalence between Bogomolov's instability theorem and the Miyaoka-Sakai theorem on surfaces in positive characteristic. We show that Bogomolov's instability theorem can be derived from Miyaoka-Sakai theorem. Conversely, it implies a partial version of the Miyaoka-Sakai theorem that lacks the vanishing conclusion. This partial version is still sufficient to deduce the Mumford-Ramanujam vanishing theorem. Additionally, we identify a class of surfaces in positive characteristic for which the Miyaoka-Sakai theorem (or a weaker variant), or the Kawamata-Viehweg vanishing theorem holds. In particular, we present a new proof of the Kawamata-Viehweg vanishing theorem on smooth del Pezzo surfaces. As an application of the Miyaoka-Sakai theorem, we obtain Reider-type results concerning Fujita's conjecture.

math.AG↗

arXiv2026

SeedProteo: Accurate De Novo All-Atom Design of Protein Binders

We present SeedProteo, a diffusion-based model for de novo all-atom protein design. We demonstrate how to repurpose a cutting-edge folding architecture into a powerful generative design framework by effectively integrating self-conditioning features. Extensive benchmarks highlight the model's capabilities across two distinct tasks: in unconditional generation, SeedProteo exhibits superior length generalization and structural diversity, maintaining robustness for long sequences and complex topologies; in binder design, it achieves state-of-the-art performance among open-source methods, attaining the highest in-silico design success rates, structural diversity and novelty. Finally, we validate SeedProteo through wet-lab assays on two therapeutic targets, achieving hit rates of 70%-80% and picomolar-level binding affinities, establishing leading results. To facilitate community adoption, we provide public access to SeedProteo via a webserver (https://seedfold.io/proteinDesign).

q-bio.BM↗

arXiv2026

Learning Dynamic Representations via An Optimally-Weighted Maximum Mean Discrepancy Optimization Framework for Continual Learning

Continual learning has emerged as a pivotal area of research, primarily due to its advantageous characteristic that allows models to persistently acquire and retain information. However, catastrophic forgetting can severely impair model performance. In this study, we address network forgetting by introducing a novel framework termed Optimally-Weighted Maximum Mean Discrepancy (OWMMD), which imposes penalties on representation alterations via a Multi-Level Feature Matching Mechanism (MLFMM). Furthermore, we propose an Adaptive Regularization Optimization (ARO) strategy to refine the adaptive weight vectors, which autonomously assess the significance of each feature layer throughout the optimization process, The proposed ARO approach can relieve the over-regularization problem and promote the future task learning. We conduct a comprehensive series of experiments, benchmarking our proposed method against several established baselines. The empirical findings indicate that our approach achieves state-of-the-art performance.

cs.LG↗

arXiv2025

SeedFold: Scaling Biomolecular Structure Prediction

Highly accurate biomolecular structure prediction is a key component of developing biomolecular foundation models, and one of the most critical aspects of building foundation models is identifying the recipes for scaling the model. In this work, we present SeedFold, a folding model that successfully scales up the model capacity. Our contributions are threefold: first, we identify an effective width-scaling strategy for the Pairformer to increase representation capacity; second, we introduce a novel linear triangular attention that reduces computational complexity to enable efficient scaling; finally, we construct a large-scale distillation dataset to substantially enlarge the training set. Experiments on FoldBench show that SeedFold outperforms AlphaFold3 on most protein-related tasks.

q-bio.BM↗

arXiv2025

AInsteinBench: Benchmarking Coding Agents on Scientific Repositories

We introduce AInsteinBench, a large-scale benchmark for evaluating whether large language model (LLM) agents can operate as scientific computing development agents within real research software ecosystems. Unlike existing scientific reasoning benchmarks which focus on conceptual knowledge, or software engineering benchmarks that emphasize generic feature implementation and issue resolving, AInsteinBench evaluates models in end-to-end scientific development settings grounded in production-grade scientific repositories. The benchmark consists of tasks derived from maintainer-authored pull requests across six widely used scientific codebases, spanning quantum chemistry, quantum computing, molecular dynamics, numerical relativity, fluid dynamics, and cheminformatics. All benchmark tasks are carefully curated through multi-stage filtering and expert review to ensure scientific challenge, adequate test coverage, and well-calibrated difficulty. By leveraging evaluation in executable environments, scientifically meaningful failure modes, and test-driven verification, AInsteinBench measures a model's ability to move beyond surface-level code generation toward the core competencies required for computational scientific research.

cs.SE↗

arXiv2025

Dynamic Dual Buffer with Divide-and-Conquer Strategy for Online Continual Learning

Online Continual Learning (OCL) involves sequentially arriving data and is particularly challenged by catastrophic forgetting, which significantly impairs model performance. To address this issue, we introduce a novel framework, Online Dynamic Expandable Dual Memory (ODEDM), that integrates a short-term memory for fast memory and a long-term memory structured into sub-buffers anchored by cluster prototypes, enabling the storage of diverse and category-specific samples to mitigate forgetting. We propose a novel K-means-based strategy for prototype identification and an optimal transport-based mechanism to retain critical samples, prioritising those exhibiting high similarity to their corresponding prototypes. This design preserves semantically rich information. Additionally, we propose a Divide-and-Conquer (DAC) optimisation strategy that decomposes memory updates into subproblems, thereby reducing computational overhead. ODEDM functions as a plug-and-play module that can be seamlessly integrated with existing rehearsal-based approaches. Experimental results under both standard and imbalanced OCL settings show that ODEDM consistently achieves state-of-the-art performance across multiple datasets, delivering substantial improvements over the DER family as well as recent methods such as VR-MCL and POCL.

cs.LG↗

arXiv2025

Classification of autoimmune diseases from Peripheral blood TCR repertoires by multimodal multi-instance learning

T cell receptor (TCR) repertoires encode critical immunological signatures for autoimmune diseases, yet their clinical application remains limited by sequence sparsity and low witness rates. We developed EAMil, a multi-instance deep learning framework that leverages TCR sequencing data to diagnose systemic lupus erythematosus (SLE) and rheumatoid arthritis (RA) with exceptional accuracy. By integrating PrimeSeq feature extraction with ESMonehot encoding and enhanced gate attention mechanisms, our model achieved state-of-the-art performance with AUCs of 98.95% for SLE and 97.76% for RA. EAMil successfully identified disease-associated genes with over 90% concordance with established differential analyses and effectively distinguished disease-specific TCR genes. The model demonstrated robustness in classifying multiple disease categories, utilizing the SLEDAI score to stratify SLE patients by disease severity as well as to diagnose the site of damage in SLE patients, and effectively controlling for confounding factors such as age and gender. This interpretable framework for immune receptor analysis provides new insights for autoimmune disease detection and classification with broad potential clinical applications across immune-mediated conditions.

cs.LG↗

arXiv2025

Observation of Quantum-Criticality-Class Crossover at the LaAlO$_3$/KTaO$_3$ (111) Interface

In two-dimensional (2D) limit, the quantum fluctuation is significantly enhanced which could induce a quantum phase transition. Investigating the quantum criticality is an effective approach to elucidate the underlying physics of 2D superconductivity. Here we report the observation of different universality classes of quantum criticality at the superconducting LaAlO$_3$/KTaO$_3$ (111) interface, i.e. the normal quantum Griffiths singularity (QGS) and the anomalous QGS. The switch of the quantum criticality class is observed from the normal QGS in a low $T_c$ sample with weaker spin-orbit coupling (SOC) to the anomalous QGS in a high $T_c$ sample with stronger SOC. Moreover, owing to the remarkable SOC strength, the high $T_c$ sample exhibits an unprecedentedly enhanced quantum fluctuation at an unusually elevated temperature approaching the Berezinskii-Kosterlitz-Thouless (BKT) transition temperature $T_{BKT}$. This work provides comprehensive recognition of the different quantum criticality classes in the same superconducting LaAlO$_3$/KTaO$_3$ (111) system, which deepens the understanding of the superconducting mechanism of interfacial superconductors.

cond-mat.supr-con↗

arXiv2025

Interplay of spin-orbit coupling and trigonal crystal field enhances superconductivity in $LaAlO_3/KTaO_3$ (111)

In conventional superconductors, bulk physical properties typically degrade as the film thickness approaches the two-dimensional (2D) limit. Here in the (111) oriented LaAlO3/KTaO3 (LAO/KTO) heterostructure, we demonstrate experimental evidence that reducing the conducting layer thickness at the interface significantly enhances superconducting transition temperature Tc, in direct contrast to conventional wisdom. From the sum frequency generation (SFG) spectroscopy and superconducting upper-critical field measurements, both the trigonal symmetry and spin orbit scattering are enhanced with the increased Tc. We attribute the enhanced superconductivity (SC) to the synergic interplay between spin-orbit coupling (SOC) and trigonal crystal field, resulting in an enhanced electron-phonon coupling. Furthermore, we show the existence of unconventional SC: the approaching linear temperature dependence of normal state resistance with increasing Tc and the existence of a quantum critical point (QCP) near the superconducting phase. Our findings provide important insight into the underlying mechanism of the strong orientation-dependent KTO interface SC.

cond-mat.supr-con↗

arXiv2025

MLego: Interactive and Scalable Topic Exploration Through Model Reuse

With massive texts on social media, users and analysts often rely on topic modeling techniques to quickly extract key themes and gain insights. Traditional topic modeling techniques, such as Latent Dirichlet Allocation (LDA), provide valuable insights but are computationally expensive, making them impractical for real-time data analysis. Although recent advances in distributed training and fast sampling methods have improved efficiency, real-time topic exploration remains a significant challenge. In this paper, we present MLego, an interactive query framework designed to support real-time topic modeling analysis by leveraging model materialization and reuse. Instead of retraining models from scratch, MLego efficiently merges materialized topic models to construct approximate results at interactive speeds. To further enhance efficiency, we introduce a hierarchical plan search strategy for single queries and an optimized query reordering technique for batch queries. We integrate MLego into a visual analytics prototype system, enabling users to explore large-scale textual datasets through interactive queries. Extensive experiments demonstrate that MLego significantly reduces computation costs while maintaining high-quality topic modeling results. MLego enhances existing visual analytics approaches, which primarily focus on user-driven topic modeling, by enabling real-time, query-driven exploration. This complements traditional methods and bridges the gap between scalable topic modeling and interactive data analysis.

cs.DB↗

arXiv2025

Elucidating the Design Space of Multimodal Protein Language Models

Multimodal protein language models (PLMs) integrate sequence and token-based structural information, serving as a powerful foundation for protein modeling, generation, and design. However, the reliance on tokenizing 3D structures into discrete tokens causes substantial loss of fidelity about fine-grained structural details and correlations. In this paper, we systematically elucidate the design space of multimodal PLMs to overcome their limitations. We identify tokenization loss and inaccurate structure token predictions by the PLMs as major bottlenecks. To address these, our proposed design space covers improved generative modeling, structure-aware architectures and representation learning, and data exploration. Our advancements approach finer-grained supervision, demonstrating that token-based multimodal PLMs can achieve robust structural modeling. The effective design methods dramatically improve the structure generation diversity, and notably, folding abilities of our 650M model by reducing the RMSD from 5.52 to 2.36 on PDB testset, even outperforming 3B baselines and on par with the specialized folding models. Project page and code: https://bytedance.github.io/dplm/dplm-2.1/.

cs.LG↗