arXiv research

Theorem proves integrability for piecewise-smooth distributions.

Investigates stability of piecewise flat Ricci flow using analysis and simulations.

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…

Deep neural networks with piecewise-polynomial activations can approximate smooth functions and their derivatives.

Generalizes Thurston's jiggling lemma for piecewise smooth solutions.

We prove that every piecewise linear manifold of dimension up to four on which a finite group acts by piecewise linear homeomorphisms admits a compatible smooth structure with respect to which the group acts smoothly. This solves a challenge posed by Thurston in dimension three and confirms a conjecture by Kwasik and L…

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

Discrete forms of the scalar, sectional and Ricci curvatures are constructed on simplicial piecewise flat triangulations of smooth manifolds, depending directly on the simplicial structure and a choice of dual tessellation. This is done by integrating over volumes which include appropriate samplings of hinges for each …

The paper extends a variance gamma model to quadratic functions, reducing arbitrage and computational costs.

Piecewise flat approximations for curvature in Euclidean and non-Euclidean spaces.

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

Smooth symplectic manifolds can be approximated by PL symplectic manifolds.

Generalizes Poincaré-Hopf Theorem for piecewise smooth boundaries.

Study curvature of piecewise metrics using moving frames.

Using a recently developed piecewise flat method, numerical evolutions of the Ricci flow are computed for a number of manifolds, using a number of different mesh types, and shown to converge to the expected smooth behaviour as the mesh resolution is increased. The manifolds were chosen to have varying degrees of homoge…

Optimizes shapes in uncertain Navier-Stokes flow problems.

Paper develops algorithms for PWA systems with polynomial regret.

New GP model estimates piecewise continuous functions.

Discretizations of the mean curvature and extrinsic curvature components are constructed on piecewise flat simplicial manifolds, giving approximations for smooth curvature values in a mostly mesh-independent way. These constructions are given in combinatoric form in terms of the extrinsic hinge angles, the intrinsic st…

Modelling exchangeable relational data can be described by \textit{graphon theory}. Most Bayesian methods for modelling exchangeable relational data can be attributed to this framework by exploiting different forms of graphons. However, the graphons adopted by existing Bayesian methods are either piecewise-constant fun…

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…

We study online optimization of smoothed piecewise constant functions over the domain [0, 1). This is motivated by the problem of adaptively picking parameters of learning algorithms as in the recently introduced framework by Gupta and Roughgarden (2016). Majority of the machine learning literature has focused on Lipsc…

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

The paper tackles prescribing discrete Gaussian curvature on polyhedral surfaces.

We demonstrate new applications of the trace embedding lemma to the study of piecewise-linear surfaces and the detection of exotic phenomena in dimension four. We provide infinitely many pairs of homeomorphic 4-manifolds $W$ and $W'$ homotopy equivalent to $S^2$ which have smooth structures distinguished by several for…

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

Piecewise linear activations create many spurious local minima in neural networks.

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

Transformers struggle to approximate smooth functions, relying on piecewise constant approximations.

There are 2^n possible resolutions of a smooth pseudodiagram with n precrossings. If we consider piecewise-linear (PL) pseudodiagrams and resolutions that themselves are PL, certain resolutions of the pseudodiagram may not exist in three-space. We investigate this situation and its impact on the weighted resolution set…

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

In this paper, we introduce a bordism category $\mathcal{C}_d^{PL}$ whose objects are bundles of closed $(d-1)$-dimensional piecewise linear manifolds and whose morphisms are bundles of $d$-dimensional piecewise linear cobordisms. In the main theorem of this article, we show that the classifying space $B\mathcal{C}_d^{…

The paper proves a theorem for discretizing Gaussian curvature on surfaces.

A piecewise flat Finsler metric on a triangulated surface $M$ is a metric whose restriction to any triangle is a flat triangle in some Minkowski space with straight edges. One of the main purposes of this work is to study the properties of geodesics on a piecewise flat Finsler surface, especially when it meets a vertex…

New algorithm reduces regret in online learning for piecewise continuous functions.

Given a piecewise linear (PL) function $p$ defined on an open subset of $\R^n$, one may construct by elementary means a unique polyhedron with multiplicities $\D(p)$ in the cotangent bundle $\R^n\times \R^{n*}$ representing the graph of the differential of $p$. Restricting to dimension 2, we show that any smooth functi…

The paper establishes a discrete uniformization theorem for surfaces with piecewise hyperbolic metrics.

Polytopes in high dimensions have at least 2n+4 normals.

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 …

We consider smooth isotropic immersions from the 2-dimensional torus into $R^{2n}$, for $n \geq 2$. When $n = 2$ the image of such map is an immersed Lagrangian torus of $R^4$. We prove that such isotropic immersions can be approximated by arbitrarily $C^0$-close piecewise linear isotropic maps. If $n \geq 3$ the piece…

Many problems on signal processing reduce to nonparametric function estimation. We propose a new methodology, piecewise convex fitting (PCF), and give a two-stage adaptive estimate. In the first stage, the number and location of the change points is estimated using strong smoothing. In the second stage, a constrained s…

We define \emph{piecewise rank 1} manifolds, which are aspherical manifolds that generally do not admit a nonpositively curved metric but can be decomposed into pieces that are diffeomorphic to finite volume, irreducible, locally symmetric, nonpositively curved manifolds with $π_1$-injective cusps. We prove smooth (sel…

Enhances random forests by smoothing predictions for better performance.

Piecewise polynomial interpolation-based gradient descent reduces oracle complexity for smooth loss functions.

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]^…

The knot invariant Upsilon, defined by Ozsvath, Stipsicz, and Szabo, induces a homomorphism from the smooth knot concordance group to the group of piecewise linear functions on the interval [0,2]. Here we define a set of related secondary invariants, each of which assigns to a knot a piecewise linear function on [0,2].…

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

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