Showing 1–12 of 12 results for author: Mérigot, Q

A Damped Newton Algorithm for Generated Jacobian Equations

Authors: Anatole Gallouët, Quentin Merigot, Boris Thibert

Abstract: Generated Jacobian Equations have been introduced by Trudinger [Disc. cont. dyn. sys (2014), pp. 1663-1681] as a generalization of Monge-Amp{è}re equations arising in optimal transport. In this paper, we introduce and study a damped Newton algorithm for solving these equations in the semi-discrete setting, meaning that one of the two measures involved in the problem is finitely supported and the o… ▽ More Generated Jacobian Equations have been introduced by Trudinger [Disc. cont. dyn. sys (2014), pp. 1663-1681] as a generalization of Monge-Amp{è}re equations arising in optimal transport. In this paper, we introduce and study a damped Newton algorithm for solving these equations in the semi-discrete setting, meaning that one of the two measures involved in the problem is finitely supported and the other one is absolutely continuous. We also present a numerical application of this algorithm to the near-field parallel refractor problem arising in non-imaging problems. △ Less

Submitted 20 January, 2021; originally announced January 2021.

Quantitative stability of optimal transport maps and linearization of the 2-Wasserstein space

Authors: Quentin Mérigot, Alex Delalande, Frédéric Chazal

Abstract: This work studies an explicit embedding of the set of probability measures into a Hilbert space, defined using optimal transport maps from a reference probability density. This embedding linearizes to some extent the 2-Wasserstein space, and enables the direct use of generic supervised and unsupervised learning algorithms on measure data. Our main result is that the embedding is (bi-)Hölder contin… ▽ More This work studies an explicit embedding of the set of probability measures into a Hilbert space, defined using optimal transport maps from a reference probability density. This embedding linearizes to some extent the 2-Wasserstein space, and enables the direct use of generic supervised and unsupervised learning algorithms on measure data. Our main result is that the embedding is (bi-)Hölder continuous, when the reference density is uniform over a convex set, and can be equivalently phrased as a dimension-independent Hölder-stability results for optimal transport maps. △ Less

Submitted 14 October, 2019; originally announced October 2019.

Comments: 21 pages

Journal ref: Proceedings of the Twenty Third International Conference on Artificial Intelligence and Statistics, PMLR 108:3186-3196, 2020

Light in Power: A General and Parameter-free Algorithm for Caustic Design

Authors: Jocelyn Meyron, Quentin Mérigot, Boris Thibert

Abstract: We present in this paper a generic and parameter-free algorithm to efficiently build a wide variety of optical components, such as mirrors or lenses, that satisfy some light energy constraints. In all of our problems, one is given a collimated or point light source and a desired illumination after reflection or refraction and the goal is to design the geometry of a mirror or lens which transports… ▽ More We present in this paper a generic and parameter-free algorithm to efficiently build a wide variety of optical components, such as mirrors or lenses, that satisfy some light energy constraints. In all of our problems, one is given a collimated or point light source and a desired illumination after reflection or refraction and the goal is to design the geometry of a mirror or lens which transports exactly the light emitted by the source onto the target. We first propose a general framework and show that eight different optical component design problems amount to solving a light energy conservation equation that involves the computation of visibility diagrams. We then show that these diagrams all have the same structure and can be obtained by intersecting a 3D Power diagram with a planar or spherical domain. This allows us to propose an efficient and fully generic algorithm capable to solve these eight optical component design problems. The support of the prescribed target illumination can be a set of directions or a set of points located at a finite distance. Our solutions satisfy design constraints such as convexity or concavity. We show the effectiveness of our algorithm on simulated and fabricated examples. △ Less

Submitted 11 February, 2019; v1 submitted 16 August, 2017; originally announced August 2017.

Journal ref: ACM Transactions on Graphics, Association for Computing Machinery, 2018, 37 (6), pp.1-13

An algorithm for optimal transport between a simplex soup and a point cloud

Authors: Quentin Mérigot, Jocelyn Meyron, Boris Thibert

Abstract: We propose a numerical method to find the optimal transport map between a measure supported on a lower-dimensional subset of R^d and a finitely supported measure. More precisely, the source measure is assumed to be supported on a simplex soup, i.e. on a union of simplices of arbitrary dimension between 2 and d. As in [Aurenhammer, Hoffman, Aronov, Algorithmica 20 (1), 1998, 61--76] we recast this… ▽ More We propose a numerical method to find the optimal transport map between a measure supported on a lower-dimensional subset of R^d and a finitely supported measure. More precisely, the source measure is assumed to be supported on a simplex soup, i.e. on a union of simplices of arbitrary dimension between 2 and d. As in [Aurenhammer, Hoffman, Aronov, Algorithmica 20 (1), 1998, 61--76] we recast this optimal transport problem as the resolution of a non-linear system where one wants to prescribe the quantity of mass in each cell of the so-called Laguerre diagram. We prove the convergence with linear speed of a damped Newton's algorithm to solve this non-linear system. The convergence relies on two conditions: (i) a genericity condition on the point cloud with respect to the simplex soup and (ii) a (strong) connectedness condition on the support of the source measure defined on the simplex soup. Finally, we apply our algorithm in R^3 to compute optimal transport plans between a measure supported on a triangulation and a discrete measure. We also detail some applications such as optimal quantization of a probability density over a surface, remeshing or rigid point set registration on a mesh. △ Less

Submitted 5 July, 2017; originally announced July 2017.

Convergence of a Newton algorithm for semi-discrete optimal transport

Authors: Jun Kitagawa, Quentin Mérigot, Boris Thibert

Abstract: Many problems in geometric optics or convex geometry can be recast as optimal transport problems: this includes the far-field reflector problem, Alexandrov's curvature prescription problem, etc. A popular way to solve these problems numerically is to assume that the source probability measure is absolutely continuous while the target measure is finitely supported. We refer to this setting as semi-… ▽ More Many problems in geometric optics or convex geometry can be recast as optimal transport problems: this includes the far-field reflector problem, Alexandrov's curvature prescription problem, etc. A popular way to solve these problems numerically is to assume that the source probability measure is absolutely continuous while the target measure is finitely supported. We refer to this setting as semi-discrete optimal transport. Among the several algorithms proposed to solve semi-discrete optimal transport problems, one currently needs to choose between algorithms that are slow but come with a convergence speed analysis (e.g. Oliker-Prussner) or algorithms that are much faster in practice but which come with no convergence guarantees Algorithms of the first kind rely on coordinate-wise increments and the number of iterations required to reach the solution up to an error of $ε$ is of order $N^3/ε$, where $N$ is the number of Dirac masses in the target measure. On the other hand, algorithms of the second kind typically rely on the formulation of the semi-discrete optimal transport problem as an unconstrained convex optimization problem which is solved using a Newton or quasi-Newton method. The purpose of this article is to bridge this gap between theory and practice by introducing a damped Newton's algorithm which is experimentally efficient and by proving the global convergence of this algorithm with optimal rates. The main assumptions is that the cost function satisfies a condition that appears in the regularity theory for optimal transport (the Ma-Trudinger-Wang condition) and that the support of the source density is connected in a quantitative way (it must satisfy a weighted Poincaré-Wirtinger inequality). △ Less

Submitted 7 March, 2017; v1 submitted 17 March, 2016; originally announced March 2016.

Comments: 45 pages

MSC Class: 49M25; 65K10

Robust Geometry Estimation using the Generalized Voronoi Covariance Measure

Authors: Louis Cuel, Jacques-Olivier Lachaud, Quentin Mérigot, Boris Thibert

Abstract: The Voronoi Covariance Measure of a compact set K of R^d is a tensor-valued measure that encodes geometric information on K and which is known to be resilient to Hausdorff noise but sensitive to outliers. In this article, we generalize this notion to any distance-like function delta and define the delta-VCM. We show that the delta-VCM is resilient to Hausdorff noise and to outliers, thus providing… ▽ More The Voronoi Covariance Measure of a compact set K of R^d is a tensor-valued measure that encodes geometric information on K and which is known to be resilient to Hausdorff noise but sensitive to outliers. In this article, we generalize this notion to any distance-like function delta and define the delta-VCM. We show that the delta-VCM is resilient to Hausdorff noise and to outliers, thus providing a tool to estimate robustly normals from a point cloud approximation. We present experiments showing the robustness of our approach for normal and curvature estimation and sharp feature detection. △ Less

Submitted 4 November, 2015; v1 submitted 26 August, 2014; originally announced August 2014.

Journal ref: SIAM Journal on Imaging Sciences, Society for Industrial and Applied Mathematics, 2015, pp.1293-1314

Intersection of paraboloids and application to Minkowski-type problems

Authors: Pedro Machado Manhães De Castro, Quentin Mérigot, Boris Thibert

Abstract: In this article, we study the intersection (or union) of the convex hull of N confocal paraboloids (or ellipsoids) of revolution. This study is motivated by a Minkowski-type problem arising in geometric optics. We show that in each of the four cases, the combinatorics is given by the intersection of a power diagram with the unit sphere. We prove the complexity is O(N) for the intersection of parab… ▽ More In this article, we study the intersection (or union) of the convex hull of N confocal paraboloids (or ellipsoids) of revolution. This study is motivated by a Minkowski-type problem arising in geometric optics. We show that in each of the four cases, the combinatorics is given by the intersection of a power diagram with the unit sphere. We prove the complexity is O(N) for the intersection of paraboloids and Omega(N^2) for the intersection and the union of ellipsoids. We provide an algorithm to compute these intersections using the exact geometric computation paradigm. This algorithm is optimal in the case of the intersection of ellipsoids and is used to solve numerically the far-field reflector problem. △ Less

Submitted 1 March, 2014; originally announced March 2014.

On the reconstruction of convex sets from random normal measurements

Authors: Hiba Abdallah, Quentin Mérigot

Abstract: We study the problem of reconstructing a convex body using only a finite number of measurements of outer normal vectors. More precisely, we suppose that the normal vectors are measured at independent random locations uniformly distributed along the boundary of our convex set. Given a desired Hausdorff error eta, we provide an upper bounds on the number of probes that one has to perform in order to… ▽ More We study the problem of reconstructing a convex body using only a finite number of measurements of outer normal vectors. More precisely, we suppose that the normal vectors are measured at independent random locations uniformly distributed along the boundary of our convex set. Given a desired Hausdorff error eta, we provide an upper bounds on the number of probes that one has to perform in order to obtain an eta-approximation of this convex set with high probability. Our result rely on the stability theory related to Minkowski's theorem. △ Less

Submitted 20 February, 2014; originally announced February 2014.

Lower bounds for k-distance approximation

Authors: Quentin Mérigot

Abstract: Consider a set P of N random points on the unit sphere of dimension $d-1$, and the symmetrized set S = P union (-P). The halving polyhedron of S is defined as the convex hull of the set of centroids of N distinct points in S. We prove that after appropriate rescaling this halving polyhedron is Hausdorff close to the unit ball with high probability, as soon as the number of points grows like… ▽ More Consider a set P of N random points on the unit sphere of dimension $d-1$, and the symmetrized set S = P union (-P). The halving polyhedron of S is defined as the convex hull of the set of centroids of N distinct points in S. We prove that after appropriate rescaling this halving polyhedron is Hausdorff close to the unit ball with high probability, as soon as the number of points grows like $Omega(d log(d))$. From this result, we deduce probabilistic lower bounds on the complexity of approximations of the distance to the empirical measure on the point set by distance-like functions. △ Less

Submitted 21 March, 2013; originally announced March 2013.

Journal ref: ACM Symposium on Computational Geometry, Rio de Janeiro : France (2013)

Witnessed k-Distance

Authors: Leonidas J. Guibas, Quentin Mérigot, Dmitriy Morozov

Abstract: Distance function to a compact set plays a central role in several areas of computational geometry. Methods that rely on it are robust to the perturbations of the data by the Hausdorff noise, but fail in the presence of outliers. The recently introduced distance to a measure offers a solution by extending the distance function framework to reasoning about the geometry of probability measures, whil… ▽ More Distance function to a compact set plays a central role in several areas of computational geometry. Methods that rely on it are robust to the perturbations of the data by the Hausdorff noise, but fail in the presence of outliers. The recently introduced distance to a measure offers a solution by extending the distance function framework to reasoning about the geometry of probability measures, while maintaining theoretical guarantees about the quality of the inferred information. A combinatorial explosion hinders working with distance to a measure as an ordinary (power) distance function. In this paper, we analyze an approximation scheme that keeps the representation linear in the size of the input, while maintaining the guarantees on the inference quality close to those for the exact (but costly) representation. △ Less

Submitted 24 February, 2011; originally announced February 2011.

Size of the medial axis and stability of Federer's curvature measures

Authors: Quentin Merigot

Abstract: In this article, we study the (d-1)-volume and the covering numbers of the medial axis of a compact set of the Euclidean d-space. In general, this volume is infinite; however, the (d-1)-volume and covering numbers of a filtered medial axis (the mu-medial axis) that is at distance greater than R from the compact set will be explicitely bounded. The behaviour of the bound we obtain with respect to… ▽ More In this article, we study the (d-1)-volume and the covering numbers of the medial axis of a compact set of the Euclidean d-space. In general, this volume is infinite; however, the (d-1)-volume and covering numbers of a filtered medial axis (the mu-medial axis) that is at distance greater than R from the compact set will be explicitely bounded. The behaviour of the bound we obtain with respect to mu, R and the covering numbers of the compact set K are optimal. From this result we deduce that the projection function on a compact subset K of the Euclidean d-space depends continuously on the compact set K, in the L^1 sense. This implies in particular that Federer's curvature measure of a compact set with positive reach can be reliably estimated from a Hausdorff approximation of this set, regardless of any regularity assumption on the approximation. △ Less

Submitted 18 January, 2010; originally announced January 2010.

Comments: 15 pages, 2 figures

MSC Class: 28A78; 52A39; 35F21

Stability of boundary measures

Authors: Frédéric Chazal, David Cohen-Steiner, Quentin Mérigot

Abstract: We introduce the boundary measure at scale r of a compact subset of the n-dimensional Euclidean space. We show how it can be computed for point clouds and suggest these measures can be used for feature detection. The main contribution of this work is the proof a quantitative stability theorem for boundary measures using tools of convex analysis and geometric measure theory. As a corollary we obt… ▽ More We introduce the boundary measure at scale r of a compact subset of the n-dimensional Euclidean space. We show how it can be computed for point clouds and suggest these measures can be used for feature detection. The main contribution of this work is the proof a quantitative stability theorem for boundary measures using tools of convex analysis and geometric measure theory. As a corollary we obtain a stability result for Federer's curvature measures of a compact, allowing to compute them from point-cloud approximations of the compact. △ Less

Submitted 18 June, 2007; v1 submitted 14 June, 2007; originally announced June 2007.

Journal ref: Boundary measures for geometric inference, Found. Comput. Math., 10 (2), pp. 221-240, 2010