Showing 1–33 of 33 results for author: Huesmann, M

(Non)-hyperuniformity of perturbed lattices

Authors: David Dereudre, Daniela Flimmel, Martin Huesmann, Thomas Leblé

Abstract: We ask whether a stationary lattice in dimension $d$ whose points are shifted by identically distributed but possibly dependent perturbations remains hyperuniform. When $d = 1$ or $2$, we show that it is the case when the perturbations have a finite $d$-moment, and that this condition is sharp. When $d \geq 3$, we construct arbitrarily small perturbations such that the resulting point process is n… ▽ More We ask whether a stationary lattice in dimension $d$ whose points are shifted by identically distributed but possibly dependent perturbations remains hyperuniform. When $d = 1$ or $2$, we show that it is the case when the perturbations have a finite $d$-moment, and that this condition is sharp. When $d \geq 3$, we construct arbitrarily small perturbations such that the resulting point process is not hyperuniform. As a side remark of independent interest, we exhibit hyperuniform processes with arbitrarily slow decay of their number variance. △ Less

Submitted 30 May, 2024; originally announced May 2024.

Comments: 53p. Comments welcome

The link between hyperuniformity, Coulomb energy, and Wasserstein distance to Lebesgue for two-dimensional point processes

Authors: Martin Huesmann, Thomas Leblé

Abstract: We investigate the interplay between three possible properties of stationary point processes: i) Finite Coulomb energy with short-scale regularization, ii) Finite $2$-Wasserstein transportation distance to the Lebesgue measure and iii) Hyperuniformity. In dimension $2$, we prove that i) implies ii), which is known to imply iii), and we provide simple counter-examples to both converse implications.… ▽ More We investigate the interplay between three possible properties of stationary point processes: i) Finite Coulomb energy with short-scale regularization, ii) Finite $2$-Wasserstein transportation distance to the Lebesgue measure and iii) Hyperuniformity. In dimension $2$, we prove that i) implies ii), which is known to imply iii), and we provide simple counter-examples to both converse implications. However, we prove that ii) implies i) for processes with a uniformly bounded density of points, and that i) - finiteness of the regularized Coulomb energy - is equivalent to a certain property of quantitative hyperuniformity that is just slightly stronger than hyperuniformity itself. Our proof relies on the classical link between $H^{-1}$-norm and $2$-Wasserstein distance between measures, on the screening construction for Coulomb gases (of which we present an adaptation to $2$-Wasserstein space which might be of independent interest), and on recent necessary and sufficient conditions for the existence of stationary "electric" fields compatible with a given stationary point process. △ Less

Submitted 29 April, 2024; originally announced April 2024.

Comments: 44p. comments welcome

A Benamou-Brenier formula for transport distances between stationary random measures

Authors: Martin Huesmann, Bastian Müller

Abstract: We derive a Benamou-Brenier type dynamical formulation for the Wasserstein metric $\mathsf W_p$ between stationary random measures recently introduced in [EHJM23]. A key step is a reformulation of the metric $\mathsf W_p$ using Palm probabilities. We derive a Benamou-Brenier type dynamical formulation for the Wasserstein metric $\mathsf W_p$ between stationary random measures recently introduced in [EHJM23]. A key step is a reformulation of the metric $\mathsf W_p$ using Palm probabilities. △ Less

Submitted 7 February, 2024; originally announced February 2024.

Comments: comments welcome

MSC Class: 60D05; 49Q22

Almost sharp rates of convergence for the average cost and displacement in the optimal matching problem

Authors: Michael Goldman, Martin Huesmann, Felix Otto

Abstract: In this note we prove estimates for the average cost in the quadratic optimal transport problem on the two-dimensional flat torus which are optimal up to a double logarithm. We also prove sharp estimates on the displacement. This is based on the combination of a post-processing of our quantitative linearization result together with a quasi-orthogonality property. In this note we prove estimates for the average cost in the quadratic optimal transport problem on the two-dimensional flat torus which are optimal up to a double logarithm. We also prove sharp estimates on the displacement. This is based on the combination of a post-processing of our quantitative linearization result together with a quasi-orthogonality property. △ Less

Submitted 13 December, 2023; originally announced December 2023.

There is no stationary $p$-cyclically monotone Poisson matching in 2D

Authors: Martin Huesmann, Francesco Mattesini, Felix Otto

Abstract: We show that for $p>1$ there is no $p$-cyclically monotone stationary matching of two independent Poisson processes in dimension $d=2$. The proof combines the $p$-harmonic approximation result from \cite[Theorem 1.1]{koch23} with local asymptotics for the two-dimensional matching problem. Moreover, we prove a.s. local upper bounds of the correct order in the case $p>1$, which, to the best of our k… ▽ More We show that for $p>1$ there is no $p$-cyclically monotone stationary matching of two independent Poisson processes in dimension $d=2$. The proof combines the $p$-harmonic approximation result from \cite[Theorem 1.1]{koch23} with local asymptotics for the two-dimensional matching problem. Moreover, we prove a.s. local upper bounds of the correct order in the case $p>1$, which, to the best of our knowledge, are not readily available in the current literature. △ Less

Submitted 29 November, 2023; originally announced November 2023.

Comments: Comments very welcome! arXiv admin note: text overlap with arXiv:2109.13590

Optimal transport of stationary point processes: Metric structure, gradient flow and convexity of the specific entropy

Authors: Matthias Erbar, Martin Huesmann, Jonas Jalowy, Bastian Müller

Abstract: We develop a theory of optimal transport for stationary random measures with a focus on stationary point processes and construct a family of distances on the set of stationary random measures. These induce a natural notion of interpolation between two stationary random measures along a shortest curve connecting them. In the setting of stationary point processes we leverage this transport distance… ▽ More We develop a theory of optimal transport for stationary random measures with a focus on stationary point processes and construct a family of distances on the set of stationary random measures. These induce a natural notion of interpolation between two stationary random measures along a shortest curve connecting them. In the setting of stationary point processes we leverage this transport distance to give a geometric interpretation for the evolution of infinite particle systems with stationary distribution. Namely, we characterise the evolution of infinitely many Brownian motions as the gradient flow of the specific relative entropy w.r.t.~the Poisson point process. Further, we establish displacement convexity of the specific relative entropy along optimal interpolations of point processes and establish an stationary analogue of the HWI inequality, relating specific entropy, transport distance, and a specific relative Fisher information. △ Less

Submitted 1 February, 2024; v1 submitted 21 April, 2023; originally announced April 2023.

Comments: 49 pages. Comments are welcome! Version 2: The paper has been completely revised (proofs have been reworked, arguments simplified, presentation streamlined, new results (HWI) and examples added)

MSC Class: 60D05; 49Q22

Transportation of random measures not charging small sets

Authors: Martin Huesmann, Bastian Müller

Abstract: Let $(ξ,η)$ be a pair of jointly stationary, ergodic random measures of equal finite intensity. A balancing allocation is a translation-invariant (equivariant) map $T:\mathbb{R}^d\to\mathbb{R}^d$ such that the image measure of $ξ$ under $T$ is $η$. We show that as soon as $ξ$ does not charge small sets, i.e.\ does not give mass to $(d-1)$-rectifiable sets, there is always a balancing allocation… ▽ More Let $(ξ,η)$ be a pair of jointly stationary, ergodic random measures of equal finite intensity. A balancing allocation is a translation-invariant (equivariant) map $T:\mathbb{R}^d\to\mathbb{R}^d$ such that the image measure of $ξ$ under $T$ is $η$. We show that as soon as $ξ$ does not charge small sets, i.e.\ does not give mass to $(d-1)$-rectifiable sets, there is always a balancing allocation $T$ which is measurably depending only on $(ξ,η)$, i.e. $T$ is a factor. △ Less

Submitted 1 March, 2023; originally announced March 2023.

Comments: comments welcome

Wasserstein Asymptotics for the Empirical Measure of Fractional Brownian Motion on a Flat Torus

Authors: Martin Huesmann, Francesco Mattesini, Dario Trevisan

Abstract: We establish asymptotic upper and lower bounds for the Wasserstein distance of any order $p\ge 1$ between the empirical measure of a fractional Brownian motion on a flat torus and the uniform Lebesgue measure. Our inequalities reveal an interesting interaction between the Hurst index $H$ and the dimension $d$ of the state space, with a "phase-transition" in the rates when $d=2+1/H$, akin to the Aj… ▽ More We establish asymptotic upper and lower bounds for the Wasserstein distance of any order $p\ge 1$ between the empirical measure of a fractional Brownian motion on a flat torus and the uniform Lebesgue measure. Our inequalities reveal an interesting interaction between the Hurst index $H$ and the dimension $d$ of the state space, with a "phase-transition" in the rates when $d=2+1/H$, akin to the Ajtai-Komlós-Tusnády theorem for the optimal matching of i.i.d. points in two-dimensions. Our proof couples PDE's and probabilistic techniques, and also yields a similar result for discrete-time approximations of the process, as well as a lower bound for the same problem on $\mathbb{R}^d$. △ Less

Submitted 2 May, 2022; originally announced May 2022.

Comments: Comments very welcome

There is no stationary cyclically monotone Poisson matching in 2d

Authors: Martin Huesmann, Francesco Mattesini, Felix Otto

Abstract: We show that there is no cyclically monotone stationary matching of two independent Poisson processes in dimension $d=2$. The proof combines the harmonic approximation result from \cite{GHO} with local asymptotics for the two-dimensional matching problem for which we give a new self-contained proof using martingale arguments. We show that there is no cyclically monotone stationary matching of two independent Poisson processes in dimension $d=2$. The proof combines the harmonic approximation result from \cite{GHO} with local asymptotics for the two-dimensional matching problem for which we give a new self-contained proof using martingale arguments. △ Less

Submitted 28 September, 2021; originally announced September 2021.

Comments: Comments very welcome

A fluctuation result for the displacement in the optimal matching problem

Authors: Michael Goldman, Martin Huesmann

Abstract: The aim of this paper is to justify in dimensions two and three the ansatz of Caracciolo et al. stating that the displacement in the optimal matching problem is essentially given by the solution to the linearized equation i.e. the Poisson equation. Moreover, we prove that at all mesoscopic scales, this displacement is close in suitable negative Sobolev spaces to a curl-free Gaussian free field. Fo… ▽ More The aim of this paper is to justify in dimensions two and three the ansatz of Caracciolo et al. stating that the displacement in the optimal matching problem is essentially given by the solution to the linearized equation i.e. the Poisson equation. Moreover, we prove that at all mesoscopic scales, this displacement is close in suitable negative Sobolev spaces to a curl-free Gaussian free field. For this we combine a quantitative estimate on the difference between the displacement and the linearized object, which is based on the large-scale regularity theory recently developed in collaboration with F. Otto, together with a qualitative convergence result for the linearized problem. △ Less

Submitted 6 May, 2021; originally announced May 2021.

Comments: Comments very welcome!

Shadows and Barriers

Authors: Martin Brückerhoff, Martin Huesmann

Abstract: We show an intimate connection between solutions of the Skorokhod Embedding Problem which are given as the first hitting time of a barrier and the concept of shadows in martingale optimal transport. More precisely, we show that a solution $τ$ to the Skorokhod Embedding Problem between $μ$ and $ν$ is of the form $τ= \inf \{t \geq 0 : (X_t,B_t) \in \mathcal{R}\}$ for some increasing process… ▽ More We show an intimate connection between solutions of the Skorokhod Embedding Problem which are given as the first hitting time of a barrier and the concept of shadows in martingale optimal transport. More precisely, we show that a solution $τ$ to the Skorokhod Embedding Problem between $μ$ and $ν$ is of the form $τ= \inf \{t \geq 0 : (X_t,B_t) \in \mathcal{R}\}$ for some increasing process $(X_t)_{t \geq 0}$ and a barrier $\mathcal{R}$ if and only if there exists a time-change $(T_l)_{l \geq 0}$ such that for all $l \geq 0$ the equation $$\mathbb{P}[B_τ \in \cdot , τ\geq T_l] = \mathcal{S}^ν(\mathbb{P}[B_{T_l} \in \cdot , τ\geq T_l])$$ is satisfied, i.e.\ the distribution of $B_τ$ on the event that the Brownian motion is stopped after $T_l$ is the shadow of the distribution of $B_{T_l}$ on this event in the terminal distribution $ν$. This equivalence allows us to construct new families of barrier solutions that naturally interpolate between two given barrier solutions. We exemplify this by an interpolation between the Root embedding and the left-monotone embedding. △ Less

Submitted 5 March, 2021; originally announced March 2021.

Comments: Comments very welcome!

MSC Class: 60G40; 60G42; 60J45

Shadow martingales -- a stochastic mass transport approach to the peacock problem

Authors: Martin Brückerhoff, Martin Huesmann, Nicolas Juillet

Abstract: Given a family of real probability measures $(μ_t)_{t\geq 0}$ increasing in convex order (a peacock) we describe a systematic method to create a martingale exactly fitting the marginals at any time. The key object for our approach is the obstructed shadow of a measure in a peacock, a generalization of the (obstructed) shadow introduced in \cite{BeJu16,NuStTa17}. As input data we take an increasing… ▽ More Given a family of real probability measures $(μ_t)_{t\geq 0}$ increasing in convex order (a peacock) we describe a systematic method to create a martingale exactly fitting the marginals at any time. The key object for our approach is the obstructed shadow of a measure in a peacock, a generalization of the (obstructed) shadow introduced in \cite{BeJu16,NuStTa17}. As input data we take an increasing family of measures $(ν^α)_{α\in [0,1]}$ with $ν^α(\mathbb{R})=α$ that are submeasures of $μ_0$, called a parametrization of $μ_0$. Then, for any $α$ we define an evolution $(η^α_t)_{t\geq 0}$ of the measure $ν^α=η^α_0$ across our peacock by setting $η^α_t$ equal to the obstructed shadow of $ν^α$ in $(μ_s)_{s \in [0,t]}$. We identify conditions on the parametrization $(ν^α)_{α\in [0,1]}$ such that this construction leads to a unique martingale measure $π$, the shadow martingale, without any assumptions on the peacock. In the case of the left-curtain parametrization $(ν_{\text{lc}}^α)_{α\in [0,1]}$ we identify the shadow martingale as the unique solution to a continuous-time version of the martingale optimal transport problem. Furthermore, our method enriches the knowledge on the Predictable Representation Property (PRP) since any shadow martingale comes with a canonical Choquet representation in extremal Markov martingales. △ Less

Submitted 8 September, 2022; v1 submitted 18 June, 2020; originally announced June 2020.

Comments: Final version

MSC Class: Primary 60G42; 60G44; Secondary 91G20

Switching Identities by Probabilistic Means

Authors: J. Backoff, A. M. G. Cox, A. Grass, M. Huesmann

Abstract: Switching identities have a long history in potential theory and stochastic analysis. In recent work of Cox and Wang, a switching identity was used to connect an optimal stopping problem and the Skorokhod embedding problem (SEP). Typically switching identies of this form are derived using deep analytic connections. In this paper, we prove the switching identities using a simple probabilistic argum… ▽ More Switching identities have a long history in potential theory and stochastic analysis. In recent work of Cox and Wang, a switching identity was used to connect an optimal stopping problem and the Skorokhod embedding problem (SEP). Typically switching identies of this form are derived using deep analytic connections. In this paper, we prove the switching identities using a simple probabilistic argument, which furthermore highlights a previously unexplored symmetry between the Root and Rost solutions to the SEP. △ Less

Submitted 25 February, 2021; v1 submitted 28 February, 2020; originally announced February 2020.

Quantitative linearization results for the Monge-Ampère equation

Authors: Michael Goldman, Martin Huesmann, Felix Otto

Abstract: This paper is about quantitative linearization results for the Monge-Ampère equation with rough data. We develop a large-scale regularity theory and prove that if a measure $μ$ is close to the Lebesgue measure in Wasserstein distance at all scales, then the displacement of the macroscopic optimal coupling is quantitatively close at all scales to the gradient of the solution of the corresponding Po… ▽ More This paper is about quantitative linearization results for the Monge-Ampère equation with rough data. We develop a large-scale regularity theory and prove that if a measure $μ$ is close to the Lebesgue measure in Wasserstein distance at all scales, then the displacement of the macroscopic optimal coupling is quantitatively close at all scales to the gradient of the solution of the corresponding Poisson equation. The main ingredient we use is a harmonic approximation result for the optimal transport plan between arbitrary measures. This is used in a Campanato iteration which transfers the information through the scales. △ Less

Submitted 30 April, 2021; v1 submitted 23 May, 2019; originally announced May 2019.

Comments: Comment v4: superfluous assumption in Thm 1.2 deleted

The one-dimensional log-gas free energy has a unique minimiser

Authors: Matthias Erbar, Martin Huesmann, Thomas Leblé

Abstract: We prove that, at every positive temperature, the infinite-volume free energy of the one dimensional log-gas, or beta-ensemble, has a unique minimiser, which is the Sine-beta process arising from random matrix theory. We rely on a quantitative displacement convexity argument at the level of point processes, and on the screening procedure introduced by Sandier-Serfaty. We prove that, at every positive temperature, the infinite-volume free energy of the one dimensional log-gas, or beta-ensemble, has a unique minimiser, which is the Sine-beta process arising from random matrix theory. We rely on a quantitative displacement convexity argument at the level of point processes, and on the screening procedure introduced by Sandier-Serfaty. △ Less

Submitted 17 December, 2018; originally announced December 2018.

Comments: 45 pages

A large-scale regularity theory for the Monge-Ampere equation with rough data and application to the optimal matching problem

Authors: Michael Goldman, Martin Huesmann, Felix Otto

Abstract: The aim of this paper is to obtain quantitative bounds for solutions to the optimal matching problem in dimension two. These bounds show that up to a logarithmically divergent shift, the optimal transport maps are close to be the identity at every scale. These bounds allow us to pass to the limit as the system size goes to infinity and construct a locally optimal coupling between the Lebesgue meas… ▽ More The aim of this paper is to obtain quantitative bounds for solutions to the optimal matching problem in dimension two. These bounds show that up to a logarithmically divergent shift, the optimal transport maps are close to be the identity at every scale. These bounds allow us to pass to the limit as the system size goes to infinity and construct a locally optimal coupling between the Lebesgue measure and the Poisson point process which retains the stationarity properties of the Poisson point process only at the level of second-order differences. Our quantitative bounds are obtained through a Campanato iteration scheme based on a deterministic and a stochastic ingredient. The deterministic part, which can be seen as our main contribution, is a regularity result for Monge-Ampère equations with rough right-hand side. Since we believe that it could be useful in other contexts, we prove it for general space dimensions. The stochastic part is a concentration result for the optimal matching problem which builds on previous work by Ambrosio, Stra and Trevisan. △ Less

Submitted 28 August, 2018; originally announced August 2018.

Comments: comments are welcome

Measure-valued martingales and optimality of Bass-type solutions to the Skorokhod Embedding Problem

Authors: Mathias Beiglböck, Alexander M. G. Cox, Martin Huesmann, Sigrid Källblad

Abstract: In this paper we consider (probability-)measure valued processes, which we call MVMs, which have a natural martingale structure. Following previous work of Eldan and Cox-Källblad, these processes are known to have a close connection to the solutions to the Skorokhod Embedding Problem. In this paper, we consider properties of these processes, and in particular, we are able to show that the MVMs con… ▽ More In this paper we consider (probability-)measure valued processes, which we call MVMs, which have a natural martingale structure. Following previous work of Eldan and Cox-Källblad, these processes are known to have a close connection to the solutions to the Skorokhod Embedding Problem. In this paper, we consider properties of these processes, and in particular, we are able to show that the MVMs connected to the Bass and Root embeddings have natural measure-valued analogues which also possess natural optimality properties. We also introduce a new MVM which is a generalisation of both the Bass and Root MVMs. △ Less

Submitted 23 August, 2017; originally announced August 2017.

MSC Class: 60G40; 60G44

Martingale Benamou--Brenier: a probabilistic perspective

Authors: Julio Backhoff-Veraguas, Mathias Beiglböck, Martin Huesmann, Sigrid Källblad

Abstract: In classical optimal transport, the contributions of Benamou-Brenier and McCann regarding the time-dependent version of the problem are cornerstones of the field and form the basis for a variety of applications in other mathematical areas. We suggest a Benamou-Brenier type formulation of the martingale transport problem for given $d$-dimensional distributions $μ, ν$ in convex order. The unique s… ▽ More In classical optimal transport, the contributions of Benamou-Brenier and McCann regarding the time-dependent version of the problem are cornerstones of the field and form the basis for a variety of applications in other mathematical areas. We suggest a Benamou-Brenier type formulation of the martingale transport problem for given $d$-dimensional distributions $μ, ν$ in convex order. The unique solution $M^*=(M_t^*)_{t\in [0,1]}$ of this problem turns out to be a Markov-martingale which has several notable properties: In a specific sense it mimics the movement of a Brownian particle as closely as possible subject to the conditions $M^*_0\simμ, M^*_1\sim ν$. Similar to McCann's displacement-interpolation, $M^*$ provides a time-consistent interpolation between $μ$ and $ν$. For particular choices of the initial and terminal law, $M^*$ recovers archetypical martingales such as Brownian motion, geometric Brownian motion, and the Bass martingale. Furthermore, it yields a natural approximation to the local vol model and a new approach to Kellerer's theorem. This article is parallel to the work of Huesmann-Trevisan, who consider a related class of problems from a PDE-oriented perspective. △ Less

Submitted 15 January, 2019; v1 submitted 16 August, 2017; originally announced August 2017.

Comments: We have corrected some typos, upgraded the dynamic programming principle, and included a proof of the Lipschitz-Markov property for the transition kernel of stretched Brownian motion in dimension one

MSC Class: 60G42; 60G44; 91G20

A Benamou-Brenier formulation of martingale optimal transport

Authors: Martin Huesmann, Dario Trevisan

Abstract: We introduce a Benamou-Brenier formulation for the continuous-time martingale optimal transport problem as a weak length relaxation of its discrete-time counterpart. By the correspondence between classical martingale problems and Fokker-Planck equations, we obtain an equivalent PDE formulation for which basic properties such as existence, duality and geodesic equations can be analytically studied,… ▽ More We introduce a Benamou-Brenier formulation for the continuous-time martingale optimal transport problem as a weak length relaxation of its discrete-time counterpart. By the correspondence between classical martingale problems and Fokker-Planck equations, we obtain an equivalent PDE formulation for which basic properties such as existence, duality and geodesic equations can be analytically studied, yielding corresponding results for the stochastic formulation. In the one dimensional case, sufficient conditions for finiteness of the cost are also given and a link between geodesics and porous medium equations is partially investigated. △ Less

Submitted 27 August, 2018; v1 submitted 5 July, 2017; originally announced July 2017.

The geometry of multi-marginal Skorokhod Embedding

Authors: Mathias Beiglboeck, Alexander Cox, Martin Huesmann

Abstract: The Skorokhod Embedding Problem (SEP) is one of the classical problems in the study of stochastic processes, with applications in many different fields (cf.~ the surveys \cite{Ob04,Ho11}). Many of these applications have natural multi-marginal extensions leading to the \emph{(optimal) multi-marginal Skorokhod problem} (MSEP). Some of the first papers to consider this problem are \cite{Ho98b, BrHoR… ▽ More The Skorokhod Embedding Problem (SEP) is one of the classical problems in the study of stochastic processes, with applications in many different fields (cf.~ the surveys \cite{Ob04,Ho11}). Many of these applications have natural multi-marginal extensions leading to the \emph{(optimal) multi-marginal Skorokhod problem} (MSEP). Some of the first papers to consider this problem are \cite{Ho98b, BrHoRo01b, MaYo02}. However, this turns out to be difficult using existing techniques: only recently a complete solution was be obtained in \cite{CoObTo15} establishing an extension of the Root construction, while other instances are only partially answered or remain wide open. In this paper, we extend the theory developed in \cite{BeCoHu14} to the multi-marginal setup which is comparable to the extension of the optimal transport problem to the multi-marginal optimal transport problem. As for the one-marginal case, this viewpoint turns out to be very powerful. In particular, we are able to show that all classical optimal embeddings have natural multi-marginal counterparts. Notably these different constructions are linked through a joint geometric structure and the classical solutions are recovered as particular cases. Moreover, our results also have consequences for the study of the martingale transport problem as well as the peacock problem. △ Less

Submitted 26 May, 2017; originally announced May 2017.

MSC Class: 60G42; 60G44; 91G20

Model-independent pricing with insider information: a Skorokhod embedding approach

Authors: Beatrice Acciaio, Alexander M. G. Cox, Martin Huesmann

Abstract: In this paper, we consider the pricing and hedging of a financial derivative for an insider trader, in a model-independent setting. In particular, we suppose that the insider wants to act in a way which is independent of any modelling assumptions, but that she observes market information in the form of the prices of vanilla call options on the asset. We also assume that both the insider's informat… ▽ More In this paper, we consider the pricing and hedging of a financial derivative for an insider trader, in a model-independent setting. In particular, we suppose that the insider wants to act in a way which is independent of any modelling assumptions, but that she observes market information in the form of the prices of vanilla call options on the asset. We also assume that both the insider's information, which takes the form of a set of impossible paths, and the payoff of the derivative are time-invariant. This setup allows us to adapt recent work of Beiglboeck, Cox and Huesmann (2016) to prove duality results and a monotonicity principle, which enables us to determine geometric properties of the optimal models. Moreover, we show that this setup is powerful, in that we are able to find analytic and numerical solutions to certain pricing and hedging problems. △ Less

Submitted 24 June, 2020; v1 submitted 28 October, 2016; originally announced October 2016.

MSC Class: 91G20; 60G40

Monotonicity Preserving Transformations of MOT and SEP

Authors: Martin Huesmann, Florian Stebegg

Abstract: Recently, \cite{BeJu16, BeNuTo16} established that optimizers to the martingale optimal transport problem (MOT) are concentrated on $c$-monotone sets. In this article we characterize monotonicity preserving transformations revealing certain symmetries between optimizers of MOT for different cost functions. Due to the intimate connection of MOT and the Skorokhod embedding problem (SEP) these transf… ▽ More Recently, \cite{BeJu16, BeNuTo16} established that optimizers to the martingale optimal transport problem (MOT) are concentrated on $c$-monotone sets. In this article we characterize monotonicity preserving transformations revealing certain symmetries between optimizers of MOT for different cost functions. Due to the intimate connection of MOT and the Skorokhod embedding problem (SEP) these transformations are also monotonicity preserving and disclose symmetries for certain solutions to the optimal SEP. Furthermore, the SEP picture allows to easily understand the geometry of these transformations once we have established the SEP counterparts to the known solutions of MOT based on the monotonicity principle for SEP which in turn allows to directly read off the structure of the MOT optimizers. △ Less

Submitted 3 March, 2017; v1 submitted 13 September, 2016; originally announced September 2016.

Comments: 17 pages, 6 figures

Tranport estimates for random measures in dimension one

Authors: Martin Huesmann

Abstract: We show that there is a sharp threshold in dimension one for the transport cost between the Lebesgue measure $λ$ and an invariant random measure $μ$ of unit intensity to be finite. We show that for \emph{any} such random measure the $L^1$ cost are infinite provided that the first central moments $\mathbb{E}[|n-μ([0,n))|]$ diverge. Furthermore, we establish simple and sharp criteria, based on the v… ▽ More We show that there is a sharp threshold in dimension one for the transport cost between the Lebesgue measure $λ$ and an invariant random measure $μ$ of unit intensity to be finite. We show that for \emph{any} such random measure the $L^1$ cost are infinite provided that the first central moments $\mathbb{E}[|n-μ([0,n))|]$ diverge. Furthermore, we establish simple and sharp criteria, based on the variance of $μ([0,n)]$, for the $L^p$ cost to be finite for $0<p<1$. △ Less

Submitted 13 October, 2015; originally announced October 2015.

Comments: comments are welcome

MSC Class: 60G57; 60G55; 49Q20

Root to Kellerer

Authors: Mathias Beiglböck, Martin Huesmann, Florian Stebegg

Abstract: We revisit Kellerer's Theorem, that is, we show that for a family of real probability distributions $(μ_t)_{t\in [0,1]}$ which increases in convex order there exists a Markov martingale $(S_t)_{t\in[0,1]}$ s.t.\ $S_t\sim μ_t$. To establish the result, we observe that the set of martingale measures with given marginals carries a natural compact Polish topology. Based on a particular property of t… ▽ More We revisit Kellerer's Theorem, that is, we show that for a family of real probability distributions $(μ_t)_{t\in [0,1]}$ which increases in convex order there exists a Markov martingale $(S_t)_{t\in[0,1]}$ s.t.\ $S_t\sim μ_t$. To establish the result, we observe that the set of martingale measures with given marginals carries a natural compact Polish topology. Based on a particular property of the martingale coupling associated to Root's embedding this allows for a relatively concise proof of Kellerer's theorem. We emphasize that many of our arguments are borrowed from Kellerer \cite{Ke72}, Lowther \cite{Lo07}, and Hirsch-Roynette-Profeta-Yor \cite{HiPr11,HiRo12}. △ Less

Submitted 28 July, 2015; originally announced July 2015.

Comments: 8 pages, 1 figure

MSC Class: Primary 60G42; 60G44; Secondary 91G20

Pathwise super-replication via Vovk's outer measure

Authors: Mathias Beiglböck, Alexander M. G. Cox, Martin Huesmann, Nicolas Perkowski, David J. Prömel

Abstract: Since Hobson's seminal paper [D. Hobson: Robust hedging of the lookback option. In: Finance Stoch. (1998)] the connection between model-independent pricing and the Skorokhod embedding problem has been a driving force in robust finance. We establish a general pricing-hedging duality for financial derivatives which are susceptible to the Skorokhod approach. Using Vovk's approach to mathematical fi… ▽ More Since Hobson's seminal paper [D. Hobson: Robust hedging of the lookback option. In: Finance Stoch. (1998)] the connection between model-independent pricing and the Skorokhod embedding problem has been a driving force in robust finance. We establish a general pricing-hedging duality for financial derivatives which are susceptible to the Skorokhod approach. Using Vovk's approach to mathematical finance we derive a model-independent super-replication theorem in continuous time, given information on finitely many marginals. Our result covers a broad range of exotic derivatives, including lookback options, discretely monitored Asian options, and options on realized variance. △ Less

Submitted 13 July, 2016; v1 submitted 14 April, 2015; originally announced April 2015.

Comments: 18 pages

MSC Class: Primary: 60G44; 91G20; 91B24; Secondary: 60G42

Journal ref: Finance Stoch., 21(4):1141-1166, 2017

Curvature bounds for configuration spaces

Authors: Matthias Erbar, Martin Huesmann

Abstract: We show that the configuration space over a manifold M inherits many curvature properties of the manifold. For instance, we show that a lower Ricci curvature bound on M implies for the configuration space a lower Ricci curvature bound in the sense of Lott-Sturm-Villani, the Bochner inequality, gradient estimates and Wasserstein contraction. Moreover, we show that the heat flow on the configuration… ▽ More We show that the configuration space over a manifold M inherits many curvature properties of the manifold. For instance, we show that a lower Ricci curvature bound on M implies for the configuration space a lower Ricci curvature bound in the sense of Lott-Sturm-Villani, the Bochner inequality, gradient estimates and Wasserstein contraction. Moreover, we show that the heat flow on the configuration space, or the infinite independent particle process, can be identified as the gradient flow of the entropy. △ Less

Submitted 22 May, 2014; originally announced May 2014.

Comments: 34 pages

Optimal Transport and Skorokhod Embedding

Authors: Mathias Beiglboeck, Alexander M. G. Cox, Martin Huesmann

Abstract: The Skorokhod embedding problem is to represent a given probability as the distribution of Brownian motion at a chosen stopping time. Over the last 50 years this has become one of the important classical problems in probability theory and a number of authors have constructed solutions with particular optimality properties. These constructions employ a variety of techniques ranging from excursion t… ▽ More The Skorokhod embedding problem is to represent a given probability as the distribution of Brownian motion at a chosen stopping time. Over the last 50 years this has become one of the important classical problems in probability theory and a number of authors have constructed solutions with particular optimality properties. These constructions employ a variety of techniques ranging from excursion theory to potential and PDE theory and have been used in many different branches of pure and applied probability. We develop a new approach to Skorokhod embedding based on ideas and concepts from optimal mass transport. In analogy to the celebrated article of Gangbo and McCann on the geometry of optimal transport, we establish a geometric characterization of Skorokhod embeddings with desired optimality properties. This leads to a systematic method to construct optimal embeddings. It allows us, for the first time, to derive all known optimal Skorokhod embeddings as special cases of one unified construction and leads to a variety of new embeddings. While previous constructions typically used particular properties of Brownian motion, our approach applies to all sufficiently regular Markov processes. △ Less

Submitted 13 May, 2016; v1 submitted 13 July, 2013; originally announced July 2013.

Comments: Substantial revision to improve the readability of the paper

MSC Class: 60G42; 60G44 (Primary) 91G20 (Secondary)

Existence and uniqueness of optimal transport maps

Authors: Fabio Cavalletti, Martin Huesmann

Abstract: Let $(X,d,m)$ be a proper, non-branching, metric measure space. We show existence and uniqueness of optimal transport maps for cost written as non-decreasing and strictly convex functions of the distance, provided $(X,d,m)$ satisfies a new weak property concerning the behavior of $m$ under the shrinking of sets to points, see Assumption 1. This in particular covers spaces satisfying the measure co… ▽ More Let $(X,d,m)$ be a proper, non-branching, metric measure space. We show existence and uniqueness of optimal transport maps for cost written as non-decreasing and strictly convex functions of the distance, provided $(X,d,m)$ satisfies a new weak property concerning the behavior of $m$ under the shrinking of sets to points, see Assumption 1. This in particular covers spaces satisfying the measure contraction property. We also prove a stability property for Assumption 1: If $(X,d,m)$ satisfies Assumption 1 and $\tilde m = g\cdot m$, for some continuous function $g >0$, then also $(X,d,\tilde m)$ verifies Assumption 1. Since these changes in the reference measures do not preserve any Ricci type curvature bounds, this shows that our condition is strictly weaker than measure contraction property. △ Less

Submitted 4 August, 2014; v1 submitted 9 January, 2013; originally announced January 2013.

Comments: extended version; new section on geometric consequences and stability of Assumption 1; comments are welcome

MSC Class: 49Q20

Self-Intersection of Optimal geodesics

Authors: Fabio Cavalletti, Martin Huesmann

Abstract: Let $(X,d,m)$ be a geodesic metric measure space. Consider a geodesic $μ_{t}$ in the $L^{2}$-Wasserstein space. Then as $s$ goes to $t$ the support of $μ_{s}$ and the support of $μ_{t}$ have to overlap, provided an upper bound on the densities holds. We give a more precise formulation of this self-intersection property. We consider for each $t$ the set of times for which a geodesic belongs to the… ▽ More Let $(X,d,m)$ be a geodesic metric measure space. Consider a geodesic $μ_{t}$ in the $L^{2}$-Wasserstein space. Then as $s$ goes to $t$ the support of $μ_{s}$ and the support of $μ_{t}$ have to overlap, provided an upper bound on the densities holds. We give a more precise formulation of this self-intersection property. We consider for each $t$ the set of times for which a geodesic belongs to the support of $μ_{t}$ and we prove that $t$ is a point of Lebesgue density 1 for this set, in the integral sense. Our result applies to spaces satisfying $\mathsf{CD}(K,\infty)$. The non branching property is not needed. △ Less

Submitted 12 June, 2013; v1 submitted 28 November, 2012; originally announced November 2012.

MSC Class: 51F99; 49L99

Optimal transport between random measures

Authors: Martin Huesmann

Abstract: We study couplings $q^\bullet$ of two equivariant random measures $λ^\bullet$ and $μ^\bullet$ on a Riemannian manifold $(M,d,m)$. Given a cost function we ask for minimizers of the mean transportation cost per volume. In case the minimal/optimal cost is finite and $λ^ω\ll m$ we prove that there is a unique equivariant coupling minimizing the mean transportation cost per volume. Moreover, the optim… ▽ More We study couplings $q^\bullet$ of two equivariant random measures $λ^\bullet$ and $μ^\bullet$ on a Riemannian manifold $(M,d,m)$. Given a cost function we ask for minimizers of the mean transportation cost per volume. In case the minimal/optimal cost is finite and $λ^ω\ll m$ we prove that there is a unique equivariant coupling minimizing the mean transportation cost per volume. Moreover, the optimal coupling is induced by a transportation map, $q^\bullet=(id,T)_*λ^\bullet.$ We show that the optimal transportation map can be approximated by solutions to classical optimal transportation problems on bounded regions. In case of $L^p-$cost the optimal transportation cost per volume defines a metric on the space of equivariant random measure with unit intensity. △ Less

Submitted 16 June, 2012; originally announced June 2012.

Comments: 35 pages, 5 figures

MSC Class: 60D05; 52A22

Optimal transport from Lebesgue to Poisson

Authors: Martin Huesmann, Karl-Theodor Sturm

Abstract: This paper is devoted to the study of couplings of the Lebesgue measure and the Poisson point process. We prove existence and uniqueness of an optimal coupling whenever the asymptotic mean transportation cost is finite. Moreover, we give precise conditions for the latter which demonstrate a sharp threshold at d=2. The cost will be defined in terms of an arbitrary increasing function of the distanc… ▽ More This paper is devoted to the study of couplings of the Lebesgue measure and the Poisson point process. We prove existence and uniqueness of an optimal coupling whenever the asymptotic mean transportation cost is finite. Moreover, we give precise conditions for the latter which demonstrate a sharp threshold at d=2. The cost will be defined in terms of an arbitrary increasing function of the distance. The coupling will be realized by means of a transport map ("allocation map") which assigns to each Poisson point a set ("cell") of Lebesgue measure 1. In the case of quadratic costs, all these cells will be convex polytopes. △ Less

Submitted 13 August, 2013; v1 submitted 17 December, 2010; originally announced December 2010.

Comments: Published in at http://dx.doi.org/10.1214/12-AOP814 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP814

Journal ref: Annals of Probability 2013, Vol. 41, No. 4, 2426-2478

Optimal Transport and Tessellation

Authors: Martin Huesmann

Abstract: Optimal transport from the volume measure to a convex combination of Dirac measures yields a tessellation of a Riemannian manifold into pieces of arbitrary relative size. This tessellation is studied for the cost functions $c_p(z,y)=\frac{1}{p}d^p(z,y)$ and $1\leq p<\infty$. Geometric descriptions of the tessellations for all $p$ is obtained for compact subsets of the Euclidean space. For $p=2$ th… ▽ More Optimal transport from the volume measure to a convex combination of Dirac measures yields a tessellation of a Riemannian manifold into pieces of arbitrary relative size. This tessellation is studied for the cost functions $c_p(z,y)=\frac{1}{p}d^p(z,y)$ and $1\leq p<\infty$. Geometric descriptions of the tessellations for all $p$ is obtained for compact subsets of the Euclidean space. For $p=2$ this approach yields Laguerre tessellations. For $p=1$ it induces Johnson Mehl diagrams for all compact Riemannian manifolds. △ Less

Submitted 5 October, 2012; v1 submitted 4 August, 2009; originally announced August 2009.

Comments: corrected version, Theorem 2 appears in slightly different form in arXiv:1206.3672

From random walks to rough paths

Authors: Emmanuel Breuillard, Peter Friz, Martin Huesmann

Abstract: Donsker's invariance principle is shown to hold for random walks in rough path topology. As application, we obtain Donsker-type weak limit theorems for stochastic integrals and differential equations. Donsker's invariance principle is shown to hold for random walks in rough path topology. As application, we obtain Donsker-type weak limit theorems for stochastic integrals and differential equations. △ Less

Submitted 15 October, 2008; originally announced October 2008.

MSC Class: 60B15