-
On the Within-perfect Numbers
Authors:
Chung-Hang Kwan,
Steven J. Miller
Abstract:
Motivated by the works of Erdös, Pomerance, Wolke and Harman on the sum-of-divisor function $σ(n)$, we study the distribution of a special class of natural numbers closely related to (multiply) perfect numbers which we term `$(\ell;k)$-within-perfect numbers', where $\ell >1$ is a real number and $k: [1, \infty) \rightarrow (0, \infty)$ is an increasing and unbounded function.
Motivated by the works of Erdös, Pomerance, Wolke and Harman on the sum-of-divisor function $σ(n)$, we study the distribution of a special class of natural numbers closely related to (multiply) perfect numbers which we term `$(\ell;k)$-within-perfect numbers', where $\ell >1$ is a real number and $k: [1, \infty) \rightarrow (0, \infty)$ is an increasing and unbounded function.
△ Less
Submitted 10 June, 2024;
originally announced June 2024.
-
Upper Bounds for the Lowest First Zero in Families of Cuspidal Newforms
Authors:
Xueyiming Tang,
Steven J. Miller
Abstract:
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 tend…
▽ More
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.
△ Less
Submitted 18 May, 2024;
originally announced May 2024.
-
$v$-Palindromes: An Analogy to the Palindromes
Authors:
Chris Bispels,
Muhammet Boran,
Steven J. Miller,
Eliel Sosis,
Daniel Tsai
Abstract:
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…
▽ More
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.
△ Less
Submitted 24 April, 2024;
originally announced May 2024.
-
The German Tank Problem with Multiple Factories
Authors:
Steven J. Miller,
Kishan Sharma,
Andrew K. Yang
Abstract:
During the Second World War, estimates of the number of tanks deployed by Germany were critically needed. The Allies adopted two methods to estimate this information: espionage and statistical analysis. The latter approach was far more successful and is as follows: assuming that the tanks are sequentially numbered starting from 1, if we observe $k$ serial numbers from an unknown total of $N$ tanks…
▽ More
During the Second World War, estimates of the number of tanks deployed by Germany were critically needed. The Allies adopted two methods to estimate this information: espionage and statistical analysis. The latter approach was far more successful and is as follows: assuming that the tanks are sequentially numbered starting from 1, if we observe $k$ serial numbers from an unknown total of $N$ tanks, with the highest observed number being $M$, then the best linear unbiased estimator for $N$ is $M(1+1/k)-1$. This is now known as the German Tank Problem. Suppose one wishes to estimate the productivity of a rival by inspecting captured or destroyed tanks, each with a unique serial number. In many situations, the original German Tank Problem is insufficient, since typically there are $l>1$ factories, and tanks produced by different factories may have serial numbers in disjoint ranges that are often far separated, let alone sequentially numbered starting from 1. We wish to estimate the total tank production across all of the factories. We construct an efficient procedure to estimate the total productivity and prove that our procedure effectively estimates $N$ when $\log l/\log k$ is sufficiently small, and is robust against both large and small gaps between factories. In the final section, we show that given information about the gaps, we can make a far better estimator that is also effective when we have a small number of samples. When the number of samples is small compared to the number of gaps, the Mean Squared Error of this new estimator is several orders of magnitude smaller than the one that assumes no information. This quantifies the importance of hiding such information if one wishes to conceal their productivity from a rival.
△ Less
Submitted 11 April, 2024; v1 submitted 21 March, 2024;
originally announced March 2024.
-
A Survey of a Random Matrix Model for a Family of Cusp Forms
Authors:
Owen Barrett,
Zoë X. Batterman,
Aditya Jambhale,
Steven J. Miller,
Akash L. Narayanan,
Kishan Sharma,
Chris Yao
Abstract:
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 po…
▽ More
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.
△ Less
Submitted 17 April, 2024; v1 submitted 28 January, 2024;
originally announced February 2024.
-
Limiting Behavior in Missing Sums of Sumsets
Authors:
Aditya Jambhale,
Rauan Kaldybayev,
Steven J. Miller,
Chris Yao
Abstract:
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, K…
▽ More
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.
△ Less
Submitted 1 February, 2024; v1 submitted 30 January, 2024;
originally announced January 2024.
-
Applications of Moments of Dirichlet Coefficients in Elliptic Curve Families
Authors:
Zoë Batterman,
Aditya Jambhale,
Steven J. Miller,
Akash L. Narayanan,
Kishan Sharma,
Andrew Yang,
Chris Yao
Abstract:
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…
▽ More
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.
△ Less
Submitted 17 June, 2024; v1 submitted 28 November, 2023;
originally announced November 2023.
-
Sums of Powers of Primes in Arithmetic Progression
Authors:
Muhammet Boran,
John Byun,
Zhangze Li,
Steven J. Miller,
Stephanie Reyes
Abstract:
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…
▽ More
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.$
△ Less
Submitted 27 September, 2023;
originally announced September 2023.
-
Dynamics of the Fibonacci Order of Appearance Map
Authors:
Molly FitzGibbons,
Steven J. Miller,
Amanda Verga
Abstract:
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…
▽ More
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.
△ Less
Submitted 25 September, 2023;
originally announced September 2023.
-
The Reversed Zeckendorf Game
Authors:
Zoë X. Batterman,
Aditya Jambhale,
Steven J. Miller,
Akash L. Narayanan,
Kishan Sharma,
Andrew K. Yang,
Chris Yao
Abstract:
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 f…
▽ More
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.
△ Less
Submitted 4 October, 2023; v1 submitted 22 September, 2023;
originally announced September 2023.
-
On a Pair of Diophantine Equations
Authors:
Sujith Uthsara Kalansuriya Arachchi,
Hung Viet Chu,
Jiasen Liu,
Qitong Luan,
Rukshan Marasinghe,
Steven J. Miller
Abstract:
For relatively prime natural numbers $a$ and $b$, we study the two equations $ax+by = (a-1)(b-1)/2$ and $ax+by+1= (a-1)(b-1)/2$, which arise from the study of cyclotomic polynomials. Previous work showed that exactly one equation has a nonnegative solution, and the solution is unique. Our first result gives criteria to determine which equation is used for a given pair $(a,b)$. We then use the crit…
▽ More
For relatively prime natural numbers $a$ and $b$, we study the two equations $ax+by = (a-1)(b-1)/2$ and $ax+by+1= (a-1)(b-1)/2$, which arise from the study of cyclotomic polynomials. Previous work showed that exactly one equation has a nonnegative solution, and the solution is unique. Our first result gives criteria to determine which equation is used for a given pair $(a,b)$. We then use the criteria to study the sequence of equations used by the pair $(a_n/\gcd{(a_n, a_{n+1})}, a_{n+1}/\gcd{(a_n, a_{n+1})})$ from several special sequences $(a_n)_{n\geq 1}$. Finally, fixing $k \in \mathbb{N}$, we investigate the periodicity of the sequence of equations used by the pair $(k/\gcd{(k, n)}, n/\gcd{(k, n)})$ as $n$ increases.
△ Less
Submitted 1 September, 2023;
originally announced September 2023.
-
Phase Transitions for Binomial Sets Under Linear Forms
Authors:
Ryan Jeong,
Steven J. Miller
Abstract:
We generalize the study of the sum and difference sets of a subset of $\mathbb{N}$ drawn from a binomial model to the following setting. Given $A \subseteq \{0, 1, \dots, N\}$, an integer $h \geq 2$, and a linear form $L: \mathbb{Z}^h \to \mathbb{Z}$ given by $$L(x_1, \dots, x_h) = u_1x_1 + \cdots + u_hx_h, \quad u_i \in \mathbb{Z}_{\neq 0} \text{ for all } i \in [h],$$ we study the size of…
▽ More
We generalize the study of the sum and difference sets of a subset of $\mathbb{N}$ drawn from a binomial model to the following setting. Given $A \subseteq \{0, 1, \dots, N\}$, an integer $h \geq 2$, and a linear form $L: \mathbb{Z}^h \to \mathbb{Z}$ given by $$L(x_1, \dots, x_h) = u_1x_1 + \cdots + u_hx_h, \quad u_i \in \mathbb{Z}_{\neq 0} \text{ for all } i \in [h],$$ we study the size of $$L(A) = \left\{u_1a_1 + \cdots + u_ha_h : a_i \in A \right\}$$ and its complement $L(A)^c$ when each element of $\{0, 1, \dots, N\}$ is independently included in $A$ with probability $p(N)$. We identify two phase transition phenomena. The first ``global" phase transition concerns the relative sizes of $L(A)$ and $L(A)^c$, with $p(N) = N^{-\frac{h-1}{h}}$ as the threshold. Asymptotically almost surely, it holds below the threshold that almost all sums generated in $L(A)$ are distinct and almost all possible sums are in $L(A)^c$, and above the threshold that almost all possible sums are in $L(A)$. Our asymptotic formulae substantially extend work of Hegarty and Miller and completely settle, with appropriate corrections made to its statement, their conjecture from 2009. The second ``local" phase transition concerns the asymptotic behavior of the number of distinct realizations in $L(A)$ of a given value, with $p(N) = N^{-\frac{h-2}{h-1}}$ as the threshold. Specifically, it identifies (in a sharp sense) when the number of such realizations obeys a Poisson limit. Our main tools are recent results concerning the asymptotic enumeration of partitions and weak compositions, classical theorems on Poisson approximation, and the martingale machinery of Kim and Vu.
△ Less
Submitted 18 December, 2023; v1 submitted 4 September, 2023;
originally announced September 2023.
-
Generalized Continuous and Discrete Stick Fragmentation and Benford's Law
Authors:
Xinyu Fang,
Steven J. Miller,
Maxwell Sun,
Amanda Verga
Abstract:
Inspired by the basic stick fragmentation model proposed by Becker et al. in ar**, and discrete with congruence stop** conditions. In all of these situations, we state and prove precise conditions for the ending stick lengths to obey Be…
▽ More
Inspired by the basic stick fragmentation model proposed by Becker et al. in ar**, and discrete with congruence stop** 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.
△ Less
Submitted 1 September, 2023;
originally announced September 2023.
-
Benford's Law under Zeckendorf expansion
Authors:
Sungkon Chang,
Steven J. Miller
Abstract:
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.
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.
△ Less
Submitted 31 August, 2023;
originally announced September 2023.
-
Benford Behavior of a Higher-Dimensional Fragmentation Process
Authors:
Irfan Durmić,
Steven J. Miller
Abstract:
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-di…
▽ More
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.
△ Less
Submitted 14 August, 2023;
originally announced August 2023.
-
VC-Dimension of Hyperplanes over Finite Fields
Authors:
Ruben Ascoli,
Livia Betti,
Justin Cheigh,
Alex Iosevich,
Ryan Jeong,
Xuyan Liu,
Brian McDonald,
Wyatt Milgrim,
Steven J. Miller,
Francisco Romero Acosta,
Santiago Velazquez Iannuzzelli
Abstract:
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…
▽ More
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$.
△ Less
Submitted 19 July, 2023;
originally announced July 2023.
-
A characterization of prime $v$-palindromes
Authors:
Muhammet Boran,
Garam Choi,
Steven J. Miller,
Jesse Purice,
Daniel Tsai
Abstract:
An integer $n\geq 1$ is a $v$-palindrome if it is not a multiple of $10$, nor a decimal palindrome, and such that the sum of the prime factors and corresponding exponents larger than $1$ in the prime factorization of $n$ is equal to that of the integer formed by reversing the decimal digits of $n$. For example, if we take 198 and its reversal 891, their prime factorizations are…
▽ More
An integer $n\geq 1$ is a $v$-palindrome if it is not a multiple of $10$, nor a decimal palindrome, and such that the sum of the prime factors and corresponding exponents larger than $1$ in the prime factorization of $n$ is equal to that of the integer formed by reversing the decimal digits of $n$. For example, if we take 198 and its reversal 891, their prime factorizations are $198 = 2\cdot 3^2\cdot 11$ and $891 = 3^4\cdot 11$ respectively, and summing the numbers appearing in each factorization both give 18. This means that $198$ and $891$ are $v$-palindromes. We establish a characterization of prime $v$-palindromes: they are precisely the larger of twin prime pairs of the form $(5 \cdot 10^m - 3, 5 \cdot 10^m - 1)$, and thus standard conjectures on the distribution of twin primes imply that there are only finitely many prime $v$-palindromes.
△ Less
Submitted 3 July, 2023;
originally announced July 2023.
-
Extending the support of $1$- and $2$-level densities for cusp form $L$-functions under square-root cancellation hypotheses
Authors:
Annika Mauro,
Jack B. Miller,
Steven J. Miller
Abstract:
The Katz-Sarnak philosophy predicts that the behavior of zeros near the central point in families of $L$-functions agrees with that of eigenvalues near 1 of random matrix ensembles. Under GRH, Iwaniec, Luo and Sarnak showed agreement in the one-level densities for cuspidal newforms with the support of the Fourier transform of the test function in $(-2, 2)$. They increased the support further under…
▽ More
The Katz-Sarnak philosophy predicts that the behavior of zeros near the central point in families of $L$-functions agrees with that of eigenvalues near 1 of random matrix ensembles. Under GRH, Iwaniec, Luo and Sarnak showed agreement in the one-level densities for cuspidal newforms with the support of the Fourier transform of the test function in $(-2, 2)$. They increased the support further under a square-root cancellation conjecture, showing that a ${\rm GL}(1)$ estimate led to additional agreement between number theory and random matrix theory. We formulate a two-dimensional analog and show it leads to improvements in the two-level density. Specifically, we show that a square-root cancellation of certain classical exponential sums over primes increases the support of the test functions such that the main terms in the $1$- and $2$-level densities of cuspidal newforms averaged over bounded weight $k$ (and fixed level $1$) converge to their random matrix theory predictions. We also conjecture a broad class of such exponential sums where we expect improvement in the case of arbitrary $n$-level densities, and note that the arguments in [ILS] yield larger support than claimed.
△ Less
Submitted 24 May, 2023;
originally announced May 2023.
-
Benfordness of Measurements Resulting from Box Fragmentation
Authors:
Livia Betti,
Irfan Durmić,
Zoe McDonald,
Jack B. Miller,
Steven J. Miller
Abstract:
We make progress on a conjecture made by [DM], which states that the $d$-dimensional frames of $m$-dimensional boxes resulting from a fragmentation process satisfy Benford's law for all $1 \leq d \leq m$. We provide a sufficient condition for Benford's law to be satisfied, namely that the maximum product of $d$ sides is itself a Benford random variable. Motivated to produce an example of such a fr…
▽ More
We make progress on a conjecture made by [DM], which states that the $d$-dimensional frames of $m$-dimensional boxes resulting from a fragmentation process satisfy Benford's law for all $1 \leq d \leq m$. We provide a sufficient condition for Benford's law to be satisfied, namely that the maximum product of $d$ sides is itself a Benford random variable. Motivated to produce an example of such a fragmentation process, we show that processes constructed from log-uniform proportion cuts satisfy the maximum criterion for $d=1$.
△ Less
Submitted 17 April, 2023;
originally announced April 2023.
-
Schreier Multisets and the $s$-step Fibonacci Sequences
Authors:
Hung Viet Chu,
Nurettin Irmak,
Steven J. Miller,
Laszlo Szalay,
Sindy Xin Zhang
Abstract:
Inspired by the surprising relationship (due to A. Bird) between Schreier sets and the Fibonacci sequence, we introduce Schreier multisets and connect these multisets with the $s$-step Fibonacci sequences, defined, for each $s\geqslant 2$, as: $F^{(s)}_{2-s} = \cdots = F^{(s)}_0 = 0$, $F^{(s)}_1 = 1$, and $F^{(s)}_{n} = F^{(s)}_{n-1} + \cdots + F^{(s)}_{n-s}, \mbox{ for } n\geqslant 2$. Next, we u…
▽ More
Inspired by the surprising relationship (due to A. Bird) between Schreier sets and the Fibonacci sequence, we introduce Schreier multisets and connect these multisets with the $s$-step Fibonacci sequences, defined, for each $s\geqslant 2$, as: $F^{(s)}_{2-s} = \cdots = F^{(s)}_0 = 0$, $F^{(s)}_1 = 1$, and $F^{(s)}_{n} = F^{(s)}_{n-1} + \cdots + F^{(s)}_{n-s}, \mbox{ for } n\geqslant 2$. Next, we use Schreier-type conditions on multisets to retrieve a family of sequences which satisfy a recurrence of the form $a(n) = a(n-1) + a(n-u)$, with $a(n) = 1$ for $n = 1,\ldots, u$. Finally, we study nonlinear Schreier conditions and show that these conditions are related to integer decompositions, each part of which is greater than the number of parts raised to some power.
△ Less
Submitted 21 June, 2023; v1 submitted 11 April, 2023;
originally announced April 2023.
-
Sums of Powers by L'Hopital's Rule
Authors:
Eduardo Dueñez,
Asimina S. Hamakiotes,
Steven J. Miller
Abstract:
For a positive integer $d$, let $p_d(n) := 0^d + 1^d + 2^d + \cdots + n^d$, i.e., $p_d(n)$ is the sum of the first $d^{\text{th}}$-powers up to $n$. It is well known that $p_d(n)$ is a polynomial of degree $d+1$ in $n$. While this is usually proved by induction, once $d$ is not small it is a challenge as one needs to know the polynomial for the inductive step. We show how this difficulty can be by…
▽ More
For a positive integer $d$, let $p_d(n) := 0^d + 1^d + 2^d + \cdots + n^d$, i.e., $p_d(n)$ is the sum of the first $d^{\text{th}}$-powers up to $n$. It is well known that $p_d(n)$ is a polynomial of degree $d+1$ in $n$. While this is usually proved by induction, once $d$ is not small it is a challenge as one needs to know the polynomial for the inductive step. We show how this difficulty can be bypassed by giving a simple proof that $p_d(n)$ is a polynomial of degree $d+1$ in $n$ by using L'Hopital's rule, and show how we can then determine the coefficients by Cramer's rule.
△ Less
Submitted 7 February, 2023;
originally announced February 2023.
-
Virus Dynamics on $k$-Level Starlike Graphs
Authors:
Akihiro Takigawa,
Steven J. Miller
Abstract:
Becker, Greaves-Tunnell, Kontorovich, Miller, Ravikumar, and Shen determined the long term evolution of virus propagation behavior on a hub-and-spoke graph of one central node and $n$ neighbors, with edges only from the neighbors to the hub (a $2$-level starlike graph), under a variant of the discrete-time SIS (Suspectible Infected Suspectible) model. The behavior of this model is governed by the…
▽ More
Becker, Greaves-Tunnell, Kontorovich, Miller, Ravikumar, and Shen determined the long term evolution of virus propagation behavior on a hub-and-spoke graph of one central node and $n$ neighbors, with edges only from the neighbors to the hub (a $2$-level starlike graph), under a variant of the discrete-time SIS (Suspectible Infected Suspectible) model. The behavior of this model is governed by the interactions between the infection and cure probabilities, along with the number $n$ of $2$-level nodes. They proved that for any $n$, there is a critical threshold relating these rates, below which the virus dies out, and above which the probabilistic dynamical system converges to a non-trivial steady state (the probability of infection for each category of node stabilizes). For $a$, the probability at any time step that an infected node is not cured, and $b$, the probability at any time step that an infected node infects its neighbors, the threshold for the virus to die out is $b \leq (1-a)/\sqrt{n}$. We extend this analysis to $k$-level starlike graphs for $k \geq 3$ (each $(k-1)$-level node has exactly $n_k$ neighbors, and the only edges added are from the $k$-level nodes) for infection rates above and below the critical threshold of $(1-a)/\sqrt{n_1+n_2+\dots+n_{k-1}}$. We do this by first analyzing the dynamics of nodes on each level of a $3$-level starlike graph, then show that the dynamics of the nodes of a $k$-level starlike graph are similar, enabling us to reduce our analysis to just $3$ levels, using the same methodology as the $3$-level case.
△ Less
Submitted 15 December, 2022; v1 submitted 12 December, 2022;
originally announced December 2022.
-
Sums of Reciprocals of Recurrence Relations
Authors:
Hao Cui,
Xiaoyu Cui,
Sophia C. Davis,
Irfan Durmić,
Qingcheng Hu,
Lisa Liu,
Steven J. Miller,
Feng** Ren,
Alicia Smith Reina,
Eliel Sosis
Abstract:
There is a growing literature on sums of reciprocals of polynomial functions of recurrence relations with constant coefficients and fixed depth, such as Fibonacci and Tribonacci numbers, products of such numbers, and balancing numbers (numbers $n$ such that the sum of the integers less than $n$ equals the sum of the $r$ integers immediately after, for some $r$ which is called the balancer of $n$;…
▽ More
There is a growing literature on sums of reciprocals of polynomial functions of recurrence relations with constant coefficients and fixed depth, such as Fibonacci and Tribonacci numbers, products of such numbers, and balancing numbers (numbers $n$ such that the sum of the integers less than $n$ equals the sum of the $r$ integers immediately after, for some $r$ which is called the balancer of $n$; If $n$ is included in the summation, we have the cobalancing numbers, and $r$ is called the cobalancer of $n$). We generalize previous work to reciprocal sums of depth two recurrence sequences with arbitrary coefficients and the Tribonacci numbers, and show our method provides an alternative proof of some existing results.
We define $(a,b)$ balancing and cobalancing numbers, where $a$ and $b$ are constants that multiply the left-hand side and right-hand side respectively, and derive recurrence relations describing these sequences. We show that for balancing numbers, the coefficients $(3,1)$ is unique such that every integer is a $(3,1)$ balancing number, and proved there does not exist an analogous set of coefficients for cobalancing numbers. We also found patterns for certain coefficients that have no balancing or cobalancing numbers.
△ Less
Submitted 1 February, 2023; v1 submitted 5 December, 2022;
originally announced December 2022.
-
Winning Strategies for Generalized Zeckendorf Game
Authors:
Steven J. Miller,
Eliel Sosis,
**gkai Ye
Abstract:
Zeckendorf proved that every positive integer $n$ can be written uniquely as the sum of non-adjacent Fibonacci numbers; a similar result holds for other positive linear recurrence sequences. These legal decompositions can be used to construct a game that starts with a fixed integer $n$, and players take turns using moves relating to a given recurrence relation. The game eventually terminates in a…
▽ More
Zeckendorf proved that every positive integer $n$ can be written uniquely as the sum of non-adjacent Fibonacci numbers; a similar result holds for other positive linear recurrence sequences. These legal decompositions can be used to construct a game that starts with a fixed integer $n$, and players take turns using moves relating to a given recurrence relation. The game eventually terminates in a unique legal decomposition, and the player who makes the final move wins.
For the Fibonacci game, Player $2$ has the winning strategy for all $n>2$. We give a non-constructive proof that for the two-player $(c, k)$-nacci game, for all $k$ and sufficiently large $n$, Player $1$ has a winning strategy when $c$ is even and Player $2$ has a winning strategy when $c$ is odd. Interestingly, the player with the winning strategy can make a mistake as early as the $c + 1$ turn, in which case the other player gains the winning strategy. Furthermore, we proved that for the $(c, k)$-nacci game with players $p \ge c + 2$, no player has a winning strategy for any $n \ge 3c^2 + 6c + 3$. We find a stricter lower boundary, $n \ge 7$, in the case of the three-player $(1, 2)$-nacci game. Then we extend the result from the multiplayer game to multialliance games, showing which alliance has a winning strategy or when no winning strategy exists for some special cases of multialliance games.
△ Less
Submitted 27 November, 2022;
originally announced November 2022.
-
Bounding the Order of Vanishing of Cuspidal Newforms via the nth Centered Moments
Authors:
Sohom Dutta,
Steven J. Miller
Abstract:
Building on the work of Iwaniec, Luo and Sarnak, we use the $n$-level density to bound the probability of vanishing to order at least $r$ at the central point for families of cuspidal newforms of prime level $N \to \infty$, split by sign. There are three methods to improve bounds on the order of vanishing: optimizing the test functions, increasing the support, and increasing the $n$-level density…
▽ More
Building on the work of Iwaniec, Luo and Sarnak, we use the $n$-level density to bound the probability of vanishing to order at least $r$ at the central point for families of cuspidal newforms of prime level $N \to \infty$, split by sign. There are three methods to improve bounds on the order of vanishing: optimizing the test functions, increasing the support, and increasing the $n$-level density studied. Previous work determined the optimal test functions for the $1$ and $2$-level densities in certain support ranges, leading to marginal improvements in bounds and making it not a productive avenue for further research. Similarly the support has been increased as far as possible, and further progress is shown to be related to delicate and difficult conjectures in number theory. Thus we concentrate on the third method, and study the higher centered moments (which are similar to the $n$-level densities but combinatorially easier). We find the level at each rank for which the bounds on the order of vanishing is the best, thus producing world-record bounds on the order of vanishing to rank at least $r$ for every $r > 2$ (for example, our bounds for vanishing to order at least 5 or at least 6 are less than half the previous bounds, a significant improvement). Additionally, we explicitly calculate the optimal test function for the $1$-level density from previous work and compare it to the naive test functions for higher levels. In doing so, we find that the optimal test function for certain levels are not the optimal for other levels, and some test functions may outperform others for some levels but not in others. Finally, we explicitly calculate the integrals needed to determine the bounds, doing so by transforming an $n$-dimensional integral to a $1$-dimensional integral and greatly reducing the computation cost in the process.
△ Less
Submitted 10 December, 2022; v1 submitted 3 November, 2022;
originally announced November 2022.
-
Generalizing the German Tank Problem
Authors:
Anthony Lee,
Steven J. Miller
Abstract:
The German Tank Problem dates back to World War II when the Allies used a statistical approach to estimate the number of enemy tanks produced or on the field from observed serial numbers after battles. Assuming that the tanks are labeled consecutively starting from 1, if we observe $k$ tanks from a total of $N$ tanks with the maximum observed tank being $m$, then the best estimate for $N$ is…
▽ More
The German Tank Problem dates back to World War II when the Allies used a statistical approach to estimate the number of enemy tanks produced or on the field from observed serial numbers after battles. Assuming that the tanks are labeled consecutively starting from 1, if we observe $k$ tanks from a total of $N$ tanks with the maximum observed tank being $m$, then the best estimate for $N$ is $m(1 + 1/k) - 1$. We explore many generalizations. We looked at the discrete and continuous one dimensional case. We explored different estimators such as the $L$\textsuperscript{th} largest tank, and applied motivation from portfolio theory and studied a weighted average; however, the original formula was the best. We generalized the problem in two dimensions, with pairs instead of points, studying the discrete and continuous square and circle variants. There were complications from curvature issues and that not every number is representable as a sum of two squares. We often concentrated on the large $N$ limit. For the discrete and continuous square, we tested various statistics, finding the largest observed component did best; the scaling factor for both cases is $(2k+1)/2k$. The discrete case was especially involved because we had to use approximation formulas that gave us the number of lattice points inside the circle. Interestingly, the scaling factors were different for the cases. Lastly, we generalized the problem into $L$ dimensional squares and circles. The discrete and continuous square proved similar to the two dimensional square problem. However, for the $L$\textsuperscript{th} dimensional circle, we had to use formulas for the volume of the $L$-ball, and had to approximate the number of lattice points inside it. The formulas for the discrete circle were particularly interesting, as there was no $L$ dependence in the formula.
△ Less
Submitted 27 October, 2022;
originally announced October 2022.
-
Towards the Gaussianity of Random Zeckendorf Games
Authors:
Justin Cheigh,
Guilherme Zeus Dantas e Moura,
Ryan Jeong,
Jacob Lehmann Duke,
Wyatt Milgrim,
Steven J. Miller,
Prakod Ngamlamai
Abstract:
Zeckendorf proved that any positive integer has a unique decomposition as a sum of non-consecutive Fibonacci numbers, indexed by $F_1 = 1, F_2 = 2, F_{n+1} = F_n + F_{n-1}$. Motivated by this result, Baird, Epstein, Flint, and Miller defined the two-player Zeckendorf game, where two players take turns acting on a multiset of Fibonacci numbers that always sums to $N$. The game terminates when no po…
▽ More
Zeckendorf proved that any positive integer has a unique decomposition as a sum of non-consecutive Fibonacci numbers, indexed by $F_1 = 1, F_2 = 2, F_{n+1} = F_n + F_{n-1}$. Motivated by this result, Baird, Epstein, Flint, and Miller defined the two-player Zeckendorf game, where two players take turns acting on a multiset of Fibonacci numbers that always sums to $N$. The game terminates when no possible moves remain, and the final player to perform a move wins. Notably, studied the setting of random games: the game proceeds by choosing an available move uniformly at random, and they conjecture that as the input $N \to \infty$, the distribution of random game lengths converges to a Gaussian.
We prove that certain sums of move counts is constant, and find a lower bound on the number of shortest games on input $N$ involving the Catalan numbers. The works Baird et al. and Cuzensa et al. determined how to achieve a shortest and longest possible Zeckendorf game on a given input $N$, respectively: we establish that for any input $N$, the range of possible game lengths constitutes an interval of natural numbers: every game length between the shortest and longest game lengths can be achieved.
We further the study of probabilistic aspects of random Zeckendorf games. We study two probability measures on the space of all Zeckendorf games on input $N$: the uniform measure, and the measure induced by choosing moves uniformly at random at any given position. Under both measures that in the limit $N \to \infty$, both players win with probability $1/2$. We also find natural partitions of the collection of all Zeckendorf games of a fixed input $N$, on which we observe weak convergence to a Gaussian in the limit $N \to \infty$. We conclude the work with many open problems.
△ Less
Submitted 20 October, 2022;
originally announced October 2022.
-
Recurrence Relations for $S$-Legal Index Difference Sequences
Authors:
Guilherme Zeus Dantas e Moura,
Andrew Keisling,
Astrid Lilly,
Annika Mauro,
Steven J. Miller,
Matthew Phang,
Santiago Velazquez Iannuzzelli
Abstract:
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…
▽ More
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.
△ Less
Submitted 27 August, 2023; v1 submitted 19 October, 2022;
originally announced October 2022.
-
VC-Dimension and Distance Chains in $\mathbb{F}_q^d$
Authors:
Ruben Ascoli,
Livia Betti,
Justin Cheigh,
Alex Iosevich,
Ryan Jeong,
Xuyan Liu,
Brian McDonald,
Wyatt Milgrim,
Steven J. Miller,
Francisco Romero Acosta,
Santiago Velazquez Iannuzzelli
Abstract:
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…
▽ More
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}$.
△ Less
Submitted 19 July, 2023; v1 submitted 6 October, 2022;
originally announced October 2022.
-
Sum and Difference Sets in Generalized Dihedral Groups
Authors:
Ruben Ascoli,
Justin Cheigh,
Guilherme Zeus Dantas e Moura,
Ryan Jeong,
Andrew Keisling,
Astrid Lilly,
Steven J. Miller,
Prakod Ngamlamai,
Matthew Phang
Abstract:
Given a group $G$, we say that a set $A \subseteq G$ has more sums than differences (MSTD) if $|A+A| > |A-A|$, has more differences than sums (MDTS) if $|A+A| < |A-A|$, or is sum-difference balanced if $|A+A| = |A-A|$. A problem of recent interest has been to understand the frequencies of these type of subsets.
The seventh author and Vissuet studied the problem for arbitrary finite groups $G$ an…
▽ More
Given a group $G$, we say that a set $A \subseteq G$ has more sums than differences (MSTD) if $|A+A| > |A-A|$, has more differences than sums (MDTS) if $|A+A| < |A-A|$, or is sum-difference balanced if $|A+A| = |A-A|$. A problem of recent interest has been to understand the frequencies of these type of subsets.
The seventh author and Vissuet studied the problem for arbitrary finite groups $G$ and proved that almost all subsets $A\subseteq G$ are sum-difference balanced as $|G|\to\infty$. For the dihedral group $D_{2n}$, they conjectured that of the remaining sets, most are MSTD, i.e., there are more MSTD sets than MDTS sets. Some progress on this conjecture was made by Haviland et al. in 2020, when they introduced the idea of partitioning the subsets by size: if, for each $m$, there are more MSTD subsets of $D_{2n}$ of size $m$ than MDTS subsets of size $m$, then the conjecture follows.
We extend the conjecture to generalized dihedral groups $D=\mathbb{Z}_2\ltimes G$, where $G$ is an abelian group of size $n$ and the nonidentity element of $\mathbb{Z}_2$ acts by inversion. We make further progress on the conjecture by considering subsets with a fixed number of rotations and reflections. By bounding the expected number of overlap** sums, we show that the collection $\mathcal S_{D,m}$ of subsets of the generalized dihedral group $D$ of size $m$ has more MSTD sets than MDTS sets when $6\le m\le c_j\sqrt{n}$ for $c_j=1.3229/\sqrt{111+5j}$, where $j$ is the number of elements in $G$ with order at most $2$. We also analyze the expectation for $|A+A|$ and $|A-A|$ for $A\subseteq D_{2n}$, proving an explicit formula for $|A-A|$ when $n$ is prime.
△ Less
Submitted 2 October, 2022;
originally announced October 2022.
-
Linear recurrences of order at most two in nontrivial small divisors and large divisors
Authors:
Hung Viet Chu,
Kevin Huu Le,
Steven J. Miller,
Yuan Qiu,
Liyang Shen
Abstract:
For each positive integer $N$, define $$S'_N \ =\ \{1 < d < \sqrt{N}: d|N\}\mbox{ and }L'_N \ =\ \{\sqrt{N} < d < N : d|N\}.$$ Recently, Chentouf characterized all positive integers $N$ such that the set of small divisors $\{d\le \sqrt{N}: d|N\}$ satisfies a linear recurrence of order at most two. We nontrivially extend the result by excluding the trivial divisor $1$ from consideration, which dram…
▽ More
For each positive integer $N$, define $$S'_N \ =\ \{1 < d < \sqrt{N}: d|N\}\mbox{ and }L'_N \ =\ \{\sqrt{N} < d < N : d|N\}.$$ Recently, Chentouf characterized all positive integers $N$ such that the set of small divisors $\{d\le \sqrt{N}: d|N\}$ satisfies a linear recurrence of order at most two. We nontrivially extend the result by excluding the trivial divisor $1$ from consideration, which dramatically increases the analysis complexity. Our first result characterizes all positive integers $N$ such that $S'_N$ satisfies a linear recurrence of order at most two. Moreover, our second result characterizes all positive $N$ such that $L'_N$ satisfies a linear recurrence of order at most two, thus extending considerably a recent result that characterizes $N$ with $L'_N$ being in an arithmetic progression.
△ Less
Submitted 1 October, 2022;
originally announced October 2022.
-
Distinct Angles and Angle Chains in Three Dimensions
Authors:
Ruben Ascoli,
Livia Betti,
Jacob Lehmann Duke,
Xuyan Liu,
Wyatt Milgrim,
Steven J. Miller,
Eyvindur A. Palsson,
Francisco Romero Acosta,
Santiago Velazquez Iannuzzelli
Abstract:
In 1946, Erdős posed the distinct distance problem, which seeks to find the minimum number of distinct distances between pairs of points selected from any configuration of $n$ points in the plane. The problem has since been explored along with many variants, including ones that extend it into higher dimensions. Less studied but no less intriguing is Erdős' distinct angle problem, which seeks to fi…
▽ More
In 1946, Erdős posed the distinct distance problem, which seeks to find the minimum number of distinct distances between pairs of points selected from any configuration of $n$ points in the plane. The problem has since been explored along with many variants, including ones that extend it into higher dimensions. Less studied but no less intriguing is Erdős' distinct angle problem, which seeks to find point configurations in the plane that minimize the number of distinct angles. In their recent paper "Distinct Angles in General Position," Fleischmann, Konyagin, Miller, Palsson, Pesikoff, and Wolf use a logarithmic spiral to establish an upper bound of $O(n^2)$ on the minimum number of distinct angles in the plane in general position, which prohibits three points on any line or four on any circle.
We consider the question of distinct angles in three dimensions and provide bounds on the minimum number of distinct angles in general position in this setting. We focus on pinned variants of the question, and we examine explicit constructions of point configurations in $\mathbb{R}^3$ which use self-similarity to minimize the number of distinct angles. Furthermore, we study a variant of the distinct angles question regarding distinct angle chains and provide bounds on the minimum number of distinct chains in $\mathbb{R}^2$ and $\mathbb{R}^3$.
△ Less
Submitted 19 February, 2023; v1 submitted 28 August, 2022;
originally announced August 2022.
-
Extending support for the centered moments of the low lying zeroes of cuspidal newforms
Authors:
Peter Cohen,
Justine Dell,
Oscar E. González,
Geoffrey Iyer,
Simran Khunger,
Chung-Hang Kwan,
Steven J. Miller,
Alexander Shashkov,
Alicia Smith Reina,
Carsten Sprunger,
Nicholas Triantafillou,
Nhi Truong,
Roger Van Peski,
Stephen Willis,
Yingzi Yang
Abstract:
We study low-lying zeroes of $L$-functions and their $n$-level density, which relies on a smooth test function $φ$ whose Fourier transform $\widehatφ$ has compact support. Assuming the generalized Riemann hypothesis, we compute the $n^\text{th}$ centered moments of the $1$-level density of low-lying zeroes of $L$-functions associated with weight $k$, prime level $N$ cuspidal newforms as…
▽ More
We study low-lying zeroes of $L$-functions and their $n$-level density, which relies on a smooth test function $φ$ whose Fourier transform $\widehatφ$ has compact support. Assuming the generalized Riemann hypothesis, we compute the $n^\text{th}$ centered moments of the $1$-level density of low-lying zeroes of $L$-functions associated with weight $k$, prime level $N$ cuspidal newforms as $N \to \infty$, where ${\rm supp}(\widehatφ) \subset \left(-2/n, 2/n\right)$. The Katz-Sarnak density conjecture predicts that the $n$-level density of certain families of $L$-functions is the same as the distribution of eigenvalues of corresponding families of orthogonal random matrices. We prove that the Katz-Sarnak density conjecture holds for the $n^\text{th}$ centered moments of the 1-level density for test functions with $\widehatφ$ supported in $\left(-2/n, 2/n\right)$, for families of cuspidal newforms split by the sign of their functional equations. Our work provides better bounds on the percent of forms vanishing to a certain order at the central point. Previous work handled the 1-level for support up to 2 and the $n$-level up to $\min(2/n, 1/(n-1))$; we are able to remove the second restriction on the support and extend the result to what one would expect, based on the 1-level, by finding a tractable vantage to evaluate the combinatorial zoo of terms which emerge.
△ Less
Submitted 15 August, 2022; v1 submitted 27 July, 2022;
originally announced August 2022.
-
Distinct Angles in General Position
Authors:
Henry L. Fleischmann,
Sergei V. Konyagin,
Steven J. Miller,
Eyvindur A. Palsson,
Ethan Pesikoff,
Charles Wolf
Abstract:
The Erdős distinct distance problem is a ubiquitous problem in discrete geometry. Somewhat less well known is Erdős' distinct angle problem, the problem of finding the minimum number of distinct angles between $n$ non-collinear points in the plane. Recent work has introduced bounds on a wide array of variants of this problem, inspired by similar variants in the distance setting.
In this short no…
▽ More
The Erdős distinct distance problem is a ubiquitous problem in discrete geometry. Somewhat less well known is Erdős' distinct angle problem, the problem of finding the minimum number of distinct angles between $n$ non-collinear points in the plane. Recent work has introduced bounds on a wide array of variants of this problem, inspired by similar variants in the distance setting.
In this short note, we improve the best known upper bound for the minimum number of distinct angles formed by $n$ points in general position from $O(n^{\log_2(7)})$ to $O(n^2)$. Before this work, similar bounds relied on projections onto a generic plane from higher dimensional space. In this paper, we employ the geometric properties of a logarithmic spiral, sidestep** the need for a projection.
We also apply this configuration to reduce the upper bound on the largest integer such that any set of $n$ points in general position has a subset of that size with all distinct angles. This bound is decreased from $O(n^{\log_2(7)/3})$ to $O(n^{1/2})$.
△ Less
Submitted 13 June, 2022; v1 submitted 9 June, 2022;
originally announced June 2022.
-
On Benford's Law and the Coefficients of the Riemann Map** Function for the Exterior of the Mandelbrot Set
Authors:
Filippo Beretta,
Jesse Dimino,
Weike Fang,
Thomas C. Martinez,
Steven J. Miller,
Daniel Stoll
Abstract:
We investigate Benford's law in relation to fractal geometry. Basic fractals, such as the Cantor set and Sierpinski triangle are obtained as the limit of iterative sets, and the unique measures of their components follow a geometric distribution, which is Benford in most bases. Building on this intuition, we aim to study this distribution in more complicated fractals. We examine the Laurent coeffi…
▽ More
We investigate Benford's law in relation to fractal geometry. Basic fractals, such as the Cantor set and Sierpinski triangle are obtained as the limit of iterative sets, and the unique measures of their components follow a geometric distribution, which is Benford in most bases. Building on this intuition, we aim to study this distribution in more complicated fractals. We examine the Laurent coefficients of a Riemann map** and the Taylor coefficients of its reciprocal function from the exterior of the Mandelbrot set to the complement of the unit disk. These coefficients are 2-adic rational numbers, and through statistical testing, we demonstrate that the numerators and denominators are a good fit for Benford's law. We offer additional conjectures and observations about these coefficients. In particular, we highlight certain arithmetic subsequences related to the coefficients' denominators, provide an estimate for their slope, and describe efficient methods to compute them.
△ Less
Submitted 11 February, 2023; v1 submitted 8 June, 2022;
originally announced June 2022.
-
Walking to Infinity on the Fibonacci Sequence
Authors:
Steven J. Miller,
Fei Peng,
Tudor Popescu,
Nawapan Wattanawanichkul
Abstract:
An interesting open problem in number theory asks whether it is possible to walk to infinity on primes, where each term in the sequence has one more digit than the previous. In this paper, we study its variation where we walk on the Fibonacci sequence. We prove that all walks starting with a Fibonacci number and the following terms are Fibonacci numbers obtained by appending exactly one digit at a…
▽ More
An interesting open problem in number theory asks whether it is possible to walk to infinity on primes, where each term in the sequence has one more digit than the previous. In this paper, we study its variation where we walk on the Fibonacci sequence. We prove that all walks starting with a Fibonacci number and the following terms are Fibonacci numbers obtained by appending exactly one digit at a time to the right have a length of at most two. In the more general case where we append at most a bounded number of digits each time, we give a formula for the length of the longest walk.
△ Less
Submitted 29 August, 2022; v1 submitted 17 April, 2022;
originally announced April 2022.
-
Class Numbers and Pell's Equation $x^2 + 105y^2 = z^2$
Authors:
Thomas Jaklitsch,
Thomas C. Martinez,
Steven J. Miller,
Sagnik Mukherjee
Abstract:
Two well-studied Diophantine equations are those of Pythagorean triples and elliptic curves, for the first we have a parametrization through rational points on the unit circle, and for the second we have a structure theorem for the group of rational solutions. Recently, Yekutieli discussed a connection between these two problems, and described the group structure of Pythagorean triples and the num…
▽ More
Two well-studied Diophantine equations are those of Pythagorean triples and elliptic curves, for the first we have a parametrization through rational points on the unit circle, and for the second we have a structure theorem for the group of rational solutions. Recently, Yekutieli discussed a connection between these two problems, and described the group structure of Pythagorean triples and the number of triples for a given hypotenuse. In arXiv:2112.03663 we generalized these methods and results to Pell's equation. We find a similar group structure and count on the number of solutions for a given $z$ to $x^2 + Dy^2 = z^2$ when $D$ is 1 or 2 modulo 4 and the class group of $\mathbb{Q}[\sqrt{-D}]$ is a free $\mathbb{Z}_2$ module, which always happens if the class number is at most 2. In this paper, we discuss the main results of arXiv:2112.03663 using some concrete examples in the case of $D=105$.
△ Less
Submitted 30 March, 2022;
originally announced March 2022.
-
Bounding Vanishing at the Central Point of Cuspidal Newforms
Authors:
Jiahui Li,
Steven J. Miller
Abstract:
The Katz-Sarnak Density Conjecture states that zeros of families of $L$-functions are well-modeled by eigenvalues of random matrix ensembles. For suitably restricted test functions, this correspondence yields upper bounds for the families' order of vanishing at the central point. We generalize previous results on the $n$\textsuperscript{th} centered moment of the distribution of zeros to allow arb…
▽ More
The Katz-Sarnak Density Conjecture states that zeros of families of $L$-functions are well-modeled by eigenvalues of random matrix ensembles. For suitably restricted test functions, this correspondence yields upper bounds for the families' order of vanishing at the central point. We generalize previous results on the $n$\textsuperscript{th} centered moment of the distribution of zeros to allow arbitrary test functions. On the computational side, we use our improved formulas to obtain significantly better bounds on the order of vanishing for cuspidal newforms, setting world records for the quality of the bounds. We also discover better test functions that further optimize our bounds. We see improvement as early as the $5$\textsuperscript{th} order, and our bounds improve rapidly as the rank grows (more than one order of magnitude better for rank 10 and more than four orders of magnitude for rank 50).
△ Less
Submitted 1 August, 2022; v1 submitted 6 March, 2022;
originally announced March 2022.
-
Benfordness of the Generalized Gamma Distribution
Authors:
Zelong Bi,
Irfan Durmić,
Steven J. Miller
Abstract:
The generalized gamma distribution shows up in many problems related to engineering, hydrology as well as survival analysis. Earlier work has been done that estimated the deviation of the exponential and the Weibull distribution from Benford's Law. We give a mathematical explanation for the Benfordness of the generalized gamma distribution and present a measure for the deviation of the generalized…
▽ More
The generalized gamma distribution shows up in many problems related to engineering, hydrology as well as survival analysis. Earlier work has been done that estimated the deviation of the exponential and the Weibull distribution from Benford's Law. We give a mathematical explanation for the Benfordness of the generalized gamma distribution and present a measure for the deviation of the generalized gamma distribution from the Benford distribution.
△ Less
Submitted 25 January, 2022;
originally announced January 2022.
-
$k$-Diophantine $m$-tuples in Finite Fields
Authors:
Trajan Hammonds,
Seoyoung Kim,
Steven J. Miller,
Arjun Nigam,
Kyle Onghai,
Dishant Saikia,
Lalit M. Sharma
Abstract:
In this paper, we define a $k$-Diophantine $m$-tuple to be a set of $m$ positive integers such that the product of any $k$ distinct positive integers is one less than a perfect square. We study these sets in finite fields $\mathbb{F}_p$ for odd prime $p$ and guarantee the existence of a $k$-Diophantine m-tuple provided $p$ is larger than some explicit lower bound. We also give a formula for the nu…
▽ More
In this paper, we define a $k$-Diophantine $m$-tuple to be a set of $m$ positive integers such that the product of any $k$ distinct positive integers is one less than a perfect square. We study these sets in finite fields $\mathbb{F}_p$ for odd prime $p$ and guarantee the existence of a $k$-Diophantine m-tuple provided $p$ is larger than some explicit lower bound. We also give a formula for the number of 3-Diophantine triples in $\mathbb{F}_p$ as well as an asymptotic formula for the number of $k$-Diophantine $k$-tuples.
△ Less
Submitted 17 January, 2022;
originally announced January 2022.
-
Connections of Class Numbers to the Group Structure of Generalized Pythagorean Triples
Authors:
Thomas Jaklitsch,
Thomas C. Martinez,
Steven J. Miller,
Sagnik Mukherjee
Abstract:
Two well-studied Diophantine equations are those of Pythagorean triples and elliptic curves; for the first, we have a parametrization through rational points on the unit circle, and for the second we have a structure theorem for the group of rational solutions. Recently Yekutieli discussed a connection between these two problems and described the group structure of Pythagorean triples and the numb…
▽ More
Two well-studied Diophantine equations are those of Pythagorean triples and elliptic curves; for the first, we have a parametrization through rational points on the unit circle, and for the second we have a structure theorem for the group of rational solutions. Recently Yekutieli discussed a connection between these two problems and described the group structure of Pythagorean triples and the number of triples for a given hypotenuse. We generalize these methods and results to Pell's equation. We find a similar group structure and count on the number of solutions for a given $z$ to $x^2 + Dy^2 = z^2$ when $D$ is 1 or 2 modulo 4 and the class group of $\mathbb{Q}[\sqrt{-D}]$ is a free $\mathbb{Z}_2$ module, which always happens if the class number is at most 2. We give examples of when the results hold for a class number greater than 2, as well as an example with different behavior when the class group does not have this structure.
△ Less
Submitted 7 December, 2021;
originally announced December 2021.
-
The Real Schwarz Lemma: The Sequel
Authors:
Benjamin Baily,
Jonathan Geller,
Steven J. Miller
Abstract:
A decade ago, when teaching complex analysis, the third named author posed the question on whether or not there is an analogue to the Schwarz lemma for real analytic functions. This led to the note [MT], indicating that it is possible to have a real analytic automorphism $f$ of $(-1,1)$ with $f'(0)$ arbitrarily large. In this note we provide other families with this property, and moreover show tha…
▽ More
A decade ago, when teaching complex analysis, the third named author posed the question on whether or not there is an analogue to the Schwarz lemma for real analytic functions. This led to the note [MT], indicating that it is possible to have a real analytic automorphism $f$ of $(-1,1)$ with $f'(0)$ arbitrarily large. In this note we provide other families with this property, and moreover show that we can always find such a function so that $f'(0)$ equals any desired real number. We end with some questions on related problems.
△ Less
Submitted 29 November, 2021;
originally announced November 2021.
-
Irreducibility over the Max-Min Semiring
Authors:
Benjamin Baily,
Justine Dell,
Henry L. Fleischmann,
Faye Jackson,
Steven J. Miller,
Ethan Pesikoff,
Luke Reifenberg
Abstract:
For sets $A, B\subset \mathbb N$, their sumset is $A + B := \{a+b: a\in A, b\in B\}$. If we cannot write a set $C$ as $C = A+B$ with $|A|, |B|\geq 2$, then we say that $C$ is $\textit{irreducible}$. The question of whether a given set $C$ is irreducible arises naturally in additive combinatorics. Equivalently, we can formulate this question as one about the irreducibility of boolean polynomials, w…
▽ More
For sets $A, B\subset \mathbb N$, their sumset is $A + B := \{a+b: a\in A, b\in B\}$. If we cannot write a set $C$ as $C = A+B$ with $|A|, |B|\geq 2$, then we say that $C$ is $\textit{irreducible}$. The question of whether a given set $C$ is irreducible arises naturally in additive combinatorics. Equivalently, we can formulate this question as one about the irreducibility of boolean polynomials, which has been discussed in previous work by K. H. Kim and F. W. Roush (2005) and Y. Shitov (2014). We prove results about the irreducibility of polynomials and power series over the max-min semiring, a natural generalization of the boolean polynomials.
We use combinatorial and probabilistic methods to prove that almost all polynomials are irreducible over the max-min semiring, generalizing work of Y. Shitov (2014) and proving a 2011 conjecture by D. L. Applegate, M. Le Brun, and N. J. A. Sloane. Furthermore, we use measure-theoretic methods and apply Borel's result on normal numbers to prove that almost all power series are asymptotically irreducible over the max-min semiring. This result generalizes work of E. Wirsing (1953).
△ Less
Submitted 3 December, 2021; v1 submitted 18 November, 2021;
originally announced November 2021.
-
Limiting Spectral Distributions of Families of Block Matrix Ensembles
Authors:
Teresa Dunn,
Henry L. Fleischmann,
Faye Jackson,
Simran Khunger,
Steven J. Miller,
Luke Reifenberg,
Alexander Shashkov,
Stephen Willis
Abstract:
We introduce a new matrix operation on a pair of matrices, $\text{swirl}(A,X),$ and discuss its implications on the limiting spectral distribution. In a special case, the resultant ensemble converges almost surely to the Rayleigh distribution. In proving this, we provide a novel combinatorial proof that the random matrix ensemble of circulant Hankel matrices converges almost surely to the Rayleigh…
▽ More
We introduce a new matrix operation on a pair of matrices, $\text{swirl}(A,X),$ and discuss its implications on the limiting spectral distribution. In a special case, the resultant ensemble converges almost surely to the Rayleigh distribution. In proving this, we provide a novel combinatorial proof that the random matrix ensemble of circulant Hankel matrices converges almost surely to the Rayleigh distribution, using the method of moments.
△ Less
Submitted 3 September, 2021;
originally announced September 2021.
-
The Generalized Bergman Game
Authors:
Benjamin Baily,
Justine Dell,
Irfan Durmić,
Henry Fleischmann,
Faye Jackson,
Isaac Mijares,
Steven J. Miller,
Ethan Pesikoff,
Luke Reifenberg,
Alicia Smith Reina,
Yingzi Yang
Abstract:
Every positive integer may be written uniquely as a base-$β$ decomposition--that is a legal sum of powers of $β$--where $β$ is the dominating root of a non-increasing positive linear recurrence sequence. Guided by earlier work on a two-player game which produces the Zeckendorf Decomposition of an integer (see [Bai+19]), we define a broad class of two-player games played on an infinite tuple of non…
▽ More
Every positive integer may be written uniquely as a base-$β$ decomposition--that is a legal sum of powers of $β$--where $β$ is the dominating root of a non-increasing positive linear recurrence sequence. Guided by earlier work on a two-player game which produces the Zeckendorf Decomposition of an integer (see [Bai+19]), we define a broad class of two-player games played on an infinite tuple of non-negative integers which decompose a positive integer into its base-$β$ expansion. We call this game the Generalized Bergman Game. We prove that the longest possible Generalized Bergman game on an initial state $S$ with $n$ summands terminates in $Θ(n^2)$ time, and we also prove that the shortest possible Generalized Bergman game on an initial state terminates between $Ω(n)$ and $O(n^2)$ time. We also show a linear bound on the maximum length of the tuple used throughout the game.
△ Less
Submitted 19 September, 2021; v1 submitted 31 August, 2021;
originally announced September 2021.
-
Optimal Point Sets Determining Few Distinct Angles
Authors:
Henry L. Fleischmann,
Steven J. Miller,
Eyvindur A. Palsson,
Ethan Pesikoff,
Charles Wolf
Abstract:
We characterize the largest point sets in the plane which define at most 1, 2, and 3 angles. For $P(k)$ the largest size of a point set admitting at most $k$ angles, we prove $P(2)=5$ and $P(3)=5$. We also provide the general bounds of $k+2 \leq P(k) \leq 6k$, although the upper bound may be improved pending progress toward the Weak Dirac Conjecture. Notably, it is surprising that $P(k)=Θ(k)$ sinc…
▽ More
We characterize the largest point sets in the plane which define at most 1, 2, and 3 angles. For $P(k)$ the largest size of a point set admitting at most $k$ angles, we prove $P(2)=5$ and $P(3)=5$. We also provide the general bounds of $k+2 \leq P(k) \leq 6k$, although the upper bound may be improved pending progress toward the Weak Dirac Conjecture. Notably, it is surprising that $P(k)=Θ(k)$ since, in the distance setting, the best known upper bound on the analogous quantity is quadratic and no lower bound is well-understood.
△ Less
Submitted 15 October, 2022; v1 submitted 26 August, 2021;
originally announced August 2021.
-
Distinct Angle Problems and Variants
Authors:
Henry L. Fleischmann,
Hongyi B. Hu,
Faye Jackson,
Steven J. Miller,
Eyvindur A. Palsson,
Ethan Pesikoff,
Charles Wolf
Abstract:
The Erdős distinct distance problem is a ubiquitous problem in discrete geometry. Less well known is Erdős' distinct angle problem, the problem of finding the minimum number of distinct angles between $n$ non-collinear points in the plane. The standard problem is already well understood. However, it admits many of the same variants as the distinct distance problem, many of which are unstudied.
W…
▽ More
The Erdős distinct distance problem is a ubiquitous problem in discrete geometry. Less well known is Erdős' distinct angle problem, the problem of finding the minimum number of distinct angles between $n$ non-collinear points in the plane. The standard problem is already well understood. However, it admits many of the same variants as the distinct distance problem, many of which are unstudied.
We provide upper and lower bounds on a broad class of distinct angle problems. We show that the number of distinct angles formed by $n$ points in general position is $O(n^{\log_2(7)})$, providing the first non-trivial bound for this quantity. We introduce a new class of asymptotically optimal point configurations with no four cocircular points. Then, we analyze the sensitivity of asymptotically optimal point sets to perturbation, yielding a much broader class of asymptotically optimal configurations. In higher dimensions we show that a variant of Lenz's construction admits fewer distinct angles than the optimal configurations in two dimensions.
We also show that the minimum size of a maximal subset of $n$ points in general position admitting only unique angles is $Ω(n^{1/5})$ and $O(n^{\log_2(7)/3})$. We also provide bounds on the partite variants of the standard distinct angle problem.
△ Less
Submitted 26 August, 2021;
originally announced August 2021.
-
When Rooks Miss: Probability through Chess
Authors:
Steven J. Miller,
Haoyu Sheng,
Daniel Turek
Abstract:
A famous (and hard) chess problem asks what is the maximum number of safe squares possible in placing $n$ queens on an $n\times n$ board. We examine related problems from placing $n$ rooks. We prove that as $n\to\infty$, the probability rapidly tends to 1 that the fraction of safe squares from a random placement converges to $1/e^2$. Our interest in the problem is showing how to view the involved…
▽ More
A famous (and hard) chess problem asks what is the maximum number of safe squares possible in placing $n$ queens on an $n\times n$ board. We examine related problems from placing $n$ rooks. We prove that as $n\to\infty$, the probability rapidly tends to 1 that the fraction of safe squares from a random placement converges to $1/e^2$. Our interest in the problem is showing how to view the involved algebra to obtain the simple, closed form limiting fraction. In particular, we see the power of many of the key concepts in probability: binary indicator variables, linearity of expectation, variances and covariances, Chebyshev's inequality, and Stirling's formula.
△ Less
Submitted 10 May, 2021;
originally announced May 2021.
-
Biases in Moments of the Dirichlet Coefficients in One- and Two-Parameter Families of Elliptic Curves
Authors:
Steven J. Miller,
Yan Weng
Abstract:
We study one-parameter families of elliptic curves over $\mathbb{Q}(T)$, which are of the form $y^2=x^3+A(T)x+B(T)$, with non-constant $j$-invariant. We define the $r$\textsuperscript{th} moment of an elliptic curve to be $A_{r,E}(p) := \frac1{p} \sum_{t \bmod p} a_t(p)^r$, where $a_t(p)$ is $p$ minus the number of solutions to $y^2 = x^3 + A(t)x + B(t) \bmod p$. Rosen and Silverman showed biases…
▽ More
We study one-parameter families of elliptic curves over $\mathbb{Q}(T)$, which are of the form $y^2=x^3+A(T)x+B(T)$, with non-constant $j$-invariant. We define the $r$\textsuperscript{th} moment of an elliptic curve to be $A_{r,E}(p) := \frac1{p} \sum_{t \bmod p} a_t(p)^r$, where $a_t(p)$ is $p$ minus the number of solutions to $y^2 = x^3 + A(t)x + B(t) \bmod p$. Rosen and Silverman showed biases in the first moment equal the rank of the Mordell-Weil group of rational solutions. Michel proved that $pA_{2,E}(p)=p^2+O(p^{3/2})$. Based on several special families where computations can be done in closed form, Miller in his thesis conjectured that the largest lower-order term in the second moment that does not average to $0$ is on average negative. He further showed that such a negative bias has implications in the distribution of zeros of the elliptic curve $L$-function near the central point. To date, evidence for this conjecture is limited to special families. In this paper, we explore the first and second moments of some one- and two-parameter families of elliptic curves, looking to see if the biases persist and exploring the consequence these have on fundamental properties of elliptic curves. We observe that in all of the one- and two-parameter families where we can compute in closed form that the first term that does not average to zero in the second-moment expansion of the Dirichlet coefficients has a negative average. In addition to studying some additional families where the calculations can be done in closed form, we also systematically investigate families of various rank. These are the first general tests of the conjecture; while we cannot in general obtain closed form solutions, we discuss computations which support or contradict the conjecture. We then generalize to higher moments, and see evidence that the bias continues in the even moments.
△ Less
Submitted 2 May, 2021; v1 submitted 5 March, 2021;
originally announced March 2021.
-
Distribution of Eigenvalues of Matrix Ensembles arising from Wigner and Palindromic Toeplitz Blocks
Authors:
Keller Blackwell,
Neelima Borade,
Arup Bose,
Charles Devlin VI,
Noah Luntzlara,
Renyuan Ma,
Steven J. Miller,
Soumendu Sundar Mukherjee,
Mengxi Wang,
Wanqiao Xu
Abstract:
Random Matrix Theory (RMT) has successfully modeled diverse systems, from energy levels of heavy nuclei to zeros of $L$-functions; this correspondence has allowed RMT to successfully predict many number theoretic behaviors. However there are some operations which to date have no RMT analogue. Our motivation is to find an RMT analogue of Rankin-Selberg convolution, which constructs a new $L$-functi…
▽ More
Random Matrix Theory (RMT) has successfully modeled diverse systems, from energy levels of heavy nuclei to zeros of $L$-functions; this correspondence has allowed RMT to successfully predict many number theoretic behaviors. However there are some operations which to date have no RMT analogue. Our motivation is to find an RMT analogue of Rankin-Selberg convolution, which constructs a new $L$-functions from an input pair. We report one such attempt; while it does not appear to model convolution, it does create new ensembles with properties hybridizing those of its constituents.
For definiteness we concentrate on the ensemble of palindromic real symmetric Toeplitz (PST) matrices and the ensemble of real symmetric matrices, whose limiting spectral measures are the Gaussian and semi-circular distributions, respectively; these were chosen as they are the two extreme cases in terms of moment calculations. For a PST matrix $A$ and a real symmetric matrix $B$, we construct an ensemble of random real symmetric block matrices whose first row is $\lbrace A, B \rbrace$ and whose second row is $\lbrace B, A \rbrace$. By Markov's Method of Moments and the use of free probability, we show this ensemble converges weakly and almost surely to a new, universal distribution with a hybrid of Gaussian and semi-circular behaviors. We extend this construction by considering an iterated concatenation of matrices from an arbitrary pair of random real symmetric sub-ensembles with different limiting spectral measures. We prove that finite iterations converge to new, universal distributions with hybrid behavior, and that infinite iterations converge to the limiting spectral measure of the dominant component matrix.
△ Less
Submitted 10 February, 2021;
originally announced February 2021.