-
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 18 January, 2025; v1 submitted 2 June, 2024;
originally announced June 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.
-
On the validity of bootstrap uncertainty estimates in the Mallows-Binomial model
Authors:
Michael Pearce,
Elena A. Erosheva
Abstract:
The Mallows-Binomial distribution is the first joint statistical model for rankings and ratings (Pearce and Erosheva, 2022). Because frequentist estimation of the model parameters and their uncertainty is challenging, it is natural to consider the nonparametric bootstrap. However, it is not clear that the nonparametric bootstrap is asymptotically valid in this setting. This is because the Mallows-…
▽ More
The Mallows-Binomial distribution is the first joint statistical model for rankings and ratings (Pearce and Erosheva, 2022). Because frequentist estimation of the model parameters and their uncertainty is challenging, it is natural to consider the nonparametric bootstrap. However, it is not clear that the nonparametric bootstrap is asymptotically valid in this setting. This is because the Mallows-Binomial model is parameterized by continuous quantities whose discrete order affects the likelihood. In this note, we demonstrate that bootstrap uncertainty of the maximum likelihood estimates in the Mallows-Binomial model are asymptotically valid.
△ Less
Submitted 20 July, 2022; v1 submitted 24 June, 2022;
originally announced June 2022.
-
Practical Bayesian Optimization of Objectives with Conditioning Variables
Authors:
Michael Pearce,
Janis Klaise,
Matthew Groves
Abstract:
Bayesian optimization is a class of data efficient model based algorithms typically focused on global optimization. We consider the more general case where a user is faced with multiple problems that each need to be optimized conditional on a state variable, for example given a range of cities with different patient distributions, we optimize the ambulance locations conditioned on patient distribu…
▽ More
Bayesian optimization is a class of data efficient model based algorithms typically focused on global optimization. We consider the more general case where a user is faced with multiple problems that each need to be optimized conditional on a state variable, for example given a range of cities with different patient distributions, we optimize the ambulance locations conditioned on patient distribution. Given partitions of CIFAR-10, we optimize CNN hyperparameters for each partition. Similarity across objectives boosts optimization of each objective in two ways: in modelling by data sharing across objectives, and also in acquisition by quantifying how a single point on one objective can provide benefit to all objectives. For this we propose a framework for conditional optimization: ConBO. This can be built on top of a range of acquisition functions and we propose a new Hybrid Knowledge Gradient acquisition function. The resulting method is intuitive and theoretically grounded, performs either similar to or significantly better than recently published works on a range of problems, and is easily parallelized to collect a batch of points.
△ Less
Submitted 2 November, 2020; v1 submitted 23 February, 2020;
originally announced February 2020.
-
Bayesian Optimization Allowing for Common Random Numbers
Authors:
Michael Pearce,
Matthias Poloczek,
Juergen Branke
Abstract:
Bayesian optimization is a powerful tool for expensive stochastic black-box optimization problems such as simulation-based optimization or machine learning hyperparameter tuning. Many stochastic objective functions implicitly require a random number seed as input. By explicitly reusing a seed a user can exploit common random numbers, comparing two or more inputs under the same randomly generated s…
▽ More
Bayesian optimization is a powerful tool for expensive stochastic black-box optimization problems such as simulation-based optimization or machine learning hyperparameter tuning. Many stochastic objective functions implicitly require a random number seed as input. By explicitly reusing a seed a user can exploit common random numbers, comparing two or more inputs under the same randomly generated scenario, such as a common customer stream in a job shop problem, or the same random partition of training data into training and validation set for a machine learning algorithm. With the aim of finding an input with the best average performance over infinitely many seeds, we propose a novel Gaussian process model that jointly models both the output for each seed and the average. We then introduce the Knowledge gradient for Common Random Numbers that iteratively determines a combination of input and random seed to evaluate the objective and automatically trades off reusing old seeds and querying new seeds, thus overcoming the need to evaluate inputs in batches or measuring differences of pairs as suggested in previous methods. We investigate the Knowledge Gradient for Common Random Numbers both theoretically and empirically, finding it achieves significant performance improvements with only moderate added computational cost.
△ Less
Submitted 21 October, 2019;
originally announced October 2019.
-
The duration problem with multiple exchanges
Authors:
Charles E. M. Pearce,
Krzysztof Szajowski,
Mitsushi Tamaki
Abstract:
We treat a version of the multiple-choice secretary problem called the multiple-choice duration problem, in which the objective is to maximize the time of possession of relatively best objects. It is shown that, for the $m$--choice duration problem, there exists a sequence (s1,s2,...,sm) of critical numbers such that, whenever there remain k choices yet to be made, then the optimal strategy imme…
▽ More
We treat a version of the multiple-choice secretary problem called the multiple-choice duration problem, in which the objective is to maximize the time of possession of relatively best objects. It is shown that, for the $m$--choice duration problem, there exists a sequence (s1,s2,...,sm) of critical numbers such that, whenever there remain k choices yet to be made, then the optimal strategy immediately selects a relatively best object if it appears at or after time $s_k$ ($1\leq k\leq m$). We also exhibit an equivalence between the duration problem and the classical best-choice secretary problem. A simple recursive formula is given for calculating the critical numbers when the number of objects tends to infinity. Extensions are made to models involving an acquisition or replacement cost.
△ Less
Submitted 19 December, 2008;
originally announced December 2008.
-
A Ring Isomorphism and corresponding Pseudoinverses
Authors:
Samuel N. Cohen,
Robert J. Elliott,
Charles E. M. Pearce
Abstract:
This paper studies the set of $n\times n$ matrices for which all row and column sums equal zero. By representing these matrices in a lower dimensional space, it is shown that this set is closed under addition and multiplication, and furthermore is isomorphic to the set of arbitrary $(n-1)\times (n-1)$ matrices. The Moore-Penrose pseudoinverse corresponds with the true inverse, (when it exists),…
▽ More
This paper studies the set of $n\times n$ matrices for which all row and column sums equal zero. By representing these matrices in a lower dimensional space, it is shown that this set is closed under addition and multiplication, and furthermore is isomorphic to the set of arbitrary $(n-1)\times (n-1)$ matrices. The Moore-Penrose pseudoinverse corresponds with the true inverse, (when it exists), in this lower dimension and an explicit representation of this pseudoinverse in terms of the lower dimensional space is given. This analysis is then extended to non-square matrices with all row or all column sums equal to zero.
△ Less
Submitted 1 October, 2008;
originally announced October 2008.
