[論文レビュー] The dinner table problem: the rectangular case

Roberto Tauraso|ArXiv.org|Jul 14, 2005

Advanced Combinatorial Mathematics参考文献 7被引用数 8

ひとこと要約

本稿は、$ d $-隔てられた配置制約を満たす長方形のテーブルにおける「夕食のテーブル問題」を、新しい置換クラス $ a_{n,d} $ を定義することで解決する。ここで $ a_{n,d} $ は、任意の有効な $ i $ に対して $ |\pi(i+d) - \pi(i)| \neq d $ を満たす置換の数を表す。複雑な包含除算法の公式が導出され、多項係数と組合せ的和を含む。その結果、このような置換の漸近的確率が $ e^{-2} $ に収束し、補正項 $ \frac{4(d-1)}{n} $ を持つことが証明され、円形および直線的テーブルの既知の結果が一般化される。

ABSTRACT

$n$ people are seated randomly at a rectangular table with $\lfloor n/2 floor$ and $\lceil n/2 ceil$ seats along the two opposite sides for two dinners. What's the probability that neighbors at the first dinner are no more neighbors at the second one? We give an explicit formula and we show that its asymptotic behavior as $n$ goes to infinity is $e^{-2}(1+4/n)$ (it is known that it is $e^{-2}(1-4/n)$ for a round table). A more general permutation problem is also considered.

研究の動機と目的

• 円形および直線的配置から長方形テーブルへの夕食テーブル問題の一般化を図ること。
• 置換 $ \{1,\dots,n\} $ において、すべての有効な $ i $ に対して $ |\pi(i+d) - \pi(i)| \neq d $ を満たすような $ a_{n,d} $ の定義と計算。
• 包含除算法と多項係数の分解を用いて、$ a_{n,d} $ の閉形式公式の導出。
• 漸近的挙動 $ a_{n,d}/n! $ の分析を行い、$ e^{-2} $ に収束することと、一階補正項の明確な特定。

提案手法

• $ d $ 個の剰余類（$ r_k $ および $ c_k $ で添え字付けられる）に関する多変数包含除算法の公式を提案。
• 生成関数と多項係数の恒等式を用いて、$ q_{n,d}(L) $ として定義される禁止配置パターンをモデル化。これは整数の合成に関する和である。
• 全和の漸近的解析を実施し、$ n^{ ext{underline}} $ 項を展開し、$ n $ が大きい場合の生成関数近似を用いる。
• 合計を $ r = \sum r_k $、$ c = \sum c_k $ ごとにグループ化し、指数型母関数の極限を用いて主要寄与項を分析。
• $ (n/d)^{\underline{m}} \sim (n/d)^m $ の近似を用い、$ 1/n $ における有理関数の展開により、主要項の漸近的挙動を抽出。
• $ c = r $、$ c = r-1 $、$ c = r-2 $ の場合を統合し、完全な漸近展開を導出し、$ \frac{4(d-1)}{n} $ の補正項が得られる。

実験結果

リサーチクエスチョン

• RQ1 長方形のテーブルに配置された $ n $ 人の人の置換のうち、元の隣接者から正確に $ d $ 位置離れていないようなものはいくつあるか？
• RQ2 $ d \geq 2 $ の一般の $ d $ に対して、このような置換の数を表す $ a_{n,d} $ の閉形式公式を導出できるか？
• RQ3 $ n \to \infty $ のとき、確率 $ a_{n,d}/n! $ はどのように振る舞い、その極限への収束速度は何か？
• RQ4 漸近展開における補正項は $ d $ にどのように依存し、その正確な係数は何か？

主な発見

• 多変数包含除算法の和（$ d $ における剰余類ごと）を用いた $ a_{n,d} $ の閉形式公式が導出され、多項係数と組合せ的和 $ q_{n,d}(L) $ を含む。
• 漸近的確率 $ a_{n,d}/n! $ は $ n \to \infty $ のとき $ e^{-2} $ に収束し、一階補正項 $ \frac{4(d-1)}{n} $ を持つ。
• 主要な漸近展開は $ \frac{a_{n,d}}{n!} = e^{-2}\left(1 + \frac{4(d-1)}{n} + O\left(\frac{1}{n^2}\right)\right) $ であり、$ d \geq 2 $ に対して有効。
• $ d=0 $（トーラス的）および $ d=1 $（直線的）の場合には、より高次の項を含むより精緻な漸近展開が得られ、既知の数列 A089222 および A002464 と整合することが確認された。
• 展開における $ 1/n $ 項の係数は $ 4(d-1) $ であり、$ d $ に対して線形依存であることが示され、生成関数および多項係数の分析により裏付けられた。
• 落下階乗の近似と非負整数の $ d $-組の対称和を用い、極限において指数型母関数の積が得られる。