[논문 리뷰] On entropic and almost multilinear representability of matroids

Lukas Kühne, Geva Yashfe|arXiv (Cornell University)|2022. 06. 07.

Computability, Logic, AI Algorithms인용 수 5

한 줄 요약

이 논문은 두 가지 일반화된 매트로이드 표현 문제의 알고리즘적 결정 불가능성을 입증한다: 이산 랜덤 변수를 통한 엔트로피 표현 가능성과 체 위의 부분공간 배열을 통한 거의 다중선형 표현 가능성. 유한군에 대한 균일한 단어 문제와 소픽 군에 대한 단어 문제로의 감소를 통해, 저자들은 주어진 매트로이드가 이러한 표현을 갖는지 여부를 판단할 수 있는 알고리즘이 존재하지 않음을 증명하며, 정보 이론, 네트워크 코딩, 기밀 공유 분야에서 오랫동안 남아있던 질문들을 해결한다.

ABSTRACT

This article studies two notions of generalized matroid representations motivated by algorithmic information theory and cryptographic secret sharing. The first (entropic representability) involves discrete random variables, while the second (almost-multilinear representability) deals with approximate subspace arrangements. In both cases, we prove that determining whether an input matroid has such a representation is undecidable. Consequently, the conditional independence implication problem is also undecidable, providing an independent answer to a question posed by Geiger and Pearl, recently resolved by Cheuk Ting Li. These problems are also closely related to characterizing achievable rates in network coding and constructing secret sharing schemes. For example, another corollary of our work is that deciding whether an access structure admits an ideal secret sharing scheme is undecidable. Our approach reduces undecidable problems from group theory to matroid representation problems. Specifically, we reduce the uniform word problem for finite groups to entropic representability and the word problem for sofic groups to almost-multilinear representability. A key part of this reduction involves modifying group presentations into forms where linear representations are generic in an appropriate sense when restricted to the generating set.

연구 동기 및 목표

• 매트로이드 랭크 함수가 이산 랜덤 변수의 스케일드 엔트로피와 일치하는 경우에 해당하는 엔트로피적 매트로이드 표현의 알고리즘적 결정 가능성을 조사한다.
• 매트로이드 랭크가 체 위의 부분공간 배열의 스케일드 차원에 의해 근사되는 거의 다중선형 표현 가능성 문제를 검토한다.
• 조건부 인적의존성 함의, 네트워크 코딩, 기밀 공유 체계에 핵심적인 조건부 인적의존성 함의 문제의 결정 가능성 상태를 해결한다.
• 매트로이드 표현 가능성과 깊은 대수적 문제, 특히 유한군과 소픽 군에 대한 단어 문제 사이의 연결 고리를 확립한다.
• 주어진 액세스 구조에 대해 이상적인 기밀 공유 체계가 존재하는지 여부가 알고리즘적으로 결정 불가능하다는 것을 입증한다.

제안 방법

• 유한군에 대한 균일한 단어 문제로 엔트로피적 매트로이드 표현(EMR) 문제를 감소시키며, 군 대수 위에서 바이어슈트 타입의 구성 기법을 사용한다.
• 군의 단어 문제의 가역성에 따라 엔트로피 표현 가능성에 의존하는 매트로이드의 가족을 구성하며, 엔트로피 제약 조건과 랜덤 변수 구성 기법을 활용한다.
• 유사한 감소 기법을 거의 다중선형 매트로이드 표현(AMMR) 문제에 적용하며, 오차가 제한된 복합 연산을 갖는 카테고리의 메트릭 초구성체를 사용한다.
• 메트릭 초구성체와 무한소 등가 관계를 활용해 근사 표현을 모델링하며, 한계에서의 사상 등가성은 유한 구조에서의 근사 등가성과 대응되도록 보장한다.
• 유한한 근사 구조에서의 관계를 한계 카테고리로 옮기기 위해 유한히 표현된 카테고리와 메트릭 카테고리로의 호모모르피즘을 사용한다.
• 관계가 유한한 구조의 수열에서 오차 $1/n$ 이내로 만족된다면, 그 초구성체는 관계를 정확히 만족함을 증명하며, 이를 통해 한계로의 함자적 전이를 가능하게 한다.

실험 결과

연구 질문

• RQ1 주어진 매트로이드가 엔트로피적일지, 즉 랭크가 이산 랜덤 변수의 스케일드 엔트로피와 일치하는 공동분포로부터 유도될 수 있는지 여부를 판단할 수 있는 알고리즘이 존재하는가?
• RQ2 주어진 매트로이드가 거의 다중선형 표현을 갖는지 여부를 알고리즘적으로 결정할 수 있는가, 즉 체 위의 부분공간 차원에 의해 임의로 잘 근사될 수 있는가?
• RQ3 주어진 액세스 구조에 대해 이상적인 기밀 공유 체계가 존재하는지 여부는 결정 가능한 문제인가?
• RQ4 조건부 인적의존성 함의 문제는 엔트로피 표현 가능성과 동치이므로, 결정 가능한가?
• RQ5 거의 다중선형 표현 가능성과의 연결 고리를 고려할 때, 네트워크 코딩에서의 근사 선형 해법이 알고리즘적으로 결정 가능한가?

주요 결과

• 엔트로피적 매트로이드 표현(EMR) 문제는 알고리즘적으로 결정 불가능하며, 이는 매트로이드가 이산 랜덤 변수의 공동분포로부터 유도되며 랭크 함수가 스케일드 엔트로피와 일치하는지 여부를 판단할 수 있는 일반적인 알고리즘이 존재하지 않음을 의미한다.
• 거의 다중선형 매트로이드 표현(AMMR) 문제 역시 결정 불가능하며, 이는 체 위의 부분공간 차원에 의해 임의로 잘 근사될 수 있는지 여부를 판단할 수 있는 알고리즘이 존재하지 않음을 의미한다.
• EMR의 결정 불가능성은 주어진 액세스 구조에 이상적인 기밀 공유 체계가 존재하는지 여부가 결정 불가능하다는 것을 의미하며, 오랫동안 남아있던 열린 문제를 해결한다.
• AMMR의 결정 불가능성은 네트워크 코딩 인스턴스에 근사 선형 벡터 코딩 해법이 존재하는지 여부가 결정 불가능하다는 것을 의미하며, 이는 이전의 선형 해법 결과를 확장한다.
• 결과는 유한군에 대한 균일한 단어 문제와 소픽 군에 대한 단어 문제로의 감소를 통해 확립되었으며, 매트로이드 이론과 군 이론 사이의 깊은 연결 고리를 보여준다.
• 메트릭 초구성체와 무한소 등가 관계의 사용은 근사 등가성이 유한 구조에서 정확한 등가성으로 변환되는 한계 카테고리의 구축을 가능하게 하며, 근사 구조 간의 관계 전이를 가능하게 한다.