We'll present a proof of the basic Burgess bound for short character sums, following the simplified presentation of Gallagher and Montgomery.
Orthogonal calculus is a calculus of functors, inspired by Goodwillie calculus. It takes as input a functor from finite dimensional inner product spaces to topological spaces and as output gives a tower of approximations by well-behaved functors. The output captures a lot of important homotopical information and is an important tool for calculations.
In this talk I will report on joint work with Peter Oman in which we use model categories to improve the foundations of orthogonal calculus. This provides a cleaner set of results and makes the role of O(n)-equivariance clearer. The classification of n-homogeneous functors in terms of spectra with O(n)-action can then be phrased as a zig-zag of Quillen equivalences.
If one starts with a uniformly ergodic Markov chain on countable states, what sort of perturbation can one make to the transition rates and still retain uniform ergodicity? In this talk, we will consider a class of perturbations, that can be simply described, where a uniform estimate on convergence to an ergodic distribution can be obtained. We shall see how this is related to Ergodic BSDEs in this setting and outline some novel applications of this approach.
The star-triangle transformation is used to obtain an equivalence extending over a set bond percolation models on isoradial graphs. Amongst the consequences are box-crossing (RSW) inequalities and the universality of alternating arms exponents (assuming they exist) for such models, under some conditions. In particular this implies criticality for these models.
(joint with Geoffrey Grimmett)
The banking industry lost a trillion dollars during the global financial crisis. Some of these losses, if not most of them, were attributable to complex derivatives or securities being incorrectly priced and hedged. We introduce a new methodology which provides a better way of trying to hedge and mark-to-market complex derivatives and other illiquid securities which recognise the fundamental incompleteness of markets and the presence of model uncertainty. Our methodology combines elements of the No Good Deals methodology of Cochrane and Saa-Requejo with the Robustness methodology of Hansen and Sargent. We give some numerical examples for a range of both simple and complex problems encompassing not only financial derivatives but also “real options”occurring in commodity-related businesses.
An overview will be given for several examples of fluid mechanical problems in developing household appliances, we discuss some examples of e.g. baby bottles, water treatment, irons, fruit juicers and focus on oral health care where a new air floss product will be discussed.
Masser recently proved a bound on the number of rational points of bounded height on the graph of the zeta function restricted to the interval [2,3]. Masser's bound substantially improves on bounds obtained by Bombieri-Pila-Wilkie. I'll discuss some results obtained in joint work with Gareth Boxall in which we prove bounds only slightly weaker than Masser's for several more natural analytic functions.
Van der Waerden has shown that `almost' all monic integer
polynomials of degree n have the full symmetric group S_n as Galois group.
The strongest quantitative form of this statement known so far is due to
Gallagher, who made use of the Large Sieve.
In this talk we want to explain how one can use recent
advances on bounding the number of integral points on curves and surfaces
instead of the Large Sieve to go beyond Gallagher's result.
Abstract available upon request - Ruth Preston @email
In this first of two talks, I shall introduce the Virtual Haken Conjecture and the major players involved in the proof announced by Ian Agol last year. These are the special cube complexes studied by Dani Wise and his collaborators, with a large supporting cast including the not-inconsiderable presence of Perelman’s Geometrization Theorem and the Surface Subgroup Theorem of Kahn and Markovic. I shall sketch how the VHC follows from Agol’s result that, in spite of the name, specialness is entirely generic among non-positively curved cube complexes.
Tensor numerical methods provide the efficient separable representation of multivariate functions and operators discretized on large $n^{\otimes d}$-grids, providing a base for the solution of $d$-dimensional PDEs with linear complexity scaling in the dimension, $O(d n)$. Modern methods of separable approximation combine the canonical, Tucker, matrix product states (MPS) and tensor train (TT) low-parametric data formats.
\\
\\
The recent quantized-TT (QTT) approximation method is proven to provide the logarithmic data-compression on a wide class of functions and operators. Furthermore, QTT-approximation makes it possible to represent multi-dimensional steady-state and dynamical equations in quantized tensor spaces with the log-volume complexity scaling in the full-grid size, $O(d \log n)$, instead of $O(n^d)$.
\\
\\
We show how the grid-based tensor approximation in quantized tensor spaces applies to super-compressed representation of functions and operators (super-fast convolution and FFT, spectrally close preconditioners) as well to hard problems arising in electronic structure calculations, such as multi-dimensional convolution, and two-electron integrals factorization in the framework of Hartree-Fock calculations. The QTT method also applies to the time-dependent molecular Schr{\"o}dinger, Fokker-Planck and chemical master equations.
\\
\\
Numerical tests are presented indicating the efficiency of tensor methods in approximation of functions, operators and PDEs in many dimensions.
\\
\\
In this talk, We show that both reflected BSDE and its associated penalized BSDE admit both optimal stopping representation and optimal control
representation. We also show that both multidimensional reflected BSDE and its associated multidimensional penalized BSDE admit optimal switching representation. The corresponding optimal stopping problems for penalized BSDE have the feature that one is only allowed to stop at Poisson arrival times.
The proof of several properties of solutions of hyperbolic systems of conservation laws in one space dimension (existence, stability, regularity) depends on the existence of a decreasing functional, controlling the nonlinear interactions of waves. In a special case (genuinely nonlinear systems) the interaction functional is quadratic, while in the general case it is cubic. Several attempts to prove the existence of a a quadratic functional also in the most general case have been done. I will present the approach we follow in order to prove this result, an some of its implication we hope to exploit.
\\ \\
Work in collaboration with Stefano Modena.
Complex dynamical systems have been very well studied in recent years, in particular since computer graphics now enable us to peer deep into structures such as the Mandlebrot set and Julia sets, which beautifully illustrate the intricate dynamical behaviour of these systems. Using new techniques from Symbolic Dynamics, we demonstrate previously unknown properties of a class of quadratic maps on their Julia sets.
Cell polarity in the rod-shaped bacterium Myxococcus xanthus is crucial for the direction of movement of individual cells. Polarity is governed by a regulatory system characterized by a dynamic spatiotemporal oscillation of proteins between the opposite cell poles. A mathematical framework for a minimal macroscopic model is presented which produces self-sustained regular oscillations of the protein concentrations. The mathematical model is based on a reaction-diffusion PDE system and is independent of external triggers. Necessary conditions on the reaction terms leading to oscillating solutions are derived theoretically. Possible scenarios for protein interaction are numerically tested for robustness against parameter variation. Finally, possible extensions of the model will be addressed.
I will discuss similarities and differences between the geometry of
relatively hyperbolic groups and that of mapping class groups.
I will then discuss results about random walks on such groups that can
be proven using their common geometric features, namely the facts that
generic elements of (non-trivial) relatively hyperbolic groups are
hyperbolic, generic elements in mapping class groups are pseudo-Anosovs
and random paths of length $n$ stay $O(\log(n))$-close to geodesics in
(non-trivial) relatively hyperbolic groups and
$O(\sqrt{n}\log(n))$-close to geodesics in mapping class groups.
Razborov's flag algebras provide a formal system
for operating with asymptotic inequalities between subgraph densities,
allowing to do extensive "book-keeping" by a computer. This novel use
of computers led to progress on many old problems of extremal
combinatorics. In some cases, finer structural information can be
derived from a flag algebra proof by by using the Removal Lemma or
graph limits. This talk will overview this approach.
Self-gravitating elastic bodies provide models for extended
objects in general relativity. I will discuss constructions of static
and rotating self-gravitating bodies, as well as recent results on the
initial value problem for self-gravitating elastic bodies.
I will give a new proof for the famous criteria by Novikov and Kazamaki, which provide sufficient conditions for the martingale property of a nonnegative local martingale. The proof is based on an extension theorem for probability measures that can be considered as a generalization of a Girsanov-type change of measure.
In the second part of my talk I will illustrate how a generalized Girsanov formula can be used to compute the distribution of the explosion time of a weak solution to a stochastic differential equation
Let (V, ≥) be a finite, partially ordered set. Say a directed forest on V is a set of directed edges [x,y> with x ≤ y such that no vertex has indegree greater than one.
Thus for a finite measure μ on some partially ordered measurable space D we may define a Poisson random forest by choosing a set of vertices V according to a Poisson point process weighted by the number of directed forests on V, and selecting a directed forest uniformly.
We give a necessary and sufficient condition for such a process to exist and show that the process may be expressed as a multi-type branching process with type space D.
We build on this observation, together with a construction of the simple birth death process due to Kurtz and Rodrigues [2011] to develop a coalescent theory for rapidly expanding populations.
There are many recent points of contact of model theory and other
parts of mathematics: o-minimality and Diophantine geometry, geometric group
theory, additive combinatorics, rigid geometry,... I will probably
emphasize long-standing themes around stability, Diophantine geometry, and
analogies between ODE's and bimeromorphic geometry.
Thermomechanical processes observed in deformable solids under intensive dynamic or quasi-static loadings consist of coupled mechanical, thermal and fracturing stages. The fracturing processes involve formation, motion and interaction of defects in crystals, phase transitions, breaking of bonds between atoms, accumulation of micro-structural damages (pores, cracks), etc. Irreversible deformations, zones of adiabatic shear micro-fractures are caused by these processes. Dynamic fracturing is a complicated multistage process, which includes appearance, evolution and confluence of micro-defects and formation of embryonic micro-cracks and pores that can grow and lead to the breaking-up of bodies with formation of free surfaces. This results in a need to use more advanced mathematical and numerical techniques.
This talk presents modelling of irreversible deformation near the tip of a crack in a porous domain containing oil and gas during the hydraulic fracturing process. The governing equations for a porous domain containing oil and gas are based on constructing a mathematical model of thermo-visco-elasto-plastic media with micro-defects (micro-pores) filled with another phase (e.g., oil or/and gas). The micro-pores can change their size during the process of dynamical irreversible deformation. The existing pores can expand or collapse. The model was created by using fundamental thermodynamic principles and, therefore, it is a thermodynamically consistent model. All the processes (i.e., irreversible deformation, fracturing, micro-damaging, heat transfer) within a porous domain are strongly coupled. An explicit normalized-corrected meshless method is used to solve the resulting governing PDEs. The flexibility of the proposed technique allows efficient running using a great number of micro- and macro- fractures. The results are presented, discussed and future studies are outlined.
We wish to discuss the role of Modelling in Health Care. While risk factor prevalences vary and change with time it is difficult to anticipate the change in disease incidence that will result without accurately modelling the epidemiology. When detailed study of the prevalence of obesity, tobacco and salt intake, for example, are studied clear patterns emerge that can be extrapolated into the future. These can give rise to estimated probability distributions of these risk factors across age, sex, ethnicity, social class groups etc into the future. Micro simulation of individuals from defined populations (eg England 2012) can then estimate disease incidence, prevalence, death, costs and quality of life. Thus future health and other needs can be estimated, and interventions on these risk factors can be simulated for their population effect. Health policy can be better determined by a realistic characterisation of public health. The Foresight microsimulation modelling of the National Heart Forum (UK Health Forum) will be described. We will emphasise some of the mathematical and statistical issues associated with so doing.
The study of difference algebraic geometry stems from the efforts of Macintyre and Hrushovski to
count the number of solutions to difference polynomial equations over fields with powers of Frobenius.
We propose a notion of multiplicity in the context of difference algebraic schemes and prove a first principle
of preservation of multiplicity. We shall also discuss how to formulate a suitable intersection theory of difference schemes.
Self-renewal and pluripotency of mouse embryonic stem (ES) cells are controlled by a complex transcriptional regulatory network (TRN) which is rich in positive feedback loops. A number of key components of this TRN, including Nanog, show strong temporal expression fluctuations at the single cell level, although the precise molecular basis for this variability remains unknown. In this talk I will discuss recent work which uses a genetic complementation strategy to investigate genome-wide mRNA expression changes during transient periods of Nanog down-regulation. Nanog removal triggers widespread changes in gene expression in ES cells. However, we found that significant early changes in gene expression were reversible upon re-induction of Nanog, indicating that ES cells initially adopt a flexible “primed” state. Nevertheless, these changes rapidly become consolidated irreversible fate decisions in the continued absence of Nanog. Using high-throughput single cell transcriptional profiling we observed that the early molecular changes are both stochastic and reversible at the single cell level. Since positive feedback commonly gives rise to phenotypic variability, we also sought to determine the role of feedback in regulating ES cell heterogeneity and commitment. Analysis of the structure of the ES cell TRN revealed that Nanog acts as a feedback “linchpin”: in its presence positive feedback loops are active and the extended TRN is self-sustaining; while in its absence feedback loops are weakened, the extended TRN is no longer self-sustaining and pluripotency is gradually lost until a critical “point-of-no-return” is reached. Consequently, fluctuations in Nanog expression levels transiently activate different sub-networks in the ES cell TRN, driving transitions between a (Nanog expressing) feedback-rich, robust, self-perpetuating pluripotent state and a (Nanog-diminished), feedback-depleted, differentiation-sensitive state. Taken together, our results indicate that Nanog- dependent feedback loops play a central role in controlling both early fate decisions at the single cell level and cell-cell variability in ES cell populations.
Counter-examples to the Hasse principle are known for many families of geometrically rational varieties. We discuss how often such failures arise for Chatelet surfaces and certain higher-dimensional hypersurfaces. This is joint work with Regis de la Breteche.
The bounded coherent dg-category on (suitable versions of) the Steinberg stack of a reductive group G is a categorification of the affine Hecke algebra in representation theory. We discuss how to describe the center and universal trace of this monoidal dg-category. Many of the techniques involved are very general, and the description makes use of the notion of "odd micro-support" of coherent complexes. This is joint work with Ben-Zvi and Nadler.
Morse theory gives an estimate of the dimensions of the cohomology groups of a manifold in terms of the critical points of a function.
One can do better and compute the cohomology in terms of this function using the so-called Witten complex.
Already implicit in work of Smale in the fifties, it was rediscovered by Witten in the eighties using techniques from (supersymmetric) quantum field theories.
I will explain Witten's (heuristic) arguments and describe the Witten complex.
The symmetric group S_{mn} acts naturally on the collection of set partitions of a set of size mn into n sets each of size m, and the resulting permutation character is the Foulkes character. These characters are the subject of the longstanding Foulkes Conjecture. In this talk, we define a deflation map which sends a character of the symmetric group S_{mn} to a character of S_n. The values of the images of the irreducible characters under this map are described combinatorially in a rule which generalises two well-known combinatorial rules in the representation theory of symmetric groups, the Murnaghan-Nakayama formula and Young's rule. We use this in a new algorithm for computing irreducible constituents of Foulkes characters and verify Foulkes’ Conjecture in some new cases. This is joint work with Anton Evseev (Birmingham) and Mark Wildon (Royal Holloway).
Many methods for solving high-dimensional statistical inverse problems are based on convex optimization problems formed by the weighted sum of a loss function with a norm-based regularizer.
\\
Particular examples include $\ell_1$-based methods for sparse vectors and matrices, nuclear norm for low-rank matrices, and various combinations thereof for matrix decomposition and robust PCA. In this talk, we describe an interesting connection between computational and statistical efficiency, in particular showing that the same conditions that guarantee that an estimator has good statistical error can also be used to certify fast convergence of first-order optimization methods up to statistical precision.
\\
\\
Joint work with Alekh Agarwahl and Sahand Negahban Pre-print (to appear in Annals of Statistics)
\\
http://www.eecs.berkeley.edu/~wainwrig/Papers/AgaNegWai12b_SparseOptFul…
We consider the problem of optimizing a portfolio of medium to low frequency
quant strategies under heavy tailed distributions. Approaching this problem by modelling
returns through mixture distributions, we derive robust and relative robust methodologies
and discuss conic optimization approaches to solving these models.
The Kolmogorov 1941 theory (K41) is, in a way, the starting point for all
models of turbulence. In particular, K41 and corrections to it provide
estimates of small-scale quantities such as increments and energy spectrum
for a 3D turbulent flow. However, because of the well-known difficulties
involved in studying 3D turbulent flow, there are no rigorous results
confirming or infirming those predictions. Here, we consider a well-known
simplified model for 3D turbulence: Burgulence, or turbulence for the 1D
Burgers equation. In the space-periodic case with a stochastic white in
time and smooth in space forcing term, we give sharp estimates for
small-scale quantities such as increments and energy spectrum.
A topological space is called rigid if its only autohomeomorphism is the identity map. Using the Axiom of Choice it is easy to construct rigid subsets of the real line R, but sets constructed in this way always have size continuum. I will explore the question of whether it is possible to have rigid subsets of R that are small, meaning that their cardinality is smaller than that of the continuum. On the one hand, we will see that forcing can be used to produce models of ZFC in which such small rigid sets abound. On the other hand, I will introduce a combinatorial axiom that can be used to show the consistency with ZFC of the statement "CH fails but every rigid subset of R has size continuum". Only a working knowledge of basic set theory (roughly what one might remember from C1.2b) and topology will be assumed.
Self-similarity is a fundamental idea in many areas of mathematics. In this talk I will explain how it has entered group theory and the links between self-similar groups and other areas of research. There will also be pretty pictures.
I will give an introduction to The McKay Correspondence, relating the irreducible representations of a finite subgroup Γ ≤ SL2 (C), minimal resolutions of the orbit space C2 /Γ, and affine Dynkin diagrams.