[논문 리뷰] Noncontinous additive entropies of partitions

Tomasz Sobieszek|arXiv (Cornell University)|2012. 02. 21.

Functional Equations Stability Results참고 문헌 1인용 수 3

한 줄 요약

이 논문은 연속성 가정을 제거함으로써 덧셈적 분할 엔트로피의 특성화를 확장하며, 임의의 이러한 엔트로피가 표준 엔트로피와 유리수의 자기환형사상으로부터 유도된 성분으로 분해됨을 증명한다. 핵심 기여는 볼록 콘에서 대칭 2-코호몰로지가 코 boundary임을 보여주는 호모로지 결과로, 엔트로피 분해의 핵심이 되는 함수방정식을 해결한다.

ABSTRACT

In a previous paper: A. Paszkiewicz, T. Sobieszek, Additive Entropies of Partitions, we have given a description of additive partition entropies that is real functions $I$ on the set of finite partitions that are additive on stochastically independent partitions in a given probability space. We now present an analogical result, this time without assuming continuity. As a by-product of our efforts we solve a 2-cocycle functional equation for certain subsets of convex cones.

연구 동기 및 목표

• 연속성 가정 없이 덧셈적 분할 엔트로피를 특성화함으로써 이전 연구에서 요구했던 연속성 조건을 제거하는 것.
• 볼록 콘에서 대칭 함수에 대한 2-코호몰로지 함수방정식을 해결하는 것.
• 특정 볼록 콘 부분집합에서 2-코호몰로지 방정식의 모든 대칭 해가 코 boundary임을 증명하는 것.
• 연속성 조건 없이 덧셈적 분할 엔트로피의 구조적 분해를 표준 엔트로피와 유한가환 집합함수를 통한 수정항으로 확립하는 것.

제안 방법

• 같은 P-측도를 가진 집합들에 대해 ∆(V, W) ∈ End(R)를 정의하며, 덧셈성과 P-영집합에 대한 대칭차이 불변성을 만족시킨다.
• P-영집합에서 0이 되는 유한가환 집합함수 m: X → End(R)를 구성하여 ∆(V, W) = m(W) − m(V)를 만족시킨다.
• 볼록 콘에서 순열 대칭성과 일반화된 결합법칙 조건(식 3)을 만족하는 함수 f를 도입한다.
• 부분해의 가족에 대한 조른의 보조정리에 기반한 추론을 통해 f(a₁,…,aₙ) = h(∑aᵢ) − ∑h(aᵢ)를 만족하는 함수 h: M → L의 존재를 증명한다.
• Q-선형 스펜을 기반으로 한 사다리꼴 구조를 사용하여 국소 해를 볼록 콘 전역으로 확장함으로써 함수방정식 (7) h(a + b) = h(a) + h(b) + f(a, b)의 해를 확장한다.
• 결과를 적용하여 엔트로피 I가 I = H_P + L_m로 분해됨을 보이며, 여기서 H_P는 표준 엔트로피이고 L_m은 m(Aᵢ)에 대해 log(1/P(Aᵢ))의 로그합이다.

실험 결과

연구 질문

• RQ1 이전 연구에서 요구했던 연속성 가정 없이 덧셈적 분할 엔트로피를 완전히 특성화할 수 있는가?
• RQ2 어떤 조건에서 볼록 콘에서 대칭 2-코호몰로지가 코 boundary인가?
• RQ3 지정된 성질을 가진 볼록 콘에서 2-코호몰로지 방정식의 모든 해가 단일 함수 h를 통해 코 boundary 공식에 의해 유도되는가?
• RQ4 연속성 조건이 없을 경우 덧셈적 분할 엔트로피의 구조적 분해는 어떻게 이루어지는가?

주요 결과

• 연속성 가정 없이도 모든 덧셈적 분할 엔트로피 I는 I = H_P + L_m로 분해되며, 여기서 H_P는 표준 엔트로피이고 L_m은 P-영집합에서 0이 되는 유한가환 집합함수 m: X → End(R)로부터 유도된다.
• 특정 볼록 콘 부분집합에서 2-코호몰로지 함수방정식의 모든 대칭 해는 부분해의 가족에 대한 조른의 보조정리에 의해 코 boundary임을 증명하였다.
• 함수 f에 대한 대칭성과 결합법칙 조건이 만족되면 f(a₁,…,aₙ) = h(∑aᵢ) − ∑h(aᵢ)를 만족하는 함수 h: M → L의 존재가 보장된다.
• 엔트로피 분해에서 m-값의 차이로부터 유도되는 함수 f는 일반화된 결합법칙과 순열 대칭성을 만족하여 다양한 분할 간 일관성을 확보한다.
• 함수 h는 반사선과 볼록 콘에서의 국소 해를 확장함으로써 구성되며, 생성 집합 M에 대해 a + b ∈ M 이면 a, b ∈ M 임을 조건으로 사용한다.
• 결과는 엔트로피의 L_m 성분이 원소의 측도에만 의존함을 의미하며, 이는 m(A) = α(P(A))를 만족하는 고정된 α ∈ End(R)가 존재할 경우에 한하여 성립한다.