BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Simeon Ball

Simeon Ball appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.COInformation Theorymath-phmath.ITmath.MGmath.MPquant-ph

Catalog footprint

What is connected

12works
7topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

12 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access