Thu, 11 Oct 2018

14:00 - 15:00
L4

Least-Squares Padé approximation of Helmholtz problems with parametric/stochastic wavenumber

Prof Fabio Nobile
(EPFL Lausanne)
Abstract

The present work concerns the approximation of the solution map associated to the parametric Helmholtz boundary value problem, i.e., the map which associates to each (real) wavenumber belonging to a given interval of interest the corresponding solution of the Helmholtz equation. We introduce a single-point Least Squares (LS) rational Padé-type approximation technique applicable to any meromorphic Hilbert space-valued univariate map, and we prove the uniform convergence of the Padé approximation error on any compact subset of the interval of interest that excludes any pole. We also present a simplified and more efficient version, named Fast LS-Padé, applicable to Helmholtz-type parametric equations with normal operators.

The LS-Padé techniques are then employed to approximate the frequency response map associated to various parametric time-harmonic wave problems, namely, a transmission/reflection problem, a scattering problem and a problem in high-frequency regime. In all cases we establish the meromorphy of the frequency response map. The Helmholtz equation with stochastic wavenumber is also considered. In particular, for Lipschitz functionals of the solution, and their corresponding probability measures, we establish weak convergence of the measure derived from the LS-Padé approximant to the true one. Two-dimensioanl numerical tests are performed, which confirm the effectiveness of the approximation method.As of the dates

 Joint work with: Francesca Bonizzoni and  Ilaria Perugia (Uni. Vienna), Davide Pradovera (EPFL)

Mon, 21 May 2018
15:45
L5

Unbounded rank expanders, property (T), and upgrading

Masato Mimura
(EPFL Lausanne)
Abstract

The problem of "unbounded rank expanders" asks 
whether we can endow a system of generators with a sequence of 
special linear groups whose degrees tend to infinity over quotient rings 
of Z such that the resulting Cayley graphs form an expander family.
Kassabov answered this question in the affirmative. Furthermore, the 
completely satisfactory solution to this question was given by 
Ershov and Jaikin--Zapirain (Invent. Math., 2010);  they proved
Kazhdan's property (T) for elementary groups over non-commutative 
rings. (T) is equivalent to the fixed point property with respect to 
actions on Hilbert spaces by isometries.

We provide a new framework to "upgrade" relative fixed point 
properties for small subgroups to the fixed point property for the 
whole group. It is inspired by work of Shalom (ICM, 2006). Our 
main criterion is stated only in terms of intrinsic group structure 
(but *without* employing any form of bounded generation). 
This, in particular, supplies a simpler (but not quantitative) 
alternative proof of the aforementioned result of Ershov and 
Jaikin--Zapirain.  

If time permits, we will discuss other applications of our result.

Mon, 29 Jan 2018
15:45
L6

Generalizations of the Rips Filtration for Quasi-Metric Spaces with Corresponding Stability Results

Katharine Turner
(EPFL Lausanne)
Abstract

Rips filtrations over a finite metric space and their corresponding persistent homology are prominent methods in Topological Data Analysis to summarize the ``shape'' of data. For finite metric space $X$ and distance $r$  the traditional Rips complex with parameter $r$ is the flag complex whose vertices are the points in $X$ and whose edges are $\{[x,y]: d(x,y)\leq r\}$. From considering how the homology of these complexes evolves we can create persistence modules (and their associated barcodes and persistence diagrams). Crucial to their use is the stability result that says if $X$ and $Y$ are finite metric space then the bottleneck distance between persistence modules constructed by the Rips filtration is bounded by $2d_{GH}(X,Y)$ (where $d_{GH}$ is the Gromov-Hausdorff distance). Using the asymmetry of the distance function we construct four different constructions analogous to the persistent homology of the Rips filtration and show they also are stable with respect to the Gromov-Hausdorff distance. These different constructions involve ordered-tuple homology, symmetric functions of the distance function, strongly connected components and poset topology.

Thu, 01 Mar 2018

14:00 - 15:00
L4

New Directions in Reduced Order Modeling

Prof Jan Hesthaven
(EPFL Lausanne)
Abstract

The development of reduced order models for complex applications, offering the promise for rapid and accurate evaluation of the output of complex models under parameterized variation, remains a very active research area. Applications are found in problems which require many evaluations, sampled over a potentially large parameter space, such as in optimization, control, uncertainty quantification and applications where near real-time response is needed.

However, many challenges remain to secure the flexibility, robustness, and efficiency needed for general large-scale applications, in particular for nonlinear and/or time-dependent problems.

After giving a brief general introduction to reduced order models, we discuss developments in two different directions. In the first part, we discuss recent developments of reduced methods that conserve chosen invariants for nonlinear time-dependent problems. We pay particular attention to the development of reduced models for Hamiltonian problems and propose a greedy approach to build the basis. As we shall demonstrate, attention to the construction of the basis must be paid not only to ensure accuracy but also to ensure stability of the reduced model. Time permitting, we shall also briefly discuss how to extend the approach to include more general dissipative problems through the notion of port-Hamiltonians, resulting in reduced models that remain stable even in the limit of vanishing viscosity and also touch on extensions to Euler and Navier-Stokes equations.

The second part of the talk discusses the combination of reduced order modeling for nonlinear problems with the use of neural networks to overcome known problems of on-line efficiency for general nonlinear problems. We discuss the general idea in which training of the neural network becomes part of the offline part and demonstrate its potential through a number of examples, including for the incompressible Navier-Stokes equations with geometric variations.

This work has been done with in collaboration with B.F. Afkram (EPFL, CH), N. Ripamonti EPFL, CH) and S. Ubbiali (USI, CH).

Thu, 03 Nov 2016

14:00 - 15:00
Rutherford Appleton Laboratory, nr Didcot

Nonnegative matrix factorization through sparse regression

Dr Robert Luce
(EPFL Lausanne)
Abstract

We consider the problem of computing a nonnegative low rank factorization to a given nonnegative input matrix under the so-called "separabilty condition".  This assumption makes this otherwise NP hard problem polynomial time solvable, and we will use first order optimization techniques to compute such a factorization. The optimization model use is based on sparse regression with a self-dictionary, in which the low rank constraint is relaxed to the minimization of an l1-norm objective function.  We apply these techniques to endmember detection and classification in hyperspecral imaging data.

Tue, 11 Mar 2014

14:00 - 15:00
L4

Freeness of critical cohomological Hall algebras, Kac polynomials and character varieties I

Ben Davison
(EPFL Lausanne)
Abstract

The cohomological Hall algebra of vanishing cycles associated to a quiver with potential is a categorification of the refined DT invariants associated to the same data, and also a very powerful tool for calculating them and proving positivity and integrality conjectures. This becomes especially true if the quiver with potential is "self dual" in a sense to be defined in the talk. After defining and giving a general introduction to the relevant background, I will discuss the main theorem regarding such CoHAs: they are free supercommutative.

Tue, 11 Mar 2014

15:45 - 16:45
L4

Freeness of critical cohomological Hall algebras, Kac polynomials and character varieties II

Ben Davison
(EPFL Lausanne)
Abstract

I will discuss some very well studied cohomology groups that turn out to be captured by the machinery of critical CoHAs, for example the compactly supported cohomology of singular quiver varieties and untwisted character varieties. I will explain the usefulness of this extra CoHA structure on these groups, starting with a new proof of the Kac conjecture, and discuss a conjectural form for the CoHA associated to untwisted character varieties that provides a new way to think about the conjectures of Hausel and Rodriguez-Villegas. Finally I will discuss an approach to purity for the compactly supported cohomology of quiver varieties and a related approach to a conjecture of Shiffmann and Vasserot, analogous to Kirwan surjectivity for the stack of commuting matrices.

Subscribe to EPFL Lausanne