[논문 리뷰] On a quasi-ordering on Boolean functions

Miguel Couceiro, Maurice Pouzet|ArXiv.org|2006. 01. 10.

Advanced Algebra and Logic참고 문헌 3인용 수 4

한 줄 요약

이 논문은 변수 연산(식별, 순열, 덧셈)에 기반한 순서 구조에 따라 부울 함수의 동치류로 구성된 부분순서집합이 자연수의 유한부분집합들이 포함관계로 정렬된 부분순서집합에 대해 이식 및 역이식이 모두 가능하다는 것을 증명한다. 또한, 유한 개의 기능적 방정식으로 정의된 부울 함수의 등식적 클래스가 이 순서 집합의 초기 세그먼트와 정확히 일치함을 보이며, 최대 k개의 본질적 변수를 가진 선형 함수를 특징짓는 명시적 방정식을 제공한다.

ABSTRACT

It was proved few years ago that classes of Boolean functions definable by means of functional equations \cite{EFHH}, or equivalently, by means of relational constraints \cite{Pi2}, coincide with initial segments of the quasi-ordered set $(Ω, \leq)$ made of the set $Ω$ of Boolean functions, suitably quasi-ordered. The resulting ordered set $(Ω/\equiv, \sqsubseteq)$ embeds into $([ω]^{

연구 동기 및 목표

• 부울 함수의 순서 집합과 자연수의 유한부분집합들이 포함관계로 정렬된 집합 사이의 깊은 구조적 연결 고리를 확립하기 위해.
• 기능적 방정식으로 정의된 부울 함수의 등식적 클래스가 순서 집합 (Ω, ≤)의 초기 세그먼트와 정확히 일치함을 증명하고, 이들이 또한 유한한 장애물들로 정의된 클래스들과 일치함을 보여주기 위해.
• 최대 k개의 본질적 변수를 가진 선형 부울 함수의 클래스에 대한 구체적인 등식적 특징을 제공하기 위해.
• 부울 함수의 부분순서집합 (Ω/≡, ⊑) 이 유한부분집합들의 부분순서집합 ([ω]^{<ω}, ⊆) 에 이식 가능하며, 반대로도 이식 가능하다는 것을 보여, 풍부한 조합적 구조를 드러내기 위해.
• 본질적 변수 수가 유한한 부울 함수의 클래스들이 기능적 방정식으로 유한하게 공리화 가능함을 보여주기 위해.

제안 방법

• 변수 식별, 순열, 덧셈을 통해 g가 f로부터 유도될 수 있을 때 g ≤ f 라 정의하여 부울 함수에 대해 준순서 ≤ 를 정의한다.
• f ≡ g 라 함은 f ≤ g 이고 g ≤ f 일 때를 의미하며, 이를 통해 Ω 상의 동치관계 ≡ 를 정의하고, 몫부분순서집합 (Ω/≡, ⊑) 을 유도한다.
• 부울 함수의 부분순서집합 (Ω/≡, ⊑) 에서 각 초기 세그먼트 ↓x 가 유한함을 증명함으로써, 부분순서집합을 유한 수준들 Ω/≡_n 으로 단계별로 분해할 수 있음을 보장한다.
• 초기 세그먼트와 반사족 사이의 이중성: 각 초기 세그먼트 I 는 유일한 최소 반사족 A 를 가지며, I = Forbid(A) 를 만족한다.
• 각 유한부분집합 I 에 대해 변수 치환을 포함한 구성에 기반한 함수 g_I' 을 유도함으로써, ([ω]^{<ω}, ⊆) → (Ω/≡, ⊑) 로의 명시적 순서이식 φ 를 구성한다.
• 2원소 체 위에서의 선형대수학을 활용하여, 벡터의 짝수성 및 교차 성질에 기반한 기능적 방정식을 도출함으로써, 최대 k개의 본질적 변수를 가진 선형 함수를 특징짓는다.

실험 결과

연구 질문

• RQ1 부울 함수의 부분순서집합 (Ω/≡, ⊑) 은 유한부분집합들의 부분순서집합 ([ω]^{<ω}, ⊆) 에 이식 가능하며, 반대로도 이식 가능한가?
• RQ2 기능적 방정식으로 정의된 부울 함수의 등식적 클래스는 순서 집합 (Ω, ≤) 의 초기 세그먼트와 정확히 일치하는가?
• RQ3 최대 k개의 본질적 변수를 가진 선형 부울 함수의 클래스는 단일 기능적 방정식으로 정의 가능한가?
• RQ4 유한한 반사족으로서의 장애물 집합과 유한하게 공리화 가능한 등식적 클래스 사이의 관계는 무엇인가?
• RQ5 부울 함수의 부분순서집합 (Ω/≡, ⊑) 은 수준 분해와 유한한 초기 세그먼트를 통해 완전히 특징지을 수 있는가?

주요 결과

• 부울 함수의 부분순서집합 (Ω/≡, ⊑) 이 유한부분집합들의 부분순서집합 ([ω]^{<ω}, ⊆) 에 이식 가능하며, 반대로도 이식 가능함을 보여, 두 구조 간의 이중이식 관계를 확립한다.
• 유한한 장애물들로 정의된 (Ω, ≤) 의 초기 세그먼트는 항상 단일 기능적 방정식으로도 정의 가능함을 보여, 장애물 기반 정의와 방정식 기반 정의 사이의 강력한 동치성을 확인한다.
• 최대 k개의 본질적 변수를 가진 선형 함수의 클래스는 변수의 합과 그 곱의 짝수성 조건을 포함하는 단일 방정식으로 공리화된다.
• L^k (최대 k개의 본질적 변수를 가진 선형 함수) 를 특징짓는 방정식은 다음과 같다: (f(0) ∧ ⋀_{1≤i≤k+1} f(x_i) → ⋁_{j<l} f(x_j x_l)) ∨ (f(0) ∧ ⋀_{1≤i≤k+1} (f(x_i)+1) → ⋁_{j<l} (f(x_j x_l)+1)) = 1.
• 핵심 보조정리 증명: F_2 위의 n차원 공간에서 n ≤ k 인 조건 하에, 홀수 무게를 가진 k+1개의 벡터가 주어지면, 적어도 한 쌍의 성분별 곱이 홀수 무게를 가지며, 이는 L^k 를 위한 방정식의 정당성을 뒷받침한다.
• 최대 k개의 본질적 변수를 가진 부울 함수의 클래스는 공리화 가능하며, 특히 선형 함수의 경우에도 이 성립한다.