My last post gave a derivation for the number of NSEW lattice paths starting at the origin that achieve a maximum height of . I’ve been playing around with more NSEW lattice path statistics lately, and I thought I would record some of my observations (probably for my own future reference more than anything else). All lattice paths start at the origin.

**Theorem 1**: The number of -step NSEW lattice paths ending at is

*Proof*: I proved this in my last post.

**Theorem 2**: The number of -step NSEW lattice paths ending at a height of is

*Proof*: I also proved this in my last post.

**Theorem 3: **The number of -step NSEW lattice paths ending on the line is

*Proof 1*: By Theorem 1, this is

*Proof 2*: In order for a path to end on the line , there must be more north and west steps than there are south and east steps. (This is because each north or west step moves you from some line to , and each south or east step moves you in the other direction.) There are ways to choose which of the steps will be north or west steps; the others will be south or east steps. Once that decision is made, there are two choices (north or west, south or east) for each of the steps.

**Theorem 4:** The number of -step NSEW lattice paths that avoid the line after the first step is .

*Proof*: This proof is by a bijection to -step one-dimensional lattice paths that never return to the start after the first step; it is known that there are of these. Given a -step 1D lattice path that can take a right or left move at each step, each pair of steps in the path must be of the form RR, RL, LR, or LL. A 1D lattice path that never returns to the origin can thus be characterized in the following fashion:

- It must start with an RR or LL step.
- If there are ever one more total RR steps than LL steps at some point in the path, the next step cannot be an LL step. Similarly, if there are ever one more total LL steps than RR steps at some point in the path, the next step cannot be an RR step.

Now, associate N RR, E RL, W LR, S LL. Then the above characterization for 1D lattice paths that never return to the origin also characterizes NSEW lattice paths that never return to the line . Thus the number of such paths must be the same in each case.

For completeness, I guess I’ll add…

**Theorem 5:** The number of NSEW -step lattice paths achieving a maximum height of is

*Proof*: I proved this in my last post.