Hilbert finite

The mixed, v t — % notation here has historic causes.) The Schrodinger equation is obtained from the nuclear Lagrangean by functionally deriving the latter with respect to t /. To get the exact form of the Schrodinger equation, we must let N in Eq. (95) to be equal to the dimension of the electronic Hilbert space (viz., 00), but we shall soon come to study approximations in which N is finite and even small (e.g., 2 or 3). The appropriate nuclear Lagrangean density is for an arbitrary electronic states... 

Projecting the nuclear solutions Xt( ) oti the Hilbert space of the electronic states (r, R) and working in the projected Hilbert space of the nuclear coordinates R. The equation of motion (the nuclear Schrddinger equation) is shown in Eq. (91) and the Lagrangean in Eq. (96). In either expression, the terms with represent couplings between the nuclear wave functions X (K) and X (R). that is, (virtual) transitions (or admixtures) between the nuclear states. (These may represent transitions also for the electronic states, which would get expressed in finite electionic lifetimes.) The expression for the transition matrix is not elementaiy, since the coupling terms are of a derivative type. 

When the wave function is completely general and pennitted to vary in the entire Hilbert space the TDVP yields the time-dependent Schrodinger equation. However, when the possible wave function variations are in some way constrained, such as is the case for a wave function restricted to a particular functional form and represented in a finite basis, then the corresponding action generates a set of equations that approximate the time-dependent Schrodinger equation. 

B. The Born-Oppenheimer-Huang Equadon for a (Finite) Sub-Hilbert Space TIT. The Adiabatic-to-Diabatic Transformation... 

Next, the full-Hilbert space is broken up into two parts—a finite part, designated as the P space, with dimension M, and the complementai y part, the Q space (which is allowed to he of an infinite dimension). The breakup is done according to the following criteria [8-10] ... 

From now on, the index M will be omitted and it will be understood that any subject to be treated will refer to a finite sub-Hilbert space of dimension M. 

In Section IV.A, the adiabatic-to-diabatic transformation matrix as well as the diabatic potentials were derived for the relevant sub-space without running into theoretical conflicts. In other words, the conditions in Eqs. (10) led to a.finite sub-Hilbert space which, for all practical purposes, behaves like a full (infinite) Hilbert space. However it is inconceivable that such strict conditions as presented in Eq. (10) are fulfilled for real molecular systems. Thus the question is to what extent the results of the present approach, namely, the adiabatic-to-diabatic transformation matrix, the curl equation, and first and foremost, the diabatic potentials, are affected if the conditions in Eq. (10) are replaced by more realistic ones This subject will be treated next. 

This concludes our derivation regarding the adiabatic-to-diabatic tiansforma-tion matrix for a finite N. The same applies for an infinite Hilbert space (but finite M) if the coupling to the higher -states decays fast enough. 

In Section n.B, it was shown that the condition in Eq. (10) or its relaxed form in Eq. (40) enables the construction of sub-Hilbert space. Based on this possibility we consider a prescription first for constmcting the sub-Hilbert space that extends to the full configuration space and then, as a second step, constructing of the sub sub-Hilbert space that extends only to (a finite) portion of configuration space. 

Before we continue with the construction of the sub-Hilbert spaces, we make the following comment Usually, when two given states fomr conical intersections, one thinks of isolated points in configuration space. In fact, conical intersections are not points but form (finite or infinite) seams that cut through the molecular configuration space. However, since our studies are carried out for planes, these planes usually contain isolated conical intersection points only. 

We restrict ourselves to finite-dimensional Hilbert spaces, making H a Her-mitian matrix. We denote the eigenvalues of H q) by Efc(g) and consider the spectral decomposition... 

Remark For the existence of an inverse A in a finite-dimensional Hilbert space it suffices to require the positiveness of the operator A, since the condition A > 0 implies the existence of a constant 5 > 0 such that... 

A set of complete orthonormal functions ipfx) of a single variable x may be regarded as the basis vectors of a linear vector space of either finite or infinite dimensions, depending on whether the complete set contains a finite or infinite number of members. The situation is analogous to three-dimensional cartesian space formed by three orthogonal unit vectors. In quantum mechanics we usually (see Section 7.2 for an exception) encounter complete sets with an infinite number of members and, therefore, are usually concerned with linear vector spaces of infinite dimensionality. Such a linear vector space is called a Hilbert space. The functions ffx) used as the basis vectors may constitute a discrete set or a continuous set. While a vector space composed of a discrete set of basis vectors is easier to visualize (even if the space is of infinite dimensionality) than one composed of a continuous set, there is no mathematical reason to exclude continuous basis vectors from the concept of Hilbert space. In Dirac notation, the basis vectors in Hilbert space are called ket vectors or just kets and are represented by the symbol tpi) or sometimes simply by /). These ket vectors determine a ket space. 

A complete unitary space is called a Hilbert space. The unitary spaces of finite dimension are necessarily complete. For reasons of completeness the vector space of all n-tuplets of rational numbers is not a Hilbert space, since it is not complete. For instance, it is possible to define a sequence of rational numbers that approaches the irrational number y/2 as a limit. The set of all rational numbers therefore does not define a Hilbert space. Similar arguments apply to the set of all n-tuplets of rational numbers. 

In this section the symbols orthonormal basis functions of a Hilbert space L, which may be finite or infinite, and x stands for the variables on which the functions of L may depend. An operator defined on L has the action Tf(x) = g(x) where g L. The action of T on a basis function 4>n x) is described by... 

In this limit, therefore, the different ground states generate separate Hilbert spaces, and transitions among them are forbidden. A superselection rule [128] is said to insulate one ground state from another. A superselection rule operates between subspaces if there are neither spontaneous transitions between their state vectors and if, in addition, there are no measurable quantities with finite matrix elements between their state vectors. 

In the case of finite temperature a similar approach can be used based on the boundary integral method, where instead of the zero temperature Green s function, finite-temperature Green s function derived within TFD formalism is used. Introducing finite-temperature within the thermofield dynamics formalism is based on two steps, doubling of the Hilbert space and Bogolyubov transformations (Takahashi et.ah, 1996 Ademir, 2005). 

To introduce temperature we use the thermofield dynamics (TFD) formalism (Takahashi et.al., 1996 Das, 1997). TFD is a real time finite-temperature field theory. In TFD the central idea is the doubling of the Hilbert space of states. The operators on this doubled space... 

The last chapter is the most elementary and classical of the book. We describe the Chow ring of the relative Hilbert scheme of three points of a P2 bundle. The main example one has in mind is the tautological P2-bundle over the Grassmannian of two-planes in P". In this case it turns out hat our variety is a blow up of (Pn)t3l. This fact has been used in [Rossello (2)] to determine the Chow ring of (P3) 3). The techniques we use are mostly elementary, for instance a study of the relative Hilbert scheme of finite length subschemes in a P1-bundle I do however hope that the reader will find them useful in applications. 

In what follows the number N of electrons of the system under study is a fixed number, and the dimension of the finite Hilbert subspace spanned by the orthonormal basis of spin-orbitals is 2K. 

It is also useful to define the transformed operator L whose operation on a function f is L f = L[Peqf). This operator coincides with the time reversed backward operator, further details on these relationships may be found in Refs. 43,44. L operates in the Hilbert space of phase space functions which have finite second moments with respect to the equilibrium distribution. The scalar product of two functions in this space is defined as (f, g) = (fgi q. It is the phase space integrated product of the two functions, weighted by the equilibrium distribution P The operator L is not Hermitian, its spectrum is in principle complex, contained in the left half of the complex plane. 

The stack Agj is a separated algebraic stack of finite type over Spec(Z). This can be proved using the theory of Hilbert schemes as is done in [DM] 5 in the case of the stack classifying stable curves of genus g. 

We leave it to the reader to show that r is injective and, if V is finite dimensional, also surjective (Exercise 5.20). It follows that dim V = dim V for any Hilbert space or finite-dimensional complex scalar product space V. 

Question 4.6 (Hitchin). Consider a finite group action on a K3 surface which preserves a hyper-Kahler structure. (Such actions were classified by Mukai [58].) It naturally induces the action on the Hilbert scheme of points on the K3 surface. Its fixed point component is a compact hyper-Kahler manifold as in 4.2. Is the component a new hyper-Kahler manifold The known compact irreducible hyper-Kahler manifolds are equivalent to the Hilbert scheme of points on a K3 surface, or the higher order Kummar variety (denoted by Kr in [6]) modulo deformation and birational modification, (cf. [57, p.168])... 

Physicist P. A. M. Dirac suggested an inspired notation for the Hilbert space of quantum mechanics [essentially, the Euclidean space of (9.20a, b) for / — oo, which introduces some subtleties not required for the finite-dimensional thermodynamic geometry]. Dirac s notation applies equally well to matrix equations [such as (9.7)-(9.19)] and to differential equations [such as Schrodinger s equation] that relate operators (mathematical objects that change functions or vectors of the space) and wavefunctions in quantum theory. Dirac s notation shows explicitly that the disparate-looking matrix mechanical vs. wave mechanical representations of quantum theory are actually equivalent, by exhibiting them in unified symbols that are free of the extraneous details of a particular mathematical representation. Dirac s notation can also help us to recognize such commonality in alternative mathematical representations of equilibrium thermodynamics. 

The norm of a function

Hilbert space. The detailed balance property (6.1) may now be expressed by... 

Remark. Apart from the question whether the set of all eigenfunctions is complete, one is in practice often faced with the following problem. Suppose for a certain operator W one has been able to determine a set of solutions of (7.1). Are they all solutions For a finite matrix W this question can be answered by counting the number of linearly independent vectors one has found. For some problems with a Hilbert space of infinite dimensions it is possible to show directly that the solutions are a complete set, see, e.g., VI.8. Ordinarily one assumes that any reasonably systematic method for calculating the eigenfunctions will give all of them, but some problems have one or more unsuspected exceptional eigenfunctions. 

---