原始ピタゴラス四つ組から作る半群の最大の欠けた整数
Frobenius Numbers Associated with Primitive Pythagorean Quadruples
この論文をやさしく読む
ひとことで言うと
特定の四つの整数を非負整数倍して足しても作れない数のうち、最大のものを求める数学研究です。原始ピタゴラス四つ組を生成元にした場合を扱います。
何に役立つ？
この種類の数値半群について、フロベニウス数をパラメータから求める道具になります。整数の表現可能性を具体的に調べる基礎研究です。
この研究の面白いところ
剰余類の代表を明示し、一般の要素を正規化することで公式を導きます。最大公約数δに応じて仮定が二つに分かれています。
どこまで分かった？
δ = 1ではm ≥ 2Q、それ以外ではm ≥ 2Q/δ − 1という条件付きです。公式そのものは要旨には載っておらず、条件外の結論も記されていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
(a, b, c, d) = (2mn, 2mp, m² − n² − p², m² + n² + p²)を原始ピタゴラス四つ組とし、S = ⟨a, b, c, d⟩をa、b、c、dで生成される数値半群とする。便宜上、Q = n² + p²、δ = gcd(n, p)と置き、ある整数n₀についてn = δn₀とする。本論文ではSのフロベニウス数を決定し、δ = 1の場合はm ≥ 2Q、それ以外の場合はm ≥ 2Q/δ − 1という仮定のもとで、m、n、pによる明示的な公式を導く。証明は、2mnを法とする明示的な完全剰余系、任意の半群要素の正規化手続き、境界代表元の持ち上げ軌道による記述に基づく。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-18（UTC）
- 最新改訂
- 2026-09-18 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-18 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Let $(a,b,c,d) = \left(2mn, 2mp, m^2 - n^2 - p^2, m^2 + n^2 + p^2\right)$ be a primitive Pythagorean quadruple and let $S=\langle a, b, c, d\rangle$ be the numerical semigroup generated by $a,b,c,$ and $d.$ For convenience, we also let $Q = n^2 + p^2, \delta = \gcd(n,p),$ and $n = \delta n_0$ for some $n_0 \in \mathbb{Z}$. In this paper, we determine the Frobenius number of $S$ and derive an explicit formula in terms of $m$, $n$, and $p$ with the assumption that $m\geq 2Q$ for $\delta = 1$ and $m \geq \frac{2Q}{\delta} - 1$ for the remaining cases. The proof is based on an explicit complete residue system modulo $2mn$, a normalization procedure for arbitrary semigroup elements, and a lift-orbit description of boundary representatives.
著者のコメント
16 pages
arXiv ID: 2609.21397 ／ 要約の誤りについて