arXiv論文メモ
新着一覧
math.NA / cs.NA · 査読状況未確認

四面体を最長辺で分割すると形が崩れる反例

On degeneration of tetrahedra under longest-edge n-section refinement

Sergey Korotov

この論文をやさしく読む

ひとことで言うと

四面体を長い辺で繰り返し分けると、細長い形や平たい形に崩れる反例を示した数学研究です。

何に役立つ?

数値計算のための四面体メッシュを細かくする方法で、形が崩れない保証が必要か判断する材料になります。

この研究の面白いところ

二分割と三分割について過去の予想を反証し、整合的な分割でも直径が小さくなるだけでは形状を保てないと示しています。

どこまで分かった?

明示的な反例と数学的な性質の結果です。個々の計算用途での数値誤差の大きさは要旨に示されていません。

v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。

アブストラクトの日本語訳

任意の整数n≥2について、四面体を最長辺に沿って繰り返しn分割しても、一般には形状の正則性が保たれないことを示す明示的な反例を構成した。これは長年の予想に反する。n=2では、この構成はAdlerが1983年に提起した有限族予想と、RivaraとLevinが1992年に定式化した四面体の最長辺二分割に関する非退化予想を否定する。また、Stynesが1980年に平面の場合の有限相似性を示した後、1983年に示唆した高次元でのより速い直径減少も、任意の四面体には成り立たないことを示す。n=3では、Suárez、Abellón、Abad、Plazaが数値実験に基づいて2011年に公表した四面体の最長辺三分割に関する非退化予想を否定する。得られた子孫四面体の無限列は、最小角条件と最大角条件の両方に反する。n≥3では、各分割段階で選ばれる辺は常に一意の最長辺である。この構成に使う二段階の漸化式には、2≤n≤5で四面体が平たくなる場合と、n≥6で細長くなる場合という、二種類の退化の振る舞いがある。退化する列は、整合的な最長辺n分割アルゴリズムが作る整合的な分割の中でも実現できる。古典的な方法と整合的な方法の両方で、どの最長辺を選んでも、分割回数を増やすと要素の最大直径はゼロへ近づく。したがって、直径の収束や分割の整合性があっても、形の退化は防げない。形状の一様な正則性を要する用途では、これらのアルゴリズムを慎重に使う必要がある。

v1の要旨から自動生成。本文の精読・人による確認は未実施。

初稿
2026-09-24(UTC)
最新改訂
2026-09-24 · v1
査読・掲載
査読状況未確認
arXivで読むPDF

更新履歴

取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。

原文の要旨

For every integer $n \ge 2$, we construct explicit tetrahedral counterexamples showing that repeated longest-edge (LE) n-section refinement does not, in general, preserve shape regularity, contrary to long-standing conjectural expectations. For $n = 2$, the construction disproves the finite-family conjecture put forward by Adler in 1983 and the non-degeneracy conjecture for tetrahedral longest-edge bisection formulated by Rivara and Levin in 1992. It also shows that the sharper higher-dimensional diameter decay suggested by Stynes in 1983,following his 1980 planar finite-similarity result, cannot hold for arbitrary tetrahedra. For $n = 3$, it disproves the published non-degeneracy conjecture for tetrahedral longest-edge trisection formulated in 2011 by Suárez, Abellón, Abad and Plaza on the basis of numerical experiments. The resulting infinite descendant sequences violate both the minimum and maximum angle conditions. For $n \ge 3$, the selected edge is always the unique longest edge at every refinement step. The two-step recurrence used in the construction exhibits two distinct degeneration behaviors: a flat-tetrahedron regime for $2 \le n \le 5$ and a skinny-tetrahedron regime for $n \ge 6$. The degenerating sequences can also be realized within conforming partitions generated by the conforming LE n-section algorithm. For both the classical and the conforming LE n-section algorithms, the maximal element diameter tends to zero as the number of refinement steps tends to infinity, regardless of which longest edge is chosen. Thus diameter convergence, and even conformity, do not prevent shape degeneration. These algorithms should therefore be used with care in applications requiring uniform shape regularity.

arXiv ID: 2609.29153 / 要約の誤りについて