N3.12

If asked, we all say we aim to to good research and make sensible decisions. In mathematics, the choice of criteria to optimise is often explicit, and we know there is no complete ordering in more than one dimension.

Statisticians involved in multi-disciplinary research need to reflect on how their understanding of uncertainty and statistical methods can contribute to reliable and reproducible research. The ISI Declaration of Professional Ethics provides a framework for statisticians.  Judging what is "normal" and what is "best" requires an appreciation of the assumptions and guidelines of other disciplines.

I will briefly discuss the requirements for design and analysis in medical research, and relate this to debates on reproducible research and p-values in social science research. Issues arising from informed and uninformed consent will be outlined.

Examples might include medical research in developing countries, toxic tort or wrongful birth claims, big data and use of routine administrative or commercial data.

Sustainability is a highly complex topic, containing interwoven economic, ecological, and social aspects.  Simply defining the concept of sustainability is a challenge in itself.  Assessing the impact of sustainability efforts and generating effective policy requires analyzing the interactions and challenges presented by these different aspects. To address this challenge, it is necessary to develop methods that bridge fields and take into account phenomena that range from physical analysis of climate to network analysis of societal phenomena. In this talk, I will give an insight into areas of mathematical research that try to account for these inter-dependencies. The aim of this talk is to provide a critical discussion of the challenges in a joint discussion and emphasize the importance of multi-disciplinary approaches.

Computers can now beat humans at chess and at go. Surely one day they will beat us at proving theorems. But when will it happen, how will it happen, and what should humans be doing in order to make it happen? Furthermore -- do we actually want it to happen? Will they generate incomprehensible proofs, which teach us nothing? Will they find mistakes in the human literature?

I will talk about how I am training undergraduates at Imperial College London to do their problem sheets in a formal proof verification system, and how this gamifies mathematics. I will talk about mistakes in the modern pure mathematics literature, and ask what the point of modern pure mathematics is.

In recent years it has become abundantly clear that mathematics can do "things" in society; indeed, many more things than in the past. Deep mathematical work now underpins some of the most important aspects of the way society functions. And, as mathematically-trained people, we are constantly promoting the positive impact of mathematics. But if such work is capable of good, then is it not also capable of harm? So how do we begin to identify such potential harm, let alone address it and try and avoid, or at least reduce, it? In this session we will discuss how mathematics is a powerful double-edged sword, and why it must be wielded responsibly.

How would we get a powerful AI to align itself with human preferences? What are human preferences anyway? And how can you code all this?
It turns out that maths give you the grounding to answer these fascinating and vital questions.
 

Let's take a step back to understand what it means to use maths in society: Which maths, and whose society? I'll talk about some of the options I've come across, including time I spent at the US Census Bureau, and we will hear your ideas too. We might even crowdsource a document of maths in society opportunities together...

The $k$-th complete homogeneous symmetric polynomial in $m$ variables $h_{k,m}$ is the sum of all the monomials of degree $k$ in $m$ variables. They are related to the Symmetric powers of vector spaces. In this talk we will present some of their standard properties, some classic combinatorial results using the "stars and bars" argument, as well as an interesting result: the complete homogeneous symmetric polynomial applied to $(1+X_i)$ can be written as a linear combination of complete homogeneous symmetric poynomials in the $X_i$. To compute the coefficients of this linear combination, we extend the classic "stars and bars" argument.

Molecules are dynamical systems that can adopt a variety of three dimensional conformations which, in general, differ in energy and physical properties. The identification of energetically favourable conformations is fundamental in molecular physics and computational chemistry, since it is closely related to important open problems such as the prediction of the folding of proteins and virtual screening for drug design.
In this talk I will present theoretical and data-driven approaches to the study of molecular conformational spaces and their associated energy landscapes. I will show that the topology of the internal molecular conformational space might change after taking its quotient by the group action of a discrete group of symmetries. I will also show that geometric and topological tools for data analysis such as procrustes analysis, local dimensionality reduction, persistent homology and discrete Morse theory provide with efficient methods to study the mathematical structures underlying the molecular conformational spaces and their energy landscapes.
 

The reach is an important geometric invariant of submanifolds of Euclidean space. It is a real-valued global invariant incorporating information about the second fundamental form of the embedding and the location of the first critical point of the distance from the submanifold. In the subject of geometric inference, the reach plays a crucial role. I will give a new method of estimating the reach of a submanifold, developed jointly with Clément Berenfeld, Marc Hoffmann and Krishnan Shankar.

The talk will introduce two general models of random simplicial complexes which extend the highly studied Erdös-Rényi model for random graphs. These models include the well known probabilistic models of random simplicial complexes from Costa-Farber, Kahle, and Linial-Meshulam as special cases. These models turn out to have a satisfying Alexander duality relation between them prompting the hope that information can be transferred for free between them. This turns out to not quite be the case with vanishing probability parameters, but when all parameters are uniformly bounded the duality relation works a treat. Time permitting I may talk about the Rado simplicial complex, the unique (with probability one) infinite random simplicial complex.
This talk is based on various bits of joint work with Michael Farber, Tahl Nowik, and Lewin Strauss.