Week of January 11, 2026

Mon Jan 12, 2026
4:00pm - RH306 - Applied and Computational Mathematics
Yiwei Wang - (UC Riverside)
Energetic Variational Neural Network Discretizations for Variational Models

Many problems in physics, materials science, biology, and machine learning can be formulated as variational models, where multiscale coupling and competition are encoded through an energy–dissipation law. Preserving structures of variational models at the discrete level is crucial for accuracy and robustness, especially in long-time simulations. In this talk, I will present an energetic-variational, structure-preserving discretization framework for variational models. The key idea is to design algorithms based on the energy–dissipation law, rather than on strong- or weak-form PDE discretizations. Within this framework, we develop a memory-efficient, mesh-free neural-network discretization for gradient flows using a temporal-then-spatial discretization approach. As a representative example, we discuss a neural-network-based Lagrangian method for generalized diffusions (Wasserstein-type gradient flows), which yields an efficient Lagrangian implementation of the celebrated Jordan–Kinderlehrer–Otto (JKO) scheme.

Tue Jan 13, 2026
1:00pm to 2:00pm - RH 340N - Dynamical Systems
Xuzheng Lang - (UCI)
Hölder Continuity of the Rotation Number

The dependence of the rotation number on parameters in families of circle diffeomorphisms–often visualized as a “Devil’s Staircase”–is a fundamental object of study in one-dimensional dynamics. While the monotonicity and continuity of the rotation number is well-established, its regularity properties are more subtle. In this talk, we present Jacek Graczyk’s proof (1991) that for any C^2 one-parameter family of circle diffeomorphisms that also satisfy some other natural assumptions, the rotation number is Hölder continuous with exponent equal to ½. We will derive this result by first organizing frequency locking intervals according to the Farey tree, then establishing the universality of “harmonic scaling” in the parameter space with the help of this organization. 

3:00pm to 4:00pm - RH 306 - Analysis
Baozhi Chu - (UCSD)
Some recent progress on the fully nonlinear Yamabe problem

Abstract: The classical Yamabe problem—solved through the work of Yamabe, Trudinger, Aubin, and Schoen—asserts that on any closed smooth connected Riemannian manifold $(M^n,g)$, $n\geq 3$, one can find a metric conformal to $g$ with constant scalar curvature. A fully nonlinear analogue replaces the scalar curvature by symmetric functions of the Schouten tensor. Traditionally, the existing theory has required the scalar curvature to have a fixed sign. In a recent work, we broaden the scope of fully nonlinear Yamabe problem by establishing optimal Liouville-type theorems, local gradient estimates, and new existence and compactness results. Our results allow conformal metrics with scalar curvature of varying signs. A crucial new ingredient in our proofs is our enhanced understanding of solution behavior near isolated singularities. I will also discuss extensions to manifolds with boundary, treating prescribed boundary mean curvature and the boundary curvature arising from the Chern–Gauss–Bonnet formula.

3:00pm to 4:00pm - RH 440R - Logic Set Theory
Asger Dag Törnquist - (University of Copenhagen)
Scott's analysis and metric spaces

Metric spaces and metric structures viewed from a model-theoretic perspective have attracted considerable attention in recent years. When the analogue of Scott's analysis is developed in the setting of continuous model theory, the rank of complete separable metric spaces (and structures) in continuous logic is always countable; this was done by Ben Yaacov, Doucha, Nies and Tsankov. An interesting problem arises if we equip a metric space with a natural, but classical, model-theoretic structure instead of a continuous logic structure. This situation was investigated by Fokina, Friedman, Koerwien and Nies (FFKN), and these authors asked if the Scott rank of complete, separable metric space in this way is always countable. In this talk I will give an example of a complete separable metric space which has Scott rank omega_1 when it is viewed as a classical model-theoretic structure as FFKN did. I will also say something about the proof, which is somewhat unusual because of it uses a fair amount of "serious" set theory.

3:00pm to 4:00pm - RH 306 - Differential Geometry
Baozhi Chu - (UCSD)
Some recent progress on the fully nonlinear Yamabe problem

Abstract: The classical Yamabe problem—solved through the work of Yamabe, Trudinger, Aubin, and Schoen—asserts that on any closed smooth connected Riemannian manifold $(M^n,g)$, $n\geq 3$, one can find a metric conformal to $g$ with constant scalar curvature. A fully nonlinear analogue replaces the scalar curvature by symmetric functions of the Schouten tensor. Traditionally, the existing theory has required the scalar curvature to have a fixed sign. In a recent work, we broaden the scope of fully nonlinear Yamabe problem by establishing optimal Liouville-type theorems, local gradient estimates, and new existence and compactness results. Our results allow conformal metrics with scalar curvature of varying signs. A crucial new ingredient in our proofs is our enhanced understanding of solution behavior near isolated singularities. I will also discuss extensions to manifolds with boundary, treating prescribed boundary mean curvature and the boundary curvature arising from the Chern–Gauss–Bonnet formula.

 

Joint with Analysis seminar at 3pm.