English
Related papers

Related papers: Relative desingularization and principalization of…

200 papers

In many applications, we desire neural networks to exhibit invariance or equivariance to certain groups due to symmetries inherent in the data. Recently, frame-averaging methods emerged to be a unified framework for attaining symmetries…

Machine Learning · Computer Science 2024-11-05 George Ma , Yifei Wang , Derek Lim , Stefanie Jegelka , Yisen Wang

It is well known that for a first order system of linear difference equations with rational function coefficients, a solution that is holomorphic in some left half plane can be analytically continued to a meromorphic solution in the whole…

Symbolic Computation · Computer Science 2018-02-06 Moulay A. Barkatou , Maximilian Jaroschek

The geometric and algebraic theory of monomial ideals and multigraded modules is initiated over real-exponent polynomial rings and, more generally, monoid algebras for real polyhedral cones. The main results include the generalization of…

Commutative Algebra · Mathematics 2025-11-11 Ezra Miller

The equivalence group is determined for systems of linear ordinary differential equations in both the standard form and the normal form. It is then shown that the normal form of linear systems reducible by an invertible point transformation…

Classical Analysis and ODEs · Mathematics 2015-02-26 JC Ndogmo

We propose a general quantum Hamiltonian formalism of a renormalization group (RG) flow with an emphasis on generalized symmetry by interpreting the elementary relationship between homomorphism, quotient ring, and projection. In our…

High Energy Physics - Theory · Physics 2026-04-09 Yoshiki Fukusumi , Yuma Furuta

The article is about a "desingularization principle" common to various canonical desingularization algorithms in characteristic zero, and the roles played by the exceptional divisors in the underlying local construction. We compare…

Algebraic Geometry · Mathematics 2007-05-23 Edward Bierstone , Pierre D. Milman

In this paper, we prove that every binomial ideal in a polynomial ring over an algebraically closed field of characteristic zero admits a canonical primary decomposition into binomial ideals. Moreover, we prove that this special…

Commutative Algebra · Mathematics 2010-05-10 Ignacio Ojeda

We consider several notions of genericity appearing in algebraic geometry and commutative algebra. Special emphasis is put on various stability notions which are defined in a combinatorial manner and for which a number of equivalent…

Symbolic Computation · Computer Science 2017-05-09 Amir Hashemi , Michael Schweinfurter , Werner M. Seiler

We present a non-standard proof of the fact that the existence of a local (i.e. restricted to a point) characteristic-zero, semi-parametric lifting for a variety defined by the zero locus of polynomial equations over the integers is…

Commutative Algebra · Mathematics 2017-07-26 Edisson Gallego , Danny A. J. Gomez-Ramirez , Juan D. Velez

Relative representations are an established approach to zero-shot model stitching, consisting of a non-trainable transformation of the latent space of a deep neural network. Based on insights of topological and geometric nature, we propose…

Machine Learning · Computer Science 2025-10-27 Alejandro García-Castellanos , Giovanni Luca Marchetti , Danica Kragic , Martina Scolamiero

We introduce a generalization of the notion of a negligible morphism and study the associated tensor ideals and thick ideals. These ideals are defined by considering deformations of a given monoidal category $\mathcal{C}$ over a local ring…

Representation Theory · Mathematics 2021-12-09 Thorsten Heidersdorf , Hans Wenzl

This paper discusses the extension of the Prototype Verification System (PVS) sub-theory for rings, part of the PVS algebra theory, with theorems related to the division algorithm for Euclidean rings and Unique Factorization Domains that…

Logic in Computer Science · Computer Science 2024-04-24 Thaynara Arielly de Lima , Andréia Borges Avelar , André Luiz Galdino , Mauricio Ayala-Rincón

Inverse problems are characterized by their inherent non-uniqueness and sensitivity with respect to data perturbations. Their stable solution requires the application of regularization methods including variational and iterative…

Numerical Analysis · Mathematics 2023-10-17 Aviv Gibali , Markus Haltmeier

We resurrect a standard construction of analytical mechanics dating from the last century. The technique allows one to pass from any dynamical system whose first order evolution equations are known, and whose bracket algebra is not…

General Relativity and Quantum Cosmology · Physics 2010-04-06 J. A. Rubio , R. P. Woodard

Category theory gives a mathematical characterization of naturality but not of canonicity. The purpose of this paper is to develop the logical theory of canonical maps based on the broader demonstration that the dual notions of elements &…

Category Theory · Mathematics 2024-10-07 David Ellerman

Using the methods of quantisation ideals, we construct a family of quantisations corresponding to Case alpha in Sergeev's classification of solutions to the tetrahedron equation. This solution describes transformations between special…

Exactly Solvable and Integrable Systems · Physics 2025-05-27 M. A. Chirkov , A. V. Mikhailov , D. V. Talalaev

Quantization problems suggest that the category of symplectic manifolds and symplectomorphisms be augmented by the inclusion of canonical relations as morphisms. These relations compose well when a transversality condition is satisfied, but…

Symplectic Geometry · Mathematics 2009-11-24 Alan Weinstein

We give a number of constructions where inverse limits seriously degrade properties of regular rings, such as unit-regularity, diagonalisation of matrices, and finite stable rank. This raises the possibility of using inverse limits to…

Rings and Algebras · Mathematics 2024-11-21 Pere Ara , Ken Goodearl , Kevin C. O'Meara , Enrique Pardo , Francesc Perera

We define the weak-normalization and the seminormalization of a real algebraic variety relative to its central locus. The study is related to the properties of the rings of continuous rational functions and hereditarily rational functions…

Algebraic Geometry · Mathematics 2019-09-06 Goulwen Fichou , Jean-Philippe Monnier , Ronan Quarez

Approximate vanishing ideal is a concept from computer algebra that studies the algebraic varieties behind perturbed data points. To capture the nonlinear structure of perturbed points, the introduction of approximation to exact vanishing…

Machine Learning · Statistics 2019-11-11 Hiroshi Kera , Yoshihiko Hasegawa