The paper studies a family of partially ordered sets called fence posets and circular-fence posets. A fence poset is built by taking a sequence of elements and imposing a zigzag ordering on them, where each consecutive pair is related either upward or downward depending on a chosen orientation. A central object of study is the order polynomial, which counts the number of order-preserving maps from the poset into a chain of a given size. The authors want to understand these order polynomials through the lens of permutation statistics, meaning they want to find a natural property of permutations whose distribution exactly matches the order polynomial.
The main contribution is the definition of a new statistic on permutations called the greedy right-to-left record. Informally, you scan a permutation from right to left and greedily identify certain distinguished elements called records based on the orientation of the fence. The authors prove that if you count permutations according to this statistic, you recover the order polynomial of the corresponding fence poset, scaled by the number of permutations. The proof uses a technique involving Bernstein basis polynomials, which are a classical tool in approximation theory, and the transfer between the continuous and combinatorial settings is made explicit through a direct bijection. They also refine the result by tracking additional information like the set of record positions and directions, connecting individual fibers of the bijection to decorated lattice paths and to linear extensions of simpler tree-shaped posets.
The paper then extends all of this to cyclic settings. For posets built on cycles rather than paths, the authors define analogous cyclic record statistics and prove they again reproduce the order polynomial, this time for circular-fence posets. A key application is resolving an open conjecture by Kahane about circular fences: the authors show that their cyclic records correspond precisely to the roots of a statistic Kahane had defined independently, thereby confirming his conjecture. Throughout, connections are drawn to quasisymmetric functions, which are a generalization of symmetric functions used to encode finer combinatorial information about descents and orderings.