Related papers: Constructive General Neron Desingularization for o…

We prove a tight connection between reflexive modules over a one-dimensional ring $R$ and its birational extensions that are self-dual as $R$-modules. Consequently, we show that a complete local reduced Arf ring has finitely many…

We analyze the structure of a large class of connected algebraic rings over an algebraically closed field of positive characteristic using Greenberg's perfectization functor. We then give applications to rigidity problems for…

Nonparametric extension of tensor regression is proposed. Nonlinearity in a high-dimensional tensor space is broken into simple local functions by incorporating low-rank tensor decomposition. Compared to naive nonparametric approaches, our…

An extension of the Gauss-Newton algorithm is proposed to find local minimizers of penalized nonlinear least squares problems, under generalized Lipschitz assumptions. Convergence results of local type are obtained, as well as an estimate…

We construct a desingularization of the ``main component'' $\bar{\mathfrak M}_{1,k}^0(\Bbb{P}^n,d)$ of the moduli space $\bar{\mathfrak M}_{1,k}(\Bbb{P}^n,d)$ of genus-one stable maps into the complex projective space $\Bbb{P}^n$. As a…

A fully tensorial theoretical framework for hypercomplex-valued neural networks is presented. The proposed approach enables neural network architectures to operate on data defined over arbitrary finite-dimensional algebras. The central…

We study nominal anti-unification, which is concerned with computing least general generalizations for given terms-in-context. In general, the problem does not have a least general solution, but if the set of atoms permitted in…

Let $K$ be a reductive subgroup of a reductive group $G$ over an algebraically closed field $k$. The notion of relative complete reducibility, introduced in previous work of Bate-Martin-Roehrle-Tange, gives a purely algebraic description of…

In this paper I review the multiplet calculus of $N = 1$, $D = 1$ local supersymmetry with applications to the construction of models for spinning particles in background fields, and models with space-time supersymmetry. New features…

We present some results on equivariant KK-theory in the context of tensor triangular geometry. More specifically, for G a finite group, we show that the spectrum of the tensor triangulated subcategory of KK^G generated by the tensor unit…

Model checking large networks of processes is challenging due to state explosion. In many cases, individual processes are isomorphic, but there is insufficient global symmetry to simplify model checking. This work considers the verification…

Deep neural network (DNN) verification is an emerging field, with diverse verification engines quickly becoming available. Demonstrating the effectiveness of these engines on real-world DNNs is an important step towards their wider…

This paper addresses distributed learning of a complex object for multiple networked robots based on distributed optimization and kernel-based support vector machine. In order to overcome a fundamental limitation of polynomial kernels…

Let $A$ be an Artinian local ring with algebraically closed residue field $k$, and let $\mathbf{G}$ be an affine smooth group scheme over $A$. The Greenberg functor $\mathcal{F}$ associates to $\mathbf{G}$ a linear algebraic group…

We present a Gaussian kernel loss function and training algorithm for convolutional neural networks that can be directly applied to both distance metric learning and image classification problems. Our method treats all training features…

The purpose of this article is to study operators whose kernel share some key features of Bergman kernels from complex analysis, and are approximate projectors. It turns out that they must be associated with a rich set of geometric data, on…

The aim of this article is to introduce Vogel's localization theorem for classes of D-complexes: this generalization of Waldhausen's localization theorem is especially useful and powerful in that it gives an explicit and computable…

In this paper we characterize irreducible generic representations of $\SO_{2n+1}(k)$ where $k$ is a $p$-adic field) by means of twisted local gamma factors (the Local Converse Theorem). As applications, we prove that two irreducible generic…

We generalize the Galileon duality to any single scalar field Lagrangian coupled locally to any matter field. Under the duality, a generalized Galileon maps into another generalized Galileon via a one parameter group of transformations,…

Our main result establishes functorial desingularization of noetherian quasi-excellent schemes over $\bfQ$ with ordered boundaries. A functorial embedded desingularization of quasi-excellent schemes of characteristic zero is deduced.…