March 19, 2007 — A transatlantic team of number-crunchers announced they had built a theoretical structure in 248 dimensions, resolving a 120-year puzzle that could be used to test theories about the structure of the cosmos.
Top computer scientists and mathematicians from the United States and Europe said they had mapped "E8", a problem that was discovered in 1887 but has had to wait until the era of supercomputers and Internet-linked minds to resolve.
E8 is the mother of all so-called Lie groups — a category of problems invented by a 19th-century Norwegian mathematician, Sophus Lie (pronounced "Lee"), to explore symmetry.
Spheres, cylinders or cones are familiar examples of simple, symmetrical objects in three dimensions. But E8 is a piece of geometric origami that comes in 248 dimensions.
"(E8) is as complicated as symmetry can get," David Vogan, a mathematics professor at the Massachusetts Institute of Technology (MIT), who took part in the calculation, said on Sunday.
"Mathematics can almost always offer another example that's harder than the one you're looking at now, but for Lie groups, E8 is the hardest one."
Resolving E8 was a gigantic undertaking, the scientists said. They compared it to the Human Genome Project, which patiently unraveled the human genetic code.
The human genome is less than a gigabyte in size, but the E8 calculation is 60 gigabytes, enough to store 45 days of continuous music in MP3 format. The printout would cover an area the size of Manhattan.
The reason was that the input — the E8 equations themselves — was comparatively small but the answer itself was enormous.
"This groundbreaking achievement is significant both as an advance in basic knowledge, as well as a major advance in the use of large scale computing to solve complicated mathematical problems," said Jeffrey Adams, project leader and mathematics professor at the University of Maryland.
A low-definition picture of E8, released by MIT, showed something like a multicolored circus tent made, like a child's constructor set, of densely-packed, connected rungs.
"We can never hope to represent the structure in its entirety, it's a mathematical abstraction," Dutch researcher Marc van Leeuwen, of France's University of Poitiers, told AFP.
"You can make some nice pictures with it, but a sheet of paper has only two dimensions, so you will never see the real object.
It took four years to produce the E8 calculation. Exceptionally — for mathematics is usually a solitary activity — the achievement came through close collaboration, mixing theoretical mathematics and intricate computer programming on both sides of the Atlantic.
"The literature on this subject is very dense and very difficult to understand," explained Vogan. "Even after we understood the underlying mathematics, it still took more than two years to implement it on a computer."
One of the biggest headaches was finding a computer big enough to crunch the calculation.
For a whole year, the team tried to slim down the calculation a thousand-fold, trying to make it more efficient so that it could fit on existing supercomputers.
Even so, the calculation was still beyond the current generation of computing power.
