The Spin Model

To understand the appearance of spin it is necessary to consider a fermion as some inhomogeneity in the space-time continuum, or aether. In order to move through space the fermion must rotate in spherical mode, causing a measurable disturbance in its immediate vicinity, observable as an angular momentum of h/2, called spin. The inertial resistance experienced by a moving fermion relates to the angular velocity of the spherical rotation and is measurable as the mass of the fermion. 

The spinor that describes the spherical rotation satisfies Schrodinger s equation and specifies two orientations of the spin, colloquially known as up and down (j) and ( [), distinguished by the allowed values of the magnetic spin quantum number, ms = . The two-way splitting of a beam of silver ions in a Stern-Gerlach experiment is explained by the interaction of spin angular momentum with the magnetic field. 

The components of the spinor / e+, e define standing waves for fermions and anti-fermions respectively in each case by a combination of two spherical waves that respectively, converges to and diverges from r = 0, e.g.  

It is significant that this reconstruction indicates equal charges of opposite sign for electrons and protons, but different mass, linked to angular velocity by Planck s constant. 

---

Garrahan and Chandler [230] have recently attempted to rationalize the string-like motion in supercooled liquids based on a completely different concept of dynamic facilitation, derived from the study of magnetic spin models originally developed by Fredrickson and Anderson [231]. Although these spin models seem to exhibit dynamic heterogeneity of some kind and slow relaxation processes, the slowing down of the dynamics in these models is entirely decoupled from the spin model s thermodynamics [116, 230]. In view... 

Figure 7 Two-dimensional lattice on which the spin model is defined, where / is the unit matrix.

The correlator (r]i r)f+l) which determines the off-diagonal long-range order (ODLRO) [40] vanishes in the thermodynamic limit. At the same time the spin-spin correlations have a spiral form, and the period of the spiral equals the system size as in the spin model (9). 

This is the freeon analogue [14] of the spin model of Kittel and Shore [IS]. Since the UI Hamiltonian is the sum over all pairs with a uniform interaction strength it can be expressed in the following form... 

Whereas Ps can be formed anywhere in liquids, considered as a very soft state of matter, this is no more true in most solids. Thus, besides the chemical concepts of the spin- model, structural considerations must be taken into account, since Ps, as a physical particle, cannot form and survive in the absence of sufficient free space in the matrix (except if delocalized). 

While the 0 -theory discussed in section 3.3 does not provide such averages it is essential that these can be performed in the framework of the MH model. With the effective Hamiltonian derived in section 2.4 it turns out that the moments correspond to the propagators of this theory with masses rk that reflect the fact that there is a distinct critical point associated to each moment, i.e. there is no multicritical point as in the spin models with finite numbers of components and as suggested by the d > 4 interpretation of the (j> polymer theory [39] in sect. 3.3. In extracting the scaling behavior of the moments gw or equivalently of the masses r the central quantities will be the terms linear in k in an expansion in A as suggested by Eq. (115). 

We are in the process of creating models of kernel wait queues (basic HelenOS kernel synchronization primitive) and futexes (basic user space thread synchronization primitive) using Promela and verify several formal properties (deadlock freedom, fairness) in Spin [15]. As both the Promela language and the Spin model checker are mature and commonly used tools for such purposes, we expect no major problems with this approach. Because both synchronization primitives are relatively complex, utilizing a model checker should provide a much more trustworthy proof of the required properties than paper and pencil . 

Holzmann, G. (2003). The SPIN Model Checker Primer and Reference Manual, Addison-Wesley. 

Expressions (10) and (11) are the main result of this paper, exhibiting explicitly, through the parameter dependent function f, that for the mixture a new source of corrections to the scaling of the Ising image, produced by the mapping into the spin model, should be taken into account when comparing with experiment. 

We developed a prototypical tool in Java that takes an AADL model as input, and then computes the effect matrix (see Definition 3 and Algorithm 1) as result. Inside the tool, it uses our AADL-to-Promela translator [10] to have the SPIN model checker [9] generate the transitions system. This transition system, in explicit-state representation, is dumped to disk as a file. All computations are then performed on that state space. 

Our discussion of solids and alloys is mainly confined to the Ising model and to systems that are isomorphic to it. This model considers a periodic lattice of N sites of any given symmetry in which a spin variable. S j = 1 is associated with each site and interactions between sites are confined only to those between nearest neighbours. The total potential energy of interaction... 

An alternative fomuilation of the nearest-neighbour Ising model is to consider the number of up f T land down [i] spins, the numbers of nearest-neighbour pairs of spins IT 11- U fl- IT Hand their distribution over the lattice sites. Not all of the spin densities are independent since... 

The relationship between tlie lattice gas and the Ising model is also transparent in the alternative fomuilation of the problem, in temis of the number of down spins [i] and pairs of nearest-neighbour down spins [ii]. For a given degree of site occupation [i]. 

A binary alloy of two components A and B with nearest-neighbour interactions respectively, is also isomorphic with the Ising model. This is easily seen on associating spin up with atom A and spin down with atom B. There are no vacant sites, and the occupation numbers of the site are defined by... 

No system is exactly unifomi even a crystal lattice will have fluctuations in density, and even the Ising model must pemiit fluctuations in the configuration of spins around a given spin. Moreover, even the classical treatment allows for fluctuations the statistical mechanics of the grand canonical ensemble yields an exact relation between the isothemial compressibility K j,and the number of molecules Ain volume V ... 

By expressing the mean-field interaction of an electron at r with the N- 1 other electrons in temis of a probability density pyy r ) that is independent of the fact that another electron resides at r, the mean-field models ignore spatial correlations among the electrons. In reality, as shown in figure B3.T5 the conditional probability density for finding one ofA - 1 electrons at r, given that one electron is at r depends on r. The absence of a spatial correlation is a direct consequence of the spin-orbital product nature of the mean-field wavefiinctions... 

The FIF orbitals of the parent molecule are used to describe both species. It is said that such a model neglects "orbitalrelaxation" (i.e. the reoptimization of the spin orbitals to allow them to become appropriate to the daughter species). 

Slightly more complex models treat the water, the amphiphile and the oil as tliree distinct variables corresponding to the spin variables. S = +1, 0, and -1. The most general Hamiltonian with nearest-neighboiir interactions has the fomi... 

An even coarser description is attempted in Ginzburg-Landau-type models. These continuum models describe the system configuration in temis of one or several, continuous order parameter fields. These fields are thought to describe the spatial variation of the composition. Similar to spin models, the amphiphilic properties are incorporated into the Flamiltonian by construction. The Flamiltonians are motivated by fiindamental synnnetry and stability criteria and offer a unified view on the general features of self-assembly. The universal, generic behaviour—tlie possible morphologies and effects of fluctuations, for instance—rather than the description of a specific material is the subject of these models. 

The results of the derivation (which is reproduced in Appendix A) are summarized in Figure 7. This figure applies to both reactive and resonance stabilized (such as benzene) systems. The compounds A and B are the reactant and product in a pericyclic reaction, or the two equivalent Kekule structures in an aromatic system. The parameter t, is the reaction coordinate in a pericyclic reaction or the coordinate interchanging two Kekule structures in aromatic (and antiaromatic) systems. The avoided crossing model [26-28] predicts that the two eigenfunctions of the two-state system may be fomred by in-phase and out-of-phase combinations of the noninteracting basic states A) and B). State A) differs from B) by the spin-pairing scheme. 

Now, we add to (1) the operator describing the spin-orbit (SO) coupling, so that our model Hamiltonian becomes... 

---