[论文解读] On the Behaviour of Stanley Depth under Variable Adjunction

Mihai Cipu, Muhammad Imran Qureshi|arXiv (Cornell University)|Jul 20, 2010

Commutative Algebra and Its Applications参考文献 12被引用 6

一句话总结

本文在添加新变量后，针对两类理想——单个幂次理想与平方自由Veronese理想（度数为2）——建立了多项式环中单项式理想的Stanley深度的新上界。通过使用涉及偏序集分解与区间划分的组合与代数技巧，作者推导出显式的有理函数上界，该上界优于对先前结果的简单迭代应用，尤其在添加多个变量（p ≥ 2）时表现更优。

ABSTRACT

Let $S=K[x_1,...,x_n]$ be a polynomial ring in $n$ variables over the field $K$. For integers $1\leq t< n$ consider the ideal $I=(x_1,...,x_t)\cap(x_{t+1}, ...,x_n)$ in $S$. In this paper we bound from above the Stanley depth of the ideal $I'=(I,x_{n+1},...,x_{n+p})\subset S'=S[x_{n+1},...,x_{n+p}]$. We give similar upper bounds for the Stanley depth of the ideal $(I_{n,2},x_{n+1},...,x_{n+p})$, where $I_{n,2}$ is the square free Veronese ideal of degree 2 in $n$ variables.

研究动机与目标

• 改进添加p个新变量后理想J的Stanley深度sdepth(J)的朴素上界sdepth(J) + p。
• 分析两种特定类别的平方自由单项式理想在添加变量后的Stanley深度行为：I = (x₁,…,xₜ) ∩ (xₜ₊₁,…,xₙ) 与平方自由Veronese理想Iₙ,₂。
• 当p ≥ 2时，利用偏序集划分上的组合优化，推导出sdepth(I′)与sdepth((Iₙ,₂, xₙ₊₁,…,xₙ₊ₚ))的更紧致、显式的上界。
• 提供这些上界优于通过迭代应用Ishak结果所得的一般上界的条件。
• 通过已知结果与新分析，确认扩展的Veronese理想(Iₙ,₂, xₙ₊₁,…,xₙ₊ₚ)满足Stanley猜想。

提出的方法

• 通过P_I′的区间划分构造S′ = S[xₙ₊₁,…,xₙ₊ₚ]中扩展理想I′ = (I, xₙ₊₁,…,xₙ₊ₚ)的Stanley分解。
• 使用公式sdepth(I′) ≤ 2 + [Δ] / [Ω]，其中Δ与Ω为涉及n、t、p的二项式系数及2-和3-元素子集组合计数的有理函数。
• 应用优化技术以最小化分母并最大化分子，从而获得更紧的估计。
• 引入辅助函数f₄、g₄、D、h₁、h₂及判别式，分析不等式L ≤ U，其中L为sdepth的下界，U为推导出的上界。
• 使用计算机辅助代数将表达式h = g₄²D - f₄²因式分解为4p³h₁h₂，并分析h₁与h₂的符号以确定h ≥ 0的条件。
• 证明对所有允许的t有h₁ < 0，从而将条件h ≥ 0简化为h₂ ≤ 0，最终得到以t₃与t₄表示的上界。

实验结果

研究问题

• RQ1 当I = (x₁,…,xₜ) ∩ (xₜ₊₁,…,xₙ)且p ≥ 2时，理想(I, xₙ₊₁,…,xₙ₊ₚ)的Stanley深度的最紧可能上界是什么？
• RQ2 当添加p ≥ 2个新变量时，平方自由Veronese理想Iₙ,₂的Stanley深度如何变化？
• RQ3 当p ≥ 2时，sdepth(I′)的上界能否优于朴素上界sdepth(I) + p？
• RQ4 在t、n与p满足何种条件下，定理2.3中的改进上界会比定理2.1中的一般上界更紧？
• RQ5 添加多个变量后，Stanley猜想是否对理想(Iₙ,₂, xₙ₊₁,…,xₙ₊ₚ)成立？

主要发现

• 本文为sdepth(I′)建立了显式上界，其中I′ = (I, xₙ₊₁,…,xₙ₊ₚ)，I = (x₁,…,xₜ) ∩ (xₜ₊₁,…,xₙ)，表达式为：sdepth(I′) ≤ 2 + [binomial(n,3) - binomial(t,3) - binomial(n-t,3) + p·binomial(n,2) + n·binomial(p,2) + binomial(p,3)] / [t(n-t) + np - p(n+2)/4]。
• 对于平方自由Veronese理想Iₙ,₂，其上界为：sdepth((Iₙ,₂, xₙ₊₁,…,xₙ₊ₚ)) ≤ 2 + binomial(n+p,3) / [binomial(n,2) + np - p - (p/2)·floor(binomial(n,3)/binomial(n,2))]。
• 当对t、n与p施加额外约束时，定理2.3中的上界变得更紧，条件为t ∈ [tₗ, tᵤ]，其中tₗ与tᵤ通过涉及n与p的二次公式定义。
• 作者证明，当且仅当t₃ ≤ t ≤ t₄时，改进的上界成立，其中t₃与t₄为由h₂ ≤ 0导出的关于t的二次方程的实根。
• 分析表明，当t接近n/2时，该上界显著优于朴素上界sdepth(I) + p（尤其在p ≥ 2时）。
• 通过命题3.8确认，Stanley猜想对理想(Iₙ,₂, xₙ₊₁,…,xₙ₊ₚ)成立，该命题指出此类理想满足sdepth(I′) ≥ depth(I′)。