Researcher profile

Michel Lavrauw

Michel Lavrauw contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
17works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

17 published item(s)

preprint2022arXiv

Symplectic 4-dimensional semifields of order $8^4$ and $9^4$

We classify symplectic 4-dimensional semifields over $\mathbb{F}_q$, for $q\leq 9$, thereby extending (and confirming) the previously obtained classifications for $q\leq 7$. The classification is obtained by classifying all symplectic semifield subspaces in $\mathrm{PG}(9,q)$ for $q\leq 9$ up to $K$-equivalence, where $K\leq \mathrm{PGL}(10,q)$ is the lift of $\mathrm{PGL}(4,q)$ under the Veronese embedding of $\mathrm{PG}(3,q)$ in $\mathrm{PG}(9,q)$ of degree two. Our results imply the non-existence of non-associative symplectic 4-dimensional semifields for $q$ even, $q\leq 8$. For $q$ odd, and $q\leq 9$, our results imply that the isotopism class of a symplectic non-associative 4-dimensional semifield over $\mathbb{F}_q$ is contained in the Knuth orbit of a Dickson commutative semifield.

preprint2021arXiv

The Tensor Rank of Semifields of Order 16 and 81

We determine the tensor rank of all semifields of order 16 over $\mathbb{F}_2$ and of all semifields of order 81 over $\mathbb{F}_3$. Our results imply that some semifields of order 81 have lower multiplicative complexity than the finite field $\mathbb{F}_{81}$ over $\mathbb{F}_3$. We prove new results on the correspondence between linear codes and tensor rank, including a generalisation of a theorem of Brockett and Dobkin to arbitrary tensors, which makes the problem computationally feasible.

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

Nets of conics of rank one in PG(2,q), q odd

We classify nets of conics in Desarguesian projective planes over finite fields of odd order, namely, two-dimensional linear systems of conics containing a repeated line. Our proof is geometric in the sense that we solve the equivalent problem of classifying the orbits of planes in $\text{PG}(5,q)$ which meet the quadric Veronesean in at least one point, under the action of $\text{PGL}(3,q) \leqslant \text{PGL}(6,q)$ (for $q$ odd). Our results complete a partial classification of nets of conics of rank one obtained by A. H. Wilson in the article "The canonical types of nets of modular conics", American Journal of Mathematics 36 (1914) 187-210.

preprint2016arXiv

Classification of 8-dimensional rank two commutative semifields

We classify the rank two commutative semifields which are 8-dimensional over their center $\mathbb{F}_{q}$. This is done using computational methods utilizing the connection to linear sets in $\mathrm{PG}(2,q^{4})$. We then apply our methods to complete the classification of rank two commutative semifields which are 10-dimensional over $\mathbb{F}_{3}$. The implications of these results are detailed for other geometric structures such as semifield flocks, ovoids of parabolic quadrics, and eggs.

preprint2014arXiv

Field reduction and linear sets in finite geometry

Based on the simple and well understood concept of subfields in a finite field, the technique called `field reduction' has proved to be a very useful and powerful tool in finite geometry. In this paper we elaborate on this technique. Field reduction for projective and polar spaces is formalized and the links with Desarguesian spreads and linear sets are explained in detail. Recent results and some fundamental ques- tions about linear sets and scattered spaces are studied. The relevance of field reduction is illustrated by discussing applications to blocking sets and semifields.

preprint2014arXiv

On BEL-configurations and finite semifields

The BEL-construction for finite semifields was introduced in \cite{BEL2007}; a geometric method for constructing semifield spreads, using so-called BEL-configurations in $V(rn,q)$. In this paper we investigate this construction in greater detail, and determine an explicit multiplication for the semifield associated with a BEL-configuration in $V(rn,q)$, extending the results from \cite{BEL2007}, where this was obtained only for $r=n$. Given a BEL-configuration with associated semifields spread $\mathcal{S}$, we also show how to find a BEL-configuration corresponding to the dual spread $\mathcal{S}^d$. Furthermore, we study the effect of polarities in $V(rn,q)$ on BEL-configurations, leading to a characterisation of BEL-configurations associated to symplectic semifields. We give precise conditions for when two BEL-configurations in $V(n^2,q)$ define isotopic semifields. We define operations which preserve the BEL property, and show how non-isotopic semifields can be equivalent under this operation. We also define an extension of the ```switching'' operation on BEL-configurations in $V(2n,q)$ introduced in \cite{BEL2007}, which, together with the transpose operation, leads to a group of order $8$ acting on BEL-configurations.

preprint2014arXiv

The isotopism problem of a class of 6-dimensional rank 2 semifields and its solution

In [U. Dempwolff: \textit{More Translation Planes and Semifields from Dembowski-Ostrom Polynomials}, Designs, Codes, Cryptogr. \textbf{68} (1-3) (2013), 81--103] three classes of rank two presemifields of order $q^{2n}$, with $q$ and $n$ odd, were exhibited, leaving as an open problem the isotopy issue. In [M. Lavrauw, G. Marino, O. Polverino, R. Trombetti: \textit{Solution to an isotopism question concerning rank 2 semifields}, J. Comb. Des., to appear. DOI: 10.1002/jcd.21382], the authors faced with this problem answering the question whether these presemifields are new for $n>3$. In this paper we complete the study solving the case $n=3$.

preprint2013arXiv

Constant rank-distance sets of hermitian matrices and partial spreads in hermitian polar spaces

In this paper we investigate partial spreads of $H(2n-1,q^2)$ through the related notion of partial spread sets of hermitian matrices, and the more general notion of constant rank-distance sets. We prove a tight upper bound on the maximum size of a linear constant rank-distance set of hermitian matrices over finite fields, and as a consequence prove the maximality of extensions of symplectic semifield spreads as partial spreads of $H(2n-1,q^2)$. We prove upper bounds for constant rank-distance sets for even rank, construct large examples of these, and construct maximal partial spreads of $H(3,q^2)$ for a range of sizes.

preprint2013arXiv

Geometry of the inversion in a finite field and partitions of ${\mathrm{PG}}(2^k-1,q)$ in normal rational curves

Let $L=\mathbb F_{q^n}$ be a finite field and let $F=\mathbb F_q$ be a subfield of $L$. Consider $L$ as a vector space over $F$ and the associated projective space that is isomorphic to ${\mathrm{PG}}(n-1,q)$. The properties of the projective mapping induced by $x\mapsto x^{-1}$ have been studied in \cite{Cs13,Fa02,Ha83,He85,Bu95}, where it is proved that the image of any line is a normal rational curve in some subspace. In this note a more detailed geometric description is achieved. Consequences are found related to mixed partitions of the projective spaces; in particular, it is proved that for any positive integer $k$, if $q\ge2^k-1$, then there are partitions of ${\mathrm{PG}}(2^k-1,q)$ in normal rational curves of degree $2^k-1$. For smaller $q$ the same construction gives partitions in $(q+1)$-tuples of independent points.

preprint2013arXiv

Solution to an isotopism question concerning rank 2 semifields

In [U. Dempwolff: More Translation Planes and Semifields from Dembowski-Ostrom Polynomials, Designs, Codes, Cryptogr. \textbf{68} (1-3) (2013), 81-103], the author gives a construction of three classes of rank two semifields of order $q^{2n}$, with $q$ and $n$ odd, using Dembowski-Ostrom polynomials. The question whether these semifields are new, i.e. not isotopic to previous constructions, is left as an open problem. In this paper we solve this problem for $n>3$, in particular we prove that two of these classes, labeled $D_{A}$ and $D_{AB}$, are new for $n>3$, whereas presemifields in family $D_{B}$ are isotopic to Generalized Twisted Fields for each $n\geq 3$.

preprint2012arXiv

A proof of the linearity conjecture for k-blocking sets in PG(n, p3), p prime

In this paper, we show that a small minimal k-blocking set in PG(n, q3), q = p^h, h >= 1, p prime, p >=7, intersecting every (n-k)-space in 1 (mod q) points, is linear. As a corollary, this result shows that all small minimal k-blocking sets in PG(n, p^3), p prime, p >=7, are Fp-linear, proving the linearity conjecture (see [7]) in the case PG(n, p3), p prime, p >= 7.

preprint2012arXiv

An empty interval in the spectrum of small weight codewords in the code from points and k-spaces of PG(n, q)

Let Ck(n, q) be the p-ary linear code defined by the incidence matrix of points and k-spaces in PG(n, q), q = p^h, p prime, h >= 1. In this pa- per, we show that there are no codewords of weight in the open interval ] q^{k+1}-1/q-1, 2q^k[ in Ck(n, q) \ Cn-k(n, q) which implies that there are no codewords with this weight in Ck(n, q) \ Ck(n, q) if k >= n/2. In par- ticular, for the code Cn-1(n, q) of points and hyperplanes of PG(n, q), we exclude all codewords in Cn-1(n, q) with weight in the open interval ] q^n-1/q-1, 2q^n-1[. This latter result implies a sharp bound on the weight of small weight codewords of Cn-1(n, q), a result which was previously only known for general dimension for q prime and q = p2, with p prime, p > 11, and in the case n = 2, for q = p^3, p >= 7 ([4],[5],[7],[8]).

preprint2012arXiv

On the code generated by the incidence matrix of points and hyperplanes in PG(n,q) and its dual

In this paper, we study the p-ary linear code C(PG(n, q)), q = p^h, p prime, h >= 1, generated by the incidence matrix of points and hyperplanes of a Desarguesian projective space PG(n, q), and its dual code. We link the codewords of small weight of this code to blocking sets with respect to lines in PG(n, q) and we exclude all possible codewords arising from small linear blocking sets. We also look at the dual code of C(PG(n,q)) and we prove that find- ing the minimum weight of the dual code can be reduced to finding the minimum weight of the dual code of points and lines in PG(2, q). We present an improved upper bound on this minimum weight and we show that we can drop the divisibility condition on the weight of the codewords in Sachar's lower bound [12].

preprint2012arXiv

On the code generated by the incidence matrix of points and k-spaces in PG(n, q) and its dual

In this paper, we study the p-ary linear code Ck(n, q), q = ph, p prime, h >= 1, generated by the incidence matrix of points and k-dimensional spaces in PG(n, q). For k >= n/2, we link codewords of Ck(n, q)\Ck(n, q) of weight smaller than 2q^k to k-blocking sets. We first prove that such a k-blocking set is uniquely reducible to a minimal k-blocking set, and exclude all codewords arising from small linear k-blocking sets. For k < n/2, we present counterexamples to lemmas valid for k >= n/2. Next, we study the dual code of Ck(n, q) and present a lower bound on the weight of the codewords, hence extending the results of Sachar [12] to general dimension.

preprint2012arXiv

Semifields from skew polynomial rings

Skew polynomial rings were used to construct finite semifields by Petit in 1966, following from a construction of Ore and Jacobson of associative division algebras. In 1989 Jha and Johnson constructed the so-called cyclic semifields, obtained using irreducible semilinear transformations. In this work we show that these two constructions in fact lead to isotopic semifields, show how the skew polynomial construction can be used to calculate the nuclei more easily, and provide an upper bound for the number of isotopism classes, improving the bounds obtained by Kantor and Liebler in 2008 and implicitly in recent work by Dempwolff.