arXiv subjects

Xiaolong Li

Publications and source records attributed to Xiaolong Li.

At least 19 recordsLinked to original sources

arXiv2026

Holomorphic sectional curvature and the Calabi operator on Kähler C-spaces

We study holomorphic sectional curvature and the Calabi curvature operator on compact Kähler manifolds. First we show that every homogeneous Kähler metric on a generalized flag manifold has positive holomorphic sectional curvature. For the standard homogeneous Kähler-Einstein metric with Einstein constant 2, it is shown that the spectrum of the Calabi operator lies in $(-2,2]$. We determine its sharp upper bound in terms of the anticanonical degrees and characterize the 2-eigenspace. The spectral bounds imply nonnegative cross quadratic bisectional curvature and positive dual cross quadratic bisectional curvature, proving conjectures of Ni and Zheng. We also show that these conditions do not characterize homogeneity: we construct a nonhomogeneous Kähler-Einstein 13-fold whose Calabi spectrum lies strictly inside $(-2,2)$ after the same normalization, as well as nonhomogeneous examples in dimensions 4 and 5. The proofs involve an integral identity for holomorphic sectional curvature, projective embeddings, root-space estimates, and explicit metrics on projective bundles.

math.DG↗

arXiv2026

Pluripotency and Anosov Dynamics

We study two notions of pluripotency for dynamical systems. Strong pluripotency refers to the possibility of reprogramming, by arbitrarily small perturbations, the forward orbits of points in a set of positive Riemannian volume so that they track a prescribed orbit in a uniform time-averaged sense. In contrast, pluripotency, also called ``statistical pluripotency" in this paper, requires only asymptotic agreement of empirical measures. Strong pluripotency implies statistical pluripotency, but the converse need not hold. For $C^r$ transitive Anosov diffeomorphisms, $r\ge2$, we prove that strong pluripotency fails for every nonempty reference set. On the other hand, statistical pluripotency holds for a nonempty reference set if and only if it is contained in the basin of the unique SRB measure. This basin is invariant and has full Riemannian volume, but contains no periodic points. These results reveal a sharp distinction between the two notions even within uniformly hyperbolic dynamics.

math.DS↗

arXiv2026

BIRD-RL: Scaling Agentic Reinforcement Learning over Stateful Data-Centric Environments

While agentic reinforcement learning (RL) has emerged as a promising paradigm for training small language models (SLMs), existing frameworks are predominantly tool-centric and struggle with data-centric environments. Specifically, applying tool-centric frameworks to stateful tasks like SQL debugging introduces severe spatial inefficiencies since proper environment isolation typically requires a separate database container per rollout. Naively reusing databases without tracking evolving states across multi-turn interactions causes trajectory contamination and cross-trajectory interference, which severely destabilizes policy updates. To overcome these bottlenecks, we introduce BIRD-RL, a novel four-stage agentic RL curriculum that alternately enhances foundational agent reasoning and trajectory-adaptive on-policy exploration to circumvent the instability inherently associated with direct end-to-end learning. Crucially, to support this curriculum, BIRD-RL is driven by a Trajectory-scoped Persistent Execution Infrastructure, which enables safe database replica reuse while preserving trajectory isolation. This design improves spatial RL efficiency by 12.8x, successfully enabling scalable agentic RL for complex data-centric tasks without needs of Kubernettes. Empirical evaluations on the BIRD-CRITIC-SQLite benchmark demonstrate that our 7B and 14B models achieve Success Rates of 44.40% and 48.00%, respectively, showing competitive performance against strong proprietary model-based agents such as Claude-Opus-4.6 Agent (48.20%). Furthermore, BIRD-RL successfully trains unified SLMs capable of both advanced SQL debugging and generation, highlighting its broader potential for multi-objective optimization across heterogeneous, real-world data-centric tasks.

cs.LG↗

arXiv2026

Minimum-Area Enclosing Rectangles and the First Neumann Eigenvalue of Planar Convex Domains

Let $Ω$ be a bounded convex domain in the plane and let $R$ be a minimum-area rectangle containing $\overlineΩ$. We prove that if the ratio of the shorter side of $R$ to its longer side is at most $ρ\approx 0.443485$, then the first nonzero Neumann eigenvalue of $Ω$ is bounded from below by that of $R$. Moreover, equality holds if and only if $Ω$ coincides with the interior of $R$. The proof is based on a flux identity for the means of a test function over vertical sections of $Ω$, combined with weighted estimates involving the distributional second derivatives of the boundary functions. Finally, we show that the threshold $ρ\approx0.443485$ is nearly optimal by constructing, for every ratio in $(0.457994,1/2)$, trapezoids that are arbitrarily close to their minimum-area enclosing rectangle and for which the inequality fails.

math.AP↗

arXiv2026

A robust obstruction to full strong pluripotency for wild blender-horseshoes

Suppose that $M$ is a closed manifold of dimension greater than two and $r \ge 2$. We show that there exists a $C^r$-diffeomorphism $f:M\to M$ with a wild affine blender-horseshoe $Λ_f$ such that $f$ is $C^r$-robustly strongly pluripotent, in the sense that after arbitrarily small perturbations a positive-Lebesgue-measure family of orbits can shadow a prescribed orbit in time average, for the dense subset $Λ_f^{(\mathrm{mj})}$ consisting of itineraries satisfying the majority condition, namely, those for which the symbol $0$ occupies at least half of certain growing terminal blocks, but not for the whole horseshoe $Λ_f$.

math.DS↗

arXiv2026

When Interfaces Speak: Data-Aware Generative UI Harness for Active Interaction

Most human-agent interaction today remains text-based. Natural language can impose cognitive overload, ambiguity, information chaos, and slow input for complex tasks; ephemeral generative UIs can present structured information and guide users toward task completion. We propose GenUI-Harness, a multi-agent harness pairing a Tool Agent for information retrieval and task execution with a GUI Coder Agent that identifies ambiguities and generates front-end code for structured interfaces. Training the coder with reinforcement learning is challenging: verifiable rewards for interactive UI generation require costly execution, while LLM-as-a-Judge rewards are prone to reward hacking. We address the first challenge with Dynamic UX, a lightweight package for dynamic interaction and reward collection in a single sandbox, and the second with Reward Auditor, a meta-reward mechanism that monitors reward distributions and distills diagnostic patterns into a shared rubric and scoring specification. We introduce UI-TAU Bench, a benchmark for active human-agent interaction through generated UI code, built on 10 real-world domain databases constructed from public data sources and based on Tau-Bench tool-use settings, with Lite (300 tasks) and Full (1,000 tasks) splits. GenUI-Harness achieves an average Pass@3 gain of 4.48 percentage points over smolagents on Lite. Training with GenUI-Harness improves a 4B backbone from 9.33% to 58.00% Pass@3, outperforming larger frontier models such as Claude Opus 5 (46.67%). GenUI-Harness also remains robust on ambiguous and non-ambiguous queries. In a reviewer survey comparing communication channels, generated UIs reduce average dialogue rounds from 3.4 to 1.2. These results show that data-aware generative interfaces can support effective task completion and reduce dialogue rounds in evaluated database-backed workflows.

cs.AI↗

arXiv2026

A New Era for Supernova Science with the James Webb Space Telescope

Supernovae (SNe) are excellent probes of the physical, chemical, and cosmological context of galaxies across the history of the Universe. The James Webb Space Telescope (JWST ) has a truly unique combination of wavelength, sensitivity, and resolution, providing a new window into SN physics, progenitors, dust production, redshift evolving stellar populations, and cosmology since its launch. Here we summarize the astounding observations JWST has made of SNe in its first few years of operations, as well as the corresponding advancements in our understanding of the Universe. This includes detailed views of nearby SNe, the first spectroscopic samples of high-z SNe, and a significant number of gravitationally lensed SNe valuable for both cosmological inference and high signal-to-noise (S/N) spectroscopy. While the upcoming Nancy Grace Roman Space Telescope is expected to revolutionize space-based time-domain astronomy, JWST and its unique capabilities will continue to play a complementary role by providing high-precision spectroscopic and photometric data for a broad range of SN science cases.

astro-ph.CO↗

arXiv2026

Two Kinds of Curvature Operators in Dimension Four

We prove an invariant identity relating the curvature operators of the first and second kind in dimension four. Under the natural identification $S^2_0\congΛ^+\otimesΛ^-$, the trace-free Ricci tensor contributes through a single commutator term. As a consequence, we relate the curvature operator of the second kind on products of unit self-dual and anti-self-dual two-forms to biorthogonal sectional curvature. We then classify closed oriented four-manifolds satisfying $K^\perp_{\max}\leq S/6$, where $K^\perp_{\max}$ denotes the maximum biorthogonal sectional curvature and $S$ is the scalar curvature. The classification includes the cases in which the scalar curvature vanishes.

math.DG↗

arXiv2026

New Curvature Operator of the Second Kind Conditions for Rigidity

We establish Tachibana-type rigidity theorems with the aid of the curvature operator of the second kind (COSK). A sharp estimate that combines the symmetric and commutator actions on Weyl tensors leads to a constant $C_{n}$, with $\frac{C_{n}}{n}\to\frac{5}{4}$, such that a complete Einstein manifold of dimension $n\geq5$ with $C_{n}$-nonnegative COSK has constant nonnegative sectional curvature. We also explore shifted curvature operators of the second kind leading to similar rigidity results, offer an elegant Ricci-corrected Bochner identity for harmonic forms, and classify the complete simply connected locally symmetric Einstein manifolds in the resulting shifted cone. Explicit spaces establish the sharpness of the tensor estimates, and complete lists of the eigenvalues of the COSKs for symmetric spaces identify which of them are borderline cases.

math.DG↗

arXiv2026

Li-Yau and Harnack estimates for nonlinear parabolic equations

We establish global Harnack inequalities for positive viscosity solutions of several classes of nonlinear parabolic equations. The equations include positively homogeneous uniformly parabolic flows on Euclidean space and flat tori, normalized weighted $p$-Laplacian heat flows, and homogeneous isotropic diffusions on closed smooth metric measure spaces. For the normalized infinity-Laplacian heat flow, no curvature assumption is needed. For the ordinary weighted $p$-Laplacian, we obtain pressure estimates under nonnegative Bakry-Émery Ricci lower bounds. The proofs combine comparisons at two independent space-time points using the maximum principle for semicontinuous functions with weighted geodesic variations. The corresponding Li-Yau inequalities then follow in the first-order viscosity sense.

math.AP↗

arXiv2026

Tachibana's Theorem Revisited

We prove Tachibana-type rigidity theorems for closed manifolds under weakened partial-sum conditions on the eigenvalues of curvature operators. Specifically, an Einstein manifold of dimension $n\geq4$ is locally symmetric if its curvature operator is $\frac{2(n-1)}{3}$-nonnegative. The corresponding thresholds are $\frac{2(n+1)}{3}$ for the primitive curvature operator of a Kähler-Einstein manifold of complex dimension $n\geq2$, and $\frac{2(n+2)}{3}$ for the curvature operator of a quaternionic-Kähler manifold of real dimension $4n\geq8$.

math.DG↗

arXiv2026

ORCA: Evaluating LLMs on Data Science Code Translation

Data Science Code Translation (DSCT) is the process of converting code between data science libraries while preserving functional equivalence and enabling interoperability across data science ecosystems. While Large Language Models (LLMs) have demonstrated considerable progress in Data Science Code Generation (DSCG), their performance in DSCT remains insufficiently studied. To address this gap, we introduce ORCA, a comprehensive benchmark with two complementary settings: ORCA-MAIN, which comprises 1,600 carefully curated grounding-level tasks across 3 representative domains: Data Querying, Data Manipulation, and Deep Learning; and ORCA-PROJECT, which contains 200 translation tasks over complete data science projects across 7 data science task types. Each task is accompanied by annotated reference translations and test cases for validating functional equivalence. We further incorporate a multi-stage quality verification process that thoroughly verifies task correctness and test case robustness. Experimental results demonstrate challenges in DSCT, with even frontier LLMs showing limited performance. Specifically, Claude-Opus-4.6 achieves a success rate of 56.92% on ORCA-MAIN and 33.67% on ORCA-PROJECT, indicating considerable room for improvement in DSCT. We also observe a clear directional preference in DSCT, where translation is consistently easier when the source code expresses the task through more explicit, fine-grained operations. Motivated by this, we propose an intent-augmented method, in which the model first infers source-code intent and then uses it as additional context for translation, achieving average absolute success-rate gains of 4.80% and 5.33% on ORCA-MAIN and ORCA-PROJECT, respectively.

cs.AI↗

arXiv2026

Customizable and Jointly Optimized Route Planning: A Deep Architecture Enabling Differentiable Shortest-Path Search

With the widespread use of online navigation and ride-hailing services, achieving optimal route planning for diverse user preferences has recently attracted increasing attention. Classic graph algorithms for pathfinding use heuristic cost functions to define edge weight, thus providing no optimality guarantee of route quality. Prior data-driven approaches equating ground truth of the optimal route with user trajectory, which is however moderately influenced by the navigation service, suffers from the feedback loop problem. To address these issues, we propose a deep architecture that is able to jointly optimize cost functions and route-ranking model towards any route preference. First, we run a multi-objective Dijkstra algorithm offline to collect the set of Pareto optimal routes, deeming it as the complete candidate set. Exploiting the property of such a set, we design a neural network structure that emulates shortest-path search and route ranking in an end-to-end differentiable manner. Second, we define route preference as a task of constrained optimization of route attributes, and propose a novel loss function that optimizes a single-objective variable, with other variables strictly under constraints. We conduct extensive experiments on real-world datasets. The results show that our architecture significantly outperforms state-of-the-art methods in route quality and customizability.

cs.AI↗

arXiv2026

A Fourier approach to Gromov's filling area conjecture

We prove that every compact connected Riemannian isometric filling $M$ of a circle of length $2π$ satisfies $\operatorname{Area}(M) \geq \frac{14ζ(3)}π \approx 5.35677$, regardless of orientability or topological types. Our new approach uses the odd Fourier coefficients of the distance functions from boundary points. For orientable fillings, we use a cubic resonant perturbation to obtain $\operatorname{Area}(M)>5.40154$.

math.DG↗

arXiv2026

Benchmarking Hybrid Deep Research Across Database Querying and Web Search

While autonomous agents have made significant strides in "deep research" by iteratively navigating the open web to synthesize information, real-world problem-solving is rarely confined to a single environment. Complex analytical tasks inherently require agents to weave together evidence from both ambiguous unstructured text (e.g., the open web) and highly precise structured data (e.g., relational databases). However, existing benchmarks evaluate these modalities in isolation, failing to capture the critical "handoff" - the ability to preserve constraints when moving evidence between systems. We introduce HybridDeepResearch, to our knowledge the first deep-research benchmark that requires both web search and SQL to form a complete, verifiable answer. The benchmark contains 380 tool-dependent tasks grounded in LiveSQLBench-Base-Lite databases and public web corpora, validated through automated checks and human review, and covering three reasoning patterns: SQL2S, S2SQL, and Parallel. Evaluations across proprietary and open-weight models under various agentic scaffolds reveal that even state-of-the-art models like GLM-5.2, Claude-Sonnet-4.6 and GPT-5 achieve only about 50-54% Pass@8 on the hard subset. Notably, results show that directional reasoning is substantially more difficult than parallel intersection, highlighting that bridging structured and unstructured information spaces without losing constraints remains a major open challenge for agentic systems. Code and datasets are publicly available at GitHub (https://github.com/Snowflake-AI-Research/HybridDeepResearch) and Hugging Face (https://huggingface.co/datasets/Snowflake/HybridDeepResearch).

cs.CL↗

arXiv2026

A characterization of complex projective space via the Calabi curvature operator

We prove a Tachibana-type result for Kähler-Einstein manifolds isolating complex projective space based on its Calabi curvature operator. The proof uses a new Bochner formula expressing the Lichnerowicz curvature term via the Calabi curvature operator. This resolves one of the problems posed at the AIM workshop "The Bochner Technique'' (May 2026).

math.DG↗

arXiv2026

Weight-norm Criticality: A Mechanism for Loss Spikes Induced by the Normalization and Weight Decay

Most explanations of training instability focus on \emph{learning-rate criticality}, typically characterized by the Edge of Stability, beyond which optimization becomes unstable. We argue that, in practical deep neural network training, there is an additional and often overlooked \emph{weight-norm criticality}. This criticality is induced by the interaction between normalization (which introduces scale-invariant components) and weight decay (which persistently shrinks parameter norms). As the weight decay coefficient increases, the norms of scale-invariant weights are progressively driven toward zero. Meanwhile, the sharpness of the loss landscape increases rapidly, destabilizing the optimization dynamics and resulting in abrupt loss spikes. This perspective provides a rationale for why weight penalties can improve generalization yet cannot be made arbitrarily strong: excessive decay drives scale-invariant weight norms past a critical boundary and destabilizes training. Our work provides a new mechanistic understanding of loss spikes through the lens of \emph{weight-norm criticality}. Moreover, \emph{weight-norm criticality} yields testable predictions that we validate empirically in networks with scale-invariant components, providing empirical support for the proposed mechanism.

cs.LG↗

arXiv2026

Sectional Curvature, Isotropic Curvature, and Yau's Pinching Problem

We prove that if a closed Riemannian manifold $(M^n,g)$ has finite fundamental group and satisfies the curvature condition \begin{equation*} R_{1313} +R_{1414} +R_{2323} + R_{2424} > \tfrac{1}{2}\left(R_{1212} + R_{3434}\right) \end{equation*} for all orthonormal four-frame $\{e_1, e_2, e_3, e_4\} \subset T_pM$, then $M$ is homeomorphic to a spherical space form. This generalizes the famous sphere theorem under the stronger condition of $\frac{1}{4}$-pinched sectional curvature. As an application, we provide a partial answer to a pinching problem proposed by Yau in 1990.

math.DG↗