# A vexing math problem finds an elegant solution

##### Nov 14, 2013 by Anne Ju

(Phys.org) —A famous math problem that has vexed mathematicians for decades has met an elegant solution by Cornell researchers. Graduate student Yash Lodha, working with Justin Moore, professor of mathematics, has described a geometric solution for the von Neumann-Day problem, first described by mathematician John von Neumann in 1929.

Lodha presented his solution at the London Mathematical Society's Geometric and Cohomological Group Theory symposium in August, and has submitted the work to a journal. "People were very excited by this," Lodha said. "[The solution] is natural and compelling enough to study for its own sake."

Lodha works in the field of geometric group theory. A group is a mathematical construct that describes the notion of the symmetries of an object, whether it's a physical object or a theoretical space. For example, a polygon has rotational as well as reflectional symmetries, all of which, together with the operation of composition, form what's called a finite group, because the polygon can be described as a finite sequence of operations that reflect its symmetries.

Formally, a group can be described as words in an alphabet together with a set of rules that are called "relations." Group theorists, Lodha said, are like biologists who classify species; try to categorize groups that have properties A, B or C – but is there one that has A but not C?

The inspiration for Lodha's work originated in the early 20th century, when mathematicians first proved that a ball that exists in three-dimensional space can be chopped into a of pieces – "like tearing up a piece of paper without stretching or squeezing," Lodha explained – and can be reassembled, like a jigsaw puzzle, into two balls, each the size of the original ball. This is known as the Banach-Tarski paradox.

von Neumann, in studying this paradox, was the first to describe the reason behind it: He attributed it not to the geometry of 3-D space, but to the algebraic properties of the symmetries inherent to the sphere. He was the first to isolate this property, which mathematicians today call "non-amenability."

von Neumann further observed that if a group contains free groups, which are groups that have a finite alphabet and no rules, then it must be non-amenable. He posed the question of whether the opposite is true – are there groups that do not contain free groups and are also non-amenable? The problem, later popularized by M.M. Day, waited another 40 years before mathematician Alexander Olshanskii cracked it, although Olshanskii's group had an infinite set of rules.

Another two decades went by before Olshanskii and Mark Sapir supplied another solution in response to the von Neumann-Day problem. This time, their example was governed by a finite, but astronomically large set of rules – close to 10200. It also lacked a natural geometric model. So mathematicians probed further for a group with a finite set of rules, that is non-amenable and does not contain free groups.

For the first time, Lodha describes a group that has only nine rules, a natural geometric model, is non-amenable and does not contain free groups.

Advances in mathematics are almost always incremental and build upon previous work, Lodha said. To complete this work, among his most valuable insights was one first described by the late Bill Thurston, Fields medalist and Cornell's Jacob Gould Schurman Professor of Mathematics, which involved a way of expressing the group in a different light, as a "continued fractions model."

Lodha's work also builds heavily on work by Nicolas Monod, who constructed a geometrically oriented, but not finitely presented, counterexample to the von Neumann-Day problem. Lodha and Moore's contribution was to isolate a finitely presented subgroup, with only nine relations, of Monod's example.

Further work on the group, which doesn't yet have a name, could make the solution to the von Neumann-Day problem even stronger: by isolating stronger finiteness conditions for proving that the group has a finite number of rules.

Explore further: Texas banker puts up $1M for tricky math solution More information: xxx.tau.ac.il/abs/1308.4250v1 ## Related Stories #### Shedding light on complex mathematical group theories May 29, 2012 EU researchers contributed important knowledge to the field of modular representation theory in the form of proofs and pioneering analyzes. #### Fermat's Last Theorem, more can be proved more simply: Professor steers field toward a numbers-only proof Mar 04, 2013 Fermat's Last Theorem—the idea that a certain simple equation had no solutions— went unsolved for nearly 350 years until Oxford mathematician Andrew Wiles created a proof in 1995. Now, Case Western Reserve University's ... #### Texas banker puts up$1M for tricky math solution

Jun 04, 2013

A Texas banker is upping the ante to \$1 million for whoever solves a tricky problem that's been dogging mathematicians since the 1980s.

#### Mathematics: Mapping a fixed point

Nov 23, 2011

(PhysOrg.com) -- For fifty years, mathematicians have grappled with a so-called “fixed point” theorem. An EPFL-based team has now found an elegant, one-page solution that opens up new perspectives ...

#### Mathematicians develop new method for describing extremely complicated shapes

Jul 30, 2012

Mathematicians at the Institute for Advanced Study in New Jersey "bridged" topology and fractals and made a discovery that could lead to a new way of describing extremely complicated shapes such as the configuration of the ...

#### Tackling the big unanswered problems

Apr 28, 2011

(PhysOrg.com) -- Scientific research is known to happen slowly but the timeframes pale into insignificance compared to the years spent on some of the great unsolved Maths problems.

## Recommended for you

#### Optimising the future with mathematics

6 hours ago

How will science address the challenges of the future? In collaboration with Australia's chief scientist Ian Chubb, we're asking how each science discipline will contribute to Australia now and in the fu ...

#### Strong teams attract crowds for international cricket

Mar 06, 2014

The strength of the team—not the promise of a close contest—is the biggest draw to crowds in international cricket, new research has found.

#### Improving radiation therapies for cancer mathematically

Mar 05, 2014

In a paper published in December in the SIAM Journal on Scientific Computing, authors Li-Tien Cheng, Bin Dong, Chunhua Men, Xun Jia, and Steve Jiang propose a method to optimize radiation therapy treatments in cancer patien ...

#### Computational study finds maximum packing density of 55,000 different shapes

Mar 05, 2014

A team of researchers at the University of Michigan has used computational and analytical analysis to find the maximum packing density of 55,000 uniquely shaped particles. In their paper published in the ...

#### Secret to the perfect pancake is discovered

Mar 04, 2014

In a collaboration with Meadowhall Shopping Centre, students from the University's Maths Society (SUMS) developed, trialled and tested a formula which enables pancake-lovers across the world to rustle-up ...

## More news stories

#### Study shows men and women both biased against women's math abilities

(Phys.org) —A study conducted by business and economic researchers Ernesto Reuben, Paola Sapienza, and Luigi Zingales, has found that both men and women hold biases against women's math abilities. In their ...

#### Study finds investors prefer good-looking male backed entrepreneurial ventures

(Phys.org) —A study conducted by a team of researchers from Harvard, Wharton and MIT has revealed that venture capitalists prefer to back entrepreneurial opportunities when pitched by a man and that they ...

When it comes to shopping for gifts, we try to select things we think people both want and need. According to a new study in the Journal of Consumer Research, focusing too much on the gift recipient can lead to giving the gi ...

#### What's the upside of feeling too sad for chocolate?

The instant gratification and the pleasure derived from consuming excessive chocolate and deep-fried foods can lead way to a double-edged sword of negative consequences ranging from weight gain to feelings of low self-esteem. ...

#### Study suggests more than two hours of homework a night may be counterproductive

Education scholar Denise Pope has found that too much homework has negative effects on student well-being and behavioral engagement.

#### US regulator warns consumers of Bitcoin risks

A US financial regulator warned consumers Tuesday that using the online currency Bitcoin is fraught with risks including theft by hacking and fraud.

#### Why antisocial youths are less able to take the perspective of others

Adolescents with antisocial personality disorder inflict serious physical and psychological harm on both themselves and others. However, little is yet known about the underlying neural processes. Researchers at the University ...

#### Shale gas extraction tax-free in Poland through 2020

The Polish government on Tuesday decided to make it tax-free to extract shale gas at home through 2020, as the EU member strives to ensure energy independence from Russia.

#### For older men, short telomeres can be a sign of chronic stress

(Medical Xpress)—Andrew Steptoe of University College London and his colleagues have found that telomere length can predict how long it takes older men to recover from stressful situations. Men with shorter ...

#### New technique uses ATP as trigger for targeted anti-cancer drug delivery

Biomedical engineering researchers have developed a new technique that uses adenosine-5'-triphosphate (ATP), the so-called "energy molecule," to trigger the release of anti-cancer drugs directly into cancer ...