[논문 리뷰] Essential Variables and Separable Sets in Universal Algebra

Slavcho Shtrakov, Klaus Denecke|ArXiv.org|2008. 12. 10.

Advanced Algebra and Logic참고 문헌 5인용 수 16

한 줄 요약

이 논문은 보편대수학에서 항(term), 대수(algebra), 다양체(variety)의 복잡도를 측정하는 새로운 척도를 제안한다. 이는 본질적 변수(essential variables) 개념을 항으로 확장하고, 변수의 분리 가능 집합(separable sets of variables)을 정의함으로써 이루어진다. 이 복잡도 척도는 동형사상과 상수 기호의 일정한 변환에 대해 불변성을 보이며, 대수적 구조와 대수에서의 항 연산에 기반한 의미론적-구문론적 복잡도 측도이다.

ABSTRACT

The study of essential and strongly essential variables in functions defined on finite sets is a part of $k$-valued logic. We extend the main definitions from functions to terms. This allows us to apply concepts and results of Universal Algebra. On the basis of the concept of a separable set of variables in a term we introduce a new notion of complexity of terms, algebras and varieties and give examples.

연구 동기 및 목표

• 보편대수학에서 함수에 대한 본질적 변수 개념을 항으로 확장한다.
• 분리 가능 변수 집합을 기반으로 한 새로운 항, 대수, 다양체의 복잡도 개념을 정의한다.
• 이 복잡도 척도가 대수적 동형사상과 상수 기호의 변환에 대해 어떻게 행동하는지 조사한다.
• 대수적 모델의 구조적 변화에 대해 이 복잡도 척도의 불변성 성질을 확립한다.

제안 방법

• 대수에서 유도된 항 연산을 통해 항에 대한 본질적 변수를 정의함으로써, 함수 기반의 본질성 개념을 일반화한다.
• 항 내에서 변수의 부분집합 M이 어떤 평가에 대해 본질적 변수 집합과 일치할 경우, 이를 분리 가능 집합(separable set)으로 정의한다.
• 항 t의 n-복잡도를, 집합 X_n \ M에 대한 평가 중에서 M이 본질적 변수 집합이 되는 경우의 수로 정의한다. 이는 대수 U와 부분집합 M에 대해 정의된다.
• 대수 간의 동형사상으로 인해 복잡도가 동형 구조 간에 유지됨을 증명한다.
• 상수 기호에 대한 사상의 영향을 분석하여, 다항식의 값 집합 V_p^U의 이미지의 기수와 원래 집합의 기수가 동일할 경우 복잡도가 변화하지 않음을 보여준다.
• 평가 확장과 항 연산의 복합 개념을 적용하여, 대수에서 다항식 및 항 연산을 정의한다.

실험 결과

연구 질문

• RQ1 함수에서의 본질적 변수 개념을 보편대수학의 항으로 일반화할 수 있는가?
• RQ2 변수의 분리 가능 집합은 항의 복잡도 측정에 있어 어떤 의미를 갖는가?
• RQ3 이 복잡도 척도는 대수적 동형사상에 대해 어떻게 행동하는가?
• RQ4 상수 기호의 재표기 조건에서 항의 복잡도가 불변이 되는 조건은 무엇인가?
• RQ5 이sovorphism 또는 상수 기호 매핑을 통해 기저 대수를 변환할 때 항의 복잡도가 유지되는가?

주요 결과

• 대수 U와 부분집합 M에 대해 항 t의 n-복잡도 Cp^(3)(t,M,U)는 대수 간의 동형사상에 대해 불변하다. 즉, 동형 대수 U와 B에 대해 Cp^(3)(t,M,U) = Cp^(3)(t,M,B)이다.
• 다항식 p의 상수 기호에 사상 g를 적용할 경우, p의 값 집합 V_p^U의 이미지 기수와 원래 기수가 동일할 경우 복잡도 척도는 변화하지 않는다.
• 항 t에서 대수 U 상에서 M이 본질적 변수 집합이 되는 X_n \ M의 평가와, 동형 대수 B 상에서 동일한 성질을 만족하는 평가 사이에 일대일 대응이 존재한다.
• 변수 순열에 대해 항의 복잡도가 유지된다: 임의의 변수 집합 순열 σ에 대해 Cp^(3)(t,M,U) = Cp^(3)(f_σ(t),σ(M),U)이다.
• 복잡도 척도 Cp^(3)(t,M,U)는 잘 정의되어 있으며, 항의 문법적 구조와 대수 내에서의 의미론적 행동에 모두 의존한다.
• 다른 항들이 같은 복잡도를 가질 수 있으며, 이는 레미마 4.2에 의해 입증되었으며, 복잡도가 항의 구조를 유일하게 식별하는 척도가 아님을 보여준다.