-
Inverting Laguerre tessellations: Recovering tessellations from the volumes and centroids of their cells using optimal transport
Authors:
David P. Bourne,
Mason Pearce,
Steven M. Roper
Abstract:
In this paper we study an inverse problem in convex geometry, inspired by a problem in materials science. Firstly, we consider the question of whether a Laguerre tessellation (a partition by convex polytopes) can be recovered from only the volumes and centroids of its cells. We show that this problem has a unique solution and give a constructive way of computing it using optimal transport theory a…
▽ More
In this paper we study an inverse problem in convex geometry, inspired by a problem in materials science. Firstly, we consider the question of whether a Laguerre tessellation (a partition by convex polytopes) can be recovered from only the volumes and centroids of its cells. We show that this problem has a unique solution and give a constructive way of computing it using optimal transport theory and convex optimisation. Secondly, we consider the problem of fitting a Laguerre tessellation to synthetic volume and centroid data. Given some target volumes and centroids, we seek a Laguerre tessellation such that the difference between the volumes and centroids of its cells and the target volumes and centroids is minimised. For an appropriate objective function and suitable data, we prove that local minimisers of this problem can be constructed using convex optimisation. We also illustrate our results numerically. There is great interest in the computational materials science community in fitting Laguerre tessellations to electron backscatter diffraction (EBSD) and x-ray diffraction images of polycrystalline materials. As an application of our results we fit a 2D Laguerre tessellation to an EBSD image of steel.
△ Less
Submitted 2 June, 2024;
originally announced June 2024.
-
Anisotropic power diagrams for polycrystal modelling: efficient generation of curved grains via optimal transport
Authors:
Maciej Buze,
Jean Feydy,
Steven M. Roper,
Karo Sedighiani,
David P. Bourne
Abstract:
The microstructure of metals and foams can be effectively modelled with anisotropic power diagrams (APDs), which provide control over the shape of individual grains. One major obstacle to the wider adoption of APDs is the computational cost that is associated with their generation. We propose a novel approach to generate APDs with prescribed statistical properties, including fine control over the…
▽ More
The microstructure of metals and foams can be effectively modelled with anisotropic power diagrams (APDs), which provide control over the shape of individual grains. One major obstacle to the wider adoption of APDs is the computational cost that is associated with their generation. We propose a novel approach to generate APDs with prescribed statistical properties, including fine control over the size of individual grains. To this end, we rely on fast optimal transport algorithms that stream well on Graphics Processing Units (GPU) and handle non-uniform, anisotropic distance functions. This allows us to find large APDs that best fit experimental data and generate synthetic high-resolution microstructures in (tens of) seconds. This unlocks their use for computational homogenisation, which is especially relevant to machine learning methods that require the generation of large collections of representative microstructures as training data. The paper is accompanied by a Python library, PyAPD, which is freely available at: www.github.com/mbuze/PyAPD.
△ Less
Submitted 21 May, 2024; v1 submitted 6 March, 2024;
originally announced March 2024.
-
Geometric modelling of polycrystalline materials: Laguerre tessellations and periodic semi-discrete optimal transport
Authors:
D. P. Bourne,
M. Pearce,
S. M. Roper
Abstract:
In this paper we describe a fast algorithm for generating periodic RVEs of polycrystalline materials. In particular, we use the damped Newton method from semi-discrete optimal transport theory to generate 3D periodic Laguerre tessellations (or power diagrams) with cells of given volumes. Complex, polydisperse RVEs with up to 100,000 grains of prescribed volumes can be created in a few minutes on a…
▽ More
In this paper we describe a fast algorithm for generating periodic RVEs of polycrystalline materials. In particular, we use the damped Newton method from semi-discrete optimal transport theory to generate 3D periodic Laguerre tessellations (or power diagrams) with cells of given volumes. Complex, polydisperse RVEs with up to 100,000 grains of prescribed volumes can be created in a few minutes on a standard laptop. The damped Newton method relies on the Hessian of the objective function, which we derive by extending recent results in semi-discrete optimal transport theory to the periodic setting.
△ Less
Submitted 25 July, 2022;
originally announced July 2022.
-
A new implementation of the geometric method for solving the Eady slice equations
Authors:
Charlie P. Egan,
David P. Bourne,
Colin J. Cotter,
Mike J. P. Cullen,
Beatrice Pelloni,
Steven M. Roper,
Mark Wilkinson
Abstract:
We present a new implementation of the geometric method of Cullen & Purser (1984) for solving the semi-geostrophic Eady slice equations which model large scale atmospheric flows and frontogenesis. The geometric method is a Lagrangian discretisation, where the PDE is approximated by a particle system. An important property of the discretisation is that it is energy conserving. We restate the geomet…
▽ More
We present a new implementation of the geometric method of Cullen & Purser (1984) for solving the semi-geostrophic Eady slice equations which model large scale atmospheric flows and frontogenesis. The geometric method is a Lagrangian discretisation, where the PDE is approximated by a particle system. An important property of the discretisation is that it is energy conserving. We restate the geometric method in the language of semi-discrete optimal transport theory and exploit this to develop a fast implementation that combines the latest results from numerical optimal transport theory with a novel adaptive time-step** scheme. Our results enable a controlled comparison between the Eady-Boussinesq vertical slice equations and their semi-geostrophic approximation. We provide further evidence that weak solutions of the Eady-Boussinesq vertical slice equations converge to weak solutions of the semi-geostrophic Eady slice equations as the Rossby number tends to zero.
△ Less
Submitted 10 November, 2022; v1 submitted 9 March, 2022;
originally announced March 2022.
-
Asymptotic optimality of the triangular lattice for a class of optimal location problems
Authors:
David P. Bourne,
Riccardo Cristoferi
Abstract:
We prove an asymptotic crystallization result in two dimensions for a class of nonlocal particle systems. To be precise, we consider the best approximation with respect to the 2-Wasserstein metric of a given absolutely continuous probability measure $f \mathrm{d}x$ by a discrete probability measure $\sum_i m_i δ_{z_i}$, subject to a constraint on the particle sizes $m_i$. The locations $z_i$ of th…
▽ More
We prove an asymptotic crystallization result in two dimensions for a class of nonlocal particle systems. To be precise, we consider the best approximation with respect to the 2-Wasserstein metric of a given absolutely continuous probability measure $f \mathrm{d}x$ by a discrete probability measure $\sum_i m_i δ_{z_i}$, subject to a constraint on the particle sizes $m_i$. The locations $z_i$ of the particles, their sizes $m_i$, and the number of particles are all unknowns of the problem. We study a one-parameter family of constraints. This is an example of an optimal location problem (or an optimal sampling or quantization problem) and it has applications in economics, signal compression, and numerical integration. We establish the asymptotic minimum value of the (rescaled) approximation error as the number of particles goes to infinity. In particular, we show that for the constrained best approximation of the Lebesgue measure by a discrete measure, the discrete measure whose support is a triangular lattice is asymptotically optimal. In addition, we prove an analogous result for a problem where the constraint is replaced by a penalization. These results can also be viewed as the asymptotic optimality of the hexagonal tiling for an optimal partitioning problem. They generalise the crystallization result of Bourne, Peletier and Theil (Communications in Mathematical Physics, 2014) from a single particle system to a class of particle systems, and prove a case of a conjecture by Bouchitté, Jimenez and Mahadevan (Journal de Mathématiques Pures et Appliquées, 2011). Finally, we prove a crystallization result which states that optimal configurations with energy close to that of a triangular lattice are geometrically close to a triangular lattice.
△ Less
Submitted 14 September, 2021; v1 submitted 22 December, 2020;
originally announced December 2020.
-
Semi-discrete optimal transport methods for the semi-geostrophic equations
Authors:
David P. Bourne,
Charlie P. Egan,
Beatrice Pelloni,
Mark Wilkinson
Abstract:
We give a new and constructive proof of the existence of global-in-time weak solutions of the 3-dimensional incompressible semi-geostrophic equations (SG) in geostrophic coordinates, for arbitrary initial measures with compact support. This new proof, based on semi-discrete optimal transport techniques, works by characterising discrete solutions of SG in geostrophic coordinates in terms of traject…
▽ More
We give a new and constructive proof of the existence of global-in-time weak solutions of the 3-dimensional incompressible semi-geostrophic equations (SG) in geostrophic coordinates, for arbitrary initial measures with compact support. This new proof, based on semi-discrete optimal transport techniques, works by characterising discrete solutions of SG in geostrophic coordinates in terms of trajectories satisfying an ordinary differential equation. It is advantageous in its simplicity and its explicit relation to Eulerian coordinates through the use of Laguerre tessellations. Using our method, we obtain improved time-regularity for a large class of discrete initial measures, and we compute explicitly two discrete solutions. The method naturally gives rise to an efficient numerical method, which we illustrate by presenting simulations of a 2-dimensional semi-geostrophic flow in geostrophic coordinates generated using a numerical solver for the semi-discrete optimal transport problem coupled with an ordinary differential equation solver.
△ Less
Submitted 25 October, 2021; v1 submitted 9 September, 2020;
originally announced September 2020.
-
Laguerre tessellations and polycrystalline microstructures: A fast algorithm for generating grains of given volumes
Authors:
D. P. Bourne,
P. J. J. Kok,
S. M. Roper,
W. D. T. Spanjer
Abstract:
We present a fast algorithm for generating Laguerre diagrams with cells of given volumes, which can be used for creating RVEs of polycrystalline materials for computational homogenisation, or for fitting Laguerre diagrams to EBSD or XRD measurements of metals. Given a list of desired cell volumes, we solve a convex optimisation problem to find a Laguerre diagram with cells of these volumes, up to…
▽ More
We present a fast algorithm for generating Laguerre diagrams with cells of given volumes, which can be used for creating RVEs of polycrystalline materials for computational homogenisation, or for fitting Laguerre diagrams to EBSD or XRD measurements of metals. Given a list of desired cell volumes, we solve a convex optimisation problem to find a Laguerre diagram with cells of these volumes, up to any prescribed tolerance. The algorithm is built on tools from computational geometry and optimal transport theory which, as far as we are aware, have not been applied to microstructure modelling before. We illustrate the speed and accuracy of the algorithm by generating RVEs with user-defined volume distributions with up to 20,000 grains in 3D. We can achieve volume percentage errors of less than 1% in the order of minutes on a standard desktop PC. We also give examples of polydisperse microstructures with bands, clusters and size gradients, and of fitting a Laguerre diagram to 3D EBSD measurements of an IF steel.
△ Less
Submitted 30 June, 2020; v1 submitted 13 December, 2019;
originally announced December 2019.
-
Semi-discrete unbalanced optimal transport and quantization
Authors:
David P. Bourne,
Bernhard Schmitzer,
Benedikt Wirth
Abstract:
In this paper we study the class of optimal entropy-transport problems introduced by Liero, Mielke and Savaré in Inventiones Mathematicae 211 in 2018. This class of unbalanced transport metrics allows for transport between measures of different total mass, unlike classical optimal transport where both measures must have the same total mass. In particular, we develop the theory for the important su…
▽ More
In this paper we study the class of optimal entropy-transport problems introduced by Liero, Mielke and Savaré in Inventiones Mathematicae 211 in 2018. This class of unbalanced transport metrics allows for transport between measures of different total mass, unlike classical optimal transport where both measures must have the same total mass. In particular, we develop the theory for the important subclass of semi-discrete unbalanced transport problems, where one of the measures is diffuse (absolutely continuous with respect to the Lebesgue measure) and the other is discrete (a sum of Dirac masses). We characterize the optimal solutions and show they can be written in terms of generalized Laguerre diagrams. We use this to develop an efficient method for solving the semi-discrete unbalanced transport problem numerically. As an application we study the unbalanced quantization problem, where one looks for the best approximation of a diffuse measure by a discrete measure with respect to an unbalanced transport metric. We prove a type of crystallization result in two dimensions -- optimality of the triangular lattice -- and compute the asymptotic quantization error as the number of Dirac masses tends to infinity.
△ Less
Submitted 6 August, 2018;
originally announced August 2018.
-
Energy Bounds for a Compressed Elastic Film on a Substrate
Authors:
David P. Bourne,
Sergio Conti,
Stefan Müller
Abstract:
We study pattern formation in a compressed elastic film which delaminates from a substrate. Our key tool is the determination of rigorous upper and lower bounds on the minimum value of a suitable energy functional. The energy consists of two parts, describing the two main physical effects. The first part represents the elastic energy of the film, which is approximated using the von Kármán plate th…
▽ More
We study pattern formation in a compressed elastic film which delaminates from a substrate. Our key tool is the determination of rigorous upper and lower bounds on the minimum value of a suitable energy functional. The energy consists of two parts, describing the two main physical effects. The first part represents the elastic energy of the film, which is approximated using the von Kármán plate theory. The second part represents the fracture or delamination energy, which is approximated using the Griffith model of fracture. A simpler model containing the first term alone was previously studied with similar methods by several authors, assuming that the delaminated region is fixed. We include the fracture term, transforming the elastic minimization into a free-boundary problem, and opening the way for patterns which result from the interplay of elasticity and delamination.
After rescaling, the energy depends on only two parameters: the rescaled film thickness, $σ$, and a measure of the bonding strength between the film and substrate, $γ$. We prove upper bounds on the minimum energy of the form $σ^a γ^b$ and find that there are four different parameter regimes corresponding to different values of $a$ and $b$ and to different folding patterns of the film. In some cases the upper bounds are attained by self-similar folding patterns as observed in experiments. Moreover, for two of the four parameter regimes we prove matching, optimal lower bounds.
△ Less
Submitted 23 December, 2015;
originally announced December 2015.
-
Hexagonal patterns in a simplified model for block copolymers
Authors:
D. P. Bourne,
M. A. Peletier,
S. M. Roper
Abstract:
In this paper we study a new model for patterns in two dimensions, inspired by diblock copolymer melts with a dominant phase. The model is simple enough to be amenable not only to numerics but also to analysis, yet sophisticated enough to reproduce hexagonally packed structures that resemble the cylinder patterns observed in block copolymer experiments.
Starting from a sharp-interface continuum…
▽ More
In this paper we study a new model for patterns in two dimensions, inspired by diblock copolymer melts with a dominant phase. The model is simple enough to be amenable not only to numerics but also to analysis, yet sophisticated enough to reproduce hexagonally packed structures that resemble the cylinder patterns observed in block copolymer experiments.
Starting from a sharp-interface continuum model, a nonlocal energy functional involving a Wasserstein cost, we derive the new model using Gamma-convergence in a limit where the volume fraction of one phase tends to zero. The limit energy is defined on atomic measures; in three dimensions the atoms represent small spherical blobs of the minority phase, in two dimensions they represent thin cylinders of the minority phase.
We then study minimisers of the limit energy. Numerical minimisation is performed in two dimensions by recasting the problem as a computational geometry problem involving power diagrams. The numerical results suggest that the small particles of the minority phase tend to arrange themselves on a triangular lattice as the number of particles goes to infinity. This is proved in the companion paper Bourne, Peletier & Theil and agrees with patterns observed in block copolymer experiments. This is a rare example of a nonlocal energy-driven pattern formation problem in two dimensions where it can be proved that the optimal pattern is periodic.
△ Less
Submitted 5 December, 2013; v1 submitted 28 May, 2013;
originally announced May 2013.
-
Optimality of the triangular lattice for a particle system with Wasserstein interaction
Authors:
D. P. Bourne,
M. A. Peletier,
F. Theil
Abstract:
We prove strong crystallization results in two dimensions for an energy that arises in the theory of block copolymers. The energy is defined on sets of points and their weights, or equivalently on the set of atomic measures. It consists of two terms; the first term is the sum of the square root of the weights, and the second is the quadratic optimal transport cost between the atomic measure and th…
▽ More
We prove strong crystallization results in two dimensions for an energy that arises in the theory of block copolymers. The energy is defined on sets of points and their weights, or equivalently on the set of atomic measures. It consists of two terms; the first term is the sum of the square root of the weights, and the second is the quadratic optimal transport cost between the atomic measure and the Lebesgue measure.
We prove that this system admits crystallization in several different ways: (1) the energy is bounded from below by the energy of a triangular lattice (called $\mathcal T$); (2) if the energy equals that of $\mathcal T$, then the measure is a rotated and translated copy of $\mathcal T$; (3) if the energy is close to that of $\mathcal T$, then locally the measure is close to a rotated and translated copy of $\mathcal T$. These three results require the domain to be a polygon with at most six sides. A fourth result states that the energy of $\mathcal T$ can be achieved in the limit of large domains, for domains with arbitrary boundaries.
The proofs make use of three ingredients. First, the optimal transport cost associates to each point a polygonal cell; the energy can be bounded from below by a sum over all cells of a function that depends only on the cell. Second, this function has a convex lower bound that is sharp at $\mathcal T$. Third, Euler's polytope formula limits the average number of sides of the polygonal cells to six, where six is the number corresponding to the triangular lattice.
△ Less
Submitted 7 November, 2013; v1 submitted 31 December, 2012;
originally announced December 2012.