PGR Seminars

Weekly seminars are held by the School's postgraduate research students and post-docs. These generally take the form of a presentation for approximately 30 minutes followed by informal discussion.

Seminars are held in the Rutherford Annex Seminar Room, at 4pm every Friday of term.

There are biscuits!

Please contact us with comments/suggestions, to talk yourself or to volunteer an external speaker for any of the available dates.

Cheers,


Talks

02/10/2015 Christoph Fischbacher Unbounded operators in Hilbert Spaces We will motivate the use of unbounded operators. Since unbounded operators fail to be continuous we will introduce the notion of closedness, which is the next best property that one could hope for. We will show that Hermitian/symmetric operators need not be self-adjoint, and if time permits we will also talk about constructing self-adjoint extensions of symmetric operators.
09/10/2015 An Kang A brief introduction to gambling from a statistical point of view Predicting uncertainty is one part of human nature, which makes gambling such an important activity in mankind’s history. Nowadays casinos and the internet are bringing gambling much closer to our lives than ever before, and creating more fantasies about making a huge fortune overnight. Is there a way to beat the casino and win a lot of money? Is there a way to make a rich life by winning money from the casino? In our seminar examples will be given and these questions will be discussed from a statistical point of view.
16/10/2015 Reuben Green Algebras, diagram algebras, and cellular algebras The concept of an algebra over a field (roughly, a vector space equipped with a multiplication) and of a module over such an algebra is useful across many areas of Mathematics. In this talk I will begin by giving a brief introduction to algebras and their modules. I will then discuss some examples of a family of algebras known as diagram algebras, and outline how we may gain an understanding of their modules by showing that they belong to a class of algebras introduced in the 1990's by J.J. Graham and G.I. Lehrer, called cellular algebras. There will be pictures.
23/10/2015 Jocelyne Ishak The Serre-Swan theorem In the mathematical fields of topology and K-theory, the Serre–Swan theorem, also called Swan's theorem, gives a equivalence between a topological notion and an algebraic notion. More specifically, it gives a correspondence between topological vector bundles over a compact Hausdorff space X and finitely generated projective modules over the ring of continuous real-valued functions on X.
30/10/2015 Christos Sarakasidis The Riemann-Roch Theorem Riemann-Roch theorem is an important result first appeared in Complex Analysis and after that two different generalizations in Algebraic Geometry from Alexander Grothendieck and Friedrich Hirzebruch made this an important result and a powerful tool for many branches of mathematics. I will explore some versions of these two generalizations for line bundles over schemes and complex Riemannian surfaces.
06/11/2015 Ana Rojo Echeburua Lie Algebroids and mechanics The Lie algebroids theory it is a very useful tool in the formulation and analysis of lots of mathematical and physical problems. Regarding geometric mechanics, one of the main features of Lie algebroids is that, under the same formalism, very different situations are described. Some basic concepts about the Lie algebroids theory will be introduced as well as some examples of Lie algebroids. I will show that the Lagrange equations for a lagrangian system in a Lie algebroid can generalize the classic Lagrange equations and I will introduce the calculus of variations in a Lie algebroid. I will try to show how to obtain the Lagrange equations with Lie algebroids theory in a very simple example.
13/11/2015 Elaheh Oftadeh Variable filter for multivariate high dimensional data

Over the past few years, emerging innovations in technology have facilitated data collection dramatically. As a result of these advances, nowadays in various fields such as finance, marketing, medicine, biology etc. data contain a large number of measurements. Accordingly, high dimensionality is a frequent issue in statistical modelling. In such large data sets, the number of predictors may be extremely large while the number of observations is limited . Variable screening or variable selection is an approach that can be used to reduce the original data by removing irrelevant information, in such a way that informative structure of data is preserved.

In cancer biology, gene expression data always contain tens of thousands of genes while only tens of genes may be responsible for the disease. In order to screen gene expressions of cancer cells , we introduce a variable filter and perform our variable screening approach using this filter, then we compare the performance of our method with some of the existing ones.​

20/11/2015 Michele Zadra Modelling and simulating football matches In recent years there has been a great effort to model the outcome of matches in different sports. With the advent of new technologies that can keep track of several parameters regarding players' performance, statisticians have found a fertile ground for their work. In this presentation we will take a look at a simple model that aims to predict the result between two teams in a football match. We will use very simple tools from statistics and also make some live simulations using R. If you are interested in the outcome of some future match, feel free to ask and we will interrogate the software on the fly. Moreover, in one of these simulations, we will predict which team will win the premier league (or another european league if you prefer) this year.
27/11/2015 Lleonard Rubio y Degrassi
City University
On the invariance properties of the restricted p-power map on integrable derivations under stable equivalences Invariant theory has been widely used in mathematics and physics to solve many open problems. In this talk I will give a short introduction to representation theory of algebras and I will talk about one of the invariants that emerges in this theory: the Hochschild cohomology. More precisely I will show that the p-power map in the first Hochschild cohomology space of symmetric algebras over a field of prime characteristic p commutes with stable equivalences of Morita type on the subgroup of classes represented by integrable derivations.
04/12/2015 Christopher Lee Elementary symmetric polynomials and Dickson invariants The symmetric group can act on polynomial rings by permuting the indeterminants. Some polynomials have the special property that they are invariant under all possible permutations. The fundamental theorem of symmetric polynomials considers the finite generation of all such polynomials. Dickson's theorem similarly considers the finite generation when the group is extended to the general linear group, but the underlying field is finite. The Hilbert-Noether theorem provides a non-constructive generalisation of the finite generation when the group is finite. Noether normalisation can be used on top of it to find possible generators.
11/12/2015 Alex Rogers A basic introduction to polynomial identity rings in noncommutative algebra This talk will introduce the basic definitions of polynomial identity (PI) rings with examples and discuss some of the ways in which noncommutative PI rings are "close" to being commutative. This closeness allows for some commutative techniques to be used in the study of suitably conditioned noncommutative rings. If time permits we will also look at a proof of Amitsur and Levitzki's result that the ring of nxn matrices over a commutative ring satisfies a polynomial identity of degree 2n: Swan's proof for this fairly deep algebraic result is quite remarkable in that it only requires some basic results from graph theory.
18/12/2015 Matt Towers
Imperial
The field with one element and the Bruhat decomposition I will try to give a satisfactory explanation of some numerical coincidences arising from the analogy between subspaces of vector spaces and subsets of sets.
22/01/2016 Neal Carr Differential forms and some applications Differential forms are an elegant alternative to vector calculus, providing a unification of integrals over curves, surfaces, and any sufficiently smooth objects. To exhibit their qualities, I'll show off Stokes' theorem, which encompasses all the standard vector integral identities in one convenient flat-pack equation, and I'll give a beautiful formulation of the laws of electrodynamics in this notation. Lastly, I'll use differential forms in a proof that electric charge is quantised* (*existence of magnetic monopoles not guaranteed)
29/01/2016 Ellen Dowie Rational solutions of soliton equations

Rational solutions of the Boussinesq equation give rise to water wave solitons, by examining the form of these solutions and considering the behaviour of the roots, the aim is to establish the behaviour of this family of solutions. In particular, the solutions considered are the second logarithmic derivative of polynomial functions in x and t of symmetric degree n(n+1) for n an integer. Solutions have been found up to n = 5.

Investigation into both the Boussinesq and the Non-linear Schrödinger equation will be discussed along with complex root and solution plots.

05/02/2016 Floris Claassens Non-standard Analysis Like complex analysis non-standard analysis makes the life of a mathematician easier. Unlike complex analysis however it is a relatively unknown field in mathematics. Non-standard analysis is an expansion of the complex numbers where we add infinitely small and infinitely large numbers. We will use these to prove the Theorem of Bernstein-Robinson which solves a case of the invariant subspace problem, an open problem in functional analysis.
12/02/2016 Aniketh Pittea Actuaries in General Insurance Actuaries work in a range of fields including Insurance, Pension, Banking, Finance and Investment. In this presentation, we will look at the role of actuaries in the general insurance arena. In particular, we will focus on 3 key areas: pricing, reserving and capital modelling.
19/02/2016 Marina Jimenez-Munoz Ring-Recovery Analysis on Birds

Ring-recovery data is a significant component of research on ecological conservation and management. It is possible to find historical data on the total number of ringed birds for several species, however information about the age of birds at the ringing event may not always be accessible. In most species of birds, the probability of surviving tends to be affected by age. While older birds are likely to have a more stable and higher survival rate, younger birds usually have a more varying and smaller chance of surviving. Therefore, it is important to build statistical models that take into account this age variation.

We will analyse standard ring-recovery models and explain the development of some model extensions that cope with the problem of age uncertainty. We will also cover some important aspects in statistical ecology, such as model selection and parameter redundancy.

26/02/2016 Andrea Cremaschi Bayesian analysis of high-frequency transaction data

Financial prices are usually modelled as continuous, often involving geometric Brownian motion with drift, leverage, and possibly jump components. An alternative modelling approach allows financial observations to take integer values that are multiples of a fixed quantity, the ticksize - the monetary value associated with a single change during the asset evolution. These samples are usually collected at irregularly-spaced time points, as in the case of high-frequency data, exhibiting diverse trading operations in a few seconds.

In the context, the observables are modelled in a Bayesian fashion via the Skellam process (defined as the difference between two Poisson processes). Volatility modelling is included in the analysis using the class of discretised Gaussian Ornstein-Uhlenbeck AR(1) processes. In particular, the variances of the two likelihood processes are linked with the AR(1) processes. Inference for the model is obtained via standard Gibbs sampling.

04/03/2016 Fabrizio Messina
Sheffield University
Bayesian Multivariate Network meta-Analysis of ordered categorical Data Ordered categorical data arise in many disease areas with examples being the classification of the severity of a patients' disease as one of None, Moderate and Good for a EULAR (European League Against Rheumatism) response and one of None, ACR20, ACR50 and ACR70 for an ACR (American College of Rheumatology) response for patients with rheumatoid arthritis. (Network) meta-analysis is used to synthesise the evidence about treatment effects from a collection of trials. It is usually implemented univariately on individual outcome measures. Multivariate (network) meta-analyses incorporate inter-dependencies between outcome measures. The aim of this PhD is to propose a model that incorporates dependencies between outcome measures in the context of an aggregate ordered categorical data network meta-analysis. Issues will include proposing methods for incorporating correlation within studies and the ability to borrow strength for studies that do not provide evidence on all outcome measures and, consequently, all treatments in a network. A particular aspect of the PhD will be the objective of being able to estimate the proportion of patients in each category in addition to an estimate of treatment effect.
11/03/2016 Theo Gkolias Statistical Shape Analysis in the Protein Alignment Problem Alignment of proteins involve finding the labelling between the atoms of two or more protein molecules to have a better understanding about their functionality. We describe an EM algorithm that finds the mean shape of the two or more proteins and an exhaustive search algorithm to decide the optimal labelling between them.
18/03/2016 John Sylvester
Warwick University
Random walk hitting times and electrical resistances in Erdős–Rényi random graphs We will introduce the Erdős–Rényi random graph model G(n,p), in which one starts with n vertices and includes each edge independently by flipping a p,(1-p) coin. We then discuss the connection between random walks on graphs and current in an electrical network of resistors. Finally, we will sketch the proof that there are many (partially) edge disjoint paths in G(n,p) and discuss how this can be used to prove expectation and concentration results on hitting times and effective resistances in G(n,p) when the edge probability p is suitably low.
01/04/2016 Luca Rossini
Ca’ Foscari University of Venice
Bayesian Nonparametric Conditional Copula Estimation of Twin Data Several studies on heritability in twins aim at understanding the different contribution of environmental and genetic factors to specific traits. Considering the National Merit Twin Study, our purpose is to correctly analyse the influence of the socioeconomic status on the relationship between twins' cognitive abilities. Our methodology is based on conditional copulas, which allow us to model the effect of a covariate driving the strength of dependence between the main variables. We propose a flexible Bayesian nonparametric approach for the estimation of conditional copulas, which can model any conditional copula density. Our methodology extends the work of Wu, Wang and Walker (2015) by introducing dependence from a covariate in an infinite mixture model. Our results suggest that environmental factors are more influential in families with lower socio-economic position. (available on arXiv: http://arxiv.org/abs/1603.03484)
08/04/2016 Gelly Mitrodima
London School of Economics
A Bayesian multiple quantile model for forecasting the asset return distribution We perform a Bayesian analysis using Markov Chain Monte Carlo (MCMC) methods and in particular, an Adaptive Metropolis Hastings algorithm to jointly model selected quantiles of the asset return distribution. Bayesian methodology is widely used in the literature concerning quantile regression, for improved estimation based on the Regression Quantile (RQ) criterion, by employing the Asymmetric Laplace likelihood. The Asymmetric Laplace distribution is a skew distribution, which offers a possible mathematical link between the minimisation of the RQ criterion and the maximum likelihood theory. However, this does not address the underlying time-varying interdependence between individual quantiles in a natural way. An alternative is to model the distances between conditional quantile functions by considering an idea from survival analysis. This flexible model enables us to capture the shape dynamics of the distribution effectively through joint quantile estimation, gain a better understanding of the dependence across quantiles, and approximate the density of asset returns with posterior inference for the parameters.
27/05/2016 Zixia Liu
University of Manchester
Statistics and Mathematics in Cloud Microphysics

Cloud systems play a significant role in linking atmospheric and hydrological processes and have profound effects on regional and global climate. This presentation focuses on the cloud microphysics and how statistics and mathematics are employed in the cloud microphysics research.

Processes of two very different kinds are responsible for cloud formation and precipitation development. The first ones are relatively large-scale processes, all involving air motions, under the term cloud dynamics. Cloud microphysics, the second kinds of cloud processes, are on a smaller scale which is comparable in size of the dimensions of individual cloud droplet and rain particle. The purposes of this part of cloud physics is to explain the environment by which an individual aerosol particle can be activated as a cloud condensation nuclei, and develop to visible size as a cloud droplet.

To achieve these purposes, we develop a two-moment bin-solved cloud physics model: Aerosol-Cloud-Precipitation Interaction Model (ACPIM). In order to simulate cloud droplets formation and a cloud parcel rising through an atmosphere in hydrostatic balance, the model supports a prognostic treatment of aerosol with a lognormal size distribution and solves a set of 4 coupled ordinary differential equations for the water vapor mass mixing ration, total pressure, temperature and height.

03/06/2016 Ana Rojo Echeburua Moving frames and Finite Difference Noether Conservation Laws Moving frames have a wide range of applications, from classical equivalence problems in differential geometry to more modern applications such as computer vision. In this talk I will define the concept of moving frame in both continuous and discrete case and introduce the finite difference calculus of variations. I will show how to calculate the difference Euler Lagrange equations directly in terms of the invariants using discrete moving frames. Some results on the difference conservation laws that arise via the difference Noether Theorem will be given.
10/06/2016 Dr Alfredo Deaño 1+2+3+4+5+6+… = -1/12 and other divergent tales This talk will be a brief and informal excursion on the topic of divergent series, and how to sum them in a certain sense. One possible approach to this particular example leads to analytic continuation in the complex plane and the Riemann zeta function. Other examples involving special functions will be considered, time permitting.
17/06/2016 William Grummitt Difficulties in the Quantisation of Skyrmions

I’ll talk about the Skyrme Model and about its key features and how we visualise the solutions (which we call Skyrmions). We will see that it is possible to identify these solutions with atomic nuclei. I will then discuss how we can try to quantise what is originally a classical model, which is necessary to relate the model to nuclear physics. We will see that there are some big problems in using standard quantisation techniques and look at some alternative ideas.

24/06/2016 Jocelyne Ishak Stable model categories

A model category is a category C with three distinguished classes of maps verifying certain axioms. One can construct the homotopy category Ho(C) associated to a model category C by taking the homotopy classes of morphisms in C.

Then we can construct an adjoint pair of suspension and loop functors on Ho(C). The category C is called stable if this previous adjunction is an equivalence of homotopy categories.

In this talk, I will give the definition of a model category, and explain how we pass to the associated homotopy category. Moreover, I will also explain what a stable model category is, and give some examples of non-stable and stable model categories.