[논문 리뷰] Relation identities in implication algebras

Paolo Lipparini|arXiv (Cornell University)|2018. 05. 07.

Advanced Algebra and Logic인용 수 1

한 줄 요약

이 논문은 함의 대수에서 관계 항등식을 조사하며, 함의 대수에서 관련된 항등식들인 $ R(S \circ T \circ S) \subseteq RS \circ RT \circ RT \circ RS $ 및 $ 3 $-분배 항등식 $ \alpha(\beta \circ \gamma) \subseteq \alpha\beta \circ \alpha\gamma \circ \alpha\beta $ 가 성립하는 바에도 불구하고, 일반적으로 항등식 $ \alpha(\beta \circ \Theta) \subseteq \alpha\beta \circ \Theta \circ \alpha\beta $ 가 성립하지 않음을 보여준다. 이 결과는 이러한 대수적 구조 내에서 관계 닫힘 성질에 대한 미묘한 제약을 드러낸다.

ABSTRACT

Let $\alpha$, $\beta$, $\gamma, \dots$ $\Theta$, $\Psi, \dots$ $R$, $S$, $T, \dots$ be variables for, respectively, congruences, tolerances and reflexive admissible relations. Let juxtaposition denote intersection. We show that the identity $\alpha( \beta \circ \Theta ) \subseteq \alpha \beta \circ \Theta \circ \alpha \beta$ generally fails in (the set of reflexive and admissible relations on) implication algebras. This is somewhat surprising, since implication algebras not only satisfy $\alpha( \beta \circ \gamma ) \subseteq \alpha \beta \circ \alpha \gamma \circ \alpha \beta $, which is an identity equivalent to $3$-distributivity, but do satisfy strong related identities such as $R( S \circ T \circ S ) \subseteq R S \circ RT \circ RT \circ RS$.

연구 동기 및 목표

• 함의 대수에서 관계 항등식 $ \alpha(\beta \circ \Theta) \subseteq \alpha\beta \circ \Theta \circ \alpha\beta $ 의 타당성을 조사하는 것.
• 함의 대수가 다른 강력한 관계 항등식들을 만족하므로, 이 항등식이 일반적으로 성립하는지 여부를 판단하는 것.
• 함의 대수에서 반사적이고 허용 가능한 관계의 격자 내에서 유효한 항등식과 유효하지 않은 항등식 사이의 경계를 명확히 하는 것.

제안 방법

• 저자들은 함의 대수에서 반사적이고 허용 가능한 관계(기호로 $ \alpha $, $ \beta $, $ \gamma $, $ \Theta $, $ \Psi $, $ R $, $ S $, $ T $ 로 표기됨)의 구조를 분석한다.
• 특히 $ 3 $-분배 항등식 $ \alpha(\beta \circ \gamma) \subseteq \alpha\beta \circ \alpha\gamma \circ \alpha\beta $ 를 기준점으로 삼아, 대수적 변환과 기존 항등식을 활용한다.
• 목표 항등식 $ \alpha(\beta \circ \Theta) \subseteq \alpha\beta \circ \Theta \circ \alpha\beta $ 와 $ R(S \circ T \circ S) \subseteq RS \circ RT \circ RT \circ RS $ 와 같은 다른 알려진 항등식을 비교하여 일관성을 평가한다.
• 반례를 통한 추론을 통해 이 항등식이 실패하는 이유를 분석하며, 이 특정 닫힘 성질이 구조적으로 지원되지 않음을 보여준다.

실험 결과

연구 질문

• RQ1 함의 대수에서 모든 동치관계 $ \alpha $, $ \beta $ 와 관계의 관계 $ \Theta $ 에 대해 항등식 $ \alpha(\beta \circ \Theta) \subseteq \alpha\beta \circ \Theta \circ \alpha\beta $ 가 성립하는가?
• RQ2 함의 대수가 $ \alpha(\beta \circ \gamma) \subseteq \alpha\beta \circ \alpha\gamma \circ \alpha\beta $ 와 같은 관련 항등식을 만족하는 바에 불구하고, 이 항등식이 왜 실패하는가?
• RQ3 왜 일부 관계 닫힘 성질은 성립하는 데 반해 이 항등식은 성립하지 않는가? 이 비대칭성의 이유는 무엇인가?

주요 결과

• 함의 대수에서는 일반적으로 항등식 $ \alpha(\beta \circ \Theta) \subseteq \alpha\beta \circ \Theta \circ \alpha\beta $ 가 성립하지 않는다.
• 함의 대수에서는 이와 구조적으로 유사하지만 동치가 아닌 $ 3 $-분배 항등식 $ \alpha(\beta \circ \gamma) \subseteq \alpha\beta \circ \alpha\gamma \circ \alpha\beta $ 가 성립한다.
• $ R(S \circ T \circ S) \subseteq RS \circ RT \circ RT \circ RS $ 항등식은 함의 대수에서 성립하며, 이는 일부 관계 합성 연산이 잘 행동함을 시사한다.
• $ \alpha(\beta \circ \Theta) \subseteq \alpha\beta \circ \Theta \circ \alpha\beta $ 의 실패는, 관련 항등식의 유효성이 알려져 있음에도 불구하고 예상과는 다르게 나타나 놀라운 결과이다.