On Dyson's Crank Conjecture and the Uniform Asymptotic

Total Page:16

File Type:pdf, Size:1020Kb

On Dyson's Crank Conjecture and the Uniform Asymptotic ON DYSON’S CRANK CONJECTURE AND THE UNIFORM ASYMPTOTIC BEHAVIOR OF CERTAIN INVERSE THETA FUNCTIONS KATHRIN BRINGMANN AND JEHANNE DOUSSE Abstract. In this paper we prove a longstanding conjecture by Freeman Dyson concerning the limiting shape of the crank generating function. We fit this function in a more general family of inverse theta functions which play a key role in physics. 1. Introduction and statement of results Dyson’s crank was introduced to explain Ramanujan’s famous partition congru- ences with modulus 5, 7, and 11. Denoting for n 2 N by p(n) the number of integer partitions of n, Ramanujan [22] proved that for n ≥ 0 p (5n + 4) ≡ 0 (mod 5); p (7n + 5) ≡ 0 (mod 7); p (11n + 6) ≡ 0 (mod 11): A key ingredient of his proof is the modularity of the partition generating function 1 1 X 1 q 24 P (q) := p(n)qn = = ; (q; q) η(τ) n=0 1 Qj−1 ` 2πiτ where for j 2 N0 [ f1g we set (a)j = (a; q)j := `=0(1 − aq ), q := e , and 1 1 1 24 Q n η(τ) := q n=1(1 − q ) is Dedekind’s η-function, a modular form of weight 2 . Ramanujan’s proof however gives little combinatorial insight into why the above congruences hold. In order to provide such an explanation, Dyson [8] famously intro- duced the rank of a partition, which is defined as its largest part minus the number of its parts. He conjectured that the partitions of 5n + 4 (resp. 7n + 5) form 5 (resp. 7) groups of equal size when sorted by their ranks modulo 5 (resp. 7). This Date: July 7, 2014. 2010 Mathematics Subject Classification. 05A17, 11F03, 11F30, 11F50, 11P55, 11P82. 1 2 KATHRIN BRINGMANN AND JEHANNE DOUSSE conjecture was proven by Atkin and Swinnerton-Dyer [4]. Ono and the first author [7] showed that partitions with given rank satisfy also Ramanujan-type congruences. Dyson further postulated the existence of another statistic which he called the “crank” and which should explain all Ramanujan congruences. The crank was later found by Andrews and Garvan [1, 12]. If for a partition λ, o(λ) denotes the number of ones in λ, and µ(λ) is the number of parts strictly larger than o(λ), then the crank of λ is defined as largest part of λ if o(λ) = 0, crank(λ) := µ(λ) − o(λ) if o(λ) > 0. Denote by M(m; n) the number of partitions of n with crank m. Mahlburg [19] then proved that partitions with fixed crank also satisfy Ramanujan-type congruences. In this paper, we solve a longstanding conjecture by Dyson [9] concerning the limiting shape of the crank generating function. Conjecture 1.1 (Dyson). As n ! 1 we have 1 1 M (m; n) ∼ βsech2 βm p(n) 4 2 with β := pπ . 6n Dyson then asked the question about the precise range of m in which this asymp- totic holds and about the error term. In this paper, we answer all of these questions. p Theorem 1.2. The Dyson-Conjecture is true. To be more precise, if jmj ≤ p1 n log n, π 6 we have as n ! 1 β 2 βm 1 1 M(m; n) = sech p(n) 1 + O β 2 jmj 3 : (1.1) 4 2 Remarks. 1. For fixed m one can directly obtain asymptotic formulas since the generating function is the convolution of a modular form and a partial theta function [6]. However, Dyson’s conjecture is a bivariate asymptotic. Indeed, this fact is the source of the difficulty of this problem. 2. We note that Theorem 1.2 is of a very different nature than known asymp- totics in the literature. For example, the partition function can be approxi- mated as p(n) = M(n) + O n−α ; ON DYSON’S CRANK CONJECTURE 3 where M(n) is the main term which is a sum of varying length of Kloosterman 3 sums and Bessel functions and α > 0. Rademacher [20] obtained α = 8 , 1 Lehmer improved this to 2 − " and Folsom and Masri [11] in their recent −δ 1 work obtained an impressive error of n for some absolute δ > 2 . Our result has a very different flavor due to the nonmodularity of the generating function and the bivariate asymptotics. 1 2 3. In fact we could replace the error by O(β 2 mα (m)) for any α(m) such that log n 1 p 1 = o (α(m)) for all jmj ≤ p n log n and βmα(m) ! 0 as n ! 1. n 4 π 6 − 1 Here we chose α(m) = jmj 3 to avoid complicated expressions in the proof. A straightforward calculation shows Corollary 1.3. Almost all partitions satisfy Dyson’s conjecture. To be more precise p n ] λ ` njcrank(λ)j ≤ p log n ∼ p(n): (1.2) π 6 Remarks. 1. We thank Karl Mahlburg for pointing out Corollary 1.3 to us. 2. We can improve (1.2) and give the size of the error term. Dyson’s conjecture follows from a more general result concerning the coefficients Mk(m; n) defined for k 2 N by 1 1 X X (q)2−k C (ζ; q) = M (m; n) ζmqn := 1 : k k (ζq) (ζ−1q) n=0 m=−∞ 1 1 Note that M(m; n) = M1(m; n). Denoting by pk(n) the number of partitions of n allowing k colors, we have. Theorem 1.4. For k fixed and jmj ≤ 1 log n, we have as n ! 1 6βk 1 βk 2 βkm 1 M (m; n) = sech p (n) 1 + O β 2 jmj 3 ; k 4 2 k k q k with βk := π 6n . Remarks. 4 KATHRIN BRINGMANN AND JEHANNE DOUSSE 1. We note that for k ≥ 3, the functions Ck(ζ; q) are well-known to be generating functions of Betti numbers of moduli spaces of Hilbert schemes on (k − 3)−point blow-ups of the projective plane [13] (see also [6] and references therein). The results of this paper immediately gives the limiting profile of the Betti numbers for large second Chern class of the sheaves. Recently, Hausel and Rodriguez-Villegas [16] also determined profiles of Betti numbers for other moduli spaces. 2. Note that our method of proof would allow determining further terms in the asymptotic expansion of Mk(m; n). 1 2 2 3. Again we could replace the error by O(βk mαk(m)) for any αk(m) such that log n 1 1 = o (αk(m)) for all jmj ≤ log n and βkmαk(m) ! 0 as n ! 1. (kn) 4 6βk 4. The function Ck can also be represented as a so-called Lerch sum. To be more precise, we have [1] n n(n+1) X m n 1 − ζ X (−1) q 2 M (m; n) ζ q = n : (1.3) (q)1 1 − ζq m2Z n2Z n≥0 This representation, which was a key representation in [6], is not used in this paper. 5. The special case k = 2 yields the birank of partitions [14]. 6. We expect that our methods also apply to show an analogue of (1.1) for the rank. The case of fixed m is considered in upcoming work by Byungchan Kim, Eunmi Kim, and Jeehyeon Seo [17]. This paper is organized as follows. In Section 2, we recall basic facts on modular and Jacobi forms which are the base components of Ck and collect properties on Euler polynomials. In Section 3, we determine the asymptotic behavior of Ck. In Section 4, we use Wright’s version of the Circle Method to finish the proof of Theorem 1.4. In Section 5, we illustrate Theorem 1.2 numerically. Acknowledgements The research of the first author was supported by the Alfried Krupp Prize for Young University Teachers of the Krupp foundation and the research leading to these results has received funding from the European Research Council under the European Union’s Seventh Framework Programme (FP/2007-2013) / ERC Grant agreement n. 335220 - AQSER. Most of this research was conducted while the second author was ON DYSON’S CRANK CONJECTURE 5 visiting the University of Cologne funded by the Krupp foundation. The first author thanks Freeman Dyson and Jan Manschot for enlightening conversation. Moreover we thank Michael Mertens, Karl Mahlburg, and Larry Rolen for their comments on an earlier version of this paper. Moreover we thank the referee for valuable comments that improved the exposition of this paper. 2. Preliminaries 2.1. Modularity of the generating functions. A key ingredient of our asymptotic results is to employ the modularity of the functions Ck. To be more precise, we write (throughout q := e2πiτ , ζ := e2πiw with τ 2 H; w 2 C) 1 − 1 k 3−k i ζ 2 − ζ 2 q 24 η (τ) C (ζ; q) = ; (2.1) k # (w; τ) where 1 1 Y n η(τ) := q 24 (1 − q ) ; n=1 1 1 1 Y n n −1 n−1 # (w; τ) := iζ 2 q 8 (1 − q ) (1 − ζq ) 1 − ζ q : n=1 The function η is a modular from, whereas # is a Jacobi form. To be more precise, we have the following transformation laws (see e.g. [20]). Lemma 2.1. We have 1 p η − = −iτη(τ); τ w 1 p πiw2 # ; − = −i −iτe τ # (w; τ) : τ τ 2.2. Euler polynomials. Recall that the Euler polynomials may be defined by their generating function 1 2ext X tr =: E (x) : (2.2) et + 1 r r! r=0 The following lemma may easily be concluded by differentiating the generating func- tion (2.2).
Recommended publications
  • Freeman Dyson, the Mathematician∗
    GENERAL ARTICLE Freeman Dyson, the Mathematician∗ B Sury A mathematician of the highest rank with ideas ever-brimming with a full tank. He designed special lenses to ‘see’ Ramanujan’s congruences partitioned through the yet-invisible crank! The one person who comes closest to the legacy of Hermann B Sury is with the Indian Weyl was Freeman Dyson, who contributed enormously to Statistical Institute in Bengaluru. He is the National both Physics and Mathematics. His books and talks are tes- Co-ordinator for the taments to his prolificity in writing widely on the world at Mathematics Olympiad large and on science and mathematics in particular. To name Programme in India, and also a few of his books, he has (talked and) written on ‘Bombs and the President of the Indian Mathematical Society. Poetry’, ‘Imagined Worlds’, ‘Origins of Life’ and ‘Birds and Frogs’. Remarkably, Dyson contributed handsomely to what is termed ‘pure mathematics’. One would expect a physicist- mathematician to interest himself mainly in problems of an ‘applied’ nature. Here, we take a necessarily brief peek into some of his ‘purely mathematical’ work. The suggested read- ing at the end can be referred to for more details. 1. Statistical Mechanics – Dyson’s Conjecture In an enormously influential paper, ‘Statistical theory of energy Keywords levels of complex systems’, I. J. Math. Phys., 3:140–156, 1962, Congruences for partitions, rank and crank, random matrix the- Dyson proposed a new type of ensemble transforming the whole ory, Riemann zeta function, Dyson subject into purely group-theoretic language. In the paper, Dyson transform, quasi-crystals.
    [Show full text]
  • What Is the Crank of a Partition? Daniel Glasscock, July 2014
    What is the crank of a partition? Daniel Glasscock, July 2014 These notes complement a talk given for the What is ... ? seminar at the Ohio State University. Introduction The crank of an integer partition is an integer statistic which yields a combinatorial explanation of Ramanujan's three famous congruences for the partition function. The existence of such a statistic was conjectured by Freeman Dyson in 1944 and realized 44 years later by George Andrews and Frank Gravan. Since then, groundbreaking work by Ken Ono, Karl Mahlburg, and others tells us that not only are there infinitely many congruences for the partition function, but infinitely many of them are explained by the crank. In this note, we will introduce the partition function, define the crank of a partition, and show how the crank underlies congruences of the partition function. Along the way, we will recount the fascinating history behind the crank and its older brother, the rank. This exposition ends with the recent work of Karl Mahlburg on crank function congruences. Andrews and Ono [3] have a good quick survey from which to begin. The partition function The partition function p(n) counts the number of distinct partitions of a positive integer n, where a partition of n is a way of writing n as a sum of positive integers. For example, p(4) = 5 since 4 may be written as the sum of positive integers in 5 essentially different ways: 4, 3 + 1, 2 + 2, 2 + 1 + 1, and 1 + 1 + 1 + 1. The numbers comprising a partition are called parts of the partition, thus 2 + 1 + 1 has three parts, two of which are odd, and is not composed of distinct parts (since the 1 repeats).
    [Show full text]
  • Ramanujan, His Lost Notebook, Its Importance
    RAMANUJAN, HIS LOST NOTEBOOK, ITS IMPORTANCE BRUCE C. BERNDT 1. Brief Biography of Ramanujan Throughout history most famous mathematicians were educated at renowned centers of learning and were taught by inspiring teachers, if not by distinguished research mathematicians. The one exception to this rule is Srinivasa Ramanujan, born on December 22, 1887 in Erode in the southern Indian State of Tamil Nadu. He lived most of his life in Kumbakonam, located to the east of Erode and about 250 kilometers south, southwest of Madras, or Chennai as it is presently named. At an early age, he won prizes for his mathematical ability, not mathematics books as one might surmise, but books of English poetry, reflecting British colonial rule at that time. At the age of about fifteen, he borrowed a copy of G. S. Carr's Synopsis of Pure and Applied Mathematics, which was the most influential book in Ramanujan's development. Carr was a tutor and compiled this compendium of approximately 4000{5000 results (with very few proofs) to facilitate his tutoring at Cambridge and London. One or two years later, Ramanujan entered the Government College of Kumbakonam, often called \the Cambridge of South India," because of its high academic standards. By this time, Ramanujan was consumed by mathematics and would not seriously study any other subject. Consequently he failed his examinations at the end of the first year and lost his scholarship. Because his family was poor, Ramanujan was forced to terminate his formal education. At about the time Ramanujan entered college, he began to record his mathematical discoveries in notebooks.
    [Show full text]
  • Polyhedral Geometry, Supercranks, and Combinatorial Witnesses of Congruences for Partitions Into Three Parts
    Polyhedral geometry, supercranks, and combinatorial witnesses of congruences for partitions into three parts Felix Breuer∗ Research Institute for Symbolic Computation (RISC) Johannes Kepler University, A-4040 Linz, Austria [email protected] Dennis Eichhorn Department of Mathematics University of California, Irvine Irvine, CA 92697-3875 [email protected] Brandt Kronholm∗ Research Institute for Symbolic Computation (RISC) Johannes Kepler University, A-4040 Linz, Austria [email protected] August 8, 2018 Abstract In this paper, we use a branch of polyhedral geometry, Ehrhart theory, to expand our combinatorial understanding of congruences for partition functions. Ehrhart theory allows us to give a new decomposition of partitions, which in turn allows us to define statistics called supercranks that combinatorially witness every instance of divisibility of p(n; 3) by any prime m ≡ −1 (mod 6), where p(n; 3) is the number of partitions of n into three parts. A rearrangement of lattice points allows us to demonstrate with explicit bijections how to divide these sets of partitions into m equinumerous classes. The behavior for primes m0 ≡ 1 (mod 6) is also discussed. 1 Introduction arXiv:1508.00397v1 [math.CO] 3 Aug 2015 Ramanujan [18] observed and proved the following congruences for the ordinary partition function: p(5n + 4) ≡ 0 (mod 5) p(7n + 5) ≡ 0 (mod 7) p(11n + 6) ≡ 0 (mod 11): In 1944, Freeman Dyson [9] called for direct proofs of Ramanujan's congruences that would give concrete demonstrations of how the sets of partitions of 5n+4, 7n+5, and 11n + 6 could be split into 5; 7; and 11 equinumerous classes, respectively.
    [Show full text]
  • In Memoriam: Freeman Dyson (1923–2020) George E
    In Memoriam: Freeman Dyson (1923–2020) George E. Andrews, Jürg Fröhlich, and Andrew V. Sills 1. A Brief Biography 1.1. Personal background. Freeman John Dyson was born in Crowthorne, Berkshire, in the United Kingdom, on December 15, 1923. His father was the musician and composer Sir George Dyson; his mother, Mildred Lucy, n´eeAtkey, was a lawyer who later became a social worker. Freeman had an older sister, Alice, who said that, as a boy, he was constantly calculating and was always surrounded by encyclopedias. According to his own testimony, Free- man became interested in mathematics and astronomy around age six. At the age of twelve, he won the first place in a scholar- ship examination to Winchester College, where his father was the Director of Music; one of the early manifestations of Freeman’s extraordinary talent. Dyson described his ed- ucation at Winchester as follows: the official curriculum at the College was more or less limited to imparting basic skills in languages and in mathematics; everything else was in the responsibility of the students. In the company of some of his fellow students, he thus tried to absorb what- ever he found interesting, wherever he could find it. That included, for example, basic Russian that he needed in or- der to be able to understand Vinogradov’s Introduction to Figure 1. the Theory of Numbers. George E. Andrews is Evan Pugh Professor of Mathematics at the Pennsylvania In 1941, Dyson won a scholarship to Trinity College in State University. His email address is [email protected]. Cambridge. He studied physics with Paul Dirac and Sir Jürg Fröhlich is a professor emeritus of theoretical physics at the Institute for The- Arthur Eddington and mathematics with G.
    [Show full text]
  • The Pennsylvania State University the Graduate School STUDIES of PARTITION FUNCTIONS with CONDITIONS on PARTS and PARITY a Disse
    The Pennsylvania State University The Graduate School STUDIES OF PARTITION FUNCTIONS WITH CONDITIONS ON PARTS AND PARITY A Dissertation in Mathematics by Donny Passary © 2019 Donny Passary Submitted in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy December 2019 The dissertation of Donny Passary was reviewed and approved∗ by the following: George Andrews Evan Pugh Professor of Mathematics Dissertation Co-Advisor, Co-Chair of Committee Ae Ja Yee Associate Professor of Mathematics Dissertation Co-advisor, Co-Chair of Committee Wen-Ching W. Li Distinguished Professor of Mathematics James Sellers Associate Professor of Mathematics Donald Richards Professor of Statistics Alexei Novikov Professor of Mathematics Chair of Graduate Program ∗Signatures are on file in the Graduate School. ii Abstract This dissertation explores four topics in partition theory, with main themes on parts and parities conditions. The first topic studies many properties of the EO- partitions by Andrews, especially the results analogous to the work of Atkin and Swinnerton-Dyer. The second topic deals with the concept of Andrews’ separable integer partition classes, which yields alternate proofs for many partition identities including little Göllnitz identities. The third topic gives infinite families of congruences for partition functions arising from Ramanujan’s mock theta functions. Some other related identities analogue to Euler’s pentagonal number theorem are also proved. Finally, the fourth topic presents a combinatorial proof for an overpartition identity, derived from the truncated version of a certain theta series identity. iii Table of Contents List of Figures vi Acknowledgments vii Chapter 1 Introduction 1 1.1 EO−partitions . 1 1.2 Separable Integer Partition Classes .
    [Show full text]
  • Frank Garvan
    Curriculum Vitae FRANK GARVAN Office Address: University of Florida Office Phone: +1{352{294{2305 Mathematics Department Email Address: fgarvan@ufl.edu PO Box 118105 Homepage: http://people.clas.ufl.edu/fgarvan Gainesville, FL 32611-8105 Birthdate: March 9, 1955 Last modified: January 11, 2020 EDUCATION/EMPLOYMENT 2000 { Professor of Mathematics, University of Florida 1994 { 1999 Associate Professor of Mathematics, University of Florida 1990 { 1993 Assistant Professor of Mathematics, University of Florida 1991 NSERC International fellow, Dalhousie University, Halifax 1988 { 1990 Postdoctoral Research Fellow, Macquarie University, Sydney, Australia 1987 { 1988 Postdoctoral Fellow, I.M.A., University of Minnesota, Minneapolis 1986 { 1987 Visiting Assistant Professor of Mathematics, University of Wisconsin, Madison 1985 { 1986 Mathematics Instructor, Pennsylvania State University, York Campus 1986 Ph.D. Pennsylvania State University, Mathematics (advisor: George Andrews) 1982 M.Sc. University of New South Wales, Kensington, Australia, Mathematics (advisor: Mike Hirschhorn) 1978 { 1980 High School Teacher, New South Wales, Australia 1977 Dip.Ed. University of New South Wales, Kensington, Australia, Education 1976 B.Sc. University of New South Wales, Kensington, Australia, Mathematics (with honours) RESEARCH INTERESTS Number Theory, Combinatorics, Special Functions, Symbolic Computation RESEARCH GRANTS 2014 { 2019 Simons Foundation Collaboration Grant (ref. 318714) ($35,000), Analytic, Combinatorial and Computational Study of Partitions 2009 { 2012 CoPI for NSA Grant (ref. H98230-09-1-0051) ($131,450), Some Problems in the Theory of Partitions 2006 { 2009 CoPI for NSA Grant (ref. H98230-07-1-0011) ($123,380), Some Problems in the Theory of Partitions 1998 { 2001 NSF grant (ref. DMS-9870052) ($77,895) Combinatorial, Differential & Modular Partition Problems 1992 { 1995 NSF grant (ref.
    [Show full text]
  • © 2010 Byung Chan Kim ARITHMETIC of PARTITION FUNCTIONS and Q-COMBINATORICS
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Illinois Digital Environment for Access to Learning and Scholarship Repository © 2010 Byung Chan Kim ARITHMETIC OF PARTITION FUNCTIONS AND q-COMBINATORICS BY BYUNG CHAN KIM DISSERTATION Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Mathematics in the Graduate College of the University of Illinois at Urbana-Champaign, 2010 Urbana, Illinois Doctoral Committee: Professor Alexandru Zaharescu, Chair Professor Bruce Berndt, Director of Research Associate Professor Scott Ahlgren, Director of Research Assistant Professor Alexander Yong Abstract Integer partitions play important roles in diverse areas of mathematics such as q-series, the theory of modular forms, representation theory, symmetric functions and mathematical physics. Among these, we study the arithmetic of partition functions and q-combinatorics via bijective methods, q-series and modular forms. In particular, regarding arithmetic properties of partition functions, we examine partition congruences of the overpartition function and cubic partition function and inequalities involving t-core partitions. Concerning q-combinatorics, we establish various combinatorial proofs for q-series identities appearing in Ramanujan's lost notebook and give combinatorial interpretations for third and sixth order mock theta functions. ii To my parents iii Acknowledgments First of all, I am grateful to my thesis advisers, Scott Ahlgren and Bruce Berndt. It was an algebraic number theory course given by Ahlgren which led me to number theory. In the 2006 Fall semester, a modular forms course also by Ahlgren and a reading course with Berndt led me to the theory of partitions.
    [Show full text]
  • Curriculum Vitae FRANK GARVAN
    Curriculum Vitae FRANK GARVAN Office Address: University of Florida Office Phone: +1{352{294{2305 Mathematics Department Email Address: fgarvan@ufl.edu PO Box 118105 Homepage: http://people.clas.ufl.edu/fgarvan Gainesville, FL 32611-8105 Birthdate: March 9, 1955 Last modified: May 11, 2021 EDUCATION/EMPLOYMENT 2000 { Professor of Mathematics, University of Florida 1994 { 1999 Associate Professor of Mathematics, University of Florida 1990 { 1993 Assistant Professor of Mathematics, University of Florida 1991 NSERC International fellow, Dalhousie University, Halifax 1988 { 1990 Postdoctoral Research Fellow, Macquarie University, Sydney, Australia 1987 { 1988 Postdoctoral Fellow, I.M.A., University of Minnesota, Minneapolis 1986 { 1987 Visiting Assistant Professor of Mathematics, University of Wisconsin, Madison 1985 { 1986 Mathematics Instructor, Pennsylvania State University, York Campus 1986 Ph.D. Pennsylvania State University, Mathematics (advisor: George Andrews) 1982 M.Sc. University of New South Wales, Kensington, Australia, Mathematics (advisor: Mike Hirschhorn) 1978 { 1980 High School Teacher, New South Wales, Australia 1977 Dip.Ed. University of New South Wales, Kensington, Australia, Education 1976 B.Sc. University of New South Wales, Kensington, Australia, Mathematics (with honours) RESEARCH INTERESTS Number Theory, Combinatorics, Special Functions, Symbolic Computation RESEARCH GRANTS 2014 { 2019 Simons Foundation Collaboration Grant (ref. 318714) ($35,000), Analytic, Combinatorial and Computational Study of Partitions 2009 { 2012 CoPI for NSA Grant (ref. H98230-09-1-0051) ($131,450), Some Problems in the Theory of Partitions 2006 { 2009 CoPI for NSA Grant (ref. H98230-07-1-0011) ($123,380), Some Problems in the Theory of Partitions 1998 { 2001 NSF grant (ref. DMS-9870052) ($77,895) Combinatorial, Differential & Modular Partition Problems 1992 { 1995 NSF grant (ref.
    [Show full text]
  • Partitioning of Positive Integers
    Partitioning of Positive Integers By Hossam Shoman Supervised by Dr. Ayman Badawi A thesis presented to the American University of Sharjah in the partial fulfillment of the requirements for the degree of Bachelor of Science in Mathematics Sharjah, United Arab Emirates, 2013 ©Hossam Shoman, 2013 ABSTRACT In this paper, we give a brief introduction to the problem of partitioning positive integers as well as a survey of the most important work from Euler to Ono. In our results, we state a basic algorithm that determines all possible partitions of a positive integer. A computer algorithm (code) is provided as well as many examples. Two simple algebraic formulas that determine all possible partitions of a positive integer using the numbers 1 and 2, and 1, 2 and 3, are provided. Last but not least, we draw a conclusion from our results that the number of partitions of any positive integer can be written as a summation of a number of integers that are partitioned into ones and twos. These numbers, however, appear according to a specific pattern. 2 TABLE OF CONTENTS LIST OF EQUATIONS, TABLES & FIGURES ............................................................... 4 INTRODUCTION ............................................................................................................... 5 1.1 DEFINITION OF THE PROBLEM ...................................................................................... 5 1.2 EXAMPLE .................................................................................................................... 5 1.3 MOTIVATION
    [Show full text]
  • TRANSFORMATION PROPERTIES for DYSON's RANK FUNCTION Let P(N)
    TRANSFORMATION PROPERTIES FOR DYSON’S RANK FUNCTION F. G. GARVAN ABSTRACT. At the 1987 Ramanujan Centenary meeting Dyson asked for a coherent group- theoretical structure for Ramanujan’s mock theta functions analogous to Hecke’s theory of modular forms. Many of Ramanujan’s mock theta functions can be written in terms of R(ζ; q), where R(z; q) is the two-variable generating function of Dyson’s rank function and ζ is a root of unity. Building on earlier work of Watson, Zwegers, Gordon and McIntosh, and motivated by Dyson’s question, Bringmann, Ono and Rhoades studied transformation prop- erties of R(ζ; q). In this paper we strengthen and extend the results of Bringmann, Rhoades and Ono, and the later work of Ahlgren and Treneer. As an application we give a new proof of Dyson’s rank conjecture and show that Ramanujan’s Dyson rank identity modulo 5 from the Lost Notebook has an analogue for all primes greater than 3. The proof of this analogue was inspired by recent work of Jennings-Shaffer on overpartition rank differences mod 7. 1. INTRODUCTION Let p(n) denote the number of partitions of n. There are many known congruences for the partition function. The simplest and most famous were found and proved by Ramanujan: p(5n + 4) ≡ 0 (mod 5); p(7n + 5) ≡ 0 (mod 7); p(11n + 6) ≡ 0 (mod 11): In 1944, Dyson [19] conjectured striking combinatorial interpretations of the first two con- gruences. He defined the rank of a partition as the largest part minus the number of parts and conjectured that the rank mod 5 divided the partitions of 5n + 4 into 5 equal classes and that the rank 7 divided the partitions of 7n + 5 into 7 equal classes.
    [Show full text]
  • The Work of George Andrews: a Madison Perspective
    THE WORK OF GEORGE ANDREWS: A MADISON PERSPECTIVE by Richard Askey 1. Introduction. In his own contribution to this volume, George Andrews has touched on a number of themes in his research by looking at the early influences on him of Bailey, Fine, MacMahon, Rademacher and Ramanujan. In this paper, I propose to present a survey of his work organized on a different theme. George has often alluded to the fact that his 1975{76 year in Madison was extremely important in his work. So it seems a reasonable project to survey his career from a Madison perspective. To make this story complete, I must begin in Sections 2{4 with Andrews' work in the late 1960's that led inexorably to our eventual lengthy collaboration. The year in Madison set in motion three seemingly separate strands of research that were fundamental in much of his subsequent work. These are described in Sections 5{8. Section 9 briefly describes his collaboration with Rodney Baxter. Section 10 describes the discovery of the crank. Section 11 contains a few concluding and summarizing comments. 2. Partition Identities. From the time Rademacher taught him about the magic and mystery of the Rogers-Ramanujan identities, George was fascinated with such results. At first, he pursued them purely for their esthetic appeal. Rademacher [79; Lectures 7 and 8, pp. 68{84] presented the Rogers-Ramanujan identities as Typeset by -TEX AMS 1 2 RICHARD ASKEY follows: q q4 q9 1 + + + + 1 q (1 q)(1 q2) (1 q)(1 q2)(1 q3) ··· − − − − − − (2.1) 1 1 = ; Y (1 qn) n>0 − n 1 (mod 5) ≡± q2 q6 q12 1 + + + + 1 q (1 q)(1 q2) (1 q)(1 q2)(1 q3) ··· − − − − − − (2.2) 1 1 = ; Y (1 qn) n>0 − n 2 (mod 5) ≡± and he noted following MacMahon and Schur [79; pp.
    [Show full text]