1: \begin{abstract}

2: 

3: In the past fifteen years, the enumeration of lattice walks with steps taken

4: in a prescribed set $\cS$ and confined to a given cone, especially the first

5: quadrant of the plane, has been intensely studied. As a result, the \gf s of

6: quadrant walks are now well-understood, provided the allowed steps are

7: \emph{small}, that is $\cS \subset \{-1, 0,1\}^2$. In particular, having small

8: steps is crucial for the definition of a certain group of bi-rational

9: transformations of the plane. It has been proved that this group is finite if

10: and only if the corresponding \gf\ is D-finite (that is, it satisfies a linear

11: differential equation with polynomial coefficients). This group is also the

12: key to the uniform solution of 19 of the 23 small step models possessing a

13: finite group.

14: 

15: In contrast, almost nothing is known for walks with arbitrary steps. In this

16: paper, we extend the definition of the group, or rather of the associated

17: orbit, to this general case, and generalize the above uniform solution of

18: small step models. When this approach works, it invariably yields a D-finite

19: \gf. We apply it to many quadrant problems, including some infinite families.

20: 

21: After developing the general theory, we consider the $13\ 110$ two-dimensional

22: models with steps in $\{-2,-1,0,1\}^2$ having at least one $-2$ coordinate. We

23: prove that only 240 of them have a finite orbit, and solve 231 of them with

24: our method. The 9 remaining models are the counterparts of the 4 models of the

25: small step case that resist the uniform solution method (and which are known

26: to have an algebraic \gf). We conjecture D-finiteness for their generating

27: functions, but only two of them are likely to be algebraic. We also prove

28: non-D-finiteness for the $12\ 870$ models with an infinite orbit, except for

29: 16 of them.

30: 

31: \end{abstract}