---
title: Rademacher-Type Formulas
url: https://www.emergentmind.com/topics/rademacher-type-formulas
type: topic
---

# Rademacher-Type Formulas

Rademacher-type formulas are exact, absolutely convergent series representations for Fourier coefficients of modular and mock modular forms, most classically for integer partition functions and their generalizations. They arise from deep interactions between analytic number theory and the theory of modular forms, particularly through the circle method, and have been systematically extended to a broad range of partition statistics, generalized combinatorial sequences, and even geometric and PDE contexts.

## 1. Classical Rademacher Formula: The Partition Function

Rademacher's formula gives a convergent expression for the partition function $p(n)$, enumerating the number of ways $n$ can be expressed as a sum of positive integers. Starting from the generating function $F(z)=\prod_{m=1}^\infty(1-z^m)^{-1}$ and using a contour integral, the function is analyzed near its singularities at the roots of unity. Through Farey/Ford circle decomposition and modular transformation of the Dedekind $\eta$-function, each local contribution is written as a sum involving Kloosterman-type sums and Laplace-type (Bessel) integrals. The final formula is:

\[
p(n) = \sum_{k=1}^\infty R_k(n),\quad
R_k(n) = \frac{1}{\pi\sqrt{2}}\,A_k(n)^{-1}\,k^{-1/2}\,I_{3/2}\left(\frac{\pi}{k}\sqrt{\frac{2}{3}(n-1/24)}\right),
\]
where $A_k(n)=\sum_{(h,k)=1} \exp(\pi i\,s(h,k)-2\pi i n h/k)$ involves the Dedekind sum $s(h,k)$, and $I_{3/2}$ is a modified Bessel function of order $3/2$ [2302.03835]. The series converges absolutely with error term $O(N^{-1/2})$ for level-$N$ truncation. The dominant asymptotic term recovers the Hardy–Ramanujan exponential growth law.

## 2. Generalizations: Colored, Regular, and Restricted Partition Functions

The Rademacher-type method extends to families such as $r$-colored partitions, $\ell$-regular partitions, partitions without certain multiplicities, and combinations thereof. For $r$-colored $\ell$-regular partitions, with generating function

\[
R(q) = (q^\ell;q^\ell)_\infty^r\,(q;q)_\infty^{-r},
\]
the exact Rademacher-type formula for $b_\ell^{(r)}(n)$ includes generalized Kloosterman–Dedekind sums, Bessel functions, and explicit combinatorial coefficients:

\[
b_\ell^{(r)}(n) = 2\pi \sum_{Q\,|\,\ell, Q^2<\ell} \left(\frac{Q}{\ell}\right)^{r/2}
\sum_{k \geq 1,\, (k,\ell)=Q} \sum_{m,s}'
\frac{p^{(r)}(m)\,a^{(r)}(s)\,C_{k,r,\ell,Q,m,s}(n)}{k}
\sqrt{\frac{\Delta_{Q,m,s}}{n+\frac{r}{24}(\ell-1)}}\, I_1\left(\frac{4\pi}{k}\sqrt{\Delta_{Q,m,s}\left(n+\tfrac{r}{24}(\ell-1)\right)}\right),
\]
where $\Delta_{Q,m,s} = \frac{r}{24}(1-Q^2/\ell)-(m+Q^2 s/\ell) > 0$ and detailed arithmetic combinatorics defines $C_{k,r,\ell,Q,m,s}(n)$ [2511.05907]. Specializations recover the classical Rademacher formula, Hagis’s formula for $\ell$-regular partitions, and formulas for partitions into distinct parts.

## 3. Rademacher-Type Formulas for Partitions with Multiplicative or Combinatorial Constraints

Numerous classical and modern results employ the Rademacher circle method for partitions subject to multiplicity, congruence, or combinatorial constraints:

- $(r,s)$-regular partitions (parts not divisible by relatively prime $r,s$): the main theorem in [1901.05327] gives
  \[
  p_{r,s}(n) = \sum_{k=1}^\infty\sum_{m=0}^{\lfloor\delta_k\rfloor}
  \frac{2\pi}{k}A_{k,m}(n)\sqrt{\frac{r_k s_k (\delta_k-m)}{r s (n-R)}}\,I_1\left(\frac{4\pi}{k}\sqrt{\frac{r_k s_k}{r s}(\delta_k-m)(n-R)}\right),
  \]
  with explicitly defined arithmetic coefficients involving Dedekind sums and eta-multiplier products.

- Partitions without sequences, or with other pattern restrictions: For instance, the function $p_2(n)$ (partitions with no two consecutive parts) admits an exact formula as a sum over three cusp types, each term involving Kloosterman sums and real Mordell- or Bessel-type integrals, reflecting the mixed modular and mock-modular nature of the generating function [2304.01377].

- Partitions with parity/multiplicity conditions: For $\text{pod}_2(n)$ (partitions with even largest part, each odd part at most twice), the Rademacher-type expansion decomposes into four infinite sums corresponding to $k \bmod 6$, each with distinct Kloosterman–Mordell–Bessel integrals [2604.18241].

- Overpartition and cubic overpartition formulas demonstrate similar structure, including combinations of Bessel functions, multipliers, and sum-over-coset decompositions, together with explicit error bounds and eventual applications to log-concavity and Turán inequalities [1312.0696, 2509.23151].

## 4. Methodological Foundation: The Circle Method and Modular Transformations

All Rademacher-type formulas fundamentally rely on the analytic circle method. The typical process is:

- Express the coefficient as a contour integral of the generating function.
- Decompose the contour along Farey arcs or Ford circles near rationals $h/k$ in the complex unit disc or modular domain.
- Apply modular (often Dedekind–eta or mock theta) transformation laws to capture local singularity structure at each cusp.
- Expand local contributions as series involving arithmetic sums (Kloosterman sums with multipliers), with the main exponential and oscillatory part expressed as Bessel or, in the mock-modular/non-holomorphic case, Mordell-type integrals.
- Sum over cusps and, where necessary, sum over additional combinatorial parameters (e.g., for higher-order regular or colored partitions).
- Prove absolute convergence and provide effective error bounds for truncations, typically invoking Weil-Estermann or sharper bounds for Kloosterman sums.

This pipeline admits extensive generalization as long as precise modular and analytical properties of the generating function (modular, mock modular, mixed weight) are available [2302.03835, 2511.05907, 2604.18241].

## 5. Applications: Partition Asymptotics, Inequalities, and Beyond

Rademacher-type formulas provide both exact evaluation and asymptotic growth for partition-theoretic and related combinatorial functions:

- Leading-term asymptotics recover classical exponential laws (e.g., $p(n)\sim \frac{1}{4n\sqrt{3}}\exp(\pi\sqrt{2n/3})$) and supply main exponents and constants for generalized statistics [2302.03835, 1312.0696, 2511.05907].
- Precise remainder bounds in these series enable proofs of log-concavity, Turán inequalities, and (generalized) Newton and Jensen hyperbolicity criteria for partition functions and their polynomial analogues [2511.05907, 2509.23151].
- Exact formulas allow high-precision numerical evaluation: five $k$-terms are often sufficient for 12-digit agreement with medium-sized $n$ values [2511.05907].
- The analytic machinery extends to sheaf-counting in algebraic geometry and to diverse combinatorial congruence classes, overpartitions, or pattern-avoidance statistics.

## 6. Extensions and Non-Partition Contexts: Rademacher-Type Theorems in Analysis

Beyond combinatorics, "Rademacher-type" also refers to differentiability theorems analogous to Rademacher’s theorem on Lipschitz differentiability, extended to geometric measure-theoretic and PDE settings.

In the context of the transport equation for currents (integral and normal $k$-currents in $\mathbb{R}^d$), Rademacher-type differentiability theorems provide conditions under which an absolutely continuous path $t\mapsto T_t$ admits an a.e.-defined geometric derivative (a driving vector field $b_t$), generalizing classical differentiability for scalar-valued functions:

- The strong Rademacher-type theorem: If the path of boundaryless $k$-currents is absolutely continuous in the flat norm and a negligible-criticality (NC) condition holds, then there exists $b\in L^1(dt\otimes\|T_t\|)$ so that the PDE $dT_t/dt + \mathcal{L}_{b_t}T_t = 0$ holds almost everywhere in the distributional sense [2207.03922].
- The critical set and Sard property relate differentiability to the geometric singularities and rectifiability structure of the evolving currents.
- Explicit counterexamples (the "Flat Mountain") demonstrate sharpness of hypotheses in this non-scalar, geometric context.

This analytic generalization links Rademacher-type theorems to the theory of regular Lagrangian flows, geometric measure theory, and transport equations in mathematical physics.

## 7. Summary Table: Rademacher-Type Series for Partition Families

| Partition Type                         | Main Arithmetic Sum        | Bessel Function             |
|----------------------------------------|----------------------------|-----------------------------|
| Ordinary partitions $p(n)$             | $A_k(n)$ (Dedekind sum)    | $I_{3/2}$                   |
| $r$-colored, $\ell$-regular            | $C_{k,r,\ell,Q,m,s}(n)$    | $I_{1}$                     |
| $(r,s)$-regular partitions             | $A_{k,m}(n)$ (eta ratios)  | $I_{1}$                     |
| Cubic overpartitions                   | $A_k^{(1)},A_k^{(2)}$      | $I_{2}$                     |
| No-odd-repeat partitions, overpart.    | $S_r^{(0)}, S_r^{(j)}$     | $I_{3/2}$                   |
| Partitions without sequences           | $K^L, K^K, K^D$ (cusps)    | Mordell/Bessel integrals    |
| pod$_2(n)$, "mixed" cases              | $K_k^{[xyz]}$, etc.        | Integrated $I_1$, etc.      |

The precise form of each series depends on combinatorial constraints, properties of the generating function, and the modular or mock modular transformations involved.

---

Rademacher-type formulas thus represent a unifying analytic framework for the exact calculation and asymptotic analysis of partition-theoretic objects, providing powerful explicit series and revealing deep connections among modular forms, arithmetic combinatorics, and analysis [2302.03835, 2511.05907, 1901.05327, 2604.18241, 2207.03922].

Source: https://www.emergentmind.com/topics/rademacher-type-formulas