[论文解读] Extremal Sparse Polynomial Systems Over Local Fields

J. Maurice Rojas|arXiv (Cornell University)|Nov 18, 2010

Polynomial and algebraic computation参考文献 24被引用 1

一句话总结

本文在局部域上，针对仅由 n 和 k 参数化的稀疏多项式组，建立了非退化根数量的猜想性紧致上下界，其中 k 表示超出 n 个的相异指数向量的数量。论文引入了新颖的极值系统，并利用 R^{n+1} 中 n 个三角形的闵可夫斯基和，实现了最多数量的混合面，从而在 k−1≤n 时，首次为非阿基米德局部域提供了非平凡的下界，并为 k=2 且 n≥1 的情况提供了显式构造。

ABSTRACT

Consider a system F of n polynomials in n variables, with a total of n + k distinct exponent vectors, over any local field L. We discuss conjecturally tight upper and lower bounds on the maximal number of non-degenerate roots F can have over L, with all coordinates having fixed sign or fixed first digit, as a function of n and k only. In particular, for non-Archimedean L, we give the first non-trivial lower bounds in the case k − 1≤n; and for general L we give new explicit extremal systems for k=2 and n≥1. A key tool in our proofs is the construction of n triangles in R n+1 with Minkowski sum having maximally many mixed facets.

研究动机与目标

• 确定稀疏多项式组在局部域上非退化根数量的紧致上下界。
• 通过在 k−1≤n 时提供首个非平凡下界，解决非阿基米德局部域的情形。
• 为一般局部域在 k=2 且 n≥1 时构造显式极值系统。
• 探索 R^{n+1} 中 n 个三角形的闵可夫斯基和的混合面几何结构，作为根数界估计的工具。

提出的方法

• 构造 R^{n+1} 中的 n 个三角形，使其闵可夫斯基和达到最大可能数量的混合面。
• 利用混合剖分与混合体积的组合几何分析稀疏多项式组的结构。
• 应用热带几何与 p 进分析技术，研究局部域中具有固定符号或首位数字的根。
• 通过将闵可夫斯基和中混合面的数量与非退化解的数量关联，建立根数的界。
• 利用具有恰好 n+k 个相异单项式的指数构型结构，推导出仅依赖于 n 和 k 的通用界。
• 对阿基米德与非阿基米德局部域上的系统进行分析，统一不同域类型下的极值行为。

实验结果

研究问题

• RQ1 在局部域上，对于具有 n 个变量和 n+k 个相异指数向量的 n 个多项式方程组，在固定符号或首位数字约束下，其非退化根的最大数量是多少？
• RQ2 根数的界如何仅依赖于 n 和 k？能否使其成为猜想性紧致的？
• RQ3 当 k−1≤n 时，能否为非阿基米德局部域建立非平凡的下界？
• RQ4 在任意局部域上，对于 k=2 和一般 n≥1，存在哪些显式极值系统？
• RQ5 R^{n+1} 中 n 个三角形的闵可夫斯基和中混合面的数量，如何与对应多项式组的非退化解数量相关联？

主要发现

• 本文在 k−1≤n 时，首次为非阿基米德局部域提供了非退化根数量的非平凡下界。
• 对于 k=2 且任意 n≥1，作者在一般局部域上构造了显式极值多项式系统，其根数达到猜想的最大值。
• 在给定约束下，R^{n+1} 中 n 个三角形的闵可夫斯基和的混合面数量被最大化，直接将组合几何与根计数联系起来。
• 在固定符号或首位数字条件下，非退化根的最大数量仅依赖于 n 和 k。
• 极值系统的构造依赖于热带几何中混合剖分与解数之间的精确对应关系。
• 结果表明，根数的界是猜想性紧致的，且闵可夫斯基和构造实现了混合面数量的理论最大值。