In this thesis we define and study the existence of an equilibrium situation in which producers maximize their profits relative to the production vectors in their production sets, consumers satisfy their preferences in their consumption sets under certain budget constraint, and for every commodity total demand equals total supply. This competitive equilibrium situation is referred to as the Walrasian equilibrium. The existence of this equilibrium is investigated from a various mathematical points of view. These include microeconomic theory, simplicial spaces, global analysis and lattice theory.

Orientador: Sueli Irene Rodrigues Costa / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-27T16:24:08Z (GMT). No. of bitstreams: 1 Bollauf_MaiaraFrancine_M.pdf: 2120752 bytes, checksum: 7dcb1f4f96d1b0feaa2372c7ff6453ad (MD5) Previous issue date: 2015 / Resumo: Essa dissertação possui como objetivo abordar as teorias de códigos e de reticulados e o uso recente destas na proposição de sistemas criptográficos que fazem o uso de chaves públicas dentro da chamada criptografia pós-quântica. No primeiro capítulo introduzimos a teoria dos códigos corretores de erros, incluindo definições e particularmente propriedades de códigos bastante utilizados como os de Hamming, códigos cíclicos, códigos BCH e códigos de Goppa. No segundo capítulo apresentamos a caracterização de dois problemas difíceis (NP-completos) baseados na estrutura de códigos que são o problema de decodificação geral (GDP) e o problema de decodificação por síndromes (SDP), os quais fundamentam algoritmos baseados na dificuldade de resolvê-los, como os criptossistemas de McEliece e Niederreiter. O Capítulo 3 é dedicado à teoria de reticulados, seus conceitos básicos e à caracterização dos problemas difíceis de se determinar nesta estrutura - o problema do vetor mais curto (SVP) e o problema do vetor mais próximo (CVP). Apresentamos também um modo de se obter reticulados a partir de códigos lineares, utilizando a chamada Construção A e ferramentas de geometria dos números para explicar métodos que avaliam a implementação da criptografia baseada em reticulados. No último capítulo descrevemos algoritmos desta subárea da criptografia , como os criptossistemas GGH e NTRU. Todos esses fundamentos embasam temas muito recentes de pesquisa em criptografia, que visam não somente a busca de sistemas que possivelmente resistirão à implementação de computadores quânticos mas que sejam mais eficientes na evolução prevista para computadores clássicos atuais / Abstract: This dissertation has the aim of approaching the theory of codes and lattices and their recent use to propose public key cryptosystems in the so called post-quantum cryptography. In the first chapter we introduce the theory of error correcting codes, including definitons and particularly properties of larged used codes such as Hamming codes, cyclic codes, BCH codes and Goppa codes. In the second chapter we present a characterization of two hard problems (NP-complete) based on the code structure which are the general decoding problem (GDP) and the syndrome decoding problem (SDP), which underlie algorithms based on the difficulty of solving them, as the McEliece and the Niederreiter cryptosystems. Chapter 3 is devoted to lattice theory, its basic concepts and the characterization of hard problems in this structure ¿ the shortest vector problem (SVP) and the closest vector problem (CVP). We also present a way to obtain lattices from linear codes using the so called Construction A and some tools of geometry of numbers to explain methods to evaluate the implementation of encryption schemes based on lattices. In the last chapter, we describe algorithms of this subarea of cryptography, such as GGH and NTRU. All these fundaments give support to recent research topics in cryptography, intended not only to search for secure systems that will probably resist to the introduction of quantum computers but also to be more efficient considering the the evolution of the classical computers / Mestrado / Matematica Aplicada / Mestra em Matemática Aplicada

Le sujet de cette thèse est l'étude des progressions arithmétiques dans les nombres entiers. Plus précisément, nous nous intéressons à borner inférieurement v(N), la taille du plus grand sous-ensemble des nombres entiers de 1 à N qui ne contient pas de progressions arithmétiques de 3 termes. Nous allons donc construire de grands sous-ensembles de nombres entiers qui ne contiennent pas de telles progressions, ce qui nous donne une borne inférieure sur v(N). Nous allons d'abord étudier les preuves de toutes les bornes inférieures obtenues jusqu'à présent, pour ensuite donner une autre preuve de la meilleure borne. Nous allons considérer les points à coordonnés entières dans un anneau à d dimensions, et compter le nombre de progressions arithmétiques qu'il contient. Pour obtenir des bornes sur ces quantités, nous allons étudier les méthodes pour compter le nombre de points de réseau dans des sphères à plusieurs dimensions, ce qui est le sujet de la dernière section. / The subject of this thesis is the study of arithmetic progressions in the integers. Precisely, we are interested in the size v(N) of the largest subset of the integers from 1 to N that contains no 3 term arithmetic progressions. Therefore, we will construct a large subset of integers with no such progressions, thus giving us a lower bound on v(N). We will begin by looking at the proofs of all the significant lower bounds obtained on v(N), then we will show another proof of the best lower bound known today. For the proof, we will consider points on a large d-dimensional annulus, and count the number of integer points inside that annulus and the number of arithmetic progressions it contains. To obtain bounds on those quantities, it will be interesting to look at the theory behind counting lattice points in high dimensional spheres, which is the subject of the last section.

Made available in DSpace on 2015-03-04T18:57:51Z (GMT). No. of bitstreams: 1 Thesis_Golbert_2013.pdf: 18646737 bytes, checksum: 7adc57aa9e06e2477c908c15f1f9afb8 (MD5) Previous issue date: 2013-04-29 / O objetivo deste trabalho é estudar a modelagem do escoamento de fluidos incompressíveis, visando modelar a hemodinâmica presente no sistema cardiovascular humano. Para tanto, vamos usar método de lattice Boltzmann (LBM), baseado na cinética mesoscópica, que permite simular o comportamento macro-contínuo da dinâmica de fluidos. Acoplado a este método, será usado um método de fronteira imersa para modelar as interações entre fluido e estrutura (como ocorre entre o sangue e a parede arterial). Ainda, visando a modelagem de condições fisiológicas realistas, será empregada uma abordagem de acoplamento de modelos dimensionalmente heterogêneos. Para isto serão desenvolvidos algoritmos para acoplar o LBM com um método de diferenças finitas, para a modelagem unidimensional do escoamento de sangue em vasos deformáveis. Serão detalhados diversos aspectos e desenvolvimentos teóricos dos métodos introduzidos e faremos estudos de caráter numérico, através de simulações de problemas estacionários e transientes, cujas características são similares às encontradas na modelagem do escoamento sanguíneo em artérias. Visando prover técnicas e orientações para a modelagem do escoamento sanguíneo no sistema arterial em regime fisiológico de forma acurada e computacionalmente eficiente por meio do uso do LBM.

Random walks describe diffusion processes, where movement at every time step is restricted only to neighbouring locations. Classical random walks are constructed using the non-relativistic Laplacian evolution operator and a coin toss instruction. In quantum theory, an alternative is to use the relativistic Dirac operator. That necessarily introduces an internal degree of freedom (chirality), which may be identified with the coin. The resultant walk spreads quadratically faster than the classical one, and can be applied to a variety of graph theoretical problems. We study in detail the problem of spatial search, i.e. finding a marked site on a hypercubic lattice in d-dimensions. For d=1, the scaling behaviour of classical and quantum spatial search is the same due to the restriction on movement. On the other hand, the restriction on movement hardly matters for d ≥ 3, and scaling behaviour close to Grover’s optimal algorithm(which has no restriction on movement) can be achieved. d=2 is the borderline critical dimension, where infrared divergence in propagation leads to logarithmic slow down that can be minimised using clever chirality flips. In support of these analytic expectations, we present numerical simulation results for d=2 to d=9, using a lattice implementation of the Dirac operator inspired by staggered fermions. We optimise the parameters of the algorithm, and the simulation results demonstrate that the number of binary oracle calls required for d= 2 and d ≥ 3 spatial search problems are O(√NlogN) and O(√N) respectively. Moreover, with increasing d, the results approach the optimal behaviour of Grover’s algorithm(corresponding to mean field theory or d → ∞ limit). In particular, the d = 3 scaling behaviour is only about 25% higher than the optimal value.

Le sujet de cette thèse est l'étude des progressions arithmétiques dans les nombres entiers. Plus précisément, nous nous intéressons à borner inférieurement v(N), la taille du plus grand sous-ensemble des nombres entiers de 1 à N qui ne contient pas de progressions arithmétiques de 3 termes. Nous allons donc construire de grands sous-ensembles de nombres entiers qui ne contiennent pas de telles progressions, ce qui nous donne une borne inférieure sur v(N). Nous allons d'abord étudier les preuves de toutes les bornes inférieures obtenues jusqu'à présent, pour ensuite donner une autre preuve de la meilleure borne. Nous allons considérer les points à coordonnés entières dans un anneau à d dimensions, et compter le nombre de progressions arithmétiques qu'il contient. Pour obtenir des bornes sur ces quantités, nous allons étudier les méthodes pour compter le nombre de points de réseau dans des sphères à plusieurs dimensions, ce qui est le sujet de la dernière section. / The subject of this thesis is the study of arithmetic progressions in the integers. Precisely, we are interested in the size v(N) of the largest subset of the integers from 1 to N that contains no 3 term arithmetic progressions. Therefore, we will construct a large subset of integers with no such progressions, thus giving us a lower bound on v(N). We will begin by looking at the proofs of all the significant lower bounds obtained on v(N), then we will show another proof of the best lower bound known today. For the proof, we will consider points on a large d-dimensional annulus, and count the number of integer points inside that annulus and the number of arithmetic progressions it contains. To obtain bounds on those quantities, it will be interesting to look at the theory behind counting lattice points in high dimensional spheres, which is the subject of the last section.

Nous allons étudier les propriétés des courbes algébriques sur des surfaces K3 spéciales, du point de vue de la théorie de Brill-Noether.La démonstration de Lazarsfeld du théorème de Gieseker-Petri a mis en lumière l'importance de la théorie de Brill-Noether des courbes admettant un plongement dans une surface K3. Nous allons donner une démonstration détaillée de ce résultat classique, inspirée par les idées de Pareschi. En suite, nous allons décrire le théorème de Green et Lazarsfeld, fondamental pour tout notre travail, qui établit le comportement de l'indice de Clifford des courbes sur les surfaces K3.Watanabe a montré que l'indice de Clifford de courbes sur certaines surfaces K3, admettant un recouvrement double des surfaces de del Pezzo, est calculé en utilisant les involutions non-symplectiques. Nous étudions une situation similaire pour des surfaces K3 avec un réseau de Picard isomorphe à U(m), avec m>0 un entier quelconque. Nous montrons que la gonalité et l'indice de Clifford de toute courbe lisse sur ces surfaces, avec une seule exception déterminée explicitement, sont obtenus par restriction des fibrations elliptiques de la surface. Ce travail est basé sur l'article suivant :M. Ramponi, Gonality and Clifford index of curves on elliptic K3 surfaces with Picard number two, Archiv der Mathematik, 106(4), p. 355–362, 2016.Knutsen et Lopez ont étudié en détail la théorie de Brill-Noether des courbes sur les surfaces d'Enriques. En appliquant leurs résultats, nous allons pouvoir calculer la gonalité et l'indice de Clifford de toute courbe lisse sur les surfaces K3 qui sont des recouvrements universels d'une surface d'Enriques. Ce travail est basé sur l'article suivant :M. Ramponi, Special divisors on curves on K3 surfaces carrying an Enriques involution, Manuscripta Mathematica, 153(1), p. 315–322, 2017. / We study the properties of algebraic curves lying on special K3 surfaces, from the viewpoint of Brill-Noether theory.Lazarsfeld's proof of the Gieseker-Petri theorem has revealed the importance of the Brill-Noether theory of curves which admit an embedding in a K3 surface. We give a proof of this classical result, inspired by the ideas of Pareschi. We then describe the theorem of Green and Lazarsfeld, a key result for our work, which establishes the behaviour of the Clifford index of curves on K3 surfaces.Watanabe showed that the Clifford index of curves lying on certain special K3 surfaces, realizable as a double covering of a smooth del Pezzo surface, can be determined by a direct use of the non-simplectic involution carried by these surfaces. We study a similar situation for some K3 surfaces having a Picard lattice isomorphic to U(m), with m>0 any integer. We show that the gonality and the Clifford index of all smooth curves on these surfaces, with a single, explicitly determined exception, are obtained by restriction of the elliptic fibrations of the surface. This work is based on the following article:M. Ramponi, Gonality and Clifford index of curves on elliptic K3 surfaces with Picard number two, Archiv der Mathematik, 106(4), p. 355-362, 2016.Knutsen and Lopez have studied in detail the Brill-Noether theory of curves lying on Enriques surfaces. Applying their results, we are able to determine and compute the gonality and Clifford index of any smooth curve lying on the general K3 surface which is the universal covering of an Enriques surface. This work is based on the following article:M. Ramponi, Special divisors on curves on K3 surfaces carrying an Enriques involution, Manuscripta Mathematica, 153(1), p. 315-322, 2017.

Cette thèse se situe dans le contexte des modèles logique de Recherche d'Information (RI). Le travail présenté dans la thèse est principalement motivé par l'inexactitude de l'hypothèse sur l'indépendance de termes. En effet, cette hypothèse communément acceptée en RI stipule que les termes d'indexation sont indépendant les un des autres. Cette hypothèse est fausse en pratique mais permet tout de même aux systèmes de RI de donner de bon résultats. La proposition contenue dans cette thèse met également l'emphase sur la nature déductive du processus de jugement de pertinence. Les logiques formelles sont bien adaptées pour la représentation des connaissances. Elles permettent ainsi de représenter les relations entre les termes. Les logiques formelles sont également des systèmes d'inférence, ainsi la RI à base de logique constitue une piste de travail pour construire des systèmes efficaces de RI. Cependant, en étudiant les modèles actuels de RI basés sur la logique, nous montrons que ces modèles ont généralement des lacunes. Premièrement, les modèles de RI logiques proposent normalement des représentations complexes de document et des requête et difficile à obtenir automatiquement. Deuxièmement, la décision de pertinence d->q, qui représente la correspondance entre un document d et une requête q, pourrait être difficile à vérifier. Enfin, la mesure de l'incertitude U(d->q) est soit ad-hoc ou difficile à mettre en oeuvre. Dans cette thèse, nous proposons un nouveau modèle de RI logique afin de surmonter la plupart des limites mentionnées ci-dessus. Nous utilisons la logique propositionnelle (PL). Nous représentons les documents et les requêtes comme des phrases logiques écrites en Forme Normale Disjonctive. Nous argumentons également que la décision de pertinence d->q pourrait être remplacée par la validité de l'implication matérielle. Pour vérifier si d->q est valide ou non, nous exploitons la relation potentielle entre PL et la théorie des treillis. Nous proposons d'abord une représentation intermédiaire des phrases logiques, où elles deviennent des noeuds dans un treillis ayant une relation d'ordre partiel équivalent à la validité de l'implication matérielle. En conséquence, nous transformons la vérification de validité de d->q, ce qui est un calcul intensif, en une série de vérifications simples d'inclusion d'ensembles. Afin de mesurer l'incertitude de la décision de pertinence U(d->q), nous utilisons la fonction du degré d'inclusion Z, qui est capable de quantifier les relations d'ordre partielles définies sur des treillis. Enfin, notre modèle est capable de travailler efficacement sur toutes les phrases logiques sans aucune restriction, et est applicable aux données à grande échelle. Notre modèle apporte également quelques conclusions théoriques comme: la formalisation de l'hypothèse de van Rijsbergen sur l'estimation de l'incertitude logique U(d->q) en utilisant la probabilité conditionnelle P(q|d), la redéfinition des deux notions Exhaustivité et Spécificité, et finalement ce modèle a également la possibilité de reproduire les modèles les plus classiques de RI. De manière pratique, nous construisons trois instances opérationnelles de notre modèle. Une instance pour étudier l'importance de Exhaustivité et Spécificité, et deux autres pour montrer l'insuffisance de l'hypothèse sur l'indépendance des termes. Nos résultats expérimentaux montrent un gain de performance lors de l'intégration Exhaustivité et Spécificité. Cependant, les résultats de l'utilisation de relations sémantiques entre les termes ne sont pas suffisants pour tirer des conclusions claires. Le travail présenté dans cette thèse doit être poursuivit par plus d'expérimentations, en particulier sur l'utilisation de relations, et par des études théoriques en profondeur, en particulier sur les propriétés de la fonction Z. / This thesis is situated in the context of logic-based Information Retrieval (IR) models. The work presented in this thesis is mainly motivated by the inadequate term-independence assumption, which is well-accepted in IR although terms are normally related, and also by the inferential nature of the relevance judgment process. Since formal logics are well-adapted for knowledge representation, and then for representing relations between terms, and since formal logics are also powerful systems for inference, logic-based IR thus forms a candidate piste of work for building effective IR systems. However, a study of current logic-based IR models shows that these models generally have some shortcomings. First, logic-based IR models normally propose complex, and hard to obtain, representations for documents and queries. Second, the retrieval decision d->q, which represents the matching between a document d and a query q, could be difficult to verify or check. Finally, the uncertainty measure U(d->q) is either ad-hoc or hard to implement. In this thesis, we propose a new logic-based IR model to overcome most of the previous limits. We use Propositional Logic (PL) as an underlying logical framework. We represent documents and queries as logical sentences written in Disjunctive Normal Form. We also argue that the retrieval decision d->q could be replaced by the validity of material implication. We then exploit the potential relation between PL and lattice theory to check if d->q is valid or not. We first propose an intermediate representation of logical sentences, where they become nodes in a lattice having a partial order relation that is equivalent to the validity of material implication. Accordingly, we transform the checking of the validity of d->q, which is a computationally intensive task, to a series of simple set-inclusion checking. In order to measure the uncertainty of the retrieval decision U(d->q), we use the degree of inclusion function Z that is capable of quantifying partial order relations defined on lattices. Finally, our model is capable of working efficiently on any logical sentence without any restrictions, and is applicable to large-scale data. Our model also has some theoretical conclusions, including, formalizing and showing the adequacy of van Rijsbergen assumption about estimating the logical uncertainty U(d->q) through the conditional probability P(q|d), redefining the two notions Exhaustivity and Specificity, and the possibility of reproducing most classical IR models as instances of our model. We build three operational instances of our model. An instance to study the importance of Exhaustivity and Specificity, and two others to show the inadequacy of the term-independence assumption. Our experimental results show worthy gain in performance when integrating Exhaustivity and Specificity into one concrete IR model. However, the results of using semantic relations between terms were not sufficient to draw clear conclusions. On the contrary, experiments on exploiting structural relations between terms were promising. The work presented in this thesis can be developed either by doing more experiments, especially about using relations, or by more in-depth theoretical study, especially about the properties of the Z function.

Orientador: Peter Sussner / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-16T05:02:12Z (GMT). No. of bitstreams: 1 Esmi_Estevao_M.pdf: 1708768 bytes, checksum: 81d1d15b597bdc13e41b87c4847aa2f7 (MD5) Previous issue date: 2010 / Resumo: Redes neurais morfológicas (MNN) são redes neurais artificiais cujos nós executam operações elementares da morfologia matemática (MM). Vários modelos de MNNs e seus respectivos algoritmos de treinamentos têm sido propostos nos últimos anos, incluindo os perceptrons morfológicos(MPs), o perceptron morfológico com dendritos, as memórias associativas morfológicas (fuzzy), as redes neurais morfológicas modulares e as redes neurais de pesos compartilhados e regularizados. Aplicações de MNNs incluem reconhecimento de padrão, previsão de séries temporais, detecção de alvos, auto-localização e processamento de imagens hiperespectrais. Nesta tese, abordamos dois novos modelos de redes neurais morfológicas.O primeiro consiste em uma memória associativa fuzzy denominada KS-FAM, e o segundo representa uma nova versão do perceptron morfológico para problemas de classificação de múltiplas classes, denominado perceptron morfológico com aprendizagem competitiva(MP/CL). Para ambos modelos, investigamos e demonstramos várias propriedades. Em particular para a KS-FAM, caracterizamos as condições para que uma memória seja perfeitamente recordada, assim como a formada saída produzida ao apresentar um padrão de entrada qualquer. Provamos ainda que o algoritmo de treinamento do MP/CL converge em um número finito de passos e que a rede produzida independe da ordem com que os padrões de treinamento são apresentados. Além disso, é garantido que o MP/CL resultante classifica perfeitamente todos os dados de treinamento e não produz regiões de indecisões. Finalmente, comparamos os desempenhos destes modelos com os de outros modelos similares em uma série de experimentos, que incluir e conhecimento de imagens em tons de cinza, para a KS-FAM, e classificação de vários conjuntos de dados disponíveis na internet, para o MP/CL / Abstract: Morphological neural networks (MNN) are artificial neural networks whose hidden neurons perform elementary operations of mathematical morphology (MM). Several particular models of MNNs have been proposed in recent years, including morphological perceptrons (MPs), morphological perceptrons with dendrites, (fuzzy) morphological associative memories, modular morphological neural networks as well as morphological shared-weight and regularization neural networks. Applications of MNNs include pattern recognition, time series prediction, target detection, self-location, and hyper-spectral image processing. In this thesis, we present two new models of morphological neural networks. The first one consists of a fuzzy associative memory called KS-FAM. The second one represents a novel version of the morphological perceptron for classification problems with multiple classes called morphological perceptron with competitive learning(MP/CL). For both KS-FAM and MP/CL models, we investigated and showed several properties. In particular, we characterized the conditions for perfect recall using the KS-FAM as well as the outputs produced upon presentation of an arbitrary input patern. In addition, we proved that the learning algorithm of the MP/CL converges in a finite number of steps and that the results produced after the conclusion of the training phase do not depend on the order in which the training patterns are presented to the network. Moreover, the MP/CL is guaranteed to perfectly classify all training data without generating any regions of indecision. Finaly, we compared the performances of our new models and a range of competing models in terms of a series of experiments in gray-scale image recognition (in case of the KS-FAM) and classification using several well-known datasets that are available on the internet (in case of the MP/CL) / Mestrado / Matematica Aplicada / Mestre em Matemática Aplicada

Orientadores: Sueli Irene Rodrigues Costa, Jose Plinio de Oliveira Santos / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-13T23:35:30Z (GMT). No. of bitstreams: 1 Torezzan_Cristiano_D.pdf: 2362096 bytes, checksum: 1680bc5fc7cb94a63b0b11b50ac5a1c4 (MD5) Previous issue date: 2009 / Resumo: Códigos esféricos em espaços euclidianos n-dimensionais são conjuntos finitos de pontos sobre superfícies esféricas e têm sido amplamente estudados em conexão com a transmissão de sinais sobre um canal Gaussiano. Para este propósito deseja-se maximizar a distância mínima entre dois pontos quaisquer do código, o que está fortemente relacionado com o problema mais geral do empacotamento em esferas, o qual contempla aplicações em outras áreas. Na primeira parte deste trabalho estudamos códigos esféricos gerados como órbita de um vetor unitário sob a ação de um grupo comutativo de matrizes ortogonais, os denominados códigos de grupo comutativo. Propomos um método para obter o melhor código de grupo comutativo n-dimensional de ordem M, que baseia-se na associação entre tais códigos em dimensão 2k e reticulados k-dimensionais. Utilizando fatorações matriciais conhecidas, como as formas normais de Hermite e Smith, demonstramos que é possível reduzir o número de casos a serem analisados através da identificação de códigos isométricos que podem ser descartados. O problema da busca do vetor inicial ótimo para códigos de grupo comutativo é formalmente estabelecido com um problema de programação linear e utilizado em uma das etapas do método. Apresentamos resultados numéricos, incluindo tabelas com códigos de grupo comutativo ótimos em várias dimensões. Outra contribuição deste trabalho é a introdução de uma nova família de códigos esféricos, na qual os pontos são alocados sobre a superfície da esfera unitária 2k-dimensional em camadas de toros planares. Em cada uma das camadas deste código, pode-se estabelecer um código de grupo para a geração dos sinais e utilizar os resultados acima mencionados. Além de limitantes, inferior e superior, para o número de pontos, um método para construção destes códigos é apresentado explicitamente e alguns exemplos são construídos. Os resultados mostram que tais códigos têm desempenho comparável aos melhores códigos esféricos estruturados conhecidos, com destaque para uma potencial vantagem no processo de codificação/decodificação, decorrente da homogeneidade, estrutura de grupo e associação a reticulados na metade da dimensão / Abstract: Spherical codes in Euclidean spaces are finite sets of points on the surface of a multidimensional sphere and have been widely studied in connection with the signal transmission over a Gaussian channel. For this purpose one fundamental issue is to maximize the minimum distance between two code points, what is strongly related to the more general problem of sphere packing. In the first part of this work we study spherical codes generated as orbit of a initial vector under the action of a commutative group of orthogonal matrices, the so called commutative group codes. A method for searching the best n-dimensional commutative group code of order M is presented. Based on the well known Hermite and Smith normal form decomposition of matrices, and also on the relation between 2k-dimensional com- mutative group codes and k-dimensional lattices, we show that it is possible to reduce the number of cases to be analyzed through the identification of isometric codes which can be discarded. The initial vector problem for these codes is formally established as a linear programming problem and used as a sub-routine of the method. Numerical results are presented, including tables of good commutative groups codes in several dimensions. Other contribution of this work is a new class of spherical codes, constructed by placing points on flat tori layers. The codebook on each torus can be generated by a commutative group of orthogonal matrices, using the results previously mentioned. Upper and lower bounds on performance are derived and a systematic method for constructing the codes is presented. Some examples are constructed and the results exhibit good performance when compared to the best known structured spherical codes, with some advantage in the encoding/decoding process, due to the homogeneity, group structure and the relation with lattices in the half of the dimension / Doutorado / Matematica Aplicada / Doutor em Matemática Aplicada