Date/Time : 30 Apr 2025 15:00
Venue : S17 #04-05 (SR2)
Speaker : Liu Jinpeng, Tsinghua University

Nonlinear dynamics play a prominent role in scientific computation and artificial intelligence. Whereas previous quantum algorithms for general nonlinear equations have been severely limited due to the linearity of quantum mechanics, we gave the first efficient quantum algorithm for nonlinear differential equations with sufficiently strong dissipation. This is an exponential improvement over the best previous quantum algorithms, whose complexity is exponential in the evolution time. Furthermore, we design the first quantum algorithm for training classical sparse neural networks with end-to-end settings. We benchmark instances of ResNet with sparse pruning applied to Cifar-100 dataset and DPM-Solver for U-ViT applied to ImageNet-100 dataset, and we find that a quantum enhancement is possible at the early stage of learning. Our work shows that fault-tolerant quantum computing can contribute to the training and inference processes of most state-of-the-art large language models and diffusion models.

References:
[1]Efficient quantum algorithm for dissipative nonlinear differential equations. Proceedings of the National Academy of Science 118, 35 (2021).
[2]Towards provably efficient quantum algorithms for large-scale machine learning models. Nature Communications 15, 434 (2024)
[3]Towards efficient quantum algorithms for diffusion probability models. arXiv:2502.14252

Add to calendar :

Date/Time : 29 Apr 2025 15:00
Venue : S17 #04-05 (SR2)
Speaker : Federico Pasqualotto, University of California San Diego

In this talk, I will first review the singularity formation problem in incompressible fluid dynamics, describing how particle transport poses the main challenge in constructing blow-up solutions for incompressible fluids. I will then outline a new mechanism that allows us to overcome the effects of particle transport, leveraging the instability seen in the classical Taylor–Couette experiment. Using this mechanism, we construct the first swirl-driven singularity for the incompressible Euler equations in R^3. This is joint work with Tarek Elgindi (Duke University).

Add to calendar :

Date/Time : 29 Apr 2025 16:00
Venue : S17 #04-05 (SR2)
Speaker : Liu Jinpeng, Tsinghua University

Fault-tolerant quantum computers are expected to excel in simulating unitary dynamics, such as the dynamics of a quantum state under a Hamiltonian. Most applications in scientific and engineering computations involve non-unitary dynamics. First, we propose a simple method for simulating a general class of non-unitary dynamics as a linear combination of Hamiltonian simulation (LCHS) problems. The LCHS method can achieve optimal cost in terms of state preparation. Second, we generalize the LCHS formula to simulate time-evolution operators in infinite-dimensional spaces, including scenarios involving unbounded operators. We demonstrate the applicability of LCHS to a wide range of non-Hermitian dynamics, including linear parabolic PDEs and open quantum system dynamics. Our analysis provides insights into simulating general linear dynamics using a finite number of quantum dynamics and includes cost estimates for the corresponding quantum algorithms.

Add to calendar :

Date/Time : 28 Apr 2025 14:00
Venue : S17 #04-04 (SR3)
Speaker : Huajian Xin, University of Edinburgh

Large language models (LLMs) excel at information retrieval, knowledge memorization, and reasoning, yet they face challenges in domains with scarce data and long-tail distributions, such as formal mathematical theorem proving. In this domain, LLMs must generate rigorous, verifiable proof scripts for interactive theorem-proving systems. Challenges stem from limited natural-language corpora, the demand for logical precision, and strict accuracy requirements. In developing DeepSeek-Prover V1, we automated large-scale translation of natural-language mathematical problems into formal propositions and synthesized corresponding proofs. After rigorous multi-level filtering, fine-tuning on this dataset achieved state-of-the-art results, effectively distilling knowledge from data-rich to data-scarce parallel domains. DeepSeek-Prover V1.5 further introduced automatic annotation of chain-of-thought reasoning within proof code data, enabling smaller models to adopt explicit reasoning strategies that significantly improve long-reasoning tasks. This talk will also introduce formal mathematical theorem proving as an ideal benchmark for evaluating and training language models’ capabilities in rigorous reasoning.

Add to calendar :

Date/Time : 28 Apr 2025 15:00
Venue : S17 #04-05 (SR2)
Speaker : Lin, Youzuo, University of North Carolina at Chapel Hill

Computational Wave Imaging (CWI) enables the reconstruction of hidden structures and the estimation of physical properties within a medium by analyzing propagating wave signals. This technique has critical applications in fields such as seismic exploration of the Earth’s subsurface and ultrasound computed tomography in medical imaging. Traditional approaches to CWI are broadly categorized into physics-based methods and machine learning-based techniques. Physics-based methods deliver high-resolution, quantitatively accurate reconstructions of acoustic properties but are often computationally intensive and susceptible to issues of ill-posedness and nonconvexity. In contrast, machine learning approaches, particularly those leveraging deep learning, have recently emerged as powerful tools to address these challenges by offering faster, data-driven solutions. In this presentation, we introduce our recent advancements in hybrid CWI methodologies that combine fundamental wave physics with state-of-the-art machine learning techniques. We focus on the development of self-supervised learning strategies that significantly reduce computational costs while maintaining accuracy. We will demonstrate the effectiveness of these approaches through applications in subsurface geophysics and medical ultrasound imaging, highlighting their potential for broad, real-world impact.

Add to calendar :

Date/Time : 25 Apr 2025 16:00
Venue : S17 #04-04 (SR3)
Speaker : Youngjoon Hong, Seoul National University

We propose a novel approach for solving parametric partial differential equations (PDEs) using an operator network. This method combines the strengths of deep learning with traditional numerical techniques, specifically the finite element or spectral element methods, to address parametric PDEs ranging from singularly perturbed convection-diffusion equations to the Navier-Stokes equations, all without requiring paired input-output training data. Through extensive experiments on various benchmark problems, our approach has demonstrated excellent performance across diverse settings, showcasing its versatility in terms of accuracy, generalization, and computational efficiency. The proposed framework holds significant potential for applications in fields where PDEs are critical for modeling complex domains with diverse boundary conditions and singular behavior. Additionally, we provide a rigorous theoretical convergence analysis, grounded in numerical analysis, to further support our approach.

Add to calendar :

Date/Time : 25 Apr 2025 14:00
Venue : S17 #04-04 (SR3)
Speaker : Xu Tianyi, Peking University (BICMR)

This talk explores the latest developments and emerging trends in the application of AI to mathematics, focusing on leveraging generative models for writing formalized mathematical proofs. We will introduce the idea of formalizing mathematics using proof assistants—computer programs designed to verify the correctness of mathematical proofs. We will then compare various approaches to formalization, highlighting the unique advantages of using large language models (LLMs) for this task. Additionally, we will address key challenges that naturally arise in this process and present our strategies for overcoming them.

Add to calendar :

Date/Time : 24 Apr 2025 16:00
Venue : S17 #06-11 (SR6)
Speaker : John Harlim, Penn State University

In this talk, I will present two recent topics on learning vector fields of dynamical systems. For the first part, I will discuss the problem of learning vector fields of dynamical systems that lie on a Riemannian submanifold of R^n, with applications ranging from dissipative dynamics that exhibit inertial manifold structure to differential equations with algebraic constraints. I will present an operator-valued kernel constructed by geometrical constraints estimated from the time series and an ODE solver that guarantees the prediction to lie on the manifold in the limit of large data. I will demonstrate the numerical methods on various examples of various ambient dimensions of order 1 to order $10^4$ and compare them to existing neural network approaches. For the second part, I will discuss the problem of learning coarse-grained dynamics on graphs with Graph Neural Network. We systematically determine the GNN architecture by inspecting how the leading term of the Mori-Zwanzig memory term depends on the coarse-grained interaction coefficients that encode the graph topology. I will present numerical demonstrations on two examples, a heterogeneous Kuramoto oscillator model and a power system, which shows that the proposed GNN architecture can predict the coarse-grained dynamics under fixed and time-varying graph topologies.

Add to calendar :

Date/Time : 23 Apr 2025 15:00
Venue : S17 #04-05 (SR2)
Speaker : Jialun Li, Ecole Polytechnique de Paris

I will begin with the classical setting of the modular surface: the unit tangent bundle of the modular curve T^1(SL(2,Z)\H)=SL(2,Z)\SL(2,R), where periodic geodesics correspond to periodic orbits of the diagonal subgroup. Margulis and Bowen established dynamical frameworks for studying these orbits, while Selberg and Sarnak developed spectral and number-theoretic approaches.

We then turn to the higher-rank generalization, periodic diagonal orbits on SL(3,Z)\SL(3,R). In this case, each periodic diagonal orbit is a two-dimensional flat torus embedded in the space. Different counting problems emerge, depending on how one orders these tori–whether by dynamical ordering, geometric ordering or arithmetic ordering. The dynamical and geometric ordering are closely connected through the shapes of the flat tori. Finally, I will discuss my recent joint work with Thi Dang and Nihar Gargava on the density of shapes of periodic tori.

Add to calendar :