5
$\begingroup$

It is well-known that for each planar graph, the number of paths from each source to each sink will give rise to a totally non-negative matrix. However, did anyone ever come up with a planar network whose paths give a matrix whose entries are Eulerian numbers?

$\endgroup$
2
  • $\begingroup$ Do you need a nondegenerate example? There is one with all the sinks coinciding. $\endgroup$ Commented Apr 19, 2012 at 10:23
  • $\begingroup$ I was hoping to get a nondegenerate example. But sure, I would love to see even a degenerated one thanks!!! $\endgroup$
    – Percy
    Commented Apr 19, 2012 at 14:19

1 Answer 1

2
$\begingroup$

There is a Bratelli diagram which satisfies this. Consider $\mathbb N^2$ as a graph where the edges are given by k parallel directed edges from $(n,k)$ to $(n+1,k)$, and $n-k+1$ parallel directed edges from $(n,k)$ to $(n+1,k+1)$. Here the number of paths from $(1,1)$ (the unique source) to any vertex $(n,k)$ is the Eulerian number $A(n,k)$, the number of permutations in $S_n$ with exactly $k$ ascents. For a picture see fig.1 in "Random permutations and unique fully supported ergodicity for the Euler adic transformation" by Frick and Petersen. This can be proven quickly using the recurrence $$A(n, k) = (k+1) A(n-1, k) + (n-k+1) A(n-1, k-1).$$

Somewhat similarly one can give a directed graph where the number of paths from the source to any vertex in the graph is equal to an Euler number $E(n,k)$, which counts the number of alternating permutations of $S_n$ which start with $k$. For a picture of how this looks like look at fig.5 in "Generating alternating permutations lexicographically" by Bauslaugh and Ruskey.

$\endgroup$
2
  • $\begingroup$ I talked with my adviser today and he was pretty sure that no one has come up with a nondegenerate example. Your answer is pretty enlightening though. Thanks!!! $\endgroup$
    – Percy
    Commented Apr 20, 2012 at 3:27
  • $\begingroup$ The link to springerlink.com is broken, but the article can be found at doi:10.1007/BF01932127 (Zbl 0692.68026). $\endgroup$ Commented Apr 24, 2023 at 6:51

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .