Logic Seminar: Marija B. Boričić Joksimović
Apr 17 @ 2:30 pm – 3:30 pm

Date: Monday, April 17
Time: 2:30 – 3:20
Room: Keller 313

Title: Suppes–style natural deduction system for probability logic

An elegant way to work with probabilized sentences was proposed by P. Suppes. According to his approach we develop a natural deduction system $\mathbf{NKprob}(\varepsilon)$ for probability logic, inspired by Gentzen’s natural deduction system $\mathbf{NK}$ for classical propositional logic. We use a similar approach as in defining general probability natural deduction system $\mathbf{NKprob}$ (see M. Bori\v ci\’c, Publications de l’Institut Mathematique, Vol. 100(114) (2016), pp. 77–86). Our system will be suitable for manipulating sentences of the form $A^n$, where $A$ is any propositional formula and $n$ a natural number, with the intended meaning ‘the probability of truthfulness of $A$ is greater than or equal to $1-n\varepsilon$’, for some small $\varepsilon >0$.

For instance, the rules dealing with conjunction looks as follows:
$$\frac{A^m\quad B^n}{(A\wedge B)^{m+n}}(I\wedge)\qquad\frac{A^m\quad (A\wedge B)^n}{B^n}(E\wedge)$$
and with implication:
$$\frac{(\neg A)^m\quad B^n}{(A\to B)^{\min\{m,n\}}}(I\to)\qquad\frac{A^m\quad (A\to B)^n}{B^{m+n}}(E\to)$$
The system $\mathbf{NKprob}(\varepsilon)$ will be a natural counterpart of our sequent calculus $\mathbf{LKprob}(\varepsilon)$ (see M. Bori\v ci\’c, Journal of Logic and Computation 27 (4), 2017, pp. 1157–1168).

We prove that our system is sound and complete with respect to the traditional Carnap–Popper type probability semantics.

Colloquium – Lvzhou Chen (Purdue) @ Keller 302
Apr 21 @ 3:30 pm – 4:30 pm
Minh Nguyen MA defense
Apr 24 @ 11:30 am – 12:30 pm
Ethan Lamb MA defense
Apr 24 @ 2:30 pm – 3:30 pm
Differential Geometry Seminar: Sébastian Bertrand @ Keller 313
Apr 25 @ 4:00 pm – 5:00 pm
Title: On the geometric aspects behind classical mechanics.Abstract: In this talk about physics, we will not talk about physics, but the applications of mathematical tools used in that field. From a functional to symplectic geometry, passing by abstract algebra and using differential forms, we will explore some of the foundations of classical mechanics and apply them to the famous example of the2D harmonic oscillator. No knowledge of any physics is required.
Applied math seminar: Kyle Dahlin (University of Georgia) @ Keller 302
Apr 26 @ 3:30 pm – 4:30 pm

Title: Mathematical modeling of mosquito-borne disease transmission in wildlife

Mosquito-borne diseases (MBDs) cause enormous losses of human lives and health throughout the world. Recent environmental changes, including global climatic warming and increased human encroachment on natural areas, are predicted to increase the spread of MBDs. The emergence of novel zoonoses (diseases originating in wildlife and capable of spreading in human populations) is also expected to accelerate, stretching thin our ability to respond effectively to future epidemics. These emerging crises call for substantial advancement in our understanding of how ecological processes drive MBD transmission within and between wildlife populations. But understanding the underlying factors driving MBD outbreak risk is a substantial challenge. For these diseases, transmission occurs during blood feeding, an essential step in the mosquito reproductive cycle. Blood feeding itself is an interactive ecological process: the animals upon which mosquitoes feed may defend themselves, leading to a back-and-forth struggle that can significantly alter transmission rates.
Mathematical models have long been used to study MBD transmission, dating back to the late 19th century when it was first discovered that mosquitoes vectored malaria. However, recent advances in our understanding of mosquito ecology call into question some long-held assumptions underlying these classical models. I will discuss my work which focuses on incorporating ecological interactions into mathematical models of MBD transmission, including resource competition between host animals and defensive behaviors against mosquito biting. These interactions will be further connected to recent work incorporating the effect of ambient temperature on mosquito biology into MBD transmission models.

Sam Birns PhD dissertation defense
Apr 27 @ 12:00 pm – 1:00 pm
Applied math seminar: Melvin Leok (UC San Diego) @ Keller 302
May 3 @ 3:30 pm – 4:30 pm

Title: The Connections Between Discrete Geometric Mechanics, Information Geometry, Accelerated Optimization and Machine Learning

Abstract: Geometric mechanics describes Lagrangian and Hamiltonian mechanics geometrically, and information geometry formulates statistical estimation, inference, and machine learning in terms of geometry. A divergence function is an asymmetric distance between two probability densities that induces differential geometric structures and yields efficient machine learning algorithms that minimize the duality gap. The connection between information geometry and geometric mechanics will yield a unified treatment of machine learning and structure-preserving discretizations. In particular, the divergence function of information geometry can be viewed as a discrete Lagrangian, which is a generating function of a symplectic map, that arise in discrete variational mechanics. This identification allows the methods of backward error analysis to be applied, and the symplectic map generated by a divergence function can be associated with the exact time-h flow map of a Hamiltonian system on the space of probability distributions. We will also discuss how time-adaptive Hamiltonian variational integrators can be used to discretize the Bregman Hamiltonian, whose flow generalizes the differential equation that describes the dynamics of the Nesterov accelerated gradient descent method.

Biography: Melvin Leok is professor of mathematics at the University of California, San Diego. His research interests are in computational geometric mechanics, computational geometric control theory, discrete differential geometry, and structure-preserving numerical schemes, and particularly how these subjects relate to systems with symmetry. He received his Ph.D. in 2004 from the California Institute of Technology in Control and Dynamical Systems under the direction of Jerrold Marsden. He is a Simons Fellow in Mathematics, three-time NAS Kavli Frontiers of Science Fellow, and has received the DoD Newton Award for Transformative Ideas, the NSF Faculty Early Career Development (CAREER) award, the SciCADE New Talent Prize, the SIAM Student Paper Prize, and the Leslie Fox Prize (second prize) in Numerical Analysis. He has given plenary talks at Foundations of Computational Mathematics, NUMDIFF, and the IFAC Workshop on Lagrangian and Hamiltonian Methods for Nonlinear Control, and is the coauthor of a research monograph entitled, “Global Formulations of Lagrangian and Hamiltonian Dynamics on Manifolds.”