Publications (36)
Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning
Peng Jin, Min Zhang, Jianwen Li +2
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 ne…
Who is the Lord of the Rings: Majorana, Dirac or Lifshitz? The Spin-Orbit-Zeeman Saga in Ultra-cold Fermions
Kangjun Seo, Li Han, C. A. R. Sá de Melo
We discuss the emergence of rings of zero-energy excitations in momentum space for superfluid phases of ultra-cold fermions when spin-orbit, Zeeman fields and interactions are vari…
A proof of Witten's asymptotic expansion conjecture for WRT invariants of Seifert fibered homology spheres
Jørgen Ellegaard Andersen, Li Han, Yong Li +3
Let be a general Seifert fibered integral homology -sphere with exceptional fibers. For every root of unity , we show that the SU(2) WRT invariant of e…
Sampling and Representation Complexity of Revenue Maximization
Shaddin Dughmi, Li Han, Noam Nisan
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 t…
The evolution from BCS to BEC superfluidity in the presence of disorder
Li Han, C. A. R. Sá de Melo
We describe the effects of disorder on the critical temperature of -wave superfluids from the BCS to the BEC regime, with direct application to ultracold fermions. We use the fu…
Design of a 325MHz SC Spoke040 cavity at IHEP
Peng Yinghua, Zhang Xinying, Sha Peng +2
The 325MHz, β=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, an…
Photon regions, shadow observables and constraints from M87* of a Kerr-Newman-like black hole in Bumblebee gravity surrounded by plasma
Jian-Peng Zhang, Yu Zhang, Li Han
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…
Mixture Selection, Mechanism Design, and Signaling
Yu Cheng, Ho Yee Cheung, Shaddin Dughmi +3
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 fr…
Design study on very low Beta spoke cavity for China-ADS
Li Han, Sha Peng, Dai Jianping +2
Very low Beta superconducting spoke cavity is one of the key challenges for China-ADS project. In this paper, a new structure of 3*Beta*lamda/2 spoke cavity is first presented. Its…
Opara: Exploiting Operator Parallelism for Expediting DNN Inference on GPUs
Aodong Chen, Fei Xu, Li Han +4
GPUs have become the \emph{defacto} hardware devices for accelerating Deep Neural Network (DNN) inference workloads. However, the conventional \emph{sequential execution mode of DN…
The study of tuning system for BEPC II
Mi Zhenghui, Sun Yi, Pan Weimin +19
Tuning system plays a very important role when superconducting cavity works. It cooperates with other control loops, to adjust the frequency of cavity with high precision, reduce t…
GR2 Technical Report
Yufei Li, Zaiwei Zhang, Mingfu Liang +67
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 dispropo…
Efficient k-clique Listing with Set Intersection Speedup [Technical Report]
Zhirong Yuan, You Peng, Peng Cheng +4
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…
Generating Function in Quantum Mechanics: An Application to Counting Problems
Li Han
In this paper we present a generating function approach to two counting problems in elementary quantum mechanics. The first is to find the total ways of distributing identical part…
Higher-Order Neighborhood Truss Decomposition
Zi Chen, Long Yuan, Li Han +1
-truss model is a typical cohesive subgraph model and has been received considerable attention recently. However, the -truss model only considers the direct common neighbors…
Evolution from BCS to BEC superfluidity in the presence of spin-orbit coupling
Li Han, C. A. R. Sá de Melo
We discuss the evolution from BCS to BEC superfluids in the presence of spin-orbit coupling, and show that this evolution is just a crossover in the balanced case. The dependence o…
Resurgence and Partial Theta Series
Li Han, Yong Li, David Sauzin +1
We consider partial theta series associated with periodic sequences of coefficients, of the form , with non-negative integer and…
Superfluid Phases of Dipolar Fermions in Harmonically Trapped Optical Lattices
Doga Murat Kurkcuoglu, Li Han, C. A. R. Sá de Melo
We describe the emergence of superfluid phases of ultracold dipolar fermions in optical lattices for two-dimensional systems. Considering the many-body screening of dipolar interac…
Ultra-cold fermions in the flatland: evolution from BCS to Bose superfluidity in two-dimensions with spin-orbit and Zeeman fields
Li Han, C. A. R. Sá de Melo
We discuss the evolution from BCS to Bose superfluidity for ultracold fermions in two-dimensions and in the presence of simultaneous spin-orbit and Zeeman fields. We analyze severa…
Horizontal Test for BEPCII 500MHz Spare Cavity
Mi Zhenghui, Sun Yi, Wang Guangwei +19
The horizontal test for BEPCII 500MHz spare cavity has been completed in IHEP. The max voltage of the cavity is 2.17MV, Q0 is 5.78\times108.This paper mainly reports coupler aging…
Linear encoding of the spatiotemporal cat
Boris Gutkin, Li Han, Rana Jafari +2
The dynamics of an extended, spatiotemporally chaotic system might appear extremely complex. Nevertheless, the local dynamics, observed through a finite spatiotemporal window, can…
Topological phase transitions in ultra-cold Fermi superfluids: the evolution from BCS to BEC under artificial spin-orbit fields
Kangjun Seo, Li Han, C. A. R. Sá de Melo
We discuss topological phase transitions in ultra-cold Fermi superfluids induced by interactions and artificial spin orbit fields. We construct the phase diagram for population imb…
Seed3D 1.0: From Images to High-Fidelity Simulation-Ready 3D Assets
Jiashi Feng, Xiu Li, Jing Lin +25
Developing embodied AI agents requires scalable training environments that balance content diversity with physics accuracy. World simulators provide such environments but face dist…
Incentivizing Exploration with Heterogeneous Value of Money
Li Han, David Kempe, Ruixin Qiang
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 popula…
Comment on "Berry Phase in a Composite System"
Li Han, Yong Guo
We show in this comment that the results obtained in a recent work by Yi et al. [Phys. Rev. Lett. 92, 150406 (2004)] are quantitatively not correct and the proposed subsystem Berry…
Seed1.5-Thinking: Advancing Superb Reasoning Models with Reinforcement Learning
ByteDance Seed, :, Jiaze Chen +267
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 8…
Low beta spoke cavity multipacting analysis
Xu Bo, Li Han, Zhang Juan +8
The simulation and analysis for electron multipacting phenomenon in low β spoke superconducting cavity in ADS proton accelerator are proposed. Using both CST and Track3P codes, th…
Artificial spin-orbit coupling in ultra-cold Fermi superfluids
Kangjun Seo, Li Han, C. A. R. Sá de Melo
We develop a theory for interacting fermions in the presence of spin-orbit coupling and Zeeman fields, and show that many new superfluids phases, which are topological in nature, e…
Disorder effects during the evolution from BCS to BEC superfluidity
Li Han, Carlos A. R. Sa de Melo
We describe the effects of disorder on the critical temperature of s-wave superfluids from the BCS to the BEC regime, with direct application to ultracold Fermi atoms. In the BCS r…
Electrostatically induced phase transitions in superconducting complex oxides
Li Han, C. A. R. Sá de Melo
We describe quantum phase transitions in superconducting complex oxides which could be tuned by electrostatic charge transfer. Using a simple model for the superconductivity of a t…
Seed1.5-VL Technical Report
Dong Guo, Faming Wu, Feida Zhu +194
We present Seed1.5-VL, a vision-language foundation model designed to advance general-purpose multimodal understanding and reasoning. Seed1.5-VL is composed with a 532M-parameter v…
The Impact of Industrial Zone:Evidence from China's National High-tech Zone Policy
Li Han
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…
Quantum Degenerate Fermi Gas with Spin-orbit Coupling and Crossed Zeeman Fields
Kangjun Seo, Li Han, C. A. R. Sá de Melo
We study quantum degenerate ultra-cold Fermi gases in the presence of artificial spin-orbit coupling and crossed Zeeman fields. We emphasize the case where parity is violated in th…
UI-TARS-2 Technical Report: Advancing GUI Agent with Multi-Turn Reinforcement Learning
Haoming Wang, Haoyang Zou, Huatong Song +109
The development of autonomous agents for graphical user interfaces (GUIs) presents major challenges in artificial intelligence. While recent advances in native agent models have sh…
Parity violating superfluidity in ultra-cold fermions under the influence of artificial non-Abelian gauge fields
Kangjun Seo, Li Han, C. A. R. Sá de Melo
We discuss the creation of parity violating Fermi superfluids in the presence of non-Abelian gauge fields involving spin-orbit coupling and crossed Zeeman fields. We focus on spin-…
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
Xingguo Huang, Cong Wang, Li Han +2
Wave scattering plays a central role for the modeling of complex wave propagation across all corners of science and engineering applications, including electromagnetic, acoustics,…