Minimality and uniqueness for decompositions of specific ternary forms
本文讨论了一类特殊的三值形式的秩的计算和可识别性。通常,人们知道给定形式的一些短的华林分解,问题是确定分解是否是最小的和唯一的。我们展示了如何分析的希尔伯特-伯奇矩阵的一组点代表的分解可以解决这个问题的情况下,三元形式。此外,当分解不是唯一的,我们展示了如何联络的过程可以提供替代,也许更短,分解。我们给出了一个明确的算法,测试我们的标准的情况下,三元形式的程度$9$的极小。这是第一个数值的情况下,出现了一个新的现象:跨度的$18$一般权力的线性型包含点(次属)秩$18$,但它也包含点的秩是$17$,由于存在第二个较短的分解,这是完全不同的给定的。
2020-07-20 math.AG
Inverting catalecticants of ternary quartics
本文研究了三元四次线上的亚线性矩阵到线性空间的对称矩阵(LSSM)的互反簇。用数值方法得到了它的次数为85,最大似然法的ML次数为36。我们提供了一个几何解释,为什么这两个不变量之间的平等没有达到,而不是二进制形式的情况下,通过描述的交叉的倒易品种和正交的LSSM的秩轨迹。此外,我们证明,只有秩$1$轨迹,即Veronese表面$ν_4(\mathbb{P}^2)$,有助于程度的倒数品种。
2021-05-21 math.AG
Every Ternary Quintic is a Sum of Ten Fifth Powers
据我们所知,在写作时,最大华林秩的所有三进制形式的程度$d$(系数在代数闭域的特征零)是已知的,只有$d\le 4$。已知$d=5$的最佳上界是12,在本工作中,我们将其降低到10。
2015-02-17 math.AC math.AG math.RA
Border rank of powers of ternary quadratic forms
本文主要研究三元二次型任意次幂的边界秩,通过确定配极理想并利用边界配极技术,证明任意次幂 q_3^s 的边界秩等于其中间卡塔莱克坦矩阵的秩 (s+1)(s+2)/2。
2023-08-02 math.AG
Extreme Rays of the Hankel Spectrahedra for Ternary Forms
Hankel谱面是实多项式平方和锥的对偶凸锥,本文从凸代数几何的角度研究了它。我们证明了三元形式的Hankel谱面体的所有极端射线的并集的Zapriki闭包是余维为10的不可约簇。它是所有corank至少为4的Hankel(或中Catalecticant)矩阵的簇。利用平面曲线的Cayley-Bacharach定理,我们明确地构造了一条最大秩的有理极值射线。在前三种非平凡情形d = 3,4,5下,给出了Hankel谱面的极端射线的半代数集的秩分层.对偶地,我们通过射影对偶理论得到了平方和锥的代数边界的刻画,扩展了Blekherman,Hauenstein,Ottem,Ranestad和Sturmfels以前的工作。
2015-06-20 math.AC math.AG math.OC
Line-Bundle-Valued Ternary Quadratic Bundles Over Schemes
我们描述了一个令人满意的理论退化的二次型在三个变量在最一般的设置可能的:二次型定义在秩3向量丛上的任意计划,并可能有价值的非平凡线丛。我们的研究结果扩展了已知的良好形式,例如,我们表明,维特不变量足以分类。明确地确定了一般、特殊和一般正交群及其应用。我们指出的例子秩4向量丛,不承认任何Azumaya结构和秩3向量丛,不承认任何良好的二次型值在指定的线丛。这些例子自然发生在Seshadri-desingulations的模空间秩二度零向量丛在曲线上相对于一个整体正常的地方永田(普遍日本)基地计划。
2005-07-24 math.AG math.RA
On the identifiability of ternary forms
我们描述了一种新的方法来确定极小性和可识别性的华林分解$A$的一个特定的形式(对称张量)$T$在三个变量。我们的方法,这是基于$A$的希尔伯特函数,可以区分形式之间的跨度的Veronese图像的$A$,其中一般包含可识别和不可识别的点,这取决于在分解中的系数的选择。这使得我们的方法适用于所有的值的长度$r$的分解,从$2$的通用秩,范围是以前无法实现的。虽然该方法在原则上可以处理所有的情况下,特定的三进制形式,我们介绍和描述它的程度$8$的形式。
2020-06-01 math.AG
Low-Rank Sum-of-Squares Representations on Varieties of Minimal Degree
希尔伯特的一个著名结果说,每一个实非负三元四次曲线都是三个平方的和。我们更一般地表明,每一个非负的二次型上的一个真正的射影簇$X$的最低程度是一个总和的$\dim(X)+1$平方的线性型。这加强了Blekherman,Smith和Velasco最近结果的一个方向。我们的上界是最好的可能的,它意味着存在的低秩分解的二元矩阵多项式和表示的biforms作为几个平方和。我们确定了一般二次型的平方和表示的最小程度的表面上的等价类的数量,概括了计数三元四次幂的权力,Reznick,Scheiderer,和Sottile。
2017-03-04 math.AG math.OC
Parametrizing quartic algebras over an arbitrary base
我们参数化四次交换代数在任何基环或计划(等价有限,平坦度四$S$ -计划),其三次预解式,对三元二次型的基础。这推广了Bhargava的参数化的四次环与他们的三次预解环在$\mathbb{Z}$通过对整数三元二次型,以及Casnati和Ekedahl的建设Gorenstein四次覆盖的某些秩2家庭的三元二次型。本文给出了由任意一对三元二次型构成的四次代数的一个尺规作图法,证明了这个构造与基变交换,并且与Bhargava在$\mathbb{Z}$上的显式构造一致.
2010-07-30 math.AG math.NT
Isotropic Rank of Harmonic Polynomials
本文研究了调和多项式的各向同性秩,通过分类secant种群的维度,解决了三次形式、二次曲面和单项式的各向同性秩问题,并类比Alexander-Hirschowitz定理。
2025-12-04 math.AC math.AG
Maximum Waring ranks of monomials
我们发现,单项式和两两互质单项式的总和在四个或更多的变量华林秩小于的通用秩,有一个简短的例外。我们渐近比较他们的秩与一般秩。
2014-05-30 math.AG
On Maximum, Typical and Generic Ranks
我们表明,对于几个概念的秩,包括张量秩,华林秩,广义秩相对于一个射影簇,秩的最大值是最多两倍的一般秩。我们证明了在实数上,实秩的最大值至多是最小典型秩的两倍,这等于(复)一般秩。
2014-07-24 cs.CC math.AG
Curvilinear schemes and maximum rank of forms
定义$n+1$变量中的$d$形式$P$的度的\emph{curvilinear rank}为包含在$\mathbb{P}^n$的$d$次Veronese嵌入中的曲线方案的最小长度,其跨度包含$P$的投射类。然后给出了齐次多项式的秩的一个界,这个界依赖于它的曲线秩。
2015-07-06 math.AG
A counterexample to a conjecture on simultaneous Waring identifiability
本文通过计算机辅助程序构造反例,证明在 $d=4$ 时多项式向量的同时 Waring 分解不唯一,推翻了关于同时 Waring 可识别性完全分类的猜想。
2023-04-06 math.AG
Polynomials of small slice rank and strength
本文研究可约多项式簇割簇的定义方程,编码多项式强度与切片秩概念,提出三项贡献:推广 Ruppert 方程至任意变量、基于偏导数合冲构造小强度行列式方程,并证明三次型切片秩二由14变量泛线性截面决定。
2025-09-15 math.AG
Generic Power Sum Decompositions and Bounds for the Waring Rank
开秩的概念,与形式的一般幂和分解有关,最近被引入文献中。这里的主要结果是平面四次线的最大开秩是8。特别地,这给出了$n,d$的第一示例,使得本质上取决于$n$变量的度$d$形式的最大开放秩严格地大于最大秩。一方面,该结果允许改进先前已知的开秩上的界限,但另一方面表明这样的界限可能相当宽松。尽管如此,一些预备结果是独立的利益,仍然可以提供有用的信息,在与问题的最大秩为所有形式的给定程度和数量的变量。例如,我们得到了$d\ge 3$的每一个三次形式都可以被$d-1$的两两独立线性型的乘积零化.
2018-04-09 math.AG
Maximum relative distance between real rank-two and rank-one tensors
证明了秩为2的实对称阶$d$张量到它的最佳秩为1的近似的Frobenius范数相对距离的上界为$\sqrt{1-(1-1/d)^{d-1}}$ .这是通过确定边界秩为2的对称张量的谱范数和Frobenius范数之间的最小可能比率来实现的,该比率等于$\left(1-{1}/{d}\right)^{(d-1)/{2}}$。这些界限也验证了任意实秩两张量减少到对称的情况下。
2022-09-25 math.AG math.OC
Maximum Likelihood Threshold and Generic Completion Rank of Graphs
使得高斯图模型中的最大似然估计以概率1存在的最小观测数称为基础图G的最大似然阈值。自然代数松弛是一般的完成秩由Uhler介绍。我们表明,最大似然阈值和通用的完成秩的行为以同样的方式下团和,这给我们大家庭的图形上,这些不变量相吻合。另一方面,我们确定两个不变量的完全二部图$K_{m,n}$,并表明,对于某些选择的m和n的两个参数可能是相当遥远的。特别是,这给出了最大似然阈值和通用完成等级不一致的图形的第一个例子。
2017-05-23 math.AG math.CO
Maximum Likelihood for Matrices with Rank Constraints
极大似然估计是统计学中的一个基本最优化问题。我们在秩有界的矩阵流形上研究这个问题。这些表示两个独立的离散随机变量的分布的混合。我们确定的最大似然度的范围内的行列式品种,我们应用数值代数几何计算其似然函数的所有临界点。这导致了发现最大似然对偶矩阵之间的互补行列,结果证明随后由Draisma和罗德里格斯。
2013-03-18 math.AG math.OC stat.CO
Effective identifiability criteria for tensors and polynomials
一个张量$T$,在一个给定的张量空间中,被称为$h$ -可识别的,如果它允许一个唯一的分解作为$h$秩1张量的和。如果秩$h$张量集合的稠密开子集满足$h$ -可识别性的准则,则该准则被称为有效的。本文给出了一大类张量的有效的$h$ -可识别性准则。然后,我们改进了这些标准的一些对称张量。例如,这使我们能够给出一套完整的有效的三元五次多项式的可识别性准则。最后,我们在Macaulay 2中实现了我们的可识别性算法。
2017-03-07 cs.CG math.AG
The Quartic Hessian Conjecture in Dimension Four
本文证明了四维情形下的四次Hessian猜想,将其归约为特定形式的多项式,结合三维、二维Hessian猜想及秩分析完成论证。
2026-08-17 cs.AR math.AG
On the maximum rank of a real binary form
本文证明了次数d≥3且根互异的实齐次多项式f(x,y)有d个实根当且仅当对任意非零(a,b),多项式af_x+bf_y有d-1个实根,从而回答了P. Comon和G. Ottaviani提出的问题,并表明秩为d的d次实二元形式轨迹的内部恰好由具有d个实根的形式组成。
2010-06-26 cs.NA math.AG math.NA