Resonance computations: are they easy or hard?

Resonance computations: are they easy or hard?

🎙 Prof. Marco Marletta 👥 8K 📅 August 19, 2026 ⏱ 41 min 👁 7 📄 expert opinion 🧭 2026-08-19
Available in: English (current) Français

Keywords

resonancescatteringSchrödinger operatoranalytic continuationcomputer-assisted proof

Summary

Marco Marletta, a spectral theorist at Cardiff University, presents a talk on the computational aspects of resonances in scattering theory. He begins by illustrating resonances through examples from wave equations with potentials and obstacle scattering, highlighting their role in asymptotic expansions. He then provides formal definitions for both potential and obstacle scattering, emphasizing the analytic continuation of the resolvent and the role of Dirichlet-to-Neumann maps. The talk covers historical context, including early work by Tullio Regge and the development of complex scaling and perfectly matched layers. A central case study involves a controversial resonance calculation from the 1980s, which Marletta and collaborators resolved using computer-assisted proofs with interval arithmetic. He contrasts this rigorous but computationally intensive approach with a recent AI-assisted calculation that achieved high precision using a different method. Marletta concludes by arguing that while resonances can be computed, the task remains challenging, especially with dynamic data, and he reflects on the surprising effectiveness of AI in this domain.

160 words

Critical Evaluation

Value of the Information & Strength of the Argument

The talk provides valuable insights into the theory and computation of resonances, bridging pure and applied mathematics. Marletta’s argumentation is rigorous, building from concrete examples to formal definitions and then to a detailed case study. He effectively demonstrates the subtleties of resonance computations, such as the need for analytic continuation and the pitfalls of naive truncation. The narrative is compelling, particularly the account of resolving a long-standing controversy through computer-assisted proofs, which showcases the power of rigorous numerical methods. The discussion of AI-assisted computation adds a modern perspective, though it is presented as an anecdote rather than a systematic analysis.

Scientific Rigor, Source Quality, Title Accuracy

The talk demonstrates high scientific rigor, with clear definitions and references to established literature (e.g., Dautray-Lions, Tullio Regge, Hislop-Sigal). However, no specific sources are cited in the description beyond the seminar page. The title accurately reflects the content, which is a critical examination of the ease or difficulty of resonance computations. The talk is well-structured and technically precise, suitable for an expert audience.

178 words

Title / Content Match

The title accurately reflects the content, which explores the computational challenges of resonance problems.

Quality & Reliability

8/10

Talk by a leading spectral theorist at a prestigious institute, presenting rigorous mathematical definitions and results, including computer-assisted proofs. High expertise, but no peer-reviewed sources cited directly in the talk.

Key Moments

Cited Sources

Concurring Sources

  • Isaac Newton Institute for Mathematical Sciences — The institute's reputation and the seminar series support the credibility of the talk.

Contribution & Novelties

The talk provides a personal perspective on the state of the art in resonance computations, highlighting the challenges and recent advances, including the use of computer-assisted proofs and AI. It offers a unique case study of resolving a long-standing controversy in computational chemistry.

Pour aller plus loin :

90 words

Radar Profile

The radar profile shows high scores in technical level and information quality, reflecting the expert-level content and rigorous presentation. The moderate score in information quantity is due to the focused scope of the talk, while the high reliability score is supported by the speaker's expertise and the institutional setting.

Reliability 8/10