finite field
1566 papers tagged with this keyword
On the additive bases problem in finite fields
Published
• View Publication
• BIB
We prove that if $G$ is an Abelian group and $A_1,\ldots,A_k \subseteq G$ satisfy $m A_i=G$ (the $m$-fold sumset), then $A_1+\ldots+A_k=G$ provided that $k \ge c_m \log n$. This generalizes a result of Alon, Linial, and Meshulam [Additive bases of vector spaces over prime fields. J. Combin. Theory Ser. A, 57(2):203--210, 1991] regarding the so called additive bases.
A Switching for all Strongly Regular Collinearity Graphs From Polar Spaces
Published
• View Publication
• BIB
We describe a general construction of strongly regular graphs from the collinearity graph of a finite classical polar spaces of rank at least $3$ over a finite field of order $q$. We show that these graphs are non-isomorphic to the collinearity graphs and have the same parameters. To our knowledge for most of these parameters these graphs are new as the collinearity graphs were the only known examples.
Simplices over finite fields
Published
• View Publication
• BIB
We prove that, provided $d > k$, every sufficiently large subset of $\mathbf{F}_q^d$ contains an isometric copy of every $k$-simplex that avoids spanning a nontrivial self-orthogonal subspace. We obtain comparable results for simplices exhibiting self-orthogonal behavior.
On kernels and nuclei of rank metric codes
Published
• View Publication
• BIB
For each rank metric code $\mathcal{C}\subseteq \mathbb{K}^{m\times n}$, we associate a translation structure, the kernel of which is shown to be invariant with respect to the equivalence on rank metric codes. When $\mathcal{C}$ is $\mathbb{K}$-linear, we also propose and investigate other two invariants called its middle nucleus and right nucleus. When $\mathbb{K}$ is a finite field $\mathbb{F}_q$ and $\mathcal{C}$ is a maximum rank distance code with minimum distance $d<\min\{m,n\}$ or $\gcd(m,n)=1$, the kernel of the associated translation structure is proved to be $\mathbb{F}_q$. Furthermore, we also show that the middle nucleus of a linear maximum rank distance code over $\mathbb{F}_q$ must be a finite field; its right nucleus also has to be a finite field under the condition $\max\{d,m-d+2\} \geqslant \left\lfloor \frac{n}{2} \right\rfloor +1$. Let $\mathcal{D}$ be the DHO-set associated with a bilinear dimensional dual hyperoval over $\mathbb{F}_2$. The set $\mathcal{D}$ gives rise to a linear rank metric code, and we show that its kernel and right nucleus are is isomorphic to $\mathbb{F}_2$. Also, its middle nucleus must be a finite field containing $\mathbb{F}_q$. Moreover, we also consider the kernel and the nuclei of $\mathcal{D}^k$ where $k$ is a Knuth operation.
Topological realizations of line arrangements
Published
• View Publication
• BIB
A venerable problem in combinatorics and geometry asks whether a given incidence relation may be realized by a configuration of points and lines. The classic version of this would ask for algebraic lines over some field or possibly real pseudolines: embedded circles (isotopic to $RP^1$) in the real projective plane. In this paper we investigate whether a configuration is realized by a collection of $2$-spheres embedded, in the symplectic, smooth, or topological (locally flat) categories, in the complex projective plane. We find obstructions to realizability in the topological category, which apply to configurations specified by all projective planes over a finite field. Such obstructions are used to show that certain contact graph manifolds are not (strongly) symplectically fillable. We also show that a configuration of real pseudolines can be complexified to give a configuration of smooth, indeed symplectically embedded, $2$-spheres.
The structure of the minimum size supertail of a subspace partition
Let $V=V(n,q)$ denote the vector space of dimension $n$ over the finite field with $q$ elements. A subspace partition ${\mathcal P}$ of $V$ is a collection of nontrivial subspaces of $V$ such that each nonzero vector of $V$ is in exactly one subspace of ${\mathcal P}$. For any integer $d$, the $d$-supertail of ${\mathcal P}$ is the set of subspaces in ${\mathcal P}$ of dimension less than $d$, and it is denoted by $ST$. Let $σ_q(n,t)$ denote the minimum number of subspaces in any subspace partition of $V$ in which the largest subspace has dimension $t$. It was shown by Heden et al. that $|ST|\geq σ_q(d,t)$, where $t$ is the largest dimension of a subspace in $ST$. In this paper, we show that if $|ST|=σ_q(d,t)$, then the union of all the subspaces in $ST$ constitutes a subspace under certain conditions.
Complete permutation polynomials from exceptional polynomials
Published
• View Publication
• BIB
We classify complete permutation polynomials of type $aX^{\frac{q^n-1}{q-1}+1}$ over the finite field with $q^n$ elements, for $n+1$ a prime and $n^4 < q$. For the case $n+1$ a power of the characteristic we study some known families. We also classify indecomposable exceptional polynomials of degree $8$ and $9$.
A Simpler Self-reduction Algorithm for Matroid Path-width
Path-width of matroids naturally generalizes the better known parameter of path-width for graphs, and is NP-hard by a reduction from the graph case. While the term matroid path-width was formally introduced by Geelen-Gerards-Whittle [JCTB 2006] in pure matroid theory, it was soon recognized by Kashyap [SIDMA 2008] that it is the same concept as long-studied so called trellis complexity in coding theory, later named trellis-width, and hence it is an interesting notion also from the algorithmic perspective. It follows from a result of Hlineny [JCTB 2006] that the decision problem, whether a given matroid over a finite field has path-width at most t, is fixed-parameter tractable (FPT) in t, but this result does not give any clue about constructing a path-decomposition. The first constructive and rather complicated FPT algorithm for path-width of matroids over a finite field was given by Jeong-Kim-Oum [SODA 2016]. Here we propose a simpler "self-reduction" FPT algorithm for a path-decomposition. Precisely, we design an efficient routine that constructs an optimal path-decomposition of a matroid by calling any subroutine for testing whether the path-width of a matroid is at most t (such as the aforementioned decision algorithm for matroid path-width).
LDPC Codes Based on the Space of Symmetric Matrices over Finite Fields
Published
• View Publication
• BIB
In this paper, we present a new method for explicitly constructing regular low-density parity-check (LDPC) codes based on $\mathbb{S}_{n}(\mathbb{F}_{q})$, the space of $n\times n$ symmetric matrices over $\mathbb{F}_{q}$. Using this method, we obtain two classes of binary LDPC codes, $\cal{C}(n,q)$ and $\cal{C}^{T}(n,q)$, both of which have grith $8$. Then both the minimum distance and the stopping distance of each class are investigated. It is shown that the minimum distance and the stopping distance of $\cal{C}^{T}(n,q)$ are both $2q$. As for $\cal{C}(n,q)$, we determine the minimum distance and the stopping distance for some special cases and obtain the lower bounds for other cases.
Bounds on trilinear and quadrilinear exponential sums
Published
• View Publication
• BIB
We use an estimate of Aksoy Yazici, Murphy, Rudnev and Shkredov (2016) on the number of solutions of certain equations involving products and differences of sets in prime finite fields to give an explicit upper bound on trilinear exponential sums which improves the previous bound of Bourgain and Garaev (2009). We also obtain explicit bounds for quadrilinear exponential sums.
Complete mappings and Carlitz rank
The well-known Chowla and Zassenhaus conjecture, proven by Cohen in 1990, states that for any $d\ge 2$ and any prime $p>(d^2-3d+4)^2$ there is no complete mapping polynomial in $\mathbb{F}_{p}[x]$ of degree $d$.
For arbitrary finite fields $\mathbb{F}_{q}$, we give a similar result in terms of the Carlitz rank of a permutation polynomial rather than its degree. We prove that if $n<\lfloor q/2\rfloor$, then there is no complete mapping in $\mathbb{F}_{q}[x]$ of Carlitz rank $n$ of small linearity. We also determine how far permutation polynomials $f$ of Carlitz rank $n<\lfloor q/2\rfloor$ are from being complete, by studying value sets of $f+x.$ We provide examples of complete mappings if $n=\lfloor q/2\rfloor$, which shows that the above bound cannot be improved in general.
Cohomology of cluster varieties. I. Locally acyclic case
Published in Alg. Number Th. 16 (2022) 179-230
• View Publication
• BIB
We initiate a systematic study of the cohomology of cluster varieties. We introduce the Louise property for cluster algebras that holds for all acyclic cluster algebras, and for most cluster algebras arising from marked surfaces. For cluster varieties satisfying the Louise property and of full rank, we show that the cohomology satisfies the curious Lefschetz property of Hausel and Rodriguez-Villegas, and that the mixed Hodge structure is split over the rationals. We give a complete description of the highest weight part of the mixed Hodge structure of these cluster varieties, and develop the notion of a standard differential form on a cluster variety. We show that the point counts of these cluster varieties over finite fields can be expressed in terms of Dirichlet characters. Under an additional integrality hypothesis, the point counts are shown to be polynomials in the order of the finite field.
Convergence criteria for FI$_\mathcal{W}$-algebras and polynomial statistics on maximal tori in type B/C
Published in Advances in Mathematics 310 (2017): 121-158
• Search Publication
A result of Lehrer describes a beautiful relationship between topological and combinatorial data on certain families of varieties with actions of finite reflection groups. His formula relates the cohomology of complex varieties to point counts on associated varieties over finite fields. Church, Ellenberg, and Farb use their representation stability results on the cohomology of flag manifolds, together with classical results on the cohomology rings, to prove asymptotic stability for "polynomial" statistics on associated varieties over finite fields. In this paper we investigate the underlying algebraic structure of these families' cohomology rings that makes the formulas convergent. We prove that asymptotic stability holds in general for subquotients of FI$_\mathcal{W}$-algebras finitely generated in degree at most one, a result that is in a sense sharp. As a consequence, we obtain convergence results for polynomial statistics on the set of maximal tori in $\mathrm{Sp}_{2n}(\overline{F_q})$ and $\mathrm{SO}_{2n+1}(\overline{F_q})$ that are invariant under the Frobenius morphism. Our results also give a new proof of the stability theorem for invariant maximal tori in $\mathrm{GL}_n(\overline{F_q})$ due to Church-Ellenberg-Farb.
Primitive transformation shift registers of order two over fields of characteristic two
We consider the problem of enumeration of primitive TSRs of order n over any finite field. Here we prove the existence of primitive TSRs of order two over binary field extensions. Moreover we give a general search algorithm for primitive TSRs of odd order over any finite field and in particular of order two over fields of characteristic 2. We also give certain bounds on the number of primitive TSRs in special cases and propose a conjecture regarding the existence of certain special type of primitive polynomials, which answers the existence of primitive TSRs of odd order n over Fqm and primitive TSRs of order greater than 3 over binary field extensions..
Supercharacters for Normal Supercharacter Theory
Published
• View Publication
• BIB
In order to find a tractable theory to substitute for the wild character theory of the group of $n\times n$ unipotent upper-triangular matrices over a finite field $\mathbb{F}_q$, André and Yan introduced the notion of supercharacter theory. In this paper, we construct a supercharacter theory from an arbitrary set $S$ of normal subgroups of $G$. We call such supercharacter theory the normal supercharacter theory generated by $S$. It is shown that normal supercharacter theories are integral, and a recursive formula for supercharacters of the normal supercharacter theory is provided. The normal supercharacter theory provides many substitutions for wild character theories. Also, we indicate that the superclasses of the normal supercharacter theory generated by all normal subgroups of $G$ are given by certain values on the primitive central idempotents. We study the connection between the finest normal supercharacter theory and faithful irreducible characters. Moreover, an algorithm is presented to construct the supercharacter table of the finest normal supercharacter theory from the character table. Finally, We justify that normal supercharacter theories cannot be obtained by preceding supercharacter theory constructions.
Integral automorphisms of affine spaces over finite fields
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$.
The number of direct-sum decompositions of a finite vector space
Published
• View Publication
• BIB
The theory of q-analogs develops many combinatorial formulas for finite vector spaces over a finite field with q elements--all in analogy with formulas for finite sets (which are the special case of q=1). A direct-sum decomposition of a finite vector space is the vector space analogue of a set partition. This paper develops the formulas for the number of direct-sum decompositions that are the q-analogs of the formulas for: (1) the number of set partitions with a given number partition signature; (2) the number of set partitions of an n-element set with m blocks (the Stirling numbers of the second kind); and (3) for the total number of set partitions of an n-element set (the Bell numbers).
Some Ree and Suzuki curves are not Galois covered by the Hermitian curve
Published
• View Publication
• BIB
The Deligne-Lusztig curves associated to the algebraic groups of type $^2A_2$, $^2B_2$, and $^2G_2$ are classical examples of maximal curves over finite fields. The Hermitian curve $\mathcal H_q$ is maximal over $\mathbb F_{q^2}$, for any prime power $q$, the Suzuki curve $\mathcal S_q$ is maximal over $\mathbb F_{q^4}$, for $q=2^{2h+1}$, $h\geq1$ and the Ree curve $\mathcal R_q$ is maximal over $\mathbb F_{q^6}$, for $q=3^{2h+1}$, $h\geq0$. In this paper we show that $\mathcal S_8$ is not Galois covered by $\mathcal H_{64}$. We also give a proof for an unpublished result due to Rains and Zieve stating that $\mathcal R_3$ is not Galois covered by $\mathcal H_{27}$. Furthermore, we determine the spectrum of genera of Galois subcovers of $\mathcal H_{27}$, and we point out that some Galois subcovers of $\mathcal R_3$ are not Galois subcovers of $\mathcal H_{27}$.
The number of linear transformations defined on a subspace with given invariant factors
Published in Linear Algebra and its Applications, 532:146 - 161, 2017
• View Publication
• BIB
Given a finite-dimensional vector space $V$ over the finite field $\mathbb{F}_q$ and a subspace $W$ of $V$, we consider the problem of counting linear transformations $T:W\to V$ which have prescribed invariant factors. The case $W=V$ is a well-studied problem that is essentially equivalent to counting the number of square matrices over $\mathbb{F}_q$ in a conjugacy class and an explicit formula is known in this case. On the other hand, the case of general $W$ is also an interesting problem and there hasn't been substantive progress in this case for over two decades, barring a special case where all the invariant factors of $T$ are of degree zero. We extend this result to the case of arbitrary $W$ by giving an explicit counting formula. As an application of our results, we give new proofs of some recent enumerative results in linear control theory and derive an extension of the Gerstenhaber-Reiner formula for the number of square matrices over $\mathbb{F}_q$ with given characteristic polynomial.
Chow's theorem for linear codes
Published
• View Publication
• BIB
Let $Γ_{k}(V)$ be the Grassmann graph formed by $k$-dimensional subspaces of an $n$-dimensional vector space over the finite field ${\mathbb F}_{q}$ consisting of $q$ elements and $1<k<n-1$. Denote by $Γ(n,k)_q$ the restriction of the Grassmann graph to the set of all non-degenerate linear $[n,k]_q$ codes. We describe maximal cliques of the graph $Γ(n,k)_q$ and show that every automorphism of this graph is induced by a monomial semilinear automorphism of $V$.