A lattice-theoretic framework for hesitant fuzzy convexity beyond scalar observables

기술적 요약: 스칼라 관측 가능성을 넘어선 주저 퍼지 볼록성에 대한 격자 이론적 프레임워크

문제 제기
퍼지 집합론에서 볼록성 개념은 전통적으로 스코어 함수와 집계 연산자를 활용하여 복잡한 멤버십 정도(예: 구간 또는 주저 퍼지 요소)를 단위 구간 $[0, 1]$로 매핑하는 스칼라 축소를 통해 정식화되어 왔다. 저자들은 이러한 방식이 유용하기는 하지만, 구간 값 퍼지 집합(IVFS) 및 주저 퍼지 집합(HFS)과 같은 집합 값 설정에서 내재된 순서론적 정보를 가릴 수 있다고 주장한다. 기존의 제안들은 인터벌 값 퍼지 집합(IVFS)과 같은 집합 모델의 특정 특징을 고려하는 통합된 구조적 관점이 부족한 경우가 많으며, 이는 스칼라 기반의 볼록성 개념이 모든 퍼지 집합 모델에 동일하게 적절한지에 대한 의문을 제기한다. 핵심적인 문제는 스칼라 요약이 고유한 격자 연산을 대체할 때 발생하는 구조적 충실도의 손실 가능성이다.

방법론
본 논문은 $X$를 점-볼록 세그먼트 생성 추상 볼록성 공간으로, $L$을 격자로 하는 사상 $A: X \to L$에 대한 격자 이론적 볼록성 프레임워크를 개발한다. 이 접근 방식은 도메인의 기하학적 구조와 공역의 순서론적 구조를 의도적으로 분리한다.

본 방법론은 두 가지 주요 관점을 구분한다:

1. 연산적 관점: 이진 연산자 $\otimes: L \times L \to L$를 통해 볼록성을 정의한다. 본 논문은 $\otimes$가 격자 하한(meet, $\wedge$)인 **고유 볼록성(intrinsic convexity)**에 집중한다. 사상은 모든 $y \in [x, z]_\Gamma$에 대해 $A(y) \geq A(x) \wedge A(z)$를 만족할 때 고유 볼록하다. 이는 모든 주 원상(principal cut) $[A]_a = \{x \in X : a \leq A(x)\}$의 볼록성과 동치임이 밝혀졌다.
2. 관계적 관점: $L$ 상의 전순서(preorder) $\preceq$를 통해 볼록성을 정의한다. 사상은 모든 상집합(up-set)의 역상이 볼록할 때 $\preceq$-볼록하다. 이 범주에는 스칼라 사상(관측 가능 함수) $\phi: L \to [0, 1]$에 의해 유도되는 **관측 가능 볼록성(observable convexity)**이 포함된다.

프레임워크는 스칼라 관측 가능성이 고유 볼록성을 보존하거나 재구성하는 조건을 분석한다. 또한 점별 연산자 $T: L^m \to L$를 조사하고, 그 유도된 확장이 고유 볼록성을 보존하는 조건을 규명한다. 마지막으로, 본 프레임워크는 Jara 등(2023)이 도입한 표준 퍼지 집합, 구간 값 집합, 주저 퍼지 집합을 통합하는 대칭 격자 $(P^*([0, 1]), \leq_0, \wedge_0, \vee_0)$를 갖춘 주저 퍼지 집합(HFS)으로 특수화된다.

주요 기여 및 결과

1. 통합 프레임워크: 본 논문은 고전적인 min 기반 퍼지 볼록성, 격자 값 meet 기반 볼록성, 그리고 순서 기반 볼록성을 특정 사례로 회복하는 공통의 형식적 설정을 구축한다. 또한 추상 볼록성 공간을 통해 비선형 순서 도메인(예: 그래프 측지선)으로 이러한 개념을 일반화한다.

2. 스칼라 보존 및 재구성을 위한 조건:

   • 보존: 관측 가능 함수 $\phi$가 고유 볼록성을 보존한다(즉, 모든 고유 볼록 집합이 $\phi$-볼록함)는 것은 $\phi$가 유한한 meet를 최솟값으로 보존할 때, 즉 $\phi(a \wedge b) = \min\{\phi(a), \phi(b)\}$일 때와 동치이다.
   • 재구성: 단일 관측 가능 함수가 고유 볼록성을 재구성한다(즉, $A$가 고유 볼록할 필요충분조건은 $A$가 $\phi$-볼록한 것임)는 것은 $\phi$가 meet를 최솟값으로 보존하고 동시에 순서를 반영할 때($\phi(a) \leq \phi(b) \implies a \leq b$)와 동치이다. 이는 비 사슬(non-chain) 격자에서는 스칼라 재구성이 불가능함을 시사한다.
   • 관측 가능 함수 군(Family of Observables): 관측 가능 함수 군이 고유 볼록성을 재구성하는 것은 해당 군이 공역의 순서를 분리하고 각 구성원이 meet를 최솟값으로 보존하는 것과 동치이다.

3. 점별 연산자: 본 논문은 점별 확장을 통해 고유 볼록성을 보존하는 연산자 $T: L^m \to L$를 규명한다. 이러한 연산자는 반드시 meet-호환성 조건 $T(a_1 \wedge b_1, \dots, a_m \wedge b_m) = T(a_1, \dots, a_m) \wedge T(b_1, \dots, b_m)$을 만족해야 한다. 저자들은 단조성만으로는 불충분하며, 예를 들어 산술 평균은 min 기반 볼록성을 보존하지 못한다고 언급한다.

4. 대칭 볼록성 및 비표현성:

   • 주저 퍼지 집합(HFS)을 대칭 격자와 함께 적용했을 때, 본 프레임워크는 단일값 프로파일에 대해서는 고전적 퍼지 볼록성을, 구간 값 프로파일에 대해서는 구간 값 볼록성을 회복한다. 두 하위 층 모두 유한한 스칼라 재구성이 가능하다(단일값의 경우 항등 함수, 구간 값의 경우 끝점 함수를 통해).
   • 주요 구조적 결과: 본 논문은 주저 퍼지 요소에 대한 대칭 순서가 어떠한 유한한 스칼라 관측 가능 함수 군에 의해서도 전역적으로 표현될 수 없음을 증명한다. 이는 대칭 격자가 임의의 큰 차수(order dimension)를 갖는 유한 부분 순서 집합(특히 두 점 THFEs 클래스 내에서)을 포함하고 있음을 보여줌으로써 입증된다.
   • 결과: 대칭 주저 볼록성은 일반적으로 어떠한 유한한 스찰 관측 가능 함수 군에 의해서도 재구성될 수 없다. 나아가, 임의의 단조 스칼라 관측 가능 함수 군에 대하여, 선택된 모든 스칼라 기술 하에서 볼록해 보이지만 실제로는 대칭 볼록이 아닌 세 점 주저 프로파일이 존재한다.

의의 및 주장
본 논문은 스칼라 근사와 고유 격자 속성을 구분함으로써 퍼지 볼록성에 대한 구조적 명확성을 제공한다고 주장한다. 본 논문의 주요 의의는 주저 퍼지 환경에서 스칼라 요약이 기저의 순서 구조를 대체하는 전역적으로 충실한 대용물이 될 수 없음을 입증하는 데 있다.

저자들은 이러한 유한한 스칼라 표현의 장애가 무한 카디널리티나 복잡한 프로파일의 산물이 아니라, 단순한 두 점 주저 퍼지 요소에서도 나타난다고 주장한다. 결과적으로, 본 논문은 HFS 이론에서의 유한한 스칼라 기술이 고유한 주저 구조에 대한 완전한 대체물이 아니라 부분적인 요약으로 이해되어야 한다고 주장한다. 이는 주저 퍼지 환경에서 스코어 함수와 집계 연산자를 볼록성 정의의 유일한 수단으로 사용하는 것에 도전하며, 향후 연구가 주저 퍼지 집합의 전체 순서론적 정보를 보존하는 데 있어 스칼라화의 한계를 반드시 고려해야 함을 시사한다.