Skip to main content
Cleaned up the exposition.
Source Link

We will assume that $n<A,B,C,D<2n$ and $\gcd(A,B)=\gcd(C,D)=1$. For $x,y,z\in\mathbb{Q}$, we write $v(x,y,z)$ for the vector $$\pmatrix{\frac{x}{C}&\frac{y}{C}&\frac{z}{C}}N\in\mathbb{Q}^4. $$

ClaimLemma 1. For $x,y,z\in\mathbb{Q}$, it holds that $$\pmatrix{\frac{x}{C}&\frac{y}{C}&\frac{z}{C}}N\in\mathbb{Z}^4 $$$v(x,y,z)\in\mathbb{Z}^4$ iff $x,y,z\in\mathbb{Z}$ and the following conditions hold: $$\begin{eqnarray*} xD+yB\equiv 0\pmod{C},\\ zD-yA\equiv 0\pmod{C}.\\ \end{eqnarray*} $$

Proof. A direct calculation shows $$\pmatrix{\frac{x}{C}&\frac{y}{C}&\frac{z}{C}}N =\pmatrix{\frac{-yB-xD}{C}&x&\frac{yA-zD}{C}&z}, $$$$v(x,y,z) =\pmatrix{\frac{-yB-xD}{C}&x&\frac{yA-zD}{C}&z}, $$ which immediately shows the implication from right to left. Assume then that the vector belongs to $\mathbb{Z}^4$. Then obviously $x,z\in\mathbb{Z}$. It follows that $yA,yB\in\mathbb{Z}$, which implies $y\in\mathbb{Z}$ by the assumption $\gcd(A,B)=1$.

We will call $x,y,z$ such as above witnesses for $\mu(A,B,C,D)\le\|v(x,y,z)\|_\infty$.

ClaimLemma 2. For $x,y,z\in\mathbb{Q}$, it holds that $$\frac{\max(|x|,|y|,|z|)}{4}\le\|v(x,y,z)\|_\infty\le 4\max(|x|,|y|,|z|). $$ Proof. Write $v(x,y,z)=\pmatrix{u&x&v&z}$. For the first inequality, it suffices to note that $$|y|=\frac{|vC+zD|}{A}\le\frac{C}{A}|v|+\frac{D}{A}|z|\le 2(|v|+|z|)\le 4\|v(x,y,z)\|_\infty. $$ For the second inequality, we get $$|u|\le\frac{B}{C}|y|+\frac{D}{C}|x|\le 2(|x|+|y|)\le 4\max(|x|,|y|,|z|) $$ and similarly the same bound for $v$.

Theorem 1. There is a constant $K$ (independent of $n$) such that for all choices of $A,B,C,D$ as above, it holds that $\mu(A,B,C,D)<Kn^{2/3}$.

Proof. For $y\in\mathbb{N}$, let $f(y)$ and $g(y)$ be the unique integers such that $f(y)D+yB\equiv 0\pmod{C}$, $g(y)D-yA\equiv 0\pmod C$, and $0\le f(y),g(y)<C$. They are unique and exist because $\gcd(C,D)=0$. Let $M={}^\lceil\root 3\of{M}\,{}^\rceil$$M={}^\lceil\root 3\of{2n}\,{}^\rceil$. By the usual pigeonhole argument, there are $y_1,y_2$ such that $0\le y_1<y_2\le M^2$, $|f(y_1)-f(y_2)|\le M^2$, and $|g(y_1)-g(y_2)|\le M^2$. Now set $$\begin{eqnarray*} x&=&f(y_1)-f(y_2),\\ y&=&y_1-y_2,\\ z&=&g(y_1)-g(y_2).\\ \end{eqnarray*} $$ By ClaimLemma 1 and the definition of $f$ and $g$, it follows that $x,y,z$ are witnesses for $$\mu(A,B,C,D)\le\max\{\frac{|yB+xD|}{C},|x|,\frac{|yA-zD|}{C},|z|\}. $$$\mu(A,B,C,D)\le\|v(x,y,z)\|_\infty$. As $|x|,|y|,|z|\le M^2$ and $n<A,B,C,D<2n$By Lemma 2, this implies further $\mu(A,B,C,D)\le 4M^2$.$$ \mu(A,B,C,D)\le 4\max(|x|,|y|,|z|)\le 4M^2. $$

Claim 3Theorem 2. There is a constant $L$ such that for $A,B,C,D$ chosen randomly from all possibilities satisfying the assumptions given at the beginning of this answer, the probability of $\mu(A,B,C,D)$ being below a given limit $m$ is less than $Lm^3/n^2$.

Proof. First, fix $C$ and $D$ satisfying the assumptions, and an integer $m>1$. There is a constant $L_1>0$ such that there are at least $L_{1}n^2$ choices for $A,B$. Assume $A,B$ are chosen so that $\mu(A,B,C,D)<m$. Let $x,y,z$ witness this as in Claim 1. Then $|x|,|z|<m$. Moreover, $|yA-zD|<mC$, which implies $|y|<4m$ by Lemma 2. So, consider $y$ such that $-4m<y<4m$. Let $k=\gcd(y,C)$, and let $y'=y/k,C'=C/k$. For every pair $x',z'$, there are unique $A',B'$ such that $0\le A',B'<C'$ and the following hold: $$ \begin{eqnarray*} x'D+y'B'\equiv 0\pmod {C'},\\ z'D-y'A'\equiv 0\pmod {C'}.\\ \end{eqnarray*} $$ Moreover, for each pair $A',B'$ there are $k^2$ pairs $A,B$ such that $0\le A,B<C$ and $A\equiv A'\pmod {C'}$, $B\equiv B'\pmod {C'}$. There are no more than $2\lceil m/k\rceil$ choices for $x'$ such that $|kx'|<m$. So, for each choice of $y$, there are fewer than $5m^2$ possibilities for the pair $A,B$. Altogether, there are fewer than $10m^3$ choices for $A,B$ such that $\mu(A,B,C,D)<m$, out of at least $L_{1}n^2$. So, we may choose $L=10/L_{1}$.

(Sorry, I wrote the above in a hurry, and I must go now. I will edit it later.)

We will assume that $n<A,B,C,D<2n$ and $\gcd(A,B)=\gcd(C,D)=1$.

Claim 1. For $x,y,z\in\mathbb{Q}$, it holds that $$\pmatrix{\frac{x}{C}&\frac{y}{C}&\frac{z}{C}}N\in\mathbb{Z}^4 $$ iff $x,y,z\in\mathbb{Z}$ and the following conditions hold: $$\begin{eqnarray*} xD+yB\equiv 0\pmod{C},\\ zD-yA\equiv 0\pmod{C}.\\ \end{eqnarray*} $$

Proof. A direct calculation shows $$\pmatrix{\frac{x}{C}&\frac{y}{C}&\frac{z}{C}}N =\pmatrix{\frac{-yB-xD}{C}&x&\frac{yA-zD}{C}&z}, $$ which immediately shows the implication from right to left. Assume then that the vector belongs to $\mathbb{Z}^4$. Then obviously $x,z\in\mathbb{Z}$. It follows that $yA,yB\in\mathbb{Z}$, which implies $y\in\mathbb{Z}$ by the assumption $\gcd(A,B)=1$.

Claim 2. There is a constant $K$ (independent of $n$) such that for all choices of $A,B,C,D$ as above, it holds that $\mu(A,B,C,D)<Kn^{2/3}$.

Proof. For $y\in\mathbb{N}$, let $f(y)$ and $g(y)$ be the unique integers such that $f(y)D+yB\equiv 0\pmod{C}$, $g(y)D-yA\equiv 0\pmod C$, and $0\le f(y),g(y)<C$. They are unique and exist because $\gcd(C,D)=0$. Let $M={}^\lceil\root 3\of{M}\,{}^\rceil$. By the usual pigeonhole argument, there are $y_1,y_2$ such that $0\le y_1<y_2\le M^2$, $|f(y_1)-f(y_2)|\le M^2$, and $|g(y_1)-g(y_2)|\le M^2$. Now set $$\begin{eqnarray*} x&=&f(y_1)-f(y_2),\\ y&=&y_1-y_2,\\ z&=&g(y_1)-g(y_2).\\ \end{eqnarray*} $$ By Claim 1 and the definition of $f$ and $g$, it follows that $$\mu(A,B,C,D)\le\max\{\frac{|yB+xD|}{C},|x|,\frac{|yA-zD|}{C},|z|\}. $$ As $|x|,|y|,|z|\le M^2$ and $n<A,B,C,D<2n$, this implies further $\mu(A,B,C,D)\le 4M^2$.

Claim 3. There is a constant $L$ such that for $A,B,C,D$ chosen randomly from all possibilities satisfying the assumptions given at the beginning of this answer, the probability of $\mu(A,B,C,D)$ being below a given limit $m$ is less than $Lm^3/n^2$.

Proof. First, fix $C$ and $D$ satisfying the assumptions, and an integer $m>1$. There is a constant $L_1>0$ such that there are at least $L_{1}n^2$ choices for $A,B$. Assume $A,B$ are chosen so that $\mu(A,B,C,D)<m$. Let $x,y,z$ witness this as in Claim 1. Then $|x|,|z|<m$. Moreover, $|yA-zD|<mC$, which implies $|y|<4m$. So, consider $y$ such that $-4m<y<4m$. Let $k=\gcd(y,C)$, and let $y'=y/k,C'=C/k$. For every pair $x',z'$, there are unique $A',B'$ such that $0\le A',B'<C'$ and the following hold: $$ \begin{eqnarray*} x'D+y'B'\equiv 0\pmod {C'},\\ z'D-y'A'\equiv 0\pmod {C'}.\\ \end{eqnarray*} $$ Moreover, for each pair $A',B'$ there are $k^2$ pairs $A,B$ such that $0\le A,B<C$ and $A\equiv A'\pmod {C'}$, $B\equiv B'\pmod {C'}$. There are no more than $2\lceil m/k\rceil$ choices for $x'$ such that $|kx'|<m$. So, for each choice of $y$, there are fewer than $5m^2$ possibilities for the pair $A,B$. Altogether, there are fewer than $10m^3$ choices for $A,B$ such that $\mu(A,B,C,D)<m$, out of at least $L_{1}n^2$. So, we may choose $L=10/L_{1}$.

(Sorry, I wrote the above in a hurry, and I must go now. I will edit it later.)

We will assume that $n<A,B,C,D<2n$ and $\gcd(A,B)=\gcd(C,D)=1$. For $x,y,z\in\mathbb{Q}$, we write $v(x,y,z)$ for the vector $$\pmatrix{\frac{x}{C}&\frac{y}{C}&\frac{z}{C}}N\in\mathbb{Q}^4. $$

Lemma 1. For $x,y,z\in\mathbb{Q}$, it holds that $v(x,y,z)\in\mathbb{Z}^4$ iff $x,y,z\in\mathbb{Z}$ and the following conditions hold: $$\begin{eqnarray*} xD+yB\equiv 0\pmod{C},\\ zD-yA\equiv 0\pmod{C}.\\ \end{eqnarray*} $$

Proof. A direct calculation shows $$v(x,y,z) =\pmatrix{\frac{-yB-xD}{C}&x&\frac{yA-zD}{C}&z}, $$ which immediately shows the implication from right to left. Assume then that the vector belongs to $\mathbb{Z}^4$. Then obviously $x,z\in\mathbb{Z}$. It follows that $yA,yB\in\mathbb{Z}$, which implies $y\in\mathbb{Z}$ by the assumption $\gcd(A,B)=1$.

We will call $x,y,z$ such as above witnesses for $\mu(A,B,C,D)\le\|v(x,y,z)\|_\infty$.

Lemma 2. For $x,y,z\in\mathbb{Q}$, it holds that $$\frac{\max(|x|,|y|,|z|)}{4}\le\|v(x,y,z)\|_\infty\le 4\max(|x|,|y|,|z|). $$ Proof. Write $v(x,y,z)=\pmatrix{u&x&v&z}$. For the first inequality, it suffices to note that $$|y|=\frac{|vC+zD|}{A}\le\frac{C}{A}|v|+\frac{D}{A}|z|\le 2(|v|+|z|)\le 4\|v(x,y,z)\|_\infty. $$ For the second inequality, we get $$|u|\le\frac{B}{C}|y|+\frac{D}{C}|x|\le 2(|x|+|y|)\le 4\max(|x|,|y|,|z|) $$ and similarly the same bound for $v$.

Theorem 1. There is a constant $K$ (independent of $n$) such that for all choices of $A,B,C,D$ as above, it holds that $\mu(A,B,C,D)<Kn^{2/3}$.

Proof. For $y\in\mathbb{N}$, let $f(y)$ and $g(y)$ be the unique integers such that $f(y)D+yB\equiv 0\pmod{C}$, $g(y)D-yA\equiv 0\pmod C$, and $0\le f(y),g(y)<C$. They are unique and exist because $\gcd(C,D)=0$. Let $M={}^\lceil\root 3\of{2n}\,{}^\rceil$. By the usual pigeonhole argument, there are $y_1,y_2$ such that $0\le y_1<y_2\le M^2$, $|f(y_1)-f(y_2)|\le M^2$, and $|g(y_1)-g(y_2)|\le M^2$. Now set $$\begin{eqnarray*} x&=&f(y_1)-f(y_2),\\ y&=&y_1-y_2,\\ z&=&g(y_1)-g(y_2).\\ \end{eqnarray*} $$ By Lemma 1 and the definition of $f$ and $g$, it follows that $x,y,z$ are witnesses for $\mu(A,B,C,D)\le\|v(x,y,z)\|_\infty$. By Lemma 2, this implies $$ \mu(A,B,C,D)\le 4\max(|x|,|y|,|z|)\le 4M^2. $$

Theorem 2. There is a constant $L$ such that for $A,B,C,D$ chosen randomly from all possibilities satisfying the assumptions given at the beginning of this answer, the probability of $\mu(A,B,C,D)$ being below a given limit $m$ is less than $Lm^3/n^2$.

Proof. First, fix $C$ and $D$ satisfying the assumptions, and an integer $m>1$. There is a constant $L_1>0$ such that there are at least $L_{1}n^2$ choices for $A,B$. Assume $A,B$ are chosen so that $\mu(A,B,C,D)<m$. Let $x,y,z$ witness this. Then $|x|,|z|<m$. Moreover, $|y|<4m$ by Lemma 2. So, consider $y$ such that $-4m<y<4m$. Let $k=\gcd(y,C)$, and let $y'=y/k,C'=C/k$. For every pair $x',z'$, there are unique $A',B'$ such that $0\le A',B'<C'$ and the following hold: $$ \begin{eqnarray*} x'D+y'B'\equiv 0\pmod {C'},\\ z'D-y'A'\equiv 0\pmod {C'}.\\ \end{eqnarray*} $$ Moreover, for each pair $A',B'$ there are $k^2$ pairs $A,B$ such that $0\le A,B<C$ and $A\equiv A'\pmod {C'}$, $B\equiv B'\pmod {C'}$. There are no more than $2\lceil m/k\rceil$ choices for $x'$ such that $|kx'|<m$. So, for each choice of $y$, there are fewer than $5m^2$ possibilities for the pair $A,B$. Altogether, there are fewer than $10m^3$ choices for $A,B$ such that $\mu(A,B,C,D)<m$, out of at least $L_{1}n^2$. So, we may choose $L=10/L_{1}$.

Source Link

We will assume that $n<A,B,C,D<2n$ and $\gcd(A,B)=\gcd(C,D)=1$.

Claim 1. For $x,y,z\in\mathbb{Q}$, it holds that $$\pmatrix{\frac{x}{C}&\frac{y}{C}&\frac{z}{C}}N\in\mathbb{Z}^4 $$ iff $x,y,z\in\mathbb{Z}$ and the following conditions hold: $$\begin{eqnarray*} xD+yB\equiv 0\pmod{C},\\ zD-yA\equiv 0\pmod{C}.\\ \end{eqnarray*} $$

Proof. A direct calculation shows $$\pmatrix{\frac{x}{C}&\frac{y}{C}&\frac{z}{C}}N =\pmatrix{\frac{-yB-xD}{C}&x&\frac{yA-zD}{C}&z}, $$ which immediately shows the implication from right to left. Assume then that the vector belongs to $\mathbb{Z}^4$. Then obviously $x,z\in\mathbb{Z}$. It follows that $yA,yB\in\mathbb{Z}$, which implies $y\in\mathbb{Z}$ by the assumption $\gcd(A,B)=1$.

Claim 2. There is a constant $K$ (independent of $n$) such that for all choices of $A,B,C,D$ as above, it holds that $\mu(A,B,C,D)<Kn^{2/3}$.

Proof. For $y\in\mathbb{N}$, let $f(y)$ and $g(y)$ be the unique integers such that $f(y)D+yB\equiv 0\pmod{C}$, $g(y)D-yA\equiv 0\pmod C$, and $0\le f(y),g(y)<C$. They are unique and exist because $\gcd(C,D)=0$. Let $M={}^\lceil\root 3\of{M}\,{}^\rceil$. By the usual pigeonhole argument, there are $y_1,y_2$ such that $0\le y_1<y_2\le M^2$, $|f(y_1)-f(y_2)|\le M^2$, and $|g(y_1)-g(y_2)|\le M^2$. Now set $$\begin{eqnarray*} x&=&f(y_1)-f(y_2),\\ y&=&y_1-y_2,\\ z&=&g(y_1)-g(y_2).\\ \end{eqnarray*} $$ By Claim 1 and the definition of $f$ and $g$, it follows that $$\mu(A,B,C,D)\le\max\{\frac{|yB+xD|}{C},|x|,\frac{|yA-zD|}{C},|z|\}. $$ As $|x|,|y|,|z|\le M^2$ and $n<A,B,C,D<2n$, this implies further $\mu(A,B,C,D)\le 4M^2$.

Claim 3. There is a constant $L$ such that for $A,B,C,D$ chosen randomly from all possibilities satisfying the assumptions given at the beginning of this answer, the probability of $\mu(A,B,C,D)$ being below a given limit $m$ is less than $Lm^3/n^2$.

Proof. First, fix $C$ and $D$ satisfying the assumptions, and an integer $m>1$. There is a constant $L_1>0$ such that there are at least $L_{1}n^2$ choices for $A,B$. Assume $A,B$ are chosen so that $\mu(A,B,C,D)<m$. Let $x,y,z$ witness this as in Claim 1. Then $|x|,|z|<m$. Moreover, $|yA-zD|<mC$, which implies $|y|<4m$. So, consider $y$ such that $-4m<y<4m$. Let $k=\gcd(y,C)$, and let $y'=y/k,C'=C/k$. For every pair $x',z'$, there are unique $A',B'$ such that $0\le A',B'<C'$ and the following hold: $$ \begin{eqnarray*} x'D+y'B'\equiv 0\pmod {C'},\\ z'D-y'A'\equiv 0\pmod {C'}.\\ \end{eqnarray*} $$ Moreover, for each pair $A',B'$ there are $k^2$ pairs $A,B$ such that $0\le A,B<C$ and $A\equiv A'\pmod {C'}$, $B\equiv B'\pmod {C'}$. There are no more than $2\lceil m/k\rceil$ choices for $x'$ such that $|kx'|<m$. So, for each choice of $y$, there are fewer than $5m^2$ possibilities for the pair $A,B$. Altogether, there are fewer than $10m^3$ choices for $A,B$ such that $\mu(A,B,C,D)<m$, out of at least $L_{1}n^2$. So, we may choose $L=10/L_{1}$.

(Sorry, I wrote the above in a hurry, and I must go now. I will edit it later.)