백스터 순열
Baxter permutation결합수학에서 백스터 순열은 순열 를 만족하는 순열이다.
- σ(j + 1) σ(i) <(k) k(j) 또는 σ(j) <(k) <(i) <(i) <(j) <(i) <(j + 1) indices) +(j + 1)이 있는 지수 i < k > 는 없다.
마찬가지로, 박스터 순열은 2-41-3과 3-14-2의 두 점선 패턴을 피하는 것이다.
예를 들어 순열 perm = 2413 in S(한4 줄 표기법)는 백스터 순열이 아니다. 왜냐하면 i = 1, j = 2 및 k = 4를 취하면 이 순열은 첫 번째 조건을 위반하기 때문이다.
이러한 순열은 Glen E. Baxter에 의해 수학적 분석의 맥락에서 소개되었다.[1]
열거
n = 1, 2, 3, ...의 경우, 길이 n의 백스터 순열의 숫자n a는 다음과 같다.
1, 2, 6, 22, 92, 422, 2074, 10754, 58202, 326240, 1882960, 11140560, 67329992, 414499438, 2593341586, 16458756586,...
OEIS의 OEIS: A0011811 시퀀스 입니다.일반적으로 a에는n 다음과 같은 공식이 있다.
In fact, this formula is graded by the number of descents in the permutations, i.e., there are [3] S에서n k – 1 강하로 백스터 순열
기타 속성
- 길이 2n의 백스터 순열은 (Cn),2 길이 2n + 1의 제곱은 CC이다nn+1.
- 길이 2n과 길이 2n + 1의 두 배로 교차하는 백스터 순열(즉, σ과 역 σ이−1 모두 교대로 이루어지는 순열) 수는 카탈로니아 숫자 C이다n.[4]
- 백스터 순열은 홉프 알헤브라스,[5] 평면 그래프,[6] 기울기와 관련이 있다.[7][8]
동기: 통근 기능
백스터는 출퇴근 연속 기능의 고정점을 연구하면서 백스터 순열을 소개했다.특히, [0, 1]에서 f(g)(x) = 모든 x에 대해 g(f(x)) = g(f) = x, [0, 1]에서 f(g(x) = x가 미세하게 많은 경우)와 같이 f(g(x) = x와 같은 간격에서 스스로에 이르는 연속적인 함수인 경우:
- 이러한 고정 지점의 수가 홀수임.
- 고정점이1 x < x < ...인2 경우< 그2k + 1 다음 f와 g는 {x13, x, ..., x2k + 1} 및 {x2, x, x4, ..., x}에서2k 상호 대조적인 순열 역할을 한다.
- {x1, x3, ..., x2k + 1}에서 f에 의해 유도된 순열은 {x24, x, ..., x2k}에서 f에 의해 유도된 순열을 고유하게 결정한다.
- 자연적 리라벨링 x1 → 1, x3 → 2 등에서는 {1, 2, ..., k + 1}에 유도된 순열은 백스터 순열이다.
참고 항목
참조
- ^ Baxter, Glen (1964), "On fixed points of the composite of commuting functions", Proceedings of the American Mathematical Society, 15: 851–855, doi:10.2307/2034894.
- ^ Chung, F. R. K.; Graham, R. L.; Hoggatt, V. E., Jr.; Kleiman, M. (1978), "The number of Baxter permutations" (PDF), Journal of Combinatorial Theory, Series A, 24 (3): 382–394, doi:10.1016/0097-3165(78)90068-7, MR 0491652.
- ^ Dulucq, S.; Guibert, O. (1998), "Baxter permutations", Discrete Mathematics, 180 (1–3): 143–156, doi:10.1016/S0012-365X(97)00112-X, MR 1603713.
- ^ Guibert, Olivier; Linusson, Svante (2000), "Doubly alternating Baxter permutations are Catalan", Discrete Mathematics, 217 (1–3): 157–166, doi:10.1016/S0012-365X(99)00261-7, MR 1766265.
- ^ Giraudo, Samuele(2011년),"백스터 순열에 대수와 조합 구조", 23일 국제 회의 형태 파워 시리즈와 대수 Combinatorics(FPSAC 2011년), 이산 수학을.Theor.Comput.Sci.Proc., vol.아담, 태국에서 Kasetsar실험.이산 수학입니다.Theor.Comput.Sci., 낸시,를 대신하여 서명함. 387–398, arXiv:1011.4288, Bibcode:2010arXiv1011.4288G, MR2820726.
- ^ Bonichon, Nicolas; Bousquet-Mélou, Mireille; Fusy, Éric (October 2009), "Baxter permutations and plane bipolar orientations", Séminaire Lotharingien de Combinatoire, 61A, Art. B61Ah, 29pp, arXiv:0805.4180, Bibcode:2008arXiv0805.4180B, MR 2734180.
- ^ Korn, M. (2004), Geometric and algebraic properties of polyomino tilings, Ph.D. thesis, Massachusetts Institute of Technology.
- ^ Ackerman, Eyal; Barequet, Gill; Pinter, Ron Y. (2006), "A bijection between permutations and floorplans, and its applications", Discrete Applied Mathematics, 154 (12): 1674–1684, doi:10.1016/j.dam.2006.03.018, MR 2233287.