Strong regularity conjecture for the graph of integral distances

From papers

Let qq be an odd prime power, let β\boldsymbol{\beta} be the quadratic form defining the integral-distance graph on Fqm\mathbb{F}_q^m, and let A(m,q)\mathcal{A}(m,q) denote the corresponding common-neighbor count for nonisotropic pairs. If B(m,q)\mathcal{B}(m,q) denotes the number of common neighbors of 00 and an element vv with v,v=0\langle v,v\rangle=0 in Fqm\{0,v}\mathbb{F}_q^m\backslash\{0,v\}, then for m2m\ge 2 we have

B(m,q)={A(m,q)for m even,A(m,q)(1)(q1)(m1)4qm32q214for m odd.\mathcal{B}(m,q)=\begin{cases} \mathcal{A}(m,q)&\text{for }m\text{ even},\\ \mathcal{A}(m,q)-(-1)^{\frac{(q-1)(m-1)}{4}}\cdot q^{\frac{m-3}{2}}\cdot\frac{q^2-1}{4}& \text{for }m\text{ odd}. \end{cases}

Strong regularity conjecture. For even dimension mm, the graph of integral distances Gm,q\mathfrak{G}_{m,q} is a strongly regular graph. The conjecture predicts that the common-neighbor counts needed for strong regularity agree in even dimension; the odd-dimensional correction term explains why the corresponding assertion is not made there.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Sascha Kurz and Harald Meyer, “Integral point sets in higher dimensional affine spaces over finite fields”, arXiv:1401.4348 (2014).

Solutions 0

No solutions have been posted yet.