English
Related papers

Related papers: A Syzygial Method for Equidimensional Decompositio…

200 papers

Solving zero-dimensional polynomial systems using Gr\"obner bases is usually done by, first, computing a Gr\"obner basis for the degree reverse lexicographic order, and next computing the lexicographic Gr\"obner basis with a change of order…

Symbolic Computation · Computer Science 2022-05-17 Jérémy Berthomieu , Vincent Neiger , Mohab Safey El Din

For a symmetric positive semidefinite linear system of equations $\mathcal{Q} {\bf x} = {\bf b}$, where ${\bf x} = (x_1,\ldots,x_s)$ is partitioned into $s$ blocks, with $s \geq 2$, we show that each cycle of the classical block symmetric…

Numerical Analysis · Mathematics 2017-05-24 Xudong Li , Defeng Sun , Kim-Chuan Toh

In the last decade, the approximate vanishing ideal and its basis construction algorithms have been extensively studied in computer algebra and machine learning as a general model to reconstruct the algebraic variety on which noisy data…

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

This paper describes and analyzes a method for computing border bases of a zero-dimensional ideal $I$. The criterion used in the computation involves specific commutation polynomials and leads to an algorithm and an implementation extending…

Symbolic Computation · Computer Science 2008-12-02 Bernard Mourrain , Philippe Trébuchet

A Gr\"obner basis computation for the Weyl algebra with respect to a tropical term order and by using a homogenization-dehomogenization technique is sufficiently sluggish. A significant number of reductions to zero occur. To improve the…

Symbolic Computation · Computer Science 2023-12-25 Ari Dwi Hartanto , Katsuyoshi Ohara

We prove the decomposition of arbitrary diagonal operators into tensor and matrix products of smaller matrices, focusing on the analytic structure of the resulting formulas and their inherent symmetries. Diagrammatic representations are…

Quantum Physics · Physics 2025-10-15 M. M. Fedin , A. A. Morozov

We consider homogeneous multidimensional continued fraction algorithms, in particular a family of maps which was introduced by F. Schweiger. We prove his conjecture regarding the existence of an absorbing set for those maps. We also…

Dynamical Systems · Mathematics 2011-04-20 Tomasz Miernowski , Arnaldo Nogueira

We propose a decomposition framework for the parallel optimization of the sum of a differentiable function and a (block) separable nonsmooth, convex one. The latter term is typically used to enforce structure in the solution as, for…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-11-12 Francisco Facchinei , Simone Sagratella , Gesualdo Scutari

It has been shown previously that a large class of monomial maps equivariant under the action of an infinite symmetric group have finitely generated kernels up to the symmetric action. We prove that these symmetric toric ideals also have…

Commutative Algebra · Mathematics 2016-04-29 Robert Krone

We study algebraic varieties associated with the camera resectioning problem. We characterize these resectioning varieties' multigraded vanishing ideals using Gr\"obner basis techniques. As an application, we derive and re-interpret…

Algebraic Geometry · Mathematics 2023-09-11 Erin Connelly , Timothy Duff , Jessie Loucks-Tavitas

A strong link between information geometry and algebraic statistics is made by investigating statistical manifolds which are algebraic varieties. In particular it it shown how first and second order efficient estimators can be constructed,…

Statistics Theory · Mathematics 2014-01-13 Kei Kobayashi , Henry P. Wynn

A novel and detailed convergence analysis is presented for a greedy algorithm that was previously introduced for operator reconstruction problems in the field of quantum mechanics. This algorithm is based on an offline/online decomposition…

Optimization and Control · Mathematics 2020-11-02 S Buchwald , G Ciaramella , Julien Salomon

The generalized eigenvalue problem (GEP) serves as a cornerstone in a wide range of applications in numerical linear algebra and scientific computing. However, traditional approaches that aim to maximize the classical Rayleigh quotient…

Optimization and Control · Mathematics 2025-07-04 Xiaozhi Liu , Yong Xia

We consider N-fold 4-block decomposable integer programs, which simultaneously generalize N-fold integer programs and two-stage stochastic integer programs with N scenarios. In previous work [R. Hemmecke, M. Koeppe, R. Weismantel, A…

Optimization and Control · Mathematics 2017-01-03 Raymond Hemmecke , Matthias Köppe , Robert Weismantel

This paper is concerned with linear algebra based methods for solving exactly polynomial systems through so-called Gr\"obner bases, which allow one to compute modulo the polynomial ideal generated by the input equations. This is a topical…

Symbolic Computation · Computer Science 2023-07-28 Jérémy Berthomieu , Christian Eder , Mohab Safey El Din

In this note we show how to apply the Gr\"obner--Shirshov bases (GSB) method for modules over an associative algebra to the study of vertex algebras defined by generators and relations. We compute GSBs for a series of vertex algebras and…

Rings and Algebras · Mathematics 2023-12-05 R. A. Kozlov , P. S. Kolesnikov

Given a finite set of arbitrarily distributed points in affine space with arbitrary multiplicity structures, we present an algorithm to compute the reduced Groebner basis of the vanishing ideal under the lexicographic ordering. Our method…

Algebraic Geometry · Mathematics 2013-01-22 Na Lei , Xiaopeng Zheng , Yuxue Ren

This paper is a detailed description of an algorithm based on a generalized Buchberger algorithm for constructing Groebner-type bases associated with polynomials of shift operators. The algorithm is used for calculating Feynman integrals…

High Energy Physics - Phenomenology · Physics 2009-11-11 A. V. Smirnov

In this work, we extend modular techniques for computing Gr\"obner bases involving rational coefficients to (two-sided) ideals in free algebras. We show that the infinite nature of Gr\"obner bases in this setting renders the classical…

Symbolic Computation · Computer Science 2025-02-18 Clemens Hofstadler , Viktor Levandovskyy

In this paper we study systems of autonomous algebraic ODEs in several differential indeterminates. We develop a notion of algebraic dimension of such systems by considering them as algebraic systems. Afterwards we apply differential…

Algebraic Geometry · Mathematics 2022-02-10 Jose Cano , Sebastian Falkensteiner , Daniel Robertz , Rafael Sendra