[논문 리뷰] Symbolic Rees algebras, vertex covers and irreducible representations of Rees cones

Luis A. Dupont, Rafael H. Villarreal|arXiv (Cornell University)|2007. 12. 08.

Commutative Algebra and Its Applications참고 문헌 24인용 수 21

한 줄 요약

이 논문은 간선 아이디얼과 그 아르버드 이중체의 기호 리스 대수의 최소 생성자를 비어 있는 정점 커버와 리스 콘의 힐베르트 기저를 사용하여 그래프 이론적으로 특성화한다. 비어 있는 그래프의 비가역 이진 b-정점 커버가 비가역 부분그래프와 대응됨을 보여주며, 이는 힐베르트 기저를 통해 모든 홀수 순환과 반순환을 계산하는 방법을 제공하고, 그래프에 콘 구조를 적용한 경우 고차수의 최소 생성자를 구성한다.

ABSTRACT

Let G be a simple graph and let J be its ideal of vertex covers. We give a graph theoretical description of the irreducible b-vertex covers of G, i.e., we describe the minimal generators of the symbolic Rees algebra of J. Then we study the irreducible b-vertex covers of the blocker of G, i.e., we study the minimal generators of the symbolic Rees algebra of the edge ideal of G. We give a graph theoretical description of the irreducible binary b-vertex covers of the blocker of G. It is shown that they correspond to irreducible induced subgraphs of G. As a byproduct we obtain a method, using Hilbert bases, to obtain all irreducible induced subgraphs of G. In particular we obtain all odd holes and antiholes. We study irreducible graphs and give a method to construct irreducible b-vertex covers of the blocker of G with high degree relative to the number of vertices of G.

연구 동기 및 목표

• 그래프의 간선 아이디얼의 기호 리스 대수의 최소 생성자를 그래프 이론적 불변량을 사용하여 기술하기.
• 비어 있는 그래프의 비가역 b-정점 커버를 비가역 부분그래프의 관점에서 특성화하기.
• 리스 콘의 힐베르트 기저를 사용하여 모든 비가역 부분그래프(홀수 순환 및 반순환 포함)를 체계적으로 계산하는 방법 개발하기.
• 비어 있는 그래프의 비가역 b-정점 커버를 정점 수에 비해 고차수로 구성하기.
• 기호 리스 대수 생성자와 클러터 내 조합 구조 간의 연결 고리(다각형 기하학적 접근을 통한)

제안 방법

• 간선 아이디얼의 리스 콘을 사용하여 기호 리스 대수를 R^{n+1} 내의 유리 다면체 콘으로 표현하기.
• 정수 힐베르트 기저를 적용하여 리스 콘의 비가역 표현을 통해 기호 리스 대수의 최소 생성자를 식별하기.
• b-정점 커버와 비가역 b-정점 커버를 클러터의 최소 정점 커버에서 유도된 특정 선형 부등식을 만족하는 Z^{n+1} 내의 벡터로 정의하기.
• 그래프 G의 비어 있는 구조를 G의 최소 정점 커버의 클러터로 구성하고, 비가역 커버를 통한 그의 기호 리스 대수 연구하기.
• 그래프 G에 대해 r중 콘 구조를 적용하여 고차원 클러터 G_r를 생성하고, R_s(I(G_r))의 최소 생성자의 차수 범위 유도하기.
• 벡터 (a_1, ..., a_n, -b) ∈ Z^{n+1}가 기호 리스 대수의 최소 생성자를 정의하는 것은, 비가역 b-커버를 통해 리스 콘의 면을 정의할 때에만 가능하다는 사실을 활용하기.

실험 결과

연구 질문

• RQ1 그래프의 간선 아이디얼의 기호 리스 대수의 최소 생성자는 어떤 그래프 이론적 불변량을 통해 기술될 수 있는가?
• RQ2 비어 있는 그래프의 비가역 b-정점 커버와 그의 비가역 부분그래프 사이의 관계는 무엇인가?
• RQ3 리스 콘의 힐베르트 기저를 사용하여 모든 비가역 부분그래프(홀수 순환 및 반순환 포함)를 체계적으로 계산할 수 있는가?
• RQ4 정점 수에 비해 고차수인 비어 있는 그래프의 비가역 b-정점 커버는 어떻게 구성할 수 있는가?
• RQ5 그래프의 콘 위에 형성된 기호 리스 대수의 구조는 어떠한가? 그리고 그 최소 생성자의 차수는 무엇인가?

주요 결과

• 비어 있는 그래프의 비가역 이진 b-정점 커버는 원래 그래프의 비가역 부분그래프와 정확히 일치한다.
• 리스 콘의 힐베르트 기저를 사용하는 방법은 모든 비가역 부분그래프(모든 홀수 순환 및 반순환 포함)를 체계적으로 계산할 수 있게 한다.
• n개의 정점과 정점 커버 수 g를 가진 그래프 G에 대해 r중 콘 구조를 적용한 그래프 G_r에 대해, 기호 리스 대수 R_s(I(G_r))는 변수 t에 대해 차수 n + (r-1)(n - g)의 최소 생성자를 가진다.
• 길이 s = 2k+1인 홀수 순환 C_s의 경우, 그 r중 콘의 기호 리스 대수는 최소 생성자 x_1⋯x_s x_{s+1}^k⋯x_{s+r}^k t^{rk + k + 1}를 가지며, 이는 t-차수가 정점 수를 초과할 수 있음을 보여준다.
• a_i ≥ 1인 벡터 β = (a_1, ..., a_n, (∑a_i - b), -∑a_i)는 비어 있는 리스 콘의 면을 이룬다. 이는 해당 단항식이 기호 리스 대수의 최소 생성자임을 증명한다.
• 최소 정점 커버의 선형 독립적인 특성 벡터의 존재는 구성된 면의 차원이 n+1임을 보여주며, 이는 생성자의 최소성 확인에 기여한다.