Skip to content
Preprint

A proof of the cyclotomic conjecture and the non-existence of almost Moore digraphs

Aug 2026 · 0 citations · 23 references
Mathematics

Abstract

For $n>2$ and $k>1$, define the polynomial \[F_{n,k}(x) = \Phi_n(1 + x + \cdots + x^k),\] where $\Phi_n$ denotes the $n$-th cyclotomic polynomial. The \emph{cyclotomic conjecture} proposed by Gimbert (1999) exactly describes the irreducibility of $F_{n,k}(x)$ over $\mathbb{Q}$ in terms of $n$ and $k$. Conde, Gimbert, Gonz\'{a}lez, Miller and Miret (2014) established that the cyclotomic conjecture, if true, would imply the non-existence of almost Moore digraphs - a well-known open question concerning the directed degree-diameter problem. In this article, we prove the cyclotomic conjecture and, as a consequence, show that there are no almost Moore digraphs with maximum out-degree $d$ and diameter $k$ for any $d>1$ and $k>2$.

View source

Similar papers

Preprint Sep 2026

Skolem-Mahler-Lech in rings of positive characteristic: a shorter proof and a multi-dimensional generalization

Let $R$ be a commutative ring and $f(a_1, \ldots, a_n) = \sum_{i=1}^k r_{i1}^{a_1} \cdots r_{in}^{a_n} m_i$ be a linear-exponential map over an $R$-module $M$. Dong and Shafrir (2026) showed that, when $\ell M = 0$ for some $\ell \in \mathbb{N}_{>0}$, the zero set of $f$ is the intersection of effectively computable $p...

Rui-Wen Dong, Doron Shafrir · 0 citations
Preprint Aug 2026

Counterexamples for generalizations of the non-elliptic Schr\"{o}dinger maximal operator

For $P=X_1^2+\cdots + X_n^2$, let $T_t^Pf(x)$ denote the solution to the linear Schr\"{o}dinger equation at time $t$. In 1980, Carleson asked for the minimal regularity of an initial data function $f\in H^s(\mathbb{R}^n)$ that guarantees pointwise convergence of $T_t^Pf(x)$ to $f(x)$ as $t\rightarrow 0$. This was resol...

Re-Na Chu · 0 citations
Preprint Sep 2026

Nagata's conjecture on a polynomial automorphism in positive characteristic

An automorphism of the polynomial ring $k[x_1,\ldots ,x_n]$ over a field $k$ is said to be $\mathit{tame}$ if it can be obtained by composing affine automorphisms and elementary automorphisms, and $\mathit{wild}$ otherwise. Jung and van der Kulk showed that every automorphism of $k[x_1,x_2]$ is tame. In 1972, Nagata co...

S. Kuroda · 0 citations
Preprint Aug 2026

On a conjecture on the Kasami APN function: reductions, structure theorems, a proof for $k\bmod n\in\{1,2,n{-}2,n{-}1\}$, and exhaustive verification for $n\le 13$

We study Carlet's cyclic-additive conjecture for the Kasami almost perfect nonlinear (APN) function $F(x)=x^{4^k-2^k+1}$ on $GF(2^n)$, $\gcd(k,n)=1$: for the $2^{n-1}$-element set $\Delta=\{F(b)+F(b+1)+1: b\in GF(2^n)\}$ and all distinct nonzero $v_1,v_2\in GF(2^n)$, \[ \bigl|\{(x,y,z)\in\Delta^3 : v_1x+v_2y+(v_1+v_2)z...

G. Nagy, Attila Vajda · 0 citations
Preprint Aug 2026

On an Instance of the Small Cohen-Macaulay Conjecture II

We show that any $d$-dimensional local ring $A$ with a dualizing complex, $\mathrm{depth} A=d-1$, and cyclic deficiency module $K^{d-1}(A)$ admits a maximal Cohen--Macaulay module. It is constructed as the unique nonzero cohomology module of the cone of the derived morphism induced by a surjection $A\to K^{d-1}(A)$. Wh...

Likun Xie · 1 citation · ⚡1
Preprint Sep 2026

A Combinatorial Proof of Hilton's Conjecture and Beyond

Using refined absorption, we prove that for every integer $g\ge 1$ and real $\gamma>0$, and for sufficiently large $n$, there exists an $n^{-1+\gamma}$-spread distribution on Latin squares of order $n$ and girth at least $g$ that have no proper subsquares. This implies a combinatorial proof of Hilton's conjecture from...

Thomas Lesgourgues, Luke Postle · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.