-
Connectivity of Markoff mod-p graphs and maximal divisors
Authors:
Jillian Eddy,
Elena Fuchs,
Matthew Litman,
Daniel Martin,
Nico Tripeny
Abstract:
Markoff mod-$p$ graphs are conjectured to be connected for all primes $p$. In this paper, we use results of Chen and Bourgain, Gamburd, and Sarnak to confirm the conjecture for all $p > 3.448\cdot10^{392}$. We also provide a method that quickly verifies connectivity for many primes below this bound. In our study of Markoff mod-$p$ graphs we introduce the notion of \emph{maximal divisors} of a numb…
▽ More
Markoff mod-$p$ graphs are conjectured to be connected for all primes $p$. In this paper, we use results of Chen and Bourgain, Gamburd, and Sarnak to confirm the conjecture for all $p > 3.448\cdot10^{392}$. We also provide a method that quickly verifies connectivity for many primes below this bound. In our study of Markoff mod-$p$ graphs we introduce the notion of \emph{maximal divisors} of a number. We prove sharp asymptotic and explicit upper bounds on the number of maximal divisors, which ultimately improves the Markoff graph $p$-bound by roughly 140 orders of magnitude as compared with an approach using all divisors.
△ Less
Submitted 15 August, 2023;
originally announced August 2023.
-
Every arithmetic progression contains infinitely many $b$-Niven numbers
Authors:
Joshua Harrington,
Matthew Litman,
Tony W. H. Wong
Abstract:
For an integer $b\geq 2$, a positive integer is called a $b$-Niven number if it is a multiple of the sum of the digits in its base-$b$ representation. In this article, we show that every arithmetic progression contains infinitely many $b$-Niven numbers.
For an integer $b\geq 2$, a positive integer is called a $b$-Niven number if it is a multiple of the sum of the digits in its base-$b$ representation. In this article, we show that every arithmetic progression contains infinitely many $b$-Niven numbers.
△ Less
Submitted 11 March, 2023;
originally announced March 2023.
-
Orbits on K3 Surfaces of Markoff Type
Authors:
Elena Fuchs,
Matthew Litman,
Joseph H. Silverman,
Austin Tran
Abstract:
Let $\mathcal{W}\subset\mathbb{P}^1\times\mathbb{P}^1\times\mathbb{P}^1$ be a surface given by the vanishing of a $(2,2,2)$-form. These surfaces admit three involutions coming from the three projections $\mathcal{W}\to\mathbb{P}^1\times\mathbb{P}^1$, so we call them $\textit{tri-involutive K3 (TIK3) surfaces}$. By analogy with the classical Markoff equation, we say that $\mathcal{W}$ is of…
▽ More
Let $\mathcal{W}\subset\mathbb{P}^1\times\mathbb{P}^1\times\mathbb{P}^1$ be a surface given by the vanishing of a $(2,2,2)$-form. These surfaces admit three involutions coming from the three projections $\mathcal{W}\to\mathbb{P}^1\times\mathbb{P}^1$, so we call them $\textit{tri-involutive K3 (TIK3) surfaces}$. By analogy with the classical Markoff equation, we say that $\mathcal{W}$ is of $\textit{Markoff type (MK3)}$ if it is symmetric in its three coordinates and invariant under double sign changes. An MK3 surface admits a group of automorphisms $\mathcal{G}$ generated by the three involutions, coordinate permutations, and sign changes. In this paper we study the $\mathcal{G}$-orbit structure of points on TIK3 and MK3 surfaces. Over finite fields, we study fibral connectivity and the existence of large orbits, analogous to work of Bourgain, Gamburd, Sarnak and others for the classical Markoff equation. For a particular $1$-parameter family of MK3 surfaces $\mathcal{W}_k$, we compute the full $\mathcal{G}$-orbit structure of $\mathcal{W}_k(\mathbb{F}_p)$ for all primes $p\le113$, and we use this data as a guide to find many finite $\mathcal{G}$-orbits in $\mathcal{W}_k(\mathbb{C})$, including a family of orbits of size $288$ parameterized by a curve of genus $9$.
△ Less
Submitted 15 September, 2022; v1 submitted 29 January, 2022;
originally announced January 2022.
-
Asymptotic Density of Apollonian-Type Packings
Authors:
Matthew Litman,
Arseniy Sheydvasser
Abstract:
We consider two seemingly unconnected problems: first, under what circumstances are arithmetic groups like SL(2,O) generated by elementary matrices; second, when do certain classes of circle/sphere packings fill up space? We show that these are in fact deeply related, leading to some new results, new proofs of old results, and interesting conjectures.
We consider two seemingly unconnected problems: first, under what circumstances are arithmetic groups like SL(2,O) generated by elementary matrices; second, when do certain classes of circle/sphere packings fill up space? We show that these are in fact deeply related, leading to some new results, new proofs of old results, and interesting conjectures.
△ Less
Submitted 13 August, 2021;
originally announced August 2021.
-
A Cryptographic Hash Function from Markoff Triples
Authors:
Elena Fuchs,
Kristin Lauter,
Matthew Litman,
Austin Tran
Abstract:
Cryptographic hash functions from expander graphs were proposed by Charles, Goren, and Lauter in [CGL] based on the hardness of finding paths in the graph. In this paper, we propose a new candidate for a hash function based on the hardness of finding paths in the graph of Markoff triples modulo p. These graphs have been studied extensively in number theory and various other fields, and yet finding…
▽ More
Cryptographic hash functions from expander graphs were proposed by Charles, Goren, and Lauter in [CGL] based on the hardness of finding paths in the graph. In this paper, we propose a new candidate for a hash function based on the hardness of finding paths in the graph of Markoff triples modulo p. These graphs have been studied extensively in number theory and various other fields, and yet finding paths in the graphs remains difficult. We discuss the hardness of finding paths between points, based on the structure of the Markoff graphs. We investigate several possible avenues for attack and estimate their running time to be greater than O(p). In particular, we analyze a recent groundbreaking proof in [BGS1] that such graphs are connected and discuss how this proof gives an algorithm for finding paths
△ Less
Submitted 27 November, 2021; v1 submitted 22 July, 2021;
originally announced July 2021.
-
Residue sums of Dickson polynomials over finite fields
Authors:
Thomas Brazelton,
Joshua Harrington,
Matthew Litman,
Tony W. H. Wong
Abstract:
Given a polynomial with integral coefficients, one can inquire about the possible residues it can take in its image modulo a prime $p$. The sum over the distinct residues can sometimes be computed independent of the prime $p$; for example, Gauss showed that the sum over quadratic residues vanishes modulo a prime. In this paper we provide a closed form for the sum over distinct residues in the imag…
▽ More
Given a polynomial with integral coefficients, one can inquire about the possible residues it can take in its image modulo a prime $p$. The sum over the distinct residues can sometimes be computed independent of the prime $p$; for example, Gauss showed that the sum over quadratic residues vanishes modulo a prime. In this paper we provide a closed form for the sum over distinct residues in the image of Dickson polynomials of arbitrary degree over finite fields of odd characteristic, and prove a complete characterization of the size of the image set. Our result provides the first non-trivial classification of such a sum for a family of polynomials of unbounded degree.
△ Less
Submitted 10 February, 2022; v1 submitted 16 March, 2021;
originally announced March 2021.
-
Möbius Disjointness for Skew Products on the Heisenberg Nilmanifold
Authors:
Matthew Litman,
Zhiren Wang
Abstract:
We prove that the Möbius function is disjoint to all Lipschitz continuous skew product dynamical systems on the 3-dimensional Heisenberg nilmanifold over a minimal rotation of the 2-dimensional torus.
We prove that the Möbius function is disjoint to all Lipschitz continuous skew product dynamical systems on the 3-dimensional Heisenberg nilmanifold over a minimal rotation of the 2-dimensional torus.
△ Less
Submitted 24 July, 2017;
originally announced July 2017.