Doctor of Philosophy / This thesis presents a study of the cyclotomic BMW algebras, introduced by Haring-Oldenburg as a generalization of the BMW (Birman-Murakami-Wenzl) algebras related to the cyclotomic Hecke algebras of type G(k,1,n) (also known as Ariki-Koike algebras) and type B knot theory involving affine/cylindrical tangles. The motivation behind the definition of the BMW algebras may be traced back to an important problem in knot theory; namely, that of classifying knots (and links) up to isotopy. The algebraic definition of the BMW algebras uses generators and relations originally inspired by the Kauffman link invariant. They are intimately connected with the Artin braid group of type A, Iwahori-Hecke algebras of type A, and with many diagram algebras, such as the Brauer and Temperley-Lieb algebras. Geometrically, the BMW algebra is isomorphic to the Kauffman Tangle algebra. The representations and the cellularity of the BMW algebra have now been extensively studied in the literature. These algebras also feature in the theory of quantum groups, statistical mechanics, and topological quantum field theory. In view of these relationships between the BMW algebras and several objects of "type A", several authors have since naturally generalized the BMW algberas for other types of Artin groups. Motivated by knot theory associated with the Artin braid group of type B, Haring-Oldenburg introduced the cyclotomic BMW algebras B_n^k as a generalization of the BMW algebras such that the Ariki-Koike algebra h_{n,k} is a quotient of B_n^k, in the same way the Iwahori-Hecke algebra of type A is a quotient of the BMW algebra. In this thesis, we investigate the structure of these algebras and show they have a topological realization as a certain cylindrical analogue of the Kauffman Tangle algebra. In particular, they are shown to be R-free of rank k^n (2n-1)!! and bases that may be explicitly described both algebraically and diagrammatically in terms of cylindrical tangles are obtained. Unlike the BMW and Ariki-Koike algebras, one must impose extra so-called "admissibility conditions" on the parameters of the ground ring in order for these results to hold. This is due to potential torsion caused by the polynomial relation of order k imposed on one of the generators of B_n^k. It turns out that the representation theory of B_2^k is crucial in determining these conditions precisely. The representation theory of B_2^k is analysed in detail in a joint preprint with Wilcox in [45] (http://arxiv.org/abs/math/0611518). The admissibility conditions and a universal ground ring with admissible parameters are given explicitly in Chapter 3. The admissibility conditions are also closely related to the existence of a non-degenerate Markov trace function of B_n^k which is then used together with the cyclotomic Brauer algebras in the linear independency arguments contained in Chapter 4. Furthermore, in Chapter 5, we prove the cyclotomic BMW algebras are cellular, in the sense of Graham and Lehrer. The proof uses the cellularity of the Ariki-Koike algebras (Graham-Lehrer [16] and Dipper-James-Mathas [8]) and an appropriate "lifting" of a cellular basis of the Ariki-Koike algebras into B_n^k, which is compatible with a certain anti-involution of B_n^k. When k = 1, the results in this thesis specialize to those previously established for the BMW algebras by Morton-Wasserman [30], Enyang [9], and Xi [47]. REMARKS: During the writing of this thesis, Goodman and Hauschild-Mosley also attempt similar arguments to establish the freeness and diagram algebra results mentioned above. However, they withdrew their preprints ([14] and [15]), due to issues with their generic ground ring crucial to their linear independence arguments. A similar strategy to that proposed in [14], together with different trace maps and the study of rings with admissible parameters in Chapter 3, is used in establishing linear independency of our basis in Chapter 4. Since the submission of this thesis, new versions of these preprints have been released in which Goodman and Hauschild-Mosley use alternative topological and Jones basic construction theory type arguments to establish freeness of B_n^k and an isomorphism with the cyclotomic Kauffman Tangle algebra. However, they require their ground rings to be an integral domain with parameters satisfying the (slightly stronger) admissibility conditions introduced by Wilcox and the author in [45]. Also, under these conditions, Goodman has obtained cellularity results. Rui and Xu have also obtained freeness and cellularity results when k is odd, and later Rui and Si for general k, under the assumption that \delta is invertible and using another stronger condition called "u-admissibility". The methods and arguments employed are strongly influenced by those used by Ariki, Mathas and Rui [3] for the cyclotomic Nazarov-Wenzl algebras and involve the construction of seminormal representations; their preprints have recently been released on the arXiv. It should also be noted there are slight differences between the definitions of cyclotomic BMW algebras and ground rings used, as explained partly above. Furthermore, Goodman and Rui-Si-Xu use a weaker definition of cellularity, to bypass a problem discovered in their original proofs relating to the anti-involution axiom of the original Graham-Lehrer definition. This Ph.D. thesis, completed at the University of Sydney, was submitted September 2007 and passed December 2007.

Thesis (MSc)--University of Stellenbosch, 2008. / Bibliography. Also available via the Internet.

Orientador: Trajano Pires da Nóbrega Neto / Banca: André Luíz Flores / Banca: José Othon Dantas Lopes / Resumo: O principal objetivo deste trabalho é calcular a densidade de centro da representação geométrica do ideal totalmente ramificado em corpos de condutor primo. Primeiro, fazemos a caracterização dos subcorpos do p-ésimo corpo ciclotômico e dos elementos do ideal, também calculamos a norma desse ideal. Em seguida, é apresentada uma forma quadrática e explicitado o seu mínimo para o cálculo do raio de empacotamento dessa representação geométrica. Finalizamos com o cálculo da densidade de centro. / Abstract: The main aim of this work is to calculate density of the center from the geometric representation of the totally ramified ideal in prime conductor fields. First of all, we make the characterization of the elements from subfields of the p-th cyclotomic field and from the ideal of the elements, we also calculate the norm of this ideal. After that, a quadratic form is presented and exhibit its minimun for the radius of packing calculation this geometric representation. Concluding with the center density calculation. / Mestre

Made available in DSpace on 2014-06-11T19:26:56Z (GMT). No. of bitstreams: 0 Previous issue date: 2005-12-16Bitstream added on 2014-06-13T18:06:54Z : No. of bitstreams: 1 melo_fd_me_sjrp.pdf: 346555 bytes, checksum: ff1f3651e3e5a108fe83b33dbae4e46b (MD5) / O principal objetivo deste trabalho é calcular a densidade de centro da representação geométrica do ideal totalmente ramificado em corpos de condutor primo. Primeiro, fazemos a caracterização dos subcorpos do p-ésimo corpo ciclotômico e dos elementos do ideal, também calculamos a norma desse ideal. Em seguida, é apresentada uma forma quadrática e explicitado o seu mínimo para o cálculo do raio de empacotamento dessa representação geométrica. Finalizamos com o cálculo da densidade de centro. / The main aim of this work is to calculate density of the center from the geometric representation of the totally ramified ideal in prime conductor fields. First of all, we make the characterization of the elements from subfields of the p-th cyclotomic field and from the ideal of the elements, we also calculate the norm of this ideal. After that, a quadratic form is presented and exhibit its minimun for the radius of packing calculation this geometric representation. Concluding with the center density calculation.

<div><div><div><p>It is well-known that the sum of reciprocals of twin primes converges or is a finite sum.</p><p>In the same spirit, Samuel Wagstaff proved in 2021 that the sum of reciprocals of primes p</p><p>such that ap + b is prime also converges or is a finite sum for any a, b where gcd(a, b) = 1</p><p>and 2 | ab. Wagstaff gave upper and lower bounds in the case that ab is a power of 2. Here,</p><p>we expand on his work and allow any a, b satisfying gcd(a, b) = 1 and 2 | ab. Let Πa,b be the</p><p>product of p−1 over the odd primes p dividing ab. We show that the upper bound of these p−2</p><p>sums is Πa,b times the upper bound found by Wagstaff and provide evidence as to why we cannot hope to do better than this. We also give several examples for specific pairs (a, b).</p><p><br></p><p>Next, we turn our attention to elliptic Carmichael numbers. In 1987, Dan Gordon defined the notion of an elliptic Carmichael number as a composite integer n which satisfies a Fermat- like criterion on elliptic curves with complex multiplication. More recently, in 2018, Thomas Wright showed that there are infinitely such numbers. We build off the work of Wright to prove that there are infinitely many elliptic Carmichael numbers of the form a (mod M) for a certain M, using an improved lower bound due to Carl Pomerance. We then apply this result to comment on the infinitude of strong pseudoprimes and strong Lucas pseudoprimes.</p><p><br></p><p>Finally, we consider the problem of classifying for which k does one have Φk(x) | Φn(x)−1, where Φn(x) is the nth cyclotomic polynomial. We provide a motivating example as to how this can be applied to primality proving. Then, we complete the case k = 8 and give a partial characterization for the case k = 16. This leads us to conjecture necessary and sufficient conditions for when Φk(x) | Φn(x) − 1 whenever k is a power of 2.</p></div></div></div>

No description available.

Seja K/Q uma extensÃo abeliana de grau primo Ãmpar &#961; e condutor n, onde &#961; nÃo se ramifica em K/Q. As principais contribuiÃÃes deste trabalho sÃo: 1) caracterizaÃÃo de ideais Ok em cuja fatoraÃÃo constam apenas ideais primos ramificados K/Q; 2) cÃlculo da densidade de centro da representaÃÃo geomÃtrica de Z-mÃdulos em Ok caracterizados por uma equaÃÃo modular (para &#961; = 3,5 e 7, parametriza-se o algoritmo que otimiza a densidade de centro destes reticulados). AlÃm disso, os seguintes resultados sÃo tambÃm descritos: 1) FamÃlias de reticulados associados a polinÃmios em Z[x] de grau dois e trÃs; 2) uma prova alternativa da finitude do grupo das classes de um corpo nÃmeros baseada somente em empacotamentos esfÃricos. / Let K/Q be an Abelian extension of ood degree &#961; and conductor n, where &#961; does not ramify in K/Q. The main contributions of this work are: 1) characterization of ideals of Ok whose factorization includes only prime ramified ideals K/Q; 2) calculation of the center density of the geometric representation of Z-modules in Ok characterized by a modular equation (for &#961; = 3.5, and 7, the algorithm that is used to optimize the center density of those lattices is parametrized). Besides, the following results are also described: 1) Families of lattices associated to polynomials in Z[x] of degree two and three; 2) an alternative proof of the finiteness of the class group of a number field based solely on sphere packings.

In cryptography, periodic sequences with terms in F2 are used almost everywhere. These sequences should have large linear complexity to be cryptographically strong. In fact, the linear complexity of a sequence should be close to its period. In this thesis, we study the expected value for N-periodic sequences with terms in the finite field Fq. This study is entirely devoted to W. Meidl and Harald Niederreiter&rsquo / s paper which is &ldquo / On the Expected Value of the Linear Complexity and the k-Error Linear Complexity of Periodic Sequences&rdquo / We only expand this paper, there is no improvement. In this paper there are important theorems and results about the expected value of linear complexity of periodic sequences.

Qualified difference sets are a class of combinatorial configuration. The sets are related to the residue difference sets that were first discussed in detail in 1953 by Emma Lehmer. Qualified difference sets consist of a set of residues modulo an integer v and they possess attractive properties that suggest potential applications in areas such as image formation, signal processing and aperture synthesis. This thesis outlines the theory behind qualified difference sets and gives conditions for the existence and nonexistence of these sets in various cases. A special case of the qualified difference sets is the qualified residue difference sets. These consist of the set of nth power residues of certain types of prime. Necessary and sufficient conditions for the existence of qualified residue difference sets are derived and the precise conditions for the existence of these sets are given for n = 2, 4 and 6. Qualified residue difference sets are proved nonexistent for n = 8, 10, 12, 14 and 18. A generalisation of the qualified residue difference sets is introduced. These are the qualified difference sets composed of unions of cyclotomic classes. A cyclotomic class is defined for an integer power n and the results of an exhaustive computer search are presented for n = 4, 6, 8, 10 and 12. Two new families of qualified difference set were discovered in the case n = 8 and some isolated systems were discovered for n = 6, 10 and 12. An explanation of how qualified difference sets may be implemented in physical applications is given and potential applications are discussed.

Qualified difference sets are a class of combinatorial configuration. The sets are related to the residue difference sets that were first discussed in detail in 1953 by Emma Lehmer. Qualified difference sets consist of a set of residues modulo an integer v and they possess attractive properties that suggest potential applications in areas such as image formation, signal processing and aperture synthesis. This thesis outlines the theory behind qualified difference sets and gives conditions for the existence and nonexistence of these sets in various cases. A special case of the qualified difference sets is the qualified residue difference sets. These consist of the set of nth power residues of certain types of prime. Necessary and sufficient conditions for the existence of qualified residue difference sets are derived and the precise conditions for the existence of these sets are given for n = 2, 4 and 6. Qualified residue difference sets are proved nonexistent for n = 8, 10, 12, 14 and 18. A generalisation of the qualified residue difference sets is introduced. These are the qualified difference sets composed of unions of cyclotomic classes. A cyclotomic class is defined for an integer power n and the results of an exhaustive computer search are presented for n = 4, 6, 8, 10 and 12. Two new families of qualified difference set were discovered in the case n = 8 and some isolated systems were discovered for n = 6, 10 and 12. An explanation of how qualified difference sets may be implemented in physical applications is given and potential applications are discussed.