-
The radial spanning tree in hyperbolic space
Authors:
Daniel Rosen,
Matthias Schulte,
Christoph Thäle,
Vanessa Trapp
Abstract:
Consider a stationary Poisson process $η$ in a $d$-dimensional hyperbolic space of constant curvature $-\varkappa$ and let the points of $η$ together with a fixed origin $o$ be the vertices of a graph. Connect each point $x\inη$ with its radial nearest neighbour, which is the hyperbolically nearest vertex to $x$ that is closer to $o$ than $x$. This construction gives rise to the hyperbolic radial…
▽ More
Consider a stationary Poisson process $η$ in a $d$-dimensional hyperbolic space of constant curvature $-\varkappa$ and let the points of $η$ together with a fixed origin $o$ be the vertices of a graph. Connect each point $x\inη$ with its radial nearest neighbour, which is the hyperbolically nearest vertex to $x$ that is closer to $o$ than $x$. This construction gives rise to the hyperbolic radial spanning tree, whose geometric properties are in the focus of this paper. In particular, the degree of the origin is studied. For increasing balls around $o$ as observation windows, expectation and variance asymptotics as well as a quantitative central limit theorem for a class of edge-length functionals are derived. The results are contrasted with those for the Euclidean radial spanning tree.
△ Less
Submitted 27 August, 2024;
originally announced August 2024.
-
Pseudo-holomorphic triangles and the median quasi-state
Authors:
Pazit Haim-Kislev,
Michael Khanevsky,
Asaf Kislev,
Daniel Rosen
Abstract:
We prove that the minimal area of a holomorphic triangle whose boundary lies on the union of any three Lagrangian submanifolds is bounded from above by the Lagrangian spectral norm of any pair taken out of the three. We show a relation between this result and the median quasi-state on the 2-sphere. The median quasi-state gives rise to a measure of Poisson non-commutativity of any pair of functions…
▽ More
We prove that the minimal area of a holomorphic triangle whose boundary lies on the union of any three Lagrangian submanifolds is bounded from above by the Lagrangian spectral norm of any pair taken out of the three. We show a relation between this result and the median quasi-state on the 2-sphere. The median quasi-state gives rise to a measure of Poisson non-commutativity of any pair of functions. We answer a question of Entov--Polterovich--Zapolsky by giving a sharp upper bound on the ratio between this measure and the uniform norm of the Poisson bracket of the pair. The sharpness of this bound also implies a lower bound on the defect of the Calabi quasi-morphism.
△ Less
Submitted 18 March, 2024;
originally announced March 2024.
-
Multi-Irreducible Spectral Synchronization for Robust Rotation Averaging
Authors:
Owen Howell,
Haoen Huang,
David Rosen
Abstract:
Rotation averaging (RA) is a fundamental problem in robotics and computer vision. In RA, the goal is to estimate a set of $N$ unknown orientations $R_{1}, ..., R_{N} \in SO(3)$, given noisy measurements $R_{ij} \sim R^{-1}_{i} R_{j}$ of a subset of their pairwise relative rotations. This problem is both nonconvex and NP-hard, and thus difficult to solve in the general case. We apply harmonic analy…
▽ More
Rotation averaging (RA) is a fundamental problem in robotics and computer vision. In RA, the goal is to estimate a set of $N$ unknown orientations $R_{1}, ..., R_{N} \in SO(3)$, given noisy measurements $R_{ij} \sim R^{-1}_{i} R_{j}$ of a subset of their pairwise relative rotations. This problem is both nonconvex and NP-hard, and thus difficult to solve in the general case. We apply harmonic analysis on compact groups to derive a (convex) spectral relaxation constructed from truncated Fourier decompositions of the individual summands appearing in the RA objective; we then recover an estimate of the RA solution by computing a few extremal eigenpairs of this relaxation, and (approximately) solving a consensus problem. Our approach affords several notable advantages versus prior RA methods: it can be used in conjunction with \emph{any} smooth loss function (including, but not limited to, robust M-estimators), does not require any initialization, and is implemented using only simple (and highly scalable) linear-algebraic computations and parallelizable optimizations over band-limited functions of individual rotational states. Moreover, under the (physically well-motivated) assumption of multiplicative Langevin measurement noise, we derive explicit performance guarantees for our spectral estimator (in the form of probabilistic tail bounds on the estimation error) that are parameterized in terms of graph-theoretic quantities of the underlying measurement network. By concretely linking estimator performance with properties of the underlying measurement graph, our results also indicate how to devise measurement networks that are \emph{guaranteed} to achieve accurate estimation, enabling such downstream tasks as sensor placement, network compression, and active sensing.
△ Less
Submitted 28 November, 2023;
originally announced November 2023.
-
A quantitative central limit theorem for Poisson horospheres in high dimensions
Authors:
Zakhar Kabluchko,
Daniel Rosen,
Christoph Thäle
Abstract:
Consider a stationary Poisson process of horospheres in a $d$-dimensional hyperbolic space. In the focus of this note is the total surface area these random horospheres induce in a sequence of balls of growing radius $R$. The main result is a quantitative, non-standard central limit theorem for these random variables as the radius $R$ of the balls and the space dimension $d$ tend to infinity simul…
▽ More
Consider a stationary Poisson process of horospheres in a $d$-dimensional hyperbolic space. In the focus of this note is the total surface area these random horospheres induce in a sequence of balls of growing radius $R$. The main result is a quantitative, non-standard central limit theorem for these random variables as the radius $R$ of the balls and the space dimension $d$ tend to infinity simultaneously.
△ Less
Submitted 7 March, 2024; v1 submitted 31 March, 2023;
originally announced March 2023.
-
Limit theory of sparse random geometric graphs in high dimensions
Authors:
Gilles Bonnet,
Christian Hirsch,
Daniel Rosen,
Daniel Willhalm
Abstract:
We study topological and geometric functionals of $l_\infty$-random geometric graphs on the high-dimensional torus in a sparse regime, where the expected number of neighbors decays exponentially in the dimension. More precisely, we establish moment asymptotics, functional central limit theorems and Poisson approximation theorems for certain functionals that are additive under disjoint unions of gr…
▽ More
We study topological and geometric functionals of $l_\infty$-random geometric graphs on the high-dimensional torus in a sparse regime, where the expected number of neighbors decays exponentially in the dimension. More precisely, we establish moment asymptotics, functional central limit theorems and Poisson approximation theorems for certain functionals that are additive under disjoint unions of graphs. For instance, this includes simplex counts and Betti numbers of the Rips complex, as well as general subgraph counts of the random geometric graph. We also present multi-additive extensions that cover the case of persistent Betti numbers of the Rips complex.
△ Less
Submitted 23 December, 2022;
originally announced December 2022.
-
Fluctuations of $λ$-geodesic Poisson hyperplanes in hyperbolic space
Authors:
Zakhar Kabluchko,
Daniel Rosen,
Christoph Thäle
Abstract:
Poisson processes of so-called $λ$-geodesic hyperplanes in $d$-dimensional hyperbolic space are studied for $0\leqλ\leq 1$. The case $λ=0$ corresponds to genuine geodesic hyperplanes, the case $λ=1$ to horospheres and $λ\in(0,1)$ to $λ$-equidistants. In the focus are the fluctuations of the centred and normalized total surface area of the union of all $λ$-geodesic hyperplanes in the Poisson proces…
▽ More
Poisson processes of so-called $λ$-geodesic hyperplanes in $d$-dimensional hyperbolic space are studied for $0\leqλ\leq 1$. The case $λ=0$ corresponds to genuine geodesic hyperplanes, the case $λ=1$ to horospheres and $λ\in(0,1)$ to $λ$-equidistants. In the focus are the fluctuations of the centred and normalized total surface area of the union of all $λ$-geodesic hyperplanes in the Poisson process within a hyperbolic ball of radius $R$ centred at some fixed point, as $R\to\infty$. It is shown that for $λ<1$ these random variables satisfy a quantitative central limit theorem precisely for $d=2$ and $d=3$. The exact form of the non-Gaussian, infinitely divisible limiting distribution is determined for all higher space dimensions $d\geq 4$. The special case $λ=1$ is in sharp contrast to this behaviour. In fact, for the total surface area of Poisson processes of horospheres, a non-standard central limit theorem with limiting variance $1/2$ is established for all space dimensions $d\geq 2$. We discuss the analogy between the problem studied here and the Random Energy Model whose partition function exhibits a similar structure of possible limit laws.
△ Less
Submitted 22 February, 2024; v1 submitted 25 May, 2022;
originally announced May 2022.
-
Generating the Group of Nonzero Elements of a Quadratic Extension of $\mathbb{F}_{p}$
Authors:
Jerry D Rosen,
Daniel Sarian,
Susan Elizabeth Slome
Abstract:
It is well known that if $\mathbb{F}$ is a finite field then $\mathbb{F^{*}}$, the set of non zero elements of $\mathbb{F}$, is a cyclic group. In this paper we will assume $\mathbb{F}=\mathbb{F}_{p}$ (the finite field with p elements, p a prime) and $\mathbb{\mathbb{F}}_{p^{2}}$ is a quadratic extension of $\mathbb{F}_{p}$. In this case, the groups $\mathbb{F}_{p}^{*}$ and…
▽ More
It is well known that if $\mathbb{F}$ is a finite field then $\mathbb{F^{*}}$, the set of non zero elements of $\mathbb{F}$, is a cyclic group. In this paper we will assume $\mathbb{F}=\mathbb{F}_{p}$ (the finite field with p elements, p a prime) and $\mathbb{\mathbb{F}}_{p^{2}}$ is a quadratic extension of $\mathbb{F}_{p}$. In this case, the groups $\mathbb{F}_{p}^{*}$ and $\mathbb{F}_{p^{2}}^{*}$ have orders $p-1$ and $p^{2}-1$ respectively. We will provide necessary and sufficient conditions for an element $u\in\mathbb{F}_{p^{2}}^{*}$ to be a generator. Specifically, we will prove $u$ is a generator of $\mathbb{F}_{p^{2}}^{*}$ if and only if $N(u)$ generates $\mathbb{F}_{p}^{*}$ and $\frac{u^{2}}{N(u)}$ generates Ker$\,N$, where $N:\mathbb{F}_{p^{2}}^{*}\rightarrow\mathbb{F}_{p}^{*}$ denotes the norm map. We will also provide a method for determining if $u$ is not a generator of Ker$\,N$.
△ Less
Submitted 2 July, 2022; v1 submitted 29 March, 2022;
originally announced March 2022.
-
Distributed Riemannian Optimization with Lazy Communication for Collaborative Geometric Estimation
Authors:
Yulun Tian,
Amrit Singh Bedi,
Alec Koppel,
Miguel Calvo-Fullana,
David M. Rosen,
Jonathan P. How
Abstract:
We present the first distributed optimization algorithm with lazy communication for collaborative geometric estimation, the backbone of modern collaborative simultaneous localization and mapping (SLAM) and structure-from-motion (SfM) applications. Our method allows agents to cooperatively reconstruct a shared geometric model on a central server by fusing individual observations, but without the ne…
▽ More
We present the first distributed optimization algorithm with lazy communication for collaborative geometric estimation, the backbone of modern collaborative simultaneous localization and mapping (SLAM) and structure-from-motion (SfM) applications. Our method allows agents to cooperatively reconstruct a shared geometric model on a central server by fusing individual observations, but without the need to transmit potentially sensitive information about the agents themselves (such as their locations). Furthermore, to alleviate the burden of communication during iterative optimization, we design a set of communication triggering conditions that enable agents to selectively upload a targeted subset of local information that is useful to global optimization. Our approach thus achieves significant communication reduction with minimal impact on optimization performance. As our main theoretical contribution, we prove that our method converges to first-order critical points with a global sublinear convergence rate. Numerical evaluations on bundle adjustment problems from collaborative SLAM and SfM datasets show that our method performs competitively against existing distributed techniques, while achieving up to 78% total communication reduction.
△ Less
Submitted 29 July, 2022; v1 submitted 1 March, 2022;
originally announced March 2022.
-
Caustic-Free Regions for Billiards on Surfaces of Constant Curvature
Authors:
Dan Itzhak Florentin,
Yaron Ostrover,
Daniel Rosen
Abstract:
In this note we study caustic-free regions for convex billiard tables in the hyperbolic plane or the hemisphere. In particular, following a result by Gutkin and Katok in the Euclidean case, we estimate the size of such regions in terms of the geometry of the billiard table. Moreover, we extend to this setting a theorem due to Hubacher which shows that no caustics exist near the boundary of a conve…
▽ More
In this note we study caustic-free regions for convex billiard tables in the hyperbolic plane or the hemisphere. In particular, following a result by Gutkin and Katok in the Euclidean case, we estimate the size of such regions in terms of the geometry of the billiard table. Moreover, we extend to this setting a theorem due to Hubacher which shows that no caustics exist near the boundary of a convex billiard table whose curvature is discontinuous.
△ Less
Submitted 13 June, 2021; v1 submitted 9 February, 2021;
originally announced February 2021.
-
Random inscribed polytopes in projective geometries
Authors:
Florian Besau,
Daniel Rosen,
Christoph Thäle
Abstract:
We establish central limit theorems for natural volumes of random inscribed polytopes in projective Riemannian or Finsler geometries. In addition, normal approximation of dual volumes and the mean width of random polyhedral sets are obtained. We deduce these results by proving a general central limit theorem for the weighted volume of the convex hull of random points chosen from the boundary of a…
▽ More
We establish central limit theorems for natural volumes of random inscribed polytopes in projective Riemannian or Finsler geometries. In addition, normal approximation of dual volumes and the mean width of random polyhedral sets are obtained. We deduce these results by proving a general central limit theorem for the weighted volume of the convex hull of random points chosen from the boundary of a smooth convex body according to a positive and continuous density in Euclidean space. In the background are geometric estimates for weighted surface bodies and Berry-Esseen bounds for functionals of independent random variables.
△ Less
Submitted 21 May, 2020;
originally announced May 2020.
-
Relative growth rate and contact Banach-Mazur distance
Authors:
Daniel Rosen,
Jun Zhang
Abstract:
In this paper, we define a non-linear version of Banach-Mazur distance in the contact geometry set-up, called contact Banach-Mazur distance and denoted by $d_{\rm CBM}$. Explicitly, we consider the following two set-ups, either on a contact manifold $W \times S^1$ where $W$ is a Liouville manifold, or a closed Liouville-fillable contact manifold $M$. The inputs of $d_{\rm CBM}$ are different in th…
▽ More
In this paper, we define a non-linear version of Banach-Mazur distance in the contact geometry set-up, called contact Banach-Mazur distance and denoted by $d_{\rm CBM}$. Explicitly, we consider the following two set-ups, either on a contact manifold $W \times S^1$ where $W$ is a Liouville manifold, or a closed Liouville-fillable contact manifold $M$. The inputs of $d_{\rm CBM}$ are different in these two cases. In the former case the inputs are (contact) star-shaped domains of $W \times S^1$, and in the latter case the inputs are contact 1-forms of $M$. In particular, the contact Banach-Mazur distance $d_{\rm CBM}$ defined in the former case is motivated by the concept, relative growth rate, which was originally defined and studied by Eliashberg and Polterovich. In addition, we investigate the relations of $d_{\rm CBM}$ to various numerical measurements in contact geometry and symplectic geometry, for instance, contact shape invariant, (coarse) symplectic Banach-Mazur distance. Moreover, we obtain several large-scale geometric properties in terms of $d_{\rm CBM}$. Finally, we propose a quantitative comparison between elements in the derived categories of sheaves of modules (over certain topological spaces). This is based on several important properties of the singular support of sheaves.
△ Less
Submitted 15 February, 2020; v1 submitted 14 January, 2020;
originally announced January 2020.
-
Distributed Certifiably Correct Pose-Graph Optimization
Authors:
Yulun Tian,
Kasra Khosoussi,
David M. Rosen,
Jonathan P. How
Abstract:
This paper presents the first certifiably correct algorithm for distributed pose-graph optimization (PGO), the backbone of modern collaborative simultaneous localization and mapping (CSLAM) and camera network localization (CNL) systems. Our method is based upon a sparse semidefinite relaxation that we prove provides globally-optimal PGO solutions under moderate measurement noise (matching the guar…
▽ More
This paper presents the first certifiably correct algorithm for distributed pose-graph optimization (PGO), the backbone of modern collaborative simultaneous localization and mapping (CSLAM) and camera network localization (CNL) systems. Our method is based upon a sparse semidefinite relaxation that we prove provides globally-optimal PGO solutions under moderate measurement noise (matching the guarantees enjoyed by state-of-the-art centralized methods), but is amenable to distributed optimization using the low-rank Riemannian Staircase framework. To implement the Riemannian Staircase in the distributed setting, we develop Riemannian block coordinate descent (RBCD), a novel method for (locally) minimizing a function over a product of Riemannian manifolds. We also propose the first distributed solution verification and saddle escape methods to certify the global optimality of critical points recovered via RBCD, and to descend from suboptimal critical points (if necessary). All components of our approach are inherently decentralized: they require only local communication, provide privacy protection, and are easily parallelizable. Extensive evaluations on synthetic and real-world datasets demonstrate that the proposed method correctly recovers globally optimal solutions under moderate noise, and outperforms alternative distributed techniques in terms of solution precision and convergence speed.
△ Less
Submitted 18 May, 2021; v1 submitted 9 November, 2019;
originally announced November 2019.
-
Topological Persistence in Geometry and Analysis
Authors:
Leonid Polterovich,
Daniel Rosen,
Karina Samvelyan,
Jun Zhang
Abstract:
The theory of persistence modules is an emerging field of algebraic topology which originated in topological data analysis. In these notes we provide a concise introduction into this field and give an account on some of its interactions with geometry and analysis. In particular, we present applications of persistence to symplectic topology, including the geometry of symplectomorphism groups and em…
▽ More
The theory of persistence modules is an emerging field of algebraic topology which originated in topological data analysis. In these notes we provide a concise introduction into this field and give an account on some of its interactions with geometry and analysis. In particular, we present applications of persistence to symplectic topology, including the geometry of symplectomorphism groups and embedding problems. Furthermore, we discuss topological function theory which provides a new insight on oscillation of functions. The material should be accessible to readers with a basic background in algebraic and differential topology.
△ Less
Submitted 23 January, 2021; v1 submitted 8 April, 2019;
originally announced April 2019.
-
Chekanov's dichotomy in contact topology
Authors:
Daniel Rosen,
Jun Zhang
Abstract:
In this paper we study submanifolds of contact manifolds. The main submanifolds we are interested in are contact coisotropic submanifolds. Based on a correspondence between symplectic and contact coisotropic submanifolds, we can show contact coisotropic submanifolds admit a $C^0$-rigidity, similar to Humilière-Leclercq-Seyfaddini's coisotropic rigidity on symplectic manifolds. Moreover, based on S…
▽ More
In this paper we study submanifolds of contact manifolds. The main submanifolds we are interested in are contact coisotropic submanifolds. Based on a correspondence between symplectic and contact coisotropic submanifolds, we can show contact coisotropic submanifolds admit a $C^0$-rigidity, similar to Humilière-Leclercq-Seyfaddini's coisotropic rigidity on symplectic manifolds. Moreover, based on Shelukhin's norm defined on the contactomorphism group, we define a Chekanov type pseudo-metric on the orbit space of a fixed submanifold of a contact manifold. Moreover, we can show a dichotomy of (non-)degeneracy of this pseudo-metric when the dimension of this fixed submanifold is equal to the one for a Legendrian submanifold. This can be viewed as a contact topology analogue to Chekanov's dichotomy of (non-)degeneracy of Chekanov-Hofer's metric on the orbit space of a Lagrangian submanifold.
△ Less
Submitted 24 July, 2021; v1 submitted 25 August, 2018;
originally announced August 2018.
-
Duality of Caustics in Minkowski Billiards
Authors:
Shiri Artstein-Avidan,
Dan Itzhak Florentin,
Yaron Ostrover,
Daniel Rosen
Abstract:
In this paper we study convex caustics in Minkowski billiards. We show that for the Euclidean billiard dynamics in a planar smooth centrally symmetric and strictly convex body $K$, for every convex caustic which $K$ possesses, the "dual" billiard dynamics in which the table is the Euclidean unit disk and the geometry that governs the motion is induced by the body $K$, possesses a dual convex caust…
▽ More
In this paper we study convex caustics in Minkowski billiards. We show that for the Euclidean billiard dynamics in a planar smooth centrally symmetric and strictly convex body $K$, for every convex caustic which $K$ possesses, the "dual" billiard dynamics in which the table is the Euclidean unit disk and the geometry that governs the motion is induced by the body $K$, possesses a dual convex caustic. Such a pair of caustics is dual in a strong sense, and in particular they have the same perimeter, Lazutkin parameter (both measured with respect to the corresponding geometries), and rotation number. We show moreover that for general Minkowski billiards this phenomenon fails, and one can construct a smooth caustic in a Minkowski billiard table which possesses no dual convex caustic.
△ Less
Submitted 13 July, 2017;
originally announced July 2017.
-
A Certifiably Correct Algorithm for Synchronization over the Special Euclidean Group
Authors:
David M. Rosen,
Luca Carlone,
Afonso S. Bandeira,
John J. Leonard
Abstract:
Many geometric estimation problems take the form of synchronization over the special Euclidean group: estimate the values of a set of poses given noisy measurements of a subset of their pairwise relative transforms. This problem is typically formulated as a maximum-likelihood estimation that requires solving a nonconvex nonlinear program, which is computationally intractable in general. Neverthele…
▽ More
Many geometric estimation problems take the form of synchronization over the special Euclidean group: estimate the values of a set of poses given noisy measurements of a subset of their pairwise relative transforms. This problem is typically formulated as a maximum-likelihood estimation that requires solving a nonconvex nonlinear program, which is computationally intractable in general. Nevertheless, in this paper we present an algorithm that is able to efficiently recover certifiably globally optimal solutions of this estimation problem in a non-adversarial noise regime. The crux of our approach is the development of a semidefinite relaxation of the maximum-likelihood estimation whose minimizer provides the exact MLE so long as the magnitude of the noise corrupting the available measurements falls below a certain critical threshold; furthermore, whenever exactness obtains, it is possible to verify this fact a posteriori, thereby certifying the optimality of the recovered estimate. We develop a specialized optimization scheme for solving large-scale instances of this semidefinite relaxation by exploiting its low-rank, geometric, and graph-theoretic structure to reduce it to an equivalent optimization problem on a low-dimensional Riemannian manifold, and then design a Riemannian truncated-Newton trust-region method to solve this reduction efficiently. We combine this fast optimization approach with a simple rounding procedure to produce our algorithm, SE-Sync. Experimental evaluation on a variety of simulated and real-world pose-graph SLAM datasets shows that SE-Sync is capable of recovering globally optimal solutions when the available measurements are corrupted by noise up to an order of magnitude greater than that typically encountered in robotics applications, and does so at a computational cost that scales comparably with that of direct Newton-type local search techniques.
△ Less
Submitted 9 February, 2017; v1 submitted 1 November, 2016;
originally announced November 2016.
-
Embeddings of free groups into asymptotic cones of Hamiltonian diffeomorphisms
Authors:
Daniel Alvarez-Gavela,
Victoria Kaminker,
Asaf Kislev,
Konstantin Kliakhandler,
Andrei Pavlichenko,
Lorenzo Rigolli,
Daniel Rosen,
Ood Shabtai,
Bret Stevenson,
Jun Zhang
Abstract:
Given a symplectic surface $(Σ, ω)$ of genus $g \ge 4$, we show that the free group with two generators embeds into every asymptotic cone of $(\mathrm{Ham}(Σ, ω), d_\mathrm{H})$, where $d_\mathrm{H}$ is the Hofer metric. The result stabilizes to products with symplectically aspherical manifolds.
Given a symplectic surface $(Σ, ω)$ of genus $g \ge 4$, we show that the free group with two generators embeds into every asymptotic cone of $(\mathrm{Ham}(Σ, ω), d_\mathrm{H})$, where $d_\mathrm{H}$ is the Hofer metric. The result stabilizes to products with symplectically aspherical manifolds.
△ Less
Submitted 13 April, 2016; v1 submitted 18 February, 2016;
originally announced February 2016.
-
Lagrangian Duality in 3D SLAM: Verification Techniques and Optimal Solutions
Authors:
Luca Carlone,
David Rosen,
Giuseppe Calafiore,
John Leonard,
Frank Dellaert
Abstract:
State-of-the-art techniques for simultaneous localization and mapping (SLAM) employ iterative nonlinear optimization methods to compute an estimate for robot poses. While these techniques often work well in practice, they do not provide guarantees on the quality of the estimate. This paper shows that Lagrangian duality is a powerful tool to assess the quality of a given candidate solution. Our con…
▽ More
State-of-the-art techniques for simultaneous localization and mapping (SLAM) employ iterative nonlinear optimization methods to compute an estimate for robot poses. While these techniques often work well in practice, they do not provide guarantees on the quality of the estimate. This paper shows that Lagrangian duality is a powerful tool to assess the quality of a given candidate solution. Our contribution is threefold. First, we discuss a revised formulation of the SLAM inference problem. We show that this formulation is probabilistically grounded and has the advantage of leading to an optimization problem with quadratic objective. The second contribution is the derivation of the corresponding Lagrangian dual problem. The SLAM dual problem is a (convex) semidefinite program, which can be solved reliably and globally by off-the-shelf solvers. The third contribution is to discuss the relation between the original SLAM problem and its dual. We show that from the dual problem, one can evaluate the quality (i.e., the suboptimality gap) of a candidate SLAM solution, and ultimately provide a certificate of optimality. Moreover, when the duality gap is zero, one can compute a guaranteed optimal SLAM solution from the dual problem, circumventing non-convex optimization. We present extensive (real and simulated) experiments supporting our claims and discuss practical relevance and open problems.
△ Less
Submitted 20 July, 2015; v1 submitted 2 June, 2015;
originally announced June 2015.
-
On Sandon-type metrics for contactomorphism groups
Authors:
Maia Fraser,
Leonid Polterovich,
Daniel Rosen
Abstract:
For certain contact manifolds admitting a 1-periodic Reeb flow we construct a conjugation-invariant norm on the universal cover of the contactomorphism group. With respect to this norm the group admits a quasi-isometric monomorphism of the real line. The construction involves the partial order on contactomorphisms and symplectic intersections. This norm descends to a conjugation-invariant norm on…
▽ More
For certain contact manifolds admitting a 1-periodic Reeb flow we construct a conjugation-invariant norm on the universal cover of the contactomorphism group. With respect to this norm the group admits a quasi-isometric monomorphism of the real line. The construction involves the partial order on contactomorphisms and symplectic intersections. This norm descends to a conjugation-invariant norm on the contactomorphism group. As a counterpoint, we discuss conditions under which conjugation-invariant norms for contactomorphisms are necessarily bounded.
△ Less
Submitted 27 October, 2016; v1 submitted 13 July, 2012;
originally announced July 2012.
-
Poisson brackets, quasi-states and symplectic integrators
Authors:
Michael Entov,
Leonid Polterovich,
Daniel Rosen
Abstract:
This paper is a fusion of a survey and a research article. We focus on certain rigidity phenomena in function spaces associated to a symplectic manifold. Our starting point is a lower bound obtained in an earlier paper with Zapolsky for the uniform norm of the Poisson bracket of a pair of functions in terms of symplectic quasi-states. After a short review of the theory of symplectic quasi-states…
▽ More
This paper is a fusion of a survey and a research article. We focus on certain rigidity phenomena in function spaces associated to a symplectic manifold. Our starting point is a lower bound obtained in an earlier paper with Zapolsky for the uniform norm of the Poisson bracket of a pair of functions in terms of symplectic quasi-states. After a short review of the theory of symplectic quasi-states, we extend this bound to the case of iterated Poisson brackets. A new technical ingredient is the use of symplectic integrators. In addition, we discuss some applications to symplectic approximation theory and present a number of open problems.
△ Less
Submitted 11 October, 2009;
originally announced October 2009.
