English
Related papers

Related papers: Optimal Re-Embeddings of Border Basis Schemes

200 papers

Spanners, emulators, and approximate distance oracles can be viewed as lossy compression schemes that represent an unweighted graph metric in small space, say $\tilde{O}(n^{1+\delta})$ bits. There is an inherent tradeoff between the…

Data Structures and Algorithms · Computer Science 2017-01-11 Amir Abboud , Greg Bodwin , Seth Pettie

In this paper, we describe new methods to compute the radical (resp. real radical) of an ideal, assuming it complex (resp. real) variety is finite. The aim is to combine approaches for solving a system of polynomial equations with dual…

Algebraic Geometry · Mathematics 2011-12-21 Jean-Bernard Lasserre , Monique Laurent , Bernard Mourrain , Philipp Rostalski , Philippe Trébuchet

We give a criterion for a collection of polynomials to be a universal Gr\"{o}bner basis for an ideal in terms of the multidegree of the closure of the corresponding affine variety in $(\mathbb{P}^1)^N$. This criterion can be used to give…

Algebraic Geometry · Mathematics 2024-11-27 Daoji Huang , Matt Larson

We study existence and computability of finite bases for ideals of polynomials over infinitely many variables. In our setting, variables come from a countable logical structure A, and embeddings from A to A act on polynomials by renaming…

Logic in Computer Science · Computer Science 2026-05-21 Arka Ghosh , Sławomir Lasota

In the study of high-dimensional data, it is often assumed that the data set possesses an underlying lower-dimensional structure. A practical model for this structure is an embedded compact manifold with boundary. Since the underlying…

Machine Learning · Statistics 2025-08-22 Pei-Cheng Kuo , Nan Wu

Binary embedding is a nonlinear dimension reduction methodology where high dimensional data are embedded into the Hamming cube while preserving the structure of the original space. Specifically, for an arbitrary $N$ distinct points in…

Data Structures and Algorithms · Computer Science 2019-01-24 Xinyang Yi , Constantine Caramanis , Eric Price

We propose new estimates for the frontier of a set of points. They are defined as kernel estimates covering all the points and whose associated support is of smallest surface. The estimates are written as linear combinatio- ns of kernel…

Methodology · Statistics 2011-03-31 Guillaume Bouchard , Stéphane Girard , Anatoli Iouditski , Alexander Nazin

An algorithm to generate a minimal comprehensive Gr\"obner\, basis of a parametric polynomial system from an arbitrary faithful comprehensive Gr\"obner\, system is presented. A basis of a parametric polynomial ideal is a comprehensive…

Symbolic Computation · Computer Science 2020-03-19 Deepak Kapur , Yiming Yang

An ideal of a local polynomial ring can be described by calculating a standard basis with respect to a local monomial ordering. However standard basis algorithms are not numerically stable. Instead we can describe the ideal numerically by…

Algebraic Geometry · Mathematics 2012-11-22 Robert Krone

Combining sum factorization, weighted quadrature, and row-based assembly enables efficient higher-order computations for tensor product splines. We aim to transfer these concepts to immersed boundary methods, which perform simulations on a…

Computational Engineering, Finance, and Science · Computer Science 2023-09-06 Benjamin Marussig , René Hiemstra , Dominik Schillinger

Computation of parallel lines (envelopes) to parabolas, ellipses, and hyperbolas is of importance in structure engineering and theory of mechanisms. Homogeneous polynomials that implicitly define parallel lines for the given offset to a…

Algebraic Geometry · Mathematics 2007-05-23 RafałAbłamowicz , Jane Liu

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

For an ideal $I\subseteq\mathbb{R}[x]$ given by a set of generators, a new semidefinite characterization of its real radical $I(V_\mathbb{R}(I))$ is presented, provided it is zero-dimensional (even if $I$ is not). Moreover we propose an…

Algebraic Geometry · Mathematics 2018-11-20 J. B. Lasserre , M. Laurent , P. Rostalski

We parametrize the affine space of Artinian affine ideals of K[x,y] which have a given initial ideal with respect to the degree reverse lexicographic term order. The fact that the term order is degree compatible allows us to extend the…

Algebraic Geometry · Mathematics 2012-01-16 Alexandru Constantinescu

The application of methods of computational algebra has recently introduced new tools for the study of Hilbert schemes. The key idea is to define flat families of ideals endowed with a scheme structure whose defining equations can be…

Algebraic Geometry · Mathematics 2016-03-15 Paolo Lella , Margherita Roggero

The new type of ideal basis introduced herein constitutes a compromise between the Gr\"obner bases based on the Buchberger's algorithm and the characteristic sets based on the Wu's method. It reduces the complexity of the traditional…

Symbolic Computation · Computer Science 2022-02-22 Sheng-Ming Ma

We study the relationship between certain Groebner bases for zero dimensional ideals, and the interpolation condition functionals of ideal interpolation. Ideal interpolation is defined by a linear idempotent projector whose kernel is a…

Symbolic Computation · Computer Science 2024-01-17 Yihe Gong , Xue Jiang

A contemporary and exciting application of Groebner bases is their use in computational biology, particularly in the reverse engineering of gene regulatory networks from experimental data. In this setting, the data are typically limited to…

Commutative Algebra · Mathematics 2019-07-10 Winfried Just , Brandilyn Stigler

Normalization of polynomials plays a vital role in the approximate basis computation of vanishing ideals. Coefficient normalization, which normalizes a polynomial with its coefficient norm, is the most common method in computer algebra.…

Symbolic Computation · Computer Science 2022-07-04 Hiroshi Kera

In this paper we introduce an algebra embedding $\iota:K< X >\to S$ from the free associative algebra $K< X >$ generated by a finite or countable set $X$ into the skew monoid ring $S = P * \Sigma$ defined by the commutative polynomial ring…

Rings and Algebras · Mathematics 2012-05-24 Roberto La Scala , Viktor Levandovskyy