[논문 리뷰] Fusion Bialgebras and Fourier Analysis

Zhengwei Liu, Sébastien Palcoux외 1명|arXiv (Cornell University)|2019. 10. 26.

Algebraic structures and combinatorial models참고 문헌 34인용 수 6

한 줄 요약

이 논문은 융합 반군을 일반화하는 대체로 융합 이중대수와 그 쌍대를 도입하고, 이들의 푸리에 분석을 개발하여 단위 범주화에 대한 새로운 해석적 고립을 도출한다. 이는 불린 불등식과 얀의 부등식이 융합 이중대수에서는 성립하지만 그 쌍대에서는 항상 성립하지 않음을 증명하며, 특히 쌍대에서의 불린 곱 성질이 매우 강력한 고립이 되며, 이는 8 이하의 랭크와 FP-차원 < 4080인 34개의 단순 정수 융합 반군 중 28개를 제거한다.

ABSTRACT

We introduce fusion bialgebras and their duals and systematically study their Fourier analysis. As an application, we discover new efficient analytic obstructions on the unitary categorification of fusion rings. We prove the Hausdorff-Young inequality, uncertainty principles for fusion bialgebras and their duals. We show that the Schur product property, Young's inequality and the sum-set estimate hold for fusion bialgebras, but not always on their duals. If the fusion ring is the Grothendieck ring of a unitary fusion category, then these inequalities hold on the duals. Therefore, these inequalities are analytic obstructions of categorification. We classify simple integral fusion rings of Frobenius type up to rank 8 and of Frobenius-Perron dimension less than 4080. We find 34 ones, 4 of which are group-like and 28 of which can be eliminated by applying the Schur product property on the dual. In general, these inequalities are obstructions to subfactorize fusion bialgebras.

연구 동기 및 목표

• 융합 이중대수와 그 쌍대에 대한 체계적인 푸리에 분석 프레임워크를 개발한다.
• 융합 반군의 단위 범주화에 대한 고립이 되는 해석적 부등식을 규명한다.
• 랭크 8 이하 및 FP-차원 < 4080인 단순 정수 융합 반군을 분류한다.
• 새로운 고립, 특히 쌍대에서의 불린 곱 성질이 기존 분류 기준과 얼마나 효과적인지 시험한다.
• 대규모 융합 반군 집합에서 고립을 검증하기 위한 계산 도구와 데이터를 제공한다.

제안 방법

• 서브팩터 평면 대수의 2-박스 공간에 영감을 받아 복소수 위에서 융합 이중대수를 융합 반군의 일반화로 정의한다.
• 융합 이중대수의 쌍대를 도입하고, 푸리에 변환과 콘볼루션을 포함한 푸리에 분석적 구조를 수립한다.
• 융합 이중대수와 그 쌍대에 대해 하우스도르프-양 부등식과 불확실성 원리를 증명한다.
• 융합 이중대수에서는 얀의 부등식과 합집합 추정이 성립하지만, 그 쌍대에서는 항상 성립하지 않음을 규명한다.
• 쌍대에서의 불린 곱 성질을 주요 고립으로 사용하며, 특히 가환 경우에서 표현 이론적 특성 표와 연결한다.
• SageMath를 사용한 컴퓨터 검색을 구현하여 주어진 기준 이하의 융합 반군을 분류하고, 불린 곱 성질을 필터로 적용한다.

실험 결과

연구 질문

• RQ1 융합 이중대수에서 양자 푸리에 분석을 통해 유도된 어떤 해석적 부등식이 융합 반군의 단위 범주화에 대한 고립이 되는가?
• RQ2 융합 이중대수의 쌍대에서 불린 곱 성질과 얀의 부등식이 성립하는가, 그리고 어떤 조건에서 성립하는가?
• RQ3 쌍대에서의 불린 곱 성질이 다른 알려진 고립을 통과한 융합 반군을 제거하는 데 사용될 수 있는가?
• RQ4 불린 곱 성질은 프로비엔스 타입 융합 반군의 분류에 있어 얼마나 효과적인 계산 도구인가?
• RQ5 특히 저랭크 및 저차원의 경우에서, 쌍대에서 불린 곱 성질에 실패하는 융합 반군의 분포는 어떠한가?

주요 결과

• 융합 이중대수의 쌍대에서의 불린 곱 성질은 단위 범주화에 대한 새로운 효율적인 해석적 고립이다.
• 랭크 ≤ 8 이하 및 FP-차원 < 4080인 34개의 단순 정수 융합 반군 중 28개가 쌍대에서의 불린 곱 성질에 의해 제거된다.
• 자기쌍대 대상을 가진 랭크 3 융합 대수 10,000개의 무작위 표본 중 약 30%에서 쌍대에서 불린 곱 성질이 실패한다.
• 얀의 부등식과 합집합 추정은 융합 이중대수에서는 성립하지만, 그 쌍대에서는 항상 성립하지 않으며, 이는 잠재적 고립임을 시사한다.
• 주요 분류 기준을 초월해 발견된 2,595개의 완전한 정수 융합 반군 중 480개는 쌍대에서 불린 곱 성질을 만족하며, 모든 경우에서 오스트릭의 부등식을 만족한다.
• FP-차원 4620인 랭크 8 융합 반군 16개 중 4개에서 융합 이중대수의 쌍대가 불린 곱 성질을 실패하며, 이는 비하위소자화 가능성의 부재를 시사한다.