Collaborations with the digital computer: Simulation, Conjecture, and Proof in Dynamics

Series
Job Candidate Talk
Time
Thursday, May 1, 2025 - 11:00am for 1 hour (actually 50 minutes)
Location
Skiles 005 or 006
Speaker
Jason Mireles-James – Florida Atlantic University – http://www.math.fau.edu/people/faculty/mirelesjames.php
Organizer
Rachel Kuske

Computational methods have long inspired conjecture and counterexamples in mathematics, and  in recent years they appear more frequently in proofs of interesting mathematical theorems like the four color problem, Kepler's optimal sphere packing problem, and the proof of the Feigenbaum conjectures in nonlinear dynamics.  In this talk I'll discuss recent work of R. Calleja, C. Garcia, O. Henot, J.P. Lessard and myself on choreographic solutions of the gravitational N-body problem.  After reviewing some history and motivation, I'll explain the role of the digital computer in the (quite constructive) proofs of the theorems.


http://gatech.zoom.us/my/rkuske7?pwd=aHlLUFBFc2JndXlTelV1d3NlOEJBdz09