Index Theorem

An additional limitation of the index theorem is that in higher dimensions, there may often be different time scales corresponding to fast and slow reactions, so that the dynamics rapidly relax to a manifold that is embedded in the N-sphere. In this case, the Euler-Poincare characteristic of the submanifold may be different from that of the iV-sphere and (14) would have to be modified appropriately. A very general mathematical approach in which the geometric and topological properties chemical kinetic equations is treated has recently been developed. Although the formulation is in principle capable 

---

In this section, We assume X is simply-connected for simplicity. Let NS(X) be the Neron-Severi group of X. By the assumption this is a hnitely generated free abelian group. The intersection form dehnes a non-degenerate symmetric bilinear form, which we denote by ( , ). The Hodge index theorem (see e.g., [5]) says that its index is (1, n). 

The notion of an effectiveness factor introduced by Thiele, Amundson s exploitation of the phase plane (34), Gavalas use of the index theorem (41), the Steiner symmetrization principle used by Amundson and Luss (42) and the latter s exploitation of the formula for Gaussian quadrature (43)—perhaps the prettiest connection ever made in the chemical engineering literature—are theoretical counterparts, large and small, of the careful craft of the experimentalist. So perhaps also the very important insight that Danckwerts contributed in his formulation of the residence time distribution is a happy foil to his heroic ambition to trace a blast furnace (44). 

For closed n-dimensional surfaces a useful property of Betti numbers is given by the Poincare index theorem,... 

The two-dimensional (n=2) surface G is closed and the Poincar6 index theorem, bp = b -p, holds. 

This was used to derive Eq. (15). A special case of equation (56) was previously used to classify the ways to build a box The Poincare index theorem was extended by Hopf to vector fields on arbitrary manifolds. For vector fields with m isolated hyperbolic critical points, the Poincare-Hopf index theorem is " ... 

L. Glass, A combinatorial analog of the Poincare Index Theorem, J. Comb. Theory B15, 264-268 (1973). 

Method 4. Index theory approach.. This method is based on the Poincare-Hopf index theorem found in differential topology, see, e.g., Gillemin and Pollack (1974). Similarly to the univalence mapping approach, it requires a certain sign from the Hessian, but this requirement need hold only at the equilibrium point. 

A stagnation graph is composed of two types of lines, vortical lines (later called center stagnation lines by Keith and Bader ) and saddle lines, interconversion being allowed at critical points where an index theorem is obeyed. This states that on going... 

In molecular systems, at large distances from the nuclei the behavior of the current density is frequently similar to that pictured in Figure 12, so that the stagnation graph has associated vortical ends. This vortical line may branch out at critical points but the index theorem will be satisfied. ... 

This means that the discrete solution nearly conserves the Hamiltonian H and, thus, conserves H up to 0 t ). If H is analytic, then the truncation index N in (2) is arbitrary. In general, however, the above formal series diverges as jV —> 00. The term exponentially close may be specified by the following theorem. 

Another option is a q,p) = p and b q,p) = VU q). This guarantees that we are discretizing a pure index-2 DAE for which A is well-defined. But for this choice we observed severe difficulties with Newton s method, where a step-size smaller even than what is required by explicit methods is needed to obtain convergence. In fact, it can be shown that when the linear harmonic oscillator is cast into such a projected DAE, the linearized problem can easily become unstable for k > . Another way is to check the conditions of the Newton-Kantorovich Theorem, which guarantees convergence of the Newton method. These conditions are also found to be satisfied only for a very small step size k, if is small. 

Theorem. The generating function for the configurations [] which are nonequivalent with respect to H is obtained by substituting the generating function of [4>] in the cycle index of U. 

The main theorem, stated in Sec. 16 and proved in Sec. 19, combined with the proposition of Sec. 25 yields the following proposition Tvfo permutation groups are combinatorially equivalent if and only if they have the same cycle index. 

We note that chemical substitution of a radical into a basic compound corresponds (in the sense of the main theorem of Chapter 1) to the algebraic substitution of the generating function into the cycle index of the group of the basic compound. 

The example demonstrates that the concepts in chemistry rely heavily on notions from group theory, specifically the concept, introduced in Sec. 11, of the equivalence of configurations with respect to a permutation group. The cycle index and the main theorem of Sec. 16 play a role. 

Comtet s two-volume work on combinatorics [ComL70] appeared in 1970. It contained an account and proof of Polya s Theorem together with all the necessary preliminaries — definitions of cycle-index, Burnside s Lemma, and so on. Comtet illustrated Polya s Theorem by a single example, the coloring of the faces of a cube. 

Among other things, Redfield s paper led to a heightened awareness of something that was already beginning to be realized, namely the interrelationship between Polya s Theorem (and other enumeration theorems) on the one hand, and the theory of symmetric functions, -functions, and group characters on the other it helped to show the way to the use of cycle index sums in the solution of hitherto intractable problems and in a more nebulous way it provided a refreshing new outlook on combinatorial problems. 

It would take us too far out of our way to explore the territory opened up by this way of looking at Polya s Theorem, but we can take a quick look at the view and pick out some of the salient features. The cycle index, in its new clothes, is expressible in terms of -functions conversely, an 5-function can be regarded as a sort of cycle index. The 5-function for a partition can be defined by... 

The use of Polya s Theorem in a specialized context such as the above, has led to the extension of the theorem along certain useful lines. One such derivation pertains to the situation where the boxes are not all filled from the same store of figures. More specifically, the boxes are partitioned into a number of subsets, and there is a store of figures peculiar to each subset. To make sense of this we must assume that no two boxes in different subsets are in the same orbit of the group in question. A simple extension of Polya s Theorem enables us to tackle problems of this type. Instead of the cycle index being a function of a single family of variables, the 5j, we have other families of variables, one for each subset. An example from chemical enumeration will make this clear. 

HanP81 Hanlon, P. A cycle-index sum inversion theorem. J. Comb. Theory A30 (1981) 248-269. 

It is important in defining the monodromy matrix, which quantifies changes in the unit cell in Figs. 4 and 5, to specify the lengths of the unit cell sides that define the basis. The monodromy theorem—that the monodromy index is equal to the number of pinch points on the pinched torus [40]—applies in a basis in which the cell sides represent unit changes in the relevant quantum number. 

---