The nascent technique of 4D printing has the potential to revolutionize manufacturing in fields ranging from organs-on-a-chip to architecture to soft robotics. By expanding the pallet of 3D printable materials to include the use stimuli responsive inks, 4D printing promises precise control over patterned shape transformations. With the goal of creating a new manufacturing technique, we have recently introduced a biomimetic printing platform that enables the direct control of local anisotropy into both the elastic moduli and the swelling response of the ink.

We have drawn inspiration from nastic plant movements to design a phytomimetic ink and printing process that enables patterned dynamic shape change upon exposure to water, and possibly other external stimuli. Our novel fiber-reinforced hydrogel ink enables local control over anisotropies not only in the elastic moduli, but more importantly in the swelling. Upon hydration, the hydrogel changes shape accord- ing the arbitrarily complex microstructure imparted during the printing process.

To use this process as a design tool, we must solve the inverse problem of prescribing the pattern of anisotropies required to generate a given curved target structure. We show how to do this by constructing a theory of anisotropic plates and shells that can respond to local metric changes induced by anisotropic swelling. A series of experiments corroborate our model by producing a range of target shapes inspired by the morphological diversity of flower petals.

The ``horizon'' of N coincident branes in Minkowski space is the unit sphere in the transverse directions; in a certain scaling limit, string or M-theory in the presence of branes is dual to a compactification on the product of an anti-de Sitter space with the horizon. We study the analogous limit when N branes are placed at a singular point, so that the horizon becomes the so-called ``link'' of the singularity, and is no longer a sphere. A similar scaling argument leads to a natural extension of Maldacena's celebrated ``AdS/CFT correspondence conjecture'' to this situation. The conformal field theories in question have less supersymmetry than the cases studied by Maldacena, with the amount being determined by the Killing spinors on the horizon manifold. An important mathematical tool is the relationship -- derived some years ago by C. Bär -- between Killing spinors on a manifold and covariantly constant spinors on the cone over that manifold.

We consider the ferromagnetic Ising model on a sequence of graphs $G_n$ converging locally weakly to a rooted random tree. Generalizing [Montanari, Mossel, and Sly (2012)], under an appropriate “continuity" property, we show that the Ising measures on these graphs converge locally weakly to a measure, which is obtained by first picking a random tree, and then the symmetric mixture of Ising measures with + and - boundary conditions on that tree. Under the extra assumptions that $G_n$ are edge-expanders, we show that the local weak limit of the Ising measures conditioned on positive magnetization, is the Ising measure with + boundary condition on the limiting tree. The “continuity" property holds except possibly for countably many choices of $\beta$, which for limiting trees of minimum degree at least three, are all within certain explicitly specified compact interval. We further show the edge-expander property for (most of) the configuration model graphs corresponding to limiting (multi-type) Galton Watson trees. This talk is based on a joint work with Amir Dembo.

Genetic intratumoral heterogeneity is a natural consequence of imperfect DNA replication. Any two randomly selected cells, whether normal or cancerous, are therefore genetically different. I will discuss the extent of genetic heterogeneity within untreated cancers with particular regard to its clinical relevance. While genomic heterogeneity within primary tumors is associated with relapse, heterogeneity among treatment‑naïve metastases has not been comprehensively assessed. We analyzed sequencing data for 76 untreated metastases from 20 patients and inferred cancer phylogenies for breast, colorectal, endometrial, gastric, lung, melanoma, pancreatic, and prostate cancers. We found that within individual patients a large majority of driver gene mutations are common to all metastases. Further analysis revealed that the driver gene mutations that were not shared by all metastases are unlikely to have functional consequences. A mathematical model of tumor evolution and metastasis formation provides an explanation for the observed driver gene homogeneity. Last, we found that individual metastatic lesions responded concordantly to targeted therapies in 91% of 44 patients. These data indicate that the cells within the primary tumors that gave rise to metastases are genetically homogeneous with respect to functional driver gene mutations and suggest that future efforts to develop combination therapies have the capacity to be curative.

In vertebrates, ovulation is triggered by a surge of luteinizing hormone (LH) from the pituitary. The precise mechanism by which rising estradiol (E2) from the ovaries initiates the LH surge in the human menstrual cycle remains a mystery. The mystery is due in part to the bimodal nature of estradiol feedback action on LH secretion, and in part to disagreement over the site of the feedback action.

We will describe a differential equations model in which the mysterious bimodality of estradiol action arises from the electrical connectivity of a network of folliculo-stellate cells in the pituitary. The mathematical model is based as closely as possible on current experimental data, and is being used to design and conduct new experiments. No biological background will be assumed.

We introduce a technique, based on perturbation theory for Hamiltonian PDEs, to derive the asymptotic equations of the motion of a free surface of a fluid over a rough bottom (one dimension). The rough bottom is described by a realization of a stationary mixing process which varies on short length scales. We show that the problem in this case does not fully homogenize, and random effects are as important as dispersive and nonlinear phenomena in the scaling regime. We will explain how these technique can be generalized to higher dimensions

Higher theta functions are the residues of Eisenstein series on covers of the adelic points of classical groups. On the one hand, they generalize the Jacobi theta function. On the other, their Whittaker-Fourier coefficients are not understood, even for covers of $GL_2$. In this talk I explain how, using methods of descent, one may establish a series of relations between the coefficients of theta functions on different groups. In the first instance, this allows us to prove a version of Patterson's famous conjecture relating the Fourier coefficient of the biquadratic theta function to quartic Gauss sums. This is based on joint work with David Ginzburg.

The resolution of Hilbert's tenth problem yields the following unsolvability result: there is no algorithm for determining whether or not a given polynomial equation p(x_1,...,x_n) = 0 with integer coefficients will admit an integer solution. After a few definitions and examples, I will discuss another well-known unsolvable problem: the word problem for finitely presented groups. It can be shown that there is no algorithm for determining when an arbitrary word in a finitely presented group is trivial. This has many remarkable topological consequences, including the result that there is no algorithm that will determine when two given manifolds are homeomorphic (provided the dimension is at least four). The unsolvability theorem also has significant geometric applications, allowing one to prove that certain manifolds admit an infinite number of contractible closed geodesics (regardless of the Riemannian structure).

Coupling is a way of constructing Markov processes with prescribed laws on the same space. The coupling is called Markovian if the coupled processes are co-adapted to the same filtration. We will first investigate Markovian couplings of elliptic diffusions and demonstrate how the rate of coupling (how fast you can make the coupled processes meet) is intimately connected to the geometry of the underlying space. Next, we will consider couplings of hypoelliptic diffusions (diffusions driven by vector fields whose Lie algebra span the whole tangent space). Constructing successful couplings (where the coupled processes meet almost surely) for these diffusions is a much more subtle question as these require simultaneous successful coupling of the driving Brownian motions as well as a collection of their path functionals. We will construct successful Markovian couplings for a large class of hypoelliptic diffusions. We will also investigate non-Markovian couplings for some hypoelliptic diffusions, namely the Kolmogorov diffusion and Brownian motion on the Heisenberg group, and demonstrate how these couplings yield sharp estimates for the total variation distance between the laws of the coupled diffusions when Markovian couplings fail. Furthermore, we will demonstrate how non-Markovian couplings can be used to furnish purely analytic gradient estimates of harmonic functions on the Heisenberg group by purely probabilistic means, providing yet another strong link between probability and geometric analysis. This talk is based on joint works with Wilfrid Kendall, Maria Gordina and Phanuel Mariano.

Shnirelman discovered in the 1970s that the eigenfunctions of the Laplacian on a compact Riemannian manifold whose flow is ergodic with respect to Liouville measure exhibit an analogue of classical ergodicity at the quantum level. This phenomenon became known as "Quantum Ergodicity" and Schnirelman's proof was completed by Zelditch and Colin de Verdiere in the 1980s. Following a brief introduction to the subject, I will show that Quantum Ergodicity can also hold in systems which are essentially integrable, provided they have some arithmetic structure. Finally, in the absence of such an arithmetic structure, a very different phenomenon occurs: scarring. This talk is based on joint work with Par Kurlberg, KTH Stockholm.

Renal autoregulation stabilizes kidney functions and provides protection against blood pressure fluctuations. Autoregulation is mediated by two mechanisms: the *myogenic response,* where increased blood pressure elicits vascular constriction, and *tubuloglomerular feedback,* where salt excretion is balanced by adjustments of filtration rate. Coupling of the two mechanisms give rise to complex behaviours that are challenging to analyse. In the talk, I will describe a mathematical model of renal autoregulation, which represents both mechanisms and thus can be used to study the interactions developed among them. I will provide the necessary physiological background, and I will focus on the mathematical formulation of the involved processes. The talk will be accessible to everyone with basic understanding of differential equations.

In this talk, I will show that the limiting Khovanov chain complex of any infinite positive braid categorifies the Jones-Wenzl projector, extending Lev Rozansky's work with infinite torus braids. I will also show a similar result for the limiting Lipshitz-Sarkar-Khovanov homotopy types of the closures of such braids. Extensions to more general infinite braids will also be considered. This is joint work with Gabriel Islambouli.

The chemotaxis network of bacteria such as E. coli is remarkable for its sensitivity to minute relative changes in chemical concentrations in the environment. Indeed, E. coli cells can detect concentration changes corresponding to only ~3 molecules in the volume of a cell. Much of this acute sensitivity can be traced to the collective behavior of teams of chemoreceptors on the cell surface. Instead of receptors switching individually between active and inactive configurations, teams of 6-20 receptors switch on and off, and bind or unbind ligand, collectively. Similar to the binding and unbinding of oxygen molecules by tetramers of hemoglobin, the result is a sigmoidal binding curve. Coupled with a system for adaptation that tunes the operating point to the steep region of this sigmoidal curve, the advantage for chemotaxis is gain – i.e., small relative changes in chemical concentrations are transduced into large relative changes in signaling activity (specifically, the rate of phosphorylation of the response regulator CheY).  However, something is troubling about this simple explanation: in addition to providing gain, the coupling of receptors into teams also increases noise, and the net result is a decrease in the signal-to-noise ratio of the network. Why then are chemoreceptors observed to form cooperative teams? We present a novel hypothesis that the run-and-tumble chemotactic strategy of bacteria leads to a “noise threshold”, below which noise does not significantly decrease chemotactic velocity, but above which noise dramatically decreases this velocity.

This talk will be geared toward first and second year grad students and/or anyone with limited geometry experience. We will discuss the idea of curvature for curves and surfaces and the notion of "best metrics." The classical Uniformization Theorem will be introduced from a modern angle: Ricci flow. This will motivate studying the Ricci flow in dimension 3 as a tool to understand topology in terms of geometry. Time permitting, we will finish by discussing the Geometrization Theorem.

It was noticed experimentally in the late 90's that the speeds of traveling fronts in microscopic systems approximating the KPP equation converge unusually slowly to their continuum values. Brunet and Derrida made a very precise conjecture for the basic model equation, which is the KPP equation perturbed by white noise. We will explain the conjecture and sketch the main ideas of the proof. This is joint work with Carl Mueller and Leonid Mytnik.

I will present a natural method for producing unstable critical points of the Ginzburg-Landau functionals on an arbitrary manifold, and describe results showing that a nontrivial portion of the energy must concentrate on a generalized minimal submanifold of codimension two.

We will give an explicit construction of the regular quotient of Morrissey-Ngô in the case of a symmetric pair. In the case of a quasisplit form (i.e. the regular centralizer group scheme is abelian), we will give a Galois description of the regular centralizer group scheme using parabolic covers. We will then describe how the nonseparated structure of the regular quotient recovers the spectral description of Hitchin fibers given by Schapostnik for U(n,n) Higgs bundles. This work is joint with B. Morrissey.

Work over the past few years by Mark Gross, Ilya Zharkov, and Wei-Dong Ruan has led to a clear conjectural picture for the structure of generic supersymmetric T^3 fibrations on Calabi-Yau threefolds. We will explain this picture, show how mirror symmetry would be a natural consequence of it, and discuss other possible applications.