Table of Contents
Fetching ...

Toward bilipshiz geometric models

Yonatan Sverdlov, Eitan Rosen, Nadav Dym

TL;DR

The paper investigates whether neural networks for point sets can preserve natural symmetry-aware distances under bi-Lipschitz guarantees. By comparing the Procrustes Matching metric and the Hard-Gromov-Wasserstein distance, it shows these metrics are not bi-Lipschitz equivalent, implying invariant networks cannot be bi-Lipschitz with respect to both. The authors develop bi-Lipschitz point-set models, including G_+ invariant constructions and higher-order WL-like embeddings, and provide theoretical guarantees alongside preliminary 2D/3D experiments demonstrating improved correspondence tasks over standard invariant models. The work advances understanding of when and how bi-Lipschitz guarantees can be achieved in symmetry-aware geometric learning, with practical implications for robust point-cloud matching and correspondences.

Abstract

Many neural networks for point clouds are, by design, invariant to the symmetries of this datatype: permutations and rigid motions. The purpose of this paper is to examine whether such networks preserve natural symmetry aware distances on the point cloud spaces, through the notion of bi-Lipschitz equivalence. This inquiry is motivated by recent work in the Equivariant learning literature which highlights the advantages of bi-Lipschitz models in other scenarios. We consider two symmetry aware metrics on point clouds: (a) The Procrustes Matching (PM) metric and (b) Hard Gromov Wasserstien distances. We show that these two distances themselves are not bi-Lipschitz equivalent, and as a corollary deduce that popular invariant networks for point clouds are not bi-Lipschitz with respect to the PM metric. We then show how these networks can be modified so that they do obtain bi-Lipschitz guarantees. Finally, we provide initial experiments showing the advantage of the proposed bi-Lipschitz model over standard invariant models, for the tasks of finding correspondences between 3D point clouds.

Toward bilipshiz geometric models

TL;DR

The paper investigates whether neural networks for point sets can preserve natural symmetry-aware distances under bi-Lipschitz guarantees. By comparing the Procrustes Matching metric and the Hard-Gromov-Wasserstein distance, it shows these metrics are not bi-Lipschitz equivalent, implying invariant networks cannot be bi-Lipschitz with respect to both. The authors develop bi-Lipschitz point-set models, including G_+ invariant constructions and higher-order WL-like embeddings, and provide theoretical guarantees alongside preliminary 2D/3D experiments demonstrating improved correspondence tasks over standard invariant models. The work advances understanding of when and how bi-Lipschitz guarantees can be achieved in symmetry-aware geometric learning, with practical implications for robust point-cloud matching and correspondences.

Abstract

Many neural networks for point clouds are, by design, invariant to the symmetries of this datatype: permutations and rigid motions. The purpose of this paper is to examine whether such networks preserve natural symmetry aware distances on the point cloud spaces, through the notion of bi-Lipschitz equivalence. This inquiry is motivated by recent work in the Equivariant learning literature which highlights the advantages of bi-Lipschitz models in other scenarios. We consider two symmetry aware metrics on point clouds: (a) The Procrustes Matching (PM) metric and (b) Hard Gromov Wasserstien distances. We show that these two distances themselves are not bi-Lipschitz equivalent, and as a corollary deduce that popular invariant networks for point clouds are not bi-Lipschitz with respect to the PM metric. We then show how these networks can be modified so that they do obtain bi-Lipschitz guarantees. Finally, we provide initial experiments showing the advantage of the proposed bi-Lipschitz model over standard invariant models, for the tasks of finding correspondences between 3D point clouds.

Paper Structure

This paper contains 18 sections, 9 theorems, 87 equations, 1 table.

Key Result

Theorem 2.1

For all ${\bm{X}},{\bm{Y}}\in \mathbb{R}^{d\times n}$ we have Additionally, for all ${\bm{X}},{\bm{Y}}\in \mathbb{R}^{d\times n}$ satisfying $\|{\bm{X}}\|_{1,2}\leq 1, \|{\bm{Y}}\|_{1,2}\leq 1$, we have

Theorems & Definitions (21)

  • Definition 1.1: Isomorphic elements
  • Definition 1.2: Invariant metric
  • Definition 1.3: Hölder metrics
  • Definition 1.4: Invariant and complete functions
  • Definition 1.5: Upper and lower lipshiz
  • Theorem 2.1
  • proof : Proof of Theorem \ref{['thm:metrics']}
  • Lemma 2.1: powers1970free, Lemma 4.1
  • Lemma 2.2: Theorem 3 in derksen2024bi
  • Theorem 2.2
  • ...and 11 more