首页/论文/0905.1090

arXiv 0905.10902009-05-07math.AC

子交易边界基础

Subideal Border Bases

Martin Kreuzer, Henk Poulisse

备注：: 18 pages, 1 figure

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

在建模物理系统时，有时构造0维多项式理想的边界基是有用的，这些理想包含在由给定的多项式集生成的理想中。我们定义和构造这样的次理想边界基地，提供一些基本性质和推广一个合适的变体的Buchberger-Moeller算法以及AVI算法的次理想设置。然后将AVI算法的次理想版本应用于实际工业问题。

英文摘要：

In modeling physical systems it is sometimes useful to construct border bases of 0-dimensional polynomial ideals which are contained in the ideal generated by a given set of polynomials. We define and construct such subideal border bases, provide some basic properties and generalize a suitable variant of the Buchberger-Moeller algorithm as well as the AVI-algorithm to the subideal setting. The subideal version of the AVI-algorithm is then applied to an actual industrial problem.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

模块边框

Module Border Bases

本文将零维多项式理想的边基的概念推广到模集上。为此，本文第一部分引入了序模作为阶理想的推广，引入了自由模中有限余维子模的模边界基作为零维理想的边界基的推广。特别地，我们将边界基的带余除法推广到模的设置上，证明了模边界基的存在性和唯一性，并通过边界合模的特殊生成性质、边界形式模、重写规则、交换矩阵和提升等刻画了模边界基类似于边界基的特征.在此基础上，我们推导出了模边界基的Buchberger判据，并利用线性代数技巧给出了模边界基的计算算法。在第二部分中，我们进一步将模边界基的概念推广到商模。然后，我们展示了商模边界基和特殊模边界基之间的联系，并推导出类似于模边界基的刻画。此外，我们再次利用线性代数技巧给出了商模边界基的计算算法。最后证明了次理想边界基同构于特殊商模边界基。这种同构立即产生的特征和算法计算的次理想边界基地。

2013-02-26cs.SCmath.AC

计算点理想的所有边界基

Computing all border bases for ideals of points

在本文中，我们考虑的问题，计算所有可能的阶理想，也连接到1的集合，以及相应的边界基，为消失理想的一个给定的有限集的点。在这种情况下，两种不同的方法进行了讨论：基于Buchberger-Möller算法，我们首先提出了一个新的算法来计算所有可能的阶理想和相应的边界基地的理想的点。第二种方法涉及调整Farr-Gao算法，用于找到连接到1的所有集合以及对应的边界基，用于点的理想。应该指出的是，我们的算法是术语排序自由。因此，他们可以成功地计算所有的边界基地的理想点。这两种算法都已实现，并通过一组基准测试讨论了它们的效率。

2017-07-07math.AC

无限阶理想上的同质边基

Homogeneous Border Bases on Infinite Order Ideals

Università degli Studi di Torino（都灵大学）

本文提出了一种适用于无限阶理想的新边基理论，通过形式乘法矩阵的有效判据，扩展了传统边基理论的应用范围。

2026-03-06math.AC

边界基与边界基方案

Border Bases and Border Basis Schemes

Università di Genova（热那亚大学）

本文综述二十多年来边界基方案研究，介绍边界基相关乘法矩阵性质为定义BBS提供基础，阐述重新嵌入多项式环的任务及相关概念作用，借助正$P_0$-代数等证明正则代数自由，最后指出虽有成果但仍有诸多未解决问题。

2026-09-16math.AC

Noether环上多项式环的边基

Border Bases for Polynomial Rings over Noetherian Rings

零维理想的边界基理论由于其数值稳定性和数学优美性吸引了符号计算领域的研究者。如（Francis & Dukkipati，J. Symb.比较器，2014），我们可以在诺特环上扩展边界基的概念，只要相应的剩余类环是无生成的和自由的。在本文中，我们解决了以下问题：可以边界的概念基础上诺特环存在的理想时，相应的剩余类环的生成，但不一定是自由模块？给出了一个边界划分算法，并证明了对于一类特殊的边界基，该算法是终止的。我们证明了存在这样的边界基Noether环，并在这方面提出了一些特征。我们还证明了诺特环上的某些约化格罗布纳基包含在这类边界基中。

2017-02-02cs.SCmath.AC

不使用项序计算边界基

Computing Border Bases without using a Term Ordering

本文扩展了原始的 Border Basis Algorithm，使其能够计算不依赖于任何项序的边界基，突破了原算法需依赖度兼容项序的限制。

2011-04-14cs.SCmath.AC

更多相关论文收起更多论文

边基与阶理想：一个多面体刻画

Border bases and order ideals: a polyhedral characterization

边界基是Gröbner基的典型推广。我们提供了一个多面体表征的所有阶理想（因此边界基地），支持一个零维理想：阶理想，支持一个边界基地一对一的积分点的阶理想多面体。特别是，我们建立了一个至关重要的理想和它的组合结构之间的联系。基于这个特征，我们适应经典的边界基础算法，允许计算边界基础的任意阶理想，这是独立的术语排序。我们还表明，找到一个最大重量的理想，支持一个边界的基础是NP-困难的，并允许阶理想的凸包没有多项式多面体的描述。

2015-11-24math.ACmath.AG

边境基地的变形

Deformations of Border Bases

在这里，我们研究的问题，推广的主要工具之一Groebner基础理论，即平坦变形的首项理想，边界的基础设置。在表明，直接的方法的基础上变形的程度形式理想的作品只有在额外的假设下，我们介绍边界基础计划和通用的边界基础家庭。在它们的帮助下，这个问题可以被重新表述为在边界基方案上寻找某个有理曲线。用不同的方法构造了边界基格式的消失理想的生成元系，并研究了如何使它最小化的问题，对于齐次理想，我们还引入了齐次边界基格式，并证明了它在某些情况下是一个仿射空间.在这些情况下，很容易明确地写下所需的变形。

2007-10-14math.ACmath.AG

计算边界基的多面体方法

A polyhedral approach to computing border bases

边界基可以被认为是Gröbner基的自然扩张，它有几个优点。不幸的是，到目前为止，经典的边界基算法依赖于（度兼容）项排序和隐式减少Gröbner基地。我们适应经典的边界基算法，以允许计算边界基任意度兼容的顺序理想，这是\emph{independent}从长期订购。此外，该算法还支持计算度兼容的顺序理想与\emph{preference}包含的元素，即使找到一个首选的阶理想是NP-难的。有效地，我们保留度相容性，只是为了逐度地连续扩展我们的计算。适应是基于我们的多面体表征：支持边界基础的阶理想与阶理想多面体的积分点一一对应。这就在理想和相关商空间的组合结构之间建立了一种至关重要的联系。

2010-02-05math.ACmath.AG

边基的几何

The Geometry of Border Bases

本文的主要内容是构造各种显式平坦边基族。首先，我们用边界基格式覆盖了点Hilbert格式Hilbert ^μ（A^n），并计算了基的变化。这使我们能够控制通过坐标的线性变化获得的平面族。接下来，我们提供了一个明确的结构的主成分的边界基础计划，我们用它来找到平坦的家庭的最大尺寸在每个激进的点。最后，我们通过主成分上的显式平坦族将根点彼此连接并连接到单项式点。

2010-04-07math.ACmath.AG

格理想的边基

Border bases for lattice ideals

构造理想I $\subseteq$ K[x 1，. .., xn]是阶理想O，其是K-向量空间K[x1，.. .., [xn]在本文中，我们给出了一个程序，以找到所有可能的阶理想与一个格理想IM（其中M是一个格Z n）。该结构可以应用于任何维数的理想（不仅是零维），并表明可能的阶理想总是有限的。对于正维数的格理想，我们还表明，虽然边界基是无限的，它可以被定义在有限项。此外，我们给出了一个例子，证明了不是所有的格理想的边界基来自Gröbner基地。最后，我们给出了一个完整的和明确的描述所有的边界基地的理想IM的情况下M是一个2维格包含在Z 2。

2016-08-29math.ACmath.AG

关于边界基和Groebner基格式

On Border Basis and Groebner Basis Schemes

多项式环中零维理想的Hilbert格式可以用合适的仿射开子格式覆盖，其构造是用边界基实现的。此外，边界基已被证明是一个很好的工具，用于描述零维理想时，系数是不准确的。在这种情况下，他们表现出明显的优势，相对于Groebner基地，不过，也可以用于研究希尔伯特计划，因为他们提供了工具，用于建设适当的分层。本文比较了Groebner基格式和边界基格式。证明了Groebner基格式及其相应的泛族可以看作是加权的射影概形。我们的方法的第一个后果是证明，所有的理想，定义一个Groebner基础计划，并获得使用Buchberger算法，是平等的。另一个结果是，如果Groebner基方案中的原点（即对应于唯一单项式理想的点）是光滑的，则该方案本身同构于一个仿射空间。这一事实代表了边界基和Groebner基格式之间的显著差异。由于它是自然的情况下，寻找一个Groebner基计划和相应的边界基计划是平等的，我们解决这个问题，提供一个答案，并展示了一些后果。文末还讨论了一些有待解决的问题。

2008-06-26math.ACmath.AG

边界与Pommaret标记基底之间的密切关系

The close relation between border and Pommaret marked bases

给定域$K$上多项式环$K[x_1,\dots, x_n]$中的有限阶理想$\mathcal O$，设$\partial \mathcal O$是$\mathcal O$的边界，$\mathcal P_{\mathcal O}$是由$\mathcal O$外的项生成的理想的Pommaret基.在Ceria，Mora，Roggero于2019年引入的约简结构的框架下，我们研究了$\partial\mathcal O$ -标记集之间的关系（分别为：碱基）和$\mathcal P_{\mathcal O}$标记的集合（分别基地）。我们证明了一个$\partial\mathcal O$ -标记集$B$是一个标记基当且仅当包含在$B$中的$\mathcal P_{\mathcal O}$ -标记集$P$是一个标记基并且生成与$B$相同的理想.利用这些标记基的函子描述，我们得到了分别参数化$\partial\mathcal O$ -标记基和$\mathcal P_{\mathcal O}$ -标记基的仿射格式是同构的.我们能够将这种同构描述为一种投影，这种投影可以在不使用Gröbner消去技术的情况下显式构造。特别是，我们得到了一个简单的嵌入边界计划在较小的仿射空间。此外，我们观察到，Pommaret标记计划给出了准时希尔伯特计划的开覆盖。文中给出了几个例子。

2020-06-23math.ACmath.AG