[논문 리뷰] Tensor networks and the enumeration of regular subgraphs

Peter Zograf|ArXiv.org|2006. 05. 10.

Tensor decomposition and applications참고 문헌 2인용 수 4

한 줄 요약

이 논문은 임의의 그래프에서 d-정규 부분그래프, 특히 d-팩터와 해밀턴 순환을 세는 데 사용되는 텐서 네트워크 기반 알고리즘을 제안한다. 정점에 대칭 텐서를 배치하고 이들을 이원형 형태를 통해 수축함으로써, 특정 유형의 부분그래프를 세는 생성 함수를 계산하는 방법이다. 핵심 결과는 텐서 네트워크 수축을 통한 정규 부분그래프 세기의 보편적 프레임워크를 제공한다는 것이다.

ABSTRACT

We propose a universal approach to a range of enumeration problems in graphs. The key point is in contracting suitably chosen symmetric tensors placed at the vertices of a graph along the edges. In particular, this leads to an algorithm that counts the number of d-regular subgraphs of an arbitrary graph including the number of d-factors (previously we considered the case d=2 with a special emphasis on the enumeration of Hamiltonian cycles; cf. math.CO/0403339). We briefly discuss the problem of the computational complexity of this algorithm.

연구 동기 및 목표

• 임의의 유한 그래프에서 d-정규 부분그래프를 세는 보편적 방법을 개발하기 위해.
• 이전의 해밀턴 순환 세기 작업(d=2)을 임의의 d ≥ 1 으로 일반화하기 위해.
• 생성 함수를 통해 부분그래프 수를 캡처하는 텐서 네트워크를 사용한 체계적인 프레임워크를 제공하기 위해.
• 제안된 알고리즘의 계산 복잡도를 분석하고, 효율적인 경우의 조건을 규명하기 위해.
• 대칭 텐서 네트워크와 부분그래프 세기의 대칭 다항식 간의 연결 고리를 설정하기 위해.

제안 방법

• 이 방법은 각 정점에 대해 d-차수의 대칭 d-벌레 텐서 A_d와 벡터 공간 V 위의 대칭 이차형태 B를 사용하여 텐서 네트워크를 구성한다.
• B를 사용하여 간-페어를 기반으로 텐서 수축을 수행함으로써, 필드 F 내의 스칼라 값으로 네트워크를 단순화한다.
• 결과로 얻어진 그래프 함수 F_A,B(G)는 특정 유형 λ의 k-정규 부분그래프의 계수를 세는 생성 함수이다.
• 이 구성은 부분그래프 수를 인코딩하기 위해 대칭 거듭제곱 S^d V와 대칭 다항식 p_λ(x_1,…,x_r)에 의존한다.
• 알고리즘은 선 그래프 G*의 트리폭에 의해 지배되는 최소 최대 정점 차수를 갖는 간 수축의 순서를 사용한다.
• 계산 복잡도는 |V(G)|^O(1) exp(O(tw(G*)))로 제한되며, 여기서 tw(G*)는 선 그래프의 트리폭이다.

실험 결과

연구 질문

• RQ1 임의의 그래프에서 모든 d-정규 부분그래프를 세는 데 사용할 수 있는 보편적 텐서 네트워크 프레임워크를 구축할 수 있는가?
• RQ2 대칭 텐서와 이차형태의 선택이 부분그래프 세기의 생성 함수에 어떤 영향을 미치는가?
• RQ3 부분그래프 세기의 텐서 네트워크 수축 알고리즘의 계산 복잡도는 무엇인가?
• RQ4 그래프의 구조와 관련하여 알고리즘이 어떤 조건에서 효율적으로 작동하는가?
• RQ5 대칭 텐서 분해 기법이 알고리즘의 효율성을 향상시킬 수 있는가?

주요 결과

• 텐서 네트워크 수축 F_A,B(G)는 G 내의 각 유형 λ에 대해 k-정규 부분그래프의 수를 유일하게 결정하는 생성 함수를 생성한다.
• r ≥ 1 + max_H l(H) 인 경우, 함수 F_A_k,I_r(G)는 G 내의 모든 k-정규 부분그래프의 계수 N_k,λ(G)를 유일하게 결정한다.
• r=2일 때, F_A_k,I_2(G)는 G 내의 총 k-팩터(스패닝 k-정규 부분그래프) 수를 제공한다.
• r = n+1 이고 단위근을 사용할 경우, F_A_k,I_{n+1}(G)/n 은 G 내의 연결 k-팩터 수를 제공한다.
• 알고리즘의 복잡도는 |V(G)|^O(1) exp(O(tw(G*)))로 제한되며, 이는 선 그래프의 트리폭이 유계인 그래프에 대해 효율적임을 의미한다.
• 이 방법은 이전의 해밀턴 순환 세기 결과를 일반화하며, d-정규 부분그래프 수를 세는 통합적 접근을 제공한다.