Mon, 24 Oct 2016

16:00 - 17:00
L4

Chern-Gauss-Bonnet formulas for singular non-compact manifold

Reto Buzano
(Queen Mary University London)
Abstract

A generalisation of the classical Gauss-Bonnet theorem to higher-dimensional compact Riemannian manifolds was discovered by Chern and has been known for over fifty years. However, very little is known about the corresponding formula for complete or singular Riemannian manifolds. In this talk, we explain a new Chern-Gauss-Bonnet theorem for a class of manifolds with finitely many conformally flat ends and singular points. More precisely, under the assumptions of finite total Q curvature and positive scalar curvature at the ends and at the singularities, we obtain a Chern-Gauss-Bonnet type formula with error terms that can be expressed as isoperimetric deficits. This is joint work with Huy Nguyen. 

Wed, 09 Nov 2016
15:00
L5

On the Enumeration of Irreducible Polynomials over GF(q) with Prescribed Coefficients

Rob Granger
(EPFL (Ecole Polytechnique Federale de Lausanne))
Abstract

Gauss was the first to give a formula for the number of monic irreducible polynomials of degree n over a finite field. A natural problem is to determine the number of such polynomials for which certain coefficients are prescribed. While some asymptotic and existence results have been obtained, very few exact results are known. In this talk I shall present an algorithm which for any finite field GF(q) of characteristic p expresses the number of monic irreducibles of degree n for which the first l < p coefficients are prescribed, for n >= l and coprime to p, in terms of the number of GF(q^n)-rational points of certain affine varieties defined over GF(q). 
The GF(2) base field case is related to the distribution of binary Kloosterman sums, which have numerous applications in coding theory and cryptography, for example via the construction of bent functions. Using a variant of the algorithm, we present varieties (which are all curves) for l <= 7 and compute explicit formulae for l <= 5; before this work such formulae were only known for l <= 3. While this connection motivates the problem, the talk shall focus mainly on computational algebraic geometry, with the algorithm, theoretical questions and computational challenges taking centre stage.

Fri, 28 Oct 2016

10:00 - 11:00
L4

Feasibility projection for vibrational and damping constraints of turbines

Ulrich Ehehalt
(Siemens P & G)
Abstract

The challenge is to develop an automated process that transforms an initial desired design of turbine rotor and blades in to a close approximation having eigenfrequencies that avoid the operating frequency (and its first harmonic) of the turbine.

Wed, 23 Nov 2016
15:00
L5

Explicit isogenies in quadratic time in any characteristic

Luca de Feo
(Versailles-Saint-Quentin)
Abstract

Isogenies are algebraic group morphisms of elliptic curves. Let E, E' be two (ordinary) elliptic curves defined over a finite field of characteristic p, and suppose that there exists an isogeny ψ between E and E'. The explicit isogeny problem asks to compute a rational function expression for ψ. Various specializations of this problem appear naturally in point counting and elliptic curve cryptography. There exist essentially two families of algorithms to compute isogenies. Algorithms based on Weierstraß' differential equation are very fast and well suited in the point count setting, but are clumsier in general. Algorithms based on interpolation work more generally, but have exponential complexity in log(p) (the characteristic of the finite field). We propose a new interpolation-based algorithm that solves the explicit isogeny problem in polynomial time in all the involved parameters. Our approach is inspired by a previous algorithm of Couveignes', that performs interpolation on the p-torsion on the curves. We replace the p-torsion in Couveignes' algorithm with the ℓ-torsion for some small prime ℓ; however this adaptation requires some non-trivial work on isogeny graphs in order to yield a satisfying complexity. Joint work with Cyril Hugounenq, Jérôme Plût and Éric Schost.

Tue, 08 Nov 2016
17:00
C1

Rational approximation of functions with logarithmic singularities

Alexander Pushnitski
(King's College London)
Abstract


I will report on the results of my recent work with Dmitri Yafaev (Univeristy of Rennes-1). We consider functions $\omega$ on the unit circle with a finite number of logarithmic singularities. We study the approximation of $\omega$ by rational functions in the BMO norm. We find explicitly the leading term of the asymptotics of the distance in the BMO norm between $\omega$ and the set of rational functions of degree $n$ as $n$ goes to infinity. Our approach relies on the Adamyan-Arov-Krein theorem and on the study of the asymptotic behaviour of singular values of Hankel operators.
 

Thu, 24 Nov 2016
12:00
L5

Very weak solutions to non-Newtonian fluids

Sebastian Schwarzacher
(Charles University, Prague)
Abstract
I will present a new result which was established in collaboration with M. Bulıcek and J. Burczak. We established an existence, uniqueness and optimal regularity results for very weak solutions to certain incompressible non-Newtonian fluids. We introduce structural assumptions of Uhlenbeck type on the stress tensor. These as-sumptions are sufficient and to some extend also necessary to built a unified theory. Our approach leads qualitatively to the same so called Lp-theory as the one that is available for the linear Stokes equation.
Thu, 03 Nov 2016
12:00
L5

A new approach to study strong advection problems

Harsha Hutridurga
(Imperial College)
Abstract
In this talk, I shall be attempting to give an overview of a new weak convergence type tool developed by myself, Thomas Holding (Warwick) and Jeffrey Rauch (Michigan) to handle multiple scales in advection-diffusion type models used in the turbulent diffusion theories. Loosely speaking, our strategy is to recast the advection-diffusion equation in moving coordinates dictated by the flow associated with a mean advective field. Crucial to our analysis is the introduction of a fast time variable. We introduce a notion of "convergence along mean flows" which is a weak multiple scales type convergence -- in the spirit of two-scale convergence theory. We have used ideas from the theory of "homogenization structures" developed by G. Nguetseng. We give a sufficient structural condition on the "Jacobain matrix" associated with the flow of the mean advective field which guarantees the homogenization of the original advection-diffusion problem as the microscopic lengthscale vanishes. We also show the robustness of this structural condition by giving an example where the failure of such a structural assumption leads to a degenerate limit behaviour. More details on this new tool in homogenzation theory can be found in the following paper: T. Holding, H. Hutridurga, J. Rauch. Convergence along mean flows, in press SIAM J Math. Anal., arXiv e-print: arXiv:1603.00424, (2016). In a sequel to the above mentioned work, we are preparing a work where we address the growth in the Jacobain matrix -- termed as Lagrangian stretching in Fluid dynamics literature -- and its consequences on the vanishing microscopic lengthscale limit. To this effect, we introduce a new kind of multiple scales convergence in weighted Lebesgue spaces. This helps us recover some results in Freidlin-Wentzell theory. This talk aims to present both these aspects of our work in an unified manner.
Thu, 27 Oct 2016
12:00
L5

The inverse Calderón problem with Lipschitz conductivities

Pedro Caro
(Basque Center for Applied Mathematics)
Abstract
In this talk I will present a recent uniqueness result for an inverse boundary value problem consisting of recovering the conductivity of a medium from boundary measurements. This inverse problem was proposed by Calderón in 1980 and is the mathematical model for a medical imaging technique called Electrical Impedance Tomography which has promising applications in monitoring lung functions and as an alternative/complementary technique to mammography and Magnetic Resonance Imaging for breast cancer detection. Since in real applications, the medium to be imaged may present quite rough electrical properties, it seems of capital relevance to know what are the minimal regularity assumptions on the conductivity to ensure the unique determination of the conductivity from the boundary measurements. This question is challenging and has been brought to the attention of many analysts. The result I will present provides uniqueness for Lipschitz conductivities and was proved in collaboration with Keith Rogers.
Subscribe to