[논문 리뷰] Chromatic numbers and a Lovász type inequality for non-commutative graphs

Se-Jin Kim, Arthur Mehta|arXiv (Cornell University)|2017. 09. 17.

Graph theory and applications참고 문헌 8인용 수 5

한 줄 요약

이 논문은 비가환 그래프에 대한 색칠 수의 두 가지 새로운 일반화를 제안하며, 이를 바탕으로 비가환 그래프의 레이놀즈-샌드위치 정리의 비가환 버전을 증명한다. 비가환 그래프는 부분행렬 연산자 체계 또는 추적을 가진 자기수반 연산자 공간으로 정의되며, 이에 따라 비가환 그래프의 수직 여부의 색칠 수는 그 쌍대 테타 수에 의해 아래에서 유계임을 보인다. 또한 카테고리적 곱과 카르테시안 곱을 이용해 비가환 설정에서 사비두시의 정리와 헤데니에미의 추측을 일반화한다.

ABSTRACT

Non-commutative graph theory is an operator space generalization of graph theory. Well known graph parameters such as the independence number and Lovász theta function were first generalized to this setting by Duan, Severini, and Winter. We introduce two new generalizations of the chromatic number to non-commutative graphs and provide a generalization of the Lovász sandwich inequality. In particular, we show the chromatic number of the orthogonal complement of a non-commutative graph is bounded below by its theta number. We also provide a generalization of both Sabadussi's Theorem and Hedetniemi's conjecture to non-commutative graphs.

연구 동기 및 목표

• 클래식 그래프 매개변수—특히 색칠 수와 레이놀즈-테타 함수—를 연산자 공간 이론을 사용하여 비가환 설정으로 확장하는 것.
• 힐버트-슈미트 내적에 대한 수직 여부를 이용해 비가환 그래프에 대한 의미 있는 보완의 개념을 정의하는 것.
• 레이놀즈-샌드위치 정리의 비가환 판본을 확립하여, 비가환 그래프의 수직 여부의 색칠 수가 테타 수에 의해 아래에서 유계임을 보이는 것.
• 카르테시안 곱에 대한 사비두시의 정리와 카테고리적 곱에 대한 헤데니에미의 추측을 추적을 가진 자기수반 연산자 공간으로 일반화하는 것.
• 스탈케가 제기한 질문에 답하기 위해 $\chi(G)\omega(\overline{G}) \geq n$의 항등식을 비가환 그래프로 일반화하는 것.

제안 방법

• 항등원을 포함하고 쌍대 연산자에 대해 닫혀 있는 부분행렬 연산자 체계와, 추적을 가진 자기수반 연산자 공간으로 비가환 그래프를 정의한다.
• 정규직교 기저의 수직 분해와 완전히 유계인 사상에 기반한 두 가지 새로운 색칠 수 일반화인 $\chi_0$와 $\chi_{0,cb}$를 도입한다.
• 힐버트-슈미트 내적을 사용해 비가환 그래프 $\mathcal{J}$의 수직 여부 $\mathcal{J}^\perp$를 정의함으로써 그래프 보완의 일반화를 가능하게 한다.
• 추적을 가진 자기수반 연산자 공간에 대해 카르테시안 곱 $\mathcal{J} \Box \mathcal{K}$와 카테고리적 곱 $\mathcal{J} \otimes \mathcal{K}$를 구성한다.
• 비가환 그래프 간의 그래프 호모모르피즘을 완전히 양성적이고 추적을 유지하는 사상으로 정의함으로써 고전적 그래프 성질의 전달이 가능하도록 한다.
• 완전히 유계성과 부분 추적 사상 등의 연산자 공간 이론의 정리들을 활용하여 색칠 수와 테타 함수 간의 부등식을 증명한다.

실험 결과

연구 질문

• RQ1 비가환 그래프를 부분행렬 연산자 체계와 추적을 가진 자기수반 연산자 공간으로 정의할 때 색칠 수를 의미 있게 일반화할 수 있는가?
• RQ2 레이놀즈-샌드위치 정리의 비가환 판본이 성립하는가? 즉, $\theta(\mathcal{J}) \leq \chi_{0,cb}(\mathcal{J}^\perp)$ 인가?
• RQ3 카르테시안 곱에 대한 사비두시의 정리가 비가환 그래프로 확장 가능한가?
• RQ4 카테고리적 곱에 대한 헤데니에미의 추측이 비가환 그래프로 일반화 가능한가?
• RQ5 항등식 $\chi(G)\omega(\overline{G}) \geq n$은 일반화된 색칠 수와 클리크 매개변수를 통해 비가환 그래프로 확장되는가?

주요 결과

• 논문은 비가환 레이놀즈-샌드위치 부등식을 확립한다: $\theta(\mathcal{J}) \leq \chi_{0,cb}(\mathcal{J}^\perp)$이며, 이는 비가환 그래프의 수직 여부의 색칠 수가 테타 수에 의해 아래에서 유계임을 보인다.
• 사비두시의 정리의 일반화가 증명된다: 적절한 정규직교 기저 $v,w$에 대해 $\chi_{0,cb}((\mathcal{J} \Box \mathcal{K})_{v,w}) = \max\{\chi_{0,cb}(\mathcal{J}), \chi_{0,cb}(\mathcal{K})\}$이다.
• 카테고리적 곱의 색칠 수는 $\chi_{0,cb}(\mathcal{J} \otimes \mathcal{K}) \leq \min\{\chi_{0,cb}(\mathcal{J}), \chi_{0,cb}(\mathcal{K})\}$를 만족하며, 이는 헤데니에미의 부등식을 일반화한다.
• 논문은 스탈케의 열린 질문에 답하기 위해 $\chi(G)\omega(\overline{G}) \geq n$을 비가환 그래프로 일반화하여 $\chi_{0,cb}(\mathcal{J}) \cdot \omega_{0,cb}(\mathcal{J}^\perp) \geq n$을 보인다.
• 색칠 수 $\chi_0$와 그 완전히 유계인 변형 $\chi_{0,cb}$가 각각 테타 함수와 그 쌍대 함수에 의해 아래와 위에서 유계임을 보였다.
• 일부 수직 조건을 만족하는 정규직교 기저의 존재는 곱에서 색칠 수의 유계성을 유지하는 색칠을 구성하는 데 기여한다.