Towards a human proof of Gessel's conjecture
Journal of integer sequences, Tome 12 (2009) no. 4.

Voir la notice de l'article provenant de la source Electronic Library of Mathematics

Summary: We interpret walks in the first quadrant with steps (1,1), (1,0), (-1,0), (-1,-1) as a generalization of Dyck words with two sets of letters. Using this language, we give a formal expression for the number of walks using the steps above, beginning and ending at the origin. We give an explicit formula for a restricted class of such words using a correspondence between such words and Dyck paths. This explicit formula is exactly the same as that for the degree of the polynomial satisfied by the square of the area of cyclic $n$-gons conjectured by Robbins, although the connection is a mystery. Finally we remark on another combinatorial problem in which the same formula appears and argue for the existence of a bijection.
Keywords: gessel's conjecture, quarter plane walks, Dyck paths
@article{JIS_2009__12_4_a6,
     author = {Ayyer, Arvind},
     title = {Towards a human proof of {Gessel's} conjecture},
     journal = {Journal of integer sequences},
     publisher = {mathdoc},
     volume = {12},
     number = {4},
     year = {2009},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/JIS_2009__12_4_a6/}
}
TY  - JOUR
AU  - Ayyer, Arvind
TI  - Towards a human proof of Gessel's conjecture
JO  - Journal of integer sequences
PY  - 2009
VL  - 12
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/JIS_2009__12_4_a6/
LA  - en
ID  - JIS_2009__12_4_a6
ER  - 
%0 Journal Article
%A Ayyer, Arvind
%T Towards a human proof of Gessel's conjecture
%J Journal of integer sequences
%D 2009
%V 12
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/JIS_2009__12_4_a6/
%G en
%F JIS_2009__12_4_a6
Ayyer, Arvind. Towards a human proof of Gessel's conjecture. Journal of integer sequences, Tome 12 (2009) no. 4. http://geodesic.mathdoc.fr/item/JIS_2009__12_4_a6/