So this isn’t physics*, but if you squint hard enough, you can probably make a connection. The hot topic today is Ken Ono‘s latest work on the partition function:

Ken Ono, Amanda Folsom, & Zach Kent (2011). l-adic properties of the partition function American Institute of Mathematics.

Ken Ono & *Jan Bruinier* (2011). AN ALGEBRAIC FORMULA FOR THE PARTITION FUNCTION American Institute of Mathematics.

*A **EurekAlert *press release appeared today, entitled: New math theories reveal the nature of numbers and people are already whispering *“Fields Medal”.* Now, I haven’t thoroughly read the paper yet, but, since I’m not a number theorist, my commentary probably won’t change very much anyway. Obviously, like most press releases, this one is full of hyperbole and ridiculous sentences like, “the team was determined go beyond mere theories”, but the actual work being discussed is fascinating.

Now, when we talk about a partition function in the context of Ono’s work, we don’t mean the partition function that is familiar to most physicists, we mean what number theorists call a partition function.

In this setting, a *partition *is a way of representing a natural number [latex]n[/latex] as the sum of natural numbers (ie. for [latex]n = 3[/latex], we have three partitions, [latex]3[/latex], [latex]2 + 1[/latex], and [latex]1 + 1 + 1[/latex], independent of order). Thus, the *partition function*, [latex]p(n)[/latex], represents the number of possible partitions of [latex]n[/latex]. So, [latex]p(3) = 3[/latex], [latex]p(4) = 5[/latex] (for [latex]n = 4[/latex], we have: [latex]4[/latex], [latex]3 + 1[/latex], [latex]2 + 2[/latex], [latex]2 + 1 + 1[/latex], [latex]1 + 1 + 1 + 1[/latex]) , etc..

To be slightly more technical, from Ken Ono and Kathrin Bringman [1],

A partition of a non-negative integer n is a non-increasing sequence of positive integers whose sum is [latex]n[/latex].

The concept is straight forward, but how to obtain these partition numbers, in general, is actually no trivial matter.

The master of series, Leonhard Euler, worked on solving this problem, to less than fully satisfying results. Using the reciprocal of what is now called Euler’s function, we get the generator for [latex]p(n)[/latex] by this infinite product,

[latex]\sum_{n=0}^{\infty} p(n)q^n= \prod_{n=1}^{\infty}\frac{1}{1-q^n}[/latex].

Here, [latex]q^n[/latex] counts the number of ways to write, [latex]n = a_1 + 2a_2 + 3a_3 +\ldots[/latex], for [latex]a_i \in \mathbb{N}[/latex], where each number [latex]i[/latex] appears [latex]a_i[/latex] times.

Obviously, for large [latex]n[/latex], this can be unwieldy, and it doesn’t lead to an explicit formula, but as long as you didn’t need more than 200~ partition numbers, it was *okay*.

Mathematics had to wait until the early 1900s before anyone was to expand on Euler’s partition number generator, when Srinivasa Ramanujan made contact with G.H. Hardy. Ken Ono actually has a beautiful historical, and mathematical, account of the Ramanujan and Hardy story, called “The Last Words of a Genius” [pdf].

Ramanujan famously proved an unusual and surprising result that [2],

[latex]p(5n + 4) = 0 (mod 5)[/latex],

[latex]p(7n + 5) = 0 (mod 7)[/latex],

[latex]p(11n + 6) = 0 (mod 11)[/latex].

He was also responsible for the first attempt at an explicit, although not exact, formula for [latex]p(n)[/latex] with Hardy,

[latex]p(n)\sim\frac{exp(\pi\sqrt{2n/3})}{4n\sqrt{3}}[/latex] as [latex]n \rightarrow \infty[/latex].

A decade later, Hans Rademacher came up with an exact formula, involving a convergent series, Dedekind eta functions, and Farey sequences; it was computationally unpleasant, to say the least (and not worth TeXing in here, but see Wikipedia if interested). It was also not *substantially *more useful than Euler’s initial work (although more direct).

In 2007, Ono was an author of a paper [1] that provided an arithmetic reformulation of Rademacher’s formula, using a Maass–Poincaré series. Based on some discussion, it wasn’t a giant improvement over Rademacher work.

It seems that since Euler initially came up with his generating function, there haven’t been major leaps in our understanding of partition numbers.

Apparently that all changes tomorrow. Ken Ono and colleagues, Jan Bruinier, Amanda Folsom and Zach Kent, will be announcing results that include a finite, algebraic formula for partition numbers thanks to the discovering that partitions are *fractal. *Well, so what does this mean, for partition numbers to be fractal?

Ken Ono, in the press release:

The sequences are all eventually periodic, and they repeat themselves over and over at precise intervals.

Alright, so obviously without going deeply into paper we can’t go further here (check out the pdf), but one can see how this insight could make the generation of partitions simple and explicit. This also, apparently, explains, and is linked to, Ramanujan’s *congruences* above. How? Well, they’re part of this *pattern*.

Ken Ono, in the press release:

I can take any number, plug it into P, and instantly calculate the partitions of that number. P does not return gruesome numbers with infinitely many decimal places. It’s the finite, algebraic formula that we have all been looking for.

Cool.

There is already an extension on the Ono-Folsom-Kent fractal issue by John Webb called, “An improved “zoom rate” for the Folsom-Kent-Ono l-adic fractal behavior of partition values” [pdf here].

*The physics tie in? Alright, so this is reaching, but here we go. Partitions are visualized using Young tableaus, and anyone in particle physics (see pdf for relevant introduction) has probably come across this, as well as other forms of group representation theory. Could an ability to always explicitly write down partition numbers translate to physics? I couldn’t ever imagine using groups so large that this could at all come into play… but, one could possibly draw some *conclusions* about the *fractal* nature of… ah, I give up.

Update: Comments on connections to actual physics can be found here.

### Related Literature:

[1] KATHRIN BRINGMANN, & KEN ONO (2007). An arithmetic formula for the partition function Proceedings of the American Mathematical Society, 135, 3507-3514

[2]Ken Ono (2010). The Last Words of a Genius Notices of the American Mathematical Society, 57, 1410-1419

[3] Folsom A, & Ono K (2008). The spt-function of Andrews. Proceedings of the National Academy of Sciences of the United States of America, 105 (51), 20152-6 PMID: 19091951

[4]Ken Ono, & Jan H. Bruinier (2009). Identities and congruences for the coefficients of Ramanujan’s omega(q) Ramanujan Journal

Pingback: Finite formula found for partition numbers | The Language of Bad …

Pingback: How many ways to add up to any number? Sequence of partition numbers found to be fractal « The k2p blog

This is major and will have an impact in MANY fields, not just physics.

Including but not limited to cryptography, AI (decompilation of neural nets), climate prediction and more

Pingback: Partition Numbers « Confessions of a Dying Young Mathematician

Still seeing lots of physicists reading this and thinking it’s the same partition function from stat mech. Sigh, at least you tried! Heard some talk that it could have applications for, uh, applications like the Faà di Bruno formula.

see freeman dyson’s work on partition functions

It seems that solving this may yield results that would help in also solving Goldbach’s Conjecture.

Pingback: X Carnaval de Matemáticas: Una suma finita para calcular la función de partición « Francis (th)E mule Science's News

Pingback: Euler’s Partition Function Theory Finished | Blog.CarlRobitaille.org

Pingback: A very nice result « Rturpin's Blog

Pingback: A Walk Through the Woods Leads to Insight on Numbers | Surprising Science

Pingback: Linkage (and a puzzle) « An Ergodic Walk

For more information about fractals, see http://www.fractal.org

Jules.Ruis@fractal.org

Pingback: Some milestones « Honglang Wang's Blog

Pingback: Blog | Science in Society

Pingback: Walking Randomly » Carnival of Mathematics #74 – The Tungsten Edition

http://tgd.wippiespace.com/public_html/tgdnumber/tgdnumber.html

http://tgd.wippiespace.com/public_html/paddark/paddark.html

about p-adic hierarchy

Do you have any idea how can it be useful in cryptography?

Pingback: Mathematics » Finite formula found for partition number

Pingback: UH Manoa Mathematics » Finite formula found for partition number

E cheap payday loans online 1 [url=http://paydayloanshut1a.com/]http://paydayloansonlinehut.com[/url] G http://paydayloansonlinehut.com/ I But it doesn’t matter because you can always forms rate documents assist you to get the better those kinds of terms.Paris hilton and her boyfriend cy waits returned to lax after spending a few fun-filled days in nyc?Some of the available small business loans are lines would actually end for initially have a the federal loans! 3