[논문 리뷰] Many toric ideals generated by quadratic binomials possess no quadratic Gröbner bases

Takayuki Hibi, Kenta Nishiyama외 2명|arXiv (Cornell University)|2013. 02. 01.

Commutative Algebra and Its Applications참고 문헌 8인용 수 5

한 줄 요약

이 논문은 토닉 아이디얼이 이차 이항식으로 생성되지만 이차 그뢰브너 기저를 갖지 않는 유한한 연결 단순 그래프의 무한한 가족을 구성하며, 이는 코스졸 성질이 이차 그뢰브너 기저의 존재를 함의하지 않는다는 것을 보여준다. 조합적 기준과 컴퓨터 보조 정렬을 통해 저자들은 8개 이하 정점까지의 모든 이러한 그래프를 분류하였으며, 214개의 예시를 식별하였는데, 이 중 213개는 비-코스졸 케이스이고, 나머지 하나는 이론적 추론을 통해 해결된 불확실한 케이스이다.

ABSTRACT

Let $G$ be a finite connected simple graph and $I_{G}$ the toric ideal of the edge ring $K[G]$ of $G$. In the present paper, we study finite graphs $G$ with the property that $I_{G}$ is generated by quadratic binomials and $I_{G}$ possesses no quadratic Gröbner basis. First, we give a nontrivial infinite series of finite graphs with the above property. Second, we implement a combinatorial characterization for $I_{G}$ to be generated by quadratic binomials and, by means of the computer search, we classify the finite graphs $G$ with the above property, up to 8 vertices.

연구 동기 및 목표

• 토닉 아이디얼이 이차 이항식으로 생성되지만 이차 그뢰브너 기저를 갖지 않는 유한한 연결 단순 그래프를 식별하는 것.
• 이러한 그래프의 비자명한 무한 가족을 구성하여, 코스졸 성질이 이차 그뢰브너 기저의 존재를 함의하지 않는다는 것을 입증하는 것.
• 컴퓨터 기반 정렬과 조합적 기준을 사용하여, 8개 이하 정점까지의 모든 이러한 그래프를 분류하는 것.
• 토닉 아이디얼이 이차 그뢰브너 기저를 갖지 않는 코스졸 토닉 환의 존재 여부라는 열린 문제를, 식별된 예시를 분석하여 해결하는 것.

제안 방법

• 논문 [14, 정리 1.2]에서 제공하는 조합적 특성화를 활용하여, $I_G$가 이차 이항식으로 생성되는 조건을 결정한다. 이는 짝수 사이클과 최소 홀수 사이클의 구조에 기반한다.
• nauty 소프트웨어를 사용하여 8개 이하 정점까지의 동형이 아닌 연결 단순 그래프를 모두 생성한다.
• CyPath를 사용하여 각 그래프의 모든 짝수 사이클과 최소 홀수 사이클을 정렬하고, 기준 검증에 활용한다.
• Risa/Asir를 사용하여 무작위로 선택된 가중 벡터를 활용해 그뢰브너 기저를 계산한다; 각 그래프당 10,000회 반복하여 이차 그뢰브너 기저를 갖는 그래프를 배제한다.
• Macaulay2를 사용하여 $K[G]$의 코스졸 성질을 테스트하고, 필요에 따라 TiGERS/CaTS를 활용해 전체 그뢰브너 기저 계산을 수행한다.
• 정리 2.8을 적용하여 불확실한 케이스를 해결한다. 이는 7사이클의 여집합의 스 suspension임을 보여주며, 이는 이차 그뢰브너 기저를 갖지 않는다는 것을 입증한다.

실험 결과

연구 질문

• RQ1 토닉 아이디얼이 이차 이항식으로 생성되지만 이차 그뢰브너 기저를 갖지 않는 유한한 연결 단순 그래프 $G$가 존재하는가?
• RQ2 이러한 그래프의 비자명한 무한 가족을 명시적으로 구성할 수 있는가?
• RQ3 8개 이하 정점까지의 모든 이러한 그래프의 완전한 분류는 무엇인가?
• RQ4 토닉 아이디얼 $I_G$가 이차 그뢰브너 기저를 갖지 않는 코스졸 토닉 환 $K[G]$는 존재하는가?

주요 결과

• 길이 $n \geq 5$인 홀수 사이클의 여집합의 스 suspension으로서 $(*)$-최소 그래프의 무한 가족을 구성하였으며, 이러한 그래프가 존재하고 무한히 많다는 것을 증명한다.
• 8개 이하 정점까지의 그래프 중에서, $I_G$가 이차 이항식으로 생성되지만 이차 그뢰브너 기저를 갖지 않는 그래프는 총 214개이다.
• 이 중 213개는 Macaulay2를 통해 비-코스졸임이 확인되었고, 나머지 하나는 정리 2.8을 통해 이차 그뢰브너 기저를 갖지 않음을 입증하여 해결되었다.
• 분류 결과에 따르면, 8개 정점을 가진 214개의 그래프 중 51개는 도강도 1을 가진 정점을 포함하고 있어, 구조적 다양성을 보여준다.
• 이 연구는 코스졸 성질이 이차 그뢰브너 기저의 존재를 함의하지 않는다는 것을 확인하였으며, 이는 무한한 시리즈 내에서 그러한 예시를 발견하지 못했기 때문이다.
• 논문은 8개 정점까지의 이러한 그래프의 완전한 목록을 http://www2.rikkyo.ac.jp/~ohsugi/minimalexamples/ 에서 제공한다.