Abstract: Cryptographic protocols with computational security are those that obtain security by restricting adversaries to only perform efficient actions. In the quantum setting, computational assumptions have been used to construct secure quantum protocols that utilize only classical communication. In this talk, I will focus on a primitive known as Trapdoor Claw-Free (TCF) Functions. TCFs have been used to construct many quantum protocols that only utilize classical communication. I will discuss their construction and explain how their properties can be used to obtain security against quantum adversaries.
Abstract: Mosquito-borne diseases endemic to areas with tropical climates have been spreading in temperate regions of the world with greater frequency in recent years. Numerous factors contribute to this spread, including urbanization; increases in global travel; and changes in temperature, precipitation, and humidity patterns due to climate change. Mathematical modeling is a useful tool to examine how these different influences impact transmission and spread of arboviruses and for projecting how potential future changes in these factors could affect arbovirus dynamics. Models have been employed for years to study disease dynamics, but diseases emerging in new regions present particular challenges. Here, we discuss models developed to study the introduction, emergence, and spread of dengue fever in Argentina. Dengue, caused by a virus transmitted by Aedes aegypti mosquitoes, first emerged in temperate Argentinian cities in 2009, and multiple outbreaks of increasing incidence have occurred since. With particular focus on the role of climate in dengue emergence, we present mathematical models designed to study meteorological influences on seasonal Aedes aegypti and dengue dynamics in temperate Argentinian cities, and we show how different seasonal patterns influence the risk of outbreaks. We also investigate potential influences of climate change on risk of dengue transmission in the future. We discuss the implications of our work on dengue and mosquito mitigation strategies, and we address some of the issues and areas for improvement in modeling emerging arboviruses.
Abstract: It is well known that many of the standard integral formulations for time-harmonic electromagnetic scattering break down, both numerically and analytically, as the frequency tends to zero. In many instances, the breakdown is directly due to the use of electric current as the fundamental unknown (as opposed to both current and charge, or other non-physical variables). It is somewhat less well known that similar instabilities arise for scattering problems in perfectly conducting half-spaces or piecewise layered media. In this talk we show a direct extension of the classic Lorenz-Debye-Mie scattering theory from spheres to half-spaces and layered media, and introduce a 'generalized Debye' formulation which is immune from low-frequency breakdown and gracefully decouples the non-physical unknowns in the limit. Each of these formulations is based on the classic Sommerfeld formulation of half-space scattering, which is equivalent to transverse Fourier transforms of the underlying Green's function.
Abstract: Convex functions of Gaussian vectors are prominent objectives in many fields of mathematical studies. In this talk, I will establish a new convexity for the logarithmic moment generating function for this object and draw two consequences. The first leads to the Paouris-Valettas small deviation inequality that arises from the study of convex geometry. The second provides a quantitative bound for the Dotsenko-Franz-Mezard conjecture in the Sherrington-Kirkpatrick mean-field spin glass model, which states that the logarithmic anneal partition function of negative replica is asymptotically equal to the free energy.
Abstract:Â A metric on a category assigns lengths to morphisms, with the triangle inequality holding. This notion goes back to a 1974 article by Lawvere. We'll start with a quick review of some basic constructions, like forming the Cauchy completion of a category with respect to a metric. And then will begin a string of surprising new results. It turns out that, in a triangulated category with a metric, there is a reasonable notion of Fourier series, and an approximable triangulated category can be thought of as a category where many objects are the limits of their Fourier expansions. And some other ideas, mimicking constructions in real analysis, turn out to also be powerful.
And then come two types of theorems: (1) theorems providing examples, meaning showing that some category you might naturally want to look at is approximable, and (2) general structure theorems about approximable triangulated categories.
And what makes it all interesting is (3) applications. These turn out to include the proof of an old conjecture of Bondal and Van den Bergh about strong generation, a representability theorem that leads to a short, sweet proof of Serre's GAGA theorem, a proof of a conjecture by Antieau, Gepner and Heller about the non-existence of bounded t-structures on the category of perfect complexes over a singular scheme, as well as (most recently) a vast generalization and major improvement on an old theorem of Rickard's.