418 citations
- Chinese Academy of SciencesCN58 papers
- Beijing Normal UniversityCN6 papers
- Capital Normal UniversityCN6 papers
- Kavli Institute for Theoretical SciencesCN5 papers
- University of Chinese Academy of SciencesCN5 papers
- Peking UniversityCN4 papers
- The University of SydneyAU4 papers
- Fudan UniversityCN3 papers
- Institute of Modern PhysicsCN3 papers
- Institute of Theoretical PhysicsCN3 papers
- Zhejiang UniversityCN3 papers
- Academia SinicaTW2 papers
8 papers · 1 filter
Model-Checking Linear-Time Properties of Quantum Systems
Mingsheng Ying, Yangjia Li, Nengkun Yu +1
We define a formal framework for reasoning about linear-time properties of quantum systems in which quantum automata are employed in the modeling of systems and certain closed subs…
Intersection Theory in Differential Algebraic Geometry: Generic Intersections and the Differential Chow Form
Xiao-Shan Gao, Wei Li, Chun-Ming Yuan
In this paper, an intersection theory for generic differential polynomials is presented. The intersection of an irreducible differential variety of dimension and order with…
Soft Control on Collective Behavior of a Group of Autonomous Agents by a Shill Agent
Jing Han, Ming Li, Lei Guo
This paper asks a new question: how can we control the collective behavior of self-organized multi-agent systems? We try to answer the question by proposing a new notion called 'So…
Dynamics of Gravity as Thermodynamics on the Spherical Holographic Screen
Yu Tian, Xiao-Ning Wu
The dynamics of general Lovelock gravity, viewed on an arbitrary spherically symmetric surface as a holographic screen, is recast as the form of some generalized first law of therm…
Generalized Projective Representations for sl(n+1)
Yufeng Zhao, Xiaoping Xu
It is well known that -dimensional projective group gives rise to a non-homogenous representation of the Lie algebra on the polynomial functions of the projective spac…
Numerical evolution of multiple black holes with accurate initial data
Pablo Galaviz, Bernd Bruegmann, Zhoujian Cao
We present numerical evolutions of three equal-mass black holes using the moving puncture approach. We calculate puncture initial data for three black holes solving the constraint…