25.01.2011

A solution that counts: long-standing mathematical conjecture finally proved

A conjecture presented in 1985 - the Andrews and Robbins conjecture - has recently been proved for the first time. It is thus clear that the structure which goes by the name of "totally symmetric plane partitions" can be described using a single formula. Producing the proof required vast computer resources and was only possible after the formula had been prepared for computer-assisted calculation.

This finding by a Austrian Science Fund FWF supported research group based in Linz, Austria will be published in the Proceedings of the National Academy of Sciences today. The proof means that the last of a long list of famous mathematical conjectures relating to plane partitions has finally been proved.

Even mathematicians play with building blocks. At least if they are interested in so-called plane partitions, which are visualized with columns of "building blocks" (cubes) on a surface resembling a chessboard. When "building" such plane partitions, the mathematicians must adhere to certain rules: No column may be higher than the width of the surface, or than another column behind it or left of it. The question of how many column permutations may be built on a given surface area is easily answered, thanks to a specific formula. However, it becomes trickier if the permutations must follow stipulated symmetries, or if, instead of counting the permutations, you wish to count its constituents. Although formulas have been designed to do this too, the crux of the matter is that not all of these formulas have really been proved to be accurate. It is only conjectured.

... more about:

»Calculates »Computation »Conjecture »Correct »FWF »Science TV »Symbolic »Symbolic Computation »building block

»Calculates »Computation »Conjecture »Correct »FWF »Science TV »Symbolic »Symbolic Computation »building block

The proof that one of these formulas is correct has now been found by Dr. Christoph Koutschan and Dr. Manuel Kauers from the Research Institute for Symbolic Computation of the Johannes Kepler University Linz, Austria, in cooperation with Prof. Doron Zeilberger from the United States. It is a formula that is employed for calculating the individual components in totally symmetric plane partitions. Dr. Koutschan comments on the special method they used to find the proof: "We let the computer do the work! In some areas of mathematics this has long been a matter of routine." The underlying principle of such computer-assisted proof is simple. In order to prove A=B, the computer calculates an adjoint equation U=V with the following two properties: "If U=V is true, then A=B is also true" and "it is easy to verify that U=V".

Although it may sound easy, it represents a great challenge, according to Dr. Koutschan: "This method does not work for every equation. The most important step was for us to convert the Andrews-Robbins conjecture into a suitable form for the computer to be able to prove it." The fact that the adjoint equation was really somewhat more complex than "U=V", is illustrated by its size: if it were printed, it would cover approximately 1 million A4 pages, which makes it probably the longest equation ever used in a mathematical proof.

STANLEY`S LISTIn the end, the work that was spent on the "formulation" was well worth it. With the proof of the Andrews and Robbins conjecture, the scientists have managed to prove the last of a number of famous conjectures, which were presented by US mathematician Richard Stanley at a historic conference in Montreal in 1985. In the years following the conference, all of these conjectures were proved except for the Andrews and Robbins conjecture. Dr. Kauers comments: "As the last remaining item on Stanley s list, this conjecture attracted the attention of many experts. Still, it remained unproved for almost thirty years. The proof was finally obtained with an automatic method, which goes to show that modern computer programs can crack mathematical problems where traditional mathematicians fall short."

Granted, such successful results are still an exception. However, this FWF project underscores the potential of computer-based proof. Given the great pace at which computer performance is advancing, such methods will perhaps one day even offer answers to the great unsolved questions in mathematics.

Image and text will be available from Tuesday, 25th January 2011, 9 am CET onwards:http://www.fwf.ac.at/en/public_relations/press/pv201101-2en.html

Original publication: A proof of George Andrews` and David Robbins` q-TSPP conjecture. C. Koutschan, M. Kauers, D. Zeilberger. DOI: 10.1073/pnas.1019186108

Scientific contact:PD Dr. Manuel Kauers

Johannes Kepler University

Research Institute for Symbolic Computation Altenberger Straße 69 4040 Linz, Austria

T: +43/732/2468 9958

E: Manuel.Kauers@risc.jku.at

Austrian Science Fund (FWF)

Mag. Stefan Bernhardt

Haus der Forschung

Sensengasse 1

1090 Vienna, Austria

T: +43/1/5056740-8111

E: stefan.bernhardt@fwf.ac.at

W: http.//www.fwf.ac.at

Copy Editing & Distribution

PR&D - Public Relations for Research & Education Mariannengasse 8 1090 Vienna, Austria

T: +43 / 1 / 505 70 44

E: contact@prd.at

W: http://www.prd.at

Jacqueline Bogdanovic | PR&D

Further information:

http://www.fwf.ac.at

**Further reports about:**
> Calculates
> Computation
> Conjecture
> Correct
> FWF
> Science TV
> Symbolic
> Symbolic Computation
> building block

Ultra-precise chip-scale sensor detects unprecedentedly small changes at the nanoscale

18.01.2017 | The Hebrew University of Jerusalem

Data analysis optimizes cyber-physical systems in telecommunications and building automation

18.01.2017 | Fraunhofer-Institut für Algorithmen und Wissenschaftliches Rechnen SCAI

An important step towards a completely new experimental access to quantum physics has been made at University of Konstanz. The team of scientists headed by...

Yersiniae cause severe intestinal infections. Studies using Yersinia pseudotuberculosis as a model organism aim to elucidate the infection mechanisms of these...

Researchers from the University of Hamburg in Germany, in collaboration with colleagues from the University of Aarhus in Denmark, have synthesized a new superconducting material by growing a few layers of an antiferromagnetic transition-metal chalcogenide on a bismuth-based topological insulator, both being non-superconducting materials.

While superconductivity and magnetism are generally believed to be mutually exclusive, surprisingly, in this new material, superconducting correlations...

Laser-driving of semimetals allows creating novel quasiparticle states within condensed matter systems and switching between different states on ultrafast time scales

Studying properties of fundamental particles in condensed matter systems is a promising approach to quantum field theory. Quasiparticles offer the opportunity...

Among the general public, solar thermal energy is currently associated with dark blue, rectangular collectors on building roofs. Technologies are needed for aesthetically high quality architecture which offer the architect more room for manoeuvre when it comes to low- and plus-energy buildings. With the “ArKol” project, researchers at Fraunhofer ISE together with partners are currently developing two façade collectors for solar thermal energy generation, which permit a high degree of design flexibility: a strip collector for opaque façade sections and a solar thermal blind for transparent sections. The current state of the two developments will be presented at the BAU 2017 trade fair.

As part of the “ArKol – development of architecturally highly integrated façade collectors with heat pipes” project, Fraunhofer ISE together with its partners...

Anzeige

Anzeige

Event News

Sustainable Water use in Agriculture in Eastern Europe and Central Asia

19.01.2017 | Event News

12V, 48V, high-voltage – trends in E/E automotive architecture

10.01.2017 | Event News

2nd Conference on Non-Textual Information on 10 and 11 May 2017 in Hannover

09.01.2017 | Event News

Latest News

Helmholtz International Fellow Award for Sarah Amalia Teichmann

20.01.2017 | Awards Funding

An innovative high-performance material: biofibers made from green lacewing silk

20.01.2017 | Materials Sciences

Ion treatments for cardiac arrhythmia — Non-invasive alternative to catheter-based surgery

20.01.2017 | Life Sciences

VideoLinks

NASA | A Year in the Life of Earth's CO2

NASA Computer Model Provides a New Portrait of Carbon Dioxide

Black Holes Come to the Big Screen

The new movie "Interstellar" explores a longstanding fascination, but UA astrophysicists are using cutting-edge technology to go one better.

NASA's Swift Mission Observes Mega Flares from a Mini Star

NASA's Swift satellite detected the strongest, hottest, and longest-lasting sequence of stellar flares ever seen from a nearby red dwarf star.

NASA | Global Hawks Soar into Storms

NASA's airborne Hurricane and Severe Storm Sentinel or HS3 mission, will revisit the Atlantic Ocean for the third year in a row.

Baffin Island - Disappearing ice caps

Giff Miller, geologist and paleoclima-tologist, is walking the margins of melting glaciers on Baffin Island, Nunavut, Canada.

The Infrasound Network and how it works

The CTBTO uses infrasound stations to monitor the Earth mainly for atmospheric explosions.

B2B-VideoLinks

Efficient reduction of odour and grease with Heraeus UV solutions

Kitchen exhaust air cleaning with UV in gastronomy

Drying and curing of paints on glass and ceramics

Bright and brilliant paints on glass and ceramics require safe solutions for drying and curing.

JULABO World of Temperature

Explore the World of Temperature with JULABO - Superior Temperature Technology for a Better Life.

Acoustic Wave Separation: How It Works

In this animated video, see how Acoustic Wave Separation technology works in full detail.

Infrared Heat for printed electronics

Drying and sintering of printed electronics by specialty light sources from Heraeus

All about Data Logger, how to use

Wolfgang Rudolph explains: all information worth knowing about the data logger and the practical test by means of a drone