-
Multisets with few special directions and small weight codewords in Desarguesian planes
Authors:
Sam Adriaensen,
Tamás Szőnyi,
Zsuzsa Weiner
Abstract:
In this paper, we tie together two well studied topics related to finite Desarguesian affine and projective planes. The first topic concerns directions determined by a set, or even a multiset, of points in an affine plane. The second topic concerns the linear code generated by the incidence matrix of a projective plane. We show how a multiset determining only $k$ special directions, in a modular s…
▽ More
In this paper, we tie together two well studied topics related to finite Desarguesian affine and projective planes. The first topic concerns directions determined by a set, or even a multiset, of points in an affine plane. The second topic concerns the linear code generated by the incidence matrix of a projective plane. We show how a multiset determining only $k$ special directions, in a modular sense, gives rise to a codeword whose support can be covered by $k$ concurrent lines. The reverse operation of going from a codeword to a multiset of points is trickier, but we describe a possible strategy and show some fruitful applications.
Given a multiset of affine points, we use a bound on the degree of its so-called projection function to yield lower bounds on the number of special directions, both in an ordinary and in a modular sense.
In the codes related to projective planes of prime order $p$, there exists an odd codeword, whose support is covered by 3 concurrent lines, but which is not a linear combination of these 3 lines. We generalise this codeword to codewords whose support is contained in an arbitrary number of concurrent lines. In case $p$ is large enough, this allows us to extend the classification of codewords from weight at most $4p-22$ to weight at most $5p-36$.
△ Less
Submitted 5 December, 2024; v1 submitted 28 November, 2024;
originally announced November 2024.
-
A little more about bipartite biregular cages, block designs, and generalized polygons
Authors:
Gabriela Araujo-Pardo,
György Kiss,
Tamás Szönyi
Abstract:
In this paper, we obtain new lower and upper bounds for the problem of bipartite biregular cages. Moreover, for girth $6$, we give the exact parameters of the $(m,n;6)$-bipartite biregular cages when $n\equiv -1$ $\pmod m$ using the existence of Steiner System system $S(2,k=m,v=1+n(m-1)+m)$.
For girth $g=2r$ and $r=\{4,6,8\}$, we use results on $t$-good structures given by ovoids, spreads and su…
▽ More
In this paper, we obtain new lower and upper bounds for the problem of bipartite biregular cages. Moreover, for girth $6$, we give the exact parameters of the $(m,n;6)$-bipartite biregular cages when $n\equiv -1$ $\pmod m$ using the existence of Steiner System system $S(2,k=m,v=1+n(m-1)+m)$.
For girth $g=2r$ and $r=\{4,6,8\}$, we use results on $t$-good structures given by ovoids, spreads and sub-polygons in generalized polygons to obtain $(m,n;2r)$-bipartite biregular graphs. We emphasize that, as we improve the lower bounds on the order of these graphs, we also prove that some of them are $(m,n;2r)$-bipartite biregular cages.
In particular, we construct relatively small bipartite biregular graphs from a special class of generalized quadrangles and hexagons. In a special case, we show that the graph obtained is actually a $(3,4;8)$-bipartite biregular cage on $56$ vertices.
△ Less
Submitted 18 October, 2023;
originally announced October 2023.
-
Algebraic approach to the completeness problem for $(k,n)$-arcs in planes over finite fields
Authors:
Gábor Korchmáros,
Gábor Péter Nagy,
Tamás Szőnyi
Abstract:
In a projective plane over a finite field, complete $(k,n)$-arcs with few characters are rare but interesting objects with several applications to finite geometry and coding theory. Since almost all known examples are large, the construction of small ones, with $k$ close to the order of the plane, is considered a hard problem. A natural candidate to be a small $(k,n)$-arc with few characters is th…
▽ More
In a projective plane over a finite field, complete $(k,n)$-arcs with few characters are rare but interesting objects with several applications to finite geometry and coding theory. Since almost all known examples are large, the construction of small ones, with $k$ close to the order of the plane, is considered a hard problem. A natural candidate to be a small $(k,n)$-arc with few characters is the set $Ω(\mathcal{C})$ of the points of a plane curve $\mathcal{C}$ of degree $n$ (containing no linear components) such that some line meets $\mathcal{C}$ transversally in the plane, i.e. in $n$ pairwise distinct points. Let $\mathcal{C}$ be either the Hermitian curve of degree $q+1$ in $\mathrm{PG}(2,q^{2r})$ with $r\ge 1$, or the rational BKS curve of degree $q+1$ in $\mathrm{PG}(2,q^r)$ with $q$ odd and $r\ge 1$. Then $Ω(\mathcal{C})$ has four and seven characters, respectively. Furthermore, $Ω(\mathcal{C})$ is small as both curves are either maximal or minimal. The completeness problem is investigated by an algebraic approach based on Galois theory and on the Hasse-Weil lower bound. Our main result for the Hermitian case is that $Ω(\mathcal{C})$ is complete for $r\ge 4$. For the rational BKS curve, $Ω(\mathcal{C})$ is complete if and only if $r$ is even. If $r$ is odd then the uncovered points by the $(q+1)$-secants to $Ω(\mathcal{C})$ are exactly the points in $\mathrm{PG}(2,q)$ not lying in $Ω(\mathcal{C})$. Adding those points to $Ω(\mathcal{C})$ produces a complete $(k,q+1)$-arc in $\mathrm{PG}(2,q^r)$, with $k=q^r+q$. The above results do not hold true for $r=2$ and there remain open the case $r=3$ for the Hermitian curve, and the cases $r=3,4$ for the rational BKS curve. As a by product we also obtain two results of interest in the study of the Galois inverse problem for $\mathrm{PGL}(2,q)$.
△ Less
Submitted 20 February, 2023;
originally announced February 2023.
-
The extended coset leader weight enumerator of a twisted cubic code
Authors:
Aart Blokhuis,
Ruud Pellikaan,
Tamás Szőnyi
Abstract:
The extended coset leader weight enumerator of the generalized Reed-Solomon $[q + 1, q - 3, 5]_q$ code is computed. The computation is considered as a question in finite geometry. For this we need the classification of the points, lines and planes in the projective three space under projectivities that leave the twisted cubic invariant. A line in three space determines a rational function of degre…
▽ More
The extended coset leader weight enumerator of the generalized Reed-Solomon $[q + 1, q - 3, 5]_q$ code is computed. The computation is considered as a question in finite geometry. For this we need the classification of the points, lines and planes in the projective three space under projectivities that leave the twisted cubic invariant. A line in three space determines a rational function of degree at most three and vice versa. Furthermore the double point scheme of a rational function is studied. The pencil of a true passant of the twisted cubic, not in an osculation plane gives a curve of genus one as double point scheme. With the Hasse-Weil bound on Fq-rational points we show that there is a 3-plane containing the passant.
△ Less
Submitted 10 April, 2021; v1 submitted 31 March, 2021;
originally announced March 2021.
-
On the balanced upper chromatic number of finite projective planes
Authors:
Zoltán L. Blázsik,
Aart Blokhuis,
Štefko Miklavič,
Zoltán Lóránt Nagy,
Tamás Szőnyi
Abstract:
In this paper, we study vertex colorings of hypergraphs in which all color class sizes differ by at most one (balanced colorings) and each hyperedge contains at least two vertices of the same color (rainbow-free colorings). For any hypergraph $H$, the maximum number $k$ for which there is a balanced rainbow-free $k$-coloring of $H$ is called the balanced upper chromatic number of the hypergraph. W…
▽ More
In this paper, we study vertex colorings of hypergraphs in which all color class sizes differ by at most one (balanced colorings) and each hyperedge contains at least two vertices of the same color (rainbow-free colorings). For any hypergraph $H$, the maximum number $k$ for which there is a balanced rainbow-free $k$-coloring of $H$ is called the balanced upper chromatic number of the hypergraph. We confirm the conjecture of Araujo-Pardo, Kiss and Montejano by determining the balanced upper chromatic number of the desarguesian projective plane $\mathrm{PG}(2,q)$ for all $q$. In addition, we determine asymptotically the balanced upper chromatic number of several families of non-desarguesian projective planes and also provide a general lower bound for arbitrary projective planes using probabilistic methods which determines the parameter up to a multiplicative constant.
△ Less
Submitted 25 May, 2020;
originally announced May 2020.
-
On the upper chromatic number and multiplte blocking sets of PG($n,q$)
Authors:
Zoltán L. Blázsik,
Tamás Héger,
Tamás Szőnyi
Abstract:
We investigate the upper chromatic number of the hypergraph formed by the points and the $k$-dimensional subspaces of $\mathrm{PG}(n,q)$; that is, the most number of colors that can be used to color the points so that every $k$-subspace contains at least two points of the same color. Clearly, if one colors the points of a double blocking set with the same color, the rest of the points may get mutu…
▽ More
We investigate the upper chromatic number of the hypergraph formed by the points and the $k$-dimensional subspaces of $\mathrm{PG}(n,q)$; that is, the most number of colors that can be used to color the points so that every $k$-subspace contains at least two points of the same color. Clearly, if one colors the points of a double blocking set with the same color, the rest of the points may get mutually distinct colors. This gives a trivial lower bound, and we prove that it is sharp in many cases. Due to this relation with double blocking sets, we also prove that for $t\leq \frac38p+1$, a small $t$-fold (weighted) $(n-k)$-blocking set of $\mathrm{PG}(n,p)$, $p$ prime, must contain the weighted sum of $t$ not necessarily distinct $(n-k)$-spaces.
△ Less
Submitted 6 September, 2019;
originally announced September 2019.
-
Stability of k mod p multisets and small weight codewords of the code generated by the lines of PG(2, q)
Authors:
Tamás Szőnyi,
Zsuzsa Weiner
Abstract:
In this paper, we prove a stability result on k mod p multisets of points in PG(2,q), q = p^h. The particular case k=0 is used to describe small weight codewords of the code generated by the lines of PG(2, q), as linear combination of few lines. Earlier results proved this for codewords with weight less than 2.5q, while our result is valid until cq sqrt(q). It is sharp when 27<q square and h>=4. W…
▽ More
In this paper, we prove a stability result on k mod p multisets of points in PG(2,q), q = p^h. The particular case k=0 is used to describe small weight codewords of the code generated by the lines of PG(2, q), as linear combination of few lines. Earlier results proved this for codewords with weight less than 2.5q, while our result is valid until cq sqrt(q). It is sharp when 27<q square and h>=4. When q is a prime, De Boeck and Vandendriessche constructed a codeword of weight 3p-3 that is not the linear combination of three lines. We characterise their example.
△ Less
Submitted 28 January, 2019;
originally announced January 2019.
-
Strongly regular graphs from integral point sets in even dimensional affine spaces over finite fields
Authors:
Gábor Korchmáros,
Federico Romaniello,
Tamás Szőnyi
Abstract:
In the $m$-dimensional affine space $AG(m,q)$ over the finite field $\mathbb{F}_q$ of odd order $q$, the analogous of the Euclidean distance gives rise to a graph $\mathfrak{G}_{m,q}$ where vertices are the points of $AG(m,q)$ and two vertices are adjacent if their (formal) squared Euclidean distance is a square in $\mathbb{F}_q$ (including the zero). In 2009, Kurz and Meyer made the conjecture th…
▽ More
In the $m$-dimensional affine space $AG(m,q)$ over the finite field $\mathbb{F}_q$ of odd order $q$, the analogous of the Euclidean distance gives rise to a graph $\mathfrak{G}_{m,q}$ where vertices are the points of $AG(m,q)$ and two vertices are adjacent if their (formal) squared Euclidean distance is a square in $\mathbb{F}_q$ (including the zero). In 2009, Kurz and Meyer made the conjecture that if $m$ is even then $\mathfrak{G}_{m,q}$ is a strongly regular graph. In this paper we prove their conjecture.
△ Less
Submitted 5 February, 2021; v1 submitted 16 November, 2018;
originally announced November 2018.
-
Inherited conics in Hall planes
Authors:
Aart Blokhuis,
István Kovács,
Gábor P. Nagy,
Tamás Szőnyi
Abstract:
The existence of ovals and hyperovals is an old question in the theory of non-Desarguesian planes. The aim of this paper is to describe when a conic of ${\rm PG}(2,q)$ remains an arc in the Hall plane obtained by derivation. Some combinatorial properties of the inherited conics are obtained also in those cases when it is not an arc. The key ingredient of the proof is an old lemma by Segre-Korchmár…
▽ More
The existence of ovals and hyperovals is an old question in the theory of non-Desarguesian planes. The aim of this paper is to describe when a conic of ${\rm PG}(2,q)$ remains an arc in the Hall plane obtained by derivation. Some combinatorial properties of the inherited conics are obtained also in those cases when it is not an arc. The key ingredient of the proof is an old lemma by Segre-Korchmáros on Desargues configurations with perspective triangles inscribed in a conic.
△ Less
Submitted 25 May, 2018;
originally announced May 2018.
-
Integral automorphisms of affine spaces over finite fields
Authors:
István Kovács,
Klavdija Kutnar,
János Ruff,
Tamás Szőnyi
Abstract:
A permutation of the point set of the affine space $AG(n,q)$ is called an integral automorphism if it preserves the integral distance defined among the points. In this paper, we complete the classification of the integral automorphisms of $AG(n,q)$ for $n\ge 3$.
A permutation of the point set of the affine space $AG(n,q)$ is called an integral automorphism if it preserves the integral distance defined among the points. In this paper, we complete the classification of the integral automorphisms of $AG(n,q)$ for $n\ge 3$.
△ Less
Submitted 24 March, 2016;
originally announced March 2016.
