finite field
1566 papers tagged with this keyword
Optimum Distance Flag Codes from Spreads via Perfect Matchings in Graphs
Published
• View Publication
• BIB
In this paper, we study flag codes on the vector space $\mathbb{F}_q^n$, being $q$ a prime power and $\mathbb{F}_q$ the finite field of $q$ elements. More precisely, we focus on flag codes that attain the maximum possible distance (optimum distance flag codes) and can be obtained from a spread of $\mathbb{F}_q^n$. We characterize the set of admissible type vectors for this family of flag codes and also provide a construction of them based on well-known results about perfect matchings in graphs. This construction attains both the maximum distance for its type vector and the largest possible cardinality for that distance.
Evasive subspaces
Published
• View Publication
• BIB
Let $V$ denote an $r$-dimensional vector space over $\mathbb{F}_{q^n}$, the finite field of $q^n$ elements. Then $V$ is also an $rn$-dimension vector space over $\mathbb{F}_q$. An $\mathbb{F}_q$-subspace $U$ of $V$ is $(h,k)_q$-evasive if it meets the $h$-dimensional $\mathbb{F}_{q^n}$-subspaces of $V$ in $\mathbb{F}_q$-subspaces of dimension at most $k$. The $(1,1)_q$-evasive subspaces are known as scattered and they have been intensively studied in finite geometry, their maximum size has been proved to be $\lfloor rn/2 \rfloor$ when $rn$ is even or $n=3$.
We investigate the maximum size of $(h,k)_q$-evasive subspaces, study two duality relations among them and provide various constructions. In particular, we present the first examples, for infinitely many values of $q$, of maximum scattered subspaces when $r=3$ and $n=5$. We obtain these examples in characteristics $2$, $3$ and $5$.
Jordan--Landau theorem for matrices over finite fields
Published
• View Publication
• BIB
Given a positive integer $r$ and a prime power $q$, we estimate the probability that the characteristic polynomial $f_{A}(t)$ of a random matrix $A$ in $\mathrm{GL}_{n}(\mathbb{F}_{q})$ is square-free with $r$ (monic) irreducible factors when $n$ is large. We also estimate the analogous probability that $f_{A}(t)$ has $r$ irreducible factors counting with multiplicity. In either case, the main term $(\log n)^{r-1}((r-1)!n)^{-1}$ and the error term $O((\log n)^{r-2}n^{-1})$, whose implied constant only depends on $r$ but not on $q$ nor $n$, coincide with the probability that a random permutation on $n$ letters is a product of $r$ disjoint cycles. The main ingredient of our proof is a recursion argument due to S. D. Cohen, which was previously used to estimate the probability that a random degree $n$ monic polynomial in $\mathbb{F}_{q}[t]$ is square-free with $r$ irreducible factors and the analogous probability that the polynomial has $r$ irreducible factors counting with multiplicity. We obtain our result by carefully modifying Cohen's recursion argument in the matrix setting, using Reiner's theorem that counts the number of $n \times n$ matrices with a fixed characteristic polynomial over $\mathbb{F}_{q}$.
Enumerating partial linear transformations in a similarity class
Published
• View Publication
• BIB
Let $V$ be a finite-dimensional vector space over the finite field ${\mathbb F}_q$ and suppose $W$ and $\widetilde{W}$ are subspaces of $V$. Two linear transformations $T:W\to V$ and $\widetilde{T}:\widetilde{W}\to V$ are said to be similar if there exists a linear isomorphism $S:V\to V$ with $SW=\widetilde{W}$ such that $S\circ T=\widetilde{T}\circ S $. Given a linear map $T$ defined on a subspace $W$ of $V$, we give an explicit formula for the number of linear maps that are similar to $T$. Our results extend a theorem of Philip Hall that settles the case $W=V$ where the above problem is equivalent to counting the number of square matrices over ${\mathbb F}_q$ in a conjugacy class.
A classification of one dimensional affine rank three graphs
Published
• View Publication
• BIB
The rank three subgroups of a one-dimensional affine group over a finite field were classified in 1978 by Foulser and Kallaher. Although one can use their results for a classification of corresponding rank three graphs, the author did not find such a classification in a literature. The goal of this note is to present such a classification. It turned out that graph classification is much simpler than the group one. More precisely, it is shown that the graphs in the title are either the Paley graphs or one of the graphs constructed by Van Lint and Schrijver or by Peisert. Our approach is based on elementary group theory and does not use the classification of rank three affine groups.
On absolute points of correlations in PG$(2,q^n)$
Published in the electronic journal of combinatorics 27 (2020)
• View Publication
• BIB
Let $V$ be a $(d+1)$-dimensional vector space over a field $\mathbb{F}$. Sesquilinear forms over $V$ have been largely studied when they are reflexive and hence give rise to a (possibly degenerate) polarity of the $d$-dimensional projective space PG$(V)$. Everything is known in this case for both degenerate and non-degenerate reflexive forms if $\mathbb{F}$ is either ${\mathbb{R}}$, ${\mathbb{C}}$ or a finite field ${\mathbb{F}}_q$. In this paper we consider degenerate, non-reflexive sesquilinear forms of $V=\mathbb{F}_{q^n}^3$. We will see that these forms give rise to degenerate correlations of PG$(2,q^n)$ whose set of absolute points are, besides cones, the (possibly degenerate) $C_F^m$-sets. In the final section we collect some results from the huge work of B.C. Kestenband regarding what is known for the set of the absolute points of correlations in PG$(2,q^n)$ induced by a non-degenerate, non-reflexive sesquilinear form of $V=\mathbb{F}_{q^n}^3$.
Growth in Some Finite Three-Dimensional Matrix Groups
Published
• View Publication
• BIB
We study the growth of product sets in some finite three-dimensional matrix groups. In particular, we prove two results about the group of $2\times 2$ upper triangular matrices over arbitrary finite fields: a product set estimate using techniques from multiplicative combinatorics, and an energy estimate using incidence geometry. The energy method gives better quantitative results, but only applies to small sets. We also prove an energy result for the Heisenberg group.
On the Grassmann Graph of Linear Codes
Published in Finite Fields Appl. 75 (2021) 101895
• View Publication
• BIB
Let $Γ(n,k)$ be the Grassmann graph formed by the $k$-dimensional subspaces of a vector space of dimension $n$ over a field $\mathbb F$ and, for $t\in \mathbb{N}\setminus \{0\}$, let $Δ_t(n,k)$ be the subgraph of $Γ(n,k)$ formed by the set of linear $[n,k]$-codes having minimum dual distance at least $t+1$. We show that if $|{\mathbb F}|\geq{n\choose t}$ then $Δ_t(n,k)$ is connected and it is isometrically embedded in $Γ(n,k)$. This generalizes some results of [M. Kwiatkowski, M. Pankov, "On the distance between linear codes", Finite Fields Appl. 39 (2016), 251--263] and [M. Kwiatkowski, M. Pankov, A. Pasini, "The graphs of projective codes" Finite Fields Appl. 54 (2018), 15--29].
A point-sphere incidence bound in odd dimensions and applications
Published
• View Publication
• BIB
In this paper, we prove a new point-sphere incidence bound in vector spaces over finite fields. More precisely, let $P$ be a set of points and $S$ be a set of spheres in $\mathbb{F}_q^d$. Suppose that $|P|, |S|\le N$, we prove that the number of incidences between $P$ and $S$ satisfies \[I(P, S)\le N^2q^{-1}+q^{\frac{d-1}{2}}N,\] under some conditions on $d, q$, and radii. This improves the known upper bound $N^2q^{-1}+q^{\frac{d}{2}}N$ in the literature. As an application, we show that for $A\subset \mathbb{F}_q$ with $q^{1/2}\ll |A|\ll q^{\frac{d^2+1}{2d^2}}$, one has \[\max \left\lbrace |A+A|,~ |dA^2|\right\rbrace \gg \frac{|A|^d}{q^{\frac{d-1}{2}}}.\] This improves earlier results on this sum-product type problem over arbitrary finite fields.
The number of almost perfect nonlinear functions grows exponentially
Published
• View Publication
• BIB
Almost perfect nonlinear (APN) functions play an important role in the design of block ciphers as they offer the strongest resistance against differential cryptanalysis. Despite more than 25 years of research, only a limited number of APN functions are known. In this paper, we show that a recent construction by Taniguchi provides at least $\frac{\varphi(m)}{2}\left\lceil \frac{2^m+1}{3m} \right\rceil$ inequivalent APN functions on the finite field with ${2^{2m}}$ elements, where $\varphi$ denotes Euler's totient function. This is a great improvement of previous results: for even $m$, the best known lower bound has been $\frac{\varphi(m)}{2}\left(\lfloor \frac{m}{4}\rfloor +1\right)$, for odd $m$, there has been no such lower bound at all. Moreover, we determine the automorphism group of Taniguchi's APN functions.
Graphs associated with orthogonal collections of k-planes over finite fields
Published
• View Publication
• BIB
We study graphs coming from quadratic spaces over finite fields via orthogonality which generalize a recent result given by Bishnoi, Ihringer, and Pepe (2019). More precisely, we study the graph $Γ^{\square}(n,k,q)$ as follows: the vertex set is the set of $k$-dimensional quadratic subspaces of a fixed Lorentzian quadratic space $(\mathbb{F}_{q}^{n},x_{1}^{2}+\cdots+x_{n-1}^{2}+λx_{n}^{2})$ which are isometrically isomorphic to $x_{1}^{2}+\cdots+x_{k}^{2}$. Here $λ$ is a nonsquare in $\mathbb{F}_{q}$, and two vertices $x,y$ are adjacent if $x \subseteq y^{\perp}$.
On the c-differential uniformity of certain maps over finite fields
Published in Designs, Codes and Cryptography, Volume 89, pp. 221-239, 2021
• View Publication
• BIB
We give some classes of power maps with low $c$-differential uniformity over finite fields of odd characteristic, {for $c=-1$}. Moreover, we give a necessary and sufficient condition for a linearized polynomial to be a perfect $c$-nonlinear function and investigate conditions when perturbations of perfect $c$-nonlinear (or not) function via an arbitrary Boolean or $p$-ary function is perfect $c$-nonlinear. In the process, we obtain a class of polynomials that are perfect $c$-nonlinear for all $c\neq 1$, in every characteristic. The affine, extended affine and CCZ-equivalence is also looked at, as it relates to $c$-differential uniformity.
On the intersection problem for linear sets in the projective line
Published
• View Publication
• BIB
The aim of this paper is to investigate the intersection problem between two linear sets in the projective line over a finite field. In particular, we analyze the intersection between two clubs with eventually different maximum fields of linearity. Also, we analyze the intersection between the linear set defined by the polynomial $αx^{q^k}+βx$ and other linear sets having the same rank; this family contains the linear set of pseudoregulus type defined by $x^q$. The strategy relies on the study of certain algebraic curves whose rational points describe the intersection of the two linear sets. Among other geometric and algebraic tools, function field theory and the Hasse-Weil bound play a crucial role. As an application, we give asymptotic results on semifields of BEL-rank two.
Factorization statistics and bug-eyed configuration spaces
Published in Geom. Topol. 25 (2021) 3691-3723
• View Publication
• BIB
A recent theorem of Hyde proves that the factorizations statistics of a random polynomial over a finite field are governed by the action of the symmetric group on the configuration space of $n$ distinct ordered points in $\mathbb R^3$. Hyde asked whether this result could be explained geometrically. We give a geometric proof of Hyde's theorem as an instance of the Grothendieck--Lefschetz trace formula applied to an interesting, highly nonseparated algebraic space. An advantage of our method is that it generalizes uniformly to an arbitrary Weyl group. In the process we study certain non-Hausdorff models for complements of hyperplane arrangements, first introduced by Proudfoot.
On the Number of Factorizations of Polynomials over Finite Fields
Published
• View Publication
• BIB
Motivated by coding applications,two enumeration problems are considered: the number of distinct divisors of a degree-m polynomial over F = GF(q), and the number of ways a polynomial can be written as a product of two polynomials of degree at most n over F. For the two problems, bounds are obtained on the maximum number of factorizations, and a characterization is presented for polynomials attaining that maximum. Finally, expressions are presented for the average and the variance of the number of factorizations, for any given m (respectively, n).
Color isomorphic even cycles and a related Ramsey problem
Published
• View Publication
• BIB
In this paper, we first study a new extremal problem recently posed by Conlon and Tyomkyn~(arXiv: 2002.00921). Given a graph $H$ and an integer $k\geqslant 2$, let $f_{k}(n,H)$ be the smallest number of colors $c$ such that there exists a proper edge-coloring of the complete graph $K_{n}$ with $c$ colors containing no $k$ vertex-disjoint color-isomorphic copies of $H$. Using algebraic properties of polynomials over finite fields, we give an explicit proper edge-coloring of $K_{n}$ and show that $f_{k}(n, C_{4})=Θ(n)$ when $k\geqslant 3$ and $n\rightarrow\infty$. The methods we used in the edge-coloring may be of some independent interest. We also consider a related generalized Ramsey problem. For given graphs $G$ and $H,$ let $r(G,H,q)$ be the minimum number of edge-colors (not necessarily proper) of $G$, such that the edges of every copy of $H\subseteq G$ together receive at least $q$ distinct colors. Establishing the relation to the Turán number of specified bipartite graphs, we obtain some general lower bounds for $r(K_{n,n},K_{s,t},q)$ with a broad range of $q$.
The Spherical Kakeya Problem in Finite Fields
Published
• View Publication
• BIB
We study subsets of the $n$-dimensional vector space over the finite field $\mathbb{F}_q$, for odd $q$, which contain either a sphere for each radius or a sphere for each first coordinate of the center. We call such sets radii spherical Kakeya sets and center spherical Kakeya sets, respectively.
For $n\ge 4$ we prove a general lower bound on the size of any set containing $q-1$ different spheres which applies to both kinds of spherical Kakeya sets. We provide constructions which meet the main terms of this lower bound.
We also give a construction showing that we cannot get a lower bound of order of magnitude~$q^n$ if we take lower dimensional objects such as circles in $\mathbb{F}_q^3$ instead of spheres, showing that there are significant differences to the line Kakeya problem.
Finally, we study the case of dimension $n=1$ which is different and equivalent to the study of sum and difference sets that cover $\mathbb{F}_q$.
On the clique number of Paley graphs of prime power order
Published in Finite Fields Appl. 77 (2022), 101930, 16 pp
• View Publication
• BIB
Finding a reasonably good upper bound for the clique number of Paley graphs is an open problem in additive combinatorics. A recent breakthrough by Hanson and Petridis using Stepanov's method gives an improved upper bound on Paley graphs defined on a prime field $\mathbb{F}_p$, where $p \equiv 1 \pmod 4$. We extend their idea to the finite field $\mathbb{F}_q$, where $q=p^{2s+1}$ for a prime $p\equiv 1 \pmod 4$ and a non-negative integer $s$. We show the clique number of the Paley graph over $\mathbb{F}_{p^{2s+1}}$ is at most $\min \bigg(p^s \bigg\lceil \sqrt{\frac{p}{2}} \bigg\rceil, \sqrt{\frac{q}{2}}+\frac{p^s+1}{4}+\frac{\sqrt{2p}}{32}p^{s-1}\bigg)$.
Counting Plane Cubic Curves over Finite Fields with a Prescribed Number of Rational Intersection Points
Published in Eur. J. Math. 7 (2021), 1137--1181
• View Publication
• BIB
For each integer $k \in [0,9]$, we count the number of plane cubic curves defined over a finite field $\mathbb{F}_q$ that do not share a common component and intersect in exactly $k\ \mathbb{F}_q$-rational points. We set this up as a problem about a weight enumerator of a certain projective Reed-Muller code. The main inputs to the proof include counting pairs of cubic curves that do share a common component, counting configurations of points that fail to impose independent conditions on cubics, and a variation of the MacWilliams theorem from coding theory.
Obstructions for bounded branch-depth in matroids
Published in Advances in Combinatorics, 2021:4, 25pp
• View Publication
• BIB
DeVos, Kwon, and Oum introduced the concept of branch-depth of matroids as a natural analogue of tree-depth of graphs. They conjectured that a matroid of sufficiently large branch-depth contains the uniform matroid $U_{n,2n}$ or the cycle matroid of a large fan graph as a minor. We prove that matroids with sufficiently large branch-depth either contain the cycle matroid of a large fan graph as a minor or have large branch-width. As a corollary, we prove their conjecture for matroids representable over a fixed finite field and quasi-graphic matroids, where the uniform matroid is not an option.