[论文解读] Coincidence among families of mesh patterns

Anders Claesson, Bridget Eileen Tenner+1 more|arXiv (Cornell University)|Dec 1, 2014

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

一句话总结

本文通过识别此类重合的必要与充分条件，研究了网格图案之间的重合性——即当两个不同的网格图案避免同一组排列时的情况。研究发现，共享的封闭对角线是重合的必要条件，且对连通图案而言也是充分条件；同时引入广义的同步着色引理，以识别冗余的网格区域，从而为经典Wilf等价性之外的图案等价性提供结构化框架。

ABSTRACT

Two mesh patterns are coincident if they are avoided by the same set of permutations. In this paper, we provide necessary conditions for this coincidence, which include having the same set of enclosed diagonals. This condition is sufficient to prove coincidence of vincular patterns, although it is not enough to guarantee coincidence of bivincular patterns. In addition, we provide a generalization of the Shading Lemma (Hilmarsson et al.), a result that examined when a square could be added to the mesh of a pattern.

研究动机与目标

• 确定两个网格图案重合的必要与充分条件，即避免同一组排列。
• 研究封闭对角线的结构是否在不同类别的网格图案中完全决定重合性。
• 将着色引理推广，以识别何时可移除网格区域而不改变避免集合。
• 阐明在网格图案背景下重合性与Wilf等价性的区别。
• 通过识别重合性不由封闭对角线决定的类别，探索基于对角线表征的局限性。

提出的方法

• 作者使用排列图和网格中的区域（着色或未着色）来定义网格图案，包含关系基于顺序同构子序列及区域约束。
• 他们引入了“封闭对角线”的概念——特定的着色与未着色单元格配置，可强制图案避免行为。
• 开发了同步着色引理，以确定在网格中添加或移除着色方格是否不影响避免集合。
• 通过排列图的结构分析及区域相互作用，证明共享的封闭对角线是重合的必要条件。
• 应用关于连通与双连通图案的已知结果，测试在不同图案族中对角线重合的充分性。
• 通过点配置与网格图案中区域相交的案例分析，构建理论证明。

实验结果

研究问题

• RQ1 在何种条件下，两个网格图案是重合的，即避免同一组排列？
• RQ2 是否存在相同的封闭对角线是否既是重合的必要条件也是充分条件？
• RQ3 能否使用同步着色引理识别不影响图案避免的冗余网格区域？
• RQ4 为何封闭对角线无法决定双连通图案的重合性？其他何种结构特征决定其重合性？
• RQ5 是否存在某些网格图案族，其重合性由封闭对角线以外的性质决定？

主要发现

• 封闭对角线是网格图案重合的必要条件，即若两个图案重合，则其封闭对角线配置必须完全相同。
• 对于连通图案，具有相同封闭对角线也是重合的充分条件，从而实现了完整的表征。
• 同步着色引理由原始着色引理推广而来，为识别可修改而不改变避免集合的网格区域提供了强大工具。
• 双连通图案表明，仅靠封闭对角线不足以决定重合性，说明还需其他结构特征。
• 研究表明，重合性严格强于Wilf等价性，因为后者仅要求避免集合的计数相等，而重合性要求避免集合完全相同。
• 本文提供了一个框架，用于识别其重合性仅由封闭对角线决定的最大网格图案集合。