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{\mu(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}(\zeta_k)$

Combinatorial Properties of Rogers-Ramanujan-Type Identities Arising from Hall-Littlewood Polynomials

Here we consider the $q$-series coming from the Hall-Littlewood polynomials, \begin{equation*} R_\nu(a,b;q)=\sum_{\substack{\lambda \\[1pt] \lambda_1\leq a}} q^{c|\lambda|} P_{2\lambda}\big(1,q,q^2,\dots;q^{2b+d}\big). \end{equation*} These series were defined by Griffin, Ono, and Warnaar in their work on the framework of the Rogers-Ramanujan identities. We devise a recursive method for computing the coefficients of these series when they arise within the Rogers-Ramanujan framework. Furthermore, we study the congruence properties of certain quotients and products of these series, generalizing the famous Ramanujan congruence \begin{equation*} p(5n+4)\equiv0\pmod{5}. \end{equation*}Comment: 16 pages v2: Minor changes included, to appear in Annals of Combinatoric

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 $\chi_i$, we employ Frobenius' $r$-character extension $\chi_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.Comment: Versions 2 and 3 address comments from the referee

Congruences for powers of the partition function

Let $p_{-t}(n)$ denote the number of partitions of $n$ into $t$ colors. In analogy with Ramanujan's work on the partition function, Lin recently proved in \cite{Lin} that $p_{-3}(11n+7)\equiv0\pmod{11}$ for every integer $n$. Such congruences, those of the form $p_{-t}(\ell n + a) \equiv 0 \pmod {\ell}$, were previously studied by Kiming and Olsson. If $\ell \geq 5$ is prime and $-t \not \in \{\ell - 1, \ell -3\}$, then such congruences satisfy $24a \equiv -t \pmod {\ell}$. Inspired by Lin's example, we obtain natural infinite families of such congruences. If $\ell\equiv2\pmod{3}$ (resp. $\ell\equiv3\pmod{4}$ and $\ell\equiv11\pmod{12}$) is prime and $r\in\{4,8,14\}$ (resp. $r\in\{6,10\}$ and $r=26$), then for $t=\ell s-r$, where $s\geq0$, we have that \begin{equation*} p_{-t}\left(\ell n+\frac{r(\ell^2-1)}{24}-\ell\Big\lfloor\frac{r(\ell^2-1)}{24\ell}\Big\rfloor\right)\equiv0\pmod{\ell}. \end{equation*} Moreover, we exhibit infinite families where such congruences cannot hold

Multiquadratic fields generated by characters of AnA_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 $\pi$-number is a positive integer whose prime factors belong to a set of odd primes $\pi:= \{p_1, p_2,\dots, p_t\}$. Let $K_{\pi}(A_n)$ be the field generated by the values of $A_n$-characters for even permutations whose orders are $\pi$-numbers. If $t\geq 2$, then we determine a constant $N_{\pi}$ with the property that for all $n> N_{\pi}$, we have $$K_{\pi}(A_n)=\mathbb{Q}\left(\sqrt{p_1^*}, \sqrt{p_2^*},\dots, \sqrt{p_t^*}\right).$

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 $\epsilon>0$ there is an effectively computable constant $N(\epsilon) > 0$ such that for all $n\geq N(\epsilon)$, we have \begin{equation*} \frac{\sqrt{6}}{\pi}\sqrt{n}\,p(n)<\mathrm{spt}(n)<\left(\frac{\sqrt{6}}{\pi}+\epsilon\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.Comment: Changed the title. Added more details and simplified some arguments in Section

Shifted distinct-part partition identities in arithmetic progressions

The partition function $p(n)$, which counts the number of partitions of a positive integer $n$, is widely studied. Here, we study partition functions $p_S(n)$ that count partitions of $n$ into distinct parts satisfying certain congruence conditions. A shifted partition identity is an identity of the form $p_{S_1}(n-H) = p_{S_2}(n)$ for all $n$ in some arithmetic progression. Several identities of this type have been discovered, including two infinite families found by Alladi. In this paper, we use the theory of modular functions to determine the necessary and sufficient conditions for such an identity to exist. In addition, for two specific cases, we extend Alladi's theorem to other arithmetic progressions

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

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)$.Comment: Minor revision, i.e. additional clarification in a few places, based on the referee's repor

Inequalities and asymptotics for hook numbers in restricted partitions

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