We incorporate the Poisson--Boltzmann (PB) theory of electrostatics into the variational implicit-solvent model (VISM) for the solvation of charged molecules in an aqueous solvent. The principle of VISM is to determine equilibrium solute-solvent interfaces and estimate the molecular solvation free energies by minimizing a mean-field free-energy functional of all possible solute-solvent interfaces. The functional consists mainly of solute-solvent interfacial energy, solute-solvent van der Waals interaction energy, and electrostatic energy. We develop highly accurate numerical methods for solving the dielectric PB equation and for computing the dielectric boundary force. These methods are integrated into a robust level-set method for numerically minimizing the VISM functional. We test and apply our level-set VISM with PB theory to the solvation of some single ions, two charged particles, and two charged plates, and to the solvation of the host-guest system Cucurbit[7]uril and Bicyclo[2.2.2]octane. Our computational results show that VISM with PB theory can capture well the sensitive response of capillary evaporation to the charge in hydrophobic confinement and the polymodal hydration behavior, and can provide accurate estimates of binding affinity of the host-guest system. We also discuss several issues for further improvement of VISM. This is a joint work with Li-Tien Cheng, Joachim Dzubiella, Bo Li, and J. Andrew McCammon.

From Demaratus and Histiaeus to Ceasar, from
Mary Queen of Scots to Hitler, cryptography has played
an important role in world history.
Substitution, transposition and polyalphabetic ciphers,
and the famous Enigma machine will be discussed.
We will finish with personal experiences working outside of academia.

Algebraic K-theory is a deep and subtle invariant of rings and schemes, carrying information about arithmetic and geometry. When applied to the group ring of the loop space of a manifold, it captures information about the diffeomorphism group. Over the past 25 years, the study of algebraic K-theory has been revolutionized by the introduction of trace methods, which use trace (or Chern character) maps to the simpler but related theories of (topological) cyclic and Hochschild homology.

A unifying perspective on the properties of algebraic K-theory and these related theories is afforded by viewing the input as a category of compact modules (i.e., a piece of an enhanced triangulated category). This talk will survey recent work describing the structural properties of these theories using various models of the homotopical category of module categories.

Natural images tend to be compressible, i.e., the amount of information needed to encode an image is small. This conciseness of information -- in other words, low dimensionality of the signal -- is found throughout a plethora of applications ranging from MRI to quantum state tomography. It is natural to ask: can the number of measurements needed to determine a signal be comparable with the information content? We explore this question under modern models of low-dimensionality and measurement acquisition.

A conjecture of Debarre predicts that the only subvarieties of ppav with minimal cohomology class are Brill-Noether loci in Jacobians and the Fano surface of line in the intermediate Jacobian of a cubic three fold. We present a work in progress with Luigi Lombardi in which we made some progress toward the conjecture. In particular we give a generalization to higher dimension of Matsusaka-Ran criterion.

We study some problems relating to polynomials evaluated
either at random Gaussian or random Bernoulli inputs. We present a
structure theorem for degree-d polynomials with Gaussian
inputs. In particular, if p is a given degree-d polynomial, then p
can be written in terms of some bounded number of other polynomials
$q_1,...,q_m$ so that the joint probability density function of
$q_1(G),...,q_m(G)$ is close to being bounded. This says essentially
that any abnormalities in the distribution of $p(G)$ can be explained by
the way in which p decomposes into the $q_i$. We then present some
applications of this result.

I will present some new results on classical and quantum integrable systems, emphasizing the interactions between symplectic geometry and spectral theory. I will also briefly describe some recent advances in the study of invariants in symplectic geometry.

In this talk I will present results on a stochastic model of spatial evolution on a lattice, motivated by the process of carcinogenesis (or cancer initiation) from healthy epithelial tissue. Cancer often arises through a sequence of genetic alterations or mutations. Each of these alterations may confer a fitness advantage to the cell, resulting in a clonal expansion. To model this we will consider a generalization of the biased voter process which incorporates successive mutations modulating fitness. Under this model we will investigate a possible mechanism for the phenomenon of ``field cancerization," which refers to the clinical observation that multiple independent primary tumors often arise in the same region of tissue. (joint work w/ K. Leder, M. Ryser, and R. Durrett)

In this talk we utilize a support vector machine feature selection
procedure via concave minimization to solve the well-known Disputed
Federalist Papers classification problem. First we find a separating
plane that classifies correctly all the training set consisting of
papers of known authorship, based on the relative frequencies of three
words only. Then, using this three-dimensional separating plane, all
of the 12 disputed papers ended up on one side of the separating
plane. Our result coincides with previous statistical and
combinatorial method results.

Cells are highly sophisticated information processing devices, sensing diverse inputs Abstract:to make complex decisions. Yet despite increasingly elegant ways to measure pathway outputs, we largely lack control over the inputs delivered to the cell in space and time. I will describe how optogenetic techniques can overcome this challenge to control the exact combinations, dynamics, and spatial locations of pathway activity in live cells. Applied to mammalian growth factor signaling, they revealed the Ras/Erk module accurately transmits a huge range of steady-state and dynamic signals to downstream response programs. A light-based screen uncovered many of these dynamics-sensitive responses, including a cell-cell communication circuit acting through IL-6 family cytokines.

Invariant theory is a beautiful field. The area dates back
over 100 years to the work of Hilbert, Klein, Gauss, and many others.
It is a very active area of research today, particularly from the
viewpoint of algebraic geometry and combinatorics. It also has far
reaching applications in representation theory, coding theory,
mathematical modeling, and even air target recognition. (I just
happened to run across this last application on google and it will
*not* be explained.)

In this talk, I aim to illustrate the beauty of Noncommutative
Invariant Theory. All basic notions will defined. Namely, I will
explain the noncommutative analogues of each of the following terms:
"groups", "acting on", "polynomial rings". I will also provide an
overview of recentwork pertaining to quantum group actions on
(noncommutative) regular algebras. The results discussed here are
from joint works with Kenneth Chan, Pavel Etingof, Ellen Kirkman,
Yanhua Wang, and James Zhang: see arXiv:math/1210.6432, 1211.6513,
1301.4161, 1303.7203.

We study Hodge theory for symplectic Laplacians on compact
symplectic manifolds with boundary. These Laplacians are novel as they
can be associated with symplectic cohomologies and be of fourth-order.
We prove various Hodge decompositions and use them to obtain the
isomorphisms between the cohomologies and the spaces of harmonic fields
with certain prescribed boundary conditions. In order to establish
Hodge theory in the non-vanishing boundary case, we are required to
introduce new concepts such as the J!Dirichlet boundary condition and
the J!Neumann boundary condition. When the boundary is of contact
type, these conditions are closely related to the Reeb vector field.
Another application of our results is to solve boundary value problems
of differential forms.

An isogeny graph is a graph whose vertices are principally polarized
abelian varieties and whose edges are isogenies between these varieties. In
his thesis, Kohel described the structure of isogeny graphs for elliptic
curves and showed that one may compute the endomorphism ring of an elliptic
curve defined over a finite field by using a depth first search algorithm
in the graph. In dimension 2, the structure of isogeny graphs is less understood and existing algorithms for computing endomorphism rings are very expensive.
We fully describe the isogeny graphs between genus 2 jacobians with complex multiplication,
with the assumptions that the real multiplication subring is maximal and
has class number one. We derive a depth first search algorithm for computing endomorphism rings locally at prime numbers,
if the real multiplication is maximal. To the best of our knowledge, this is the first DFS-based algorithm in genus 2. (Joint work with Emmanuel Thomé).

I'll present an assortment of quantum phenomena that are actually quite easy to understand mathematically. I will provide the necessary background.

In biomolecular and colloidal systems, the dielectric environment often depends on the local ionic concentrations. Recent experiments and molecular dynamics simulations have revealed quantitatively such dependence, and indicated that the electrostatic interaction in a system with such a dependence can be significantly different from that predicted by theories assuming a uniform dielectric constant. In this work, we develop a mean-field model for the electrostatic interactions with ionic concentration-dependent dielectrics. We minimize the electrostatic free energy of ionic concentrations using Poisson's equation with a concentration-dependent dielectric coefficient to determine the electrostatic potential. Our analysis leads to the the corresponding generalized Boltzmann distributions of the equilibrium ionic concentrations that is quite different from the usual ones with a uniform dielectric constant We show by constructing an example that the free-energy functional is in fact nonconvex. This implies the existence of multiple local minimizers, a property that can be of physical significance. By numerical computations using our continuum model, we find many interesting phenomena such as the non-monotone ionic concentration profile near a charged surface, and the unusual shift of concentration peak due to the increase of surface charge density. It is clear that the effect of local dielectrics has a significant impact on the system and our models and results have potential applications to large biological systems. This is joint work with Bo Li and Shenggao Zhou.

We prove asymptotic stability of shear flows close to the planar, periodic Couette flow in the 2D incompressible Euler equations. That is, given an initial perturbation of the Couette flow small in a suitable regularity class, specifically Gevrey space of class smaller than 2, the velocity converges strongly in L2 to a shear flow which is also close to the Couette flow. The vorticity is asymptotically mixed to small scales by an almost linear evolution and in general enstrophy is lost in the weak limit. Joint work with Nader Masmoudi. The strong convergence of the velocity field is sometimes referred to as inviscid damping, due to the relationship with Landau damping in the Vlasov equations. Recent work with Nader Masmoudi and Clement Mouhot on Landau damping may also be discussed.

Can we describe complex behaviors of living systems, arising from millions of intracellular and intercellular interactions, in simple mathematical models without dizzying number of parameters? For two examples, I combine simple models and experiments to show that this is possible. First, I reduce the complexity of yeast cell's growth from food (glucose) consumption to a phenomenological model with two parameters - Cell's perception of and uptake rate of glucose. Second, I show that a cell tunes how much it "talks" to itself versus to its neighbors by secreting and sensing just one signaling molecule. Encoding who talks to whom, a population of "secrete-and-sense cell" realizes a rich repertoire of complex behaviors.

Compressed sensing is a signal acquisition paradigm that utilizes the sparsity of a signal (a vector in $R^N$ with $s << N$ non-zero entries ) to efficiently reconstruct it from very few (say n, $s < n << N$) generalized linear measurements. These measurements often take the form of inner products with random vectors drawn from appropriate distributions, and the reconstruction is typically done using convex optimization algorithms or computationally efficient greedy algorithms.
In this talk we cover some recent results in compressed sensing and related areas where the signal acquisition is also done via such generalized linear measurements. We discuss signal recovery from compressed sensing measurements using weighted $\ell_1$ minimization, when erroneous support information is available. We provide reconstruction guarantees that hold with high probability and improve on the standard results, provided the support information is accurate enough. TIme permitting, we also discuss some recent results on the digitization of generalized linear measurements, including compressed sensing measurements.

During embryonic development, an entire organism is generated from a single cell. Genetics and biochemistry have identified developmental signaling pathways, however, how embryonic patterns emerge in space and time remains more obscure. I will discuss our work using a combination of live‐cell imaging, microfluidics, micropatterning, and mathematical modeling to investigate spatial and temporal aspects of embryonic patterning by the TGF‐β signaling pathway, a key morphogen during all phases of development. Our work reveals novel dynamic properties of the pathway and their implications for embryonic development and establishes human embryonic stem cells as a promising system for studying self‐organized patterning quantitatively.

We consider the Einstein constraint equations on an n-dimensional, asymptotically Euclidean manifold M with boundary. By leveraging both our own recent recent work as well as the work of some of our collaborators, we show that far-fromCMC and near-CMC solutions exist to the conformal formulation of the Einstein constraints when Robin-type marginally trapped surface boundary conditions are imposed to ensure that expansion scalars along null geodesics perpendicular to the boundary region are non-positive. Therefore, assuming a suitable form of weak cosmic censorship, the results we develop in this article provide a method to construct initial data that will evolve into a space-time containing an arbitrary number of black holes. A particularly important feature of our results are the minimal restrictions we place on the mean curvature, giving both near- and far-from-CMC results that are new.

Let $E/\mathbb{Q}$ be an elliptic curve with full 2-torsion over
$\mathbb{Q}$. We
wish to study the distribution of the ranks of the 2-Selmer groups of
twists of $E$ as we vary the twist parameter. A recent result of
Swinnerton-Dyer shows that if $E$ has no cyclic 4-isogeny defined over
$\mathbb{Q}$, then the density of twists with given rank approaches a
particular
distribution. Unfortunately Swinnerton-Dyer used an unusual notion of
density essentially given as the number of primes dividing the twist
parameter goes to infinity. We extend this result to cover density in
the natural sense.

Spectral graph theory involves the study of graph properties
that are related to the eigenvalues of various matrices, such as the
adjacency matrix, the combinatorial Laplacian, and the normalized
Laplacian. We will also discuss connection graphs, which are weighted
simple graphs for which each edge is associated with a rotation matrix.
Connection graphs have been studied recently in a variety of areas that
involve high dimensional data sets. We will describe higher dimensional
versions of the adjacency, Laplacian, and normalized Laplacian matrices,
and what their eigenvalues tell us about the connection graph.

The vertebrate segmentation clock is a gene expression oscillator controlling segmentation of the vertebral column. Oscillatory Hes/Her family genes create a transcriptional negative feedback loop. We developed a stochastic two-dimensional computational model that successfully reproduces how the period, amplitude and synchronization of the segmentation clock are regulated in different genetic backgrounds. We validated the major predictions of our model by quantifying rapid degradation of Her7 protein and spatially-increasing gradient of translational time-delay of Her1 protein in zebrafish embryos. We further demonstrated that expression of oscillating genes are activated by Notch and Wnt but repressed by RA signaling.

We propose a variable metric framework for minimizing the sum of a self-concordant function and a possibly non-smooth convex function endowed with a computable proximal operator. We theoretically establish the convergence of our framework without relying on the usual Lipschitz gradient assumption on the smooth part. An important highlight of our work is a new set of analytic step-size selection and correction procedures based on the structure of the problem. We describe concrete algorithmic instances of our framework for several interesting large-scale applications, such as graph learning, Poisson regression with total variation regularization, and heteroscedastic LASSO.
Here is a link to the document that contains technical parts of the
presentation: http://arxiv.org/abs/1308.2867

Chemical reaction networks (CRNs) are used to model a variety of chemical and biological processes. A CRN may be viewed as a directed graph, whose nodes are chemical complexes and whose edges are chemical reactions. Wegscheider proposed, in 1901, the principle of detailed balance for chemical kinetics resulting from microscopic reversibility. In the deterministic setting of a dynamical system, the principle of detailed balance manifests as a set of conditions on the rate constants arising from the graphical structure of the CRN. When modeled as a Markov chain, a different graphical structure is associated with a CRN, one whose nodes are population numbers of the chemical species, and whose edges are transitions with non-zero probabilities. We show that the two notions -- Deterministic Detailed Balance (DDB) and Stochastic Detailed Balance (SDB) -- are intimately related, but not equivalent. In particular, DDB implies SDB, but the converse is not true. However, achieving SDB without DDB requires stringent conditions on the rate constants, that are rarely realized in practice. An important exception to this is a birth and death process, for which SDB always holds but DDB does not hold in general.

For each real quadratic order O, there is a Weierstrass curve W
in the Hilbert modular surface parametrizing Jacobians with real
multiplication by O. The curve W emerges from the study of billiards in
polygons and is important in Teichmuller theory because its natural
immersion into the moduli space of curves is isometric. Such an immersion
is called a Teichmuller curve.

We will present explicit algebraic models for Weierstrass curves obtained
by studying Hilbert modular forms. We will also present evidence from our
examples that suggest a rich arithmetic associated to Teichmuller curves.
This work is joint with A. Kumar.

This talk will be geared towards a general audience. Assuming only familiarity with p-adic numbers, we
will first discuss the local Langlands correspondence for GL(n), and explain why it's a wide-ranging generalization of local class field theory. Then we will follow Emerton and Helm in trying to extrapolate it to a correspondence between representations over more general local rings -- whereupon we reformulate the conjectural Ihara lemma
in this language. The latter is a big open problem for n>2, which occurred in work of Clozel, Harris, and Taylor, in their attempt to mimic the proof of Fermat's Last Theorem in the context of GL(n).

Finite element exterior calculus (FEEC) is a framework that allows for results proved on general differential complexes to be applied to a large class of mixed finite element problems. In earlier work, using this framework, we introduced a convergence and optimality result for a class of adaptive mixed finite element problems posed on polygonal domains. In this talk we discuss the extension of these results to problems on Euclidean hypersurfaces. More specifically, we introduce a method and prove rates of convergence for problems posed on surfaces implicitly represented by level-sets of smooth functions.

Speed, resolution, photo damage, and penetration depth are crucial for almost every application of microscopy in biological research. Exciting new techniques like localization microscopy, structured illumination microscopy, and light-sheet microscopy enable faster, gentler, higher-resolution imaging that was once thought impossible. However, these techniques typically involve tradeoffs; for example, structured illumination microscopy sacrifices speed and penetration depth to achieve high resolution. I'll describe improved optical and computational approaches to localization microscopy, structured illumination microscopy, and light-sheet microscopy which eliminate these drawbacks, creating viable replacements for the current generation of conventional microscopes.

We study the global pointwise decay properties of solutions to the linear wave equation in 3+1 dimensions on a family time-dependent, non-trapping, radiating space-times. Assuming a local energy decay estimate we prove that sufficiently regular solutions to this equation satisfy a conformal energy estimate and higher order conformal energy estimate with one vector field. As an application we establish a global pointwise decay estimate in terms of a weighted norm on initial data.

I will discuss the problem of stability of pluricanonical maps of varieties of positive Kodaira dimension. Even though it is a very natural question, few results are known. I will show how some particular cases of this problem are related to an old conjecture of Fujita, usually called log spectrum conjecture. Roughly speaking, it says that the set of pseudo-effective thresholds of polarized pairs has only accumulation points from below. I will explain a proof of this conjecture using recent results in the minimal model program due to Hacon, McKernan and Xu.

The problem of retrieving phase information from amplitude measurements alone has appeared in many scientific disciplines over the last century. PhaseLift is a recently introduced algorithm for phase recovery that is computationally efficient, numerically stable, and comes with rigorous performance guarantees. PhaseLift is optimal in the sense that the number of amplitude measurements required for phase reconstruction scales linearly with the dimension of the signal. However, it specifically demands Gaussian random measurement vectors - a limitation that restricts practical utility and obscures the specific properties of measurement ensembles that enable phase retrieval. Here we present a partial derandomization of PhaseLift that only requires sampling from certain polynomial size vector configurations, called t-designs. Such configurations have been studied in algebraic combinatorics, coding theory, and quantum information. We prove reconstruction guarantees for a number of measurements that depends on the degree t of the design. If the degree is allowed to to grow logarithmically with the dimension, the bounds become tight up to polylog-factors. Beyond the specific case of PhaseLift, this work highlights the utility of spherical designs for the derandomization of data recovery schemes.

In this talk we discuss closed self adjoint extensions of the Laplacian and fractional Laplacian on $L^2$ of Euclidean space minus the origin. In many cases there is a one parameter family of these operators that behave like the original operator plus a potential at the origin. Using these operators, we can construct polymer measures which exhibit interesting phase transitions from an extended state to a bound state where the pinning at the origin due to the potential takes over. The talk is based on joint works with Koralov, Molchanov, Squartini and Vainberg.

I am going to present some dispersive estimates for Schroedinger's equation with random time-dependent potential and their applications. This is joint work with Juerg Froehlich and Avy Soffer.

A challenge for the field of computational biophysics is to develop approaches that bridge across the disparate time and length scales sampled within different simulation regimes. Methods for combining the speed of rigid-body Brownian dynamics (BD) simulations with the precision of all-atom molecular dynamics (MD) simulations using a Markov state model (MSM) attempt to improve estimates of binding kinetics. We seek to use MSMs to alleviate the computational burden imposed by long time processes by partitioning conformational space into manageable pieces, simulating them in parallel, and then combining the resulting statistics using the MSMs to yield meaningful information.

This talk will be a report of joint work in progress with V.V. Shokurov. The subject of our study is birational geometry of threefold conic bundles. The talk will explain a notion of minimality for a standard conic bundle and explore the geometry of a certain class of conic bundles, called tetragonal conic bundles.

We state the Yamabe conjecture and briefly review the techniques that have been used to study the Yamabe problem on Riemannian manifolds with smooth metrics. We review some of the basic tools from functional analysis and the theory of partial differential equations for studying the problem in the case of manifolds with non-smooth metrics. In particular, we will discuss some important results related to the Yamabe problem for closed manifolds and asymptotically Euclidean manifolds with rough metrics.

The talk pertains to linear time invariant systems of ODE. The standard engineering approach for the last 20 years has been to convert these problems to matrix inequalities. These consist of polynomials in matrices and one must find (by numerical computation) choices of matrices which make the polynomial positive definite. The trouble is polynomials which are easily produced from your system problem, by turn the crank methods, are horrible. The Holy Grail is to somehow convert your system of polynomial matrix inequalities to Linear Matrix Inequalities, LMI. There are many LMI solvers and LMIs are certainly convex.

The talk concerns the converse: which convex problems give LMIs? The focus is on this rather than the systems engineering context.

Next comes, the issue of converting a problem to a convex one. This is daunting and requires some new kind of noncommutative (free) real algebraic geometry, and will be a long time in coming, but there has been serious progress in the last 10 years.

Let C be a hyperelliptic curve defined over the rational numbers, and consider the set S of all squarefree integers d such that the quadratic twist of C by d has a rational point. In this talk we will discuss the question of whether, given a prime number p, the set S contains representatives from all congruence classes modulo p. When C has genus 0 this question can be answered using elementary number theory, but for higher genera it seems to require the use of big conjectures in arithmetic geometry.

Given an algebraic variety X over a field F (e.g. number fields,
function fields), a natural question is whether the set of rational points
X(F) is non-empty. And if it is non-empty, how many rational points are
there? In particular, are they Zariski dense? Do they satisfy weak
approximation? For cubic hypersurfaces defined over the function field of a
complex curve, we know the existence of rational points by Tsen' s theorem
or the Graber-Harris-Starr theorem. In this talk, I will discuss the weak
approximation property of such hypersurfaces.

We continue presenting examples of how FEEC recasts problems into a more
geometric form, and describe extension of the method to hyperbolic problems,
by, specifically, application of FEEC to solving the wave equation and
Maxwell's equations. We describe a choice of discretization (Whitney forms) and
possible generalizations and their issues.

A famous theorem of Tate implies that two smooth projective
curves over a finite field have the same zeta function if and only if
their Jacobians are isogenous (in particular, the curves needn't be
isomorphic). We prove that two smooth projective curves are
isomorphic (up to automorphisms of the ground field) if and only
if certain associated dynamical systems (arising from class field theory)
are topologically conjugate. This is in turn equivalent to an equality
of all Dirichlet L-series of the curves via a group isomorphism between
the groups of linear characters of their absolute Galois groups.

he dynamics of a flexible filament sedimenting in a viscous fluid are explored analytically and numerically. Compared with the well-studied case of sedimenting rigid rods, the introduction of filament compliance is shown to cause a significant alteration in the long-time sedimentation orientation and filament geometry. A model is developed by balancing viscous, elastic and gravitational forces in a slender-body theory for zero-Reynolds-number flows, and the filament dynamics are characterized by a dimensionless elasto-gravitation number. In the weakly flexible regime, a multiple-scale asymptotic expansion is used to obtain expressions for filament translations, rotations and shapes which match excellently with full numerical simulations. Furthermore, we show that trajectories of sedimenting flexible filaments, unlike their rigid counterparts, are restricted to a cloud whose envelope is determined by the elasto-gravitation number. In the highly flexible regime we show that a filament sedimenting along its long axis is susceptible to a buckling instability. A linear stability analysis provides a dispersion relation, illustrating clearly the competing effects of the compressive stress and the restoring elastic force in the buckling process. Finally, we incorporate the effect of flexibility on the dynamics of a suspension of such filaments using a mean-filed model. A dilute suspension of rigid rods settling under gravity is itself unstable to density fluctuations as a result of hydrodynamic interactions; we show that introducing filament flexibility has opposing effects on this concentration instability. On the one hand, the flexibility-induced reorientation establishes a base state that is more prone to instability, while on the other hand reorientation reduces particle aggregation thereby leading to stabilization.

I will show how to find uniform finiteness results for
certain diophantine equations in terms of the Laplace spectrum
of an associated graph. The method is to bound the "gonality"
of a curve (minimal degree of a map onto a line) by the
"stable gonality" of an associated stable reduction graph,
and then to bound this stable gonality of the graph
(some kind of minimal degree of a map to a tree) in terms
of spectral data. The latter bound is a graph theoretical
analogue of a famous inequality of Li and Yau in differential
geometry. An example of an application is to bound the degree
of the modular parametrisation of elliptic curves over
function fields. (Joint work with Fumiharu Kato and Janne Kool.)

In this talk I will present some recent rigidity results for the von Neumann algebras associated with actions of braid groups. We will show that any free ergodic pmp action of the central quotient of the braid group with at least five strands on a probability space is virtually W*-superrigid; this means that any such action can be (almost) completely reconstructed from its von Neumann algebra. The proof uses a dichotomy theorem of Popa-Vaes for normalizers inside crossed products by free
groups in combination with a OE-superrigidity theorem of Kida for actions of mapping class groups.
Other structural results such as primeness or unique tensor factorisations for the von Neumann algebras associated with braid groups will also be discussed. This is based on an initial joint work with A. Ioana and Y. Kida and a subsequent joint work with F. Goodman and S. Pant.

It is known that the distribution of a random unitary matrix, under the heat kernel measure on the unitary group U(N), converges as N tends to infinity. I will discuss the convergence of the distribution of a random unitary matrix arising from a Levy process on the unitary group U(N). The approach is based on the Schur-Weyl duality, and we will see that the asymptotic distribution is closely related to the counting of certain paths in the symmetric group.

In 1975, Szemeredi proved that any set of integers of positive density must contain arbitrarily long arithmetic progressions. This result solved a 40 year old conjecture of Erdos and Turan. Furthermore, it was one of the main ingredients used by Green and Tao in their proof that the primes contain arbitrarily long arithmetic progressions. In this talk we will discuss the easiest case of Szemeredi's Theorem: arithmetic progressions of length 3.

The theory of \emph{supercharacters}, which generalizes classical character theory, was recently developed in an axiomatic fashion by P. Diaconis and I.M. Isaacs, based upon earlier work of C. Andre. When this machinery is applied to abelian groups, a wide variety of applications emerge. In particular, we develop
a generalization of the discrete Fourier transform along with several combinatorial tools. This perspective illuminates several classes of exponential sums (e.g., Gauss, Kloosterman, and Ramanujan sums) that are of interest in number theory. We also consider certain exponential sums that produce visually striking patterns of great
complexity and subtlety. (Partially supported by NSF Grants DMS-1265973, DMS-1001614, and the Fletcher Jones Foundation.)

The Riemann mapping theorem says that every simply connected proper plane domain can be conformally mapped to the unit disk. This result is over a 100 years old, but the study and computation of such maps is still an active area. In this talk, I will discuss the computational complexity of constructing a conformal map from the disk to an n-gon and show that it is linear in n, with a constant that depends only on the desired accuracy. As one might expect, the proof uses ideas from complex analysis, quasiconformal mappings and numerical analysis, but I will focus mostly on the surprising roles played by computational planar geometry and 3-dimensional hyperbolic geometry.

If time permits, I will discuss how this conformal mapping algorithm implies new results in discrete geometry, e.g., every simple polygon can be meshed in linear time using quadrilaterals with all new angles between 60 and 120 degrees. A closely related result states that any planar triangulation of n points can be refined by adding vertices and edges into a non-obtuse triangulation (no angles bigger than 90 degrees) in time $O(n^(5/2))$. No polynomial bound was previously known.

Questions like the Nagata conjecture seek to determine when certain zero dimensional schemes impose independent conditions on sections of a line bundle on a surface. Understanding analogous questions for vector bundles instead amounts to studying the birational geometry of moduli spaces of sheaves on a surface. We explain how to use higher-rank interpolation problems to compute the cone of effective divisors on any moduli space of sheaves on the plane. This is joint work with Izzet Coskun and Matthew Woolf.

The (higher order) Johnson homomorphism embeds the associated graded Lie algebra for the mapping class group of a once punctured surface into a certain Lie algebra. Calculating the image of the Johnson homomorphism is a challenging problem. Shigeyuki Morita was the first to define obstructions to lying in the image back in the 90s. More recently Enomoto and Satoh have defined a new series of obstructions, and work of Conant-Kassabov-Vogtmann has provided a rich family of obstructions, involving classical modular forms, stemming from the abelianization of the target Lie algebra. In this talk, I will present joint work with Martin Kassabov which simultaneously generalizes all of these obstructions, making use of an apparently new action of $Aut(F_n) on H^{\otimes n}$ for any cocommutative Hopf algebra H.

This talk compares local and global optimality conditions for multivariate polynomial optimization problems. First, we prove that the constraint qualification, strict complementarity and second order sufficiency conditions are all satisfied at each local minimizer, for generic cases. Second, we prove that if such optimality conditions hold at each global minimizer, then a global optimality certificate must be satisfied. Third, we show that Lasserre's hierarchy almost always has finite convergence in solving polynomial optimization under the archimedeanness.

We will talk about how a combinatorial approach to multiplying polynomials is useful in the study of Gromov-Witten invariants (constants arising in String Theory) and Macdonald coefficients (polynomials in 2 parameters tied to Representation Theory and Geometry). No background beyond undergraduate math is needed.

We will discuss a type of partial rigidity result for proper holomorphic mappings of certain $\ell$-concave domains in projective space into model quadratic $\ell$-concave domains. The main technical result is a degree estimate for proper holomorphic mappings into the model domains, provided that the mappings extend to projective space as rational mappings, and the source domain contains algebraic varieties and has a boundary with low CR complexity.

In their attempt to mimic the proof of Fermat's Last Theorem for GL(n), Clozel, Harris, and Taylor, were led to a conjectural analogue of Ihara's lemma -- which is still open for n>2. In this talk we will revisit their conjecture from a more modern point of view, and reformulate it in terms of local Langlands in families, as currently being developed by Emerton and Helm. At the end, we hope to sketch how this can be used to obtain a factorization of completed cohomology for U(2). [The last part is joint work with P. Chojecki.]

The (higher order) Johnson homomorphism embeds the associated graded Lie algebra for the mapping class group of a once punctured surface into a certain Lie algebra. Calculating the image of the Johnson homomorphism is a challenging problem. Shigeyuki Morita was the first to define obstructions to lying in the image back in the 90s. More recently Enomoto and Satoh have defined a new series of obstructions, and work of Conant-Kassabov-Vogtmann has provided a rich family of obstructions, involving classical modular forms, stemming from the abelianization of the target Lie algebra. In this talk, I will present joint work with Martin Kassabov which simultaneously generalizes all of these obstructions, making use of an apparently new action of $Aut(F_n) on H^{\otimes n}$ for any cocommutative Hopf algebra H.

(Joint work with A Tapay) We discuss a model for studying spontaneous phenomena in the 2d Euler equations for incompressible fluid flow. We tie the behavior of the model to the behavior of the actual Euler equations.

We describe toric varieties, some of the most delightful objects in algebraic geometry, as quotients of open subsets of affine space by reductive groups. Many explicit examples will be shown. Time permitting, we will explore the toric varieties package in SAGE.

Let F be a totally real number field, p a prime number, and M the (splitting model of) Hilbert modular variety for F (of some fixed level) defined over a finite field of characteristic p. I will explain how exploiting the geometry of M, and in particular the existence of the partial Hasse invariants, one can attach Galois representations to Hecke eigensystems occurring in the coherent cohomology of M. This is a joint work with Matthew Emerton and Davide Reduzzi.

The interface between protein solute and aqueous solvent exhibits complex geometries, and can undergo conformational changes by combined influences from electrostatic force, surface tension, and hydrodynamic force. Such a combined force on the interface can be calculated via an energy variation approach together with an addition of hydrodynamic interaction. In this talk we present the linear stability analysis for a cylindrical solute-solvent interface, where the linearization system can be solved analytically. The asymptotic dispersion relation satisfies a power law. Examples have been given that has long wave (in)stability and short wave stability. Bifurcation diagram with multiple steady states are captured in these examples. The role of each part (electrostatics, surface tension, hydrodynamics) in the dispersion relation has also been clarified.

We construct anticyclotomic p-adic L-functions of Hida families in a more controlled way using a multiplicity one result arising from arithmetic of Shimura curves. Using this construction, we can calculate the difference of Iwasawa invariants of p-adic L-functions of congruent modular forms in different weights. As an application, we can see the equivalence of the main conjectures of two congruent forms under certain conditions. This is joint work in progress with Francesc Castella and Matteo Longo.

The speaker will discuss the recent work(-in-progress) on unifying various mirror constructions of various authors, such as Batyrev-Borisov and Berglund-Hübsch-Krawitz. This talk hopes to focus on questions, conjectures, and examples involved in this more generalized framework.

I'll try to explain what TCFT is and what, if anything, it has to do with Jim Conant's work from the previous talks.

Two lines of attack in the spectral theory of n x n matrix polynomials of degree d will be outlined. The first is an algebraic approach based on the notion of isospectral linear systems in $C^dn$ (the linearizations) and the second on analysis of associated matrix-valued functions acting on $C^n$.

The first approach leads to canonical forms for real symmetric systems consisting of real matrix triples, and thence to canonical triples. Furthermore, for real selfadjoint systems we describe selfadjoint canonical triples of real matrices and illustrate their properties.

It turns out that, in this context, there is a fundamental orthogonality property associated with the spectrum. It will be shown how this can play a role in inverse (spectral) problems, i.e. constructing systems with prescribed spectral properties.

We establish global well-posedness and scattering for the cubic Dirac equation for small data in the critical space $H^1(\mathbb{R}^3)$. The main ingredient is obtaining a sharp end-point Strichartz estimate for the Klein-Gordon equation. In a classical sense this fails and it is related to the failure of the endpoint Strichartz estimate for the wave equation in space dimension three. We construct systems of coordinate frames in which endpoint Strichartz estimates are recovered and energy estimates are established.

The functor of p-typical Witt vectors is most well known for lifting perfect fields of characteristic p into complete discrete valuation rings. However, it is a well-defined functor on arbitrary rings; we will indicate how applying this functor to local rings of mixed characteristic gives some new perspectives on p-adic Hodge theory. We will also touch briefly upon some mysterious links to algebraic K-theory coming from the work of Hesselholt. Based on joint papers with Chris Davis (Copenhagen).

Let $C$ be a smooth irreducible projective curve. We can consider the Brill-Noether locus $B(2,\omega_C,r)$ of stable rank two vector bundles with canonical determinant and at least $r$ linearly independent sections on $C$. There is a complete description of $B(2,\omega_C,r)$ when $C$ has general moduli and genus $g\leq 12$. For higher genus several basic questions like non-emptyness, irreducibility, etc, are still open. The talk will focus in these questions and some conjectures.

Satisfaction and optimization problems subject to random constraints are a well-studied area in the theory of computation. These problems also arise naturally in combinatorics, in the study of sparse random graphs. While the values of limiting thresholds have been conjectured for many such models, few have been rigorously established. In this context we study the size of maximum independent sets in random d-regular graphs. We show that for d exceeding an absolute constant, there exist explicit constants (a,c) depending on d such that the maximum size has constant fluctuations around (an - c(log n)), establishing the one-step replica symmetry breaking heuristics developed by statistical physicists. As an application of our method we also prove an explicit satisfiability threshold in random regular k-NAE-SAT. This is joint work with Jian Ding and Allan Sly.

I'll present an assortment of non-associative algebras that are considered special, exceptional, or even magical. Necessary background will be provided.

Motivated by turbulence theories, we address the behavior in the infinite Reynolds number limit of invariant measures for the 2D stochastic Navier-Stokes equations. We prove that the limiting inviscid invariant measures are supported on bounded vorticity solutions of the 2D Euler equations. We also prove the that ergodic invariant measures for the fractionally damped stochastic 2D Euler equations are unique.

First, I will describe how our results (joint with Greither) on the Brumer-Stark conjecture lead to a new construction of Hecke characters for CM number fields, generalizing A. Weil's Jacobi sum Hecke characters. Second, I will show how the values of these characters can be used to construct special elements in the even
K-groups of CM and totally real number fields. Several applications ensue: a general construction of Euler Systems in the odd K-theory of CM and totally real number fields; a K-theoretic reformulation (and potential proof strategy) of a classical and wide open conjecture of Iwasawa on class groups of cyclotomic fields; potential new insights into Hilbert's 12th problem for CM number fields etc. Time permitting, I will touch upon some of these applications as well. This is based on joint work with G. Banaszak (Poland).

When each subject in a study provides a vector of numbers/features for analysis, and one wants to standardize, then for each coordinate of the resulting rectangular array one may subtract the mean by subject and divide by the standard deviation by subject. Each feature then has mean 0 and standard deviation 1. Data from expression arrays and protein arrays often come as such rectangular arrays, where typically column denotes "subject" and the other some measure of "gene". When analyzing these data one may ask that subjects and genes "be on the same footing". Thus, there may be a need to standardize across rows and columns of the matrix. We investigate the convergence of a successive approach to standardization, which we learned from colleague Bradley Efron. Limit matrices exist on a Borel set of full measure; these limits have row and column means 0, row and column standard deviations 1. We study implementation on simulated data and data that arose in cardiology. The procedure can be shown not to work with simultaneous standardization. Results make contact with previous work on large deviations of Lipschitz functions of Gaussian vectors and with von Neumann's algorithm for the distance between two closed, convex subsets of a Hilbert space. New insights regarding inference are enabled.

Efforts are joint with colleague Bala Rajaratnam and have been helped by conversations with many others.

We study how to solve semi-infinite polynomial programming (SIPP) problems by semidefinite relaxation method. We first introduce two SDP relaxation methods for solving polynomial optimization problems with finitely many constraints. Then we propose an exchange algorithm with SDP relaxations to solve SIPP problems with compact index set. At last, we extend the proposed method to SIPP problems with noncompact index set via homogenization. Numerical results show that the algorithm is efficient in practice.

A smooth complex projective surface X always has Picard number at most equal to the Hodge number $h^{1,1}$. If equality holds, we say that X has maximal Picard number. The known examples of such surfaces (recently surveyed by Beauville) are rare and sporadic. We try to explain this rarity by studying the Hodge structure of such a surface.

Agilent Technologies and the University of California San Diego are pleased to offer the first in a series of lectures by leading researchers in diverse, cutting-edge fields of biological science.

Traffic inside a cell is as complicated as rush hour near any metropolitan area. But drivers know how to follow the signs and roadways to reach their destinations. How do different cellular proteins "read" molecular signposts to find their way inside or outside of a cell? For the past three decades, Randy Schekman has been characterizing the traffic drivers that shuttle cellular proteins as they move in membrane-bound sacs, or vesicles, within a cell. His detailed elucidation of cellular travel patterns has provided fundamental knowledge about cells and has enhanced understanding of diseases that arise when bottlenecks impede some of the protein flow.

Sign up for this informative lecture today at: http://event.signup4.com/ucsd

In order to perform their functions, many cells must crawl through a complex environment, including neighboring cells and a confining extracellular matrix. This environment can modify their behavior. I will show that simple physical models can describe a wide variety of these complex cell motions, including collective rotations of confined cells, anomalously large persistence of cells in microchannels, and
turning instabilities in crawling cells. These models, which link cell shape, polarity (an internal cell compass), and physical forces, show how different environments (and a few other factors) can lead to distinct types of cell motility.

Studying Lie superalgebras and supergroups was initially motivated by applications in physics. In the recent years interesting connections with other branches of mathematics were discovered. The goal of the talk is to review some of these results.

I start with describing four series of algebraic supergroups, which are natural generalizations of general linear, orthogonal and symplectic groups. We shall see different superanalogues of Schur-- Weyl duality, which reveal connections with universal tensor categories constructed by Deligne. Then we discuss geometric methods in representation theory of algebraic supergroups: associated variety and Borel-Weil-Bott theory. Finally, I will talk about categorification and weight diagram technique and try to explain how they can be used for calculating the characters of irreducible representations of classical supergroups.

I will briefly review the material covered in last week's lecture (May 1) and will continue with a more detailed description of the K-theoretic constructions and their arithmetic applications mentioned in last week's abstract. Joint work with G.
Banaszak (Poland.)

It is a mystery which groups can occur as fundamental groups of smooth complex projective varieties. It is conceivable that whenever the fundamental group is infinite, the variety has some "negative curvature" properties. We discuss a result in this direction, in terms of "symmetric differentials". There are interesting open questions even about the special case of compact quotients of the unit ball in $C^n$. (Joint work with Yohan Brunebarbe and Bruno Klingler.)

Semidefinite Programming (SDP) is the problem of optimizing a linear objective function of a symmetric matrix variable, with the requirement that the variable also be positive semidefinite. Duality theory is a central concept in SDP, just like it is in linear programming. However, in SDP pathological phenomena occur, such as nonattainment of the optimal values, and positive gaps.

This research was motivated by the curious similarity of pathological SDPs that appear in the literature.

We give exact characterizations of when a semidefinite system is badly behaved from the standpoint of duality, and show that "all bad semidefinite programs look the same", as they are characterized by the presence of certain excluded matrices.

We find certain combinatorial characterizations: we prove that all badly behaved semidefinite systems can be brought to a certain standard form, on which it is trivial to recognize their bad behavior, using only elementary linear algebra, without referring to any theorem. We prove analogous results for well-behaved systems, which are not badly behaved.

As a byproduct, we present an algorithm to generate all well behaved systems; in particular, we present a method to generate all linear maps under which the image of the cone of psd matrices is closed.

A theorem of Whitehead asserts that the topological 2-type of a (connected) space is uniquely characterised by the triple ($\pi_1, \pi_2, k_3$), where the
$\pi_i, i\leq 2$ are the homotopy groups $\pi_i, i\leq 2, k_3$ is the Postnikov class
$\in H^3$($pi_1, \pi_2$), and, indeed all such triples may be realised. Such triples
are synonymous with a 2-group, $\Pi_2$, i.e. a group `object' in the category of categories, which plays the same role for 2-types as the fundamental group does
for 1-types. In particular, there is a 2-Galois correspondence between the
2-category of champs which are etale fibrations over a space and $\Pi_2$
equivariant groupoids generalising the usual 1-Galois correspondence between spaces which are etale fibrations over a given space and $\pi_1$ equivariant sets. The talk will explain the pro-finite analogue of this correspondence, so, albeit only for the 2-type, a much simpler and more generally valid description of the etale homotopy than that of Artin-Mazur.

I will present joint work with Mark Berman, Uri Onn, and Pirita Paajanen showing that given a Chevalley group, for large p, the number of conjugacy classes of all the congruence quotients of the group of rational points over the valuation ring of a non-archimedean local field of residue characteristic p depends only on the cardinality of the residue field and not on the ring. This reduces to proving that the conjugacy class zeta function is motivic in the sense that it is given uniformly (across all local fields) by a formula of the model-theoretic language of Denef-Pas-Loeser for valued fields, and then to use a so-called motivic transfer principle.

I will then discuss an analogue of this question for the case of a global field and related issues in algebra and number theory.

Finally, I will discuss a related general perspective involving a model theory for adeles of a number field and a model theory for finite fields (joint works with Angus Macintyre).

In this talk I will describe an approach to questions about the relationship between causal sets and smooth Lorentzian geometries based on considering both types of structures as examples of partially ordered measure spaces. There is a natural definition of closeness between any two objects of this type. I will introduce this definition, describe some of its properties, and comment on its application to manifoldlike causal sets.

Evolution by natural selection can act at multiple biological levels, often in opposing directions. This is particularly the case for pathogen evolution, which occurs both within the host it infects and via transmission between hosts, and for the evolution of cooperative behavior, where individually advantageous strategies are disadvantageous at the group level. In mathematical terms, these are multiscale systems characterized by stochasticity at each scale. We show how a simple and natural formulation of this can be viewed as a measure-valued process. This equivalent process has very nice mathematical properties, namely it converges weakly to either the solution of an analytically tractable integro-partial differential equation or a Fleming-Viot process. We can then study properties of these limiting objects to infer general properties of multilevel selection.

Gradient steady Ricci solitons are potential singularity models for the Ricci flow. Also, they are natural generalizations of Ricci-flat manifolds, hence share many interesting properties. In this talk I'll present some $\epsilon$-rigidity results for noncompact Ricci-flat manifolds and the generalization to gradient steady Ricci solitons.

Mori fiber spaces (MFS) are one of the building blocks in the Minimal Model Program.
These are maps $X \to Y$ between normal varieties with nice singularities, such that $\dim Y <\dim X$,
$\rho(X/Y)=1$ and $-K_X$ is ample on every fiber. In particular, most fibers will be $Q$-Fano varieties.
Starting from classical results on the topology of fibrations, I will try to explain how the above conditions
place strong restrictions on what varieties can appear as fibers of MFS. I will give characterizations
for low-dimensional varities and explain what happens in the toric category. Moreover, we will show that
this question can be connected to the question of existence of Kaehler-Einstein metrics.
Joint work with G. Codogni, A. Fanelli, L. Tasin.

A symmetric matrix A is completely positive (CP) if there exists an entrywise nonnegative matrix B such that $A = BB^T$. We characterize the interior of the CP cone. We formulate the problem as linear optimizations with cones of moments. A semidefinite algorithm is proposed for checking interiors of the CP cone, and its properties are studied. A CP-decomposition of a matrix in Dickinson's form can be obtained if it is an interior of the CP cone. Some computational experiments are also presented.

Ozawa and Popa proved a unique factorization property for tensor products of free group factors. Roughly speaking, this means these tensor products "remember" each tensor component. In this seminar, we study similar factorization results for free quantum group factors. In the proof, we use a condition (AO) type phenomena for continuous cores of the tensor products, and prove first a weak factorization property on the cores. Then we deduce the desired property for the original tensor
products.

I will survey some recent combinatorial developments on the anti-concentration of random multilinear forms and provide some applications.

(Based on joint works with S. O'Rourke and V. Vu)

By using a simple method, we show that a random $\pm 1$ polynomial of degree n does not have double roots with probability tending to one (as $n$ tends to infinity). As a consequence, we deduce that the expected number of real roots is $(2/\pi)(\log n) + C + o(1)$ for some absolute constant $C$. The method extends to more general coefficient distributions. (Based on joint work with O. Nguyen and V. Vu)

A discrete group is said to be inner amenable if it admits an atomless mean which is invariant under conjugation. In this talk I will provide a satisfying characterization of inner amenability for linear groups over an arbitrary field. I will also discuss a complete characterization of linear groups which are stable in the sense of Jones and Schmidt. The analysis of stability leads to many new examples of (non-linear) stable groups; notably, all nontrivial countable subgroups of Monod's group H(R) are
stable. This includes nonamenable groups constructed by Monod and by Lodha
and Moore, as well as Thompson's group F.

We will discuss two graph coloring problems and some applications to extremal graph theory and combinatorial number theory.

It is desirable for the spectrum of a uniform Banach algebra to have a structure sheaf. This happens when the algebra is acyclic. We will discuss what it means for a uniform Banach algebra to be acyclic. I will explain how to show preperfectoid algebras are acyclic.

In this work, we further extend the recently developed adaptive data analysis method, the Sparse Time-Frequency Representation (STFR) method. This method is based on the assumption that many physical signals inherently contain AM-FM representations. We propose a sparse optimization method to extract the AM-FM representations of such signals. We prove the convergence of the method for periodic signals under certain assumptions and provide practical algorithms specifically for the non-periodic STFR, which extends the method to tackle problems that former STFR methods could not handle, including stability to noise and non-periodic data analysis. This is a significant improvement since many adaptive and non-adaptive signal processing methods are not fully capable of handling non-periodic signals. In particular, we present a simplified and modified version of the STFR algorithm that is potentially useful for the diagnosis and monitoring of some cardiovascular diseases.

A prevailing question in the study of von Neumann algebras asks to what extent certain algebras constructed from groups and their actions "remember" the original group and action. Pursuing this question led naturally to the study of von Neumann algebras coming from certain equivalence relations as well. Though a large class of groups and actions which produce "forgetful" algebras have been known since the 1970s (due to Connes and Zimmer), very little progress was made outside of this class until a breakthrough by Sorin Popa some 30 years later. We will give an overview of Popa's powerful deformation/rigidity theory, state a recent result for von Neumann algebras of equivalence relations, and discuss future directions of research.

In this talk I'll discuss how Lagrangian particle methods are being used to study the dynamics of fluid vortices. These methods use the Biot-Savart integral to recover the velocity from the vorticity and they track the flow map using adaptive particle discretizations. I'll present computations of vortex sheet motion in 2D flow, with reference to Kelvin-Helmholtz instability, the Moore singularity, spiral roll-up, and chaotic dynamics. Other examples include vortex rings in 3D flow, and vortex dynamics on a rotating sphere.

Inside the moduli space of curves of genus 2 with 2 marked points, the loci of curves admitting a map to P1 of degree d totally ramified at the two marked points have codimension two. In this talk I will show how to compute the classes of the compactifications of such loci in the moduli space of stable curves. I will also discuss the relation with the related work of Hain, Grushevsky-Zakharov, Chen-Coskun, Cavalieri-Marcus-Wise.

Recent results on syzygies of projective varieties concentrate on their asymptotics. In this talk, I will discuss results on the asymptotics of syzygies under group actions. In particular, we study two cases. When the underlying space is the projective space, we give the asymptotic growth of syzygy modules with respect to the general linear group. When the underlying space is a toric variety, we give a sharp asymptotic description of the distribution of torus weights.

We discuss analytic-numeric methods for solving stiff scenarios in computer animation. Classical explicit numerical integration schemes have the shortcoming that step sizes are limited by the highest frequency that occurs within the solution spectrum of the governing equations, while implicit methods suffer from an inevitable and mostly uncontrollable artificial viscosity that often leads to non-physical behavior. To overcome these specific detriments, an appropriate class of so-called exponential integrators that solves the stiff part of the governing equations by employing a closed-form solution is presented. With these techniques, up to three orders of magnitude greater time steps can be handled compared to conventional methods, and, at the same time, a tremendous increase in overall long-term stability is achieved. This advantageous behavior is demonstrated across a broad spectrum of stiff scenarios that include deformable solids, trusses, and textiles, including damping, collision responses, and friction.

To realize an efficient and physically accurate simulation of stiff fiber-based systems such as human hair, wool infills, and brushes, an appropriate approach for the physically accurate simulation of densely packed fiber assemblies is presented.

This will be a survey/introduction to recently emerging applications of continuous logic to the theory of $II_1$ factors. No background in continuous logic will be assumed.

In 2006, Kostant and Wallach constructed an integrable system on the n x n complex matrices $M_{n}( C)$ using Gelfand-Zeitlin theory. This system can be viewed as a complexified version of the one studied by Guillemin and Sternberg on the n x n Hermitian matrices, which is related to the classical Gelfand-Zeitlin basis for irreducible representations of the unitary group via geometric quantization.

In this talk, we discuss joint work with Sam Evens in which we develop a geometric description of the fibres of the moment map for the complexified Gelfand-Zeitlin system. Our approach uses the theory of orbits of a symmetric subgroup K of the group G of all invertible n x n complex matrices on the flag variety of $M_{n}( C)$ . These orbits play a central role in the geometric construction of Harish-Chandra modules for the pair $(M_{n} (C ), K)$ using the Beilinson-Bernstein correspondence. We indicate how our work provides the foundation for the geometric construction of a category of generalized Harish-Chandra modules studied by Drozd, Futorny, and Ovsienko.

The talk will describe joint work with L. Berger and B. Xie in which we build, for a finite extension L of $\Bbb{Q}_p$, a new theory of $(\phi,\Gamma)$-modules whose coefficient ring is the ring of holomorphic functions on the rigid character variety of the additive group $o_L$, resp. a "Robba" version of it.

In the local Langlands program the (smooth) representation theory of p-adic reductive groups G in characteristic zero plays a key role. For any compact open subgroup K of G there is a so called Hecke algebra $H(G,K)$. The representation theory of G is equivalent to the module theories over all these algebras $H(G,K)$. Very important examples of such subgroups K are the Iwahori subgroup I and the pro-p Iwahori subgroup $I_p$. By a theorem of Bernstein the Hecke algebras of these subgroups (and many others) have finite global dimension.

In recent years the same representation theory of G but over an algebraically closed field of characteristic p has become more and more important. But little is known yet. Again one can define analogous Hecke algebras. Their relation to the representation theory of G is still very mysterious. Moreover they are no longer of finite global dimension. In joint work with R. Ollivier we prove that the characteristic p version of $H(G,I_p)$ is Gorenstein.

Atherosclerosis is an important component of cardiovascular disease and usually occurs in medium-sized and large arteries. There are many different types of atherosclerotic plaque, each with its own distinctive composition and characteristics. For example, late-stage plaques tend to be highly inflamed and contain interior regions of necrosis. On the other hand, intimal thickenings are more homogeneous and consist mainly of smooth muscle cells and their products. In this talk I will present some simple PDE and free boundary models to describe the growth, and change in composition of, different types of atherosclerotic plaque. These models aim to give some physical insight into a highly complex disease.

Splines on simplicial complexes in 1, 2, and 3 dimensions are well studied objects. As the dimension is raised, there is increased complexity of both the connectivity and geometric information. Abstract Simplicial Complexes provide a means to separate connectivity from geometric information. They are well studied objects, and are a standard tool used to construct and study topologies. In this talk we present the theory of Abstract Simplicial Complexes and Splines necessary to understand a proof that the conditions for continuity on the lower order
sub-simplices are contained in the conditions for continuity on the connected, higher order sub-simplices.

We study the generating function for the simplest frame pattern called the
$\mu$-pattern in $n$-cycles. Given a cycle $C =(c_1, \ldots, c_n)$, we say that
$(c_i,c_j)$ matches the $\mu$-pattern if $c_i < c_j$ and there is no $c_k$ which lies
cyclicly between $c_i$ and $c_j$ such that $c_i < c_k < c_j$. We will show that the study of $\mu$-patterns in $n$-cycles give rise to a new $q$-analogue of the derangement numbers and has a rather surprising connection with the charge
statistic of Lascoux and Schutzenberger.

I will discuss three questions in this talk.

(Existence) Given a smooth hypersurface Y of a projective manifold X with numerically trivial normal bundle, does there exist a codimension one foliation on X having Y as a compact leaf?

(Abelian holonomy) What can we say about foliations having a compact leaf with abelian holonomy?

(Factorization) It is rather easy to construct foliations on projective surfaces having compact leaves with non-solvable holonomy. In higher dimensions, the only known examples are pull-backs of foliations on surfaces through rational morphism. Is this a general phenomenon? In particular, does the holonomy of compact leaves factor through curves when non solvable? (Joint work with B.Claudon, F. Loray, F. Touzet)

We will discuss our on-going investigation of adaptive strategies for finite element equations. We will examine a posteriori error estimates based on superconvergent
derivative recovery. We then survey and compare h, p, r, and h-p adaptive approaches. Some numerical examples will be provided.

A crystal is a shape which tessellates the plane (or space) in a periodic way, so that the pattern repeats at regular intervals in all directions. The group of symmetries (translational, rotational, reflectional) of such a tessellation is called a crystallographic group. In two dimensions there are exactly 17 different kinds of symmetry, the so-called "wallpaper groups", which I'll describe. I'll also mention what happens in three dimensions, in hyperbolic space, and how you can make "quasiperiodic" tessellations (Penrose tilings) with five-fold symmetry.

The truncated estimation method of ratio type functionals based on a dependent sample of finite size will be presented. This method makes it possible to obtain estimators with guaranteed accuracy in the sense of the $L_{2m}$-norm for $m\geq 1.$
As an illustration, the parametric and non-parametric estimation problems on a time interval of a fixed length are considered. In addition to non-asymptotic properties, the limit behavior of presented estimators is investigated. It is shown that all the truncated estimators have asymptotic properties of basic estimators.
In particular, the asymptotic efficiency in the mean square sense of the truncated estimator of the dynamic parameter of a stable autoregressive process is established. As an application, the problem of asymptotic efficiency of adaptive one-step predictors for a stable multivariate first order autoregressive process with unknown parameters is considered. The predictors are based on the truncated estimators of the dynamic matrix parameter. The criterion of optimality is based on the loss function, defined as a sum of sample size and squared prediction error's sample mean.

The Gaussian Unitary and Orthogonal Ensembles (GUE, GOE) are some of the most studied Hermitian random matrix models. When appropriately rescaled the eigenvalues in the interior of the spectrum converge to a translation invariant limiting point process called the Sine process. On large intervals one expects the Sine process to have a number of points that is roughly the length of the interval times a fixed constant (the density of the process). We solve the large deviation problem which asks about the asymptotic probability of seeing a different density in a large interval as the size of the interval tends to infinity. Our proof works for a one-parameter family of models called beta-ensembles which contain the Gaussian orthogonal, unitary and symplectic ensembles as special cases.

Given a global field K and a rational function f(x) defined over K, one may take pre-images of 0 under successive iterates of f, and thus obtain an infinite tree by assigning edges according to the action of f. The absolute Galois group of K acts on the tree, giving a subgroup of the group of all tree automorphisms.

Beginning in the 1980s with work of Odoni, and developing especially over the past decade, a significant body of work has emerged on the size and structure of this Galois representation. The analogy here is to Serre's finite index results for Galois representations arising from elliptic curves.

I will discuss the contributions of several researchers, including Boston and Jones, along with my own work (joint with Jones) on these questions.

Modular operads were introduced by Getzler and Kapranov to formalize the structure of gluing maps between moduli of stable marked curves. We present a construction of analogous gluing maps between moduli of pluri-log-canonically embedded marked curves, which fit together to give a modular operad of embedded curves. This is joint work with Satoshi Kondo and Jesse Wolfson.

I will present a new method to analyze and design iterative optimization algorithms, built on the framework of Integral Quadratic Constraints (IQC) from robust control theory. IQCs provide sufficient conditions for the stability of complicated interconnected systems, and these conditions can be checked by semidefinite programming. I will discuss how to adapt IQC theory to study optimization algorithms, proving new inequalities about convex functions. Using these inequalities, I will derive upper bounds on convergence rates for the gradient method, the heavy-ball method, Nesterov's accelerated method, and related variants by solving small, simple semidefinite programs. I will close with a discussion of how these techniques can be used to search for algorithms with desired performance characteristics, establishing a new methodology for algorithm design.

Given U an n by m matrix, the aim is to extract a large number of linearly independent columns of U and estimate the smallest and the largest singular value of the restricted matrix. For that, we give two deterministic algorithms: one for a normalized version of the restricted invertibility principle of Bourgain-Tzafriri, and one for the norm of coordinate restriction problem due to Kashin-Tzafriri. Merging the two algorithms, we are able to extract a well-conditioned block inside U, improving a previous result due to Vershynin. We use this to attempt a proof of the paving conjecture which is known to be equivalent to the Kadison-Singer problem and was recently solved by Marcus-Spielman-Srivastava. Their proof is only existential. In our attempt, we fail to solve the conjecture; we give however a deterministic algorithm for the best previously known result on it due to Bourgain-Tzafriri.

Let G denote an algebraic group over Q and K and L two number fields. Assume that there is a group isomorphism of points on G over the adeles of K and L, respectively. We establish conditions on the group G, related to the structure and the splitting field of its Borel groups, under which K and L have isomorphic adele rings. Under these conditions, if K or L is a Galois extension of Q and $G(A_K)$ and $G(A_L)$ are isomorphic, then K and L are isomorphic as fields. As a corollary, we show that an isomorphism of Hecke algebras for $GL(n)$ (for fixed $n > 1$), which is an isometry in the $L^1$ norm over two number fields K and L that are Galois over Q, implies that the fields K and L are isomorphic. This can be viewed as an analogue in the theory of automorphic representations of the theorem of Neukirch that the absolute Galois group of a number field determines the field if it is Galois over Q.

The nearest point map of a real algebraic variety with respect to Euclidean distance is an algebraic function. The Euclidean distance degree is the number of critical points for this optimization problem. We focus on projective varieties seen in engineering applications, and we discuss tools for exact computation. Our running example is the Eckart-Young Theorem which relates the nearest point map for low rank matrices with the singular value decomposition. This is joint work with Jan Draisma, Emil Horobet, Giorgio Ottaviani, Rekha Thomas.

A central problem in curve theory is to describe the extrinsic geometry of algebraic curves in a given projective space with fixed genus and degree. Koszul cohomology groups in some sense carry everything one ever wants to know about the defining equations of a curve $X$ in $\mathbb{P}^r$: the number of independent equations
of each degree vanishing on $X$ , the relations between the generators of the ideal $I_X$ of $X$, etc.

In this talk, I will describe an inductive approach to study Koszul cohomology groups of general curves. In particular, we show that to prove the Maximal Rank Conjecture (for quadrics), it suffices to check all cases with the Brill-Noether number $\rho=0$. As a consequence, the Maximal Rank Conjecture holds if the embedding line bundles $L$ on $X$ satisfies the condition $h^1(L)<3$.

This talk is intended for a general audience. No knowledge of infinite dimensional Lie theory is needed, and the affine algebras are an "excuse" to discuss, mostly by concrete examples, a bridge between infinite dimensional Lie theory and SGA3. The title of this talk is (intentionally) misleading: Kac-Moody Lie algebras did not exist in 1963. That said, over the last decade substantial results on infinite dimensional Lie theory have been proven using the theory of reductive group schemes [SGA3] developed by Demazure and Grothendieck. One can therefore ask, a posteriori, what are the affine algebras in the language of [SGA3]. It is an intriguing question with an elegant answer that naturally leads to a (new) family of infinite dimensional Lie algebras related to Grothendieck's dessins d'enfants.

The Finite Element Exterior Calculus (FEEC) has been useful for the numerical solution of elliptic PDEs that more properly accounts for the geometric and topological structures, leading to better numerical stability. Our principal goal is to examine how these methods can be extended to evolutionary problems on manifolds, primarily in the parabolic case. We do, however, describe the interesting issues that a hyperbolic generalization poses.

Suppose we have a continuous process in some filtration. Even it is not a Brownian motion (BM) in the given filtration in some cases it is a BM in its own filtration. Assume now, that we have $S$ a Brownian motion with constant drift in some filtration and we can take an integral $ \beta=H\cdot S $ with respect to this process $S$. Is it possible to choose the integrand $H$ in such a way that the result is a BM in its own filtration. The idea of the solution is to take an additional uniform random variable $U$ independent of $S$ and define the integrand such that it takes plus or minus one according to $U$ is smaller or bigger than its conditional median given $F^\beta_t$. It is possible to derive a solution in this way, however the integrand obtained from this median rule will not be adapted to the filtration of $S$. It turns out that the existence of a strong solution, that is, $H$ adapted to the filtration of $S$, is related to the strong solvability of an SDE. This later problem is also related to the lack of the semimartingale property of reflected BM in the orthant and also to some classical local time method of proving strong uniqueness of SDE. Finally, it raises the question that in what generality is it true that a strong enough additive noise restores the strength of the solution of an SDE.

For $n > 1$, let $\pi, \pi'$ be two irreducible cuspidal automorphic representations of GL(n, A) where A denotes the adeles over Q. Let $L(s, \pi \times \pi')$ be the Rankin-Selberg L-function. If one of $\pi$ or $\pi'$ is self dual then it was shown by Moreno and Sarnak that the Rankin-Selberg L-function does not vanish at s = c+it when 1-c is less than a positive fixed constant times a negative power of log(|t| +2). This is also called a standard zero free region. A standard zero free region for the Riemann zeta function was first obtained by de la Vallee Poussin (prime number theorem).

Currently, the best known zero free region for Rankin Selberg L-functions on GL(n) (in the non self dual case) is due to Brumley who has proved 1-c is less than a fixed constant times a negative power of |t| +2. In joint work with Xiaoqing Li we obtain a standard zero free region in the non self dual case.

In this talk, we review various subspace techniques that have been used in constructing numerical methods for solving nonlinear optimization problems. As large scale optimization problems are attracting more and more attention in recent years, subspace methods are getting more and more important due to the fact that subspace methods do not need to solve large scale subproblems in each iteration. The essential parts of a subspace method are how to construct subproblems defined in lower dimensional subspaces and how to choose the subspaces in which the subproblems are defined. Various subspace methods for unconstrained optimization, constrained optimization, nonlinear equations and nonlinear least squares, and matrix optimization problems are given respectively, and different proposals are made on how to choose the subspaces.

In this talk we will use the classification results of Pelayo-Vu Ngoc to define a family of metrics on the space of semitoric integrable systems. The family is parameterized by two choices, but the induced topology does not depend on these choices. The resulting metric space is disconnected and incomplete. We will construct the completion and if time allows discuss the connectedness.

The security of genus $3$ curves in public key cryptography has long been somewhat unclear. For non-hyperelliptic genus $3$ curves Claus Diem found a way to exploit the geometry of the curve to speed up index calculus on the Jacobian, achieving an impressive running time of $\widetilde{O}(q)$. Unfortunately the algorithm suffers from massive memory requirements.

We have our own variation of non-hyperelliptic genus $3$ index calculus, which improves Diem’s approach in several ways. We study both the computational complexity and the memory cost of our method in great detail and make the results completely explicit. Combining this with some techniques to alleviate the memory cost, we get a very clear understanding of the security and show that for certain field sizes of practical interest the non-hyperelliptic genus $3$ index calculus is a threat worth taking into account. The so-called isogeny attacks make genus $3$ hyperelliptic curves equally vulnerable.

Let X be our favorite space of continuous functions on $R^n$, and let f be a real-valued function defined on some awful subset E of $R^n$. How can we decide whether f extends to a function F in X? If F exists, then how small can we take its norm? What can we say about the derivatives of F (if they exist)? Can we take F to depend linearly on f?

Suppose E is finite. Can we compute an F with close to least-possible norm? How many computer operations does it take? What if F is required merely to agree approximately with f on E? Which points of E should we delete as "outliers"?

The subject goes back to Whitney. The recent results are joint work with Arie Israel, Bo'az Klartag and Garving Luli.

Let $f \in W^{s1,p1}$ and $g \in W^{s2,p2}$ ($s1,s2\ge 0)$. What can be said about $fg$? To which Sobolev spaces does the product $fg$ belong? This is the question that we want to talk about. Why do we care about this question? As we will discuss, one of the main applications of such results is in the theory of partial differential equations (PDEs) and in particular nonlinear elliptic PDEs. We will review some of the well-known results and present alternate proofs of those results. In particular we will point out a common mistake in some of the existing literature as we discuss the question of existence of Holder-type inequalities for the product of two functions in Sobolev spaces.

The celebrated Langlands program is anchored in number theory, representation theory, and algebraic geometry, but involves just about all areas of mathematics. One of its cornerstones is a conjectural link between harmonic analysis and algebraic geometry, mediated by an equality of so-called L-functions, which generalize the Riemann zeta function. A famous case is the relation between modular forms and elliptic curves (which implies Fermat's Last Theorem). The goal of the talk is to give the general audience some idea of what this is all about, and introduce some of the fundamental players. (Familiarity with basic complex analysis, group actions, and quadratic residues will be an advantage.)

Following various ideas in the literature, we try to provide a measure of the predictive quality of a model that corresponds to the AIC criterion when used for model selection. I will discuss the proposed measure and our motivation, and depending on time, describe some related ideas and issues as background.

Around 1960, I. Csisz\'ar introduced the notion of divergence, which generalizes the previously known distances between probability measures, including the Kullback-Leibler relative entropy. An extended Kullback-Leibler inequality leads to characterizations of various versions of sufficiency which altogether can be rephrased in analytic terms within Le Cam's decision-theoretic approach to the comparison of statistical experiments.

Connections (or `bridges') between PI theory (polynomial identities) and group gradings on associative algebras are quite well known for more than 30 years, where applications appear in both directions. For instance, Kemer applied the theory of `super algebras' in order to solve the famous Specht problem (to be
explained in the lecture) for nonaffine PI algebras. In the other direction, PI theory is used in order to solve a conjecture of Bahturin and Regev on `regular gradings' on associative algebras over a field of characteristic zero.

In the lecture I'll recall both subjects (PI theory and G-gradings) and explain how they are related. As an application, I'll present a (Jordan's like) theorem on G-gradings on associative algebras. The last part is joint work with Ofir David.

We cover a number of combinatorial objects which will be beneficial to the study of the Cyclic Sieving Phenomenon--a recent combinatorial field of research first introduced by Reiner, Stanton and White. By introducing the study of Dyck Paths, Set partitions, and q-analogues, we will study simple examples of how groups exhibit the Cyclic Sieving Phenomenon. We will conclude this week's presentation with a buildup to an open conjecture and our current research program progress.

Unipotent quantum groups are non-commutative versions of unipotent group schemes in algebraic geometry. Finite unipotent quantum groups only appear in positive characteristic. In this talk, we will provide a complete classification of such objects up to prime-cube dimension, which can be thought as a generalization of the well-known fact about the structure of p-groups of small orders. In contrast to the finiteness of isomorphism classes for each fixed order in group theory, we obtain nine infinite families among these prime-cube ones, which are all naturally parameterized by finite group quotients of the affine line. Further topics regarding representations, cohomology and invariant theory of small unipotent quantum groups will also be discussed during the talk.

During the past decade, much progress has made in refining the principle that high-dimensional statistical problems are tractable when they exhibit some form of low-dimensional structure. However, in practice, it is often unclear whether or not structural assumptions are justified by data, and the problem of validating such assumptions is unresolved in many contexts. In this talk, I will focus on the context of compressed sensing (CS) --- a signal processing framework that is built on the structural assumption of sparsity. Although the theory of CS offers strong guarantees for recovering sparse signals, many aspects of the recovery process depend on prior knowledge of the signal's sparsity level --- a parameter which is rarely known in practice. Towards a resolution of this issue, I will introduce a generalized family of sparsity parameters that can be estimated in a way that is free of structural assumptions. In connection with signal recovery, I will show that the error rate of the Basis Pursuit Denoising algorithm can be bounded tightly in terms of these parameters. Lastly, I will present consistency results for the proposed sparsity estimation procedure, including a CLT, which allows for the hypothesis of sparsity to be tested in a precise sense.

In this talk, it is shown that a rank decomposition of symmetric tensors must be its symmetric rank decomposition when the tensor's rank is less than its order. Furthermore, when the rank of symmetric tensors equals the order, the symmetric rank must be the rank. As a corollary, for symmetric tensors, rank and symmetric rank coincide when rank is at most order. This partially gives a positive answer to the Comon's conjecture. Finally, a sufficient condition under which a symmetric decomposition of symmetric tensors is a symmetric rank decomposition is presented. Some examples are presented to show the efficiency of the condition.

We will continue our talk about the Cyclic Sieving Phenomenon involving the relationship between q-rational catalan number and the set of non crossing partitions. By utilizing the injective mapping between rational deck paths and non-crossing partitions, we have constructed small cases of how to observe that the set $(NC(a,b),Z_{b-1},Cat_q(a,b))$ exhibits the Cyclic Sieving Phenomenon. We will also demonstrate a few of our MATLAB programs that helped aid us in the progress of trying to prove the Cyclic Sieving Phenomenon.

One of the many ways to represent juggling patterns is through so-called \emph{juggling cards}. These are templates which describe the spatial ordering of a set of balls at each point in a juggling pattern. In this talk we describe a number of new combinatorial and probabilistic results in the study of these objects, and state some related, unsolved problems. Attendees are welcome to bring their own chainsaws or lit torches for the interactive portion of the talk.

Last February, Mike Cranston spoke in this Seminar about a polymer model based on three-dimensional Brownian motion conditioned to hit (and keep returning to) the origin. I will discuss the construction and certain properties of this conditioned Brownian motion from two points of view (i) Dirichlet forms, and (ii) excursion theory. The latter gives a nice interpretation of the Johnson-Helms example from martingale theory. It turns out that this diffusion process is not a semimartingale, even though its radial part is just a one-dimensional Brownian motion reflected at the origin.

Based on joint work with Liping Li of Fudan University.

The representation theory of subfactors generalizes the representation theory of quantum groups, and thus we think of subfactors as objects which encode quantum symmetries. In one sense, subfactors of small index are the simplest examples of subfactors, and we have a complete classification of their standard invariants to index 5. I will discuss recent joint work with Morrison which classifies certain examples at index $3+\sqrt{5}$. One important ingredient is a new variation of Bigelow's jellyfish algorithm which is universal for finite depth subfactors.

The inverse problem in spectral theory was proposed by Bochner and Weyl in the early 20th century. One formulation of the question is: how much of the dynamics of a classical dynamical system can be detected from the spectrum of its quantization? I will describe this question and review recent results for the case integrable dynamical system, where in certain fundamental cases going back to the work of Atiyah and Guillemin-Sternberg a full solution can be given. The talk will emphasize the interplay between symplectic geometry and semiclassical spectral theory and is intended for a general audience.

Numerically solving elliptic partial differential equations for a large number of degrees of freedom requires the parallel use of many computer processors. This in turn requires algorithms to partition domains into subdomains in order to distribute the work.

We present five novel algorithms for partitioning domains that utilize information from the underlying PDE. When a PDE has strong convection or anisotropic diffusion, a partition that favors this direction is desirable. Our schemes fall into two classes; one class creates rectangular shaped subdomains aligned in this direction and one class creates subdomains that increase in size as you move in this direction.

These schemes are mathematically described and analyzed in detail. Then they are tested on a variety of experiments which include solving the convection-diffusion equation for 1/4 billion unknowns on 512 processors using over 1 teraflop of computing power.

Theory and experiments demonstrate that these schemes improve the domain
decomposition convergence rate when the underlying PDE has directional
dependance. In our hundreds of experiments, the number of DD iterations required for convergence reduces by a factor between 0.25 and 0.75. In some cases, these methods improve the final finite element solution's accuracy also.

Proof of Thurston's geometrization conjecture has been a major achievement in the study of 3-manifolds and proves the existence of natural geometric structures on compact 3-manifolds. However this proof and the mere knowledge of the existence of such structures does not give a description of the geometry and therefore fails to answer many of the existing questions. We discuss a project that attempts to find an effective solution to the geometrization and therefore produces models of the promised hyperbolic structures. We explain how this can be used to answer a number of unanswered questions and relate topological and geometrical properties of the manifold.

The main result presented in this talk is a plethystic formula for the
specialization at $t = 1/q$ of the $Q_{u,v}$ operators studied in [math
arKiv:1405.0316]. This discovery yields elementary and direct
derivations of several identities relating these operators at $t =1/q$
to the Rational Compositional Shuffle Conjecture of [math arKiv:
1404.4616]. In particular we are able to give a direct derivation of a
simple formula for the symmetric polynomial
$$Q_{km,kn}1|_{t=1/q} \ \mbox{(for all $m,n$ co-prime and $k \geq 1
$.)}$$

We also give an elementary proof that this polynomial is Schur positive.
Moreover, by combining our main result with the Rational Compositional
Shuffle Conjecture, we obtain a completely elementary derivation of the
identity expressing this polynomial in terms of Parking functions in the
$km \times km$ rectangle.

The study of the outer automorphism group Out(F) of a free group has been a very active area of geometric group theory in the past few years, driven on many fronts by natural parallels that exist between Out(F) and the mapping class group Mod(S) of a surface. I will provide an overview of some of the recent developments in the theory of Out(F), while emphasizing distinguishing features of Out(F) that make it an often more challenging group to understand than its Mod(S) counterpart.

The study of risk measures began in a static environment with the papers of Artzner et al. (1999) and Follmer and Schied (2002). To incorporate information structure over time, static risk measures were extended to a dynamic setting in Barrieu and El Karoui (2009), Jobert and Rogers (2008), Yong (2007) and many others.

We are interested in a specific class of dynamic risk measures, namely dynamic risk measures that arise as solutions of certain types of backward stochastic differential equations (BSDEs) or backward stochastic Volterra integral equations (BSVIEs). We will discuss this connection between risk measures, capital allocations and BSDEs/BSVIEs and provide representation results for dynamic risk measures and dynamic capital allocations. These results are based on classical differentiability results for BSDEs/BSVIEs and Girsanov-type change of measure arguments.

Joint work with Ludger Overbeck.

This talk will be about random lozenge tilings of a class of planar domains which I like to call "sawtooth domains." The basic question is: what does a uniformly random tiling of a large sawtooth domain look like? At the first order of randomness, a remarkable form of the law of large numbers emerges: the height function of the tiling converges to a deterministic "limit shape." My talk is about the next order of randomness, where one wants to analyze the fluctuations of tiles around their eventual positions in the limit shape. Quite remarkably, this ostensibly analytic problem can be solved in an essentially combinatorial way, using a desymmetrized version of the double Hurwitz numbers from enumerative algebraic geometry.

I will provide a broad overview of the kinds of problems that I've worked on with particular emphasis on three subjects: understanding the distribution of statistics of random set partitions; the distribution of ranks of selmer groups of elliptic curves; and the study of polynomials in large numbers of variables with random inputs.

Understanding the coupling of physical models at different scales is important and challenging. In this talk, we focus on the issue of kinetic-fluid coupling, in particular, the half-space problems for kinetic equations coming from the boundary layer. We will present some recent progress in algorithm development and analysis for the linear half-space kinetic equations, and its application in coupling of neutron transport equations with diffusion equations. (joint work with Jianfeng Lu and
Weiran Sun).

I will discuss some of the major problems and results pertaining to Dehn surgery, with a highlight on the application of combinatorial methods and Heegaard Floer homology. In particular, I will report on progress on two guiding conjectures, the cabling conjecture and the Berge conjecture.

The main result presented in this talk is a plethystic formula for the
specialization at $t = 1/q$ of the $Q_{u,v}$ operators studied in [math
arKiv:1405.0316]. This discovery yields elementary and direct
derivations of several identities relating these operators at $t =1/q$
to the Rational Compositional Shuffle Conjecture of [math arKiv:
1404.4616]. In particular we are able to give a direct derivation of a
simple formula for the symmetric polynomial
$$Q_{km,kn}1|_{t=1/q} \ \mbox{(for all $m,n$ co-prime and $k \geq 1
$.)}$$

We also give an elementary proof that this polynomial is Schur positive.
Moreover, by combining our main result with the Rational Compositional
Shuffle Conjecture, we obtain a completely elementary derivation of the
identity expressing this polynomial in terms of Parking functions in the
$km \times km$ rectangle.

We investigate the role of eigenvector norms in spectral graph theory to various combinatorial problems including the densest subgraph problem, the Cheeger constant, among others. We introduce randomized spectral algorithms that produce guarantees which, in some cases, are better than the classical spectral techniques. In particular, we will give an alternative Cheeger “sweep” (graph partitioning) algorithm which provides a linear spectral bound for the Cheeger constant at the expense of an additional factor determined by eigenvector norms. Finally, we apply these ideas and techniques to problems and concepts unique to directed graphs.