we present the tetrahedral compactness theorem which states that sequences of riemannian manifolds with a uniform upper bound on volume and diameter that satisfy a uniform tetrahedral property have a subsequence which converges in the gromov-hausdorff sense to a countably $\mathcal{h}^m$ rectifiable metric space of the same dimension. the tetrahedral property depends only on distances between points in spheres, yet we show it provides a lower bound on the volumes of balls. the proof is based upon intrinsic flat convergence and a new notion called the sliced filling volume of a ball.

given a poset $p$, we are interested in determining the maximum size (denoted by $la(n,p)$) of any family of subsets of an $n$-set avoiding all extensions of $p$ as subposets. the starting point of this kind of problem is sperner's theorem from 1928, which can be restated as $la(n, p_2)= {n\choose \lfloor \frac{n}{2} \rfloor}$. here $p_2$ is the chain of $2$ elements. these problems were studied by erd\h{o}s, katona, and others. in 2008, griggs and lu conjectured the limit $\pi(p):=\lim_{n\to\infty} \frac{la(n,p)} {{n\choose \lfloor \frac{n}{2} \rfloor}}$ exists and is an integer. for poset $p$ define $e(p)$ to be the maximum $k$ such that for all $n$, the union of the $k$ middle levels of subsets in the $n$-set contains no extension of $p$ as a subposet. saks and winkler observed $\pi(p)=e(p)$ in all known examples where $\pi(p)$ is determined. bukh proved this conjecture holds for any tree poset $p$ (meaning its hasse diagram is a tree). for $t\geq 2$, let crown $\o_{2t}$ be a poset of height $2$, whose hasse diagram is cycle $c_{2t}$. de bonis-katona-swanepoel proved $la(n,o_{4})= {n\choose \lfloor \frac{n}{2} \rfloor} + {n\choose \lceil \frac{n}{2} \rceil}$. griggs and lu proved the conjecture holds for crown $\o_{2t}$ with even $t\geq 3$. in this talk, we will prove that the conjecture holds for crown $\o_{2t}$ with odd $t\geq 7$.

given an elliptic curve $e/\mathbb{q}$ with good reduction at $p$, iwasawa theory studies its arithmetic over all the fields of $p^n$-th roots of unity. for example, there are nontrivial relations among the participants in the birch–swinnerton-dyer conjectures for $e$ over each layer in this tower of fields. if the reduction of $e$ mod $p$ is ordinary, then have had a satisfactory description of the scenario for quite some time. but if the reduction of $e$ mod $p$ is supersingular, the correct description has required new advances in $p$-adic hodge theory. we will discuss the background and what is now known.

a riemannian manifold is called geometrically formal if the wedge product of any two harmonic forms is again harmonic. we classify geometrically formal compact 4-manifolds with nonnegative sectional curvature. if the sectional curvature is strictly positive, the manifold must be homeomorphic to $s^4$ or to $cp^2$. in particular, the hopf conjecture on $s^2 \times s^2$ holds in the class of geometrically formal manifolds. if the sectional curvature is strictly positive and we relax the condition of geometric formality to the requirement that the length of harmonic 2-forms is not too nonconstant, then the manifold must be homeomorphic to $s^4$ or to a connected sum of $cp^2$s.

analog-to-digital (a/d) conversion is the process by which signals (e.g., bandlimited functions or finite dimensional vectors) are replaced by bit streams to allow digital storage, transmission, and processing. typically, a/d conversion is thought of as being composed of sampling and quantization. sampling consists of collecting inner products of the signal with appropriate (deterministic or random) vectors. quantization consists of replacing these inner products with elements from a finite set. a good a/d scheme allows for accurate reconstruction of the original object from its quantized samples. in this talk we investigate the reconstruction error as a function of the bit-rate, of sigma-delta quantization, a class of quantization algorithms used in the oversampled regime. we propose an encoding of the sigma-delta bit-stream and prove that it yields near-optimal error rates when coupled with a suitable reconstruction algorithm. this is true both in the finite dimensional setting and for bandlimited functions. in particular, in the finite dimensional setting the near-optimality of sigma-delta encoding applies to measurement vectors from a large class that includes certain deterministic and sub-gaussian random vectors. time permitting, we discuss implications for quantization of compressed sensing measurements.

proving that galois representations in many situations arise from automorphic forms has been a major theme in number theory for at least two decades. however, most of the existing work concerns the situation when the mod p reduction of the galois representation (i.e., the residual representation) is irreducible and when the number field is totally real. we will present new modularity results for n-dimensional residually reducible galois representations over arbitrary number fields. this is joint work with t. berger.

the fontaine-mazur conjecture predicts which p-adic galois representations
arise geometrically. a few years back, emerton and kisin made astounding
progress in the two-dimensional case, by employing the p-adic langlands
correspondence for gl(2) over $q_p$, which is very well-understood by now.
a key point was the existence of ``locally algebraic" vectors.
for groups of higher rank, even a conjectural generalization remains
elusive. however, there is a conjecture of breuil & schneider,
which gives a weak (but precise) analogue for gl(n). roughly it says
that a certain filtration exists if and only if a certain lattice exists.
in his thesis, hu completely proved one direction, and produced the
expected filtration (by translating its existence into the so-called
emerton condition). we will report on progress in the other direction,
and in many cases prove the existence of gl(n)-stable lattices in
locally algebraic representations constructed from p-adic hodge theoretical
data. this argument is global in nature; the ultimate integral structure
comes from p-adic modular forms. we hope to also hint at a formalism,
in which an eigenvariety for u(n) parametrizes a correspondence between
semisimple galois representations and banach-hecke modules with a
unitary gl(n)-action, and discuss local-global compatibility "at p"
in this context. in particular, we'll settle the breuil-schneider conjecture
for dr representations which ``come from an eigenvariety".

compactified jacobian of a singular rational curve is homeomorphic to the direct product of jacobi factors of singularities of the curve. therefore, to study the topology of compactified jacobians in this case, it suffices to study topology of jacobi factors, which can be defined very explicitly as subvarieties in grassmanians. j. piontkowski showed that in certain cases jacobi factors can be decomposed into affine cells enumerated by semimodules over the semigroup of the singularity. we proved that for quasihomogeneous plane curve singularities the cells can also be enumerated by young diagrams inscribed in a right triangle, and dimensions of cells can be computed in a combinatorial way. the resulting combinatorial model is closely related to cell decompositions of hilbert schemes of points on a complex plane, and to rational generalizations of garsia-haiman's q,t-catalan numbers. in this talk, i will discuss our results on topology of compactified jacobians and, time permitting, mention connections to the theory of finite dimensional representations of rational cherednik algebras and homological knot invariants. the talk is based on a joint work with eugene gorsky.

starting from the notion of bn-pair (which is closely related to the concept of tits building), we explain, following a classical insight, how one interprets buildings and their automorphism groups over the nonexisting ``field with one element". (as such, the symmetric groups become chevalley groups over this ``field".) we then introduce scheme theories in ``characteristic one", and show how these are governed by a deep combinatorial (and motivic) nature.

the notion of mesh patterns in permutations was introduced recently by petter branden and anders claesson to provide explicit expansions for certain permutation statistics as possibly infinite linear combinations of (classical) permutation patterns. in my talk, i will discuss eight mesh patterns of small lengths. in particular, i will link avoidance of one of the patterns to the harmonic numbers, while for three other patterns i will show their distributions on 132-avoiding permutations are given by the catalan triangle. also, i will show that two specific mesh patterns are wilf equivalent meaning that for any length, the number of permutations avoiding one of the patterns equals that avoiding the other one. as a byproduct of these studies, one defines a new set of sequences counted by the catalan numbers and provides a relation on the catalan triangle that seems to be new. this is joint work with jeffrey liese.

as a vast generalization of quadratic reciprocity, class field theory
describes all abelian extensions of a number field.
over q, they are precisely those contained in cyclotomic fields.
however, there are a lot more non-abelian extensions, which arise naturally.
the langlands program attempts to systematize them, by relating galois
representations and automorphic forms; mathematical objects of rather
disparate nature. we will illustrate the basic plot for gl(2) through
the example of elliptic curves and modular forms - the context of wiles' proof
of fermat's last theorem. the main goal of the talk will be to motivate
a ``p-adic" langlands correspondence, which is at the forefront of
contemporary number theory, but still only well-understood for gl(2) over $q_p$.
we will discuss, in some depth, the case of semistable elliptic curves,
which provide the first non-trivial example. this leads naturally to
a result we proved recently, which shows the existence of (many) integral
structures in locally algebraic representations of ``steinberg" type,
for any reductive group g (such as gl(n), symplectic, and orthogonal groups).
as a result, there are a host of ways to p-adically complete the steinberg
representation (tensored with an algebraic representation). the ensuing
banach spaces should play a role in a (yet elusive) higher-dimensional
p-adic langlands correspondence. we hope to at least give some idea of the
proof, which goes via automorphic representations and the trace formula.

the chern-simons-schr\"odinger model in two spatial dimensions is a covariant nls-type problem and is $l^2$ critical. we prove that

whenever a mathematical structure is given in characteristic $p$, one can ask whether it is the reduction, in some sense, of an analogous structure in characteristic zero. if so, the structure in characteristic zero is called a ``lift'' of the structure in characteristic $p$. the most famous example is hensel's lemma about lifting solutions of polynomials in $\mathbb{z}/p$ to solutions in the $p$-adic integers $\mathbb{z}_p$. we will consider a more geometric problem: given a curve $x$ in characteristic $p$ with an action of a finite group $g$, is there a curve in characteristic zero with $g$-action that reduces to $x$? oort conjectured that this could be done when $g$ is cyclic, and his conjecture was recently proven by the speaker, stefan wewers, and florian pop. it turns out that this question reduces to a more ``local'' question about automorphisms of power series rings in one variable. this local question will occupy most of the talk. many examples will be given throughout.

vesture refers to the recipe for finding nontrivial exact solutions to a nonlinear differential equation by "dressing" a known solution (which could be rather trivial) with one or more prescribed singularities. this is in particular possible if the nonlinear equation is completely integrable. we will explain what that means, and provide examples from the theory of harmonic maps, and general relativity, to demonstrate how this procedure works. we will in particular show how to obtain the nontrivial and physically interesting hyperextreme kerr metric, which has a naked ring singularity at its center, from the trivial solution of einstein vacuum equations, namely the minkowski metric. this is joint work with shabnam beheshti.

we study galois covers of the projective line branched at three points with galois group $g$. when such a cover is defined over a $p$-adic field, it is known to have potentially good reduction to characteristic $p$ if $p$ does not divide the order of $g$. we give a sufficient criterion for good reduction, even when $p$ does divide the order of $g$, so long as the $p$-sylow subgroup of $g$ is cyclic and the absolute ramification index of a field of definition of the cover is small enough. this extends work of (and answers a question of) raynaud. our proof depends on working very explicitly with kummer extensions of complete discrete valuation rings with imperfect residue fields.

i shall explain how a new approach via the hodge-laplace heat equation works in solving the poincare-lelong equation. this method essentially is reduced to a uniqueness theorem and some estimates concluding the preservation of the d-closedeness of the solution of the hodge-laplace heat equation, and circumvents the essential difficulties of the elliptic method previously adapted by many people without being able to prove the best possible result. this is a joint work with luen-fai tam.

one of the simplest model problems in the kinetic theory of plasma--physics is the vlasov-poisson system with periodic boundary conditions. such system describes the evolution of a plasma of charged particles (electrons and ions) under the effects of the transport and self-consistent electric field. in this talk, we present some discontinuous galerkin (dg) methods for the approximation of the vlasov-poisson system. the schemes are based on the coupling of dg approximation to the vlasov equation (transport equation) and several finite element (conforming, non-conforming and mixed) approximations to the poisson problem. we present the error analysis and discuss further properties of the proposed schemes. we also present numerical experiments in the 1d case that verify the theory and validate the performance of the methods in benchmark problems. if time allows, in the last part of the talk, we shall discuss the possibility of combining the proposed methods with some dimension reduction techniques, such as sparse grids. the talk is based on joint works with saverio castelanelli (uab-crm), j.a. carrillo (imperial college-icrea), soheil hajian (univ. geneva) and chi-wang shu (brown university).

i will discuss the computational methods based on a continuum solvent model to calculate binding affinity for protein-ligand systems. i will also show how such models can be combined with statistical learning methods to predict binding specificity of protein recognition. an application of these methods to understand drug resistance will exemplify its usefulness in drug development.

motivated by the quest to better understand the structure of the adèle class space of a global field in characteristic zero, connes and consani recently initiated a theory of hyperfield extensions of the so-called ``krasner hyperfield'' which is one of the realizations of the field with one element. remarkably, there appears a deep correspondence with certain group actions on certain combinatorial geometries. we will elaborate on brand new results in this theory, make wild speculations and pose several important open questions on the way.

description trees were introduced by cori, jacquard and schaeffer in 1997 to give a general framework for the recursive decompositions of several families of planar maps studied by tutte in a series of papers in the 1960s. we are interested in two classes of planar maps which can be thought as connected planar graphs embedded in the plane or the sphere with a directed edge distinguished as the root. these classes are rooted non-separable (or, 2-connected) and bicubic planar maps, and the corresponding to them trees are called, respectively, $\beta(1,0)$-trees and $\beta(0,1)$-trees.
using different ways to generate these trees we define two endofunctions on them that turned out to be involutions. these involutions are not only interesting in their own right, in particular, from counting fixed points point of view, but also they were used to obtain non-trivial equidistribution results on planar maps, certain pattern avoiding permutations, and objects counted by the catalan numbers. the results to be presented in this talk are obtained in a series of papers in collaboration with several researchers.

parallel replica dynamics was proposed by a.f. voter as a tool for accelerating molecular dynamics simulations characterized by a sequence of infrequent, but rapid, transitions from one state to another. an example would be the migration of a defect through a crystal. parallel replica dynamics accelerates this by simulating many replicas simultaneously, concatenating the simulation times of the realizations as though it were a single long trajectory. this motivates important questions: is parallel replica dynamics algorithm doing what we hope? for what systems will it be useful? how do we implement it efficiently? in this talk, i will thoroughly describe the algorithm and report on progress towards rigorous justification. open questions and related problems will also be discussed.

given a permutation w, stanley defined a symmetric function $f_w$ which encodes information about the reduced words of w, and showed that $f_w$ is a single schur function exactly when w avoids the pattern 2143. we generalize this statement, showing that the schur expansion of $f_w$ respects pattern containment in a certain sense, and that the number of schur function terms is determined by pattern avoidance conditions on w. along the way, we compute the cohomology of certain subvarieties of grassmannians, resolving some cases of a conjecture of liu. this is joint work with sara billey.

the sieve methods are classical methods in number theory. inspired by the 'affine sieve method' developed by sarnak, bourgain, gamburd and others, as well as by works of rivin and kowalsky, we develop in a systemtic way a 'sieve method' for group theory. this method is especially useful for groups with 'property tau'. hence the recent results of breuillard-green-tao, pyber-szabo, varju and salehi-golsefidy are very useful and enables one to apply them for linear groups. we will present the method and some of its applications to linear groups and to the mapping class groups. (joint work with chen meiri).

minimizing the discrepancy of a set system is a fundamental problem in combinatorics. one of the cornerstones in this area is the celebrated six standard deviations result of spencer (ams 1985): in any system of $n$ sets in a universe of size $n$, there always exists a coloring which achieves discrepancy $6\sqrt{n}$. the original proof of spencer was existential in nature, and did not give an efficient algorithm to find such a coloring. recently, a breakthrough work of bansal (focs 2010) gave an efficient algorithm which finds such a coloring. his algorithm was based on an sdp relaxation of the discrepancy problem and a clever rounding procedure. in this work we give a new randomized algorithm to find a coloring as in spencer's result based on a restricted random walk we call edge-walk. our algorithm and its analysis use only basic linear algebra and is ``truly'' constructive in that it does not appeal to the existential arguments, giving a new proof of spencer's theorem and the partial coloring lemma. joint work with raghu meka

given a compact riemannian manifold, it is well known that the laplace-beltrami operator has a sequence of eigenfunctions which form an orthonormal basis for the square integrable functions. a problem of recent interest has been to prove $l^{p}$ estimates on these eigenfunctions, which bound their $l^{p}$ norm by a power of the corresponding eigenvalue, illuminating their size and concentration properties. we will investigate the validity of these bounds for manifolds equipped with rough metrics, such as those of lipschitz regularity, which is significant in extending the theory to domains in $r^{n}$ and manifolds with boundary. in particular, we discuss a recent result regarding $l^{n}$ estimates on the restriction of these eigenfunctions to submanifolds.

the problem of sequential change-point detection is concerned with the design and analysis of fastest ways to detect a change in the statistical profi le of a random time process, given a tolerable risk of a false detection. the subject finds applications, e.g., in quality and process control, anomaly and failure detection, surveillance and security, finance, intrusion detection, boundary tracking, etc. we provide an overview of the field's state-of-the-art. the overview spans over all major formulations of the underlying optimization problem, namely, bayesian, generalized bayesian, and minimax. we pay particular attention to the latest advances made in each. also, we link the generalized bayesian problem with multi-cyclic disorder detection in a stationary regime when the change occurs at a distant time horizon. we conclude with a case study to show the field's best detection procedures at work. this is joint work with alexander g. tartakovsky, 比利时vs摩洛哥足彩 and center for applied mathematical sciences, university of southern california.

the notion of a finite element system is designed to provide an alternative to ciarlet's definition of a finite element, adapted to the needs of exterior calculus. it allows for cellular decompositions of space (rather than just simplexes or products thereof) and general functions (rather than just polynomials) yet guarantees compatibility with the exterior derivative and existence of commuting interpolation operators. we review basic definitions and properties. as an application, we show how a form of upwinding, compatible with the exterior derivative, can be carried out within this framework. references: s. h. christiansen, h. z. munthe-kaas, b. owren. topics in structure-preserving discretization. acta numer. 20 (2011), 1-119. s. h. christiansen. upwinding in finite element systems of differential forms. smale lecture, proceedings of focm 2011, to appear.

broadly speaking, p-adic hodge theory is the study of representations of galois groups of p-adic fields on vector spaces with p-adic coefficients. one can use the theory of $(\varphi,\gamma)$-modules to convert such galois representations into simpler linear algebra, and one can also classify such representations in terms of how arithmetically interesting they are. in my talk, i will discuss extensions of this theory to p-adic families of galois representations. such families arise naturally in the contexts of galois deformation rings and p-adic modular forms.

consider the optimization problem of minimizing a raitonal function.
we reformulate this problem as polynomial optimization by the
technique of homogenization. these two problems are shown to be
equivalent under some generic conditions. the exact jacobian sdp
relaxation method is used to solve the reformulated problem. we also
show that the convergence assumption of nonsingularity in jacobian
sdp relaxation can be weakened as the finiteness of singularities.
some numerical examples are given to show the efficiency of this
method.

in 1970, lawson conjectured that the only embedded minimal torus in $s^3$ is the clifford torus. recently using a non-collapsing technique developed by ben andrews, simon brendle was able to give an affirmative answer to this question. i'll discuss the non-collapsing ideas and how they lead to brendle's proof of the lawson conjecture.

incomplete knowledge of the true dynamics and its partial observations pose a notoriously difficult problem in many contemporary scientific applications which require predictions of high-dimensional dynamical systems with physical instabilities and energy fluxes across a wide range of scales. the issue of `model error' is particularly important when dealing with turbulent geophysical systems or molecular dynamics with rough energy spectra near the resolution cut-off of the numerical models. in such cases assimilation of observed data into the modeled dynamics is necessary for mitigating model error and for improving the stability and predictive skill of the imperfect models. in the talk i will give an overview of my research on a newly emerging stochastic-statistical framework which allows for information-theoretic quantification of uncertainty and mitigation of model error in imperfect statistical predictions of complex multi-scale dynamics. two important examples used to highlight these issues will be concerned with (i) existence of `information' barriers to imperfect model improvement and (ii) real-time `stochastic superresolution' for estimation of the relevant unresolved processes in sparsely observed turbulent systems. open mathematical and practical problems for future research will also be discussed.

in this talk, first i will formulate the general setting of
the affine sieve and then state its fundamental theorem. the outline of
its proof will be explained. in particular, we will see that the main
analytical part of the argument is to find the exact condition under
which a finitely generated subgroup of gl(n,q) has property tau with
respect to its ``square-free principal congruence subgroups"! at the
end of the talk, some open problems will be presented.

we explore a refinement of homological mirror symmetry which relates exact symplectic topology to arithmetic algebraic geometry. we establish a derived equivalence of the fukaya category of the 2-torus, relative to a basepoint, with the category of perfect complexes of coherent sheaves on the tate curve over the "formal disc" spec z[[q]]. it specializes over the "punctured disc" spec z((q)), to an integral refinement of the known statement of homological mirror symmetry for the 2-torus. we will survey a general strategy of proof of homological mirror symmetry while carrying it out in the specific case of the 2-torus. in contrast to the abstract statement of our main result, the focus of the talk will be a concrete computation which we will express in more familiar terms. this is joint work with tim perutz.

every number field comes with a whole array of associated invariants such as its class group, zeta function, adele ring, absolute
galois group, etc. i will discuss to which extent such invariants characterize the number field and, in case they don't, how easily one can obtain non-isomorphic number fields for which such an invariant is
"the same".

in this talk, first i will present a kernel-free boundary integral (kfbi) method for the linearized poisson-boltzmann equation, which may have variable coefficients and is in general not applicable for the standard boundary integral method. then i will present the kfbi method for the nonlinear poisson-boltzmann equation. the kfbi method is a cartesian grid method. it uses cartesian grid-based solutions to compute approximations to boundary and volume integrals involved in the solution of boundary integral equations for the poisson-boltzmann equation. i will also present numerical examples in both two and three space dimensions to demonstrate the efficiency and accuracy of the kfbi method.

the aim of this talk is to provide an overview of recent developments concerning the motion of a two dimensional incompressible and irrotational fluid with a free surface. the emphasis will be on the case when gravity is present, but surface tension is absent. this is joint work with john hunter, mihaela ifrim and tak wong.

matrix multiplication is used in a large variety of applications throughout science and engineering. it is a bottleneck for many important algorithms: for standard linear algebra problems such as solving linear systems and matrix inversion, but also for many algorithms that, on the face of it, may have nothing to do with matrices. developing better matrix multiplication algorithms is of immense interest.

in 1969 strassen showed that the naive algorithm for multiplying matrices is not optimal, presenting an ingenious recursive algorithm. this spawned a long line of active research on the theory of matrix multiplication algorithms. in a seminal paper from 1987, coppersmith and winograd designed an algorithm that can multiply two n by n matrices using $o(n^{2.376})$ arithmetic operations. this algorithm had remained the theoretically fastest approach for matrix multiplication for 24 years.

we have recently been able to design an algorithm that multiplies n by n matrices and uses at most $o(n^{2.373})$ arithmetic operations, thus improving the coppersmith-winograd running time. the improvement is based on a recursive application of the original coppersmith-winograd construction, together with a general theorem that reduces the final search for the best algorithm to solving a nonlinear constraint program. the analysis is then done by numerically solving this program. in this talk, we will give intuition for the problem and highlight the key ideas needed to obtain the improvement.

the problem of finding large average submatrices of a real-valued matrix arises in the exploratory analysis of data from a variety of disciplines, ranging from genomics to social sciences. this talk details several new results concerning the asymptotic behavior of large average submatrices of an nxn gaussian random matrix. we begin by considering the average and joint distribution of the (globally optimal) kxk submatrix having largest average value. we then turn our attention to submatrices with dominant row and column sums, which arise as the local optima of a useful iterative search procedure for large average submatrices. paralleling the result for global optima, we will consider the average and joint distribution of a typical (locally optimal) kxk submatrix with dominant row and column sums. the last part of the talk will be devoted to the analysis of the *number* of locally optimal kxk submatrices, $l_n(k)$, beginning with the asymptotic behavior of its mean and variance for fixed k and increasing n. finally, we establish a central limit theorem for $l_n(k)$ that using stein's method for normal approximation.

joint work with shankar bhamidi (unc) and partha s. dey (courant)

in this talk we present some recent results on aggregation swarming models in two dimensions. this class of models involve pairwise interactions and an active scalar equation in the continuum limit. we show the connection between this model and the classical vorticity equation from fluid dynamics. the aggregation model can lead to a rich family of patterns. we discuss analytical and numerical methods for curve and cluster patterns.

this talk is based on joint work with murray schacher and eric rains. given three cohomology classes satisfying a certain vanishing condition on cup products, massey defines a triple product [a,b,c] and uses it to prove a jacobi identity in algebraic topology.
by construction, the massey product is a coset of a (known) subgroup
of cohomology in degree (deg a) + (deg b) + (deg c) - 1.
one interesting case is when a,b,c are degree one and the cohomology
is the galois cohomology of a field f with gf(2) coefficients.
in this context, we can view the massey product of three quadratic
extensions of f as a (set of) quaternion division algebras over f.
we give an interpretation of [a,b,c] as an obstruction to a lifting
problem in galois theory. we give a new formula for [a,b,c], and use
it to show that the massey product contains the neutral element.

in the seminar i would like to talk about two general problems in the theory of finite-dimensional lie algebras:
• finding a faithful representation of a lie algebra (of lowest possible degree). e.g.: can the $(2n + 1)$-dimensional heisenberg lie algebra $h_n$ be em-
bedded into $gl_{n+1}(c)$ into $gl_{n+2}(c)$
• finding properties of lie algebras that admit a regular transformation.
e.g.: is a lie algebra that admits a regular periodic derivation neces- sarily abelian?
these two problems appear to be unrelated, but this is not the case. they follow naturally from some problems on the existence of affine structures on lie algebras (or groups). i plan to briefly mention the historical background material, then formulate both problems more explicitly, illustrate which results are already known, and finally, how i hope to obtain some more (partial) answers.
for the first problem, it will be interesting to find good bounds on the minimal degree of a faithful representation. for the second problem, we would like to find good bounds on the nilpotency or solvability class of the lie algebra.

zero forcing (also called graph infection) on a simple,
undirected graph $g$ is based on the color-change rule: if each vertex
of $g$ is colored either white or blue, and vertex $v$ is a blue
vertex with only one white neighbor $w$, then change the color of $w$
to blue. a minimum zero forcing set is a set of blue vertices of
minimum cardinality that can color the entire graph blue using the
color change rule. in this talk will discuss the role of zero forcing
in systems control, electrical engineer, and linear algebra. even
though various scientist have been using zero forcing, it wasn't until
recently that it was realized they were all doing the same type of
propagation. zero forcing gets its name from the linear algebraists,
who were using the propagation to force entries of a vector to be
zero.

sponsored by fan chung graham and jacques verstraete

a natural question in real algebraic geometry is to ask, given polynomials $p$,
$q$, and $r$,
\begin{equation*}
\tag{q}
\label{eq:quest}
\mbox{does} \quad q(x) \geq 0 \quad \mbox{and} \quad r(x) = 0 \quad
\mbox{imply} \quad p(x) \geq 0\ \mbox{?}
\end{equation*}
in this talk i will focus on {\it free noncommutative} polynomials $p$, $q$,
and $r$ and substitute matrices for the variables $x_j$.
i will present an answer to a non-commutative version of (\ref{eq:quest}) which
includes a non-commutative ``real nullstellensatz'' and ``positivstellensatz''.

k . ecker and g. huisken have derived a priori estimate for the
curvature (second fundamental forms) when they study the mean
curvature flow of the graph of a function in euclidean space. in this
talk, i will explain that a similar curvature estimate also exists for
higher codimensional mean curvature flow under certain natural
conditions. this is joint work with knut smoczyk and mu-tao wang.

in this talk, i will use kuznetsovs description of the derived category
of a smooth cubic hypersurface to give a new construction of some stable
acm bundles on cubic threefolds and cubic fourfolds containing a plane. i
will also present a wall-crossing phenomenon that allows to relate the
compactification of the moduli space of instantons on a cubic threefold
with a moduli space of torsion sheaves a non-commutative projective plane.
this is a joint work with emanuele macr and paolo stellari.

let x be a projective smooth variety over an algebraically closed field k.
if k has characteristic zero, then the singular (betti) cohomology groups of x are finitely generated abelian groups and therefore all the invariants associated to them are discrete and in fact do not change under good deformations. if k has positive characteristic, then the crystalline cohomology groups of x have a much richer structure and are called f-crystals over k. in particular, one can associate to them many subtle invariants which vary a lot under good deformations and which could be of either discrete or continuous nature. we present an accessible survey of the classification of f-crystals over k via subtle invariants with an emphasis on the recent results obtain by us, by gabber and us, and by lau, nicole, and us.

we first survey some results regarding the study of holomorphic functions on manifolds. we insist on liouville theorems or, more generally, dimension estimates for the space of polynomially growing holomorphic functions. then we present some recent joint work with jiaping wang on this topic. our work is motivated by the study of ricci solitons in the theory of ricci flow. however, the most general results we have do not require any knowledge of curvature.

let $k$ be an algebraically closed field of characteristic $p>0$. let $w(k)$ be the ring of witt vectors with coefficients in $k$.
a motivic conjecture of milne relates, in the case of abelian schemes
over $w(k)$, the \'etale cohomology with $\bbb z_p$ coefficients to
the crystalline cohomology with coefficients in $w(k)$. in this talk we
report on the proof of this conjecture in the more general context of
$p$-divisible groups over $w(k)$ endowed with arbitrary families of
crystalline tensors. if $v$ is a discrete valuation ring which is a
finite extension of $w(k)$ of index of ramification $e>1$, we provide
examples which show that the conjecture is not true in general
over $v$ and we also mention some general cases in which the conjecture
does hold over $v$. our results extend previous results of faltings.
as a main new tool we construct global deformations of $p$-divisible
groups endowed with crystalline tensors over certain regular, formally
smooth schemes over $w(k)$ whose special fibers over $k$ have a zariski
dense set of $k$-valued points.

quantum secret sharing is an important multipartite cryptographic protocol in which a quantum state (secret) is shared among a set of n players. the secret is distributed in such a way that it can only be recovered by certain authorized subsets of players acting collaboratively. the recovery procedure assumes that all players are interconnected through quantum channels, or, equivalently, that the players are allowed to perform non-local quantum operations. however, for practical applications, the consumption of quantum communication resources such as entanglement or quantum channels needs to minimized.

we provide a novel scheme in which quantum communication is replaced by local operations and classical communication (locc). our protocol is based on embedding a classical maximum distance separable (mds) code into a quantum error correcting code and employing the properties of the latter. our scheme is appealing for real-world scenarios where the implementation of two-qubit gates is challenging. we illustrate the results by simple examples. our methods constitute a first step towards attacking the important problem of decoding quantum error correcting codes by locc.

conformal algebras appeared initially in the theory of vertex operator
as an algebraic language describing the properties of the singular part
of the operator product expansion (ope). on the other hand, {\em finite} conformal algebras
provide a natural approach to the study of certain infinite-dimensional algebras
in which the multiplication table is given by a finite number of algebraic functions.

in this talk, we study the natural relation between associative and lie conformal algebras.
every associative conformal algebra can be turned into a lie conformal algebra in the
ordinary way. but it is still unknown whether a finite lie conformal algebra
can be embedded into an appropriate associative conformal algebra.
a finer problem also makes sense: whether a finite lie conformal algebra has a faithful
finite representation?
we prove that if a finite lie conformal algebra admits levi decomposition then it has a
finite faithful representation.

let $h$ be a $t$-uniform hypergraph on $k$ vertices, with $a_i\geq0$ denoting the multiplicity of the $i$-th edge, $1\leq i\leq\binom{k}{t}$. let $\textup{\textbf{h}}=(a_1,\dotsc,a_{\binom{k}{t}})^\top$, and $n_t(h)$ the matrix whose columns are the images of $\textup{\textbf{h}}$ under the symmetric group $s_k$. we determine a diagonal form (smith normal form) of $n_t(h)$ for a very general class of $h$.

now, assume $h$ is simple. let $k^{(t)}_n$ be the complete $t$-uniform hypergraph on $n$ vertices. define $zr_p(h)$ to be the zero-sum (mod $p$) ramsey number of $h$, which is the minimum $n\in\mathbb{n}$ such that for every coloring $c:e\big(k^{(t)}_n\big)\to\mathbb{z}_p$, there exists a subgraph $h'$ of $k^{(t)}_n$ isomorphic to $h$ such that $\sum_{e\in e(h')}c(e)=0$. through finding a diagonal form of $n_t(h)$, we re-prove a theorem of y.\ caro in $\cite{caro}$ that gives the value $zr_2(g)$ for any simple graph $g$. further, we show that for a random $t$-uniform hypergraph $h$ on $k$ vertices, $zr_2(h)=k$ asymptotically almost surely as $k\to\infty$.

similar techniques can also be applied to determine the zero-sum (mod $2$) bipartite ramsey numbers, $b(g,\mathbb{z}_2)$, introduced in $\cite{caroyuster}$.

\begin{thebibliography}{99}

\bibitem{caro}
y.\ caro, a complete characterization of the zero-sum (mod 2) ramsey numbers,
\textit{j.\ combinatorial\ th.\ ser.\ a } \textbf{68} (1994), 205--211.

\bibitem{caroyuster}
y.\ caro and r.\ yuster, the characterization of zero-sum (mod 2) bipartite ramsey numbers,
\textit{j.\ graph th.\/} \textbf{29} (1998), 151--166.

\bibitem{wilsonwong}
r.\ wilson and t.\ wong, diagonal forms of incidence matrices associated with $t$-uniform hypergraphs, \textit{provisionally accepted by the reviewers for europ.\ j.\ combinatorics}.

\end{thebibliography}

we establish a new local convex property of cat(1)-spaces, which are metric
spaces of curvature at most 1 in the sense of aleaxandrov, by showing that a
function which has its origin in the study of harmonic maps is convex on any
small ball of a cat(1)-space. as an application, we also discuss barycenters
of probability measures on cat(1)-spaces.

the modular j-function plays an important role in number
theory: its values at quadratic imaginary integers are called singular
moduli. singular moduli can be interpreted as an invariant of cm
elliptic curves and play a role in explicit class field theory.
in 1985, gross and zagier gave an elegant formula for the factorization
of norms of differences of singular moduli associated to a pair of
imaginary quadratic discriminants d1 and d2, under the assumption that
d1 and d2 are fundamental and relatively prime. their theorem was one
of the ingredients in the proof of the only known case of the
birch-swinnerton dyer conjecture. this talk will present a
generalization of their result to give a complete factorization for any
two fundamental discriminants which are not necessarily coprime, and
obtain at least a partial factorization for any two quadratic imaginary
discriminants. we will discuss the motivation for this generalization
arising in cryptography and give an application to proving an
intersection formula on hilbert modular surfaces related to the work of
bruinier and yang. this is joint work with bianca viray.

the diffusion tensor used in brownian dynamics simulations is often calculated by the hydrodynamic bead models. the bead models are shown to reproduce the experimental diffusion coefficients (the diagonal tensor elements) of a single macromolecule, but the accuracy of the bead model calculation of the whole one-body or many-body diffusion tensor has not been closely investigated. such investigation is important because brownian dynamics simulations usually involve more than one molecule, and the whole diffusion tensor will be used instead of just the diagonal elements. as a first step, we investigated the accuracy of the bead model calculation of the diffusion tensor of two spheres. our results show that bead models can produce fairly accurate diffusion tensors for two spheres. but its application in brownian dynamics simulations needs extra caution, as its errors accumulate over time.

$l^2$-betti numbers were defined by atiyah for compact manifolds x, by cheeger and gromov for countable groups $\gamma$ and by gaboriau for countable probability measure preserving equivalence relations. henrik d. petersen proposed a definition of $l^2$-betti numbers for locally compact groups. i will present this definition and a recent joint work with kyed and petersen in which we prove that the $l^2$-betti numbers of a locally compact group coincide with those of any associated cross section equivalence relation. as a consequence, we obtain several vanishing theorems for the reduced $l^2$-cohomology of locally compact groups.

we discuss the general problem of finding a large independent set in a hypergraph, using ordinary and probabilistic combinatorics, and summarize my research on the subject (joint with jacques verstraete).

the subject of this talk is at the crossroads of functional analysis, ergodic theory and group theory. using a construction by murray and von neumann (1943), ergodic actions of countable groups on probability spaces give rise to algebras of operators on a hilbert space, called von neumann algebras. in a joint work with sorin popa, we proved that such crossed product von neumann algebras by free groups or, more generally, by hyperbolic groups have a unique cartan subalgebra. i will explain this result and its consequences for the classification of crossed products by free groups.

while the emphasis for biomedical engineering and/or bioengineering at columbia university and ucsd are relatively new, studies on properties of such "biological" materials and events as bone, blood flow, articular cartilage date back to galileo (1632), harvey (1670), borelli (1680), and benninghoff (1900), respectively. indeed, the word biology did not appear in the learned literature until the late 19th century. galileo laid the foundation of mechanics in his book on the two new sciences in the last decade of his life while under house arrest in pope urban viii's apartment in rome. in this book the seeds of strength of material and kinematics were sown, later to be formulated by isaac newton after galileo's death which occurred in 1642, which is the same year newton was born. today, there is no doubt of the singularly influential role played by professor y.c. fung of ucsd in the development of the bioengineering discipline in america. also, important roles were played by professor richard skalak (the namesake for this memorial lecture series), and professor shu chien, both formerly columbia university professors, in enhancing the ucsd bioengineering program nationally and internationally. professor fung, in a stroke of genius, was able to recruit skalak and chien to relocate from columbia to ucsd in 1988; this event, and the whitaker foundation, forever changed the landscape of bioengineering in america. today, ucsd's bioengineering graduate research program is without doubt one of the most recognized in the world. in this lecture, i will present this short history, as well as my own role in establishing one of the best biomedical engineering departments in the world at columbia university.

functional magnetic resonance imaging (fmri) is now a well established technique for studying the brain. however, in many situations, such as when data are acquired in a resting state, it is difficult to know whether the data are truly stationary or if level shifts have occurred. to this end, change-point detection in sequences of functional data is examined where the functional observations are dependent and where the distributions of change-points from multiple subjects are required. of particular interest is the case where the change-point is
an epidemic change -- a change occurs and then the observations return to baseline at a later time. the case where the covariance can be decomposed as a tensor product is considered with particular attention to the power analysis for detection. this is of interest in the application to fmri, where the estimation of a full covariance structure for the three-dimensional image is not computationally feasible. using the developed methods, a large study of resting state fmri data is conducted to determine whether the subjects undertaking the resting scan have non-stationarities present in their time courses. it is found that a sizeable proportion of the subjects studied are not stationary. the change-point distribution
for those subjects is empirically determined, as well as its theoretical properties examined.

this is joint work with john aston (warwick university).

eugene gorsky and andrei negut have recently put the finishing touches
to what may be viewed as the symmetric function side of the general m,n
shuffle conjecture. in this talk i will report of what i have learned
about the work of tatsuyuki hikita who constructed the combinatorial
side. this development is gravid with beautiful and challenging
combinatorial problems. gorsky and negut hopefully soon will tell us
about the symmetric function side.

symmetry is pervasive in both nature and human culture. the notion of chirality (or `handedness') is similarly pervasive, but less well understood. in this lecture, i will talk about a number of situations involving discrete objects that have maximum possible symmetry in their class, or maximum possible rotational symmetry while being chiral. examples include geometric solids, combinatorial graphs (networks), maps on surfaces, dessins d'enfants, abstract polytopes, and even compact riemann surfaces (from a certain perspective). i will describe some recent discoveries about such objects with maximum symmetry, illustrated by pictures as much as possible.

in a march madness contest, players try to predict the
outcome of the ncaa basketball championship tournament most
accurately. if you want to win, do you choose what you think the most
likely outcome is? or do you pick an outcome less likely so that you
have "more room" to be the most accurate? we answer this question.

we introduce semiclassical eulerian methods that are efficient in computing high frequency waves through heterogeneous media. the method is based on the classical liouville equation in phase space, with discontinous hamiltonians due to the barriers or material interfaces. we provide physically relevant interface conditions consistent with the correct transmissions and reflections, and then build the interface conditions into the numerical fluxes. this method allows the resolution of high frequency waves without numerically resolving the small wave lengths, and capture the correct transmissions and reflections at the interface. this method can also be extended to deal with diffraction and quantum barriers.

we introduce the einstein constraint equations and discuss their origin and importance. we review some of the basic tools from functional analysis, the theory of partial differential equations, and riemannian geometry for studying the existence and uniqueness of the solutions of the constraint equations.

the original shuffle conjecture of haglund et al. [2005] has a
symmetric function side and a combinatorial side. the symmetric function
side may be simply expressed as $\big\langle \nabla e_n \, , \, h_{\mu}
\big\rangle$ where $\nabla$ is the \hbox{macdonald} polynomial
eigen-operator of bergeron and garsia [1999] and $h_\mu$ is the
homogeneous basis indexed by $\mu=(\mu_1,\mu_2,\ldots ,\mu_k) \vdash n$.
the combinatorial side q,t-enumerates a family of parking functions
whose reading word is a shuffle of $k$ successive segments of $1 2 3
\cdots n$ of respective lengths $\mu_1,\mu_2,\ldots ,\mu_k$. it can be
shown that for $t=1/q$ the symmetric function side reduces to a product
of $q$-binomial coefficients and powers of $q$. this reduction suggests
a surprising combinatorial refinement of the general shuffle conjecture.
here we prove this refinement for $k=2$ and $t=1/q$. the resulting
formula gives a $q$-analogue of the well studied narayana numbers.

this will be the first of our informal seminars on geometric measure theory. we will meet each week to work through parts of one (or more) of the texts available on the topic. in this first talk, i will present the variational characterisation of smooth minimal and cmc hyper-surfaces arising from the area minimising problem and the isoperimetric problem respectively.

given $z_0$ and $\lambda_0$
the schwarz lemma tells us when we can find an analytic map $f:\mathbb{d}\rightarrow \mathbb{d}$ such that $f(0)=0$ and $f(z_0)=\lambda_0.$
we consider the following more general problem:
given some data $(z_i)^{n}_{i=1}$ and $(\lambda_i)^{n}_{i=1}$ when is there an analytic $f:\mathbb{d}\rightarrow \mathbb{d}$ such that
$f(z_i)= \lambda_i.$

since erdos-renyi introduced random graphs in 1959, two closely
related models for random graphs have been extensively studied. in the
$g(n,m)$ model, a graph is chosen uniformly at random from the
collection of all graphs that have n vertices and m edges. in the
$g(n,p)$ model, a graph is constructed by connecting each pair of two
vertices randomly. each edge is included in the graph $g(n,p)$ with
probability p independently of all other edges.

researchers have studied when the random graph $g(n,m)$ (or $g(n,p)$,
resp.) satisfies certain properties in terms of $n$ and $m$ (or $n$ and $p$,
resp.). if $g(n,m)$ (or $g(n,p)$, resp.) satisfies a property with
probability close to 1, then one may say that a ``typical graph�� with $m$
edges (or expected edge density $p$, resp.) on $n$ vertices has the
property. random graphs and their variants are also widely used to
prove the existence of graphs with certain properties. in this talk, a
well-known problem for each of these categories will be discussed.

first, a new approach will be introduced for the problem of the
emergence of a giant component of $g(n,p)$, which was first considered
by erd�s�rényi in 1960. second, a variant of the graph process
$g(n,1), g(n,2), �, g(n,m), �$ will be considered to find a tight lower
bound for ramsey number $r(3,t)$ up to a constant factor.

no prior knowledge of graph theory is needed in this talk.

schur functions are a basis for the ring of symmetric functions, one
with many important algebraic and combinatorial properties. k-schur
functions are a basis for a certain subring of that ring and are turning
out to be just as interesting. many results involving schur functions
have analogues involving k-schur functions. standard strong marked
tableaux play a role for k-schur functions similar to the role
standard young tableaux play for schur functions. i will discuss
results and conjectures toward an analogue of the hook length
formula. this is joint work with matjaz konvalinka.

i will give a general introduction to derived equivalences between smooth projective varieties. then, i will describe recent work on the problem of determining when when two principal homogeneous spaces for an abelian variety are derived equivalent, culminating in a precise description of when two smooth projective curves over a field of characteristic zero have equivalent bounded derived categories.

in this talk, i will describe joint work with daniele arcara, aaron bertram and jack huizenga on running the minimal model program (mmp) for the hilbert scheme of points on $p^2$. we study
the stable base locus decomposition of the effective cone of the hilbert scheme. we find a correspondence between the decomposition of the effective cone into the mori chambers and the decomposition of the stability manifold into bridgeland chambers.

f-singularities are classes of singularities defined by the behavior of frobenius. a prominent tool for measuing these singularities is the test ideal, a characteristic $p > 0$ analog of the multiplier ideal. recently, there has been interest in applying the methods of f-singularities to a number of geometric problems in positive characteristic. however, one gap in
the theory has been the behavior of f-singularities in families. for example generic restriction theorems for test ideals have been lacking.

in this talk, i will discuss recent joint work with zsolt patakfalvi and wenliang zhang on the behavior of f-singularities and test ideals in families. i will first define the relevant terms and explain why you these definitions and methods are useful (as a replacement for kodaira vanishing in characterisic $p > 0$). we will then obtain generic (and non-generic) restrictions theorems for test ideals. some global geometric consequences will also be discussed if there is sufficient time.

a semisimple (more generally, reductive) group scheme is called isotropic, if it contains a proper parabolic subgroup. in particular, the special orthogonal group of a non-degenerate quadratic form is isotropic if and only if the form itself is isotropic. to any isotropic reductive group g over a commutative ring r one associates a group-valued functor $k_1^g$ on the category of commutative r-algebras, which is an analog of the non-stable $k_1-functor gl_n/e_n$. when r is a field, $k_1^g$ coincides on smooth algebras with the group of $a^1$-connected components of g in the sense of morel-voevodsky. we will discuss various properties of these functors, and connections with classification of principal g-bundles.

we study the stability in the $h^1$-seminorm of the $l_2$-projection
onto finite element spaces in the case of nonuniform but shape regular
meshes in two and three dimensions and prove, in particular, stability
for conforming triangular elements up to order twelve and conforming
tetrahedral elements up to order seven.

parity games are two player games which are played by moving a token around a finite graph. parity games have important applications in automata theory, logic, and verification - for example, the model checking problem for the modal mu-calculus is polynomial time equivalent to solving parity games. it is a long-standing open problem whether the winner in a parity game can be decided in polynomial time.

in the talk, we will relate this problem to weak automatizability of resolution. a propositional proof system is weakly automatizable if there is a polynomial time algorithm which separates satisfiable formulas from formulas which have a short refutation in the system, with respect to a given length bound.
we explain that if the resolution proof system is weakly automatizable, then parity games can be decided in polynomial time.

this is joint work with pavel pudlak and neil thapen.

i will present the connection between two topics which seem completely
unrelated, other than by a fortuitous common name. the original shuffle
conjecture equates two symmetric polynomials $phi_n[x;q,t]$ and
$pi_n[x;q,t]$. the first was conjectured by garsia-haiman in the early
1990's to produce the bigraded frobenius characters of diagonal harmonic polynomials. the second was defined by haglund et al around 2002 as a weighted enumeration of parking functions in the $n \times n$ lattice square. in a recent paper, hikita constructs a new polynomial
$pi_{m,n}[x;q,t]$ for any pair of relatively prime natural numbers $m$ and
$n$, by extending the notion of parking function to the case of an $m
\times n$ lattice rectangle. it follows from hikita's construction that
$pi_n[x;q,t] = pi_{n+1,n}[x;q,t]$.

the shuffle algebra is a representation-theoretic object constructed by
feigin and odesskii, which acts on the k-theory of the hilbert scheme of
points in the plane. the k-theory is isomorphic to the ring of symmetric
functions in infinitely many variables, so the shuffle algebra action
produces many interesting symmetric functions. in particular we are able
to construct a new polynomial $phi_{m,n}[x;q,t]$ which reduces to
$phi_n[x;q,t] for m=n+1$, and conjecture that $phi_{m,n}[x;q,t] =
pi_{m,n}[x;q,t]$ for general coprime $m,n$. in this talk, we will explain the ample connection that led to this extension of the shuffle conjecture. this is joint work with eugene gorsky.

this will be the second of our informal seminars on geometric measure theory. this week i will finish the variational characterisation of smooth minimal and cmc hyper-surfaces arising from the area minimising problem and the isoperimetric problem respectively.

a subfactor has infinite depth if its standard representation generates infinitely many irreducibles. such subfactors are hard to construct and only very few methods are known to produce examples with non-integer jones index. we will explain one such procedure, which involves a notion of free product for the associated planar algebras (joint work with vaughan jones).

a signal molecule, such as a hormone, interacts with receptor molecules
triggering a cascade of downstream events which we call its pathway.
xenobiotic chemicals can alter normal biological functions by interacting
with receptors in ways that mimic natural signaling molecules. a new
way to test xenobiotic chemicals for interference along these pathways
is to use simple cell-based assays. these tests are considerably
cheaper and far less time-consuming than traditional animal-based tests
(a very important consideration when we think of the tens of thousands
of chemicals to which we are exposed). however, the assays are themselves complex biological processes that can respond to chemical perturbations in multiple ways, so determining the levels of interference of the chemicals from the data is non-trivial.
in this talk i discuss a mathematical model that can be used to
integrate data from a large number of assays and derive a measure of the
probability that activity in the assay is due to activity in the intended pathway or due to activity in a number of assay interference pathways. the approach is employed to analyze data from a battery of 20 estrogen receptor assays in which 1800 chemicals were tested. the results are compared with expected data from a set of reference chemicals.
the work was initiated at a one-week workshop titled ``modeling problems related to our environment,'' at the american institute of mathematics. the nature of the collaboration is itself of interest and i will devote some time to discussing that.

using results of drinfeld and taguchi, we establish an equivalence of categories between the category of ``drinfeld displays'' (objects to be introduced) and the category of $\pi$-divisible modules. we define tensor products of $\pi$-divisible modules and using the above equivalence, we prove that the tensor products of $\pi$-divisible modules over locally noetherian base schemes exist and commute with base change. if time permits, we will show how this will provide tensor products of lubin-tate groups and formal drinfeld modules.

we will look how to model cells (or more precisely vesicles) with energy functionals. we will also look at the sharp interface limit of one such phase field model constructed by shao, rappel, and levine. finally we will look at some numerical simulations based on shao-rappel-levine model and other models.

this framework is based on the causal set approach to discrete quantum gravity. we first construct a causal growth process (cgp). we �quantize� the cgp by forming hilbert spaces of sets of finite paths. a quantum dynamics is generated by a sequence of probability operators on these hilbert spaces which then gives a quantum sequential growth process. we also obtain a quantum measure space using suitable subsets of the path space. we define a covariant bidifference operator on the hilbert space of causal sets. employing this operator we define a discrete curvature operator and discrete einstein equations. we comment on the relationship of this to classical general relativity.

we continue with our seminars on gmt. lei ni will talk about some of the analysis preliminaries we require, such as compactness theorems for radon measures and bv functions.

come play america's favorite game show! this round has all new questions.

a knot homology theory associates to a knot or link a chain complex whose graded euler characteristic is a classical knot polynomial. this type of knot invariant has been increasingly influential in low-dimensional topology since the first one was defined in 1999. this primarily expository talk will introduce some knot homology theories with an emphasis on the commonalities in their constructions and their relationships to other areas in mathematics (symplectic geometry, representation theory, etc.). towards the end, we will encounter some areas of current research. no significant knowledge of low-dimensional topology will be assumed. the talk should be accessible to beginning graduate 2022年亚洲世界杯预选赛 , but hopefully still interesting to those who are further along!

any smooth affine hypersurface z of complex dimension n deformation retracts to a cell complex of real dimension n. starting from the newton polytope of the defining equation of z, i will give an explicit combinatorial construction of a compact space s, comprised of n-dimensional components, which embeds into z as a deformation retract. in particular, z is homotopy equivalent to s. the construction uses toric degenerations, nakayama-ogus's work in log geometry and the kato-nakayama space. it is motivated by the homological mirror symmetry program. if time permits, i will explain the connections. this work is joint with nicola sibilla, david treumann and eric zaslow.

this talk is prompted by the long standing question of whether it is
possible for the universal enveloping algebra of an in finite
dimensional lie algebra to be noetherian. to address this problem,
we answer a 23-year-old question of carolyn dean and lance small;
namely, we prove that the universal enveloping algebra of the witt
(or centerless virasoro) algebra is not noetherian. we employ
algebro-geometric techniques from sue sierra's classification of
(noncommutative) birationally commutative projective surfaces to
accomplish this task.

as a consequence of our main result, we show that the enveloping
algebras of many other infinite dimensional lie algebras also are not
noetherian. these lie algebras include the virasoro algebra and
all z-graded simple lie algebras of polynomial growth.

this is joint work with sue sierra.

genetically encoded biosensors based on fluorescence resonance energy transfer (fret) have been widely applied to visualize the molecular activity in live cells with high spatiotemporal resolution. the enormous amount of video images and the complex dynamics of signaling events presented tremendous challenges for data analysis and demand the development of intelligent and automated imaging analysis methods specifically designed for the studies of live cell imaging. we have developed advanced and automated computational imaging analysis methods for quantifying and simulating the motion of biosensors, reconstructing the de facto molecular activities, and tracking and analyzing the spatiotemporal molecular interactions in a single live cell with high-throughput power. based on fluorescence recovery after photobleaching (frap) experiments, we have developed a finite element (fe) method to analyze, simulate, and subtract the diffusion effect of mobile biosensors. the results indicate that the src biosensor located in the cytoplasm moves 48 folds faster ($0.9360.06 mm^2/sec$) than those anchored on different compartments in plasma membrane (at lipid raft: $0.1160 mm^2/sec$ and outside: $0.1860.02 mm^2/sec$). the mobility of biosensor at lipid rafts is slower than that outside of lipid rafts and is dominated by two-dimensional diffusion. furthermore, we have developed a general correlative fret imaging method (cfim) to quantify the subcellular coupling between an enzymatic activity and a phenotypic response in live cells, e.g. at focal adhesions (fas). cfim quantitatively evaluated the cause-effect relationship between src kinase activation and fa dynamics monitored in single cells. cfim showed that the growth factor-stimulated fa disassembly at cell periphery was linearly dependent on the local src activation with a time delay. the fa disassembly per unit of src activation (coupling capacity), as well as the time delay, was regulated by cell-matrix interaction via different integrin receptors. the results revealed a tight enzyme-phenotype coupling in fa populations mediated by integrin a[v]b[3], but not in those by integrin a[5]b[1]. therefore, our computational analysis methods can allow the high-throughput quantification of molecular motions and interactions at subcellular levels in single live cells. the results should advance our systems understanding of the hierarchical interactions of signaling molecular network at subcellular microdomains.

we continue with our seminars on gmt. lei ni will talk some more about the compactness theorem for radon measures.

for a proper smooth variety over a perfect field of characteristic p, crystalline cohomology is a good integral model for rigid cohomology and crystalline chern classes are integral classes which are rationally compatible with the rigid ones. the overconvergent de rham-witt complex introduced by davis, langer and zink provides an integral p-adic cohomology theory for smooth varieties designed to be compatible with rigid cohomology in the quasi-projective case. the goal of this talk is to describe the construction of integral chern classes for smooth varieties rationally compatible with rigid chern classes using the overconvergent complex.

building on the work which will appear in my thesis and
certain formalism introduced in f. pellarin's paper \textit{values of certain $l$-series in positive characteristic},
i will introduce a family arising from the carlitz module in the ring of twisted power series over the ring $k$ of rational
functions in one indeterminate with coefficients in a finite field.
i will describe how this family gives rise to both the
explicit calculation of the rational functions appearing
(inexplicitly) in pellarin's main result in the paper above
and also to certain $k$-relations between thakur's
multizeta values originally introduced in his
book \textit{function field arithmetic}.
this is a joint work with f. pellarin.

i will discuss an explicit iwasawa theoretic construction of tate (exact) sequences and give some of its applications to various conjectures on special values of artin l-functions. this is based on joint work with greither and banaszak.

a subgraph of an edge colored graph is called rainbow if each edge has a distinct color. brualdi and hollingsworth proved that in any edge coloring of a complete graph by perfect matchings, there are two edge disjoint rainbow spanning trees and conjectured that a full partition into rainbow spanning trees is possible (for $k_{2n}$ , where $n ? 3$). kaneko, kano, and suzuki proved that one may always find three edge disjoint rainbow spanning trees. in this talk, we show that in this situation a constant fraction of the graph can be covered by edge disjoint rainbow spanning trees. we'll discuss some of the main challenges and ideas in the proof, and an extension of the conjecture by kaneko, kano, and suzuki that considers all proper edge colorings and not just those by perfect matchings.

having a fundamental spacetime view of physics, appears more justified in attempting to construct a quantum theory of gravity. in this talk, for this reason, we adopt a path integral approach, and we attempt to construct a self-consistent realistic histories formulation of quantum theory, namely the "coevents formulation". after revising the histories viewpoint of classical physics, we attempt to apply this to the quantum case. however, the nature of the probabilities arising from the path integral, leads us to alter the classical picture. the new ontology is that of a coevent (or a coarse grained history), and we analyse the consequences of this (relatively) novel proposal.

adopting a path integral approach to quantum theory leads to the definition of quantum measure. one of its main properties, is that one can cover the full sample space with sets of quantum measure zero. the physical consequence of this, is that one cannot maintain the one-history-realised viewpoint. this leads to the proposed coevents formulation. in this talk, after a very brief introduction to the formulation, we examine certain important issues that arise. firstly, how the kochen specker theorem and the existence of zero covers is evaded. at this point, a brief comparison of the coevents formulation with the consistent histories will be done. secondly, how requiring deductive reasoning for the quantum world (and the modus ponens inference rule) necessarily leads to the multiplicative coevents defined earlier.

recently it has been observed that the numbers of 2-crossings and 2-nestings have a symmetric joint distribution over many combinatorial structures, including permutations, matchings, set partitions, and linked partitions. these results have been put by kasraoui in the larger context of enumeration of northeast and southeast chains of size 2 in fillings of moon polyominoes.
in this talk we present much stronger symmetric properties of northeast and
southeast chains.
our results are obtained by generalizing the polyomino model in two ways:
(1) the polyomino is equipped with a charge function, and
(2) we relax the constraints on the polyominoes to allow a full action of the symmetric group.
this is a joint work with andrew wang and jean yeh.

in this talk we show how analyzing basic depth first search algorithm leads to a simple proof of the two most classical results about random graphs:

1. the result of erdos-renyi that the random graph $g(n,p)$ experiences sharp phase transition around $p=1/n$. for $p=(1-\epsilon)/n$, all connected components of $g(n,p)$ are typically of size $o(\log n)$, while for $p=(1+\epsilon)/n$, with high probability there exists a connected component of size linear in n.

2. the result of ajtai-komlos-szemeredi that in the supercritical regime $p=(1+\epsilon)/n$, random graph typically contains a path of linear length.

joint work with m. krivelelvich

pick functions are the analytic maps of the upper half plane into itself. their boundary behavior was studied classically by many household names such as caratheodory, julia and nevanlinna. for example, nevanlinna showed that asymptotic expansions of a certain type of pick function at infinity parametrize the solutions to the hamburger moment problem. we propose a program for studying interpolation and approximation multivariable pick functions on the boundary using techniques from functional analysis which have roots in systems engineering.

we describe joint work (with david ben-zvi and david nadler) that
constructs an equivalence between the derived category of smooth
representations of $\mathrm{gl}_n(\mathbb{q}_p)$ and a certain category
of coherent sheaves on the moduli stack of langlands parameters for
$\mathrm{gl}_n$. the proof of this equivalence is essentially a
reinterpretation of $k$-theoretic results of
kazhdan and lusztig via derived algebraic geometry. we will also discuss
(conjectural) extensions of this work to other quasi-split groups, and
to the modular representation theory of $\mathrm{gl}_n$.

g-protein coupled receptors (gpcrs) mediate cellular responses to various hormones and neurotransmitters and are important targets for treating a wide spectrum of diseases. while significant advances have been made in structural studies of gpcrs, details of their activation mechanism remain unclear. the x-ray crystal structure of the m2 muscarinic receptor, a key gpcr that regulates human heart rate and contractile forces of cardiomyocytes, was determined recently in an inactive antagonist-bound state. here, activation of the m2 receptor is directly observed via accelerated molecular dynamics (amd) simulation, in contrast to previous microsecond-timescale conventional md (cmd) simulations in which the receptor remained inactive. receptor activation is characterized by formation of a $tyr206^{5.58}$-$tyr440^{7.53}$ hydrogen bond and ~6 $\aa$ outward tilting of the cytoplasmic end of tm6, preceded by relocation of $trp400^{6.48}$ towards $phe195^{5.47}$ and $val199^{5.51}$ and flipping of $tyr430^{7.43}$ away from the ligandbinding cavity. network analysis reveals that communication in the intracellular domains is greatly weakened during activation of the receptor. together with the finding that residue motions in the ligand-binding and g-protein coupling sites of the apo receptor are correlated, this highlights a dynamic network for allosteric regulation of the m2 receptor activation.

i will report on an ongoing joint project with david helm and yichao tian. let $p$ be a prime unramified in a totally real field $f$. the goren-oort strata are defined by the vanishing locus of the partial hasse invariants; they furnish an analog of the stratification of modular curves mod $p$ by the ordinary locus and the supersingular locus. we give an explicit global description of the goren-oort stratification of the special fiber of the hilbert modular variety for $f$. an interesting application of this result is that, when $p$ is inert of even degree, certain generalizations of the strata considered by goren-oort contribute non-trivially as tate cycles to the cohomology of the special fiber of the hilbert modular varieties. under some mild conditions, they generate all the tate cycles.

extremal combinatorics is one of the central branches of discrete mathematics which deals with the problem of estimating the maximum possible size of a combinatorial structure which satisfies certain restrictions. often, such problems have also applications to other areas including theoretical computer science, additive number theory and information theory. in this talk we will illustrate this fact by several closely related examples focusing on a recent work with alon and moitra.

causal set theory is a promising candidate of a discrete theory of quantum gravity.
yet even measuring the dimension of a causal set and deciding if it is at all manifold-like are hard.
we propose a new observable, the abundance of intervals, which can help with both these tasks.
it is at once characteristic for the dimension of a causal set and gives a strong indicator if the space time is manifold like.

we will discuss joint work with d. lafountain on a proof of the jones conjecture. recently, dynnikov and prasolov provided a proof of this conjecture. we present here an alternative approach.

i will explain how to prove the breuil-mezard conjecture for split (non-scalar) residual representations by local methods. combined with the cases previously proved by kisin and paskunas, this completes the proof of the conjecture for $\mathrm{gl}_2(\mathbb{q}_p)$. as an application, we can prove the fontaine-mazur conjecture in the cases that the global residual representation restricts to the decomposition group at $p$ as an extension of the trivial character by the mod $p$ cyclotomic character. these are the cases complementary to kisin's. this is a joint work with yongquan hu.

the ``shuffle conjecture'' states that the bigraded frobeneus characteristic of the space of diagonal harmonics (equal to \(\nabla e_n\)) can be computed as the weighted sum of combinatorial objects called parking functions. in a 2010 paper haglund, morse, and zabrocki studied the family of polynomials \(\nabla c_{p_1}\dots c_{p_k}1\), where $p=(p_1,\ldots ,p_k)$ is a composition and the $c_a$ are certain rescaled hall-littlewood vertex operators. they conjecture that these polynomials enumerate a composition indexed family of parking functions weighted by the same statistics. this refinement of the nearly decade old ``shuffle conjecture,'' when combined with properties of the hall-littlewood polynomials implies the existence of certain bijections between these families of parking functions. the existence of these bijections then follows from some relatively simple properties of a certain recursively constructed family of polynomials. this work introduces those polynomials, explains their connection to the conjecture of haglund, morse, and zabrocki, and explores some of their surprising properties, both proven and conjectured. the result is an intriguing new approach to the shuffle conjecture and a deeper understanding of some classical parking function statistics.

the strauss conjecture for the minkowski spacetime in three dimensions
states that the semilinear equation
\[
\box u = |u|^p, \quad u(0)=\epsilon f, \quad \partial_t u(0)=\epsilon g
\]
has a global solution for all $f$ and $g$ smooth, compactly supported and
$\epsilon$ small enough if $p > 1+\sqrt 2$. we prove a similar result in the
context on schwarzschild and kerr with small angular momentum spacetimes. this is
joint work with h. lindblad, j. metcalfe, c. sogge, and c. wang

let $z$ be a variety and $a$ an elliptic curve over the function field of $z$. i. dolgachev and m. gross define the \emph{geometric shafarevich-tate group} of $a$ over $z$ to classify the set of isomorphism classes of principal homogeneous spaces for $a$ which are locally trivial in the \'etale topology. in joint work with chad schoen, we describe how to compute the shafarevich-tate group when $a$ is the generic fiber of a class of elliptic threefolds and $z$ is the base. we also obtain results on the brauer groups of such threefolds.

equipped with the $l^2$-distortion distance, the space "$x$" of all metric measure spaces $(x,d,m)$ is proven to have nonnegative curvature in the sense of alexandrov. geodesics and tangent spaces are characterized in detail. moreover, classes of semiconvex functionals and their gradient flows on "$x$" are presented.

tractable characterizations of polynomials which are nonnegative on a set k, is a topic of independent interest in mathematics, but is also of primary importance in many important applications, and notably in global optimization. we will review two kinds of tractable characterizations for nonnegative polynomials through linear matrix inequalities (lmis) and semidefinite programs (sdps).

the first characterization of nonnegativity is based on the defining polynomials of the set k, via sums of squares (sos)-weighted representation. for instance, in global optimization this allows to define a hierarchy of semidefinite relaxations which yields a monotone sequence of lower bounds converging to the global optimum (and in fact, finite convergence is generic).

the second (dual) characterization of nonnegativity is based on moments of a measure whose support is k. in this approach, checking nonnegativity is reduced to solving a sequence of generalized eigenvalue problems. when applied in global optimization over k, this results in a monotone sequence of upper bounds converging to the global minimum, which complements the previous sequence of lower bounds.

these two (dual) characterizations provide convex inner (resp. outer) approximations (by spectrahedra) for the convex cone of polynomials that are nonnegative on k.

deterministic dynamical system models with delayed feedback and state constraints arise in a variety of applications in science and engineering. under certain conditions oscillatory behavior has been observed and it is of interest to know when there are periodic solutions. here we consider a prototype for such models --- a one-dimensional delay differential equation with non-negativity constraints. we obtain sufficient conditions for the existence of slowly oscillating periodic solutions of such equations when the delay/lag interval is long. under further restrictions, including longer delay intervals, we prove uniqueness and uniform exponential asymptotic stability of such solutions.

uncertainty relations are a distinctive characteristic of quantum theory that imposes intrinsic limitations on the precision with which physical
properties can be simultaneously determined. the modern work on
uncertainty relations employs entropic measures to quantify the lack of
knowledge associated with measuring non-commuting observables. however, i will show here that there is no fundamental reason for using entropies as quantifiers; in fact, any functional relation that characterizes the uncertainty of the measurement outcomes can be used to define an uncertainty relation. starting from a simple assumption that any measure of uncertainty is non-decreasing under mere relabeling of the measurement outcomes, i will show that schur-concave functions are the most general uncertainty quantifiers. i will then introduce a novel fine-grained uncertainty relation written in terms of a majorization relation, which generates an infinite family of distinct scalar uncertainty relations via the application of arbitrary measures of uncertainty. this infinite family of uncertainty relations includes all the known entropic uncertainty relations, but is not limited to them. in this sense, the relation is universally valid and captures the essence of the uncertainty principle in quantum theory.

we will show that every group admitting an unbounded
quasi-cocycle into a mixing non-amenable representation is not inner
amenable. we will discuss how our approach generalizes a recent result of
dahmani, guirardel, and osin on the non-inner amenability of so-called
acylindrically hyperbolic groups. other applications such as to central
sequences in
group-measure space algebras as well as some open problems will also be
touched upon. this is based on joint work with ionut chifan and bogdan
udrea.

circulants are cayley graphs for cyclic groups, and admit dihedral symmetries.
this talk is a summary of some work done with a research student (from spain)
on the genus spectrum of embeddings of circulants on orientable surfaces.
first, we derived a formula for the {\em maximum genus\/} of such embeddings.
then we turned to the question of finding the {\em minimum\/} genus of
such embeddings, for various classes of circulants. in doing this, we found
several counter-examples to a claimed theorem by costa, strapasson, alves
and carlos (2010) on embeddings of circulants on the torus (genus 1), and
then we went on to determine all circulants that have minimum genus 1 or 2.

this work involved a combination of mathematics and computer experimentation,
some of which will be described, with illustrations.

a bilevel program is a sequence of two optimization problems where the constraint region of the upper level problem is determined implicitly by the solution set to the lower level problem. the classical approach to solve a bilevel program is to replace the lower level program by its first order optimality condition. this approach, however, is not valid for the case where the lower level program is nonconvex. the reformulation based on the value function of the lower level program, on the other hand, is completely equivalent to the original bilevel program but may not have the optimal solution of the bilevel program as a stationary point. the combined program with both the value function constraint and the first order condition is much more likely to have the optimal solution as a stationary point. since the value function is in general a nonsmooth function, we propose to solve the problem by smoothing techniques. using smoothing technique, we approximate each nonsmooth lipschitz continuous function by a family of smoothing functions. we use certain penalty based methods to solve the smooth problem and drive the smoothing parameter to infinity. based on the sequence of iteration points and the family of smoothing functions we introduce the weak extended generalized mangasarian-fromovitz constraint qualification (wegmfcq). we show that if the wegmfcq holds at the accumulation point of the iteration points, then the accumulation point is a stationary point of the nonsmooth optimization problem. numerical experiments show that while the egmfcq never hold for bilevel programs, the wegmfcq may hold for bilevel programs easily.

the term "gray code" usually refers to an ordering of the n-bit binary
strings in which successive strings differ in a single bit. for
example, 000, 001, 011, 010, 110, 111, 101, 100 suffices for $n=3$. the
term "de bruijn sequence" usually refers to a circular string of $2^n$
bits in which each n-bit binary string appears once as a substring. for
example, 0000100110101111 suffices for $n=4$ since its substrings are
0000, 0001, 0010, ..., 1110, 1100, 1000 (where the last three substrings
wrap-around).

these concepts have natural generalizations to other combinatorial
objects. for example, 123, 132, 312, 321, 231, 213 is a gray code for
the permutations of {1,2,3} in which successive permutations differ by
an adjacent-transposition. simiarly, 321312 is a universal cycle for
the 2-permutations of {1,2,3}. (the term "universal cycle" is often
used for non-binary de bruijn sequences.)

gray codes and universal cycles are usually constructed 'globally',
meaning that the overall order is easy to describe. in this talk, we
instead consider 'local' constructions, where it is easy to describe the
next object in the order. with this change in focus, we are able to
unify a number of previous results, and solve several well-known open
problems. the talk will begin with an overview of the research area and
its applications, and should be of interest to computer scientists and
discrete mathematicians.

in addition to frequent single-nucleotide mutations, mammalian and
many other genomes undergo rare and dramatic changes called genome
rearrangements. these include inversions, fissions, fusions, and
translocations. although analysis of genome rearrangements was
pioneered by dobzhansky and sturtevant in 1938, we still know very
little about the rearrangement events that produced the existing
varieties of genomic architectures. recovery of mammalian
rearrangement history is a difficult combinatorial problem that i will
cover in this talk. our data sets have included sequenced genomes
(human, mouse, rat, and others), as well as radiation hybrid maps of
additional mammals.

kronecker coefficients count the multiplicities of
irreducible representations in the tensor product of two irreducible
representations of the symmetric group. while their study was initiated
almost 75 years, very little is still known about them, and one of the
major problems of algebraic combinatorics is to find a positive
combinatorial interpretation for the kronecker coefficients. recently
this problem found a new meaning in the field of geometric complexity
theory, initiated by mulmuley and sohoni, where certain conjectures on
the complexity of computing and deciding positivity of kronecker
coefficients are part of a program to prove the ``p vs np'' millennium
problem.

in this talk we will describe several problems and some results on
different aspects of the kronecker coefficients. a conjecture of jan
saxl states that the tensor square $s_\rho$ $ \otimes$ $s_\rho$, where $\rho$ is
the staircase partition, contains every irreducible representation of
$s_n$. we will present results towards this conjecture, as well as a tool
for determining the positivity of certain kronecker coefficients. we
will also explore the combinatorial aspect of the problem and show how
to prove certain unimodality results using kronecker coefficients,
including sylvester's theorem on the unimodality of $q$-binomial
coefficients (as polynomials in $q$) and some new extensions thereof, like
strict unimodality. the results are based on joint work with igor pak
and ernesto vallejo.

shrinking ricci solitons are generalizations of positive einstein
manifolds which arise naturally in the analysis of singularities of
the ricci flow. at present, all known complete noncompact examples
either split locally as products or possess conical structures at
infinity. i will describe recent joint work with lu wang in which we
prove that such conical structures admit little flexibility: if two
shrinking solitons are asymptotic along some end of each to the same
regular cone, then the solitons must actually be isometric on some
neighborhoods of infinity of these ends. as an application, we prove
that the only complete connected shrinking soliton asymptotic to a
rotationally symmetric cone is the gaussian soliton.

we consider critical branching brownian motion with absorption, in which
there is initially a single particle at $x > 0$, particles move according to
independent one-dimensional brownian motions with the critical drift of
negative the square root of 2, and particles are absorbed when they reach
zero. kesten (1978) showed that almost surely this process eventually
dies out. here we obtain upper and lower bounds on the probability that
the process survives until some large time t. these bounds improve upon
results of kesten (1978), and partially confirm nonrigorous predictions of
derrida and simon (2007). we will also discuss results concerning the
behavior of the process before the extinction time, as x tends to
infinity. we estimate the number of particles in the system at a given
time and the position of the right-most particle, and we obtain asymptotic
results for the configuration of particles at a typical time. this is
based on joint work with julien berestycki and nathanael berestycki.

technological innovations have revolutionized the process of scienti�c research and knowledge discovery. nowadays, massive abundance of data is not uncommon in many scientific areas ranging from genomics to economy. they give rise to many novel opportunities in knowledge discovery but come coupled with many unforeseen computational and statistical challenges, including scalability and storage bottleneck, noise accumulation, spurious correlation, incidental endogeneity, and measurement errors. these challenges are distinguished and require both new computational and new statistical paradigms. my current research lies at the frontier of such big data paradigm and focuses mostly on only one task of variable selection and feature extraction.
in this talk i will expose the challenges that arise in this one task and show how optimization, probability and matrix analysis interplay in the new statistical theory.

let $\chi$ be a totally odd character of a totally real number
field. in 1981, b. gross formulated a p-adic analogue of a conjecture of
stark which expresses the leading term at s=0 of the p-adic l-function
attached to $\chi\omega$ as a product of a regulator and an algebraic
number. recently, dasgupta-darmon-pollack proved gross' conjecture in the
rank one case under two assumptions: that leopoldt's conjecture holds for f
and p, and a certain technical condition when there is a unique prime above
p in f. after giving some background and outlining their proof, i will
explain how to remove both conditions, thus giving an unconditional proof
of the conjecture. if there is extra time i will explain an application to
the iwasawa main conjecture which comes out of the proof, and make a few
remarks on the higher rank case.

many biochemical processes at the sub-cellular level involve a small number of molecules. the local numbers of these molecules vary in space and time, and exhibit random fluctuations that can only be captured with stochastic simulations. we present a novel stochastic operator-splitting algorithm to model such reaction-diffusion phenomena. the reaction and diffusion steps employ stochastic simulation algorithms and brownian dynamics, respectively. through theoretical analysis, we have developed an algorithm to identify if the system is reaction-controlled, diffusion-controlled or is in an intermediate regime. the time-step size is chosen accordingly at each step of the simulation. we have used three examples to demonstrate the accuracy and robustness of the proposed algorithm. the first example deals with diffusion of two chemical species undergoing an irreversible bimolecular reaction. it is used to validate our algorithm by comparing its results with the solution obtained from a corresponding deterministic partial differential equation at low and high number of molecules. in this example, we also compare the results from our method to those obtained using a gillespie multi-particle (gmp) method. the second example, which models simplified rna synthesis, is used to study the performance of our algorithm in reaction- and diffusion-controlled regimes and to investigate the effects of local inhomogeneity. the third example models reaction-diffusion of chey molecules through the cytoplasm of escherichia coli during chemotaxis. it is used to compare the algorithm’s performance against the gmp method. our analysis demonstrates that the proposed algorithm enables accurate simulation of the kinetics of complex and spatially heterogeneous systems. it is also computationally more efficient than commonly used alternatives, such as the gmp method.

since 2005 a class of algebras, the {\it leavitt path algebras} $l_k(e)$ (for $k$ any field and $e$ any directed graph), has been a focus of investigation by both algebraists and c$^*$-analysts. in this talk i'll define these algebras, and give some of their general properties. then i'll describe some of the current lines of investigation in the area. in particular, i'll show a connection between ideas from symbolic dynamics (``flow equivalence") and the grothendieck group $k_0(l_k(e))$. with that connection in mind, i'll explain one of the most compelling open problems in leavitt path algebras, the {\it algebraic kirchberg phillips question}, which can be paraphrased as: can we recover $l_k(e)$ from $k_0(l_k(e))$? while the answer to the corresponding question for graph c$^*$-algebras is {\it yes}, there remains a barrier to a complete answer on the algebra side.

if $n$ is a nonnegative integer, a partition of $n$ is a sequence of weakly decreasing positive integers which sum to $n$. partitions arise in the study of the symmetric group of permutations of the set $\{1, 2, \ldots, n\}$, the geometry of the grassmannian of $k$-dimensional subspaces of an $n$-dimensional vector space, and in numerous combinatorial areas such as finite field theory. i will show how a visualization of partitions obtained by shoving boxes into a corner can be used to define a polynomial refinement of the binomial coefficients called the gaussian polynomials and will discuss various properties of this polynomial refinement (and present at least one open problem).

it has been a long history of utilizing interactions in regression
analysis to investigate interactive effects of covariates on response
variables. in this paper we aim to address two kinds of new challenges
resulted from the inclusion of such high-order effects in the regression
model for complex data. the first kind arises from a situation where
interaction effects of individual covariates are weak but those of
combined covariates are strong, and the other kind pertains to the
presence of nonlinear interactive effects. generalizing the single index
coefficient regression model, we propose a new class of semiparametric
models with varying index coefficients, which enables us to model and
assess nonlinear interaction effects between grouped covariates on the
response variable. as a result, most of the existing semiparametric
regression models are special cases of our proposed models. we develop a
numerically stable and computationally fast estimation procedure utilizing
both profile least squares method and local fitting. we establish both
estimation consistency and asymptotic normality for the proposed
estimators of index coefficients as well as the oracle property for
thenonparametric function estimator. in addition, a generalized likelihood
ratio test is provided to test for the existence of interaction effects or
the existence of nonlinear interaction effects. our models and estimation
methods are illustrated by both simulation studies and an analysis of body
fat dataset.

recent work of eugene gorsky and andrei negut have put the finishing touches of what may be viewed as the symmetric function side of the extended shuffle conjectures. their work, together with hikita's construction of the combinatorial side combine into a truly remarkable family of conjectures which beautifully extend the classical shuffle conjecture. these developments have opened up a vast research area of algebraic combinatorics considerably enlarging classical symmetric function theory as well as the theory of parking functions created by computer scientists. this talk is an elementary introduction to this new research area.

it is well-known that adding extra capacity to queues in networks where individuals choose their own route can sometimes severely degrade performance, rather than improving it. we will discuss some simple examples of queueing networks where this is the case under probabilistic routing, but where under state-dependent routing the worst case performance is no longer seen. this raises the question of whether giving arrivals more information about the state of the network leads to better performance more generally.

this is joint work with heti afimeimounga, lisa chen, mark holmes, bill solomon, and, latterly, niffe hermansson and elena yudovina.
(jointly sponsored by the mathematics and ece departments.)

in this talk i will try to give some idea of what originally got me interested in the theory of noncommutative rings. the weyl algebras are fundamental examples in noncommutative ring theory. they have many interesting properties which illustrate the many ways that noncommutative rings are more complicated (and intriguing) than commutative ones. after introducing these examples, i will discuss how weyl algebras have served as a starting point for one avenue in my recent research.

in this work, we study singular solutions and pattern formation in aggregation swarming models in two dimensions. this class of models involve pairwise interactions and an active scalar equation in the continuum limit. we show the connection between this model and the classical vorticity equation from fluid dynamics. the aggregation model can lead to a rich family of patterns. we discuss the stability of the singular patterns formed with this model.

geometry and physics have been, in recent times, a great inspiration for mathematical problems. it is therefore useful to consider numerical methods that pay special attention to various invariant geometric structures, and minimize dependence on choices of coordinate systems. attention to this aspect can lead to better stability and qualitative behavior. one important tool we have in capturing geometric structure is differential forms; many common differential equations find their most natural expressions in terms of forms. the finite element exterior calculus (feec) provides a framework for discretizing differential forms as finite elements. we present examples of how feec recasts problems into a more geometric form, and describe generalization to hyperbolic problems, by, specifically, application of feec to solving maxwell's equations. we describe a choice of discretization (whitney forms) and possible generalizations and their issues.

we consider the problem of finding a hidden clique in a random graph. this problem was studied by alon, krivelevich and sudakov in 1998. using matlab, we wrote two algorithms that are designed to find a hidden clique. one of the algorithms was suggested by the work of alon, krivelevich and sudakov. the other algorithm is a slight variation that seems to perform better in our experiments.

for a graph $g$, the bipartition number $\tau(g)$ is the minimum number of complete bipartite subgraphs whose edge sets partition the edge set of $g$. in 1971, graham and pollak proved that $\tau(k_n)=n-1$. since then, there have been a number of short proofs for graham-pollak theorem by using linear algebra or by using matrix enumeration. we present a purely combinatorial proof for graham-pollak theorem. for a graph $g$ with $n$ vertices, one can show $\tau(g) \leq n- \alpha(g)$ easily, where $\alpha(g)$ is the independence number of $g$. erd\h{o}s conjectured that almost all graphs $g$ satisfy $\tau(g)=n-\alpha(g)$. in this talk, we prove upper and lower bounds for $g(n,p)$ which gives support for erd\h{o}s' conjecture. joint work with fan chung.

cryptography has a long history, dating back to the first century bc.
the twentieth century saw huge advances in cryptography as systems for
rapid long-distance communications developed, to the point where now
cryptographic practices are used on a daily basis for commonplace
activities such as checking email. in this talk i will give a brief
survey of mathematics that go into the modern practice of cryptography,
in both designing and attacking cryptographic systems.

understanding solid liquid phase transition is of great importance in many applications starting from growth of nano-crystals in solutions for solar cells to making the perfect ice cream/slushy. this forms the basis for understanding more complex phenomena such as solvation and self assembly in active matter systems.the element of interest in this talk is to understand the role and the effect of the fluid flow on the phase transition. the same effect that prevents the ice cream or slushy from freezing into a solid block.this talk will consider a system of particles that interact through a pair potential and choose a revised enskog kinetic theory to describe the time evolution. using a generalized chapman-enskog procedure non-local hydrodynamics that take the form of a density functional theory will be derived. a numerical study on the effect of melt flow on the freezing transition will be discussed in detail. some potential applications to self assembly in active matter systems and solvation will also be outlined.
this work was done in collaboration with john lowengrub and aparna baskaran.

i will talk on some fundamental problems in the representation theory of lie superalgebras, more particularly about so-called exceptional lie superalgebras. i will give basic definitions, some history, and explain details.

a path to the numerical discretization of general relativity

gauge symmetries play a central role in every physical theory, from fluid dynamics to general relativity (gr). unfortunately, their role both within theoretical and numerical applications is often overlooked, as one must pick a gauge in order to proceed with a well-defined problem in hand. as a result, most discretization schemes choose a gauge and hence fail to preserve the full symmetry structure of the lagrangian. this problem is perhaps the most egregious within the framework of gr, as the gauge symmetry of the theory is the group of diffeomorphisms of spacetime; in other words, spacetime coordinate transformations lead to physically indistinguishable dynamics.

in this talk, i will showcase the first baby steps that have been made towards a geometric, symmetry-preserving discretization scheme for gr. i will present an extension of finite element exterior calculus (feec) to flat, pseudo-riemannian manifolds of arbitrary dimension. in particular, i will apply this framework to electromagnetism (em) in minkowski spacetime, and highlight the automatic imposition of a self-consistent gauge condition at first order. furthermore, using the homothetic subdivision and refinement scheme given by rapetti and bossavit, i will also demonstrate that this scheme can be extended to arbitrary order. within the context of em, this leads to a much richer approximation to the full gauge group.

a quiver is a directed graph, that is, a collection of points and arrows pointing from some points to others. a representation of the quiver is a way of assigning a vector space to each point and a linear transformation to each arrow. we discuss what it means for two representations to be isomorphic. we then show how the theory of representations of quivers captures many of the basic ideas of linear algebra such as similarity and equivalence of matrices. if time permits, we will discuss gabriel's theorem, one of the most fundamental results in the subject, which classifies those quivers of finite representation type.

i'll present a general theory of "tropical schemes", or skeleta, which is based on reversing the correspondence that associates to a "tropical object" its semiring of convex piecewise-affine functions; in this way, we can understand, and generalise, certain classical constructions using semiring theory. for example, we can recover the dual intersection complexes of degenerations of varieties as skeleta. this construction is naturally intertwined with the theory of non-archimedean geometry.

recently ikavi has studied the evolution of a the polar dual of a convex body evolving by curvature flows. the technique has been used by stancu and ivaki previously in studying curvature flows are their relation to affine inequalities. i will describe how ivaki shows the evolution of the polar dual is very similar to the evolution of the original body, evolving by an expanding gauss curvature flow. using techniques that go back to tso and then later andrews, an upper curvature bound is obtained for the original body. the novel part of this paper is that essentially the same technique yields an upper curvature bound for the dual body, which by duality corresponds to a lower curvature bound for the original body. convergence results are then obtained in a fairly standard manner.

we consider the so-called drinfeld setting, a function field analogue of some aspects of the theory of modular forms, modular curves and elliptic curves. in this setting drinfeld constructed families of modular curves defined over a complete, algebraically closed field of characteristic $p.$ we are interested in studying their weierstrass points, a finite set of points of geometric interest. in this talk we will present some tools from the theory of drinfeld modular forms that were developed to further this study, some geometric and analytic considerations, and some partial results towards computing the image of these points modulo a prime ideal of the base ring.

tropical food will be provided.

in this talk, we give a mathematical derivation of a pathway- based mean-field model for e. coli chemotaxis based on the moment closure in kinetic theory. the pathway based model incorporate the most recent intracellular chemical dynamics. the derived moment system, under some assumptions, gets to the chemotaxis model pro- posed in [g. si, t. wu, q. quyang and y. tu, phys. rev. lett., 109 (2012), 048101], especially an important physical assumption made in which can be understood explicitly in this new moment system. we obtain the keller-segal limit by considering the moment system in the regime of long time and strong tumbling rate. numerical experiments are presented to show the agreement of the moment system with (individual based) signaling pathway- based e. coli chemotaxis simulator ([l. jiang, q. ouyang and y. tu, plos comput. biol., 6 (2010), e1000735]).

abstract: brownian motion is continuous random motion, discovered by early 19th century botanist robert brown, studied by albert einstein in one of the three 1905 papers that led to his nobel prize, and finally put on firm mathematical footing by norbert wiener in the 1920s. it is intimately tied to local and global geometry, and is an important tool in studying heat flow on more general manifolds.
in this talk, i will give an overview of some results on brownian motion on classical lie groups, focusing on unitary groups $u_n$ and general linear groups $gl_n$. i will discuss my recent work on the large-n limit of brownian motions on these groups, their fluctuations, and applications to random matrix theory and operator algebras.

in this talk we discuss the proof of a conjecture made by ron evans on the relationship between the eighth symmetric moment of the classical kloosterman sum and the fourier coefficients of the newform of level 6 and weight 6. rather than delve deeply into any particular technical part of the proof, we will emphasize the fascinating way in which ideas from analysis, geometry, galois representations, automorphic forms, and combinatorics interact in the course of the proof.

traditionally, research focusing on the design of scheduling and
staffing policies for service systems has modeled servers as having
fixed (possibly heterogeneous) service rates. however, service systems
are often staffed by people. then, the rate a server chooses to work may
be impacted by the scheduling and staffing policies used by the system.
we present a model for such "strategic servers" that choose their service
rate in order to maximize a trade-off between an "effort cost", which
captures the idea that servers exert more effort when working at a faster rate,
and a "value of idleness", which assumes that servers prefer to be idle as much as possible. in this strategic server framework, we re-visit classic scheduling and staffing questions in many-server systems, and, in particular, we investigate the performance of the common square-root safety staffing rule.

based on joint work of
s. doroudi, r. gopalakrishnan, a. r. ward (presenter), and a. wierman

the harmonic oscillator problem in quantum mechanics is to find
operators $a$ and $b$ acting on a hilbert space satisfying the relation
$ab-ba=1$. this is one of the physical motivations behind studying the
weylalgebra and the enveloping algebra of the heisenberg lie algebra.
in this talk, i will present a two-parameter version of this problem and discuss some of the subtleties in looking for simple, primitive factor rings in quantum enveloping algebras.

we discuss how randomization and rank structures can be used in the direct solution of some large dense or sparse linear systems with nearly $o(n)$ complexity and storage. randomized sampling and related adaptive strategies help significantly improve both the efficiency and the flexibility of structured solution. we also demonstrate how these can be extended to the development of matrix-free direct solvers based on matrix-vector products only. this is especially interesting for problems with few varying parameters (e.g., frequency or shift). we show that such structured solvers also have significantly better stability than classical lu factorizations. they are then very suitable for ill-conditioned problems and can provide solutions with controllable accuracies. applications to some difficult situations will be demonstrated and the effectiveness will be justified: 1. preconditioning certain indefinite problems where only matrix-vector products are available; 2. solving ill-conditioned toeplitz least squares problems; 3. finding good initial estimates for iterative (e.g., newton) eigenvalue solutions.

i will talk about the problem of separating multiple signals from each other when we only have access to a few linear (or non-linear) combinations of them. an example of this type of problem is at a cocktail party when you are trying to have a conversation with a friend but there are several conversations happening around you. your ears provide you with a superposition of all the voices, and your brain does remarkably well at focusing on your friend's voice and drowning out all the others. we will talk about one computer algorithm (or time permitting, more) that does such a task (reasonably) successfully. along the way, we will talk about important tools in mathematical signal processing, including the fourier transform and sparsity.

a shortest remaining processing time (srpt) queue is a single server queue in
which the server dedicates its effort to the job that has the least remaining
processing time among all jobs in the system. this is done with preemption
so that when the total processing time of an arriving job is less than that
remaining for the job in service, service of the job in service is paused and
the newly arriving job enters service. shortest remaining processing time is of interest because it is performance optimal in the sense that over all non-idling service disciplines it minimizes queue length. however, this may come at the expense of long delays for jobs with large total processing times. from a mathematical point of view, srpt is challenging to analyze, in part because the preemptive nature of srpt leads to an infinite dimensional state space. by formulating and analyzing a probabilistic model for srpt that employs measure-valued processes, we investigate this performance trade off. the talk will begin with a discussion of a fluid limit (first order approximation) for the stochastic model. this will yield some interesting insights about the anticipated performance trade-off. next work in progress on a diffusion limit (second order approximation) will be discussed. various parts of this work are joint with d. down (mcmaster university), h. c. gromoll (u virginia), and l. kruk (maria curie-sklodowska university)

general relativity (gr) suffers, in several ways -- from source modeling to
data analysis--, from the "curse of dimensionality", by which it is here
roughly meant that the complexity of the system grows beyond practical
control as more physical parameters of interest are taken into account.

this is a very concerning, practical bottleneck for the upcoming generation
of advanced gravitational wave detectors, worth billions of dollars, which
is expected to detect within a few years gravitational waves in a direct
way for the first time in history and reach unexplored portions of the
universe. this is the most anticipated era of general relativity since the
study of hulse and taylor which lead to their nobel prize in 1993.

due to the low signal-to-noise ratio of any expected detection, matched
filtering and catalogs of templates are needed, both for detection and
parameter estimation of the source of any trigger.

numerical relativity simulations of the einstein equations typically take
hundreds of thousands of hours, making a survey of the full parameter space
intractable with standard search methods. parameter estimation algorithms
are just impractical, would take years of computing time.

i will first summarize previous work i have involved in and the
state-of-the-art of einstein's equations as an initial-boundary value
problem, both at the continuum and discrete level. next i will discuss my
current research program, in collaboration with many colleagues, to tackle
the curse of dimensionality in gr, existing results, and plans for the
future. the effort is essentially about dealing with parametrized systems
using reduced order models (rom), and the techniques are generic and
applicable to many areas.

in our driving field, general relativity, we typically obtain several (from
3 to 11) orders of magnitude of computational speedup compared to direct
approaches, both on the modeling and data analysis sides. as an example, we
can now substitute a typical months-long supercomputer simulation of
colliding black holes with a surrogate model that can run on a smartphone
within a tenth of a millisecond without loss of accuracy. real time
calculations on mobile devices not only provide a huge opportunity of
outreach about complicated systems such as colliding black holes, but also
application-specific ones in many areas, such as on-site or remote design
and control.

the effort is a combination of theoretical physics, analytical and
numerical methods for partial differential equations, scientific computing,
large scale computations, reduced order modeling, approximation theory,
sparse representations and signal processing.

it is well know that water-mediated interactions play critical roles in biomolecular recognition processes. decades of theoretical and experimental studies showed us a very complicated picture. no single reliable model can provide simple and consistent descriptions to its role in kinetics, thermodynamic, and structural characterizations yet.

however, a joint explicit solvent molecular dynamics (md) simulations and the variational implicit-solvent model (vism) may still provide semi-quantitative insight into these complicated heterogeneous hydration, the solute-solvent interface, and individual interesting water molecules around proteins.

in this study, we used this combination approach to study the hydration properties of the biologically important p53/mdm2 complex. unlike simple model solutes, in such a realistic and heterogeneous solute-solvent system with both geometrical and chemical complexity, it occurs that the local water distribution sensitively depends on nearby amino acid properties and the geometric shape of the protein. we show that the vism can accurately describe the locations of high and low density solvation shells identified by the md simulations, and can explain them by a local coupling balance of solvent-solute interaction potentials and curvature. in particular, capillary transitions between local dry and wet hydration states in the binding pocket are captured for inter-domain distance between 4 to 6 � right at the onset of binding. the underlying physical connection between geometry and polarity are illustrated and quantified. our study offers a microscopic and physical insight into the heterogeneous hydration behavior of the biologically highly relevant p53/mdm2 system and demonstrates the fundamental importance of hydrophobic effects for biological binding processes. we hope this study may help to establish new design rules for drugs and medical substances.

a character on a group is a class function of positive type. for finite groups, the classification of characters is directly connected to the representation theory of the group and plays a key role in the classification of finite simple groups. based on the rigidity results of mostow, margulis, and zimmer, it was conjectured by connes that for lattices in higher rank lie groups the space of characters should be completely determined by the finite dimensional representations of the lattice. in this talk, i will give an introduction to this conjecture (which has now been solved in a number of cases), and i will discuss its relationship to ergodic theory, abstract harmonic analysis, invariant random subgroups, and von neumann algebras.

extracting knowledge and providing insights into the complex
mechanisms underlying noisy high-dimensional data sets is of utmost
importance in many scientific domains. networks are an example of
simple, yet powerful tools for capturing relationships among entities
over time. for example, in social media, networks represent
connections between different individuals and the type of interaction
that two individuals have. in systems biology, networks can represent
the complex regulatory circuitry that controls cell behavior.
unfortunately the relationships between entities are not always
observable and need to be inferred from nodal measurements.

i will present a line of work that deals with the estimation of
high-dimensional dynamic networks from limited amounts of data. the
framework of probabilistic graphical models is used to develop
semiparametric models that are flexible enough to capture the dynamics
of network changes while, at the same time, are as interpretable as
parametric models. in this framework, estimating the structure of the
graphical model results in a deep understanding of the underlying
network as it evolves over time. i will present a few computationally
efficient estimation procedures tailored to different situations and
provide statistical guarantees about the procedures. finally, i will
demonstrate how dynamic networks can be used to explore real world
systems.

an infinite dimensional lie algebra is locally finite if every
finitely generated subalgebra is finite dimensional. on one extreme are the
simple, locally finite lie algebras. we provide structure theorems which
describe such algebras over fields of positive characteristic. on the other
extreme are the maximal, locally solvable lie algebras, which are borel
subalgebras. we provide a theorem which shows that such lie algebras are
stabilizers of maximal, generalized flags, which is a generalization of
lie's theorem. we will finish by describing some new directions in the
study of these lie algebras.

how does one measure area? as an example, how can one determine the area of a region on a map for the purpose of real estate appraisal? wouldn't it be great if there were an instrument that would measure the area of a region by simply tracing its boundary? it turns out that there is such an instrument: it is called a planimeter. in this talk we will discuss a particular type of planimeter called the compensating polar planimeter. there will be a little bit of history and some analysis involving line integrals and green's theorem. finally, there will be a chance to see and touch actual examples of these fascinating instruments from the speaker's collection.

we consider a random model for directed graphs whereby an arc is placed from one vertex to another with a prescribed probability
$p_{ij}$ which may vary from arc to arc. using perturbation bounds as well as chernoff inequalities, we show that the stationary
distribution of a markov process on a random graph is concentratednear that of the “expected” process under mild conditions. these
conditions involve the ratio between the minimum and maximum in- and out-degrees, the ratio of the minimum and maximum entry in the
stationary distribution, and the smallest singular value of the transition matrix. lastly, we give examples of applications of our
results to known models of directed graphs.

i will talk about work in progress joint with yuguang zhang,
trying to relate boucksom et al's solution to the non-archimedean monge-ampere
equation on k3 surfaces to the real monge-ampere equation on the skeleton.

in this talk, we will first introduce some basic fact on the maximal
slice and its brief history. we will also try to review some existence
and non-existence result in minkowski space. then, we will show that
the bernstein theorem in ads space fails.

i give a bad math talk. over the past several years, i have kept a list of all of the bad things speakers have done during their talks, and i will incorporate them into a single horrible talk and discuss each of the bad aspects afterwards. in the end, it will be entertaining and informative; and hence, not such a bad math talk after all.

the integers do not admit any nontrivial derivations. we will explain
how the operation $x \to$ ${x-x^p \over p}$ can be thought of as a replacement for
the derivative operator on the integers. after the introduction we hope
to explain some recent work on the meaning of "linearity" in this theory.

i will begin with an introduction to the subfactor
classification program, which has two main focuses: restricting the
list of possible principal graphs, and constructing examples when the
graphs survive known obstructions. i will discuss recent joint work
with liu and morrison which classifies 1-supertransitive subfactors
without intermediates with index in $(3+\sqrt{5},6.2)$. we show there
are exactly 3 examples corresponding to a bmw algebra and two
"twisted" variations.

fano varieties are in some sense the simplest type of
algebraic varieties. they are the algebraic analogue of manifolds
with positive curvature, such as spheres. in low dimensions one can
classify fano varieties (where for an algebraic geometer low means up
to dimension three) and as the dimension increases, they form bounded
families, so that one can in principle classify fano varieties in all
dimensions.

in this talk we explain some of the known and conjectured results,
both for an explicit classification, and for some of the boundedness
results.

gauge functions significantly generalize the notion of a norm, and gauge optimization is the class of problems for finding the element of a convex set that is minimal with respect to a gauge. these conceptually simple problems appear in a remarkable array of applications. their gauge structure allows for a special kind of duality framework that may lead to new algorithmic approaches. i will illustrate these ideas with applications in sparse signal recovery.

consider the question of how a derivatives security (e.g., a call option) should be priced. due to their potential utility for hedging and speculation, economists started becoming interested in this question in the early 1900s. in the late 1960s, this emerged as an important concern for finance markets as well, due to a relaxation in regulations that allowed insurance companies and banks to invest in derivatives. after decades of growing interest and research efforts, fisher black and myron scholes developed a mathematically based pricing strategy in the early 1970s that was later simplified and expanded on by robert merton. the resulting formulas revolutionized trading practices worldwide. in 1997, merton and scholes received the nobel prize for this body of work (black had passed away and therefore was ineligible).

in the talk, we will examine an extremely simplified version of this body of work. in particular, we will analyze the single-period cox-ross-rubenstein (crr) model using some of the key principles and methodologies that black, scholes, and merton developed to construct their derivatives pricing theory. despite the fact that this model is very simple, the analysis will illustrate certain essential aspects of their nobel prize winning work such as dynamic hedging and the risk neutral probability measure. this will give a flavor of the mathematical content of math 194, being offered in the winter quarter.

we exhibit a numerical method to compute a three-point branched covers
of the complex projective line. we develop algorithms for working
explicitly with fuchsian triangle groups and their finite index
subgroups, and we use these algorithms to compute power series
expansions of modular forms on these groups. as one application, we
find an explicit rational function of degree 50 which regularly
realizes the group $psu_3(5)$ as a galois group over the rationals.
this is joint work with michael klug, michael musty, and sam
schiavone.

in this talk, we summarize the compact coupled interface method and introduce modifications for handling a wider class of poisson-type problems, as well as comparisons to the coupled interface method and immersed interface method. we pay special attention to the poisson-boltzmann equation and its role in electrostatic effects specifically for implicit solvation.

the langlands-shahidi method provides us with a constructive
way of studying automorphic l-functions. for the classical groups over
function fields we will present recent results that allow us to obtain
applications towards global langlands functoriality. this is done via
the converse theorem of piatetski-shapiro, which we can apply since our
automorphic l-functions have meromorphic continuation to rational
functions and satisfy a functional equation. we lift globally generic
cuspidal automorphic representations of a classical group to an
appropriate general linear group. then, we express the image of
functoriality as an isobaric sum of cuspidal automorphic representations
of general linear groups, where the symmetric and exterior square
automorphic l-functions play a technical role. as a consequence, we can
use the exact ramanujan bounds of laurent lafforgue for gl(n) to prove
the ramanujan conjecture for the classical groups. our results are
currently complete for the split classical groups under the assumption
that characteristic p is different than two.

i will give a brief introduction to hodge theory and discuss hodge-theoretic problems involving abelian varieties.

for a quiver with potential, we can associate a vanishing cycle to each representation space. if there is a nice torus action on the potential, the vanishing cycles can be expressed in terms of truncated jacobian algebras. we study how these vanishing cycles change under the mutation of derksen-weyman-zelevinsky. we use ringel-hall algebras as the main organizing tools. the wall-crossing formula leads to a categorification of quantum cluster algebras under the assumption of existence of certain potential. this is a special case of a. efimov's result, but our approach is more concrete and down-to-earth. we also obtain a formula relating the representation grassmannians under sink-source reflections. in this talk, i will start with basic definitions of mutations of quivers with potentials, vanishing cycles, and hall algebras.

we study the problem of finding best rank-1 approximations for both
symmetric and nonsymmetric tensors. for symmetric tensors, this is
equivalent to optimizing homogeneous polynomials over unit spheres; for
nonsymmetric tensors, this is equivalent to optimizing multi-quadratic
forms over multi-spheres. we propose semidefinite relaxations, based on
sum of squares representations, to solve these polynomial optimization
problems. some numerical experiments are presented to show that this
approach is practical in getting best rank-1 approximations.

\def\rr{{\mathbb r}}

where do polynomial inequalities come from? we have polynomials $p$ and $q$ acting on tuples $x$ of numbers in $\rr^n$. suppose $p(x) > 0$ for all $x$ in $\rr^n$ making $q(x) > 0$. is there some algebraic relationship between $p,q$ equivalent to this? that is a lot to hope for, but an ``algebraic certificate'' equivalent to an inequality often exists and this is the substance of much of real algebraic geometry (rag). it is a subject which bloomed in the last 50 years.

now consider $n$ tuples $x:= \{ x_1, \dots, x_n \}$ of symmetric matrices $x_j$ and polynomials $p$ and $q$ acting on such tuples, for example, $n=2$ and $$p(x):= x_1 {x_2}^3 + {x_2}^3 x_1 + {x_1}^5.$$ the polynomial yields a value $p(x)$ that is a symmetric matrix, and we can consider the same issues as in classical rag. we have polynomials $p$ and $q$. suppose $p(x)$ is positive definite for all $x$, making $q(x)$ a positive definite matrix. recall a positive definite matrix is one whose eigenvalues are all $>0$. a theory parallel to rag for converting such inequalities to algebra formulas has emerged in the last ten years. the motivation came from problems in systems engineering but spread out from this in many directions.

the talk will give a taste of selections from this smorgasboard.

we'll discuss various constraints on rational cuspidal curves in the projective plane, and consider the question of whether such curves are necessarily equivalent to a line, under a birational automorphism of the plane.

this is the first in a series of seven food for thought talks on the millennium prize problems. in this talk we give an introduction to the clay mathematics institute and its millennium prize problems program. we then focus our attention on the question of whether \textbf{p}, the class of problems with polynomial-time algorithms, equals \textbf{np}, the class of problems with polynomial-time nondeterministic algorithms. we will define \textbf{p} and \textbf{np} in terms of turing machines. we will then move on to some diverse contemporary approaches to proving either \textbf{p} = \textbf{np} or \textbf{p} $\neq$ \textbf{np}, and discuss the implications that such a theorem would have. along the way, we will see some famous results that have appeared out of the struggle to solve this hallmark riddle of theoretical computer science.

biological processes are carried out through molecular conformational transitions, ranging from the structural changes within biomolecules to the formation of macromolecular complexes and the associations between the complexes themselves. these transitions cover a vast range of timescales and are governed by a tangled network of molecular interactions. the resulting hierarchy of interactions, in turn, becomes encoded in the experimentally measurable “mechanical fingerprints” of the biomolecules, their force–extension curves. however, how can we decode these fingerprints so that they reveal the kinetic barriers and the associated timescales of a biological process? here, we show that this can be accomplished with a simple, model-free transformation that is general enough to be applicable to molecular interactions involving an arbitrarily large number of kinetic barriers. specifically, the transformation converts the mechanical fingerprints of the system directly into a map of force-dependent rate constants. this map reveals the kinetics of the multitude of rate processes in the system beyond what is typically accessible to direct measurements. with the contributions from individual barriers to the interaction network now “untangled”, the map is straightforward to analyze in terms of the prominent barriers and timescales. practical implementation of the transformation is illustrated with simulated biomolecular interactions that comprise different patterns of complexity—from a cascade of activation barriers to competing dissociation pathways.

some central limit results on stochastic processes in a compact connected 2-point homogeneous space $e(d)$ of growing dimension $d$ are reformulated within the theory of polynomial convolution structures. this approach stresses the algebraic-topological relationship between those structures and the asymptotic properties of the stochastic processes under consideration, in particular of random walks and gaussian processes on $e(d)$ with $d\to\infty$.

superconformal algebras are superextensions of the virasoro algebra. they play an important role in the string theory and conformal field theory.

central extensions of contact superalgebras $k(2)$ and $k'(4)$ are known to physicists as the $n = 2$ and the big $n = 4$ superconformal algebras. a remarkable property of $\widehat{k}'(4)$ and the exceptional superconformal algebra $ck_6$ is that they admit embeddings into the lie superalgebras of pseudodifferential symbols on the circle, extended by
$n = 2, 3$ odd variables. associated to these embeddings, there are ``small" irreducible representations of these superalgebras and their realizations in matrices of size $2^n$ over a weyl algebra. the general construction of such matrix realizations is connected with the spin
representation of $\mathfrak{o}(2n + 1, \mathbb{c})$.

we also obtain a realization of the family of simple exceptional finite-dimensional lie superalgebras $d(2; 1; \alpha)$, related to $k(4)$ in matrices over a weyl algebra.

in 1643, ren\'{e} descartes discovered a formula relating curvatures of circles in apollonian circle packings, constructed by apollonius of perga in 200 bc. this formula has recently led to a connection between the construction of apollonius and orbits of a certain so-called \emph{thin} subgroup $\gamma$ of $\textrm{gl}_4(\mathbb z)$. this connection is key in recent results on the arithmetic of apollonian packings, which i will describe in this talk. a crucial ingredient in the proofs is the spectral gap coming from families of expander graphs
associated to $\gamma$ -- this gap is far less understood in the case of thin groups than that of non-thin groups. motivated by this problem, i will then discuss the ubiquity of thin groups and present results on thinness of monodromy groups of hypergeometric equations in the case where these groups act on hyperbolic space.

the finite element method is a powerful tool for approximating the solutions of a large class of pde's. traditional fem requires the function spaces to be linear. we discuss an extension of fem, geodesic finite elements, which allows the functions being approximated to have range in a non-linear riemannian manifold. we realize the set of pseudo riemannian metrics as a symmetric space in order to pull back the matrix exponential onto it, thus endowing it with a riemannian metric. once done, we are able to discretize a class of pseudo-riemannian manifolds. this has possible applications in non-linear hyperbolic pde's.

in recent years, it has become interesting from a number-theoretic point of view to be able to determine whether a finitely generated subgroup of $gl_n(\mathbb z)$ is a so-called thin group. in general, little is known as to how to approach this question. in this talk we discuss this question in the case of hypergeometric monodromy groups, which were studied in detail by beukers and heckman in 1989. we will convey what is known, explain some of the difficulties in answering the thinness question, and show how one can successfully answer it in many cases where the group in question acts on hyperbolic space. this work is joint with meiri and sarnak.

the global positioning system involves about 24 satellites
orbiting the earth each sending a unique signal. your gps receiver
receives the signal from at least 4 of them and from these signals it
tells you where you are within 10 meters (if your gps can handle
waas the accuracy is 3 meters). the calculations done by your
receiver involve general relativity, error correction and geometry.

abstract: in game theory, an evolutionarily stable set (es set) is a set of nash equilibrium (ne) strategies that give the same payoffs. similar to an evolutionarily stable strategy (es strategy), an es set is also astrict ne. this work investigates the evolutionary stability of classical and quantum strategies in the quantum penny flip games. in particular, we developed an evolutionary game theory model to conduct a series of simulations where a population of mixed classical strategies from the es set of the game were invaded by quantum strategies. we found that when only one of the two players� mixed classical strategies were invaded, the results were different. in one case, due to the interference phenomenon of superposition, quantum strategies provided more payoff, hence successfully replaced the mixed classical strategies in the es set. in the other case, the mixed classical strategies were able to sustain the invasion of quantum strategies and remained in the es set. moreover, when both players� mixed classical strategies were invaded by quantum strategies, a new quantum es set was emerged. the strategies in the quantum es set give both players payoff 0, which is the same as the payoff of the strategies in the mixed classical es set of this game.

mirror symmetry, notably in the work of mark gross and berndt siebert, identifies involutory "mirror pairs" (x,y) of (degenerating, polarized)
compact calabi-yau manifolds and makes predictions relating the symplectic
geometry of x with the algebraic geometry of y. those predictions range
from those of the "open string sector", where homological mirror symmetry
(hms) relates the lagrangian submanifolds of x to algebraic vector bundles
on y, to those of the "closed string sector" where, for example, counts of
holomorphic spheres in x are predicted to equal certain period integrals on y.
i'll report recent work, joint with nick sheridan, which says the following: if one can prove a certain fragment of hms (a fragment which
we expect to fit neatly into the gross-siebert program) then, without
knowing anything more about the geometry of x and y, one can deduce (i) the
full statement of hms; and (ii) certain algebraic and enumerative claims
from closed-string mirror symmetry.

the product replacement graph (prg) of a group g is the set of generating k-tuples of g, with edges corresponding to nielsen moves. it is conjectured that prgs of infinite groups are nonamenable. we verify that prgs have exponential growth when g has polynomial growth or exponential growth, and show that this also holds for a group of intermediate growth: the grigorchuk group. we also provide some sufficient conditions for nonamenability of the prg, which cover elementary amenable groups, linear groups, and hyperbolic groups.

***integral equation methods for singular problems and application to the evaluation of laplace eigenvalues***

boundary integral equation methods represent a powerful tool for the numerical solution of a variety of problems in acoustics, electromagnetics, fluid mechanics etc. together with oscar bruno at caltech, we developed a numerical method for the solution of scattering problems with mixed dirichlet/neumann boundary conditions. we investigated and obtained the exact form of the solution singularities -- which arise at transition points where dirichlet and neumann boundary conditions meet. these singularities are incorporated in the numerical approach and are resolved via fourier continuation technique. the resulting method exhibits spectral convergence. additionally, jointly with nilima nigam at sfu, we applied the mixed boundary value solver to laplace eigenvalue problems. the challenge is in eigenvalue search as a result of the properties of the objective function, which requires scanning through a range of frequencies. we introduce an improved search algorithm, that allows to locate the eigenvalues using standard root-finding methods. we also apply another integral equation method for domains with corners for a mode matching problem in electromagnetics. jointly with ahmed akgiray at caltech, we calculated te and tm modes for domains of specific geometry. those are further used for antenna design.

a sidon set is a set of integers such that no difference of two
distinct numbers in the set equals the difference of any other two
numbers in the set. constructions of large sidon sets have
interesting connections to geometry and number theory. i will show
how to construct sidon sets and discuss these connections.

genus one curves, defined over the rationals, need not have rational points.
the set of all such curves, whose jacobian is a fixed elliptic curve e, form
a group, called the weil-chatelet group. it has an important subgroup, the
tate-shafarevich group, formed by those curves which have points over all
completions of the rationals.

this talk will address two aspects of the arithmetic of genus one curves:
(1) (with j. stix) the divisibility of the tate-shafarevich group inside
the weil-chatelet group; (2) (with a. wiles) work in progress on the existence
of points defined over number fields with solvable galois group over the
rationals. earlier work, also with wiles, proved existence when the curve
represents an element of the tate-shafarevich group; we now aim to extend
this to the whole weil-chatelet group.

more than 25 years ago, kenig, ruiz, and sogge established uniform $l^p$ resolvent estimates for the laplacian in the euclidean space. taking their remarkable estimate as a starting point, we shall describe more recent developments concerned with the problem of controlling the resolvent of elliptic self-adjoint operators in $l^p$ spaces in the context of a compact riemannian manifold. here some new interesting difficulties arise, related to the distribution of eigenvalues of such operators. applications to inverse boundary problems and to the absolute continuity of spectra for periodic schr\"odinger operators will be presented as well."

in a report published in 1937, doeblin - who is regarded the father of the "coupling method" - introduced an ergodicity coefficient that provided the first necessary and sufficient condition for the weak ergodicity of non-homogeneous markov chains over finite state spaces.

in today's jargon, doeblin's coefficient corresponds to the maximal coupling of the probability transition kernels associated with a markov chain, and the monte carlo literature has (often implicitly) used it to draw perfectly from the stationary distribution of a homogeneous markov chain over a polish state space.

in this talk, i will show how doeblin's coefficient can be used to approximate the distribution of additive functionals of homogeneous markov chains, particularly sojourn-times, instead of characterizing asymptotic objects such as stationary distributions. the methodology leads to easy to compute and explicit error bounds in total variation distance, and gives access to approximations in markov chains that are too long for exact calculation but also too short to rely on normal approximations or stationary assumptions underlying poisson approximations.

``schubert calculus'' is the (somewhat misleading) name given to the classical branch of enumerative geometry which counts intersections of certain simple varieties like points, lines, and planes. rather than actually doing any geometry, we'll find these intersection numbers with a combinatorial rule known as the littlewood-richardson rule. in particular, we'll show why the problem of counting the number of lines in $\mathbb{c}^3$ that intersect four generic lines is now considered to be ``just combinatorics.''

this is a report on joint work with ana caraiani, matthew emerton, toby gee, david geraghty, and vytautas paskunas. we will explain some ideas around the global construction of new representation-theoretic objects called "patched modules" by a variant of the taylor-wiles-kisin method. they are in many ways better suited than p-adically completed cohomology for a global attempt to understand the p-adic local langlands correspondence. as an application, we obtain new cases of the breuil-schneider conjecture.

we extend a model for the morphology and dynamics of a crawling eukaryotic cell to describe cells on micropatterned substrates. this model couples cell morphology, adhesion, and cytoskeletal flow in response to active stresses induced by actin and myosin. we propose that protrusive stresses are only generated where the cell adheres, leading to the cell's effective confinement to the pattern. consistent with experimental results, simulated cells exhibit a broad range of behaviors, including steady motion, turning, bipedal motion, and periodic migration, in which the cell crawls persistently in one direction before reversing periodically. we show that periodic motion emerges naturally from the coupling of cell polarization to cell shape by reducing the model to a simplified one-dimensional form that can be understood analytically. additionally, we will discuss a turning instability arising from our model applying onto a free moving cell without interaction with the micropatterned substrates. some attempts have made to test how the instability depends on the parameters in the model numerically. for a much simplified model, we do find that surface tension is a key factor to stabilize the cell turning.

algorithms have two costs: arithmetic and communication, i.e. moving data between levels of a memory hierarchy or processors over a network. communication costs (measured in time or energy per operation) already greatly exceed arithmetic costs, and the gap is growing over time following technological trends. thus our goal is to design algorithms that minimize communication. we present algorithms that attain provable lower bounds on communication, and show large speedups compared to their conventional counterparts. these algorithms are for direct and iterative linear algebra, for dense and sparse matrices, as well as direct n-body simulations. several of these algorithms exhibit perfect strong scaling, in both time and energy: run time (resp. energy) for a fixed problem size drops proportionally to the number of processors p (resp. is independent of p). finally, we describe extensions to algorithms involving arbitrary loop nests and array accesses, assuming only that array subscripts are affine functions of the loop indices.

suppose that g is a connected reductive p-adic group. we will
describe the classification of irreducible admissible smooth mod p
representations of g in terms of supercuspidal representations. this is
joint work with n. abe, g. henniart, and m.-f. vigneras.

the study of mean curvature flow not only is fundamental in geometry, topology and analysis, but also has important applications in applied mathematics, for instance, image processing. one of the most important problems in mean curvature flow is to understand the possible singularities of the flow and self-shrinkers, i.e., self-shrinking solutions of the flow, provide the singularity models.

in this talk, i will describe the rigidity of asymptotic structures of self-shrinkers. first, i show the uniqueness of properly embedded self-shrinkers asymptotic to any given regular cone. next, i give a partial affirmative answer to a conjecture of ilmanen under an infinite order asymptotic assumption, which asserts that the only two-dimensional properly embedded self-shrinker asymptotic to a cylinder along some end is itself the cylinder. the feature of our results is that no completeness of self-shrinkers is required.

the key ingredients in the proof are a novel reduction of unique continuation for elliptic operators to backwards uniqueness for parabolic operators and the carleman type techniques. if time permits, i will discuss some applications of our approach to shrinking solitons of ricci flow.

in this talk i will survey current results on the long-time existence and behavior of ricci flows in dimensions 2, 3 and higher. moreover, i will point out analogies with construction techniques for einstein metrics.
in dimension 3, the ricci flow together with a certain surgery process has been used by perelman, amongst many others, to establish the poincaré and geometrization conjectures. despite the depth of this result, a precise description of the long-time behavior of this flow has remained unknown. for example, it was only conjectured by perelman that it suffices to carry out a finite number of surgeries and that the geometric decomposition of the manifold is exhibited by the flow as $t \to \infty$. recently i was able to confirm perelman's first conjecture and i partially answered his second one.

i will first give a brief overview of ricci flows with surgery and explain the finite surgery theorem. next, i will present long-time existence results in dimensions 4 and higher and describe possible further directions in this field.

since the foundational results of chung-graham-wilson on quasirandom graphs over 20 years ago, here has been a lot of effort by many researchers to extend the theory to hypergraphs. i will present some of this history, and then describe our recent results that provide such a generalization in some cases. one key new aspect in the theory is a systematic study of hypergraph eigenvalues first introduced by friedman and wigderson. this leads to the study of various extremal questions
on hypergraphs, for example, spectral tur an problems and spectral packing
problems. this is joint work with peter keevash and john lenz.

although the ricci flow with surgery has been used by perelman to solve the poincar�© and geometrization conjectures, some of its basic properties are still unknown. for example it has been an open question whether the surgeries eventually stop to occur (i.e. whether there are finitely many surgeries) and whether the full geometric decomposition of the underlying manifold is exhibited by the flow as $t \to \infty$.

in this talk i will show that the number of surgeries is indeed finite and that the curvature is globally bounded by $c t^{-1}$ for large $t$. this confirms a conjecture of perelman. using the new curvature bound, it is possible to give a more precise geometric picture of the long-time behavior of the flow.

we consider three distinct topics of independent interest;
one in enumerative combinatorics, one in symmetric function theory, and
one in algebraic geometry. the topic in enumerative combinatorics
concerns a q-analog of a generalization of the eulerian numbers, the one
in symmetric function theory deals with a refinement of stanley's
chromatic symmetric functions, and the one in algebraic geometry deals
with a representation of the symmetric group on the cohomology of the
regular semisimple hessenberg variety of type a. our purpose is to
explore some connections between these topics and consequences of these
connections. this talk is based on joint work with john shareshian.