We study the joint distribution of values of a pair consisting of a quadratic form ${\mathbf q}$ and a linear form ${\mathbf l}$ over the set of integral vectors, a problem initiated by Dani and Margulis [Orbit closures of generic unipotent flows on homogeneous spaces of $\mathrm{SL}_3(\mathbb{R})$. Math. Ann. 286 (1990), 101–128]. In the spirit of the celebrated theorem of Eskin, Margulis and Mozes on the quantitative version of the Oppenheim conjecture, we show that if $n \ge 5$, then under the assumptions that for every $(\alpha , \beta ) \in {\mathbb {R}}^2 \setminus \{ (0,0) \}$, the form $\alpha {\mathbf q} + \beta {\mathbf l}^2$ is irrational and that the signature of the restriction of ${\mathbf q}$ to the kernel of ${\mathbf l}$ is $(p, n-1-p)$, where ${3\le p\le n-2}$, the number of vectors $v \in {\mathbb {Z}}^n$ for which $\|v\| < T$, $a < {\mathbf q}(v) < b$ and $c< {\mathbf l}(v) < d$ is asymptotically $ C({\mathbf q}, {\mathbf l})(d-c)(b-a)T^{n-3}$ as $T \to \infty $, where $C({\mathbf q}, {\mathbf l})$ only depends on ${\mathbf q}$ and ${\mathbf l}$. The density of the set of joint values of $({\mathbf q}, {\mathbf l})$ under the same assumptions is shown by Gorodnik [Oppenheim conjecture for pairs consisting of a linear form and a quadratic form. Trans. Amer. Math. Soc. 356(11) (2004), 4447–4463].

Let $u_{X}^{t}$ be a unipotent flow on $X=\mathrm {SO}(n,1)/\Gamma $, $u_{Y}^{t}$ be a unipotent flow on $Y=G/\Gamma ^{\prime }$. Let $\tilde {u}_{X}^{t}$, $\tilde {u}_{Y}^{t}$ be time changes of $u_{X}^{t}$, $u_{Y}^{t}$, respectively. We show the disjointness (in the sense of Furstenberg) between $u_{X}^{t}$ and $\tilde {u}_{Y}^{t}$ (or $\tilde {u}_{X}^{t}$ and $u_{Y}^{t}$) in certain situations. Our method refines the works of Ratner’s shearing argument. The method also extends a recent work of Dong, Kanigowski, and Wei [Rigidity of joinings for some measure preserving systems. Ergod. Th. & Dynam. Sys. 42 (2022), 665–690].

In this paper, we investigate pigeonhole statistics for the fractional parts of the sequence $\sqrt {n}$. Namely, we partition the unit circle $ \mathbb {T} = \mathbb {R}/\mathbb {Z}$ into N intervals and show that the proportion of intervals containing exactly j points of the sequence $(\sqrt {n} + \mathbb {Z})_{n=1}^N$ converges in the limit as $N \to \infty $. More generally, we investigate how the limiting distribution of the first $sN$ points of the sequence varies with the parameter $s \geq 0$. A natural way to examine this is via point processes—random measures on $[0,\infty )$ which represent the arrival times of the points of our sequence to a random interval from our partition. We show that the sequence of point processes we obtain converges in distribution and give an explicit description of the limiting process in terms of random affine unimodular lattices. Our work uses ergodic theory in the space of affine unimodular lattices, building upon work of Elkies and McMullen [Gaps in $\sqrt {n}$ mod 1 and ergodic theory. Duke Math. J. 123 (2004), 95–139]. We prove a generalisation of equidistribution of rational points on expanding horocycles in the modular surface, working instead on nonlinear horocycle sections.

In the present article, we study the following problem. Let $\boldsymbol {G}$ be a linear algebraic group over $\mathbb {Q}$, let $\Gamma$ be an arithmetic lattice, and let $\boldsymbol {H}$ be an observable $\mathbb {Q}$-subgroup. There is a $H$-invariant measure $\mu _H$ supported on the closed submanifold $H\Gamma /\Gamma$. Given a sequence $(g_n)$ in $G$, we study the limiting behavior of $(g_n)_*\mu _H$ under the weak-$*$ topology. In the non-divergent case, we give a rather complete classification. We further supplement this by giving a criterion of non-divergence and prove non-divergence for arbitrary sequence $(g_n)$ for certain large $\boldsymbol {H}$. We also discuss some examples and applications of our result. This work can be viewed as a natural extension of the work of Eskin–Mozes–Shah and Shapira–Zheng.

Let G be a semisimple real algebraic group defined over ${\mathbb {Q}}$ , $\Gamma $ be an arithmetic subgroup of G, and T be a maximal ${\mathbb {R}}$ -split torus. A trajectory in $G/\Gamma $ is divergent if eventually it leaves every compact subset. In some cases there is a finite collection of explicit algebraic data which accounts for the divergence. If this is the case, the divergent trajectory is called obvious. Given a closed cone in T, we study the existence of non-obvious divergent trajectories under its action in $G\kern-1pt{/}\kern-1pt\Gamma $ . We get a sufficient condition for the existence of a non-obvious divergence trajectory in the general case, and a full classification under the assumption that $\mathrm {rank}_{{\mathbb {Q}}}G=\mathrm {rank}_{{\mathbb {R}}}G=2$ .

For a one-parameter subgroup action on a finite-volume homogeneous space, we consider the set of points admitting divergent-on-average trajectories. We show that the Hausdorff dimension of this set is strictly less than the manifold dimension of the homogeneous space. As a corollary we know that the Hausdorff dimension of the set of points admitting divergent trajectories is not full, which proves a conjecture of Cheung [Hausdorff dimension of the set of singular pairs, Ann. of Math. (2) 173 (2011), 127–167].

The Frobenius number $F(\boldsymbol{a})$ of a lattice point $\boldsymbol{a}$ in $\mathbb{R}^{d}$ with positive coprime coordinates, is the largest integer which can not be expressed as a non-negative integer linear combination of the coordinates of $\boldsymbol{a}$. Marklof in [The asymptotic distribution of Frobenius numbers, Invent. Math. 181 (2010), 179–207] proved the existence of the limit distribution of the Frobenius numbers, when $\boldsymbol{a}$ is taken to be random in an enlarging domain in $\mathbb{R}^{d}$. We will show that if the domain has piecewise smooth boundary, the error term for the convergence of the distribution function is at most a polynomial in the enlarging factor.