[論文レビュー] Shape (In)dependent Inequalities for Triangleland's Jacobi and Democratic-Linear Ellipticity Quantitities

Edward Anderson|arXiv (Cornell University)|Dec 12, 2017

Morphological variations and asymmetry参考文献 17被引用数 9

ひとこと要約

本稿では、質量加重ヤコビ座標から導かれる、三角形のための新規の民衆的線形離心率測度を導入し、この量を上下限で制約する形状に依存しないおよび形状に依存する不等式を確立する。中央値に基づく幾何的不等式を関係的および形状理論的用語に再表現することで、ヤコビ質量の比としての4/3乗が特定され、正規化された線形離心率が–1から+1の範囲に収まり、二重衝突および一様な直線配置の極値をとることが証明される。

ABSTRACT

Sides and medians are both Jacobi coordinate magnitudes, moreover then equably entering the spherical coordinates on Kendall's shape sphere and the Hopf coordinates. This motivates treating medians on the same footing as sides in triangle geometry and the resulting Shape Theory. In this paper, we consequently reformulate inequalities for the medians in terms of shape quantities, and proceed to find inequalities on the mass-weighted Jacobi coordinates. This work moreover identifies the $4/3$ -- powers of which occur frequently in the theory of medians -- as the ratio of Jacobi masses. One of the Hopf coordinates is tetra-area. Another is anisoscelesness, which parametrizes whether triangles are left-or-right leaning as bounded by isoscelesness itself. The third is ellipticity, which parametrizes tallness-or-flatness of triangles as bounded by regular triangles. Whereas tetra-area is clearly cluster choice invariant, Jacobi coordinates, anisoscelesness and ellipticity are cluster choice dependent but can be `democratized' by averaging over all clusters. Democratized ellipticity moreover trivializes, due to ellipticity being the difference of base-side and median second moments, whose averages are equal to each other. Thus we introduce a distinct `linear ellipticity' quantifier of tallness-or-flatness of triangles whose democratization is nontrivial, and find inequalities bounding this. Some of this paper's inequalities are shape-independent bounds, whereas others' bounds depend on the isoperimetric ratio and arithmetic-to-geometric side mean ratio shape variables.

研究の動機と目的

• 中央値に基づく幾何的不等式を、中央値を辺と同等に扱う三角形幾何学的枠組みにおいて、形状量の観点から再定式化すること。
• 標準的な平均化による自明化を回避するため、三角形の高さまたは平らさを捉える非自明な「民衆的」線形離心率測度を定義・分析すること。
• 中央値理論における4/3乗がヤコビ質量の比として特定されることを明らかにし、幾何的量と質量加重力学的量を結びつけること。
• 形状変数（等周率および算術平均対幾何平均比など）に依存するか否かにかかわらず、正規化された線形離心率を上下限で制約する不等式を導出すること。
• 正規化された線形離心率の範囲が–1から+1に収まり、二重衝突（B）および一様な直線配置（U）の配置で極値をとることを確立すること。

提案手法

• 中央値の不等式を、中央値を辺と同等に扱う3体問題の枠組みにおいて、質量加重ヤコビ座標を用いて再定式化する。
• ケンダールの形状球上のホフプ座標を用い、3つの軸がそれぞれ4倍の質量加重面積、非二等辺性、および離心率（またはその民衆的変種）に対応する。
• 辺の2次モーメントと中央値の2次モーメントの差として、民衆的平均化下での自明化を回避する新しい「線形離心率」の測定子を導入する。
• ヤコビベクトルの大きさの全平均（F_T）で正規化することで、次元なしで有界な量Ψ = (μ − σ)/(μ + σ) を得る。
• 代数的変形および自乗化技術を用いて、臨界条件S²(27S_G³ − 64M_G³) = 0を導出し、正三角形および他の対称的配置が根として含まれることを特定する。
• 正規化による再スケーリングを用いて、正規化された線形離心率の範囲を導出する：⟨~lin-ellip⟩ = [(2+√3)/(2−√3)] × (Ψ−1)/(Ψ+1) であり、–1から+1の境界が保証される。

実験結果

リサーチクエスチョン

• RQ1 中央値に基づく幾何的不等式を、特にヤコビ座標を用いて、関係的および形状理論的量の観点からどのように再定式化できるか？
• RQ2 標準的な離心率がなぜ民衆的平均化下で自明化するのか、そしてその自明化を回避する高さまたは平らさの代替測度をどのように構築できるか？
• RQ3 中央値理論における4/3乗の重要性は何か？また、ヤコビ座標の質量比とどのように関係しているか？
• RQ4 正規化された線形離心率の最もきつい境界は何か？形状球上でどこで達成されるか？
• RQ5 等周率および算術平均対幾何平均比を含む形状依存の不等式は、線形離心率の境界をどのように精緻化するか？

主な発見

• 正規化された線形離心率⟨~lin-ellip⟩は–1から+1の範囲に収まり、最大値は二重衝突配置Bで、最小値は一様な直線配置Uで達成される。
• 正三角形は⟨~lin-ellip⟩ = 0に対応し、中心的かつ対称的な基準点としての役割を確認する。
• 線形離心率が消える臨界条件はS²(27S_G³ − 64M_G³) = 0であり、正三角形および他の対称的解を含む。
• 形状に依存しない境界−(2−√3)/(2+√3) ≤ ⟨lin-ellip⟩ ≤ +(2−√3)/(2+√3) が得られ、正規化されたバージョンでは標準的な±1の範囲に達する。
• 民衆的平均化による離心率の自明化は、辺と中央値の2次モーメントの平均が等しくなるためであり、これに対して別個の線形離心率測度の導入が不可欠である。
• 中央値理論における4/3乗はヤコビ質量比として特定され、繰り返し現れる幾何定数に物理的・力学的解釈を与える。