[논문 리뷰] On probability measures arising from lattice points on circles

Pär Kurlberg, Igor Wigman|Research Portal (King's College London)|2015. 01. 08.

Mathematical Dynamics and Fractals참고 문헌 4인용 수 5

한 줄 요약

이 논문은 원점 중심의 원 위의 격자점에서 유도된 확률 측도를 조사하며, 이러한 점들에 대한 정규화된 수세기 측도의 약한 극한으로서 도달 가능한 측도—즉, 약한 수렴하는 측도—가 콘볼루션에 대해 닫혀 있고 모든 극단적인 대칭 측도를 포함한다는 것을 보여준다. 그러나 모든 대칭 확률 측도가 도달 가능한 것은 아니며, 푸리에 계수에 대한 제약 조건에 의해 이를 입증한다: 도달 가능한 측도에 대해서는 $\hat{\mu}(8)$가 $2\hat{\mu}(4)^2 - 1$과 $\max(\hat{\mu}(4)^4, (2|\hat{\mu}(4)| - 1)^2)$ 사이에 있어야 하며, 이는 소수 거듭제곱 기여로 인해 도달 가능한 측도의 집합에 분수적 유사한 구조가 존재함을 드러낸다.

ABSTRACT

A circle, centered at the origin and with radius chosen so that it has non-empty intersection with the integer lattice $\mathbb{Z}^{2}$, gives rise to a probability measure on the unit circle in a natural way. Such measures, and their weak limits, are said to be attainable from lattice points on circles. We investigate the set of attainable measures and show that it contains all extreme points, in the sense of convex geometry, of the set of all probability measures that are invariant under some natural symmetries. Further, the set of attainable measures is closed under convolution, yet there exist symmetric probability measures that are not attainable. To show this, we study the geometry of projections onto a finite number of Fourier coefficients and find that the set of attainable measures has many singularities with a "fractal" structure. This complicated structure in some sense arises from prime powers - singularities do not occur for circles of radius $\sqrt{n}$ if $n$ is square free.

연구 동기 및 목표

• 원점 중심의 원 위의 격자점에 대한 정규화된 수세기 측도의 약한 극한으로서 도달 가능한 확률 측도의 집합을 특성화하는 것.
• 원 위의 대칭 확률 측도(즉, $\pi/2$ 회전과 복소수 켤리함수에 대해 불변인 측도)가 이러한 격자점에서 도달 가능한지 여부를 규명하는 것.
• 푸리에 계수와 그 제약 조건을 이용하여 도달 가능한 측도의 기하학적 및 산술적 구조를 분석하는 것.
• 소수 거듭제곱이 도달 가능한 측도 공간 내에서 특이점과 분수적 유사 구조를 생성하는 데 어떻게 기여하는지 조사하는 것.

제안 방법

• 모든 $n \in \mathbb{Z}$ 중 두 제곱수의 합으로 표현 가능한 수에 대해, 반지름이 $\sqrt{n}$ 인 원 위의 격자점에 대한 딜라 델타 함수의 정규화된 합으로 정의된 확률 측도 $\mu_n$를 정의한다.
• 도달 가능한 측도의 구조를 분석하기 위해 푸리에 계수 $\hat{\mu}(k) = \int_{\mathcal{S}^1} z^{-k} d\mu(z)$를 사용하며, 특히 $\hat{\mu}(4)$와 $\hat{\mu}(8)$에 집중한다.
• 도달 가능한 측도의 집합이 콘볼루션에 대해 닫혀 있고, 소수 거듭제곱 도달 가능한 측도—즉, 소수 $p \equiv 1 \pmod{4}$ 에 대해 $\mu_{p^e}$ 의 약한 극한—에 의해 생성된다는 것을 증명한다.
• 도달 가능한 측도의 집합이 $x = \hat{\mu}(4)$, $y = \hat{\mu}(8)$ 에 대해 부등식 $2x^2 - 1 \leq y \leq \max(x^4, (2|x| - 1)^2)$ 로 정의된 영역 내에 포함됨을 증명한다.
• 첫 번째 몇 개의 푸리에 계수에 대한 투영의 기하학을 분석하여, $|x| = 1$ 근처에 코니컬 구조와 특이점이 존재함을 드러내며, 특히 고차 소수 거듭제곱 기여로 인해 발생한다.
• 테일러 전개와 삼각함수 다항식의 부호 분석을 통해 도달 가능한 영역 경계의 곡률에 대한 부등식을 증명하며, 특히 $|\hat{\mu}(4)| \leq 1/3$ 영역에서 집중한다.

실험 결과

연구 질문

• RQ1 단위 원 위의 모든 대칭 확률 측도가 원 위의 격자점 수세기 측도의 약한 극한으로 도달 가능한가?
• RQ2 푸리에 계수 $\hat{\mu}(4)$와 $\hat{\mu}(8)$는 도달 가능한 측도의 집합에 어떤 제약 조건을 가하는가?
• RQ3 왜 도달 가능한 측도의 집합에 특이점과 분수적 유사 구조가 나타나며, 이는 소수 거듭제곱 반지름과 어떻게 관련되어 있는가?
• RQ4 제곱 자유 수 $n$ 과 고차 소수 거듭제곱 인수를 가진 $n$ 에 대해 도달 가능한 측도의 구조는 어떻게 다를까?
• RQ5 도달 가능한 푸리에 계수의 영역은 완전히 특성화될 수 있으며, 전체 대칭 측도 집합보다 엄밀히 작을까?

주요 결과

• 도달 가능한 측도의 집합은 콘볼루션에 대해 닫혀 있으며, 소수 거듭제곱 도달 가능한 측도—즉, 소수 $p \equiv 1 \pmod{4}$ 에 대해 $\mu_{p^e}$ 의 약한 극한—에 의해 생성된다.
• 도달 가능한 측도의 집합은 대칭 확률 측도의 볼록 집합의 모든 극단점들을 포함하지만, 전체 대칭 측도 집합보다 엄밀히 작다.
• 모든 도달 가능한 측도 $\mu$ 에 대해 푸리에 계수는 $2\hat{\mu}(4)^2 - 1 \leq \hat{\mu}(8) \leq \max(\hat{\mu}(4)^4, (2|\hat{\mu}(4)| - 1)^2)$ 를 만족하며, 등호는 특정 기하 구조에 해당한다.
• 도달 가능한 푸리에 계수의 영역은 $|\hat{\mu}(4)| = 1$ 근처에 코니컬 구조를 가지며, 곡선 $y = x^4$ 와 $y = (2|x| - 1)^2$ 가 같은 탄젠트를 가짐으로써 특이 행동을 나타낸다.
• 수치 실험 결과, $|\hat{\mu}(4)| \leq 1/3$ 이고, 하한 $2x^2 - 1$ 을 초과하지만 상한 이하인 $\hat{\mu}(8)$ 를 갖는 점들은 희귀하지만 존재함을 보여주며, 이는 영역이 희박하게 채워져 있지만 비어 있지 않음을 시사한다.
• 도달 가능한 집합의 분수적 유사 구조는 고차 소수 거듭제곱의 기여로 발생하며, 제곱 자유 수 $n$ 에 대해서는 이러한 특이점이 없고 더 단순한 구조를 가진다.