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

Basic Information

• Paper ID: 2402.14668
• Title: Differential equations for the series of hypermaps with control on their full degree profile
• Author: Houcine Ben Dali
• Classification: math.CO (Combinatorics), math-ph (Mathematical Physics), math.MP (Mathematical Physics)
• Publication Date: February 2024 (arXiv v2: November 2025)
• Paper Link: https://arxiv.org/abs/2402.14668

Abstract

This paper investigates generating series for oriented and non-oriented hypermaps with controlled vertex, hyperedge, and face degree profiles. These series admit natural expansions in terms of Schur and Zonal symmetric functions, and satisfy the celebrated KP and BKP equations under specific specializations. The author proves that the complete generating series of hypermaps satisfies a family of differential equations, first providing a proof for α-deformed series related to Jack polynomials (based on differential operator construction formulas for Jack characters), and providing a combinatorial proof for the orientable case. The method also applies to k-constellations with all colored vertex degree controls, yielding generating function equations for Hurwitz numbers (and their α-deformations) with complete branching profile control at arbitrary point counts—equations that are entirely new even in the orientable case.

Research Background and Motivation

1. Core Problem

The core problem addressed in this paper is: establishing differential equations satisfied by the complete generating series of hypermaps (retaining all three alphabets p, q, r without specialization).

2. Problem Significance

• Combinatorial Significance: Hypermaps are embeddings of graphs on surfaces, appearing widely in algebraic combinatorics, probability theory, and physics
• Theoretical Value: Differential equations for generating series reveal deep properties of combinatorial structures
• Application Prospects: Close connections to Hurwitz numbers, branched covering theory, matrix integrals, and related fields
• Unresolved Challenges: Important open problems including the Goulden-Jackson Matching-Jack conjecture and b-conjecture

3. Limitations of Existing Methods

Restrictions of known results:

• Single-letter Specialization: When retaining one alphabet p and replacing q and r with variables u and v, the series satisfies the KP/BKP hierarchy (integrable systems)
• Two-letter Specialization: When retaining two alphabets, the series satisfies differential equations and factorization relations related to the 2-Toda hierarchy
• Three-letter Complete Case: Traditional Tutte decomposition methods do not apply; no known differential equations existed previously

4. Research Motivation

• Theoretical Breakthrough: First establishment of differential equations for complete three-alphabet hypermap series
• Unified Framework: Unification of orientable (α=1) and non-orientable (α=2) cases through the α parameter
• New Tools: Utilization of differential operators B_n^(α) introduced by Chapuy-Dołęga and new constructions of Jack characters
• Generalization Applications: Methods extend to k-constellations and Hurwitz numbers

Core Contributions

1. Main Theorem (Theorem 1.5): Proves that the hypermap generating series G^(α)(t,p,q,r) satisfies the differential equation: $\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. Commutation Relation Form (Theorem 1.6): Provides equivalent operator commutation relations, viewing G^(α) as an operator from Q(α)p to Q(α)[q,r][[t,u]]
3. Combinatorial Proof: Provides a combinatorial interpretation and direct combinatorial proof for α=1 (orientable case) based on pre-hypermaps
4. Explicit Solution (Theorem 6.1): By solving the differential equation, provides a recursive formula for structure coefficients g_{μ,ν}^π(α): $g_{\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. Low-order Term Formulas (Theorem 1.7): Provides explicit differential expressions for operators G_0^(α), G_1^(α), G_2^(α), proving Śniady's conjecture (Conjecture 1) for |π| ≥ |μ|+|ν|-2
6. Generalization to k-Constellations (Theorem 4.4): Extends the differential equation to k+2 alphabets, with applications to complete branching profiles of Hurwitz numbers
7. Connected Series Equation (Theorem 7.5): Derives differential equations for the connected hypermap series Ĝ^(α) = α·log(G^(α))
8. Integrality Results (Corollary 3.6): Proves that coefficients g_{μ,ν}^π are polynomials in b=α-1 with integer coefficients

Methodology Details

Task Definition

Input: Three integer partitions π, μ, ν Output: Structure coefficients g_{μ,ν}^π(α), defined as expansion coefficients of Jack character products: $\theta_\mu^{(\alpha)}\theta_\nu^{(\alpha)} = \sum_\pi g_{\mu,\nu}^\pi(\alpha)\theta_\pi^{(\alpha)}$

Core Object: Generating series $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$

Core Technical Framework

1. Differential Construction of Jack Characters

Jack Characters θ_μ^(α) are shifted symmetric functions satisfying:

• Degree |μ|
• θ_μ^(α)(λ)=0 when |λ|<|μ|
• Top homogeneous part is α^{|μ|-ℓ(μ)}/z_μ · p_μ

Key Theorem (Theorem 1.3, BDD23): $\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$

where B_∞^(α) is a differential operator defined by catalytic operators.

2. Skew Jack Characters

Define skew characters θ_{μ/ν}^(α)(v) through expansion: $\theta_\mu^{(\alpha)}(v,u_1,u_2,\ldots) = \sum_\nu \theta_{μ/ν}^{(\alpha)}(v)\theta_\nu^{(\alpha)}(u_1,u_2,\ldots)$

Key Proposition (Proposition 4.3): $\theta_{μ/ν}^{(\alpha)}(v) = [t^{|\mu|-|\nu|}p^\mu]\exp\left(B_\infty^{(\alpha)}(-t,p,-\alpha v)\right)\cdot p^\nu$

3. Main Theorem Proof Strategy

Step 1: Utilizing Proposition 4.3 and Lemma 4.2 (structure coefficient relations), establish: $\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)}$

Step 2: Prove operator commutativity, allowing one to "take logarithms": $\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)}$

Step 3: Substitute v → -u/α to obtain the final equation

Technical Innovations

1. Distinction from Existing Methods

• Traditional Methods: Rely on representation-theoretic tools (Schur/Zonal function expansions), difficult to generalize to weighted cases
• This Paper's Method: Pure differential operator approach, more flexible and applicable to α-deformations

2. Innovations in Combinatorial Interpretation

Pre-hypermaps Concept:

• Vertices colored black and white
• Faces colored (+) and (−)
• White vertex degrees ≤ 2
• Degree-2 white vertices must be incident to faces of different colors

Key Observation: Hypermaps can be viewed as special cases of pre-hypermaps (all white vertices have degree 2)

Edge Type Classification:

• Type 1 edges: On the (+) face side, encounter white vertex before black vertex in direct direction
• Type 2 edges: Reverse order

Combinatorial Proof Core: Proves commutativity of operators C_ℓ^(α) and G^(α) on edge operations

3. Innovations in Solving Differential Equations

Recursive Structure: By extracting terms of different orders, establish recursive relations: $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$

where coefficients a_ξ^λ and d_{μ,ν}^λ are defined by operator C_ℓ^(α) with combinatorial meaning (layered maps)

Experimental Setup

Note: This is a pure theoretical mathematics paper without traditional experiments. The following describes its theoretical verification and applications:

Theoretical Verification

1. Special Case Verification

• α=1 case: Verify through Proposition 1.4 that G^(1) coincides with the generating series H̃^(1) for orientable hypermaps
• α=2 case: Verify that G^(2) coincides with the generating series H̃^(2) for non-orientable hypermaps
• Comparison with Known Results: Establish connections with Goulden-Jackson's τ^(α) series (Theorem 3.2)

2. Consistency Checks

• Initial Conditions: g_{∅,∅}^∅(α)=1 (Remark 1)
• Vanishing Properties: g_{μ,ν}^π=0 when max(|μ|,|ν|)>|π| or |π|>|μ|+|ν| (Lemma 3.1)
• Symmetries: Series symmetries in the three alphabets p, q, r

3. Low-order Term Calculations

Using explicit formulas from Theorem 1.7, one can compute:

• G_0^(α) = Ψ (color selection operator)
• Explicit differential expressions for G_1^(α)
• Explicit differential expressions for G_2^(α) (involving polynomials in b)

Application Cases

1. Matching-Jack Conjecture

Using Proposition 3.5 to establish relationships between g_{μ,ν}^π and c_{μ,ν}^π (Matching-Jack coefficients): $\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. Partial Proof of Śniady's Conjecture

Corollary 1.8: For |π| ≥ |μ|+|ν|-2, g_{μ,ν}^π is a polynomial in b with non-negative integer coefficients

Proof Strategy:

• Utilize explicit formulas from Theorem 1.7
• Verify non-negativity of each term
• Combine with integrality results from Corollary 3.6

Experimental Results

Main Theoretical Results

1. Establishment of Differential Equations

Main Theorem (Theorem 1.5) successfully establishes differential equations for the three-alphabet case, representing a first breakthrough.

Equivalent Forms:

• Equation form (Eq. 6): Acting on series
• Commutation relation form (Eq. 7, Theorem 1.6): Operator commutation relations
• Family equation form (Eq. 28): Infinite family of equations after extracting u^ℓ coefficients

2. Properties of Explicit Solutions

Through the recursive formula in Theorem 6.1:

Computational Complexity:

• Depends on the magnitude of |μ|+|ν|-|π|
• Involves summation over intermediate partitions π_1,...,π_m
• Coefficients a and d have combinatorial meaning and can be computed independently

Algebraic Properties:

• g_{μ,ν}^π is a polynomial in α-1 with integer coefficients (Corollary 3.6)
• Degree bound: deg(g_{μ,ν}^π) ≤ 2+|μ|-ℓ(μ)+|ν|-ℓ(ν)-(|π|+ℓ(π)) (Corollary 7.3)

3. Explicit Formulas for Low-order Terms

G_0^(α) Operator: $G_0^{(\alpha)} = \Psi = \prod_{1\leq i\leq\ell(\pi)}(q_{\pi_i}+r_{\pi_i})$ Combinatorial meaning: Choose color (+) or (−) for each face

G_1^(α) Operator: $G_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}$ Combinatorial meaning: Add an edge

G_2^(α) Operator: Contains four terms (Eq. 11)

• b(m_1-1)(m_2-1) term: Non-orientable contribution
• (m_1-1) term: Single edge contribution
• αmin(...) term: Double vertex contribution
• Product term: Independent edge operations

Ablation Analysis

1. Contributions of Each Component

Role of Differential Operator B_n^(α):

• Provides construction tools for Jack characters
• Encodes edge-adding operations on maps
• Catalytic variable technique simplifies calculations

Role of Skew Characters:

• Bridges structure coefficients and differential operators
• Lemma 4.2 establishes key algebraic relations

Role of Dual Operators:

• B_∞^⊥ provides expressions for the right-hand side of equations
• Commutativity with left-side operators is crucial

2. Role of α Parameter

• α=1: Corresponds to orientable maps with clear combinatorial interpretation
• α=2: Corresponds to non-orientable maps
• General α: Interpolation role, revealing underlying algebraic structure
• b=α-1: Deformation parameter, related to non-orientability weights

Theoretical Findings

1. Algebraic-Combinatorial Correspondence

Establishes deep connections between algebraic objects (Jack characters) and combinatorial objects (hypermaps): $\text{Structure Coefficients} \leftrightarrow \text{Hypermap Counting} \leftrightarrow \text{Differential Equations}$

2. Hierarchical Structure

Reveals relationships between different specialization levels:

• Three alphabets (this paper) → Two alphabets (2-Toda hierarchy) → One alphabet (KP/BKP hierarchy)
• Each level has corresponding differential equation characterization

3. Universality

Universality of the method is demonstrated by:

• Applicability to k-constellations (arbitrary k)
• Applicability to complete branching profiles of Hurwitz numbers
• Potential generalization to other combinatorial structures

Related Work

1. Hypermap Enumeration Theory

Classical Results:

• Cori Cor75: Introduction of hypermaps
• Walsh Wal75: Duality with bipartite maps
• Jackson-Visentin JV90: Representation-theoretic methods (α=1)
• Goulden-Jackson GJ96a,GJ96b: Jack polynomial expansions (α=2)

Advantages of This Paper: First treatment of complete three-alphabet case without specialization

2. Integrable Systems and Maps

Known Connections:

• KP hierarchy: Single-alphabet specialization KMM+91, vdL01
• BKP hierarchy: Non-orientable case
• 2-Toda hierarchy: Two alphabets AvM01, BMS02, EO07

Contributions of This Paper: Establishes differential equations for three-alphabet case, completing the hierarchical structure

3. Jack Polynomials and Combinatorics

Theoretical Foundations:

• Jack Jac70: Definition of Jack polynomials
• Stanley Sta89, Knop-Sahi KS97: Combinatorial properties
• Lassalle Las08: Jack characters

Applications in This Paper:

• Utilizes Jack character differential construction from BDD23
• Advances research on Matching-Jack conjecture

4. Hurwitz Numbers Theory

Background:

• Hurwitz numbers count branched coverings
• Deep connections to map enumeration LZ04
• Non-orientable case CD22

Generalization in This Paper: Theorem 4.4 extends methods to k-constellations, obtaining equations with complete branching profile control

5. Related Conjectures

Goulden-Jackson Conjectures:

• Matching-Jack Conjecture (Conjecture 2): Positivity and integrality of c_{μ,ν}^π
• b-Conjecture (hypermap-Jack): Combinatorial interpretation of h_{μ,ν}^π

Śniady Conjecture (Conjecture 1): g_{μ,ν}^π is a polynomial in b with non-negative integer coefficients

Progress in This Paper:

• Proves integrality (Corollary 3.6)
• Partially proves positivity (Corollary 1.8, |π| ≥ |μ|+|ν|-2)

Conclusions and Discussion

Main Conclusions

1. Core Theorem: The complete generating series G^(α)(t,p,q,r) of hypermaps satisfies differential equations (Theorem 1.5) that characterize the recursive structure of Jack character structure coefficients
2. Explicit Solutions: Provides recursive formulas for structure coefficients g_{μ,ν}^π(α) (Theorem 6.1) and explicit expressions for low-order terms (Theorem 1.7)
3. Combinatorial Interpretation: Provides combinatorial proof for α=1 case based on pre-hypermaps, revealing combinatorial meaning of differential operators
4. Generalization Applications: Methods extend to k-constellations and complete branching profiles of Hurwitz numbers (Theorem 4.4)
5. Conjecture Progress: Proves integrality part of Śniady's conjecture (Corollary 3.6) and positivity for low-order cases (Corollary 1.8)

Limitations

1. Positivity Problem Not Fully Resolved

• Positivity part of Śniady's conjecture (Conjecture 1) remains open
• Only proven for |π| ≥ |μ|+|ν|-2 cases
• Recursive formula (Theorem 6.1) involves sign-alternating sums, not directly showing positivity

2. Limitations of Combinatorial Interpretation

• Complete combinatorial proof only given for α=1
• Combinatorial meaning of α=2 and general α requires precise definition of "non-orientability weights"
• Pre-hypermaps construction depends on orientability assumption

3. Computational Complexity

• Recursive formula involves exponential-level intermediate partition summations
• Explicit formulas for higher-order operators G_k^(α) (k>2) have large computational cost
• Lacks efficient algorithmic implementation

4. Theoretical Completeness

• Differential equations for connected series Ĝ^(α) (Theorem 7.5) have complex form, difficult to apply directly
• Relations with other integrable systems not fully clarified
• Uniqueness and completeness of differential equations need further study

Future Directions

1. Completing Śniady's Conjecture

The author notes: "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."

Specific Directions:

• Find unified differential expressions for G_k^(α)
• Prove positivity of each term
• Establish direct correspondence with layered maps

2. Extending Combinatorial Interpretation

• Establish complete combinatorial models for α=2 and general α
• Precisely define "non-orientability weight" statistics ϑ
• Explore generalizations of pre-hypermaps

3. Algorithms and Computation

• Develop efficient algorithms for computing g_{μ,ν}^π
• Implement numerical solutions of differential equations
• Establish computer algebra system interfaces

4. Theoretical Deepening

• Study connections with quantum integrable systems
• Explore relationships with topological recursion
• Generalize to more general symmetric function bases

5. Application Extensions

• Apply to asymptotic analysis of random partitions
• Study connections with matrix integrals
• Explore physical applications (statistical mechanics, quantum field theory)

In-Depth Evaluation

Strengths

1. Breakthrough Contributions

• First Result: Establishes differential equations for three-alphabet hypermap series, solving a long-standing open problem
• Theoretical Depth: Cleverly combines Jack polynomial theory, differential operator methods, and combinatorics
• Methodological Innovation: Introduction and use of skew Jack characters is a key innovation

2. Technical Rigor

• Complete Proofs: Main theorems provide both algebraic proofs (Section 4) and combinatorial proofs (Section 5)
• Sufficient Detail: Differential expressions of catalytic operators (Appendix A), calculations of dual operators, etc. have detailed derivations
• Consistency Verification: Comparison with known results (α=1,2) verifies correctness

3. Clear Structure

• Logical Coherence: Background introduction → main theorems → proofs → applications → generalizations, with clear hierarchy
• Clear Concepts: New concepts like pre-hypermaps and edge types are clearly defined
• Professional Presentation: Uses standard mathematical notation, distinguishes between series (H,G) and operators (B,C,G)

4. Far-reaching Impact

• Theoretical Value: Advances multiple important conjectures (Matching-Jack, Śniady)
• Methodological Contribution: Differential operator methods may apply to other combinatorial structures
• Cross-disciplinary Connections: Connects combinatorics, representation theory, integrable systems, algebraic geometry

Weaknesses

1. Readability Challenges

• High Technical Density: Requires multiple specialized backgrounds including Jack polynomials, shifted symmetric functions, catalytic operators
• Heavy Notation: Extensive subscripts/superscripts, multi-level summations, catalytic variables increase reading difficulty
• Insufficient Combinatorial Intuition: Algebraic proofs, while rigorous, lack geometric or combinatorial intuition

2. Computational Practicality

• Limited Explicit Formulas: Only formulas for G_0, G_1, G_2 provided; higher-order terms unknown
• Low Recursive Efficiency: Theorem 6.1's recursion involves exponential-level summations
• Missing Numerical Verification: No concrete numerical examples provided to verify formulas

3. Limitations of Combinatorial Interpretation

• Limited to α=1: Combinatorial proof (Section 5) only valid for orientable case
• Motivation of Pre-hypermaps: While technically effective, introduction motivation not sufficiently natural
• Edge Type Classification: Type 1/Type 2 edge definitions depend on orientation, limiting generalizability

4. Open Problems

• Positivity Unresolved: Core positivity part of Śniady's conjecture remains open
• Uniqueness Question: Do differential equations completely characterize the series?
• Optimality Question: Do more concise differential equation forms exist?

Impact

1. Contributions to the Field

• Combinatorics: Provides new tools and perspectives for hypermap enumeration
• Representation Theory: Deepens understanding of Jack polynomials and characters
• Integrable Systems: Extends research scope of KP/BKP hierarchies
• Algebraic Geometry: Connections with Hurwitz numbers and branched covering theory

2. Practical Value

• Theoretical Tool: Differential equations applicable to computation and asymptotic analysis
• Algorithmic Foundation: Recursive formulas provide basis for algorithmic implementation
• Conjecture Verification: Can be used for numerical verification of Goulden-Jackson conjecture

3. Reproducibility

• Theoretically Verifiable: Proof steps clear, verifiable by specialists
• Special Cases Computable: Low-order term formulas can be verified by hand or computer
• Implementation Challenge: Catalytic operator implementation requires symbolic computation systems

Applicable Scenarios

1. Theoretical Research

• Study combinatorial properties of Jack polynomials
• Explore structure coefficients of symmetric functions
• Analyze enumeration problems for maps and surfaces

2. Related Conjectures

• Verify and advance Matching-Jack conjecture
• Study Śniady conjecture and b-conjecture
• Explore other combinatorial conjectures

3. Asymptotic Analysis

• Study asymptotic behavior of large Young diagrams
• Analyze limit shapes of random partitions
• Apply to statistical physics models

4. Generalization Applications

• k-constellations and multi-colored maps
• Hurwitz numbers and branched coverings
• Other combinatorial structures' generating functions

References

This paper cites 42 important references; key ones include:

1. BDD23 Ben Dali & Dołęga (2023): Positive formula for Jack characters and differential construction—core technical foundation of this paper
2. CD22 Chapuy & Dołęga (2022): Non-orientable branched coverings and b-Hurwitz numbers—introduces operators B_n^(α) and non-orientable map theory
3. GJ96a,GJ96b Goulden & Jackson (1996): Matching-Jack conjecture and hypermap enumeration—origin of the problem
4. DF16 Dołęga & Féray (2016): Gaussian fluctuations of Jack characters—proves polynomial nature of g_{μ,ν}^π
5. Las08 Lassalle (2008): Introduction of Jack characters—theoretical framework
6. Mac95 Macdonald (1995): Symmetric functions and Hall polynomials—standard reference for Jack polynomials
7. Śni19 Śniady (2019): Asymptotics of Jack characters—proposes Conjecture 1

Summary: This is a high-quality theoretical mathematics paper making important breakthroughs at the intersection of hypermap enumeration and Jack polynomial theory. The main achievement is establishing differential equations for the complete three-alphabet case with explicit solutions. While certain open problems (such as positivity) remain unresolved, the paper provides tools and methods establishing solid foundations for future research. For researchers in combinatorics, representation theory, and integrable systems, this is an important paper deserving careful study.