Inverse map

A natural question to ask is whether, in going backwards in time, the set of predecessor states can themselves be obtained from (possibly some other) CA rule It is certainly not a-priori obvious that if the global map defined by a local process is invertible, its inverse must also be defined by a local process. In 1972, Richardson [rich72] was in fact able to show that the inverse of an invertible CA rule is itself a CA rule. His proof unfortunately did not provide a scheme by which the inverse map could actually be constructed. A trivial example of unequal inverses are the elementary shift-right and shift-left rules, R240 and R170, respectively. 

We have not mentioned here the crucial inverse mapping of the realistic polymer structure onto the stream line. For polymers without side groups, such as polyethylene or bisphenol-A-polycarbonate, the following strategy has successfully been used [98] an energy minimization of the internal energy contributions was carried out simultaneously with a minimization of the distances of all atoms to the stream line (to this end, the sum of the squared dis-... 

Inverse Mapping from the Mesoscopic Back to the Microscopic Regime... 

Proof, (i) Note that the inverse map of an isomorphism is an isomorphism. Thus, the claim is an immediate consequence of Lemma 5.2.1. 

Hence, the inverse mapping T ) —>- ir ) between the Schrodinger and Lanczos states is carried out by means of the matrix /i of modified moments... 

The inverse mapping from the c space to the c space is equally important as the forward mapping, not only because it provides a link between the lumped species and the original species, but because its existence is a necessary and sufficient condition for exact lumping. For a reduced system hstandard definition of an inverse will not apply. Therefore, we use the concept of a generalized inverse. The generalized inverse of an m X n matrix A satisfies the following criteria ... 

As noted by Jprgensen [37], since k Clg-- Cl maps a basis set in fig into one in Cl, there exists a linear operator / ft—> flg effecting the inverse mapping,... 

Equations (2.38)-(2.41) imply that is the wave operator for a) and a )Q and that provides the inverse mapping. This is fully consistent with (2.2)-(2.10) since these vectors are right eigenvectors of = K HL. Notice however that while o(a and are simply related via K and L, this is not true of y(a and (. Thus, both )q and o(a are mapped into unity normed true eigenvectors, but neither are a )o or... 

We now determine particular classes of commutation relations that are, indeed, conserved upon transformation to state-independent effective operators. The proof of (4.1) demonstrates that the preservation of [A, B] by definition A requires the existence of a relation between K, K, or both and one or both of the true operators A or B. Likewise, there must be a relation between the appropriate wave operator, the inverse mapping operator, or both, and A, B, or both for other state-independent effective operator definitions to conserve [A, B]. All mapping operators depend on the spaces and fl. Although the model space is often specified by selecting eigenfunctions of a zeroth order Hamiltonian, it may, in principle, be arbitrarily defined. On the other hand, the space fl necessarily depends on H. Therefore, the existence of a relation between mapping operators and A, B, or both, implies a relation between H and A, B, or both. 

As a side step, we will briefly discuss two topics not directly related to our primary objective, perturbation theory. Both the inverse map and the Birkhoff Transformation in three dimensions allow for an elegant treatment in terms of quaternions. 

The path whereby the maps C and D are each established is well defined. One solves the Schrodinger equation for each local potential v(r) to determine F, and then obtains the density p(r) from T via its definition. On the other hand, although the inverse maps C and D are known to exist, the specific paths establishing these maps are thus far unknown. However, the differential form of the virial theorem of Eq. (58) defines the path whereby the external potential v(r) is determined from the ground-state wavefunction T. The potential v(r) is the work done to bring an electron from infinity to its position at r against the field F(r) ... 

The field F(r) (see Eq. 59) depends on the wavefunction 4 through the density p(r), spinless single-particle density matrix y(r, r ), and the pair-correlation density g(r, r ). Furthermore, this work is path-independent since the field F(r) is conservative. The path of the inverse map C, whereby for every ground-state wavefunction P there corresponds a potential v(r), is now well defined. 

For degenerate ground-states, each potential V e F leads to a subspace of wavefunctions Py Now, since one potential leads to more than one ground-state wavefunction, C as defined previously is no longer a map. However, if V and V lead to subspaees Ey and Py., and differ by more than a constant, then the inverse map C P- F, where T is a union of the subspaces Ey, is a proper map. Certainly ground-state wavefunctions from the subspaces Ey and... 

One can easily find the entries for each process and determine the geometric capabilities of the process. Process planning is an inverse mapping. Given a feature, a process planner tries to find all processes that can create that feature. 

---