Academic literature on the topic 'Lattices theory'

Bibliography: pages 140-145.<br>An interesting problem in universal algebra is the connection between the internal structure of an algebra and the identities which it satisfies. The study of varieties of algebras provides some insight into this problem. Here we are concerned mainly with lattice varieties, about which a wealth of information has been obtained in the last twenty years. We begin with some preliminary results from universal algebra and lattice theory. The next chapter presents some properties of the lattice of all lattice sub-varieties. Here we also discuss the important notion of a splitting pair of varieties and give several characterisations of the associated splitting lattice. The more detailed study of lattice varieties splits naturally into the study of modular lattice varieties and non-modular lattice varieties, dealt with in the second and third chapter respectively. Among the results discussed there are Freese's theorem that the variety of all modular lattices is not generated by its finite members, and several results concerning the question which varieties cover a given variety. The fourth chapter contains a proof of Baker's finite basis theorem and some results about the join of finitely based lattice varieties. Included in the last chapter is a characterisation of the amalgamation classes of certain congruence distributive varieties and the result that there are only three lattice varieties which have the amalgamation property.

A cubic lattice with random parameters is reduced to a linear chain by the means of the projection technique. The continued fraction expansion (c.f.e.) approach is herein applied to the density of states. Coefficients of the c.f.e. are obtained numerically by the recursion procedure. Properties of the non-stationary second moments (correlations and dispersions) of their distribution are studied in a connection with the other evidences of transport in a one-dimensional Mori chain. The second moments and the spectral density are computed for the various degrees of disorder in the prototype lattice. The possible directions of the further development are outlined. The physical problem that is addressed in the dissertation is the possibility of the existence of a non-Anderson disorder of a specific type. More precisely, this type of a disorder in the one-dimensional case would result in a positive localization threshold. A specific type of such non-Anderson disorder was obtained by adopting a transformation procedure which assigns to the matrix expressing the physics of the multidimensional crystal a tridiagonal Hamiltonian. This Hamiltonian is then assigned to an equivalent one-dimensional tight-binding model. One of the benefits of this approach is that we are guaranteed to obtain a linear crystal with a positive localization threshold. The reason for this is the existence of a threshold in a prototype sample. The resulting linear model is found to be characterized by a correlated and a nonstationary disorder. The existence of such special disorder is associated with the absence of Anderson localization in specially constructed one-dimensional lattices, when the noise intensity is below the non-zero critical value. This work is an important step towards isolating the general properties of a non-Anderson noise. This gives a basis for understanding of the insulator to metal transition in a linear crystal with a subcritical noise.

Thesis (MSc)--Stellenbosch University, 2013.<br>ENGLISH ABSTRACT: The main objective of our study is enumerating spanning trees (G) and perfect matchings PM(G) on graphs G and lattices L. We demonstrate two methods of enumerating spanning trees of any connected graph, namely the matrix-tree theorem and as a special value of the Tutte polynomial T(G; x; y). We present a general method for counting spanning trees on lattices in d 2 dimensions. In particular we apply this method on the following regular lattices with d = 2: rectangular, triangular, honeycomb, kagomé, diced, 9 3 lattice and its dual lattice to derive a explicit formulas for the number of spanning trees of these lattices of finite sizes. Regarding the problem of enumerating of perfect matchings, we prove Cayley’s theorem which relates the Pfaffian of a skew symmetric matrix to its determinant. Using this and defining the Pfaffian orientation on a planar graph, we derive explicit formula for the number of perfect matchings on the following planar lattices; rectangular, honeycomb and triangular. For each of these lattices, we also determine the bulk limit or thermodynamic limit, which is a natural measure of the rate of growth of the number of spanning trees (L) and the number of perfect matchings PM(L). An algorithm is implemented in the computer algebra system SAGE to count the number of spanning trees as well as the number of perfect matchings of the lattices studied.<br>AFRIKAANSE OPSOMMING: Die hoofdoel van ons studie is die aftelling van spanbome (G) en volkome afparings PM(G) in grafieke G en roosters L. Ons beskou twee metodes om spanbome in ’n samehangende grafiek af te tel, naamlik deur middel van die matriks-boom-stelling, en as ’n spesiale waarde van die Tutte polinoom T(G; x; y). Ons behandel ’n algemene metode om spanbome in roosters in d 2 dimensies af te tel. In die besonder pas ons hierdie metode toe op die volgende reguliere roosters met d = 2: reghoekig, driehoekig, heuningkoek, kagomé, blokkies, 9 3 rooster en sy duale rooster. Ons bepaal eksplisiete formules vir die aantal spanbome in hierdie roosters van eindige grootte. Wat die aftelling van volkome afparings aanbetref, gee ons ’n bewys van Cayley se stelling wat die Pfaffiaan van ’n skeefsimmetriese matriks met sy determinant verbind. Met behulp van hierdie stelling en Pfaffiaanse oriënterings van planare grafieke bepaal ons eksplisiete formules vir die aantal volkome afparings in die volgende planare roosters: reghoekig, driehoekig, heuningkoek. Vir elk van hierdie roosters word ook die “grootmaat limiet” (of termodinamiese limiet) bepaal, wat ’n natuurlike maat vir die groeitempo van die aantaal spanbome (L) en die aantal volkome afparings PM(L) voorstel. ’n Algoritme is in die rekenaaralgebra-stelsel SAGE geimplementeer om die aantal spanboome asook die aantal volkome afparings in die toepaslike roosters af te tel.