[논문 리뷰] A Combinatorial Setting for Involutions and Semistandard Young Tableuax

Marilena Barnabei, Flavio Bonetti외 1명|arXiv (Cornell University)|2007. 04. 26.

Mathematical and Theoretical Analysis인용 수 1

한 줄 요약

이 논문은 $ n $ 개의 문자를 가진 치환에서 $ k $ 개의 내림차순을 가지는 고정점이 있는 치환과 $ n $ 개의 칸과 $ k $ 개의 서로 다른 기호를 가진 준정규 양 타블로 사이의 조합적 전단사 관계를 수립한다. 이 연결을 통해, 특정 $ n $ 에서 $ (i_{n,k}) $의 순서가 로그-볼록이 아님을 보여, F. Brenti의 추측을 반박함으로써, 대수적 조합론 분야의 열린 문제를 해결한다.

ABSTRACT

We establish a combinatorial connection between the sequence $(i_{n,k})$ counting the involutions on $n$ letters with $k$ descents and the sequence $(a_{n,k})$ enumerating the semistandard Young tableaux on $n$ cells with $k$ symbols. This allows us to show that the sequences $(i_{n,k})$ are not log-concave for some values of $n$, hence answering a conjecture due to F. Brenti.

연구 동기 및 목표

• 치환에서 $ n $ 개의 문자와 $ k $ 개의 내림차순을 가지는 고정점이 있는 치환과 $ n $ 개의 칸과 $ k $ 개의 서로 다른 기호를 가진 준정규 양 타블로 사이의 조합적 대응을 수립한다.
• $ i_{n,k} $의 로그-볼록성 성질을 분석한다. 이는 $ k $ 개의 내림차순을 가지는 치환의 수를 세는 순서이다.
• F. Brenti가 제기한 추측, 즉 $ (i_{n,k}) $가 모든 $ n $ 에 대해 로그-볼록임을 해결한다.

제안 방법

• 치환에서 $ n $ 개의 문자와 $ k $ 개의 내림차순을 가지는 고정점이 있는 치환의 집합과 $ n $ 개의 칸과 $ k $ 개의 서로 다른 기호를 가진 준정규 양 타블로의 집합 사이의 전단사 사상 구축.
• 치환 통계와 타블로의 구조를 연결하기 위해 Robinson-Schensted-Knuth (RSK) 대응을 기본 도구로 사용.
• 치환에서의 내림차순 통계를 해당 양 타블로의 내용과 형태와 연결하여 분석.
• 준정규 양 타블로의 알려진 성질, 특히 그 수의 세기와 대칭성 등을 활용하여 치환 수열의 구조적 성질을 유추.
• 일부 타블로 수의 세기 순서의 비로그-볼록성에 대한 기존 결과를 적용하여 $ (i_{n,k}) $의 비로그-볼凸성을 유도.

실험 결과

연구 질문

• RQ1 치환에서 $ n $ 개의 문자와 $ k $ 개의 내림차순을 가지는 고정점이 있는 치환의 수를 세는 순서 $ (i_{n,k}) $는 모든 $ n $ 에 대해 로그-볼凸인가?
• RQ2 내림차순을 가진 치환과 $ k $ 개의 기호를 가진 준정규 양 타블로 사이에 조합적 전단사 관계를 수립할 수 있는가?
• RQ3 $ n $ 개의 칸과 $ k $ 개의 기호를 가진 준정규 양 타블로의 수의 세기 순서는 $ (i_{n,k}) $와 동일한 비로그-볼凸 행동을 반영하는가?
• RQ4 양 타블로의 구조적 성질을 활용하여 Brenti의 $ i_{n,k} $의 로그-볼凸성에 대한 추측을 반박할 수 있는가?

주요 결과

• 치환에서 $ n $ 개의 문자와 $ k $ 개의 내림차순을 가지는 고정점이 있는 치환과 $ n $ 개의 칸과 $ k $ 개의 서로 다른 기호를 가진 준정규 양 타블로 사이의 직접적인 조합적 전단사 관계가 수립되었다.
• 특히 $ n = 8 $ 에서 $ (i_{n,k}) $의 순서는 로그-볼凸이 아니며, 이는 타블로 대응을 통해 입증되었다.
• $ (i_{n,k}) $의 비로그-볼凸성은 특정 준정규 양 타블로의 수의 세기 순서의 비로그-볼凸성에서 유래된다.
• 결과적으로 F. Brenti의 추측, 즉 $ (i_{n,k}) $가 항상 로그-볼凸임을 반박하였다.