Past

The four topics are:

1. Thermal interface materials

2. Low temperature joining technology

3. Nano Ag materials

4. Status of PV technology

Fluid-structure interaction (FSI) problems arise in many applications. The widely known examples are aeroelasticity and biofluids.

In biofluidic applications, such as, e.g., the study of interaction between blood flow and cardiovascular tissue, the coupling between the fluid and the

relatively light structure is {highly nonlinear} because the density of the structure and the density of the fluid are roughly the same.

In such problems, the geometric nonlinearities of the fluid-structure interface

and the significant exchange in the energy between a moving fluid and a structure

require sophisticated ideas for the study of their solutions.

In the blood flow application, the problems are further exacerbated by the fact that the walls of major arteries are composed of several layers, each with

different mechanical characteristics.

No results exist so far that analyze solutions to fluid-structure interaction problems in which the structure is composed of several different layers.

In this talk we make a first step in this direction by presenting a program to study the {\bf existence and numerical simulation} of solutions

for a class of problems

describing the interaction between a multi-layered, composite structure, and the flow of an incompressible, viscous fluid,

giving rise to a fully coupled, {\bf nonlinear moving boundary, fluid-multi-structure interaction problem.}

A stable, modular, loosely coupled scheme will be presented, and an existence proof

showing the convergence of the numerical scheme to a weak solution to the fully nonlinear FSI problem will be discussed.

Our results reveal a new physical regularizing mechanism in

FSI problems: the inertia of the fluid-structure interface regularizes the evolution of the FSI solution.

All theoretical results will be illustrated with numerical examples.

This is a joint work with Boris Muha (University of Zagreb, Croatia, and with Martina Bukac, University of Pittsburgh and Notre Dame University).

Finite sharply 2-transitive groups were classified by Zassenhaus in the 1930's. It has been an open question whether infinite sharply 2-transitive group always contain a regular normal subgroup. In joint work with Rips and Segev we show that this is not the case.

Spectral networks are certain collections of paths on a Riemann surface, introduced by Gaiotto, Moore, and Neitzke to study BPS states in certain N=2 supersymmetric gauge theories. They are interesting geometric objects in their own right, with a number of mathematical applications. In this talk I will give an introduction to what a spectral network is, and describe the "abelianization map" which, given a spectral network, produces nice "spectral coordinates" on the appropriate moduli space of flat connections. I will show that coordinates obtained in this way include a variety of previously known special cases (Fock-Goncharov coordinates and Fenchel-Nielsen coordinates), and mention at least one reason why generalising them in this way is of interest.

If X/F is a smooth and proper variety over a global function field of

characteristic p, then for all l different from p the co-ordinate ring of the l-adic

unipotent fundamental group is a Galois representation, which is unramified at all

places of good reduction. In this talk, I will ask the question of what the correct

p-adic analogue of this is, by spreading out over a smooth model for C and proving a

version of the homotopy exact sequence associated to a fibration. There is also a

version for path torsors, which enables me to define an function field analogue of

the global period map used by Minhyong Kim to study rational points.

Despite the theoretical and empirical criticisms of the M-V and CAPM, they are found virtually in all curriculums. Why?

The talk is on impacts, penetrations and lift-offs involving bodies and fluids, with applications that range from aircraft and ship safety and our tiny everyday scales of splashing and washing, up to surface movements on Mars. Several studies over recent years have addressed different aspects of air-water effects and fluid-body interplay theoretically. Nonlinear interactions and evolutions are key here and these are to be considered in the presentation. Connections with experiments will also be described.

Factorization is a property of global objects that can be built up from local data. In the first half, we introduce the concept of factorization spaces, focusing on two examples relevant for the Geometric Langlands programme: the affine Grassmannian and jet spaces.

In the second half, factorization algebras will be defined including a discussion of how factorization spaces and commutative algebras give rise to examples. Finally, chiral homology is defined as a way to give global invariants of such objects.

Many successful methods in image processing and computer vision involve

parabolic and elliptic partial differential equations (PDEs). Thus, there

is a growing demand for simple and highly efficient numerical algorithms

that work for a broad class of problems. Moreover, these methods should

also be well-suited for low-cost parallel hardware such as GPUs.

In this talk we show that two of the simplest methods for the numerical

analysis of PDEs can lead to remarkably efficient algorithms when they

are only slightly modified: To this end, we consider cyclic variants of

the explicit finite difference scheme for approximating parabolic problems,

and of the Jacobi overrelaxation method for solving systems of linear

equations.

Although cyclic algorithms have been around in the numerical analysis

community for a long time, they have never been very popular for a number

of reasons. We argue that most of these reasons have become obsolete and

that cyclic methods ideally satisfy the needs of modern image processing

applications. Interestingly this transfer of knowledge is not a one-way

road from numerical analysis to image analysis: By considering a

factorisation of general smoothing filters, we introduce novel, signal

processing based ways of deriving cycle parameters. They lead to hitherto

unexplored methods with alternative parameter cycles. These methods offer

better smoothing properties than classical numerical concepts such as

Super Time Stepping and the cyclic Richardson algorithm.

We present a number of prototypical applications that demonstrate the

wide applicability of our cyclic algorithms. They include isotropic

and anisotropic nonlinear diffusion processes, higher dimensional

variational problems, and higher order PDEs.

"Show that there is a function $f$ such that for any sequence $(x_1, x_2, \dots)$ we have $x_n = f(x_{n + 1}, x_{n + 2}, \dots)$ for all but finitely many $n$."

Fred Galvin. Problem 5348. The American Mathematical Monthly, 72(10):p. 1135, 1965.\\

This quote is one of the earliest examples of an infinite hat problem, although it's not phrased this way. A hat problem is a non-empty set of colours together with a directed graph, where the nodes correspond to "agents" or "players" and the edges determine what the players "see". The goal is to find a collective strategy for the players which ensures that no matter what "hats" (= colours) are placed on their heads, they will ensure that a "sufficient" amount guess correctly.\\

In this talk I will discuss hat problems on countable sets and show that in a non-transitive setting, the relationship between existence of infinitely-correct strategies and Ramsey properties of the graph breakdown, in the particular case of the parity game. I will then introduce some small cardinals (uncountable cardinals no larger than continuum) that will be useful in analysing the parity game. Finally, I will present some new results on the sigma-ideal of meagre sets of reals that arise from this analysis.

Let G be a finite group, p a prime and S a Sylow p-subgroup. The group G

is called p-nilpotent if S has a normal complement N in G, that is, G is

the semidirect product between S and N. The notion of p-nilpotency plays

an important role in finite group theory. For instance, Thompson's

criterion for p-nilpotency leads to the important structural result that

finite groups with fixed-point-free automorphisms are nilpotent.

By a classical result of Tate one can detect p-nilpotency using mod p

cohomology in dimension 1: the group G is p-nilpotent if and only if the

restriction map in cohomology from G to S is an isomorphism in dimension

1. In this talk we will discuss cohomological criteria for p-nilpotency by

Tate, and Atiyah/Quillen (using high-dimensional cohomology) from the

1960s and 1970s. Finally, we will discuss how one can extend Tate's

result to study p-solvable and more general finite groups.

In the Erdös-Rényi random graph process, starting from an empty graph, in each step a new random edge is added to the evolving graph. One of its most interesting features is the `percolation phase transition': as the ratio of the number of edges to vertices increases past a certain critical density, the global structure changes radically, from only small components to a single giant component plus small ones.


In this talk we consider Achlioptas processes, which have become a key example for random graph processes with dependencies between the edges. Starting from an empty graph these proceed as follows: in each step two potential edges are chosen uniformly at random, and using some rule one of them is selected and added to the evolving graph. We discuss why, for a large class of rules, the percolation phase transition is qualitatively comparable to the classical Erdös-Rényi process.


Based on joint work with Oliver Riordan.

Ever wondered how the log function in your code is computed? This talk, which was prepared for the 400th anniversary of Napier's development of logarithms, discusses the computation of reciprocals, exponentials and logs, and also my own work on some special functions which are important in Monte Carlo simulation.

The talk will give a definition of matrix geometries, which are

particular types of finite real spectral triple that are useful for

approximating manifolds. Examples include fuzzy spheres and also the

internal space of the standard model. If time permits, the relation of

matrix geometries with 2d state sum models will also be sketched.

One of the holy grails of material science is a complete characterization of ground states of material energies. Some materials have periodic ground states, others have quasi-periodic states, and yet others form amorphic, random structures. Knowing this structure is essential to determine the macroscopic material properties of the material. In theory the energy contains all the information needed to determine the structure of ground states, but in practice it is extremely hard to extract this information.

In this talk I will describe a model for which we recently managed to characterize the ground state in a very complete way. The energy describes the behaviour of diblock copolymers, polymers that consist of two parts that repel each other. At low temperature such polymers organize themselves in complex microstructures at microscopic scales.

We concentrate on a regime in which the two parts are of strongly different sizes. In this regime we can completely characterize ground states, and even show stability of the ground state to small energy perturbations.

This is work with David Bourne and Florian Theil.

We state a conjecture about the size of the intersection between a bounded-rank progression and a sphere, and we prove the first interesting case, a result of Chang. Hopefully the full conjecture will be obvious to somebody present.

We study infinite (random) systems of interacting particles living in a Euclidean space X and possessing internal parameter (spin) in R¹. Such systems are described by Gibbs measures on the space Γ(X,R¹) of marked configurations in X (with marks in R¹). For a class of pair interactions, we show the occurrence of phase transition, i.e. non-uniqueness of the corresponding Gibbs measure, in both 'quenched' and 'annealed' counterparts of the model.

A model of a financial market is complete if any payoff can be obtained as the terminal value of a self-financing trading strategy. It is well known that numerous models, for example stochastic volatility models, are however incomplete. We present conditions, which, in a general diffusion framework, guarantee that in such cases the market of primitive assets enlarged with an appropriate number of traded derivative contracts is complete. From a purely mathematical point of view we prove an integral representation theorem which guarantees that every local Q-martingale can be represented as a stochastic integral with respect to the vector of primitive assets and derivative contracts.

Evolution by natural selection has resulted in a remarkable diversity of organism morphologies. But is it possible for developmental processes to create “any possible shape?” Or are there intrinsic constraints? I will discuss our recent exploration into the shapes of bird beaks. Initially, inspired by the discovery of genes controlling the shapes of beaks of Darwin's finches, we showed that the morphological diversity in the beaks of Darwin’s Finches is quantitatively accounted for by the mathematical group of affine transformations. We have extended this to show that the space of shapes of bird beaks is not large, and that a large phylogeny (including finches, cardinals, sparrows, etc.) are accurately spanned by only three independent parameters -- the shapes of these bird beaks are all pieces of conic sections. After summarizing the evidence for these conclusions, I will delve into our efforts to create mathematical models that connect these patterns to the developmental mechanism leading to a beak. It turns out that there are simple (but precise) constraints on any mathematical model that leads to the observed phenomenology, leading to explicit predictions for the time dynamics of beak development in song birds. Experiments testing these predictions for the development of zebra finch beaks will be presented.

Based on the following papers:

http://www.pnas.org/content/107/8/3356.short

http://www.nature.com/ncomms/2014/140416/ncomms4700/full/ncomms4700.html

Ice sheets are among the key controls on global climate and sea-level change. A detailed understanding of ice sheet dynamics is crucial so to make accurate predictions of their mass balance into the future. Ice streams are the dominant negative component in this balance, accounting for up to 90$\%$ of the Antarctic ice flux into ice shelves and ultimately into the sea. Despite their importance, our understanding of ice-stream dynamics is far from complete.

A range of observations associate ice streams with meltwater. Meltwater lubricates the ice at its bed, allowing it to slide with less internal deformation. It is believed that ice streams may appear due to a localization feedback between ice flow, basal melting and water pressure in the underlying sediments. I will present a model of subglacial water flow below ice sheets, and particularly below ice streams. This hydrologic model is coupled to a model for ice flow. I show that under some conditions this coupled system gives rise to ice streams by instability of the internal dynamics.

We are dwelling in the Big Data age. The diversity of the uses of Big Data unleashes limitless possibilities. Many people are talking about ways to use Big Data to track the collective human behaviours, monitor electoral popularity, and predict financial fluctuations in stock markets, etc. Big Data reveals both challenges and opportunities, which are not only related to technology but also to human itself. This talk will cover various current topics and trends in Big Data research. The speaker will share his relevant experiences on how to use analytics tools to obtain key metrics on online social networks, as well as present the challenges of Big Data analytics.

Bio: Ning Wang (Ph.D) works as Researcher at the Oxford Internet Institute. His research is driven by a deep interest in analysing a wide range of sociotechnical problems by exploiting Big Data approaches, with the hope that this work could contribute to the intersection of social behavior and computational systems.

An important military task in a high-technology environment is to understand the set of radars present in it, since the radars will be, to a greater or lesser extent, indicative of the ships, aircraft and other military units which are present.

The transmissions of the different radars typically overlap in most of the dimensions which characterise then, such as frequency and bearing, and their pulses are interleaved in time. If, however, we are able to separate the individual pulse trains which are present then not only does this allow us to know how many different radars are present, but the characteristics of the pulse train are indicative of the type of the radar.

The problem of recognising the pulse trains is not trivial, because many radars 'jitter' their transmissions and pulses may be missing or two pulses may occur together, causing the characteristics of the pulse to be 'garbled.' The jittering may be used as a way to reject mutual interference between the radars, to resolve ambiguities in measurements of range or velocity or to make it harder to jam the radar.

The problems caused by pulses overlapping are likely to become more severe in the future because the pulses of the individual radars are becoming longer.

Although solutions currently exist which can cope, to at least some extent, with most of these issues, the purpose of bringing this topic to the seminar is to allow a fresh look at the problem from first principles.

The most valuable asset that people in a sovereign state can have is good, sustainable governance. Setting up a system of good, sustainable governance is not easy. The big and well-known problem is time inconsistency of optimal policies. A mechanism that has proven valuable in mitigating the time inconsistency problem is rule by law. The too-big-to-fail problem in banking is the result of the time inconsistency problem. In this lecture I will argue there is an alternative financial system that is not subject to the too-big-to-fail problem. The alternative arrangement I propose is a pure transaction banking system. Transaction banks are required to hold 100$\%$ interest bearing reserves and can pay tax-free interest on demand deposits. With this system, there cannot be a bank run as there is no place to run to. Mutual arrangements would finance all business investment, which is not currently the case.

I will give a short introduction to geometric stability theory and independence relations, focussing on the tree properties. I will then introduce one of the main examples for general measureable structures, the two sorted structure of a vector space over a field with a bilinear form. I will state some results for this structure, and give some open questions. This is joint work with William Anscombe.

We give an overview of Kitaev's lattice model in the setting of an arbitrary finite group G (where $G = Z_{2}$ is the famous Toric Code). We also exhibit the connection this model has with so-called 123-TQFTs (topological quantum field theories), making use of ideas coming from higher gauge theory and Hopf algebra representations.

The synthesis of complex-shaped colloids and nanoparticles has recently undergone unprecedented advancements. It is now possible to manufacture particles shaped as dumbbells, cubes, stars, triangles, and cylinders, with exquisite control over the particle shape. How can particle geometry be exploited in the context of capillarity and surface-tension phenomena? This talk examines this question by exploring the case of complex-shaped particles adsorbed at the interface between two immiscible fluids, in the small Bond number limit in which gravity is not important. In this limit, the "Cheerio's effect" is unimportant, but interface deformations do emerge. This drives configuration dependent capillary forces that can be exploited in a variety of contexts, from emulsion stabilisation to the manufacturing of new materials. It is an opportunity for the mathematics community to get involved in this field, which offers ample opportunities for careful mathematical analysis. For instance, we find that the mathematical toolbox provided by 2D potential theory lead to remarkably good predictions of the forces and torques measured experimentally by tracking particle pairs of cylinders and ellipsoids. New research directions will also be mentioned during the talk, including elasto-capillary interactions and the simulation of multiphase composites.

For the last few years Soundararajan and I have been developing an alternative "pretentious" approach to analytic number theory. Recently Harper established a more intuitive proof of Halasz's Theorem, the key result in the area, which has allowed the three of us to provide new (and somewhat simpler) proofs to several difficult theorems (like Linnik's Theorem), as well as to suggest some new directions. We shall review these developments in this talk.

This talk will be a brief introduction to some standard conjectures surrounding motivic L-functions, which might be viewed as the arithmetic motivation for Langlands reciprocity.

I will discuss the well-posedness of a new nonlinear model for nematic

elastomers. The main novelty is that the Frank energy penalizes

spatial variations of the nematic director in the deformed, rather

than in the reference configuration, as it is natural in the case of

large deformations.

Riley and Dison's hydra groups are a family of group and subgroup pairs $(G_k, H_k)$ for which the subgroup $H_k$ has distortion like the $k$-th Ackermann function. One wants to know if finite quotients can distinguish elements that are not in $H_k$, as a positive answer would allow you to construct a hands-on family of finitely presented, residually finite groups with arbitrarily large Dehn functions. I'll explain why we get a negative answer.

Gromov and Piatetski-Shapiro proved the existence of finite volume non-arithmetic hyperbolic manifolds of any given dimension. In dimension four and higher, we show that there are about $v^v$ such manifolds of volume at most $v$, considered up to commensurability. Since the number of arithmetic ones tends to be polynomial, almost all hyperbolic manifolds are non-arithmetic in an appropriate sense. Moreover, by restricting attention to non-compact manifolds, our result implies the same growth type for the number of quasi- isometry classes of lattices in $SO(n,1)$. Our method involves a geometric graph-of-spaces construction that relies on arithmetic properties of certain quadratic forms.

A joint work with Arie Levit.

We will give an idea of derived algebraic geometry and sketch a number of more or less recent directions, including derived symplectic geometry, derived Poisson structures, quantizations of moduli spaces, derived analytic geometry, derived logarithmic geometry and derived quadratic structures.

Abstract: We propose a term structure power price model that, in contrast to widely accepted no-arbitrage based approaches, accounts for the non-storable nature of power. It belongs to a class of equilibrium game theoretic models with players divided into producers and consumers. Consumers' goal is to maximize a mean-variance utility function subject to satisfying inelastic demand of their own clients (e.g households, businesses etc.) to whom they sell the power on. Producers, who own a portfolio of power plants each defined by a running fuel (e.g. gas, coal, oil...) and physical characteristics (e.g. efficiency, capacity, ramp up/down times, startup costs...), would, similarly, like to maximize a mean-variance utility function consisting of power, fuel, and emission prices subject to production constraints. Our goal is to determine the term structure of the power price at which production matches consumption. In this talk we outline that such a price exists and develop conditions under which it is also unique. Under condition of existence, we propose a tractable quadratic programming formulation for finding the equilibrium term structure of the power price. Numerical results show performance of the algorithm when modeling the whole system of UK power plants.

We consider the market for a risky asset for which agents have interdependent private valuations. We study competitive rational expectations equilibria under the standard CARA-normal assumptions. Equilibrium is partially revealing even though there are no noise traders. Complementarities in information acquisition arise naturally in this setting. We characterize stable equilibria with endogenous information acquisition. Our framework encompasses the classical REE models in the CARA-normal tradition.

Inexact hardware trades reduced numerical precision against a reduction

in computational cost. A reduction of computational cost would allow

weather and climate simulations at higher resolution. In the first part

of this talk, I will introduce the concept of inexact hardware and

provide results that show the great potential for the use of inexact

hardware in weather and climate simulations. In the second part of this

talk, I will discuss how rounding errors can be assessed if the forecast

uncertainty and the chaotic behaviour of the atmosphere is acknowledged.

In the last part, I will argue that rounding errors do not necessarily

degrade numerical models, they can actually be beneficial. This

conclusion will be based on simulations with a model of the

one-dimensional Burgers' equation.

Biharmonic maps are the solutions of a variational problem for maps

between Riemannian manifolds. But since the underlying functional

contains nonlinear differential operators that behave badly on the usual

Sobolev spaces, it is difficult to study it with variational methods. If

the target manifold has enough symmetry, however, then we can combine

analytic tools with geometric observations and make some statements

about existence and regularity.