Weighted $\mathsf{P}-$partitions enumerator

Marko Pe\v{s}ovi\'c; Tanja Stojadinovi\'c; Vladimir Gruji\'c

arxiv: 1907.00099 · v1 · pith:SJFD5L77new · submitted 2019-06-28 · 🧮 math.CO

Weighted mathsf{P}-partitions enumerator

Marko Pe\v{s}ovi\'c , Tanja Stojadinovi\'c , Vladimir Gruji\'c This is my paper

Pith reviewed 2026-05-25 13:16 UTC · model grok-4.3

classification 🧮 math.CO

keywords quasisymmetric functionsP-partitionsextended permutohedraHopf algebra of posetsf-polynomialposet cones

0 comments

The pith

The weighted integer points enumerator on extended permutohedra is a quasisymmetric function obtained by universal morphism from the Hopf algebra of posets.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper associates a weighted integer points enumerator to each extended permutohedron such that its principal specialization recovers the f-polynomial of the polytope. In the special case of poset cones, the same enumerator refines Gessel's classical P-partitions enumerator. The central theorem establishes that the enumerator is always a quasisymmetric function, realized via the universal morphism out of the Hopf algebra of posets. A reader cares because the construction supplies a uniform combinatorial source for both polytope invariants and refined partition enumerators.

Core claim

To an extended permutohedron we associate the weighted integer points enumerator, whose principal specialization is the f-polynomial. In the case of poset cones it refines Gessel's P-partitions enumerator. We show that this enumerator is a quasisymmetric function obtained by universal morphism from the Hopf algebra of posets.

What carries the argument

The weighted integer points enumerator on the extended permutohedron, defined so its principal specialization equals the f-polynomial and its restriction to poset cones refines Gessel's enumerator.

If this is right

The enumerator refines Gessel's P-partitions enumerator whenever the input is a poset cone.
Principal specialization of the enumerator recovers the f-polynomial of the extended permutohedron.
The enumerator is always a quasisymmetric function arising from the universal morphism of the Hopf algebra of posets.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same construction may supply a systematic way to produce quasisymmetric functions from other families of polytopes that admit analogous integer-point weightings.
Techniques developed for the Hopf algebra of posets could now be applied directly to questions about f-polynomials of extended permutohedra.

Load-bearing premise

The weighted integer points enumerator must be defined on the extended permutohedron so that its principal specialization equals the f-polynomial and the poset-cone case refines Gessel's enumerator.

What would settle it

An extended permutohedron whose weighted integer points enumerator fails to be a quasisymmetric function, or whose principal specialization fails to recover the f-polynomial, would falsify the claim.

read the original abstract

To an extended permutohedron we associate the weighted integer points enumerator, whose principal specialization is the $f$-polynomial. In the case of poset cones it refines Gessel's $\mathsf{P}$-partitions enumerator. We show that this enumerator is a quasisymmetric function obtained by universal morphism from the Hopf algebra of posets.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper defines a weighted integer-points enumerator on extended permutohedra that recovers the f-polynomial on specialization and refines Gessel's enumerator on poset cones, then notes it is quasisymmetric via the standard universal morphism.

read the letter

Colleague, the key point with this paper is the construction of a weighted integer-points enumerator associated to an extended permutohedron. Its principal specialization gives the f-polynomial, and in the poset-cone case it refines Gessel's P-partitions enumerator. They then observe that this makes it a quasisymmetric function coming from the universal morphism out of the Hopf algebra of posets. What stands out is how they engineer the enumerator to meet both the polytope specialization and the refinement condition at the same time. This is the kind of thing that lets the general machinery apply directly, so the quasisymmetric property follows without additional proof. If the weighting is defined in a way that is natural from the polytope perspective, that would be a nice contribution. On the downside, the abstract gives no explicit formula for the weights or any small examples, so it's difficult to see how original the choice is or whether it coincides with something already studied. The stress-test note suggests the conditions are standard, which is true, but that also means the value depends on whether this particular choice leads to new identities or computations that weren't available before. Overall this sits squarely in algebraic combinatorics. A reader who follows work on P-partitions, quasisymmetric functions, and Ehrhart theory or polytope enumerators would get something out of it. It is not a major reorganization but a targeted refinement. I would recommend sending it for peer review. The central claim is well-posed and the approach is honest, even if the impact is limited to the subfield.

Referee Report

0 major / 0 minor

Summary. The manuscript associates to each extended permutohedron a weighted integer points enumerator whose principal specialization equals the f-polynomial. In the poset-cone case the enumerator refines Gessel's P-partitions enumerator. The central result states that the enumerator is a quasisymmetric function obtained by applying the universal morphism from the Hopf algebra of posets.

Significance. The construction supplies a single enumerator that simultaneously recovers the f-polynomial under principal specialization and refines Gessel's enumerator on poset cones, while lying in the image of the standard universal morphism to quasisymmetric functions. This compatibility with two well-known specializations and with the Hopf-algebra framework is a genuine strength when the definition is made explicit.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report, which accurately captures the main contributions of the manuscript. We are pleased that the referee recognizes the compatibility of the weighted enumerator with both the f-polynomial specialization and the Hopf-algebraic framework, and we appreciate the recommendation to accept.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The derivation defines the weighted integer-points enumerator on the extended permutohedron so that its principal specialization recovers the f-polynomial and the poset-cone case refines Gessel's enumerator; it then identifies this object as the image of the poset under the standard universal morphism from the Hopf algebra of posets to quasisymmetric functions. Both the specialization conditions and the morphism are external, independently established features of the theory of combinatorial Hopf algebras; the central claim therefore rests on verification that the defined enumerator satisfies the morphism rather than on any self-definitional reduction, fitted prediction, or load-bearing self-citation chain. No equation or step in the provided abstract or reader's summary collapses the claimed result to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claim rests on the existence of the Hopf algebra of posets and on the well-definedness of the new enumerator; no free parameters or invented entities with independent evidence are visible from the abstract.

axioms (1)

standard math The Hopf algebra of posets admits a universal morphism that produces quasisymmetric functions.
Invoked implicitly by the final sentence of the abstract; standard background in algebraic combinatorics.

invented entities (1)

weighted integer points enumerator no independent evidence
purpose: To count weighted integer points of an extended permutohedron and refine Gessel's enumerator
New object introduced in the paper; no independent evidence supplied in abstract.

pith-pipeline@v0.9.0 · 5579 in / 1314 out tokens · 32187 ms · 2026-05-25T13:16:08.471351+00:00 · methodology