The aim of this article is to generalize the notion of the cut locus and to get the structure theorem for it. For this purpose, we first introduce a class of 1-Lipschitz functions, each member of which is called an {\it almost distance function}. Typical examples of an almost distance function are the distance function…
We show that, on a smooth riemannian manifold, the laplacian of the distance function to a point b is −∞ in the sense of barriers, at every point of the cut locus with respect to b.
Discuss folklore statements about manifolds with curvature bounds.
problem Distance functions in manifolds with curvature bounds.
method Regularity, subsets of positive reach, and cut locus.
result Folklore statements about manifolds with curvature bounds are discussed.
We characterize the differentiable points of the distance function from a closed subset N of an arbitrary dimensional Finsler manifold in terms of the number of N-segments. In the case of a 2-dimensional Finsler manifold, we prove the structure theorem of the cut locus of a closed subset N, namely that it is a lo…
New method calculates cut locus on Riemannian manifolds using optimal transport.
problem Computing the cut locus on compact Riemannian manifolds.
method Characterization via optimal transport density solution of Monge-Kantorovich equations, numerical approximation.
result Proposed novel framework for numerical approximation of cut locus.
The paper proves the existence of a tubular neighborhood for Finsler submanifolds.
problem Existence of a tubular neighborhood for Finsler submanifolds.
method Geometric proof of the existence of a tubular neighborhood for Finsler submanifolds.
result The distance between a Finsler submanifold and its cut locus is at least ε when the submanifold is compact.
The paper connects cut locus, Thom space, and Morse-Bott functions in Riemannian geometry.
problem Analyzing the square of the distance function to a submanifold in a Riemannian manifold.
method Investigates the Morse-Bott property of the square of the distance function on the complement of the cut locus.
result The Thom space of the normal bundle of a submanifold is homeomorphic to the quotient space of the complement of the cut locus.
Nilpotent groups can't be biLipschitz embedded into L1.
problem Proving that simply connected nilpotent Lie groups cannot be biLipschitz embedded into L1. method Using a pull-back distance and cut measures, the authors show that bi-Lipschitz embeddings can't exist in non-abelian settings.
result Every Carnot group that biLipschitz embeds into L1 is abelian. Maps on Sasakian manifolds limit to sub-Riemannian distance bounds.
problem Understanding sub-Riemannian distances on Sasakian manifolds.
method Parallel and mirror maps along geodesics of a taming Riemannian metric.
result Limits of transport maps outside sub-Riemannian cut-locus provide bounds on sub-Riemannian distance.
Study exact formula and geodesics for Carnot-Carathéodory distance on 2-step groups.
problem Exact formula and geodesics for Carnot-Carathéodory distance on 2-step groups.
method Combining Varadhan's formula, Loewner's theorem, and the method of stationary phase.
result Characterization of squared sub-Riemannian distance and cut locus on generalized Heisenberg-type groups and star graphs.
New method calculates cut locus on surfaces without boundary.
problem Computing the cut locus on compact submanifolds.
method Variational convex problem with conic constraints.
result Proven convergence of the approximation method.
We study the small time asymptotics of the gradient and Hessian of the logarithm of the heat kernel at the cut locus, giving, in principle, complete expansions for both quantities. We relate the leading terms of the expansions to the structure of the cut locus, especially to conjugacy, and we provide a probabilistic in…
Reduced sub-Riemannian time on a specific group structure.
problem Optimizing paths in a sub-Riemannian structure on a Carnot group.
method Proved conjectured cut times, compared with known results, and solved equations in elliptic functions.
result Reduced cut times for sub-Riemannian paths on the Cartan group.
We construct exhaustion and cut-off functions with controlled gradient and Laplacian on manifolds with Ricci curvature bounded from below by a (possibly unbounded) nonpositive function of the distance from a fixed reference point, without any assumptions on the topology or the injectivity radius. Along the way we prove…
In this paper we study the invariant Carnot-Caratheodory metrics on SU(2)≃S3, SO(3) and SL(2) induced by their Cartan decomposition and by the Killing form. Beside computing explicitly geodesics and conjugate loci, we compute the cut loci (globally) and we give the expression of the Carnot-Caratheodory dis…
We prove some sharp isoperimetric type inequalities for domains with smooth boundary on Riemannian manifolds. For example, using generalized convexity, we show that among all domains with a lower bound l for the cut distance and Ricci curvature lower bound (n−1)k, the geodesic ball of radius l in the space form o…
The paper studies the cut locus of submanifolds in Riemannian manifolds, providing geometric and topological insights.
problem Understanding the cut locus of submanifolds in Riemannian geometry.
method Analyzing the square of the distance function and using gradient flow lines to deform spaces.
result The cut locus of a submanifold is invariant under certain group actions and provides a deformation retraction.
Study geodesics and shortest arcs on Lie groups with specific metrics.
problem Characterize geodesics and shortest paths on Lie groups with sub-Riemannian metrics.
method Analytical and geometric methods to find geodesics and shortest arcs.
result Found geodesics, shortest arcs, distances, and conjugate loci for specified metrics.
Method learns graphons from graphs via Gromov-Wasserstein barycenters.
problem Learning nonparametric graph models from finite graphs.
method Approximate graphons with step functions, use Gromov-Wasserstein distance, learn barycenters.
result Proposed method outperforms state-of-the-art on synthetic and real-world data.
We study the problem of partitioning a small sample of n individuals from a mixture of k product distributions over a Boolean cube {0,1}K according to their distributions. Each distribution is described by a vector of allele frequencies in RK. Given two distributions, we use γ to denote the average $\el…
Online structure learning approaches, such as those stemming from Statistical Relational Learning, enable the discovery of complex relations in noisy data streams. However, these methods assume the existence of fully-labelled training data, which is unrealistic for most real-world applications. We present a novel appro…
Max-Cut decision tree improves classification accuracy and reduces computation time.
problem Improving decision tree accuracy and efficiency for complex classification tasks.
method Alternative splitting metric (max cut) and PCA-based feature selection at each node.
result 49% improvement in accuracy with 94% reduction in CPU time on CIFAR-100 data.
ExDAG solves DAG learning problems with low structural Hamming distance.
problem Learning DAGs with low structural Hamming distance under identifiability assumptions.
method Mixed-integer quadratic programming (MIQP) with branch-and-bound-and-cut algorithm and lazy constraints.
result ExDAG guarantees global convergence and provides a real-time quality assessment.
Transforms distance-based outlier scores into interpretable probabilistic estimates.
problem Difficult interpretation of distance-based outlier scores.
method Generic transformation of scores into probabilistic estimates using distance probability distributions.
result Probabilistic transformation improves interpretability without impacting detection performance.
Study sub-Riemannian geodesics on a Heisenberg 3D nil-manifold.
problem Characterize geodesics on a specific nil-manifold.
method Analyze the projection of sub-Riemannian structure, describe geodesic flow dynamics, and estimate sub-Riemannian geodesics.
result Sharp bounds and estimates for sub-Riemannian geodesics.
A left-invariant sub-Riemannian metric d on the shortened Lorentz group SO0(2,1) under the condition that d is right-invariant relative to the orthogonal Lie subgroup 1⊗SO(2) is studied. The distance between arbitrary two elements, the cut locus (as the union of the subgroup 1⊗SO(2) with the an…
In this paper we prove that if a point p in a complete Riemannian manifold is not a cut point of any point whose distance to p is r, then the injectivity radius of p is strictly large than r. As a corollary we give a positive answer to a problem raised by Z. Sun and J. Wan.
The aim of this article is to present a comparative review of Riemannian and Finsler geometry. The structures of cut and conjugate loci on Riemannian manifolds have been discussed by many geometers including H. Busemann, M. Berger and W. Klingenberg. The key point in the study of Finsler manifolds is the non-symmetric …
Under the definition of Ricci curvature bounded below for Alexandrov spaces introduced by Zhang-Zhu, we generalize a result by Colding that an n dimentional manifold with Ricci curvature greater or equal to n minus 1 and volume close to that of the unit n sphere is close (in the Gromov-Hausdorff distance) to the sphere…
GCNs distinguish graph models based on embeddings, but depth matters.
problem GCNs distinguish between different random graph models.
method Investigated the power of GCNs of varying depths to distinguish between graph models.
result GCNs with logarithmic depth can distinguish certain graphons, but simpler architectures suffice for others.
Characterizes GM-groups via sub-Riemannian geometry properties.
problem Characterizing step-two Carnot groups via sub-Riemannian geometry.
method Sub-Riemannian geometric properties, including squared distance, cut locus, optimal synthesis.
result Characterization of GM-groups and exact expression of d(g)2 for classical cut locus. Proposes a new method to improve target annotation in ATR.
problem Challenges in annotating automatic target recognition due to lack of labeled data.
method Hybrid contrastive learning and cycle-consistency-based transductive transfer learning (C3TTL) framework.
result Significantly lower Fréchet Inception Distance (FID) score and improved performance in annotating civilian and military vehicles, as well as ship targets.
Study shows effective resistance distance yields more accurate network barycenter than Hamming distance.
problem Identifying the best metric for computing the Fréchet mean network.
method Compared the effectiveness of Hamming distance and effective resistance distance in capturing network topology.
result Effective resistance distance produces a more accurate Fréchet mean network.
Let V be a separable Hilbert space, possibly infinite dimensional. Let $\St(p,V)$ be the Stiefel manifold of orthonormal frames of p vectors in V, and let $\Gr(p,V)$ be the Grassmann manifold of p dimensional subspaces of V. We study the distance and the geodesics in these manifolds, by reducing the matter to…
Geodesics in Sol geometry described with invariant k and spiral properties.
problem Understanding the geodesic flow in the Sol geometry.
method Self-contained geometric description and analysis of geodesics.
result Characterization of geodesic segments, cut locus, and asymptotic distance growth.
NeuralCut learns to select cutting planes by looking ahead, outperforming traditional methods.
problem Selecting effective cutting planes for MILP optimization.
method Imitation learning on a lookahead expert to train a neural network for cut selection.
result NeuralCut outperforms standard baselines in cut selection for MILP benchmarks.
Differentiable cutting-plane layers solve parametric mixed-integer linear optimization problems.
problem Solving parametric mixed-integer linear optimization problems with changing data.
method Introducing cutting-plane layers (CPLs) for differentiable cutting-plane generation.
result The algorithm computes solutions with low integrality gaps and generalizes to unseen instances.
NeVI-Cut uses neural networks to efficiently propagate uncertainty without feedback.
problem Efficiently propagating uncertainty in downstream Bayesian analysis without feedback.
method NeVI-Cut combines neural networks and normalizing flows for variational inference.
result NeVI-Cut achieves significant computational gains and higher accuracy than traditional methods.
Uniform heat kernel and diffusion bridge asymptotics for sub-Riemannian geometry.
problem Analyzing sub-Riemannian heat kernels and their derivatives on incomplete manifolds.
method Localized asymptotic analysis, focusing on minimizing geodesics and the non-abnormal cut locus.
result Uniform bounds and expansions for heat kernels and their derivatives on compacts, including the diffusion bridge measure.
Given a point (the "spider") on a rectangular box, we would like to find the minimal distance along the surface to its opposite point (the "fly" - the reflection of the spider across the center of the box). Without loss of generality, we can assume that the box has dimensions 1×a×b with the spider on one …
This paper improves non-asymptotic bounds for denoising diffusions, focusing on the Ornstein-Uhlenbeck process.
problem Improving non-asymptotic bounds for denoising diffusions, especially for the Ornstein-Uhlenbeck process.
method Explicit non-asymptotic bounds on forward diffusion error in total variation, considering multi-modal data distributions.
result The Ornstein-Uhlenbeck process cannot be significantly improved in terms of reducing terminal time T for multi-modal data distributions. Paper connects probability density cuts to graph theory eigenfunctions.
problem Developing sparse cuts for probability densities.
method Defines sparse cuts and principal eigenfunctions for probability densities, proving Cheeger and Buser inequalities.
result No such inequalities hold for prior definitions, proving new inequalities for probability densities.
Study Riemannian metrics on lens spaces, find cut loci and diameters.
problem Understanding Riemannian metrics on lens spaces and their geometric properties.
method Geometric control theory methods applied to axisymmetric metrics.
result Cut loci and cut times converge to sub-Riemannian structure's values.
Study Riemannian metrics on lens spaces, find cut loci and diameters.
problem Analyzing Riemannian metrics on lens spaces.
method Geometric control theory methods.
result Cut loci and cut times converge to sub-Riemannian structure's cut locus and time.
We consider a left invariant Riemannian metric on SO(3) with two equal eigenvalues. We find the cut locus and the equation for the cut time. We find the diameter of such metric and describe the set of all most distant points from the identity. Also we prove that the cut locus and the cut time converge to the cut locus …
Stability of cut locus under metric perturbations in compact Riemannian manifolds.
problem Stability of cut locus under C2-perturbations of the metric. method Proving stability with respect to the Hausdorff metric of the cut locus under C2 perturbation of the metric. result The Hausdorff distance between cut loci converges to zero as the metrics converge.
New equivalence relation for links using cut-diagrams.
problem Classical link concordance.
method Cut-diagrams and cut-concordance.
result Nilpotent peripheral system invariant of cut-concordance.
We prove that, if Ω⊂Rn is an open bounded starshaped domain of class C2, the constancy over ∂Ω of the function φ(y)=∫0λ(y)∏j=1n−1[1−tκj(y)]dt implies that Ω is a ball. Here kj(y) and λ(y) denote respectively the principal curvatures and the cut v…