Saddle-Point Asymptotics for Chromatic and Tutte Polynomial Evaluations of Complete Multipartite Graphs
Pith reviewed 2026-05-07 15:09 UTC · model grok-4.3
The pith
Complete multipartite graphs admit exact Gamma-type integral representations for acyclic orientations that extend to negative chromatic evaluations and enable saddle-point asymptotics proving Kotesovec's fixed-column conjecture.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We develop a saddle-point theory for acyclic orientations and negative chromatic evaluations of complete multipartite graphs, with applications to OEIS A267383, A372326, A372084, A372395, and A370613. The main tool is an exact Gamma-type integral representation for acyclic orientation counts and its Gamma-weighted extension to the negative chromatic axis. We prove Kotesovec's fixed-column conjecture for A267383 for arbitrary fixed numbers of parts, give the corresponding fixed-p Tutte-axis asymptotics, develop an analytic-combinatorics-in-several-variables framework for chromatic evaluations of fixed graph blow-ups, and give unconditional fixed-base families reducible to balanced Turan graph
What carries the argument
The exact Gamma-type integral representation for acyclic orientation counts, extended by Gamma weights to the negative chromatic axis, which carries the saddle-point analysis and all subsequent expansions.
If this is right
- Kotesovec's fixed-column conjecture holds for sequence A267383 with any fixed number of parts.
- Fixed-p asymptotics are available along the Tutte axis for chromatic evaluations.
- Chromatic evaluations of fixed graph blow-ups admit an analytic-combinatorics-in-several-variables framework.
- Unconditional fixed-base families of evaluations reduce to balanced Turan graphs.
- All-order expansions exist for equal-size parts throughout every fixed polynomial window, with explicit cubic-scale corrections.
Where Pith is reading between the lines
- The saddle-point methods may adapt to asymptotic counting for orientations or colorings on other dense graph families with comparable symmetry.
- The quadratic-energy partition model could inform probabilistic limits on orientation distributions in random multipartite graphs.
- The reduction to balanced Turan graphs suggests possible extensions to extremal questions on the growth of chromatic polynomials in dense graphs.
- Higher-order terms in the expansions could refine numerical estimates for large instances in computational enumeration.
Load-bearing premise
The exact Gamma-type integral representation for acyclic orientation counts holds and extends to the negative chromatic axis for complete multipartite graphs.
What would settle it
Direct computation of acyclic orientation counts for a family of complete multipartite graphs with growing part sizes, followed by numerical comparison against the leading saddle-point asymptotic formula to check agreement in the predicted growth rate.
read the original abstract
We develop a saddle-point theory for acyclic orientations and negative chromatic evaluations of complete multipartite graphs, with applications to OEIS A267383, A372326, A372084, A372395, and A370613. The main tool is an exact Gamma-type integral representation for acyclic orientation counts and its Gamma-weighted extension to the negative chromatic axis. We prove Kotesovec's fixed-column conjecture for A267383 for arbitrary fixed numbers of parts, give the corresponding fixed-p Tutte-axis asymptotics, develop an analytic-combinatorics-in-several-variables framework for chromatic evaluations of fixed graph blow-ups, and give unconditional fixed-base families reducible to balanced Turan graphs. In the product regimes we prove fixed part-size and finite-profile expansions, and for equal-size parts we obtain an all-order expansion throughout every fixed polynomial window, including explicit corrections through the cubic scale. Finally, we prove logarithmic asymptotics for the partition-sum sequences A372395 and A370613 via a quadratic-energy partition model, a growing-window comparison for the Stirling-transform factors, and a random-permutation far-tail bound.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops saddle-point asymptotics for chromatic and Tutte polynomial evaluations of complete multipartite graphs. The central tool is an exact Gamma-type integral representation for acyclic orientation counts, extended via Gamma-weighting to the negative chromatic axis. Applications include a proof of Kotesovec's fixed-column conjecture for OEIS A267383 for arbitrary fixed numbers of parts, fixed-p Tutte-axis asymptotics, an ACV framework for chromatic evaluations of fixed graph blow-ups, unconditional fixed-base families reducible to balanced Turán graphs, fixed part-size and finite-profile expansions in product regimes, all-order expansions (with cubic corrections) for equal-size parts in every fixed polynomial window, and logarithmic asymptotics for partition-sum sequences A372395 and A370613 via quadratic-energy models, Stirling-transform comparisons, and random-permutation tail bounds.
Significance. If the Gamma-type integral representation holds exactly and extends to the claimed regimes, the results would resolve a conjecture, supply explicit asymptotic expansions for multiple OEIS sequences, and advance analytic combinatorics in several variables for graph polynomials on blow-ups and multipartite graphs. The all-order expansions and partition-sum analysis are notable strengths.
major comments (1)
- [Abstract] Abstract and introduction: the exact Gamma-type integral representation for acyclic orientation counts (and its Gamma-weighted extension to the negative chromatic axis for complete multipartite graphs) is asserted as the main tool without a self-contained derivation, error analysis, or verification steps; this is load-bearing for the saddle-point contours, fixed-column proofs, fixed-p asymptotics, and all-order expansions, as any domain restriction would propagate directly into the claimed results.
minor comments (1)
- [Abstract] Abstract: the list of OEIS sequences and their precise relation to the graph polynomials could be clarified with one additional sentence for readers unfamiliar with the enumeration context.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for highlighting the central role of the Gamma-type integral representation. We address the major comment below and will revise the paper accordingly to strengthen the presentation.
read point-by-point responses
-
Referee: [Abstract] Abstract and introduction: the exact Gamma-type integral representation for acyclic orientation counts (and its Gamma-weighted extension to the negative chromatic axis for complete multipartite graphs) is asserted as the main tool without a self-contained derivation, error analysis, or verification steps; this is load-bearing for the saddle-point contours, fixed-column proofs, fixed-p asymptotics, and all-order expansions, as any domain restriction would propagate directly into the claimed results.
Authors: We agree that a self-contained derivation is necessary for the load-bearing claims. The manuscript introduces the exact Gamma-type integral representation for acyclic orientation counts of complete multipartite graphs and its Gamma-weighted extension, but the referee is correct that the current version does not include a full derivation, error bounds, or explicit verification steps in the abstract and introduction. In the revised manuscript we will add a dedicated subsection (new Section 2) that derives the representation from first principles using the integral form of the Gamma function applied to the product formula for the number of acyclic orientations, followed by a rigorous error analysis for the contour deformation and an explicit verification for small multipartite graphs that confirms the extension to the negative chromatic axis holds without domain restrictions in the regimes used for the saddle-point analysis. This will directly support the fixed-column proofs, fixed-p asymptotics, and all-order expansions. revision: yes
Circularity Check
No significant circularity; derivation is self-contained around an asserted integral representation
full rationale
The paper introduces an exact Gamma-type integral representation for acyclic orientation counts as its main tool and extends it to the negative chromatic axis, then applies saddle-point analysis to derive asymptotics, prove the Kotesovec conjecture for fixed columns, and obtain expansions for chromatic/Tutte evaluations. No quoted step reduces a claimed prediction or uniqueness result to a fitted parameter, self-definition, or load-bearing self-citation chain; the representation is treated as an independent starting point whose validity is external to the subsequent saddle-point contours and logarithmic asymptotics. The derivation chain therefore remains non-circular by the enumerated criteria.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Existence of an exact Gamma-type integral representation for acyclic orientation counts that extends to negative chromatic evaluations
Reference graph
Works this paper leans on
-
[1]
George E. Andrews,The Theory of Partitions, Cambridge University Press, 1998,https: //doi.org/10.1017/CBO9780511608650
-
[2]
Edward A. Bender,Central and local limit theorems applied to asymptotic enumeration, Journal of Combinatorial Theory, Series A 15 (1973), 91–111,https://doi.org/10.1016/ 0097-3165(73)90038-1
work page 1973
-
[3]
Bela Bollobas,Modern Graph Theory, Graduate Texts in Mathematics 184, Springer, 1998, https://doi.org/10.1007/978-1-4612-0619-4
-
[4]
Peter J. Cameron, C. A. Glass, Kamilla Rekv´ enyi, and R. U. Schumacher,Acyclic orientations and poly-Bernoulli numbers, arXiv preprint arXiv:1412.3685, 2014,https: //doi.org/10.48550/arXiv.1412.3685
-
[5]
Walter Carballosa, Francisco A. Reyes, and Jessica Khera,Encoding and enumerat- ing acyclic orientations of graphs, Utilitas Mathematica 125 (2025), 21–41; see also arXiv:2303.09021v2,https://doi.org/10.61091/um125-02
-
[6]
Reidel, 1974,https://doi.org/10.1007/ 978-94-010-2196-8
Louis Comtet,Advanced Combinatorics, D. Reidel, 1974,https://doi.org/10.1007/ 978-94-010-2196-8
work page 1974
-
[7]
Philippe Flajolet and Robert Sedgewick,Analytic Combinatorics, Cambridge University Press, 2009,https://doi.org/10.1017/CBO9780511801655
-
[8]
Boris L. Granovsky, Dudley Stark, and Michael Erlihson,Meinardus’ theorem on weighted partitions: extensions and a probabilistic proof, Advances in Applied Mathematics 41 (2008), 307–328,https://doi.org/10.1016/j.aam.2007.11.001
-
[9]
Boris L. Granovsky and Dudley Stark,Developments in the Khintchine–Meinardus prob- abilistic method for asymptotic enumeration, Electronic Journal of Combinatorics 22(4) (2015), Paper P4.32,https://doi.org/10.37236/4581
-
[10]
org/10.1090/S0002-9947-1983-0712251-1
Curtis Greene and Thomas Zaslavsky,On the interpretation of Whitney numbers through arrangements of hyperplanes, zonotopes, non-Radon partitions, and orientations of graphs, Transactions of the American Mathematical Society 280 (1983), 97–126,https://doi. org/10.1090/S0002-9947-1983-0712251-1
-
[11]
G. H. Hardy and S. Ramanujan,Asymptotic formulae in combinatory analysis, Proceedings of the London Mathematical Society s2-17 (1918), 75–115,https://doi.org/10.1112/ plms/s2-17.1.75. 40
work page 1918
-
[12]
Jessica Khera and Erik Lundberg,The distribution of the length of the longest path in random acyclic orientations of a complete bipartite graph, Annals of Combinatorics 29 (2025), 1177–1209,https://doi.org/10.1007/s00026-025-00741-6
-
[13]
Jessica Khera, Erik Lundberg, and Stephen Melczer,Asymptotic enumeration of lonesum matrices, Advances in Applied Mathematics 123 (2021), Article 102118,https://doi.org/ 10.1016/j.aam.2020.102118
-
[14]
Erik Lundberg, Elisabeth Rodriguez, and Aiden Corcoran,Asymptotic enumeration of acyclic orientations on complete multipartite graphs, conference abstract (unpub- lished), Florida Atlantic University, 2026,https://www.math.fau.edu/combinatorics/ abstracts/cocoran-57-1.pdf(accessed May 2, 2026)
work page 2026
-
[15]
OEIS Foundation Inc.,A267383: number of acyclic orientations of the Tur´ an graphT(n, k), https://oeis.org/A267383(accessed May 2, 2026)
work page 2026
-
[16]
OEIS Foundation Inc.,A370613: acyclic orientations over complete multipartite graphs with distinct part sizes,https://oeis.org/A370613(accessed May 2, 2026)
work page 2026
-
[17]
OEIS Foundation Inc.,A372084: main diagonalA372326(n, n) =A267383(n 2, n),https: //oeis.org/A372084(accessed May 2, 2026)
work page 2026
-
[18]
OEIS Foundation Inc.,A372326: number of acyclic orientations ofT(kn, n),https:// oeis.org/A372326(accessed May 2, 2026)
work page 2026
-
[19]
OEIS Foundation Inc.,A372395: sum of acyclic orientations over complete multipartite graphs,https://oeis.org/A372395(accessed May 2, 2026)
work page 2026
-
[20]
Robin Pemantle, Mark C. Wilson, and Stephen Melczer,Analytic Combinatorics in Several Variables, second edition, Cambridge University Press, 2024,https://doi.org/10.1017/ 9781108874144
work page 2024
-
[21]
Richard P. Stanley,Acyclic orientations of graphs, Discrete Mathematics 5 (1973), 171–178, https://doi.org/10.1016/0012-365X(73)90108-8
-
[22]
Richard P. Stanley,A symmetric function generalization of the chromatic polynomial of a graph, Advances in Mathematics 111 (1995), 166–194,https://doi.org/10.1006/aima. 1995.1020
-
[23]
Richard P. Stanley,Enumerative Combinatorics, Volume 1, second edition, Cambridge University Press, 2011,https://doi.org/10.1017/CBO9781139058520
-
[24]
Maitland Wright,Asymptotic partition formulae: II
E. Maitland Wright,Asymptotic partition formulae: II. Weighted partitions, Proceedings of the London Mathematical Society s2-36 (1934), 117–141,https://doi.org/10.1112/ plms/s2-36.1.117. 41
work page 1934
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.