[논문 리뷰] Galois Connections for Generalized Functions and Relational Constraints

Miguel Couceiro|arXiv (Cornell University)|2015. 08. 06.

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

한 줄 요약

이 논문은 다가우함수 $A^n \to \mathcal{P}(B)$ 에 대한 갈로아 이론을 확장하며, $A$ 와 $B$ 에 대한 관계적 제약 조건 $(R,S)$ 와 다가우함수 사이의 갈로아 연결을 도입한다. 다가우함수와 제약 조건의 갈로아 닫힌 집합을 약한 및 결합형 미니어와 기반을 둔 폐쇄를 통해 특성화하며, 단일값 함수에 대한 이전 결과를 일반화하고, ${\bf LO}$, ${\bf wCM}$, ${\bf CM}$ 을 통한 폐쇄 연산자의 인수분해를 제공한다.

ABSTRACT

In this paper we focus on functions of the form $A^n ightarrow \mathcal{P}(B)$, for possibly different arbitrary non-empty sets $A$ and $B$, and where $\mathcal{P}(B)$ denotes the set of all subsets of $B$. These mappings are called \emph{multivalued functions}, and they generalize total and partial functions. We study Galois connections between these generalized functions and ordered pairs $(R,S)$ of relations on $A$ and $B$, respectively, called \emph{constraints}. We describe the Galois closed sets, and decompose the associated Galois operators, by means of necessary and sufficient conditions which specialize, in the total single-valued case, to those given in the author's previous work [M. Couceiro, S. Foldes. On closed sets of relational constraints and classes of functions closed under variable substitutions, Algebra Universalis 54 (2005) 149-165].

연구 동기 및 목표

• 단일값 함수에서 다가우함수 $A^n \to \mathcal{P}(B)$ 로 갈로아 연결을 일반화하는 것.
• 다가우함수와 관계적 제약 조건 $(R,S)$ 의 갈로아 닫힌 집합을 정의하고 특성화하는 것.
• 함수 클래스의 정의 가능성과 제약 조건 만족 문제에 대한 이전 결과를 다가우함수 설정으로 확장하는 것.
• 지역 폐쇄, 약한 결합형 미니어, 그리고 결합형 미니어를 이용한 폐쇄 연산자의 인수분해를 수행하는 것.
• 기존의 단일값 함수의 닫힌 클래스 및 이중 제약 조건 집합의 특성화를 복원하고 일반화하는 것.

제안 방법

• 다가우함수 집합 $A^n \to \mathcal{P}(B)$ 와 관계 $R \subseteq A^m$, $S \subseteq B^m$ 을 가진 쌍 $(R,S)$ 사이의 갈로아 연결을 도입한다.
• 이전 프레임워크와의 차이를 두드러지게 하기 위해, $S$ 가 $\mathcal{P}(B)$ 가 아니라 $B$ 위에 정의된 일반화된 개념을 사용하여 다가우함수의 제약 조건 만족을 정의한다.
• 단일값 함수의 경우 [CF]에서 제시된 것들과 일반화된 폐쇄 조건을 통해 다가우함수의 갈로아 닫힌 클래스를 특성화한다.
• 세 가지 폐쇄 연산자 ${\bf LO}$ (지역 폐쇄), ${\bf wCM}$ (약한 결합형 미니어), ${\bf CM}$ (결합형 미니어) 를 제안하고, 제약 조건 집합에 대해 분석한다.
• 이 연산자의 복합을 통해 폐쇄 사상의 인수분해를 유도하며, ${\bf LO}({\bf wCM}(\mathcal{T}))$ 와 ${\bf LO}({\bf CM}(\mathcal{T}))$ 가 약한 또는 완전한 결합형 미니어에 대해 닫혀 있는 최소 국소 폐쇄 집합을 생성함을 보여준다.
• 이 프레임워크를 통해 단일값 함수의 기존 결과를 추론의 형태로 복원하며, 닫힌 함수 클래스와 이중 제약 조건 집합의 특성화를 포함한다.

실험 결과

연구 질문

• RQ1 갈로아 연결을 단일값 함수에서 다가우함수 $A^n \to \mathcal{P}(B)$ 로 일반화할 수 있는 방법은 무엇인가?
• RQ2 제안된 이중성 하에서 다가우함수 집합이 갈로아 닫혀져 있기 위한 필요 및 충분 조건는 무엇인가?
• RQ3 ${\bf LO}$, ${\bf wCM}$, ${\bf CM}$ 이 폐쇄 연산자가 제약 조건의 갈로아 닫힌 집합을 특성화하는 데 어떻게 상호작용하는가?
• RQ4 이 결과들이 기존의 단일값 함수의 닫힌 클래스와 이중 제약 조건 집합의 특성화를 어떻게 확장하거나 특수화하는가?
• RQ5 다양한 함수 클래스(전체, 부분, 단일값)의 폐쇄 사상은 더 단순한 연산자의 복합으로 분해될 수 있는가?

주요 결과

• 다가우함수의 갈로아 닫힌 클래스는 [CF]에서 단일값 함수에 대해 제시된 폐쇄 조건을 일반화한 폐쇄 조건에 의해 특성화된다.
• 제약 조건의 갈로아 닫힌 집합은 지역 폐쇄, 약한 결합형 미니어, 그리고 결합형 미니어에 대해 닫혀져 있으며, 명시적인 인수분해가 제공된다.
• 전체 다가우함수의 폐쇄 연산자는 ${\bf LO}({\bf CM}(\mathcal{T} \cup \{ (\emptyset,\emptyset), (A,B) \}))$ 로 주어지며, 이는 결합형 미니어와 지역 폐쇄에 대해 닫혀져 있음을 보여준다.
• 부분 함수의 폐쇄 연산자는 ${\bf LO}({\bf wCM}(\mathcal{T} \cup \{ (\emptyset,\emptyset), (A,B), (=_{A},=_{B}) \}))$ 로 주어지며, 약한 미니어와 등가 조건을 포함한다.
• 단일값 함수의 폐쇄 연산자는 ${\bf LO}({\bf CM}(\mathcal{T} \cup \{ (\emptyset,\emptyset), (=_{A},=_{B}) \}))$ 로 주어지며, [CF]에서 알려진 특성화를 회복한다.
• 논문은 다가우함수 설정에서 지역 폐쇄와 미니어 폐쇄로부터 함수에 의한 정의 가능성으로의 함의가 성립함을 증명하며, [CF]의 보조정리 2와 정리 4를 일반화한다.