We show that Kirchhoff ’s law of conservation holds for non-commutative graph flows if and only if the graph is planar. We generalize the theory of (Euclidean) lattices to infinite dimension and... Show moreWe show that Kirchhoff ’s law of conservation holds for non-commutative graph flows if and only if the graph is planar. We generalize the theory of (Euclidean) lattices to infinite dimension and consider the ring of algebraic integers as such a lattice. We compute some invariants using capacity theory and obtain a partial solution to the (algorithmic) closest vector problem. We generalize the results on (universally) graded rings by Lenstra and Silverberg. We study the special case of group rings, and show that under similar assumptions rings can be uniquely decomposed into a group ring in a maximal way. We give a functorial algorithm to compute roots of fractional ideals of orders in number rings. Show less
This thesis consists of three chapters. Each chapter is on a different subject. However, all three chapters address issues that arise in counting arithmetically interesting objects. Chapter 1 is... Show moreThis thesis consists of three chapters. Each chapter is on a different subject. However, all three chapters address issues that arise in counting arithmetically interesting objects. Chapter 1 is on the unit equation in positive characteristic. Chapter 2 is about the statistical behavior of ray class groups, of fixed integral conductor, in families of imaginary quadratic fields. Chapter 3 concerns the study of the unit group of local fields in the category of filtered groups. Show less
We prove two new density results about 16-ranks of class groups of quadratic number fields. They can be stated informally as follows. Let C(D) denote the class groups of the quadratic number... Show moreWe prove two new density results about 16-ranks of class groups of quadratic number fields. They can be stated informally as follows. Let C(D) denote the class groups of the quadratic number field of discriminant D. Theorem A. The class group C(-4p) has an element of order 16 for one-fourth of prime numbers p of the form a^2+16c^4. Theorem B. The class group C(-8p) has an element of order 16 for one-eighth of prime numbers p = -1 mod 4. These are the first non-trivial density results about the 16-rank of class groups in a family of quadratic number fields. They prove an instance of the Cohen-Lenstra conjectures. The proofs of these theorems involve new applications of powerful sieving techniques developed by Friedlander and Iwaniec. In case of Theorem B, we prove a power-saving error term for a prime-counting function related to the 16-rank of C(-8p), thereby giving strong evidence against a conjecture of Cohn and Lagarias that the 16-rank is governed by a Chebotarev-type criterion. Show less
A common theme in the research on rational points on varieties is: investigating under which conditions rational points are dense with respect to a chosen topology. We prove several existence... Show moreA common theme in the research on rational points on varieties is: investigating under which conditions rational points are dense with respect to a chosen topology. We prove several existence results concerning K3 surfaces defined over the rational numbers with a dense set of rational points with respect to the p-adic topology, for a prime number p, and product topologies arising from these Show less
Is there a good continued fraction approximation between every two bad ones? What is the entropy of the natural extension for alpha-Rosen fractions? How do you find multi-dimensional continued... Show moreIs there a good continued fraction approximation between every two bad ones? What is the entropy of the natural extension for alpha-Rosen fractions? How do you find multi-dimensional continued fractions with a guaranteed quality in polynomial time? These, and many more, questions are answered in this thesis. Show less
Factorization methods, such as the quadratic sieve and the number field sieve, spend a lot of time on the sieving step, in which the necessary relations are collected for factoring the given number... Show moreFactorization methods, such as the quadratic sieve and the number field sieve, spend a lot of time on the sieving step, in which the necessary relations are collected for factoring the given number N. Relations are smooth or k-semismooth numbers (numbers with either all prime factors below some bound or all with the exception of at most k prime factors that do not exceed a second bound) or pairs of these type of numbers. In this thesis, we predict the amount of k-semismooth numbers needed to factor N, based on asymptotic approximation formulas (these formulas generalize the published results), and compare them with the amount of k-semismooth numbers found during the factorization of N. Furthermore, for the number field sieve we propose a method for predicting the number of necessary relations for factoring N with given parameters, and the corresponding sieving time. The basic idea is to do a small but representative amount of sieving and analyze the relations in this sample. We randomly generate relations according to the relevant distribution as observed in the sample and process these relations. Experiments show that our predictions of the number of necessary relations are within 2% of the number of relations needed in the real factorization. Show less
