Past

One of the central results in rough path theory is the local Lipschitz continuity of the solution map of a controlled differential equation called Ito-Lyons map. This continuity statement was obtained by T. Lyons in a q-variation resp. 1/q-Hölder type (rough path) metrics for any regularity 1/q>0. We extend this to a new class of Besov-Nikolskii type metrics with arbitrary regularity 1/q and integrability p, which particularly covers the aforementioned results as special cases. This talk is based on a joint work with Peter K. Friz.

 

Title: Integrals and symplectic forms on infinitesimal quotients

Abstract: Lie algebroids are models for "infinitesimal actions" on manifolds: examples include Lie algebra actions, singular foliations, and Poisson brackets.  Typically, the orbit space of such an action is highly singular and non-Hausdorff (a stack), but good algebraic techniques have been developed for studying its geometry.  In particular, the orbit space has a formal tangent complex, so that it makes sense to talk about differential forms.  I will explain how this perspective sheds light on the differential geometry of shifted symplectic structures, and unifies a number of classical cohomological localization theorems.  The talk is
based mostly on joint work with Pavel Safronov.

This paper presents an adaptive version of the Hill estimator based on Lespki’s model selection method. This simple data-driven index selection method is shown to satisfy an oracle inequality and is checked to achieve the lower bound recently derived by Carpentier and Kim. In order to establish the oracle inequality, we derive non-asymptotic variance bounds and concentration inequalities for Hill estimators. These concentration inequalities are derived from Talagrand’s concentration inequality for smooth functions of independent exponentially distributed random variables combined with three tools of Extreme Value Theory: the quantile transform, Karamata’s representation of slowly varying functions, and Rényi’s characterisation for the order statistics of exponential samples. The performance of this computationally and conceptually simple method is illustrated using Monte-Carlo simulations.

http://projecteuclid.org/euclid.ejs/1450456321  (joint work with Maud Thomas)

In 3d gauge theories, monopole operators create and destroy vortices. I will explore this idea in the context of 3d N = 4 supersymmetric gauge theories and explain how it leads to an exact calculation of quantum corrections to the Coulomb branch and a finite version of the AGT correspondence. 

I will report on joint work with Michael Weiss (https://arxiv.org/pdf/1503.00498.pdf):

Let K be a subset of a smooth manifold M. In some cases, functor calculus methods lead to a homotopical formula for M \ K in terms of the spaces M \ S,  where S runs through the finite subsets of K. This is for example the case when K is a smooth compact sub manifold of co-dimension greater or equal to three.

Wondering about how to organise your DPhil? How to make the most of your supervision meetings? How to guarantee success in your studies? Look no further!

In this session we will explore the fundamentals of a successful DPhil with help from faculty members, postdocs and DPhil students.

In the first half of the session Andreas Münch, the Director of Graduate Studies, will give a brief overview of the stages of the DPhil programme in Oxford; after this Marc Lackenby will talk about his experience as a PhD student and supervisor.

The second part of the session will be a panel discussion, with panel members Lucy Hutchinson, Mark Penney, Michal Przykucki, and Thomas Woolley. Senior faculty members will be kindly asked to leave the lecture theatre to ensure that students feel comfortable about discussing their experiences with later year students and postdocs/research fellows.

At 5pm senior and junior faculty members, postdocs and students will reunite in the Common Room for Happy Hour.

About the speakers and panel members:

Andreas Münch received his PhD from the Technical University of Munich under the supervision of Karl-Heinz Hoffmann. He moved to Oxford in 2009, where he is an Associate Professor in Applied Mathematics. As the Director of Graduate Studies he deals with matters related to training and education of graduate students. 

Marc Lackenby received his PhD from Cambridge under the supervision of W. B. Raymond Lickorish. He moved to Oxford in 1999, where he has been a Professor of Mathematics since 2006. 

Lucy Hutchinson is a DPhil student in the Mathematical Biology group studying her final year.

Mark Penney is a fourth-year DPhil student in the Topology group.

Michal Przykucki received his PhD from Cambridge in 2013 under the supervision of Béla Bollobás; he is a member of the Combinatorics research group, and has been a Drapers Junior Research Fellow at St Anne's College since 2014. 

Thomas Woolley received his DPhil from Oxford in 2012 under the supervision of Ruth Baker, Eamonn Gaffney, and Philip Maini. He is a member of the Mathematical Biology Group and has been a St John’s College Junior Research Fellow in Mathematics since 2013.

Atomistic Molecular Dynamics is a well established biomolecular modelling tool that uses the wealth of information available in the Protein Data Bank (PDB). However, biophysical techniques that provide structural information at the mesoscale, such as cryo-electron microscopy and 3D tomography, are now sufficiently mature that they merit their own online repository called the EMDataBank (EMDB). We have developed a continuum mechanics description of proteins which uses this new experimental data as input to the simulations, and which we are developing into a software tool for use by the biomolecular science community. The model is a Finite Element algorithm which we have generalised to include the thermal fluctuations that drive protein conformational changes, and which is therefore known as Fluctuating Finite Element Analysis (FFEA) [1].

We will explain the physical principles underlying FFEA and provide a practical overview of how a typical FFEA simulation is set up and executed. We will then demonstrate how FFEA can be used to model flexible biomolecular complexes from EM and other structural data using our simulations of the molecular motors and protein self-assembly as illustrative examples. We then speculate how FFEA might be integrated with atomistic models to provide a multi-scale description of biomolecular structure and dynamics.

1. Oliver R., Read D. J., Harlen O. G. & Harris S. A. “A Stochastic finite element model for the dynamics of globular macromolecules”, (2013) J. Comp. Phys. 239, 147-165.

Firstly I will outline Dirac cohomology for graded Hecke algebras and the branching rules for the projective representations of $S_n$. Combining these notions with the Jucys-Murphy elements for $\tilde{S}_n$, that is the double cover of the symmetric group, I will go through a method to completely describe the spectrum data for the Jucys-Murphy elements for $\tilde{S}_n$. If time allows I will also explain how this spectrum data gives rise to a a concrete description for the matrices of the action of $\tilde{S}_n$.

Dstl are interested in removing liquid contaminants from capillary features (cracks in surfaces, screw threads etc.). We speculated that liquid decontaminants with low surface tension would have beneficial properties. The colloid literature, and in particular the oil recovery literature, discusss the properties of multiphase systems in terms of “Winsor types”, typically consisting of “brine” (water + electrolyte), “oil” (non-polar, water-insoluble solvent) and surfactant. Winsor I systems are oil-in-water microemulsions and Winsor II systems are water-in-oil microemulsions. Under certain circumstances, the mixture will separate into three phases. The middle (Winsor III) phase is surfactant-rich, and is reported to exhibit ultra-low surface tension. The glycol ethers (“Cellosolve” type solvents) consist of short (3-4) linked ether groups attached to short (3-4 carbon) alkyl chains. Although these materials would not normally be considered to be surfactants, their polar head, non-polar tail properties allow them to form a “surfactantless” Winsor III middle phase. We have found that small changes in temperature, electrolyte concentration or addition of contaminant can cause these novel colloids to phase separate. In our decontamination experiments, we have observed that contaminant-induced phase separation takes the form of droplets of the separating phase. These droplets are highly mobile, exhibiting behaviour that is visually similar to Brownian motion, which induces somewhat turbulent liquid currents in the vicinity of the contaminant. We tentatively attribute this behaviour to the Marangoni effect. We present our work as an interesting physics/ physical chemistry phenomenon that should be suitable for mathematical analysis.

I will describe joint work with Katrin Tent, in which we consider a profinite group equipped with a uniformly definable family of open subgroups. We show that if the family is `full’ (i.e. includes all open subgroups) then the group has NIP theory if and only if it has NTP_2 theory, if and only if it has an (open) normal subgroup of finite index which is a direct product of finitely many compact p-adic analytic groups (for distinct primes p). Without the `fullness’ assumption, if the group has NIP theory then it  has a prosoluble open normal subgroup of finite index.

Ousman Kodio

Lubricated wrinkles: imposed constraints affect the dynamics of wrinkle coarsening

We investigate the problem of an elastic beam above a thin viscous layer. The beam is subjected to
a fixed end-to-end displacement, which will ultimately cause it to adopt the Euler-buckled
state. However, additional liquid must be drawn in to allow this buckling. In the interim, the beam
forms a wrinkled state with wrinkles coarsening over time. This problem has been studied
experimentally by Vandeparre \textit{et al.~Soft Matter} (2010), who provides a scaling argument
suggesting that the wavelength, $\lambda$, of the wrinkles grows according to $\lambda\sim t^{1/6}$.
However, a more detailed theoretical analysis shows that, in fact, $\lambda\sim(t/\log t)^{1/6}$.
We present numerical results to confirm this and show that this result provides a better account of
previous experiments.

Edward Rolls

Multiscale modelling of polymer dynamics: applications to DNA

We are interested in generalising existing polymer dynamics models which are applicable to DNA into multiscale models. We do this by simulating localized regions of a polymer chain with high spatial and temporal resolution, while using a coarser modelling approach to describe the rest of the polymer chain in order to increase computational speeds. The simulation maintains key macroscale properties for the entire polymer. We study the Rouse model, which describes a polymer chain of beads connected by springs by developing a numerical scheme which considers the a filament with varying spring constants as well as different timesteps to advance the positions of different beads, in order to extend the Rouse model to a multiscale model. This is applied directly to a binding model of a protein to a DNA filament. We will also discuss other polymer models and how it might be possible to introduce multiscale modelling to them.

The equidistribution theorem for rational points on expanding horospheres with fixed denominator in the space of d-dimensional Euclidean lattices has been derived in the work by M. Einsiedler, S. Mozes, N. Shah and U. Shapira. The proof of their theorem requires ergodic theoretic tools, including Ratner's measure classification theorem. In this talk I will present an alternative approach, based on harmonic analysis and Weil's bound for Kloosterman sums. In the case of d=3, unlike the ergodic-theoretic approach, this provides an explicit estimate on the rate of convergence. This is a joint work with Jens Marklof. 

Backward SDEs have proven to be a useful tool in mathematical finance. Their applications include the solution to various pricing and equilibrium problems in complete and incomplete markets, the estimation of value adjustments in the presence of funding costs, and the solution to many utility/risk optimisation type of problems.
In this work, we prove an explicit error expansion for the approximation of BSDEs. We focus our work on studying the cubature  method of solution. To profit fully from these expansions in this case, e.g. to design high order approximation methods, we need in addition to control the complexity growth of the base algorithm. In our work, this is achieved by using a sparse grid representation. We present several numerical results that confirm the efficiency of our new method. Based on joint work with J.F. Chassagneux.
 

The smooth representation theory of a p-adic reductive group G

with characteristic zero coefficients is very closely connected to the

module theory of its (pro-p) Iwahori-Hecke algebra H(G). In the modular

case, where the coefficients have characteristic p, this connection

breaks down to a large extent. I will first explain how this connection

can be reinstated by passing to a derived setting. It involves a certain

differential graded algebra whose zeroth cohomology is H(G). Then I will

report on a joint project with

R. Ollivier in which we analyze the higher cohomology groups of this dg

algebra for the group G = SL_2.

The smooth representation theory of a p-adic reductive group G with characteristic zero coefficients is very closely connected to the module theory of its (pro-p) Iwahori-Hecke algebra H(G). In the modular case, where the coefficients have characteristic p, this connection breaks down to a large extent. I will first explain how this connection can be reinstated by passing to a derived setting. It involves a certain differential graded algebra whose zeroth cohomology is H(G). Then I will report on a joint project with R. Ollivier in which we analyze the higher cohomology groups of this dg algebra for the group G = SL_2.

Tbd

Gauss was the first to give a formula for the number of monic irreducible polynomials of degree n over a finite field. A natural problem is to determine the number of such polynomials for which certain coefficients are prescribed. While some asymptotic and existence results have been obtained, very few exact results are known. In this talk I shall present an algorithm which for any finite field GF(q) of characteristic p expresses the number of monic irreducibles of degree n for which the first l < p coefficients are prescribed, for n >= l and coprime to p, in terms of the number of GF(q^n)-rational points of certain affine varieties defined over GF(q). 
The GF(2) base field case is related to the distribution of binary Kloosterman sums, which have numerous applications in coding theory and cryptography, for example via the construction of bent functions. Using a variant of the algorithm, we present varieties (which are all curves) for l <= 7 and compute explicit formulae for l <= 5; before this work such formulae were only known for l <= 3. While this connection motivates the problem, the talk shall focus mainly on computational algebraic geometry, with the algorithm, theoretical questions and computational challenges taking centre stage.

Two polyhedra are said to be scissors congruent if they can be subdivided into the same finite number of polyhedra such that each piece in the first polyhedron is congruent to one in the second. In 1900, Hilbert asked if there exist tetrahedra of the same volume which are not scissors congruent. I will give a history of this problem and its proofs, including an incorrect 'proof' by Bricard from 1896 which was only rectified in 2007.

Ever since moduli spaces of polarised K3 surfaces were constructed in the 1980's, people have wondered about the question of compactification: can one make the moduli space of K3 surfaces compact by adding in some boundary components in a "nice" way? Ideally, one hopes to find a compactification that is both explicit and geometric (in the sense that the boundary components provide moduli for degenerate K3's). I will present on joint work in progress with V. Alexeev, which aims to solve the compactification problem for the moduli space of K3 surfaces of degree 2.

The Turán number of an $r$-graph $G$, denoted by $ex(n,G)$, is the maximum number of edges in an $G$-free $r$-graph on $n$ vertices. The Turán density  of an $r$-graph $G$, denoted by $\pi(G)$, is the limit as $n$ tends to infinity of the maximum edge density of an $G$-free $r$-graph on $n$ vertices.

During this talk I will discuss a method, which we call  local stability method, that allows one to obtain exact Turán numbers from Turán density results. This method can be thought of as an extension of the classical stability method by  generically utilising the Lagrangian function. Using it, we obtained new hypergraph Turán numbers. In particular, we did so for a hypergraph called generalized triangle, for uniformities 5 and 6, which solved a conjecture of Frankl and Füredi from 1980's.

This is joint work with Sergey Norin.

Nested commutators of differential operators appear frequently in the numerical solution of equations of quantum mechanics. These are expensive to compute with and a significant effort is typically made to avoid such commutators. In the case of Magnus-Lanczos methods, which remain the standard approach for solving Schrödinger equations featuring time-varying potentials, however, it is not possible to avoid the nested commutators appearing in the Magnus expansion.

We show that, when working directly with the undiscretised differential operators, these commutators can be simplified and are fairly benign, cost-wise. The caveat is that this direct approach compromises structure -- we end up with differential operators that are no longer skew-Hermitian under discretisation. This leads to loss of unitarity as well as resulting in numerical instability when moderate to large time steps are involved. Instead, we resort to working with symmetrised differential operators whose discretisation naturally results in preservation of structure, conservation of unitarity and stability
 

What are the irreducible constituents of a smooth representation of a p-adic group that is constructed through parabolic induction? In the case of GL_n this is the study of the multiplicative behaviour of irreducible representations in the Bernstein-Zelevinski ring. Strikingly, the same decomposition problem can be reformulated through various Lie-theoretic settings of type A, such as canonical bases in quantum groups, representations of affine Hecke algebras, quantum affine Lie algebras, or more recently, KLR algebras. While partially touching on some of these phenomena, I will present new results on the problem using mostly classical tools. In particular, we will see how introducing a width invariant to an irreducible representation can circumvent the complexity involved in computations of Kazhdan-Lusztig polynomials.

In this talk I will present a class of super-Wilson loops in N=4 super Yang-Mills theory. The expectation value of these operators has been shown previously to be invariant under a Yangian symmetry. I will show how the kinematics of such super-Wilson loops can be described in a twistorial way and how this leads to compact, manifestly super-conformal invariant expressions for some two-point functions.
 

In this talk I will present a recent result on the characterisation of the equilibrium measure for a nonlocal and non-radial energy arising as the Gamma-limit of discrete interacting dislocations.

A cornerstone of the study of mapping class groups is the
Nielsen--Thurston classification theorem. I will outline a
polynomial-time algorithm that determines the Nielsen--Thurston type and
the canonical curve system of a mapping class. Time permitting, I shall
describe a polynomial-time algorithm to compute the quotient orbifold of
a periodic mapping class, and I shall discuss the conjugacy problem for
the mapping class group. This is joint work with Mark Bell.

A system of interacting particles described by stochastic differential equations is considered. As opposed to the usual model, where the noise perturbations acting on different particles are independent, here the particles are subject to the same space-dependent noise, similar to the (no interacting) particles of the theory of diffusion of passive scalars. We prove a result of propagation of chaos and show that the limit PDE is stochastic and of in viscid type, as opposed to the case when independent noises drive the different particles. Moreover, we use this result to derive a mean field approximation of the stochastic Euler equations for the vorticity of an incompressible fluid.

Ambitious mathematical models of highly complex natural phenomena are challenging to analyse, and more and more computationally expensive to evaluate. This is a particularly acute problem for many tasks of interest and numerical methods will tend to be slow, due to the complexity of the models, and potentially lead to sub-optimal solutions with high levels of uncertainty which needs to be accounted for and subsequently propagated in the statistical reasoning process. This talk will introduce our contributions to an emerging area of research defining a nexus of applied mathematics, statistical science and computer science, called "probabilistic numerics". The aim is to consider numerical problems from a statistical viewpoint, and as such provide numerical methods for which numerical error can be quantified and controlled in a probabilistic manner. This philosophy will be illustrated on problems ranging from predictive policing via crime modelling to computer vision, where probabilistic numerical methods provide a rich and essential quantification of the uncertainty associated with such models and their computation. 

We will discuss two recent short-time existence results for (1) mean curvature of surface clusters, where n-dimensional surfaces in R^{n+k}, are allowed to meet at equal angles along smooth edges, and (2) for planar networks, where curves are initially allowed to meet in multiple junctions that resolve immediately into triple junctions with equal angles. The first result, which is joint work with B. White, follows from an elliptic regularisation scheme, together with a local regularity result for flows with triple junctions, which are close to a static flow of the half-planes. The second result, which is joint work with T. Ilmanen and A.Neves, relies on a monotonicity formula for expanding solutions and a local regularity result for the network flow. 
 

In this talk I will discuss some features of interacting conformal higher spin theories in 2+1 dimensions. This is done in the context of Chern-Simons theory (giving e.g. the complete spin 2 covariant  spin 3 sector) and a higher spin coupled unfolded equation for the scalar singleton. One motivation for studying these theories is that their non-linear properties are rather poorly understood contrary to the situation for the Vasiliev type theory in this dimension which is under much better control. Another reason for the interest in these theories comes from AdS4/CFT3 and the possibility that Neumann/mixed bc for bulk higher spin fields may lead to conformal higher spin fields governed by Chern-Simons terms on the boundary. These theories generalise the spin 2 gauged BLG-ABJ(M)  theories found a few years ago to higher spins than 2.

Following the spirit of Grothendieck’s Esquisse d’un Programme, the Ihara/Oda-Matsumoto conjecture predicted a combinatorial description of the absolute Galois group of Q based on its action on geometric fundamental groups of varieties. This conjecture was resolved in the 90’s by Pop using anabelian techniques. In this talk, I will discuss some satronger variants of this conjecture, focusing on the more recent solutions of its pro-ell and mod-ell two-step nilpotent variants.
 

What is the minimal size of a separating set? -- Emilie Dufresne

[[{"fid":"23334","view_mode":"media_square","fields":{"format":"media_square","field_file_image_alt_text[und][0][value]":"Emilie Dufresne","field_file_image_title_text[und][0][value]":"Emilie Dufresne"},"type":"media","attributes":{"alt":"Emilie Dufresne","title":"Emilie Dufresne","height":"258","width":"258","class":"media-element file-media-square"}}]]

Abstract: The problem of classifying objects up to certain allowed transformations figures prominently in almost all branches of Mathematics, and Invariants are used to decide if two objects are equivalent. A separating set is a set of invariants which achieve the desired classification. In this talk we take the point of view of Invariant Theory, where the objects correspond to points on an affine variety (often a vector space) and equivalence is given by the action of an algebraic group on this affine variety. We explain how the geometry and combinatorics of the group action govern the minimal size of separating sets.

Predator-Prey-Subsidy Dynamics and the Paradox of Enrichment on Networks -- Robert Van Gorder

[[{"fid":"23335","view_mode":"media_square","fields":{"format":"media_square","field_file_image_alt_text[und][0][value]":"Robert Van Gorder","field_file_image_title_text[und][0][value]":"Robert Van Gorder"},"type":"media","attributes":{"alt":"Robert Van Gorder","title":"Robert Van Gorder","height":"258","width":"258","class":"media-element file-media-square"}}]]

Abstract: The phrase "paradox of enrichment" was coined by Rosenzweig (1971) to describe the observation that increasing the food available to prey participating in predator-prey interactions can destabilize the predator's population. Subsequent work demonstrated that food-web connectance on networks can stabilize the predator-prey dynamics, thereby dampening the paradox of enrichment in networked domains (such as those used in stepping-stone models). However, when a resource subsidy is available to predators which migrate between nodes on such a network (as is actually observed in some real systems), we may show that predator-prey systems can exhibit a paradox of enrichment - induced by the motion of predators between nodes - provided that such networks are sufficiently densely connected. 

Strombolian volcanoes are thought to maintain their semi-permanent eruptive style by means of counter-current two-phase convective flow in the volcanic conduit leading from the magma chamber, driven by the buoyancy provided by exsolution of volatiles such as water vapour and carbon dioxide in the upwelling magma, due to pressure release. A model of bubbly two-phase flow is presented to describe this, but it is found that the solution breaks down before the vent at the surface is reached. We propose that the mathematical breakdown of the solution is associated with the physical breakdown of the two-phase flow regime from a bubbly flow to a churn-turbulent flow. We provide a second two-phase flow model to describe this regime, and we show that the solution can be realistically continued to the vent. The model is also in keeping with observations of eruptive style.

We will introduce variants of the optimal transport problem, namely martingale optimal transport problem and subharmonic martingale transport problem. Their motivation is partly from mathematical finance. We will see that in dimension greater than one, the additional constraints imply interesting and deep mathematical subtlety on the attainment of dual problem, and it also affects heavily on the geometry of optimal solutions. If time permits, we will introduce still another variant of the martingale transport problem, called the multi-martingale optimal transport problem.

A Fueter map between two hyperKaehler manifolds is a solution of a Cauchy-Riemann-type equation in the quaternionic context. In this talk I will describe relations between Fueter maps, generalized Seiberg-Witten equations, and Yang-Mills instantons on G2-manifolds (so called G2-instantons).

Currently all medical x-ray imaging is performed using point-like sources which produce cone or fan beams. In planar radiology the source is fixed relative to the patient and detector array and therefore only 2D images can be produced. In CT imaging, the source and detector are rotated about the patient and through reconstruction (such as Radon methods), a 3D image can be formed. In Tomosynthesis, a limited range of angles are captured which greatly reduces the complexity and cost of the device and the dose exposure to the patient while largely preserving the clinical utility of the 3D images. Conventional tomosynthesis relies on mechanically moving a source about a fixed trajectory (e.g. an arc) and capturing multiple images along that path. Adaptix is developing a fixed source with an electronically addressable array that allows for a motion-free tomosynthesis system. The Adaptix approach has many advantages including reduced cost, portability, angular information acquired in 2D, and the ability to shape the radiation field (by selectively activating only certain emitters).

The proposed work would examine the effects of patient motion and apply suitable corrections to the image reconstruction (or raw data). Many approaches have been considered in the literature for motion correction, and only some of these may be of use in tomosynthesis. The study will consider which approaches are optimal, and apply them to the present geometry.

A related but perhaps distinct area of investigation is the use of “structured light” techniques to encode the x-rays and extract additional information from the imaging. Most conventional structured light approaches are not suitable for transmissive operation nor for the limited control available in x-rays. Selection of appropriate techniques and algorithms, however, could prove very powerful and yield new ways of performing medical imaging.

Adaptix is a start-up based at the Begbroke Centre for Innovation and Enterprise. Adaptix is transforming planar X-ray – the diagnostic imaging modality most widely used in healthcare worldwide. We are adding low-dose 3D capability – digital tomosynthesis - to planar X-ray while making it more affordable and truly portable so radiology can more easily travel to the patient. This transformation will enhance patient’s access to the world’s most important imaging technologies and likely increases the diagnostic accuracy for many high incidence conditions such as cardiovascular and pulmonary diseases, lung cancer and osteoporosis. 
 

We are increasingly better at predicting things about our environment. Modern weather forecasts are a lot better than they used to be, and our ability to predict climate change illustrates our better understanding of our effect on our environment. But what about predicting our collective effect on ourselves?  We now use tools like Google maps to predict how long it will take us to drive to work, and other small things, but we fail miserably when it comes to many of the big things. For example, the recent financial crisis cost the world tens of trillions of pounds, yet our ability to forecast, understand and mitigate the next economic crisis is very low. Is this inherently impossible? Or perhaps we are just not going about it the right way? The complex systems approach to economics, which brings in insights from the physical and natural sciences, presents an alternative to standard methods. Doyne will explain what this new approach is and give a few examples of its successes so far. He will then present a vision of the economics of the future which will need to confront the serious problems that the world will soon face.
 

Please email @email to register

In 2000, Vojta solved the n-squares problem under the Bombieri-Lang conjecture, by explicitly finding all the curves of genus 0 or 1 on the surfaces related to this problem. The fundamental notion used by him is $\omega$-integrality of curves. 
In this talk, I will show a generalization of Vojta's method to find all curves of low genus in some surfaces, with arithmetic applications.
I will also explain how to use $\omega$-integrality to obtain a bound of the height of a non-constant morphism from a curve to $\mathbb{P}^2$ in terms of the number of intersections (without multiplicities) of its image with a divisor of a particular kind. This proves some new special cases of Vojta's conjecture for function fields.
 

One of the fundamental tools in numerical analysis and PDE
is the finite element method (FEM). A main ingredient in
FEM are splines: piecewise polynomial functions on a
mesh. Even for a fixed mesh in the plane, there are many open
questions about splines: for a triangular mesh T and
smoothness order one, the dimension of the vector space
  C^1_3(T) of splines of polynomial degree at most three
is unknown. In 1973, Gil Strang conjectured a formula
for the dimension of the space C^1_2(T) in terms of the
combinatorics and geometry of the mesh T, and in 1987 Lou
Billera used algebraic topology to prove the conjecture
(and win the Fulkerson prize). I'll describe recent progress
on the study of spline spaces, including a quick and self
contained introduction to some basic but quite useful tools
from topology.

In 2000, Vojta solved the n-squares problem under the Bombieri-Lang conjecture, by explicitly finding all the curves of genus 0 or 1 on the surfaces related to this problem. The fundamental notion used by him is $\omega$-integrality of curves. 

In this talk, I will show a generalization of Vojta's method to find all curves of low genus in some surfaces, with arithmetic applications.

I will also explain how to use $\omega$-integrality to obtain a bound of the height of a non-constant morphism from a curve to $\mathbb{P}^2$ in terms of the number of intersections (without multiplicities) of its image with a divisor of a particular kind.
This proves some new special cases of Vojta's conjecture for function fields.
 

We consider the problem of computing a nonnegative low rank factorization to a given nonnegative input matrix under the so-called "separabilty condition".  This assumption makes this otherwise NP hard problem polynomial time solvable, and we will use first order optimization techniques to compute such a factorization. The optimization model use is based on sparse regression with a self-dictionary, in which the low rank constraint is relaxed to the minimization of an l1-norm objective function.  We apply these techniques to endmember detection and classification in hyperspecral imaging data.