[논문 리뷰] Partition Functions of Strongly Correlated Electron Systems as "Fermionants"

Shailesh Chandrasekharan, U.‐J. Wiese|arXiv (Cornell University)|2011. 08. 11.

Algebraic structures and combinatorial models참고 문헌 1인용 수 5

한 줄 요약

이 논문은 강한 상관 효과를 가진 전자 시스템, 예를 들어 무한대 U Hubbard 모형, 균형을 이루지 못하는 반자성체, Kondo 격자 등에서 분할 함수를 자연스럽게 기술하는 새로운 수학적 대상인 'fermionant'을 도입한다. Fermionant는 순열의 사이클 구조에 따라 부호 요소가 부여된 가중치 합으로서, 무한대의 국소 반발력 효과를 캡처하며, 양자 many-body 물리학에서 해결되지 않은 페르미온 부호 문제와 관련된 계산 복잡도의 핵심임이 밝혀졌다.

ABSTRACT

We introduce a new mathematical object, the "fermionant" ${\mathrm{Ferm}}_N(G)$, of type $N$ of an $n imes n$ matrix $G$. It represents certain $n$-point functions involving $N$ species of free fermions. When N=1, the fermionant reduces to the determinant. The partition function of the repulsive Hubbard model, of geometrically frustrated quantum antiferromagnets, and of Kondo lattice models can be expressed as fermionants of type N=2, which naturally incorporates infinite on-site repulsion. A computation of the fermionant in polynomial time would solve many interesting fermion sign problems.

연구 동기 및 목표

• 무한대의 국소 반발력을 가진 강한 상관 효과를 보이는 페르미온계의 분할 함수에 대한 통합된 수학적 프레임워크를 규명하는 것.
• Hubbard 모형이나 기하학적으로 균형을 이루지 못하는 반자성체와 같은 양자 many-body 시스템에서 지속적인 페르미온 부호 문제를 다루는 것.
• determinant의 일반화인 fermionant가 다항 시간 내에 계산될 수 있는가를 탐구하여 오랫동안 해결되지 않은 부호 문제를 해결할 수 있는지 여부를 조사하는 것.
• 자유 페르미온 이론에서의 n점 함수와 고전적 피카르 다이어그램 합계와 같은 물리적 관측 가능량과 fermionant를 연결하는 것.
• fermionant의 계산 복잡도를 분석하고, 조합론에서의 immanant와 permanent 유사 문제와의 관계를 탐구하는 것.

제안 방법

• n×n 행렬 G의 모든 순열 σ에 대한 합으로서 fermionant $\mathrm{Ferm}_N(G)$ 를 정의하며, 이는 $(-N)^{\nu(\sigma)}$ 로 가중되며, 여기서 $\nu(\sigma)$ 는 순열 σ의 사이클 수이다.
• N=1일 때 fermionant가 determinant로 축소되고, N=-1일 때는 permanent로 축소됨을 보여, 두 자료의 일반화로서의 역할을 입증한다.
• 표현 이론을 사용하여 character 이론을 통해 fermionant를 immanant의 선형 조합으로 표현한다: $\mathrm{Ferm}_N(G) = (-1)^n \sum_\Gamma c_\Gamma(N) \mathrm{Imm}_\Gamma(G)$, 이로써 표현 이론과의 연결 고리를 확립한다.
• 무한대 U Hubbard 모형, 균형을 이루지 못하는 반자성체, Kondo 격자 모형의 분할 함수가 자연스럽게 N=2 유형의 fermionant로 표현됨을 보여준다.
• fermionant를 자유 페르미온 시스템의 n점 함수 기술과 고정된 차수의 모든 피카르 다이어그램 합계에 대한 표현에 사용한다.
• fermionant의 계산 복잡도를 분석하며, 다항 시간 알고리즘이 알려져 있지 않지만 특정 경우에 효율적인 스토케스틱 샘플링이 가능할 수 있음을 지적한다.

실험 결과

연구 질문

• RQ1 무한대의 국소 반발력을 가진 강한 상관 효과를 보이는 페르미온계의 분할 함수는 determinant를 초월하는 새로운 수학적 대상으로 표현될 수 있는가?
• RQ2 fermionant는 determinant와 permanent를 어떻게 일반화하며, 그 수학적 구조는 군의 특성과 사이클 지표의 관점에서 어떻게 기술되는가?
• RQ3 fermionant를 평가하는 데 필요한 계산 복잡도는 무엇이며, 이는 P에 속하는가, 아니면 permanent와 마찬가지로 #P-난이도인가?
• RQ4 fermionant는 페르미온계의 양자 몬테카를로 시뮬레이션에서의 부호 문제를 이해하는 데 통합적인 프레임워크로 기능할 수 있는가?
• RQ5 fermionant의 일반적인 계산 불가능성에도 불구하고, 특정 물리계에서는 효율적인 스트로케스틱 샘플링이 가능한가?

주요 결과

• 반경이 반완전하지 않은 무한대 U Hubbard 모형의 분할 함수는 정확히 N=2 유형의 fermionant로 표현된다.
• 기하학적으로 균형을 이루지 못하는 양자 반자성체와 Kondo 격자 모형의 분할 함수도 자연스럽게 N=2 유형의 fermionant로 기술된다.
• fermionant는 각 순열을 $(-N)^{\nu(\sigma)}$ 로 가중함으로써 determinant를 일반화하며, 여기서 $\nu(\sigma)$ 는 순열 σ의 사이클 수이다.
• fermionant는 character 전개를 통해 immanant와 수학적으로 연결되며, 그 복잡도는 permanent만큼은 되어야 할 것으로 예상된다.
• fermionant를 다항 시간 내에 계산할 수 있는 알고리즘이 존재한다면, 응집물리학에서 오랫동안 해결되지 않은 많은 페르미온 부호 문제를 해결할 수 있다.
• 그러한 알고리즘이 알려져 있지 않지만, fermionant는 강한 상관 효과를 보이는 페르미온계의 계산 난이도를 분석하는 데 새로운 수학적 시각을 제공한다.