Hakan Ayral | Searcharxiv

arXiv2018

Testing the transcendence conjectures of a modular involution of the real line and its continued fraction statistics

We study the values of the recently introduced involution J (jimm) of the real line, which is equivariant with the action of the group PGL(2,Z). We test our conjecture that this involution sends algebraic numbers of degree at least three to transcendental values. We also deduce some theoretical results concerning the continued fraction statistics of the generic values of this involution and compare them with the experimental results.

math.NT↗

arXiv2017

A subtle symmetry of Lebesgue's measure

We represent the Lebesgue measure on the unit interval as a boundary measure of the Farey tree and show that this representation has a certain symmetry related to the tree automorphism induced by Dyer's outer automorphism of the group PGL(2,Z). Our approach gives rise to three new measures on the unit interval which are possibly of arithmetic significance.

math.NT↗

arXiv2017

Parallel and in-process compilation of individuals for genetic programming on GPU

Three approaches to implement genetic programming on GPU hardware are compilation, interpretation and direct generation of machine code. The compiled approach is known to have a prohibitive overhead compared to other two. This paper investigates methods to accelerate compilation of individuals for genetic programming on GPU hardware. We apply in-process compilation to minimize the compilation overhead at each generation; and we investigate ways to parallelize in-process compilation. In-process compilation doesn't lend itself to trivial parallelization with threads; we propose a multiprocess parallelization using memory sharing and operating systems interprocess communication primitives. With parallelized compilation we achieve further reductions on compilation overhead. Another contribution of this work is the code framework we built in C# for the experiments. The framework makes it possible to build arbitrary grammatical genetic programming experiments that run on GPU with minimal extra coding effort, and is available as open source.

cs.NE↗

arXiv2017

Dynamics of a family of continued fraction maps

We study the dynamics of a family of continued fraction maps parametrized by the unit interval. This family contains as special instances the Gauss continued fraction map and the Fibonacci map. We determine the transfer operators of these dynamical maps and make a preliminary study of them. We show that their analytic invariant measures obeys a common functional equation generalizing Lewis' functional equation and we find invariant measures for some members of the family. We also discuss a certain involution of this family which sends the Gauss map to the Fibonacci map.

math.DS↗

arXiv2017

InfoMod: A visual and computational approach to Gauss' binary quadratic forms

InfoMod is a new software and application devoted to the modular group, PSL2(Z). It has algorithms that deals with the classical correspondences among continued fractions, geodesics on the modular surface and binary quadratic forms. In addition the software implements the recently discovered representation of Gauss' indefinite binary quadratic forms and their classes in terms of certain infinite planar graphs (dessins) called çarks. InfoMod illustrates various aspects of these forms, i.e. Gauss' reduction algorithm, the representation problem of forms, ambiguous and reciprocal forms. It can be used as an educational tool, and might be used to explore some new facts about these objects.

math.NT↗

arXiv2016

On the involution of the real line induced by Dyer's outer automorphism of PGL(2,Z)

We study the involution of the real line induced by the outer automorphism of the extended modular group PGL(2,Z). This `modular' involution is discontinuous at rationals but satisfies a surprising collection of functional equations. It preserves the set of real quadratic irrationals mapping them in a non-obvious way to each other. It commutes with the Galois action on real quadratic irrationals. More generally, it preserves set-wise the orbits of the modular group, thereby inducing an involution of the moduli space of real rank-two lattices. We give a description of this involution as the boundary action of a certain automorphism of the infinite trivalent tree. It is conjectured that algebraic numbers of degree at least three are mapped to transcendental numbers under this involution.

math.AG↗

arXiv2015

Jimm, a Fundamental Involution

We study the involution of the real line induced by the outer automorphism of the extended modular group PGL(2,Z). This `modular' involution is discontinuous at rationals but satisfies a surprising collection of functional equations. It preserves the set of real quadratic irrationalities mapping them in a highly non-obvious way to each other. It commutes with the Galois action on real quadratic irrationals. More generally, it preserves set-wise the orbits of the modular group, thereby inducing an involution of the moduli space of real rank-two lattices. It induces a duality of Beatty partitions of the set of positive integers. This involution conjugates (though not topologically) the Gauss' continued fraction map to an intermittent dynamical system on the unit interval with an infinite invariant measure. The transfer operator (resp. the functional equation) naturally associated to this dynamical system is closely related to the Mayer transfer operator (resp. the Lewis' functional equation). We give a description of this involution as the boundary action of a certain automorphism of the infinite trivalent tree. We prove that its derivative exists and vanishes almost everywhere. It is conjectured that algebraic numbers of degree at least three are mapped to transcendental numbers under this involution.

math.NT↗