English
Related papers

Related papers: Newton iteration for lexicographic Gr\"obner bases…

200 papers

We present a midpoint policy iteration algorithm to solve linear quadratic optimal control problems in both model-based and model-free settings. The algorithm is a variation of Newton's method, and we show that in the model-based setting it…

Optimization and Control · Mathematics 2022-02-16 Benjamin Gravell , Iman Shames , Tyler Summers

In this contribution, we consider a zero-dimensional polynomial system in $n$ variables defined over a field $\mathbb{K}$. In the context of computing a Rational Univariate Representation (RUR) of its solutions, we address the problem of…

Symbolic Computation · Computer Science 2025-05-26 Alexander Demin , Fabrice Rouillier , Joao Ruiz

We first investigate properties of M-tensor equations. In particular, we show that if the constant term of the equation is nonnegative, then finding a nonnegative solution of the equation can be done by finding a positive solution of a…

Optimization and Control · Mathematics 2020-07-28 Dong-Hui Li , Hong-Bo Guan , Jie-Feng Xu

We address the numerical solution of second-order Mean Field Game problems through Newton iterations in infinite dimensions, introduced in [14], where quadratic convergence of the method was rigorously established. Building upon this…

Numerical Analysis · Mathematics 2026-03-20 Elisabetta Carlini , Ahmad Zorkot

The Newton iteration is a popular method for minimising a cost function on Euclidean space. Various generalisations to cost functions defined on manifolds appear in the literature. In each case, the convergence rate of the generalised…

Optimization and Control · Mathematics 2014-08-06 Jonathan H. Manton

The construction of conformally invariant gauge conditions for Maxwell and Einstein theories on a manifold M is found to involve two basic ingredients. First, covariant derivatives of a linear gauge (e.g. Lorenz or de Donder), completely…

General Relativity and Quantum Cosmology · Physics 2009-10-31 Giampiero Esposito , Cosimo Stornaiolo

We introduce the notion of syzygy for a set of reduction operators and relate it to the notion of syzygy for presentations of algebras. We give a method for constructing a linear basis of the space of syzygies for a set of reduction…

Rings and Algebras · Mathematics 2018-04-10 Cyrille Chenavier

We are concerned with the tensor equations whose coefficient tensor is an M-tensor. We first propose a Newton method for solving the equation with a positive constant term and establish its global and quadratic convergence. Then we extend…

Optimization and Control · Mathematics 2021-01-28 Dong-Hui Li Jie-Feng Xu , Hong-Bo Guan

In this work, we provide a necessary and sufficient condition on a polyomino ideal for having the set of inner 2-minors as degree reverse lexicographic Gr\"obner basis, due to combinatorial properties of the polyomino itself. Moreover, we…

Commutative Algebra · Mathematics 2020-05-25 Carla Mascia , Giancarlo Rinaldo , Francesco Romeo

In this paper we introduce a new and large family of configurations whose toric ideals possess quadratic Groebner bases. As an application, a generalization of algebras of Segre-Veronese type will be studied.

Commutative Algebra · Mathematics 2008-09-23 Satoshi Aoki , Takayuki Hibi , Hidefumi Ohsugi , Akimichi Takemura

Solving a polynomial system, or computing an associated Gr\"obner basis, has been a fundamental task in computational algebra. However, it is also known for its notorious doubly exponential time complexity in the number of variables in the…

Commutative Algebra · Mathematics 2024-11-07 Hiroshi Kera , Yuki Ishihara , Yuta Kambe , Tristan Vaccon , Kazuhiro Yokoyama

Hibi conjectured that if a toric ideal has a quadratic Gr\"obner basis, then the toric ideal has either a lexicographic or a reverse lexicographic quadratic Gr\"obner basis. In this paper, we present a cut ideal of a graph that serves as a…

Commutative Algebra · Mathematics 2019-12-11 Ryuichi Sakamoto

Given a finite set of closed rational points of affine space over a field, we give a Gr\"obner basis for the lexicographic ordering of the ideal of polynomials which vanish at all given points. Our method is an alternative to the…

Commutative Algebra · Mathematics 2007-05-23 Mathias Lederer

It is well known that the Newton method may not converge when the initial guess does not belong to a specific quadratic convergence region. We propose a family of new variants of the Newton method with the potential advantage of having a…

Numerical Analysis · Mathematics 2021-03-30 Regina S. Burachik , Bethany I. Caldwell , C. Yalçın Kaya

We describe a three precision variant of Newton's method for nonlinear equations. We evaluate the nonlinear residual in double precision, store the Jacobian matrix in single precision, and solve the equation for the Newton step with…

Numerical Analysis · Mathematics 2023-10-11 C. T. Kelley

Let $p$ be a prime number. Every two-variable polynomial $f(x_1, x_2)$ over a finite field of characteristic $p$ defines an Artin--Schreier--Witt tower of surfaces whose Galois group is isomorphic to $\mathbb Z_p$. Our goal of this paper is…

Number Theory · Mathematics 2017-01-09 Rufei Ren

This paper is devoted to studying the global and finite convergence of the semi-smooth Newton method for solving a piecewise linear system that arises in cone-constrained quadratic programming problems and absolute value equations. We first…

Optimization and Control · Mathematics 2023-01-24 Nicolas F. Armijo , Yunier Bello-Cruz , Gabriel Haeser

An iterative formula based on Newton Method alone is presented for the iterative solutions of equations that ensures convergence in cases where the traditional Newton Method may fail to converge to the desired root. In addition, the method…

Numerical Analysis · Mathematics 2012-10-30 Ababu Teklemariam Tiruneh

We studies the Newton polygon for the L-function of toric exponential sums attached to a family of two variable generalized hyperkloosterman sum,$f_{t}(x,y)=x^{n}+y+\frac{t}{xy}$ with $t$ the parameter. The explicit Newton polygon is…

Number Theory · Mathematics 2024-11-18 Bolun Wei

As a contribution to quantitative set-theoretic inferencing, a translation is proposed of conjunctions of literals of the forms $x=y\setminus z$, $x \neq y\setminus z$, and $z =\{x\}$, where $x,y,z$ stand for variables ranging over the von…

Logic in Computer Science · Computer Science 2022-11-15 Domenico Cantone , Andrea De Domenico , Pietro Maugeri , Eugenio G. Omodeo