英文标题：When Finite Free Curves Split
作者：Baran Hashemi, Jihoon Hyun
arXiv ID：2609.10367 | 分类：math.AG | 发表：2026-09-09
许可：CC-BY
摘要。 我们刻画了有限自由Stam不等式与熵幂不等式中的等号成立条件，证明Hermite多项式是简单实根输入中唯一的极值情形，至多相差独立的平移与伸缩。该证明将这一分类转化为射影平面曲线的刚性问题。利用双曲性与Helton-Vinnikov定理，我们将Jacobian亏量表示为定号对称束中的非对角平方范数。结合得分输运，这给出了对所有实根输入的Stam不等式的矩阵证明。对于每个简单基对，亏量消失的方向恰为独立平移与公共伸缩，在每一阶数中构成一个三维子空间，其曲线分裂为{{PT_MATH_1}}条射影直线。在碰撞处，主导构型再次是碰撞输入簇的速度多项式的归一化导数的有限自由卷积。结合关联计数，该
We characterize equality in the finite free Stam and entropy-power inequalities, proving that Hermite polynomials are the unique extremizers among simple real-rooted inputs, up to independent translations and scalings. The proof turns this classification into a rigidity problem for projective plane curves. Using hyperbolicity and the Helton-Vinnikov theorem, we express the Jacobian defect as an off-diagonal squared norm in a definite symmetric pencil. Together with score transport, this yields a matrix proof of Stam for all real-rooted inputs. For each simple base pair, the directions in which the defect vanishes are the independent translations and common dilation, forming a three-dimensional subspace in every degree whose curves split into $n$ projective lines. At a collision, the leading configurations are again finite free convolutions of normalized derivatives of the velocity polynomials of the colliding input clusters. Combined with incidence counting, this local formula shows that at most one real fiber is singular, every real singularity is an ordinary totally real multiple point, and the ordered collision multiplicities determine the real normalization covering. For $n\geq3$, every non-split curve has at least $2n-2$ non-real projective discriminant zeros, counted with multiplicity, with equality attained by irreducible curves of geometric genus zero through every simple input pair. The leading Fisher-information coefficient is determined by the colliding tangent configurations, while the finite entropy term retains the gaps between clusters. For $n\geq3$, maximal logarithmic entropy divergence along the optimally weighted score direction is equivalent to Stam equality.
查看完整双语翻译 →
正在跳转到翻译阅读页… 如果没有自动跳转，请点击这里。