arXiv subjects

Kai Yan

Publications and source records attributed to Kai Yan.

At least 37 records · Page 2Linked to original sources

arXiv2026

SAP: Segment Any 4K Panorama

Promptable instance segmentation is widely adopted in embodied and AR systems, yet the performance of foundation models trained on perspective imagery often degrades on 360° panoramas. In this paper, we introduce Segment Any 4K Panorama (SAP), a foundation model for 4K high-resolution panoramic instance-level segmentation. We reformulate panoramic segmentation as fixed-trajectory perspective video segmentation, decomposing a panorama into overlapping perspective patches sampled along a continuous spherical traversal. This memory-aligned reformulation preserves native 4K resolution while restoring the smooth viewpoint transitions required for stable cross-view propagation. To enable large-scale supervision, we synthesize 183,440 4K-resolution panoramic images with instance segmentation labels using the InfiniGen engine. Trained under this trajectory-aligned paradigm, SAP generalizes effectively to real-world 360° images, achieving +17.2 zero-shot mIoU gain over vanilla SAM2 of different sizes on real-world 4K panorama benchmark.

cs.CV↗

arXiv2026

Latent Wasserstein Adversarial Imitation Learning

Imitation Learning (IL) enables agents to mimic expert behavior by learning from demonstrations. However, traditional IL methods require large amounts of medium-to-high-quality demonstrations as well as actions of expert demonstrations, both of which are often unavailable. To reduce this need, we propose Latent Wasserstein Adversarial Imitation Learning (LWAIL), a novel adversarial imitation learning framework that focuses on state-only distribution matching. It benefits from the Wasserstein distance computed in a dynamics-aware latent space. This dynamics-aware latent space differs from prior work and is obtained via a pre-training stage, where we train the Intention Conditioned Value Function (ICVF) to capture a dynamics-aware structure of the state space using a small set of randomly generated state-only data. We show that this enhances the policy's understanding of state transitions, enabling the learning process to use only one or a few state-only expert episodes to achieve expert-level performance. Through experiments on multiple MuJoCo environments, we demonstrate that our method outperforms prior Wasserstein-based IL methods and prior adversarial IL methods, achieving better results across various tasks.

cs.LG↗

arXiv2026

Efficient photocatalytic CO2 Reduction to C2+ Products with Pt1-xPdxSn4 Dirac Nodal Arc Semimetal

The photochemical CO2 reduction reaction represents a zero-carbon pathway for converting CO2 into value-added chemicals, yet its industrial implementation has been constrained by low selectivity and product diversity. Dirac nodal arc semimetals characterized by ultrahigh carrier mobility with over 25000 cm2 V-1 s-1 offer a promising platform to search for efficient catalysts for CO2 conversion. Herein, we demonstrate that strategic Pt incorporation into PdSn4 optimizes the electronic structure and carrier dynamics of this Dirac semimetal. Experimental and theoretical analyses reveal that the resulting Pd-Sn-Pt local electronic structure redistributes charge density around Pd and Pt atoms, which facilitates C-C coupling via *OC-COH and *OC-CHOH intermediates and enhances carrier mobility by 40% versus the pristine PdSn4 single crystal. The optimized Pd0.4Pt0.6Sn4 single crystal achieves C2H4 with formation rate of 0.000328 mol g-1 h-1, product selectivity of 73.1% and electron-based selectivity of 89%. This work establishes electronic-structure-tunable Dirac semimetals as a new paradigm for multi-carbon photochemical CO2 reduction, providing a design strategy for next-generation photocatalysts.

cond-mat.mtrl-sci↗

arXiv2026

Transport equation theory in the Triebel-Lizorkin spaces and its applications to the ideal fluid flows

In this paper, we develop a general theory for the transport equation within the framework of Triebel-Lizorkin spaces. We first derive commutator estimates in these spaces, dispensing with the conventional divergence-free condition, via the Bony paraproduct decomposition and vector-valued maximal function inequalities. Building on these estimates and combining the method of characteristics with a compactness argument, we then obtain the new a priori estimates and prove local well-posedness for the transport equation in Triebel-Lizorkin spaces. The resulting theory is applicable to a wide range of evolution equations, including models for incompressible and compressible ideal fluid flows, shallow water waves, among others. As an illustration, we consider the incompressible ideal magnetohydrodynamics (MHD) system. Employing the general transport theory developed here yields a complete local well-posedness result in the sense of Hadamard, covering both sub-critical and critical regularity regimes, and provides corresponding blow-up criteria for the ideal MHD equations in Triebel-Lizorkin spaces. Our results refine and substantially extend earlier work in this direction.

math.AP↗

arXiv2026

Visual Merit or Linguistic Crutch? A Close Look at DeepSeek-OCR

DeepSeek-OCR utilizes an optical 2D mapping approach to achieve high-ratio vision-text compression, claiming to decode text tokens exceeding ten times the input visual tokens. While this suggests a promising solution for the LLM long-context bottleneck, we investigate a critical question: "Visual merit or linguistic crutch - which drives DeepSeek-OCR's performance?" By employing sentence-level and word-level semantic corruption, we isolate the model's intrinsic OCR capabilities from its language priors. Results demonstrate that without linguistic support, DeepSeek-OCR's performance plummets from approximately 90% to 20%. Comparative benchmarking against 13 baseline models reveals that traditional pipeline OCR methods exhibit significantly higher robustness to such semantic perturbations than end-to-end methods. Furthermore, we find that lower visual token counts correlate with increased reliance on priors, exacerbating hallucination risks. Context stress testing also reveals a total model collapse around 10,000 text tokens, suggesting that current optical compression techniques may paradoxically aggravate the long-context bottleneck. This study empirically defines DeepSeek-OCR's capability boundaries and offers essential insights for future optimizations of the vision-text compression paradigm. We release all data, results and scripts used in this study at https://github.com/dududuck00/DeepSeekOCR.

cs.CL↗

arXiv2025

Algorithmic Quantum Simulations of Quantum Thermodynamics

Characterizing quantum phases-of-matter at finite-temperature is essential for understanding complex materials and large-scale thermodynamic phenomena. Here, we develop algorithmic protocols for simulating quantum thermodynamics on quantum hardware through quantum kernel function expansion (QKFE), producing the free energy as an analytic function of temperature with uniform convergence. These protocols are demonstrated by simulating transverse field Ising and XY models with superconducting qubits. In both analogue and digital implementations of the QKFE algorithms, we exhibit quantitative agreement of our quantum simulation experiments with the exact results. Our approach provides a general framework for computing thermodynamic potentials on programmable quantum devices, granting access to key thermodynamic properties such as entropy, heat capacity and criticality, with far-reaching implications for material design and drug development.

quant-ph↗

arXiv2025

LongReason: A Synthetic Long-Context Reasoning Benchmark via Context Expansion

Large language models (LLMs) have demonstrated remarkable progress in understanding long-context inputs. However, benchmarks for evaluating the long-context reasoning abilities of LLMs fall behind the pace. Existing benchmarks often focus on a narrow range of tasks or those that do not demand complex reasoning. To address this gap and enable a more comprehensive evaluation of the long-context reasoning capabilities of current LLMs, we propose a new synthetic benchmark, LongReason, which is constructed by synthesizing long-context reasoning questions from a varied set of short-context reasoning questions through context expansion. LongReason consists of 794 multiple-choice reasoning questions with diverse reasoning patterns across three task categories: reading comprehension, logical inference, and mathematical word problems. We evaluate 21 LLMs on LongReason, revealing that most models experience significant performance drops as context length increases. Our further analysis shows that even state-of-the-art LLMs still have significant room for improvement in providing robust reasoning across different tasks. We have open-sourced LongReason under https://huggingface.co/datasets/lz1bytedance/LongReason to support the comprehensive evaluation of LLMs' long-context reasoning capabilities.

cs.CL↗

arXiv2025

Recitation over Reasoning: How Cutting-Edge Language Models Can Fail on Elementary School-Level Reasoning Problems?

The rapid escalation from elementary school-level to frontier problems of the difficulty for LLM benchmarks in recent years have weaved a miracle for researchers that we are only inches away from surpassing human intelligence. However, is the LLMs' remarkable reasoning ability indeed comes from true intelligence by human standards, or are they simply reciting solutions witnessed during training at an Internet level? To study this problem, we propose RoR-Bench, a novel, multi-modal benchmark for detecting LLM's recitation behavior when asked simple reasoning problems but with conditions subtly shifted, and conduct empirical analysis on our benchmark. Surprisingly, we found existing cutting-edge LLMs unanimously exhibits extremely severe recitation behavior; by changing one phrase in the condition, top models such as OpenAI-o1 and DeepSeek-R1 can suffer 60 percent performance loss on elementary school-level arithmetic and reasoning problems. Such findings are a wake-up call to the LLM community that compels us to re-evaluate the true intelligence level of cutting-edge LLMs.

cs.AI↗

arXiv2025

MIR-Bench: Can Your LLM Recognize Complicated Patterns via Many-Shot In-Context Reasoning?

The ability to recognize patterns from examples and apply them to new ones is a primal ability for general intelligence, and is widely studied by psychology and AI researchers. Many benchmarks have been proposed to measure such ability for Large Language Models (LLMs); however, they focus on few-shot (usually <10) setting and lack evaluation for aggregating many pieces of information from long contexts. On the other hand, the ever-growing context length of LLMs have brought forth the novel paradigm of many-shot In-Context Learning (ICL), which addresses new tasks with hundreds to thousands of examples without expensive and inefficient fine-tuning. However, many-shot evaluations often focus on classification, and popular long-context LLM tasks such as Needle-In-A-Haystack (NIAH) seldom require complicated intelligence for integrating many pieces of information. To fix the issues from both worlds, we propose MIR-Bench, the first many-shot in-context reasoning benchmark for pattern recognition that asks LLM to predict output via input-output examples from underlying functions with diverse data format. Based on MIR-Bench, we study many novel problems for many-shot in-context reasoning, and acquired many insightful findings including scaling effect, robustness, inductive vs. transductive reasoning, retrieval Augmented Generation (RAG), coding for inductive reasoning, cross-domain generalizability, etc.

cs.AI↗

arXiv2025

Toward the Analytic Bootstrap of Energy Correlators

In this paper, we present a framework for the analytic bootstrap of three-point energy correlators, a crucial observable in $\mathcal{N}=4$ super Yang-Mills theory and quantum chromodynamics (QCD). Our approach combines spherical contour techniques, general physical constraints such as pole cancellations, and power correction data in the singular limits to determine its analytic expression. In contrast to previous bootstrap studies restricted to scattering amplitudes for supersymmetric theories, our framework makes use of the properties of Feynman integrals, marking a significant step toward bootstrapping realistic QCD observables. Using this method, we derive analytic expressions for leading-order three-point energy correlators with equal and unequal energy weights, where the latter are crucial ingredients for projected $N$-point energy correlators. We also apply the recently developed technique of analytic regression with lattice reduction as a way to bypass needing explicit expressions for the singular limits. Bridging theoretical advances in scattering amplitudes with the renewed interest in weighted cross-sections, our work opens the door to precision tests of QCD dynamics through analytic event-shape predictions.

hep-ph↗

arXiv2025

CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis

Inductive program synthesis, or programming by example, requires synthesizing functions from input-output examples that generalize to unseen inputs. While large language model agents have shown promise in programming tasks guided by natural language, their ability to perform inductive program synthesis is underexplored. Existing evaluation protocols rely on static sets of examples and held-out tests, offering no feedback when synthesized functions are incorrect and failing to reflect real-world scenarios such as reverse engineering. We propose CodeARC, the Code Abstraction and Reasoning Challenge, a new evaluation framework where agents interact with a hidden target function by querying it with new inputs, synthesizing candidate functions, and iteratively refining their solutions using a differential testing oracle. This interactive setting encourages agents to perform function calls and self-correction based on feedback. We construct the first large-scale benchmark for general-purpose inductive program synthesis, featuring 1114 functions. Among 18 models evaluated, o3-mini performs best with a success rate of 52.7%, highlighting the difficulty of this task. Fine-tuning LLaMA-3.1-8B-Instruct on curated synthesis traces yields up to a 31% relative performance gain. CodeARC provides a more realistic and challenging testbed for evaluating LLM-based program synthesis and inductive reasoning. Our code, data, and models are publicly available at https://github.com/Anjiang-Wei/CodeARC

cs.PL↗

arXiv2025

Anisotropic Diffusion of $e^\pm$ in Pulsar Halos over Multiple Coherence of Magnetic Fields

The slow particle diffusion in pulsar halos, inferred from TeV gamma-ray surface brightness profiles, is attributed to cross-field diffusion under the anisotropic diffusion model. This model assumes sub-Alfvénic interstellar turbulence in the surrounding medium of the pulsar and a rough alignment of the line-of-sight of observers towards the pulsars with the local mean magnetic field direction in the halo. In this model, the expected morphology of a pulsar halo is highly dependent on the properties of the interstellar magnetic field. We investigate the anisotropic diffusion of electron-positron pairs across multiple coherence of magnetic fields in pulsar halos in this work. We focus particularly on their influences on the predicted gamma-ray surface brightness profile and the asymmetry of the halo's morphology, as well as the observational expectations by the Large High Altitude Air Shower Observatory (LHAASO). Our results indicate that the requirement of a specific magnetic field geometry can be alleviated when accounting for a limited (and realistic) coherence length of the magnetic field in the model. Also, the halo's morphology may appear less asymmetric, especially after being smoothed by the point spread function of instruments. It largely relaxes the tension between the asymmetric morphology of halos predicted by the model and lack of apparent asymmetric halos detected so far. Our findings demonstrate the important influence of the coherence length of interstellar magnetic field on the distribution of particles around their accelerators, and the consequence on the measured source morphology.

astro-ph.HE↗

arXiv2025

Bootstrapping form factor squared in ${\cal N}=4$ super-Yang-Mills

We propose a bootstrap program for the {\it form factor squared} with operator ${\rm tr}(ϕ^2)$ in maximally supersymmetric Yang-Mills theory in the planar limit, which plays a central role for perturbative calculations of important physical observables such as energy correlators. The tree-level $N$-point form factor (FF) squared can be obtained by cutting $N$ propagators of a collection of two-point ``master diagrams" at $(N{-}1)$ loops: for $N=3,4,5,6$ there are merely $1, 2, 4, 13$ topologies of such diagrams respectively, and their numerators are strongly constrained by power-counting (including ``no triangle" property) and other constraints such as the ``rung rule". Moreover, these two-point diagrams provide a ``unification" of FF squared at different numbers of loops and legs, which is similar to extracting (planar) amplitude squared from vacuum master diagrams (dual to $f$-graphs): by cutting $2\leq n<N$ propagators, one can also extract the planar integrand of $n$-point FF squared at $(N-n)$ loops, thus our results automatically include integrands of 2-point (Sudakov) FF up to four loops (where the squaring is trivial), 3-point FF squared up to three loops, and so on. Our ansatz is completely fixed using soft limits of (tree and loop) FF squared and the multi-collinear limit which reduces it to the splitting function, without any other inputs such as unitarity cuts. This method opens up the exciting possibility of a {\it graphical bootstrap} for FF squared for higher $N$ (which contains {\it e.g.} planar Sudakov FF to $N{-}2$ loops) similar to that for the amplitude squared via $f$-graphs. We also comment on applications to the computation of leading order energy correlators where new structures are expected after performing phase-space integrations.

hep-th↗

arXiv2025

Differential Equations for Energy Correlators in Any Angle

Energy Correlators (EC) are the simplest IR finite observables, which connect theories and experiments. In this paper, we provide a systematic algorithm to calculate the canonical differential equations for energy correlators at generic angle in $\mathcal{N}=4$ super Yang-Mills theory. The integrand is obtained from the 5-point form factor square for scalar half-BPS operators. Applying the algorithm, we obtain the canonical basis for three-point EC and the full set of master integrals for four-point EC. We analyze the function space for four-point case. For multiple polylogrithmic (MPLs) integrals, we calculate their symbols, and for integrals beyond MPLs, we make further investigation by Picard-Fuchs operators. We find two elliptic curves and one genus 2 hyperelliptic curve. The results are achieved by means of integration by part (IBP) reduction and differential equations powered by computational algebraic geometry methods. We provide a package that implements the algorithm. The data is a valuable reference for exploring the structure of physical observables in perturbation theories.

hep-ph↗

arXiv2025

On the spectral identities and fundamental properties of one-sided Drazin inverses in Banach algebras

We establish several fundamental properties of one-sided (generalized) Drazin inverses in Banach algebras, including intertwining properties and reverse order laws. In particular, we introduce the concepts of one-sided strongly pi-regularity, which is shown to be equivalent to one-sided Drazin invertibility. By utilizing the Jacobson's lemma for one-sided regularity, we prove the Jacobson's lemma for one-sided (generalized) Drazin invertibility. These results allow us to derive the spectral identities for one-sided (generalized) Drazin invertible spectra in Banach algebras, as well as the spectral identities for Fredholm type operators acting on Banach spaces.

math.FA↗

arXiv2025

Reduction of $ε$-expanded Feynman integrals

Since Feynman integrals (FIs) at higher spacetime dimensions are free of infrared and collinear divergence--and their ultraviolet divergences can be systematically subtracted--this allows us to construct a wide range of locally finite Feynman integrals. Especially, we propose a method named $\bar{R}$-operation to subtract out ultraviolet divergences that at the same time preserves infrared and collinear safety of the original FI. By expressing these locally finite FIs in terms of master integrals and imposing constraints on their $ε$-expanded forms, we reduce the $ε$-expanded master integrals to a minimal basis. We provide an automated package to identify such constraints, offering a tool useful for high-order perturbative computations.

hep-ph↗

arXiv2024

Low driving-force stable bending cooling via fatigue-resistant hierarchical NiTi shape memory alloy

Elastocaloric cooling with shape memory alloys (SMAs) is emerging as a promising candidate for next-generation, environmentally friendly refrigeration. However, its development is hindered by the large driving force and low efficiency associated with uniaxial loading modes. In response, we present an innovative elastocaloric air cooling approach that utilizes the bending of NiTi beams, offering a low-force and energy-efficient solution. We achieve a continuous maximum temperature drop of 0.91 K and a dissipated energy of 15.1 N mm at a low specific driving force of 220 N. Notably, the specimen achieves over 5 million cycles under a maximum surface tensile strain of 1.94% for macroscopic cyclic bending, via a pre-strained, warm laser shock peening (pw-LSP) method. This unprecedented fatigue resistance originates from the formation of a hierarchical microstructure and a large compressive residual stress of over 1 GPa. This work demonstrates the great potential of bending induced elastocaloric cooling in the near future.

cond-mat.mtrl-sci↗

arXiv2024

In situ Qubit Frequency Tuning Circuit for Scalable Superconducting Quantum Computing: Scheme and Experiment

Frequency tunable qubit plays a significant role for scalable superconducting quantum processors. The state-of-the-art room-temperature electronics for tuning qubit frequency suffers from unscalable limit, such as heating problem, linear growth of control cables, etc. Here we propose a scalable scheme to tune the qubit frequency by using in situ superconducting circuit, which is based on radio frequency superconducting quantum interference device (rf-SQUID). We demonstrate both theoretically and experimentally that the qubit frequency could be modulated by inputting several single pulses into rf-SQUID. Compared with the traditional scheme, our scheme not only solves the heating problem, but also provides the potential to exponentially reduce the number of cables inside the dilute refrigerator and the room-temperature electronics resource for tuning qubit frequency, which is achieved by a time-division-multiplex (TDM) scheme combining rf-SQUID with switch arrays. With such TDM scheme, the number of cables could be reduced from the usual $\sim 3n$ to $\sim \log_2{(3n)} + 1$ for two-dimensional quantum processors comprising $n$ qubits and $\sim 2n$ couplers. Our work paves the way for large-scale control of superconducting quantum processor.

quant-ph↗