[논문 리뷰] On the lattice of equational classes of Boolean functions and its closed intervals

Miguel Couceiro|arXiv (Cornell University)|2011. 05. 17.

Advanced Algebra and Logic참고 문헌 11인용 수 17

한 줄 요약

이 논문은 부울 함수의 등식적 클래스의 격자 내에서 수직이 아닌 닫힌 구간에 대해 조사하며, 구간 $[\mathcal{C}_1, \mathcal{C}_2]$가 비가산임을 보장하는 필요충분조건을 설정한다: pre-order $\preceq_{\bf V}$ 하에서의 무한한 반쇄가 차집합 $\mathcal{C}_2 \setminus \mathcal{C}_1$에 포함되어야 한다. 저자들은 부울 경우에서 이러한 모든 구간을 분류하고, 비가산성이 발생하는 것은 차집합 내에 비결합 함수가 존재할 때 정확히 발생함을 보여준다.

ABSTRACT

Let A be a finite set with at least two elements. The composition of two classes I and J of operations on A, is defined as the set of all compositions of functions in I with functions in J. This binary operation gives a monoid structure to the set E_A of all equational classes of operations on A. The set E_A of equational classes of operations on A also constitutes a complete distributive lattice under intersection and union. Clones of operations, i.e. classes containing all projections and idempotent under class composition, also form a lattice which is strictly contained in E_A. In the Boolean case |A|=2, the lattice E_A contains uncountably many equational classes, but only countably many of them are clones. The aim of this paper is to provide a better understanding of this uncountable lattice of equational classes of Boolean functions, by analyzing its "closed" intervals" [C_1,C_2], for clones C_1 and C_2. For |A|=2, we give a complete classification of all such closed intervals in terms of their size, and provide a simple, necessary and sufficient condition characterizing the uncountable closed intervals of E_A.

연구 동기 및 목표

• 등식적 클래스의 비가산 격자의 구조를 이해하기 위해, 클론 격자보다 더 세밀한 부울 함수의 등식적 클래스 격자에 대한 연구.
• 부울 함수의 등식적 클래스 격자 $\mathbf{E}_{\mathbb{B}}$ 내에서 모든 닫힌 구간 $[\mathcal{C}_1, \mathcal{C}_2]$를 그 크기에 따라 분류하기.
• 이러한 구간이 비가산이 되는 데 필요한 필수 조건을 규명하고, 특히 등幂 클래스 $\mathcal{C}_1$ 및 $\mathcal{C}_2$에 초점을 맞추기.
• 비결합 부울 함수와 무한한 반쇄가 가산적과 비가산적 구간을 구분하는 데 어떻게 기여하는지 분석하기.

제안 방법

• 유한 집합 $A$에서의 연산 등식적 클래스의 격자 $\mathbf{E}_A$를 정의하며, $|A| \geq 2$ 이고, 클래스 합성과 함수방정식을 사용한다.
• 변수 치환 동치를 캡처하는 pre-order $\preceq_{\bf V}$ 를 도입하고, 이를 통해 차집합 $\mathcal{C}_2 \setminus \mathcal{C}_1$ 내의 반쇄를 정의한다.
• 예를 들어 $f_n$, $g_n$, $u_n$, $t_n^u$, $H_n$, $G_m^n$, $T_n$, $s_n$ 등의 가족을 사용하여 비결합성을 보여주는 부울 함수의 명시적 무한 반쇄를 구성한다.
• 구간 $[\mathcal{C}_1, \mathcal{C}_2]$가 비가산임은 $\mathcal{C}_2 \setminus \mathcal{C}_1$ 가 pre-order $\preceq_{\bf V}$ 하에서 무한한 반쇄를 포함할 때이고, 그뿐이 아님을 증명한다.
• 이 특성화를 활용하여 $\mathbf{E}_{\mathbb{B}}$ 내의 모든 닫힌 구간을 크기로 분류하고, 가산적과 비가산적 경우를 구분한다.
• 모든 비가산 닫힌 구간은 최소 비가산 구간을 포함하며, 이러한 구간은 $\mathcal{C}_2 \setminus \mathcal{C}_1$ 내에 최소한 하나의 비결합 함수를 포함해야 한다.

실험 결과

연구 질문

• RQ1 부울 함수의 등식적 클래스 격자 $\mathbf{E}_{\mathbb{B}}$ 내에서 비가산 닫힌 구간은 무엇으로 특징지어지는가?
• RQ2 $\mathcal{C}_2 \setminus \mathcal{C}_1$ 내 비결합 함수의 존재는 구간 $[\mathcal{C}_1, \mathcal{C}_2]$의 비가산성과 어떻게 관련이 있는가?
• RQ3 차집합 $\mathcal{C}_2 \setminus \mathcal{C}_1$ 의 구조적 성질에 기반하여 $\mathbf{E}_{\mathbb{B}}$ 내 비가산 구간을 완전히 분류할 수 있는가?
• RQ4 pre-order $\preceq_{\bf V}$ 하에서의 무한 반쇄 존재 여부에 따라, 구간 $[\mathcal{C}_1, \mathcal{C}_2]$ 가 비가산이 되는 데 필요한 필수조건이 존재하는가?
• RQ5 쌍대성과 결합법칙은 $\mathbf{E}_{\mathbb{B}}$ 내에서 가산적과 비가산적 구간을 구분하는 데 어떤 역할을 하는가?

주요 결과

• 부울 함수의 등식적 클래스 격자 $\mathbf{E}_{\mathbb{B}}$ 는 비가산 많은 원소를 포함하지만, 클론은 오직 가산적인 수만을 포함한다.
• 격자 $\mathbf{E}_{\mathbb{B}}$ 내에서 구간 $[\mathcal{C}_1, \mathcal{C}_2]$ 가 비가산임은 $\mathcal{C}_2 \setminus \mathcal{C}_1$ 가 pre-order $\preceq_{\bf V}$ 하에서 무한한 반쇄를 포함할 때에만 성립한다.
• 저자들은 $f_n$, $g_n$, $u_n$, $t_n^u$, $H_n$, $G_m^n$, $T_n$, $s_n$ 와 같은 예시를 통해 비결합성을 보여주는 부울 함수의 명시적 무한 반쇄를 구성한다.
• 부울 함수의 등식적 클래스 격자 $\mathbf{E}_{\mathbb{B}}$ 내 모든 비가산 닫힌 구간은 최소 비가산 구간을 포함하며, 이러한 구간은 $\mathcal{C}_2 \setminus \mathcal{C}_1$ 내에 최소한 하나의 비결합 함수를 포함해야 한다.
• $\mathcal{C}_2 \setminus \mathcal{C}_1$ 내 비결합 함수의 존재는 구간 $[\mathcal{C}_1, \mathcal{C}_2]$ 가 비가산이 되는 데 필수적이며 충분하다.
• 닫힌 구간의 분류는 $\mathcal{C}_2 \setminus \mathcal{C}_1$ 내 무한 반쇄의 존재 여부에 의해 완전히 결정되며, 이는 완전한 구조적 특성화를 제공한다.