LTB curves with Lipschitz turn are par-regular

• URL: http://arxiv.org/abs/2112.09567v1
• Date: Wed, 15 Dec 2021 10:10:07 GMT
• Title: LTB curves with Lipschitz turn are par-regular
• Abstract summary: This report defines the class of par-regular curves inside the class of locally turn-bounded curves. We prove the converse assertion : locally turn-bounded curves with Lipschitz turn are par-regular.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Preserving the topology during a digitization process is a requirement of first importance. To this end, it is classical in Digital Geometry to assume the shape borders to be par-regular. Par-regularity was proved to be equivalent to having positive reach or to belong to the class C 1,1 of curves with Lipschitz derivative. Recently, we proposed to use a larger class that encompasses polygons with obtuse angles, the locally turn-bounded curves. The aim of this technical report is to define the class of par-regular curves inside the class of locally turn-bounded curves using only the notion of turn, that is of integral curvature. To be more precise, in a previous article, we have already proved that par-regular curves are locally turn-bounded. Incidentally this proof lead us to show that the turn of par-regular curves is a Lipschitz function of their length. We call the class of curves verifying this latter property the curves with Lipschitz turn. In this technical report, we prove the converse assertion : locally turn-bounded curves with Lipschitz turn are par-regular. The equivalence is stated in Theorem 3.1 and the converse assertion is proved in Lemma 3.2. In section 1, we recall the definition of par-regularity and equivalently of sets with positive reach. In section 2, we present the notions of curves locally turn-bounded and of curves with Lipschitz turn. Throughout this latter section, some of intermediate steps (Lemmas 2.3 and 2.11) are proved just after the introduction of their related notions. The last section (section 3) is dedicated to the proof of the equivalence of the notions.

Related papers

• Geometric Structures on Graphs: a Holonomy-Based Discretization of Curvature [5.5162169444954365]
  We propose a holonomy-based framework for discretizing curvature on graphs equipped with local symmetric positive-definite metrics.<n>(mathcal C) gives a holonomy (H_mathcal C), whose normalized relation (_mathcal C=-s_mathcal C-1operatornameLog(H_mathcal C) is used as a finite-loop curvature observation.
  arXiv  Detail & Related papers  (2026-08-23T15:03:19Z)
• Dimension Reduction for Curves: Simplified and Generalized [56.23281156053955]
  We revisit random projections for reducing the dimension of high-dimensional polygonal curves.<n>We give a simplified proof of the known $O(varepsilon-2log(nm))$ bound on the target dimension of a random projection.<n>Our proof is based on the concept of sparse oblivious subspace embeddings.
  arXiv  Detail & Related papers  (2026-07-03T08:48:35Z)
• On Higher-Order Geometric Refinements of Classical Covariance Asymptotics: An Approach via Intrinsic and Extrinsic Information Geometry [0.0]
  In curved models, including mixtures, curved exponential families, latent-variable models, and manifold-root parameter spaces, finite-sample behavior can deviate systematically from predictions.<n>We develop a coordinate-invariant, curvature-aware refinement by viewing a regular parametric family as a ((,g)) with Fisher-constrained-Rao metric.<n>We describe the resolved metric, the role of the real log canonical threshold in learning rates and posterior mean-squared error, and a curvature-based covariance expansion on the resolved space that recovers the regular theory as a special case.
  arXiv  Detail & Related papers  (2026-04-14T13:40:13Z)
• Generative Drifting is Secretly Score Matching: a Spectral and Variational Perspective [33.2175112734242]
  Generative Modeling via Drifting has recently achieved state-of-the-art one-step image generation through a kernel-based drift operator.<n>We make the following observation: emphunder a Gaussian kernel, the drift operator is exactly a score difference on smoothed distributions.
  arXiv  Detail & Related papers  (2026-03-10T17:30:35Z)
• Triangular tensor networks, pencils of matrices and beyond [45.88028371034407]
  We study tensor network varieties associated with the triangular graph, with a focus on the case where one of the physical dimensions is 2.<n>We provide a complete characterization of these varieties in terms of the Kronecker invariants of pencils.
  arXiv  Detail & Related papers  (2026-02-16T19:00:04Z)
• Discrete scalar curvature as a weighted sum of Ollivier-Ricci curvatures [4.891498111882615]
  In the discrete setting, Ricci curvature is replaced by Ollivier-Ricci curvature.<n>We show that our definition converges to scalar curvature for nearest neighbor graphs obtained by sampling from a manifold.
  arXiv  Detail & Related papers  (2025-10-06T15:43:07Z)
• Pay Attention to Attention Distribution: A New Local Lipschitz Bound for Transformers [41.94295877935867]
  We present a novel local Lipschitz bound for self-attention blocks of transformers.<n>We suggest an explanation of the way distributions inside the attention map affect the robustness from the Lipschitz constant perspective.
  arXiv  Detail & Related papers  (2025-07-10T14:45:31Z)
• Curved representational Bregman divergences and their applications [7.070726553564701]
  We show that the barycenter of a finite weighted set of parameters under a curved Bregman divergence amounts to the right Bregman projection onto the nonlinear subspace of the barycenter.<n>As an application, we report an efficient method to calculate the intersection of a finite set of $alpha$-divergence spheres.
  arXiv  Detail & Related papers  (2025-04-08T04:05:12Z)
• Rolled Gaussian process models for curves on manifolds [3.499870393443268]
  rolling operation induces a local isometry between the sphere and the plane so that the two curves uniquely determine each other. We use rolling to construct an analogue of a Gaussian process on a manifold starting from a Euclidean Gaussian process. The resulting model is generative, and is amenable to statistical inference given data as curves on a manifold.
  arXiv  Detail & Related papers  (2025-03-27T20:52:18Z)
• Are Convex Optimization Curves Convex? [30.115763608084485]
  An initial plateau is followed by a sharp decrease, making it difficult to decide when optimization should stop.<n>We show, perhaps surprisingly, that the answer depends on choice of step size.
  arXiv  Detail & Related papers  (2025-03-13T07:56:18Z)
• Decoupling the Curve Modeling and Pavement Regression for Lane Detection [67.22629246312283]
  curve-based lane representation is a popular approach in many lane detection methods. We propose a new approach to the lane detection task by decomposing it into two parts: curve modeling and ground height regression.
  arXiv  Detail & Related papers  (2023-09-19T11:24:14Z)
• Planar Curve Registration using Bayesian Inversion [0.0]
  We study parameterisation-independent closed curve matching as a Bayesian inverse problem. The motion of the curve is modelled via a curve on the diffeomorphism group acting on the ambient space. We adopt ensemble Kalman inversion using a negative Sobolev mismatch penalty to measure the discrepancy between the target and the ensemble mean shape.
  arXiv  Detail & Related papers  (2023-07-10T21:26:43Z)
• Curvature-Independent Last-Iterate Convergence for Games on Riemannian Manifolds [77.4346324549323]
  We show that a step size agnostic to the curvature of the manifold achieves a curvature-independent and linear last-iterate convergence rate. To the best of our knowledge, the possibility of curvature-independent rates and/or last-iterate convergence has not been considered before.
  arXiv  Detail & Related papers  (2023-06-29T01:20:44Z)
• Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation [79.13041340708395]
  Lipschitz constants are connected to many properties of neural networks, such as robustness, fairness, and generalization. Existing methods for computing Lipschitz constants either produce relatively loose upper bounds or are limited to small networks. We develop an efficient framework for computing the $ell_infty$ local Lipschitz constant of a neural network by tightly upper bounding the norm of Clarke Jacobian.
  arXiv  Detail & Related papers  (2022-10-13T22:23:22Z)
• Aztec curve: proposal for a new space-filling curve [0.0]
  The proposed Aztec curve, with similar characteristics to the Hilbert's curve, is introduced in this paper. It yields the possibility of creating bi-dimensional clusters, not available for Hilbert nor Peano curves.
  arXiv  Detail & Related papers  (2022-07-28T18:52:08Z)
• Geometric decomposition of geodesics and null phase curves using Majorana star representation [0.0]
  We use Majorana star representation to decompose a geodesic in the Hilbert space to $n-1$ curves on the Bloch sphere. We also propose a method to construct infinitely many NPCs between any two arbitrary states for $(n>2)$-dimensional Hilbert space.
  arXiv  Detail & Related papers  (2022-02-24T17:21:17Z)
• Measuring Complexity of Learning Schemes Using Hessian-Schatten Total-Variation [31.54233601541908]
  Hessian-Schatten total-variation (HTV) We present closed-form expressions for computing the HTV of two general classes of functions. In this case, we show that the HTV reflects the total change in slopes between linear regions that have a common facet.
  arXiv  Detail & Related papers  (2021-12-12T11:47:31Z)
• On the expressivity of bi-Lipschitz normalizing flows [49.92565116246822]
  An invertible function is bi-Lipschitz if both the function and its inverse have bounded Lipschitz constants. Most Normalizing Flows are bi-Lipschitz by design or by training to limit numerical errors.
  arXiv  Detail & Related papers  (2021-07-15T10:13:46Z)
• On momentum operators given by Killing vectors whose integral curves are geodesics [0.0]
  Explicit representations of momentum operators and the associated Casimir element will be discussed for the 3-sphere $S3$. It is shown that the maximum resolution of the possible momenta is given by the de-Broglie wave length $lambda_R=pi R$, which is identical to the diameter of the manifold.
  arXiv  Detail & Related papers  (2021-05-29T17:41:42Z)
• Curvatures of Stiefel manifolds with deformation metrics [0.0]
  We compute curvatures of a family of tractable metrics on Stiefel manifold. The metrics could be identified with the Cheeger deformation metrics.
  arXiv  Detail & Related papers  (2021-05-05T02:13:38Z)
• Relative Lipschitzness in Extragradient Methods and a Direct Recipe for Acceleration [30.369542816161378]
  We show that standard extragradient methods (i.e. mirror prox and dual extrapolation) recover optimal accelerated rates for first-order minimization of smooth convex functions. We generalize this framework to handle local and randomized notions of relative Lipschitzness.
  arXiv  Detail & Related papers  (2020-11-12T18:43:40Z)
• A Brief Prehistory of Double Descent [75.37825440319975]
  Belkin et al. illustrate and discuss the shape of risk curves in the context of modern high-complexity learners. With increasing $N$, the risk initially decreases, attains a minimum, and then increases until $N$ equals $n$, where the training data is fitted perfectly.
  arXiv  Detail & Related papers  (2020-04-07T09:41:24Z)
• Differentiating through the Fr\'echet Mean [51.32291896926807]
  Fr'echet mean is a generalization of the Euclidean mean. We show how to differentiate through the Fr'echet mean for arbitrary Riemannian manifold. This fully integrates the Fr'echet mean into the hyperbolic neural network pipeline.
  arXiv  Detail & Related papers  (2020-02-29T19:49:38Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.