2025-11-30T16:55:18.842927

Differential equations for the series of hypermaps with control on their full degree profile

Dali
We consider the generating series of oriented and non-oriented hypermaps with controlled degrees of vertices, hyperedges and faces. It is well known that these series have natural expansions in terms of Schur and Zonal symmetric functions, and with some particular specializations, they satisfy the celebrated KP and BKP equations. We prove that the full generating series of hypermaps satisfy a family of differential equations. We give a first proof which works for an $α$ deformation of these series related to Jack polynomials. This proof is based on a recent construction formula for Jack characters using differential operators. We also provide a combinatorial proof for the orientable case. Our approach also applies to the series of $k$-constellations with control of the degrees of vertices of all colors. In other words, we obtain an equation for the generating function of Hurwitz numbers (and their $α$-deformations) with control of full ramification profiles above an arbitrary number of points. Such equations are new even in the orientable case.
academic

Differential equations for the series of hypermaps with control on their full degree profile

基本信息

  • 论文ID: 2402.14668
  • 标题: Differential equations for the series of hypermaps with control on their full degree profile
  • 作者: Houcine Ben Dali
  • 分类: math.CO (组合数学), math-ph (数学物理), math.MP (数学物理)
  • 发表时间: 2024年2月 (arXiv v2: 2025年11月)
  • 论文链接: https://arxiv.org/abs/2402.14668

摘要

本文研究具有受控顶点、超边和面度数的定向和非定向超地图(hypermaps)的生成级数。这些级数在Schur和Zonal对称函数方面具有自然展开，并在特定特化下满足著名的KP和BKP方程。作者证明了超地图的完整生成级数满足一族微分方程，首先给出了与Jack多项式相关的α变形级数的证明(基于Jack特征标的微分算子构造公式)，并为可定向情形提供了组合证明。该方法也适用于具有所有颜色顶点度数控制的k-星座级数，即获得了Hurwitz数(及其α变形)在任意点数上具有完整分歧轮廓控制的生成函数方程——这些方程即使在可定向情形也是全新的。

研究背景与动机

1. 核心问题

本文要解决的核心问题是：建立超地图完整生成级数(保留所有三个字母表p, q, r而不做特化)所满足的微分方程。

2. 问题的重要性

  • 组合意义：超地图是图在曲面上的嵌入，在代数组合学、概率论和物理学中广泛出现
  • 理论价值：生成级数的微分方程揭示了组合结构的深层性质
  • 应用前景：与Hurwitz数、分歧覆盖理论、矩阵积分等领域密切相关
  • 未解决难题：Goulden-Jackson的Matching-Jack猜想和b-猜想等重要开放问题

3. 现有方法的局限性

已知结果的限制：

  • 单字母特化：当保留一个字母表p，将q和r替换为变量u和v时，级数满足KP/BKP层次(可积系统)
  • 双字母特化：保留两个字母表时，满足2-Toda层次相关的微分方程和分解方程
  • 三字母完整情形：传统的Tutte分解方法不适用，此前没有已知的微分方程

4. 研究动机

  • 理论突破：首次为完整的三字母表超地图级数建立微分方程
  • 统一框架：通过α参数统一定向(α=1)和非定向(α=2)情形
  • 新工具：利用Chapuy-Dołęga引入的微分算子B_n^(α)和Jack特征标的新构造
  • 推广应用：方法可推广到k-星座和Hurwitz数

核心贡献

  1. 主要定理(Theorem 1.5)：证明了超地图生成级数G^(α)(t,p,q,r)满足微分方程： (B∞(α)(−t,q,u)+B∞(α)(−t,r,u))⋅G(α)=B∞(α)⊥(−t,p,u)⋅G(α)\left(B_\infty^{(\alpha)}(-t,q,u) + B_\infty^{(\alpha)}(-t,r,u)\right) \cdot G^{(\alpha)} = B_\infty^{(\alpha)\perp}(-t,p,u) \cdot G^{(\alpha)}
  2. 交换关系形式(Theorem 1.6)：给出了等价的算子交换关系，将G^(α)视为从Q(α)p到Q(α)[q,r][[t,u]]的算子
  3. 组合证明：为α=1(可定向情形)提供了基于pre-hypermaps的组合解释和直接组合证明
  4. 显式解(Theorem 6.1)：通过求解微分方程，给出了结构系数g_{μ,ν}^π(α)的递归公式： gμ,νλ=(−1)∣μ∣+∣ν∣−∣λ∣∑m≥0(−1)m∑∣λ∣<∣π1∣<⋯<∣πm∣aπ1λaπ2π1⋯aπmπm−1dμ,νπmg_{\mu,\nu}^\lambda = (-1)^{|\mu|+|\nu|-|\lambda|}\sum_{m\geq 0}(-1)^m\sum_{|\lambda|<|\pi_1|<\cdots<|\pi_m|}a_{\pi_1}^\lambda a_{\pi_2}^{\pi_1}\cdots a_{\pi_m}^{\pi_{m-1}}d_{\mu,\nu}^{\pi_m}
  5. 低阶项公式(Theorem 1.7)：给出了算子G_0^(α), G_1^(α), G_2^(α)的显式微分表达式，证明了Śniady猜想(Conjecture 1)在|π| ≥ |μ|+|ν|-2时成立
  6. 推广到k-星座(Theorem 4.4)：将微分方程推广到k+2个字母表，应用于Hurwitz数的完整分歧轮廓
  7. 连通级数方程(Theorem 7.5)：导出了连通超地图级数Ĝ^(α) = α·log(G^(α))的微分方程
  8. 整性结果(Corollary 3.6)：证明了系数g_{μ,ν}^π是b=α-1的整系数多项式

方法详解

任务定义

输入：三个整数分拆π, μ, ν 输出：结构系数g_{μ,ν}^π(α)，定义为Jack特征标的乘积展开系数： θμ(α)θν(α)=∑πgμ,νπ(α)θπ(α)\theta_\mu^{(\alpha)}\theta_\nu^{(\alpha)} = \sum_\pi g_{\mu,\nu}^\pi(\alpha)\theta_\pi^{(\alpha)}

核心对象：生成级数 G(α)(t,p,q,r):=∑π,μ,νgμ,νπ(α)zπαℓ(π)t∣μ∣+∣ν∣−∣π∣pπqμrνG^{(\alpha)}(t,p,q,r) := \sum_{\pi,\mu,\nu}\frac{g_{\mu,\nu}^\pi(\alpha)}{z_\pi\alpha^{\ell(\pi)}}t^{|\mu|+|\nu|-|\pi|}p^\pi q^\mu r^\nu

核心技术框架

1. Jack特征标的微分构造

Jack特征标θ_μ^(α)是移位对称函数，满足：

  • 度数为|μ|
  • 在|λ|<|μ|时θ_μ^(α)(λ)=0
  • 顶部齐次部分为α^{|μ|-ℓ(μ)}/z_μ · p_μ

关键定理(Theorem 1.3, BDD23)： θμ(α)(λ)=[t∣μ∣pμ]exp⁡(B∞(α)(−t,p,−αλ1))⋯exp⁡(B∞(α)(−t,p,−αλs))⋅1\theta_\mu^{(\alpha)}(\lambda) = [t^{|\mu|}p^\mu]\exp\left(B_\infty^{(\alpha)}(-t,p,-\alpha\lambda_1)\right)\cdots\exp\left(B_\infty^{(\alpha)}(-t,p,-\alpha\lambda_s)\right)\cdot 1

其中B_∞^(α)是由催化算子定义的微分算子。

2. 偏斜Jack特征标

定义偏斜特征标θ_{μ/ν}^(α)(v)通过展开： θμ(α)(v,u1,u2,…)=∑νθμ/ν(α)(v)θν(α)(u1,u2,…)\theta_\mu^{(\alpha)}(v,u_1,u_2,\ldots) = \sum_\nu \theta_{μ/ν}^{(\alpha)}(v)\theta_\nu^{(\alpha)}(u_1,u_2,\ldots)

关键命题(Proposition 4.3)： θμ/ν(α)(v)=[t∣μ∣−∣ν∣pμ]exp⁡(B∞(α)(−t,p,−αv))⋅pν\theta_{μ/ν}^{(\alpha)}(v) = [t^{|\mu|-|\nu|}p^\mu]\exp\left(B_\infty^{(\alpha)}(-t,p,-\alpha v)\right)\cdot p^\nu

3. 主定理的证明策略

步骤1：利用Proposition 4.3和Lemma 4.2(结构系数的关系)，建立： exp⁡(B∞(α)(−t,q,−αv)+B∞(α)(−t,r,−αv))⋅G(α)=exp⁡(B∞(α)⊥(−t,p,−αv))⋅G(α)\exp\left(B_\infty^{(\alpha)}(-t,q,-\alpha v) + B_\infty^{(\alpha)}(-t,r,-\alpha v)\right)\cdot G^{(\alpha)} = \exp\left(B_\infty^{(\alpha)\perp}(-t,p,-\alpha v)\right)\cdot G^{(\alpha)}

步骤2：证明算子可交换性，从而可以"取对数"： (B∞(α)(−t,q,−αv)+B∞(α)(−t,r,−αv))⋅G(α)=B∞(α)⊥(−t,p,−αv)⋅G(α)\left(B_\infty^{(\alpha)}(-t,q,-\alpha v) + B_\infty^{(\alpha)}(-t,r,-\alpha v)\right)\cdot G^{(\alpha)} = B_\infty^{(\alpha)\perp}(-t,p,-\alpha v)\cdot G^{(\alpha)}

步骤3：替换v → -u/α得到最终方程

技术创新点

1. 与已有方法的区别

  • 传统方法：依赖表示论工具(Schur/Zonal函数展开)，难以推广到加权情形
  • 本文方法：纯微分算子方法，更灵活且适用于α变形

2. 组合解释的创新

Pre-hypermaps概念：

  • 顶点染为黑白两色
  • 面染为(+)和(−)两色
  • 白色顶点度数≤2
  • 度数为2的白色顶点必须关联不同颜色的面

关键观察：超地图可视为pre-hypermap的特殊情形(所有白色顶点度数为2)

边的类型分类：

  • Type 1边：在(+)面侧，沿直接方向先看到白色顶点再看到黑色顶点
  • Type 2边：相反顺序

组合证明核心：证明算子C_ℓ^(α)和G^(α)在边操作上的交换性

3. 求解微分方程的创新

递归结构：通过提取不同次数项，建立递归关系： dμ,νλ=(−1)∣λ∣gμ,νλ+∑∣λ∣<∣κ∣≤∣μ∣+∣ν∣(−1)∣κ∣aκλgμ,νκd_{\mu,\nu}^\lambda = (-1)^{|\lambda|}g_{\mu,\nu}^\lambda + \sum_{|\lambda|<|\kappa|\leq|\mu|+|\nu|}(-1)^{|\kappa|}a_\kappa^\lambda g_{\mu,\nu}^\kappa

其中系数a_ξ^λ和d_{μ,ν}^λ由算子C_ℓ^(α)定义，具有组合意义(layered maps)

实验设置

注：本文为纯理论数学论文，不涉及传统意义上的实验。以下描述其理论验证和应用：

理论验证

1. 特殊情形验证

  • α=1情形：通过Proposition 1.4验证G^(1)与定向超地图生成级数H̃^(1)一致
  • α=2情形：验证G^(2)与非定向超地图生成级数H̃^(2)一致
  • 已知结果对比：与Goulden-Jackson的τ^(α)级数(Theorem 3.2)建立联系

2. 一致性检验

  • 初始条件：g_{∅,∅}^∅(α)=1 (Remark 1)
  • 消失性质：g_{μ,ν}^π=0当max(|μ|,|ν|)>|π|或|π|>|μ|+|ν| (Lemma 3.1)
  • 对称性：级数在p,q,r三个字母表中的对称性

3. 低阶项计算

通过Theorem 1.7给出的显式公式，可以计算：

  • G_0^(α) = Ψ (颜色选择算子)
  • G_1^(α)的具体微分表达式
  • G_2^(α)的具体微分表达式(涉及b的多项式)

应用案例

1. Matching-Jack猜想

利用Proposition 3.5建立g_{μ,ν}^π与c_{μ,ν}^π(Matching-Jack系数)的关系： ∑i=0m1(π)(m1(π)i)gμ,νπ~∪1i=(m1(μ)+n−∣μ∣m1(μ))(m1(ν)+n−∣ν∣m1(ν))cμ∪1n−∣μ∣,ν∪1n−∣ν∣π\sum_{i=0}^{m_1(\pi)}\binom{m_1(\pi)}{i}g_{\mu,\nu}^{\tilde{\pi}\cup 1^i} = \binom{m_1(\mu)+n-|\mu|}{m_1(\mu)}\binom{m_1(\nu)+n-|\nu|}{m_1(\nu)}c_{\mu\cup 1^{n-|\mu|},\nu\cup 1^{n-|\nu|}}^\pi

2. Śniady猜想的部分证明

Corollary 1.8：对|π| ≥ |μ|+|ν|-2的情形，g_{μ,ν}^π是b的非负整系数多项式

证明策略：

  • 利用Theorem 1.7的显式公式
  • 验证每一项的非负性
  • 结合Corollary 3.6的整性结果

实验结果

主要理论结果

1. 微分方程的建立

**主定理(Theorem 1.5)**成功建立了三字母表情形的微分方程，这是首次突破。

等价形式：

  • 方程形式(Eq. 6)：作用在级数上
  • 交换关系形式(Eq. 7, Theorem 1.6)：算子交换关系
  • 族方程形式(Eq. 28)：提取u^ℓ系数后的无穷族方程

2. 显式解的性质

通过Theorem 6.1的递归公式：

计算复杂度：

  • 依赖于|μ|+|ν|-|π|的大小
  • 涉及中间分拆π_1,...,π_m的求和
  • 系数a和d具有组合意义，可独立计算

代数性质：

  • g_{μ,ν}^π是α-1的整系数多项式(Corollary 3.6)
  • 度数上界：deg(g_{μ,ν}^π) ≤ 2+|μ|-ℓ(μ)+|ν|-ℓ(ν)-(|π|+ℓ(π)) (Corollary 7.3)

3. 低阶项的显式公式

G_0^(α)算子： G0(α)=Ψ=∏1≤i≤ℓ(π)(qπi+rπi)G_0^{(\alpha)} = \Psi = \prod_{1\leq i\leq\ell(\pi)}(q_{\pi_i}+r_{\pi_i}) 组合意义：为每个面选择颜色(+)或(−)

G_1^(α)算子： G1(α)=∑m≥1∑m1+m2=m+1m1,m2≥1qm1rm2⋅Ψ⋅m∂∂pmG_1^{(\alpha)} = \sum_{m\geq 1}\sum_{\substack{m_1+m_2=m+1\\m_1,m_2\geq 1}}q_{m_1}r_{m_2}\cdot\Psi\cdot m\frac{\partial}{\partial p_m} 组合意义：添加一条边

G_2^(α)算子：包含四项(Eq. 11)

  • b(m_1-1)(m_2-1)项：非定向贡献
  • (m_1-1)项：单边贡献
  • αmin(...)项：双顶点贡献
  • 乘积项：独立边操作

消融分析

1. 各组件的贡献

微分算子B_n^(α)的作用：

  • 提供了Jack特征标的构造工具
  • 编码了地图的添加边操作
  • 催化变量技术简化了计算

偏斜特征标的作用：

  • 桥接了结构系数和微分算子
  • Lemma 4.2建立了关键的代数关系

对偶算子的作用：

  • B_∞^⊥提供了方程右侧的表达
  • 与左侧算子的交换性是关键

2. α参数的作用

  • α=1：对应定向地图，具有清晰的组合解释
  • α=2：对应非定向地图
  • 一般α：插值作用，揭示了底层的代数结构
  • b=α-1：作为变形参数，与非定向性权重相关

理论发现

1. 代数-组合对应

建立了代数对象(Jack特征标)和组合对象(超地图)之间的深层联系： 结构系数↔超地图计数↔微分方程\text{结构系数} \leftrightarrow \text{超地图计数} \leftrightarrow \text{微分方程}

2. 层次结构

揭示了不同特化层次的关系：

  • 三字母表(本文) → 双字母表(2-Toda层次) → 单字母表(KP/BKP层次)
  • 每层都有相应的微分方程刻画

3. 普遍性

方法的普遍性体现在：

  • 适用于k-星座(任意k)
  • 适用于Hurwitz数的完整分歧轮廓
  • 可能推广到其他组合结构

相关工作

1. 超地图枚举理论

经典结果：

  • Cori Cor75：超地图的引入
  • Walsh Wal75：与二部地图的对偶关系
  • Jackson-Visentin JV90：表示论方法(α=1)
  • Goulden-Jackson GJ96a,GJ96b：Jack多项式展开(α=2)

本文优势：首次处理完整的三字母表情形，不依赖特化

2. 可积系统与地图

已知联系：

  • KP层次：单字母表特化KMM+91, vdL01
  • BKP层次：非定向情形
  • 2-Toda层次：双字母表AvM01, BMS02, EO07

本文贡献：建立三字母表情形的微分方程，完善了层次结构

3. Jack多项式与组合学

理论基础：

  • Jack Jac70：Jack多项式的定义
  • Stanley Sta89, Knop-Sahi KS97：组合性质
  • Lassalle Las08：Jack特征标

本文应用：

  • 利用BDD23的Jack特征标微分构造
  • 推进Matching-Jack猜想的研究

4. Hurwitz数理论

背景：

  • Hurwitz数计数分歧覆盖
  • 与地图枚举的深刻联系LZ04
  • 非定向情形CD22

本文推广：Theorem 4.4将方法推广到k-星座，获得完整分歧轮廓控制的方程

5. 相关猜想

Goulden-Jackson猜想：

  • Matching-Jack猜想(Conjecture 2)：c_{μ,ν}^π的正性和整性
  • b-猜想(hypermap-Jack)：h_{μ,ν}^π的组合解释

Śniady猜想(Conjecture 1)：g_{μ,ν}^π是b的非负整系数多项式

本文进展：

  • 证明整性(Corollary 3.6)
  • 部分证明正性(Corollary 1.8，|π| ≥ |μ|+|ν|-2)

结论与讨论

主要结论

  1. 核心定理：超地图完整生成级数G^(α)(t,p,q,r)满足微分方程(Theorem 1.5)，该方程刻画了Jack特征标结构系数的递归结构
  2. 显式解：给出了结构系数g_{μ,ν}^π(α)的递归公式(Theorem 6.1)和低阶项的显式表达式(Theorem 1.7)
  3. 组合解释：为α=1情形提供了基于pre-hypermaps的组合证明，揭示了微分算子的组合意义
  4. 推广应用：方法推广到k-星座和Hurwitz数的完整分歧轮廓(Theorem 4.4)
  5. 猜想进展：证明了Śniady猜想的整性部分(Corollary 3.6)和低阶情形的正性(Corollary 1.8)

局限性

1. 正性问题未完全解决

  • Śniady猜想(Conjecture 1)的正性部分仍然开放
  • 仅证明了|π| ≥ |μ|+|ν|-2的情形
  • 递归公式(Theorem 6.1)涉及符号交替求和，不直接显示正性

2. 组合解释的限制

  • 完整的组合证明仅对α=1给出
  • α=2和一般α的组合意义需要"非定向性权重"的精确定义
  • Pre-hypermaps的构造依赖于可定向性假设

3. 计算复杂度

  • 递归公式涉及指数级的中间分拨求和
  • 高阶算子G_k^(α)(k>2)的显式公式计算量大
  • 缺乏有效的算法实现

4. 理论完备性

  • 连通级数Ĝ^(α)的微分方程(Theorem 7.5)形式复杂，难以直接应用
  • 与其他可积系统的关系未完全阐明
  • 微分方程的唯一性和完备性需要进一步研究

未来方向

1. 完成Śniady猜想

作者指出："We hope that a better understanding of the differential structure of the operator B_∞^(α) could allow one to generalize Theorem 1.7 in order to obtain a differential formula of G_k^(α) for any k."

具体方向：

  • 寻找G_k^(α)的统一微分表达式
  • 证明每一项的正性
  • 建立与layered maps的直接对应

2. 推广组合解释

  • 为α=2和一般α建立完整的组合模型
  • 精确定义"非定向性权重"统计量ϑ
  • 探索pre-hypermaps的推广

3. 算法与计算

  • 开发高效计算g_{μ,ν}^π的算法
  • 实现微分方程的数值求解
  • 建立计算机代数系统的接口

4. 理论深化

  • 研究与量子可积系统的联系
  • 探索与拓扑递归的关系
  • 推广到更一般的对称函数基

5. 应用拓展

  • 应用于随机分拆的渐近分析
  • 研究与矩阵积分的联系
  • 探索物理应用(统计力学、量子场论)

深度评价

优点

1. 突破性贡献

  • 首次结果：建立了三字母表超地图级数的微分方程，解决了长期开放问题
  • 理论深度：巧妙结合了Jack多项式理论、微分算子方法和组合学
  • 方法创新：偏斜Jack特征标的引入和使用是关键创新

2. 技术严谨性

  • 证明完整：主定理提供了代数证明(Section 4)和组合证明(Section 5)
  • 细节充分：催化算子的微分表达式(Appendix A)、对偶算子的计算等都有详细推导
  • 一致性检验：与已知结果(α=1,2)的对比验证了正确性

3. 结构清晰

  • 逻辑连贯：从背景介绍→主定理→证明→应用→推广，层次分明
  • 概念明确：pre-hypermaps、边类型等新概念定义清晰
  • 表述专业：使用标准数学记号，区分级数(H,G)和算子(B,C,G)

4. 影响深远

  • 理论价值：推进了多个重要猜想(Matching-Jack, Śniady)
  • 方法论贡献：微分算子方法可能适用于其他组合结构
  • 跨领域联系：连接了组合学、表示论、可积系统、代数几何

不足

1. 可读性挑战

  • 技术密度高：需要Jack多项式、移位对称函数、催化算子等多个专业背景
  • 符号繁重：大量上下标、多层求和、催化变量等增加阅读难度
  • 组合直觉不足：代数证明虽严谨但缺乏几何或组合直觉

2. 计算实用性

  • 显式公式有限：仅给出G_0, G_1, G_2的公式，高阶项未知
  • 递归效率低：Theorem 6.1的递归涉及指数级求和
  • 数值验证缺失：没有提供具体数值例子验证公式

3. 组合解释的局限

  • 仅限α=1：组合证明(Section 5)只对定向情形有效
  • pre-hypermaps的动机：虽然技术上有效，但引入的动机不够自然
  • 边类型分类：Type 1/Type 2边的定义依赖于方向，推广性受限

4. 开放问题

  • 正性未解决：Śniady猜想的核心(正性)仍然开放
  • 唯一性问题：微分方程是否完全刻画级数？
  • 最优性问题：是否存在更简洁的微分方程形式？

影响力

1. 对领域的贡献

  • 组合数学：为超地图枚举提供了新工具和视角
  • 表示论：深化了Jack多项式和特征标的理解
  • 可积系统：扩展了KP/BKP层次的研究范围
  • 代数几何：与Hurwitz数和分歧覆盖理论的联系

2. 实用价值

  • 理论工具：微分方程可用于计算和渐近分析
  • 算法基础：递归公式为算法实现提供了基础
  • 猜想检验：可用于数值验证Goulden-Jackson猜想

3. 可复现性

  • 理论可验证：证明步骤清晰，可由专业读者验证
  • 特殊情形可计算：低阶项公式可手工或计算机验证
  • 代码实现挑战：催化算子的实现需要符号计算系统

适用场景

1. 理论研究

  • 研究Jack多项式的组合性质
  • 探索对称函数的结构系数
  • 分析地图和曲面的枚举问题

2. 相关猜想

  • 验证和推进Matching-Jack猜想
  • 研究Śniady猜想和b-猜想
  • 探索其他组合猜想

3. 渐近分析

  • 研究大Young图的渐近行为
  • 分析随机分拆的极限形状
  • 应用于统计物理模型

4. 推广应用

  • k-星座和多色地图
  • Hurwitz数和分歧覆盖
  • 其他组合结构的生成函数

参考文献

本文引用了42篇重要文献，以下列举关键的几篇：

  1. BDD23 Ben Dali & Dołęga (2023): Jack特征标的正公式和微分构造——本文的核心技术基础
  2. CD22 Chapuy & Dołęga (2022): 非定向分歧覆盖和b-Hurwitz数——引入算子B_n^(α)和非定向地图理论
  3. GJ96a,GJ96b Goulden & Jackson (1996): Matching-Jack猜想和超地图枚举——问题的起源
  4. DF16 Dołęga & Féray (2016): Jack特征标的高斯涨落——证明了g_{μ,ν}^π的多项式性
  5. Las08 Lassalle (2008): Jack特征标的引入——理论框架
  6. Mac95 Macdonald (1995): 对称函数和Hall多项式——Jack多项式的标准参考
  7. Śni19 Śniady (2019): Jack特征标的渐近性——提出Conjecture 1

总结：这是一篇高质量的理论数学论文，在超地图枚举和Jack多项式理论的交叉领域做出了重要突破。主要成就是建立了完整三字母表情形的微分方程，并给出了显式解。虽然某些开放问题(如正性)仍未解决，但论文提供的工具和方法为未来研究奠定了坚实基础。对于组合数学、表示论和可积系统领域的研究者，这是一篇值得深入研读的重要文献。