Interval arithmetic operations for uncertainty analysis with correlated interval variables

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.

Speeding Up the Transformation of the Operational Mechanism And Further Developing the International Market

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.

L^p BOUNDEDNESS OF COMMUTATOR OPERATOR ASSOCIATED WITH SCHRDINGER OPERATORS ON HEISENBERG GROUP

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.

Probabilistic Controlled Teleportation of an Arbitrary Three-Qubit State

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.

New two-fold integration transformation for the Wigner operator in phase space quantum mechanics and its relation to operator ordering

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.

Quantum Hadamard Operators and Their Decomposition Derived by Virtue of IWOP Technique

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.

Application of Coordinate-Momentum Intermediate Representation in Solving Eigenstate Problem of a Coupled Oscillator System

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.

On a Boundary Value Problem for a Polynomial Pencil of the Sturm-Liouville Equation with Spectral Parameter in Boundary Conditions

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.

Hardy Type Estimates for Riesz Transforms Associated with Schrdinger Operators on the Heisenberg Group

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.

Orthogonal transformation operation theorem of a spatial universal uniform rotating magnetic field and its application in capsule endoscopy

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.

Criterion and flexibility of operation difficulty for perfect teleportation of arbitrary n-qutrit state with (n:n)-qutrit pure state

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.

Jupiter Made Abstract, and Then Refined

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.

Drazin Invertibility of Operators AB and BA

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.

Generation of picosecond vortex beam in a self-mode-locked Nd:YVO4 laser

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.

Ellipticity on spaces with higher singularities

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.