arXiv Science⌕ Search

arXiv subjects

Kai Zheng

Publications and source records attributed to Kai Zheng.

At least 19 recordsLinked to original sources
arXiv2026

Convergence of the Calabi flow on Kähler surfaces with bounded Sobolev constants

We study global Calabi flows $g(t)$ on compact Kähler surfaces with a uniform Sobolev constant. For any sequence $t_j\to\infty$, set $g_j(t):=g(t_j+t)$. After passing to a subsequence, these flows converge to an eternal Calabi flow on a compact extremal Kähler orbifold surface. The convergence holds in the spacetime $\hat C^\infty$-Cheeger--Gromov topology: it is uniform in the Gromov--Hausdorff sense on compact time intervals and smooth away from the orbifold singularities, using comparisons fixed in time.

math.DG↗
arXiv2026

Calabi flow on polarized Kähler surfaces

We study global smooth Calabi flows on polarized Kähler surfaces $(M,L)$, assuming uniformly bounded Sobolev constants and the algebraic conditions $χ(\mathcal O_M)=1$ and $c_1(M)\cdot c_1(L)>0$. Using the orbifold compactness theorem, we prove a uniform Bergman estimate, construct a normal test configuration for each geometric limit, and establish uniqueness of the extremal orbifold limit up to polarized holomorphic isometry. K-polystability then identifies the limit with the original surface and gives a constant scalar curvature Kähler metric. We also prove finite-group equivariant versions of these results. Independently of the flow, we obtain a uniform Bergman lower bound for polarized cscK surfaces with bounded volume and Sobolev constants and $|S|\leq1$. We illustrate the hypotheses with nonstationary flows near a product cscK metric on $\mathbb P^1\times\mathbb P^1$ and near Calabi's non-cscK extremal metric on the first Hirzebruch surface. Their controlled-cone energy inequalities follow from elementary calculations and continuity.

math.DG↗
arXiv2026

Experience Memory Graph: Extracting Reusable Correction Knowledge from Agent Trajectories

Large Language Model (LLM) agents have shown remarkable capabilities in autonomous decision-making by generating sequential trajectories of states, actions, and observations. However, in complex, long-horizon tasks, these agents frequently suffer from compounding errors and struggle to recover from failures. Despite advances in experience memory, extracting reliable and transferable correction knowledge from historical trajectories remains challenging. Existing methods, whether based on test-time reflection or offline memory construction, largely rely on LLMs to diagnose failures and formulate corrective strategies, which can produce brittle or task-specific insights that are difficult to generalize. To address this challenge, we propose Experience Memory Graph (EMG), a framework that reformulates agent failure recovery as a graph matching problem. During offline construction on the training set, we convert both failed exploration trajectories and successful expert trajectories into directed action decision graphs. By matching these graphs, we extract common subgraphs and graph edit paths that explicitly indicate how to correct failures, and store them in a memory graph with intra-task nodes and cross-task edges. At test time, EMG retrieves relevant insights and guides the agent in a single test-time attempt without additional reflection-and-replay rounds. Experiments on ALFWorld and ScienceWorld demonstrate consistent improvements over the evaluated memory construction and competitive baselines across seen and unseen splits.

cs.AI↗
arXiv2026

Pseudo-Calabi Flow on Toric Variety

In this paper, we prove the long time existence of the pseudo-Calabi flow on a compact toric variety for any $T^n$-invariant initial Kähler metric. If the Mabuchi functional is proper modulo automorphisms, the flow converges exponentially to a constant scalar curvature Kähler (cscK) metric. In particular, this gives a flow proof that properness of the K-energy implies the existence of a cscK metric in the toric setting.

math.DG↗
arXiv2026

AirMPA: A Meteorology-to-Pollution Adapter for Global Air Quality Forecasting

Accurate real-time forecasting of atmospheric pollutants is essential for reducing exposure risks and improving public health. Traditional numerical forecasting systems suffer from incomplete parameterizations, uncertain inputs, and high computational cost. Existing deep learning approaches improve efficiency, but often entangle meteorological and pollutant variables within unified forecasting frameworks, limiting flexibility and pollutant-specific representation learning. To address these challenges, we propose AirMPA, a decoupled autoregressive framework for meteorology-to-pollution forecasting. AirMPA predicts 13 atmospheric pollutants at 0.4° spatial resolution and 12-h temporal resolution using meteorological fields, emission priors, and historical pollutant concentrations. The model is built on an improved Swin-Transformer architecture with zonal release attention and dual-branch fusion, enabling more effective modeling of global transport continuity and heterogeneous pollutant dynamics. During training, AirMPA uses the fifth-generation atmospheric reanalysis from the European Centre for Medium-Range Weather Forecasts (ERA5) as meteorological forcing, while during inference it directly ingests forecast fields from external meteorological models, enabling stable autoregressive prediction up to 5 days ahead. Experiments show that AirMPA consistently outperforms Aurora and surpasses the Copernicus Atmosphere Monitoring Service (CAMS) in approximately 90% of pollutant-lead-time evaluation cases over the 5-day forecast horizon, while outperforming CAMS on all variables beyond 48 h. These results demonstrate the potential of decoupled meteorology-to-pollution forecasting for global air quality prediction.

physics.ao-ph↗
arXiv2026

Long-time existence of the Laplacian flow with Weyl tensor

We establish integral extension criteria for the Laplacian flow of closed $G_2$-structures on compact $7$-dimensional manifolds $M$. Assuming a uniform lower bound for the scalar curvature, we prove that a finite-time solution extends smoothly whenever the spatial $L^p$ norm of the $77$-dimensional Weyl component $W_{77}$ remains uniformly bounded for some $p\ge 7/2$. We also obtain a mixed space--time extension criterion under the condition \[ W_{77}\in L^q(0,T;L^p(M,g(t))), \qquad \frac{7}{2}<p<\infty,\quad 1\le q<\infty,\quad \frac{1}{q}+\frac{7}{p}\le 2. \] In particular, finite space-time $L^4$ integrability of $W_{77}$ is sufficient for extension.

math.DG↗
arXiv2026

3DTCR: Vortex-following generative reconstruction improves tropical cyclone intensity prediction from global AI weather forecasts

Global numerical weather prediction (NWP) and artificial intelligence (AI) models often underestimate tropical cyclone (TC) intensity, partly because coarse grids underresolve fine-scale three-dimensional inner-core structures that influence TC intensity evolution. Kilometer-scale NWP simulations can better resolve these structures but are too costly for operational use, which also makes high-resolution TC data limited. Here we construct a 3-km, TC-centered dataset for 2018--2024 using the Weather Research and Forecasting (WRF) model and develop 3DTCR, a vortex-following generative framework that reconstructs three-dimensional TC structure from FuXi global forecasts. 3DTCR combines conditional flow matching (CFM) with two-stage training to learn a coarse-to-fine mapping from center-aligned reanalysis simulation pairs and then adapt it to forecast inputs through latent space alignment. Evaluated on 2024 western North Pacific (WNP) forecasts, 3DTCR reduces the root mean square error (RMSE) and the magnitude of the mean bias error (MBE) in maximum 10-m wind speed by 36.5% and 60.7% relative to FuXi, and by 8.9% and 28.2% relative to the European Centre for Medium-Range Weather Forecasts high-resolution system (ECMWF-HRES), respectively. Case studies suggest that reconstructions capture wind gradients between the eye and eyewall, vertical structure of horizontal winds, and vortex asymmetries, while inheriting the FuXi-predicted TC tracks. 3DTCR generates 5-day TC-centered atmospheric fields in approximately 3 minutes on one GPU, whereas a full-basin 3-km WRF simulation takes about 400 hours on 32 CPU cores. These results demonstrate that such a vortex-following generative reconstruction can add localized three-dimensional detail to global forecasts and improve TC intensity prediction without basin-wide kilometer-scale numerical integration.

cs.LG↗
arXiv2026

When CONTRIBUTING Files Fall Short: Revising OSS Contribution Guidelines with Repository Evidence

Contribution guidelines help newcomers participate in open-source software projects, yet often contain incomplete or outdated information. Existing studies characterize newcomers' information needs and documentation gaps, but revising these guidelines requires recovering and validating project-specific knowledge from scattered sources. We present ContribAlign, a framework for automatically revising CONTRIBUTING files through category-guided evidence integration. A qualitative analysis yields a taxonomy of 30 fine-grained guidance types across six contribution categories. ContribAlign uses a classifier to diagnose coverage of the six categories in the original guidance, then uses the taxonomy to collect and organize project-specific evidence. It filters detected conflicts and uses a large language model to generate category-level revisions. The classifier achieves a weighted F1 score of 0.764, improving on the existing classifier by 0.156, while the verifier detects factual conflicts with 97.3% precision and 91.5% estimated recall. Human evaluation shows that ContribAlign achieves the highest overall quality among the original guidelines and three baselines, with significant improvements in usefulness, beginner-friendliness, and completeness. These results suggest that ContribAlign can help maintain more accurate and useful contribution guidelines.

cs.SE↗
arXiv2026

Tri-path DINO: Feature Complementary Learning for Remote Sensing Multi-Class Change Detection

In remote sensing imagery, multi-class change detection (MCD) is crucial for fine-grained monitoring, yet it has long been plagued by feature ambiguity in change regions, which obscures subtle changes and hinders fine-grained discrimination under complex scene variations and scarce annotations. To address this, we propose the Tri-path DINO architecture, which adopts a multi-path decoupled complementary feature learning strategy to separately capture coarse-grained semantic features and fine-grained target-edge features. Specifically, we employ the DINOv3 pre-trained model as the backbone feature extraction network to learn coarse-grained features. An auxiliary path also adopts a siamese structure, progressively aggregating intermediate features from the siamese encoder to enhance the learning of fine-grained features. Finally, a multi-scale attention mechanism is introduced to augment the decoder network, where parallel convolutions adaptively capture and enhance contextual information under different receptive fields. The proposed method achieves state-of-the-art performance on Gaza-change, SECOND, and LandsatSCD, improving mIoU/$F_{\mathrm{scd}}$ by 1.01\%/2.93\%, 0.67\%/2.84\%, and 1.22\%/1.51\%, respectively, over the best competing method. Grad-CAM visualizations further confirm that the main and auxiliary paths naturally focus on coarse-grained semantic changes and fine-grained structural details, respectively. This synergistic complementarity provides a robust and interpretable solution for advanced change detection tasks, offering a basis for rapid and accurate damage assessment.

cs.CV↗
arXiv2026

DBA-Bench: A Production-Fidelity Benchmark for LLM-Based Database Operations Agents

LLM-based database agents show promise, but differences in task scope, testbeds, and success criteria hinder direct comparison. A shared benchmark must also preserve the operational conditions that determine whether diagnosis and remediation succeed in practice. We present DBA-Bench, guided by operational realism, outcome-first evaluation, and controlled scenario reproducibility. It evaluates agents in live PostgreSQL and distributed TiDB deployments with active workloads, stateful behavior, and multi-source observations. Success requires satisfying scenario-specific operational objectives without violating safety constraints. The primary evaluation covers 231 bounded scenarios across five operational domains, while 10 persistent scenarios extend evaluation to continued operation across interacting events. We evaluate eight automated baselines, including four frontier foundation models, two open-weight models, and two GPT-5.5-backed database agents. Our evaluation exposes gaps between diagnosis, effective remediation, and safe execution across both database systems. Agents can identify root causes yet fail to restore operational objectives. Even when objectives are restored, the executed actions can violate safety constraints. Persistent scenarios expose a gap between clearing individual blockers and sustaining business service: agents leave competing workloads uncoordinated and previously completed repairs unchecked after subsequent changes.

cs.DB↗
arXiv2026

TurnOPD: Making On-Policy Distillation Turn-Aware for Efficient Long-Horizon Agent Training

On-policy distillation (OPD) trains a student policy by matching a stronger teacher on the student's own trajectories, offering a promising framework for language agent training. However, its application to long-horizon agentic tasks remains insufficiently explored. We identify two key inefficiencies in vanilla agent OPD: (1) full-horizon rollouts often waste wall-clock resources on tail turns that provide weak and noisy KL supervision, and (2) trajectory-level KL objectives concentrate most of the loss on shallow tokens, leaving deeper decision turns under-trained once initial behaviors are aligned. To address these challenges, we propose TurnOPD, a turn-level budgeting strategy for efficient on-policy distillation of long-horizon agents. TurnOPD consists of two budget controllers: adaptive rollout-depth budgeting, which uses probe-based turn statistics to determine rollout length, and progressive turn-normalized loss budgeting, which gradually shifts KL weighting from token-level to turn-balanced supervision. Experiments on ALFWorld, WebShop, and Multi-Hop Search with task-specialized teacher models show that TurnOPD achieves superior validation accuracy under equal wall-clock training budgets and advances the accuracy--time frontier beyond vanilla OPD.

cs.AI↗
arXiv2026

Hunyuan-A13B Technical Report

We present Hunyuan-A13B, an open-source large language model based on a Mixture-of-Experts architecture. It contains 80 billion total parameters but activates only 13 billion during inference, balancing model capability, computational efficiency, and deployment cost. The model is pretrained on a rigorously filtered 20T-token corpus with enhanced STEM data curation, improving factual reliability and reasoning ability. High-quality supervised fine-tuning and large-scale reinforcement learning further enhance its overall performance. Hunyuan-A13B also introduces a dual-mode Chain-of-Thought framework that adapts reasoning depth to task complexity: fast thinking for routine queries and slow thinking for complex, multi-step problems. Evaluations show competitive performance across mathematics, science, programming, general language understanding, and agent tasks, often approaching that of much larger models. Its high inference throughput makes it suitable for latency-sensitive applications. We release Hunyuan-A13B to support open research and practical LLM deployment.

cs.AI↗
arXiv2026

On the uniqueness of Poincaré type cscK metrics

Let $X$ be a compact Kähler manifold with a divisor $D$ which may have simple normal crossings. We prove that the $K$-energy is convex on the space of Poincaré type Kähler metrics. Then, we prove that the Poincaré type constant scalar curvature Kähler metric is unique up to an automorphism of $X$ preserving $D$.

math.DG↗
arXiv2026

On the structure of complete $G_2$-solitons

In this work, we establish compactness and regularity results for complete gradient Laplacian solitons of closed $G_2$-structures. Under a lower scalar-curvature bound and a distance-dependent bound on the gradient of the soliton potential, we prove pointed measured Gromov-Hausdorff compactness. With a uniform lower bound for the localised Perelman entropy, the Gromov-Hausdorff convergence improves to pointed $C^{1,α}$ convergence. Our principal result shows that this \(C^{1,α}\) convergence upgrades to smooth convergence on the regular set. More precisely, after passing to a subsequence, the metrics, the defining positive \(3\)-forms, and the soliton potentials converge smoothly on every compact subset of the regular set, and the limiting data define a gradient Laplacian soliton. The proof develops a local entropy method adapted to \(G_2\)-solitons. Since the available \(C^{1,α}\) control does not directly close an elliptic bootstrap for the \(G_2\)-soliton, and no suitable pseudolocality theorem is available in this setting, we instead use the localised Perelman's functionals. These yield an entropy \(\varepsilon\)-regularity theorem and a gap theorem for scalar-flat solitons. On the regular set, pointed \(C^{1,α}\) convergence gives an almost-Euclidean local isoperimetric inequality, which in turn verifies the required small-entropy condition automatically. The resulting curvature bounds are then combined with \(G_2\)-specific differential identities and quantitative interior estimates to control the soliton data. Finally, at the critical exponent in dimension seven, we show that a uniform weighted \(L^{\frac{7}{2}}\) -curvature bound then yields pointed $C^\infty$ compactness.

math.DG↗
arXiv2026

Using Lower-Bound Representations for Trajectory Similarity Learning

Trajectory similarity learning is fundamental to efficient trajectory retrieval under complex distance measures. Existing learning-based methods typically rely on embeddings trained to approximate trajectory distances or rankings, but they often lack guarantees with respect to the original distances, exhibit unstable performance across distance measures, and incur substantial training costs. We revisit trajectory similarity learning from a lower-bound representation perspective and propose LB-TrajRep, a unified lower-bound representation framework independent of deep neural embeddings. This framework constructs single-vector representations from a set of lower-bound components, enabling admissible and interpretable lower bounds for multiple classical trajectory distances, including Dynamic Time Warping (DTW), Hausdorff distance, and Discrete Fréchet Distance (DFD). Within this framework, we instantiate point-pivot components, which naturally support both metric and non-metric distances and remain compatible with standard vector-based retrieval pipelines. To improve ranking quality, we develop two data-driven pivot selection strategies that explicitly optimize lower-bound tightness and prioritize hard near-neighbor trajectory pairs, respectively. Extensive experiments on real-world trajectory datasets show that the proposed lower-bound representations are able to consistently outperform state-of-the-art neural trajectory embeddings across diverse distance measures, improving top-$k$ ranking accuracy by up to 20\%--60\% on the Hausdorff distance and DFD and by 15\%--40\% on DTW.

cs.DB↗
arXiv2026

Test-time Adaptation of Pelvic Bone Segmentation Models via Dynamic Reliability-Guided

Reliable pelvic bone segmentation (PBS) from CT is essential for robot-assisted pelvic trauma surgery, yet deploying a source-trained model to a new hospital suffers from severe performance degradation due to cross-center domain shifts. While test-time adaptation (TTA) enables online model adaptation without accessing source data, existing methods show limited effectiveness for PBS, facing challenges including boundary degradation, anatomical inconsistency under domain shifts, and voxel-level class imbalance. To address these challenges, we propose a novel closed-loop dynamic Reliability-Guided TTA framework (ReGA) for PBS. Specifically, we introduce a pseudo-label reliability criterion termed Segmentation Inference Consistency Evaluation (SICE), which jointly measures region overlap and boundary deviation via dropout-based ensemble predictions. Based on SICE, a trust-weighted refinement module adaptively updates features to mitigate boundary errors in pseudo-labels. Furthermore, a confidence-weighted region-level contrastive learning strategy is proposed to enforce anatomical consistency. Finally, ReGA follows the teacher-student (TS) scheme to alleviate voxel-level class imbalance. Experiments on three heterogeneous 3D pelvic CT datasets demonstrate that ReGA consistently outperforms state-of-the-art TTA methods, enabling effective adaptation of the source-trained PBS model to unseen clinical domains. The code is available at https://github.com/Ren-ling/ReGA.

cs.CV↗