arXiv research

The paper proposes new cross-correlators using Price's Theorem and piecewise-linear decomposition.

Recently Gay and Kirby described a new decomposition of smooth closed $4$-manifolds called a trisection. This paper generalises Heegaard splittings of $3$-manifolds and trisections of $4$-manifolds to all dimensions, using triangulations as a key tool. In particular, we prove that every closed piecewise linear $n$-mani…

In this note, we introduce a class of cell decompositions of PL manifolds and polyhedra which are more general than triangulations yet not as general as CW complexes; we propose calling them PLCW complexes. The main result is an analog of Alexander's theorem: any two PLCW decompositions of the same polyhedron can be ob…

Algorithm determines spatial graph isomorphism with vertex, edge colorings and orientations.

Gay and Kirby introduced the notion of a trisection of a smooth 4-manifold, which is a decomposition of the 4-manifold into three elementary pieces. Rubinstein and Tillmann later extended this idea to construct multisections of piecewise-linear (PL) manifolds in all dimensions. Given a PL manifold $Y$ of dimension $n$,…

The theory of geometric structures on a surface with nonempty boundary can be developed by using a decomposition of such a surface into hexagons, in the same way as the theory of geometric structures on a surface without boundary is developed using the decomposition of such a surface into pairs of pants. The basic elem…

The center of a quotient group of piecewise linear homeomorphisms is trivial.

On a K-unstable toric variety we show the existence of an optimal destabilising convex function. We show that if this is piecewise linear then it gives rise to a decomposition into semistable pieces analogous to the Harder-Narasimhan filtration of an unstable vector bundle. We also show that if the Calabi flow exists f…

This article provides an attempt to extend concepts from the theory of Riemannian manifolds to piecewise linear spaces. In particular we propose an analogue of the Ricci tensor, which we give the name of an Einstein vector field. On a given set of piecewise linear spaces we define and discuss (normalized) Ricci flows. …

Global approximation for piecewise linear paths via signatures.

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…

Signature uniquely identifies piecewise linear surfaces up to thin homotopy.

Discrete Morse functions induce shellings with critical tiles corresponding to function's critical faces.

PARC uses piecewise linear predictors for regression and classification.

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

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

Paper presents ABGD for efficient piecewise linear regression in high dimensions.

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…

New cones in 4D space found with minimal mass.

New proof shows efficient ReLU networks for piecewise linear functions.

Equivariant neural networks use symmetry to interpret complex data.

Paper proposes variational inference for piecewise-linear systems.

The paper tackles prescribing discrete Gaussian curvature on polyhedral surfaces.

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

Hilbert initiated the standpoint in foundations of mathematics. From this standpoint, we allow only a finite number of repetitions of elementary operations when we construct objects and morphisms. When we start from a subset of a Euclidean space. Then we assume that any element of the line has only a finite number of c…

A triangulated piecewise-linear minimal surface in Euclidean 3-space defined using a variational characterization is critical for area amongst all continuous piecewise-linear variations with compact support that preserve the simplicial structure. We explicitly construct examples of such surfaces that are embedded and a…

New method uses DC functions for piecewise linear regression.

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

A new complexity measure for neural networks improves upon classical methods.

This paper concerns a method of selecting a subset of features for a sequential logit model. Tanaka and Nakagawa (2014) proposed a mixed integer quadratic optimization formulation for solving the problem based on a quadratic approximation of the logistic loss function. However, since there is a significant gap between …

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

We exhibit a knot $P$ in the solid torus, representing a generator of first homology, such that for any knot $K$ in the 3-sphere, the satellite knot with pattern $P$ and companion $K$ is not smoothly slice in any homology 4-ball. As a consequence, we obtain a knot in a homology 3-sphere that does not bound a piecewise-…

Simplifies PLNNs to interpretable models for better explainability.

A new definition for vector fields extends the Jacobi set concept.

Efficiently recovers piecewise linear functions from noisy samples.

We study piecewise linear co-dimension two embeddings of closed oriented manifolds in Euclidean space, and show that any such embedding can always be isotoped to be a closed braid as long as the ambient dimension is at most five, extending results of Alexander (in ambient dimension three), and Viro and independently Ka…

The image of the branch set of a PL branched cover between PL $n$-manifolds is a simplicial $(n-2)$-complex. We demonstrate that the reverse implication also holds: an open and discrete map $f \colon \mathbb{S}^n \to \mathbb{S}^n$ with the image of the branch set contained in a simplicial $(n-2)$-complex is equivalent …

Unified piecewise-linear Ricci flows improve community detection.

Piecewise-linear virtual knots are discussed and classified up to edge index six.

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…

We consider the generic regularized optimization problem $\hat{\mathsfβ}(λ)=\arg \min_βL({\sf{y}},X{\sfβ})+λJ({\sfβ})$. Efron, Hastie, Johnstone and Tibshirani [Ann. Statist. 32 (2004) 407--499] have shown that for the LASSO--that is, if $L$ is squared error loss and $J(β)=\|β\|_1$ is the $\ell_1$ norm of $β$--the opti…

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

Solves asset allocation for investors with utility functions and limits.

We present a detailed analysis of the class of regression decision tree algorithms which employ a regulized piecewise-linear node-splitting criterion and have regularized linear models at the leaves. From a theoretic standpoint, based on Rademacher complexity framework, we present new high-probability upper bounds for …

SGD trains ReLU networks to implement piecewise linear maps with at most 3 knot points.

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…

A fundamental object in a hyperbolic 3-manifold M is its convex core C(M), defined as the smallest closed non-empty convex subset of M. We investigate the way the geometry of the boundary S of C(M) varies as we vary the hyperbolic metric of M. Thurston observed that the intrinsic metric of S is hyperbolic, and that its…

We present a new, unifying approach following some recent developments on the complexity of neural networks with piecewise linear activations. We treat neural network layers with piecewise linear activations as tropical polynomials, which generalize polynomials in the so-called $(\max, +)$ or tropical algebra, with pos…