Archive for July, 2016

The Collatz conjecture

Posted in Uncategorized on July 7, 2016 by quantummoxie

I recently came across the book Mathematics: An Illustrated History of Numbers, which appears to be part of a series. One of the fun “ponderables” (as they are called) considered in the book is the Collatz conjecture.

The Collatz conjecture goes something like this. Pick a number n. If n is even, divide it in half. If it’s odd, then multiply it by three and add one. Repeat the process with the new number. Written as a function:

equation

The conjecture is that eventually, regardless of the size of the initial value of n, the sequence will converge to 1.

In 1970 HSM Coxeter offered a $50 reward to anyone who could prove the conjecture. Paul Erdős later upped the ante to $500. More recently, according to a nice overview by Jeffrey Lagarias (who also edited a volume dedicated to the conjecture), B Thwaite offered £1000.

A lot of time and effort has been put into studying the rate of convergence (or, rather, total stopping time) for larger and larger values of n. Interestingly enough, there is a heuristic solution that is based on probabilistic arguments. If you consider only the odd numbers in the sequence, on average, each odd number ends up being 3/4 the previous one. This argument, when extended, can be used to prove that there is no divergence but it can’t rule out other cycles, e.g. numbers other than 1 that the sequence converges to. In addition, though we know it works for every integer up to at least 100 million (thanks to the power of computing), this cannot be seen as proof. Indeed, there are other conjectures that turn out to fail for very large numbers (e.g. the Pólya conjecture was disproven in 1958 by Haselgrove who found a counter example that was roughly equal to 1.845\times 10^{361}).

Might this be interesting to the physics community or is this a purely number theoretic problem? The study of the iterates of measure-preserving functions on a measure space, i.e. dynamical systems that include an invariant measure, is known as ergodic theory. In quantum mechanics, for instance, trace-preserving operations are essentially invariant measures. So while the Collatz conjecture might or might not have a direct physical corollary, proving (or disproving) it could have implications for ergodicity in general that might prove useful in physical systems.

But even if it had no useful physical corollary, it’s still a neat problem…

 

Mathematica: A world of numbers … and beyond

Posted in Uncategorized on July 6, 2016 by quantummoxie

My favorite exhibit at Boston’s Museum of Science is called Mathematica: A world of numbers … and beyond. It had been closed for awhile as it was moved to a back corner, only reachable by walking through the Theater of Electricity (which contains the world’s largest air-insulated Van de Graff generator). I’m a little disappointed by this simply because it seems unlikely to get the same amount of traffic that it used to get when it was on the main level where everyone walked past it.

The exhibit was designed by the Charles and Ray Eames, who are famous for, among other things, the short film Powers of Ten and the Eames Lounge Chair. Mathematica originally opened at the California Museum of Science and Industry (now the California Science Center) in March of 1961 after IBM was asked to contribute something to the then-relatively new museum. It finally closed in 1998 (the same year the museum changed its name).

In November of 1961 an exact duplicate was made and placed in Chicago’s Museum of Science and Industry. This duplicate version was moved to Boston in 1980. A second duplicate had several homes over the years including at IBM’s headquarters, but now resides with the Eames family who apparently will display portions of it at their office from time-to-time.

It is my sincere hope that this fantastic exhibit never goes away. It manages to convey complex mathematics in ways to which people can relate. It also demonstrates the beauty and whimsy of mathematics in a way that could only have been captured by someone with a background in design.

My son has always been a big fan of the Eames’ and I’m beginning to appreciate their aesthetic. Certainly this exhibit is a triumph of their ability to work across disciplines. I just hope that it sticks around for another thirty years.