we introduce a class of non-commutative curves and study their derived categories of coherent sheaves. in rational case we construct tilting which establishes their derived equivalence with some finite dimensional algebras. in particular, we define the rouquier dimension of these derived categories.

if g is a group acting on a vector space v by linear transformations, then the invariant polynomial functions on v form a ring. in this talk we will discuss upper bounds for the degrees of generators of this invariant ring. an example of particular interest is the action of the group $sl_n x sl_n$ on the space of m-tuples of n x n matrices by simultaneous left-right multiplication. in this case, visu makam and the speaker recently proved that invariants of degree at most $mn^4$ generate the invariant ring. we will explore an interesting connection between this result and the notion of noncommutative rank.

we study the long time behaviour of the heat kernel on abelian covers of compact riemannian manifolds. for manifolds without boundary work of lott and kotani-sunada establishes precise long time asymptotics. extending these results to manifolds with boundary reduces to a 'cute' eigenvalue minimization problem, which we resolve for a dirichlet and neumann boundary conditions. we will show how these results can be applied to studying the ``winding'' / ``entanglement'' of brownian trajectories.

the hook length formula for d-complete posets states that the p-partition generating function for them is given by a product in terms of hook lengths. we give a new proof of the hook length formula using q-integrals. the proof is done by a case-by-case analysis consisting of two steps. first, we express the p-partition generating function for each case as a q-integral and then we evaluate the q-integrals. several q-integrals are evaluated using partial fraction expansion identities and others are verified by computer. this is joint work with meesue yoo.

schur q-functions are a family of symmetric functions introduced by schur in his study of projective representations of symmetric groups. they are obtained by putting t = -1 in the hall-littlewood functions associated to the root system of type a. (schur functions are the t = 0 specialization.) this talk concerns symplectic q-functions, which are obtained by putting t = -1 in the hall-littlewood functions associated to the root system of type c. we present several pfaffian formulas for symplectic q-functions similar to those for schur q-functions and give a tableau description. also we discuss some conjectures including the positivity conjecture of structure constants.

we study tensor powers of rank 1 drinfeld a-modules, where a is
the affine coordinate ring of an elliptic curve. using the theory of
a-motives, we find explicit formulas for the a-action of these modules.
then, by developing the theory of vector valued anderson generating
functions, we give formulas for the coefficients of the logarithm and
exponential functions associated to these a-modules, as well as formulas
for the fundamental period. this allows us to relate function field zeta
values to evaluations of the logarithm function and prove transcendence
facts about these zeta values.

when studying supersymmetric equations from physics, tseng and yau introduced several laplacians on symplectic manifolds in 2012. these laplacians behave different from usual ones in rimannian case and complex case. they contain both 2nd and 4th order operators. in this talk, we will discuss these ``symplectic laplacians'' and their relations with cohomologies on compact symplectic manifolds with boundary. for this purpose, we will introduce new boundary conditions for differential forms on symplectic manifolds. their properties and importance will be discussed.

in the 1970's stark made precise conjectures about the leading
term of the taylor series expansion at $s=0$ of artin $l$-functions,
refining dirichlet's class number formula. around the same time barsky,
cassou-nogu\`{e}s, and deligne and ribet for totally real fields, along
with katz for cm fields defined $p$-adic $l$-functions of ray class
characters. since then stark-type conjectures for these $p$-adic
$l$-functions have been formulated, and progress has been made in some
cases.

the goal of this talk is to discuss a new definition of a $p$-adic
$l$-function and stark conjecture for a mixed signature character of a real
quadratic field. after stating the definition and conjecture, theoretical
and numerical evidence will be discussed.

i'll survey a circle of ideas around the question of measuring ``how irrational'' are various classes of non-rational varieties.

a drawing of a graph on a surface is independently even if every pair of independent edges in the drawing crosses an even number of times. the $\mathbb{z}_2$-genus of a graph $g$ is the minimum $g$ such that $g$ has an independently even drawing on the orientable surface of genus $g$. an unpublished result by robertson and seymour implies that for every $t$, every graph of sufficiently large genus contains as a minor a projective $t\times t$ grid or one of the following so-called $t$-kuratowski graphs: $k_{3,t}$, or $t$ copies of $k_5$ or $k_{3,3}$ sharing at most $2$ common vertices. we show that the $\mathbb{z}_2$-genus of graphs in these families is unbounded in $t$; in fact, equal to their genus. together, this implies that the genus of a graph is bounded from above by a function of its $\mathbb{z}_2$-genus, solving a problem posed by schaefer and \v{s}tefankovi\v{c}, and giving an approximate version of the hanani-tutte theorem on surfaces.

minors and topological minors are two closely related graph containment relations that have attracted extensive attentions. though giant breakthroughs on graph minors have been made over decades, several questions about these two relations remain open, especially for topological minors. this talk addresses part of our recent work in this direction, including a proof of robertson's conjecture on well-quasi-ordering graphs by the topological minor relation, a complete characterization of the graphs having the erdos-posa property with respect to topological minors which answers a question of robertson and seymour, and a proof of thomas' conjecture on half-integral packing. more open questions, such as hadwiger's conjecture on graph coloring and its variations and relaxations, will be discussed in this talk.

given a tuple $a=(a_1,\ldots,a_g)$ of symmetric matrices of the same size, the affine linear matrix polynomial $l(x):=i-\sum a_j x_j$ is a monic linear pencil. the solution set $s_l$ of the corresponding linear matrix inequality (lmi), consisting of those $x$ in $\mathbb r^g$ for which $l(x)$ is positive semidefinite (psd), is called a spectrahedron. it is a convex semialgebraic subset of $\mathbb r^g$, and lmis are ubiquitous in many areas: mathematical optimization, control theory, statistics, etc.

we study the question whether inclusion holds between two spectrahedra. most of our results concern the case where the included spectrahedron is a hypercube, an np-hard problem introduced and studied by ben-tal and nemirovskii, who identified a tractable relaxation of the original problem. this relaxation is obtained by considering the inclusion problem for the corresponding ``matricial'' spectrahedra.

to estimate the error inherent in the relaxation we employ probabilistic methods and an old result of rev. simmons on flipping biased coins to obtain an elegant scalar optimization formula.

this is based on joint work with bill helton, scott mccullough and markus schweighofer.

an intriguing feature of the explicit charged (reissner-nordstrom) or spinning (kerr) black hole spacetimes is the existence of a regular cauchy horizon, beyond which the einstein equation loses its predictive power. the strong cosmic censorship conjecture of penrose is a bold claim that, nevertheless, such a pathological behavior is nongeneric.

in this lecture, i will give a short introduction to general relativity and the strong cosmic censorship conjecture. then i will describe my recent joint work with j. luk, where we rigorously establish a version of this conjecture for the einstein-maxwell-(real)-scalar-field system in spherical symmetry, which has long been studied by physicists and mathematicians as a useful model for this problem.

the talk concerns (matrices of) noncommutative polynomials $f=f(x)$ from the perspective of free real algebraic geometry. there are several natural notions of a ``zero set'' of $f$. the one we study is the \textbf{free locus} of $f$, $(f)$, which is defined to be the union of hypersurfaces
$$\left\{x\in \operatorname{m}_n(k)^g:\det f(x)=0\right\}$$
over all $n\in\mathbb{n}$. the talk will describe a recent advance on characterizing when $(f_1) \subseteq (f_2)$ holds, which was mainly achieved using linear matrix pencils.

the latter have been for decades an important tool in noncommutative algebra and other areas, e.g. linear systems, automata theory and computational complexity. given a monic matrix pencil $l=i+\sum_ja_jx_j$, we can evaluate it at an arbitrary tuple of matrices $x$ as
$$l(x)=i\otimes i+\sum_ja_j\otimes x_j.$$
the talk will be mostly concerned with singularity of these evaluations.

first we will give an algebraic certificate for $(l_1)\subseteq (l_2)$ to hold. then we will consider a fundamental irreducibility theorem for $(l)$ which is obtained with the aid of invariant theory. next we will apply the preceding results to factorization in the free algebra. lastly, smooth points on $(l)$ will be related to one-dimensional kernels of $l(x)$, which leads to the free version of kippenhahn's conjecture and improves existing positivstellens\''{a}tze on free semialgebraic sets.

iwasawa theory is a bridge between algebraic and analytic invariants attached to an arithmetic object,
for a given prime p. when this arithmetic object is an elliptic curve or a modular form, the primes
come in two flavors -- ordinary and supersingular. when p is ordinary, the theory has historically
been relatively well behaved. when p is supersingular, there are several difficulties, and we explain
how to address the difficulties involved in the case of elliptic curves, culminating in the proof of the
main conjecture. if time permits, we will sketch joint work in progress with castella, ciperiani, and
skinner concerning main conjecture for weight-two modular forms.

very often in algebraic geometry, the totality of geometric objects under some natural setting becomes again an algebraic variety, which is one the main object of study in algebraic geometry.
hilbert scheme is one of such space parametrizing families of projective algebraic varieties having the same fixed hilbert polynomial, i.e. sharing certain basic extrinsic attributes and intrinsic invariants.
in this talk we will start with the basic construction of the hilbert scheme of projective algebraic curves due to alexander grothendieck.
we then proceed further and discuss about the current state of affairs especially on the irreducibility and the rigidity of the hilbert scheme of smooth projective curves after reviewing a brief history of the study since the era of italian school.

the process of converting analog signals, or continuous functions, to digital signals is a classical problem in signal processing. many analog to digital converters follow the paradigm of taking lots of samples and then compressing afterwards. one might wonder if you could be more prudent and only take as many samples as you'd need to guarantee that you can reconstruct a given signal. that is, can you compress while simultaneously measuring a signal? compressed sensing's hallmark achievement is proving that for a large class of structured signals this is indeed possible.
in this talk, i will introduce compressed sensing by defining a mathematical model for signal acquisition and outline procedures that guarantee signal reconstruction. there will be lots of pictures, and lots of solving $ax=b$

we will discuss a 1995 paper of koll\'ar, which showed via degeneration to characteristic 2 the nonrationality of many low degree hypersurfaces in projective space.

let $g$ be a finite group. the faithful dimension of $g$ is defined to be the smallest possible dimension for a faithful complex representation of $g$. aside from its intrinsic interest, the problem of determining the faithful dimension of finite groups is intimately related to the notion of essential dimension, introduced by buhler and reichstein.

in this paper, we will address this problem for groups parameterized by a prime parameter $p$ (e.g., heisenberg groups over finite fields with $p$) and study the question of the dependence of the essential dimension on $p$. as it will be shown, in general, this is always a piecewise polynomial function along certain ``number-theoretically defined'' sets, while, in some specific cases, it is given by a uniform polynomial in $p$.

this talk is based on a joint work with mohammad bardestani and hadi salmasian.

i will discuss a recent line of research that uses properties of real rooted polynomials to get quantitative estimates in combinatorial linear algebra problems. i will start by discussing the main result that bridges the two areas (the ``method of interlacing polynomials'') and show some examples of where it has been used successfully (e.g. ramanujan families and the kadison singer problem). i will then discuss some more recent work that attempts to make the method more accessible by providing generic tools and also attempts to explain the accuracy of the method by linking it to random matrix theory and (in particular) free probability. i will end by mentioning some current research initiatives as well as possible future directions.

we study the 2d euler equations linearized around smooth, radially symmetric vortices with strictly decreasing vorticity profiles. under a trivial orthogonality condition, we prove that the perturbation vorticity winds up around the vortex and weakly converges to a radially symmetric configuration, as time goes to infinity. this process is known as ``vortex axisymmetrization'' in the physics literature and is thought to stabilize vortex structures such as hurricanes and cyclones. additionally, the velocity field converges strongly in l2 to the corresponding equilibrium (as time goes to infinity) and we give optimal decay rates in weighted l2 spaces. interestingly, the rate of decay is faster for the linearized 2d euler equations than for the passive scalar equation. the passive scalar rate is degraded by the slow mixing at the vortex core, but the linearized 2d euler equations expel vorticity from the origin leading to a faster decay rate.

what is a random graph and what do random graphs look like? we will discuss some basic properties, mathematical methods and applications of random graphs.

in this talk, we introduce the lrhb algorithm, which is an extension of the reduced-hessian method of gill and leonard for unconstrained problems to problems with simple bound constraints. numerical results for lrhb will be presented. we will also consider computational and practical issues with methods for nonlinear optimization and present results on a large test collection of problems indicating the reliability and efficiency of sequential quadratic programming methods and interior-point methods on certain classes of problems. this is joint work with michael ferry and philip e. gill.

gene conversion is a ubiquitous phenomenon that leads to the exchange of genetic information between homologous dna regions and maintains co-evolving multi-gene families in most pro- and eukaryotic organisms. in this talk, i will consider its implications for the evolution of a single functional gene with a silenced duplicate, using two different mathematical models of evolution on rugged fitness landscapes. our analytical and numerical results show that, by helping to circumvent valleys of low fitness, gene conversion with an inactive duplicate gene can cause a significant speedup of adaptation which depends non-trivially on the frequency of gene conversion and the structure of the landscape. stochastic effects due to finite population sizes further increase the likeliness of exploiting this evolutionary pathway. our results reveal the potential for duplicate genes to act as a ``scratch paper'' that frees evolution from being limited to strictly beneficial mutations in strongly selective environments.

deninger and werner developed an analogue for $p$-adic curves of the
classical correspondence of narasimhan and seshadri between stable
bundles of degree zero and unitary representations of the topological
fundamental group for a complex smooth proper curve. using parallel
transport, they associated functorially to every vector bundle on a
$p$-adic curve whose reduction is strongly semi-stable of degree 0 a
$p$-adic representation of the \'etale fundamental group of the curve. they
asked several questions: whether their functor is fully faithful and
what is its essential image; whether the cohomology of the local systems
produced by this functor admits a hodge-tate filtration; and whether
their construction is compatible with the $p$-adic simpson correspondence
developed by faltings. we will answer these questions in this talk.

do you love factoring numbers? me too. whether you're helping your little cousin with her algebra homework or trying to crack an rsa cryptosystem, there's nothing quite like the thrill of taking a big number and writing it as a product of smaller numbers. in this talk we present a brief historical overview of some primality tests and factorization methods; we will also develop in more detail the quadratic sieve method developed by pomerance in the 1980's, which for many years held the record for fastest implementation of a factorization algorithm. we leave the converse question of how to create a large number from several smaller numbers as an exercise to the interested listener.

the ricci iteration is a discrete analogue of the ricci flow. according to perelman, the kahler-ricci flow converges to a kahler-einstein metric whenever one exists, and it has been conjectured that the ricci iteration should behave similarly. in joint work with y. rubinstein we are able to confirm this conjecture for general fano manifolds.

n this talk we will characterize the irreducible quasifinite highest weight modules of some subalgebras of the lie algebra of matrix quantum pseudodifferential operators $n \times n$.

in order to do this, we will first give a complete description of the anti-involutions that preserve the principal gradation of the algebra of $n\times n$ matrix quantum pseudodifferential operators and we will describe the lie subalgebras of its minus fixed points. we will obtain, up to conjugation, two families of anti-involutions that show quite different results when $n=n$ and $n< n$. we will then focus on the study of the ``orthogonal'' and ``symplectic'' type subalgebras found for case $n=n$, specifically the classification and realization of the quasifinite highest weight modules.

pearson's chi-squared test is very widely used in practice and has a long history. the validity with a large number of cells or small expected frequencies has been open for a long time. we provide a solution to this open problem by rigorously establishing a distributional approximation of pearson's chi-squared test statistic by using a high-dimensional central limit theorem for quadratic forms of random vectors. we also propose a modified chi-squared statistic with a faster convergence rate and propose the concept of adjusted degrees of freedom. our procedure is applied to goodness-of-fit test for the social life feeling data and the rochdale data.

sen attached to each $p$-adic galois representation of a $p$-adic field a multiset of numbers
called generalized hodge-tate weights. in this talk, we regard a $p$-adic local system on a
rigid analytic variety as a geometric family of galois representations and show that the
multiset of generalized hodge-tate weights of the local system is constant.

communicating mathematics in movies: join award-winning documentary filmmaker ekaterina eremenko for a screening of the discrete charm of geometry, followed by a q&a led by fields medalist efim zelmanov about eremenko's work portraying mathematics and mathematicians on film. at the ucsd price center theatre from 5:00-7:00pm on monday, february 5, 2018.

equivalence relations are among the most basic concepts in mathematics. nevertheless, it turns out that there are some pretty complicated equivalence relations out there. in this talk we will discuss different ways of classifying them - whatever that means. we will look at some (more or less) concrete examples. finally, we will construct some fairly natural equivalence relations for which we can nevertheless prove a strong nonclassifiability result.

in this talk we will show a scattering - type result for schrodinger maps with small besov norm. the proof extends an earlier result of bejenaru, ionescu, and kenig.

one of the fundamental problems in combinatorics involves deciding whether some given linear equation has solutions with all its variables lying in some restricted set, and if so, estimating how many such solutions there are. in this talk, we will describe some of the old and new results in this area, as well as discuss a number of unsolved problems.

the generalized nash equilibrium problem (gnep for short)is an extension of nash equilibrium problem where the feasible set of each player may depend on the rivals strategies. it has many applications in areas such as economics, engineering, transportation and management sciences. in this talk, we present an exact penalty function method to reduce the gnep into a nash equilibrium problem. here the penalty function is smooth, which is different from the most existing function. we also report numerical results so as to illustrate the efficiency of the proposed method.

independent sets in hypergraphs can be encoded as 0-1 configurations on the set of vertices such that each hyperedge is adjacent to at least one 0. this model has been studied in the cs community for its large gap between efficient mcmc algorithms (previously $d <(k-1)/2$) and the conjectured onset of computational hardness ($d > o(2^{k/2})$ ), where $d$ is the largest degree of vertices and $k$ is the minimum size of hyperedges. in this talk we use a percolation approach to show that the glauber dynamics is rapid mixing for $d < o(2^{k/2}$), closing the gap up to a multiplicative constant.

the three-dimensional spatiotemporal organization of genetic material inside the cell nucleus remains an open question in cellular biology. during the time between two cell divisions, the functional form of dna in cells, known as chromatin, fills the cell nucleus in its uncondensed polymeric form, which allows the transcriptional machinery to access dna. recent in vivo imaging experiments have cast light on the existence of coherent chromatin motions inside the nucleus, in the form of large-scale correlated displacements on the scale of microns and lasting for seconds. to elucidate the mechanisms for such motions, we have developed a coarse-grained active polymer model where chromatin is represented as a confined flexible chain acted upon by active molecular motors, which perform work and thus exert dipolar forces on the system. numerical simulations of this model that account for steric and hydrodynamic interactions as well as internal chain mechanics demonstrate the emergence of coherent motions in systems involving extensile dipoles, which are accompanied by large-scale chain reconfigurations and local nematic ordering. comparisons with experiments show good qualitative agreement and support the hypothesis that long-ranged hydrodynamic couplings between chromatin-associated active motors are responsible for the observed coherent dynamics. the connection between our model and mechanisms proposed for self-organization of other biological systems including bacterial suspensions will also be discussed.

we consider the eigenvalue problem for octonionic $3\times3$ hermitian
matrices (the exceptional jordan algebra, also known as the albert
algebra). for real eigenvalues, most of the properties expected by
analogy with the complex case still hold, provided they are
reinterpreted to take into account of the lack of commutativity and
associativity. there are nevertheless some interesting surprises along
the way, among them the existence of nonreal eigenvalues, and the fact
that the components of primitive idempotents (elements of $op^2$, the
cayley--moufang plane) always associate.

applications of these results will be briefly discussed, both to the
study of exceptional lie groups (the albert algebra is the minimal
representation of $e_6$) and to physics ($op^2$ can be interpreted as
the solution space of the dirac equation in 10 spacetime dimensions).

geometric recursion is a very general machinery for constructing mapping class group invariants objects associated to two dimensional surfaces. after presenting the general abstract definition we shall see how a number of constructions in low dimensional geometry and topology fits into this setting. these will include the mirzakhani-mcshane identies, mapping class group invariant closed forms on teichmuller space (including the weil-petterson symplectic form) and the goldman symplectic form on moduli spaces of flat connections for general compact simple lie groups. if time permits we shall also discuss the process which establishes that any application of topological recursion can be lifted to a geometric recursion setting involving continuous functions on teichmuller space, where the connection back to topological recursion is obtained by integration over the moduli space of curve. the work presented is joint with g. borot and n. orantin.

asked by some graduate 2022年亚洲世界杯预选赛 what my current research is about, i will try to introduce the very basic ideas and definition of segal--bargmann transform, which intertwines the heisenberg and fock pictures.

a \textbf{repetition} in an edge-colored graph is a path in which the sequence of colors in the first half of the path is identical to that in the second half. in 2002 alon, grytczuk, haluszczak, and riordan showed that every $k$-ary tree has a repetition-free edge-coloring with at most $4k$ colors. we present a simple procedure for obtaining repetition-free edge-colorings of $k$-ary trees with at most $3k+1$ colors. we will also discuss some related vertex-coloring questions.

in this talk, we discuss the diederich--forn\ae ss index in several complex variables. a domain $\omega\subset\mathbb{c}^n$ is said to be pseudoconvex if $-\log(-\delta(z))$ is plurisubharmonic in $\omega$, where $\delta$ is a signed distance function of $\omega$. the diederich--forn\ae ss index has been introduced since 1977 as an index to refine the notion of pseudoconvexity. after a brief review of pseudoconvexity, we discuss this index from the point of view of geometric analysis. we will find an equivalent index associated to the boundary of domains and with it, we are able to obtain accurate values of the diederich--forn\ae ss index for many types of domains.

arising frequently in sciences and engineering, ill-posed problems remain a formidable challenge and a frontier in scientific computing because their solutions appear to be infinitely sensitive to data perturbations. many common algebraic problems are ill-posed, such as matrix rank, singular linear and nonlinear systems, polynomial factorizations and jordan canonical forms. on the other hand, the instability of such problems may be a ``misconception'', as argued by w. kahan 40 years ago, since the solutions are well behaved when certain structures of the problems are preserved. furthermore, the hypersensitivity is not random but one-directional: tiny perturbations can only decrease the singularity of the problem and never increase it. from a geometric perspective, ill-posed problems with a specific structure form a smooth manifold that is embedded in similar manifolds of lower codimensions. based on this property and the tubular neighborhood theorem, ill-posed algebraic problems can be regularized to remove the instability through two optimization problems: maximizing the codimension of nearby manifolds and minimizing the distance from the manifold to the data point. in this talk we shall elaborate the computing strategy based on the regularization approach along with algorithms/software for finding accurate solutions of many ill-posed algebraic problems from empirical data.

high dimensional time series data arise in a wide range of disciplines, including finance, signal processing, neuroscience, meteorology, seismology and many other areas. for low dimensional time series there is a well-developed estimation and inference theory. inference theory in the high dimensional setting has been rarely studied. in this talk, i will give an overview of the work that is proposed to develop and advance statistical inference theory for high dimensional time series data analysis including parameter estimation, construction of simultaneous confidence intervals, prediction, model selection, granger causality test, hypothesis testing and spectral domain estimation.

we explain a recent work with huang where we combine various results in complex analysis including fefferman's invariant theory, the chern-moser theory, the cheng-yau solution of kahler-einstein metrics, to provide an affirmative solution of a conjecture posed by cheng-yau. the conjecture stated that the bergman metric of a bounded strongly pseudoconvex domain is einstein if and only if the domain is holomorphically equivalent to the ball.

regularization techniques are widely employed in the solution of inverse problems in data analysis and scientific computing due to their effectiveness in addressing difficulties due to ill-posedness. in their most common manifestation, these methods take the form of penalty functions added to the objective in optimization-based approaches for solving inverse problems. the purpose of the penalty function is to induce a desired structure in the solution, and these functions are specified based on prior domain-specific expertise. we consider the problem of learning suitable regularization functions from data in settings in which precise domain knowledge is not directly available; the objective is to identify a regularizer to promote the type of structure contained in the data. the regularizers obtained using our framework are specified as convex functions that can be computed efficiently via semidefinite programming. our approach for learning such semidefinite regularizers combines recent techniques for rank minimization problems along with the operator sinkhorn iteration. (joint work with yong sheng soh).

i will discuss stochastic interacting particle systems in the kpz universality class evolving in one-dimensional inhomogeneous space. the inhomogeneity means that the speed of a particle depends on its location. i will focus on integrable examples of such systems, i.e., for which certain observables can be written in exact form suitable for asymptotic analysis. examples include a continuous-space version of tasep (totally asymmetric simple exclusion process), and the pushtasep (=long-range tasep). for integrable systems, density limit shapes can be described in an explicit way. we also obtain asymptotics of fluctuations, in particular, around slow bonds and infinite traffic jams caused by slowdowns.

i will present work that aim at understanding the failure of analytic hypoellipticity of special differential operators, namely sums of squares of (analytic) vector fields. according to hörmander, given such an operator p that satisfies the ``bracket condition'' and given a smooth function f, if u is distribution solution to pu=f then u is also a smooth function. p is then said to be hypoelliptic. but if f is real analytic, then u need not to be analytic but merely smooth gevrey for some indices, usually to be guessed. examples were built by metivier, matsuzawa, bove, baouendi-goulaouic..., using real variables methods. in this joint work with paulo cordaro, by using methods of complex analysis, we show that this failure of analytic hypoellipticity due to the presence of irregular singularity of some holomorphic odes the analysis of which defines the best gevrey indices to be expected. the theory of summability of formal solutions of holomorphic odes as developped by ramis, malgrange, braaksma is a fundemental tool here.

in this talk, i will describe a new algebraic characterization of sectional curvature bounds that only involves curvature terms in the weitzenboeck formulae for symmetric tensors. this characterization is further clarified by means of a symmetric analogue of the kulkarni-nomizu product, which renders it computationally amenable. furthermore, a related application of the bochner technique to closed 4-manifolds with indefinite intersection form and positive or nonnegative sectional curvature will be discussed, yielding some new insight about the hopf conjecture. this is based on joint work with r. mendes (univ. zu k$\ddot{\text{o}}$ln, germany).

the gaussian entropy, introduced by colding and minicozzi, is a rigid motion and scaling invariant functional which measures the complexity of hypersurfaces of the euclidean space. it is defined to be the supremal gaussian area of all dilations and translations of the hypeprsurface, and as such, is well adapted to be studied by mean curvature flow. in the case of the n-th sphere in $r^{n+1}$, the entropy can be computed explicitly, and is decreasing as a function of the dimension n. a few years ago, colding ilmanen minicozzi and white proved that all closed, smooth self-shrinking solutions of the mcf have larger entropy than the entropy of the n-th sphere. in this talk, i will describe a generalization of this result, which derives better (sharp) entropy bounds under topological constraints. more precisely, we show that if m is any closed self-shrinker in $r^{n+1}$ with a non-vanishing k-th homotopy group (with $k\leq n$), then its entropy is higher than the entropy of the k-th sphere in $r^{k+1}$. this is a joint work with brian white.

many scientific datasets are of high dimension, and the analysis usually requires retaining the most important structures of data. many existing methods work only for data with structures that are mathematically formulated by curves, which is quite restrictive for real applications. to get more general graph structures, we develop a novel graph structure learning framework that captures the local information of the underlying graph structure based on reversed graph embedding. a new learning algorithm is developed that learns a set of principal points and a graph structure from data, simultaneously. experimental results on various synthetic and real world datasets show that the proposed method can uncover the underlying structure correctly.

study of algebraic equations is one of the oldest and most celebrated themes in mathematics. it was understood that finite systems of equations are decidable in the fields of complex and real numbers. the celebrated hilbert tenth problem stated in 1900 asks for a procedure which, in a finite number of steps, can determine whether a polynomial equation (in several variables) with integer coefficients has or does not have integer solutions. in 1970 matiyasevich, following the work of davis, putnam and robinson, solved this problem in the negative. similar questions can be asked for arbitrary rings. we will give a survey of results on the diophantine problem in different rings and prove the undecidability of equations (the undecidability of the diophantine problem) for free lie algebras of rank at least 3 over an arbitrary field. these are joint results with a. miasnikov.

the class number formula connects the residue of the dedekind zeta
function at s=1 to the regulator, which measures the covolume of the
lattice generated by logarithms of units. beilinson defined a vast
generalization of the regulator morphism and conjectured a class number
formula associated to the cohomology of any smooth proper variety over a
number field. his formula provides arithmetic meaning for the orders of
the so-called trivial zeros of l-functions at integer points as well as
the value of the first nonzero derivative at these points.

we study this conjecture for the middle degree cohomology of
compactified shimura varieties associated to unitary groups of signature
(2,1) and (2,2) over q. we construct explicit beilinson-flach elements
in the motivic cohomology of these varieties and compute their
regulator. this is joint work with aaron pollack.

modular forms are ubiquitous mathematical objects. roughly speaking, they are functions in the complex upper half plane satisfying certain symmetry properties. more importantly, they occur naturally in connection with many problems in different areas of mathematics, e.g., number theory, geometry, mathematical physics, etc.

in this talk, i will give a brief introduction to the theory of classical modular forms while providing examples of various applications.

wave maps are natural hyperbolic analogue of harmonic maps. the study of the wave maps over the last twenty plus years has led to many beautiful and deep ideas, culminating in the proof of the ``ground state conjecture'' by sterbenz and tataru (with independent proof by tao, and by krieger&schlag when the map has hyperbolic plane as target). the understanding of wave maps is now quite satisfactory. there are however still some remaining interesting problems, involving more detailed dynamics of wave maps. in this talk, we shall look at the problem of ruling out the so called ``null concentration of energy'' for wave maps. we will briefly review the history of wave maps, and explain why the null concentration of energy is relevant, and why the channel of energy inequality seems to be uniquely good in ruling out such possible energy concentration in the presence of solitons.

in this talk, i will describe my results on superconvergence estimates of mixed methods using raviart--thomas finite elements. first i prove the canonical interpolant and finite element solution approximating the vector variable are superclose in $l^2$ norm. the main tool is a triangular integral identity in bank and xu siam j. numer. anal 41 (2003) 2294-2312, and a discrete helmholtz decomposition. comparing to previous supercloseness results (eg. brandts numer. math. 68 (1994) 311--324), my proof is constructive and works on irregular triangular meshes. even on a special uniform grid, my result shows that the previous supercloseness result is suboptimal. next i will describe several postprocessing operators based on simple edge averaging, $l^2$ projection or superconvergence patch recovery. then i will show the postprocessed finite element solution superconverges to the true solution. if time permits, i will also briefly describe applications to maxwell's equations an
d generalizations to fourth order elliptic equations.

a sunflower is a collection of distinct sets such that the intersection of any two of them is the same as the common intersection c of all of them, and |c| is smaller than each of the sets. there has been a lot of recent progress on determining the maximum size of a sunflower-free family of subsets of [n]. we consider the problems of determining the maximum sum and product of k families of subsets of [n] that contain no sunflower of size k with one set from each family. we solve the sum problem exactly and make partial progress towards the product problem.

\noindent{joint work with lujia wang.}

this talk introduces a new kernel-based maximum mean discrepancy (mmd) statistic for measuring the distance between two distributions given finitely-many multivariate samples. when the distributions are locally low-dimensional, the proposed test can be made more powerful to distinguish certain alternatives by incorporating local covariance matrices and constructing an anisotropic kernel. the techniques and theory touch on spectral theory of laplacians and heat kernels, optimization, and linear algebra.
applications to flow cytometry and diffusion mri datasets are demonstrated, which motivate the proposed approach to compare distributions.

entanglement is a core concept in quantum mechanics and quantum information theory. put simply: a tensor is entangled if is not a product state. measuring precisely how much entanglement a given tensor has is a big question with competing answers in the physics community. one natural measure is the {\bf geometric measure of entanglement}, which is a version of the hilbert--schmidt distance of the given tensor from the set of product states. it can also be described as the log of the spectral norm.

in 2009, gross, flammia, and eisert showed that, as the mode of the tensor grows, the geometric measure of entanglement of a random tensor is, with high probability, very close to the theoretical maximum. in this talk, i will describe my joint work with shmuel friedland on the analogous situation for symmetric tensors. while symmetric tensors are inherently entangled, it turns out their maximum geometric measure of entanglement is exponentially smaller than for generic tensors. using tools from representation theory and random matrix theory, we prove that, nevertheless, random symmetric tensors are, with high probability, very close to maximally entangled.

equidistribution results play an important role in dynamical
systems and their applications in number theory. often in such
applications it is necessary for equidistribution to be effective (i.e.
the rate of convergence is known) so that number-theoretic methods such
as sieving can be applied. in this talk, we will give a brief history
of effective equidistribution results in homogeneous dynamics and their
applications to number theory. we will then present an effective
equidistribution result for certain flows on the space of lattices and
discuss a number-theoretic application regarding almost-prime times for
these flows.

we explore the implications of molecular charge fluctuations on the kinetics of electrostatically dominated diffusion-controlled association, employing diffusion theory and brownian computer simulations. in general, stochastically fluctuating degrees of freedom that dynamically couple to the diffusional transport can yield additional dissipative forces, i.e., friction, resonant response or feedback mechanisms. using a minimalistc model we present how charge fluctuations due to randomly fluctuating protonation of a charged ligand influence the association kinetics to a charged membrane. here, the exploration of the limiting and intermediate frequency domains of the fluctuations serve to clarify the use of concepts of an average charge, an average potential, and an associated capacitance for quantitative rate prediction.

in quantum mechanics, at an energy level
e, there arises an allowed region a(e), a forbidden
region f(e) and an interface c(e) between them.
most quantities of interest, ranging from sizes of
quantum states to their nodal sets, exhibit a transition
across the interface between allowed and forbidden behavior. i will illustrate these interfaces with two
different types of problems: nodal sets of eigenfunctions
of schrodinger equations and ``partial bergman kernels''
for ample line bundles over kahler manifolds. the two
settings seem quite different at first sight but they are just two types of geometry in phase space. no prior knowledge of quantum mechanics is assumed.

we consider the problem of detecting and localizing an submatrix with larger-than-usual
entries inside a large, noisy matrix. this problem arises from analysis of data in
genetics, bioinformatics, and social sciences. we consider that entries of the data matrix are
independently following distributions from a natural exponential family, which generalizes
the common gaussian assumptions in the literature. distribution-free methods of detection and
size-adaptive methods of both detection and localization problems are studied with their
asymptotic behaviors illustrated.

i will give a brief introduction to the hodge conjectures and
describe some examples where the conjectures are nontrivial.

rigidity phenomena in homogeneous dynamics have been extensively
studied over the past few decades with several striking results and
applications. in this talk we will give an overview of these results
and also the more recent activities which aim at presenting
qualitative versions of them.

the goal of the meeting is to bring together world class mathematicians with expertise in complex analysis/geometry and cr geometry, as well a provide a forum for the exchange of ideas with graduates.

the goal of the meeting is to bring together world class mathematicians with expertise in complex analysis/geometry and cr geometry, as well a provide a forum for the exchange of ideas with graduates.

tesler matrices are certain integral matrices counted by the kostant partition function and have appeared recently in haglund's study of diagonal harmonics. in 2014, drew armstrong defined a poset on such matrices and conjectured that the characteristic polynomial of this poset is a power of $(q-1)$. we will use a method of bruce sagan and joshua hallam to prove armstrong's conjecture and explore how this result can improve the bounds on the number of tesler matrices.

we continue the previous studies in two papers of huang-yin on the flattening problem of a cr singular point of real codimension two sitting in a submanifold in $c^{n+1}$ with $n + 1 ≥ 3$, whose cr points are non-minimal. we give a very general flattening theorem for a non-degenerate cr singular point. this is joint work with xiaojun huang.

the theory supporting conforming finite elements on meshes of squares and cubes requires some care when extended to more general meshes of quadrilaterals and hexahedra in order to preserve desired rates of convergence. in this talk, i'll present two areas of research related to these issues. first, i'll describe a new family of methods called ``trimmed serendipity elements'' that fit within the same framework described by the periodic table of the finite elements (see https://femtable.org). the computational effort required to employ a trimmed serendipity element method is significantly less that what is required for comparable alternatives from the table, thereby presenting a host of potential benefits to the speed and accuracy of square/cube finite element methods in practice. second, i'll present the loss of convergence issues that arise when square/cube elements are mapped non-affinely as well as some recent techniques that restore convergence order. in addition, i'll show why general quad/hex meshes are of increasing interest in application contexts, including an cardiac electrophysiology example carried out in collaboration with andrew mcculloch's research group and nbcr.

i will discuss recent joint results with b. lamel addressing the $c^\infty$ regularity problem for cr mappings between smooth cr submanifolds in complex spaces of possibly different dimension. we essentially show that a nowhere smooth cr map must have its image contained in the set of d’angelo infinite type points of the target manifold, from which we derive a number of new regularity results, even in the hypersurface case. applications to the boundary regularity of proper holomorphic mappings will also be mentioned.

an important task of olfactory sensing is the discrimination of different odors. an odor captures the chemical state of the environment in a mixture of smell molecules, called odorants. olfactory sensing is realized by the selective binding of odorants to a set of olfactory receptors, which in turn activates the corresponding olfactory sensory neurons, constructing the brain's first representation of the odor. despite the high-dimensional nature of olfactory sensing, recent measurements with human olfactory receptors suggest that the odorant-receptor interaction is sparse; only a small fraction of all available pairs interact. what are the optimal interaction structures for effective olfactory discrimination, and are these optimal solutions employed by the real system? we investigate these questions by combining studies of model systems and analyses of experimental data. we show that optimization depends on the statistical properties of the olfactory environment, and furthermore suggest that the human olfactory receptors are adapted to the natural odor statistics.

holomorphic classification of real submanifolds in complex space is one of the central goals in complex analysis in several variables. this classification is well understood and approaches are well developed for submanifolds satisfying certain bracket generating conditions of hormander type, while very little is known in more degenerate setting. in particular, somewhat surprizingly, the classification problem is still completely open for hypersurfaces in complex 2-space. the class of hypersurfaces bringing conceptual difficulties here is the class of (levi-nonflat) infinite type hypersurfaces.
in our joint work with ebenfelt and lamel, we develop the equivalence theory for infinite type hypersurfaces in $c^2$. we do so by providing a normal for for such hypersurfaces. we extensively use the newly developed approach of associated differential equations. the normal form construction is performed in two steps: (i) we provide a normal for for associated odes; (ii) we use the normal form of odes for solving the equivalence problem for hypersurfaces.
somewhat similarly to the poincare-dulac theory in dynamical system, our classification theory exhibits resonances, convergence and divergence phenomena, stokes phenomenon and sectorial regularity phenomena.

we will discuss a few interesting open problems related to the analysis of pdes which model fluid motion. while some of these models were derived by euler in the 1750s, understanding the dynamics of solutions continues to be a major challenge despite many advancements in recent years.

consider the scaling invariant, sharp log entropy (functional) introduced by weissler on noncompact manifolds with nonnegative ricci curvature. it can also be regarded as a sharpened version of perelman's w entropy in the stationary case. we prove that it has a minimizer if and only if the manifold is isometric to the euclidean space. using this result, it is proven that a class of noncompact manifolds with nonnegative ricci curvature is isometric to $r^n$. comparing with earlier well known flatness results on asymptotically flat manifolds and asymptotically locally euclidean (ale) manifolds, their decay or integral condition on the curvature tensor is replaced by the condition that the metric converges to the euclidean one in $c^1$ sense at infinity. no second order condition on the metric is needed.

solving an unconstrained quadratic program means solving a linear equation where the matrix is symmetric and positive definite. this is a fundamental subproblem in nonlinear optimization. we discuss the behavior of the method of conjugate gradients and quasi-newton methods on a quadratic problem. we first derive the method of conjugate gradients and then give necessary and sufficient conditions for an exact line search quasi-newton method to generate a search direction which is parallel to that of the method of conjugate gradients. we analyze update matrices and show how the secant condition fits the discussion of giving parallel search directions.

our interest is limited-memory quasi-newton methods tailored for interior methods. the talk describes the fundamental properties for the exact quadratic case, which is the foundation for the work.

the talk is based on joint work with david ek and tove odland.

the hydrodynamic limit of the kawasaki dynamics states that a certain stochastic evolution of a lattice system converges macroscopically to a deterministic non-linear heat equation. we will discuss how the statement of the hydrodynamic limit can be made quantitative. the key step is to introduce an additional evolution on a mesoscopic scale that emerges from projecting the microscopic observables onto splines. the hydrodynamic limit is then deduced in two steps. in the first step one shows the convergence of the microscopic to the mesoscopic evolution and in the second step one deduces the convergence of the mesoscopic to the macroscopic evolution.

the talk is about a joint work with deniz dizdar, felix otto and tianqi wu.

a certain infinite determinant arises as the constant in the block case of the szego-widom limit theorem for toeplitz matrices. these are matrices whose block entries are constant on the diagonals. while the constant has a very nice form, often a more explicit form, analogous to the one found in the scalar case, is needed in applications. this talk will survey some of the ways the constant can be more explicitly computed (often using functional analysis techniques) and also some applications.

in a 1987 letter to tate, serre showed that the hecke
eigensystems appearing in mod p modular forms are the same as those
appearing in mod p functions on a finite double coset constructed from
the quaternion algebra ramified at p and infinity. at the end of the
letter, he asked whether there might be a similar relation between
p-adic modular forms and p-adic functions on the quaternion algebra. we
show the answer is yes: the completed hecke algebra of p-adic modular
forms is the same as the completed hecke algebra of naive p-adic
automorphic functions on the quaternion algebra. the resulting p-adic
jacquet-langlands correspondence is richer than the classical
jacquet-langlands correspondence -- for example, ramanujan's delta
function, which is invisible to the classical correspondence, appears.
the proof is a lifting of serre's geometric argument from characteristic
p to characteristic zero; the quaternionic double coset is realized as a
fiber of the hodge-tate period map, and eigensystems are extended off of
the fiber using a variant of scholze's fake hasse invariants.

nonconvex optimization problems are the bottleneck in many applications in science and technology. often these problems are np-hard and they are approached with ad hoc methods that frequently fail to yield satisfactory results. this issue becomes even more prevalent in the ``big data regime''.
in my talk i will report on recent breakthroughs in solving some important nonconvex optimization problems. in particular, i will discuss the problems of phase retrieval, blind deconvolution, and blind source separation. the most notorious among these three is arguably phase retrieval, which is the century-old problem of reconstructing a function from intensity measurements, typically from the modulus of a diffracted wave. phase retrieval problems arise in numerous areas including x-ray crystallography, differential geometry, astronomy, diffraction imaging, and quantum physics and are very difficult to solve numerically.

combining tools from optimization, random matrix theory and harmonic analysis, we will derive rigorous mathematical methods that can solve the aforementioned problems under meaningful practical conditions. the proposed methods come with rigorous theoretical guarantees, are numerically efficient and stable in the presence of noise, and require little or no parameter tuning, thus making them useful for massive datasets. i will also discuss connections to the emerging field of self-calibration, which is based on the idea of equipping a sensor with a smart algorithm that can compensate automatically for the sensor's imperfections. the effectiveness of our methods will be illustrated in applications such as astronomy, x-ray crystallography, terahertz imaging, and the internet-of-things.

the gonality of a smooth projective curve is the smallest degree of a map from the curve to the projective line. if a curve is embedded in projective space, it is natural to ask whether the gonality is related to the embedding. in my talk, i will discuss recent work with james hotchkiss. our main result is that, under mild degree hypotheses, the gonality of a complete intersection curve in projective space is computed by projection from a codimension 2 linear space, and any minimal degree branched covering of $p^1$ arises in this way.

in this talk, we present some work from data science teams at google to give
2022年亚洲世界杯预选赛 an impression of how statistics and experimental design are used in
practice. most examples will be drawn from the search ads data science team, but
many of them are representative of techniques used all around the tech industry.
one point of emphasis is that in data science techniques for creating meaningful
data sets can be as or more important than the statistical techniques that are
afterwards applied to them. often doing a good job both in data generation and
evaluation are needed to answer interesting research questions. the talk is aimed
at graduate and undergraduate 2022年亚洲世界杯预选赛 with an interest in applied statistics.

we show that the collection of groups which satisfy the conclusion of popa's cocycle superrigidity theorem for bernoulli actions is invariant under measure equivalence. in the case of orbit equivalence, the proof is mainly an application of a cocycle untwisting lemma of a. furman and s. popa, along with the fact that any orbit equivalence of free p.m.p. actions can be lifted to an orbit equivalence of the corresponding bernoulli extensions of those actions.

spherical designs are finite sets of points
on the sphere with the property that the average of
low-degree polynomials over the sphere coincides
with the average over the finite set. these objects
are very beautiful, very symmetric and have been
studied since the 1970s. we use a completely
new approach that replaces delicate combinatorial
arguments with the a simple application of the heat
equation; this approach improves the known results
and extends to other manifolds. we also discuss
some related issues in combinatorics, irregularities
of distribution and fourier analysis.

the distribution of descents in certain conjugacy classes of $s_n$ have been previously studied, and it is shown that its moments have interesting properties. this talk provides a bijective proof of the symmetry of the descents and major indices of matchings and uses a generating function approach to prove a central limit theorem for the number of descents in matchings. we also extend this result to derangements.

after a short introduction to topics in nonparametric curve estimation, covered in my new 2018
chapman & hall’s book with the same title as the talk, three specific problems will be considered.
the first one is nonparametric regression with missing at random (mar) responses. it will be explained that a complete case approach is optimal in this case. the second problem is nonparametric regression with missing at random (mar) predictors. it will be explained that in general a complete case approach is inconsistent for this type of missing and a special procedure is needed for efficient estimation. the last explored problem is devoted to estimation of hazard rate functions for truncated and censored data.

given a cayley graph of a finitely generated group, one can consider its growth function which counts how many elements are there in a ball of radius n on the graph. we will discuss two seminal results in the subject of growth of groups proved in early 1980s: gromov’s polynomial growth theorem and grigorchuk’s construction of groups of intermediate growth. we will illustrate how random walks on the cayley graphs can help to study growth.

i will discuss a model of nonintersecting brownian bridges on the unit circle, which produces quite a few universal determinantal processes as scaling limits. i will focus on the tacnode process, in which two groups of particles meet at a single point in space-time before separating, and introduce a new version of the tacnode process in which a finite number of particles ``switch sides'' before the two groups separate. we call this new process the k-tacnode process, and it is defined by a kernel expressed in terms of a system of tau-functions for the painleve ii equation. technically, our model of nonintersecting brownian bridges on the unit circle is studied using a system of discrete orthogonal polynomials with a complex (non-hermitian) weight, so i'll also discuss some of the analytical obstacles to that analysis.

\noindent this is joint work with dong wang and robert buckingham

this talk will focus on my works on mean-field models for chemotaxis based on kinetic theory, including pathway based mean-field models, augmented keller-segel model for e. coli chemotaxis, and an asymmetric model for biological aggregation. i will give mathematical derivation of the mean-field models by taking some proper moment closure of kinetic biological systems. building biological mechanism in the models are essential to capture some interesting swarming phenomena, for example, phase-delayed traveling wave (memory effect) and soliton solution (asymmetric sensing). connections to the chemotaxis model proposed in [g. si, t. wu, q. quyang and y. tu, phys. rev. lett., 109 (2012), 048101] will be also discussed.

the navier-stokes regularity problem is well-known, but there are many related simpler equations, including equations in 1d, for which our knowledge is surprisingly incomplete. several of them have been recently studied, and in this talk we will discuss some of the results, together with connections to the full problem.

an abstract simplicial complex $\sigma$ is said to be $k$-connected if for each $−1 \leq d \leq k$ and each continuous map $f$ from the sphere $s$ to $\|\sigma\|$ (the polyhedron of the geometric realization of $\sigma$), the map $f$ can be extended to a continuous map from the ball $b_{d+1}$ to $\|\sigma\|$. the topological connectedness of $\sigma$ is the largest $k$ for which it is $k$-connected. in 2000 a link was discovered between the topological connectedness of the independence complex of a graph and various other important graph parameters to do with colouring and partitioning. when the graph represents some other combinatorial structure, for example when it is the line graph of a hypergraph $h$, this link can be exploited to obtain information such as lower bounds on the matching number of $h$. since its discovery there have been various other applications of this phenomenon to other combinatorial problems, including several different types of colouring (list colouring, strong colouring, delay edge colouring, circular colouring), hypergraph packing and covering, toughness and hamiltonicity, and job scheduling and other resource allocation problems.
in this talk we give an overview of this technique, and describe some of its applications.

it has been observed since the early work of richard stanley that several well-known permutation statistics are ``compatible'' with the operation of shuffling permutations. in joint work with ira gessel, we formalize this notion of a shuffle-compatible permutation statistic and develop a unifying framework for studying shuffle-compatibility, which has close connections to the theory of p-partitions, quasisymmetric functions, and noncommutative symmetric functions. in this talk, i will survey the main results of our work as well as several new directions of research concerning shuffle-compatibility.

by a gluing construction, we produce steady kahler-ricci solitons on equivariant crepant resolutions of quotient singularities $c^n/g$, with the same asymptotics as cao's soliton on $c^n$. this is joint work with olivier biquard.

let $g$ denote a $p-adic$ reductive group, and $i_1$ a $pro-p-iwahori$ subgroup. a classical result of borel and bernstein shows that the category of complex $g$-representations generated by their $i_1$-invariant vectors is equivalent to the category of modules over the (pro-p-)iwahori-hecke algebra $h$. this makes the algebra h an extremely useful tool in the study of complex representations of $g$, and thus in the local langlands program. when the field of complex numbers is replaced by a field of characteristic $p$, the equivalence above no longer holds. however, schneider has shown that one can recover an equivalence if one passes to derived categories, and upgrades $h$ to a certain differential graded hecke algebra. we will attempt to understand this equivalence by examining the $h$-module structure of certain higher $i_1$-cohomology spaces, with coefficients in mod-$p$ representations of $g$. if time permits, we'll discuss how these results are compatible with serre weight conjectures of herzig and gee--herzig--savitt.

on an n-dimensional complete manifold m, consider an h-almost gradient ricci soliton, which is a generalization of gradient ricci solitons and $(\lambda , n + m)$-einstein manifolds. in this talk, we show that if the manifold is bach-flat and $dh/du > 0$, then the manifold m is either einstein or rigid. in particular, such a manifold has harmonic weyl curvature. when the dimension of m is four, the metric is locally conformally flat.

optimal power flow (opf) problems are non-convex and large-scale optimization problems which appear in operation analysis, scheduling, and energy management of power systems. various algorithms have been developed to solve the opf problems, while in many cases, only local optimal solutions are available. recent studies show that semidefinite programming (sdp) can either provide an exact or near global optima for the opf problems. in this regard, there are enormous potential for sdp in solving the opf problems. however, sdp-based approaches are far from real-world implementations. this talk will cover our recent results that partially address the limitations of sdp-based approaches for the opf, including scalability, incorporation of binary variables, and distributed formulation.

motivated by local-global compatibility in the $p$-adic langlands program, emerton and helm (and others) studied how the local langlands correspondence for $gl(n)$ can be interpolated in zariski families. in this talk i will report on joint work with c. johansson and j. newton on the interpolation in rigid families. we take our rigid space to be an eigenvariety $y$ for some definite unitary group $u(n)$ which parametrizes hecke eigensystems appearing in certain spaces of $p$-adic modular forms. the space $y$ comes endowed with a natural coherent sheaf $\mathcal{m}$. our main result is that the dual fibers $\mathcal{m}_y'$ essentially interpolate the local langlands correspondence at all points $y \in y$. this make use of certain bernstein center elements which appear in scholze's proof of the local langlands correspondence (and also in work of chenevier). in the pre-talk i will talk about the local langlands correspondence, primarily for $gl(2)$.

the class number formula is a precise relationship between two
cornerstones of number theory -- the zeta function of a number field and
its class group. a mysterious transcendental quantity, the regulator,
serves as a bridge that links these objects. a central open question in
number theory is beilinson's vast conjectural generalization of this
formula.

after explaining and motivating beilinson's conjecture, we state some
new cases obtained jointly with aaron pollack. the key behind them is
to find a setting where one can simultaneously realize beilinson's
regulator pairing in representation theory and algebraic geometry. we
mention some diverse ingredients involved in the proof, such as the
relative fourier-mukai transform and explicit solutions of systems of
vector-valued pdes, as well as some next steps.

calabi-yau varieties and fano varieties are building blocks of varieties in the sense of birational geometry. birkar recently proved that fano varieties with bounded singularities belong to just finitely many algebraic families. one can then ask if an analogous result holds for calabi-yau varieties. if one only considers rationally connected calabi-yau varieties with klt singularities - those calabi-yau varieties behaving most like fano - shokurov actually conjectured that also these varieties should be bounded in any fixed dimension. we show that rationally connected klt calabi-yau 3-folds form a birationally bounded family. in many cases, we can actually give more precise statements and we are able to relate the boundedness problem to the study of a quite mysterious birational invariant: the minimal log discrepancy. this is a joint work in progress with w. chen, g. di cerbo, j. han, and c. jiang.

we present a technique for proving convergence of h and hp
adaptive finite element methods through comparison with certain
reference refinement schemes based on interpolation error. we then
construct a testing environment where properties of different
adaptive approaches can be evaluated and improved.

i will discuss recent results concerning the kuramoto-sivashinky equation in two space dimensions with periodic boundary conditions. in particular, i will present a global existence result in the wiener algebra, when growing modes are absent, and bounds on the analyticity radius when the data is only $l^2$. this is joint work with david ambrose (drexel university).

we will discuss rigidity, compactness, and finite quantization of entropy for the space of self-shrinking lagrangian surfaces. this is based on joint work with john ma

let $p$ be a uniform random permutation matrix of size $n$ and let $\chi_n(z)= \det(zi - p)$ denote its characteristic polynomial. we prove a law of large numbers for the maximum modulus of $\chi_n$ on the unit circle, specifically,
\[
\sup_{|z|=1}|\chi_n(z)|= n^{x_c + o(1)}
\]
with probability tending to one as $n\to \infty$, for a numerical constant $x_c\approx 0.677$. the main idea of the proof is to uncover an approximate branching structure in the distribution of (the logarithm of) $\chi_n$, viewed as a random field on the circle, and to adapt a well-known second moment argument for the maximum of the branching random walk. unlike the well-studied \emph{cue field} in which $p_n$ is replaced with a haar unitary, the distribution of $\chi_n(z)$ is sensitive to diophantine properties of the argument of $z$. to deal with this we borrow tools from the hardy--littlewood circle method in analytic number theory. based on joint work with ofer zeitouni.

how do the choices made by individual pedestrians influence the large-scale crowd dynamics?
what are the factors that slow them down and motivate them to seek detours?
what happens when multiple crowds pursuing different targets interact with each other?
we will consider how answers to these questions shape a class of popular pde-based models, in which a conservation law models the evolution of pedestrian density while a hamilton-jacobi-bellman pde is used to determine the directions of pedestrian flux. this presentation will emphasize the role of anisotropy in pedestrian interactions, the geometric intuition behind our choice of optimal directions, and connections to the non-zero-sum game theory. (joint work with elliot cartee.)

let g be a simple and simply connected algebraic group over a field. we can attach to a it the sheaf of conformal blocks: a vector bundle on $m_g$ whose fibres are identified with global sections of a certain line bundle on the stack of g-torsors. we generalize the construction of conformal blocks to the case in which g is replaced by a ``twisted group'' defined over curves in terms of covering data. in this case the associated conformal blocks define a sheaf on a hurwitz stack and have properties analogous to the classical case.

the main goal of this talk is to show that geometric information captured by certain invariant cr tensors provides sufficient information to establish the closed range property for $\bar\partial$ on a domain in $\mathbb{c}^n$. a secondary goal of the talk is to provide a general construction method for establishing when a domain (or its boundary) satisfies weak z(q).

we present a synthesis of several papers written with co-authors and related to the construction of adaptive testing procedures in non parametric statistics. we consider the examples of goodness-of-fit tests in a density model, homogeneity test for poisson processes and the two sample testing problem. the first step in such a construction is to define a test statistic $t$ which behavior under the null hypothesis and under the alternative differs. we consider test statistics based on the estimation of the $\mathbb{l}^2$ distance of the distribution of the observations under the null hypothesis and under the alternative. the testing procedures that we propose are non asymptotic : the level is guarantied for all sample size. several cases can occur : the most simple case is the case where the distribution of the test statistic $t$ under the null hypothesis is known, one can then determine the quantiles of this distribution and define the testing procedure. when the null hypothesis is composite, this distribution is generally unknown. one can then consider conditional tests, if it is possible to determine a random variable $z$ such that the distribution of $t$ conditionally on $z$ under the null is known. for the two sample testing problem in density, in regression or for poisson processes, we use kernel procedures combined with bootstrap and permutation methods. concerning the power of the testing procedures, we will see that the aggregation of several tests allows to adapt to the unknown structure of the alternative.

generalized nash equilibrium problems (gnep) have become very important as a modeling tool during the last decades. this talk summarizes some recent advances in the research on computational methods for gnep. for example, newton method, penalty method, vi-based method etc. the algorithms and their convergence properties are also included. furthermore, some results on error bound are presented.

most bacteria on our planet reside in densely packed communities, yet we have little understanding of bacterial behavior in such communities. my laboratory has uncovered ion channel-mediated long-range signaling within such bacterial communities. these action potentials give rise to unexpected emergent behaviors at the community-level that are organized in space and time. we are working to understand the underlying electrophysiology of bacterial communities that allows them to cope with stress (such as antibiotic exposure) as a collective. i will discuss our recent efforts to develop new devices, techniques and theoretical frameworks to understand and control the electrophysiology and behavior of bacterial communities.

using ibukiyama's conjecture on transfers from inner forms
of gsp(4) we compute paramodular forms with prime levels up to 400.
this is joint work with jeffery hein and gonzalo tornar\'\i a.

a countable group is called schmidt if it admits an ergodic free pmp action whose full group contains a non-trivial central sequence. we discuss several permanence properties and examples of schmidt groups.

the incompressible euler equation of fluid mechanics has been derived in 1755. it is one of the central equations of applied analysis, yet due to its nonlinearity and non-locality many fundamental properties of its solutions remain poorly understood. in particular, global regularity vs finite time blow up question for 3d euler equation remains open.

in two dimensions, it has been known since 1930s that solutions to euler equation with smooth initial data are globally regular. the best available upper bound on the growth of derivatives of solutions has been double exponential in time. i will describe a construction (based on a work joint with vladimir sverak) that shows that such fast generation of small scales can actually happen, so that the double exponential upper bound is qualitatively sharp.

this work has been motivated by numerical experiments due to hou and luo who propose a new scenario for singularity formation in solutions to 3d euler equation. the scenario is axi-symmetric, and the geometry of the scenario involves hyperbolic points of the flow located at the boundary. if time permits, i will also discuss some models that attempt to gain insight into this scenario.

i will explain a new proof of the non-linear stability of the minkowski spacetime as a solution of the einstein vacuum equation. the proof relies on an iteration scheme at each step of which one solves a linear wave-type equation globally. the analysis takes place on a suitable compactification of $\mathbb{r}^4$ to a manifold with corners whose boundary hypersurfaces correspond to spacelike, null, and timelike infinity; i will describe how the asymptotic behavior of the metric can be deduced from the structure of simple model operators at these boundaries. this talk is based on joint work with andras vasy.

we study variations of the bergman kernel and their asymptotic behaviors at degeneration. for a holomorphic family of hyperelliptic nodal or cuspidal curves and their jacobians, we announce our results on the bergman kernel asymptotics near various singularities. for genus-two curves particularly, asymptotic formulas with precise coefficients involving the complex structure information are written down explicitly. time permitting, we would like to talk about the equality part of the suita conjecture as an application.

entanglement is a core concept in quantum mechanics and quantum information theory. put simply: a tensor is entangled if is not a product state. measuring precisely how much entanglement a given tensor has is a big question with competing answers in the physics community. one natural measure is the {\bf geometric measure of entanglement}, which is a version of the hilbert--schmidt distance of the given tensor from the set of product states. it can also be described as the log of the spectral norm.

in 2009, gross, flammia, and eisert showed that, as the mode of the tensor grows, the geometric measure of entanglement of a random tensor is, with high probability, very close to the theoretical maximum. in this talk, i will describe my joint work with shmuel friedland on the analogous situation for symmetric tensors. while symmetric tensors are inherently entangled, it turns out their maximum geometric measure of entanglement is exponentially smaller than for generic tensors. using tools from representation theory and random matrix theory, we prove that, nevertheless, random symmetric tensors are, with high probability, very close to maximally entangled.

we identify the linear space spanned by the real-valued excessive functions of a markov process with the set of those functions which are quasimartingales when we compose them with the process. applications to semi-dirichlet forms are given. we provide a unifying result which clarifies the relations between harmonic, co-harmonic, invariant, co-invariant, martingale and co-martingale functions, showing that in the conservative case they are all the same. the talk is based on joint works with iulian cimpean (bucharest) and michael roeckner (bielefeld).

we provide two asymptotic continued fraction expansions of the
prime counting function. we also develop a ``degree'' calculus that
enables us to strengthen the connections between various reformulations
and extensions of the riemann hypothesis.

finite element methods are numerical methods that approximate solutions to pdes using functions on a mesh representing the problem domain. discontinuous-petrov galerkin methods are a class of finite element methods that are aimed at achieving stability of the petrov-galerkin finite element approximation through a careful selection of the associated trial and test spaces. in this talk, i will present dpg theorems as they apply to linear problems, and then approaches for those theorems in the case of non-linear problems, as well as suggest further approaches to non-linear problems.

for
any open riemann surface $x$ admitting green functions, suita asked about the precise relations between the bergman kernel and the logarithmic capacity. it was conjectured that the gaussian curvature of the suita metric is bounded from above by $-4$, and moreover
the curvature is identically equal to $-4$ if and only if $x$ is conformally equivalent to the unit disc less a (possible) polar set. after the contributions made by b\l{}ocki
and guan & zhou, we provide an alternative and simplified proof of the equality part in suita's conjecture. our proof combines the ohsawa-takegoshi extension theorem and the plurisubharmonic variation properties of bergman kernels.

i will describe recent joint work with c. mantoulidis in which we study the properties of bounded morse index solutions to the allen--cahn equation on 3-manifolds. one consequence of our work is that a generic riemannian 3-manifold contains an embedded minimal surface with morse index p, for each positive integer p.

let $x$ be an elliptically fibered k3 surface with a fixed $su(n)$ bundle $\mathcal{e}$. i will talk about degenerations of connections on $\mathcal{e}$ that are hermitian-yang-mills with respect to a collapsing family of ricci flat metrics. this can be thought of as a vector bundle analog of the degeneration of ricci flat metrics studied by gross-wilson and gross-tosatti-zhang. i will show that under some mild conditions on the bundle, the restriction of the connections to a generic elliptic fiber converges to a flat connection. i will also talk about some ongoing work on strengthening this result. this is based on joint work with adam jacob and yuguang zhang.

branching brownian motion is a prototype of a disordered system and a toy model for spin glasses and log-correlated fields. it also has an exact duality relation with the fkpp equation, a well-known reaction diffusion equation. in this talk, i will present recent results (obtained with michel pain) on the fluctuations of the gibbs measure at the critical temperature. by gibbs measure i mean here the measure whose atoms are the positions of the particles, weighted by their gibbs weight. it is known that this gibbs measure, after a suitable scaling, converges to a deterministic measure. we prove a non-standard central limit theorem for the integral of a function against the gibbs measure, for a large class of functions. the possible limits are 1-stable laws with arbitrary asymmetry parameter depending on the function. in particular, the derivative martingale and the usual additive martingale satisfy such a central limit theorem with, respectively, a totally asymmetric and a cauchy distribution.

classical modular curves associated to gl(2) are moduli spaces of
elliptic curves with additional structure. taking advantage of the
analogy between number fields and function fields, drinfeld modules (of
rank 2) were introduced as a good analogue of elliptic curves. while
there are no shimura varieties associated to the general linear group
gl(n) for n$>$2, the situation is sharply different over function fields.
the drinfeld modular variety for gl(n) is a moduli space of drinfeld
modules of rank n (with auxiliary level structure). it is an affine
scheme of dimension n-1. in this talk, i will explain how analogues of
well-established theories due to hida and coleman in the classical
p-adic context extend to drinfeld modular varieties and their associated
modular forms.

joint with g. rosso (montr\'eal).

in recent years, popa’s deformation/rigidity theory has lead to a wealth of classification
and rigidity results for von neumann algebras given by countable groups and their actions on
measure spaces. in this talk, i will present the first rigidity and classification results for von
neumann algebras given by locally compact groups and their actions. i establish that the crossed
product von neumann algebra has a unique cartan subalgebra, when the action is
free and probability measure preserving and the group is a connected simple lie group of real rank one, or
a group acting properly on a tree. from this, i deduce a w*-strong rigidity result for irreducible
actions of products of such groups. i also establish that the group von neumann algebra of such
groups are strongly solid. more generally, our results hold for locally compact groups that are
non-amenable, weakly amenable and belong to ozawa’s class s. this is joint work with arnaud
brothier and stefaan vaes.

i will talk about two problems, completely different from
each other and both quite fun, that turn out to be related to
the riemann hypothesis. one of them concerns the universal
limiting position (after rescaling) of the zeros of polynomials
belonging to a rather general class, with as an application
a weak version of an old conjecture of polya that in its strong
version would imply the riemann hypothesis. the other gives
an equivalence between the generalized riemann hypothesis and
a statement about the growth rate of the determinants of certain
matrices whose entries are elementary cotangent sums, with an
unexpected appearance of quantum modular forms as a byproduct.

in a pioneering paper, pila and zannier showed how one can
prove arithmetic results (the manin-mumford conjecture) using
transcendental methods (the ax-lindemann conjecture). their approach has
since been greatly developed, and is a major ingredient in the
andre-oort conjecture for shimura varieties as well as the more
general zilber-pink conjecture, that serves as a sort of flagship for
the field of unlikely intersections. we'll explain this story and
present a new result (joint with pila and mok)
proving a general transcendence theorem known as ax-schanuel for
arbitrary shimura varieties.

in their 1967 seminal paper, foias and prodi captured precisely a notion of finitely many degrees of freedom in the context of the two-dimensional (2d) incompressible navier-stokes equations (nse). in particular, they proved that if a sufficiently large spectral projection of the difference of two solutions converge to 0 asymptotically in time, then the corresponding complementary projection of their difference must also converge to 0 in the infinite-time limit. in other words, the high modes are ``eventually enslaved`` by the low modes. one could thus define the number of degrees of freedom of the flow to be the smallest number of modes needed to guarantee this convergence for a given flow, insofar as it is represented by a solution to the nse. this property has since led to several developments in the understanding and application of the long-time behavior of solutions to the nse, for instance, in the context of turbulence, data assimilation, and the existence of determining forms. in this talk, we will discuss this asymptotic enslavement property as it regards the issue of uniqueness of invariant measures for stochastically forced equations, particularly the damped, stochastic kdv equation.

a new path-following primal-dual augmented lagrangian method is proposed
for solving nonlinear equality constrained optimization problems (nep).
at each iteration, a newton-like method is used to solve a perturbed
optimality condition that defines a penalty trajectory parameterized by
both the penalty parameter and the estimated lagrange multipliers.
we show that this method is globally convergent and has a quadratic
convergence rate in the limit. finally, numerical experiments on
problems from the cutest test collection are are used to support the
theoretical analysis.

the unit distance problem asks: given $n$ points in $\mathbb r^d$, how many pairs of points can have distance one? this problem can be re-phrased as a question in incidence geometry, and standard machinery from that field leads to certain non-optimal bounds. i will discuss some recent progress on the unit distance problem in three dimensions that goes beyond the standard tools of incidence geometry.

in his influential paper ``modular curves and the eisenstein ideal,''
barry mazur studied congruences modulo p between cusp forms and the
eisenstein series of weight 2 and prime level n. in particular, he
defined the eisenstein ideal in the relevant hecke algebra, and showed
that it is locally principal. we'll discuss the analogous situation for
certain squarefree levels n, and show that, while the eisenstein ideal
may not be locally principal, we can count the minimal number of
generators and explain the arithmetic significance of this number. this
is joint work with carl wang-erickson.

amphiphilic structures such as cell membranes and lipid vesicles play essential roles in biological applications. in this talk, we will first introduce the functionalized cahn-hilliard (fch) model for the free energy of amphiphilic mixtures. the fch model admits local minimizers corresponding to amphiphilic bilayers, filaments, micelles, and other defect structures. we will describe the geometric motion of bilayers, filaments, and their competition. to capture the coexistence and localization of amphiphilic structures, we introduce a degenerate fch functional as a modified model for the free energy of amphiphilic mixtures. we prove that the degenerate fch functional admits geometrically localized minimizers, which correspond to localized amphiphilic structures. specifically, we identify the leading order profile of bilayers under the assumption that the geometrically localized minimizers have bounded variations along the tangential directions.

for each $-1 < q < 1$, bozejko and speicher's q-gaussian functor is a natural and important generalization of voiculescu's free gaussian functor. we study a class of subalgebras of the corresponding q-gaussian von neumann subalgebras. we construct a riesz basis in the spirit of radulescu in the q-fock space. then we use this basis and follow popa's approach to show that when $|q| < 1/9$ , the generator subalgebras are maximal amenable inside those q-gaussian algebras. this is joint work with sandeepan parekh and koichi shimada.

the theta graph $\theta_{k, t}$ consists of two vertices with $t$ internally disjoint paths of length $k$ between them. since $\theta_{k,2}$ is a cycle of length $2k$, the study of the tur\'an number of this graph includes the notorious even-cycle problem. we show that for fixed $k$ and large $t$, a graph without a $\theta_{k,t}$ contains at most $c_k t^{1-1/k}n^{1+1/k}$ edges, and we use graphs constructed via random polynomials to show that this is sharp up to the constant $c_k$ when $k$ is odd.

in the 1990's, vafa-witten tested s-duality of n=4 susy yang-mills theory on a complex algebraic surface x by studying modularity of a certain partition function. in 2017, tanaka-thomas defined vafa-witten invariants by constructing a symmetric perfect obstruction theory on the moduli space of higgs pairs (e,$\phi$) on x. the instanton contribution ($\phi=0$) to these invariants is the virtual euler number of moduli space of sheaves. i outline a method to calculate this contribution, when x is of general type, by reducing to descendent donaldson invariants. for rank 2, this leads to verifications of a formula from vafa-witten. the method can be ``refined'' to virtual $\chi_y$ genus, elliptic genus, and cobordism class, which involves weak jacobi forms and borcherds lifts thereof. i also give a new formula for rank 3 vw invariants on general type surfaces, correcting an error in the physics literature. joint with g$\ddot{\text{o}}$
ttsche.

the burau representation of the braid group was introduced in the 1930s and has been used since the 1980s to understand the jones polynomial. a critical component of this study has been trying to understand when the burau representation is faithful. it is known to be faithful for the braid group on fewer than 4 strands and unfaithful on more than 4 strands. if the representation is unfaithful on 4 strands, it will solve the jones unknot conjecture. we will review the current state of knowledge and some new approaches suggested by the work of armond, huynh and l\^e.

we first discuss the inviscid limit of the global energy dissipation of leray solutions of incompressible navier-stokes on the torus. assuming that the solutions have besov norms bounded uniformly in viscosity, we establish an upper bound on energy dissipation. as a consequence, onsager-type ``quasi-singularities'' are required in the leray solutions, even if the total energy dissipation is vanishes in the limit v $\rightarrow$ 0. next, we discuss an extension
of onsager's conjecture for domains with solid boundaries. we give a localized regularity condition for energy conservation of weak solutions of the euler equations assuming (local) besov regularity of the velocity with exponent >1/3 and, on an arbitrary thin layer around the boundary, boundedness of velocity, pressure and continuity of the wall-normal velocity. we also prove that the global viscous dissipation vanishes in the inviscid limit for leray-hopf solutions of the navier-stokes equations under the similar assumptions, but holding uniformly in a vanishingly thin viscous boundary layer. finally, if a strong euler solution exists, we show that equicontinuity at the boundary within a o(v) strip alone suffices to conclude the absence of anomalous dissipation.
the talk concerns joint work with g. eyink and h.q. nguyen.

in this talk, space-time finite element methods will be presented as an approach to solving pdes with time-dependence. in these methods, time is treated in the same way as the spatial variables, leading to a fully unstructured finite element discretization in space-time. the fundamental properties of this approach will be discussed, especially in contrast to the method of lines. in particular, the efficiency of space-time methods on massively parallel computers will be discussed, as well as the importance of this property in modern numerical software.

we will discuss two different approaches to computing the l-functions of shimura varieties associated with gu(2,1). both approaches employ the comparison of the grothendieck-lefschetz formula with the arthur-selberg trace formula. the first approach, carried out by the author, takes as its starting point the recent work of laumon and morel. the second approach is due to flicker. in both approaches, the principal challenge is that the shimura varieties in question are non-compact, and one must use cohomology with compact supports. time permitting, we will discuss the prospects for extending these approaches to the non-compact shimura varieties associated with higher-rank unitary groups.

motion by mean curvature for networks of surfaces arises in a variety of applications, such as the dynamics of foam and the evolution of microstructure in polycrystalline materials. it is steepest descent (gradient flow) for an energy: the sum of the areas of the surfaces constituting the network.

during the evolution, surfaces may collide and junctions (where three or more surfaces meet) may merge and split off in myriad ways as the network coarsens in the process of decreasing its energy. the first idea that comes to mind for simulating this evolution -- parametrizing the surfaces and explicitly specifying rules for cutting and pasting when collisions occur -- gets hopelessly complicated. instead, one looks for algorithms that generate the correct motion, including all the necessary topological changes, indirectly but automatically via just a couple of simple operations.

a remarkably elegant such algorithm, known as threshold dynamics, was proposed by merriman, bence, and osher in 1992. extending this algorithm, while preserving its simplicity, to more general energies where each surface in the network is measured by a different, possibly anisotropic, notion of area requires new mathematical understanding of the original version, which then elucidates a systematic path to new algorithms.

i will construct a pair of calabi-yau threefolds which are deformation and derived equivalent, but not birationally equivalent. i will explain how this gives a counterexample to the birational torelli problem for calabi-yau threefolds, as well as new examples of zero divisors in the grothendieck ring of varieties. this is joint work with lev borisov and andrei caldararu.

we revisit the preservation of analyticity and gevrey regularity for the euler equation. we provide a result on preservation of gevrey norm and analyticity in lagrangian formulation of the euler equation and discuss the validity of the result in the eulerian variables. next, we consider the navier-stokes equations posed on the half space, with dirichlet boundary conditions. we give a direct energy based proof for the instantaneous space-time analyticity and gevrey class regularity of the solutions, uniformly up to the boundary of the half space.

this is a brief introduction to mathematical programming with complementarity constraints.
this type of optimization problem is ill-posed in the usual sense. stationarities and
constraint qualifications for this problem are introduced, together with some existing methods.

free entropy theory is an analogue of information theory in a non-commutative setting, which has had great applications to the examination of structural properties of von neumann algebras. i will discuss some ongoing joint work with paul skoufranis to extend this approach to the setting of bi-free probability which attempts to study simultaneously ``left'' and ``right'' non-commutative variables. i will speak in particular of an approach to a bi-free fisher information and bi-free conjugate variables -- analogues of fisher's information measure and the score function of information theory. the focus will be on constructing these tools in the non-commutative setting, and time permitting, i will also mention some results such as bi-free cramer-rao and stam inequalities, and some quirks of the bi-free setting which are not present in the free setting.

trying to understand the mechanisms of chemotaxis,during which biological cells move in the presence of chemical gradients, is a challenging and fascinating problem. chemotaxis and cell migration are key components in a multitude of biological processes, including neuronal patterning, wound healing, embryogenesis, and cancer metastasis. even though many of the key components, cell migration remains a poorly understood process. in this talk, i will present our modeling and experimental efforts aimed towards a better quantitative and mechanistic understanding of chemotaxis and cell motility.

given an n-tuple of non-commutative random variables, its free stein discrepancy relative to the semicircle law measures how ​``close '' the distribution is to the semicircle law. by considering free stein discrepancies relative to a broader class of laws, one can define a quantity called the free stein information. in this talk, we will discuss this and its relation to other free probabilistic quantities such as the free fisher information and the non-microstates free entropy dimension. this is based on joint work in progress with ian charlesworth.

for a tracial $*$-probability space $(\mathcal{a}, \varphi)$, c\'{e}bron, dahlqvist, and male constructed an enveloping traffic space $(\mathcal{g}(\mathcal{a}), \tau_\varphi)$ that extends the trace $\varphi$. the cdm construction provides a universal object that allows one to appeal to the traffic probability framework in generic situations, prioritizing an understanding of its structure. we show that $(\mathcal{g}(\mathcal{a}), \tau_\varphi)$ comes equipped with a canonical free product structure, regardless of the choice of $*$-probability space $(\mathcal{a}, \varphi)$. if $(\mathcal{a}, \varphi)$ is itself a free product, then we show how this additional structure lifts into $(\mathcal{g}(\mathcal{a}), \tau_\varphi)$. here, we find a duality between classical independence and free independence. we apply our results to study the asymptotics of large (possibly dependent) random matrices, generalizing and providing a unifying framework for results of bryc, dembo, and jiang and of mingo and popa. this is joint work with camille male.

a real symmetric matrix (resp., tensor) is said to be copositive if the associated quadratic (resp., homogeneous) form is greater than or equal to zero over the nonnegative orthant. the problem of detecting their copositivity is np-hard. this paper proposes a complete semidefinite relaxation algorithm for detecting the copositivity of a matrix or tensor. if it is copositive, the algorithm can get a certificate for the copositivity. if it is not, the algorithm can get a point that refutes the copositivity. we show that the detection can be done by solving a finite number of semidefinite relaxations, for all matrices and tensors.

in this talk i will describe a family of events arising in two related probability models, one having to do with uniformly random ``fully packed loops'' (a family of combinatorial objects which are in bijection with alternating sign matrices), and another appearing in connection with a natural random walk on noncrossing matchings. the connection between the two models is highly nonobvious and was conjectured by physicistsrazumov and stroganov in 2001, and given a beautiful proof in 2010 by cantini and sportiello. another intriguing phenomenon is that the probabilities of the events in question, known as ``connectivity events'', appear to be rational functions of a size parameter n (with the simplest such formula being $3(n^2-1)/2(4n^2+1))$, but this is only conjectured in all but a few cases. the attempts to prove such formulas by myself and others have led to interesting algebraic results on a family of multivariate polynomials known as ``wheel polynomials'', and to a family of conjectural constant term identities that is of independent interest and poses an interesting challenge to algebraic combinatorialists.

a local system on the riemann sphere minus finitely many
points is defined to be ``rigid'' if it is determined by the conjugacy
classes of its monodromy operators along the missing points. katz proves
a convenient cohomological criterion characterizing irreducible rigid
local systems, which is based on an analysis of the moduli of local
systems on the punctured riemann sphere. in this talk, we will discuss
this story, and then proceed towards an analogous story in the
arithmetic setting, where, in place of local systems on the punctured
riemann sphere, we consider overconvergent isocrystals on the punctured
projective line over a field of positive characteristic.

the moving sofa problem is a well-known open problem in geometry. posed by leo moser in 1966, it asks for the planar shape of largest area that can be moved around a right-angled corner in a two-dimensional hallway of width 1. although deceptively easy to state, it turns out to be highly nontrivial to analyze, and has a rich structure that is intriguing to amateurs and experts alike. in this talk i will survey both old and new results about the problem, including a new moving sofa shape with an interesting algebraic structure that i discovered in 2016, and new bounds on the area of a moving sofa i derived more recently in joint work with yoav kallus. i will conclude with a discussion of how the heavily experimental and computer-assisted nature of the recent results offers broader lessons for aspiring research mathematicians.

the essential skeleton is an invariant of a degeneration that
appears in both berkovich geometry and minimal model theory. i will show
that for degenerations with a semistable model, the essential skeleton of a
product of degenerations is the product of their skeleta.

as an application, we are able to describe the homeomorphism type of some
degenerations of hyperkähler varieties, both for a hilbert scheme of
degenerating k3 surfaces and for a kummer variety associated to a
degeneration of an abelian surface. this is joint work with enrica mazzon.

i will discuss four families of random matrices. the first two are
classical: a gaussian measure on the space of $n\times n$ hermitian matrices
(\textquotedblleft gaussian unitary ensemble\textquotedblright) and a gaussian
measure on the space of all $n\times n$ complex matrices (\textquotedblleft
ginibre ensemble\textquotedblright). as $n\rightarrow\infty,$ the eigenvalues
of the gaussian unitary ensemble concentrate onto an interval with a
semicircular density, while the eigenvalues of the ginibre ensemble become
uniformly distributed in a disk in the complex plane.

now, the space of $n\times n$ hermitian matrices can be identified with the
lie algebra $u(n)$ of the unitary group $u(n),$ and the gaussian unitary
ensemble is the distribution of brownian motion in $u(n).$ similarly, the
space of all $n\times n$ matrices is the lie algebra $gl(n;\mathbb{c})$ of the
general linear group $gl(n;\mathbb{c})$ and the ginibre ensemble is the
distribution of brownian motion in $gl(n;\mathbb{c}).$ it is then natural to
consider also brownian motions in the groups $u(n)$ and $gl(n;\mathbb{c})$
themselves.

the eigenvalues for brownian motion in $u(n)$ have a known limiting
distribution in the unit circle. the eigenvalues for brownian motion in
$gl(n;\mathbb{c})$ have received little attention up to now. assuming that the
eigenvalues have a limiting distribution, recent results of mine with kemp
show that the limiting distribution is supported in a certain domain
$\sigma_{t}$ in the complex plane. the figure shows the domain for $t=3.85$,
along with a plot of the eigenvalues for $n=2,000.$ one notably feature of the
domains is that they change topology from simply connected to doubly connected
at $t=4.$ i will give background on all four families of random matrices,
describe our new results, and mention some ideas in the proof.

the theory of congruences of modular forms is a central topic in
contemporary number theory.
congruences between modular forms play a crucial role in understanding
links between geometry and arithmetic: cornerstone example of this is
the proof of serre's modularity conjecture by khare and wintenberger.
congruences of galois representations govern many kinds of
representations of the absolute galois group of number fields. even
though our understanding is improving, many aspects remain very
mysterious, some are theoretically approachable, many are not; and
amongst the latter, some allow numerical studies to reveal first insights.
in this talk i will introduce congruence graphs, which are graphs
encoding congruence relations between classical newforms. then i will
explain first how to construct analogous graphs for congruences of
galois representations, and then how to use these graphs to study
questions regarding hecke algebras and atkin-lehner operators.

we introduce a rate balance principle for general (not necessarily markovian) stochastic processes. special attention is given to processes with birth and death like transitions, for which it is shown that for any state i, the rate of two consecutive transitions from i−1 to i+1, coincides with the corresponding rate from i+1 to i−1. this observation appears to be useful in deriving well-known, as well as new, results for the mn/gn/1 and g/mn/1 queueing systems, such as a recursion on the conditional distributions of the residual service times (in the former model) and of the residual inter-arrival times (in the latter one), given the queue length. the talk is based on b. oz. i adan and m. haviv, ``a rate balance principle and it application to queueing models,'' queueing systems: theory and applications, 87, 95-111 (2017).

a riemannian metric gives rise to geodesics. as unparameterised curves, at each point there is one geodesic in every direction. does this arrangement of curves determine the metric and will any such arrangement of curves determine a metric? these are classical questions considered, for example, by roger liouville in 1889 who made considerable progress in two dimensions. this talk will discuss these questions in two and three dimensions, mostly based on joint work with robert bryant and maciej dunajski.

there are many well-known concentration results for sums of independent random matrices, e.g. those of rudelson, ahlswede-winter, tropp, and oliveira. we move beyond the independent setting, and prove a chernoff-type bound for sums of matrix-valued random variables sampled via a random walk on an reversible markov chain, confirming a conjecture due to wigderson and xiao. our proof is based on a new multi-matrix extension of the golden-thompson inequality which follows from complex interpolation methods.
joint work with a. garg, y. lee, and z. song.

the motion of a flying saucer is restricted by the three-dimensional geometry of the space in which it moves. i shall discuss three possible cases, one of which may be interpreted as an explanation of engel's 1893 construction of the exceptional lie algebra g2. this is joint work with pawel nurowski.

donaldson-thomas (abbreviated as dt) theory is a sheaf theoretic technique of enumerating curves on a calabi-yau threefold. classical dt invariants give a virtual count of gieseker stable sheaves provided that no strictly semistable sheaves exist. this assumption was later lifted by the work of joyce and song who defined generalized dt invariants using hall algebras and the behrend function, their method being motivic in nature. in this talk, we will present a new approach towards generalized dt theory, obtaining an invariant as the degree of a virtual cycle inside a deligne-mumford stack. the main components are an adaptation of kirwan’s partial desingularization procedure and recent results on the structure of moduli of sheaves on calabi-yau threefolds. based on joint work with young-hoon kiem and jun li.

biological systems make use of feedback in an extraordinary number of ways, on scales
ranging from molecules to cells to organisms to ecosystems. in this talk i will discuss the use
of concepts from feedback control theory in the design of feedback circuits at the molecular,
cellular, and multicellular level. after a brief survey of relevant concepts from control theory
and synthetic biology, i will present some recent results that demonstrate how feedback
controllers can be implemented in cells, including ratiometric control of protein
concentrations, reference tracking of cell concentration, and fractional control of cell
populations. using these examples and others from the literature, i will discuss some of the
common features and possible architectures for implementation of biomolecular feedback
control systems, some limits on performance predicted by the theory, and some
implementation challenges that require more effort and new approaches.

in this talk we use the \emph{unit-graphs} and the \emph{special unit-digraphs} on matrix rings to show that every $n \times n$ nonzero matrix over $\bbb f_q$ can be written as a sum of two $\operatorname{sl}_n$-matrices when $n>1$. we compute the eigenvalues of these graphs in terms of kloosterman sums and study their spectral properties; and prove that if $x$ is a subset of $\operatorname{mat}_2 (\bbb f_q)$ with size $|x| > \frac{2 q^3 \sqrt{q}}{q - 1}$, then $x$ contains at least two distinct matrices whose difference has determinant $\alpha$ for any $\alpha \in \bbb f_q^{\ast}$. using this result we also prove a sum-product type result: if $a,b,c,d \subseteq \bbb f_q$ satisfy $\sqrt[4]{|a||b||c||d|}= \omega (q^{0.75})$ as $q \rightarrow \infty$, then $(a - b)(c - d)$ equals all of $\bbb f_q$. in particular, if $a$ is a subset of $\bbb f_q$ with cardinality $|a| > \frac{3} {2} q^{\frac{3}{4}}$, then the subset $(a - a) (a - a)$ equals all of $\bbb f_q$. we also recover a classical result: every element in any finite ring of odd order can be written as the sum of two units.

studying invariant theory of commutative polynomial rings has motivated many developments in commutative algebra and algebraic geometry. for a finite group acting on a polynomial ring, the remarkable chevalley-shephard-todd theorem proves that the fixed subring is isomorphic to a polynomial ring if and only if the group is generated by pseudo-reflections. related questions try to find properties of the fixed ring under some special group actions. in recent years, progress was made in work of jing, jorgensen, kirkman, kuzmanovich, walton, zhang, and others to extend the theory to regular algebras which are a noncommutative generalization of polynomial rings. naturally, the question arises if the theory generalizes further to non-connected noncommutative algebras. this talk answers the question what conditions need to be satisfied by the fixed ring in order to make a rich theory possible. moreover, we construct a homological determinant for preprojective algebras and discuss how it being trivial for all elements of a finite group affects the related fixed ring.

in neuroscience, functional connectivity describes the connectivity between
brain regions that share functional properties. it is often characterized by a time
series of covariance matrices between functional measurements of distributed
neuron areas. an effective statistical model for functional connectivity and
its changes over time is critical for better understanding brain functions and
neurological diseases. to this end, we propose a matrix-log mean model with an
additive heterogeneous noise for modeling random symmetric positive definite
matrices that lie in a riemannian manifold. we introduce the heterogeneous
error terms to capture the curved nature of the nonlinear manifold. a scan
statistic is then developed for the purpose of multiple change point detection.
theoretically, we establish the sure coverage property. simulation studies and
an application to the human connectome project lend further support to the
proposed methodology.

in many binary classification applications, such as disease diagnosis and spam detection, practitioners commonly face the need to limit type i error (that is, the conditional probability of misclassifying a class 0 observation as class 1) so that it remains below a desired threshold. to address this need, the neyman-pearson (np) classification paradigm is a natural choice; it minimizes type ii error (that is, the conditional probability of misclassifying a class 1 observation as class 0) while enforcing an upper bound, alpha, on the type i error. although the np paradigm has a century-long history in hypothesis testing, it has not been well recognized and implemented in classification schemes. common practices that directly limit the empirical type i error to no more than alpha do not satisfy the type i error control objective because the resulting classifiers are still likely to have type i errors much larger than alpha. this talk introduces the speaker's work on np classification algorithms and their applications and raises current challenges under the np paradigm.

in this talk we investigate the erd\h{o}s-renyi model for random graphs, $g(n,p)$. our focus will be on determining the probability that $g(n,p)$ is connected, which was the first problem that erd\h{o}s and renyi considered in their original paper. as time permits we will also discuss the ``phase transition'' of $g(n,p)$.

for fixed degree $d$, one could ask for a meaningful compactification of the moduli space of smooth degree $d$ surfaces in $\mathbb{p}^3$. in other words, one could ask for a parameter space whose interior points correspond to [isomorphism classes of] smooth surfaces and whose boundary points correspond to degenerations of these surfaces. motivated by hacking's work for plane curves, i will discuss a ksba compactification of this space by considering a surface $s$ in $\mathbb{p}^3$ as a pair $(\mathbb{p}^3, s)$ satisfying certain properties. we will study an enlarged class of these pairs, including singular degenerations of both $s$ and the ambient space. the moduli space of the enlarged class of pairs will be the desired compactification and, as long as the degree $d$ is odd, we can give a rough classification of the objects on the boundary of the moduli space.

a long-standing open question, formalized by blackadar and kirchberg in the mid 90's, asks for an abstract characterization of c$^*$-subalgebras of af-algebras. i will discuss some recent progress on this question: every separable, exact c$^*$-algebra which satisfies the uct and admits a faithful, amenable trace embeds into an af-algebra. moreover, the af-algebra may be chosen to be simple and unital with unique trace and the embedding may be taken to be trace-preserving. modulo the uct, this characterizes c$^*$-subalgebras of simple, unital af-algebras. as an application, for any countable, discrete, amenable group $g$, the reduced c$^*$-algebra of $g$ embeds into a uhf-algebra.

the motivating problems in geometry are classification problems. one tries to understand the isomorphism classes of certain types of geometric objects. a peculiar feature of algebraic geometry is that there is often a variety or scheme, called the moduli space, whose points correspond to isomorphism classes of the objects we want to study. in this talk, i will talk about the history of moduli problems and spaces, and explain some of the mathematics behind the contributions grothendieck made to the subject.

in the celebrated work of bershadsky--cecotti--ooguri--vafa the genus one string partition function in the b-model is identified with certain analytic torsion of the hodge laplacian on a k$\ddot{\text{a}}$hler manifold. in a joint work with shu shen (imj-prg) and jianqing yu (ustc) we study the analogous torsion in landau--ginzburg models. i will explain the corresponding index theorem based on the asymptotic expansion of the heat kernel of the schr$\ddot{\text{o}}$dinger operator. i will also explain the rigorous definition of the bcov torsion for homogeneous polynomials on ${\mathbb c}^n$. lastly i will explain the conjecture stating that in the calabi--yau case the bcov torsion solves the holomorphic anomaly equation for marginal deformations.

we consider $\sigma_k$-curvature equation with $h_k$-curvature condition on a compact manifold with boundary $(x^{n+1}, m^n, g)$. when restricting to the closure of the positive $k$-cone, this is a fully nonlinear elliptic equation with a fully nonlinear robin-type boundary condition. we prove a general bifurcation theorem in order to study nonuniqueness of solutions when 2k is less than n. we explicitly give examples of product manifolds with multiple solutions. it is analogous to schoen example for yamabe problem on $s^1\times s^{n-1}$. this is joint work with jeffrey case and ana claudia moreira.

full approximation scheme (fas) is a widely used multigrid method for nonlinear problems. in this talk, we shall provide a new framework to analyze fas for convex optimization problems and improve the original method. we view fas as an inexact version of nonlinear multigrid methods based on space decomposition and subspace correction. the local problem in each subspace can be simplified to be linear and one gradient decent iteration is enough to ensure a linear convergence.

this is a joint work with steve wise (university of tennessee) and xiaozhe hu (tuffs university).

book proofs for preferential attachment models are found through continuous
time processes with exponential waiting times. in turning these arguments around
we find large deviation results and a description of the process conditional on remaining
stable.
joint work with subhabrata sen and svante janson

today the main emphasis in local number theory (i.e the local
langlands) is on the finite places. in charactacteristic 0 the infinite
place is the ``elephant in the room''. this is especially true in the
whittaker theory in which serious difficulties separate the infinite from
the finite places. whittaker models were developed to help the study of
fourier coefficients at cusps of non-holomophic cusp forms (i.e maass cusp
forms) through representation theory. the first of these lectures will start
with an explanation of the role of whittaker models in the theory of
automorphic forms. it will continue with a description of the main results.
the second lecture will explain the proof of the whittaker plancherel
theorem.

the schottky problem is a classical and fundamental question in arithmetic algebraic geometry,
about the characterization of jacobian varieties among abelian varieties.
this question is equivalent to studying the torelli locus (i.e., the image of moduli of curves under the torelli map) inside siegel modular varieties.
in positive characteristics, a first approximation to this problem is understanding the discrete invariants (e.g., p-rank, newton polygon, ekedahl--oort type) occurring for jacobians of smooth curves. the coleman--oort conjecture predicts that if the genus is large, then up to isomorphism, there are only finitely many smooth projective curves over the field of complex numbers, of genus g and jacobian an abelian variety with complex multiplication. an effective version of the colemann--oort conjecture proposes 8 as an explicit lower bound.

after introducing the framework for these problems, i will discuss recent progress towards the schottky problem in positive characteristics which is inspired by the coleman--oort conjecture, and which relies on our understanding of special subvarieties (a.k.a, shimura subvarieties) of siegel varieties.

birkar and zhang recently introduced the notion of generalized pair. these pairs are closely related to the canonical bundle formula and have been a fruitful tool for recent developments in birational geometry. in this talk, i will introduce a version of the canonical bundle formula for generalized pairs. this machinery allows us to develop a theory of adjunction and inversion thereof for generalized pairs. i will conclude by discussing some applications to a conjecture of prokhorov and shokurov.

maximizing computer system performance relies on careful resource management: how to best allocate resources among jobs. effective resource allocation is most difficult in regimes with uncertainty. this talk examines three common types of uncertainty. we consider uncertainty in job sizes and ask how to optimally schedule jobs to minimize response time in such regimes. we next turn to uncertainty in the arrival rate and ask how we should adapt capacity provisioning and power management in data centers to handle unexpected load fluctuations. finally, we consider uncertainty in the system state and look at how job replication can help curtail unpredictability. a common thread in this talk is stochastic performance modeling and the insights it illuminates.

motivated by questions in pointwise ergodic theory, modern discrete harmonic analysis, as developed by bourgain, has focused on understanding the oscillation of averaging operators -- or related singular integral operators -- along polynomial curves. in this talk we present the first example of a discrete analogue of polynomially modulated oscillatory singular integrals; this begins to unify the work of bourgain, stein, and stein-wainger. the argument combines a wide range of techniques from euclidean harmonic analysis and analytic number theory.

we give a systematic and self-contained account of the construction of
geometrically decomposed bases and degrees of freedom in finite element
exterior calculus. in particular, we elaborate upon a previously overlooked
basis for one of the families of finite element spaces, which is of interest
for implementations. moreover, we give details for the construction of
isomorphisms and duality pairings between finite element spaces. these
structural results show, for example, how to transfer linear dependencies
between canonical spanning sets, or give a new derivation of the degrees of
freedom.

loosely defined, a sieve is a mathematical technique for finding the rate of growth of a set of objects with a quantifiable (and hopefully small) error term. sieve techniques have wide applications in number theory and combinatorics. we will first present the idea behind sieving and present a toy example of calculating the probability that an integer is squarefree. then we will discuss poonen’s recently developed algebro-geometric sieve, which allows one to compute the probability that a hypersurface intersects smoothly with a given projective variety x over a finite field.

an $(\alpha,\beta)$-spanner of a graph g is a subgraph h that distorts distances in g up to a multiplicative factor of $\alpha$ and an additive factor of $\beta$, where the goal is to construct an h with as few edges as possible. when $\beta=0$ we call h a multiplicative spanner, and when $\alpha=1$ we call h an additive spanner. it is known how to construct multiplicative spanners of essentially optimal size, but much less is known about additive spanners. in this talk we discuss a recent result which shows how to construct a (0,6)-additive spanner for any graph g.

high-dimensional high-order data arise in many modern scientific applications including genomics, brain imaging, and social science. in this talk, we consider the methods, theories, and computations for tensor singular value decomposition (tensor svd), which aims to extract the hidden low-rank structure from high-dimensional high-order data. first, comprehensive results are developed on both the statistical and computational limits for tensor svd under the general scenario. this problem exhibits three different phases according to signal-noise-ratio (snr), and the minimax-optimal statistical and/or computational results are developed in each of the regimes. in addition, we further consider the sparse tensor singular value decomposition which allows more robust estimation under sparsity structural assumptions. a novel sparse tensor alternating thresholding algorithm is proposed. both the optimal theoretical results and numerical analyses are provided to guarantee the performance of the proposed procedure.

at the beginning of section 11 in perelman's celebrated paper ``the entropy formula for the ricci flow and its geometric applications'', he made the assertion that for an ancient solution to the ricci flow with bounded nonnegative curvature operator, bounded entropy is equivalent to noncollapsing on all scales. we give a proof for this assertion.

today the main emphasis in local number theory (i.e the local
langlands) is on the finite places. in charactacteristic 0 the infinite
place is the ''elephant in the room''. this is especially true in the
whittaker theory in which serious difficulties separate the infinite from
the finite places. whittaker models were developed to help the study of
fourier coefficients at cusps of non-holomophic cusp forms (i.e maass cusp
forms) through representation theory. the first of these lectures will start
with an explanation of the role of whittaker models in the theory of
automorphic forms. it will continue with a description of the main results.
the second lecture will explain the proof of the whittaker plancherel
theorem.

in this talk, we will prove a classical theorem which states that the simple random walk on the integer lattice $\mathcal{z}^d$ is
recurrent in the case where $d=1,2$ and transient in the case where $d \geq 3$. in particular, we plan to focus on the combinatorial nature of the proof.

a numerical semigroup is a subset of the natural numbers which is closed under addition. consider a numerical semigroup s selected via the following random process: fix a probability p and a positive integer m , and select a generating set for s from the integers 1, 2, . . . , m where each generator has probability p of being selected. what properties can we expect the numerical semigroup s to have? for instance, how many minimal generators do we expect s to have? in this talk, we answer several such questions, and describe some surprisingly deep geometric and combinatorial structures that arise naturally in this process.
no familiarity with numerical semigroups or probability will be assumed for this talk.

we study regularity properties of the free boundary for solutions of the porous medium equation with the presence of drift. we show that if the initial data has super-quadratic growth at the free boundary, then the support strictly expands relative to the streamline, and that the movement is holder continuous in time. under additional information of directional monotonicity in space, we derive nondegeneracy of solutions and $c^{1,\alpha}$ regularity of free boundaries. finally several examples of singularities are given that illustrate differences from the zero drift case.

``who doesn't like those?''

combinatorial neural codes are 0/1 vectors that are used to model the co-firing patterns of a set of place cells in the brain. one wide-open problem in this area is to determine when a given code can be algorithmically drawn in the plane as a venn diagram-like figure. a sufficient condition to do so is for the code to have a property called k-inductively pierced. gross, obatake, and youngs recently used toric algebra to show that a code on three neurons is 1-inductively pierced if and only if the toric ideal is trivial or generated by quadratics. no result is known for additional neurons in the same generality.

in this talk, we study two infinite classes of combinatorial neural codes in detail. for each code, we explicitly compute its universal gröbner basis. this is done for the first class by recognizing that the codewords form a lawrence-type matrix. with the second class, this is done by showing that the matrix is totally unimodular. these computations allow one to compute the state polytopes of the corresponding toric ideals, from which all distinct initial ideals may be computed efficiently. moreover, we show that the state polytopes are combinatorially equivalent to well-known polytopes: the permutohedron and the stellohedron.

\textbf{small kam perturbations of integrable systems which are entropy expansive.} one of the greatest achievements in dynamics in the xx century is the kam theory. it says that after a small perturbation of a non-degenerate completely integrable system it still has an overwhelming measure of invariant tori with quasi-periodic dynamics. what happens outside kam tori remains a great mystery. it is easy, by modern standards, to show that topological entropy can be positive. it lives, however, on a zero measure set. we are now able to show that metric entropy can become infinite too, under arbitrarily small $c^{\infty}$ perturbations, answering an old-standing problem of kolmogorov. furthermore, a slightly modified construction resolves another long standing problem of the existence of entropy non-expansive systems. in these modified examples positive metric entropy is generated in arbitrarily small tubular neighborhoods of one trajectory. joint with s. ivanov and dong chen.

\noindent \textbf{metric approximations of length spaces by graphs with uniformly bounded local structure.} how well can we approximate an (unbounded) space by a metric graph whose parameters (degrees of vertices, lengths of edges, density of vertices etc) are uniformly bounded? we want to control the additive error. some answers are given (the most difficult case is $\mathbb{r}^2$) using dynamics and fourier series. joint with s. ivanov.

\noindent \textbf{on busemann's problem on minimality of flats in normed spaces for the buseman-hausdorff surface area.} busemann asked if regions in affine subspaces of normed spaces are area minimizers with respect to the busemann-hausdorff measure. this has been known for long for hyperplanes (codim=1), this is a classic result in convex geometry. sergei ivanov and me were able to prove this for 2-dimensional subspaces.

grothendieck's inequality guarantees that a certain discrete optimization problem-optimizing a bilinear form over +1, -1 inputs—is equivalent up to a constant, called grothendieck's constant, to a continuous optimization problem -- optimizing the same bilinear form over unit vectors in a hilbert space. this is important for convex relaxation, because the former contains np-hard problems such as max-cut, whereas the latter is a semidefinite program and can be solved in polynomial time. a world apart from convex
relaxation is algebraic computational complexity, where it is well-known that the exponent of matrix multiplication is exactly the sharp lower bound for the (log of) tensor rank of the strassen matrix multiplication tensor. we show that grothendieck's constant is the sharp upper bound on a tensor norm of strassen matrix multiplication tensor. hence these two important quantities from disparate areas of theoretical computer science—strassen's exponent of matrix multiplication and grothendieck's constant—are just different measures of the same underlying tensor. this allows us to rewrite grothendieck's inequality as a norm inequality for a 3-tensor, which in turn gives a family of natural generalized inequalities. we show that these are locally sharp and prove that grothendieck's inequality is unique.

\textbf{counting collisions.}20 years ago the topic of my talk at the icm was a solution of a problem which goes back to boltzmann and ya. sinai. the conjecture of boltzmann-sinai states that the number of collisions in a system of $n$ identical balls colliding elastically in empty space is uniformly bounded for all initial positions and velocities of the balls. the answer is affirmative and the proven upper bound is exponential in $n$. the question is how many collisions can actually occur. on the line, there can be $n(n-1)/2$ collisions, and this is he maximum. since the line embeds in any euclidean space, the same example works in all dimensions. the only non-trivial (and counter-intuitive) example i am aware of is an observation by thurston and sandri who gave an example of 4 collisions between 3 balls in $r^2$. recently, sergei ivanov and me proved that there are examples with exponentially many collisions between $n$ identical balls in $r^3$, even though the exponents in the lower and upper bounds do not match.

\noindent \textbf{a survival guide for a feeble fish and homogenization of the g-equation.} how fish can get from a to b in turbulent waters which maybe much fasted than the locomotive speed of the fish provided that there is no large-scale drift of the water? this is related to g-equation and has applications to its homogenization. g-equation which is believed to govern many combustion processes. based on a joint work with s. ivanov and a. novikov.

regarding time as a scaling parameter, we prove the one-point, lower tail large deviation principle (ldp) of the kpz equation, with an explicit rate function. this result confirms existing physics predictions. we utilize a formula from [borodin gorin 16] to convert ldp of the kpz equation to calculating an exponential moment of the airy point process, and analyze the latter via stochastic airy operator and riccati transform

smoothing spline mixed-effects density models are proposed for the nonparametric
estimation of density and conditional density functions with clustered data.
the random effects in a density model introduce within-cluster correlation and
allow us to borrow strength across clusters by shrinking cluster specific density
function to the population average, where the amount of shrinkage is decided
automatically by data. estimation is carried out using the penalized likelihood
and computed using a markov chain monte carlo stochastic approximation algorithm.
we apply our methods to investigate evolution of hemoglobin density functions
over time in response to guideline changes on anemia management for dialysis
patients.

in 1970, manin observed that the brauer group br(x) of a variety
x over a number field k can obstruct the hasse principle on x. in other
words, the lack of a k-point on x despite the existence of points over
every completion of k is sometimes explained by non-trivial elements in
br(x). this so-called brauer-manin obstruction may not always suffice to
explain the failure of the hasse principle but it is known to be sufficient
for some classes of varieties (e.g. torsors under connected algebraic
groups) and conjectured to be sufficient for rationally connected varieties
and k3 surfaces.
a zero-cycle on x is a formal sum of closed points of x. a rational point
of x over k is a zero-cycle of degree 1. it is interesting to study the
zero-cycles of degree 1 on x, as a generalisation of the rational points.
yongqi liang has shown that for rationally connected varieties, sufficiency
of the brauer-manin obstruction to the hasse principle for rational points
over all finite extensions of k implies sufficiency of the brauer-manin
obstruction to the hasse principle for zero-cycles of degree 1 over k. in
this talk, i will discuss joint work with francesca balestrieri where we
extend liang's result to kummer varieties.

the ligand-receptor binding/unbinding is a complex biophysical process in which water plays a critical role. to understand the fundamental mechanisms of such a process, we have developed a new and efficient approach that combines our level-set variational implicit-solvent model with the string method for transition paths, and have studied the pathways of dry-wet transition in a model ligand-receptor system. we carry out brownian dynamics simulations as well as fokker-planck equation modeling with our efficiently calculated potentials of mean force to capture the effect of solvent fluctuations to the binding and unbinding processes. without the description of individual water molecules, we have been able to predict the binding and unbinding kinetics quantitatively in comparison with the explicit-water molecular dynamics simulations. our work indicates that the binding/unbinding can be controlled by a few key parameters, and provides a tool of efficiently predicting molecular recognition with application to drug design.

i will discuss the einstein-klein-gordon coupled system of general relativity, and the problem of global stability of the minkowski space-time. this is joint work with benoit pausader.

the minimal log discrepancy of an algebraic variety is an invariant which measures the singularites of the variety. for mild singularities the minimal log discrepancy is a non-negative real value; the closer to zero this value is, the more singular the variety. it is conjectured that in a fixed dimension, this invariant satisfies the ascending chain condition. in this talk we will show how boundedness of fano varieties imply some local statements about the minimal log discrepancies of klt singularities. in particular, we will prove that the minimal log discrepancies of klt singularities which admit an $\epsilon$-plt blow-up can take only finitely many possible values in a fixed dimension. this result gives a natural geometric stratification of the possible mld's on a fixed dimension by finite sets. as an application, we will prove the ascending chain condition for minimal log discrepancies of exceptional singularities in arbitrary dimension.

consider the vanishing viscosity limit for the 2d steady navier-stokes equations in the region $0\leq x \leq l$ and $0 \leq y<\infty$ with no slip boundary conditions at $y=0.$ for $l<<1,$ we justify the validity of the steady prandtl layer expansion for scaled prandtl layers, including the celebrated blasius boundary layer. this is joint work with yan guo.

we are currently witnessing an explosion of intelligent systems. the year 2012 is often cited as the beginning of the deep learning revolution which transformed the artificial intelligence industry. that year, many notable achievements were accomplished using deep neural networks, large training datasets, and powerful gpus. in 2015, machine learning finally beat humans in classifying images after attempting for many years in the annual imagenet competition. in this talk, we explain how deep neural networks work and show the progression of intelligent systems from the year 2000 until the present. we will focus on convolutional neural networks and image recognition tasks.

in this talk, we will explore the problem of the largest singular value of a random sign matrix. we will use the method of $\epsilon$-nets to show that there exists a $c>0$ so that the largest singular value of a random sign matrix of size $n$ is at least $c \sqrt{n}$ with exponentially high probability. while this is a highly combinatorial problem, the method of $\epsilon$-nets could of interest to those in other fields. this talk is based off tao's book on random matrix theory and a recent talk he gave at the 27th annual pcmi summer session on random matrices.

to each graded poset one can associate two sequences of numbers: the whitney numbers of the first kind and the whitney numbers of the second kind. one sequence keeps track of the m$\ddot{\text{o}}$bius function at each rank level and the other keeps track of the number of elements at each rank level. we say if $p$ and $q$ are whitney duals if the whitney numbers of the first kind of $p$ are the whitney numbers of the second kind of $q$ and vice-versa. in this talk, we will discuss a method to construct whitney duals. this method uses a new type of edge labeling as well as quotient posets. for posets which have this type of labeling, one can construct a simplicity complex whose $f$-vector encodes the whitney numbers of the second kind of this poset. time permitting, we will discuss this complex. this is joint work with rafael s. gonz\'alez d'le\'on.

gaussian mixture model(gmm) is a fundamental tool in applied statistics and machine learning given data from a weighted sum of several gaussian distributions. the current practice for learning mixture of gaussians inevitably has high computational and sample complexity which is exponential in the number of gaussian components. it has been shown in recent work that such estimation can be reduced to the problem of decomposing a symmetric tensor derived from the moments. the decomposition of these specially structured tensors can be solved efficiently by several methods.

parabolic flows are smoothing for short time however, over long time, singularities are typically unavoidable and can be very nasty. the key to understand such flows is to understand their singularities and the set where those singularities occur. we begin with discussing mean curvature flow and will explain which singularities are generic and what one can say about the short and long time dynamics near singularities. after that we turn to the question of optimal regularity of geometric flows in general. we will see that these seemingly different questions turn out to be related. the ideas draws inspiration from an number of different fields, including geometry, analysis, dynamical systems and real algebraic geometry.

the polynomial method is a recent trend in combinatorics which draws from methods of algebraic geometry over finite fields. instances of the theory have been known for some time, and include stepanov's method for counting points on curves over finite fields or alon's combinatorial nullstellensatz. in this talk we will follow an expository article of tao [1] to present basic ideas behind the polynomial method, as well as several applications. following tao, ``we will assume as little prior knowledge of algebraic geometry as possible.''

in an exciting paper, j. bedrossian and n. masmoudi established the stability of the 2d couette flow in gevrey spaces of index greater than 1/2. i will talk about recent joint work with n. masmoudi, which proves, in the opposite direction, the instability of the couette flow in gevrey spaces of index smaller than 1/2. this confirms, to a large extent, that the transient growth predicted heuristically in earlier works does exist and has the expected strength. the proof is based on the framework of the stability result, with a few crucial new observations. i will also discuss related works regarding landau damping, and possible extensions to infinite time.

this talk focuses on developing a generalized bootstrap algebraic
multigrid algorithm for solving sparse matrix equations. as a
motivation of the proposed generalization, we consider an optimal form
of classical algebraic multigrid interpolation that has as columns
eigenvectors with small eigenvalues of the generalized eigen-problem
involving the system matrix and its symmetrized smoother. we use this
optimal form to design an algorithm for choosing and analyzing the
suitability of the coarse grid. in addition, it provides insights into
the design of the bootstrap algebraic multigrid setup algorithm that we
propose, which uses as a main tool a multilevel eigensolver to compute
approximations to these eigenvectors. a notable feature of the approach
is that it allows for general block smoothers and, as such, is well
suited for systems of partial differential equations. in addition, we
combine the gamg setup algorithm with a least-angle regression
coarsening scheme that uses local regression to improve the choice of
the coarse variables. these new algorithms and their performance are
illustrated numerically for scalar diffusion problems with highly
varying (discontinuous) diffusion coefficient and for the linear
elasticity system of partial differential equations.

it is frequently the case that certain objects in differential topology/geometry can be described in purely algebraic terms, where the algebraic structures involved are constructed using the smooth structure(s) of the underlying manifold(s). for example, a common equivalent characterization of a smooth vector field on a smooth manifold $m$ is a derivation of the $\mathbb{r}$-algebra of smooth real-valued functions on $m$. i shall discuss this example and describe how it led me to a considerably more involved one: linear differential operators on $m$. this talk should be of interest to anyone who likes differential topology/geometry, algebraic geometry, or algebra.

we present an alternative approach to the theory of free gibbs
laws with convex potentials developed by dabrowski, guionnet, and shlyakhtenko.
instead of solving sde's, we combine pde techniques with a notion of
asymptotic approximability by trace polynomials for a sequence of
functions on $m_n(\mathbb{c})_{sa}^m$ to prove the following. suppose
$\mu_n$ is a probability measure on on $m_n(\mathbb{c})_{sa}^m$ given by
uniformly convex and semi-concave potentials $v_n$, and suppose that the
sequence $dv_n$ is asymptotically approximable by trace polynomials in a
certain sense. then
the moments of $\mu_n$ converge to a non-commutative law $\lambda$.
moreover, the free entropies $\chi(\lambda)$, $\underline{\chi}(\lambda)$,
and $\chi^*(\lambda)$ agree and equal the limit of the normalized
classical entropies of $\mu_n$. an upcoming paper will use the same
techniques to obtain transport maps from $\lambda$ to a free semicircular
family as the limit of transport maps for the matrix models $\mu_n$.

we analyze the crystal bases for the quantum queer superalgebra recently introduced by grantcharov et. al.. like crystals of type $a$, this crystal can be described by explicit operators on words in the alphabet $\{1, 2, \dots, n\}$. like crystals of type $a$, each connected component of a queer supercrystal has a unique highest (and lowest) weight. in the type $a$ case, if one is given a certain highest weight, one can reconstruct the connected component containing it using simple axioms introduced by stembridge. however, given a highest weight, it is much more difficult to reconstruct the queer connected component containing it in this way. nevertheless, a set of axioms has been conjectured by assaf and oguz to do just this. unfortunately, these axioms are not sufficient, in fact they already fail to uniquely characterize the queer connected component containing highest weight $(4,2,0)$. in this talk, we provide the additional information which is needed to reconstruct the connected queer crystal which contains a given highest weight.

here i shall introduce the two curvatures and discuss their relations with existing ones and their implications, including comparison theorems, vanishing theorems, projective embeddings and hyperbolicity. if time permits, i shall also discuss some open problems related.

in this talk, we first summarize recent advances in the research on non-convex generalized nash equilibrium problems(gnep). that is, the cost functions of some players are non-convex, or the strategy sets are non-convex. non-convex gnep has wide applications. some computational methods and theoretical results are given. we will present a half-space projection method with inertial step for convex gnep.

a topological dynamical system (i.e. a group acting by homeomorphisms on a compact topological space) is said to be proximal if for any two points p and q we can simultaneously push them together i.e. there is a sequence $g_n$ such that $lim g_n(p)=lim g_n (q)$. in his paper introducing the concept of proximality glasner noted that whenever $z$ acts proximally that action will have a fixed point. he termed groups with this fixed point property ``strongly amenable'' and showed that non-amenable groups are not strongly amenable and virtually nilpotent groups are strongly amenable. in this talk i will discuss recent work precisely characterizing which (countable) groups are strongly amenable.

since the invention of generalized polynomial chaos in 2002, uncertainty quantification has impacted many engineering fields. however, almost all existing generalized polynomial chaos methods have a strong assumption: the uncertain parameters are mutually independent or gaussian correlated. this assumption rarely holds in many realistic applications, and it has been a long-standing challenge for both theorists and practitioners. in this talk, i will presented two algorithms for handling this task. the first one is stochastic collocation algorithm, and the second one is sparse optimization approach. we provide some rigorous proofs for the complexity and error bound of our proposed method. numerical experiments on synthetic, electronic and photonic integrated circuit examples show the nearly exponential convergence rate and excellent efficiency of our proposed approaches.
this is a joint work with prof. zheng zhang from uc santa barbara.

a countable discrete group is said to be choquet-deny if it has a trivial poisson boundary for every non-degenerate probability measure on the group. in other words, a countable discrete group is choquet-deny if non-degenerate random walks on the group have trivial behavior at infinity. for example, all abelian groups are choquet-deny. it has been long known that all choquet-deny groups are amenable. i will present a recent result classifying countable discrete choquet-deny groups: a countable discrete group is choquet-deny if and only if none of its quotients have the infinite conjugacy class property. as a corollary, a finitely generated group is choquet-deny if and only if it is virtually nilpotent. this is a joint work with joshua frisch, yair hartman, and omer tamuz.

a conjecture of serre (now a theorem of gross, edixhoven, and
coleman-voloch) classifies pairs of weights where one finds modular forms
congruent modulo a prime p in terms of local behavior at p. we discuss a
generalization of this conjecture in higher rank. a key step in our work
is the study of a certain subscheme of gaitsgory's $a^1$ affine grassmannian
which shares properties with some affine springer fibers. this is joint work
with b. le hung, b. levin, and s. morra.

in the 1970's stark made precise conjectures about the leading term of the taylor series at s=0 for artin l-functions. in the rank one setting when the order vanishing is exactly one, these conjectures relate the derivative of the l-function at s=0 to the logarithm of a unit in an abelian extension of the base field. in this talk, we will define a p-adic l-function and state a p-adic stark conjecture in the rank one setting when the base field is a quadratic field. we prove our conjecture in the case when the base field is imaginary quadratic and the prime p is split, and discuss numerical evidence in the other cases.

cr geometry studies boundaries of domains in $\mathbb{c}^n$ and their generalizations. in characterizing cr structures, a central role is played by the levi form $l$ of a cr manifold $m$, which measures the failure of the cr bundle to be integrable, so that when $l$ has a nontrivial kernel of constant rank, $m$ is foliated by complex manifolds. if the local transverse structure to this foliation still determines a cr manifold $n$, $m$ is called straightenable, and the tanaka-chern-moser classification of cr hypersurfaces with nondegenerate levi form can be applied to $n$. it remains to classify those $m$ for which $l$ is degenerate and no such straightening exists. this was accomplished in dimension 5 by ebenfelt, isaev-zaitzev, medori-spiro, and pocchiola. i will discuss their results, my progress on the problem in dimension 7, and my work (joint with igor zelenko) modifying tanaka's prolongation procedure to treat the equivalence problem in arbitrary dimension.

biological data sets, such as gene expressions or protein levels, are often high-dimensional, and thus difficult to interpret. finding important structural features and identifying clusters in an unbiased fashion is a core issue for understanding biological phenomena. in this talk, we describe the dynamical behavior of the important tumor suppressor gene p53 in a data-driven manner. by using simulations from nonlinear models that describe the experimentally observed oscillatory behavior of p53, we first identify parameters which qualitatively change the behavior of the system. focusing on these parameters, we then show that the effective dimension of the parameter and state space can be recovered from time-series data, providing a minimal realization of the underlying nonlinear system. to this end, we apply the methods of bifurcation analysis and diffusion maps. this is joint work with m. kooshkbaghi, d. sroczynski, z. belkhatir, m. pouryahya, a. tannenbaum, i. kevrekid is.

a unital $c^\ast$-algebra $a$ is tracially stable if maps on $a$ that are approximately (in trace) unital $\ast$-homomorphisms can be
approximated (in trace) by honest unital $\ast$-homomorphisms on $a$. tracial stability is closed under free products and tensor products
with abelian $c^\ast$-algebras. in this talk we expand these results to show that for a graph from a certain class, the corresponding
graph product (a simultaneous generalization of free and tensor products) of abelian $c^\ast$-algebras is tracially stable. we will
then discuss two applications of this result: a selective version of lin’s theorem and a characterization of the amenable traces
on certain right-angled artin groups.

ergodic theory deals with a particular type of measure-preserving transformation on a probability space, and are mostly used in the study of dynamical systems. on the other hand, continued fractions are just a way to represent any real number as an infinte/finite sequence of integers such that this sequence when written as a 'fraction' gives this real number. in this talk, i shall set up the preliminaries of ergodic theory and state the ergodic theorem that we shall need, and then move on to define some notions in continued fractions, and then bridge these two seemingly unrelated subjects. the main application would be to find out the rate of convergence of these 'fractions' to the real number, and thereby coming across some interesting constants like the khinchin's constant and the lévy's constant. the talk will not require any prerequisites except for being familiar with the notion of a measure space, which again, is not too necessary.
if time permits, i shall just mention some interesting patterns observed in the continued fraction expansion of e and its $1/n$ and $2/n$ th power, or give an idea how working with the continued fraction of $\sqrt{n}$ is helpful in finding all the solutions of the pell's equations, i.e. $x^2 - n y^2 = 1$ (or -1).

in this talk, i will present a general upper bound for the number of incidences with k-dimensional varieties in r$^d$ such that their incidence graph does not contain k$_{s,t}$ for fixed positive integers s,t,k,d (where s,t$>$1 and k$<$d). the leading term of this new bound generalizes previous bounds for the special cases of k=1, k=d-1, and k=d/2. moreover, we find lower bounds showing that this leading term is tight (up to sub-polynomial factors) in various cases. to prove our incidence bounds, we define k/d as the dimension ratio of an incidence problem. this ratio provides an intuitive approach for deriving incidence bounds and isolating the main difficulties in each proof. if time permits, i will mention other incidence bounds with traversal varieties and hyperplanes in complex spaces. this is joint work with adam sheffer.

cyclic sieving, identified in work with dennis stanton and dennis white, is a happy situation, where counting how many among some objects enjoy cyclic symmetry is as easy as $q$-counting all of the objects. we will illustrate this with two kinds of examples: old ones that still plague us with only uninsightful proofs, and new ones that have joined our list of favorites.

for two fixed graphs $t$ and $h$, a positive integer $n$ and a real number $p$ in $[0, 1]$ let $ex(g(n, p), t, h)$
be the random variable counting the maximum number of copies of $t$ in an $h$-free subgraph of the random graph $g(n, p)$. in this talk we discuss this variable, its phase transition as a function of $p$
and its connection to the deterministic function counting the maximum number of copies of $t$ in an $h$-free graph on $n$ vertices.

based on joint works with n. alon, a. kostochka and w. samotij.

a bounded strictly pseudoconvex domain in c$^n$, n$>1$, supports a unique complete kahler-einstein metric determined by the cheng-yau solution of fefferman's monge-ampere equation. the smoothness of the solution of fefferman's equation up to the boundary is obstructed by a local cr invariant of the boundary called the obstruction density. in the case n=2 the obstruction density is especially important, in particular in describing the logarithmic singularity of the bergman kernel. for domains in c$^2$ diffeomorphic to the ball, we motivate and consider the problem of determining whether the global vanishing of this obstruction implies biholomorphic equivalence to the unit ball. (this is a strong form of the ramadanov conjecture.)

every tensor is a sum of rank-1 tensors and the decomposition in a minimal number is called canonical polyadic decompositions. in this talk, we will introduce some decomposition methods for third-order tensors based on standard linear algebra. they all reduce tensor decomposition problems to matrix decomposition problems. generalized schur decomposition, simultaneous matrix diagonalization, and generalized eigenvalue decomposition will be used respectively.

we prove a pointwise ergodic theorem for locally countable ergodic quasi-pmp (nonsingular) graphs, which gives an increasing sequence
of borel subgraphs with finite connected components, averages over which converge a.e. to the expectations of $l^1$-functions.
this can be viewed as a random analogue of pointwise ergodic theorems for group actions: instead of taking a (deterministic) sequence
of subsets of the group and using it at every point to compute the averages, we allow every point to coherently choose such a sequence
at random with a strong condition that the sets in the sequence determine aconnected subgraph of the schreier graph of the action.

in 1999, david aldous conjectured that a certain natural 'random walk' on the space of binary combinatorial trees should have a continuum analogue, which would be a diffusion on the gromov-hausdorff space of continuum trees. this talk discusses ongoing work by f-pal-rizzolo-winkel that has recently verified this conjecture with a path-wise construction of the diffusion. this construction combines our work on dynamics of certain projections of the combinatorial tree-valued random walk with our previous construction of interval-partition-valued diffusions.

for each function field multiple zeta value (defined by thakur), we construct a t-module with an attached logarithmic vector such that a specific coordinate of the logarithmic vector is a rational multiple of that multiple zeta value. we then show that the other coordinates of this logarithmic vector contain hyperderivatives of a deformation of these multiple zeta values, which we call t-motivic multiple zeta values. this allows us to give a logarithmic expression for monomials of multiple zeta values. joint work with chieh-yu chang and yoshinori mishiba.

a c$^*$-algebra consists of an algebra of bounded linear operators acting on a hilbert space which is closed the adjoint operation (roughly, the transpose) and is complete in a certain metric. typical examples include the ring of $n \times n$ complex matrices and the ring $c(x)$ of representation of continuous functions from a compact space $x$ to the complex numbers. many more interesting examples arise from various dynamical objects (e.g. group and group actions) and from various geometric/topological constructions.

the structure of finite dimensional c*-algebras is well understood: they are finite direct sums of complex matrix algebras. the class of approximately finite-dimensional (af) c*-algebras, ones which may be written as (the closure of) an increasing union of f1inite-dimensional subalgebras, are also well understood: they are determined up to isomorphism by their module structure. however, the class of subalgebras of af-algebras is still rather mysterious; it includes, for instance, all commutative c*-algebras and all c*-algebras generated by amenable groups. it is a long-standing problem to find an abstract characterization of subalgebras of af-algebras.

i will discuss the af-embedding problem for c$^*$-algebras and a recent partial solution to this problem which gives a nearly complete characterization of c$^*$-subalgebras of simple af-algebras.

one method of building extremal objects is a random construction subject to constraints. for instance, one can build a tree by randomly adding edges as long as they do not form a cycle. however, analyzing these constructions is rarely so simple and even finding good asymptotic bounds can be difficult. the differential equations method provides a powerful tool for analyzing random constructions subject to constraints by building a tractable system of differential equations out of a combinatorial construction, solving the system, and then proving that the random process is 'close' to the system solution with high probability. we present the differential equations method and give an application in finding lower bounds for graph ramsey number asymptotics. following the treatment in bohman and keevash (2013), we sketch the proof that r(3,t) $>$ ((1/4) - o(1))t$^2$/log(t).

a log del pezzo surface is a normal log terminal surface with anti-ample canonical bundle. over the complex numbers, keel and mckernan have classified all but a bounded family of the simply connected log del pezzo surfaces of rank one. in this talk we extend their classification in positive characteristic, and in particular we prove that for $p>5$ every log del pezzo surface of rank one lifts to characteristic zero with smooth base. as a consequence, we see that kawamata-viehweg vanishing holds in this setting. finally, we exhibit some counter-examples in characteristic two, three and five.

in ergodic theory, one often studies measure-preserving actions of countable groups on probability spaces. bernoulli shifts are a class of such actions that are particularly simple to define, but despite several decades of study some elementary questions about them still remain open, such as how they are classified up to isomorphism. progress in understanding bernoulli shifts has historically gone hand-in-hand with the development of a tool known as entropy. in this talk, i will review classical concepts and results, which apply in the case where the acting group is amenable, and then i will discuss recent developments that are beginning to illuminate the case of non-amenable groups.

integer partitions have been an interesting combinatorial object for centuries but we still have a lot left to understand. in this talk we will see an uncommon way to view partitions using 'abaci' and use this to illustrate partition division (defining t-cores and t-quotients of a given integer partition). i am planning to go in more detail with a special kind of partition called t-core partitions and discuss different ways to enumerate them. i will end my talk by stating an interesting results by prof. ken ono, which shows how the related objects enumerates some important algebraic invariants like class groups of certain imaginary quadratic number fields.

the hull-strominger system is a system of nonlinear pdes describing the geometry of compactification of heterotic strings with torsion to 4d minkowski spacetime, which can be regarded as a generalization of ricci-flat k$\ddot{\text{a}}$hler metrics coupled with hermitian yang-mills equation on non-k$\ddot{\text{a}}$hler calabi-yau 3-folds. the anomaly flow is a parabolic approach to understand the hull-strominger system initiated by phong-picard-zhang. we show that in the setting of generalized calabi-gray manifolds, the hull-strominger system and the anomaly flow reduce to interesting elliptic and parabolic equations on riemann surfaces. by solving these equations, we obtain solutions to the hull-strominger system on a class of compact non-k$\ddot{\text{a}}$hler calabi-yau 3-folds with infinitely many topological types and sets of hodge numbers. this talk is based on joint work with zhijie huang and sebastien picard.

suppose a function $\{1,\dots,n\} \to \mathbb r$ has the property that when we take discrete derivatives $k$ times, the result is identically zero. it is fairly well-known that this is equivalent to being a polynomial of degree $k-1$. it's not too unnatural to ask: what does the function look like if, instead, the iterated derivative is required to be zero just a positive proportion of the time? such \emph{approximate polynomials} have a richer structure, related to nilpotent lie groups.

on an unrelated note: given an $n \times n$ chessboard, how many ways are there to arrange $n$ queens on it, so that no two attack each other?

i'll outline how both these questions are connected to what's known as \emph{higher order fourier analysis}, and explain more generally what higher order fourier analysis is and what it can be used for (other than potentially placing queens on chessboards).

the minimal superpermutation problem asks how many symbols a string must have before it contains all $n!$ permutations of $\{1,\ldots,n\}$ as substrings. the haruhi problem asks for the most efficient way to watch the anime ``the melancholy of haruhi suzumiya'' in every way possible. remarkably, these two problems turn out to be equivalent. even more remarkably, the anime community has made more progress on this problem than the mathematicians! in this talk we will discuss an improved lower bound to the minimal superpermutation problem that was recently discovered on 4chan, as well as the anime theoretic motivation for considering this problem. as time permits we will also briefly discuss de brujin sequences. this talk will be entirely self contained and assume no prior knowledge of anime.

given a unitary modular tensor category m, the reconstruction program asks for the construction of a rational conformal field theory such that its representation category is isomorphic to m. this is a low dimensional version of dolpicher-roberts/deligne theory which is much richer due to nontrivial representations of braid group, and is strongly motivated by recent development in subfactor theory. in this talk we will describe questions around this program and present recent progress.

a drawing of a graph on a surface is {\em independently even} if every pair of nonadjacent edges in the drawing crosses an even number of times. the strong hanani-tutte theorem states that a graph admitting an independently even drawing in the plane must be planar.

the {\em genus} $g(g)$ of a graph $g$ is the minimum $g$ such that $g$ has an embedding on the orientable surface $m_g$ of genus $g$. the {\em $\mathbb{z}_2$-genus} of a graph $g$, denoted $g_0(g)$, is the minimum $g$ such that $g$ has an independently even drawing on the orientable surface of genus $g$. clearly, every graph $g$ satisfies $g_0(g) \leq g(g)$, and the strong hanani-tutte theorem states that $g_0(g) = 0$ if and only if $g(g) = 0$. although there exist graphs $g$ for which the values of $g(g)$ and $g_0(g)$ differ, several recent results suggest that these graph parameters are closely related. we provide further evidence of their similarity.

for complete bipartite graphs $k_{n,m}$ with $n \geq 3$, we prove the following:
$$
g_0(k_{n,m}) \geq \lceil \frac{1}{2} \left( \lceil \frac{(n-2)(m-2)}{2} \rceil - (n-3) \right) \rceil
$$
the value of $g(k_{n,m})$ was determined by ringel in 1965, and equals
$\lceil \frac{(n-m)(m-2)}{4} \rceil$.

joint work with j. kyncl.

the classical schur(-weyl) duality relates the representation theory of general linear lie algebras and symmetric groups. drinfeld and jimbo independently introduced quantum groups in their study of exactly solvable models, which leads to a quantization of the schur duality relating quantum groups of general linear lie algebras and hecke algebras of symmetric groups.

in this talk, i will explain the generalization of the (quantized) schur duality to other classical types, algebraically, geometrically, and categorically. this new duality leads to a theory of canonical bases arising from quantum symmetric pairs generalizing lusztig’s canonical bases on quantum groups.

the classical borsuk-ulam theorem states that a
continuous map from a n-dimensional sphere to m-dimensional sphere
which preserves the antipodal z/2-actions only exists when m is
greater than or equal to n. one can ask a similar question, by
replacing the antipodal z/2-action with an action of the lie group
pin(2).

on a seemingly unrelated side, the geography problem of 4-manifolds
asks which simply connected topological 4-manifolds admits a smooth
structure. by the celebrated works of kirby-siebenmann, freedman,
donaldson, seiberg-witten and furuta, there is a surprising connection
between these two questions. in this talk, i will:

1. explain this beautiful connection between the two problems.

2. present a solution to the pin(2)-equivariant borsuk–ulam problem.

3. state its application to the geography problem. in particular, a
partial result on the famous 11/8-conjecture.

4. describe the ideas of our proof, which uses pin(2)-equivariant
stable homotopy theory.

this talk is based on a joint work with mike hopkins, xiaolin danny
shi and zhouli xu. no familiarity of homotopy theory or 4-dimensional
topology will be assumed.

in this talk i will introduce two different notions of solutions to the plateau problem, called area and size minimizers, due respectively to federer-fleming and almgren. the fundamental difference between them is wether multiplicity/orientation plays a role or not, and they were originated respectively to describe integral homology class and soap films. i will then explain how different types of singularities arise in both formulation and some recent progress made on the structure of the singular set and of minimizers near singularities. if time permits i will also explain some possible future developments.

branching-style models were proposed in the 1960's as a logician's
tool to study combinations of tenses and modalities, as in ``it is
still possible that it will rain in sd tomorrow'' but ``it is already
settled that last summer was hot in sd''. a current theory of
branching space-times (bst), put forward by n.~belnap in 1992, is an
axiomatic framework that aims to describe how indeterminism plays out
in a spatio-temporal world. to this end it postulates a set of
relativistic space-times, any two of which are pasted together in some
particular region. although a bst structure is continuous, it is
possible to discretise it, by focusing on particular objects, known as
transitions, and interpreted as places at which chancy actions
happen. a discretised structure, defined as a partially ordered set of
transitions, recovers then much, but not all information about the
initial structure. as these ideas are reminiscent of the causal set
program, i will end up the talk by discussing some connections between
the two frameworks.

in this talk i will present a new method for studying the regularity of minimizers of some variational problems, including in particular some classical free-boundary problems. using as a model case the so-called obstacle problem, i will explain what regularity of the free-boundary means and how we obtain it by using a new tool, called (log) -epiperimetric inequality. this technique is very general, and much like caffarelli's 'improvement of flatness' for regular points, it allows for a uniform treatment of singularities in many different free-boundary problems. moreover it is able to deal with logarithmic regularity, which in the case of the obstacle problem is optimal due to an example of figalli-serra. if time permits i will explain how such an inequality is linked to the behavior of a gradient flow at infinity.

we discuss a new method to bound 5-torsion in class groups using
elliptic curves. the most natural ``trivial'' bound
on the n-torsion is to bound it by the size of the entire class group, for
which one has a global class number formula. we explain how to
make sense of the n-torsion of a class group intrinsically as a ``dimension
0 selmer group'', and by embedding it into an appropriate elliptic curve we
can bound its size
by the tate-shafarevich group which we can bound using the bsd conjecture.

this fits into a general paradigm where one bounds ``dimension 0 selmer
groups'' by embedding into global objects, and using class number formulas.

minimal surfaces are critical points of the area functional on the space of surfaces. thus, it is natural to try to construct them via morse theory. however, there is a serious issue when carrying this out, namely the occurrence of ``multiplicity.'' i will explain this issue and recent joint work with c. mantoulidis ruling this out for generic metrics.

because of their connections with the representation theory of the symmetric group, hopf algebras have been used to study the enumerative properties of many combinatorial objects. in this talk we will give an introduction to this topic with the intention of defining hopf monoids, a generalization that ends up being a better set up for the study of objects like graphs, matroids, posets, and generalized permutahedra.

i'll discuss joint work with m. eichmair and v. moraru in which we prove a natural minimal surface analogue of the splitting theorem for 3-manifolds with non-negative scalar curvature.

logistic regression is arguably the most widely used and studied non-linear model in statistics. it has found widespread applicability in varied domains, such as genetics, health care, e-commerce, etc. classical maximum-likelihood theory for this model hinges on the fundamental results---(1) the maximum-likelihood-estimate (mle) is asymptotically unbiased (2) its variability can be quantified via the inverse fisher information (3) the likelihood-ratio-test (lrt) is asymptotically a chi-square. these results are universally used for statistical inference. our findings reveal, however, when the number of features p and the sample size n both diverge, with the ratio p/n converging to a positive constant, classical results are far from accurate. for a certain class of logistic models, we observe (1) the mle is biased, (2) its variability is much higher than classically estimated, and (3) the lrt is not distributed as a chi-square. we develop a new theory that quantifies the asymptotic bias and variance of the mle, and characterizes asymptotic distribution of the lrt under certain assumptions on the covariate distribution. empirical findings demonstrate that our results provide extremely accurate inference in finite samples. these novel results depend on the underlying regression coefficients through a single scalar, the overall signal strength, and we discuss a procedure to estimate this parameter accurately. this is based on joint work with emmanuel candes and yuxin chen.

regularity results for linear elliptic and parabolic systems
with measurable coefficients play an important role in the calculus of
variations. morrey showed that in two dimensions, solutions to linear
elliptic systems are continuous. we will discuss some surprising recent
examples of discontinuity formation in the plane for the parabolic
problem.

nowadays, data is exploding at a faster rate than computer architectures can handle. for that reason, mathematical techniques to analyze large-scale data need be developed. stochastic iterative algorithms have gained interest due to their low memory footprint and adaptability for large-scale data. in this talk, we will present the randomized kaczmarz algorithm for solving extremely large linear systems of the form ax=y. in the spirit of large-scale data, this talk will act under the assumption that the entire data matrix a cannot be loaded into memory in a single instance. we consider different settings including when a only factorization of a is available, when a is missing information, and a time-varying model. we will also present applications of these kaczmarz variants to problems in data science.

in the theory of von neumann algebras, fundamental unsolved problems going back to the 1930s have seen remarkable progress in the last two decades due to sorin popa's breakthrough deformation/rigidity theory. popa's discovery hinges on the fact that, just as stirring a soup allows one to locate its most rigid (and desirable) hidden components, 'deformability' of an algebra $m$ allows one to precisely locate 'rigid' subalgebras known to exist only via a supposed isomorphism $m \cong n$.

this talk will focus on joint work with rolando de santiago, ben hayes, and thomas sinclair, which shows that any diffuse subalgebra which is rigid with respect to a mixing $s$-malleable deformation is in fact contained in subalgebra which is uniquely maximal with respect to that rigidity. in particular, an algebra generated by a family of rigid subalgebras which intersect diffusely must itself be rigid with respect to that deformation. the case where this family has two members answers a question of jesse peterson asked at the american institute of mathematics (aim), but the result is most striking when the family is infinite.

it is not obvious why natural selection would've selected for animals that can compute integrals, yet we exist. in this talk we'll look at some explanations from cognitive science, examples from the wild, and perhaps a look at the future of how maths could be done.

bernstein operators are vertex operators that create and annhilate schur polynomials. these operators play a significant role in the mathematical formulation of the boson-fermion correspondence due to kac and frenkel. the role of this correspondence in mathematical physics has been widely studied as it bridges the actions of the infinite heisenberg and clifford algebras on fock space. cautis and sussan conjectured a categorification of this correspondence within the framework of khovanov's heisenberg category. i will discuss how to categorify the bernstein operators and settle the cautis-sussan conjecture, thus proving a categorical boson-fermion correspondence.

interacting particle systems are models that involve many randomly evolving agents (i.e., particles). these systems are widely used in describing real-world phenomena. in this talk we will walk through three paradigmatic facets of interacting particle systems, namely the law of large numbers, random fluctuations, and large deviations. within each facet, i will explain how partial differential equations (pdes) play a role in understanding the systems.

li-chung chen and mark haiman studied a family of symmetric functions called catalan (symmetric) functions which are indexed by pairs consisting of a partition contained in the staircase $(n-1, \dots, 1, 0)$ (of which there are catalan many) and a composition weight of length $n$. they include the schur functions, the hall-littlewood polynomials and their parabolic generalizations. they can be defined by a demazure-operator formula, and are equal to the $gl$-equivariant euler characteristics of vector bundles on the flag variety by the borel-weil-bott theorem. we have discovered various properties of catalan functions, providing new insight on the existing theorems and conjectures inspired by the macdonald positivity conjecture.

a key discovery in our work is an elegant set of ideals of roots whose associate catalan functions are $k$-schur functions, proving that graded $k$-schur functions are $gl$-equivariant euler characteristics of vector bundles on the flag variety, settling a conjecture of chen-haiman. we exposed a new shift invariance property of the graded $k$-schur functions and resolved the schur positivity and $k$-branching conjectures by providing direct combinatorial formulas using strong marked tableaux. we conjectured that catalan functions with a partition weight are $k$-schur positive which strengthens the schur positivity of the catalan function conjecture by chen-haiman and resolved the conjecture with positive combinatorial formulas in cases which capture and refine a variety of problems.

this is joint work with jonah blasiak, jennifer morse, and daniel summers.

modern statistical analysis often requires an integration of statistical thinking and algorithmic thinking. in many problems, statistically sound estimation procedures (e.g., the mle) may be difficult to compute, at least in the naive form. this challenge calls for a new look into simple statistical methods such as the spectral methods (including pca), as well as an examination of optimization algorithms from the statistical lens.

in this talk, i will sample two typical modern statistical problems: one addresses network type data (community detection), and the other involves pairwise comparison data (phase synchronization). i will show that in high dimensions, spectral methods exhibit a very interesting new phenomenon in entrywise behavior, which leads to new theoretical insights and has practical relevance. also, for a complex nonconvex problem, i will show how algorithmic analysis can benefit from classical statistical ideas.

this talk features joint work with (alphabetically) emmanuel abbe, nicolas boumal, jianqing fan, and kaizheng wang.

in this talk, we present some recent work on discontinuous galerkin (dg) methods for waves and fluid flow.
three topics will be covered, including (1) new energy-conserving dg methods for linear hyperbolic waves, and nonlinear dispersive waves, (2) globally divergence-free dg methods for incompressible flow, and (3) hybridizable dg methods for darcy flow on polygonal meshes. the key idea of each dg scheme will be addressed.

let k be a perfect field of characteristic p, and let gal(k)
denote the absolute galois group of k. by a classical result of katz, the
category of
finite-dimensional $f_p-vector spaces$ with an action of gal(k) is equivalent
to the category of finite-dimensional vector spaces over k with a
frobenius-semilinear automorphism. in this talk, i'll discuss some joint
work with bhargav bhatt which generalizes katz's result, replacing the
field k by an arbitrary $f_p-scheme x$. in this case, there is a
correspondence relating p-torsion etale sheaves on x to quasi-coherent
sheaves on x equipped with a frobenius-semilinear automorphism, which can
be viewed as a ``mod p'' version of the riemann-hilbert correspondence for
complex algebraic varieties.

professor curto will talk about her work on mathematics for neuroscience and her transition from work as a pure mathematician to work on mathematics applied to and arising form theoretical and computational neuroscience.

i will discuss applications of limits of combinatorial structures to geometry and their connection to measure theory. some motivating problems that i will touch upon are: the rectilinear crossing number of the complete graph, the probability that a random point set is in convex position and the expected number of vertices of the convex hull of a random sample.