标签：方程 顺序 descent 读书笔记 sum 排列 显式 线性 欧拉

upd 2020-08-09 19:53 完成最初稿

目录

• descent和ascent定义
• 开胃菜
• 欧拉数$A(n,k)$的递归方程
• 欧拉数相关的其他方程
• 欧拉数的显式方程Explicit formula
• 插曲
  • 斯特林数和欧拉数
  • (无符号)第二类斯特林数的显式方程
• 欧拉数和生成函数
  • 欧拉多项式的定义
  • 欧拉多项式的显式方程
• 研究欧拉数-a master GF
• 观察欧拉数金字塔研究性质
  • 欧拉数金字塔长这样
  • 给出一些实序列的property的定义
  • 欧拉多项式的所有根都是实的

吐个槽，

一个排列的reverse是说\(p^r=p_np_{n-1}...p_1\)

一个排列的inverse是说圆分解，每个圆都反向

descent和ascent定义

在一个排列\(p\)中，

我们说下标\(i\)是一个descent如果\(p_i>p_{i+1}\)

我们说下标\(i\)是一个ascent如果\(p_i<p_{i+1}\)

我们说排列在下标\(i\) changes direction 如果\(p_{i-1}<p_i>p_{i+1}\)（\(p_i\)是peak）或者\(p_{i-1}>p_i<p_{i+1}\)(\(p_i\)是valley)

下标\(i\)是一个excedance如果\(p_i>i\)

descent构成的位置集叫做 the descent set of \(p\), 记作\(D(p)\)

\(D(p)\)的大小记作\(d(p)\)或者\(des(p)\)

欧拉数\(A(n,k)\)表示the number of n-permutations with k-1 descents

欧拉数\(A(n,k)\)也表示the number of n-permutations with k-1 excedance

\(G(n,k)\)表示【\(k\)个alternating runs的n-permutaiton】的数量

排列被\(k-1\)个下降位分隔为\(k\)个ascending runs，举例，The three ascending runs of p=2415367 are 24, 15, and 367.

排列有\(k\)个alternating runs,在\(k-1\)个位置changes direciton ,散点图上看就是，\(k\)段折线，举例，Permutation 3561247 has three alternating runs，6是peak,1是valley

开胃菜

排旗公式，不解释

这种求和形式让人想到容斥原理

欧拉数\(A(n,k)\)的递归方程

upd 2021-04-04 今天检查发现好像写错了，可以看oeis给的递推方程

对所有满足\(k\leq n\)的正整数\(k\)和\(n\)

\[A(n, k+1)=(k+2) A(n-1, k+1)+(n-k-1) A(n-1, k) \]

给个证明

考虑从(n-1)-排列到k+1个descent的n-排列的转移，考虑\(n\)插入的位置

如果\(n\)插在最后或者插在【descent和descent后一位之间】，那么descent数目不变，那么要求转移前的(n-1)-排列有\(k+1\)个descent。
有\(k+1+(1)=k+2\)个选择，解释了右手边第一项

如果\(n\)插在其他位置，那么descent数目+1，那么要求转移前的(n-1)-排列有\(k\)个descent。
有\((n)-(k+1)=n-k-1\)个选择，解释了右手边第二项

吐个槽，这里书里给的方程错了，证明思路是对的

欧拉数相关的其他方程

欧拉数的显式方程Explicit formula

插曲

斯特林数和欧拉数

嗯其实挺像的

欧拉数是把\([n]\)分成\(k\)个排列，每个排列都是上升的

第二类斯特林数\(S(n,r)\)是把\([n]\)分成\(r\)个集合

第一类斯特林数是把\([n]\)分成\(k\)个圆排列

它们之间联系的方程不要太多，没记错的话《具体数学》里有，这里不放了

(无符号)第二类斯特林数的显式方程

\[S(n, r)=\frac{1}{r !} \sum_{i=0}^{r}(-1)^{i}\left(\begin{array}{c} r \\ i \end{array}\right)(r-i)^{n} \]

欧拉数和生成函数

欧拉多项式的定义

对所有的非负整数\(n\)，多项式

\[A_{n}(x)=\sum_{k=1}^{n} A(n, k) x^{k} \]

is called the nth Eulerian polynomial.

欧拉多项式的显式方程

举例

\[A_{1}(x)=(1-x)^{2} \sum_{i>0} i x^{i}=(1-x)^{2} \cdot \frac{x}{(1-x)^{2}}=x \]

\[A_{2}(x)=(1-x)^{3} \sum_{i>0} i^{2} x^{i}=(1-x)^{3} \cdot\left(\frac{2 x^{2}}{(1-x)^{3}}+\frac{x}{(1-x)^{2}}\right)=x+x^{2} \]

研究欧拉数-a master GF

\[\begin{array}{c} \text {Let } r(x, u)=\sum_{n \geq 0} \sum_{k \geq 0} A(n, k) x^{k} \frac{u^{n}}{n !} . \text { Then we have} \\ r(x, u)=\frac{1-t}{1-t e^{u(1-t)}} \end{array} \]

。。。二重求和的时候把\(x\)和\(u\)当成形式变量

观察欧拉数金字塔研究性质

欧拉数金字塔长这样

给出一些实序列的property的定义

unimodal是说the sequence of positive real numbers \(a_{1}, a_{2}, \cdots, a_{n}\) is unimodal if there exists an index \(k\) such that \(1 \leq k \leq n,\) and \(a_{1} \leq a_{2} \cdots \leq a_{k} \geq a_{k+1} \geq a_{n}\)

log-concave是说the sequence of positive real numbers \(a_{1}, a_{2}, \cdots, a_{n}\) is \(\log\) concave if $ a_{k-1} a_{k+1} \leq a_{k}^{2}$ holds for all indices \(k\).

log-concave==>unimodal

一个正实数序列has real roots only (real zeros only) <==> \(\sum\limits_{i=1}^{n}a_ix^i\)只有实根

牛顿的定理：has real roots only=>log-concave

has real roots only=>序列要么有1个要么有2个最大值

欧拉多项式的所有根都是实的

\(A_{n}(x)=\sum\limits_{k=1}^{n} A(n, k) x^{k}\)的所有根都是实的

暂时写到这

资料来自网络

书用的是Combinatorics of permutations by Miklos Bona

标签：方程,顺序,descent,读书笔记,sum,排列,显式,线性,欧拉
来源： https://blog.51cto.com/u_15247503/2871587

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。