Michael Gomez:

Title: The role of ghosts in elastic snap-through
Abstract: Elastic `snap-through' buckling is a striking instability of many elastic systems with natural curvature and bistable states. The conditions under which bistability exists have been reasonably well studied, not least because a number of engineering applications make use of the rapid transitions between states. However, the dynamics of the transition itself remains much less well understood. Several examples have been studied that show slower dynamics than would be expected based on purely elastic timescales of motion, with the natural conclusion drawn that some other effect, such as viscoelasticity, must play a role. I will present analysis (and hopefully experiments) of a purely elastic system that shows similar `anomalous dynamics'; however, we show that here this dynamics is a consequence of the ‘ghost’ of the snap-through bifurcation.

Andrew Krause:

Title: Fluid-Growth Interactions in Bioactive Porous Media   
Abstract: Recent models in Tissue Engineering have considered pore blocking by cells in a porous tissue scaffold, as well as fluid shear effects on cell growth. We implement a suite of models to better understand these interactions between cell growth and fluid flow in an active porous medium. We modify some existing models in the literature that are spatially continuous (e.g. Darcy's law with a cell density dependent porosity). However, this type of model is based on assumptions that we argue are not good at describing geometric and topological properties of a heterogeneous pore network, and show how such a network can emerge in this system. Therefore we propose a different modelling paradigm to directly describe the mesoscopic pore networks of a tissue scaffold. We investigate a deterministic network model that can reproduce behaviour of the continuum models found in the literature, but can also exhibit finite-scale effects of the pore network. We also consider simpler stochastic models which compare well with near-critical Percolation behaviour, and show how this kind of behaviour can arise from our deterministic network model.

Noise limits are one of the major constraints when designing
aircraft engines.  Acoustic liners are fitted in almost all civilian
turbofan engine intakes, and are being considered for use elsewhere in a
bid to further reduce noise.  Despite this, models for acoustic liners
in flow have been rather poor until recently, with discrepancies of 10dB
or more.  This talk will show why, and what is being done to model them
better.  In the process, as well as mathematical modelling using
asymptotics, we will show that state of the art Computational
AeroAcoustics simulations leave a lot to be desired, particularly when
using optimized finite difference stencils.

Networks form the backbones of a wide variety of complex systems,
ranging from food webs, gene regulation and social networks to
transportation networks and the internet. Due to the sheer size and
complexity of many of theses systems, it remains an open challenge to
formulate general descriptions of their large-scale structures.
Although many methods have been proposed to achieve this, many of them
yield diverging descriptions of the same network, making both the
comparison and understanding of their results very
difficult. Furthermore, very few methods attempt to gauge the
statistical significance of the uncovered structures, and hence the
majority cannot reliably separate actual structure from stochastic
fluctuations.  In this talk, I will show how these issues can be tackled
in a principled fashion by formulating appropriate generative models of
network structure that can have their parameters inferred from data. I
will also consider the comparison between a variety of generative
models, including different structural features such as degree
correction, where nodes with arbitrary degrees can belong to the same
group, and community overlap, where nodes are allowed to belong to more
than one group. Because such model variants possess an increased number
of parameters, they become prone to overfitting. We demonstrate how
model selection based on the minimum description length criterion and
posterior odds ratios can fully account for the increased degrees of
freedom of the larger models, and selects the most appropriate trade-off
between model complexity and quality of fit based on the statistical
evidence present in the data.

Throughout the talk I will illustrate the application of the methods
with many empirical networks such as the internet at the autonomous
systems level, the global airport network, the network of actors and
films, social networks, citations among websites, co-occurrence of
disease-causing genes and many others.
 

When formulated appropriately, the broad families of sequential quadratic programming, augmented Lagrangian and interior-point methods all require the solution of symmetric saddle-point linear systems. When regularization is employed, the systems become symmetric and quasi definite. The latter are
indefinite but their rich structure and strong relationships with definite systems enable specialized linear algebra, and make them prime candidates for matrix-free implementations of optimization methods. In this talk, I explore various formulations of the step equations in optimization and corresponding
iterative methods that exploit their structure.

Security Constrained Optimal Power Flow is an increasingly important problem for power systems operation both in its own right and as a subproblem for more complex problems such as transmission switching or
unit commitment.

The structure of the problem resembles stochastic programming problems in that one aims to find a cost optimal operation schedule that is feasible for all possible equipment outage scenarios
(contingencies). Due to the presence of power flow constraints (in their "DC" or "AC" version), the resulting problem is a large scale linear or nonlinear programming problem.

However it is known that only a small subset of the contingencies is active at the solution. We show how Interior Point methods can exploit this structure both by simplifying the linear algebra operations as
well as generating necessary contingencies on the fly and integrating them into the algorithm using IPM warmstarting techniques. The final problem solved by this scheme is significantly smaller than the full
contingency constrained problem, resulting in substantial speed gains.

Numerical and theoretical results of our algorithm will be presented.

The Singular Value Decomposition (SVD) of matrices and the related Principal Components Analysis (PCA) express a matrix in terms of singular vectors, which are linear combinations of all the input data and lack an intuitive physical interpretation. Motivated by the application of PCA and SVD in the analysis of populations genetics data, we will discuss the notion of leverage scores: a simple statistic that reveals columns/rows of a matrix that lie in the subspace spanned by the top principal components (left/right singular vectors). We will then use the leverage scores to present matrix decompositions that express the structure in a matrix in terms of actual columns (and/or rows) of the matrix. Such decompositions are easier to interpret in applications, since the selected columns and rows are subsets of the data. We will also discuss extensions of the leverage scores to reveal influential entries of a matrix.

We present a trust region algorithm for solving nonconvex optimization problems that, in the worst-case, is able to drive the norm of the gradient of the objective below a prescribed threshold $\epsilon > 0$ after at most ${\cal O}(\epsilon^{-3/2})$ function evaluations, gradient evaluations, or iterations.  Our work has been inspired by the recently proposed Adaptive Regularisation framework using Cubics (i.e., the ARC algorithm), which attains the same worst-case complexity bound.  Our algorithm is modeled after a traditional trust region algorithm, but employs modified step acceptance criteria and a novel trust region updating mechanism that allows it to achieve this desirable property.  Importantly, our method also maintains standard global and fast local convergence guarantees.

Although Toeplitz matrices are often dense, matrix-vector products with Toeplitz matrices can be quickly performed via circulant embedding and the fast Fourier transform. This makes their solution by preconditioned Krylov subspace methods attractive. 

For a wide class of symmetric Toeplitz matrices, symmetric positive definite circulant preconditioners that cluster eigenvalues have been proposed. MINRES or the conjugate gradient method can be applied to these problems and descriptive convergence theory based on eigenvalues guarantees fast convergence. 

In contrast, although circulant preconditioners have been proposed for nonsymmetric Toeplitz systems, guarantees of fast convergence are generally only available for CG for the normal equations (CGNE). This is somewhat unsatisfactory because CGNE has certain drawbacks, including slow convergence and a larger condition number. In this talk we discuss a simple alternative symmetrization of nonsymmetric Toeplitz matrices, that allows us to use MINRES to solve the resulting linear system. We show how existing circulant preconditioners for nonsymmetric Toeplitz matrices can be straightforwardly adapted to this situation and give convergence estimates similar to those in the symmetric case.

Numerical simulation tools for fluid and solid mechanics are often based on the discretisation of coupled systems of partial differential equations, which can easily be identified in terms of physical
conservation laws.  In contrast, much physical insight is often gained from the equivalent formulation of the relevant energy or free-energy functional, possibly subject to constraints.  Motivated by the
nonlinear static and dynamic behaviour of nematic liquid crystals and of magnetosensitive elastomers, we propose a finite-element framework for minimising these free-energy functionals, using Lagrange multipliers to enforce additional constraints.  This talk will highlight challenges, limitations, and successes, both in the formulation of these models and their use in numerical simulation.
This is joint work with PhD students Thomas Benson, David Emerson, and Dong Han, and with James Adler, Timothy Atherton, and Luis Dorfmann.