Intuition for 1 + 2 + 3 + … = -1/12

[-]Yair Halberstadt2y3230

In precisely the same sense that we can write 1 + 1/2 + 1/4 + ... = 2, despite that no real-world process of "addition" involving infinitely many terms may be performed in a finite number of steps, we can write 1 + 2 + 3 + 4 + 5 + ... = -1/12

I think this is overstating things (which is fair enough to make the point you're making).

The first is simply a shorthand for "the limit of this sum is 2", which is an extremely simple, general definition, which applies in almost all contexts, and matches up with what addition means in almost all contexts. It preserves far more of the properties of addition as well - it's commutative, associative, etc. In most cases where you want to work with the sum of an infinite series, the correct value to use for this series is 2.

The second is a shorthand for something far more complex, which applies in a far more limited range of cases, and doesn't preserve almost any of the properties we expect of addition. It's not linear or stable. In most cases where you want to work with sums of infinite series, the correct sum for this series is infinity. Only very rarely would you want -1/12.

[-]Shankar Sivarajan2y2-15

The first is simply a shorthand for "the limit of this sum is 2",

It doesn't need to be! It can be more generally something like "the unique value that matches patterns," where what counts is extended first beyond integers, and then to infinite series, and then to divergent infinite series.

[-]Amalthea2y0-1

You run into the trouble of having to defend why your way to fit the divergent series into a pattern is the right one - other approaches may give different results.

[-]Shankar Sivarajan2y30

other approaches may give different results

The claim is that they don't: any pattern that points to a finite result points to the same one. If you want proof, then you need a more rigorous formalism.

[-]Amalthea2y7-8

Sure, but you're just claiming that, and I don't think it's actually true.

[-]Yair Halberstadt2y40

That's clearly not true in a general sense. Here's a pattern that points to a different sum:

1 + 2 + 3 + ... = 1 + (1 + 1) + (1 + 1 + 1) + ... = 1 + 1 + 1 + ... = - 1/2

Now the problem is this pattern leads to a contradiction because it can equally prove any number you want. So we don't choose to use it as a definition for an infinite sum.

So you need to do a bit more work here to define what you mean here.

[-]Max H2y2023

In precisely the same sense that we can write
,
despite that no real-world process of "addition" involving infinitely many terms may be performed in a finite number of steps, we can write
$1 + 2 + 3 + 4 + \dots = - \frac{1}{12}$ .

Well, not precisely. Because the first series converges, there's a whole bunch more we can practically do with the equivalence-assignment in the first series, like using it as an approximation for the sum of any finite number of terms. -1/12 is a terrible approximation for any of the partial sums of the second series.

IMO the use of "=" is actually an abuse of notation by mathematicians in both cases above, but at least an intuitive / forgivable one in the first case because of the usefulness of approximating partial sums. Writing things as $(1, 2, 3, . . .) \sim - \frac{1}{12}$ or $R ((1, 2, 3, . . .)) = - \frac{1}{12}$ (R() denoting Ramanujan summation, which for convergent series is equivalent to taking the limit of partial sums) would make this all less mysterious.

In other words, (1, 2, 3, ...) is in an equivalence class with -1/12, an equivalence class which also contains any finite series which sum to -1/12, convergent infinite series whose limit of partial sums is -1/12, and divergent series whose Ramanujan sum is -1/12.

[-]Shankar Sivarajan2y31

an abuse of notation by mathematicians in both cases above

Writing things as or $R ((1, 2, 3, . . .)) = - \frac{1}{12}$

The point I was trying to make is that we already have perfectly good notation for sums, namely the + and = signs, that we've already extended well beyond the (apocryphal) original use of adding finite sets of positive integers. As long as there's no conflict in meaning (where saying "there's no answer" or "it's divergent" doesn't count) extending it further is fine.

[-]Max H2y1110

My point is that there is a conflict for divergent series though, which is why 1 + 2 + 3 + … = -1/12 is confusing in the first place. People (wrongly) expect the extension of + and = to infinite series to imply stuff about approximations of partial sums and limits even when the series diverges.

My own suggestion for clearing up this confusion is that we should actually use less overloaded / extended notation even for convergent sums, e.g. seems just as readable as the usual $l i m \to$ and $+ . . . +$ notation.

[-]gjm2y1414

It is not true that "no pattern that suggests a value suggests any other", at least not unless you say more precisely what you are willing to count as a pattern.

Here's a template describing the pattern you've used to argue that 1+2+...=-1/12:

We define numbers with the following two properties. First, ${lim}_{j \to \infty} a_{i j} = i$ , so that for each $j$ we can think of $(a_{i j})$ as a sequence that's looking more and more like (1,2,3,...) as $j$ increases. Second, $\sum_{i = 1}^{\infty} a_{i j} = s_{j}$ where $s_{j} \to - \frac{1}{12}$ , so the sums of these sequences that look more and more like (1,2,3,...) approach -1/12.

(Maybe you mean something more specific by "pattern". You haven't actually said what you mean.)

Well, here are some $a_{i j}$ to consider. When $i > j + 1$ we'll let $a_{i j} = 0$ . When $i \leq j$ we'll let $a_{i j} = i$ . And when $i = j + 1$ we'll let $a_{i j} = A - (1 + \dots + i)$ . Here, $A$ is some fixed number; we can choose it to be anything we like.

This array of numbers satisfies our first property: ${lim}_{j \to \infty} a_{i j} = i$ . Indeed, once $j \geq i$ we have $a_{i j} = i$ , and the limit of an eventually-constant sequence is the thing it's eventually constant at.

What about the second property? Well, as you'll readily see I've arranged that for each $j$ we have $\sum_{i = 1}^{\infty} a_{i j} = A$ . So the sequence of sums converges to $A$ .

In other words, this is a "pattern" that makes the sum equal to $A$ . For any value of $A$ we choose.

I believe there are more stringent notions of "pattern" -- stronger requirements on how the $a_{i j}$ approach $i$ for large $j$ -- for which it is true that every "pattern" that yields a finite sum yields $- \frac{1}{12}$ . But does this actually end up lower-tech than analytic continuation and the like? I'm not sure it does.

(One version of the relevant theory is described at https://terrytao.wordpress.com/2010/04/10/the-euler-maclaurin-formula-bernoulli-numbers-the-zeta-function-and-real-variable-analytic-continuation.)

[-]Amalthea2y*82

I'm one of these professional mathematicians, and I'll say that this article completely fails to demonstrate it's central thesis that there is a valid intuitive argument for concluding that 1 + 2 + 3 + ... = -1/12 makes sense. What's worse, it only pretends to do so by what's essentially a swindle. In my understanding, it's relatively easy to reason that a given divergent series "should" take an arbitrary finite value by the kind of arguments employed here, so what is being done is taking a foregone conclusion and providing some false intuition for why it should be true.

On a less serious note, speaking to the real reason why 1 + 2 + 3 + ... = -1/12, that's actually what physicists will tell you, and we all know one should be careful around those.

[-]Shankar Sivarajan2y2-2

I did warn about the prereqs.

[-]the gears to ascension2y21

is the = -12 a typo or a joke?

[-]Amalthea2y20

Typo, thanks for pointing it out. Also, see here for the physics reference: https://en.m.wikipedia.org/wiki/1_%2B_2_%2B_3_%2B_4_%2B_⋯

[-]the gears to ascension2y62

In bosonic string theory, the attempt is to compute the possible energy levels of a string, in particular, the lowest energy level. Speaking informally, each harmonic of the string can be viewed as a collection of 'D' − 2 independent quantum harmonic oscillators, one for each transverse direction, where D is the dimension of spacetime. If the fundamental oscillation frequency is ω, then the energy in an oscillator contributing to the n-th harmonic is nħω/2. So using the divergent series, the sum over all harmonics is −ħω(D − 2)/24. Ultimately it is this fact, combined with the Goddard–Thorn theorem, which leads to bosonic string theory failing to be consistent in dimensions other than 26.

Haha what the fuck

[-]Michael Roe2y81

It's astonishing, but yes, that is the reason why that form of string theory takes place in a 26 dimensional space-time.

wait till you see E8*E8 heterotic string theory,

https://en.wikipedia.org/wiki/Heterotic_string_theory

[-]Shankar Sivarajan2y10

This might be a better description: link

[-]John Steidley2y711

The finish was quite a jump for me. I guess I could go and try to stare at your parenthesis and figure it out myself, but mostly I feel somewhat abandoned at that step. I was excited when I found 1, 2, 4, 8... = -1 to be making sense, but that excitement doesn't quite feel sufficient for me to want to decode the relationships between the terms in those two(?) patterns and all the relevant values

[-]Shankar Sivarajan2y42

That's fair. What I was trying to convey (in my notation, deliberately annoying to reduce a sense of familiarity) is . Any ideas for how I could write that better?

I added some actual values for concreteness. Hopefully that helps.

[-]hwold2y21

Do we have the value of the sum as a function of x, before going to the limit as x goes to 0 ? If yes, it would help (bonus points if it can be proven in a few lines).

[-]Shankar Sivarajan2y20

Mathematica yields . That probably simplifies though.

[-]Ben Pace2y*40

This was a fun read and felt (for me) more simple and follow-able than most things I've read explaining math! Thank you.

I got up to the sums of powers of being $- 1$ . That bit took a few close reads but I followed that there was a pattern where infinite sums of $(1, r, r^{2}, r^{3}, \dots)$ equal $\frac{1}{1 - r}$ , and there's reason to believe this holds for $r$ between $- 1$ and $1$ . Then you write that if we apply it to $r = 2$ then it's equal to $- 1$ , which is a daring question to even ask and also a curious answer! But what justification do you have for thinking that equation holds for $r$ that aren’t between $- 1$ and $1$ ? I think that this was skipped over (though I may be missing something simple).

(Also, if it does hold for numbers that aren't between $- 1$ and $1$ that I believe this also implies that all infinite sums of $r^{n}$ equal to negative numbers, and suggests maybe all infinite sums of positive integers will too.)

[-]Shankar Sivarajan2y40

But what justification do you have for thinking that equation holds

I don't have one: this is simply filling in the the pattern. You can say "No, for any there is no answer," (just like you could reasonably say things like " $- 1$ has no square root") but if you decide to extend the domain of the function $C,$ this is not just a possible value, it is the value. (The proof of this claim requires actual rigor, but if you're willing to go along with pattern matching, you get the right answer.)

[-]Viliam2y30

Here is another explanation, kind of:

Taylor expansion of 1/(1+x)^2 is 1 - 2x + 3x^2 - 4x^3 + 5x^4...

When x = 1, it means that 1 - 2 + 3 - 4 + 5... = 1/4

But 1 - 2 + 3 - 4 + 5... can be written as 1 + 2 + 3 + 4 + 5... - 2×2 - 2×4 - 2×6...

= 1 + 2 + 3 + 4 + 5... - 2×(2 + 4 + 6...)

= 1 + 2 + 3 + 4 + 5... - 2×2×(1 + 2 + 3...)

= (1 - 2×2) × (1 + 2 + 3...)

= -3 × (1 + 2 + 3...)

So if 1 - 2 + 3 - 4 + 5... = 1/4, we get:

1/4 = -3 × (1 + 2 + 3...)

-1/12 = 1 + 2 + 3...

(Found here.)

[-]Shankar Sivarajan2y20

Sure, but if you see , you already have all the intuition you need. The rest is detail.

The example I used, $1 + 2 + 4 + 8 + \dots = - 1$ , is the same kind of thing, a power series applied outside its domain of convergence, which I used instead because, while it doesn't lend itself to the derivation directly, it looks more like the sum we seek (in particular, all positive integers on the left and a negative number on the right), and I expected the formula for an infinite geometric series to be more familiar to most readers.

[-]Michael Roe2y30

Shay you want here is Matthew D. Schwarz, Quantum Theory and the Standard Model, chapter 15.

(or the original paper by CasiMir cited in the above book chapter.

Zeta regularisation is a much saner way to explain it.

====

in a physics context .. suppose that the laws of physics you have are only valid up to some energy scale E, where E is presumed large.

The physical quantity you 're interested in is f(E) - g(E).

lim E -> infinity of f(E) and g(E) is infinite, so can't safely exchange the order of the limits and the subtraction. But lim E -> infinity (f(E) - g(E)) exists and is finite, so you're good to go, and the result is insensitive to what the energy scale E actually is,

[-]Zane2y10

If I'm understanding correctly, the argument here is:

B) ${lim}_{x \to \infty} (n e^{- \frac{n}{x}}) = n$

C) ${lim}_{x \to \infty} (cos (- \frac{n}{x})) = 1$

Therefore, $\sum_{n = 1}^{\infty} (n * 1) = - \frac{1}{12}$ .

First off, this seems to have an implicit assumption that ${lim}_{x \to \infty} (\sum_{n = 1}^{\infty} (f (x, n) * g (x, n))) = \sum_{n = 1}^{\infty} (({lim}_{x \to \infty} f (x, n)) * ({lim}_{x \to \infty} g (x, n)))$ .

I think this assumption is true for any functions f and g, but I've learned not to always trust my intuitions when it comes to limits and infinity; can anyone else confirm this is true?

Second, A seems to depend on the relative sizes of the infinities, so to speak. If j and k are large but finite numbers, then $\sum_{n = 1}^{j} (n e^{- \frac{n}{k}} cos (- \frac{n}{k})) \approx - \frac{1}{12}$ if and only if j is substantially greater than k; if k is close to or larger than j, it becomes much less than or greater than -1/12.

I'm not sure exactly how this works when it comes to infinities - does the infinity on the sum have to be larger than the infinity on the limit for this to hold? I'm pretty sure what I just said was nonsense; is there a non-nonsensical version?

In conclusion, I don't know how infinities work and hope someone else does.

[-]Shankar Sivarajan2y20

I didn't make any claim about limits. If you're looking for rigor, you're in the wrong place, as I tried to make clear in the introduction.

But (A) is true without any unconventional weirdness: (from Mathematica), and ${lim}_{x \to 0^{-}}$ of that is $- \frac{1}{12}$ .

^{^}

This is usually notated $1 + 1 = 2$ . Some people annoyingly include quotation marks around some of these symbols, but most people omit them for clarity.

^{^}

"Nice" is deliberately vague. We're gonna make up a bunch of elegant properties as we need them.

LESSWRONG
LW

LESSWRONG
LW

20

Intuition for 1 + 2 + 3 + … = -1/12

20

20

The "Counting" Function $C$

Fractions, Negative numbers, Zero

Infinitely Large Tuples and Pattern Consistency

Finish

Concluding Remarks

20

Intuition for 1 + 2 + 3 + … = -1/12

20

20

The "Counting" Function C

Fractions, Negative numbers, Zero

Infinitely Large Tuples and Pattern Consistency

Finish

Concluding Remarks

The "Counting" Function $C$