Source author record

Madeline Locus Dawsey

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT math.CO math.RT math.GR

Catalog footprint

Research overview

10works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Bijections, generalizations, and other properties of sequentially congruent partitions

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.

preprint2022arXiv

Derivatives and Integrals of Polynomials Associated with Integer Partitions

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.

preprint2022arXiv

Self-conjugate $t$ -core partitions and applications

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.

preprint2021arXiv

Fields generated by characters of finite linear groups

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)$ .

preprint2020arXiv

Generalized Paley graphs and their complete subgraphs of orders three and four

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.

preprint2019arXiv

Effective Bounds for the Andrews spt-function

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.

preprint2019arXiv

Higher Width Moonshine

\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.

preprint2019arXiv

Multiquadratic fields generated by characters of $A_n$

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).$

preprint2018arXiv

CM Evaluations of the Goswami-Sun Series

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π}$ .

preprint2017arXiv

A new formula for Chebotarev densities

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)$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Madeline Locus Dawsey

Research overview

Is this your work?

10 publications

Bijections, generalizations, and other properties of sequentially congruent partitions

Derivatives and Integrals of Polynomials Associated with Integer Partitions

Self-conjugate $t$ -core partitions and applications

Fields generated by characters of finite linear groups

Generalized Paley graphs and their complete subgraphs of orders three and four

Effective Bounds for the Andrews spt-function

Higher Width Moonshine

Multiquadratic fields generated by characters of $A_n$

CM Evaluations of the Goswami-Sun Series

A new formula for Chebotarev densities

See the researcher in context

Building this map preview

Madeline Locus Dawsey

Research overview

Is this your work?

10 publications

Bijections, generalizations, and other properties of sequentially congruent partitions

Derivatives and Integrals of Polynomials Associated with Integer Partitions

Self-conjugate ttt-core partitions and applications

Fields generated by characters of finite linear groups

Generalized Paley graphs and their complete subgraphs of orders three and four

Effective Bounds for the Andrews spt-function

Higher Width Moonshine

Multiquadratic fields generated by characters of AnA_nAn​

CM Evaluations of the Goswami-Sun Series

A new formula for Chebotarev densities

See the researcher in context

Building this map preview

Self-conjugate $t$ -core partitions and applications

Multiquadratic fields generated by characters of $A_n$