5
$\begingroup$

(This is an offshoot of Degree of parametrization of $\textrm{SO}_n$?)

Consider $G=\textrm{SO}_n$ as an affine subvariety of the affine space of $N$-by-$N$ matrices. There is an explicit expression for $\deg(G)$ in Theorem 4.2. of Brandt, Bruce, Brysiewicz, Krone, and Robeva - The degree of $\operatorname{SO}(n)$: $\deg(G) = 2^{n-1} N(n)$, where $N(n)$ is the number of non-intersecting lattice paths from the points $(n-2 i,0)$, $1\leq i\leq \lfloor n/2\rfloor$, to the points $(0,n-2 j)$, $1\leq j\leq \lfloor n/2\rfloor$. What are the asymptotics of $N(n)$?

$\endgroup$
2
  • $\begingroup$ Ah, sorry. Thanks. $\endgroup$ Commented Sep 14, 2021 at 0:15
  • 3
    $\begingroup$ It might be the case that $\log N(n)\sim cn^2$ for some constant $c>0$, maybe $c\approx 0.226$. $\endgroup$ Commented Sep 14, 2021 at 2:52

1 Answer 1

9
$\begingroup$

I can inject these lattice paths into cyclically symmetric plane partitions in an $(n-1) \times (n-1) \times (n-1)$ box. CSPP's grow at $(27/16)^{n^2/2 + O(n)}$. In the first draft this answer, I suggested that this would also be right for $N(n)$, but now I don't believe this; I think the right value should be $A^{n^2+O(n)}$ for some smaller $A$. However, numerically, they still seem close.

I will follow the usual route to biject non-intersecting paths with rhombus tilings, which I wrote up in an earlier answer. Figure 1 in Brandt-Bruce-Brysiewicz-Krone-Robeva shows how to compute $N(5) = 24$ as noncrossing paths from $\{ (1,0), (3,0) \}$ to $\{ (0,1), (0,3) \}$. The image below shows the grid they use, and one such pair of paths on it, tilted and skewed for future convenience:

enter image description here

Slide those paths down one unit and cover the spread out paths with rhombi with vertical sides. The result is shown shaded in the figure below. For each vertex that was not on the paths, add a horizontal rhomus. We get a rhombus tiling:

enter image description here

The number of non-crossing paths $N(n)$ is the number of rhombus tilings of the resulting shape. Another way to think of this shape is that it is an $(n-1) \times (n-1)$ rhombus, with $\lceil \tfrac{n-1}{2} \rceil$ triangles deleted from each of its top two sides. I've shaded the deleted triangles below:

enter image description here

Now, given a rhombus tiling of this shape, we can take three copies of it and arrange them centrally around a central vertex. The deleted triangles can be paired off with each other. Thus, we get a bijection with $(n-1) \times (n-1) \times (n-1)$ cyclically symmetric plane partitions which use the rhombi shaded below and don't cross the solid lines. (I missed the second condition the first time.)

enter image description here


Thus, $N(n)$ is less than the number of CSPP's, and the number of CSPP's grows at rate $(27/16)^{n^2/2+O(n)}$. I used to think the growth rates would match, but now I don't.

First, numerical data. Here is a table (taken from Table 1 in BBBKR and from OEIS) comparing the two: $$ \begin{array}{c|cccccccc} n & 1&2 & 3 & 4 & 5 & 6 & 7 & 8 & 9\\ \hline N(n) &1& 1 & 2 & 5 & 24 & 149 & 1744 & 26825 & 769408 \\ CSPP(n-1) &1 & 2 & 5 & 20 & 132 & 1452 & 26741 & 826540 & 42939620 \\ \end{array}.$$ Interestingly, $N(n)$ seems very close to $CSPP(n-2)$ for low values of $n$, but I think this is a coincidence.

Now, theoretical arguments. The shape of a typical plane partition in a large $n \times n \times n$ box was worked out by Cohn, Larsen and Propp. There is a continuous function on the hexagon which gives the limiting probability that a rhombus in a given position will be used, and each of the fixed rhombi in our problem is in the most likely orientation, so I expect those not to impose a major restriction. However, the solid lines which may not be crossed are major problems. In the corners of the hexagon, these lie in the "frozen" region where, with probability $1$, all rhombi have the same orientation. Thus, it is highly unlikely that the solid lines will not be crossed.

This rhombus tiling problem (with the deleted rhombi) fits into the general framework of papers like Kenyon and Okounkov "Planar dimers and Harnack curves" and Cohn, Kenyon and Propp "A variational principle for domino tilings", where we have a region of growing size with height function on the boundary approaching a limit. This would take a while to write up carefully, and I don't see how to get a closed answer from it so, at least for today, I'm going to stop.


Will Sawin asks whether I can prove a lower bound of the form $A^{n^2}$ in this way. The answer is yes. I found lattice paths easier to draw than rhombi this time.

enter image description here

Take the half of the paths closer to the corner at $(0,0)$ and make them hug the axes as closely as possible. Then connect the other half of the points to the points on the line segments $((n/2, n/4), (3/n4, n/2))$ and $((n/4, n/2), (n/2, 3n/4))$. (I may have off by one errors; see the image.) Then fill the shaded hexagon with paths however you please. The number of ways to fill the hexagon is the number of plane partitions in an $(n/4) \times (n/4) \times (n/4)$ box, which grows like $a^{n^2}$.

$\endgroup$
6
  • 2
    $\begingroup$ $\ln(\sqrt{27/16})\approx 0.262$, not far from what Richard Stanley wrote in a comment above. $\endgroup$ Commented Sep 14, 2021 at 15:37
  • $\begingroup$ @‍RichardStanley's comment referenced by @SamHopkins. $\endgroup$
    – LSpice
    Commented Sep 14, 2021 at 15:51
  • 2
    $\begingroup$ Interesting! Can you see a "cheap" argument that gets a lower bound of the form $e^{ \delta n^2 + O(n)}$ for some $\delta>0$ by embedding a simpler problem in this one? I tried to do that briefly and failed... $\endgroup$
    – Will Sawin
    Commented Sep 14, 2021 at 18:16
  • $\begingroup$ Good question! My first thought is to try to find a partial tiling with $c n^2$ many hexagonal holes in it, each of which can be filled in two ways. @WillSawin $\endgroup$ Commented Sep 14, 2021 at 18:18
  • 1
    $\begingroup$ @WillSawin I found a lower bound; see the edit. $\endgroup$ Commented Sep 14, 2021 at 19:23

You must log in to answer this question.

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