MINIMUM UNCERTAINTY AND ENTANGLEMENT

Finite dimensional approximation and Newton-based algorithm for stochastic approximation in Hilbert space

We study classes of mappings between finite and infinite dimensional Banach spaces that are monotone and mappings which are differences of monotone mappings (DM). We prove a Radó–Reichelderfer estimate for monotone mappings in finite dimensional spaces that remains valid for DM mappings. This provides an alternative proof of the Fréchet differentiability a.e. of DM mappings. We establish a Morrey-type estimate for the distributional derivative of monotone mappings. We prove that a locally DM mapping between finite dimensional spaces is also globally DM. We introduce and study a new class of the so-called UDM mappings between Banach spaces, which generalizes the concept of curves of finite variation.

Sequences of [formula omitted]-term deviations in Hilbert space

In quantum mechanics it is well known that the Heisenberg-Schrodinger uncertainty relations hold for two non-commutative observables and density operator. Recently Dou and Du (J. Math. Phys. 54:103508, 2013; Int. J. Theor. Phys. 53:952-958, 2014) obtained several uncertainty relations for two non-commutative non-hermitian observables and density operators. In this paper, we show that their results can be given as corollaries of our non-hermitian extensions of Heisenberg type or Schrodinger type uncertainty relations for the generalized metric adjusted skew information or generalized metric adjusted correlation measures which were obtained in Furuichi and Yanagi (J. Math. Anal. Appl. 388:1147-1156, 2012).

As is well known, for any operator T on a complex separable Hilbert space, T has the polar decomposition T = U |T | , where U is a partial isometry and |T | is the nonnegative operator (T ∗T ) 1 2 . In 2014, Tian et al. proved that on a complex separable infinite dimensional Hilbert space, any operator admits a polar decomposition in a strongly irreducible sense. More precisely, for any operator T and any e > 0, there exists a decomposition T = (U +K)S , where U is a partial isometry, K is a compact operator with ||K|| < e , and S is strongly irreducible. In this paper, we will answer the question for operators on two-dimensional Hilbert spaces.

In this paper we consider an augmented Lagrangian method for the minimization of a nonlinear functional in the presence of an equality constraint whose image space is in a Hilbert space, an inequality constraint whose image space is finite dimensional, and an affine inequality constraint whose image space is in an infinite dimensional Hilbert space. We obtain local convergence of this method without imposing strict complementarity conditions when the equality, as well as the inequality constraint with finite dimensional image space are augmented. To the author's knowledge this result even generalizes the convergence results which are known when all spaces are finite dimensional.

The notion of “exceptional family of elments (EFE)” plays a very important role in solving complementarity problems. It has been applied in finite dimensional spaces and Hilbert spaces by many authors. In this paper, by using the generalized projection defined by Alber, we extend this notion from Hilbert spaces to uniformly smooth and uniformly convex Banach spaces, and apply this extension to the study of nonlinear complementarity problems in Banach spaces.

Iteration–discretization methods for variational inequalities over fixed point sets

Uncertainty relations are one of the fundamental components of quantum theory, typically used to describe the limitations on the range of measurement results for two noncommuting observables. Recently, there has been growing interest in uncertainty relations concerning multiple observables. In this work, we study the uncertainty relations of the three components of the canonical momentum of an electron moving in a magnetic field. We derive the uncertainty relations for both the addition and multiplication of these components. Our results indicate that, compared to uncertainty relations involving only two components, the uncertainty relations for the three components are associated with a constant τ = 2/√3.

Linear algebra is considered an essential mathematical theory that has many engineering applications. While many theorem provers support linear spaces, they only consider finite dimensional spaces. In addition, available libraries only deal with real vectors, whereas complex vectors are extremely useful in many fields of engineering. In this paper, we propose a new linear space formalization which covers both finite and infinite dimensional complex vector spaces, implemented in HOL-Light. We give the definition of a linear space and prove many properties about its operations, e.g., addition and scalar multiplication. We also formalize a number of related fundamental concepts such as linearity, hermitian operation, self-adjoint, and inner product space. Using the developed linear algebra library, we were able to implement basic definitions about quantum mechanics and use them to verify a quantum beam splitter, an optical device that has many applications in quantum computing.

In the absence of a satisfactory interpretation of quantum theory, physical law lacks physical basis. This paper reviews the orthodox, or Dirac–von Neumann interpretation, and makes explicit that Hilbert space describes propositions about measurement results. Kets are defined as conditional clauses referring to measurements in a formal language. It is seen that these clauses are elements of a Hilbert space, such that addition is logical disjunction, the dual space consists of consequent clauses, and the inner product is a set of statements in the subjunctive mood. The probability interpretation gives truth values for corresponding future tense statements when the initial state is actually prepared and the final state is to be measured. The mathematical structure of quantum mechanics is formulated in terms of discrete measurement results at finite level of accuracy and does not depend on an assumption of a substantive, or background, space–time continuum. A continuum of kets, ∣x〉 for x ∈ ℝ3, is constructed from linear combinations of kets in a finite basis. The inner product can be expressed either as a finite sum or as an integral. Discrete position functions are uniquely embedded into smooth wave functions in such a way that differential operators are defined. It is shown that the choice of basis has no effect on underlying physics (quantum covariance). The Dirac delta has a representation as a smooth function. Operators do not in general have an integral form. The Schrödinger equation is shown from the requirements of the probability interpretation. It is remarked that a formal construction of quantum electrodynamics (qed) avoiding divergence problems has been completed using finite dimensional Hilbert space. I conclude that quantum mechanics makes statements about the world with clear physical meaning, such that space is emergent from particle interactions and has no fundamental role.

We develope a local theory for frames on finite dimensional Hilbert spaces. In particular, a bounded frame on a finite dimensional Hilbert space contains a subset which is a good Riesz basis for a percentage (arbitrarily close to one) of the space. We also construct a normalized frame for a Hilbert space which contains a subset which is a Schauder basis for H but does not contain any subset which is a Riesz basis for H.

Heisenberg uncertainty relation in quantum mechanics sets the limit on the measurement precision of non-commuting observables in one system, which prevents us from measuring them accurately at the same time. However, quantum entanglement between two systems allows us to infer through Einstein-Podolsky-Rosen correlations two conjugate observables with precision better than what is allowed by Heisenberg uncertainty relation. With the help of the newly developed SU(1,) interferometer, we implement a scheme to jointly measure information encoded in multiple non-commuting observables of an optical field with a signal-to-noise ratio improvement of about 20% over the classical limit on all measured quantities simultaneously. This scheme can be generalized to the joint measurement of information in arbitrary number of non-commuting observables.

Extremal quantum states in coupled systems

In this paper, we shall generalize the unicellularity of operators on finite-dimensional spaces to that of the contraction of class Co on Hilbert spaces. We prove: (1) Each nilpotent operator on Hilbert space is Banach reducible (Theorem 3). (2) A contraction T of class CO on Hilbert space is unicellular if and only if T has one-point spectrum and every invariant subspace for T is cyclic (Theorem 6). (3) A contraction T of class Co on Hilbert space is unicellular if and only if T has one-point spectrum and all invariant subspaces of T are hyperinvariant subspaces of T (Theorem 8). The aim of this paper is to discuss the unicellularity of contractions of class Co. We shall generalize the unicellularity of operators acting on finitedimensional spaces to that on infinite-dimensional spaces. Throughout this paper, we denote by H a complex, separable, and infinitedimensional Hilbert space. The related concepts and symbols can be found in [4]. Definition 1. Let H1 be a nontrivial invariant subspace of T. H1 is called a Banach reducible subspace of T if there exists another nontrivial invariant subspace H2 of T such that