Arndt and Carlitz Compositions

技術的要約：ArndtおよびCarlitz組成

問題提起
本論文は、特定の局所的な制限下における整数の組成（和が$n$となる正の整数の順序付き列）の列挙について扱っている。本研究は、以下の2つの異なる研究の流れを統合し、一般化することを目指している：

1. Carlitz組成： Carlitzによって導入されたもので、隣接する項が互いに異なる（$c_i \neq c_{i+1}$）ことを要求する。
2. Arndt組成： Arndtによって開始されたもので、特定の項のペア（通常は $(c_{2i-1}, c_{2i})$）に対して制限を課すが、$c_{2i}$ と $c_{2i+1}$ の関係には制限を設けない。

著者らは、Arndt型のペア構造を持ちつつ、各ペアに対してCarlitz条件（$c_{2i-1} \neq c_{2i}$）を課す新しいクラスであるCarlitz–Arndt組成（$CA(n)$）を定義している。さらに本論文では、ペアとなる項間の絶対差の下限を定める場合（$|c_{2i-1} - c_{2i}| \geq k$）と、上限を定める場合（$|c_{2i-1} - c_{2i}| \leq k$）へとこれを一般化している。

手法
著者らは、組合せ論的な証明（明示的な全単射）と母関数を組み合わせた二角的なアプローチを採用している。

• 組合せ論的な証明： 本論文の核心は、制限された組成と、既知または新たに定義された集合との間の全単射を構築することにある。下限の場合、著者らは組成を、$\{1, 1', 2\}$ を項とする「制限付きペル組成」（$P_{\geq k}(n)$）の部分集合へと写像する。上限の場合、$\{1, 1', 2, 4, 6, \dots\}$ を項とする組成 $Q_{\leq k}(n)$ へと写像する。これらの全単射を用いることで、対応する集合の構造を分析することにより、漸化式を導出している。
• 母関数： 著者らは、各クラスの組成の数に対する有理母関数を導出している。これらの関数は、項のペアをブロックとして扱い、可能な値について総和をとった後、偶数長および奇数長の場合を組み合わせることで構成されている。

主な貢献と結果

1. Carlitz–Arndt組成 ($CA(n)$):

   • 著者らは、このような組成の数 $ca(n)$が、初期値$1, 1, 3$を持つ漸化式$ca(n) = ca(n-1) + ca(n-2) + ca(n-3)$ を満たすことを確立した。
   • この数列は「トリボナッチ数」（OEIS A000213）に対応する。
   • $CA(n)$と、隣接する項が1ではない組成（$C^c_{1,1}(n)$）との間の全単射が証明されている。

2. 一般化された下限組成 ($CA_{\geq k}(n)$):

   • 固定された $k$ に対して、条件 $|c_{2i-1} - c_{2i}| \geq k$ を分析している。
   • 著者らは、漸化式 $ca_{\geq k}(n) = ca_{\geq k}(n-1) + ca_{\geq k}(n-2) - ca_{\geq k}(n-3) + 2ca_{\geq k}(n-k-2)$ を証明した。
   • $CA_{\geq k}(n)$ と、1または$1'$の連続（run）の長さが少なくとも $k$ である制限付きペル組成 $P_{\geq k}(n)$ との間の全単射が確立されている。
   • 母関数は $\frac{1-x^2}{1-x-x^2+x^3-2x^{k+2}}$ として導出される。

3. 一般化された上限組成 ($CA_{\leq k}(n)$):

   • 条件 $|c_{2i-1} - c_{2i}| \leq k$ を分析している。
   • 著者らは、漸化式 $ca_{\leq k}(n) = ca_{\leq k}(n-1) + 2ca_{\leq k}(n-2) - 2ca_{\leq k}(n-k-3)$ を導出している。
   • $CA_{\leq k}(n)$ と、$\{1, 1', 2, 4, 6, \dots\}$ を項とし、1または$1'$の連続の長さが最大 $k$ である組成 $Q_{\leq k}(n)$ との間の全単射が確立されている。
   • 母関数は $\frac{1-x^2}{1-x-2x^2+2x^{k+3}}$ として導出される。

意義と主張
本論文は、Carlitz組成とArndt組成の概念を効果的に結合し、一般化したと主張している。これらの接続を確立することで、著者らは以下を提供している：

• 列挙結果： これらの一般化されたクラスに対する明示的な漸化式および母関数。
• 組合せ論的な洞察： ペル型組成や制限付きランレングス（連続長）組成への全単射は、なぜこれらの特定の漸化式が生じるのかという構造的な理解を提供する。
• 文脈的な動機付け： 本研究は、ギャップのない組成（HitczenkoとKnopfmacherによる研究）や、ロジャー・ラマンジャンの整数分割との関連から動機付けられている。著者らは、下限の一般化（$CA_{\geq k}$）が、ロジャー・ラマンジャンの分割における「超離散的」な部分（差が少なくとも2である部分）や、シュアの分割（差が少なくとも3である部分）に関連していると述べている。

著者らは、彼らの手法が主に組合せ論的であるが、漸化式の検証および代替的な証明を提供するために母関数を利用していることを明言している。また、Prodinger (2023) がより複雑な条件の組み合わせを検討したことに触れ、それと区別するために、彼らの特定の定式化に対して $CA(n)$ という表記を使用していることを認めている。本論文は、提示された数学的な列挙および構造的分析を超えた、実験的な応用や将来的な含意を提案するものではない。