[论文解读] On Increasing and Invariant Parking Sequences

Ayomikun Adeniran, Catherine H. Yan|arXiv (Cornell University)|May 10, 2020

Advanced Combinatorial Mathematics参考文献 8被引用 6

一句话总结

本文引入并分析了递增且不变的停车序列——经典停车函数的推广，其中车辆具有可变长度，并按固定顺序停车。通过与格路的双射关系及组合特征刻画，作者推导出排列不变与长度不变停车序列的确切计数公式，特别证明了当总长度为 $n$、拖车尺寸为 $z$ 时，$k$-强停车序列的数量为 $z^{(k)}$（当 $k \neq n$ 时），而当 $k = n$ 时为 $(n+1)^{n-1}$。该研究将停车函数的组合理论扩展至可变长度车辆及在长度与顺序排列下保持不变的停车行为。

ABSTRACT

The notion of parking sequences is a new generalization of parking functions introduced by Ehrenborg and Happ. In the parking process defining the classical parking functions, instead of each car only taking one parking space, we allow the cars to have different sizes and each takes up a number of adjacent parking spaces after a trailer $T$ parked on the first $z-1$ spots. A preference sequence in which all the cars are able to park is called a parking sequence. In this paper, we study increasing parking sequences and count them via bijections to lattice paths with right boundaries. Then we study two notions of invariance in parking sequences and present various characterizations and enumerative results.

研究动机与目标

• 研究递增停车序列，并通过与右边界受累积车长限制的格路之间的双射关系进行计数。
• 刻画在车长任意重排下保持不变的排列不变停车序列。
• 定义并计数 $k$-强停车序列，即在总长度 $n$ 划分为 $k$ 个部分的所有组合下均保持有效的序列。
• 将经典停车函数框架扩展至包含可变车辆长度以及在长度与顺序排列下保持不变的停车行为。

提出的方法

• 建立递增停车序列与受车长累积值定义的右边界限制的格路之间的双射关系。
• 利用长度向量 $\vec{y} = (y_1, \dots, y_n)$ 的顺序统计量，推导出不变停车序列的计数公式。
• 将 $k$-强停车序列定义为所有将 $n$ 划分为 $k$ 个部分的组合下 $\mathsf{SPS}$ 集合的交集，特别关注最小长度组合 $\vec{y}_0 = (1^{k-1}, n-k+1)$。
• 应用组合论证与容斥原理，证明 $\mathsf{SPS}_k(n;z) = \mathsf{SPS}\{\vec{y}_0; z\}$，从而将问题简化为单个代表性组合。
• 通过长度向量结构与停车过程的分析，推导出公式 $\#\mathsf{SPS}_k(n;z) = z^{(k)}$（当 $k \neq n$ 时）和 $z(n+z)^{n-1}$（当 $k = n$ 时）。
• 通过构造反例，证明若长度向量非恒定，则停车序列在车长重排下不具有不变性，例如长度为 $2,2$ 的车辆与偏好 $(2,1)$ 无法成功停车。

实验结果

研究问题

• RQ1 对于给定长度向量 $\vec{y}$，递增停车序列的数量是多少？能否通过格路双射关系进行计数？
• RQ2 对于哪些长度向量 $\vec{y}$，停车序列在所有车长顺序重排下保持不变？
• RQ3 对于固定总长度 $n$ 与拖车尺寸 $z$，$k$-强停车序列集合的大小是多少？即在所有将 $n$ 划分为 $k$ 个部分的组合下均保持有效的序列数量？
• RQ4 在长度向量 $\vec{y}$ 被重排时，停车序列在何种条件下仍保持有效？此类序列如何进行组合刻画？

主要发现

• 当 $k \neq n$ 时，总车长为 $n$、拖车尺寸为 $z$ 的 $k$-强停车序列数量为 $z^{(k)} = z(z+1)\cdots(z+k-1)$，如推论 4.5 所示。
• 当 $k = n$ 时，$k$-强停车序列的数量为 $(n+1)^{n-1}$，与经典停车函数的计数一致。
• 当 $k \neq n$ 时，集合 $\mathsf{SPS}_k(n;z)$ 等于 $\mathsf{SPS}\{\vec{y}_0; z\}$，其中 $\vec{y}_0 = (1^{k-1}, n-k+1)$，如命题 4.4 所确立。
• 对于所有非恒定向量 $\vec{y}$，公式 $\#\mathsf{SPS}\{\vec{y}; z\} = z \cdot \prod_{i=1}^{n-1} (z + y_{(1)} + \cdots + y_{(i)})$ 成立，如推论 4.3 所述。
• 若长度向量非恒定，则停车序列在车长重排下不具有不变性，反例显示长度为 $2,2$ 的车辆与偏好 $(2,1)$ 无法成功停车。
• 集合 $\mathsf{SPS}_k(n;z)$ 非空且有限，其中 $\mathsf{SPS}_1(n) = \{(1)\}$，且 $\mathsf{SPS}_n(n) = \mathsf{PF}_n$，即经典停车函数。