-
Non-standard quaternary representations and the Fibonacci numbers
Authors:
Katie Anders,
Madeline L. Dawsey,
Rajat Gupta,
Noah Lebowitz-Lockard,
Joseph Vandehey
Abstract:
Let $f_4(n)$ be the number of hyperquaternary representations of $n$ and $b_4(n)$ be the number of balanced quaternary representations of $n$. We show that there is no integer $k$ such that $f_4(n+k)=b_4(n)$ for all $n\ge -k$, in contrast to the binary case. Nevertheless, there do exist integers $k$ such that $f_4(n+k)=b_4(n)$ for arbitrarily large intervals of $n$. We generalize these results to…
▽ More
Let $f_4(n)$ be the number of hyperquaternary representations of $n$ and $b_4(n)$ be the number of balanced quaternary representations of $n$. We show that there is no integer $k$ such that $f_4(n+k)=b_4(n)$ for all $n\ge -k$, in contrast to the binary case. Nevertheless, there do exist integers $k$ such that $f_4(n+k)=b_4(n)$ for arbitrarily large intervals of $n$. We generalize these results to any even base $d$. We also study the rate of growth of $b_4(n)$ and show that maximal values of this function correspond to certain Fibonacci numbers.
△ Less
Submitted 7 May, 2025;
originally announced May 2025.
-
Partition-theoretic model of prime distribution
Authors:
Aidan Botkin,
Madeline L. Dawsey,
David J. Hemmer,
Matthew R. Just,
Robert Schneider
Abstract:
We make an application of ideas from partition theory to a problem in multiplicative number theory. We propose a deterministic model of prime number distribution, from first principles related to properties of integer partitions, that predicts the prime number theorem and suggests new conjectures regarding predictable variations in prime gaps. The model posits that, for $n\geq 2$,…
▽ More
We make an application of ideas from partition theory to a problem in multiplicative number theory. We propose a deterministic model of prime number distribution, from first principles related to properties of integer partitions, that predicts the prime number theorem and suggests new conjectures regarding predictable variations in prime gaps. The model posits that, for $n\geq 2$, $$p_{n}\ =\ 1\ +\ 2\sum_{j=1}^{n-1}\left\lceil \frac{d(j)}{2}\right\rceil\ +\ \varepsilon(n),$$
where $p_k$ is the $k$th prime number, $d(k)$ is the divisor function, and $\varepsilon(k)\geq 0$ is an error that is negligible asymptotically; both the main term and error are enumerative functions in our conceptual model. We refine the error to give numerical estimates of $π(n)$ similar to those provided by the logarithmic integral, and much more accurate than $\operatorname{li}(n)$ up to $n=10{,}000$ where the estimate is almost exact. We also test a seemingly dubious prediction suggested by the model, that prime-indexed primes $p_2, p_3, p_5, p_7,$ etc., are more likely to be involved in twin prime pairs than are arbitrary primes; surprisingly, computations show prime-indexed primes are more likely to be twin primes up to at least $n=10{,}000{,}000{,}000$, with the bias diminishing but persistent as $n$ increases.
△ Less
Submitted 17 January, 2025; v1 submitted 31 December, 2024;
originally announced January 2025.
-
Inequalities and asymptotics for hook numbers in restricted partitions
Authors:
William Craig,
Madeline Locus Dawsey,
Guo-Niu Han
Abstract:
In this paper, we consider the asymptotic properties of hook numbers of partitions in restricted classes. More specifically, we compare the frequency with which partitions into odd parts and partitions into distinct parts have hook numbers equal to $h \geq 1$ by deriving an asymptotic formula for the total number of hooks equal to $h$ that appear among partitions into odd and distinct parts, respe…
▽ More
In this paper, we consider the asymptotic properties of hook numbers of partitions in restricted classes. More specifically, we compare the frequency with which partitions into odd parts and partitions into distinct parts have hook numbers equal to $h \geq 1$ by deriving an asymptotic formula for the total number of hooks equal to $h$ that appear among partitions into odd and distinct parts, respectively. We use these asymptotic formulas to prove a recent conjecture of the first author and collaborators that for $h \geq 2$ and $n \gg 0$, partitions into odd parts have, on average, more hooks equal to $h$ than do partitions into distinct parts. We also use our asymptotics to prove certain probabilistic statements about how hooks distribute in the rows of partitions.
△ Less
Submitted 25 November, 2023;
originally announced November 2023.
-
Non-standard binary representations and the Stern sequence
Authors:
Katie Anders,
Madeline Locus Dawsey,
Rajat Gupta,
Joseph Vandehey
Abstract:
We show that the number of short binary signed-digit representations of an integer $n$ is equal to the $n$-th term in the Stern sequence. Various proofs are provided, including direct, bijective, and generating function proofs. We also show that this result can be derived from recent work of Monroe on binary signed-digit representations of a fixed length.
We show that the number of short binary signed-digit representations of an integer $n$ is equal to the $n$-th term in the Stern sequence. Various proofs are provided, including direct, bijective, and generating function proofs. We also show that this result can be derived from recent work of Monroe on binary signed-digit representations of a fixed length.
△ Less
Submitted 14 August, 2023;
originally announced August 2023.
-
Representations of integers as quotients of sums of distinct powers of three
Authors:
Katie Anders,
Madeline Locus Dawsey,
Bruce Reznick,
Simone Sisneros-Thiry
Abstract:
Which integers can be written as a quotient of sums of distinct powers of three? We outline our first steps toward an answer to this question, beginning with a necessary and almost sufficient condition. Then we discuss an algorithm that indicates whether it is possible to represent a given integer as a quotient of sums of distinct powers of three. When the given integer is representable, this same…
▽ More
Which integers can be written as a quotient of sums of distinct powers of three? We outline our first steps toward an answer to this question, beginning with a necessary and almost sufficient condition. Then we discuss an algorithm that indicates whether it is possible to represent a given integer as a quotient of sums of distinct powers of three. When the given integer is representable, this same algorithm generates all possible representations. We develop a categorization of representations based on their connections to $0,1$-polynomials and give a complete description of the types of representations for all integers up to 364. Finally, we discuss in detail the representations of 7, 22, 34, 64, and 100, as well as some infinite families of integers.
△ Less
Submitted 14 August, 2023;
originally announced August 2023.
-
Bijections, generalizations, and other properties of sequentially congruent partitions
Authors:
Ezekiel Cochran,
Madeline Locus Dawsey,
Emma Harrell,
Samuel Saunders
Abstract:
Recently, Schneider and Schneider defined a new class of partitions called sequentially congruent partitions, in which each part is congruent to the next part modulo its index, and they proved two partition bijections involving these partitions. We introduce a new partition notation specific to sequentially congruent partitions which allows us to more easily study these bijections and their compos…
▽ More
Recently, Schneider and Schneider defined a new class of partitions called sequentially congruent partitions, in which each part is congruent to the next part modulo its index, and they proved two partition bijections involving these partitions. We introduce a new partition notation specific to sequentially congruent partitions which allows us to more easily study these bijections and their compositions, and we reinterpret them in terms of Young diagram transformations. We also define a generalization of sequentially congruent partitions, and we provide several new partition bijections for these generalized sequentially congruent partitions. Finally, we investigate a question of Schneider--Schneider regarding how sequentially congruent partitions fit into Andrews' theory of partition ideals. We prove that the maximal partition ideal of sequentially congruent partitions has infinite order and is therefore not linked, and we identify its order 1 subideals.
△ Less
Submitted 8 August, 2022;
originally announced August 2022.
-
Self-conjugate $t$-core partitions and applications
Authors:
Madeline Locus Dawsey,
Benjamin Sharp
Abstract:
Partition theory abounds with bijections between different types of partitions. One of the most famous partition bijections maps each self-conjugate partition of a positive integer $n$ to a partition of $n$ into distinct odd parts, and vice versa. Here we prove new necessary and sufficient conditions for a self-conjugate partition to be $t$-core, in terms of only the parts of the corresponding par…
▽ More
Partition theory abounds with bijections between different types of partitions. One of the most famous partition bijections maps each self-conjugate partition of a positive integer $n$ to a partition of $n$ into distinct odd parts, and vice versa. Here we prove new necessary and sufficient conditions for a self-conjugate partition to be $t$-core, in terms of only the parts of the corresponding partition into distinct odd parts, by proving a new hook length formula. Corollaries of these results include new applications of $t$-core self-conjugate partitions to subsets of the natural numbers, due to the recent investigation of a new partition statistic called the supernorm by the first author, Just, and Schneider, as well as many results on $t$-cores by Bringmann, Kane, Males, Ono, Raji, and others. We provide several examples of these applications, one of which gives a new formula for certain families of Hurwitz class numbers.
△ Less
Submitted 18 January, 2022; v1 submitted 29 October, 2021;
originally announced October 2021.
-
Derivatives and Integrals of Polynomials Associated with Integer Partitions
Authors:
Madeline Locus Dawsey,
Tyler Russell,
Dannie Urban
Abstract:
Integer partitions express the different ways that a positive integer may be written as a sum of positive integers. Here we explore the analytic properties of a new polynomial $f_λ(x)$ that we call the partition polynomial for the partition $λ$, with the aim to learn new properties of partitions. We prove a recursive formula for the derivatives of $f_λ(x)$ involving Stirling numbers of the second…
▽ More
Integer partitions express the different ways that a positive integer may be written as a sum of positive integers. Here we explore the analytic properties of a new polynomial $f_λ(x)$ that we call the partition polynomial for the partition $λ$, with the aim to learn new properties of partitions. We prove a recursive formula for the derivatives of $f_λ(x)$ involving Stirling numbers of the second kind, show that the set of integrals from 0 to 1 of a normalized version of $f_λ(x)$ is dense in $[0,1/2]$, pose a few open questions, and formulate a conjecture relating the integral to the length of the partition. We also provide specific examples throughout to support our speculation that an in-depth analysis of partition polynomials could further strengthen our understanding of partitions.
△ Less
Submitted 13 June, 2022; v1 submitted 2 August, 2021;
originally announced August 2021.
-
A "supernormal" partition statistic
Authors:
Madeline Locus Dawsey,
Matthew Just,
Robert Schneider
Abstract:
We study a bijective map from integer partitions to the prime factorizations of integers that we call the "supernorm" of a partition, in which the multiplicities of the parts of partitions are mapped to the multiplicities of prime factors of natural numbers. The supernorm is connected to a family of maps we define, which suggests the potential to apply techniques from partition theory to identify…
▽ More
We study a bijective map from integer partitions to the prime factorizations of integers that we call the "supernorm" of a partition, in which the multiplicities of the parts of partitions are mapped to the multiplicities of prime factors of natural numbers. The supernorm is connected to a family of maps we define, which suggests the potential to apply techniques from partition theory to identify and prove multiplicative properties of integers. We make a brief study of pertinent analytic aspects of the supernorm. Then, as an application of "supernorma"' mappings (i.e., pertaining to the supernorm statistic), we prove an analogue of a formula of Kural-McDonald-Sah to give arithmetic densities of subsets of $\mathbb N$ instead of natural densities in $\mathbb P$ like previous formulas of this type; this builds on works of Alladi, Ono, Wagner, and the first and third authors. Finally, using a table of "supernormal" additive-multiplicative correspondences, we conjecture Abelian-type formulas that specialize to our main theorem and other known results.
△ Less
Submitted 14 September, 2021; v1 submitted 29 July, 2021;
originally announced July 2021.
-
Hypergeometric Functions over Finite Fields and Modular Forms: A Survey and New Conjectures
Authors:
Madeline Locus Dawsey,
Dermot McCarthy
Abstract:
Hypergeometric functions over finite fields were introduced by Greene in the 1980s as a finite field analogue of classical hypergeometric series. These functions, and their generalizations, naturally lend themselves to, and have been widely used in, character sum evaluations and counting points on algebraic varieties. More interestingly, perhaps, are their links to Fourier coefficients of modular…
▽ More
Hypergeometric functions over finite fields were introduced by Greene in the 1980s as a finite field analogue of classical hypergeometric series. These functions, and their generalizations, naturally lend themselves to, and have been widely used in, character sum evaluations and counting points on algebraic varieties. More interestingly, perhaps, are their links to Fourier coefficients of modular forms. In this paper, we outline the main results in this area and also conjecture 13 new relations.
△ Less
Submitted 15 January, 2021;
originally announced January 2021.
-
Generalized Paley graphs and their complete subgraphs of orders three and four
Authors:
Madeline Locus Dawsey,
Dermot McCarthy
Abstract:
Let $k \geq 2$ be an integer. Let $q$ be a prime power such that $q \equiv 1 \pmod {k}$ if $q$ is even, or, $q \equiv 1 \pmod {2k}$ if $q$ is odd. The generalized Paley graph of order $q$, $G_k(q)$, is the graph with vertex set $\mathbb{F}_q$ where $ab$ is an edge if and only if ${a-b}$ is a $k$-th power residue. We provide a formula, in terms of finite field hypergeometric functions, for the numb…
▽ More
Let $k \geq 2$ be an integer. Let $q$ be a prime power such that $q \equiv 1 \pmod {k}$ if $q$ is even, or, $q \equiv 1 \pmod {2k}$ if $q$ is odd. The generalized Paley graph of order $q$, $G_k(q)$, is the graph with vertex set $\mathbb{F}_q$ where $ab$ is an edge if and only if ${a-b}$ is a $k$-th power residue. We provide a formula, in terms of finite field hypergeometric functions, for the number of complete subgraphs of order four contained in $G_k(q)$, $\mathcal{K}_4(G_k(q))$, which holds for all $k$. This generalizes the results of Evans, Pulham and Sheehan on the original ($k$=2) Paley graph. We also provide a formula, in terms of Jacobi sums, for the number of complete subgraphs of order three contained in $G_k(q)$, $\mathcal{K}_3(G_k(q))$. In both cases we give explicit determinations of these formulae for small $k$. We show that zero values of $\mathcal{K}_4(G_k(q))$ (resp. $\mathcal{K}_3(G_k(q))$) yield lower bounds for the multicolor diagonal Ramsey numbers $R_k(4)=R(4,4,\cdots,4)$ (resp. $R_k(3)$). We state explicitly these lower bounds for small $k$ and compare to known bounds. We also examine the relationship between both $\mathcal{K}_4(G_k(q))$ and $\mathcal{K}_3(G_k(q))$, when $q$ is prime, and Fourier coefficients of modular forms.
△ Less
Submitted 25 June, 2020;
originally announced June 2020.
-
Fields generated by characters of finite linear groups
Authors:
Madeline Locus Dawsey,
Ken Ono,
Ian Wagner
Abstract:
In previous work, the authors confirmed the speculation of J. G. Thompson that certain multiquadratic fields are generated by specified character values of sufficiently large alternating groups $A_n$. Here we address the natural generalization of this speculation to the finite general linear groups $\mathrm{GL}_m\left(\mathbb{F}_q\right)$ and $\mathrm{SL}_2\left(\mathbb{F}_q\right)$.
In previous work, the authors confirmed the speculation of J. G. Thompson that certain multiquadratic fields are generated by specified character values of sufficiently large alternating groups $A_n$. Here we address the natural generalization of this speculation to the finite general linear groups $\mathrm{GL}_m\left(\mathbb{F}_q\right)$ and $\mathrm{SL}_2\left(\mathbb{F}_q\right)$.
△ Less
Submitted 27 January, 2021; v1 submitted 15 December, 2019;
originally announced December 2019.
-
Multiquadratic fields generated by characters of $A_n$
Authors:
Madeline Locus Dawsey,
Ken Ono,
Ian Wagner
Abstract:
For a finite group $G$, let $K(G)$ denote the field generated over $\mathbb{Q}$ by its character values. For $n>24$, G. R. Robinson and J. G. Thompson proved that $$K(A_n)=\mathbb{Q}\left (\{ \sqrt{p^*} \ : \ p\leq n \ {\text{ an odd prime with } p\neq n-2}\}\right),$$ where $p^*:=(-1)^{\frac{p-1}{2}}p$. Confirming a speculation of Thompson, we show that arbitrary suitable multiquadratic fields ar…
▽ More
For a finite group $G$, let $K(G)$ denote the field generated over $\mathbb{Q}$ by its character values. For $n>24$, G. R. Robinson and J. G. Thompson proved that $$K(A_n)=\mathbb{Q}\left (\{ \sqrt{p^*} \ : \ p\leq n \ {\text{ an odd prime with } p\neq n-2}\}\right),$$ where $p^*:=(-1)^{\frac{p-1}{2}}p$. Confirming a speculation of Thompson, we show that arbitrary suitable multiquadratic fields are similarly generated by the values of $A_n$-characters restricted to elements whose orders are only divisible by ramified primes. To be more precise, we say that a $π$-number is a positive integer whose prime factors belong to a set of odd primes $π:= \{p_1, p_2,\dots, p_t\}$. Let $K_π(A_n)$ be the field generated by the values of $A_n$-characters for even permutations whose orders are $π$-numbers. If $t\geq 2$, then we determine a constant $N_π$ with the property that for all $n> N_π$, we have $$K_π(A_n)=\mathbb{Q}\left(\sqrt{p_1^*}, \sqrt{p_2^*},\dots, \sqrt{p_t^*}\right).$$
△ Less
Submitted 2 May, 2019; v1 submitted 24 April, 2019;
originally announced April 2019.
-
Higher Width Moonshine
Authors:
Madeline Locus Dawsey,
Ken Ono
Abstract:
\textit{Weak moonshine} for a finite group $G$ is the phenomenon where an infinite dimensional graded $G$-module $$V_G=\bigoplus_{n\gg-\infty}V_G(n)$$ has the property that its trace functions, known as McKay-Thompson series, are modular functions. Recent work by DeHority, Gonzalez, Vafa, and Van Peski established that weak moonshine holds for every finite group. Since weak moonshine only relies o…
▽ More
\textit{Weak moonshine} for a finite group $G$ is the phenomenon where an infinite dimensional graded $G$-module $$V_G=\bigoplus_{n\gg-\infty}V_G(n)$$ has the property that its trace functions, known as McKay-Thompson series, are modular functions. Recent work by DeHority, Gonzalez, Vafa, and Van Peski established that weak moonshine holds for every finite group. Since weak moonshine only relies on character tables, which are not isomorphism class invariants, non-isomorphic groups can have the same McKay-Thompson series. We address this problem by extending weak moonshine to arbitrary width $s\in\mathbb{Z}^+$. For each $1\leq r\leq s$ and each irreducible character $χ_i$, we employ Frobenius' $r$-character extension $χ_i^{(r)} \colon G^{(r)}\rightarrow\mathbb{C}$ to define \textit{width $r$ McKay-Thompson series} for $V_G^{(r)}:=V_G\times\cdots\times V_G$ ($r$ copies) for each $r$-tuple in $G^{(r)}:=G\times\cdots\times G$ ($r$ copies). These series are modular functions which then reflect differences between $r$-character values. Furthermore, we establish orthogonality relations for the Frobenius $r$-characters, which dictate the compatibility of the extension of weak moonshine for $V_G$ to width $s$ weak moonshine.
△ Less
Submitted 16 October, 2019; v1 submitted 18 July, 2018;
originally announced July 2018.
-
CM Evaluations of the Goswami-Sun Series
Authors:
Madeline Locus Dawsey,
Ken Ono
Abstract:
In recent work, Sun constructed two $q$-series, and he showed that their limits as $q\rightarrow1$ give new derivations of the Riemann-zeta values $ζ(2)=π^2/6$ and $ζ(4)=π^4/90$. Goswami extended these series to an infinite family of $q$-series, which he analogously used to obtain new derivations of the evaluations of $ζ(2k)\in\mathbb{Q}\cdotπ^{2k}$ for every positive integer $k$. Since it is well…
▽ More
In recent work, Sun constructed two $q$-series, and he showed that their limits as $q\rightarrow1$ give new derivations of the Riemann-zeta values $ζ(2)=π^2/6$ and $ζ(4)=π^4/90$. Goswami extended these series to an infinite family of $q$-series, which he analogously used to obtain new derivations of the evaluations of $ζ(2k)\in\mathbb{Q}\cdotπ^{2k}$ for every positive integer $k$. Since it is well known that $Γ\left(\frac{1}{2}\right)=\sqrtπ$, it is natural to seek further specializations of these series which involve special values of the $Γ$-function. Thanks to the theory of complex multiplication, we show that the values of these series at all CM points $τ$, where $q:=e^{2πiτ}$, are algebraic multiples of specific ratios of $Γ$-values. In particular, classical formulas of Ramanujan allow us to explicitly evaluate these series as algebraic multiples of powers of $Γ\left(\frac{1}{4}\right)^4/π^3$ when $q=e^{-π}$, $e^{-2π}$.
△ Less
Submitted 9 May, 2018;
originally announced May 2018.
-
Effective Bounds for the Andrews spt-function
Authors:
Madeline Locus Dawsey,
Riad Masri
Abstract:
In this paper, we establish an asymptotic formula with an effective bound on the error term for the Andrews smallest parts function $\mathrm{spt}(n)$. We use this formula to prove recent conjectures of Chen concerning inequalities which involve the partition function $p(n)$ and $\mathrm{spt}(n)$. Further, we strengthen one of the conjectures, and prove that for every $ε>0$ there is an effectively…
▽ More
In this paper, we establish an asymptotic formula with an effective bound on the error term for the Andrews smallest parts function $\mathrm{spt}(n)$. We use this formula to prove recent conjectures of Chen concerning inequalities which involve the partition function $p(n)$ and $\mathrm{spt}(n)$. Further, we strengthen one of the conjectures, and prove that for every $ε>0$ there is an effectively computable constant $N(ε) > 0$ such that for all $n\geq N(ε)$, we have \begin{equation*} \frac{\sqrt{6}}π\sqrt{n}\,p(n)<\mathrm{spt}(n)<\left(\frac{\sqrt{6}}π+ε\right) \sqrt{n}\,p(n). \end{equation*} Due to the conditional convergence of the Rademacher-type formula for $\mathrm{spt}(n)$, we must employ methods which are completely different from those used by Lehmer to give effective error bounds for $p(n)$. Instead, our approach relies on the fact that $p(n)$ and $\mathrm{spt}(n)$ can be expressed as traces of singular moduli.
△ Less
Submitted 28 May, 2019; v1 submitted 6 June, 2017;
originally announced June 2017.
-
A new formula for Chebotarev densities
Authors:
Madeline Locus Dawsey
Abstract:
We give a new formula for the Chebotarev densities of Frobenius elements in Galois groups. This formula is given in terms of smallest prime factors $p_{\mathrm{min}}(n)$ of integers $n\geq2$. More precisely, let $C$ be a conjugacy class of the Galois group of some finite Galois extension $K$ of $\mathbb{Q}$. Then we prove that…
▽ More
We give a new formula for the Chebotarev densities of Frobenius elements in Galois groups. This formula is given in terms of smallest prime factors $p_{\mathrm{min}}(n)$ of integers $n\geq2$. More precisely, let $C$ be a conjugacy class of the Galois group of some finite Galois extension $K$ of $\mathbb{Q}$. Then we prove that $$-\lim_{X\rightarrow\infty}\sum_{\substack{2\leq n\leq X\\[1pt]\left[\frac{K/\mathbb{Q}}{p_{\mathrm{min}}(n)}\right]=C}}\frac{μ(n)}{n}=\frac{\#C}{\#G}.$$ This theorem is a generalization of a result of Alladi from 1977 that asserts that largest prime divisors $p_{\mathrm{max}}(n)$ are equidistributed in arithmetic progressions modulo an integer $k$, which occurs when $K$ is a cyclotomic field $\mathbb{Q}(ζ_k)$.
△ Less
Submitted 13 August, 2017; v1 submitted 23 March, 2017;
originally announced March 2017.
