Abstract We show that if an eventually positive, non-arithmetic, locally Hölder continuous potential for a topologically mixingcountable Markov shift with (BIP) has an entropy gap at infinity,then one may apply the renewal theorem of Kesseböhmer and Kombrink to obtain counting and equidistributionresults. We apply these general results to obtain counting and equidistribution results for cusped Hitchinrepresentations, and more generally for cusped Anosov representations of geometrically finite Fuchsian groups.
more »
« less
Improved computation of fundamental domains for arithmetic Fuchsian groups
A practical algorithm to compute the fundamental domain of an arithmetic Fuchsian group was given by Voight, and implemented in Magma. It was later expanded by Page to the case of arithmetic Kleinian groups. We combine and improve on parts of both algorithms to produce a more efficient algorithm for arithmetic Fuchsian groups. This algorithm is implemented in PARI/GP, and we demonstrate the improvements by comparing running times versus the live Magma implementation.
more »
« less
- Award ID(s):
- 1652238
- PAR ID:
- 10352290
- Date Published:
- Journal Name:
- Mathematics of Computation
- ISSN:
- 0025-5718
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
We prove that certain Fuchsian triangle groups are profinitely rigid in the absolute sense, i.e. each is distinguished from all other finitely generated, residually finite groups by its set of finite quotients. We also develop a method based on character varieties that can be used to distinguish between the profinite completions of certain groups.more » « less
-
null (Ed.)We prove the Ax-Lindemann-Weierstrass theorem with derivatives for the uniformizing functions of genus zero Fuchsian groups of the first kind. Our proof relies on differential Galois theory, monodromy of linear differential equations, the study of algebraic and Liouvillian solutions, differential algebraic work of Nishioka towards the Painlevé irreducibility of certain Schwarzian equations, and considerable machinery from the model theory of differentially closed fields. Our techniques allow for certain generalizations of the Ax-Lindemann-Weierstrass theorem that have interesting consequences. In particular, we apply our results to give a complete proof of an assertion of Painlevé (1895). We also answer certain cases of the André-Pink conjecture, namely, in the case of orbits of commensurators of Fuchsian groups.more » « less
-
Abstract We prove that the hitting measure is singular with respect to the Lebesgue measure for random walks driven by finitely supported measures on cocompact, hyperelliptic Fuchsian groups. Moreover, the Hausdorff dimension of the hitting measure is strictly less than one. Equivalently, the inequality between entropy and drift is strict. A similar statement is proven for Coxeter groups.more » « less
-
We describe UMA (Unified Model of Arithmetic), a theory of children’s arithmetic implemented as a computational model. UMA extends a theory of fraction arithmetic (Braithwaite et al., 2017) to include arithmetic with whole numbers and decimals. We evaluated UMA in the domain of decimal arithmetic by training the model on problems from a math textbook series, then testing it on decimal arithmetic problems that were solved by 6th and 8th graders in a previous study. UMA’s test performance closely matched that of children, supporting three assumptions of the theory: (1) most errors reflect small deviations from standard procedures, (2) between-problem variations in error rates reflect the distribution of input that learners receive, and (3) individual differences in strategy use reflect underlying variation in learning parameters.more » « less
An official website of the United States government

