[논문 리뷰] Partial flag incidence algebras

Max Wakefield|arXiv (Cornell University)|2016. 05. 05.

Algebraic structures and combinatorial models참고 문헌 14인용 수 4

한 줄 요약

이 논문은 국소적으로 유한한 부분순서집합에서 비교 가능한 원소의 n-튜플 위의 함수로 구성된 비결합, 비단위 대수인 부분 플래그 인세턴스 대수를 소개한다. 계수는 환에서 취한다. 일반화된 제타, 델타, 모비우스 함수를 정의하고, 삭제-수축 공식의 실패로 인해 Tutte 다항식의 불변량이 아닌 새로운 플래그 형태의 특성 다항식을 제안한다. 불리안 래티스에 대해 명시적인 공식이 계산되었다.

ABSTRACT

The $n^{th}$ partial flag incidence algebra of a poset $P$ is the set of functions from $P^n$ to some ring which are zero on non-partial flag vectors. These partial flag incidence algebras for $n>2$ are not commutative, not unitary, and not associative. However, partial flag incidence algebras contain generalized zeta, delta, and Möbius functions which are finer and more delicate invariants than their classical analogues. We also study some generalized characteristic polynomials of posets which are not evaluations of Tutte polynomials and compute them for Boolean lattices. Motivation for this work came from studying the matroid Kazhdan-Lusztig polynomials where partial flag Whitney numbers play a central role.

연구 동기 및 목표

• 부분순서집합의 부분 플래그를 기반으로 한 일반화된 인세턴스 대수를 개발하여, 고전적 인세턴스 대수 이론을 간격을 초월해 확장한다.
• 이 대수에 대해 일반화된 모비우스 함수와 제1종 및 제2종 윌슨 수를 정의하고 연구한다.
• 특성 다항식의 플래그 형태를 제안하고, 이것이 삭제-수축 관계를 만족하는지 여부를 규명한다.
• 기초적인 도구를 제공하여 향후 일반화된 Tutte 다항식에 대한 연구에 기여하고, 매트로이드 카즈단-류스타이그 다항식과의 연결 고리를 설정한다.
• 새로운 특성 다항식이 고전적 Tutte 다항식의 평가가 아니라는 것을 보여주기 위해 삭제-수축 공리계가 실패함을 입증함으로써, 이것이 고전적 Tutte 다항식의 평가가 아님을 증명한다.

제안 방법

• 국소적으로 유한한 부분순서집합에서 비교 가능한 원소의 n-튜플에서 환 R로의 함수로 구성된 k-번째 부분 플래그 인세턴스 대수를 정의하며, 비부분 플래그에서는 0이 되도록 한다.
• 대수적 구조 내에서 일반화된 제타, 델타, 모비우스 함수와 같은 표준 원소를 도입한다.
• 고차원 적분 복합체를 모델로 삼은 비결합적이고 비단위적인 복합곱을 사용하여 비결합성과 비단위성을 갖는 대수를 구성한다.
• 계수 환의 가환성이 보장될 경우 대수에 대해 키니히형 곱 공식을 수립하여 무한한 가닥에서의 계산을 가능하게 한다.
• 다중항식 항등식과 재귀적 구조를 활용하여 불리안 래티스에 대한 일반화된 특성 다항식을 계산한다.
• 다항식이 삭제 및 제한 연산 하에서의 행동을 시험하여, 고전적 삭제-수축 공식을 만족하지 않음을 보였다.

실험 결과

연구 질문

• RQ1 부분 플래그에 정의된 일반화된 특성 다항식이 고전적 Tutte 다항식과 유사한 삭제-수축 재귀관계를 만족하는가?
• RQ2 부분 플래그 인세턴스 대수의 일반화된 모비우스 함수가 로타의 크로스컷 정리의 고차원 해석을 만족하는가?
• RQ3 불리안 래티스에 대한 플래그 윌슨 수의 제1종 및 제2종은 다중계수 계수로 표현될 수 있는가?
• RQ4 새로운 플래그 특성 다항식은 덱폰, 핀크, 모치의 초평면 배열에 대한 불변량 이론 프레임워크와 호환되거나 불변량인가?
• RQ5 비결합성과 비단위성을 갖는 이러한 대수는 매트로이드 불변량을 연구하는 데 있어 어떤 구조적 성질을 지니고 있는가?

주요 결과

• 불리안 래티스 B_n에 대한 k-번째 일반화된 특성 다항식은 χ_k(B_n; t₁,…,t_k) = (t₁(t₂(⋯(t_{k-1}(t_k−1)+1)⋯+(−1)^{k−1})+(−1)^k)^n 으로 주어진다.
• k=2이고 랭크 2에서 3개의 초평면이 있는 경우, 특성 다항식은 χ₂(A;t₁,t₂) = t₁²t₂² − 3t₁²t₂ + 2t₁² + 3t₁t₂ − 6t₁ + 4 이다.
• 간단한 랭크 2 배열에서 3개의 초평면에 대해 제안된 삭제-수축 공식이 직접 계산을 통해 실패함을 보였다.
• 일반화된 특성 다항식은 삭제-수축 재귀관계를 만족하지 않으며, 이는 고전적 Tutte 다항식의 평가가 아님을 증명한다.
• 다항식은 곱 공식(정리 4.3)을 만족함을 보였으며, 이는 부분순서집합의 곱에 대해 잘 작동함을 시사하지만, 복잡성으로 인해 실용적 유용성은 제한된다.
• 일반화된 모비우스 함수는 로타의 크로스컷 정리의 고차원 해석을 만족하며, 고전 결과를 플래그 설정으로 확장한다.