[논문 리뷰] Combinatorial Realization of the Hopf Algebra of Sashes

Shirley Law|arXiv (Cornell University)|2014. 07. 15.

Advanced Combinatorial Mathematics참고 문헌 5인용 수 4

한 줄 요약

이 논문은 펠 순열의 호프 대수와 자연스러운 조합적 순서를 통해, 말베누토-뢰텐아우어 호프 대수의 부분대수에 대한 내재적인 조합적 기술을 제공한다. 이는 검은 1×1 정사각형, 흰 1×1 정사각형, 흰 1×2 직사각형으로 이루어진 1×n 직사각형의 타일링인 샤프(sash)를 사용한다. 저자들은 샤프 기반으로 직접적으로 곱, 코곱, 그리고 그 쌍대 연산에 대한 명시적 공식을 수립하여, 샤프의 호프 대수가 자연스러운 조합적 순서를 통해 펠 순열의 호프 대수와 동형임을 증명한다.

ABSTRACT

A general lattice theoretic construction of Reading constructs Hopf subalgebras of the Malvenuto-Reutenauer Hopf algebra (MR) of permutations. The products and coproducts of these Hopf subalgebras are defined extrinsically in terms of the embedding in MR. The goal of this paper is to find an intrinsic combinatorial description of a particular one of these Hopf subalgebras. This Hopf algebra has a natural basis given by permutations that we call Pell permutations. The Pell permutations are in bijection with combinatorial objects that we call sashes, that is, tilings of a 1 by n rectangle with three types of tiles: black 1 by 1 squares, white 1 by 1 squares, and white 1 by 2 rectangles. The bijection induces a Hopf algebra structure on sashes. We describe the product and coproduct in terms of sashes, and the natural partial order on sashes. We also describe the dual coproduct and dual product of the dual Hopf algebra of sashes.

연구 동기 및 목표

• 말베누토-뢰텐아우어 호프 대수의 부분대수에 대한 내재적인 조합적 기술을 제공함으로써, 이전에는 임베딩을 통한 외재적인 정의 외에는 정의되지 않았던 바.
• 펠 순열이라 불리는 순열을 이용하여 이 호프 대수의 자연스러운 기저를 수립함.
• 곱과 코곱 연산을 순열에 대한 참조 없이, 타일링 조합론을 통해 샤프 호프 대수에서 직접적으로 정의함.
• 샤프 기반의 연산을 사용하여 샤프의 쌍대 호프 대수의 쌍대 곱과 쌍대 코곱을 묘사함.
• 샤프의 호프 대수가 조합적 순서를 통해 펠 순열의 호프 대수와 동형임을 증명함.

제안 방법

• 논문은 1×n 직사각형을 검은 1×1 타일, 흰 1×1 타일, 흰 1×2 직사각형 타일로 타일링하는 조합적 대상인 샤프에 대해 호프 대수의 구조를 구성한다.
• 두 샤프의 곱은 타일의 상대적 순서를 유지하면서 타일을 혼합하는 모든 방식의 합으로 정의되며, 순열 모델에서의 시프트된 셔플에 대응한다.
• 코프로덕트는 샤프를 가능한 모든 위치에서 자르고, 왼쪽과 오른쪽 부분을 표준화하여 새로운 샤프로 만든다.
• 쌍대 코프로덕트와 쌍대 곱은 역함수 사상 Inv(순열을 그 역으로 보내는 사상)를 통해 유도되며, 부분집합에 대한 합으로 표현된다.
• 타일의 위치와 그들이 약한 순서에서 상호작용하는 방식에 대한 케이스 분석을 통해, 곱과 코프로덕트 사상의 이미지가 샤프 기저 내에 존재함을 증명한다.
• 펠 순열과 샤프 사이의 순서를 수립하고, 펠 순열에서의 호프 대수 연산이 샤프에서 정의된 연산과 정확히 일치함을 보여준다.

실험 결과

연구 질문

• RQ1 펠 순열에 의해 생성되는 말베누토-뢰텐아우어 대수의 부분대수는, 둘러싸는 순열 대수에서의 참조 없이도 내재적인 조합적 기술로 기술될 수 있는가?
• RQ2 이 호프 대수의 곱과 코프로덕트 연산은 어떻게 샤프 타일링을 통해 명시적으로 실현될 수 있는가?
• RQ3 샤프의 쌍대 호프 대수의 구조는 무엇이며, 그 쌍대 곱과 쌍대 코프로덕트는 원래의 연산과 어떻게 관련되어 있는가?
• RQ4 펠 순열 순서에 대한 약한 순서에 대응하는 자연스러운 부분순서가 샤프에 존재하는가?
• RQ5 조합적 구성에 의해 샤프의 호프 대수가 펠 순열의 호프 대수와 동형임을 증명할 수 있는가?

주요 결과

• 샤프의 호프 대수는 샤프와 펠 순열 사이의 자연스러운 조합적 순서를 통해 펠 순열의 호프 대수와 동형이며, 이 동형은 해당 순서에 의해 유도된다.
• 두 샤프의 곱은 타일의 상대적 순서를 유지하면서 타일을 혼합하는 모든 방식의 합으로 주어지며, 이는 순열 모델에서의 시프트된 셔플에 대응한다.
• 샤프의 코프로덕트는 가능한 모든 위치에서 자르고, 왼쪽과 오른쪽 부분을 표준화하여 새로운 샤프로 만드는 방식으로 정의되며, 빈 샤프가 항등원이다.
• 쌍대 코프로덕트는 모든 부분집합 T에 대한 합으로 표현되며, 왼쪽 부분은 샤프를 T에 제한한 것이고, 오른쪽 부분은 T^C에 제한한 것을 표준화한 것이다.
• 쌍대 곱은 크기가 p인 모든 부분집합 T에 대한 합으로 주어지며, 결과는 입력 샤프의 T 제한과 T^C 제한을 연결한 후 표준화하는 것이다.
• 논문은 곱과 코프로덕트 사상의 이미지가 모두 샤프 기저에 포함됨을 증명하여, 샤프 위에서 호프 대수의 구조가 잘 정의되어 있음을 확인한다.