[논문 리뷰] Shape (In)dependent Inequalities for Triangleland's Jacobi and Democratic-Linear Ellipticity Quantitities

Edward Anderson|arXiv (Cornell University)|2017. 12. 12.

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체 문제 프레임워크 내에서 중선을 변과 동일하게 취급한다.
• 켄달의 형태 구면에서 호프 좌표를 활용하며, 이 세 축은 각각 4×질량 가중 면적, 이등변성, 타원도(또는 그 민주적 변형)에 대응한다.
• 기존의 민주적 평균화 과정에서 퇴화되는 것을 방지하기 위해, 기저 변과 중선의 이차 모멘트 간의 차이로 새로운 '선형 타원도' 측정법을 도입한다.
• 잭비 크기의 총 평균(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에 해당하며, 이는 그가 중심적이고 대칭적인 기준점임을 확인한다.
• 선형 타원도가 0이 되는 핵심 조건은 S²(27S_G³ − 64M_G³) = 0이며, 이는 정삼각형 및 기타 대칭 해를 포함한다.
• 형태에 무관한 경계 −(2−√3)/(2+√3) ≤ ⟨lin-ellip⟩ ≤ +(2−√3)/(2+√3)가 존재하며, 정규화된 형태는 표준 ±1 범위를 달성한다.
• 타원도의 민주적 평균화는 변과 중선의 평균 이차 모멘트가 동일하기 때문에 퇴화되며, 이를 피하기 위해 별개의 선형 타원도 측정법이 도입되어야 한다.
• 중선 이론에서 나타나는 4/3 거듭제곱은 잭비 질량 비율로 규명되었으며, 이는 반복적으로 나타나는 기하 상수의 물리적-역학적 해석을 제공한다.