Source author record

Simeon Ball

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO Information Theory math-ph math.IT math.MG math.MP quant-ph

Catalog footprint

Research overview

12works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

The Grassl-Rötteler cyclic and consta-cyclic MDS codes are generalised Reed-Solomon codes

We prove that the cyclic and constacyclic codes constructed by Grassl and Rötteler in arXiv:1502.05267 are generalised Reed-Solomon codes. This note can be considered as an addendum to that article. It can also be considered as an appendix to arXiv:2106.10180, where Conjecture 11 of arXiv:1502.0526, which was stated for Grassl-Rötteler codes, is proven for generalised Reed-Solomon codes. The content of this note, together with arXiv:2106.10180, therefore implies that Conjecture 11 from arXiv:1502.0526 is true.

preprint2021arXiv

Some constructions of quantum MDS codes

We construct quantum MDS codes with parameters $[\![ q^2+1,q^2+3-2d,d ]\!] _q$ for all $d \leqslant q+1$ , $d \neq q$ . These codes are shown to exist by proving that there are classical generalised Reed-Solomon codes which contain their Hermitian dual. These constructions include many constructions which were previously known but in some cases these codes are new. We go on to prove that if $d\geqslant q+2$ then there is no generalised Reed-Solomon $[n,n-d+1,d]_{q^2}$ code which contains its Hermitian dual. We also construct an $[\![ 18,0,10 ]\!] _5$ quantum MDS code, an $[\![ 18,0,10 ]\!] _7$ quantum MDS code and a $[\![ 14,0,8 ]\!] _5$ quantum MDS code, which are the first quantum MDS codes discovered for which $d \geqslant q+3$ , apart from the $[\![ 10,0,6 ]\!] _3$ quantum MDS code derived from Glynn's code.

preprint2020arXiv

Arcs in finite projective spaces

This is an expository article detailing results concerning large arcs in finite projective spaces, which attempts to cover the most relevant results on arcs, simplifying and unifying proofs of known old and more recent theorems. The article is mostly self-contained and includes a proof of the most general form of Segre's lemma of tangents and a short proof of the MDS conjecture over prime fields based on this lemma.

preprint2020arXiv

On varieties defined by large sets of quadrics and their application to error-correcting codes

Let $U$ be a $({ k-1 \choose 2}-1)$ -dimensional subspace of quadratic forms defined on $\mathrm{PG}(k-1,{\mathbb F})$ with the property that $U$ does not contain any reducible quadratic form. Let $V(U)$ be the points of $\mathrm{PG}(k-1,{\mathbb F})$ which are zeros of all quadratic forms in $U$ . We will prove that if there is a group $G$ which fixes $U$ and no line of $\mathrm{PG}(k-1,{\mathbb F})$ and $V(U)$ spans $\mathrm{PG}(k-1,{\mathbb F})$ then any hyperplane of $\mathrm{PG}(k-1,{\mathbb F})$ is incident with at most $k$ points of $V(U)$ . If ${\mathbb F}$ is a finite field then the linear code generated by the matrix whose columns are the points of $V(U)$ is a $k$ -dimensional linear code of length $|V(U)|$ and minimum distance at least $|V(U)|-k$ . A linear code with these parameters is an MDS code or an almost MDS code. We will construct examples of such subspaces $U$ and groups $G$ , which include the normal rational curve, the elliptic curve, Glynn's arc from \cite{Glynn1986} and other examples found by computer search. We conjecture that the projection of $V(U)$ from any $k-4$ points is contained in the intersection of two quadrics, the common zeros of two linearly independent quadratic forms. This would be a strengthening of a classical theorem of Fano, which itself is an extension of a theorem of Castelnuovo, for which we include a proof using only linear algebra.

preprint2019arXiv

On sets of points with few odd secants

We prove that, for $q$ odd, a set of $q+2$ points in the projective plane over the field with $q$ elements has at least $2q-c$ odd secants, where $c$ is a constant and an odd secant is a line incident with an odd number of points of the set.

preprint2016arXiv

A finite version of the Kakeya problem

Let $L$ be a set of lines of an affine space over a field and let $S$ be a set of points with the property that every line of $L$ is incident with at least $N$ points of $S$ . Let $D$ be the set of directions of the lines of $L$ considered as points of the projective space at infinity. We give a geometric construction of a set of lines $L$ , where $D$ contains an $N^{n-1}$ grid and where $S$ has size $2((1/2)N)^n$ , given a starting configuration in the plane. We provide examples of such starting configurations for the reals and for finite fields. Following Dvir's proof of the finite field Kakeya conjecture and the idea of using multiplicities of Dvir, Kopparty, Saraf and Sudan, we prove a lower bound on the size of $S$ dependent on the ideal generated by the homogeneous polynomials vanishing on $D$ . This bound is maximised as $((1/2)N)^n$ plus smaller order terms, for $n\geqslant 4$ , when $D$ contains the points of a $N^{n-1}$ grid.

preprint2016arXiv

A generalisation of Sylvester's problem to higher dimensions

In this article we consider $S$ to be a set of points in $d$ -space with the property that any $d$ points of $S$ span a hyperplane and not all the points of $S$ are contained in a hyperplane. The aim of this article is to introduce the function $e_d(n)$ , which denotes the minimal number of hyperplanes meeting $S$ in precisely $d$ points, minimising over all such sets of points $S$ with $|S|=n$ .

preprint2016arXiv

Extending small arcs to large arcs

An arc is a set of vectors of the $k$ -dimensional vector space over the finite field with $q$ elements ${\mathbb F}_q$ , in which every subset of size $k$ is a basis of the space, i.e. every $k$ -subset is a set of linearly independent vectors. Given an arc $G$ in a space of odd characteristic, we prove that there is an upper bound on the largest arc containing $G$ . The bound is not an explicit bound but is obtained by computing properties of a matrix constructed from $G$ . In some cases we can also determine the largest arc containing $G$ , or at least determine the hyperplanes which contain exactly $k-2$ vectors of the large arc. The theorems contained in this article may provide new tools in the computational classification and construction of large arcs.

preprint2016arXiv

On subsets of the normal rational curve

A normal rational curve of the $(k-1)$ -dimensional projective space over ${\mathbb F}_q$ is an arc of size $q+1$ , since any $k$ points of the curve span the whole space. In this article we will prove that if $q$ is odd then a subset of size $3k-6$ of a normal rational curve cannot be extended to an arc of size $q+2$ . In fact, we prove something slightly stronger. Suppose that $q$ is odd and $E$ is a $(2k-3)$ -subset of an arc $G$ of size $3k-6$ . If $G$ projects to a subset of a conic from every $(k-3)$ -subset of $E$ then $G$ cannot be extended to an arc of size $q+2$ . Stated in terms of error-correcting codes we prove that a $k$ -dimensional linear maximum distance separable code of length $3k-6$ over a field ${\mathbb F}_q$ of odd characteristic, which can be extended to a Reed-Solomon code of length $q+1$ , cannot be extended to a linear maximum distance separable code of length $q+2$ .

preprint2015arXiv

Forbidden subgraphs in the norm graph

We show that the norm graph constructed in [J. Kollár, L. Rónyai and T. Szabó, Norm-graphs and bipartite Turán numbers, Combinatorica, 16 (1996) 399--406] with $n$ vertices about $\frac{1}{2}n^{2-1/t}$ edges, which contains no copy of $K_{t,(t-1)!+1}$ , does not contain a copy of $K_{t+1,(t-1)!-1}$ .

preprint2014arXiv

On the representability of the bi-uniform matroid

Every bi-uniform matroid is representable over all sufficiently large fields. But it is not known exactly over which finite fields they are representable, and the existence of efficient methods to find a representation for every given bi-uniform matroid has not been proved. The interest of these problems is due to their implications to secret sharing. The existence of efficient methods to find representations for all bi-uniform matroids is proved here for the first time. The previously known efficient constructions apply only to a particular class of bi-uniform matroids, while the known general constructions were not proved to be efficient. In addition, our constructions provide in many cases representations over smaller finite fields.

preprint2012arXiv

On sets of vectors of a finite vector space in which every subset of basis size is a basis II

This article contains a proof of the MDS conjecture for $k \leq 2p-2$ . That is, that if $S$ is a set of vectors of ${\mathbb F}_q^k$ in which every subset of $S$ of size $k$ is a basis, where $q=p^h$ , $p$ is prime and $q$ is not and $k \leq 2p-2$ , then $|S| \leq q+1$ . It also contains a short proof of the same fact for $k\leq p$ , for all $q$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Simeon Ball

Research overview

Is this your work?

12 publications

The Grassl-Rötteler cyclic and consta-cyclic MDS codes are generalised Reed-Solomon codes

Some constructions of quantum MDS codes

Arcs in finite projective spaces

On varieties defined by large sets of quadrics and their application to error-correcting codes

On sets of points with few odd secants

A finite version of the Kakeya problem

A generalisation of Sylvester's problem to higher dimensions

Extending small arcs to large arcs

On subsets of the normal rational curve

Forbidden subgraphs in the norm graph

On the representability of the bi-uniform matroid

On sets of vectors of a finite vector space in which every subset of basis size is a basis II

See the researcher in context

Building this map preview