Computer Science for Continuous Data:Survey, Vision, Theory, and Practice of a Computer Analysis System

Building on George Boole's work, Logic provides a rigorous foundation for the powerful tools in Computer Science that underlie nowadays ubiquitous processing of discrete data, such as strings or graphs. Concerning continuous data, already Alan Turing had applied "his" machines to formalize and study the processing of real numbers: an aspect of his oeuvre that we transform from theory to practice.The present essay surveys the state of the art and envisions the future of Computer Science for continuous data: natively, beyond brute-force discretization, based on and guided by and extending classical discrete Computer Science, as bridge between Pure and Applied Mathematics

International Congress of Mathematicians: 2022 July 6–14: Proceedings of the ICM 2022

Following the long and illustrious tradition of the International Congress of Mathematicians, these proceedings include contributions based on the invited talks that were presented at the Congress in 2022. Published with the support of the International Mathematical Union and edited by Dmitry Beliaev and Stanislav Smirnov, these seven volumes present the most important developments in all fields of mathematics and its applications in the past four years. In particular, they include laudations and presentations of the 2022 Fields Medal winners and of the other prestigious prizes awarded at the Congress. The proceedings of the International Congress of Mathematicians provide an authoritative documentation of contemporary research in all branches of mathematics, and are an indispensable part of every mathematical library

Understanding Recurrent Disease: A Dynamical Systems Approach

Recurrent disease, characterized by repeated alternations between acute relapse and long re- mission, can be a feature of both common diseases, like ear infections, and serious chronic diseases, such as HIV infection or multiple sclerosis. Due to their poorly understood etiology and the resultant challenge for medical treatment and patient management, recurrent diseases attract much attention in clinical research and biomathematics. Previous studies of recurrence by biomathematicians mainly focus on in-host models and generate recurrent patterns by in- corporating forcing functions or stochastic elements. In this study, we investigate deterministic in-host models through the qualitative analysis of dynamical systems, to reveal the possible intrinsic mechanisms underlying disease recurrence. Recurrence in HIV infection is referred to as “viral blips”, that is, transient periods of high viral replication separated by long periods of quiescence. A 4-dimensional HIV antioxidant- therapy model exhibiting viral blips is studied using bifurcation theory. Four conditions for the existence of viral blips in a deterministic in-host model are proposed. Guided by the four con- ditions, the simplest 2-dimensional infection model which shows recurrence is obtained. One key point for recurrence is identified, that is an increasing and saturating infectivity function. Furthermore, Hopf and generalized Hopf bifurcations, Bogdanov-Takens bifurcation, and ho- moclinic bifurcation are proved to exist in this 2-dimensional model. Bogdanov-Takens bifur- cation and homoclinic bifurcation provide a new mechanism for generating recurrence. From the viewpoint of modelling, the increasing and saturating infectivity function gives rise to a convex incidence rate, which further induces backward bifurcation and Hopf bifurcation, and allows the infection model to exhibit rich dynamical behavior, such as bistability, recurrence, and regular oscillation. The relapse-remission cycle in autoimmune disease is investigated based on a regulatory T cell model. By introducing a newly discovered class of regulatory T cells, Hopf bifurcation oc- curs in the autoimmune model with negative backward bifurcation, and gives rise to a recurrent pattern. The main insight of this thesis is that recurrent disease can arise naturally from the de- terministic dynamics of populations. It will provide a starting point for further research in dynamical systems theory, and recurrence in other physical systems