English
Related papers

Related papers: Realizing Metric Spaces with Convex Obstacles

200 papers

Minimizing a convex function of a measure with a sparsity-inducing penalty is a typical problem arising, e.g., in sparse spikes deconvolution or two-layer neural networks training. We show that this problem can be solved by discretizing the…

Optimization and Control · Mathematics 2020-11-04 Lenaic Chizat

The triangulations of a surface $\Sigma$ with a prescribed set of vertices can be endowed with a graph structure $\mathcal{F}(\Sigma)$. Its edges connect two triangulations that differ by a single arc. It is known that, when $\Sigma$ is a…

Geometric Topology · Mathematics 2021-09-14 Lionel Pournin , Zili Wang

We study the query complexity of geodesically convex (g-convex) optimization on a manifold. To isolate the effect of that manifold's curvature, we primarily focus on hyperbolic spaces. In a variety of settings (smooth or not; strongly…

Optimization and Control · Mathematics 2023-07-25 Christopher Criscitiello , Nicolas Boumal

An obstacle representation of a graph is a mapping of the vertices onto points in the plane and a set of connected regions of the plane (called obstacles) such that the straight-line segment connecting the points corresponding to two…

In many robotics applications, it is necessary to compute not only the distance between the robot and the environment, but also its derivative - for example, when using control barrier functions. However, since the traditional Euclidean…

Parametrized families of PDEs arise in various contexts such as inverse problems, control and optimization, risk assessment, and uncertainty quantification. In most of these applications, the number of parameters is large or perhaps even…

Analysis of PDEs · Mathematics 2015-03-04 Albert Cohen , Ronald Devore

Many methods in learning from demonstration assume that the demonstrator has knowledge of the full environment. However, in many scenarios, a demonstrator only sees part of the environment and they continuously replan as they gather…

Robotics · Computer Science 2020-05-13 Craig Knuth , Glen Chou , Necmiye Ozay , Dmitry Berenson

Quantifying robustness in a single measure for the purposes of model selection, development of adversarial training methods, and anticipating trends has so far been elusive. The simplest metric to consider is the number of trainable…

Machine Learning · Computer Science 2024-10-25 David Khachaturov , Robert Mullins

We conjecture that a convex polytope is uniquely determined up to isometry by its edge-graph, edge lengths and the collection of distances of its vertices to some arbitrary interior point, across all dimensions and all combinatorial types.…

Combinatorics · Mathematics 2024-01-09 Martin Winter

Let S be a set of n points and let w be a function that assigns non-negative weights to points in S. The additive weighted distance d_w(p, q) between two points p,q belonging to S is defined as w(p) + d(p, q) + w(q) if p \ne q and it is…

Computational Geometry · Computer Science 2019-06-04 Sukanya Bhattacharjee , R. Inkulu

Multidimensional scaling (MDS) is a popular technique for mapping a finite metric space into a low-dimensional Euclidean space in a way that best preserves pairwise distances. We overview the theory of classical MDS, along with its…

Statistics Theory · Mathematics 2020-07-14 Henry Adams , Mark Blumstein , Lara Kassab

Metric spaces $(X, d)$ are ubiquitous objects in mathematics and computer science that allow for capturing (pairwise) distance relationships $d(x, y)$ between points $x, y \in X$. Because of this, it is natural to ask what useful…

Computational Geometry · Computer Science 2023-08-10 Willow Barkan-Vered , Huck Bennett , Amir Nayyeri

Metric data plays an important role in various settings such as metric-based indexing, clustering, classification, and approximation algorithms in general. Due to measurement error, noise, or an inability to completely gather all the data,…

Computational Geometry · Computer Science 2018-07-24 Chenglin Fan , Benjamin Raichel , Gregory Van Buskirk

The aim in packing problems is to decide if a given set of pieces can be placed inside a given container. A packing problem is defined by the types of pieces and containers to be handled, and the motions that are allowed to move the pieces.…

Computational Geometry · Computer Science 2024-08-07 Mikkel Abrahamsen , Tillmann Miltzow , Nadja Seiferth

The Procrustes distance is used to quantify the similarity or dissimilarity of (3-dimensional) shapes, and extensively used in biological morphometrics. Typically each (normalized) shape is represented by N landmark points, chosen to be…

Differential Geometry · Mathematics 2011-06-28 Yaron Lipman Reema Al-Aifari Ingrid Daubechies

We study the problem of supervised learning a metric space under discriminative constraints. Given a universe $X$ and sets ${\cal S}, {\cal D}\subset {X \choose 2}$ of similar and dissimilar pairs, we seek to find a mapping $f:X\to Y$, into…

Computational Geometry · Computer Science 2019-03-20 Diego Ihara Centurion , Neshat Mohammadi , Anastasios Sidiropoulos

Given a convex potential in a space with convex obstacles, an artificial potential is used to navigate to the minimum of the natural potential while avoiding collisions. The artificial potential combines the natural potential with…

Dynamical Systems · Mathematics 2016-12-06 Santiago Paternain , Daniel E. Koditschek , Alejandro Ribeiro

We present a novel approach to understand geometric-incompatibility-induced rigidity in under-constrained materials, including sub-isostatic 2D spring networks and 2D and 3D vertex models for dense biological tissues. We show that in all…

Soft Condensed Matter · Physics 2023-01-18 Matthias Merkel , Karsten Baumgarten , Brian P. Tighe , M. Lisa Manning

The tight span, or injective envelope, is an elegant and useful construction that takes a metric space and returns the smallest hyperconvex space into which it can be embedded. The concept has stimulated a large body of theory and has…

Metric Geometry · Mathematics 2013-01-24 David Bryant , Paul F. Tupper

The reachability problem is a central decision problem for formal verification based on vector addition systems with states (VASS), which are equivalent to Petri nets and form one of the most studied and applied models of concurrency.…

Formal Languages and Automata Theory · Computer Science 2020-05-12 Wojciech Czerwiński , Sławomir Lasota , Ranko Lazić , Jérôme Leroux , Filip Mazowiecki
‹ Prev 1 4 5 6 7 8 10 Next ›