3

「平方剰余が連続する」箇所の数は?

440
0
$$\newcommand{a}[0]{\alpha} \newcommand{asn}[0]{\hspace{16pt}(\mathrm{as}\ n\to\infty)} \newcommand{b}[0]{\beta} \newcommand{beq}[0]{\begin{eqnarray*}} \newcommand{c}[2]{{}_{#1}\mathrm{C}_{#2}} \newcommand{cb}[0]{\binom{2n}{n}} \newcommand{d}[0]{\mathrm{d}} \newcommand{del}[0]{\partial} \newcommand{dhp}[0]{\dfrac{\pi}2} \newcommand{ds}[0]{\displaystyle} \newcommand{eeq}[0]{\end{eqnarray*}} \newcommand{ep}[0]{\varepsilon} \newcommand{G}[1]{\Gamma({#1})} \newcommand{g}[0]{\gamma} \newcommand{hp}[0]{\frac{\pi}2} \newcommand{I}[0]{\mathrm{I}} \newcommand{l}[0]{\ell} \newcommand{limn}[0]{\lim_{n\to\infty}} \newcommand{limx}[0]{\lim_{x\to\infty}} \newcommand{nck}[0]{\binom{n}{k}} \newcommand{p}[0]{\varphi} \newcommand{Res}[1]{\underset{#1}{\mathrm{Res}}} \newcommand{space}[0]{\hspace{12pt}} \newcommand{sumk}[1]{\sum_{k={#1}}^n} \newcommand{sumn}[1]{\sum_{n={#1}}^\infty} \newcommand{t}[0]{\theta} \newcommand{tc}[0]{\TextCenter} \newcommand{Z}[0]{\mathbb{Z}} $$

こんにちは.

今回は, 平方剰余で遊んでみようと思います.

平方剰余とは

$a$$\mathrm{mod}\ p$で平方剰余であるとは, $x^2\equiv a\mod p$なる$x$が存在することを言います. そうでないとき, 平方非剰余であると言います.

以下, $a=0$を含めると色々と面倒なので, $0$以外の平方剰余を考えます.

$x^2\equiv y^2\iff x\equiv \pm y$より, $p$が奇素数ならば$1^2,2^2,\ldots,(p-1)^2$の中に$2$つずつ等しいものがあるので, 平方剰余は$\dfrac{p-1}2$個、平方非剰余も$\dfrac{p-1}2$個あることがわかります.

具体的には次の表のようになります. (赤字が平方剰余)

$p$
31,2
51,2,3,4
71,2,3,4,5,6
111,2,3,4,5,6,7,8,9,10
131,2,3,4,5,6,7,8,9,10,11,12
171,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16
191,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18

他の性質として,
・平方剰余の積は平方剰余
$p-1$が平方剰余$\iff$$p$$4n+1$型の素数
・従って上の表は$p$$4n+1$型のとき左右対称
$2$が平方剰余$\iff$$p$$8n\pm1$型の素数
$p$$4n+3$型のとき, 平方剰余は前半の方に多い
などが知られています.

Gauss和

平方剰余記号$\left(\dfrac ap\right)$を, $a$が平方剰余のとき$1$, そうでないとき$-1$と定めます. 例えば$(\frac{-1}p)=(-1)^{\frac{p-1}2}$, $(\frac 2p)=(-1)^{\frac{p^2-1}8}$などが成り立ちます.

Gauss和$G_p$

$\displaystyle G_p=\sum_{a=1}^{p-1}\left(\dfrac ap\right)\zeta_p^a$

と定めます. ただし$\zeta_p=\exp\frac{2\pi i}{p}$です.

この時, $G_p^2=(-1)^{\frac{p-1}2}p$が成り立つことが知られています. (例えば、子葉さんの こちらの記事 を参照)

Gauss和を分ける

Gauss和を, 係数が$1$の項と$-1$の項で分けることを考えます. 以下, 和の中身は$\mathbb{F}_p$内で考えることにします.

$\displaystyle\alpha=\sum_{a:\text{平方剰余}}\zeta_p^a$
$\displaystyle\beta=\sum_{b:\text{平方非剰余}}\zeta_p^b$

すると, $\alpha+\beta=\sum_{a\neq0}\zeta_p^a=-1$, $\alpha-\beta=G_p$が成り立ちます.

従って$\alpha\beta=\dfrac{1-G_p^2}4=\dfrac{1-(-1)^{\frac{p-1}2}p}4$なので, $\alpha,\beta$$2$次方程式

$x^2+x+\dfrac{1-(-1)^{\frac{p-1}2}p}4=0$

$2$解になっています.

平方剰余の和

$N_1(k)=\#\{(a,a')|\ a+a'\equiv k, \quad a, a'\text{は平方剰余}\}$
$N_2(k)=\#\{(a,b)|\ a+b\equiv k, \quad a\text{は平方剰余}, b\text{は平方非剰余}\}$
$N_3(k)=\#\{(b,b')|\ b+b'\equiv k, \quad b, b'\text{は平方非剰余}\}$

とおくと,

$\displaystyle\alpha^2=\sum_{k=0}^{p-1}N_1(k)\zeta_p^k$
$\displaystyle\alpha\beta=\sum_{k=0}^{p-1}N_2(k)\zeta_p^k$
$\displaystyle\beta^2=\sum_{k=0}^{p-1}N_3(k)\zeta_p^k$

となります. また$k=0$は簡単に求めることができて,

$ \begin{align*} N_1(0)&=\#\{(a,-a)|\ a,-a\text{は平方剰余}\}\\[5pt] & = \begin{cases} \frac{p-1}2\quad &(\frac{-1}p)=1\text{のとき}\\ 0 &(\frac{-1}p)=-1\text{のとき} \end{cases}\\[5pt] &=\frac{1+(-1)^{\frac{p-1}2}}2\frac{p-1}2 \end{align*} $
同様に
$\displaystyle N_2(0)=\frac{1-(-1)^{\frac{p-1}2}}2\frac{p-1}2$
$\displaystyle N_3(0)=\frac{1+(-1)^{\frac{p-1}2}}2\frac{p-1}2$

係数を比べる

$\{\zeta_p,\zeta_p^2,\ldots,\zeta_p^{p-1}\}$$\mathbb{Q}$上独立なので,

$\alpha^2=-\alpha-\dfrac{1-(-1)^{\frac{p-1}2}p}4$即ち
$\displaystyle\sum_{k=0}^{p-1}N_1(k)\zeta_p^k=-\sum_{a:\text{平方剰余}}\zeta_p^a-\dfrac{1-(-1)^{\frac{p-1}2}p}4 $
の両辺の$\zeta_p^k$の係数を比べることで$N_1(k)$を求めることができます.
$1$$\zeta_p^k$の係数は$-1$であることに注意して,
$\displaystyle N_1(k)-N_1(0)=-\frac{1+(\frac{k}p)}2+\dfrac{1-(-1)^{\frac{p-1}2}p}4$

同様に, $\alpha\beta=\dfrac{1-(-1)^{\frac{p-1}2}p}4$より
$\displaystyle N_2(k)-N_2(0)=-\dfrac{1-(-1)^{\frac{p-1}2}p}4$

$\beta^2=-\beta-\dfrac{1-(-1)^{\frac{p-1}2}p}4$より
$\displaystyle N_3(k)-N_3(0)=-\frac{1-(\frac{k}p)}2+\dfrac{1-(-1)^{\frac{p-1}2}p}4$

以上より,

$\displaystyle N_1(k)=\frac{p-(-1)^{\frac{p-1}2}}4-\frac{1+(\frac{k}p)}2$
$\displaystyle N_2(k)=\frac{p+(-1)^{\frac{p-1}2}-2}4$
$\displaystyle N_3(k)=\frac{p-(-1)^{\frac{p-1}2}}4-\frac{1-(\frac{k}p)}2$

「平方剰余が連続する」

もう一度定義を思い出します.

$N_1(k)=\#\{(a,a')|\ a+a'\equiv k, \quad a, a'\text{は平方剰余}\}$
$N_2(k)=\#\{(a,b)|\ a+b\equiv k, \quad a\text{は平方剰余}, b\text{は平方非剰余}\}$
$N_3(k)=\#\{(b,b')|\ b+b'\equiv k, \quad b, b'\text{は平方非剰余}\}$

平方剰余, 非剰余が連続する箇所の数を
$n_p=\#\{(a,a')|\ a-a'\equiv 1, \quad a, a'\text{は平方剰余}\}$
$n'_p=\#\{(b,b')|\ b-b'\equiv 1, \quad b, b'\text{は平方非剰余}\}$
とおくと, これらは$N_1(k)$たちを用いて表せます.

$(\frac{-1}p)=1$つまり$p$$4n+1$型のとき, $-a$が平方剰余$\iff$$a$が平方剰余
$(\frac{-1}p)=-1$つまり$p$$4n+3$型のとき, $-a$が平方剰余$\iff$$a$が平方非剰余
なので,

$n_p=\begin{cases} N_1(1)\quad &p=4n+1\\ N_2(1)\quad &p=4n+3 \end{cases}$

$n'_p=\begin{cases} N_3(1)\quad &p=4n+1\\ N_2(1)\quad &p=4n+3 \end{cases}$

従って

$p=4n+1$のとき
平方剰余が連続する箇所は, $\dfrac{p-5}4$
平方非剰余が連続する箇所は, $\dfrac{p-1}4$
$p=4n+3$のとき
平方剰余が連続する箇所は, $\dfrac{p-3}4$
平方非剰余が連続する箇所は, $\dfrac{p-3}4$

平方剰余が連続する箇所の数は, $\frac p4-1$に最も近い整数であることがわかりました.

$p$連続数
31,20
51,2,3,40
71,2,3,4,5,61
111,2,3,4,5,6,7,8,9,102
131,2,3,4,5,6,7,8,9,10,11,122
171,2,3,4,5,6,7,8,9,10,11,12,13,14,15,163
191,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,184

ちなみに, $\frac {n-1}2$個の〇と$\frac {n-1}2$個の×をランダムに並べたとき, 〇が連続する箇所の数の期待値は$\frac{n-3}4$になるので, この意味では平方剰余の分布はかなりランダムになっているとも言えそうです.

投稿日:131

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

東大理数B4です

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中