Enumeration problems on lattices
Thesis (MSc)--Stellenbosch University, 2013. === 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 the...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | en_ZA |
Published: |
Stellenbosch : Stellenbosch University
2013
|
Subjects: | |
Online Access: | http://hdl.handle.net/10019.1/80393 |
id |
ndltd-netd.ac.za-oai-union.ndltd.org-sun-oai-scholar.sun.ac.za-10019.1-80393 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-netd.ac.za-oai-union.ndltd.org-sun-oai-scholar.sun.ac.za-10019.1-803932016-01-29T04:03:29Z Enumeration problems on lattices Ocansey, Evans Doe Wagner, Stephan Stellenbosch University. Faculty of Science. Dept. of Mathematical Sciences. Dissertations -- Mathematics Theses -- Mathematics Lattices Spanning trees (Graph theory) Lattice theory Enumeration problems Thesis (MSc)--Stellenbosch University, 2013. 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. 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. 2013-02-27T14:06:00Z 2013-03-15T07:48:35Z 2013-02-27T14:06:00Z 2013-03-15T07:48:35Z 2013-03 Thesis http://hdl.handle.net/10019.1/80393 en_ZA Stellenbosch University 100 p. : ill. Stellenbosch : Stellenbosch University |
collection |
NDLTD |
language |
en_ZA |
format |
Others
|
sources |
NDLTD |
topic |
Dissertations -- Mathematics Theses -- Mathematics Lattices Spanning trees (Graph theory) Lattice theory Enumeration problems |
spellingShingle |
Dissertations -- Mathematics Theses -- Mathematics Lattices Spanning trees (Graph theory) Lattice theory Enumeration problems Ocansey, Evans Doe Enumeration problems on lattices |
description |
Thesis (MSc)--Stellenbosch University, 2013. === 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. === 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. |
author2 |
Wagner, Stephan |
author_facet |
Wagner, Stephan Ocansey, Evans Doe |
author |
Ocansey, Evans Doe |
author_sort |
Ocansey, Evans Doe |
title |
Enumeration problems on lattices |
title_short |
Enumeration problems on lattices |
title_full |
Enumeration problems on lattices |
title_fullStr |
Enumeration problems on lattices |
title_full_unstemmed |
Enumeration problems on lattices |
title_sort |
enumeration problems on lattices |
publisher |
Stellenbosch : Stellenbosch University |
publishDate |
2013 |
url |
http://hdl.handle.net/10019.1/80393 |
work_keys_str_mv |
AT ocanseyevansdoe enumerationproblemsonlattices |
_version_ |
1718164922513227776 |