© andreas battenberg / TUM
Analysis | December 15, 2015

## Gödel and Turing enter quantum physics

A mathematical problem underlying fundamental questions in particle and quantum physics is provably unsolvable, according to scientists at UCL, Universidad Complutense de Madrid – ICMAT and Technical University of Munich.

It is the first major problem in physics for which such a fundamental limitation could be proven. The findings are important because they show that even a perfect and complete description of the microscopic properties of a material is not enough to predict its macroscopic behavior.

A small spectral gap – the energy needed to transfer an electron from a low-energy state to an excited state – is the central property of semiconductors. In a similar way, the spectral gap plays an important role for many other materials. When this energy becomes very small – i.e. the spectral gap closes – it becomes possible for the material to transition to a completely different state. An example of this is when a material becomes superconducting.

Mathematically extrapolating from a microscopic description of a material to the bulk solid is considered one of the key tools in the search for materials exhibiting superconductivity at ambient temperatures or other desirable properties. A study, published today in Nature, however, shows crucial limits to this approach. Using sophisticated mathematics, the authors proved that, even with a complete microscopic description of a quantum material, determining whether it has a spectral gap is, in fact, an undecidable question.

“Alan Turing is famous for his role in cracking the Enigma code,” says Co-author, Dr. Toby Cubitt from UCL Computer Science. “But amongst mathematicians and computer scientists, he is even more famous for proving that certain mathematical questions are ‘undecidable' – they are neither true nor false, but are beyond the reach of mathematics. What we’ve shown is that the spectral gap is one of these undecidable problems. This means a general method to determine whether matter described by quantum mechanics has a spectral gap, or not, cannot exist. Which limits the extent to which we can predict the behavior of quantum materials, and potentially even fundamental particle physics.”

One million dollars to win!

The most famous problem concerning spectral gaps is whether the theory governing the fundamental particles of matter itself – the standard model of particle physics – has a spectral gap (the `Yang-Mills mass gap' conjecture). Particle physics experiments such as CERN and numerical calculations on supercomputers suggest that there is a spectral gap. Although there is a $1m prize at stake from the Clay Mathematics Institute for whoever can, no one has yet succeeded in proving this mathematically from the equations of the standard model.

Dr. Cubitt added, “It's possible for particular cases of a problem to be solvable even when the general problem is undecidable, so someone may yet win the coveted $1m prize. But our results do raise the prospect that some of these big open problems in theoretical physics could be provably unsolvable.”

"We knew about the possibility of problems that are undecidable in principle since the works of Turing and Gödel in the 1930s,” added Co-author Professor Michael Wolf from Technical University of Munich. “So far, however, this only concerned the very abstract corners of theoretical computer science and mathematical logic. No one had seriously contemplated this as a possibility right in the heart of theoretical physics before. But our results change this picture. From a more philosophical perspective, they also challenge the reductionists’ point of view, as the insurmountable difficulty lies precisely in the derivation of macroscopic properties from a microscopic description."

Not all bad news

Co-author, Professor David Pérez-García from Universidad Complutense de Madrid and ICMAT, said: “It's not all bad news, though. The reason this problem is impossible to solve in general is because models at this level exhibit extremely bizarre behavior that essentially defeats any attempt to analyze them. But this bizarre behavior also predicts some new and very weird physics that hasn't been seen before. For example, our results show that adding even a single particle to a lump of matter, however large, could in principle dramatically change its properties. New physics like this is often later exploited in technology.”

The researchers are now seeing whether their findings extend beyond the artificial mathematical models produced by their calculations to more realistic quantum materials that could be realized in the laboratory.

-----

The research has been funded by the John Templeton Foundation, the Royal Society (UK), the Spanish Ministry of Economics and Competitiveness (MINECO), the Madrid Regional Government and the European Research Council (ERC).

Photo: Prof. David Perez-Garcia, Prof. Michael M. Wolf and Prof. Toby S. Cubitt at the Faculty of Mathematics at TUM

A small spectral gap – the energy needed to transfer an electron from a low-energy state to an excited state – is the central property of semiconductors. In a similar way, the spectral gap plays an important role for many other materials. When this energy becomes very small – i.e. the spectral gap closes – it becomes possible for the material to transition to a completely different state. An example of this is when a material becomes superconducting.

Mathematically extrapolating from a microscopic description of a material to the bulk solid is considered one of the key tools in the search for materials exhibiting superconductivity at ambient temperatures or other desirable properties. A study, published today in Nature, however, shows crucial limits to this approach. Using sophisticated mathematics, the authors proved that, even with a complete microscopic description of a quantum material, determining whether it has a spectral gap is, in fact, an undecidable question.

“Alan Turing is famous for his role in cracking the Enigma code,” says Co-author, Dr. Toby Cubitt from UCL Computer Science. “But amongst mathematicians and computer scientists, he is even more famous for proving that certain mathematical questions are ‘undecidable' – they are neither true nor false, but are beyond the reach of mathematics. What we’ve shown is that the spectral gap is one of these undecidable problems. This means a general method to determine whether matter described by quantum mechanics has a spectral gap, or not, cannot exist. Which limits the extent to which we can predict the behavior of quantum materials, and potentially even fundamental particle physics.”

One million dollars to win!

The most famous problem concerning spectral gaps is whether the theory governing the fundamental particles of matter itself – the standard model of particle physics – has a spectral gap (the `Yang-Mills mass gap' conjecture). Particle physics experiments such as CERN and numerical calculations on supercomputers suggest that there is a spectral gap. Although there is a $1m prize at stake from the Clay Mathematics Institute for whoever can, no one has yet succeeded in proving this mathematically from the equations of the standard model.

Dr. Cubitt added, “It's possible for particular cases of a problem to be solvable even when the general problem is undecidable, so someone may yet win the coveted $1m prize. But our results do raise the prospect that some of these big open problems in theoretical physics could be provably unsolvable.”

"We knew about the possibility of problems that are undecidable in principle since the works of Turing and Gödel in the 1930s,” added Co-author Professor Michael Wolf from Technical University of Munich. “So far, however, this only concerned the very abstract corners of theoretical computer science and mathematical logic. No one had seriously contemplated this as a possibility right in the heart of theoretical physics before. But our results change this picture. From a more philosophical perspective, they also challenge the reductionists’ point of view, as the insurmountable difficulty lies precisely in the derivation of macroscopic properties from a microscopic description."

Not all bad news

Co-author, Professor David Pérez-García from Universidad Complutense de Madrid and ICMAT, said: “It's not all bad news, though. The reason this problem is impossible to solve in general is because models at this level exhibit extremely bizarre behavior that essentially defeats any attempt to analyze them. But this bizarre behavior also predicts some new and very weird physics that hasn't been seen before. For example, our results show that adding even a single particle to a lump of matter, however large, could in principle dramatically change its properties. New physics like this is often later exploited in technology.”

The researchers are now seeing whether their findings extend beyond the artificial mathematical models produced by their calculations to more realistic quantum materials that could be realized in the laboratory.

-----

The research has been funded by the John Templeton Foundation, the Royal Society (UK), the Spanish Ministry of Economics and Competitiveness (MINECO), the Madrid Regional Government and the European Research Council (ERC).

Photo: Prof. David Perez-Garcia, Prof. Michael M. Wolf and Prof. Toby S. Cubitt at the Faculty of Mathematics at TUM

Kimball Electronics - Fabrication achieves IATF 16949 certification
Recently, Kimball Electronics-Fabrication (KEFAB) in Indianapolis achieved IATF...

Honeywell partners with Fetch Robotics
Honeywell has entered into a strategic collaboration with Fetch Robotics to provide...

Construction starts for BSH’s massive dishwasher plant in Łódź
The cornerstone for BSH’s new Polish dishwasher factory has been laid. This marks the start...

Saab Receives Order from Boeing
Saab has received an order from Boeing for the Engineering and Manufacturing Development...

Kitron sees strong order growth during third quarter
“We continued on our growth path in the third quarter, delivering the highest third...

Nano Dimension partners with Accucode to meet growing demand
Nano Dimension has signed a partnership with US-based reseller Accucode, Inc., a...

Tesla acquires land in Shanghai
Tesla has signed an agreement to secure land in Shanghai’s Lingang area for its first factory outside the United States.

Yamaha Total Line Installation at Nidec UK
Yamaha Motor Europe IM Division says that it has received a major order for a complete...

Nortech Systems’ Intercon 1 enters agreement with Northwire
EMS provider, Nortech Systems, says that Intercon 1 will take over manufacturing of...

Panasonic starts HVAC manufacturing in Europe
Panasonic Corporation says that it has started residential air to water heat pump production at...

Aspocomp expects a better 2018 – raises its outlook
The Finnish PCB manufacturer is upgrading its outlook for the full-year of 2018. The company...

SMTC earns AS9100D quality accreditation
EMS provider SMTC Corporation announces that he has received AS9100 Revision D accreditation...

Norwegian geophysical company signs contract with Kitron
Kitron and Magseis ASA has entered into an agreement to manufacture Magseis'...

Hanza to supply parts to Rocla's next-gen electronic forklifts
Swedish EMS provider, Hanza Holding, says that it has signed an agreement with materials...

Thales-Tech for SAR/Galileo search & rescue system
The European Commission (EC) has awarded Thales Alenia Space a contract for a ground...

Osram and Deutsche Telekom to test mobile robotics in smart shop
Even robots are pushing for wireless communication. This is how it is going to be in Osram’s...

Mycronic lands Asian order for advanced maskwriter
Mycronic has received an order for a Prexision-800 from an unnamed customer in Asia. The...

Wafer shipments forecast to set new highs through 2021
Total wafer shipments in 2018 year are expected to eclipse the all-time market high set in 2017...

Cicor adds new laser trimmer in Ulm, Germany
Swiss electronics manufacturing provider, Cicor, announces that the company has invested in a...

Kingston is the clear leader among branded SSD module makers
DRAMeXchange, a division of TrendForce, announces the global ranking of SSD module...

UK electrics manufacturer acquired by investment fund in a £162M deal
Caledonia Investments plc announces that it has acquired a majority stake in Deep Sea...

Most Read

Load more news
## Comments