scholarly journals A new combinatorial identity for unicellular maps, via a direct bijective approach.

2009 ◽  
Vol DMTCS Proceedings vol. AK,... (Proceedings) ◽  
Author(s):  
Guillaume Chapuy

International audience We give a bijective operation that relates unicellular maps of given genus to unicellular maps of lower genus, with distinguished vertices. This gives a new combinatorial identity relating the number $\epsilon_g(n)$ of unicellular maps of size $n$ and genus $g$ to the numbers $\epsilon _j(n)$'s, for $j \lt g$. In particular for each $g$ this enables to compute the closed-form formula for $\epsilon_g(n)$ much more easily than with other known identities, like the Harer-Zagier formula. From the combinatorial point of view, we give an explanation to the fact that $\epsilon_g(n)=R_g(n) \mathrm{Cat}(n)$, where $\mathrm{Cat}(n$) is the $n$-th Catalan number and $R_g$ is a polynomial of degree $3g$, with explicit interpretation. On décrit une opération bijective qui relie les cartes à une face de genre donné à des cartes à une face de genre inférieur, portant des sommets marqués. Cela conduit à une nouvelle identité combinatoire reliant le nombre $\epsilon_g(n)$ de cartes à une face de taille $n$ et genre $g$ aux nombres $\epsilon _j(n)$, pour $j \lt g$. En particulier, pour tout $g$, cela permet de calculer la formule close donnant $\epsilon_g(n)$ bien plus facilement qu'à l'aide des autres identités connues, comme la formule d'Harer-Zagier. Du point de vue combinatoire, nous donnons une explication au fait que $\epsilon _g(n)=R_g(n) \mathrm{Cat}(n)$, où $\mathrm{Cat}(n)$ est le $n$ième nombre de Catalan et $R_g$ est un polynôme de degré $3g$, à l'interprétation explicite.

2021 ◽  
Vol vol. 22 no. 3, Computational... (Special issues) ◽  
Author(s):  
OLivier Bodini ◽  
Matthieu Dien ◽  
Antoine Genitrini ◽  
Frédéric Peschanski

International audience In this paper we address the problem of understanding Concurrency Theory from a combinatorial point of view. We are interested in quantitative results and algorithmic tools to refine our understanding of the classical combinatorial explosion phenomenon arising in concurrency. This paper is essentially focusing on the the notion of synchronization from the point of view of combinatorics. As a first step, we address the quantitative problem of counting the number of executions of simple processes interacting with synchronization barriers. We elaborate a systematic decomposition of processes that produces a symbolic integral formula to solve the problem. Based on this procedure, we develop a generic algorithm to generate process executions uniformly at random. For some interesting sub-classes of processes we propose very efficient counting and random sampling algorithms. All these algorithms have one important characteristic in common: they work on the control graph of processes and thus do not require the explicit construction of the state-space.


2021 ◽  
pp. 1-11
Author(s):  
Alfred Galichon

In this paper, we give a two-line proof of a long-standing conjecture of Ben-Akiva in his 1973 PhD thesis regarding the random utility representation of the nested logit model, thus providing a renewed and straightforward textbook treatment of that model. As an application, we provide a closed-form formula for the correlation between two Fréchet random variables coupled by a Gumbel copula.


2019 ◽  
Vol 18 (12) ◽  
pp. 2468-2472
Author(s):  
Min Wang ◽  
Tian-Hong Loh ◽  
Yongjiu Zhao ◽  
Qian Xu

2010 ◽  
Vol 19 (08) ◽  
pp. 1001-1023 ◽  
Author(s):  
XIAN'AN JIN ◽  
FUJI ZHANG

It is well known that Jones polynomial (hence, Kauffman bracket polynomial) of links is, in general, hard to compute. By now, Jones polynomials or Kauffman bracket polynomials of many link families have been computed, see [4, 7–11]. In recent years, the computer algebra (Maple) techniques were used to calculate link polynomials for various link families, see [7, 12–14]. In this paper, we try to design a maple program to calculate the explicit expression of the Kauffman bracket polynomial of Montesinos links. We first introduce a family of "ring of tangles" links, which includes Montesinos links as a special subfamily. Then, we provide a closed-form formula of Kauffman bracket polynomial for a "ring of tangles" link in terms of Kauffman bracket polynomials of the numerators and denominators of the tangles building the link. Finally, using this formula and known results on rational links, the Maple program is designed.


Sign in / Sign up

Export Citation Format

Share Document