Bijection directly from (n,n+1)-core partitions to parking functions?

Question

It is well-known that the increasing parking functions are counted by the Catalan numbers. The Catalan numbers also count the dominant alcoves in the Shi arrangement of type $A_{n}$. Athanasiadis-Linusson gave a bijection between these two (and in fact between the sets of all Shi alcoves and all parking functions.) In addition, Fishel-Vazirani gave a bijection from dominant Shi alcoves to partitions which are both $n$ and $n+1$-core. This (composed with Athanasiadis-Linusson) gives a bijection from such partitions to increasing parking functions. Has anyone made this direct map explicit?

Edit: In conversations in the comments, I've vaguely remembered something that might be helpful in solving this. Somewhere I recall reading about "Inversion-labelled Dyck paths" or something like that. The idea is to turn a Dyck path into a partition in the usual way, but label the partitions in a different way. Specifically, label the diagonal of the partition with a permutation $\phi$, but with the restriction that if $i<j$, then $\phi_{i} > \phi_{j}$ can only occur if there is not a removable box where $i$ and $j$ meet. (This means the Dyck path has no valley there.) So the partition consisting of a single box could be labelled as 123,213, or 132. Since the box aligns with the first and third entries of the permutation, $\phi_{1} < \phi_{3}$. Similarly, the partition 2 can be labelled as 123,213, or 312. Now, the second box in the first row is removable, forcing $\phi_{2} < \phi_{3}$. There are the same number of these labellings as there are parking functions.

Unfortunately, I don't see a reference to something like this in the OEIS entry for parking functions, and I don't immediately see a bijection with parking functions. I'm sure this isn't my original idea, either - I suspect it's due to some subset of Haiman/Haglund/Loehr/Remmel but I'm not finding it right now. I think finding the reference for this idea would be quite helpful. Apologies for the vagueness of my memories of it.

Answer 1

Increasing parking functions are in (more or less canonical) bijection with Dyck paths (see, e.g., here), so your question can be rephrased as

Is there a direct bijection between (n,n+1)-cores and Dyck paths?

Indeed, you find this bijection in Partitions which are simultaneously t1- and t2-core by Jaclyn Anderson, where a bijection beween rational Dyck paths and coprime bicores is constructed.

You find this also recalled and generalized in Rank complement of rational Dyck paths and conjugation of (m,n)-core partitions by Guoce Xin.

(I am sure I have seen several more papers on that, so let me know if you need more references.)

Answer 2

After Christian Stump's restatement of your question, in the language of Dyck paths, let's one more reference here which extends the discussion to multi-core partitions, posets and lattice paths (with a notion of generalized Dyck paths).

Answer 3

I believe I have as much of an answer as I'm going to get. An $(n,n+1)$-core turns into an $n$-abacus diagram (this map is at the heart of Anderson's paper Partitions which are simultaneously t1- and t2-core, as pointed out by Christian Stump). Then, we read the abacus diagram as a Dyck path. But now, the bijection from Dyck paths to nonnesting partitions (See Stanley's solution to part uu of Exercise 6.19, where he phrases the bijection essentially in terms of the root poset $\Phi^{+}$) comes into play. Rotate the Dyck path 45 degrees to get the outline of a partition that fits inside the partition $(n,n-1,n-2,\ldots 2,1)$. If this partition has a removable box in row $i$ (counting down from the top starting at $n$) and column $j$ (counting from the left starting at 1), then connect $i$ and $j$ in the resulting set partition. Then, read this set partition as in Athanaisdis-Linusson's paper - $f(x)$ is defined to be the smallest element in the block of the set partition containing $x$.

For example, the $(3,4)$-core $(3,1,1)$ becomes the $3$-abacus diagram with beads at 5,2,1 - corresponding to the hook lengths of the first column. This gives the partition $(2,1)$. This partition has two removable boxes, at positions $(1,2)$ and $(2,3)$, which gives us the set partition $\{\{1,2,3\}\}$. By the A-L map, this is the parking function $(1,1,1)$.

Conversely, the $(3,4)$-core $\emptyset$ becomse the $3$-abacus diagram with no beads, which gives the empty partition. This in turn corresponds to the finest set partition $\{\{1\},\{2\},\{3\}\}$, which A-L interprets as the parking function $(1,2,3)$.

The key insight is that the removable boxes of the Abacus diagram (considered as a partition as we have just done) essentially do same work as the affine symmetric group action in Fishel-Vazirani. Both encode the affine "floors" of the corresponding Shi chamber - the removable boxes label them directly (the connection $(i,j)$ in the set partition means the hyperplane $x_{i} - x_{j} = 1$ is a boundary of the Shi chamber at hand), while F-V connects the floors to roots in the inversion set of the corresponding affine symmetric group element.

(I should acknowledge some debt to Armstrong-Rhoades' paper The Shi Arrangement and the Ish Arrangement - a remark there pointed me to the connection between the A-L correspondence and floors of Shi chambers.)