BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
António Guedes de Oliveira appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
This article has the sole purpose of presenting a simple, self-contained and direct proof of the fact that the Pak-Stanley labeling is a bijection. The construction behind the proof is subsumed in a forthcoming paper [R. Duarte and A. Guedes de Oliveira, The braid and the Shi arrangements and the Pak-Stanley labeling, Eur. J. Combinatorics, in press.], but an actual self-contained proof is not explicitly included in that paper.
We explain how the identity $$\sum_{i+j=n}\binom{2i}{i}\binom{2j}{j}\;=\;\displaystyle4^n$$ is an easy consequence of the inclusion-exclusion principle.
We give a direct combinatorial proof of a famous identity, $$ \sum_{i+j=n} m{2i}{i} \binom{2j}{j} = 4^n $$ by actually counting pairs of $k$-subsets of $2k$-sets. Then we discuss two different generalizations of the identity, and end the paper by presenting in explicit form the ordinary generating function of the sequence $(\strut\binom{2n+k}{n})_{n\in\mathds{N}_0}$, where $k\in\mathds{R}$.
We know [Rui Duarte and António Guedes de Oliveira, New developments of an old identity, manuscript arXiv:1203.5424, submitted.] that, for every non-negative integer numbers $n,i,j$ and for every real number $\ell$, $$ \sum_{i+j=n} \binom{2i-\ell}{i} \binom{2j+\ell}{j} = \sum_{i+j=n}\binom{2i}{i} \binom{2j}{j}, $$ which is well-known to be $4^n$. We extend this result by proving that, indeed, $$ \sum_{i+j=n} \binom{ai+k-\ell}{i} \binom{aj+\ell}{j} = \sum_{i+j=n} \binom{ai+k}{i} \binom{aj}{j} $$ for every integer $a$ and for every real $k$, and present new expressions for this value.