Preconditioning and the Conjugate Gradient Method in the Context of Solving PDEs

The matrix representation of a linear operator is used in the conjugate gradient algorithm to solve electromagnetic boundary value problems. The use of this approach obviates the difficult task of finding the adjoint of the operator.

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.

We consider various harmonic-oscillator states in a finite-dimensional Hilbert space. In greater detail we analyze finite-dimensional coherent states defined either by truncation of a number-state expansion of the standard coherent states or by the action of the generalized finite-dimensional displacement operator on vacuum. Within these two approaches other finite-dimensional states are analyzed, including displaced number states, and even and odd coherent states. We propose some new definitions of the states in a finitedimensional Hilbert space and construct explicitly all these states in Fock representation. The number-phase Wigner function is computed for several states. Analytical results and numerically computed graphs are presented.

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.

The Roy-type even and odd nonlinear coherent states in a finite-dimensional Hilbert space are constructed. Their amplitude-squared squeezing effect, orthonormalized property, unitary property and completeness relations are discussed. The results reveal the existence of unitary property, completeness relations and non-orthonormalized property. There exists the amplitude-squared squeezing effect for the Roy-type even and odd nonlinear coherent states when the phase θ of parameter β meets the fixed condition. The relations between conditions of squeezing effect and parameters s,r and function f(n) are given. Finally using the numerical method, it is found that in some different ranges of r, the amplitude-squared squeezing effect exists in Roy-type even and odd nonlinear coherent states field in a finite-dimensional Hilbert space when the parameters s,θ and Lamb-Dike parameter η are given as the fixed value.

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.

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.

We introduce a technique to coarse grain quantum states in a finite-dimensional Hilbert space. Our method is distinguished from other approaches by not relying on structures such as a preferred factorization of Hilbert space or a preferred set of operators (local or otherwise) in an associated algebra. Rather, we use the data corresponding to a given set of states, either specified independently or constructed from a single state evolving in time. Our method is based on principle component analysis (PCA), and the resulting coarse-grained quantum states live in a lower-dimensional Hilbert space whose basis is defined using the underlying (isometric embedding) transformation of the set of fine-grained states we wish to coarse grain. Physically, the transformation can be interpreted to be an “entanglement coarse-graining” scheme that retains most of the global, useful entanglement structure of each state, while needing fewer degrees of freedom for its reconstruction. This scheme could be useful for efficiently describing collections of states whose number is much smaller than the dimension of Hilbert space, or a single state evolving over time.

A quantum probability measure–or quantum measurement–is said to be clean if it cannot be irreversibly connected to any other quantum probability measure via a quantum channel. The notion of a clean quantum measure was introduced by Buscemi et al. [“Clean positive operator valued measures,” J. Math. Phys. 46(8), 082109 (2005)10.1063/1.2008996] for finite-dimensional Hilbert space, and was studied subsequently by Kahn [“Clean positive operator-valued measures for qubits and similar cases,” J. Phys. A 40(18), 4817–4832 (2007)10.1088/1751-8113/40/18/009] and Pellonpää [“Complete characterization of extreme quantum observables in finite dimensions,” J. Phys. A 44(8), 085304 (2011)10.1088/1751-8113/44/8/085304]. The present paper provides new descriptions of clean quantum probability measures in the case of finite-dimensional Hilbert space. For Hilbert spaces of infinite dimension, we introduce the notion of “approximately clean quantum probability measures” and characterise this property for measures whose range determines a finite-dimensional operator system.

In this chapter we survey some particular topics in category theory in a somewhat unconventional manner. Our main focus will be on monoidal categories, mostly symmetric ones, for which we propose a physical interpretation. Special attention is given to the category which has finite dimensional Hilbert spaces as objects, linear maps as morphisms, and the tensor product as its monoidal structure (FdHilb). We also provide a detailed discussion of the category which has sets as objects, relations as morphisms, and the cartesian product as its monoidal structure (Rel), and thirdly, categories with manifolds as objects and cobordisms between these as morphisms (2Cob). While sets, Hilbert spaces and manifolds do not share any non-trivial common structure, these three categories are in fact structurally very similar. Shared features are diagrammatic calculus, compact closed structure and particular kinds of internal comonoids which play an important role in each of them. The categories FdHilb and Rel moreover admit a categorical matrix calculus. Together these features guide us towards topological quantum field theories. We also discuss posetal categories, how group representations are in fact categorical constructs, and what strictification and coherence of monoidal categories is all about. In our attempt to complement the existing literature we omitted some very basic topics. For these we refer the reader to other available sources.

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

A quantum phase description is developed by the use of the antinormal ordering of Susskind-Glogower phase operators. The theory is studied in the infinite-dimensional Hilbert space and it is closely related to the Pegg-Barnett quantum phase description in the finite-dimensional Hilbert space with a proper limiting procedure. Various applications of the antinormal ordering technique are presented.

The multiple-sets split feasibility problem (MSFP) is to find a point belongs to the intersection of a family of closed convex sets in one space, such that its image under a linear transformation belongs to the intersection of another family of closed convex sets in the image space. Many iterative methods can be employed to solve the MSFP. Jinling Zhao et al. proposed a modification for the CQ algorithm and a relaxation scheme for this modification to solve the MSFP. The strong convergence of these algorithms are guaranteed in finite-dimensional Hilbert spaces. Recently López et al. proposed a relaxed CQ algorithm for solving split feasibility problem, this algorithm can be implemented easily since it computes projections onto half-spaces and has no need to know a priori the norm of the bounded linear operator. However, this algorithm has only weak convergence in the setting of infinite-dimensional Hilbert spaces. In this paper, we introduce a new relaxed self-adaptive CQ algorithm for solving the MSFP where closed convex sets are level sets of some convex functions such that the strong convergence is guaranteed in the framework of infinite-dimensional Hilbert spaces. Our result extends and improves the corresponding results.

Maxwell unified the disparate concepts of electric and magnetic fields with one theory (electromagnetism) and Einstein then unified the disparate theories of electromagnetism and mechanics with one kinematics (Minkowski space of special relativity). In this talk, we will briefly explain how the disparate kinematics of quantum mechanics (finite-dimensional Hilbert space) and special relativity can be unified with one principle (relativity principle). This result follows from the axiomatic reconstruction of quantum mechanics via information-theoretic principles, which has successfully recast quantum mechanics as a principle theory a la Einstein, i.e., the formalism of the theory follows from an empirically discovered fact, just like special relativity. According to the quantum reconstruction program, the empirically discovered fact whence the Hilbert space formalism of quantum mechanics is Information Invariance &amp; Continuity. Of course, the empirically discovered fact whence the Lorentz transformations of special relativity is the light postulate, i.e., everyone measures the same value for the speed of light c, regardless of their relative motions. Obviously, the light postulate can be justified by the relativity principle—the laws of physics are the same in all inertial reference frames—because c is a constant of Nature per Maxwell’s electromagnetism. [We label this “NPRF + c” for short, where NPRF stands for “no preferred reference frame.”] As we will show, Information Invariance &amp; Continuity can also be justified by the relativity principle by first spatializing the quantum reconstruction program’s operational notion of measurement. In that case, Information Invariance &amp; Continuity entails the empirically discovered fact that everyone measures the same value for Planck’s constant h, regardless of their relative spatial orientations or locations (Planck postulate). Since Poincar’e transformations relate inertial reference frames via spatial rotations and translations as well as boosts, and h is a constant of Nature per Planck’s radiation law, the relativity principle justifies the Planck postulate (NPRF + h) just like it justifies the light postulate (NPRF + c). Thus, the kinematics of quantum mechanics and special relativity are unified in that both follow most fundamentally from the relativity principle in the adynamical global constraints NPRF + h and NPRF + c. This approach provides a principle solution to the mystery of quantum entanglement that does not violate locality, statistical independence, intersubjective agreement, or the uniqueness of experimental outcomes and it does not alter quantum mechanics as a principle theory. An ontology consistent with this unification is introduced and we deflate both the ‘big’ and ‘small’measurement problems.

The well-known theorem from linear algebra on the reducibility of an Hermitian matrix to the diagonal form can be reformulated as follows: For any selfadjoint operator A acting on the finite-dimensional Hilbert space, ℂ N there exists an orthonormal basis (φ k ) k=1 N composed of the eigenvectors of A. The generalization of this result to the case of an operator A = A*, acting on an infinite-dimensional Hilbert space H, by “passing to the limit as N → ∞” is, generally speaking, impossible because a selfadjoint operator may have no eigenvectors in the case where dim H = ∞ (see Example 8.8.1). However, if A is a compact selfadjoint operator, the spectral theorem for A = A* ∈ ℒ(ℂ N ) admits a direct generalization of the indicated type. Section 1 of this chapter deals with the proof of this assertion. In Section 2, we study decompositions in eigenfunctions of selfadjoint integral operators.