[논문 리뷰] Computation of the w-primality and asymptotic w-primality with applications to numerical semigroups

J. I. García-García, M. A. Moreno-Frías외 1명|arXiv (Cornell University)|2013. 07. 22.

Mathematical and Theoretical Analysis참고 문헌 9인용 수 4

한 줄 요약

이 논문은 유한 생성 원자 모노이드, 특히 수치 반군에서 원소의 ω-초기성(ω-primality)을 계산하는 알고리즘을 제시한다. 준아르키메데스 모노이드에서 점점 커지는 ω-초기성에 대한 폐형 공식을 유도하며, 최소 생성집합으로 생성된 수치 반군 ⟨s₁ < ⋯ < sₚ⟩에 대해 임의의 원소 s에 대한 점점 커지는 ω-초기성은 ȳ(s) = s/s₁ 임을 증명한다.

ABSTRACT

We give an algorithm to compute the $ω$-primality of finitely generated atomic monoids. Asymptotic $\w$-primality is also studied and a formula to obtain it in finitely generated quasi-Archimedean monoids is proven. The formulation is applied to numerical semigroups, obtaining an expression of this invariant in terms of its system of generators.

연구 동기 및 목표

• 유한 생성 원자 모노이드의 유한 표현을 사용하여 그 원소의 ω-초기성을 계산하는 알고리즘을 개발하는 것.
• 유한 생성 준아르키메데스 취소 가능 모노이드, 즉 수치 반군을 포함하는 클래스에서 점점 커지는 ω-초기성을 연구하는 것.
• 최소 생성집합에 기반하여 수치 반군에서 점점 커지는 ω-초기성에 대한 폐형 표현을 도출하는 것.
• 이론적 결과를 실용적 계산을 위한 Mathematica 소프트웨어 패키지인 OmegaPrimality에 구현하는 것.
• 특히 수치 반군의 맥락에서 ω-불변량과 모노이드 생성원의 구조 사이의 관계를 규명하는 것.

제안 방법

• 유한 생성 교환 모노이드의 유한 표현을 ℕᵖ/σ 형태로 사용하며, 여기서 σ는 동치 관계이다.
• 원소를 모노이드 내에서 표현하기 위해 최소 생성집합과 동치류 [γ]σ의 개념을 적용한다.
• 나눗셈 이상의 이상이 아닌 원소들로 구성된 집합인 E(a+S)를 사용하여 ω(a)를 계산하며, 최소 원소의 길이에 대한 경계를 이용한다.
• 점점 커지는 ω-초기성 ȳ(a)에 대한 하한을 limₙ→∞ ω(na)/n의 극한을 통해 도출하고, ℚᵖ≥ 내의 유리점 위에서 최적화를 통해 등식을 증명한다.
• 준아르키메데스 모노이드의 구조를 활용하여 ȳ(a) = k₁(γ₁/k₁ + ⋯ + γₚ/kₚ)를 유도하며, 여기서 kᵢ는 생성원들의 최소공배수로부터 유도된다.
• 수치 반군에 이 결과를 적용하기 위해 kᵢ = lcm(s₁,…,sₚ)/sᵢ로 설정함으로써 최종 공식 ȳ(s) = s/s₁를 도출한다.

실험 결과

연구 질문

• RQ1 유한 생성 원자 모노이드의 원소에 대한 ω-초기성을 그 표현으로부터 알고리즘적으로 어떻게 계산할 수 있는가?
• RQ2 준아르키메데스 취소 가능 모노이드에서 점점 커지는 ω-초기성은 무엇이며, 이를 폐형으로 표현할 수 있는가?
• RQ3 수치 반군의 원소에 대한 점점 커지는 ω-초기성은 무엇이며, 그 최소 생성집합과의 관계는 어떠한가?
• RQ4 이론적 결과는 요약적으로 실용적 요소 분석 이론에서 사용 가능한 계산 도구로 효과적으로 구현될 수 있는가?
• RQ5 수치 반군의 맥락에서 ω-불변량과 모노이드 생성원의 구조 사이의 정확한 관계는 무엇인가?

주요 결과

• 유한 생성 원자 모노이드의 임의의 원소 a에 대해 그 유한 표현으로부터 ω(a)를 계산하는 알고리즘이 개발되었다.
• 준아르키메데스 취소 가능 모노이드에서 점점 커지는 ω-초기성은 ȳ(a) = k₁(γ₁/k₁ + ⋯ + γₚ/kₚ)로 주어지며, 여기서 γ는 원소 a의 좌표 벡터이고 kᵢ는 모노이드의 구조로부터 유도된다.
• 최소 생성집합 ⟨s₁ < ⋯ < sₚ⟩로 생성된 수치 반군에서 임의의 원소 s에 대한 점점 커지는 ω-초기성은 ȳ(s) = s/s₁로 주어지며, 간단하고 명시적인 공식이다.
• 공식 ȳ(s) = s/s₁는 s를 생성원의 선형 조합으로 표현하고 생성원들의 최소공배수를 이용해 스케일링 인자 kᵢ를 정의함으로써 도출된다.
• 이론적 결과는 유한 표현 또는 생성원으로부터 ω-불변량을 계산할 수 있도록 Mathematica에 구현된 OmegaPrimality 소프트웨어 패키지로 보완된다.
• 논문은 극한 limₙ→∞ ω(na)/n 이 존재하며 유도된 표현과 일치함을 증명하여 ω-불변량의 점점 커지는 행동을 확인한다.