arXiv Science⌕ Search

arXiv subjects

Jun Yan

Publications and source records attributed to Jun Yan.

At least 19 recordsLinked to original sources
arXiv2026

A PDE formulation of Lyapunov stability for contact-type Hamilton-Jacobi equations

We study the Lyapunov stability of stationary viscosity solutions of contact-type Hamilton--Jacobi equations on a compact manifold. We consider Hamiltonians of the form $H(x,p,u)=G(x,p)+W(x,u)$, where $G$ is continuous, convex and coercive in $p$. We establish sufficient conditions for asymptotic stability and instability in terms of viscosity subsolutions and one-sided derivatives of a perturbed critical value. These criteria do not require the construction of a smooth contact Hamiltonian flow. Under the stability condition, solutions starting sufficiently close to a stationary solution converge to it at an exponential rate. To prove instability, we use the superposition principle for closed measures to construct calibrated curves. We also establish conditions ensuring uniqueness of stationary solutions and global asymptotic stability. Our results also cover examples with nonmonotone dependence on the unknown function, including an equation with an eikonal term $|p|$. Finally, we obtain an $O(\sqrt{\varepsilon})$ convergence rate for a class of stationary Hamilton--Jacobi equations with nonlinear dependence on the unknown function and multiscale spatial dependence.

math.AP↗
arXiv2026

A Stable, High-Order Time-Stepping Scheme for the Drift-Diffusion Model in Modern Solar Cell Simulation

This paper presents a one-dimensional transient drift-diffusion simulator for advanced solar cells, integrating a structure-preserving finite-volume spatial discretization with Scharfetter-Gummel-type fluxes and a high-order, L-stable implicit Runge-Kutta (Radau IIA) temporal integrator. The scheme ensures local charge conservation, handles sharp material interfaces, achieves second-order spatial and fifth-order temporal convergence, and exhibits excellent computational efficiency and numerical stability. Its accuracy is verified against the classical depletion approximation in p-n junction and validated against four independent software implementations for an organic photovoltaic device under a common protocol. The framework's extensibility is demonstrated by incorporating exciton kinetics in organic solar cells, capturing multi-timescale dynamics, and by modeling mobile ions in perovskite solar cells, reproducing characteristic J-V hysteresis without empirical parameters. This work provides a robust, high-order numerical foundation for simulating coupled charge, exciton, and ion transport in next-generation photovoltaic devices.

physics.app-ph↗
arXiv2026

Rare-Feature-Adaptive Subsampling for Big Data Regression

Rare binary features cause instability and slow convergence in regression. Subsampling massive datasets may discard observations carrying rare-feature information. We show that rare-feature coefficient convergence rates depend on feature prevalence and the inclusion probabilities assigned to rare observations. This finding motivates subsampling designs that adapt sampling probabilities to feature rarity. We first study optimal rare-census designs, which extend the negative subsampling approach by retaining every rare observation. However, they may face practical constraints. We then propose a computationally efficient rarity-adaptive L-optimal design that incorporates inverse prevalence scaling. Because implementing optimal designs requires pilot estimates whose quality depends on adequate representation of rare features, we propose a balanced design, a one-step rarity-adaptive design based only on binary features. It can be used alone, as a pilot, or combined with designs targeting other objectives. For implementation in two stages, we develop a union-sample estimator that reuses pilot observations while accounting for sample overlap and establish its asymptotic normality. Simulations and applications show improved stability and estimation efficiency over existing methods. One application evaluates designs that jointly protect rare outcomes and rare features.

stat.ME↗
arXiv2026

RubricEM: Meta-RL with Rubric-guided Policy Decomposition beyond Verifiable Rewards

Deep research agents plan, search, evaluate evidence, and synthesize long-form reports. Training these agents with reinforcement learning (RL) is challenging because they operate over long horizons and their outputs lack exact answer verifiers. To this end, we introduce RubricEM, a unified RL framework for deep research that combines stagewise credit assignment with reflection-based meta-RL for experience reuse. Rubrics unify the framework by providing a shared interface for policy execution, judge feedback, and experience reuse. RubricEM first instills a rubric-guided scaffold through supervised fine-tuning, teaching the agent to plan with rubrics and organize its trajectory into semantic stages. Building on this structural prior, we optimize the task policy with Stage-Structured GRPO, using stagewise judge feedback for finer-grained credit assignment. In parallel, we asynchronously train a shared-backbone reflection meta-policy (with meta-RL) to distill completed trajectories into reusable guidance, contributing through both shared-parameter updates and textual memory. The resulting RubricEM-8B model achieves strong performance across four long-form research benchmarks, outperforming existing open models of larger sizes and approaching proprietary deep-research systems. Beyond final performance, we perform thorough controlled analyses to understand the key ingredients of RubricEM.

cs.CL↗
arXiv2026

Device Model Linking Singlet and Triplet Spin-State Properties to Organic Photovoltaic Device Characteristics

This work proposes an exciton-kinetics coupled drift-diffusion (EKDD) model that bridges device-level charge transport with singlet and triplet excited-state kinetics. State populations and reversible photophysical transitions are solved self-consistently, enabling transient and steady-state device response calculations. We investigate how LE-CT, CT-CS, and LE-T energy offsets, together with triplet-transfer kinetics, govern charge generation, recombination, voltage loss, and extraction in organic photovoltaics. We identify CT-CS offset as a primary, largely overlooked factor controlling charge generation and voltage loss. A positive offset makes CT3-CS separation exothermic and improves generation, but lowers CS energy and increases voltage loss; a negative offset makes separation endothermic and highly temperature-sensitive. The model reproduces triplet-mediated recombination in PM6:Y6 and material-dependent triplet recycling in D18:NFA blends. We propose design rules for balanced generation and voltage loss via two charge-transfer channels: the LE-CT-CS pathway favors a moderate LE-CT offset of about 0.15-0.20 eV and a weakly exothermic CT-CS offset of about 0.05-0.075 eV; the T-CT3-CS pathway requires the same CT-CS alignment plus a small CT-T offset, no more than about 0.1 eV, corresponding to a recycling factor K greater than about 10^-2, to maintain fast T-to-CT3 recycling. CT-CS alignment is the main determinant of the charge-generation-voltage-loss trade-off, while triplet-recycling kinetics determines whether this balance survives at the device level. This work provides a unified theoretical description from exciton generation to free charge collection, offering a convenient tool for transient and steady-state analysis in organic photovoltaics.

physics.app-ph↗
arXiv2026

Poisoned into Action: Context Attacks on Typed Decision Workflows

Typed decision interfaces restrict models to predefined actions, yet schema-valid choices can still trigger policy-violating state changes. Evaluating context poisoning thus requires connecting model decisions to execution outcomes while accounting for legitimate automation retained by defenses. We introduce an execution-aware protocol tracing poisoned evidence through retrieval, model choice, automated action, and persisted state. We evaluate it with 1,659 fresh calls to Jev-1.13.0 across 20 development tasks in two synthetic workflows, using three repetitions per condition. Under natural retrieval, a standalone payload reaches all 60 trials and produces five security-violating executions, while a carrier-payload pair exposes the payload in 57 trials and produces one violation. An initial source-exclusion gate blocks the pair's observed violation but also withholds ten otherwise correct attacked decisions and sixteen correct clean decisions. Correcting its empty-scope behavior restores twelve clean decisions without additional model calls. Factorial controls show that adding correct evidence reduces wrong executions from 119/120 to 55/120 in the semantic arm and from 60/120 to zero in the neutral arm, suggesting that much of the improvement reflects general evidence value rather than attack-specific protection. Three prespecified contrasts are not statistically supported after Holm correction, so the findings remain exploratory. The protocol provides an auditable framework for studying which poisoning-induced errors reach execution and how much correct automation defenses preserve. Code is available at https://github.com/WuXixiong/jev-poisoning-bench.

cs.CR↗
arXiv2026

Generative AI in Publishing: An Editors' Panel on Ethics and Policies

Generative artificial intelligence (GenAI) is reshaping scholarly research faster than journals have developed stable norms for its use. This article presents an edited thematic account of a 2026 Joint Statistical Meetings panel that brought together editorial perspectives from mathematical statistics, data science, biomedical statistics, and general statistical scholarship. The discussion examines journal policies, disclosure, authorship and research integrity, peer-review confidentiality, researcher training, editorial workload, access, and possible future models of scholarly publishing. Panelists shared commitments to human accountability, the protection of confidential submissions, and disclosure of consequential assistance, while offering different recommendations on assistance with research ideas and proofs, disclosure requirements, automated review, and policy enforcement. By distinguishing shared principles from unresolved implementation questions, the article clarifies the choices facing statistical publishing and outlines an agenda for evaluating policies and practices as GenAI evolves. The account seeks to foster continued discussion of GenAI in scientific communication and encourage statistical organizations to develop more robust operational standards.

stat.OT↗
arXiv2026

Multivalued forbidden numbers of two-rowed configurations -- the missing cases

The present paper considers extremal combinatorics questions in the language of matrices. An $s$-matrix is a matrix with entries in $\{0,1,\ldots, s-1\}$. An $s$-matrix is simple if it has no repeated columns. A matrix $F$ is a configuration in a matrix $A$, denoted $F\prec A$, if it is a row/column permutation of a submatrix of $A$. $\text{Avoid}(m,s,F)$ is the set of $m$-rowed, simple $s$-matrices not containing a configuration of $F$ and $\text{forb}(m,s, F)=\max\{|A|\colon A \in \text{Avoid}(m,s,F)\}$. Dillon and Sali initiated the systematic study of $\text{forb}(m,s, F)$ for $2$-matrices $F$, and computed $\text{forb}(m,s, F)$ for all 2-rowed $F$ when $s>3$. In this paper we tackle the remaining cases when $s=3$. In particular, we determine the asymptotics of $\text{forb}(m,3,p\cdot K_2)-\text{forb}(m,3,p\cdot I_2)$ for $p>3$, where $K_2$ is the $2\times 4$ simple $2$-matrix and $I_2$ is the $2\times 2$ identity matrix, as well as the exact values of $\text{forb}(m,3,F)$ for many 2-rowed $2$-matrices $F$.

math.CO↗
arXiv2026

Beyond Normal References: Discriminative Few-Shot Anomaly Detection

This paper considers a practical few-shot anomaly detection (FSAD) setting, termed discriminative FSAD, where a limited number of both normal and anomalous examples are available as references during inference. Existing FSAD methods rely on normal-only references through normality matching, ignoring the discriminative clues in anomalous references, while directly fitting both references can overfit to the seen anomalies. We introduce IDEAL, an intrinsic deviation learning framework that leverages both reference types to learn intrinsic deviation patterns characterizing generalizable abnormality as deviations from normality. IDEAL decomposes the learning process into two novel components: 1) a Normal Variation Eraser to suppress nuisance normal variations that may lead to noisy deviations from normality, thereby highlighting anomaly-relevant deviation representations; 2) an Intrinsic Deviation Encoder to decompose these denoised deviation representations into intrinsic deviation vectors capturing the most discriminative orthogonal deviation directions. At inference, IDEAL scores query-to-normal deviations preserved after projection onto the learned intrinsic deviation vectors, enabling generalization for both seen and unseen anomalies. Extensive experiments on eight real-world datasets show that IDEAL generalizes effectively to unseen anomalies and consistently outperforms existing state-of-the-art FSAD methods. Code and data are available at \href{https://github.com/mala-lab/IDEAL}{https://github.com/mala-lab/IDEAL}.

cs.CV↗
arXiv2026

On the inhomogeneous discounted Hamilton-Jacobi equations

In this paper, we study the family of inhomogeneous discounted Hamilton-Jacobi equations \begin{equation}\label{hjs1} λ(x)u+h(x,d_x u)=c \quad \tag{$\ast$} \end{equation} on a closed manifold $M$ with a non-identically vanishing discount factor $λ(x)$. There is a critical value $c_0\in[-\infty,\infty)$ such that \eqref{hjs1} admits a viscosity solution if $c>c_0$ and no solution if $c c_0$. In this case, we determine the basin of the stable solution and investigate the long-time behavior of the solution semigroup associated with \eqref{hjs1}. In particular, we obtain a formula relating the lowest convergence rate of the solution semigroup near a stable solution to a minimizing problem concerning the integral of $λ$ over Mather measures supporting on the $1$-graph of the stable solution. This formula has two direct consequences: 1) it yields a description of their asymptotic behavior as $c$ tends to infinity; 2) it helps to classify the ergodic Mather measures and locate their distribution in the phase space. The second consequence leads to a dynamical necessary condition for $c=c_0$.

math.AP↗
arXiv2026

ShellfishNet: A Domain-Specific Benchmark for Visual Recognition of Marine Molluscs

Reliable visual recognition of shellfish is important for ecological monitoring and aquaculture, but real-world imagery exhibits substantial variation in acquisition conditions, appearance, and posture. Existing marine vision resources cover diverse taxa and imaging settings, but fine-grained mollusc recognition remains underexplored in a group-disjoint benchmark that jointly evaluates class prediction, representation-space retrieval, and condition sensitivity. To address this gap, we introduce ShellfishNet, a provenance-aware, group-disjoint benchmark of 40,130 images from 100 marine mollusc classes, organized into 30,879 acquisition or observation groups. Rather than treating recognition as a single clean-accuracy leaderboard, ShellfishNet evaluates model configurations across classification, image-to-image retrieval, taxonomic error structure, and controlled condition sensitivity. We benchmark representative convolutional, transformer-based, hybrid and efficient, self-supervised, and vision-language models on classification and retrieval. Separately, we evaluate open image-captioning and vision-language models on the captioning subset and assess selected fixed checkpoints under controlled generic and marine-inspired synthetic transformations. Across the benchmark, image-level and class-aware classification largely agree, whereas retrieval provides complementary model rankings and taxonomy projection reveals that a non-negligible subset of exact-class errors remains correct at higher taxonomic ranks. Selected fixed checkpoints with similar clean accuracy can also exhibit distinct sensitivity profiles under controlled transformations. These results show that model comparison on shellfish imagery should account for both task and image condition, rather than rely on a single clean classification score. The dataset and evaluation protocols will be publicly released.

cs.CV↗
arXiv2026

Revisiting Certified Defense with Differential Privacy on Vision Transformers

Certified defenses that incorporate differential privacy have proven effective on Convolutional Neural Networks (CNNs), furnishing rigorous robustness guarantees against norm-bounded adversaries. However, the certified robustness behavior of Pixel Differential Privacy (PixelDP) remains largely unexplored with the self-attention architecture now dominating the deep-learning landscape. Given that the Transformer has a profound impact on our daily applications from the digital world to the physical world, it is crucial to study certified robustness through differential-privacy-style stability. To fill this research gap, we revisit this construction in Vision Transformers and identify a failure mode that is largely hidden in the convolutional setting. When noise is injected after the patch embedding, the Laplace mechanism with the inherited grouped $\ell_1$ sensitivity bound collapses to chance-level accuracy across noise scales, whereas the Gaussian mechanism remains trainable. This contrast isolates the source of failure: not the injected noise itself, but the geometry of the sensitivity constraint. We show that the attenuation induced by the inherited $Δ_{1,1}$ projection increases with layer width and kernel size according to a random-matrix scale $C/(\sqrt{M}+\sqrt{N})$. Replacing the $\ell_1$-type constraint with a spectral-norm constraint eliminates the collapse across datasets and architectures, but creates a fundamental obstacle: the repaired models no longer satisfy the sensitivity condition required by the standard Laplace certificate. We resolve this mismatch by deriving a dimension-free $(\varepsilon,\ δ)$-privacy guarantee for the Laplace mechanism under $\ell_2$ sensitivity through concentration of the privacy loss.

cs.CR↗
arXiv2026

Selection of critical solutions in non-monotone vanishing discount problems

We study a generalized vanishing discount problem for Hamilton--Jacobi equations without assuming monotonicity either pointwise or in the averaged sense with respect to all Mather measures. Specifically, we consider \[ λa(x)u(x)+H\big(x,Du(x)\big)=c_0, \] and assume that, for every sufficiently small $λ>0$, this equation admits a strict subsolution bounded from below uniformly with respect to $λ$. We prove that, under a smallness assumption on the Mather quotient, the maximal viscosity solution converges uniformly as $λ\to 0^+$ under a sign condition on the discount coefficient $a(x)$ determined by a prescribed part of the Aubry set. The limit is characterized explicitly in terms of the Peierls barrier and the selected Mather measures. As an application, the elementary solution of the critical Hamilton--Jacobi equation \[ H\big(x,Du(x)\big)=c_0 \] associated with any isolated static class can be realized as the vanishing discount limit. This provides the first mechanism for selecting multiple critical solutions in vanishing discount problems beyond the classical monotonicity framework, showing that different families of Mather measures yield different limiting critical solutions. We finally propose a variant of the discounted problems for which the strict subsolution hypothesis is automatically verified and hence applies to more general Hamiltonians $H$ and functions $a$.

math.AP↗
arXiv2026

Contextual Causality with Large Language Models: A Survey

Understanding contextual causality is critical for large language models (LLMs), as it enables them to accurately identify causal relations in specific situations and support more reliable decision-making. Despite its significance, a systematic exploration of contextual causality with LLMs is still lacking. To fill this gap, we present a comprehensive survey on this topic. In this survey, we first propose a taxonomy of contextual causality, consisting of semantic, intervention, and counterfactual causality, and characterize each category by its core causal question, required model capabilities, representative tasks, and practical uses in causality analysis. We then analyze existing studies and discuss their key limitations. Finally, we examine the gaps between current benchmarks and real-world needs and outline promising directions for future research. Our goal is to clarify the research landscape of contextual causality with LLMs, emphasize its importance, and highlight promising future directions.

cs.CL↗
arXiv2026

Do Influence-Derived Data Perturbations Enable Machine Unlearning? A Controlled Study of Three Plausible Roles

We evaluate Deep Perturbation Learning (DPL), which perturbs training images and labels along influence-derived directions, in three roles in which prior work has positioned it for machine unlearning: a direct deletion signal (the strongest claim), a utility-preserving regularizer, and a warm start for adversarial unlearning. Evidence for the weaker roles has been used to support the stronger one, so we test each role separately under a matched protocol with exact-seed retraining baselines. An audit of the public implementation identifies two correctness issues: image directions are computed on augmented, normalized tensors but applied to raw images, and the label perturbation falls below float32 resolution, leaving labels unchanged. After correcting the image-perturbation pipeline, DPL fails the direct-deletion criterion on CIFAR-10/ResNet-18 in all three paired seeds. Its utility effects are inconsistent in sign across seeds, and once direction-computation time is counted it underperforms simple warm-start baselines. A one-seed Tiny ImageNet check likewise does not favor DPL as a regularizer or warm start; preprocessing inconsistencies in the released code make the direct comparison there inconclusive. These results cover random instance deletion only and do not rule out influence-based methods in other deletion regimes. We release a role-matched evaluation protocol and an audit checklist for perturbation-based deletion claims.

cs.AI↗
arXiv2026

Extremal persistence probabilities of exchangeable sign-invariant random variables

Let $(X_1,\ldots,X_n)$ be a random variable in $(\mathbb{R}\setminus\{0\})^n$ that is both exchangeable and sign-invariant. For every $k\in[n]$, let $S_k=\sum_{i=1}^kX_i$. Define the weak persistence probability as $\mathbb{P}(S_1,\ldots,S_n\geq0)$, and the strong persistence probability as $\mathbb{P}(S_1,\ldots,S_n>0)$. From previous results, the optimal lower bound for $\mathbb{P}(S_1,\ldots,S_n\geq0)$ and the optimal upper bound for $\mathbb{P}(S_1,\ldots,S_n>0)$ are known. We complete the picture by determining the optimal upper bound for $\mathbb{P}(S_1,\ldots,S_n\geq0)$ and the optimal lower bound for $\mathbb{P}(S_1,\ldots,S_n>0)$ as follows. \[\frac{1}{2^n}\binom{n-1}{\lfloor (n-1)/2\rfloor}\leq\mathbb{P}(S_1,\ldots,S_n>0)\leq\frac{1}{4^n}\binom{2n}{n}\leq\mathbb{P}(S_1,\ldots,S_n\geq0)\leq\frac{1}{2^n}\binom{n}{\lfloor n/2\rfloor}.\] In particular, this implies that the weak and strong persistence probabilities of every exchangeable and sign-invariant random variable $(X_1,\ldots,X_n)$ in $(\mathbb{R}\setminus\{0\})^n$ are of the order $n^{-1/2}$. We also obtain some related results, one in the deterministic setting, and one when the random variables are allowed to take the value 0.

math.PR↗
arXiv2026

Robust Community Detection for Noisy Networks with Covariates: Application to Functional Brain Networks

Community detection is fundamental to understanding the modular organization in functional brain networks, yet noise in neuroimaging-derived networks and auxiliary node-level covariates pose critical challenges. Existing methods typically either assume networks are noise-free or ignore covariate information. We propose a Bayesian framework for recovering a shared latent community structure from multiple noisy network realizations and auxiliary covariates. The model combines a degree-corrected stochastic block model for the latent network, a block-structured noise model linking noisy observations to latent edges, and a covariate cluster model for node-level attributes. This specification allows anatomical or functional attributes of regions of interest to contribute information when network signals are weak or sparse. We develop an efficient Markov chain Monte Carlo algorithm for posterior sampling and select the number of communities using the widely applicable information criterion, avoiding prior specification of this quantity. Simulation studies demonstrate improved community recovery relative to existing methods across varying noise levels, covariate signal strengths, and numbers of noisy networks, with larger gains when network noise is moderate to high or only a small number of noisy networks is available. Applications to functional brain networks from the Alzheimer's Disease Neuroimaging Initiative and the Human Connectome Project identify biologically interpretable structures and capture disease-related reorganization and individual-level variation.

stat.ME↗
arXiv2026

EnvHarness: Awakening Static Worlds for Agent Learning

LLM agents learn by interacting with environments, yet these environments are hand-built and static: blind to an agent's weaknesses, and quickly left behind as it improves. While recent environment generation methods attempt to address this, they require domain-specific pipelines, rely on expensive or unreliable verifiers, and still produce static environments. To alleviate the engineering burden of rebuilding environments from scratch, we propose Environment Harness (EnvHarness), a programmable layer of plug-in components that wraps a static environment to reshape its behavior without modifying the underlying logic. Operating through standard interfaces, EnvHarness applies across diverse domains while ensuring every reshaped environment retains its original verifier. To automate this process, we introduce EnvRigger, which treats the target policy as a black box, observing its execution trajectories to synthesize EnvHarness components targeting diagnosed flaws, and validating them via fresh rollouts. Across five benchmarks in four domains, EnvHarness outperforms both original environments and domain-specific environment generation pipelines, achieving up to a 9.0-point improvement on held-out instances with 9.8% fewer execution steps. Furthermore, EnvHarness provides a superior optimization signal for reinforcement learning, enabling continuous, targeted co-evolution of the policy and its environment.

cs.AI↗