English
Related papers

Related papers: Conormal Spaces and Whitney Stratifications

200 papers

Proper regularization is critical for speeding up training, improving generalization performance, and learning compact models that are cost efficient. We propose and analyze regularized gradient descent algorithms for learning shallow…

Machine Learning · Computer Science 2018-06-08 Samet Oymak

In this note, we give an algorithm that starting with a Sullivan algebra gives us its minimal model. This algorithm is a kind of modified AT-model algorithm used to compute in the past other kinds of topology information such as…

Algebraic Topology · Mathematics 2019-10-01 Antonio Garvin , Rocio Gonzalez-Diaz , Belen MEdrano

We study the category of graded finite-dimensional representations of the polynomial current algebra associated to a simple Lie algebra. We prove that the category has enough injectives and compute the graded character of the injective…

Representation Theory · Mathematics 2008-08-12 Vyjayanthi Chari , Jacob Greenstein

A recursive estimator of the conditional geometric median in Hilbert spaces is studied. It is based on a stochastic gradient algorithm whose aim is to minimize a weighted L1 criterion and is consequently well adapted for robust online…

Statistics Theory · Mathematics 2012-04-18 Hervé Cardot , Peggy Cénac , Pierre-André Zitt

In this paper, we introduce a system of split variational inequality problems in real Hilbert spaces. Using projection method, we propose an iterative algorithm for the system of split variational inequality problems. Further, we prove that…

Functional Analysis · Mathematics 2014-08-19 Kaleem Raza Kazmi

We provide a real algebraic symbolic-numeric algorithm for computing the real variety $V_R(I)$ of an ideal $I$, assuming it is finite while $V_C(I)$ may not be. Our approach uses sets of linear functionals on $R[X]$, vanishing on a given…

Algebraic Geometry · Mathematics 2009-01-16 J. B. Lasserre , M. Laurent , P. Rostalski

The circular coordinates algorithm, a key tool in topological data analysis, relies on a theoretically unvalidated lifting step to convert cocycles from a prime field to integer coefficients. We provide a rigorous analysis of this…

Algebraic Topology · Mathematics 2025-09-22 Sigurd Gaukstad , Mathias Karsrud Nordal , Marius Thaule

In a previous paper, we provided some update in the treatment of the finiteness theorem for rational maps of finite degree from a fixed variety to varieties of general type. In the present paper we present another improvement, introducing…

Algebraic Geometry · Mathematics 2012-03-13 Lucio Guerra , Gian Pietro Pirola

Standard convolutions are prevalent in image processing and deep learning, but their fixed kernels limits adaptability. Several deformation strategies of the reference kernel grid have been proposed. Yet, they lack a unified theoretical…

Computer Vision and Pattern Recognition · Computer Science 2025-07-31 Thomas Dagès , Michael Lindenbaum , Alfred M. Bruckstein

We construct algorithms and topological invariants that allow us to distinguish the topological type of a surface, as well as functions and vector fields for their topological equivalence. In the first part (arXiv:2501.15657), we discused…

Geometric Topology · Mathematics 2025-02-17 Alexandr Prishlyak

Image geolocalization is the task of identifying the location depicted in a photo based only on its visual information. This task is inherently challenging since many photos have only few, possibly ambiguous cues to their geolocation.…

Computer Vision and Pattern Recognition · Computer Science 2018-08-08 Paul Hongsuck Seo , Tobias Weyand , Jack Sim , Bohyung Han

Given a reduced affine algebra A over a perfect field K, we present parallel algorithms to compute the normalization \bar{A} of A. Our starting point is the algorithm of Greuel, Laplagne, and Seelisch, which is an improvement of de Jong's…

Commutative Algebra · Mathematics 2013-02-13 Janko Boehm , Wolfram Decker , Santiago Laplagne , Gerhard Pfister , Andreas Steenpass , Stefan Steidel

In this paper, we propose a new and simple approach to the approximation algorithms that are modified and improved from our published results. The computational and graphical examples are presented with the aid of Maple procedures.

Numerical Analysis · Mathematics 2025-06-24 Quan Le Phuong

This paper introduces a post-training quantization~(PTQ) method achieving highly efficient Convolutional Neural Network~ (CNN) quantization with high performance. Previous PTQ methods usually reduce compression error via performing…

Computer Vision and Pattern Recognition · Computer Science 2022-01-19 Chen Lin , Zheyang Li , Bo Peng , Haoji Hu , Wenming Tan , Ye Ren , Shiliang Pu

Algorithmic randomness theory starts with a notion of an individual random object. To be reasonable, this notion should have some natural properties; in particular, an object should be random with respect to image distribution if and only…

Logic · Mathematics 2016-07-15 Laurent Bienvenu , Mathieu Hoyrup , Alexander Shen

We define the pattern fragment for higher-order unification problems in linear and affine type theory and give a deterministic unification algorithm that computes most general unifiers.

Logic in Computer Science · Computer Science 2010-09-16 Anders Schack-Nielsen , Carsten Schürmann

We produce algorithms to detect whether a complex affine variety computed and presented numerically by the machinery of numerical algebraic geometry corresponds to an associated component of a polynomial ideal.

Algebraic Geometry · Mathematics 2016-01-15 Robert Krone , Anton Leykin

The diagonal in a product of projective spaces is cut out by the ideal of 2x2-minors of a matrix of unknowns. The multigraded Hilbert scheme which classifies its degenerations has a unique Borel-fixed ideal. This Hilbert scheme is generally…

Algebraic Geometry · Mathematics 2009-08-27 Dustin Cartwright , Bernd Sturmfels

Many inverse problems arising in engineering and applied sciences involve unknown quantities with pronounced spatial inhomogeneity, such as localized defects or spatially varying material properties, making reliable uncertainty…

Numerical Analysis · Mathematics 2026-02-10 Babak Maboudi Afkham , Tomas Soto , Mirza Karamehmedovic , Lassi Roininen

A procedure for the construction and the classification of multilattices in arbitrary dimension is proposed. The algorithm allows to determine explicitly the location of the points of a multilattice given its space group, and to determine…

Mathematical Physics · Physics 2009-08-18 Giuliana Indelicato