[논문 리뷰] The Probability that k Ideals in a Ring of Algebraic Integers are m-wise Relatively Prime

Ryan D. DeMoss, Brian D. Sittinger|arXiv (Cornell University)|2018. 03. 25.

Analytic Number Theory Research인용 수 2

한 줄 요약

이 논문은 대수적 정수환의 고정된 링에서 k개의 아이디얼이 m-번 상대적으로 소수임을 의미하는 확률에 대한 정확한 공식을 유도한다. 즉, k개의 아이디얼 중 어떤 m개의 아이디얼이라도 공통의 소수 아이디얼 인수를 공유하지 않는다. 제타 함수 기법과 산술 밀도 추론을 사용하여, 고전적 쌍별 상대적 소수성 확률을 대수적 수체에서의 고차 상대적 소수성 조건으로 일반화한 닫힌 형태의 표현식을 확립한다.

ABSTRACT

We say that k ideals of algebraic integers in a fixed number ring are m-wise relatively prime if any m of them are relatively prime. In this article, we provide an exact formula for the probability that $k$ ideals of algebraic integers in a fixed number ring are m-wise relatively prime.

연구 동기 및 목표

• 수체의 아이디얼 k개 간의 쌍별 상대적 소수성 개념을 일반화하여 m-번 상대적 소수성으로 확장한다.
• 고정된 대수적 정수환에서 m-번 상대적으로 소수인 k개의 아이디얼 튜플의 자연 밀도를 결정한다.
• 대수적 수론 및 제타 함수 도구를 사용하여 이 확률에 대한 닫힌 형태의 해석적 표현식을 도출한다.

제안 방법

• 수체의 아이디얼 클래스군과 디데킨트 제타 함수를 사용하여 문제를 모델링한다.
• m-번 상대적 소수성을, k-튜플에 속한 어떤 m개의 서로 다른 아이디얼이라도 최대공약수가 자명함을 조건으로 정의한다.
• 소수 아이디얼에 대한 오일러 곱을 분석하여 이러한 k-튜플의 자연 밀도를 계산한다.
• 아이디얼 구성에 대한 곱셈 산술 함수와 포함-배제 원리를 사용한다.
• 지역 밀도에 대한 곱으로 표현되는 확률을 나타내는 소수 아이디얼에 대한 유한 곱 공식을 유도한다.
• m = 2인 경우(쌍별 상대적 소수성)에 알려진 결과와의 일致성을 검증하고 일반 m ≥ 2로 확장한다.

실험 결과

연구 질문

• RQ1 일반적인 m과 k에 대해 고정된 대수적 정수환에서 m-번 상대적으로 소수인 k개의 아이디얼 튜플의 자연 밀도는 무엇인가?
• RQ2 m-번 상대적 소수성의 확률은 수체의 아이디얼 군 구조와 제타 함수에 어떻게 의존하는가?
• RQ3 고전적 쌍별 상대적 소수성 확률은 이 일반화된 m-번 조건의 특수한 경우로 복원될 수 있는가?
• RQ4 m > 2이고 k > m일 때 밀도 공식의 함수 형태는 어떻게 되는가?
• RQ5 소수 아이디얼에서의 지역 밀도는 어떻게 조합되어 전체적인 m-번 상대적 소수성의 전역 확률을 이끌어내는가?

주요 결과

• 논문은 고정된 대수적 정수환에서 k개의 아이디얼이 m-번 상대적으로 소수일 확률에 대한 닫힌 형태의 공식을 확립한다.
• 확률은 소수 아이디얼에 대한 오일러 곱으로 표현되며, 각 국소 요소는 이항계수 C(m-1, k-1)와 잔여체 크기에 의존한다.
• m = 2일 경우 기존의 쌍별 상대적 소수성 확률로 축소되어 이전 결과와의 일致성을 확인한다.
• 모든 m ≥ 2 및 k ≥ m에 대해 확률은 0보다 엄격히 양이며, 0에서 멀리 떨어져 있어 m-번 상대적 소수성의 일반성과 일치한다.
• 이 결과는 고전적 확률론적 수론을 대수적 수체에서의 고차 아이디얼 상대적 소수성 조건으로 확장한다.