Georgia Institute of Technology College of Sciences

The transportation problem can be formulated as the problem of finding the optimal way to transport a given measure into another with the same mass. In mathematics, there are at least two different but very important types of optimal transportation: Monge-Kantorovich problem and ramified transportation. In this talk, I will give a brief introduction to the theory of ramified optimal transportation. In terms of applied mathematics, optimal transport paths are used to model many "tree shaped" branching structures, which are commonly found in many living and nonliving systems. Trees, river channel networks, blood vessels, lungs, electrical power supply systems, draining and irrigation systems are just some examples. After briefly describing some basic properties (e.g. existence, regularity) as well as numerical simulation of optimal transport paths, I will use this theory to explain the dynamic formation of tree leaves. On the other hand, optimal transport paths provide excellent examples for studying geodesic problems in quasi-metric spaces, where the distance functions satisfied a relaxed triangle inequality: d(x,y) <= K(d(x,z)+d(z,y)). Then, I will introduce a new concept "dimensional distance" on the space of probability measures. With respect to this new metric, the dimension of a probability measure is just the distance of the measure to any atomic measure. In particular, measures concentrated on self-similar fractals (e.g. Cantor set, fat Cantor sets) will be of great interest to us.

Mathematical models are used to study possible impact of drug treatment of infections with the human immunodeficiency virus type 1 (HIV-1) on the evolution of the pathogen. Treating HIV-infected patients with a combination of several antiretroviral drugs usually contributes to a substantial decline in viral load and an increase in CD4+ T cells. However, continuing viral replication in the presence of drug therapy can lead to the emergence of drug-resistant virus variants, which subsequently results in incomplete viral suppression and a greater risk of disease progression. As different types of drugs (e.g., reverse transcriptase inhibitors,protease inhibitors and entry inhibitors) help to reduce the HIV replication at different stages of the cell infection, infection-age-structured models are useful to more realistically model the effect of these drugs. The model analysis will be presented and the results are linked to the biological questions under investigation. By demonstrating how drug therapy may influence the within host viral fitness we show that while a higher treatment efficacy reduces the fitness of the drug-sensitive virus, it may provide a stronger selection force for drug-resistant viruses which allows for a wider range of resistant strains to invade.

The study of random tilings of planar lattice regions goes back to the solution of the dimer model in the 1960's by Kasteleyn, Temperley and Fisher, but received new impetus in the early 1990's, and has since branched out in several directions in the work of Cohn, Kenyon, Okounkov, Sheffield, and others. In this talk, we focus on the interaction of holes in random tilings, a subject inspired by Fisher and Stephenson's 1963 conjecture on the rotational invariance of the monomer-monomer correlation on the square lattice. In earlier work, we showed that the correlation of a finite number of holes on the triangular lattice is given asymptotically by a superposition principle closely paralleling the superposition principle for electrostatic energy. We now take this analogy one step further, by showing that the discrete field determined by considering at each unit triangle the average orientation of the lozenge covering it converges, in the scaling limit, to the electrostatic field. Our proof involves a variety of ingredients, including Laplace's method for the asymptotics of integrals, Newton's divided difference operator, and hypergeometric function identities.

Consider the 2-d ideal incompressible fluid moving inside a bounded domain (say 2-d torus). It is described by 2-d Euler equations which have unique global solution; thus, we have a dynamical system in the space of sufficiently regular incompressible vector fields. The global properties of this system are poorly studied, and, as much as we know, paradoxical. It turns out that there exists a global attractor (in the energy norm), i.e. a set in the phase space attracting all trajectories (in spite the fact that the system is conservative). This apparent contradiction leads to some deep questions of non-equilibrium statistical mechanics.