Counting -Naples parking functions through permutations and the -Naples area statistic
We recall that the -Naples parking functions of length (a generalization of parking functions) are defined by requiring that a car which finds its preferred spot occupied must first back up a spot at a time (up to spots) before proceeding forward down the street. Note that the parking functions are the specialization of to . For a fixed , we define a function which maps a -Naples parking function to the permutation denoting the order in which its cars park. By enumerating the sizes of the fibers of the map we give a new formula for the number of -Naples parking functions as a sum over the permutations of length . We remark that our formula for enumerating -Naples parking functions is not recursive, in contrast to the previously known formula of Christensen et al [CHJ+20]. It can be expressed as the product of the lengths of particular subsequences of permutations, and its specialization to gives a new way to describe the number of parking functions of length . We give a formula for the sizes of the fibers of the map , and we provide a recurrence relation for its corresponding logarithmic generating function. Furthermore, we relate the -analog of our formula to a new statistic that we denote and call the -Naples area statistic, the specialization of which to gives the statistic on parking functions.