[논문 리뷰] New examples of period collapse

Dan Cristofaro‐Gardiner, Teresa Xueshan Li외 1명|arXiv (Cornell University)|2015. 09. 07.

Advanced Combinatorial Mathematics참고 문헌 6인용 수 8

한 줄 요약

이 논문은 에르하르트 이론에서 주기 붕괴(period collapse)의 새로운 예를 제시한다. 여기서 다각형의 에르하르트 함수는 그 분모보다 더 작은 주기를 가질 수 있다. 정점이 (0,0), (1/u,0), (0,1/v)인 무리수 삼각형이 에르하르트 함수가 다항식 또는 쿼드라틱 다항식이 되는 조건을 규명하고, 높은 차원의 예도 구성한다. 특히, 비유리수 정점을 가진 3차원 테트라페드론의 에르하르트 함수가 고정된 삼차 다항식임을 보여준다.

ABSTRACT

"Period collapse" refers to any situation where the period of the Ehrhart function of a polytope is less than the denominator of that polytope. We study several interesting situations where this occurs, primarily involving triangles. For example: 1) we determine exactly when the Ehrhart function of a right triangle with legs on the axes and slant edge with irrational slope is a polynomial; 2) we find triangles with periods given by any even-index k-Fibonacci number, and larger denominators; 3) we construct several higher dimensional examples. Several related issues are also discussed, including connections with symplectic geometry.

연구 동기 및 목표

• 비유리수 정점 좌표를 가진 다각형, 특히 삼각형의 경우에 에르하르트 함수가 주기적 다항식 또는 다항식이 되는 조건을 조사함으로써 주기 붕괴가 발생하는지 탐구한다. 이는 분모가 무한대임에도 불구하고.
• 이러한 삼각형이 의사유리수(pseudo-rational) 또는 의사정수형(pseudo-integral)이 되는 정확한 조건을 규명하고, 기존의 유리수 다각형에 대한 결과를 확장한다.
• 높은 차원의 주기 붕괴 예를 구성한다. 특히, 비유리수 정점을 가진 3차원 테트라페드론이 다항식 에르하르트 함수를 갖는 경우를 포함한다.
• 주기 붕괴와 심플렉틱 기하학 사이의 관계를 탐색하고, 고전적인 에르하르트 성질(예: 역수성 및 비음성)이 비유리수 설정에서 어떻게 유지되는지 조사한다.

제안 방법

• 대수적 수론을 활용하여, 공액의 이차 무리수 u와 v 및 그 역수들의 합이 유리수가 되는 조건을 분석함으로써, 쿼드라틱 다항식 형태의 에르하르트 함수를 유도한다.
• P-재귀 수열 이론을 적용하여, 일부 비유리수 삼각형의 에르하르트 함수가 P-재귀가 아니라는 것을 보여주고, 이는 그것들이 유리수 에르하르트 함수일 수 없음을 시사한다.
• 이전에 알려진 2차원 삼각형의 에르하르트 함수를 기반으로, 반복적 적분을 통해 고차원 예를 구성한다.
• 피보나치 수열 유사 수열을 포함하는 유리수 다각형의 수열에 대한 극한 근사 기법을 사용하여, 극한으로 수렴하는 비유리수 다각형의 에르하르트 다항식을 유도한다.
• 특정 비유리수 테트라페드론의 에르하르트 함수를 직접 계산하기 위해, 스케일된 다각형 내의 격자점에 대해 합을 구하고, floor 함수 항등식과 유리수 근사값을 활용한다.
• t의 홀짝성에 따른 경우 분석을 통해 증명하며, 2+√2와 2−√2와 같은 무리수 상수를 포함하는 항등식을 사용하여 합을 다항식 형태로 단순화한다.

실험 결과

연구 질문

• RQ1 정점이 (0,0), (1/u,0), (0,1/v)인 비유리수 삼각형의 에르하르트 함수가 쿼드라틱 다항식 또는 다항식이 되는 조건은 무엇인가?
• RQ2 비유리수 정점을 가진 고차원 다각형에서도 주기 붕괴가 발생할 수 있는가? 만약 가능하다면, 어떤 조건에서 발생하는가?
• RQ3 정점 매개변수의 대수적 성질(예: 공액의 이차 무리수)과 에르하르트 함수의 주기성 사이의 관계는 무엇인가?
• RQ4 에르하르트의 고전적 성질(예: 역수성 및 비음성)은 쿼드라틱 다항식 에르하르트 함수를 갖는 비유리수 다각형으로까지 확장되는가?
• RQ5 한국의 유리수 다각형들이 동일한 에르하르트 다항식을 갖는 수열을 통해, 극한 비유리수 다각형의 에르하르트 함수를 유도할 수 있는가?

주요 결과

• 정점이 (0,0), (1/u,0), (0,1/v)인 비유리수 삼각형은 u+v와 1/u+1/v가 각각 유리수 양의 정수 α와 β일 때에만 의사유리수이며, 그 에르하르트 함수의 주기는 α를 나누어야 한다.
• 위 조건이 성립할 때 삼각형이 의사정수형이 되며, (α,β)가 (1,1), (3,3), 또는 (2,4)일 경우에만 해당한다. 최소 면적은 τ가 황금비일 때 (u,v) = (τ², 1/τ²)에서 발생한다.
• 모든 짝수 인덱스를 가진 k-피보나치 수에 대해, 해당 수의 주기를 갖는 삼각형이 존재함을 보여주며, 이는 유리수 다각형을 초월한 풍부한 주기 붕괴의 가족을 보여준다.
• 정점이 (0,0,0), (1/2,0,0), (0,2+√2,0), (0,0,2−√2)인 3차원 테트라페드론의 에르하르트 함수는 다항식 f(t) = (1/6)t³ + t² + (11/6)t + 1과 정확히 일치한다. 비록 정점 좌표가 비유리수이지만 말이다.
• 극한 테트라페드론의 에르하르트 함수는 동일한 에르하르트 다항식을 갖는 유리수 테트라페드론 수열에 대한 극한 근사로 유도되었으며, 이는 극한의 결과가 극한 외부의 방법으로도 독립적으로 확인됨을 보여준다.
• 비유리수 테트라페드론의 에르하르트 함수는 floor 함수 항등식과 무리수 상수를 활용한 직접 합산 및 단순화를 통해 다항식임을 증명하였으며, 그 결과는 끝내 유리수 다항식이 된다.