This Week's Seminars and Colloquia

Mathematical theory of structured deep neural networks

Series
Applied and Computational Mathematics Seminar
Time
Monday, April 28, 2025 - 14:00 for 1 hour (actually 50 minutes)
Location
Skiles 005
Speaker
Ding-Xuan ZhouSchool of Mathematics and Statistics, University of Sydney, Australia

Deep learning has been widely applied and brought breakthroughs in speech recognition, computer vision, natural language processing, and many other domains. The involved deep neural network architectures and computational issues have been well studied in machine learning. But there is much less theoretical understanding about the modelling, approximation or generalization abilities of deep learning models with network architectures. An important family of structured deep neural networks is deep convolutional neural networks (CNNs) induced by convolutions. The convolutional architecture gives essential differences between deep CNNs and fully-connected neural networks, and the classical approximation theory for fully-connected networks developed around 30 years ago does not apply.  This talk describes approximation and generalization analysis of deep CNNs and related structured deep neural networks. 
 

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

Series
Job Candidate Talk
Time
Thursday, May 1, 2025 - 11:00 for 1 hour (actually 50 minutes)
Location
Skiles 005 or 006
Speaker
Jason Mireles-JamesFlorida Atlantic University

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