arXiv research

New Lie group approach for envelope surface computation.

This paper explores geometric insights into discrete R-congruences and their envelopes.

We view conformal surfaces in the 4--sphere as quaternionic holomorphic curves in quaternionic projective space. By constructing enveloping and osculating curves, we obtain new holomorphic curves in quaternionic projective space and thus new conformal surfaces. Applying these constructions to Willmore surfaces, we show…

We give a global description of envelopes of geodesic tangents of regular curves in (not necessarily convex) Riemannian surfaces. We prove that such an envelope is the union of the curve itself, its inflectional geodesics and its tangential caustics (formed by the conjugate points to those of the initial curve along th…

We solve the problem on flat extensions of a generic surface with boundary in Euclidean 3-space, relating it to the singularity theory of the envelope generated by the boundary. We give related results on Legendre surfaces with boundaries via projective duality and observe the duality on boundary singularities. Moreove…

We consider the generalization of classical Blaschke's Problem to higher codimension case, characterizing Darboux pair of isothermic surfaces and dual S-Willmore surfaces as the only non-trivial surface pairs that envelop a 2-sphere congruence and conformally correspond to each other. When the sphere congruence is the …

For a pair of points in a smooth locally convex surface in 3-space, its mid-plane is the plane containing its mid-point and the intersection line of the corresponding pair of tangent planes. In this paper we show that the limit of mid-planes when one point tends to the other along a direction is the Transon plane of th…

Dehn quandles of groups and surfaces unify various quandle constructions.

We propose a natural discretisation scheme for classical projective minimal surfaces. We follow the classical geometric characterisation and classification of projective minimal surfaces and introduce at each step canonical discrete models of the associated geometric notions and objects. Thus, we introduce discrete ana…

Motivated by applications in CNC machining, we provide a characterization of surfaces which are enveloped by a one-parametric family of congruent rotational cones. As limit cases, we also address developable surfaces and ruled surfaces. The characterizations are higher order nonlinear PDEs generalizing the ones by Gaus…

We study the envelopes of meromorphy of neighborhoods of symplectically immersed two-spheres in complex Kähler surfaces using the Gromov's theory of pseudoholomorphic curves. The construction of a complete family of holomorphic deformations of a non-compact complex curve in a complex manifold, parametrized by a finite …

The envelope of straight lines affine normal to a plane curve C is its affine evolute; the envelope of the affine lines tangent to C is the original curve, together with the entire affine tangent line at each inflexion of C. In this paper, we consider plane curves without inflexions. We use some techniques of singulari…

Smooth convergence to an enveloping cylinder proved for mean curvature flow of complete graphical hypersurfaces.

A Laguerre minimal surface is an immersed surface in the Euclidean space being an extremal of the functional \int (H^2/K - 1) dA. In the present paper, we prove that the only ruled Laguerre minimal surfaces are up to isometry the surfaces R(u,v) = (Au, Bu, Cu + D cos 2u) + v (sin u, cos u, 0), where A, B, C, D are fixe…

The framed little 2-discs operad is homotopy equivalent to a cyclic operad. We show that the derived modular envelope of this cyclic operad (i.e., the modular operad freely generated in a homotopy invariant sense) is homotopy equivalent to the modular operad made from classifying spaces of diffeomorphism groups of 3-di…

A canal surface is the envelope of a moving sphere with varying radius, defined by the trajectory C(t) (spine curve) of its center and a radius function r(t). In this paper, we investigate when parameter curves of the canal surface are also lines of curvature. Last of all, for special spine curves we obtain the radius …

Correct method found for drawing precise envelope of straight lines.

Our aim is to introduce and advocate non-$Σ$ (non-symmetric) modular operads. While ordinary modular operads were inspired by the structure of the moduli space of stable complex curves, non-$Σ$ modular operads model surfaces with open strings outputs. An immediate application of our theory is a short proof that the mod…

Study three discrete envelope types of polygon bisection lines.

Paper solves four problems of pseudo-circle envelopes in Minkowski plane.

Describes envelopes of Thurston metric on Teichmüller space.

Inspired by the concept of evolutoids of planar curves, we present the concept of evolutoids for regular surfaces as an envelope of a two-parameter family of lines in Euclidean 3-space. We give an explicit parametrization for such evolutoids. Besides, we used the theory of singularities to study the local behavior of r…

Improves regression efficiency by separating material and immaterial parts of responses.

Consider a codimension $1$ submanifold $N^n\subset M^{n+1}$, where $M^{n+1}\subset\mathbb{R}^{n+2}$ is a hypersurface. The envelope of tangent spaces of $M$ along $N$ generalizes the concept of tangent developable surface of a surface along a curve. In this paper, we study the singularities of these envelopes. There ar…

Study circle families' envelopes and related curves.

Solves four problems related to circle families in the plane.

In this paper are determined the principal curvatures and principal curvature lines on canal surfaces which are the envelopes of families of spheres with variable radius and centers moving along a closed regular curve in R^3. By means of a connection of the differential equations for these curvature lines and real Ricc…

Solves four problems related to sphere families in 3D space.

The dynamical analysis of American options has motivated the development of robust versions of the classical Snell envelopes. The cost of superhedging an American option is characterized by the upper Snell envelope. The infimum of the arbitrage free prices is characterized by the lower Snell envelope. In this paper we …

Operating envelope is an important concept in industrial operations. Accurate identification for operating envelope can be extremely beneficial to stakeholders as it provides a set of operational parameters that optimizes some key performance indicators (KPI) such as product quality, operational safety, equipment effic…

Study on Laplacian determinant in isosceles triangles, finding equilateral triangle minimizes determinant.

This work uses Lasry-Lions envelopes to solve nonconvex optimization problems.

We make a systematic study of (quasi-)plurisubharmonic envelopes on compact Kähler manifolds, as well as on domains of $\mathbb{C}^n$, by using and extending an approximation process due to Berman [Ber13]. We show that the quasi-psh envelope of a viscosity super-solution is a pluripotential super-solution of a given co…

New geometric mechanism solves four envelope problems.

We extend to the $n$-dimensional case a recent theorem establishing the validity of the Huygens' envelope principle for wavefronts in Finsler spaces. Our results have direct applications in analogue gravity models, for which the Fermat's principle of least time naturally gives origin to an underlying Finslerian geometr…

New methods help escape strict saddle points in nonsmooth optimization.

The conjugate locus of a point on a surface is the envelope of geodesics emanating radially from that point. In this paper we show that the conjugate loci of generic points on convex surfaces satisfy a simple relationship between the rotation index and the number of cusps. As a consequence we prove the `vierspitzensatz…

The paper proves boundedness of envelopes in complex manifolds.

We prove that the forgetful functor from groupoids to pregroupoids has a left adjoint, with the front adjunction injective. Thus we get an enveloping groupoid for any pregroupoid. We prove that the category of torsors is equivalent to that of pregroupoids. Hence we also get enveloping groupoids for torsors, and for pri…

By using the support function on the $xy$-plane, we show the necessary and sufficient conditions for the existence of envelopes of horizontal lines in the 3D-Heisenberg group. A method to construct horizontal envelopes from the given ones is also derived, and we classify the solutions satisfying the construction.

We study the geometry of Outer Space $CV_n$ in regard of the asymmetric Lipschitz metric via envelopes, that is the set of all geodesics between two points. In the simplicial structure of $CV_n$ the envelopes are polytopes. We construct a piecewise unique geodesic between any two points in $CV_n$ by concatenating edges…

It is shown that a superconformal surface with arbitrary codimension in flat Euclidean space has a (necessarily unique) dual superconformal surface if and only if the surface is S-Willmore, the latter a well-known necessary condition to allow a dual as shown by Ma \cite{ma}. Duality means that both surfaces envelope th…

Defines a calculus for integrating Moreau envelopes in differentiable programming.

We consider smooth 1-parameter families of plane curves tangent to a semicubic parabola, when the curvature radius of their curves at the tangency point vanishes at the cusp point. We find the $\A$-normal form of these families, their envelopes and local patterns near the cusp. We obtain a new codimension 2 singularity…

Given any smooth plane curve α(s)representing a mirror that reflects light the usual way and any radiant light source at a point in the plane, the reflected light will produce a caustic envelope. For such an envelope, we show that there is an associated curve \b{eta}(s) and a family of circles C(s) that roll on \b{eta}…

A spacetime can be embedded in an enveloping space with all its extensions.

Training certifiable neural networks enables one to obtain models with robustness guarantees against adversarial attacks. In this work, we introduce a framework to bound the adversary-free region in the neighborhood of the input data by a polyhedral envelope, which yields finer-grained certified robustness. We further …

A geometric construction is provided that associates to a given flat front in $\mathbb{H}^3$ a pair of minimal surfaces in $\mathbb{R}^3$ which are related by a Ribaucour transformation. This construction is generalized associating to a given frontal in $\mathbb{H}^3$ , a pair of frontals in $\mathbb{R}^3$ that are env…