The fraction of odd values of the partition function P(n) is roughly 50%, independent of , whereas odd values of occur with ever decreasing frequency as becomes large. Kolberg (1959) proved that there are infinitely many even and odd values of .

Leibniz noted that is prime for , 3, 4, 5, 6, but not 7. In fact, values of for which is prime are 2, 3, 4, 5, 6, 13, 36, 77, 132, 157, 168, 186, ... (Sloane's A046063), corresponding to 2, 3, 5, 7, 11, 101, 17977, 10619863, ... (Sloane's A049575). Numbers which cannot be written as a product of are 13, 17, 19, 23, 26, 29, 31, 34, 37, 38, 39, ... (Sloane's A046064), corresponding to numbers of nonisomorphic Abelian groups which are not possible for any group order.

Ramanujan conjectured a number of amazing and unexpected congruences involving . In particular, he proved

(1)

using Ramanujan's identity (Darling 1919; Hardy and Wright 1979; Drost 1997; Hardy 1999, pp. 87-88; Hirschhorn 1999). Ramanujan (1919) also showed that

(2)

and Krečmar (1933) proved that

(3)

Watson (1938) then proved the general congruence

(4)

(Gordon and Hughes 1981; Hardy 1999, p. 89). For , 2, ..., the corresponding minimal values of are 4, 24, 99, 599, 2474, 14974, 61849, ... (Sloane's A052463). However, the even more general congruences

(5)

(6)

seem also to hold.

Ramanujan showed that

(7)

(Darling 1919), which can be derived using the Euler identity and Jacobi triple product (Hardy 1999, pp. 87-88), and also that

(8)

(Hardy 1999, p. 90). He conjectured that in general

(9)

(Gordon and Hughes 1981, Hardy 1999), although Gupta (1936) showed that this is false when . Watson (1938) subsequently formulated and proved the modified relation

(10)

for . For , 2, ..., the corresponding minimal values of are 0, 47, 2301, 112747, ... (Sloane's A052464). However, the even more general congruences

(11)

appear to hold.

Ramanujan showed that

(12)

holds (Gordon and Hughes 1981; Hardy 1999, pp. 87-88), and conjectured the general relation

(13)

This was finally proved by Atkin (1967). For , 2, ..., the corresponding minimal values of are 6, 116, 721, 14031, ... (Sloane's A052465).

Atkin and O'Brien (1967) proved

(14)

where is an integer depending only on (Gordon and Hughes 1981). For , 2, ..., the corresponding minimal values of are 6, 162, 1007, 27371, ... (Sloane's A052466).

Subbarao (1966) conjectured that in every arithmetic progression (mod ), there are infinitely many integers for which is even, and infinitely many integer for which is odd.

Dyson (1944) explained congruences modulo 5 and 7 via a mathematical tool he termed a "rank" and conjectured that this approach could be extended to other moduli. The conjecture (sometimes known as the "crank conjecture") was extended to congruences modulo 11 (Andrews and Garvan 1988). Mahlburg (2005) subsequently completely resolved the conjecture with an elegant proof described by Dyson as "beautiful and totally unexpected."

In the Season 4 opening episode "Trust Metric" (2007) of the television crime drama NUMB3RS, math genius Charlie Eppes closes the opening scene by informing his class they will cover partition congruences in the next class (despite the strange fact that the current lesson was on Nash equilibria).

RELATED WOLFRAM SITES: http://functions.wolfram.com/IntegerFunctions/PartitionsP/

Andrews, G. E. and Garvan, F. G. "Dyson's Crank of a Partition." Bull. Amer. Math. Soc. 18, 167-171, 1988.

Atkin, A. O. L. "Proof of a Conjecture of Ramanujan." Glasgow Math. J. 8, 14-32, 1967.

Atkin, A. O. L. and O'Brien, J. N. "Some Properties of and Modulo Powers of 13." Trans. Amer. Math. Soc. 126, 442-459, 1967.

Chowla, S. "Congruence Properties of Partitions." J. London Math. Soc. 9, 247, 1934.

Darling, H. B. C. "On Mr. Ramanujan's Congruence Properties of ." Proc. Cambridge Philos. Soc. 19, 217-218, 1919.

Darling, H. B. C. "Proofs of Certain Identities and Congruences Enunciated by S. Ramanujan." Proc. London Math. Soc. 19, 350-372, 1921.

Drost, J. L. "A Shorter Proof of the Ramanujan Congruence mod 5." Amer. Math. Monthly 104, 963-964, 1997.

Dyson, F. J. Eureka 8, 10-15, 1944.

Dyson, F. J. "Mappings and Symmetries of Partitions." J. Combin. Theory Ser. A 51, 169-180, 1989.

Getz, J. "On Congruence Properties of the Partition Function." Internat. J. Math. Math. Sci. 23, 493-496, 2000.

Gordon, B. and Hughes, K. "Ramanujan Congruences for ." In Analytic Number Theory, Proceedings of the Conference Held at Temple University, Philadelphia, Pa., May 12-15, 1980 (Ed. M. I. Knopp). New York: Springer-Verlag, pp. 333-359, 1981.

Gupta, H. "On a Conjecture of Ramanujan." Proc. Indian Acad. Sci. (A) 4, 625-629, 1936.

Hardy, G. H. Ramanujan: Twelve Lectures on Subjects Suggested by His Life and Work, 3rd ed. New York: Chelsea, 1999.

Hardy, G. H. and Wright, E. M. An Introduction to the Theory of Numbers, 5th ed. Oxford, England: Clarendon Press, 1979.

Hirschhorn, M. D. "Another Short Proof of Ramanujan's Mod 5 Partition Congruences, and More." Amer. Math. Monthly 106, 580-583, 1999.

Kolberg, O. "Note on the Parity of the Partition Function." Math. Scand. 7, 377-378, 1959.

Krečmar, W. "Sur les propriétés de la divisibilité d'une fonction additive." Bull. Acad. Sci. URSS 7, 763-800, 1933.

Lehmer, D. H. "An Application of Schläfli's Modular Equation to a Conjecture of Ramanujan." Bull. Amer. Math. Soc. 44, 84-90, 1938.

Lewis, R. "Relations Between the Rank and the Crank Modulo 9." J. London Math. Soc. 45, 222-231, 1992.

Mahlburg, K. "Partition Congruences and the Andrews-Garvan-Dyson Crank" Proc. National Acad. Sci. USA 102, 15373-15376, 2005.

McKee, M. "Classic Maths Puzzle Cracked at Last." Mar. 21, 2005. http://www.newscientist.com/article.ns?id=dn7180.

Mordell, L. J. "Note on Certain Modular Relations Considered by Messrs Ramanujan, Darling and Rogers." Proc. London Math. Soc. 20, 408-416, 1922.

Ono, K. "Parity of the Partition Function in Arithmetic Progressions." J. reine. angew. Math. 472, 1-15, 1996.

Ono, K. "The Partition Function in Arithmetic Progressions." Math. Ann. 312, 251-260, 1998.

Ono, K. "Distribution of the Partition Function Modulo ." Ann. Math. 151, 293-307, 2000.

Ramanujan, S. "Some Properties of , the Number of Partitions of ." Proc. Cambridge Philos. Soc. 19, 207-210, 1919.

Ramanujan, S. "Congruence Properties of Partitions." Math. Z. 9, 147-153, 1921.

Sloane, N. J. A. Sequences A046063, A046064, A049575, A052462, A052463, A052464, A052465, and A052466 in "The On-Line Encyclopedia of Integer Sequences."

Subbarao, M. V. "Some Remarks on the Partition Function." Amer. Math. Monthly 73, 851-854, 1966.

Watson, G. N. "Ramanujans Vermutung über Zerfällungsanzahlen." J. für Math. 179, 97-128, 1938.

Winquist, L. "An Elementary Proof of ." J. Combin. Th. 6, 56-59, 1969.

CITE THIS AS:

Weisstein, Eric W. "Partition Function P Congruences." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/PartitionFunctionPCongruences.html