Related papers: A survey on recursive towers and Ihara's constant
Let X be a subshift satisfy non-uniform structure. In this paper, we give quantitative estimate of the recurrence sets. These results can be applied to a large class of symbolic systems, including beta-shifts, S-gap shifts and their…
We introduce a ``non-orientable'' variation of Serre's definition of a graph, which we call an abstract isogeny graph. These objects capture the combinatorics of the graphs $G(p,\ell,H)$, the $\ell$-isogeny graphs of supersingular elliptic…
We discuss the towers of finite \'etale covers which were essentially introduced by A.Tamagawa. The statement about correspondence between sections and cofinal towers is a folklore but perhaps not in a very explicit form. The last section…
These are the notes from a course of five lectures at the 2009 Park City Math Institute. The focus is on elliptic curves over function fields over finite fields. In the first three lectures, we explain the main classical results (mainly due…
Primitive recursion, mu-recursion, universal object and universe theories, complexity controlled iteration, code evaluation, soundness, decidability, G\"odel incompleteness theorems, inconsistency provability for set theory, constructive…
A key ingredient in the Taylor-Wiles proof of Fermat last theorem is the classical Ihara's lemma which is used to rise the modularity property between some congruent galoisian representations. In their work on Sato-Tate,…
We use the notion of an Etesi $C^*$-algebra to prove that the real class field towers are always finite.
We define a new weighted zeta function for a finite digraph and obtain its determinant expression called the Ihara expression. The graph zeta function is a generalization of the weighted graph zeta function introduced in previous research.…
We introduce and consider a certain probability question involving elementary number theory and the likelihood that a fixed prime will appear in a certain recursively defined factorization of an integer. We derive several convergent…
About 20 years ago, J-P.~Serre announced a bound on the trace of elements of compact Lie groups under the adjoint representation together with related results, provided indications of his proofs, and invited a better proof. This note…
In this note we study the convergence of recursively defined infinite series. We explore the role of the derivative of the defining function at the origin (if it exists), and develop a comparison test for such series which can be used even…
Recent developments in quantum gravity suggest that wormholes may influence the observed values of the constants of nature. The Euclidean formulation of quantum gravity predicts that wormholes induce a probability distribution in the space…
Let $\ell$ be a rational prime. Previously, abelian $\ell$-towers of multigraphs were introduced which are analogous to $\mathbb{Z}_{\ell}$-extensions of number fields. It was shown that for a certain class of towers of bouquets, the growth…
In this note, we review the recent developments in the string field theory in the temporal gauge. (Based on a talk presented by N.I. in the workshop {\it Quantum Field Theory, Integrable Models and Beyond}, Yukawa Institute for Theoretical…
Recently delivered lectures on Self-Referential Mathematics, [2], at the Department of Mathematics and Applied Mathematics, University of Pretoria, are briefly presented. Comments follow on the subject, as well as on Inconsistent…
These are course notes I wrote for my Fall 2013 graduate topics course on geometric structures, taught at ICERM. The notes rework many of proofs in William P. Thurston's beautiful but hard-to-understand paper, "Shapes of Polyhedra". A…
Under the fundamental theorem of arithmetic, any integer $n>1$ can be uniquely written as a product of prime powers $p^a$; factoring each exponent $a$ as a product of prime powers $q^b$, and so on, one will obtain what is called the tower…
This paper examines the completion of an w-ordered sequence of recursive definitions which on the one hand defines an increasing sequence of nested set and on the other redefines successively a numeric variable as the cardinal of the…
In this paper, we discover a new noncommutative algebra. We refer this algebra as the constant term algebra of type $A$, which is generated by certain constant term operators. We characterize a structural result of this algebra by…
A basis of the ideal of the complement of a linear subspace in a projective space over a finite field is given. As an application, the second largest number of points of plane curves of degree $d$ over the finite field of $q$ elements is…