[논문 리뷰] A Note on Boolean Lattices and Farey Sequences

Andrey O. Matveev|ArXiv.org|2007. 02. 05.

Limits and Structures in Graph Theory인용 수 4

한 줄 요약

이 논문은 2m-원소 집합의 부울 라티스에서의 질서-m 원소와 관련된 Farey 부분순서 ℱ(ℬ(2m), m)의 왼쪽 및 오른쪽 반순서와 표준 Farey 순서 𝒻ₘ 사이의 단조적 전단사 사상들을 수립한다. 이들 사상들을 통해 분수로 색인화된 이항계수를 포함하는 새로운 조합적 항등식을 유도하며, 질서 기반 부분집합 수세기 및 모듈로 산술 제약 조건을 통해 부울 라티스와 Farey 순서 사이의 깊은 구조적 연결 고리를 드러낸다.

ABSTRACT

We establish monotone bijections between the Farey sequences of order m and the halfsequences of Farey subsequences associated with the rank m elements of the Boolean lattice of subsets of a 2m-set. We also present a few related combinatorial identities.

연구 동기 및 목표

• 표준 Farey 순서 𝒻ₘ과 2m-원소 집합의 부울 라티스에서의 질서-m 원소와 관련된 Farey 부분순서 ℱ(ℬ(2m), m)의 반순서 사이의 구조적 대응 관계를 수립한다.
• ℱ(ℬ(2m), m)의 조합적 성질을 탐구하며, 특히 질서 기반 부분집합으로의 분할과 이 부분집합의 이항계수를 통한 수세기 방법을 다룬다.
• Farey 부분순서 ℱ(ℬ(2m), m)의 전단사 사상과 대칭성 특성을 활용하여 새로운 조합적 항등식을 도출한다. 특히 순서를 뒤집는 사상에 대해 다룬다.
• -established 전단사 사상들을 통해 이러한 결과들을 표준 Farey 순서 𝒻ₘ로 확장하여, 𝒻ₘ에 대해 유사한 항등식을 도출한다.

제안 방법

• 모듈로 역수를 사용하여 이전 및 다음 분수를 정의함으로써, Farey 순서 𝒻ₘ와 ℱ(ℬ(2m), m)의 왼쪽 및 오른쪽 반순서 사이의 단조적 전단사 사상을 구성한다.
• 순서를 뒤집는 사상 𝒻(ℬ(n), m) → 𝒻(ℬ(n), n−m)을 h/k ↦ (k−h)/k 로 정의하며, 이는 전단사성과 대칭성을 유지한다.
• 부울 라티스 ℬ(n)의 부분순서 집합 구조, 특히 질서-m 원소에 의해 생성된 순서 이상 및 필터를 사용하여, 부분순서 집합 ℱ(𝕀(a′) ∩ ℬ(n)⁽¹⁾)를 분할한다.
• 서로 다른 두 표현을 통해 2ⁿ − 2ⁿ⁻ᵐ 의 기수를 균형 잡고, 하나는 부분집합 수세기로, 다른 하나는 ℱ(ℬ(n), m)의 분수들 위에서 이항계수의 합으로 표현함으로써 핵심 항등식을 도출한다.
• ℱ(ℬ(n), m)과 ℱ(ℬ(n), n−m) 사이의 대칭성을 적용하여, Proposition 2를 도출한다. 이는 두 이항계수의 합이 2ⁿ − 2ᵐ − 2ⁿ⁻ᵐ + 1 과 같음을 보여준다.
• 일반적인 경우를 n = 2m 로 특수화하여, Proposition 7과 Corollary 8를 도출한다. 이들은 ℱ(ℬ(2m), m)과 𝒻ₘ에 대해 대칭적인 항등식을 제시하며, 특정 구간 내 분수 위에서의 합과 이항계수의 곱을 포함한다.

실험 결과

연구 질문

• RQ1 Farey 순서 𝒻ₘ와 Farey 부분순서 ℱ(ℬ(2m), m)의 반순서 사이의 단조적 전단사 사상에 의해 어떤 관계가 형성되는가?
• RQ2 부울 라티스 ℬ(n) 내의 부분순서 집합 ℱ(𝕀(a′) ∩ ℬ(n)⁽¹⁾)의 분할로부터 어떤 조합적 항등식이 도출되는가?
• RQ3 h/k ↦ (k−h)/k 사상에 의한 ℱ(ℬ(n), m)과 ℱ(ℬ(n), n−m) 사이의 대칭성은 어떻게 균형 잡힌 이항계수 합을 이끌어내는가?
• RQ4 ℱ(ℬ(2m), m)에 대해 수립된 전단사 사상들을 통해 표준 Farey 순서 𝒻ₘ에 대해 어떤 항등식을 도출할 수 있는가?
• RQ5 모듈로 역수와 유클리드 함수는 ℱ(ℬ(2m), m) 내 분수의 이전 및 다음 분수를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 표준 Farey 순서 𝒻ₘ와 Farey 부분순서 ℱ(ℬ(2m), m)의 왼쪽 및 오른쪽 반순서 사이에 단조적 전단사 사상이 존재하며, 이는 h 모듈로 (k−h)의 모듈로 역수를 통해 이전 및 다음 분수를 정의한다.
• 분수 h/k ∈ ℱ(ℬ(2m), m), 0 < h/k < 1 인 경우에 대해 ∑_{h/k ∈ ℱ(ℬ(2m), m), 0 < h/k < 1} ∑_{s ≤ ⌊min{m/h, m/(k−h)}⌋} ₑ(m, sh)⋅₇(m, s(k−h)) 는 2²ᵐ − 2ᵐ⁺¹ + 1 와 같다.
• h/k < 1/2 인 분수의 합과 h/k > 1/2 인 분수의 합이 서로 같으며, 둘 다 2²ᵐ⁻¹ − 2ᵐ − ½⋅₇(2m, m) + 1 과 같다.
• h/k ∈ (0, 1/3) 및 (1/3, 1/2) 인 분수의 항들에 대해 ₑ(m, s·h) + ₑ(m, s·(k−2h)) 의 합은 h/k ∈ (1/2, 2/3) 및 (2/3, 1) 인 분수의 합과 같으며, 공통 값은 2²ᵐ⁻¹ − 2ᵐ − ½⋅₇(2m, m) − ∑_{t≤⌊m/2⌋} ₑ(m, 2t)⋅₇(m, t) + 1 과 같다.
• 표준 Farey 순서 𝒻ₘ는 항등식 ∑_{h/k ∈ 𝒻ₘ, 0 < h/k < 1} ∑_{s ≤ ⌊m/k⌋} ₑ(m, sh)⋅₇(m, sk) = 2²ᵐ⁻¹ − 2ᵐ − ½⋅₇(2m, m) + 1 을 만족한다.
• 𝒻ₘ 에서 h/k < 1/2 인 경우의 ₑ(m, sk)(ₑ(m, sh) + ₑ(m, s(k−h))) 합과 h/k > 1/2 인 경우의 합이 서로 같으며, 둘 다 2²ᵐ⁻¹ − 2ᵐ − ½⋅₇(2m, m) − ∑_{t≤⌊m/2⌋} ₑ(m, 2t)⋅₇(m, t) + 1 과 같다.