English
Related papers

Related papers: On Gr\"obner Basis Detection for Zero-dimensional …

200 papers

Let $\mathbb{K}$ be a field, $\mathcal{X}$ be an infinite set (of indeterminates), and $\mathcal{G}$ be a group acting on $\mathcal{X}$. An ideal in the polynomial ring $\mathbb{K}[\mathcal{X}]$ is called equivariant if it is invariant…

Logic in Computer Science · Computer Science 2025-07-15 Arka Ghosh , Aliaume Lopez

An explicit algorithmic construction is given for orthogonal bases for spaces of homogeneous polynomials, in the context of Hermitean Clifford analysis, which is a higher dimensional function theory centred around the simultaneous null…

Complex Variables · Mathematics 2015-05-27 F. Brackx , H. De Schepper , R. Lavicka , V. Soucek

The extended definition of the polynomial B-splines may give a chance to improve the results obtained by the classical cubic polynomial B-splines. Determination of the optimum value of the extension parameter can be achieved by scanning…

Numerical Analysis · Mathematics 2017-02-10 Ozlem Ersoy Hepson , Alper Korkmaz , Idris Dag

Cylindrical algebraic decomposition (CAD) is an important tool for working with polynomial systems, particularly quantifier elimination. However, it has complexity doubly exponential in the number of variables. The base algorithm can be…

Symbolic Computation · Computer Science 2016-10-03 Matthew England , James H. Davenport

This paper presents a generalization of our earlier work in [19]. In this paper, the two concepts, generic regular decomposition (GRD) and regular-decomposition-unstable (RDU) variety introduced in [19] for generic zero-dimensional systems,…

Symbolic Computation · Computer Science 2013-01-18 Zhenghong Chen , Xiaoxian Tang , Bican Xia

This note computes a Gr\"obner basis for the ideal defining a union of Schubert varieties. More precisely, it computes a Gr\"obner basis for unions of schemes given by northwest rank conditions on the space of all matrices of a fixed size.…

Algebraic Geometry · Mathematics 2014-05-14 Anna Bertiger

This text consists of five relatively systematic notes on Gr\"obner bases and free resolutions of modules over solvable polynomial algebras.

Rings and Algebras · Mathematics 2015-10-16 Huishi Li

An algorithm which either finds an nonzero integer vector ${\mathbf m}$ for given $t$ real $n$-dimensional vectors ${\mathbf x}_1,...,{\mathbf x}_t$ such that ${\mathbf x}_i^T{\mathbf m}=0$ or proves that no such integer vector with norm…

Symbolic Computation · Computer Science 2010-10-12 Jingwei Chen , Yong Feng , Xiaolin Qin , Jingzhong Zhang

The Galerkin difference (GD) basis is a set of continuous, piecewise polynomials defined using a finite difference like grid of degrees of freedom. The one dimensional GD basis functions are naturally extended to multiple dimensions using…

Numerical Analysis · Mathematics 2021-06-03 Jeremy E. Kozdon , Lucas C. Wilcox , Thomas Hagstrom , Jeffrey W. Banks

Solving multihomogeneous systems, as a wide range of structured algebraic systems occurring frequently in practical problems, is of first importance. Experimentally, solving these systems with Gr\"obner bases algorithms seems to be easier…

Symbolic Computation · Computer Science 2010-02-24 Jean-Charles Faugère , Mohab Safey El Din , Pierre-Jean Spaenlehauer

We study the computational limits of the following general hypothesis testing problem. Let H=H_n be an \emph{arbitrary} undirected graph on n vertices. We study the detection task between a ``null'' Erd\H{o}s-R\'{e}nyi random graph G(n,p)…

Statistics Theory · Mathematics 2024-03-27 Xifan Yu , Ilias Zadik , Peiyuan Zhang

We introduce the notion of Groebner S-basis of an ideal of the free associative algebra K<X> over a field K invariant under the action of a semigroup S of endomorphisms of the algebra. We calculate the Groebner S-bases of the ideal…

Rings and Algebras · Mathematics 2007-05-23 Vesselin Drensky , Roberto La Scala

Computing the critical points of a polynomial function $q\in\mathbb Q[X_1,\ldots,X_n]$ restricted to the vanishing locus $V\subset\mathbb R^n$ of polynomials $f_1,\ldots, f_p\in\mathbb Q[X_1,\ldots, X_n]$ is of first importance in several…

Symbolic Computation · Computer Science 2014-05-26 Pierre-Jean Spaenlehauer

The \textit{biharmonic distance} (BD) is a fundamental metric that measures the distance of two nodes in a graph. It has found applications in network coherence, machine learning, and computational graphics, among others. In spite of BD's…

Social and Information Networks · Computer Science 2024-08-27 Changan Liu , Ahad N. Zehmakan , Zhongzhi Zhang

An unweighted, undirected graph $G$ on $n$ nodes is said to have \emph{bandwidth} at most $k$ if its nodes can be labelled from $0$ to $n - 1$ such that no two adjacent nodes have labels that differ by more than $k$. It is known that one…

Data Structures and Algorithms · Computer Science 2026-02-03 Luis M. B. Varona

Let $f_1,\ldots,f_m$ be elements in a quotient $R^n / N$ which has finite dimension as a $K$-vector space, where $R = K[X_1,\ldots,X_r]$ and $N$ is an $R$-submodule of $R^n$. We address the problem of computing a Gr\"obner basis of the…

Symbolic Computation · Computer Science 2020-06-05 Simone Naldi , Vincent Neiger

Let $I = ( f_1, \dots, f_n )$ be a homogeneous ideal in the polynomial ring $K[x_1, \dots,x_n]$ over a field $K$ generated by generic polynomials. Using an incremental approach based on a method by Gao, Guan and Volny, and properties of the…

Commutative Algebra · Mathematics 2017-12-11 Juliane Capaverde , Shuhong Gao

Zeroth-order optimization is the process of minimizing an objective $f(x)$, given oracle access to evaluations at adaptively chosen inputs $x$. In this paper, we present two simple yet powerful GradientLess Descent (GLD) algorithms that do…

Machine Learning · Computer Science 2020-05-20 Daniel Golovin , John Karro , Greg Kochanski , Chansoo Lee , Xingyou Song , Qiuyi Zhang

In this paper, we introduce (almost) skew 2-nomial algebras and look for a one-sided or two-sided Gr\"obner basis theory for such algebras at a modest level. That is, we establish the existence of a skew multiplicative $K$-basis for every…

Rings and Algebras · Mathematics 2010-01-15 Huishi Li

Consider an ideal $I \subset R = \bC[x_1,...,x_n]$ defining a complex affine variety $X \subset \bC^n$. We describe the components associated to $I$ by means of {\em numerical primary decomposition} (NPD). The method is based on the…

Algebraic Geometry · Mathematics 2008-05-30 Anton Leykin