arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2201.00665math.CO
收藏

关于朋友-陌生人图的直径

On the Diameters of Friends-and-Strangers Graphs

Ryan Jeong

AI总结:

该研究探讨朋友-陌生人图连通分量的直径问题,给出路径图、环图对应分量的多项式直径上界,构造出直径指数增长的分量并否定相关猜想,同时得出对应随机游走混合时间的指数下界。

摘要:

给定顶点数相同的简单图$X$和$Y$,朋友-陌生人图$\textsf{FS}(X, Y)$的顶点是所有从$V(X)$到$V(Y)$的双射,两个双射相邻当且仅当它们在$V(X)$的两个相邻元素上取值不同,且这两个元素的像在$Y$中相邻。我们研究朋友-陌生人图各连通分量的直径:$\textsf{FS}(X,Y)$某个分量的直径对应从该分量中一个构型到另一个构型所需的最大交换次数。我们证明$\textsf{FS}(\textsf{Path}_n, Y)$的任意分量直径为$O(n^2)$,$\textsf{FS}(\textsf{Cycle}_n, Y)$的任意分量直径为$O(n^4)$;当$\textsf{FS}(\textsf{Cycle}_n, Y)$连通时,该上界可改进为$O(n^3)$。这些结果解决了Defant和Kravitz提出的一个公开问题。通过显式构造,我们证明存在$n$顶点图$X$和$Y$,使得$\textsf{FS}(X,Y)$存在一个直径为$e^{\tilde{\nu}(n)}$的分量,这否定回答了Alon、Defant和Kravitz提出的问题。作为推论,我们发现对于此类$X$和$Y$,$\textsf{FS}(X,Y)$该分量上的懒惰随机游走混合时间为$e^{\tilde{\nu}(n)}$。该结果与关于快速混合马尔可夫链的相关经典定理相悖,并在Alon、Defant和Kravitz的另一个公开问题上取得进展。最后我们提出了若干未来研究方向。

英文摘要:

Given simple graphs $X$ and $Y$ on the same number of vertices, the friends-and-strangers graph $\mathsf{FS}(X, Y)$ has as its vertices all bijections from $V(X)$ to $V(Y)$, where two bijections are adjacent if and only if they differ on two adjacent elements of $V(X)$ with images adjacent in $Y$. We study the diameters of connected components of friends-and-strangers graphs: the diameter of a component of $\mathsf{FS}(X,Y)$ corresponds to the largest number of swaps necessary to go from one configuration in the component to another. We show that any component of $\mathsf{FS}(\mathsf{Path}_n, Y)$ has $O(n^2)$ diameter and that any component of $\mathsf{FS}(\mathsf{Cycle}_n, Y)$ has $O(n^4)$ diameter, improvable to $O(n^3)$ whenever $\mathsf{FS}(\mathsf{Cycle}_n, Y)$ is connected. These results address an open problem posed by Defant and Kravitz. Using an explicit construction, we show that there exist $n$-vertex graphs $X$ and $Y$ such that $\mathsf{FS}(X,Y)$ has a component with $e^{Ω(n)}$ diameter. This answers a question raised by Alon, Defant, and Kravitz in the negative. As a corollary, we observe that for such $X$ and $Y$, the lazy random walk on this component of $\mathsf{FS}(X,Y)$ has $e^{Ω(n)}$ mixing time. This result deviates from related classical theorems regarding rapidly mixing Markov chains and makes progress on another open problem of Alon, Defant, and Kravitz. We conclude with several suggestions for future research.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑