Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2503.05901

On computable classes of equidistant sets: multivariate equidistant functions

Ábris Nagy·Márk Oláh·Myroslav Stoika·Csaba Vincze
View original source ↗Read source document ↗Export metadata ↓

Abstract

An equidistant set in the Euclidean space consists of points having equal distances to both members of a given pair of sets, called focal sets. Having no effective formulas to compute the distance of a point and a set, it is hard to determine the points of an equidistant set in general. Special classes of equidistant sets allow us to approximate the equidistant points in more complicated cases. In the paper we have a hyperplane corresponding to the first order (linear) approximation for one of the focal sets and the second one is considered as the epigraph of a positive-valued continuous function. In the first part of the paper we prove that the equidistant points having equal distances to the epigraph of a positive-valued continuous function and its domain form the graph of a multivariate function. Therefore such an equidistant set is called a multivariate equidistant function. We also prove that the equidistant function one of whose focal sets is constituted by the pointwise minima of finitely many positive-valued continuous functions is given by the pointwise minima of the corresponding equidistant functions. In the second part of the paper we consider equidistant functions belonging to the epigraph of a convex function under some smoothness conditions. Independently of the dimension of the space we present a special parameterization for the equidistant points based on the closest point property of the epigraph as a convex set and we give the characterization of the equidistant functions as well. An example is also presented with a hyperboloid of revolution as one of the focal sets.

Explore related subjects

math.MG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ábris Nagy, Márk Oláh, Myroslav Stoika, Csaba Vincze. 2025-03-07. On computable classes of equidistant sets: multivariate equidistant functions. https://arxiv.org/abs/2503.05901

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A positive solution to the $L^p$ projection centroid conjecture

In a classical paper [21] in 2000, Lutwak-Yang-Zhang established the $L^p$ analog of the Petty projection inequality and the $L^p$ analog of the Busemann-Petty centroid inequality. In Section 7 of [21], Lutwak-Yang-Zhang proposed the important $L^p$ projection centroid conjecture. We give a positive solution to the $L^p$ projection centroid conjecture in this work.

math.MG↗
arXiv2026

Finite and Dynamic Stability Horizons for Nearest-Neighbor Future Structures

Nearest-neighbor graphs are discrete objects whose membership may change under small perturbations of the underlying coordinates. We establish an explicit stability guarantee for finite labeled configurations in an arbitrary metric space. If the gap between the kth and (k+1)st distances is positive, simultaneous per-label perturbations smaller than one quarter of that gap preserve the directed k-nearest-neighbor membership. The factor four is sharp under the stated uniform displacement assumptions, and every fixed deterministic construction based solely on the labeled neighbor family is consequently invariant. Under an interval-valid Lipschitz bound for labeled information-space trajectories, the same result yields a certified lower bound on the first possible rewiring time, with a refinement for label-specific motion bounds. We apply the finite theorem to frozen standardized Taylor-Green future-information coordinates [d_B, log A_B] for 585 particles at three observed time strata. Outward-rounded interval arithmetic certified a sufficient perturbation radius of approximately 1.023 x 10^-6, and a separately implemented checker within the same research workflow verified the rank and distance-margin calculations. An outcome-blind audit then examined whether the construction supported a numerical continuous-time horizon. Because the complete information map involved discrete clustering and boundary reconstruction and lacked an analytic derivative bound, validated dense-time bound, or certified modulus of continuity, the application was correctly classified as DISCRETE_ONLY with STOP_NO_INTERVAL_VALID_BOUND. Thus finite local structural invariance is proved and numerically certified for the frozen configuration, while temporal specialization and predictive generalization remain separate questions requiring additional evidence.

math.MG↗
arXiv2026

Equivalence of Landscape and Erosion Distances for Persistence Diagrams

This paper establishes connections between three of the most prominent metrics used in the analysis of persistence diagrams in topological data analysis: the bottleneck distance, Patel's erosion distance, and Bubenik's landscape distance. Our main result shows that the erosion and landscape distances are equal, thereby bridging the former's natural category-theoretic interpretation with the latter's computationally convenient structure. The proof utilizes the category with a flow framework of de Silva et al., and leads to additional insights into the structure of persistence landscapes. Our equivalence result is applied to prove several results on the geometry of the erosion distance. We show that the erosion distance is not a length metric, and that its intrinsic metric is the bottleneck distance. We also show that the erosion distance does not coarsely embed into any Hilbert space, even when restricted to persistence diagrams arising from degree-0 persistent homology. Moreover, we show that erosion distance agrees with bottleneck distance on this subspace, so that our non-embeddability theorem generalizes several results in the recent literature.

math.MG↗