Using the Weyl ordering of operators expansion formula (Hong-Yi Fan, J. Phys.A 25 (1992) 3443) this paper finds a kind of two-fold integration transformation about the Wigner operator △( q',p) q-number transf...Using the Weyl ordering of operators expansion formula (Hong-Yi Fan, J. Phys.A 25 (1992) 3443) this paper finds a kind of two-fold integration transformation about the Wigner operator △( q',p) q-number transform) in phase space quantum mechanics,∫∫∞-∞dp'dq'/π △(q',p')e-2i( p-p')( q-q')=δ( p-P)δ( q-Q),∫∫∞-∞dqdpδ(p-P)δ(q-Q)e2i(p-p')(q-q')=△(q',p'),whereQ,P are the coordinate and momentum operators, respectively. We apply it to study mutual converting formulae among Q-P ordering, P-Q ordering and Weyl ordering of operators. In this way, the contents of phase space quantum mechanics can be enriched. The formula of the Weyl ordering of operators expansion and the technique of integration within the Weyl ordered product of operators are used in this discussion.展开更多
Let L = -△Hn + V be a SchrSdinger operator on Heisenberg group Hn, where AHn is the sublaplacian and the nonnegative potential V belongs to the reverse HSlder class BQ/2 where Q is the homogeneous dimension of Hn. L...Let L = -△Hn + V be a SchrSdinger operator on Heisenberg group Hn, where AHn is the sublaplacian and the nonnegative potential V belongs to the reverse HSlder class BQ/2 where Q is the homogeneous dimension of Hn. Let T1 = (--△Hn +V)-1V, T2 = (-△Hn +V)-1/2V1/2, and T3 = (--AHn +V)-I/2△Hn, then we verify that [b, Ti], i = 1, 2, 3 are bounded on some LP(Hn), where b ∈ BMO(Hn). Note that the kernel of Ti, i = 1, 2, 3 has no smoothness.展开更多
We introduce the quantum Hadamard operator in continuum state vector space and find that it can be decomposed into a single-mode squeezing operator and a position-momentum mutual transform operator. The two-mode Hadam...We introduce the quantum Hadamard operator in continuum state vector space and find that it can be decomposed into a single-mode squeezing operator and a position-momentum mutual transform operator. The two-mode Hadamard operator in bipartite entangled state representation is also introduced, which involves the two-mode squeezing operator and [η〉 ←→|ξ〉 mutual transformation operator, where [η〉 and |ξ〉 are mutual conjugate entangled states. All the discussions are proceeded by virtue of the IWOP technique.展开更多
Abstract. Let H^n be the Heisenberg group and Q = 2n+2 be its homogeneous dimen- sion. In this paper, we consider the Schr6dinger operator -△H^n +V, where △H^n is the sub-Laplacian and V is the nonnegative potenti...Abstract. Let H^n be the Heisenberg group and Q = 2n+2 be its homogeneous dimen- sion. In this paper, we consider the Schr6dinger operator -△H^n +V, where △H^n is the sub-Laplacian and V is the nonnegative potential belonging to the reverse H61der class Bql for ql _〉 Q/2. We show that the operators T1 = V(-△H^n-In +V)-1 and T2 = V1/2(-△H^n-V)-1/2 are both bounded from 1 n HL^1(H^n ) into L1(H^n). Our results are also valid on the stratified Lie group.展开更多
According to customs statistics, China’s exports of machinery and electric products in 1996 were worth US$ 48.21 billion, an increase of 9.9 percent over the preceding year, and 8.4 percent higher than the growth rat...According to customs statistics, China’s exports of machinery and electric products in 1996 were worth US$ 48.21 billion, an increase of 9.9 percent over the preceding year, and 8.4 percent higher than the growth rate of the nation’s total exports. The proportion of machinery and electric product exports in the nation’s total foreign trade volume\ increased from 29.5 percent in 1995 to 31.9 percent in 1996, a growth at 2.4 percent.展开更多
We study the eigenstate problem of a kind of coupled oscillators in the new quantum mechanical representation |q,μ,υ〉, which is defined as the eigenvector of the operator (μQ + υP), whereμ and υ are two rea...We study the eigenstate problem of a kind of coupled oscillators in the new quantum mechanical representation |q,μ,υ〉, which is defined as the eigenvector of the operator (μQ + υP), whereμ and υ are two real parameters. We also use the U operator transformation method to deal with the same problem. We obtain the normally ordered product expressions of U operator and eigenvector. It is shown that the ground state of system Hamiltonian is a squeezed state.展开更多
A new interval arithmetic method is proposed to solve interval functions with correlated intervals through which the overestimation problem existing in interval analysis could be significantly alleviated. The correlat...A new interval arithmetic method is proposed to solve interval functions with correlated intervals through which the overestimation problem existing in interval analysis could be significantly alleviated. The correlation between interval parameters is defined by the multidimensional parallelepiped model which is convenient to describe the correlative and independent interval variables in a unified framework. The original interval variables with correlation are transformed into the standard space without correlation,and then the relationship between the original variables and the standard interval variables is obtained. The expressions of four basic interval arithmetic operations, namely addition, subtraction, multiplication, and division, are given in the standard space. Finally, several numerical examples and a two-step bar are used to demonstrate the effectiveness of the proposed method.展开更多
Recently Jiang et al.[Chin.Phys.Lett.24 (2007) 1144] gave a scheme for probabilistic controlled tele-portation of a triplet W state from the sender Alice to the distant receiver Bob.The m controlled qubits are sharedb...Recently Jiang et al.[Chin.Phys.Lett.24 (2007) 1144] gave a scheme for probabilistic controlled tele-portation of a triplet W state from the sender Alice to the distant receiver Bob.The m controlled qubits are sharedby m(s_1,s_2,...,s_m) spatially-separated supervisors.Based on transformation operator,we can extend to teleporting anarbitrary three-qubit state.The relation between the transformation operators and the Bob's unitary transformation isalso obtained.展开更多
The boundary value problem with a spectral parameter in the boundary conditions for a polynomial pencil of the Sturm-Liouville operator is investigated. Using the properties of the transformation operators for such op...The boundary value problem with a spectral parameter in the boundary conditions for a polynomial pencil of the Sturm-Liouville operator is investigated. Using the properties of the transformation operators for such operators, the asymptotic formulas for eigenvalues of the boundary value problem are obtained.展开更多
According to the anti-phase sine current superposition theorem, the orientation, the magnetic flux density, the angular speed and the rotational direction of the spatial universal rotating magnetic field (SURMF) can...According to the anti-phase sine current superposition theorem, the orientation, the magnetic flux density, the angular speed and the rotational direction of the spatial universal rotating magnetic field (SURMF) can be controlled within the tri-axial orthogonal square Helmholtz coils (TOSHC). Nevertheless, three coupling direction angles of the normal vector of the SURMF in the Descartes coordinate system cannot be separately controlled, thus the adjustment of the orientation of the SURMF is difficult and the flexibility of the robotic posture control is restricted. For the dimension reduction and the decoupling of control variables, the orthogonal transformation operation theorem of the SURMF is proposed based on two independent rotation angular variables, which employs azimuth and altitude angles as two variables of the three-phase sine current superposition formula derived by the orthogonal rotation inverse transformation. Then the unique control rules of the orientation and the rotational direction of the SURMF are generalized in each spatial quadrant, thus the scanning of the normal vector of the SURMF along the horizontal or vertical direction can be achieved through changing only one variable, which simplifies the control process of the orientation of the SURMF greatly. To validate its feasibility and maneuverability, experiments were conducted in the animal intestine utilizing the innovative dual hemisphere capsule robot (DHCR) with active and passive modes. It was demonstrated that the posture adjustment and the steering rolling locomotion of the DHCR can be realized through single variable control, thus the orthogonal transformation operation theorem makes the control of the orientation of the SURMF convenient and flexible significantly. This breakthrough will lay a foundation for the human-machine interaction control of the SURMF.展开更多
In this note an alternative proof of the equivalence of Drazin invertibility of operators AB and BA is given. As an application, we will prove that σD(AB) = σD(BA) and σD(A) = σD(A), where σD(M) and ■ denote the...In this note an alternative proof of the equivalence of Drazin invertibility of operators AB and BA is given. As an application, we will prove that σD(AB) = σD(BA) and σD(A) = σD(A), where σD(M) and ■ denote the Drazin spectrum and the Aluthge transform of an operator M ∈ B(H), respectively.展开更多
Collaborative text editing systems allow multiple users to concurrently edit the same document, which can be modeled by a replicated list object. In the literature, there is a family of operational transformation (OT)...Collaborative text editing systems allow multiple users to concurrently edit the same document, which can be modeled by a replicated list object. In the literature, there is a family of operational transformation (OT)-based Jupiter protocols for replicated lists, including AJupiter, XJupiter, and CJupiter. They are hard to understand due to the subtle OT technique, and little work has been done on formal verification of complete Jupiter protocols. Worse still, they use quite different data structures. It is unclear about how they are related to each other, and it would be laborious to verify each Jupiter protocol separately. In this work, we make contributions towards a better understanding of Jupiter protocols and the relation among them. We first identify the key OT issue in Jupiter and present a generic solution. We summarize several techniques for carrying out the solution, including the data structures to maintain OT results and to guide OTs. Then, we propose an implementation-independent AbsJupiter protocol. Finally, we establish the (data) refinement relation among these Jupiter protocols (AbsJupiter included). We also formally specify and verify the family of Jupiter protocols and the refinement relation among them using TLA+ (TLA stands for"Temporal Logic of Actions") and the TLC model checker. To our knowledge, this is the first work to formally specify and verify a family of OT-based Jupiter protocols and the refinement relation among them. It would be helpful to promote a rigorous study of OT-based protocols.展开更多
Under the preconditions that a (n:n)-qutrit pure state is taken as the quantum channel to teleport an arbitrary n-qutrit state and the sender is able to perform generalized-Bell-state measurements and publish the resu...Under the preconditions that a (n:n)-qutrit pure state is taken as the quantum channel to teleport an arbitrary n-qutrit state and the sender is able to perform generalized-Bell-state measurements and publish the results, the necessary transformation operation in the receiver's site is worked out in terms of the technique of swapping states. A criterion on whether such quantum channel can be utilized for perfect teleportation is derived by virtue of the unitarity of the resultant transformation operator. Moreover, the flexibility between the measurement difficulty and the reconstruction difficulty is shown and discussed.展开更多
We study corner-degenerate pseudo-differential operators of any singularity order and develop ellipticity based on the principal symbolic hierarchy, associated with the stratification of the underlying space. We const...We study corner-degenerate pseudo-differential operators of any singularity order and develop ellipticity based on the principal symbolic hierarchy, associated with the stratification of the underlying space. We construct parametrices within the calculus and discuss the aspect of additional trace and potential conditions along lower-dimensional strata.展开更多
In this paper, a self-mode-locked Nd:YVO_4 picosecond vortex laser is demonstrated, which can operate on the different Laguerre-Gaussian(LG) modes at 1 064 nm. A π/2 mode converter is utilized to realize the picoseco...In this paper, a self-mode-locked Nd:YVO_4 picosecond vortex laser is demonstrated, which can operate on the different Laguerre-Gaussian(LG) modes at 1 064 nm. A π/2 mode converter is utilized to realize the picosecond vortex laser with LG mode transformed from the high-order Hermite-Gaussian(HG) mode. For the proposed laser, the mode-locked pulse repetition rate is 1.81 GHz. The average output powers of LG_(12) mode and LG_(02) mode are 1.241 W and 1.27 W, respectively, and their slope efficiencies are 23.2% and 24%, respectively.展开更多
基金Project supported by the National Natural Science Foundation of China (Grant Nos. 10775097 and 10874174)Specialized Research Fund for the Doctoral Program of Higher Education of China
文摘Using the Weyl ordering of operators expansion formula (Hong-Yi Fan, J. Phys.A 25 (1992) 3443) this paper finds a kind of two-fold integration transformation about the Wigner operator △( q',p) q-number transform) in phase space quantum mechanics,∫∫∞-∞dp'dq'/π △(q',p')e-2i( p-p')( q-q')=δ( p-P)δ( q-Q),∫∫∞-∞dqdpδ(p-P)δ(q-Q)e2i(p-p')(q-q')=△(q',p'),whereQ,P are the coordinate and momentum operators, respectively. We apply it to study mutual converting formulae among Q-P ordering, P-Q ordering and Weyl ordering of operators. In this way, the contents of phase space quantum mechanics can be enriched. The formula of the Weyl ordering of operators expansion and the technique of integration within the Weyl ordered product of operators are used in this discussion.
基金supported by NSFC 11171203, S2011040004131STU Scientific Research Foundation for Talents TNF 10026+1 种基金supported by NSFC No.10990012,10926179RFDP of China No.200800010009
文摘Let L = -△Hn + V be a SchrSdinger operator on Heisenberg group Hn, where AHn is the sublaplacian and the nonnegative potential V belongs to the reverse HSlder class BQ/2 where Q is the homogeneous dimension of Hn. Let T1 = (--△Hn +V)-1V, T2 = (-△Hn +V)-1/2V1/2, and T3 = (--AHn +V)-I/2△Hn, then we verify that [b, Ti], i = 1, 2, 3 are bounded on some LP(Hn), where b ∈ BMO(Hn). Note that the kernel of Ti, i = 1, 2, 3 has no smoothness.
基金The project supported by National Natural Science Foundation of China under Grant No.10475056
文摘We introduce the quantum Hadamard operator in continuum state vector space and find that it can be decomposed into a single-mode squeezing operator and a position-momentum mutual transform operator. The two-mode Hadamard operator in bipartite entangled state representation is also introduced, which involves the two-mode squeezing operator and [η〉 ←→|ξ〉 mutual transformation operator, where [η〉 and |ξ〉 are mutual conjugate entangled states. All the discussions are proceeded by virtue of the IWOP technique.
文摘Abstract. Let H^n be the Heisenberg group and Q = 2n+2 be its homogeneous dimen- sion. In this paper, we consider the Schr6dinger operator -△H^n +V, where △H^n is the sub-Laplacian and V is the nonnegative potential belonging to the reverse H61der class Bql for ql _〉 Q/2. We show that the operators T1 = V(-△H^n-In +V)-1 and T2 = V1/2(-△H^n-V)-1/2 are both bounded from 1 n HL^1(H^n ) into L1(H^n). Our results are also valid on the stratified Lie group.
文摘According to customs statistics, China’s exports of machinery and electric products in 1996 were worth US$ 48.21 billion, an increase of 9.9 percent over the preceding year, and 8.4 percent higher than the growth rate of the nation’s total exports. The proportion of machinery and electric product exports in the nation’s total foreign trade volume\ increased from 29.5 percent in 1995 to 31.9 percent in 1996, a growth at 2.4 percent.
文摘We study the eigenstate problem of a kind of coupled oscillators in the new quantum mechanical representation |q,μ,υ〉, which is defined as the eigenvector of the operator (μQ + υP), whereμ and υ are two real parameters. We also use the U operator transformation method to deal with the same problem. We obtain the normally ordered product expressions of U operator and eigenvector. It is shown that the ground state of system Hamiltonian is a squeezed state.
基金supported by the National Natural Science Foundation for Excellent Young Scholars(Grant 51222502)the National Natural Science Foundation of China(Grant 11172096)the Funds for State Key Laboratory of Construction Machinery(SKLCM2014-1)
文摘A new interval arithmetic method is proposed to solve interval functions with correlated intervals through which the overestimation problem existing in interval analysis could be significantly alleviated. The correlation between interval parameters is defined by the multidimensional parallelepiped model which is convenient to describe the correlative and independent interval variables in a unified framework. The original interval variables with correlation are transformed into the standard space without correlation,and then the relationship between the original variables and the standard interval variables is obtained. The expressions of four basic interval arithmetic operations, namely addition, subtraction, multiplication, and division, are given in the standard space. Finally, several numerical examples and a two-step bar are used to demonstrate the effectiveness of the proposed method.
基金Natural Science Foundation of Shaanxi Province under Grant No.2004A15the Science Plan Foundation of the Education Department of Shaanxi Province under Grant No.05JK288
文摘Recently Jiang et al.[Chin.Phys.Lett.24 (2007) 1144] gave a scheme for probabilistic controlled tele-portation of a triplet W state from the sender Alice to the distant receiver Bob.The m controlled qubits are sharedby m(s_1,s_2,...,s_m) spatially-separated supervisors.Based on transformation operator,we can extend to teleporting anarbitrary three-qubit state.The relation between the transformation operators and the Bob's unitary transformation isalso obtained.
文摘The boundary value problem with a spectral parameter in the boundary conditions for a polynomial pencil of the Sturm-Liouville operator is investigated. Using the properties of the transformation operators for such operators, the asymptotic formulas for eigenvalues of the boundary value problem are obtained.
基金supported by the National Natural Science Foundation of China (Grant Nos. 51277018, 61175102, & 51475115)the Open Fund of the State Key Laboratory of Mechanical Transmissions (Grant No.SKLMT-KFKT-201509)
文摘According to the anti-phase sine current superposition theorem, the orientation, the magnetic flux density, the angular speed and the rotational direction of the spatial universal rotating magnetic field (SURMF) can be controlled within the tri-axial orthogonal square Helmholtz coils (TOSHC). Nevertheless, three coupling direction angles of the normal vector of the SURMF in the Descartes coordinate system cannot be separately controlled, thus the adjustment of the orientation of the SURMF is difficult and the flexibility of the robotic posture control is restricted. For the dimension reduction and the decoupling of control variables, the orthogonal transformation operation theorem of the SURMF is proposed based on two independent rotation angular variables, which employs azimuth and altitude angles as two variables of the three-phase sine current superposition formula derived by the orthogonal rotation inverse transformation. Then the unique control rules of the orientation and the rotational direction of the SURMF are generalized in each spatial quadrant, thus the scanning of the normal vector of the SURMF along the horizontal or vertical direction can be achieved through changing only one variable, which simplifies the control process of the orientation of the SURMF greatly. To validate its feasibility and maneuverability, experiments were conducted in the animal intestine utilizing the innovative dual hemisphere capsule robot (DHCR) with active and passive modes. It was demonstrated that the posture adjustment and the steering rolling locomotion of the DHCR can be realized through single variable control, thus the orthogonal transformation operation theorem makes the control of the orientation of the SURMF convenient and flexible significantly. This breakthrough will lay a foundation for the human-machine interaction control of the SURMF.
基金the National Natural Science Foundation of China (No.10571113)
文摘In this note an alternative proof of the equivalence of Drazin invertibility of operators AB and BA is given. As an application, we will prove that σD(AB) = σD(BA) and σD(A) = σD(A), where σD(M) and ■ denote the Drazin spectrum and the Aluthge transform of an operator M ∈ B(H), respectively.
基金This work was(partially)supported by the National Natural Science Foundation of China under Grant Nos.61690204,61932021,61702253,and 61772258.
文摘Collaborative text editing systems allow multiple users to concurrently edit the same document, which can be modeled by a replicated list object. In the literature, there is a family of operational transformation (OT)-based Jupiter protocols for replicated lists, including AJupiter, XJupiter, and CJupiter. They are hard to understand due to the subtle OT technique, and little work has been done on formal verification of complete Jupiter protocols. Worse still, they use quite different data structures. It is unclear about how they are related to each other, and it would be laborious to verify each Jupiter protocol separately. In this work, we make contributions towards a better understanding of Jupiter protocols and the relation among them. We first identify the key OT issue in Jupiter and present a generic solution. We summarize several techniques for carrying out the solution, including the data structures to maintain OT results and to guide OTs. Then, we propose an implementation-independent AbsJupiter protocol. Finally, we establish the (data) refinement relation among these Jupiter protocols (AbsJupiter included). We also formally specify and verify the family of Jupiter protocols and the refinement relation among them using TLA+ (TLA stands for"Temporal Logic of Actions") and the TLC model checker. To our knowledge, this is the first work to formally specify and verify a family of OT-based Jupiter protocols and the refinement relation among them. It would be helpful to promote a rigorous study of OT-based protocols.
基金supported by the Specialized Research Fund for theDoctoral Program of Higher Education (Grant No. 20103401110007)the National Natural Science Foundation of China (Grant Nos. 10975001,10747146, 10874122 and 11074001)+1 种基金the Talent Foundation of High Education of Anhui Province for Outstanding Youth (Grant No. 2009SQRZ018)the 211 Project of Anhui University
文摘Under the preconditions that a (n:n)-qutrit pure state is taken as the quantum channel to teleport an arbitrary n-qutrit state and the sender is able to perform generalized-Bell-state measurements and publish the results, the necessary transformation operation in the receiver's site is worked out in terms of the technique of swapping states. A criterion on whether such quantum channel can be utilized for perfect teleportation is derived by virtue of the unitarity of the resultant transformation operator. Moreover, the flexibility between the measurement difficulty and the reconstruction difficulty is shown and discussed.
基金supported by National Science Foundation of USA (Grant No. DMS1408839)a McDevitt Endowment Fund at Georgetown University
文摘We study corner-degenerate pseudo-differential operators of any singularity order and develop ellipticity based on the principal symbolic hierarchy, associated with the stratification of the underlying space. We construct parametrices within the calculus and discuss the aspect of additional trace and potential conditions along lower-dimensional strata.
基金supported by the National Natural Science Foundation of China(No.61108021)the Fundamental Research Funds for the Central Universities(Nos.2013JBM091 and S16JB00010)
文摘In this paper, a self-mode-locked Nd:YVO_4 picosecond vortex laser is demonstrated, which can operate on the different Laguerre-Gaussian(LG) modes at 1 064 nm. A π/2 mode converter is utilized to realize the picosecond vortex laser with LG mode transformed from the high-order Hermite-Gaussian(HG) mode. For the proposed laser, the mode-locked pulse repetition rate is 1.81 GHz. The average output powers of LG_(12) mode and LG_(02) mode are 1.241 W and 1.27 W, respectively, and their slope efficiencies are 23.2% and 24%, respectively.