[논문 리뷰] Interlace Polynomials for Delta-Matroids

Robert Brijder, Hendrik Jan Hoogeboom|arXiv (Cornell University)|2010. 10. 22.

Advanced Combinatorial Mathematics참고 문헌 10인용 수 6

한 줄 요약

이 논문은 상호배제 다항식과 관련된 그래프 다항식을 집합 체계와 델타-마트로이드로 일반화하여, 그들의 재귀적 성질을 그래프 이론에 의존하지 않는 조합론적 방법으로 유도한다. 마트로이드의 투트 다항식이 대각선에서 일반화된 상호배제 다항식의 특수한 경우임을 증명함으로써, 라스 버그나스의 추측을 입증하고 새로운 평가 및 상호관계를 밝힌다.

ABSTRACT

We show that the (single variable) interlace polynomial and several related graph polynomials may be defined for set systems (or more specifically, delta-matroids) in general. In this way, and using combinatorial properties of set systems and delta-matroids rather than graph theoretical arguments, we find that various known results about these polynomials, including their recursive relations, are both more efficiently and more generally obtained. In addition, we obtain several interrelationships and results for polynomials on set systems (and delta-matroids) that correspond to new interrelationships and results for the corresponding polynomials on graphs. Finally, we show that the Tutte polynomial for matroids on the diagonal is a special case of the generalized interlace polynomial for delta-matroids, and we obtain in this way novel evaluations of the Tutte polynomial. In particular we prove a conjecture by Las Vergnas.

연구 동기 및 목표

• 집합 체계와 델타-마트로이드의 더 넓은 프레임워크로 상호배제 다항식과 관련된 그래프 다항식을 확장하기.
• 그래프 이론적 방법이 아닌 집합 체계의 조합론적 성질을 이용하여 이러한 다항식의 재귀 관계와 구조적 성질을 유도하기.
• 집합 체계에서의 다항식 간의 새로운 상호관계를 밝혀내어, 이는 그래프 다항식에 대해 새로운 결과로 번역된다.
• 마트로이드의 투트 다항식이 대각선에서 제한된 경우가 델타-마트로이드의 일반화된 상호배제 다항식의 특수한 경우임을 보여주기.
• 마트로이드에서의 투트 다항식 평가에 관한 라스 버그나스의 추측을 증명하기.

제안 방법

• 대칭 차집합 연산과 국소 보완성의 일반화를 사용하여 델타-마트로이드에 대한 상호배제 다항식을 형식화하기.
• 델타-마트로이드의 타당 집합에 대한 삭제-수축 유사한 재귀적 연산을 통해 일반화된 다항식 정의하기.
• 투트 다항식이 대각선에 제한된 경우가 일반화된 상호배제 다항식의 특정 평가와 일치함을 입증하기.
• 델타-마트로이드의 구조적 성질—예를 들어 대칭 차집합과 타당 집합의 닫힘—을 이용하여 다항식 항등식 유도하기.
• 그래프 기반의 다항식 항등식을 집합 체계의 언어로 번역하여 더 깊은 조합론적 연결을 드러내기.
• 일반화된 프레임워크를 적용하여 기존의 상호배제 다항식 및 그 평가에 관한 결과들을 복원하고 확장하기.

실험 결과

연구 질문

• RQ1 상호배제 다항식과 관련된 그래프 다항식은 자연스럽게 델타-마트로이드와 집합 체계로 확장될 수 있는가?
• RQ2 이러한 일반화된 다항식의 재귀적 구조를 뒷받침하는 델타-마트로이드의 조합론적 성질은 무엇인가?
• RQ3 집합 체계에서의 다항식 간의 상호관계는 그래프 설정에서의 새로운 관계를 어떻게 反영하는가?
• RQ4 마트로이드의 투트 다항식이 대각선에서 제한된 경우가 델타-마트로이드의 일반화된 상호배제 다항식의 특수한 경우인가?
• RQ5 이 일반화된 프레임워크를 사용하여 라스 버그나스의 투트 다항식 평가 추측을 증명할 수 있는가?

주요 결과

• 상호배제 다항식과 관련된 그래프 다항식은 그래프 구조에 의존하지 않는 조합론적 집합 체계 성질을 사용하여 델타-마트로이드로 일반화될 수 있다.
• 이러한 다항식의 재귀 관계는 그래프 이론적 추론보다 델타-마트로이드 연산을 통해 더 효율적이고 일반적으로 도출된다.
• 집합 체계에서의 다항식 간의 새로운 상호관계는 그래프 다항식에 대응하는 새로운 결과를 낳는다.
• 마트로이드의 투트 다항식이 대각선에서 제한된 경우가 델타-마트로이드의 일반화된 상호배제 다항식의 특수한 경우로 증명된다.
• 이 프레임워크는 마트로이드에서의 투트 다항식 평가에 관한 라스 버그나스의 추측을 증명한다.