arXiv subjects

Jin Zhang

Publications and source records attributed to Jin Zhang.

At least 55 records · Page 3Linked to original sources

arXiv2026

Subsurface Vacancy Engineering Enables Atomically Clean and Oxidation-Resistant Copper Interfaces for Anode-Free Lithium Metal Batteries

Interfaces govern reaction pathways and stability in electrochemical systems, yet creating clean, well-defined metal interfaces at scale remains challenging. In anode-free lithium metal batteries (AFLMBs), the current-collector interface is decisive for lithium nucleation and solid electrolyte interphase (SEI) formation, and ideally should support efficient charge transport, uniform reaction distribution, and long-term chemical and structural stability. Here we report an ion-implantation strategy that produces an atomically clean and oxidation-resistant copper interface. Implanting copper ions into commercial foils removes the native oxide while generating subsurface vacancy clusters directly beneath the surface -- an atomic-scale modification that does not increase the collector thickness but fundamentally alters interfacial chemistry. Experiments and multiscale simulations reveal that these vacancies act as strong oxygen traps, preventing reoxidation, enhancing interfacial conductivity, and guiding the formation of an ultrathin, Li2O-enriched SEI that promotes uniform lithium deposition and suppresses parasitic reactions. Applied in AFLMBs, the engineered current collectors deliver long-term stability with a Coulombic efficiency of 98.8% over 600 cycles under lean-electrolyte conditions. These findings demonstrate atomic-scale interface control of copper current collectors as a route toward stable and practical lithium metal batteries.

cond-mat.mtrl-sci↗

arXiv2026

Luttinger liquid parameters in one-dimensional Rydberg arrays

We investigate Berezinskii-Kosterlitz-Thouless (BKT) transitions in one-dimensional Rydberg chains, where commensurate critical regimes associated with the melting of crystalline orders with period larger than five and incommensurate floating phases are both described by Luttinger liquid theory. The central quantity is the Luttinger liquid parameter $K$, which characterizes the universal low-energy theory and controls the relevance of perturbations driving BKT transitions. We extract $K$ using Friedel oscillations and the recently developed crosscap method introduced in Phys. Rev. Lett. 134, 076501 (2025). As benchmarks, we first apply the crosscap method to a $\mathbb{Z}_3$ dual hard-core boson chain and a spin-1 XY chain with single-ion anisotropy, obtaining BKT transition points consistent with previous results after finite-size extrapolation. We then compute $K$ in the Rydberg chain along lines with fixed correlation-oscillation period near BKT transitions. Along the commensurate period-five line, the critical values of $K$ predicted by sine-Gordon theory reveal two BKT transitions separating the disordered phase, the critical phase, and the $\mathbb{Z}_5$ crystalline phase. The results from Friedel oscillations and the crosscap method agree with each other and are further supported by energy-gap scaling and Binder-cumulant analysis. To obtain reliable values of $K$ from Friedel oscillations, we use a multi-harmonic fitting scheme throughout the analysis. Along incommensurate lines, the BKT points obtained from Friedel oscillations agree with those extracted from entanglement entropy. Finally, we show that the values of $K$ obtained from the two methods are mutually consistent inside the incommensurate floating phase.

cond-mat.quant-gas↗

arXiv2026

Sinkhorn-CPD: Robust point cloud registration via unbalanced entropic optimal transport

Coherent Point Drift (CPD) is widely used for rigid point cloud registration because of its soft correspondences and closed-form parameter updates. However, CPD's target-side marginal constraint forces every observation, including outliers, to receive exactly unit probability mass. This assumption degrades registration accuracy under heavy outliers and partial overlap. Optimal transport (OT) methods can handle missing mass through unbalanced formulations, but require hand-tuned annealing schedules. In this paper, we propose Sinkhorn-CPD, which replaces CPD's target-side marginal constraint with dual Kullback-Leibler penalties, allowing the algorithm to discard outliers on both sides. The resulting formulation is a fully unbalanced entropic optimal transport problem, which can be efficiently solved by generalized Sinkhorn iterations. Moreover, Sinkhorn-CPD preserves the closed-form Procrustes and variance updates of CPD. In our method, the variance sigma^2 plays the role of the entropic regularization parameter, which induces an automatic annealing schedule from diffuse to sharp correspondences without manual temperature tuning. Experiments on synthetic, cross-category, and scan-to-CAD benchmarks show that Sinkhorn-CPD achieves state-of-the-art accuracy, with strong robustness to outliers and partial overlap.

cs.CV↗

arXiv2026

A Single-Loop Penalty-based Algorithm for Stochastic Minimax Optimization with Nonlinear Coupled Constraints

We study stochastic nonconvex-concave minimax optimization with nonlinear coupled constraints that are convex in the maximization variable. To address the nonsmoothness arising from such constraints, we develop a penalty-based smooth approximation that combines quadratic penalization of the coupled constraints with quadratic regularization of the inner maximization problem. Based on this approximation, we propose SPACO, a single-loop stochastic gradient algorithm that tracks the inner maximizer by one stochastic ascent step, updates the outer variable using an inexact stochastic descent direction, and adaptively updates the penalty and regularization parameters over the iterations. For the penalty-based smooth approximation, we establish convergence guarantees from both minimizer and stationarity perspectives. In particular, we introduce enhanced KKT conditions and show that stationary points of the smooth approximations can converge to points satisfying these conditions. An example illustrates that the enhanced KKT conditions can help exclude KKT points that are not local minimizers. For SPACO, we prove non-asymptotic complexity bounds for stationarity and feasibility, as well as asymptotic subsequential convergence to enhanced KKT points. Numerical experiments on synthetic examples, fairness-aware classification, and constrained generative adversarial network training demonstrate the effectiveness of the proposed method.

math.OC↗

arXiv2026

A Single-Loop Bilevel Deep Learning Method for Optimal Control of Obstacle Problems

Optimal control of obstacle problems arises in a wide range of applications and is computationally challenging due to its nonsmoothness, nonlinearity, and bilevel structure. Classical numerical approaches rely on mesh-based discretization and typically require solving a sequence of costly subproblems. In this work, we propose a single-loop bilevel deep learning method, which is mesh-free, scalable to high-dimensional and complex domains, and avoids repeated solution of discretized subproblems. The method employs constraint-embedding neural networks to approximate the state and control and preserves the bilevel structure. To train the neural networks efficiently, we propose a Single-Loop Stochastic First-Order Bilevel Algorithm (S2-FOBA), which eliminates nested optimization and does not rely on restrictive lower-level uniqueness assumptions. We analyze the convergence behavior of S2-FOBA under mild assumptions. Numerical experiments on benchmark examples, including distributed and obstacle control problems with regular and irregular obstacles on complex domains, demonstrate that the proposed method achieves satisfactory accuracy while reducing computational cost compared to classical numerical methods.

math.OC↗

arXiv2026

Code-on-Graph: Iterative Programmatic Reasoning via Large Language Models on Knowledge Graphs

Knowledge Graphs (KGs) are widely used to mitigate the limitations of Large Language Models (LLMs), such as outdated knowledge and hallucinations. Existing LLM-KG integration frameworks typically rely on predefined operators to retrieve factual knowledge from KGs and inject it into prompts for answer generation. This paradigm faces two critical bottlenecks: 1) Inflexibility: The predefined operators are limited in scope and thus lack sufficient compositional expressiveness to fully capture the complex semantics required by KG questions. 2) Unscalability: Direct injection of factual knowledge into prompts limits scalability in handling large-scale factual knowledge. To address these two bottlenecks, we propose Code-on-Graph (CoG), a programmatic reasoning framework for LLM-KG integration. Specifically, given the factual knowledge retrieved at each reasoning step, CoG first identifies the corresponding KG schemas and represents these schemas as Python classes, which serve as abstract interfaces to the retrieved facts. It then generates executable code grounded in these classes, with the retrieved facts instantiated as objects of the corresponding classes during execution. This design enables flexible code-based reasoning while avoiding the direct injection of large-scale factual knowledge into prompts. Experiments on WebQSP, CWQ, and GrailQA demonstrate that CoG outperforms prior state-of-the-art models by up to 10.5%.

cs.AI↗

arXiv2026

Ground-state phase diagram of Rydberg atoms in a triangular-prism array

We study the ground-state phase diagram of Rydberg atoms in a triangular-prism optical tweezer array using the density matrix renormalization group. By tuning the detuning-to-Rabi-frequency ratio and the Rydberg blockade radius, the system realizes several density-wave phases with spontaneous breaking of translational and leg-exchange symmetries. Unlike two-leg Rydberg ladders with $\mathbb{Z}_2$ leg-exchange symmetry, the triangular prism has $\mathbb{D}_3$ symmetry, leading to a richer set of ordered phases and transitions. For blockade radius moderately larger than the lattice spacing, a phase with alternating double and single Rydberg occupancy appears at large detuning. It breaks $\mathbb{Z}_2$ translational and $\mathbb{Z}_3$ rotational symmetry while preserving a rung reflection symmetry. Upon decreasing detuning, it melts through two Berezinskii-Kosterlitz-Thouless transitions with an intermediate critical phase described by a $\mathbb{Z}_6$ clock model. At larger blockade radius, a phase with one Rydberg excitation per triangle and broken $\mathbb{D}_3$ symmetry appears through a first-order transition. When double occupation of neighboring triangles is suppressed, rung-trimerized density waves develop as detuning increases from the disordered phase. Their melting follows the same structure as in Rydberg chains and two-leg ladders: the $\mathbb{Z}_2$ case has Ising critical lines, while the $\mathbb{Z}_3$ and $\mathbb{Z}_4$ cases have chiral critical lines, with Potts and Ashkin-Teller points only on the corresponding commensurate lines. Inside the $\mathbb{Z}_2$ rung-trimerized phase, an entanglement-entropy peak signals a crossover regime with enhanced period-2 density modulation before a first-order transition into a $\mathbb{Z}_2\times\mathbb{D}_3$ phase. Floating phases with incommensurate quasi-long-range order appear between trimerized states of different periods.

cond-mat.quant-gas↗

arXiv2026

BioFormer: Rethinking Cross-Subject Generalization via Spectral Structural Alignment in Biomedical Time-Series

Cross-subject generalization in biomedical time-series refers to training on data from some subjects and testing on unseen subjects.The key challenge is to suppress subject specific variability in BTS representations.Most existing methods implicitly suppress the variability through model building or subject adversarial learning, but rarely model it explicitly.We introduce spectral drift as a new perspective to characterize subject specific variability.Specifically, BTS signals under the same label often share consistent oscillatory structure, yet exhibit subject-dependent magnitude or phase shifts in specific frequency components, which we interpret as subject-specific variability. Building on this insight, we propose BioFormer.At its core is a Frequency-Band Alignment Module(FBAM) that generates band-wise modulation factors from the spectral distribution and adaptively adjusts amplitude and phase to align spectral structure, thereby mitigating variability.We further pair FBAM with Sample Conditional Layer Normalization, which infers normalization parameters from intrinsic signal statistics rather than subject identity, stabilizing cross-subject representations.Extensive experiments on six datasets demonstrate that BioFormer outperforms 12 baselines, yielding absolute F1-score improvements of 6%.

cs.LG↗

arXiv2026

From Item-Only to Query-Item: Query-Conditioned Generative Search with QGS in Quark

Generative sequence models have shown strong results in recommendation. Applying them to search ranking is more challenging. Search behavior is inherently query-driven. Each query switch introduces a sharp topic shift in the user's interaction history. Existing generative methods flatten queries and items into a single token sequence. They do not distinguish query boundaries. This causes the model to mix different query intents into one prediction target, resulting in noisy supervision. We present Query-Conditioned Generative Search (QGS). QGS encodes each interaction as a (query, item) pair token. It trains with a query-conditioned next-item objective. The prediction target changes from a noisy marginal P(item_{t+1}|context_{<=t}) to a clean conditional P(item_{t+1}|context_{<=t}, query_{t+1}). This directly removes the semantic discontinuity caused by query switches. Encoding long interaction histories with standard attention has quadratic cost. This is impractical under strict online latency budgets. We introduce a Linear HSTU encoder. It replaces full attention with causal linear recurrence. Per-layer complexity drops from O(L^2) to O(L) with no loss in ranking quality. Traditional search ranking depends on hand-crafted features like text-matching scores, statistical signals, and behavioral features. We propose HFG-Attention to preserve them in the generative framework. It organizes heterogeneous features into semantic groups and fuses them through a dedicated attention block. This bridges sparse engineered signals with dense sequential representations. QGS is deployed in the ranking module of Quark Search, a major commercial search engine in China. Online A/B tests show statistically significant gains: +0.62% CTR, +0.38% Click-Search Ratio, and +3.55% PV Duration over the production deep learning baseline.

cs.IR↗

arXiv2026

Towards compact high-frequency nonreciprocal devices using nanoplasma-switched time-varying metasurfaces

Time-modulated systems have received growing interest in recent years. They allow us to tailor effects, such as frequency conversion, single-direction propagation, etc. For the microwave band, semiconductor elements, such as varactors, are usually used as time-modulated elements but their modulation frequency has been limited to the few-gigahertz range. Recent advances in nanoplasma switches, i.e., two-state electronic switches based on a gas discharge in a nanometer-scale gap, provide a new potential for developing time-modulated systems with high operating frequencies. Here, we develop an analytical framework based on the time-Floquet method for the design of nonreciprocal time-modulated devices based on two-state time-modulated elements, for instance, nanoplasma-based switches. A practical example of a microwave isolator operating at 100~GHz frequency is developed and studied both analytically and using full-wave simulations. A potential realization in a parallel-plate waveguide is also simulated numerically.

physics.optics↗

arXiv2026

Enhancing Clinical Trial Patient Matching through Knowledge Augmentation and Reasoning with Multi-Agent

Matching patients effectively and efficiently for clinical trials is a significant challenge due to the complexity and variability of patient profiles and trial criteria. This paper introduces \textbf{Multi-Agent for Knowledge Augmentation and Reasoning (MAKAR)}, a novel multi-agent system that enhances patient-trial matching by integrating criterion augmentation with structured reasoning. MAKAR consistently improves performance by an average of 7\% across different datasets. Furthermore, it enables privacy-preserving deployment and maintains competitive performance when using smaller open-source models. Overall, MAKAR can contributes to more transparent, accurate, and privacy-conscious AI-driven patient matching.

cs.MA↗

arXiv2026

Alternating Gradient-Type Algorithm for Bilevel Optimization with Inexact Lower-Level Solutions via Moreau Envelope-based Reformulation

In this paper, we study a class of bilevel optimization problems where the lower-level problem is a convex composite optimization model, which arises in various applications, including bilevel hyperparameter selection for regularized regression models. To solve these problems, we propose an Alternating Gradient-type algorithm with Inexact Lower-level Solutions (AGILS) based on a Moreau envelope-based reformulation of the bilevel optimization problem. The proposed algorithm does not require exact solutions of the lower-level problem at each iteration, improving computational efficiency. We prove the convergence of AGILS to stationary points and, under the Kurdyka-Łojasiewicz (KL) property, establish its sequential convergence. Numerical experiments, including a toy example and a bilevel hyperparameter selection problem for the sparse group Lasso model, demonstrate the effectiveness of the proposed AGILS.

math.OC↗

arXiv2026

Note on the evaluation of one type scalar three-point integral extracted from the Higgs boson decay

Motivated by the Higgs boson decaying to $gg$ at leading order approximation, the amplitude of scalar one loop three-point diagram with two different internal masses are evaluated and fully analytic results are obtained. The main ingredient of the evaluation is a integral in which the integrand is product of the reciprocal of the integral variable and a logarithm whose argument is a quadratic function of the general form. Complete analytic results for the two cases that there is no real root and there are two different real roots for the logarithm are presented. Applications of the results in this paper to radiative decays of the heavy quarks in the Standard Model and in the singlet vector-like model are discussed.

hep-ph↗

arXiv2026

ICT-NLP at SemEval-2026 Task 3: Less Is More -- Multilingual Encoder with Joint Training and Adaptive Ensemble for Dimensional Aspect Sentiment Regression

This paper describes our system to SemEval-2026 Task 3 Track A Subtask 1 on Dimensional Aspect Sentiment Regression (DimASR). We propose a lightweight and resource-efficient system built entirely on multilingual pre-trained encoders, without relying on LLMs or external corpora. We adopt joint multilingual and multi-domain training to facilitate cross-lingual transfer and alleviate data sparsity, introduce a bounded regression transformation that improves training stability while constraining predictions within the valid range, and employ an adaptive ensemble strategy via subset search to reduce prediction variance. Experimental results demonstrate that our system achieves strong and consistent performance, ranking 1st on zho-res, 2nd on zho-lap, and 3rd on jpn-hot, with all remaining datasets placed within the top half of participating teams.

cs.CL↗

arXiv2026

FAB: A First-Order AB-based Gradient Algorithm for Distributed Bilevel Optimization over Time-Varying Directed Graphs

Distributed optimization over time-varying directed graphs has shown promising performance in addressing challenges posed by complex communication constraints in real-world scenarios. In many practical settings, however, the direct application of distributed optimization algorithms encounters additional difficulties, most notably hyperparameter tuning, which our empirical observations suggest can be effectively mitigated by integrating bilevel optimization. Motivated by these findings, we study distributed bilevel optimization over time-varying directed networks, a problem that remains largely unexplored due to the compounded challenges arising from consensus bias in dynamic unbalanced communication and the nested optimization structure. In this work, we propose a fully first-order distributed gradient-based algorithm that integrates the Push-Pull (also known as AB) communication strategy with a value function-based penalty method and establish its non-asymptotic convergence properties. Notably, a simplified variant of our analysis framework for nonconvex single-level distributed optimization establishes a convergence rate for the Push-Pull algorithm, thereby resolving an open question concerning its convergence over time-varying directed graphs. Empirical evaluations across diverse tasks, including hyperparameter tuning, data hyper-cleaning, and reinforcement learning, validate the effectiveness and efficiency of the proposed algorithm.

math.OC↗

arXiv2026

Domain-Wall-Mediated Ultralow-Barrier Sliding and Pinning in Ferroelectric Moiré Superlattices Revealed by Machine Learning

Sliding ferroelectrics built from stacked nonpolar monolayers enable out-of-plane polarization and unconventional switching via interlayer sliding, yet the microscopic sliding dynamics remain unclear. Using machine-learning molecular dynamics, we reveal spontaneous thermally driven interlayer sliding in ferroelectric MoS2 moiré superlattices, with relative velocities on the order of 1 m/s at 300 K. Instead of rigid translation of the entire bilayer, the motion appears as a global drift of the moiré pattern. Such thermally driven sliding is inconsistent with the meV/atom-scale rigid-sliding barrier. In contrast, when constrained relaxation is allowed, the sliding proceeds along an almost barrierless pathway that directly reproduces the global drift of the moiré pattern. Furthermore, sulfur vacancies trigger a sliding-to-pinning transition, with about 0.1% S vacancies already sufficient to convert the long-range sliding into localized oscillations. Notably, these phenomena are not restricted to small twist angles, but arise generically in twisting-induced multidomain structures. These results reveal that the sliding process is governed by a domain-wall-mediated collective reconstruction pathway with an ultralow barrier, rather than rigid layer translation, deepening the understanding of microscopic dynamics in moiré superlattices and sliding ferroelectrics.

cond-mat.mtrl-sci↗

arXiv2026

Towards Knowledgeable Deep Research: Framework and Benchmark

Deep Research (DR) requires LLM agents to autonomously perform multi-step information seeking, processing, and reasoning to generate comprehensive reports. In contrast to existing studies that mainly focus on unstructured web content, a more challenging DR task should additionally utilize structured knowledge to provide a solid data foundation, facilitate quantitative computation, and lead to in-depth analyses. In this paper, we refer to this novel task as Knowledgeable Deep Research (KDR), which requires DR agents to generate reports with both structured and unstructured knowledge. Furthermore, we propose the Hybrid Knowledge Analysis framework (HKA), a multi-agent architecture that reasons over both kinds of knowledge and integrates the texts, figures, and tables into coherent multimodal reports. The key design is the Structured Knowledge Analyzer, which utilizes both coding and vision-language models to produce figures, tables, and corresponding insights. To support systematic evaluation, we construct KDR-Bench, which covers 9 domains, includes 41 expert-level questions, and incorporates a large number of structured knowledge resources (e.g., 1,252 tables). We further annotate the main conclusions and key points for each question and propose three categories of evaluation metrics including general-purpose, knowledge-centric, and vision-enhanced ones. Experimental results demonstrate that HKA consistently outperforms most existing DR agents on general-purpose and knowledge-centric metrics, and even surpasses the Gemini DR agent on vision-enhanced metrics, highlighting its effectiveness in deep, structure-aware knowledge analysis. Finally, we hope this work can serve as a new foundation for structured knowledge analysis in DR agents and facilitate future multimodal DR studies.

cs.AI↗

arXiv2026

Quantum phases in the interacting generalized Su-Schrieffer-Heeger model

We investigate the quantum phases of a half-filled generalized interacting Su-Schrieffer-Heeger model with intracell, nearest-neighbor, and next-nearest-neighbor intercell hoppings, together with an on-site inter-sublattice interaction. In the noninteracting limit, the model hosts one topologically trivial phase and two symmetry-protected topological (SPT) phases, distinguished under periodic boundary conditions by different winding numbers and under open boundary conditions by two-fold and four-fold entanglement-spectrum degeneracies, respectively. When interactions are introduced, these free-fermion SPT phases evolve into distinct interacting topological phases that retain characteristic signatures such as entanglement-spectrum degeneracy structures, boundary modes, and nonzero string order parameters. For strong repulsive interactions, a symmetry-breaking phase with unequal but spatially uniform sublattice densities appears between the trivial and topological regimes. For strong attractive interactions, period-2 and period-4 charge-density-wave phases emerge from particle clustering. At intermediate attractive interactions, the competition between interaction-induced localization and hopping-induced delocalization gives rise to a Luttinger liquid phase, a paired Luttinger liquid phase, and a gapless symmetry-protected topological (gSPT) phase. The gSPT phase is characterized by a gapless charge mode together with symmetry-protected current-carrying edge states. We further characterize the gapless phases and the associated quantum phase transitions through central charges and critical exponents.

cond-mat.str-el↗