Made available in DSpace on 2015-03-03T15:48:40Z (GMT). No. of bitstreams: 1 IvanM_TESE.pdf: 1798098 bytes, checksum: 03ae24b47cf77f2591da995af74bd268 (MD5) Previous issue date: 2013-12-06 / In the literature there are several proposals of fuzzi cation of lattices and ideals concepts. Chon in (Korean J. Math 17 (2009), No. 4, 361-374), using the notion of fuzzy order relation de ned by Zadeh, introduced a new notion of fuzzy lattice and studied the level sets of fuzzy lattices, but did not de ne a notion of fuzzy ideals for this type of fuzzy lattice. In this thesis, using the fuzzy lattices de ned by Chon, we de ne fuzzy homomorphism between fuzzy lattices, the operations of product, collapsed sum, lifting, opposite, interval and intuitionistic on bounded fuzzy lattices. They are conceived as extensions of their analogous operations on the classical theory by using this de nition of fuzzy lattices and introduce new results from these operators. In addition, we de ne ideals and lters of fuzzy lattices and concepts in the same way as in their characterization in terms of level and support sets. One of the results found here is the connection among ideals, supports and level sets. The reader will also nd the de nition of some kinds of ideals and lters as well as some results with respect to the intersection among their families. Moreover, we introduce a new notion of fuzzy ideals and fuzzy lters for fuzzy lattices de ned by Chon. We de ne types of fuzzy ideals and fuzzy lters that generalize usual types of ideals and lters of lattices, such as principal ideals, proper ideals, prime ideals and maximal ideals. The main idea is verifying that analogous properties in the classical theory on lattices are maintained in this new theory of fuzzy ideals. We also de ne, a fuzzy homomorphism h from fuzzy lattices L and M and prove some results involving fuzzy homomorphism and fuzzy ideals as if h is a fuzzy monomorphism and the fuzzy image of a fuzzy set ~h(I) is a fuzzy ideal, then I is a fuzzy ideal. Similarly, we prove for proper, prime and maximal fuzzy ideals. Finally, we prove that h is a fuzzy homomorphism from fuzzy lattices L into M if the inverse image of all principal fuzzy ideals of M is a fuzzy ideal of L. Lastly, we introduce the notion of -ideals and - lters of fuzzy lattices and characterize it by using its support and its level set. Moreover, we prove some similar properties in the classical theory of - ideals and - lters, such as, the class of -ideals and - lters are closed under intersection. We also de ne fuzzy -ideals of fuzzy lattices, some properties analogous to the classical theory are also proved and characterize a fuzzy -ideal on operation of product between bounded fuzzy lattices L and M and prove some results.

Orientadores: Walter da Cunha Borelli, Emilia de Mendonça Rosa Marques / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-13T08:38:40Z (GMT). No. of bitstreams: 1 SilvaFilho_JoaoCoelho_D.pdf: 842540 bytes, checksum: 07a4f12e39ce13ce6c183f2983fbe70f (MD5) Previous issue date: 2008 / Resumo: Esta tese apresenta contribuições aos esquemas de modulação codificada para os códigos de treliça sobre partições de reticulados. Uma das principais contribuições é a construção dos códigos de treliça sobre novas partições de reticulados e também em cadeias de partições. Para otimizar a procura dos códigos de treliça ótimos, é construído um algoritmo de procura. É proposta uma classe de equivalência utilizada para excluir as matrizes geradoras de códigos equivalentes, sendo que esta classe de equivalência quando aplicada ao algoritmo de procura dos códigos de treliça ótimos diminui a quantidade de matrizes geradoras a ser investigada. Apresentam-se, vários exemplos de códigos de treliça sobre reticulados quociente nos espaços bi-dimensional, tridimensional e tetra-dimensional com satisfatórios ganhos de codificação e menor energia média das constelações de sinais. / Abstract: This thesis presents some contributions to the coded modulation schemes for the trellis codes based on lattices partitioning. One of the main contributions is the construction of the trellis codes based on novel lattices partitioning and also on chains partitioning. In order to optimize the search for the optimum trellis codes, a search algorithm was proposed. An equivalence class is proposed to exclude the generator matrix of equivalent codes. This equivalence class, when applied to the search algorithm for optimum trellis codes, reduces quite strongly the number of generator matrices to be investigated. Several examples of trellis codes on lattices quotient are shown in bi-dimensional, three-dimensional and tetra-dimensional spaces with satisfactory coding gain and lower average energy of the signal constellations. / Doutorado / Telecomunicações e Telemática / Doutor em Engenharia Elétrica

Thesis: Sc. D., Massachusetts Institute of Technology, Department of Materials Science and Engineering, 1978 / Vita. / Includes bibliographical references. / Sc. D. / Sc. D. Massachusetts Institute of Technology, Department of Materials Science and Engineering

No description available.

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.

No description available.

No description available.

No description available.

No description available.

Ultracold atoms in optical lattices can be used to model condensed matter systems. They provide a clean, tuneable system which can be engineered to reach parameter regimes that are not accessible in condensed matter systems. Furthermore, they provide different techniques for probing the properties of these systems. This thesis presents an experimental and theoretical study of ultracold atoms in optical lattices for quantum simulation of two-dimensional systems.The first part of this thesis describes an experiment with a Bose-Einstein condensate of 87Rb loaded into a two-dimensional optical lattice. The beams that generate the optical lattice are controlled by acousto-optic deflection to provide a flexible optical lattice potential. The use of a dynamic ‘accordion’ lattice with ultracold atoms, where the spacing of the lattice is increased in both directions from 2.2 to 5.5 μm, is described. This technique allows an experiment such as quantum simulations to be performed with a lattice spacing smaller than the resolution limit of the imaging system, while allowing imaging of the atoms at individual lattice sites by subsequent expansion of the optical lattice. The optical lattice can also be rotated, generating an artificial magnetic field. Previous experiments with the rotating optical lattice are summarised, and steps to reaching the strongly correlated regime are discussed. The second part of this thesis details numerical techniques that can be used to describe strongly correlated two-dimensional systems. These systems are challenging to simulate numerically, as the exponential growth in the size of the Hilbert space with the number of particles means that they can only be solved exactly for very small systems. Recently proposed correlator product states [Phys. Rev. B 80, 245116 (2009)] provide a numerically efficient description which can be used to simulate large two-dimensional systems. In this thesis we apply this method to the two-dimensional quantum Ising model, and the Bose-Hubbard model subject to an artificial magnetic field in the regime where fractional quantum Hall states are predicted to occur.