-
Nondegenerate Neural Codes and Obstructions to Closed-Convexity
Authors:
Patrick Chan,
Katherine Johnston,
Joseph Lent,
Alexander Ruys de Perez,
Anne Shiu
Abstract:
Previous work on convexity of neural codes has produced codes that are open-convex but not closed-convex -- or vice-versa. However, why a code is one but not the other, and how to detect such discrepancies are open questions. We tackle these questions in two ways. First, we investigate the concept of degeneracy introduced by Cruz et al., and extend their results to show that nondegeneracy precisel…
▽ More
Previous work on convexity of neural codes has produced codes that are open-convex but not closed-convex -- or vice-versa. However, why a code is one but not the other, and how to detect such discrepancies are open questions. We tackle these questions in two ways. First, we investigate the concept of degeneracy introduced by Cruz et al., and extend their results to show that nondegeneracy precisely captures the situation when taking closures or interiors of open or closed realizations, respectively, yields another realization of the code. Second, we give the first general criteria for precluding a code from being closed-convex (without ruling out open-convexity), unifying ad-hoc geometric arguments in prior works. One criterion is built on a phenomenon we call a rigid structure, while the other can be stated algebraically, in terms of the neural ideal of the code. These results complement existing criteria having the opposite purpose: precluding open-convexity but not closed-convexity. Finally, we show that a family of codes shown by Jeffs to be not open-convex is in fact closed-convex and realizable in dimension two.
△ Less
Submitted 28 August, 2022; v1 submitted 9 November, 2020;
originally announced November 2020.
-
The Monge-Kantorovich Optimal Transport Distance for Image Comparison
Authors:
Michael Snow,
Jan Van lent
Abstract:
This paper focuses on the Monge-Kantorovich formulation of the optimal transport problem and the associated $L^2$ Wasserstein distance. We use the $L^2$ Wasserstein distance in the Nearest Neighbour (NN) machine learning architecture to demonstrate the potential power of the optimal transport distance for image comparison. We compare the Wasserstein distance to other established distances - includ…
▽ More
This paper focuses on the Monge-Kantorovich formulation of the optimal transport problem and the associated $L^2$ Wasserstein distance. We use the $L^2$ Wasserstein distance in the Nearest Neighbour (NN) machine learning architecture to demonstrate the potential power of the optimal transport distance for image comparison. We compare the Wasserstein distance to other established distances - including the partial differential equation (PDE) formulation of the optimal transport problem - and demonstrate that on the well known MNIST optical character recognition dataset, it achieves excellent results.
△ Less
Submitted 8 April, 2018;
originally announced April 2018.
-
Monge's Optimal Transport Distance for Image Classification
Authors:
Michael Snow,
Jan Van lent
Abstract:
This paper focuses on a similarity measure, known as the Wasserstein distance, with which to compare images. The Wasserstein distance results from a partial differential equation (PDE) formulation of Monge's optimal transport problem. We present an efficient numerical solution method for solving Monge's problem. To demonstrate the measure's discriminatory power when comparing images, we use a $1$-…
▽ More
This paper focuses on a similarity measure, known as the Wasserstein distance, with which to compare images. The Wasserstein distance results from a partial differential equation (PDE) formulation of Monge's optimal transport problem. We present an efficient numerical solution method for solving Monge's problem. To demonstrate the measure's discriminatory power when comparing images, we use a $1$-Nearest Neighbour ($1$-NN) machine learning algorithm to illustrate the measure's potential benefits over other more traditional distance metrics and also the Tangent Space distance, designed to perform excellently on the well-known MNIST dataset. To our knowledge, the PDE formulation of the Wasserstein metric has not been presented for dealing with image comparison, nor has the Wasserstein distance been used within the $1$-nearest neighbour architecture.
△ Less
Submitted 8 April, 2018; v1 submitted 1 December, 2016;
originally announced December 2016.
-
Nonlinear solution techniques for solving a Monge-Ampère equation for redistribution of a mesh
Authors:
P. A. Browne,
J. Prettyman,
H. Weller,
T. Pryer,
J. Van lent
Abstract:
A Monge-Ampère (MA) equation arises when seeking an optimally transported mesh that equidistributes a given monitor function in Cartesian space. This MA equation is a fully nonlinear PDE, with a source term that is a function of the gradient of the solution. This nonlinear source term is an additional computational challenge that has received little attention from MA applications in other fields.…
▽ More
A Monge-Ampère (MA) equation arises when seeking an optimally transported mesh that equidistributes a given monitor function in Cartesian space. This MA equation is a fully nonlinear PDE, with a source term that is a function of the gradient of the solution. This nonlinear source term is an additional computational challenge that has received little attention from MA applications in other fields. There are two major components needed to find a solution to the MA equation: a spatial discretisation and an algorithm to find a solution of the resulting nonlinear algebraic equations. There have been a number of different approaches proposed in the literature to solve the MA equation but none of which perform consistent comparisons across both algorithmic and discretisation differences. In this study we explore different algorithmic methods for the MA equation all within the context of a finite volume spatial discretisation. We introduce a new linearisation of the MA equation that neglects the nonlinearities arising from the source term and show that it leads to a method that is fast, robust and free of tuning parameters. We present numerical experiments that show methods based on this linearisation of the MA equation are more computationally efficient than those that rely on other techniques such as a parabolic relaxation. Further, the equations resulting from a full linearisation of the MA equation, equivalent to using Newton's method, can be seen as analogous to an advection-diffusion equation. This allows many tools that exist for computational fluid dynamics to be re-factored easily to solve the MA equation. The robustness and efficiency of the newly introduced method gives hope that an adaptive solver for geophysical flows using mesh redistribution can be computationally feasible in the near future.
△ Less
Submitted 30 September, 2016;
originally announced September 2016.
