異なる階乗の積が平方数になる場合の個数を解析
Square products of factorials and a conjecture of Erdős and Graham
この論文をやさしく読む
ひとことで言うと
異なる階乗をいくつ掛けると平方数にできるか、その最小個数ごとに該当する整数がどのくらいあるかを調べます。
何に役立つ？
整数の乗法的な構造に関する予想を解決し、該当数の増え方を定量的に理解する純粋数学の成果です。
この研究の面白いところ
3因子の場合には主項の定数と誤差項を示し、5・6因子の場合にはXに比例する規模で存在することを証明して、全kの増大オーダーをそろえています。
どこまで分かった？
これは漸近的な個数に関する理論結果です。同じオーダーという主張は、すべての場合で正確な個数や主項の定数まで決めたという意味ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
n≧2に対し、F(n)を、互いに異なるk個の階乗の積が完全平方数となり、その最大の因子がn!であるような最小のk≧2とする。また、Dₖ(X)を、n≦XかつF(n)＝kを満たすnの個数とする。エルデシュとグラハムは3≦k≦6についてDₖ(X)の増大のオーダーを問い、D₆(X)がXの正の定数倍以上となることを予想した。私たちは、明示的な定数κ₃＝2.7097…を用いてD₃(X)＝κ₃√X＋Oε(X^(2/5＋ε))であること、およびD₅(X)とD₆(X)がいずれもXと同じオーダーであることを証明する。古典的な事実と合わせることで、すべてのkに対するDₖ(X)の増大のオーダーが決まる。 指数2/5は、ペル方程式に対する一様な境界とギャラガーの大篩（larger sieve）の釣り合いを取り、ヴェイユの評価から剰余の制約を得ることで生じる。5個および6個の因子の場合には、小さく固定したα＞0に対して、X^(1−α)を超える素因数を持つ整数に対象を絞る。Matomäki、Radziwiłł、Shao、Tao、Teräväinenによる素数の等分布評価と大篩（large sieve）を組み合わせ、より少ない因子による表現を排除する。付録では、有限アーベル群の零和定理を用いて、すべてのm≧2について、固定されたアフィン関数で引数が与えられる、個数が有界な相異なる階乗の積で表される完全m乗数を構成する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-10-01（UTC）
- 最新改訂
- 2026-10-01 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-10-01 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
For $n\ge2$ let $F(n)$ be the least $k\ge2$ such that $n!$ is the largest factor in a product of $k$ distinct factorials that is a perfect square, and let $D_k(X)$ be the number of $n\le X$ with $F(n)=k$. Erdos and Graham asked for the order of growth of $D_k(X)$ for $3\le k\le6$, and conjectured that $D_6(X)\gg X$. We prove that $D_3(X)=\kappa_3\sqrt X+O_\varepsilon(X^{2/5+\varepsilon})$ with an explicit constant $\kappa_3=2.7097\ldots$, and that $D_5(X)\asymp D_6(X)\asymp X$. Together with classical facts, this determines the order of growth of $D_k(X)$ for every $k$. The exponent $2/5$ comes from balancing a uniform bound for Pell equations against Gallagher's larger sieve, with residue restrictions supplied by the Weil bound. For five and six factors we restrict to integers with a prime factor exceeding $X^{1-\alpha}$, where $\alpha>0$ is small and fixed. We exclude shorter representations by combining an equidistribution estimate for primes of Matomaki, Radziwill, Shao, Tao and Teravainen with the large sieve. In an appendix we use a zero-sum theorem for finite abelian groups to construct, for every $m\ge2$, perfect $m$-th powers that are products of a bounded number of distinct factorials with arguments given by fixed affine functions.
著者のコメント
18 pages
arXiv ID: 2610.01899 ／ 要約の誤りについて