Coherence and elicitability
Abstract
The risk of a financial position is usually summarized by a risk measure.
As this risk measure has to be estimated from historical data, it is important to be able to verify and compare competing estimation procedures. In
statistical decision theory, risk measures for which such verification and comparison is possible, are called elicitable. It is known that quantile based risk
measures such as value-at-risk are elicitable. However, the coherent risk measure expected shortfall is not elicitable. Hence, it is unclear how to perform
forecast verification or comparison. We address the question whether coherent and elicitable risk measures exist (other than minus the expected value).
We show that one positive answer are expectiles, and that they play a special role amongst all elicitable law-invariant coherent risk measures.
Alternating minimal energy methods for linear systems in higher dimensions
Abstract
When high-dimensional
problems are concerned, not much algorithms can break the curse of
dimensionality, and solve them efficiently and reliably. Among those, tensor
product algorithms, which implement the idea of separation of variables for
multi-index arrays (tensors), seem to be the most general and also very
promising. They originated in quantum physics and chemistry and descent broadly
from the density matrix renormalization group (DMRG) and matrix
product states (MPS) formalisms. The same tensor formats were recently
re-discovered in the numerical linear algebra (NLA) community as the tensor
train (TT) format.
Algorithms developed in the quantum physics community are based on the
optimisation in tensor formats, that is performed subsequently for all
components of a tensor format (i.e. all sites or modes).
The DMRG/MPS schemes are very efficient but very difficult to analyse, and at
the moment only local convergence results for the simplest algorithm are
available. In the NLA community, a common approach is to use a classical
iterative scheme (e.g. GMRES) and enforce the compression to a tensor format at
every step. The formal analysis is quite straightforward, but tensor ranks of
the vectors which span the Krylov subspace grow rapidly with iterations, and
the methods are struggling in practice.
The first attempt to merge classical iterative algorithms and DMRG/MPS methods
was made by White (2005), where the second Krylov vector is used to expand the
search space on the optimisation step.
The idea proved to be useful, but the implementation was based on the fair
amount of physical intuition, and the algorithm is not completely justified.
We have recently proposed the AMEn algorithm for linear systems, that also
injects the gradient direction in the optimisation step, but in a way that
allows to prove the global convergence of the resulted scheme. The
scheme can be easily applied for the computation of the ground state --- the
differences to the algorithm of S. White are emphasized in Dolgov and
Savostyanov (2013).
The AMEn scheme is already acknowledged in the NLA community --- for example it
was recently applied for the computation of extreme eigenstates by Kressner,
Steinlechner and Uschmajew (2013), using the block-TT format proposed by in
Dolgov, Khoromskij, Oseledets and Savostyanov (2014).
At the moment, AMEn algorithm was applied
- to simulate the NMR spectra of large molecules (such as ubiquitin),
- to solve the Fokker-Planck equation for the non-Newtonian polymeric
flows,
- to the chemical master equation describing the mesoscopic model of gene
regulative networks,
- to solve the Heisenberg model problem for a periodic spin chain.
We aim to extend this framework and the analysis to other problems of NLA:
eigenproblems, time-dependent problems, high-dimensional interpolation, and
matrix functions; as well as to a wider list of high-dimensional
problems.
This is a joint work with Sergey Dolgov the from Max-Planck Institute for
Mathematics in the Sciences, Leipzig, Germany.
The rigidity problem for symmetrization inequalities
Abstract
Steiner symmetrization is a very useful tool in the study of isoperimetric inequality. This is also due to the fact that the perimeter of a set is less or equal than the perimeter of its Steiner symmetral. In the same way, in the Gaussian setting,
it is well known that Ehrhard symmetrization does not increase the Gaussian perimeter. We will show characterization results for equality cases in both Steiner and Ehrhard perimeter inequalities. We will also characterize rigidity of equality cases. By rigidity, we mean the situation when all equality cases are trivially obtained by a translation of the Steiner symmetral (or, in the Gaussian setting, by a reflection of the Ehrhard symmetral). We will achieve this through the introduction of a suitable measure-theoretic notion of connectedness, and through a fine analysis of the barycenter function
for a special class of sets. These results are obtained in collaboration with Maria Colombo, Guido De Philippis, and Francesco Maggi.
11:00
'Counterexamples to a conjecture of Wilkie'
Abstract
In an o-minimal expansion of the real field, while few holomorphic functions are globally definable, many may be locally definable. Wilkie conjectured that a few basic operations suffice to obtain all of them from the basic functions in the language, and proved the conjecture at generic points. However, it is false in general. Using Ax's theorem, I will explain one counterexample. However, this is not the end of the story.
This is joint work with Jones and Servi.
Volumes of representations of 3-manifold groups.
Abstract
In some of their recent work Derbez and Wang studied volumes of representations of 3-manifold groups into the Lie groups $$Iso_e \widetilde{SL_2(\mathbb{R})} \mbox{ and }PSL(2,\mathbb{C}).$$ They computed the set of all volumes of representations for a fixed prime closed oriented 3-manifold with $$\widetilde{SL_2(\mathbb{R})}\mbox{-geometry}$$ and used this result to compute some volumes of Graph manifolds after passing to finite coverings.
In the talk I will give a brief introduction to the theory of volumes of representations and state some of Derbez' and Wang's results. Then I will prove an additivity formula for volumes of representations into $$Iso_e \widetilde{SL_2(\mathbb{R})}$$ which enables us to improve some of the results of Derbez and Wang.
14:30
Point versus set topology: constructing examples by splitting points
Abstract
The main result is to give a separable, Cech-complete, 0-dimensional Moore space that is not Scott-domain representable. This result answered questions in the literature; it is known that each complete mertrisable space is Scott-domain representable. The talk will give a history of the techniques involved.
Orbit Decidability and the Conjugacy Problem in Groups
Abstract
We define the notion of orbit decidability in a general context, and descend to the case of groups to recognise it into several classical algorithmic problems. Then we shall go into the realm of free groups and shall analise this notion there, where it is related to the Whitehead problem (with many variations). After this, we shall enter the negative side finding interesting subgroups which are orbit undecidable. Finally, we shall prove a theorem connecting orbit decidability with the conjugacy problem for extensions of groups, and will derive several (positive and negative) applications to the conjugacy problem for groups.
17:00
Buildings, Spectral Networks, and the Asymptotics of Monodromy
Abstract
The talk will focus on how the asymptotic behavior of the Riemann-Hilbert correspondence (and, conjecturally, the non-abelian Hodge correspondence) on a Riemann surface is controlled by certain harmonic maps from the Riemann surface to affine buildings. This is part of joint work with Katzarkov, Noll and Simpson, which revisits, from the perspective afforded by the theory of harmonic maps to buildings, the work of Gaiotto, Moore and Neitzke on spectral networks, WKB problems, BPS states and wall-crossing.
15:30
"Electrical circuits and signal flow diagrams"
Abstract
Nature and the world of human technology are full of
networks. People like to draw diagrams of networks: flow charts,
electrical circuit diagrams, signal flow diagrams, Bayesian networks,
Feynman diagrams and the like. Mathematically-minded people know that
in principle these diagrams fit into a common framework: category
theory. But we are still far from a unified theory of networks.
Combining radial basis functions with the partition-of-unity method for numerically solving PDEs on the sphere
Abstract
We discuss a new collocation-type method for numerically solving partial differential equations (PDEs) on the sphere. The method uses radial basis function (RBF) approximations in a partition of unity framework for approximating spatial derivatives on the sphere. High-orders of accuracy are achieved for smooth solutions, while the overall computational cost of the method scales linearly with the number of unknowns. The discussion will be primarily limited to the transport equation and results will be presented for a few well-known test cases. We conclude with a preliminary application to the non-linear shallow water wave equations on a rotating sphere.
Randomly Colouring Random Graphs
Abstract
We discuss some questions related to coloring the edge/vertices of randomgraphs. In particular we look at
(i) The game chromatic number;
(ii) Rainbow Matchings and Hamilton cycles;
(iii) Rainbow Connection;
(iv) Zebraic Colorings.
(n+ε)-dimensional TQFTs and a higher dimensional Deligne conjecture
Abstract
The classical Deligne conjecture (now a theorem with several published proofs) says that chains on the little disks operad act on Hochschild cohomology. I'll describe a higher dimensional generalization of this result. In fact, even in the dimension of the original Deligne conjecture the generalization has something new to say: Hochschild chains and Hochschild cochains are the first two members of an infinite family of chain complexes associated to an arbitrary associative algebra, and there is a colored, higher genus operad which acts on these chain complexes. The Connes differential and Gerstenhaber bracket are two of the simplest generators of the homology of this operad, and I'll show that there exist additional, independent generators. These new generators are close cousins of Connes and Gerstenhaber which, so far as I can tell, have not been described in the literature.
Polynomials orthogonal with respect to oscillatory weights
Abstract
Onset of menisci
Abstract
A solid object placed at a liquid-gas interface causes the formation of a meniscus around it. In the case of a vertical circular cylinder, the final state of the static meniscus is well understood, from both experimental and theoretical viewpoints. Experimental investigations suggest the presence of two different power laws in the growth of the meniscus. In this talk I will introduce a theoretical model for the dynamics and show that the early-time growth of the meniscus is self-similar, in agreement with one of the experimental predictions. I will also discuss the use of a numerical solution to investigate the validity of the second power law.
12:00
11:00
On the low weissenberg limit for non-newtonian flows
Abstract
In this talk, we will discuss low Weissenberg number
effects on mathematical properties of solutions for several PDEs
governing different viscoelastic fluids.
Constrained rough paths
Abstract
I present some recent work with Bruce Driver and Christian Litterer on rough paths 'constrained’ to lie in a d - dimensional submanifold of a Euclidean space E. We will present a natural definition for this class of rough paths and then describe the (second) order geometric calculus which arises out of this definition. The talk will conclude with more advanced applications, including a rough version of Cartan’s development map.
Operads and the Tree of Life
Abstract
Trees are not just combinatorial structures: they are also
biological structures, both in the obvious way but also in the
study of evolution. Starting from DNA samples from living
species, biologists use increasingly sophisticated mathematical
techniques to reconstruct the most likely “phylogenetic tree”
describing how these species evolved from earlier ones. In their
work on this subject, they have encountered an interesting
example of an operad, which is obtained by applying a variant of
the Boardmann–Vogt “W construction” to the operad for
commutative monoids. The operations in this operad are labelled
trees of a certain sort, and it plays a universal role in the
study of stochastic processes that involve branching. It also
shows up in tropical algebra. This talk is based on work in
progress with Nina Otter [www.fair-fish.ch].