arXiv ScienceSearch

arXiv subjects

Li Han

Publications and source records attributed to Li Han.

At least 19 recordsLinked to original sources

GR2 Technical Report

Industrial recommendation systems serve billions of users through a multi-stage funnel -- retrieval, early-stage ranking, and re-ranking -- where the final re-ranking step disproportionately shapes user engagement and downstream performance, particularly for carousel and grid display formats. Despite growing enthusiasm for Large Language Models (LLMs) in recommendation, three gaps hinder industrial adoption: (1) most efforts target retrieval and ranking, leaving re-ranking -- the stage closest to the final user experience -- largely underexplored; (2) LLMs are typically deployed zero-shot or via supervised fine-tuning, underutilizing the reasoning capabilities unlocked by reinforcement learning (RL) on verifiable rewards; (3) deployed catalogs index billions of items with non-semantic identifiers that lie outside any base-LLM vocabulary. We present GR2 (Generative Reasoning Re-Ranker), an end-to-end framework that combines (i) mid-training on semantic IDs produced by a tokenizer with >=99% uniqueness, (ii) reasoning-trace distilled from a stronger teacher via targeted prompting and rejection sampling, and (iii) RL with verifiable rewards purpose-built for re-ranking. To make GR2 resource-viable, we further (iv) introduce a context compressor that amortizes training cost, On-Policy Distillation (OPD) as a scalable alternative to SFT -- which we find collapses at industrial scale -- and reasoning distillation for low-latency serving. GR2 delivers +18.7% R@1, +7.1% R@3, and +9.6% N@3 over legacy baselines on industrial-scale traffic. We further find that reward design is critical in re-ranking: LLMs often hack rewards by preserving the incoming order or exploiting position bias, motivating conditional verifiable rewards as essential industrial components.

cs.IR

Photon regions, shadow observables and constraints from M87* of a Kerr-Newman-like black hole in Bumblebee gravity surrounded by plasma

In this paper, we investigate the photon regions, shadow, and observational constraints of a Kerr-Newman-like black hole in Bumblebee gravity within a plasma medium. By employing a specific non-homogeneous power-law plasma model to ensure the separability of the Hamilton-Jacobi equation, we derive the null geodesic equations, analyze the photon regions, and construct the black hole shadow. Furthermore, we introduce two sets of shadow observables to systematically analyze the distinct effects of each physical parameter (spin $a$, charge $Q_0$, Lorentz-violating parameter $\ell$, and plasma parameter $k$) on the shadow geometry. Specifically, we find that $a$ and $\ell$ mainly enhance the distortion of the shadow, whereas $Q_0$ and $k$ primarily lead to its radial shrinkage. Additionally, a brief evaluation of the energy emission rate shows that an increase in these parameters generally suppresses the emission peak. Finally, by modeling M87* as a charged rotating black hole in Bumblebee gravity surrounded by plasma, we can constrain the physical parameters using observations from the Event Horizon Telescope (EHT). While the angular diameter $\theta_d = 42 \pm 3 \, \mu\text{as}$ narrows the viable parameter space, the circularity deviation $\Delta C \lesssim 0.1$ and axis ratio $1 < D_x \lesssim 4/3$ obey the EHT limits. This suggests that the charged rotating black hole in Bumblebee gravity surrounded by plasma might be a candidate for real astrophysical black holes.

gr-qc

Seed3D 1.0: From Images to High-Fidelity Simulation-Ready 3D Assets

Developing embodied AI agents requires scalable training environments that balance content diversity with physics accuracy. World simulators provide such environments but face distinct limitations: video-based methods generate diverse content but lack real-time physics feedback for interactive learning, while physics-based engines provide accurate dynamics but face scalability limitations from costly manual asset creation. We present Seed3D 1.0, a foundation model that generates simulation-ready 3D assets from single images, addressing the scalability challenge while maintaining physics rigor. Unlike existing 3D generation models, our system produces assets with accurate geometry, well-aligned textures, and realistic physically-based materials. These assets can be directly integrated into physics engines with minimal configuration, enabling deployment in robotic manipulation and simulation training. Beyond individual objects, the system scales to complete scene generation through assembling objects into coherent environments. By enabling scalable simulation-ready content creation, Seed3D 1.0 provides a foundation for advancing physics-based world simulators. Seed3D 1.0 is now available on https://console.volcengine.com/ark/region:ark+cn-beijing/experience/vision?modelId=doubao-seed3d-1-0-250928&tab=Gen3D

eess.IV

A proof of Witten's asymptotic expansion conjecture for WRT invariants of Seifert fibered homology spheres

Let $X$ be a general Seifert fibered integral homology $3$-sphere with $r\ge3$ exceptional fibers. For every root of unity $\zeta\not=1$, we show that the SU(2) WRT invariant of $X$ evaluated at $\zeta$ is (up to an elementary factor) the non-tangential limit at $\zeta$ of the GPPV invariant of $X$, thereby generalizing a result from [Andersen-Mistegard 2022]. Based on this result, we apply the quantum modularity results developed in [Han-Li-Sauzin-Sun 2023] to the GPPV invariant of $X$ to prove Witten's asymptotic expansion conjecture [Witten 1989] for the WRT invariant of $X$. We also prove that the GPPV invariant of $X$ induces a higher depth strong quantum modular form. Moreover, when suitably normalized, the GPPV invariant provides an ``analytic incarnation'' of the Habiro invariant.

math.CV

UI-TARS-2 Technical Report: Advancing GUI Agent with Multi-Turn Reinforcement Learning

The development of autonomous agents for graphical user interfaces (GUIs) presents major challenges in artificial intelligence. While recent advances in native agent models have shown promise by unifying perception, reasoning, action, and memory through end-to-end learning, open problems remain in data scalability, multi-turn reinforcement learning (RL), the limitations of GUI-only operation, and environment stability. In this technical report, we present UI-TARS-2, a native GUI-centered agent model that addresses these challenges through a systematic training methodology: a data flywheel for scalable data generation, a stabilized multi-turn RL framework, a hybrid GUI environment that integrates file systems and terminals, and a unified sandbox platform for large-scale rollouts. Empirical evaluation demonstrates that UI-TARS-2 achieves significant improvements over its predecessor UI-TARS-1.5. On GUI benchmarks, it reaches 88.2 on Online-Mind2Web, 47.5 on OSWorld, 50.6 on WindowsAgentArena, and 73.3 on AndroidWorld, outperforming strong baselines such as Claude and OpenAI agents. In game environments, it attains a mean normalized score of 59.8 across a 15-game suite-roughly 60% of human-level performance-and remains competitive with frontier proprietary models (e.g., OpenAI o3) on LMGame-Bench. Additionally, the model can generalize to long-horizon information-seeking tasks and software engineering benchmarks, highlighting its robustness across diverse agent tasks. Detailed analyses of training dynamics further provide insights into achieving stability and efficiency in large-scale agent RL. These results underscore UI-TARS-2's potential to advance the state of GUI agents and exhibit strong generalization to real-world interactive scenarios.

cs.AI

Seed1.5-Thinking: Advancing Superb Reasoning Models with Reinforcement Learning

We introduce Seed1.5-Thinking, capable of reasoning through thinking before responding, resulting in improved performance on a wide range of benchmarks. Seed1.5-Thinking achieves 86.7 on AIME 2024, 55.0 on Codeforces and 77.3 on GPQA, demonstrating excellent reasoning abilities in STEM and coding. Beyond reasoning tasks, the method demonstrates notable generalization across diverse domains. For instance, it surpasses DeepSeek R1 by 8% in win rate on non-reasoning tasks, indicating its broader applicability. Compared to other state-of-the-art reasoning models, Seed1.5-Thinking is a Mixture-of-Experts (MoE) model with a relatively small size, featuring 20B activated and 200B total parameters. As part of our effort to assess generalized reasoning, we develop two internal benchmarks, BeyondAIME and Codeforces, both of which will be publicly released to support future research. Model trial link: https://www.volcengine.com/experience/ark.

cs.CL

Wave propagation and scattering in time dependent media: Lippmann-Schwinger equations, multiple scattering theory, Kirchhoff Helmholtz integrals, Green's functions, reciprocity theorems and Huygens' principle

Wave scattering plays a central role for the modeling of complex wave propagation across all corners of science and engineering applications, including electromagnetic, acoustics, seismic and scattering physics. Wave control using time interfaces, where the properties of the medium through with the wave travels rapidly change in time, has opened further opportunities to control wave propagation in both space and time. For acoustic waves, studies on time modulated media have not been reported. In this context, full numerical solution of the wave equation using time interfaces is key to fully understand their potential. When applying time interfaces, the underlying physics of acoustic wave propagation and scattering and their similar roles on time and space, are still being explored. In this work, we introduce a mathematical formulation of the Lippmann-Schwinger integral equations for acoustic wave scattering when time interfaces are induced via a change of the velocity of the medium. We demonstrate that space-time duality for acoustic wave propagation with time interfaces and derive the Lippmann-Schwinger integral equations for wave scattering in time-dependent media, multiple scattering theory, Kirchhoff Helmholtz integrals, Green's functions, reciprocity theorems. We experimentally verify our theoretical derivation by studying and measuring the acoustic wave scattering in strongly scattering media. We illustrate the proposed framework and present results of acoustic wave scattering without prior knowledge of the background wave-fields. This improves the understanding of the generation and wave scattering and opens previously inaccessible research directions, potentially facilitating practical applications for acoustic, geophysical and optical imaging.

physics.optics

Opara: Exploiting Operator Parallelism for Expediting DNN Inference on GPUs

GPUs have become the \emph{defacto} hardware devices for accelerating Deep Neural Network (DNN) inference workloads. However, the conventional \emph{sequential execution mode of DNN operators} in mainstream deep learning frameworks cannot fully utilize GPU resources, even with the operator fusion enabled, due to the increasing complexity of model structures and a greater diversity of operators. Moreover, the \emph{inadequate operator launch order} in parallelized execution scenarios can lead to GPU resource wastage and unexpected performance interference among operators. In this paper, we propose \emph{Opara}, a resource- and interference-aware DNN \underline{Op}erator \underline{para}llel scheduling framework to accelerate DNN inference on GPUs. Specifically, \emph{Opara} first employs \texttt{CUDA Streams} and \texttt{CUDA Graph} to \emph{parallelize} the execution of multiple operators automatically. To further expedite DNN inference, \emph{Opara} leverages the resource demands of operators to judiciously adjust the operator launch order on GPUs, overlapping the execution of compute-intensive and memory-intensive operators. We implement and open source a prototype of \emph{Opara} based on PyTorch in a \emph{non-intrusive} manner. Extensive prototype experiments with representative DNN and Transformer-based models demonstrate that \emph{Opara} outperforms the default sequential \texttt{CUDA Graph} in PyTorch and the state-of-the-art operator parallelism systems by up to $1.68\times$ and $1.29\times$, respectively, yet with acceptable runtime overhead.

cs.DC

The Impact of Industrial Zone:Evidence from China's National High-tech Zone Policy

Based on the statistical yearbook data and related patent data of 287 cities in China from 2000 to 2020, this study regards the policy of establishing the national high-tech zones as a quasi-natural experiment. Using this experiment, this study firstly estimated the treatment effect of the policy and checked the robustness of the estimation. Then the study examined the heterogeneity in different geographic demarcation of China and in different city level of China. After that, this study explored the possible influence mechanism of the policy. It shows that the possible mechanism of the policy is financial support, industrial agglomeration of secondary industry and the spillovers. In the end, this study examined the spillovers deeply and showed the distribution of spillover effect.

econ.EM

Efficient k-clique Listing with Set Intersection Speedup [Technical Report]

Listing all k-cliques is a fundamental problem in graph mining, with applications in finance, biology, and social network analysis. However, owing to the exponential growth of the search space as k increases, listing all k-cliques is algorithmically challenging. DDegree and DDegCol are the state-of-the-art algorithms that exploit ordering heuristics based on degree ordering and color ordering, respectively. Both DDegree and DDegCol induce high time and space overhead for set intersections cause they construct and maintain all induced subgraphs. Meanwhile, it is non-trivial to implement the data level parallelism to further accelerate on DDegree and DDegCol. In this paper, we propose two efficient algorithms SDegree and BitCol for k-clique listing. We mainly focus on accelerating the set intersections for k-clique listing. Both SDegree and BitCol exploit the data level parallelism for further acceleration with single instruction multiple data (SIMD) or vector instruction sets. Furthermore, we propose two preprocessing techniques Pre-Core and Pre-List, which run in linear time. The preprocessing techniques significantly reduce the size of the original graph and prevent exploring a large number of invalid nodes. In the theoretical analysis, our algorithms have a comparable time complexity and a slightly lower space complexity than the state-of-the-art algorithms. The comprehensive experiments reveal that our algorithms outperform the state-of-the-art algorithms by 3.75x for degree ordering and 5.67x for color ordering on average.

cs.DB

Resurgence and Partial Theta Series

We consider partial theta series associated with periodic sequences of coefficients, of the form $\Theta(\tau) := \sum_{n>0} n^\nu f(n) e^{i\pi n^2\tau/M}$, with $\nu$ non-negative integer and an $M$-periodic function $f : \mathbb{Z} \rightarrow \mathbb{C}$. Such a function is analytic in the half-plane $\{Im(\tau)>0\}$ and as $\tau$ tends non-tangentially to any $\alpha\in\mathbb{Q}$, a formal power series appears in the asymptotic behaviour of $\Theta(\tau)$, depending on the parity of $\nu$ and $f$. We discuss the summability and resurgence properties of these series by means of explicit formulas for their formal Borel transforms, and the consequences for the modularity properties of $\Theta$, or its ``quantum modularity'' properties in the sense of Zagier's recent theory. The Discrete Fourier Transform of $f$ plays an unexpected role and leads to a number-theoretic analogue of \'Ecalle's ``Bridge Equations''. The motto is: (quantum) modularity = Stokes phenomenon + Discrete Fourier Transform.

math.CV

Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning

Formally verifying Deep Reinforcement Learning (DRL) systems is a challenging task due to the dynamic continuity of system behaviors and the black-box feature of embedded neural networks. In this paper, we propose a novel abstraction-based approach to train DRL systems on finite abstract domains instead of concrete system states. It yields neural networks whose input states are finite, making hosting DRL systems directly verifiable using model checking techniques. Our approach is orthogonal to existing DRL algorithms and off-the-shelf model checkers. We implement a resulting prototype training and verification framework and conduct extensive experiments on the state-of-the-art benchmark. The results show that the systems trained in our approach can be verified more efficiently while they retain comparable performance against those that are trained without abstraction.

cs.AI

Higher-Order Neighborhood Truss Decomposition

$k$-truss model is a typical cohesive subgraph model and has been received considerable attention recently. However, the $k$-truss model only considers the direct common neighbors of an edge, which restricts its ability to reveal fine-grained structure information of the graph. Motivated by this, in this paper, we propose a new model named $(k, \tau)$-truss that considers the higher-order neighborhood ($\tau$ hop) information of an edge. Based on the $(k, \tau)$-truss model, we study the higher-order truss decomposition problem which computes the $(k, \tau)$-trusses for all possible $k$ values regarding a given $\tau$. Higher-order truss decomposition can be used in the applications such as community detection and search, hierarchical structure analysis, and graph visualization. To address this problem, we first propose a bottom-up decomposition paradigm in the increasing order of $k$ values to compute the corresponding $(k, \tau)$-truss. Based on the bottom-up decomposition paradigm, we further devise three optimization strategies to reduce the unnecessary computation. We evaluate our proposed algorithms on real datasets and synthetic datasets, the experimental results demonstrate the efficiency, effectiveness and scalability of our proposed algorithms.

cs.DB

Linear encoding of the spatiotemporal cat

The dynamics of an extended, spatiotemporally chaotic system might appear extremely complex. Nevertheless, the local dynamics, observed through a finite spatiotemporal window, can often be thought of as a visitation sequence of a finite repertoire of finite patterns. To make statistical predictions about the system, one needs to know how often a given pattern occurs. Here we address this fundamental question within a spatiotemporal cat, a 1-dimensional spatial lattice of coupled cat maps evolving in time. In spatiotemporal cat, any spatiotemporal state is labeled by a unique 2-dimensional lattice of symbols from a finite alphabet, with the lattice states and their symbolic representation related linearly (hence "linear encoding"). We show that the state of the system over a finite spatiotemporal domain can be described with exponentially increasing precision by a finite pattern of symbols, and we provide a systematic, lattice Green's function methodology to calculate the frequency (i.e., the measure) of such states.

nlin.CD

Incentivizing Exploration with Heterogeneous Value of Money

Recently, Frazier et al. proposed a natural model for crowdsourced exploration of different a priori unknown options: a principal is interested in the long-term welfare of a population of agents who arrive one by one in a multi-armed bandit setting. However, each agent is myopic, so in order to incentivize him to explore options with better long-term prospects, the principal must offer the agent money. Frazier et al. showed that a simple class of policies called time-expanded are optimal in the worst case, and characterized their budget-reward tradeoff. The previous work assumed that all agents are equally and uniformly susceptible to financial incentives. In reality, agents may have different utility for money. We therefore extend the model of Frazier et al. to allow agents that have heterogeneous and non-linear utilities for money. The principal is informed of the agent's tradeoff via a signal that could be more or less informative. Our main result is to show that a convex program can be used to derive a signal-dependent time-expanded policy which achieves the best possible Lagrangian reward in the worst case. The worst-case guarantee is matched by so-called "Diamonds in the Rough" instances; the proof that the guarantees match is based on showing that two different convex programs have the same optimal solution for these specific instances. These results also extend to the budgeted case as in Frazier et al. We also show that the optimal policy is monotone with respect to information, i.e., the approximation ratio of the optimal policy improves as the signals become more informative.

cs.GT

Mixture Selection, Mechanism Design, and Signaling

We pose and study a fundamental algorithmic problem which we term mixture selection, arising as a building block in a number of game-theoretic applications: Given a function $g$ from the $n$-dimensional hypercube to the bounded interval $[-1,1]$, and an $n \times m$ matrix $A$ with bounded entries, maximize $g(Ax)$ over $x$ in the $m$-dimensional simplex. This problem arises naturally when one seeks to design a lottery over items for sale in an auction, or craft the posterior beliefs for agents in a Bayesian game through the provision of information (a.k.a. signaling). We present an approximation algorithm for this problem when $g$ simultaneously satisfies two smoothness properties: Lipschitz continuity with respect to the $L^\infty$ norm, and noise stability. The latter notion, which we define and cater to our setting, controls the degree to which low-probability errors in the inputs of $g$ can impact its output. When $g$ is both $O(1)$-Lipschitz continuous and $O(1)$-stable, we obtain an (additive) PTAS for mixture selection. We also show that neither assumption suffices by itself for an additive PTAS, and both assumptions together do not suffice for an additive FPTAS. We apply our algorithm to different game-theoretic applications from mechanism design and optimal signaling. We make progress on a number of open problems suggested in prior work by easily reducing them to mixture selection: we resolve an important special case of the small-menu lottery design problem posed by Dughmi, Han, and Nisan; we resolve the problem of revenue-maximizing signaling in Bayesian second-price auctions posed by Emek et al. and Miltersen and Sheffet; we design a quasipolynomial-time approximation scheme for the optimal signaling problem in normal form games suggested by Dughmi; and we design an approximation algorithm for the optimal signaling problem in the voting model of Alonso and C\^{a}mara.

cs.GT

Sampling and Representation Complexity of Revenue Maximization

We consider (approximate) revenue maximization in auctions where the distribution on input valuations is given via "black box" access to samples from the distribution. We observe that the number of samples required -- the sample complexity -- is tightly related to the representation complexity of an approximately revenue-maximizing auction. Our main results are upper bounds and an exponential lower bound on these complexities.

cs.GT

Design of a 325MHz SC Spoke040 cavity at IHEP

The 325MHz, {\beta}=0.40 superconducting single spoke cavity (Spoke040) was one of the most challenges for the China-ADS (Accelerator Driven System) project. The design was finished, and the fabrication was in progressing. In this paper, we studied the main radio frequency (RF) and mechanical parameters, and compared the arc-shaped and plate-shaped end group structures.

physics.acc-ph