arXiv research

Theorem proves integrability for piecewise-smooth distributions.

Generalizes Thurston's jiggling lemma for piecewise smooth solutions.

We consider the problem of defining the structure of a smooth manifold on the various spaces of piecewise-smooth loops in a smooth finite dimensional manifold. We succeed for a particular type of piecewise-smooth loops. We also examine the action of the diffeomorphism group of the circle. It is not a useful action on t…

Study shows non-spectrality of certain curves and line segments.

Generalizes Poincaré-Hopf Theorem for piecewise smooth boundaries.

New method samples from piecewise smooth distributions using Hamiltonian Monte Carlo.

Optimizes shapes in uncertain Navier-Stokes flow problems.

Study curvature of piecewise metrics using moving frames.

Corners can be identified by a drum's sound spectrum.

Proposes a new graph trend filtering model for inhomogeneous graph signals.

A new shape space allows optimization of non-smooth shapes in fluid mechanics.

Constructs CMC hypersurfaces in S^4 from piecewise-smooth unions of spheres.

The study examines metrics on Riemannian spaces with bounded properties and finds conditions for Lipschitz and uniform bounds.

We prove a Gauss-Bonnet type formula for Riemann-Finsler surfaces of non-constant indicatrix volume and with regular piecewise smooth boundary. We give a Hadamard type theorem for N-parallels of a Landsberg surface.

Given a finite simplicial complex, a unimodular representation of its fundamental group and a closed twisted cochain of odd degree, we define a twisted version of the Reidemeister torsion, extending a previous definition of V. Mathai and S. Wu. The main tool is a complex of piecewise smooth currents, defined by J. Dupo…

A $C^0$-Finsler structure is a continuous function $F:TM \rightarrow [0,\infty)$ defined on the tangent bundle of a differentiable manifold $M$ such that its restriction to each tangent space is an asymmetric norm. We use the convolution of $F$ with the standard mollifier in order to construct a mollifier smoothing of …

Following ideas of Choe and Fernandez-do Carmo, we give sufficient conditions for a disk type surface, with piecewise smooth boundary, to be totally umbilical for a given Coddazi pair. As a consequence, we obtain rigidity results for surfaces in space forms and in homogeneous product spaces that generalizes some known …

The paper deals with regression problems, in which the nonsmooth target is assumed to switch between different operating modes. Specifically, piecewise smooth (PWS) regression considers target functions switching deterministically via a partition of the input space, while switching regression considers arbitrary switch…

For a bounded domain $Ω$ with a piecewise smooth boundary in an $n$-dimensional Euclidean space $\mathbf{R}^{n}$, we study eigenvalues of the Dirichlet eigenvalue problem of the Laplacian. First we give a general inequality for eigenvalues of the Laplacian. As an application, we study lower order eigenvalues of the Lap…

The snake charmer algorithm permits us to deform a piecewise smooth curve starting from the origin in R^d, so that its end follows a given path. When this path is a loop, a holonomy phenomenon occurs. We prove that the holonomy orbits are closed manifolds diffeomorphic to real Stiefel manifolds. A survey of the snake c…

We introduce a family of variational functionals for spinor fields on a compact Riemann surface $M$ that can be used to find close-to-conformal immersions of $M$ into $\mathbb{R}^3$ in a prescribed regular homotopy class. Numerical experiments indicate that, by taking suitable limits, minimization of these functionals …

The paper explores metrics on tree moduli spaces and a new topological group.

We show that an entire branched cover of finite distortion cannot have a compact branch set if its distortion satisfies a certain asymptotic growth condition. We furthermore show that this bound is strict by constructing an entire, continuous, open and discrete mapping of finite distortion which is piecewise smooth, ha…

We prove an analogue of Sogge's local $L^p$ estimates for $L^p$ norms of restrictions of eigenfunctions to submanifolds, and use it to show that for quantum ergodic eigenfunctions one can get improvements of the results of Burq-Gérard-Tzvetkov, Hu, and Chen-Sogge. The improvements are logarithmic on negatively curved m…

Filter banks are a popular tool for the analysis of piecewise smooth signals such as natural images. Motivated by the empirically observed properties of scale and detail coefficients of images in the wavelet domain, we propose a hierarchical deep generative model of piecewise smooth signals that is a recursion across s…

For a bounded domain $Ω$ with a piecewise smooth boundary in a complete Riemannian manifold $M$, we study eigenvalues of the Dirichlet eigenvalue problem of the Laplacian. By making use of a fact that eigenfunctions form an orthonormal basis of $L^2(Ω)$ in place of the Rayleigh-Ritz formula, we obtain inequalities for …

Study detects boundaries in unlabeled noisy images without labels.

Legendrian Lavrentiev links are shown to be equivalent to smooth links.

The divergence theorem in its usual form applies only to suitably smooth vector fields. For vector fields which are merely piecewise smooth, as is natural at a boundary between regions with different physical properties, one must patch together the divergence theorem applied separately in each region. We give an elegan…

The study glues $CAT(0)$ subsets of the plane under certain curvature conditions.

We study some sub-Riemannian objects (such as horizontal connectivity, horizontal connection, horizontal tangent plane, horizontal mean curvature) in hypersurfaces of sub-Riemannian manifolds. We prove that if a connected hypersurface in a contact manifold of dimension more than three is noncharacteristic or with isola…

This paper is a continuation of the work by the same authors on the Cartan group equipped with the sub-Finsler $\ell_\infty$ norm. We start by giving a detailed presentation of the structure of bang-bang extremal trajectories. Then we prove upper bounds on the number of switchings on bang-bang minimizers. We prove that…

We provide a new proof of the classical result that any closed rectifiable Jordan curve Gamma in space being piecewise of class C^2 bounds at least one immersed minimal surface of disc-type, under the additional assumption that the total curvature of Gamma is smaller than 6*Pi. In contrast to the methods due to Osserma…

Consider a 2-plane $P \subset \mathbb{C}^n$ and let $D$ be a bounded region in $P$ with a piecewise-smooth boundary. Let $I(D)$ be the infimum of areas of all piecewise-smooth isotropic surfaces in $\mathbb{C}^n$ with the same boundary as $D$. Then $I(D)= λ_P^n \cdot Area(D)$. If $P$ is not complex, $λ_P^n < \frac{3π}{…

First explicit isometric immersion of a flat Klein bottle in 3D space.

The paper proves a stability result for translating space-like graphs in Lorentz manifolds.

Let $\mathrm{Out}(F_n)$ be the outer automorphism group of the free group $F_n$. It acts properly on the outer space $X_n$ of marked metric graphs, which is a finite-dimensional infinite simplicial complex with some simplicial faces missing. In this paper, we construct complete geodesic metrics and complete piecewise s…

Discrete vector bundles are important in Physics and recently found remarkable applications in Computer Graphics. This article approaches discrete bundles from the viewpoint of Discrete Differential Geometry, including a complete classification of discrete vector bundles over finite simplicial complexes. In particular,…

We introduce a method for constructing skills capable of solving tasks drawn from a distribution of parameterized reinforcement learning problems. The method draws example tasks from a distribution of interest and uses the corresponding learned policies to estimate the topology of the lower-dimensional piecewise-smooth…

Based in the isomorphism between Lie algebroid cohomology and piecewise smooth cohomology, it is proved that the Rham cohomology of a locally trivial Lie groupoid $G$ on a smooth manifold $M$ is isomorphic to the piecewise Rham cohomology of $G$, in which $G$ and $M$ are manifolds without boundary and $M$ is smoothly t…

For the ``Hopf bundle'' $S^1\to S^{2n,1} \to {\mathbb H}^n$, horizontal lifts of simple closed curves are studied. Let $γ$ be a piecewise smooth, simple closed curve on a complete totally geodesic surface $S$ in the base space. Then the holonomy displacement along $γ$ is given by $V(γ)=e^{λA(γ) i}$ where $A(γ)$ is …

We study the necessary and sufficient complexity of ReLU neural networks---in terms of depth and number of weights---which is required for approximating classifier functions in $L^2$. As a model class, we consider the set $\mathcal{E}^β(\mathbb R^d)$ of possibly discontinuous piecewise $C^β$ functions $f : [-1/2, 1/2]^…

This work studies the denoising of piecewise smooth graph signals that exhibit inhomogeneous levels of smoothness over a graph, where the value at each node can be vector-valued. We extend the graph trend filtering framework to denoising vector-valued graph signals with a family of non-convex regularizers, which exhibi…

In this paper, we study eigenvalues of the closed eigenvalue problem of the differential operator $L$, which is introduced by Colding and Minicozzi in [4], on an $n$-dimensional compact self-shrinker in ${R}^{n+p}$. Estimates for eigenvalues of the differential operator $L$ are obtained. Our estimates for eigenvalues…

Cyclidic nets are introduced as discrete analogs of curvature line parametrized surfaces and orthogonal coordinate systems. A 2-dimensional cyclidic net is a piecewise smooth $C^1$-surface built from surface patches of Dupin cyclides, each patch being bounded by curvature lines of the supporting cyclide. An explicit de…

Let $Ω\subset R^2$ be a bounded piecewise smooth domain and $φ_λ$ be a Neumann (or Dirichlet) eigenfunction with eigenvalue $λ^2$ and nodal set ${ N}_{φ_λ} = {x \in Ω; φ_λ(x) = 0}.$ Let $H \subset Ω$ be an interior $C^ω$ curve. Consider the intersection number $n(λ,H):= \# (H \cap N_{φ_λ} ).$ We first prove that fo…

For a 3-manifold $M$ with $b_1(M)=1$ fibered over $S^1$ and the fiberwise gradient $ξ$ of a fiberwise Morse function on $M$, we introduce the notion of amidakuji-like path (AL-path) on $M$. An AL-path is a piecewise smooth path on $M$ consisting of edges each of which is either a part of a critical locus of $ξ$ or a fl…

Let $Ω_0$ be a polygon in $\RR^2$, or more generally a compact surface with piecewise smooth boundary and corners. Suppose that $Ω_\e$ is a family of surfaces with $\calC^\infty$ boundary which converges to $Ω_0$ smoothly away from the corners, and in a precise way at the vertices to be described in the paper. Fedosov …