-
LFS-Aware Surface Reconstruction from Unoriented 3D Point Clouds
Authors:
Rao Fu,
Kai Hormann,
Pierre Alliez
Abstract:
We present a novel approach for generating isotropic surface triangle meshes directly from unoriented 3D point clouds, with mesh density adapting to the estimated local feature size (LFS). The popular reconstruction pipelines first reconstruct a dense mesh from the input point cloud and then apply remeshing to obtain the isotropic mesh. The sequential pipeline makes it hard to find a lower-density…
▽ More
We present a novel approach for generating isotropic surface triangle meshes directly from unoriented 3D point clouds, with mesh density adapting to the estimated local feature size (LFS). The popular reconstruction pipelines first reconstruct a dense mesh from the input point cloud and then apply remeshing to obtain the isotropic mesh. The sequential pipeline makes it hard to find a lower-density mesh while preserving more details. Instead, our approach reconstructs both an implicit function and an LFS-aware mesh sizing function directly from the input point cloud, which is then used to produce the final LFS-aware mesh without remeshing. We combine local curvature radius and shape diameter to estimate the LFS directly from the input point clouds. Also, we propose a new mesh solver to solve an implicit function whose zero level set delineates the surface without requiring normal orientation. The added value of our approach is generating isotropic meshes directly from 3D point clouds with an LFS-aware density, thus enabling flexible mesh quality control. Our experiments demonstrate the robustness of our method to noise, outliers, and missing data. Our method is also capable of preserving sharp features for CAD point clouds.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
Secure Data Hiding for Contact Tracing
Authors:
Craig Gotsman,
Kai Hormann
Abstract:
Contact tracing is an effective tool in controlling the spread of infectious diseases such as COVID-19. It involves digital monitoring and recording of physical proximity between people over time with a central and trusted authority, so that when one user reports infection, it is possible to identify all other users who have been in close proximity to that person during a relevant time period in t…
▽ More
Contact tracing is an effective tool in controlling the spread of infectious diseases such as COVID-19. It involves digital monitoring and recording of physical proximity between people over time with a central and trusted authority, so that when one user reports infection, it is possible to identify all other users who have been in close proximity to that person during a relevant time period in the past and alert them. One way to achieve this involves recording on the server the locations, e.g. by reading and reporting the GPS coordinates of a smartphone, of all users over time. Despite its simplicity, privacy concerns have prevented widespread adoption of this method. Technology that would enable the "hiding" of data could go a long way towards alleviating privacy concerns and enable contact tracing at a very large scale. In this article we describe a general method to hide data. By hiding, we mean that instead of disclosing a data value x, we would disclose an "encoded" version of x, namely E(x), where E(x) is easy to compute but very difficult, from a computational point of view, to invert. We propose a general construction of such a function E and show that it guarantees perfect recall, namely, all individuals who have potentially been exposed to infection are alerted, at the price of an infinitesimal number of false alarms, namely, only a negligible number of individuals who have not actually been exposed will be wrongly informed that they have.
△ Less
Submitted 10 March, 2023; v1 submitted 14 August, 2020;
originally announced August 2020.
-
Practical Distance Functions for Path-Planning in Planar Domains
Authors:
Renjie Chen,
Craig Gotsman,
Kai Hormann
Abstract:
Path planning is an important problem in robotics. One way to plan a path between two points $x,y$ within a (not necessarily simply-connected) planar domain $Ω$, is to define a non-negative distance function $d(x,y)$ on $Ω\timesΩ$ such that following the (descending) gradient of this distance function traces such a path. This presents two equally important challenges: A mathematical challenge -- t…
▽ More
Path planning is an important problem in robotics. One way to plan a path between two points $x,y$ within a (not necessarily simply-connected) planar domain $Ω$, is to define a non-negative distance function $d(x,y)$ on $Ω\timesΩ$ such that following the (descending) gradient of this distance function traces such a path. This presents two equally important challenges: A mathematical challenge -- to define $d$ such that $d(x,y)$ has a single minimum for any fixed $y$ (and this is when $x=y$), since a local minimum is in effect a "dead end", A computational challenge -- to define $d$ such that it may be computed efficiently. In this paper, given a description of $Ω$, we show how to assign coordinates to each point of $Ω$ and define a family of distance functions between points using these coordinates, such that both the mathematical and the computational challenges are met. This is done using the concepts of \emph{harmonic measure} and \emph{$f$-divergences}.
In practice, path planning is done on a discrete network defined on a finite set of \emph{sites} sampled from $Ω$, so any method that works well on the continuous domain must be adapted so that it still works well on the discrete domain. Given a set of sites sampled from $Ω$, we show how to define a network connecting these sites such that a \emph{greedy routing} algorithm (which is the discrete equivalent of continuous gradient descent) based on the distance function mentioned above is guaranteed to generate a path in the network between any two such sites. In many cases, this network is close to a (desirable) planar graph, especially if the set of sites is dense.
△ Less
Submitted 19 August, 2017;
originally announced August 2017.
-
Path Planning with Divergence-Based Distance Functions
Authors:
Renjie Chen,
Craig Gotsman,
Kai Hormann
Abstract:
Distance functions between points in a domain are sometimes used to automatically plan a gradient-descent path towards a given target point in the domain, avoiding obstacles that may be present. A key requirement from such distance functions is the absence of spurious local minima, which may foil such an approach, and this has led to the common use of harmonic potential functions. Based on the pla…
▽ More
Distance functions between points in a domain are sometimes used to automatically plan a gradient-descent path towards a given target point in the domain, avoiding obstacles that may be present. A key requirement from such distance functions is the absence of spurious local minima, which may foil such an approach, and this has led to the common use of harmonic potential functions. Based on the planar Laplace operator, the potential function guarantees the absence of spurious minima, but is well known to be slow to numerically compute and prone to numerical precision issues. To alleviate the first of these problems, we propose a family of novel divergence distances. These are based on f-divergence of the Poisson kernel of the domain. We define the divergence distances and compare them to the harmonic potential function and other related distance functions.
Our first result is theoretical: We show that the family of divergence distances are equivalent to the harmonic potential function on simply-connected domains, namely generate paths which are identical to those generated by the potential function. The proof is based on the concept of conformal invariance.
Our other results are more practical and relate to two special cases of divergence distances, one based on the Kullback-Leibler divergence and one based on the total variation divergence. We show that using divergence distances instead of the potential function and other distances has a significant computational advantage, as, following a pre-processing stage, they may be computed up to an order of magnitude faster than the others when taking advantage of certain sparsity properties of the Poisson kernel. Furthermore, the computation is "embarrassingly parallel", so may be implemented on a GPU with up to three orders of magnitude speedup.
△ Less
Submitted 9 August, 2017;
originally announced August 2017.
