[논문 리뷰] An Algorithmic Meta Theorem for Homomorphism Indistinguishability

Tim Seppelt|arXiv (Cornell University)|2024. 01. 01.

Cryptography and Data Security인용 수 1

한 줄 요약

이 논문은 계수 단순 이阶 논리(CMSO2)로 정의 가능한 유계 트리폭을 가진 임의의 그래프 클래스 F에 대해 동형사상 불구분성에 대한 랜덤화 다항시간 알고리즘을 제시한다. Courcelle의 정리와 그래프 대수학에서의 유한 차원 동형사상 텐서를 활용하여, 저자는 이러한 문제들이 coRP에 속함을 입증하며, 고립된 경우를 제외한 동형사상 불구분성에 대한 첫 번째 일반적인 접근 가능성 결과를 제공한다.

ABSTRACT

Two graphs $G$ and $H$ are homomorphism indistinguishable over a family of graphs $\mathcal{F}$ if for all graphs $F \in \mathcal{F}$ the number of homomorphisms from $F$ to $G$ is equal to the number of homomorphism from $F$ to $H$. Many natural equivalence relations comparing graphs such as (quantum) isomorphism, cospectrality, and logical equivalences can be characterised as homomorphism indistinguishability relations over various graph classes. For a fixed graph class $\mathcal{F}$, the decision problem HomInd($\mathcal{F}$) asks to determine whether two input graphs $G$ and $H$ are homomorphism indistinguishable over $\mathcal{F}$. The problem HomInd($\mathcal{F}$) is known to be decidable only for few graph classes $\mathcal{F}$. We show that HomInd($\mathcal{F}$) admits a randomised polynomial-time algorithm for every graph class $\mathcal{F}$ of bounded treewidth which is definable in counting monadic second-order logic CMSO2. Thereby, we give the first general algorithm for deciding homomorphism indistinguishability. This result extends to a version of HomInd where the graph class $\mathcal{F}$ is specified by a CMSO2-sentence and a bound $k$ on the treewidth, which are given as input. For fixed $k$, this problem is randomised fixed-parameter tractable. If $k$ is part of the input then it is coNP- and coW[1]-hard. Addressing a problem posed by Berkholz (2012), we show coNP-hardness by establishing that deciding indistinguishability under the $k$-dimensional Weisfeiler--Leman algorithm is coNP-hard when $k$ is part of the input.

연구 동기 및 목표

• 동형사상 불구분성이 언제 결론적으로 결정 가능하고, 효율적으로 계산 가능한지에 대한 오랜 동안 미해결된 문제를 다루는 것.
• 유계 트리폭이나 Weisfeiler–Leman 불구분성과 같은 알려진 접근 가능한 사례들을 통합적인 알고리즘 프레임워크로 일반화하는 것.
• Berkholz(2012)가 제기한 질문을 해결하기 위해, k가 입력에 포함될 경우 Weisfeiler–Leman 불구분성이 coNP-난이도임을 증명하는 것.
• HomInd(F)의 결정 가능성에 대해 유계 트리폭과 CMSO2로 정의 가능한 조건이 필요하고 충분한 조건이 되는 것을 규명하는 것.
• 특히, 소수 폐쇄 그래프 클래스에서 결정 가능하고 결정 불가능한 동형사상 불구분성 관계의 경계를 탐색하는 것.

제안 방법

• 메서드는 그래프를 시리즈 및 평행 병합과 같은 레이블된 연산으로 표현하는 Courcelle의 그래프 대수학에 기반한다.
• 동형사상 텐서는 대수 내의 레이블된 그래프에서의 동형사상 수를 추적하며, 트리폭이 유계일 경우 유한 차원 표현을 형성한다.
• CMSO2로 정의 가능한 그래프 클래스를 통한 인식 가능성은 대수적 구조가 효과적으로 계산되고 조작될 수 있음을 보장한다.
• 알고리즘은 랜덤화 검증을 사용하여 두 그래프 G와 H가 모든 F ∈ F에 대해 동일한 동형사상 수를 가지는지 확인하며, 이는 텐서 공간의 유한 차원성에 기반한다.
• 클리크 문제로의 축소를 통해 k가 입력에 포함될 경우 Weisfeiler–Leman 불구분성이 coNP-난이도가 됨을 증명한다.
• 유한 체 위에서 텐서 등가성을 효율적으로 검증하기 위해 중국인의 나머지 정리를 사용하여 정확도를 유한 오차 범위 내에서 보장한다.

실험 결과

연구 질문

• RQ1 그래프 클래스 F에 대해 동형사상 불구분성이 결정 가능하고 효율적으로 계산 가능한 일반적인 알고리즘 조건이 존재하는가?
• RQ2 유계 트리폭이나 Weisfeiler–Leman 동치성과 같은 특정 사례를 초월해 동형사상 불구분성의 접근 가능성 범위를 확장할 수 있는가?
• RQ3 매개변수 k(예: k차원 Weisfeiler–Leman)가 입력에 포함될 경우 동형사상 불구분성 결정의 정확한 복잡도는 무엇인가?
• RQ4 특히 소수 폐쇄 그래프 클래스에서 HomInd(F)의 결정 가능성을 위해 유계 트리폭이 필수적인 조건인가?
• RQ5 유한 차원 동형사상 텐서와 그래프 대수학 간의 연결을 활용하여 HomInd(F)의 결정 가능성 경계를 특성화할 수 있는가?

주요 결과

• 모든 k-인식 가능하고 트리폭이 최대 k−1인 그래프 클래스 F에 대해 HomInd(F)는 coRP에 속하며, 이는 동형사상 불구분성에 대한 첫 번째 일반적인 랜덤화 다항시간 알고리즘을 제공한다.
• 결과는 트리폭이 유계인 CMSO2로 정의 가능한 모든 그래프 클래스에 대해 성립하며, 유계 차수의 트리, k-외부평면 그래프, 유계 분기폭 그래프를 포함한다.
• k가 입력에 포함될 경우 문제는 여전히 coNP-난이도를 유지하며, 이는 k차원 Weisfeiler–Leman 불구분성 문제에 대해서도 마찬가지다.
• 증명은 레이블 수(또는 트리폭)가 유계일 경우 유한 차원 동형사상 텐서가 불구분성을 포괄하는 데 충분함을 입증하며, 이는 이전 연구에서의 직관을 수학적으로 정립한다.
• 입력이 (G, H, ϕ, k)인 HomInd의 매개변수화된 변형은 k가 고정될 경우 고정 매개변수 트랙터블(fixed-parameter tractable)이지만, k가 입력에 포함될 경우 coW[1]-난이도가 된다.
• 논문은 [37]에서 제기한 열린 문제를 긍정적으로 해결하여, Lasserre 계층 구조와 관련된 그래프 클래스에서 유계 트리폭 조건 하에 동형사상 불구분성이 결정 가능하다는 것을 보였다.