arXiv subjects

Steven J. Miller

Publications and source records attributed to Steven J. Miller.

At least 73 records · Page 4Linked to original sources

arXiv2024

A Random Matrix Model for a Family of Cusp Forms

The Katz-Sarnak philosophy states that statistics of zeros of $L$-function families near the central point as the conductors tend to infinity agree with those of eigenvalues of random matrix ensembles as the matrix size tends to infinity. While numerous results support this conjecture, S. J. Miller observed that for finite conductors, very different behavior can occur for zeros near the central point in elliptic curve $L$-function families. This led to the creation of the excised model of Dueñez, Huynh, Keating, Miller, and Snaith, whose predictions for quadratic twists of a given elliptic curve are well fit by the data. The key ingredients are relating the discretization of central values of the $L$-functions to excising matrices based on the value of the characteristic polynomials at 1 and using lower order terms (in statistics such as the one-level density and pair-correlation) to adjust the matrix size. We extended this model for a family of twists of an $L$-function associated to a given holomorphic cuspidal newform of odd prime level and arbitrary weight. We derive the corresponding "effective" matrix size for a given form by computing the one-level density and pair-correlation statistics for a chosen family of twists, and we show there is no repulsion for forms with weight greater than 2 and principal nebentype. We experimentally verify the accuracy of the model, and as expected, our model recovers the elliptic curve model.

math.NT↗

arXiv2024

Applications of Moments of Dirichlet Coefficients in Elliptic Curve Families

The moments of the coefficients of elliptic curve L-functions are related to numerous arithmetic problems. Rosen and Silverman proved a conjecture of Nagao relating the first moment of one-parameter families satisfying Tate's conjecture to the rank of the corresponding elliptic surface over Q(T); one can also construct families of moderate rank by finding families with large first moments. Michel proved that if j(T) is not constant, then the second moment of the family is of size p^2 + O(p^(3/2)); these two moments show that for suitably small support the behavior of zeros near the central point agree with that of eigenvalues from random matrix ensembles, with the higher moments impacting the rate of convergence. In his thesis, Miller noticed a negative bias in the second moment of every one-parameter family of elliptic curves over the rationals whose second moment had a calculable closed-form expression, specifically the first lower order term which does not average to zero is on average negative. This Bias Conjecture is confirmed for many families; however, these are highly non-generic families whose resulting Legendre sums can be determined. Inspired by the recent successes by Yang-Hui He, Kyu-Hwan Lee, Thomas Oliver, Alexey Pozdnyakov and others in investigations of murmurations of elliptic curve coefficients with machine learning techniques, we pose a similar problem for trying to understand the Bias Conjecture. As a start to this program, we numerically investigate the Bias Conjecture for a family whose bias is positive for half the primes. Since the numerics do not offer conclusive evidence that negative bias for the other half is enough to overwhelm the positive bias, the Bias Conjecture cannot be verified for the family.

math.NT↗

arXiv2024

Upper Bounds for the Lowest First Zero in Families of Cuspidal Newforms

Assuming the Generalized Riemann Hypothesis, the non-trivial zeros of $L$-functions lie on the critical line with the real part $1/2$. We find an upper bound of the lowest first zero in families of even cuspidal newforms of prime level tending to infinity. We obtain explicit bounds using the $n$-level densities and results towards the Katz-Sarnak density conjecture. We prove that as the level tends to infinity, there is at least one form with a normalized zero within $1/4$ of the average spacing. We also obtain the first-ever bounds on the percentage of forms in these families with a fixed number of zeros within a small distance near the central point.

math.NT↗

arXiv2024

$v$-Palindromes: An Analogy to the Palindromes

Around the year 2007, one of the authors, Tsai, accidentally discovered a property of the number $198$ he saw on the license plate of a car. Namely, if we take $198$ and its reversal $891$, which have prime factorizations $198 = 2\cdot 3^2\cdot 11$ and $891 = 3^4\cdot 11$ respectively, and sum the numbers appearing in each factorization getting $2+3+2+11 = 18$ and $3+4+11 = 18$, both sums are $18$. Such numbers were later named $v$-palindromes because they can be viewed as an analogy to the usual palindromes. In this article, we introduce the concept of a $v$-palindrome in base $b$ and prove their existence for infinitely many bases. We also exhibit infinite families of $v$-palindromes in bases $p+1$ and $p^2+1$, for each odd prime $p$. Finally, we collect some conjectures and problems involving $v$-palindromes.

math.HO↗

arXiv2024

A Survey of a Random Matrix Model for a Family of Cusp Forms

The Katz-Sarnak philosophy states that statistics of zeros of $L$-function families near the central point as the conductors tend to infinity agree with those of eigenvalues of random matrix ensembles as the matrix size tends to infinity. While numerous results support this conjecture, S. J. Miller observed that for finite conductors, very different behavior can occur for zeros near the central point in elliptic curve families. This led to the excised model of Dueñez, Huynh, Keating, Miller, and Snaith, whose predictions for quadratic twists of a given elliptic curve are beautifully fit by the data. The key ingredients are relating the discretization of central values of the $L$-functions to excising matrices based on the value of the characteristic polynomials at 1 and using lower order terms (in statistics such as the one-level density and pair-correlation) to adjust the matrix size. We discuss recent successes by the authors in extending this model to a family of quadratic twists of finite conductor of a given holomorphic cuspidal newform of level an odd prime level. In particular, we predict very little repulsion for forms with weight greater than 2.

math.NT↗

arXiv2024

Walking to Infinity Along Some Number Theory sequences

An interesting open conjecture asks whether it is possible to walk to infinity along primes, where each term in the sequence has one digit more than the previous. We present different greedy models for prime walks to predict the long-time behavior of the trajectories of orbits, one of which has similar behavior to the actual backtracking one. Furthermore, we study the same conjecture for square-free numbers, which is motivated by the fact that they have a strictly positive density, as opposed to primes. We introduce stochastic models and analyze the walks' expected length and frequency of digits added. Lastly, we prove that it is impossible to walk to infinity in other important number-theoretical sequences or on primes in different bases.

math.NT↗

arXiv2024

Limiting Behavior in Missing Sums of Sumsets

We study $|A + A|$ as a random variable, where $A \subseteq \{0, \dots, N\}$ is a random subset such that each $0 \le n \le N$ is included with probability $0 < p < 1$, and where $A + A$ is the set of sums $a + b$ for $a,b$ in $A$. Lazarev, Miller, and O'Bryant studied the distribution of $2N + 1 - |A + A|$, the number of summands not represented in $A + A$ when $p = 1/2$. A recent paper by Chu, King, Luntzlara, Martinez, Miller, Shao, Sun, and Xu generalizes this to all $p\in (0,1)$, calculating the first and second moments of the number of missing summands and establishing exponential upper and lower bounds on the probability of missing exactly $n$ summands, mostly working in the limit of large $N$. We provide exponential bounds on the probability of missing at least $n$ summands, find another expression for the second moment of the number of missing summands, extract its leading-order behavior in the limit of small $p$, and show that the variance grows asymptotically slower than the mean, proving that for small $p$, the number of missing summands is very likely to be near its expected value.

math.NT↗

arXiv2024

Avoiding 3-Term Geometric Progressions in Hurwitz Quaternions

Several recent papers have considered the problem of how large a subset of integers can be without containing any 3-term geometric progressions. This problem has also recently been generalized to rings of integers in quadratic number fields and polynomial rings over finite fields. We study the analogous problem in the Hurwitz quaternion order to see how non-commutativity affects the problem. We compute an exact formula for the density of a 3-term geometric-progression-free set of Hurwitz quaternions arising from a greedy algorithm and derive upper and lower bounds for the supremum of upper densities of 3-term geometric-progression-free sets of Hurwitz quaternions.

math.CO↗

arXiv2023

From Quantum Systems to L-Functions: Pair Correlation Statistics and Beyond

The discovery of connections between the distribution of energy levels of heavy nuclei and spacings between prime numbers has been one of the most surprising and fruitful observations in the twentieth century. The connection between the two areas was first observed through Montgomery's work on the pair correlation of zeros of the Riemann zeta function. As its generalizations and consequences have motivated much of the following work, and to this day remains one of the most important outstanding conjectures in the field, it occupies a central role in our discussion below. We describe some of the many techniques and results from the past sixty years, especially the important roles played by numerical and experimental investigations, that led to the discovery of the connections and progress towards understanding the behaviors. In our survey of these two areas, we describe the common mathematics that explains the remarkable universality. We conclude with some thoughts on what might lie ahead in the pair correlation of zeros of the zeta function, and other similar quantities.

math.NT↗

arXiv2023

The Reversed Zeckendorf Game

Zeckendorf proved that every natural number $n$ can be expressed uniquely as a sum of non-consecutive Fibonacci numbers, called its Zeckendorf decomposition. Baird-Smith, Epstein, Flint, and Miller created the Zeckendorf game, a two-player game played on partitions of $n$ into Fibonacci numbers which always terminates at a Zeckendorf decomposition, and proved that Player 2 has a winning strategy for $n\geq 3$. Since their proof was non-constructive, other authors have studied the game to find a constructive winning strategy, and lacking success there turned to related problems. For example, Cheigh, Moura, Jeong, Duke, Milgrim, Miller, and Ngamlamai studied minimum and maximum game lengths and randomly played games. We explore a new direction and introduce the reversed Zeckendorf game, which starts at the ending state of the Zeckendorf game and flips all the moves, so the reversed game ends with all pieces in the first bin. We show that Player 1 has a winning strategy for $n = F_{i+1} + F_{i-2}$ and solve various modified games.

math.CO↗

arXiv2023

Sums of Powers of Primes in Arithmetic Progression

Gerard and Washington proved that, for $k > -1$, the number of primes less than $x^{k+1}$ can be well approximated by summing the $k$-th powers of all primes up to $x$. We extend this result to primes in arithmetic progressions: we prove that the number of primes $p\equiv n \pmod m$ less than $x^{k+1}$ is asymptotic to the sum of $k$-th powers of all primes $p\equiv n \pmod m$ up to $x$. We prove that the prime power sum approximation tends to be an underestimate for positive $k$ and an overestimate for negative $k$, and quantify for different values of $k$ how well the approximation works for $x$ between $10^4$ and $10^8.$

math.NT↗

arXiv2023

Dynamics of the Fibonacci Order of Appearance Map

The \textit{order of appearance} $ z(n) $ of a positive integer $ n $ in the Fibonacci sequence is defined as the smallest positive integer $ j $ such that $ n $ divides the $ j $-th Fibonacci number. A \textit{fixed point} arises when, for a positive integer $ n $, we have that the $ n^{\text{th}} $ Fibonacci number is the smallest Fibonacci that $ n $ divides. In other words, $ z(n) = n $. In 2012, Marques proved that fixed points occur only when $ n $ is of the form $ 5^{k} $ or $ 12\cdot5^{k} $ for all non-negative integers $ k $. It immediately follows that there are infinitely many fixed points in the Fibonacci sequence. We prove that there are infinitely many integers that iterate to a fixed point in exactly $ k $ steps. In addition, we construct infinite families of integers that go to each fixed point of the form $12 \cdot 5^{k}$. We conclude by providing an alternate proof that all positive integers $n$ reach a fixed point after a finite number of iterations.

math.NT↗

arXiv2023

Generalized Continuous and Discrete Stick Fragmentation and Benford's Law

Inspired by the basic stick fragmentation model proposed by Becker et al. in arXiv:1309.5603v4, we consider three new versions of such fragmentation models, namely, continuous with random number of parts, continuous with probabilistic stopping, and discrete with congruence stopping conditions. In all of these situations, we state and prove precise conditions for the ending stick lengths to obey Benford's law when taking the appropriate limits. We introduce the aggregated limit, necessary to guarantee convergence to Benford's law in the latter two models. We also show that resulting stick lengths are non-Benford when our conditions are not met. Moreover, we give a sufficient condition for a distribution to satisfy the Mellin transform condition introduced in arXiv:0805.4226v2, yielding a large family of examples.

math.PR↗

arXiv2023

Benford's Law under Zeckendorf expansion

In the literature, Benford's Law is considered for base-b expansions where b>1 is an integer. In this paper, we investigate the distribution of leading "digits" of a sequence of positive integers under other expansions such as Zeckendorf expansion, and declare what Benford's Law should be under generalized Zeckendorf expansion.

math.NT↗

arXiv2023

Recurrence Relations for $S$-Legal Index Difference Sequences

Zeckendorf's Theorem implies that the Fibonacci number $F_n$ is the smallest positive integer that cannot be written as a sum of non-consecutive previous Fibonacci numbers. Catral et al. studied a variation of the Fibonacci sequence, the Fibonacci Quilt sequence: the plane is tiled using the Fibonacci spiral, and integers are assigned to the squares of the spiral such that each square contains the smallest positive integer that cannot be expressed as the sum of non-adjacent previous terms. This adjacency is essentially captured in the differences of the indices of each square: the $i$-th and $j$-th squares are adjacent if and only if $|i - j| \in \{1, 3, 4\}$ or $\{i, j\} = \{1, 3\}$. We consider a generalization of this construction: given a set of positive integers $S$, the $S$-legal index difference ($S$-LID) sequence $(a_n)_{n=1}^\infty$ is defined by letting $a_n$ to be the smallest positive integer that cannot be written as $\sum_{\ell \in L} a_\ell$ for some set $L \subset [n-1]$ with $|i - j| \notin S$ for all $i, j \in L$. We discuss our results governing the growth of $S$-LID sequences, as well as results proving that many families of sets $S$ yield $S$-LID sequences which follow simple recurrence relations.

math.NT↗

arXiv2023

Benford Behavior of a Higher-Dimensional Fragmentation Process

Nature and our world have a bias! Roughly $30\%$ of the time the number $1$ occurs as the leading digit in many datasets base $10$. This phenomenon is known as Benford's law and it arrises in diverse fields such as the stock market, optimizing computers, street addresses, Fibonacci numbers, and is often used to detect possible fraud. Based on previous work, we know that different forms of a one-dimensional stick fragmentation result in pieces whose lengths follow Benford's Law. We generalize this result and show that this can be extended to any finite-dimensional ``volume''. We further conjecture that even lower-dimensional volumes, under the unrestricted fragmentation process, follow Benford's Law.

math.PR↗

arXiv2023

VC-Dimension and Distance Chains in $\mathbb{F}_q^d$

Given a domain $X$ and a collection $\mathcal{H}$ of functions $h:X\to \{0,1\}$, the Vapnik-Chervonenkis (VC) dimension of $\mathcal{H}$ measures its complexity in an appropriate sense. In particular, the fundamental theorem of statistical learning says that a hypothesis class with finite VC-dimension is PAC learnable. Recent work by Fitzpatrick, Wyman, the fourth and seventh named authors studied the VC-dimension of a natural family of functions $\mathcal{H}_t^{'2}(E): \mathbb{F}_q^2\to \{0,1\}$, corresponding to indicator functions of circles centered at points in a subset $E\subseteq \mathbb{F}_q^2$. They showed that when $|E|$ is large enough, the VC-dimension of $\mathcal{H}_t^{'2}(E)$ is the same as in the case that $E = \mathbb F_q^2$. We study a related hypothesis class, $\mathcal{H}_t^d(E)$, corresponding to intersections of spheres in $\mathbb{F}_q^d$, and ask how large $E\subseteq \mathbb{F}_q^d$ needs to be to ensure the maximum possible VC-dimension. We resolve this problem in all dimensions, proving that whenever $|E|\geq C_dq^{d-1/(d-1)}$ for $d\geq 3$, the VC-dimension of $\mathcal{H}_t^d(E)$ is as large as possible. We get a slightly stronger result if $d=3$: this result holds as long as $|E|\geq C_3 q^{7/3}$. Furthermore, when $d=2$ the result holds when $|E|\geq C_2 q^{7/4}$.

math.CO↗

arXiv2023

VC-Dimension of Hyperplanes over Finite Fields

Let $\mathbb{F}_q^d$ be the $d$-dimensional vector space over the finite field with $q$ elements. For a subset $E\subseteq \mathbb{F}_q^d$ and a fixed nonzero $t\in \mathbb{F}_q$, let $\mathcal{H}_t(E)=\{h_y: y\in E\}$, where $h_y$ is the indicator function of the set $\{x\in E: x\cdot y=t\}$. Two of the authors, with Maxwell Sun, showed in the case $d=3$ that if $|E|\geq Cq^{\frac{11}{4}}$ and $q$ is sufficiently large, then the VC-dimension of $\mathcal{H}_t(E)$ is 3. In this paper, we generalize the result to arbitrary dimension and improve the exponent in the case $d=3$.

math.CO↗