finite field
1566 papers tagged with this keyword
On the coset graph construction of distance-regular graphs
Published in Discrete Math. 345(11) 2022, 113037(1-6)
• View Publication
• BIB
We show that no more new distance-regular graphs in the tables of the book of (Brouwer, Cohen, Neumaier, 1989) can be produced by using the coset graph of additive completely regular codes over finite fields.
On exceptional sets of radial projections
We prove two new exceptional set estimates for radial projections in the plane. If $K \subset \mathbb{R}^{2}$ is a Borel set with $\dim_{\mathrm{H}} K > 1$, then $$\dim_{\mathrm{H}} \{x \in \mathbb{R}^{2} \, \setminus \, K : \dim_{\mathrm{H}} π_{x}(K) \leq σ\} \leq \max\{1 + σ- \dim_{\mathrm{H}} K,0\}, \qquad σ\in [0,1).$$ If $K \subset \mathbb{R}^{2}$ is a Borel set with $\dim_{\mathrm{H}} K \leq 1$, then $$\dim_{\mathrm{H}} \{x \in \mathbb{R}^{2} \, \setminus \, K : \dim_{\mathrm{H}} π_{x}(K) < \dim_{\mathrm{H}} K\} \leq 1.$$ The finite field counterparts of both results above were recently proven by Lund, Thang, and Huong Thu. Our results resolve the planar cases of conjectures of Lund-Thang-Huong Thu, and Liu.
Splitting subspaces and a finite field interpretation of the Touchard-Riordan Formula
Published in European Journal of Combinatorics, 110 (2023) 103705
• View Publication
• BIB
We enumerate the number of $T$-splitting subspaces of dimension $m$ for an arbitrary operator $T$ on a $2m$-dimensional vector space over a finite field. When $T$ is regular split semisimple, comparison with an alternate method of enumeration leads to a new proof of the Touchard-Riordan formula for enumerating chord diagrams by their number of crossings.
Orthogonal inner product graphs of odd characteristic and their automorphisms
Published
• View Publication
• BIB
Let $\mathbb{F}_q$ be a finite field of odd characteristic and $2ν+δ\geq2$ an integer number with $δ=0,1$ or $2$. The orthogonal inner product graph $Oi\big(2ν+δ,q\big)$ over $\mathbb{F}_q$ is defined and the automorphism groups of $Oi\big(2ν+δ,q\big)$ are determined. We show that $Oi\big(2ν+δ,q\big)$ is a disconnected graph if $2ν+δ=2$; otherwise it is not. Moreover, we have two necessary and sufficient conditions for two vertices of $Oi\big(2ν+δ,q\big)$ and two edges of $Oi\big(2ν+δ,q\big)$ respectively are in the same orbit under the action of the automorphism group of $Oi\big(2ν+δ,q\big).$
Symplectic inner product graphs and their automorphisms
A new graph, called the symplectic inner product graph $Spi\big(2ν,q\big)$, over a finite field $\mathbb{F}_q$ is introduced. We show that $Spi\big(2ν,q\big)$ is connected with diameter $4$ if and only if $ν\geq2$ and the automorphism group of $Spi\big(2ν,q\big)$ is determined. Two necessary and sufficient conditions for two vertices of $Spi\big(2ν,q\big)$ and two edges of $Spi\big(2ν,q\big)$ respectively are in the same orbit under the action of the automorphism group of $Spi\big(2ν,q\big)$ are obtained.
Radial projection theorems in finite spaces
Published
• View Publication
• BIB
Motivated by recent results on radial projections and applications to the celebrated Falconer distance problem, we study radial projections in the setting of finite fields. More precisely, we extend results due to Mattila and Orponen (2016), Orponen (2018), and Liu (2020) to finite spaces. In some cases, our results are stronger than the corresponding results in the continuous setting. In particular, we solve the finite field analog of a conjecture due to Liu and Orponen on the exceptional set of radial projections of a set of dimension between $d-2$ and $d-1$.
Number of complete subgraphs of Peisert graphs and finite field hypergeometric functions
Published
• View Publication
• BIB
For a prime $p\equiv 3\pmod{4}$ and a positive integer $t$, let $q=p^{2t}$. Let $g$ be a primitive element of the finite field $\mathbb{F}_q$. The Peisert graph $P^\ast(q)$ is defined as the graph with vertex set $\mathbb{F}_q$ where $ab$ is an edge if and only if $a-b\in\langle g^4\rangle \cup g\langle g^4\rangle$. We provide a formula, in terms of finite field hypergeometric functions, for the number of complete subgraphs of order four contained in $P^\ast(q)$. We also give a new proof for the number of complete subgraphs of order three contained in $P^\ast(q)$ by evaluating certain character sums. The computations for the number of complete subgraphs of order four are quite tedious, so we further give an asymptotic result for the number of complete subgraphs of any order $m$ in Peisert graphs.
On the Chromatic Number of some generalized Kneser Graphs
We determine the chromatic number of the Kneser graph qΓ_{7,{3,4}} of flags of vectorial type {3, 4} of a rank 7 vector space over the finite field GF(q) for large q and describe the colorings that attain the bound. This result relies heavily, not only on the independence number, but also on the structure of all large independent sets. Furthermore, our proof is more general in the following sense: it provides the chromatic number of the Kneser graphs qΓ_{2d+1,{d,d+1}} of flags of vectorial type {d, d+1} of a rank 2d+1 vector space over GF(q) for large q as long as the large independent sets of the graphs are only the ones that are known.
Improved error bounds for the distance distribution of Reed-Solomon codes
Published
• View Publication
• BIB
We use the generating function approach to derive simple expressions for the factorial moments of the distance distribution over Reed-Solomon codes. We obtain better upper bounds for the error term of a counting formula given by Li and Wan, which gives nontrivial estimates on the number of polynomials over finite fields with prescribed leading coefficients and a given number of linear factors. This improvement leads to new results on the classification of deep holes of Reed Solomon codes.
QC-LDPC Codes from Difference Matrices and Difference Covering Arrays
Published
• View Publication
• BIB
We give a framework for generalizing LDPC code constructions that use Transversal Designs or related structures such as mutually orthogonal Latin squares. Our construction offers a broader range of code lengths and codes rates. Similar earlier constructions rely on the existence of finite fields of order a power of a prime. In contrast the LDPC codes constructed here are based on difference matrices and difference covering arrays, structures available for any order $a$. They satisfy the RC constraint and have, for $a$ odd, length $a^2$ and rate $1-\frac{4a-3}{a^2}$, and for $a$ even, length $a^2-a$ and rate at least $1-\frac{4a-6}{a^2-a}$. When $3$ does not divide $a$, these LDPC codes have stopping distance at least $8$. When $a$ is odd and both $3$ and $5$ do not divide $a$, our construction delivers an infinite family of QC-LDPC codes with minimum distance at least $10$. The simplicity of the construction allows us to theoretically verify these properties and analytically determine lower bounds for the minimum distance and stopping distance of the code. The BER and FER performance of our codes over AWGN (via simulation) is at the least equivalent to codes constructed previously, while in some cases significantly outperforming them.
Local permutation polynomials and the action of e-Klenian groups
Published
• View Publication
• BIB
Permutation polynomials of finite fields have many applications in Coding Theory, Cryptography and Combinatorics. In the first part of this paper we present a new family of local permutation polynomials based on a class of symmetric subgroups without fixed points, the so called e-Klenian groups. In the second part we use the fact that bivariate local permutation polynomials define Latin Squares, to discuss several constructions of Mutually Orthogonal Latin Squares (MOLS) and, in particular, we provide a new family of MOLS on size a prime power.
On the $ P_3 $-hull numbers of $ q $-Kneser graphs and Grassmann graphs
Published
• View Publication
• BIB
Let $S$ be an $n$-dimensional vector space over the finite field $\mathbb{F}_q$, where $q$ is necessarily a prime power. Denote $K_q(n,k)$ (resp. $J_q(n,k)$) to be the \emph{$q$-Kneser graph} (resp. \emph{Grassmann graph}) for $k\geq 1$ whose vertices are the $k$-dimensional subspaces of $S$ and two vertices $v_1$ and $v_2$ are adjacent if $\dim(v_1\cap v_2)=0$ (resp. $\dim(v_1\cap v_2)=k-1$). We consider the infection spreading in the $ q $-Kneser graphs and the Grassmann graphs: a vertex gets infected if it has at least two infected neighbors. In this paper, we compute the $ P_3 $-hull numbers of $K_q(n,k)$ and $J_q(n,k)$ respectively, which is the minimum size of a vertex set that eventually infects the whole graph.
Weyl Tensors, Strongly Regular Graphs, Multiplicative Characters, and a Quadratic Matrix Equation
Published
• View Publication
• BIB
We study solutions of a quadratic matrix equation arising in Riemannian geometry. Let $S$ be a real symmetric $n\times n$-matrix with zeros on the diagonal and let $θ$ be a real number. We construct nonzero solutions $(S,θ)$ of the set of quadratic equations \[\sum_kS_{i,k}=0\quad\text{ and }\quad\sum_{k}S_{i,k}S_{k,j}+S_{i,j}^2=θS_{i,j}\text { for }i<j.\] Our solutions relate the equations to strongly regular graphs, to group rings, and to multiplicative characters of finite fields.
Linear Hashing with $\ell_\infty$ guarantees and two-sided Kakeya bounds
Published in TheoretiCS, Volume 3 (April 3, 2024) theoretics:11529
• View Publication
• BIB
We show that a randomly chosen linear map over a finite field gives a good hash function in the $\ell_\infty$ sense. More concretely, consider a set $S \subset \mathbb{F}_q^n$ and a randomly chosen linear map $L : \mathbb{F}_q^n \to \mathbb{F}_q^t$ with $q^t$ taken to be sufficiently smaller than $ |S|$. Let $U_S$ denote a random variable distributed uniformly on $S$. Our main theorem shows that, with high probability over the choice of $L$, the random variable $L(U_S)$ is close to uniform in the $\ell_\infty$ norm. In other words, {\em every} element in the range $\mathbb{F}_q^t$ has about the same number of elements in $S$ mapped to it. This complements the widely-used Leftover Hash Lemma (LHL) which proves the analog statement under the statistical, or $\ell_1$, distance (for a richer class of functions) as well as prior work on the expected largest 'bucket size' in linear hash functions [ADMPT99]. By known bounds from the load balancing literature [RS98], our results are tight and show that linear functions hash as well as trully random function up to a constant factor in the entropy loss. Our proof leverages a connection between linear hashing and the finite field Kakeya problem and extends some of the tools developed in this area, in particular the polynomial method.
An Algebraic Hypergraph Regularity Lemma
Szemerédi's regularity lemma is a powerful tool in graph theory. It states that for every large enough graph, there exists a partition of the edge set with bounded size such that most induced subgraphs are quasirandom. When the graph is a definable set $φ(x, y)$ in a finite field $F_q$, Tao's algebraic graph regularity lemma shows that there is a partition of the graph $φ(x, y)$ such that all induced subgraphs are quasirandom and the error bound on quasirandomness is $O(q^{-1/4})$. In this work we prove an algebraic hypergraph regularity lemma for definable sets in finite fields, thus answering a question of Tao. We also extend the algebraic regularity lemma to definable sets in the difference fields $(F_q^{alg}, x^q)$ and we offer a new point of view on the geometric content of the algebraic regularity lemma.
Rota's basis conjecture holds for random bases of vector spaces
Published
• View Publication
• BIB
In 1989, Rota conjectured that, given $n$ bases $B_1,\dots,B_n$ of the vector space $\mathbb{F}^n$ over some field $\mathbb{F}$, one can always decompose the multi-set $B_1\cup \dots \cup B_n$ into transversal bases. This conjecture remains wide open despite of a lot of attention. In this paper, we consider the setting of random bases $B_1,\dots,B_n$. More specifically, our first result shows that Rota's basis conjecture holds with probability $1-o(1)$ as $n\to \infty$ if the bases $B_1,\dots,B_n$ are chosen independently uniformly at random among all bases of $\mathbb{F}_q^n$ for some finite field $\mathbb{F}_q$ (the analogous result is trivially true for an infinite field $\mathbb{F}$). In other words, the conjecture is true for almost all choices of bases $B_1,\dots,B_n\subseteq \mathbb{F}_q^n$. Our second, more general, result concerns random bases $B_1,\dots,B_n\subseteq S^n$ for some given finite subset $S\subseteq \mathbb{F}$ (in other words, bases $B_1,\dots,B_n$ where all vectors have entries in $S$). We show that when choosing bases $B_1,\dots,B_n\subseteq S^n$ independently uniformly at random among all bases that are subsets of $S^n$, then again Rota's basis conjecture holds with probability $1-o(1)$ as $n\to \infty$.
On eigenfunctions and maximal cliques of generalised Paley graphs of square order
Published in Finite Fields Appl. 87 (2023), Paper No. 102150, 36 pp
• View Publication
• BIB
Let GP$(q^2,m)$ be the $m$-Paley graph defined on the finite field with order $q^2$. We study eigenfunctions and maximal cliques in generalised Paley graphs GP$(q^2,m)$, where $m \mid (q+1)$. In particular, we explicitly construct maximal cliques of size $\frac{q+1}{m}$ or $\frac{q+1}{m}+1$ in GP$(q^2,m)$, and show the weight-distribution bound on the cardinality of the support of an eigenfunction is tight for the smallest eigenvalue $-\frac{q+1}{m}$ of GP$(q^2,m)$. These new results extend the work of Baker et. al and Goryainov et al. on Paley graphs of square order. We also study the stability of the Erdős-Ko-Rado theorem for GP$(q^2,m)$ (first proved by Sziklai).
Asymptotic distribution of the number of zeros in random polynomials in a given equivalence class over a finite field
Published
• View Publication
• BIB
Hayes equivalence is defined on monic polynomials over a finite field $\fq$ in terms of the prescribed leading coefficients and the residue classes modulo a given monic polynomial $Q$. We study the distribution of the number of zeros in a random polynomial over finite fields in a given Hayes equivalence class. It is well known that the number of distinct zeros of a random polynomial over $\fq$ is asymptotically Poisson with mean 1. We show that this is also true for random polynomials in any given Hayes equivalence class. Asymptotic formulas are also given for the number of such polynomials when the degree of such polynomials is proportional to $q$ and the degree of $Q$ and the number of prescribed leading coefficients are bounded by $\sqrt{q}$. When $Q=1$, the problem is equivalent to the study of the distance distribution in Reed-Solomon codes. Our asymptotic formulas extend some earlier results and imply that all words for a large family of Reed-Solomon codes are ordinary, which further supports the well-known {\em Deep-Hole} Conjecture.
Uniform estimates for smooth polynomials over finite fields
We establish new estimates for the number of $m$-smooth polynomials of degree $n$ over a finite field $\mathbb{F}_q$, where the main term involves the number of $m$-smooth permutations on $n$ elements.
Our estimates imply that the probability that a random polynomial of degree $n$ is $m$-smooth is asymptotic to the probability that a random permutation on $n$ elements is $m$-smooth, uniformly for $m\ge (2+\varepsilon)\log_q n$ as $q^n \to \infty$. This should be viewed as an unconditional analogue of works of Hildebrand and of Saias in the integer setting, which assume the Riemann Hypothesis. Moreover, we show that the range $m \ge (2+\varepsilon)\log_q n$ is sharp; this should be viewed as a resolution of a (polynomial analogue of a) conjecture of Hildebrand.
As an application of our estimates, we determine the rate of decay in the asymptotic formula for the expected degree of the largest prime factor of a random polynomial.
A new construction of strongly regular graphs with parameters of the complement symplectic graph
Published
• View Publication
• BIB
The symplectic graph Sp(2d, q) is the collinearity graph of the symplectic space of dimension 2d over a finite field of order q. A k-regular graph on v vertices is a divisible design graph with parameters (v, k, lambda_1, lambda_2 ,m,n) if its vertex set can be partitioned into m classes of size n, such that any two different vertices from the same class have lambda_1 common neighbours, and any two vertices from different classes have lambda_2 common neighbours whenever it is not complete or edgeless. In this paper we propose a new construction of strongly regular graphs with the parameters of the complement of the symplectic graph using divisible design graphs.