[논문 리뷰] On the Homogenized Linial Arrangement: Intersection Lattice and Genocchi Numbers

Alexander Lazar, Michelle L. Wachs|arXiv (Cornell University)|2018. 11. 16.

Advanced Combinatorial Mathematics인용 수 5

한 줄 요약

이 논문은 동차화된 Linial 배열의 교차 레이스의 멜리우스 함수에 대한 조합적 해석을 제공하며, D-순열이라고 불리는 새로운 유형의 순열을 도입한다. 교차 레이스를 분할 레이스의 부분순서집합과 등위를 설정하고, 전단사 사상으로 서열적 총구와 연결함으로써 특성 다항식에 대한 생성함수를 유도하고, 멜리우스 불변량이 비중간 Genocchi 수임을 증명한다. 이 결과는 유형 B 및 Dowling 배열로 확장되며, m-라벨링된 유사물이 도입된다.

ABSTRACT

Hetyei recently introduced a hyperplane arrangement (called the homogenized Linial arrangement) and used the finite field method of Athanasiadis to show that its number of regions is a median Genocchi number. These numbers count a class of permutations known as Dumont derangements. Here, we take a different approach, which makes direct use of Zaslavsky's formula relating the intersection lattice of this arrangement to the number of regions. We refine Hetyei's result by obtaining a combinatorial interpretation of the M\\"obius function of this lattice in terms of variants of the Dumont permutations. This enables us to derive a formula for the generating function of the characterisitic polynomial of the arrangement. The M\\"obius invariant of the lattice turns out to be a (nonmedian) Genocchi number. Our techniques also yield type B, and more generally Dowling arrangement, analogs of these results.

연구 동기 및 목표

• 동차화된 Linial 배열의 교차 레이스 멜리우스 함수에 대한 조합적 해석을 제공한다.
• Hetyei의 결과를 보완하여 영역 수가 중간 Genocchi 수와 관련이 있음을 D-순열과 연결함으로써 이를 정교화한다.
• 유형 B 및 Dowling 배열로 결과를 확장하기 위해 라벨링된 순열과 라벨링된 분할 레이스를 사용한다.
• D-순열을 활용하여 동차화된 Linial 배열의 특성 다항식에 대한 생성함수를 도출한다.
• 레이스의 멜리우스 불변량이 비중간 Genocchi 수임을 입증하고, 새로운 조합적 해석을 제공한다.

제안 방법

• 동차화된 Linial 배열의 교차 레이스는 분할 레이스 Π2n의 유도된 부분순서집합과 등위를 이룬다. 이는 모든 비단일성 블록의 최소값이 홀수이고 최대값이 짝수인 분할로 구성된다.
• 특정 사이클 및 라벨링 조건을 만족하는 [2n] 위의 새로운 순열 유형인 D-순열을 정의한다: 2n이 속한 사이클의 사이클 최소값과 오른쪽에서 왼쪽으로 본 최소값은 모두 0으로 라벨링되어야 한다.
• 레이스의 NBC 집합과 m-라벨링된 D-순열 사이의 전단사 사상을 구성함으로써 멜리우스 함수에 대한 조합적 공식을 도출한다.
• Rota-Whitney 공식을 적용하여 레이스의 멜리우스 함수를 계산하고, 이는 D-순열과 관련된 부호가 붙은 제1종 스테링 수로 표현된 특성 다항식을 도출한다.
• 유형 B 및 Dowling 배열에 대한 m-라벨링 유사물이 개발되며, Zm 위에서 사이클 및 라벨링 제약 조건을 갖는 m-라벨링된 D-순열이 도입된다.
• Orlik-Solomon 공식을 사용하여 특성 다항식을 복소수 2n차원에서 배열의 여집합의 베티 수와 연결한다.

실험 결과

연구 질문

• RQ1 동차화된 Linial 배열의 교차 레이스 멜리우스 함수는 어떻게 조합적으로 해석할 수 있는가?
• RQ2 Hetyei의 중간 Genocchi 결과를 초월하여, 동차화된 Linial 배열의 영역 수와 Genocchi 수 사이의 관계는 무엇인가?
• RQ3 라벨링된 순열을 통해 결과를 유형 B 및 Dowling 배열으로 확장할 수 있는가?
• RQ4 동차화된 Linial 배열의 특성 다항식에 대한 생성함수는 어떤 조합적 대상으로 표현될 수 있는가?
• RQ5 레이스의 멜리우스 불변량은 무엇이며, 비중간 Genocchi 수와 어떻게 관련이 있는가?

주요 결과

• 동차화된 Linial 배열의 교차 레이스 멜리우스 함수는 (−1)^{|π|}μ(0̂,π) = |{σ ∈ D2n^m : cyc(σ) = π}|로 주어진다. 여기서 D2n^m는 m-라벨링된 D-순열의 집합이다.
• 배열의 특성 다항식은 χL(H2n−1)(t) = ∑k=1^{2n} sD,m(2n,k) t^{k−1}로 주어지며, 여기서 (−1)^k sD,m(2n,k)는 k개의 사이클을 갖는 m-라벨링된 D-순열의 수를 세는 수이다.
• 영역 수는 |χL(H2n−1)(−1)| = |D2n^m|이며, 멜리우스 불변량 μ(0̂,1̂) = −|DC2n^m|이다. 여기서 DC2n^m는 m-라벨링된 D-사이클의 집합이다.
• 생성함수 ∑n≥1 χL(H2n−1)(t) x^n 은 ∑n≥1 (t−1)n,m (t−m)n−1,m x^n / ∏k=1^n (1 − mk(t−mk)x)로 주어지며, 여기서 (a)n,m = a(a−m)(a−2m)⋯(a−(n−1)m)이다.
• 멜리우스 불변량은 비중간 Genocchi 수이다: μ(0̂,1̂) = −m^{2n−1} G_n(m^{-1})이며, 여기서 G_n(x)는 Gandhi 다항식이다.
• m-라벨링된 D-순열은 서열적 총구와 전단사로 연결되며, Hetyei의 결과를 복원하고 특성 다항식 및 Genocchi 수 공식의 완전한 m-유사물로 확장한다.