Jan

01/09/14
Shenggao Zhou  Department of Mathematics and CTBP, UCSD
Varitional Implicit Solvation with PoissonBoltzmann Theory
AbstractWe incorporate the PoissonBoltzmann (PB) theory of electrostatics into the variational implicitsolvent model (VISM) for the solvation of charged molecules in an aqueous solvent. The principle of VISM is to determine equilibrium solutesolvent interfaces and estimate the molecular solvation free energies by minimizing a meanfield freeenergy functional of all possible solutesolvent interfaces. The functional consists mainly of solutesolvent interfacial energy, solutesolvent van der Waals interaction energy, and electrostatic energy. We develop highly accurate numerical methods for solving the dielectric PB equation and for computing the dielectric boundary force. These methods are integrated into a robust levelset method for numerically minimizing the VISM functional. We test and apply our levelset VISM with PB theory to the solvation of some single ions, two charged particles, and two charged plates, and to the solvation of the hostguest system Cucurbit[7]uril and Bicyclo[2.2.2]octane. Our computational results show that VISM with PB theory can capture well the sensitive response of capillary evaporation to the charge in hydrophobic confinement and the polymodal hydration behavior, and can provide accurate estimates of binding affinity of the hostguest system. We also discuss several issues for further improvement of VISM. This is a joint work with LiTien Cheng, Joachim Dzubiella, Bo Li, and J. Andrew McCammon.

01/09/14
Rob Rubalcaba
A Brief History of Cryptography and Working with Mathematics (and mathematicians) in the Real World
AbstractFrom Demaratus and Histiaeus to Ceasar, from
Mary Queen of Scots to Hitler, cryptography has played
an important role in world history.
Substitution, transposition and polyalphabetic ciphers,
and the famous Enigma machine will be discussed.
We will finish with personal experiences working outside of academia. 
01/09/14
Andrew Blumberg  University of Texas, Austin
Algebraic Ktheory and the geometry of module categories
AbstractAlgebraic Ktheory is a deep and subtle invariant of rings and schemes, carrying information about arithmetic and geometry. When applied to the group ring of the loop space of a manifold, it captures information about the diffeomorphism group. Over the past 25 years, the study of algebraic Ktheory has been revolutionized by the introduction of trace methods, which use trace (or Chern character) maps to the simpler but related theories of (topological) cyclic and Hochschild homology.
A unifying perspective on the properties of algebraic Ktheory and these related theories is afforded by viewing the input as a category of compact modules (i.e., a piece of an enhanced triangulated category). This talk will survey recent work describing the structural properties of these theories using various models of the homotopical category of module categories.

01/10/14
Sofia Tirabassi  University of Utah
Toward a Higher Dimensional MatsusakaRan Criterion
AbstractA conjecture of Debarre predicts that the only subvarieties of ppav with minimal cohomology class are BrillNoether loci in Jacobians and the Fano surface of line in the intermediate Jacobian of a cubic three fold. We present a work in progress with Luigi Lombardi in which we made some progress toward the conjecture. In particular we give a generalization to higher dimension of MatsusakaRan criterion.

01/10/14
Yaniv Plan  University of Michigan, Ann Arbor
Lowdimensionality in mathematical signal processing
AbstractNatural images tend to be compressible, i.e., the amount of information needed to encode an image is small. This conciseness of information  in other words, low dimensionality of the signal  is found throughout a plethora of applications ranging from MRI to quantum state tomography. It is natural to ask: can the number of measurements needed to determine a signal be comparable with the information content? We explore this question under modern models of lowdimensionality and measurement acquisition.

01/13/14
Daniel Kane  Stanford University
Diffuse Decompositions of Polynomials
AbstractWe study some problems relating to polynomials evaluated
either at random Gaussian or random Bernoulli inputs. We present a
structure theorem for degreed polynomials with Gaussian
inputs. In particular, if p is a given degreed polynomial, then p
can be written in terms of some bounded number of other polynomials
$q_1,...,q_m$ so that the joint probability density function of
$q_1(G),...,q_m(G)$ is close to being bounded. This says essentially
that any abnormalities in the distribution of $p(G)$ can be explained by
the way in which p decomposes into the $q_i$. We then present some
applications of this result. 
01/14/14
Alvaro Pelayo  Washington University at St. Louis
Classical and Semiclassical Integrable Systems
AbstractI will present some new results on classical and quantum integrable systems, emphasizing the interactions between symplectic geometry and spectral theory. I will also briefly describe some recent advances in the study of invariants in symplectic geometry.

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

01/21/14
Olvi Mangasarian  UCSD
The Disputed Federalist Papers: Resolution via Support Vector Machine Feature Selection
AbstractIn this talk we utilize a support vector machine feature selection
procedure via concave minimization to solve the wellknown Disputed
Federalist Papers classification problem. First we find a separating
plane that classifies correctly all the training set consisting of
papers of known authorship, based on the relative frequencies of three
words only. Then, using this threedimensional separating plane, all
of the 12 disputed papers ended up on one side of the separating
plane. Our result coincides with previous statistical and
combinatorial method results. 
01/22/14
Jared Toettcher
Using optogenetics to dissect information processing in cell signaling networks
AbstractCells are highly sophisticated information processing devices, sensing diverse inputs Abstract:to make complex decisions. Yet despite increasingly elegant ways to measure pathway outputs, we largely lack control over the inputs delivered to the cell in space and time. I will describe how optogenetic techniques can overcome this challenge to control the exact combinations, dynamics, and spatial locations of pathway activity in live cells. Applied to mammalian growth factor signaling, they revealed the Ras/Erk module accurately transmits a huge range of steadystate and dynamic signals to downstream response programs. A lightbased screen uncovered many of these dynamicssensitive responses, including a cellcell communication circuit acting through IL6 family cytokines.

01/22/14
Chelsea Walton  MIT
Noncommutative Invariant Theory
AbstractInvariant theory is a beautiful field. The area dates back
over 100 years to the work of Hilbert, Klein, Gauss, and many others.
It is a very active area of research today, particularly from the
viewpoint of algebraic geometry and combinatorics. It also has far
reaching applications in representation theory, coding theory,
mathematical modeling, and even air target recognition. (I just
happened to run across this last application on google and it will
*not* be explained.)In this talk, I aim to illustrate the beauty of Noncommutative
Invariant Theory. All basic notions will defined. Namely, I will
explain the noncommutative analogues of each of the following terms:
"groups", "acting on", "polynomial rings". I will also provide an
overview of recentwork pertaining to quantum group actions on
(noncommutative) regular algebras. The results discussed here are
from joint works with Kenneth Chan, Pavel Etingof, Ellen Kirkman,
Yanhua Wang, and James Zhang: see arXiv:math/1210.6432, 1211.6513,
1301.4161, 1303.7203. 
01/23/14
Lihan Wang  UCI
Hodge theory on compact symplectic manifolds with boundary
AbstractWe study Hodge theory for symplectic Laplacians on compact
symplectic manifolds with boundary. These Laplacians are novel as they
can be associated with symplectic cohomologies and be of fourthorder.
We prove various Hodge decompositions and use them to obtain the
isomorphisms between the cohomologies and the spaces of harmonic ï¬elds
with certain prescribed boundary conditions. In order to establish
Hodge theory in the nonvanishing boundary case, we are required to
introduce new concepts such as the J!Dirichlet boundary condition and
the J!Neumann boundary condition. When the boundary is of contact
type, these conditions are closely related to the Reeb vector ï¬eld.
Another application of our results is to solve boundary value problems
of differential forms. 
01/23/14
Sorina Ionica  ENS Paris
Isogeny graphs with maximal real multiplication
AbstractAn isogeny graph is a graph whose vertices are principally polarized
abelian varieties and whose edges are isogenies between these varieties. In
his thesis, Kohel described the structure of isogeny graphs for elliptic
curves and showed that one may compute the endomorphism ring of an elliptic
curve defined over a finite field by using a depth first search algorithm
in the graph. In dimension 2, the structure of isogeny graphs is less understood and existing algorithms for computing endomorphism rings are very expensive.
We fully describe the isogeny graphs between genus 2 jacobians with complex multiplication,
with the assumptions that the real multiplication subring is maximal and
has class number one. We derive a depth first search algorithm for computing endomorphism rings locally at prime numbers,
if the real multiplication is maximal. To the best of our knowledge, this is the first DFSbased algorithm in genus 2. (Joint work with Emmanuel ThomÃ©). 
01/23/14
Hooman Sherkat  UCSD
Some Quantum Stuff
AbstractI'll present an assortment of quantum phenomena that are actually quite easy to understand mathematically. I will provide the necessary background.

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

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

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

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

02/03/14
Aryeh Warmflash  The Rockefeller University, New York, NY
Embryonic patterning in time and space
AbstractDuring embryonic development, an entire organism is generated from a single cell. Genetics and biochemistry have identified developmental signaling pathways, however, how embryonic patterns emerge in space and time remains more obscure. I will discuss our work using a combination of liveâ€cell imaging, microfluidics, micropatterning, and mathematical modeling to investigate spatial and temporal aspects of embryonic patterning by the TGFâ€Î² signaling pathway, a key morphogen during all phases of development. Our work reveals novel dynamic properties of the pathway and their implications for embryonic development and establishes human embryonic stem cells as a promising system for studying selfâ€organized patterning quantitatively.

02/04/14
Caleb Meier  UCSD
NonCMC Solutions to the Einstein Constraint Equations on Asymptotically Euclidean Manifolds
AbstractWe consider the Einstein constraint equations on an ndimensional, asymptotically Euclidean manifold M with boundary. By leveraging both our own recent recent work as well as the work of some of our collaborators, we show that farfromCMC and nearCMC solutions exist to the conformal formulation of the Einstein constraints when Robintype marginally trapped surface boundary conditions are imposed to ensure that expansion scalars along null geodesics perpendicular to the boundary region are nonpositive. Therefore, assuming a suitable form of weak cosmic censorship, the results we develop in this article provide a method to construct initial data that will evolve into a spacetime containing an arbitrary number of black holes. A particularly important feature of our results are the minimal restrictions we place on the mean curvature, giving both near and farfromCMC results that are new.

02/06/14
Daniel Kane  Stanford University
Ranks of 2Selmer Groups of Twists of an Elliptic Curve
AbstractLet $E/\mathbb{Q}$ be an elliptic curve with full 2torsion over
$\mathbb{Q}$. We
wish to study the distribution of the ranks of the 2Selmer groups of
twists of $E$ as we vary the twist parameter. A recent result of
SwinnertonDyer shows that if $E$ has no cyclic 4isogeny defined over
$\mathbb{Q}$, then the density of twists with given rank approaches a
particular
distribution. Unfortunately SwinnertonDyer used an unusual notion of
density essentially given as the number of primes dividing the twist
parameter goes to infinity. We extend this result to cover density in
the natural sense. 
02/06/14
Mark Kempton  UCSD
Spectral Graph Theory and a Higher Dimensional Generalization
AbstractSpectral graph theory involves the study of graph properties
that are related to the eigenvalues of various matrices, such as the
adjacency matrix, the combinatorial Laplacian, and the normalized
Laplacian. We will also discuss connection graphs, which are weighted
simple graphs for which each edge is associated with a rotation matrix.
Connection graphs have been studied recently in a variety of areas that
involve high dimensional data sets. We will describe higher dimensional
versions of the adjacency, Laplacian, and normalized Laplacian matrices,
and what their eigenvalues tell us about the connection graph. 
02/10/14
ErtuÄŸrul M. Ã–zbudak  Albert Einstein College of Medicine of Yeshiva University
Systemslevel analysis of the vertebrate segmentation clock
AbstractThe vertebrate segmentation clock is a gene expression oscillator controlling segmentation of the vertebral column. Oscillatory Hes/Her family genes create a transcriptional negative feedback loop. We developed a stochastic twodimensional computational model that successfully reproduces how the period, amplitude and synchronization of the segmentation clock are regulated in different genetic backgrounds. We validated the major predictions of our model by quantifying rapid degradation of Her7 protein and spatiallyincreasing gradient of translational timedelay of Her1 protein in zebrafish embryos. We further demonstrated that expression of oscillating genes are activated by Notch and Wnt but repressed by RA signaling.

02/11/14
Volkan Cevher  EPFL (Lausanne)
Composite selfconcordant minimization
AbstractWe propose a variable metric framework for minimizing the sum of a selfconcordant function and a possibly nonsmooth convex function endowed with a computable proximal operator. We theoretically establish the convergence of our framework without relying on the usual Lipschitz gradient assumption on the smooth part. An important highlight of our work is a new set of analytic stepsize selection and correction procedures based on the structure of the problem. We describe concrete algorithmic instances of our framework for several interesting largescale applications, such as graph learning, Poisson regression with total variation regularization, and heteroscedastic LASSO.
Here is a link to the document that contains technical parts of the
presentation: http://arxiv.org/abs/1308.2867 
02/13/14
Badal Joshi  Cal State San Marcos
Detailed Balance in models arising from chemical reaction networks
AbstractChemical reaction networks (CRNs) are used to model a variety of chemical and biological processes. A CRN may be viewed as a directed graph, whose nodes are chemical complexes and whose edges are chemical reactions. Wegscheider proposed, in 1901, the principle of detailed balance for chemical kinetics resulting from microscopic reversibility. In the deterministic setting of a dynamical system, the principle of detailed balance manifests as a set of conditions on the rate constants arising from the graphical structure of the CRN. When modeled as a Markov chain, a different graphical structure is associated with a CRN, one whose nodes are population numbers of the chemical species, and whose edges are transitions with nonzero probabilities. We show that the two notions  Deterministic Detailed Balance (DDB) and Stochastic Detailed Balance (SDB)  are intimately related, but not equivalent. In particular, DDB implies SDB, but the converse is not true. However, achieving SDB without DDB requires stringent conditions on the rate constants, that are rarely realized in practice. An important exception to this is a birth and death process, for which SDB always holds but DDB does not hold in general.

02/13/14
Ronen Mukamel  Stanford University
Billiards, Hilbert modular forms and algebraic models for Teichmuller curves
AbstractFor each real quadratic order O, there is a Weierstrass curve W
in the Hilbert modular surface parametrizing Jacobians with real
multiplication by O. The curve W emerges from the study of billiards in
polygons and is important in Teichmuller theory because its natural
immersion into the moduli space of curves is isometric. Such an immersion
is called a Teichmuller curve.We will present explicit algebraic models for Weierstrass curves obtained
by studying Hilbert modular forms. We will also present evidence from our
examples that suggest a rich arithmetic associated to Teichmuller curves.
This work is joint with A. Kumar. 
02/13/14
Claus Sorensen  UCSD
A gentle introduction to local Langlands in families
AbstractThis talk will be geared towards a general audience. Assuming only familiarity with padic numbers, we
will first discuss the local Langlands correspondence for GL(n), and explain why it's a wideranging generalization of local class field theory. Then we will follow Emerton and Helm in trying to extrapolate it to a correspondence between representations over more general local rings  whereupon we reformulate the conjectural Ihara lemma
in this language. The latter is a big open problem for n>2, which occurred in work of Clozel, Harris, and Taylor, in their attempt to mimic the proof of Fermat's Last Theorem in the context of GL(n). 
02/18/14
Adam Mihalik  UCSD
Convergence and Optimality of an Adaptive Mixed Finite Element Method on Surfaces
AbstractFinite element exterior calculus (FEEC) is a framework that allows for results proved on general differential complexes to be applied to a large class of mixed finite element problems. In earlier work, using this framework, we introduced a convergence and optimality result for a class of adaptive mixed finite element problems posed on polygonal domains. In this talk we discuss the extension of these results to problems on Euclidean hypersurfaces. More specifically, we introduce a method and prove rates of convergence for problems posed on surfaces implicitly represented by levelsets of smooth functions.

02/19/14
Andrew York  National Institute of Biomedical Imaging and Bioengineering. Date:
Improving light microscopy: sharper, faster, deeper, longer
AbstractSpeed, resolution, photo damage, and penetration depth are crucial for almost every application of microscopy in biological research. Exciting new techniques like localization microscopy, structured illumination microscopy, and lightsheet microscopy enable faster, gentler, higherresolution imaging that was once thought impossible. However, these techniques typically involve tradeoffs; for example, structured illumination microscopy sacrifices speed and penetration depth to achieve high resolution. I'll describe improved optical and computational approaches to localization microscopy, structured illumination microscopy, and lightsheet microscopy which eliminate these drawbacks, creating viable replacements for the current generation of conventional microscopes.

02/20/14
Jesus Oliver  UCSD
A Vector Field Method for NonTrapping, Radiating SpaceTimes
AbstractWe study the global pointwise decay properties of solutions to the linear wave equation in 3+1 dimensions on a family timedependent, nontrapping, radiating spacetimes. Assuming a local energy decay estimate we prove that sufficiently regular solutions to this equation satisfy a conformal energy estimate and higher order conformal energy estimate with one vector field. As an application we establish a global pointwise decay estimate in terms of a weighted norm on initial data.

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

02/21/14
Don Rubin  Havard University
A principal stratification approach for estimating the effectiveness of jobtraining programs.

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

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

02/27/14
Marius Beceanu  UC Berkeley
Dispersive estimates for Schroedinger's equation with random timedependent potential
AbstractI am going to present some dispersive estimates for Schroedinger's equation with random timedependent potential and their applications. This is joint work with Juerg Froehlich and Avy Soffer.

02/27/14
Lane Votapka  Biochemistry, UCSD
Multiscale Estimation of Binding Kinetics using Molecular Dyn., Browinian Dyn., & Markov State Model
AbstractA challenge for the field of computational biophysics is to develop approaches that bridge across the disparate time and length scales sampled within different simulation regimes. Methods for combining the speed of rigidbody Brownian dynamics (BD) simulations with the precision of allatom molecular dynamics (MD) simulations using a Markov state model (MSM) attempt to improve estimates of binding kinetics. We seek to use MSMs to alleviate the computational burden imposed by long time processes by partitioning conformational space into manageable pieces, simulating them in parallel, and then combining the resulting statistics using the MSMs to yield meaningful information.

02/28/14
Maxim Arap  Johns Hopkins University
Minimal standard threefold conic bundles
AbstractThis talk will be a report of joint work in progress with V.V. Shokurov. The subject of our study is birational geometry of threefold conic bundles. The talk will explain a notion of minimality for a standard conic bundle and explore the geometry of a certain class of conic bundles, called tetragonal conic bundles.
Mar

03/04/14
Ali Behzadan  UCSD
On the Yamabe Problem on Riemannian Manifolds with Rough Metrics
AbstractWe state the Yamabe conjecture and briefly review the techniques that have been used to study the Yamabe problem on Riemannian manifolds with smooth metrics. We review some of the basic tools from functional analysis and the theory of partial differential equations for studying the problem in the case of manifolds with nonsmooth metrics. In particular, we will discuss some important results related to the Yamabe problem for closed manifolds and asymptotically Euclidean manifolds with rough metrics.

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

03/06/14
Bill Helton  UCSD
Convexity vs LMIs
AbstractThe talk pertains to linear time invariant systems of ODE. The standard engineering approach for the last 20 years has been to convert these problems to matrix inequalities. These consist of polynomials in matrices and one must find (by numerical computation) choices of matrices which make the polynomial positive definite. The trouble is polynomials which are easily produced from your system problem, by turn the crank methods, are horrible. The Holy Grail is to somehow convert your system of polynomial matrix inequalities to Linear Matrix Inequalities, LMI. There are many LMI solvers and LMIs are certainly convex.
The talk concerns the converse: which convex problems give LMIs? The focus is on this rather than the systems engineering context.
Next comes, the issue of converting a problem to a convex one. This is daunting and requires some new kind of noncommutative (free) real algebraic geometry, and will be a long time in coming, but there has been serious progress in the last 10 years.

03/07/14
Zhiyu Tian  Caltech
Weak approximation for cubic hypersurfaces.
AbstractGiven an algebraic variety X over a field F (e.g. number fields,
function fields), a natural question is whether the set of rational points
X(F) is nonempty. And if it is nonempty, how many rational points are
there? In particular, are they Zariski dense? Do they satisfy weak
approximation? For cubic hypersurfaces defined over the function field of a
complex curve, we know the existence of rational points by Tsen' s theorem
or the GraberHarrisStarr theorem. In this talk, I will discuss the weak
approximation property of such hypersurfaces. 
03/11/14
Chris Tiee  UCSD
Applications of FEEC to Geometric Problems
AbstractWe continue presenting examples of how FEEC recasts problems into a more
geometric form, and describe extension of the method to hyperbolic problems,
by, specifically, application of FEEC to solving the wave equation and
Maxwell's equations. We describe a choice of discretization (Whitney forms) and
possible generalizations and their issues. 
03/13/14
Gunther Cornelissen  Univ. of Utrecht and Caltech
Curves, dynamical systems and weighted point counting
AbstractA famous theorem of Tate implies that two smooth projective
curves over a finite field have the same zeta function if and only if
their Jacobians are isogenous (in particular, the curves needn't be
isomorphic). We prove that two smooth projective curves are
isomorphic (up to automorphisms of the ground field) if and only
if certain associated dynamical systems (arising from class field theory)
are topologically conjugate. This is in turn equivalent to an equality
of all Dirichlet Lseries of the curves via a group isomorphism between
the groups of linear characters of their absolute Galois groups. 
03/13/14
Mr. Harishankar Manikantan  MAE, UCSD
The sedimentation of flexible filaments
Abstracthe dynamics of a flexible filament sedimenting in a viscous fluid are explored analytically and numerically. Compared with the wellstudied case of sedimenting rigid rods, the introduction of filament compliance is shown to cause a significant alteration in the longtime sedimentation orientation and filament geometry. A model is developed by balancing viscous, elastic and gravitational forces in a slenderbody theory for zeroReynoldsnumber flows, and the filament dynamics are characterized by a dimensionless elastogravitation number. In the weakly flexible regime, a multiplescale asymptotic expansion is used to obtain expressions for filament translations, rotations and shapes which match excellently with full numerical simulations. Furthermore, we show that trajectories of sedimenting flexible filaments, unlike their rigid counterparts, are restricted to a cloud whose envelope is determined by the elastogravitation number. In the highly flexible regime we show that a filament sedimenting along its long axis is susceptible to a buckling instability. A linear stability analysis provides a dispersion relation, illustrating clearly the competing effects of the compressive stress and the restoring elastic force in the buckling process. Finally, we incorporate the effect of flexibility on the dynamics of a suspension of such filaments using a meanfiled model. A dilute suspension of rigid rods settling under gravity is itself unstable to density fluctuations as a result of hydrodynamic interactions; we show that introducing filament flexibility has opposing effects on this concentration instability. On the one hand, the flexibilityinduced reorientation establishes a base state that is more prone to instability, while on the other hand reorientation reduces particle aggregation thereby leading to stabilization.

03/13/14
Gunther Cornelissen  Univ. of Utrecht and Caltech
Graph spectra and diophantine equations
AbstractI will show how to find uniform finiteness results for
certain diophantine equations in terms of the Laplace spectrum
of an associated graph. The method is to bound the "gonality"
of a curve (minimal degree of a map onto a line) by the
"stable gonality" of an associated stable reduction graph,
and then to bound this stable gonality of the graph
(some kind of minimal degree of a map to a tree) in terms
of spectral data. The latter bound is a graph theoretical
analogue of a famous inequality of Li and Yau in differential
geometry. An example of an application is to bound the degree
of the modular parametrisation of elliptic curves over
function fields. (Joint work with Fumiharu Kato and Janne Kool.) 
03/20/14
Ionut Chifan  University of Iowa
Some rigidity results for the von neumann algebras associated with braid groups.
AbstractIn this talk I will present some recent rigidity results for the von Neumann algebras associated with actions of braid groups. We will show that any free ergodic pmp action of the central quotient of the braid group with at least five strands on a probability space is virtually W*superrigid; this means that any such action can be (almost) completely reconstructed from its von Neumann algebra. The proof uses a dichotomy theorem of PopaVaes for normalizers inside crossed products by free
groups in combination with a OEsuperrigidity theorem of Kida for actions of mapping class groups.
Other structural results such as primeness or unique tensor factorisations for the von Neumann algebras associated with braid groups will also be discussed. This is based on an initial joint work with A. Ioana and Y. Kida and a subsequent joint work with F. Goodman and S. Pant.
Apr

04/03/14
Guillaume Cebron  Universite Pierre et Marie Curie
Levy processes on the unitary group in large dimension
AbstractIt is known that the distribution of a random unitary matrix, under the heat kernel measure on the unitary group U(N), converges as N tends to infinity. I will discuss the convergence of the distribution of a random unitary matrix arising from a Levy process on the unitary group U(N). The approach is based on the SchurWeyl duality, and we will see that the asymptotic distribution is closely related to the counting of certain paths in the symmetric group.

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

04/03/14
Stephan Garcia  Pomona College
Supercharacters and their super powers
AbstractThe theory of \emph{supercharacters}, which generalizes classical character theory, was recently developed in an axiomatic fashion by P. Diaconis and I.M. Isaacs, based upon earlier work of C. Andre. When this machinery is applied to abelian groups, a wide variety of applications emerge. In particular, we develop
a generalization of the discrete Fourier transform along with several combinatorial tools. This perspective illuminates several classes of exponential sums (e.g., Gauss, Kloosterman, and Ramanujan sums) that are of interest in number theory. We also consider certain exponential sums that produce visually striking patterns of great
complexity and subtlety. (Partially supported by NSF Grants DMS1265973, DMS1001614, and the Fletcher Jones Foundation.) 
04/03/14
Chris Bishop  SUNY Stony Brook
Conformal Maps and Optimal Meshes
AbstractThe Riemann mapping theorem says that every simply connected proper plane domain can be conformally mapped to the unit disk. This result is over a 100 years old, but the study and computation of such maps is still an active area. In this talk, I will discuss the computational complexity of constructing a conformal map from the disk to an ngon and show that it is linear in n, with a constant that depends only on the desired accuracy. As one might expect, the proof uses ideas from complex analysis, quasiconformal mappings and numerical analysis, but I will focus mostly on the surprising roles played by computational planar geometry and 3dimensional hyperbolic geometry.
If time permits, I will discuss how this conformal mapping algorithm implies new results in discrete geometry, e.g., every simple polygon can be meshed in linear time using quadrilaterals with all new angles between 60 and 120 degrees. A closely related result states that any planar triangulation of n points can be refined by adding vertices and edges into a nonobtuse triangulation (no angles bigger than 90 degrees) in time $O(n^(5/2))$. No polynomial bound was previously known.

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

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

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

04/08/14
Jennifer Morse  Drexel University
How to be discrete in complicated situations (getting involved with GromovWitten and Macdonald)
AbstractWe will talk about how a combinatorial approach to multiplying polynomials is useful in the study of GromovWitten invariants (constants arising in String Theory) and Macdonald coefficients (polynomials in 2 parameters tied to Representation Theory and Geometry). No background beyond undergraduate math is needed.

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

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

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

04/17/14
Nets Katz  Caltech
A model for studying double exponential growth.
Abstract(Joint work with A Tapay) We discuss a model for studying spontaneous phenomena in the 2d Euler equations for incompressible fluid flow. We tie the behavior of the model to the behavior of the actual Euler equations.

04/17/14
Michael Kasa  UCSD
Toric Varieties
AbstractWe describe toric varieties, some of the most delightful objects in algebraic geometry, as quotients of open subsets of affine space by reductive groups. Many explicit examples will be shown. Time permitting, we will explore the toric varieties package in SAGE.

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

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

04/17/14
ChanHo Kim  UC Irvine
On congruences of anticyclotomic padic Lfunctions of Hida families
AbstractWe construct anticyclotomic padic Lfunctions of Hida families in a more controlled way using a multiplicity one result arising from arithmetic of Shimura curves. Using this construction, we can calculate the difference of Iwasawa invariants of padic Lfunctions of congruent modular forms in different weights. As an application, we can see the equivalence of the main conjectures of two congruent forms under certain conditions. This is joint work in progress with Francesc Castella and Matteo Longo.

04/18/14
Chad Wildman
Nonlinear KleinGordon Equations with a Potential

04/18/14
Tyler Kelly  University of Pennsylvania
Towards Unifying Toric Mirror Constructions
AbstractThe speaker will discuss the recent work(inprogress) on unifying various mirror constructions of various authors, such as BatyrevBorisov and BerglundHÃ¼bschKrawitz. This talk hopes to focus on questions, conjectures, and examples involved in this more generalized framework.

04/22/14
Justin Roberts  UCSD
Topological conformal field theory and graphs
AbstractI'll try to explain what TCFT is and what, if anything, it has to do with Jim Conant's work from the previous talks.

04/22/14
Peter Lancaster  University of Calgary
Spectral Analysis for Matrix Polynomials with Symmetries
AbstractTwo lines of attack in the spectral theory of n x n matrix polynomials of degree d will be outlined. The first is an algebraic approach based on the notion of isospectral linear systems in $C^dn$ (the linearizations) and the second on analysis of associated matrixvalued functions acting on $C^n$.
The first approach leads to canonical forms for real symmetric systems consisting of real matrix triples, and thence to canonical triples. Furthermore, for real selfadjoint systems we describe selfadjoint canonical triples of real matrices and illustrate their properties.
It turns out that, in this context, there is a fundamental orthogonality property associated with the spectrum. It will be shown how this can play a role in inverse (spectral) problems, i.e. constructing systems with prescribed spectral properties.

04/24/14
Ioan Bejenaru  UCSD
Global wellposedness for the Cubic Dirac equation in the critical space
AbstractWe establish global wellposedness and scattering for the cubic Dirac equation for small data in the critical space $H^1(\mathbb{R}^3)$. The main ingredient is obtaining a sharp endpoint Strichartz estimate for the KleinGordon equation. In a classical sense this fails and it is related to the failure of the endpoint Strichartz estimate for the wave equation in space dimension three. We construct systems of coordinate frames in which endpoint Strichartz estimates are recovered and energy estimates are established.

04/24/14
Kiran Kedlaya  UCSD
Witt vectors in mixed characteristic and padic Hodge theory
AbstractThe functor of ptypical Witt vectors is most well known for lifting perfect fields of characteristic p into complete discrete valuation rings. However, it is a welldefined functor on arbitrary rings; we will indicate how applying this functor to local rings of mixed characteristic gives some new perspectives on padic Hodge theory. We will also touch briefly upon some mysterious links to algebraic Ktheory coming from the work of Hesselholt. Based on joint papers with Chris Davis (Copenhagen).

04/25/14
Graciela Reyes  Universidad Nacional Autonoma de Mexico
Rank two vector bundles with canonical determinant.
AbstractLet $C$ be a smooth irreducible projective curve. We can consider the BrillNoether locus $B(2,\omega_C,r)$ of stable rank two vector bundles with canonical determinant and at least $r$ linearly independent sections on $C$. There is a complete description of $B(2,\omega_C,r)$ when $C$ has general moduli and genus $g\leq 12$. For higher genus several basic questions like nonemptyness, irreducibility, etc, are still open. The talk will focus in these questions and some conjectures.

04/29/14
Lilit Martirosyan  UCSD
SO(n) Lie conformal algebras

04/29/14
Marek Czarnecki  University of Warsaw
Modeltheoretic constructions without actual infinity
May

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

05/01/14
Vlad Vicol  Princeton University
Inviscid limits for the stochastic 2D NavierStokes equations and the damped 2D Euler equations.
AbstractMotivated by turbulence theories, we address the behavior in the infinite Reynolds number limit of invariant measures for the 2D stochastic NavierStokes equations. We prove that the limiting inviscid invariant measures are supported on bounded vorticity solutions of the 2D Euler equations. We also prove the that ergodic invariant measures for the fractionally damped stochastic 2D Euler equations are unique.

05/01/14
David Zhang  UCSD
Some Nonassociative Stuff
AbstractI'll present an assortment of nonassociative algebras that are considered special, exceptional, or even magical. Necessary background will be provided.

05/01/14
Cristian Popescu  UCSD
Hecke characters and the Quillen Ktheory of number fields
AbstractFirst, I will describe how our results (joint with Greither) on the BrumerStark conjecture lead to a new construction of Hecke characters for CM number fields, generalizing A. Weil's Jacobi sum Hecke characters. Second, I will show how the values of these characters can be used to construct special elements in the even
Kgroups of CM and totally real number fields. Several applications ensue: a general construction of Euler Systems in the odd Ktheory of CM and totally real number fields; a Ktheoretic reformulation (and potential proof strategy) of a classical and wide open conjecture of Iwasawa on class groups of cyclotomic fields; potential new insights into Hilbert's 12th problem for CM number fields etc. Time permitting, I will touch upon some of these applications as well. This is based on joint work with G. Banaszak (Poland). 
05/01/14
LiTien Cheng  UCSD
Min Cut/Max Flow for Biomolecule Shapes

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

05/06/14
Lilit Martirosyan  UCSD
SO(n) Lie conformal algebras  Part 2

05/06/14
Li Wang  UCSD
Semidefinite Relaxations for SemiInfinite Polynomial Programming
AbstractWe study how to solve semiinfinite polynomial programming (SIPP) problems by semidefinite relaxation method. We first introduce two SDP relaxation methods for solving polynomial optimization problems with finitely many constraints. Then we propose an exchange algorithm with SDP relaxations to solve SIPP problems with compact index set. At last, we extend the proposed method to SIPP problems with noncompact index set via homogenization. Numerical results show that the algorithm is efficient in practice.

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

05/07/14
Randy Schekman  Howard Hughes Investigator and Professor of Cell and Developmental Biology at UC Berkeley
Genes and Proteins That Control Secretion and Autophagy
AbstractAgilent Technologies and the University of California San Diego are pleased to offer the first in a series of lectures by leading researchers in diverse, cuttingedge fields of biological science.
Traffic inside a cell is as complicated as rush hour near any metropolitan area. But drivers know how to follow the signs and roadways to reach their destinations. How do different cellular proteins "read" molecular signposts to find their way inside or outside of a cell? For the past three decades, Randy Schekman has been characterizing the traffic drivers that shuttle cellular proteins as they move in membranebound sacs, or vesicles, within a cell. His detailed elucidation of cellular travel patterns has provided fundamental knowledge about cells and has enhanced understanding of diseases that arise when bottlenecks impede some of the protein flow.
Sign up for this informative lecture today at: http://event.signup4.com/ucsd

05/08/14
Vera Serganova  UC Berkeley
Finitedimensional representations of classical algebraic supergroups
AbstractStudying Lie superalgebras and supergroups was initially motivated by applications in physics. In the recent years interesting connections with other branches of mathematics were discovered. The goal of the talk is to review some of these results.
I start with describing four series of algebraic supergroups, which are natural generalizations of general linear, orthogonal and symplectic groups. We shall see different superanalogues of Schur Weyl duality, which reveal connections with universal tensor categories constructed by Deligne. Then we discuss geometric methods in representation theory of algebraic supergroups: associated variety and BorelWeilBott theory. Finally, I will talk about categorification and weight diagram technique and try to explain how they can be used for calculating the characters of irreducible representations of classical supergroups.

05/08/14
Brian Camley  UCSD (Physics & CTBP)
Complex cell motility: collective rotation, persistence, and turning
AbstractIn order to perform their functions, many cells must crawl through a complex environment, including neighboring cells and a confining extracellular matrix. This environment can modify their behavior. I will show that simple physical models can describe a wide variety of these complex cell motions, including collective rotations of confined cells, anomalously large persistence of cells in microchannels, and
turning instabilities in crawling cells. These models, which link cell shape, polarity (an internal cell compass), and physical forces, show how different environments (and a few other factors) can lead to distinct types of cell motility. 
05/08/14
Craig Timmons  UCSD
Additive Combinatorics and Extremal Graphs

05/08/14
Cristian Popescu  UCSD
Hecke characters and the Quillen Ktheory of number fields  Part 2
AbstractI will briefly review the material covered in last week's lecture (May 1) and will continue with a more detailed description of the Ktheoretic constructions and their arithmetic applications mentioned in last week's abstract. Joint work with G.
Banaszak (Poland.) 
05/08/14
Burt Totaro  UCLA
The fundamental group of an algebraic variety, and hyperbolic complex manifolds.
AbstractIt is a mystery which groups can occur as fundamental groups of smooth complex projective varieties. It is conceivable that whenever the fundamental group is infinite, the variety has some "negative curvature" properties. We discuss a result in this direction, in terms of "symmetric differentials". There are interesting open questions even about the special case of compact quotients of the unit ball in $C^n$. (Joint work with Yohan Brunebarbe and Bruno Klingler.)

05/16/14
Michael McQuillan  Universita di Roma Tor Vergata/IHES
2Galois theory
AbstractA theorem of Whitehead asserts that the topological 2type of a (connected) space is uniquely characterised by the triple ($\pi_1, \pi_2, k_3$), where the
$\pi_i, i\leq 2$ are the homotopy groups $\pi_i, i\leq 2, k_3$ is the Postnikov class
$\in H^3$($pi_1, \pi_2$), and, indeed all such triples may be realised. Such triples
are synonymous with a 2group, $\Pi_2$, i.e. a group `object' in the category of categories, which plays the same role for 2types as the fundamental group does
for 1types. In particular, there is a 2Galois correspondence between the
2category of champs which are etale fibrations over a space and $\Pi_2$
equivariant groupoids generalising the usual 1Galois correspondence between spaces which are etale fibrations over a given space and $\pi_1$ equivariant sets. The talk will explain the profinite analogue of this correspondence, so, albeit only for the 2type, a much simpler and more generally valid description of the etale homotopy than that of ArtinMazur. 
05/16/14
Gabor Pataki  University of North Carolina, Chapel Hill
Bad semidefinite programs: they all look the same
AbstractSemidefinite Programming (SDP) is the problem of optimizing a linear objective function of a symmetric matrix variable, with the requirement that the variable also be positive semidefinite. Duality theory is a central concept in SDP, just like it is in linear programming. However, in SDP pathological phenomena occur, such as nonattainment of the optimal values, and positive gaps.
This research was motivated by the curious similarity of pathological SDPs that appear in the literature.
We give exact characterizations of when a semidefinite system is badly behaved from the standpoint of duality, and show that "all bad semidefinite programs look the same", as they are characterized by the presence of certain excluded matrices.
We find certain combinatorial characterizations: we prove that all badly behaved semidefinite systems can be brought to a certain standard form, on which it is trivial to recognize their bad behavior, using only elementary linear algebra, without referring to any theorem. We prove analogous results for wellbehaved systems, which are not badly behaved.
As a byproduct, we present an algorithm to generate all well behaved systems; in particular, we present a method to generate all linear maps under which the image of the cone of psd matrices is closed.

05/19/14
Jamshid Derakhshan  Oxford University
Zeta functions of groups, motivic integrals, and model theory
AbstractI will present joint work with Mark Berman, Uri Onn, and Pirita Paajanen showing that given a Chevalley group, for large p, the number of conjugacy classes of all the congruence quotients of the group of rational points over the valuation ring of a nonarchimedean local field of residue characteristic p depends only on the cardinality of the residue field and not on the ring. This reduces to proving that the conjugacy class zeta function is motivic in the sense that it is given uniformly (across all local fields) by a formula of the modeltheoretic language of DenefPasLoeser for valued fields, and then to use a socalled motivic transfer principle.
I will then discuss an analogue of this question for the case of a global field and related issues in algebra and number theory.
Finally, I will discuss a related general perspective involving a model theory for adeles of a number field and a model theory for finite fields (joint works with Angus Macintyre).

05/20/14
Justin Roberts  UCSD
Conformal field theory

05/20/14
Luca Bombelli  University of Mississippi
Causal set kinematics: Partially ordered measure spaces as the context for the relationship with Lor
AbstractIn this talk I will describe an approach to questions about the relationship between causal sets and smooth Lorentzian geometries based on considering both types of structures as examples of partially ordered measure spaces. There is a natural definition of closeness between any two objects of this type. I will introduce this definition, describe some of its properties, and comment on its application to manifoldlike causal sets.

05/20/14
Ryan Rodriguez  UCSD
Preperfectoid Algebras

05/22/14
Shishi Luo  Los Alamos National Laboratory
A FlemingViot process for multiscale evolutionary dynamics
AbstractEvolution by natural selection can act at multiple biological levels, often in opposing directions. This is particularly the case for pathogen evolution, which occurs both within the host it infects and via transmission between hosts, and for the evolution of cooperative behavior, where individually advantageous strategies are disadvantageous at the group level. In mathematical terms, these are multiscale systems characterized by stochasticity at each scale. We show how a simple and natural formulation of this can be viewed as a measurevalued process. This equivalent process has very nice mathematical properties, namely it converges weakly to either the solution of an analytically tractable integropartial differential equation or a FlemingViot process. We can then study properties of these limiting objects to infer general properties of multilevel selection.

05/23/14
Fei He
Some rigidity results for Ricciflat manifolds and gradient steady Ricci solitons
AbstractGradient steady Ricci solitons are potential singularity models for the Ricci flow. Also, they are natural generalizations of Ricciflat manifolds, hence share many interesting properties. In this talk I'll present some $\epsilon$rigidity results for noncompact Ricciflat manifolds and the generalization to gradient steady Ricci solitons.

05/23/14
Roberto Svaldi  MIT
On Fano varieties appearing as fibers of a Mori fiber space.
AbstractMori fiber spaces (MFS) are one of the building blocks in the Minimal Model Program.
These are maps $X \to Y$ between normal varieties with nice singularities, such that $\dim Y <\dim X$,
$\rho(X/Y)=1$ and $K_X$ is ample on every fiber. In particular, most fibers will be $Q$Fano varieties.
Starting from classical results on the topology of fibrations, I will try to explain how the above conditions
place strong restrictions on what varieties can appear as fibers of MFS. I will give characterizations
for lowdimensional varities and explain what happens in the toric category. Moreover, we will show that
this question can be connected to the question of existence of KaehlerEinstein metrics.
Joint work with G. Codogni, A. Fanelli, L. Tasin. 
05/27/14
Jinyan Fan  Shanghai Jiaotong University
The CPMatrix Completion Problem
AbstractA symmetric matrix A is completely positive (CP) if there exists an entrywise nonnegative matrix B such that $A = BB^T$. We characterize the interior of the CP cone. We formulate the problem as linear optimizations with cones of moments. A semidefinite algorithm is proposed for checking interiors of the CP cone, and its properties are studied. A CPdecomposition of a matrix in Dickinson's form can be obtained if it is an interior of the CP cone. Some computational experiments are also presented.

05/27/14
Yusuke Isono  Kyoto University
Some prime factorization results for free quantum group factors.
AbstractOzawa and Popa proved a unique factorization property for tensor products of free group factors. Roughly speaking, this means these tensor products "remember" each tensor component. In this seminar, we study similar factorization results for free quantum group factors. In the proof, we use a condition (AO) type phenomena for continuous cores of the tensor products, and prove first a weak factorization property on the cores. Then we deduce the desired property for the original tensor
products. 
05/27/14
Hoi Nguyen  Ohio State University
Anticoncentration, inverse theorems, and applications
AbstractI will survey some recent combinatorial developments on the anticoncentration of random multilinear forms and provide some applications.
(Based on joint works with S. O'Rourke and V. Vu)

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

05/29/14
Robin TuckerDrob  Rutgers University
Inner amenability and stability in linear groups.
AbstractA discrete group is said to be inner amenable if it admits an atomless mean which is invariant under conjugation. In this talk I will provide a satisfying characterization of inner amenability for linear groups over an arbitrary field. I will also discuss a complete characterization of linear groups which are stable in the sense of Jones and Schmidt. The analysis of stability leads to many new examples of (nonlinear) stable groups; notably, all nontrivial countable subgroups of Monod's group H(R) are
stable. This includes nonamenable groups constructed by Monod and by Lodha
and Moore, as well as Thompson's group F. 
05/29/14
Michael Tait  UCSD
Graph Colorings and Extremal Combinatorics
AbstractWe will discuss two graph coloring problems and some applications to extremal graph theory and combinatorial number theory.

05/29/14
Ryan Rodriguez  UCSD
Acyclicity of preperfectoid algebras
AbstractIt is desirable for the spectrum of a uniform Banach algebra to have a structure sheaf. This happens when the algebra is acyclic. We will discuss what it means for a uniform Banach algebra to be acyclic. I will explain how to show preperfectoid algebras are acyclic.
Jun

06/03/14
Peyman Tavallali  Caltech
Adaptive Sparse TimeFrequency Data Analysis and Applications in Cardiovascular Disease Diagnosis
AbstractIn this work, we further extend the recently developed adaptive data analysis method, the Sparse TimeFrequency Representation (STFR) method. This method is based on the assumption that many physical signals inherently contain AMFM representations. We propose a sparse optimization method to extract the AMFM representations of such signals. We prove the convergence of the method for periodic signals under certain assumptions and provide practical algorithms specifically for the nonperiodic STFR, which extends the method to tackle problems that former STFR methods could not handle, including stability to noise and nonperiodic data analysis. This is a significant improvement since many adaptive and nonadaptive signal processing methods are not fully capable of handling nonperiodic signals. In particular, we present a simplified and modified version of the STFR algorithm that is potentially useful for the diagnosis and monitoring of some cardiovascular diseases.

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

06/05/14
Robert Krasny  University of Michigan, Ann Arbor
Lagrangian Particle Methods for Vortex Dynamics
AbstractIn this talk I'll discuss how Lagrangian particle methods are being used to study the dynamics of fluid vortices. These methods use the BiotSavart integral to recover the velocity from the vorticity and they track the flow map using adaptive particle discretizations. I'll present computations of vortex sheet motion in 2D flow, with reference to KelvinHelmholtz instability, the Moore singularity, spiral rollup, and chaotic dynamics. Other examples include vortex rings in 3D flow, and vortex dynamics on a rotating sphere.

06/06/14
Katherine Walsh  UCSD
Patterns and Stability in the Coefficients of the Colored Jones Polynomial

06/06/14
Nicola Tarasca  University of Utah
Double total ramifications for curves of genus 2
AbstractInside the moduli space of curves of genus 2 with 2 marked points, the loci of curves admitting a map to P1 of degree d totally ramified at the two marked points have codimension two. In this talk I will show how to compute the classes of the compactifications of such loci in the moduli space of stable curves. I will also discuss the relation with the related work of Hain, GrushevskyZakharov, ChenCoskun, CavalieriMarcusWise.

06/10/14
Justin Roberts  UCSD
Conformal field theory II

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

06/20/14
Dominik Michels  MaxPlanckInstitute for Informatics, Saarbrucken
Stiff Scenarios in Computer Graphics
AbstractWe discuss analyticnumeric methods for solving stiff scenarios in computer animation. Classical explicit numerical integration schemes have the shortcoming that step sizes are limited by the highest frequency that occurs within the solution spectrum of the governing equations, while implicit methods suffer from an inevitable and mostly uncontrollable artificial viscosity that often leads to nonphysical behavior. To overcome these specific detriments, an appropriate class of socalled exponential integrators that solves the stiff part of the governing equations by employing a closedform solution is presented. With these techniques, up to three orders of magnitude greater time steps can be handled compared to conventional methods, and, at the same time, a tremendous increase in overall longterm stability is achieved. This advantageous behavior is demonstrated across a broad spectrum of stiff scenarios that include deformable solids, trusses, and textiles, including damping, collision responses, and friction.
To realize an efficient and physically accurate simulation of stiff fiberbased systems such as human hair, wool infills, and brushes, an appropriate approach for the physically accurate simulation of densely packed fiber assemblies is presented.

06/24/14
Thomas Sinclair  UCLA
Model theory of $II_1$ factors
AbstractThis will be a survey/introduction to recently emerging applications of continuous logic to the theory of $II_1$ factors. No background in continuous logic will be assumed.
Jul

07/02/14
Mark Colarusso  University of Wisconsin, Milwaukee
Korbits on the flag variety and the GelfandZeitlin integrable system
AbstractIn 2006, Kostant and Wallach constructed an integrable system on the n x n complex matrices $M_{n}( C)$ using GelfandZeitlin theory. This system can be viewed as a complexified version of the one studied by Guillemin and Sternberg on the n x n Hermitian matrices, which is related to the classical GelfandZeitlin basis for irreducible representations of the unitary group via geometric quantization.
In this talk, we discuss joint work with Sam Evens in which we develop a geometric description of the fibres of the moment map for the complexified GelfandZeitlin system. Our approach uses the theory of orbits of a symmetric subgroup K of the group G of all invertible n x n complex matrices on the flag variety of $M_{n}( C)$ . These orbits play a central role in the geometric construction of HarishChandra modules for the pair $(M_{n} (C ), K)$ using the BeilinsonBernstein correspondence. We indicate how our work provides the foundation for the geometric construction of a category of generalized HarishChandra modules studied by Drozd, Futorny, and Ovsienko.

07/16/14
Sergey Kitaev  University of Strathclyde
New results and research directions in the theory of wordrepresentable graphs
Aug

08/06/14
Haya Kaspi  Technion  Israel Institute of Technology
An infinite dimensional Skorokhod problem and continuous prioritizing of queuing systems.

08/27/14
Phillip Compeau  UCSD
Scalable Online Algorithmic Biology Education and DCJIndel Sorting
Sep

09/11/14
Peter Schneider  University of Munster (MSRI)
Rigid character groups, LubinTate theory, and $(\phi,\Gamma)$modules
AbstractThe talk will describe joint work with L. Berger and B. Xie in which we build, for a finite extension L of $\Bbb{Q}_p$, a new theory of $(\phi,\Gamma)$modules whose coefficient ring is the ring of holomorphic functions on the rigid character variety of the additive group $o_L$, resp. a "Robba" version of it.

09/11/14
Peter Schneider  University of Munster (MSRI)
Hecke algebras in their natural characteristic are Gorenstein
AbstractIn the local Langlands program the (smooth) representation theory of padic reductive groups G in characteristic zero plays a key role. For any compact open subgroup K of G there is a so called Hecke algebra $H(G,K)$. The representation theory of G is equivalent to the module theories over all these algebras $H(G,K)$. Very important examples of such subgroups K are the Iwahori subgroup I and the prop Iwahori subgroup $I_p$. By a theorem of Bernstein the Hecke algebras of these subgroups (and many others) have finite global dimension.
In recent years the same representation theory of G but over an algebraically closed field of characteristic p has become more and more important. But little is known yet. Again one can define analogous Hecke algebras. Their relation to the representation theory of G is still very mysterious. Moreover they are no longer of finite global dimension. In joint work with R. Ollivier we prove that the characteristic p version of $H(G,I_p)$ is Gorenstein.

09/16/14
Meng Wang  UCSD
On the Detection of Sparse Mixtures
Oct

10/07/14
Center for Computational Mathematics
Organizational Meeting

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

10/14/14
John Moody  UCSD
Splines in Higher Dimensions using Abstract Simplicial Complexes
AbstractSplines on simplicial complexes in 1, 2, and 3 dimensions are well studied objects. As the dimension is raised, there is increased complexity of both the connectivity and geometric information. Abstract Simplicial Complexes provide a means to separate connectivity from geometric information. They are well studied objects, and are a standard tool used to construct and study topologies. In this talk we present the theory of Abstract Simplicial Complexes and Splines necessary to understand a proof that the conditions for continuity on the lower order
subsimplices are contained in the conditions for continuity on the connected, higher order subsimplices. 
10/14/14
Jeff Remmel  UCSD
Frame patterns in $n$cycles.
AbstractWe study the generating function for the simplest frame pattern called the
$\mu$pattern in $n$cycles. Given a cycle $C =(c_1, \ldots, c_n)$, we say that
$(c_i,c_j)$ matches the $\mu$pattern if $c_i < c_j$ and there is no $c_k$ which lies
cyclicly between $c_i$ and $c_j$ such that $c_i < c_k < c_j$. We will show that the study of $\mu$patterns in $n$cycles give rise to a new $q$analogue of the derangement numbers and has a rather surprising connection with the charge
statistic of Lascoux and Schutzenberger. 
10/17/14
Jorge Pereira  IMPA
Compact leaves of foliations
AbstractI will discuss three questions in this talk.
(Existence) Given a smooth hypersurface Y of a projective manifold X with numerically trivial normal bundle, does there exist a codimension one foliation on X having Y as a compact leaf?
(Abelian holonomy) What can we say about foliations having a compact leaf with abelian holonomy?
(Factorization) It is rather easy to construct foliations on projective surfaces having compact leaves with nonsolvable holonomy. In higher dimensions, the only known examples are pullbacks of foliations on surfaces through rational morphism. Is this a general phenomenon? In particular, does the holonomy of compact leaves factor through curves when non solvable? (Joint work with B.Claudon, F. Loray, F. Touzet)

10/21/14
Randolph Bank  UCSD
Some Algorithmic Aspects of Adaptive Finite Elements
AbstractWe will discuss our ongoing investigation of adaptive strategies for finite element equations. We will examine a posteriori error estimates based on superconvergent
derivative recovery. We then survey and compare h, p, r, and hp adaptive approaches. Some numerical examples will be provided. 
10/21/14
Justin Roberts  UCSD
Mathematical Crystallography
AbstractA crystal is a shape which tessellates the plane (or space) in a periodic way, so that the pattern repeats at regular intervals in all directions. The group of symmetries (translational, rotational, reflectional) of such a tessellation is called a crystallographic group. In two dimensions there are exactly 17 different kinds of symmetry, the socalled "wallpaper groups", which I'll describe. I'll also mention what happens in three dimensions, in hyperbolic space, and how you can make "quasiperiodic" tessellations (Penrose tilings) with fivefold symmetry.

10/22/14
V. Vasiliev  Tomsk State University
A truncated estimation method with guaranteed accuracy
AbstractThe truncated estimation method of ratio type functionals based on a dependent sample of finite size will be presented. This method makes it possible to obtain estimators with guaranteed accuracy in the sense of the $L_{2m}$norm for $m\geq 1.$
As an illustration, the parametric and nonparametric estimation problems on a time interval of a fixed length are considered. In addition to nonasymptotic properties, the limit behavior of presented estimators is investigated. It is shown that all the truncated estimators have asymptotic properties of basic estimators.
In particular, the asymptotic efficiency in the mean square sense of the truncated estimator of the dynamic parameter of a stable autoregressive process is established. As an application, the problem of asymptotic efficiency of adaptive onestep predictors for a stable multivariate first order autoregressive process with unknown parameters is considered. The predictors are based on the truncated estimators of the dynamic matrix parameter. The criterion of optimality is based on the loss function, defined as a sum of sample size and squared prediction error's sample mean. 
10/23/14
Diane Holcomb  University of Arizona
Rare events for point process limits of random matrices.
AbstractThe Gaussian Unitary and Orthogonal Ensembles (GUE, GOE) are some of the most studied Hermitian random matrix models. When appropriately rescaled the eigenvalues in the interior of the spectrum converge to a translation invariant limiting point process called the Sine process. On large intervals one expects the Sine process to have a number of points that is roughly the length of the interval times a fixed constant (the density of the process). We solve the large deviation problem which asks about the asymptotic probability of seeing a different density in a large interval as the size of the interval tends to infinity. Our proof works for a oneparameter family of models called betaensembles which contain the Gaussian orthogonal, unitary and symplectic ensembles as special cases.

10/23/14
Michelle Manes  University of Hawaii
Galois theory of quadratic rational functions
AbstractGiven a global field K and a rational function f(x) defined over K, one may take preimages of 0 under successive iterates of f, and thus obtain an infinite tree by assigning edges according to the action of f. The absolute Galois group of K acts on the tree, giving a subgroup of the group of all tree automorphisms.
Beginning in the 1980s with work of Odoni, and developing especially over the past decade, a significant body of work has emerged on the size and structure of this Galois representation. The analogy here is to Serre's finite index results for Galois representations arising from elliptic curves.
I will discuss the contributions of several researchers, including Boston and Jones, along with my own work (joint with Jones) on these questions.

10/24/14
Charlie Siegel  IPMU
Modular Operad of Embedded Curves
AbstractModular operads were introduced by Getzler and Kapranov to formalize the structure of gluing maps between moduli of stable marked curves. We present a construction of analogous gluing maps between moduli of plurilogcanonically embedded marked curves, which fit together to give a modular operad of embedded curves. This is joint work with Satoshi Kondo and Jesse Wolfson.

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

10/28/14
Pierre Youssef  University of Alberta
Extracting a well conditioned submatrix and the paving conjecture
AbstractGiven U an n by m matrix, the aim is to extract a large number of linearly independent columns of U and estimate the smallest and the largest singular value of the restricted matrix. For that, we give two deterministic algorithms: one for a normalized version of the restricted invertibility principle of BourgainTzafriri, and one for the norm of coordinate restriction problem due to KashinTzafriri. Merging the two algorithms, we are able to extract a wellconditioned block inside U, improving a previous result due to Vershynin. We use this to attempt a proof of the paving conjecture which is known to be equivalent to the KadisonSinger problem and was recently solved by MarcusSpielmanSrivastava. Their proof is only existential. In our attempt, we fail to solve the conjecture; we give however a deterministic algorithm for the best previously known result on it due to BourgainTzafriri.

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

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

10/31/14
Jie Wang  UCSD
Generic vanishing of Koszul cohomology: some recent progress
AbstractA central problem in curve theory is to describe the extrinsic geometry of algebraic curves in a given projective space with fixed genus and degree. Koszul cohomology groups in some sense carry everything one ever wants to know about the defining equations of a curve $X$ in $\mathbb{P}^r$: the number of independent equations
of each degree vanishing on $X$ , the relations between the generators of the ideal $I_X$ of $X$, etc.In this talk, I will describe an inductive approach to study Koszul cohomology groups of general curves. In particular, we show that to prove the Maximal Rank Conjecture (for quadrics), it suffices to check all cases with the BrillNoether number $\rho=0$. As a consequence, the Maximal Rank Conjecture holds if the embedding line bundles $L$ on $X$ satisfies the condition $h^1(L)<3$.
Nov

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

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

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

11/06/14
Dorian Goldfeld  Columbia University
A standard zero free region for RankinSelberg Lfunctions on GL(n)
AbstractFor $n > 1$, let $\pi, \pi'$ be two irreducible cuspidal automorphic representations of GL(n, A) where A denotes the adeles over Q. Let $L(s, \pi \times \pi')$ be the RankinSelberg Lfunction. If one of $\pi$ or $\pi'$ is self dual then it was shown by Moreno and Sarnak that the RankinSelberg Lfunction does not vanish at s = c+it when 1c is less than a positive fixed constant times a negative power of log(t +2). This is also called a standard zero free region. A standard zero free region for the Riemann zeta function was first obtained by de la Vallee Poussin (prime number theorem).
Currently, the best known zero free region for Rankin Selberg Lfunctions on GL(n) (in the non self dual case) is due to Brumley who has proved 1c is less than a fixed constant times a negative power of t +2. In joint work with Xiaoqing Li we obtain a standard zero free region in the non self dual case.

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

11/13/14
Joseph Palmer  UCSD
Moduli spaces of semitoric systems
AbstractIn this talk we will use the classification results of PelayoVu Ngoc to define a family of metrics on the space of semitoric integrable systems. The family is parameterized by two choices, but the induced topology does not depend on these choices. The resulting metric space is disconnected and incomplete. We will construct the completion and if time allows discuss the connectedness.

11/13/14
Kim Laine  UC Berkeley
Security in genus 3
AbstractThe security of genus $3$ curves in public key cryptography has long been somewhat unclear. For nonhyperelliptic genus $3$ curves Claus Diem found a way to exploit the geometry of the curve to speed up index calculus on the Jacobian, achieving an impressive running time of $\widetilde{O}(q)$. Unfortunately the algorithm suffers from massive memory requirements.
We have our own variation of nonhyperelliptic genus $3$ index calculus, which improves Diemâ€™s approach in several ways. We study both the computational complexity and the memory cost of our method in great detail and make the results completely explicit. Combining this with some techniques to alleviate the memory cost, we get a very clear understanding of the security and show that for certain field sizes of practical interest the nonhyperelliptic genus $3$ index calculus is a threat worth taking into account. The socalled isogeny attacks make genus $3$ hyperelliptic curves equally vulnerable.

11/13/14
Charlie Fefferman  Princeton University
Whitney's extension problem and its extensions
AbstractLet X be our favorite space of continuous functions on $R^n$, and let f be a realvalued function defined on some awful subset E of $R^n$. How can we decide whether f extends to a function F in X? If F exists, then how small can we take its norm? What can we say about the derivatives of F (if they exist)? Can we take F to depend linearly on f?
Suppose E is finite. Can we compute an F with close to leastpossible norm? How many computer operations does it take? What if F is required merely to agree approximately with f on E? Which points of E should we delete as "outliers"?
The subject goes back to Whitney. The recent results are joint work with Arie Israel, Bo'az Klartag and Garving Luli.

11/15/14
Daniel Murfet, Jorge Pereira, Julianna Tymoczko, Jie Wang
Southern California Algebraic Geometry Day

11/18/14
Ali Behzadan  UCSD
Pointwise Multiplication in Bessel Potential Spaces and SobolevSlobodeckij Spaces
AbstractLet $f \in W^{s1,p1}$ and $g \in W^{s2,p2}$ ($s1,s2\ge 0)$. What can be said about $fg$? To which Sobolev spaces does the product $fg$ belong? This is the question that we want to talk about. Why do we care about this question? As we will discuss, one of the main applications of such results is in the theory of partial differential equations (PDEs) and in particular nonlinear elliptic PDEs. We will review some of the wellknown results and present alternate proofs of those results. In particular we will point out a common mistake in some of the existing literature as we discuss the question of existence of Holdertype inequalities for the product of two functions in Sobolev spaces.

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

11/19/14
Yosi Rinott  Hebrew University (UCSD Emeritus)
On model selection: Another attempt to quantify the quality of models. Joint work with David Azriel.
AbstractFollowing various ideas in the literature, we try to provide a measure of the predictive quality of a model that corresponds to the AIC criterion when used for model selection. I will discuss the proposed measure and our motivation, and depending on time, describe some related ideas and issues as background.

11/20/14
Herbert Heyer  University of Tuebingen
Information Functionals in Statistics
AbstractAround 1960, I. Csisz\'ar introduced the notion of divergence, which generalizes the previously known distances between probability measures, including the KullbackLeibler relative entropy. An extended KullbackLeibler inequality leads to characterizations of various versions of sufficiency which altogether can be rephrased in analytic terms within Le Cam's decisiontheoretic approach to the comparison of statistical experiments.

11/24/14
Eli Aljadeff  Technion  Israel Institute of Technology
Graded algebras and polynomial identities
AbstractConnections (or `bridges') between PI theory (polynomial identities) and group gradings on associative algebras are quite well known for more than 30 years, where applications appear in both directions. For instance, Kemer applied the theory of `super algebras' in order to solve the famous Specht problem (to be
explained in the lecture) for nonaffine PI algebras. In the other direction, PI theory is used in order to solve a conjecture of Bahturin and Regev on `regular gradings' on associative algebras over a field of characteristic zero.In the lecture I'll recall both subjects (PI theory and Ggradings) and explain how they are related. As an application, I'll present a (Jordan's like) theorem on Ggradings on associative algebras. The last part is joint work with Ofir David.

11/25/14
Helena Chen, Patrick Dejesus, Chenzhi Li, Fengpei Li, Wenjing Yin  UCSD, CURE 2014
A build up to Cyclic Sieving Phenomenon
AbstractWe cover a number of combinatorial objects which will be beneficial to the study of the Cyclic Sieving Phenomenona recent combinatorial field of research first introduced by Reiner, Stanton and White. By introducing the study of Dyck Paths, Set partitions, and qanalogues, we will study simple examples of how groups exhibit the Cyclic Sieving Phenomenon. We will conclude this week's presentation with a buildup to an open conjecture and our current research program progress.
Dec

12/01/14
Xingting Wang  UCSD
Isomorphism classes of small quantum groups in positive characteristic
AbstractUnipotent quantum groups are noncommutative versions of unipotent group schemes in algebraic geometry. Finite unipotent quantum groups only appear in positive characteristic. In this talk, we will provide a complete classification of such objects up to primecube dimension, which can be thought as a generalization of the wellknown fact about the structure of pgroups of small orders. In contrast to the finiteness of isomorphism classes for each fixed order in group theory, we obtain nine infinite families among these primecube ones, which are all naturally parameterized by finite group quotients of the affine line. Further topics regarding representations, cohomology and invariant theory of small unipotent quantum groups will also be discussed during the talk.

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

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

12/02/14
Helena Chen, Patrick Dejesus, Chenzhi Li, Fengpei Li, Wenjing Yin  UCSD, CURE 2014
Exploring the Cyclic Sieving Phenomenon
AbstractWe will continue our talk about the Cyclic Sieving Phenomenon involving the relationship between qrational catalan number and the set of non crossing partitions. By utilizing the injective mapping between rational deck paths and noncrossing partitions, we have constructed small cases of how to observe that the set $(NC(a,b),Z_{b1},Cat_q(a,b))$ exhibits the Cyclic Sieving Phenomenon. We will also demonstrate a few of our MATLAB programs that helped aid us in the progress of trying to prove the Cyclic Sieving Phenomenon.

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

12/04/14
Patrick Fitzsimmons  UCSD
Brownian Motion in Three Dimensions Conditioned to have the Origin as a Recurrent Point
AbstractLast February, Mike Cranston spoke in this Seminar about a polymer model based on threedimensional Brownian motion conditioned to hit (and keep returning to) the origin. I will discuss the construction and certain properties of this conditioned Brownian motion from two points of view (i) Dirichlet forms, and (ii) excursion theory. The latter gives a nice interpretation of the JohnsonHelms example from martingale theory. It turns out that this diffusion process is not a semimartingale, even though its radial part is just a onedimensional Brownian motion reflected at the origin.
Based on joint work with Liping Li of Fudan University.

12/04/14
Robert Won  UCSD
Graded modules over generalized Weyl algebras

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

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

12/05/14
Chris Deotte  UCSD
Domain Partitioning Methods for Elliptic Partial Differential Equations
AbstractNumerically solving elliptic partial differential equations for a large number of degrees of freedom requires the parallel use of many computer processors. This in turn requires algorithms to partition domains into subdomains in order to distribute the work.
We present five novel algorithms for partitioning domains that utilize information from the underlying PDE. When a PDE has strong convection or anisotropic diffusion, a partition that favors this direction is desirable. Our schemes fall into two classes; one class creates rectangular shaped subdomains aligned in this direction and one class creates subdomains that increase in size as you move in this direction.
These schemes are mathematically described and analyzed in detail. Then they are tested on a variety of experiments which include solving the convectiondiffusion equation for 1/4 billion unknowns on 512 processors using over 1 teraflop of computing power.
Theory and experiments demonstrate that these schemes improve the domain
decomposition convergence rate when the underlying PDE has directional
dependance. In our hundreds of experiments, the number of DD iterations required for convergence reduces by a factor between 0.25 and 0.75. In some cases, these methods improve the final finite element solution's accuracy also. 
12/09/14
Adriano Garsia  UCSD
Some new Symmetric Functions Operators and Parking Functions
AbstractThe main result presented in this talk is a plethystic formula for the
specialization at $t = 1/q$ of the $Q_{u,v}$ operators studied in [math
arKiv:1405.0316]. This discovery yields elementary and direct
derivations of several identities relating these operators at $t =1/q$
to the Rational Compositional Shuffle Conjecture of [math arKiv:
1404.4616]. In particular we are able to give a direct derivation of a
simple formula for the symmetric polynomial
$$Q_{km,kn}1_{t=1/q} \ \mbox{(for all $m,n$ coprime and $k \geq 1
$.)}$$We also give an elementary proof that this polynomial is Schur positive.
Moreover, by combining our main result with the Rational Compositional
Shuffle Conjecture, we obtain a completely elementary derivation of the
identity expressing this polynomial in terms of Parking functions in the
$km \times km$ rectangle. 
12/09/14
Hossein Namazi  University of Texas at Austin
Models and Effective Geometrization of 3manifolds
AbstractProof of Thurston's geometrization conjecture has been a major achievement in the study of 3manifolds and proves the existence of natural geometric structures on compact 3manifolds. However this proof and the mere knowledge of the existence of such structures does not give a description of the geometry and therefore fails to answer many of the existing questions. We discuss a project that attempts to find an effective solution to the geometrization and therefore produces models of the promised hyperbolic structures. We explain how this can be used to answer a number of unanswered questions and relate topological and geometrical properties of the manifold.

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

12/11/14
Eduard Kromer  UC Berkeley
BSDEs, BSVIEs and their connection to dynamic risk measures
AbstractThe study of risk measures began in a static environment with the papers of Artzner et al. (1999) and Follmer and Schied (2002). To incorporate information structure over time, static risk measures were extended to a dynamic setting in Barrieu and El Karoui (2009), Jobert and Rogers (2008), Yong (2007) and many others.
We are interested in a specific class of dynamic risk measures, namely dynamic risk measures that arise as solutions of certain types of backward stochastic differential equations (BSDEs) or backward stochastic Volterra integral equations (BSVIEs). We will discuss this connection between risk measures, capital allocations and BSDEs/BSVIEs and provide representation results for dynamic risk measures and dynamic capital allocations. These results are based on classical differentiability results for BSDEs/BSVIEs and Girsanovtype change of measure arguments.
Joint work with Ludger Overbeck.

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

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

12/12/14
Qin Li  California Institute of Technology
Numerical methods for linear halfspace kinetic equations
AbstractUnderstanding the coupling of physical models at different scales is important and challenging. In this talk, we focus on the issue of kineticfluid coupling, in particular, the halfspace problems for kinetic equations coming from the boundary layer. We will present some recent progress in algorithm development and analysis for the linear halfspace kinetic equations, and its application in coupling of neutron transport equations with diffusion equations. (joint work with Jianfeng Lu and
Weiran Sun). 
12/16/14
Joshua Greene  Boston College
Dehn surgery, combinatorial methods, and Floer homology
AbstractI will discuss some of the major problems and results pertaining to Dehn surgery, with a highlight on the application of combinatorial methods and Heegaard Floer homology. In particular, I will report on progress on two guiding conjectures, the cabling conjecture and the Berge conjecture.

12/17/14
Adriano Garsia  UCSD
Some new Symmetric Functions Operators and Parking Functions  Part 2
AbstractThe main result presented in this talk is a plethystic formula for the
specialization at $t = 1/q$ of the $Q_{u,v}$ operators studied in [math
arKiv:1405.0316]. This discovery yields elementary and direct
derivations of several identities relating these operators at $t =1/q$
to the Rational Compositional Shuffle Conjecture of [math arKiv:
1404.4616]. In particular we are able to give a direct derivation of a
simple formula for the symmetric polynomial
$$Q_{km,kn}1_{t=1/q} \ \mbox{(for all $m,n$ coprime and $k \geq 1
$.)}$$We also give an elementary proof that this polynomial is Schur positive.
Moreover, by combining our main result with the Rational Compositional
Shuffle Conjecture, we obtain a completely elementary derivation of the
identity expressing this polynomial in terms of Parking functions in the
$km \times km$ rectangle. 
12/18/14
Franklin Kenter  Rice University
Eigenvector Norms Matter in Spectral Graph Theory
AbstractWe investigate the role of eigenvector norms in spectral graph theory to various combinatorial problems including the densest subgraph problem, the Cheeger constant, among others. We introduce randomized spectral algorithms that produce guarantees which, in some cases, are better than the classical spectral techniques. In particular, we will give an alternative Cheeger â€œsweepâ€ (graph partitioning) algorithm which provides a linear spectral bound for the Cheeger constant at the expense of an additional factor determined by eigenvector norms. Finally, we apply these ideas and techniques to problems and concepts unique to directed graphs.