In this paper,we give the geometric constraint conditions of a canonical symplectic form and regular reduced symplectic forms for the dynamical vector fields of a regular controlled Hamiltonian(RCH)system and its regu...In this paper,we give the geometric constraint conditions of a canonical symplectic form and regular reduced symplectic forms for the dynamical vector fields of a regular controlled Hamiltonian(RCH)system and its regular reduced systems,which are called the Type I and Type II Hamilton-Jacobi equations.First,we prove two types of Hamilton-Jacobi theorems for an RCH system on the cotangent bundle of a configuration manifold by using the canonical symplectic form and its dynamical vector field.Second,we generalize the above results for a regular reducible RCH system with symmetry and a momentum map,and derive precisely two types of Hamilton-Jacobi equations for the regular point reduced RCH system and the regular orbit reduced RCH system.Third,we prove that the RCH-equivalence for the RCH system,and the RpCH-equivalence and RoCH-equivalence for the regular reducible RCH systems with symmetries,leave the solutions of corresponding Hamilton-Jacobi equations invariant.Finally,as an application of the theoretical results,we show the Type I and Type II Hamilton-Jacobi equations for the Rp-reduced controlled rigid body-rotor system and the Rp-reduced controlled heavy top-rotor system on the generalizations of the rotation group SO(3)and the Euclidean group SE(3),respectively.This work reveals the deeply internal relationships of the geometrical structures of phase spaces,the dynamical vector fields and the controls of the RCH system.展开更多
This paper studies two isometric problems between unit spheres of Banach spaces.In the first part,we introduce and study the Figiel type problem of isometric embeddings between unit spheres.However,the classical Figie...This paper studies two isometric problems between unit spheres of Banach spaces.In the first part,we introduce and study the Figiel type problem of isometric embeddings between unit spheres.However,the classical Figiel theorem on the whole space cannot be trivially generalized to this case,and this is pointed out by a counterexample.After establishing this,we find a natural necessary condition required by the existence of the Figiel operator.Furthermore,we prove that when X is a space with the T-property,this condition is also sufficient for an isometric embedding T:S_(X)→S_(Y) to admit the Figiel operator.This answers the Figiel type problem on unit spheres for a large class of spaces.In the second part,we consider the extension of bijectiveε-isometries between unit spheres of two Banach spaces.It is shown that every bijectiveε-isometry between unit spheres of a local GL-space and another Banach space can be extended to be a bijective 5ε-isometry between the corresponding unit balls.In particular,whenε=0,this recovers the MUP for local GL-spaces obtained in[40].展开更多
Non-Abelian anyons are exotic quasiparticle excitations hosted by certain topological phases of matter.They break the fermion-boson dichotomy and obey non-Abelian braiding statistics:their interchanges yield unitary o...Non-Abelian anyons are exotic quasiparticle excitations hosted by certain topological phases of matter.They break the fermion-boson dichotomy and obey non-Abelian braiding statistics:their interchanges yield unitary operations,rather than merely a phase factor,in a space spanned by topologically degenerate wavefunctions.They are the building blocks of topological quantum computing.However,experimental observation of non-Abelian anyons and their characterizing braiding statistics is notoriously challenging and has remained elusive hitherto,in spite of various theoretical proposals.Here,we report an experimental quantum digital simulation of projective non-Abelian anyons and their braiding statistics with up to 68 programmable superconducting qubits arranged on a two-dimensional lattice.By implementing the ground states of the toric-code model with twists through quantum circuits,we demonstrate that twists exchange electric and magnetic charges and behave as a particular type of non-Abelian anyons,i.e.,the Ising anyons.In particular,we show experimentally that these twists follow the fusion rules and non-Abelian braiding statistics of the Ising type,and can be explored to encode topological logical qubits.Furthermore,we demonstrate how to implement both single-and two-qubit logic gates through applying a sequence of elementary Pauli gates on the underlying physical qubits.Our results demonstrate a versatile quantum digital approach for simulating non-Abelian anyons,offering a new lens into the study of such peculiar quasiparticles.展开更多
基金partially supported by the Nankai University 985 Projectthe Key Laboratory of Pure Mathematics and Combinatorics,Ministry of Education,Chinathe NSFC(11531011)。
文摘In this paper,we give the geometric constraint conditions of a canonical symplectic form and regular reduced symplectic forms for the dynamical vector fields of a regular controlled Hamiltonian(RCH)system and its regular reduced systems,which are called the Type I and Type II Hamilton-Jacobi equations.First,we prove two types of Hamilton-Jacobi theorems for an RCH system on the cotangent bundle of a configuration manifold by using the canonical symplectic form and its dynamical vector field.Second,we generalize the above results for a regular reducible RCH system with symmetry and a momentum map,and derive precisely two types of Hamilton-Jacobi equations for the regular point reduced RCH system and the regular orbit reduced RCH system.Third,we prove that the RCH-equivalence for the RCH system,and the RpCH-equivalence and RoCH-equivalence for the regular reducible RCH systems with symmetries,leave the solutions of corresponding Hamilton-Jacobi equations invariant.Finally,as an application of the theoretical results,we show the Type I and Type II Hamilton-Jacobi equations for the Rp-reduced controlled rigid body-rotor system and the Rp-reduced controlled heavy top-rotor system on the generalizations of the rotation group SO(3)and the Euclidean group SE(3),respectively.This work reveals the deeply internal relationships of the geometrical structures of phase spaces,the dynamical vector fields and the controls of the RCH system.
基金the National Nature Science Foundation of China(11671214,11971348,12071230)the Hundred Young Academia Leaders Program of Nankai University(63223027,ZB22000105)+1 种基金the Undergraduate Education and Teaching Project of Nankai University(NKJG2022053)the National College Students’Innovation and Entrepreneurship Training Program of Nankai University(202210055048)。
文摘This paper studies two isometric problems between unit spheres of Banach spaces.In the first part,we introduce and study the Figiel type problem of isometric embeddings between unit spheres.However,the classical Figiel theorem on the whole space cannot be trivially generalized to this case,and this is pointed out by a counterexample.After establishing this,we find a natural necessary condition required by the existence of the Figiel operator.Furthermore,we prove that when X is a space with the T-property,this condition is also sufficient for an isometric embedding T:S_(X)→S_(Y) to admit the Figiel operator.This answers the Figiel type problem on unit spheres for a large class of spaces.In the second part,we consider the extension of bijectiveε-isometries between unit spheres of two Banach spaces.It is shown that every bijectiveε-isometry between unit spheres of a local GL-space and another Banach space can be extended to be a bijective 5ε-isometry between the corresponding unit balls.In particular,whenε=0,this recovers the MUP for local GL-spaces obtained in[40].
基金the National Natural Science Foundation of China(Grants Nos.92065204,12075128,T2225008,12174342,12274368,12274367,U20A2076,and 11725419)the Innovation Program for Quantum Science and Technology(Grant No.2021ZD0300200)+2 种基金the Zhejiang Province Key Research and Development Program(Grant No.2020C01019)supported by Tsinghua Universitythe Shanghai Qi Zhi Institute。
文摘Non-Abelian anyons are exotic quasiparticle excitations hosted by certain topological phases of matter.They break the fermion-boson dichotomy and obey non-Abelian braiding statistics:their interchanges yield unitary operations,rather than merely a phase factor,in a space spanned by topologically degenerate wavefunctions.They are the building blocks of topological quantum computing.However,experimental observation of non-Abelian anyons and their characterizing braiding statistics is notoriously challenging and has remained elusive hitherto,in spite of various theoretical proposals.Here,we report an experimental quantum digital simulation of projective non-Abelian anyons and their braiding statistics with up to 68 programmable superconducting qubits arranged on a two-dimensional lattice.By implementing the ground states of the toric-code model with twists through quantum circuits,we demonstrate that twists exchange electric and magnetic charges and behave as a particular type of non-Abelian anyons,i.e.,the Ising anyons.In particular,we show experimentally that these twists follow the fusion rules and non-Abelian braiding statistics of the Ising type,and can be explored to encode topological logical qubits.Furthermore,we demonstrate how to implement both single-and two-qubit logic gates through applying a sequence of elementary Pauli gates on the underlying physical qubits.Our results demonstrate a versatile quantum digital approach for simulating non-Abelian anyons,offering a new lens into the study of such peculiar quasiparticles.