Scientists at the University of Illinois at Urbana-Champaign have developed an inverse problem solving algorithm that could provide meaningful answers to condensed matter physicists in their searches for novel and emergent properties in materials. The algorithm, invented by physics professor Bryan Clark and his graduate student Eli Chertkov, inverts the typical mathematical process condensed matter physicists use to search for interesting physics. Their new method starts with the answer-what kinds of physical properties would be interesting to find-and works backward to the question-what class of materials would host such properties.

Condensed matter physics is the field of physics that deals with the macroscopic and microscopic physical properties of matter. In particular it is concerned with the "condensed" phases that appear whenever the number of constituents in a system is extremely large and the interactions between the constituents are strong. The most familiar examples of condensed phases are solids and liquids, which arise from the electromagnetic forces between atoms. Condensed matter physicists seek to understand the behavior of these phases by using physical laws. In particular, they include the laws of quantum mechanics, electromagnetism and statistical mechanics.

The most familiar condensed phases are solids and liquids while more exotic condensed phases include the superconducting phase exhibited by certain materials at low temperature, the ferromagnetic and antiferromagnetic phases of spins on crystal lattices of atoms, and the Boseâ€“Einstein condensate found in ultracold atomic systems. The study of condensed matter physics involves measuring various material properties via experimental probes along with using methods of theoretical physics to develop mathematical models that help in understanding physical behavior.

Inverse problem solving isn't a new technique in classical physics, but this algorithm represents one of the first successful examples of an inverse problem solving method with quantum materials. And it could make searching for interesting physics a more streamlined and deliberate process for many scientists. More physicists are working in condensed matter than any other subfield of physics-the rich diversity of condensed matter systems and phenomena provide ample unsolved problems to explore, from superconductivity and superfluidity to magnetism and topology. Experimentalists probe the macro-and microscopic properties of materials to observe the behavior and interactions of particles in materials under a strict set of controls. Theoretical condensed matter physicists, on the other hand, work to develop mathematical models that predict or explain the fundamental laws that govern these behaviors and interactions.

In mathematics and computer science, an algorithm is an unambiguous specification of how to solve a class of problems. Algorithms can perform calculation, data processing and automated reasoning tasks. As an effective method, an algorithm can be expressed within a finite amount of space and time and in a well-defined formal language for calculating a function. Starting from an initial state and initial input (perhaps empty), the instructions describe a computation that, when executed, proceeds through a finite number of well-defined successive states, eventually producing "output" and terminating at a final ending state. The transition from one state to the next is not necessarily deterministic; some algorithms, known as randomized algorithms, incorporate random input.

The field of theoretical condensed matter physics has the well-earned reputation for being esoteric and difficult for the lay person to decipher, with its focus on understanding the quantum mechanics of materials. The process of writing and solving condensed matter equations is extremely intricate and meticulous. That process generally starts with a Hamiltonian-a mathematical model that sums up the energies of all the particles in the system.

Clark explains, "For a typical condensed matter problem, you start with a model, which comes out as a Hamiltonian, then you solve it, and you end up with a wave function-and you can see the properties of that wave function and see whether there is anything interesting. This algorithm inverts that process. Now, if you know the desired type of physics you would like to study, you can represent that in a wave function, and the algorithm will generate all of the Hamiltonians-or the specific models-for which we would get that set of properties. To be more exact, the algorithm gives us Hamiltonians with that wave function as an energy eigenstate."

Clark says the algorithm gives a new way to study physical phenomena such as superconductivity.

"Typically, you would guess Hamiltonians that are likely to be superconducting and then try to solve them. What this algorithm - in theory - will allow us to do is to write down a wave function that we know superconducts and then automatically generate all of the Hamiltonians or the specific models that give that wave function as their solution. Once you have the Hamiltonians, in some sense, that gives you all the other properties of the system-the excitation spectrum, all the finite temperature properties.

That requires some more steps once you have the Hamiltonian, so we didn't improve that part of the research process. But what we did, we found a way to find interesting models, interesting Hamiltonians."

Chertkov adds, "There are lots of wave functions people have written down for which there are no known Hamiltonians-maybe 50 years worth. Now we can take any of these wave functions and ask if any Hamiltonians give those as eigenstates and you may end up with one model, no models, or many. For example, we are interested in spin-liquid wave functions, highly entangled quantum states with interesting topological properties.

Theorists have constructed many spin-liquid wave functions, but don't know which Hamiltonians give them.

In the future, our algorithm should let us find these Hamiltonians."

Clark and Chertkov tested the algorithm on wave functions related to frustrated magnetism, a topic that presents interesting physics with many open questions. Frustrated magnetism occurs in a class of materials that is insulating, so the electrons don't move around, but their spins interact. Clark explains one such wave function they tested, "The electron spins in a frustrated magnet want to be anti-aligned, like the north and south on a magnet, but can't because they live on triangles. So we make a wave function out of a linear-superposition of all of these frustrated states and we turn the crank of this algorithm, and ask, given this wavefunction, which is an interesting quantum state on a frustrated magnet, are there

Hamiltonians that would give it. And we found some."

Chertkov says the results of the algorithm could point experimentalists in the right direction to find interesting new physics: "That would hopefully be one way it would be used. You pick a wave function that has some kind of physics that you care about and you see what sort of interactions can give you that sort of physics, and hopefully then the models you find through this method can be looked for in experiments. And it turns out you find many models with our method."

Clark sums up, "This has inverted the part of the process where we were sort of hunting in the dark. Before, you could say, we're going to try lots of models until we find something interesting. Now you can say, this is the interesting thing we want, let's turn the crank on this algorithm and find a model that gives that."