We will follow a suggestion by Udi to construct a decidable field which has an undecidable finite extension.
I will talk about a result on meromorphic continuation of Euler products over primes p of definable p-adic or motivic integrals, and applications to zeta functions of groups. If time permitting, I'll state an analogue for counting rational points of bounded height in some adelic homogeneous spac
One of the greatest challenges in developing renewable energy sources is finding an efficient energy storage solution to smooth out the inherently fluctuating supply. One cheap solution is lead-acid batteries, which are used to provide off-grid solar energy in developing countries. However, modelling of this technology has fallen behind other types of battery; the state-of-the-art models are either overly simplistic, fitting black-box functions to current and voltage data, or overly complicated, requiring complex and time-consuming numerical simulations. Neither of these methods offers great insight into the chemical behaviour at the micro-scale.
In our research, we use asymptotic methods to explore the Newman porous-electrode model for a constant-current discharge at low current densities, a good estimate for real-life applications. In this limit, we obtain a simple yet accurate formula for the cell voltage as a function of current density and time. We also gain quantitative insight into the effect of various parameters on this voltage. Further, our model allows us to quantitatively investigate the effect of ohmic resistance and mass transport limitations, as a correction to the leading order cell voltage. Finally, we explore the effect on cell voltage of other secondary phenomena, such as growth of a discharge-product layer in the pores and reaction-induced volume changes in the electrolyte.
In this talk we consider the limiting behaviour of the strong solution of the Navier--Stokes equation as the viscosity goes to zero, on a three--dimensional region with curved boundary. Under the Navier and kinematic boundary conditions, we show that the solution converges to that of the Euler equation (in suitable topologies). The proof is based on energy estimates and differential--geometric considerations. This is a joint work with Profs. Gui-Qiang Chen and Zhongmin Qian, both at Oxford.
We discuss a recent preprint by Aschenbrenner, Khélif, Naziazeno and
Scanlon, giving a positive solution to the ring-analogue of Pop's
problem on elementary equivalence vs isomorphism.
Multi-agent systems in nature oftentimes exhibit emergent behaviour, i.e. the formation of patterns in the absence of a leader or external stimuli such as light or food sources. We present a non-local two species crossinteraction model with cross-diffusion and explore its long-time behaviour. We observe a rich zoology of behaviours exhibiting phenomena such as mixing and/or segregation of both species and the formation of travelling pulses.
.. showing that a field K is isomorphic to Q if it has the same absolute Galois group and if it satisfies a very small additional condition (very similar to my talk 2 years ago).
In this presentation, we give an overview of the numerical methods used in commercial oil and gas reservoir simulation. The models are described by flow through porous media and are solved using a series of nested numerical methods. Most of the computational effort resides in solving large linear systems resulting from Newton iterations. Therefore, we will go in greater detail about the iterative linear solvers and preconditioning techniques.
Note: This talk will cover similar topics to the InFoMM group meeting talks on Friday 28th April, but I will discuss more mathematical details for this JAMS talk.
This talk will discuss the so-called ``generic cohomology’’ of function fields over algebraically closed fields, from the point of view of motives and/or Zariski geometry. In particular, I will describe some interesting connections between cup products, algebraic dependence, and (geometric) valuation theory. As an application, I will mention a new result which reconstructs higher-dimensional function fields from their generic cohomology, endowed with some additional motivic data.
Everyone welcome!
Despite its fame there appears to be little literature outlining Lurie's proof sketched in his expository article "On the classification of topological field theories." I shall embark on the quixotic quest to explain how the cobordism hypothesis is formalised and give an overview of Lurie's proof in one hour. I will not be able to go into any of the motivation, but I promise to try to make the talk as accessible as possible.