arXiv subjects
Publications and source records attributed to Gary McGuire.
In this article, we derive a list of possible characteristic polynomials of the Frobenius of simple supersingular abelian varieties of dimension 1, 2, 3, 4, 5, 6, 7 over $\mathbb{F}_q$ where $q = p^n$, n odd.
In this article, we derive the list of the characteristic polynomials of the Frobenius endomorphism of simple supersingular abelian varieties of dimension $1,~2,~3,~4,~5,~6,~7$ over $\mathbb{F}_q$ where $q=p^n$, $n$ odd.
The existence of certain monomial hyperovals $D(x^k)$ in the finite Desarguesian projective plane $PG(2,q)$, $q$ even, is related to the existence of points on certain projective plane curves $g_k(x,y,z)$. Segre showed that some values of $k$ ($k=6$ and $2^i$) give rise to hyperovals in $PG(2,q)$ for infinitely many $q$. Segre and Bartocci conjectured that these are the only values of $k$ with this property. We prove this conjecture through the absolute irreducibility of the curves $g_k$.
We give results characterising ternary Kloosterman sums modulo 9 and 27. This leads to a complete characterisation of values that ternary Kloosterman sums assume modulo 18 and 54. The proofs uses Stickelberger's theorem, the Gross-Koblitz formula and Fourier analysis.
Let $\mathcal{K}(a)$ denote the Kloosterman sum on the finite field of order $2^n$. We give a simple characterization of $\mathcal{K}(a)$ modulo 16, in terms of the trace of $a$ and one other function. We also give a characterization of $\mathcal{K}(a)$ modulo 64 in terms of a different function, which we call the lifted trace. Our proofs use Fourier analysis, Stickelberger's theorem and the Gross-Koblitz formula.
We construct Weil numbers corresponding to genus-2 curves with $p$-rank 1 over the finite field $\F_{p^2}$ of $p^2$ elements. The corresponding curves can be constructed using explicit CM constructions. In one of our algorithms, the group of $\F_{p^2}$-valued points of the Jacobian has prime order, while another allows for a prescribed embedding degree with respect to a subgroup of prescribed order. The curves are defined over $\F_{p^2}$ out of necessity: we show that curves of $p$-rank 1 over $\F_p$ for large $p$ cannot be efficiently constructed using explicit CM constructions.
We prove a conjecture that classifies exceptional numbers. This conjecture arises in two different ways, from cryptography and from coding theory. An odd integer $t\geq 3$ is said to be exceptional if $f(x)=x^t$ is APN (Almost Perfect Nonlinear) over $\mathbb{F}_{2^n}$ for infinitely many values of $n$. Equivalently, $t$ is exceptional if the binary cyclic code of length $2^n-1$ with two zeros $ω, ω^t$ has minimum distance 5 for infinitely many values of $n$. The conjecture we prove states that every exceptional number has the form $2^i+1$ or $4^i-2^i+1$.
This paper presents two kinds of division polynomials for twisted Edwards curves. Their chief property is that they characterise the $n$-torsion points of a given twisted Edwards curve. We also present results concerning the coefficients of these polynomials, which may aid computation.
This paper presents division polynomials for twisted Edwards curves. Their chief property is that they characterise the $n$-torsion points of a given twisted Edwards curve. We also present results concerning the coefficients of these polynomials, which may aid computation.
We present two infinite families of APN functions where the degree of the field is divisible by 3 but not 9. Our families contain two already known families as special cases. We also discuss the inequivalence proof (by computation) which shows that these functions are new.
In this paper we compute the Fourier spectra of some recently discovered binomial APN functions. One consequence of this is the determination of the nonlinearity of the functions, which measures their resistance to linear cryptanalysis. Another consequence is that certain error-correcting codes related to these functions have the same weight distribution as the 2-error-correcting BCH code. Furthermore, for fields of odd degree, our results provide an alternative proof of the APN property of the functions.
We present an infinite family of quadratic APN functions on a finite field of dimension over GF(2) divisible by 3.
We discuss a class of binary cyclic codes and their dual codes. The minimum distance is determined using algebraic geometry, and an application of Weil's theorem. We relate the weights appearing in the dual codes to the number of rational points on a family of genus 2 curves over a finite field.
We characterize the SDP designs that give rise to four-weight spin models with two values. We prove that the only such designs are the symplectic SDP designs. The proof involves analysis of cardinalities of intersections of four blocks.