[논문 리뷰] Counting matrices over finite fields with support on skew Young and Rothe diagrams

Aaron J. Klein, Joel Brewster Lewis외 1명|arXiv (Cornell University)|2012. 03. 26.

Coding theory and cryptography인용 수 1

한 줄 요약

이 논문은 특정 랭크와 지원을 갖는 유한체 위의 행렬 수를 조사하며, 특정 항목을 피하는 방식으로 스케일드 양도형과 로테 다이어그램을 고려한다. 헤글룬드의 다항성 결과를 스케일드 양도형의 여집합으로 확장하고, 행렬과 열의 순열을 통한 동치성에 대해 로테 다이어그램이 스케일드 양도형의 여집합과 동치가 되는 필요 및 충분 조건을 규명하며, 이러한 수를 강한 브루아 타 주문의 파oincaré 다항식과 연결한다.

ABSTRACT

We consider the problem of finding the number of matrices over a finite field with a certain rank and with support that avoids a subset of the entries. These matrices are a q-analogue of permutations with restricted positions (i.e., rook placements). For general sets of entries these numbers of matrices are not polynomials in q (Stembridge 98); however, when the set of entries is a Young diagram, the numbers, up to a power of q-1, are polynomials with nonnegative coefficients (Haglund 98). In this paper, we give a number of conditions under which these numbers are polynomials in q, or even polynomials with nonnegative integer coefficients. We extend Haglund's result to complements of skew Young diagrams, and we apply this result to the case when the set of entries is the Rothe diagram of a permutation. In particular, we give a necessary and sufficient condition on the permutation for its Rothe diagram to be the complement of a skew Young diagram up to rearrangement of rows and columns. We end by giving conjectures connecting invertible matrices whose support avoids a Rothe diagram and Poincare polynomials of the strong Bruhat order.

연구 동기 및 목표

• 주어진 랭크와 특정 항목을 피하는 지원을 갖는 유한체 위의 행렬 수가 q에 대한 다항식이 되는 조건을 규명하는 것.
• 헤글룬드의 양도형에 대한 결과를 스케일드 양도형의 여집합으로 확장하는 것.
• 행렬과 열의 재배열을 통해 로테 다이어그램이 스케일드 양도형의 여집합과 동치가 되는 순열을 특성화하는 것.
• 로테 다이어그램 지원을 피하는 가역 행렬의 수를 강한 브루아 타 주문의 파oincaré 다항식과 연결하는 것.

제안 방법

• 제한된 지원을 갖는 행렬 수의 생성함수를 분석하기 위해 q-대체의 순열 수에 기반한 기법을 사용한다.
• 양도형과 룩 배치 기반의 조합 기법을 활용하여 지원 제약 조건을 연구한다.
• 행렬과 열의 순열을 활용하여 로테 다이어그램이 스케일드 양도형의 여집합과 동치가 되는 조건을 분류한다.
• 행렬 수가 q에 대한 다항식이 되는 조건을 판단하기 위해 다항식 기준을 적용한다.
• 대칭 함수 이론과 q-급수의 결과를 활용하여 생성함수의 구조적 성질을 규명한다.
• 강한 브루아 타 주 주문의 파oincaré 다항식과 로테 다이어그램 지원을 피하는 가역 행렬의 생성함수 간의 연결을 제안하는 추측을 제시한다.

실험 결과

연구 질문

• RQ1 유한체 위의 주어진 랭크를 갖는 행렬 수가 특정 항목을 피하는 지원을 갖는 경우, q에 대한 다항식이 되는 조건은 무엇인가?
• RQ2 스케일드 양도형의 여집합이 행렬과 열의 순열을 통해 어떤 순열의 로테 다이어그램과 동치가 되는가?
• RQ3 어떤 순열의 로테 다이어그램이 행렬과 열의 재배열을 통해 스케일드 양도형의 여집합이 되는가?
• RQ4 로테 다이어그램을 피하는 가역 행렬의 생성함수는 강한 브루아 타 주 주문의 파oincaré 다항식과 관련이 있는가?
• RQ5 어떤 구조적 성질이 제한된 지원을 갖는 행렬 수가 음이 아닌 정수 계수의 다항식이 되도록 보장하는가?

주요 결과

• 특정 스케일드 양도형을 피하는 지원을 갖는 주어진 랭크의 행렬 수는 q−1의 거듭제곱을 곱한 결과로, 음이 아닌 정수 계수의 다항식이 된다.
• 이 결과는 스케일드 양도형의 여집합으로까지 확장되어 동일한 조건 하에서 다항성의 성립이 보장된다.
• 로테 다이어그램이 행렬과 열의 순열을 통해 스케일드 양도형의 여집합과 동치가 되는 데 필요한 근본적인 조건이 제시된다.
• 이 조건은 순열의 역전표와 로테 다이어그램의 구조에 기반한 조합론적 특성으로 기술된다.
• 논문은 로테 다이어그램 지원을 피하는 가역 행렬의 생성함수와 강한 브루아 타 주 주문의 파oincaré 다항식 간의 깊은 연결을 추측한다.
• 이 연구는 다항성의 유지가 특정 다이어그램 대칭성과 조합적 동치 관계 하에서도 보존됨을 드러낸다.