finite field
1566 papers tagged with this keyword
Enumeration of Linear Transformation Shift Registers
Published in Designs, Codes and Cryptography, Vol. 75, No. 2 (2015), pp. 301-314
• View Publication
• BIB
We consider the problem of counting the number of linear transformation shift registers (TSRs) of a given order over a finite field. We derive explicit formulae for the number of irreducible TSRs of order two. An interesting connection between TSRs and self-reciprocal polynomials is outlined. We use this connection and our results on TSRs to deduce a theorem of Carlitz on the number of self-reciprocal irreducible monic polynomials of a given degree over a finite field.
Constant rank-distance sets of hermitian matrices and partial spreads in hermitian polar spaces
Published
• View Publication
• BIB
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.
The Splitting Subspace Conjecture
Published in Finite Fields Appl. 24 (2013) 15-28
• View Publication
• BIB
We answer a question by Niederreiter concerning the enumeration of a class of subspaces of finite dimensional vector spaces over finite fields by proving a conjecture by Ghorpade and Ram.
On the Odlyzko-Stanley enumeration problem and Waring's problem over finite fields
Published
• View Publication
• BIB
We obtain an asymptotic formula on the Odlyzko-Stanley enumeration problem.
Let $N_m^*(k,b)$ be the number of $k$-subsets
$S\subseteq F_p^*$ such that $\sum_{x\in S}x^m=b$.
If $m<p^{1-δ}$, then there is a constant
$ε=ε(δ)>0$ such that
| N_m^*(k,b)-p^{-1}{p-1 \choose k}|\leq {p^{1-ε}+mk-m \choose k}.
In addition, let $γ'(m,p)$ denote the distinct Waring's number $(\mod p)$, the smallest positive integer $k$ such that every integer is a sum of m-th powers of $k$-distinct elements $(\mod p)$. The above bound implies that there is a constant $ε(δ)>0$ such for any prime $p$ and any $m<p^{1-δ}$, if $ε^{-1}<(e-1)p^{δ-ε}$, then $$γ'(m,p)\leq ε^{-1}.$$
On the Conjecture on APN Functions
Published
• View Publication
• BIB
An almost perfect nonlinear (APN) function (necessarily a polynomial function) on a finite field $\mathbb{F}$ is called exceptional APN, if it is also APN on infinitely many extensions of $\mathbb{F}$. In this article we consider the most studied case of $\mathbb{F}=\mathbb{F}_{2^n}$.
A conjecture of Janwa-Wilson and McGuire-Janwa-Wilson (1993/1996), settled in 2011, was that the only exceptional monomial APN functions are the monomials $x^n$, where $n=2^i+1$ or $n={2^{2i}-2^i+1}$ (the Gold or the Kasami exponents respectively). A subsequent conjecture states that any exceptional APN function is one of the monomials just described. One of our result is that all functions of the form $f(x)=x^{2^k+1}+h(x)$ (for any odd degree $h(x)$, with a mild condition in few cases), are not exceptional APN, extending substantially several recent results towards the resolution of the stated conjecture.
Torsion Limits and Riemann-Roch Systems for Function Fields and Applications
Published
• View Publication
• BIB
The Ihara limit (or -constant) $A(q)$ has been a central problem of study in the asymptotic theory of global function fields (or equivalently, algebraic curves over finite fields). It addresses global function fields with many rational points and, so far, most applications of this theory do not require additional properties. Motivated by recent applications, we require global function fields with the additional property that their zero class divisor groups contain at most a small number of $d$-torsion points. We capture this by the torsion limit, a new asymptotic quantity for global function fields. It seems that it is even harder to determine values of this new quantity than the Ihara constant. Nevertheless, some non-trivial lower- and upper bounds are derived. Apart from this new asymptotic quantity and bounds on it, we also introduce Riemann-Roch systems of equations. It turns out that this type of equation system plays an important role in the study of several other problems in areas such as coding theory, arithmetic secret sharing and multiplication complexity of finite fields etc. Finally, we show how our new asymptotic quantity, our bounds on it and Riemann-Roch systems can be used to improve results in these areas.
Skew Hadamard difference sets from cyclotomic strongly regular graphs
Published
• View Publication
• BIB
We find new constructions of infinite families of skew Hadamard difference sets in elementary abelian groups under the assumption of the existence of cyclotomic strongly regular graphs. Our construction is based on choosing cyclotomic classes in finite fields.
Complete intersection vanishing ideals on degenerate tori over finite fields
Published in Arabian Journal of Mathematics, Springer, 2 (2013), no. 2, 189-197
• View Publication
• BIB
We study the complete intersection property and the algebraic invariants (index of regularity, degree) of vanishing ideals on degenerate tori over finite fields. We establish a correspondence between vanishing ideals and toric ideals associated to numerical semigroups. This correspondence is shown to preserve the complete intersection property, and allows us to use some available algorithms to determine whether a given vanishing ideal is a complete intersection. We give formulae for the degree, and for the index of regularity of a complete intersection in terms of the Frobenius number and the generators of a numerical semigroup.
Further improvements to incidence and Beck-type bounds over prime finite fields
We establish improved finite field Szemeredi-Trotter and Beck type theorems. First we show that if P and L are a set of points and lines respectively in the plane F_p^2, with |P|,|L| \leq N and N<p, then there are at most C_1 N^{3/2-1/662+o(1)} incidences between points in P and lines in L. Here C_1 is some absolute constant greater than 1. This improves on the previously best-known bound of C_1 N^{3/2-1/806+o(1)}.
Second we show that if P is a set of points in \mathbb{F}_p^2 with |P|<p then either at least C_2|P|^{1-o(1)} points in P are contained in a single line, or P determines least C_2 |P|^{1+1/109-o(1)} distinct lines. Here C_2 is an absolute constant less than 1. This improves on previous results in two ways. Quantitatively, the exponent of 1+1/109-o(1) is stronger than the previously best-known exponent of 1+1/267. And qualitatively, the result applies to all subsets of F_p^2 satisfying the cardinality condition; the previously best-known result applies only when P is of the form P=A*A for A \subseteq F_p.
On sumsets in ${\Bbb F}_2^n$
Published
• View Publication
• BIB
Let ${\Bbb F}_2$ be the finite field of two elements, ${\Bbb F}_2^n$ be the vector space of dimension $n$ over ${\Bbb F}_2$. For sets $A,\,B\subseteq{\Bbb F}_2^n$, their sumset is defined as the set of all pairwise sums $a+b$ with $a\in A,\,b\in B$.
Ben Green and Terence Tao proved that, let $K\geq 1$, if$A,\,B\subseteq{\Bbb F}_2^n$ and $|A+B|\leq K|A|^{1\over 2}|B|^{1\over 2}$, then there exists a subspace $H\subseteq{\Bbb F}_2^n$ with $$ |H|\gg\exp(-O(\sqrt{K}\log K))|A| $$ and $x,\,y\in{\Bbb F}_2^n$ such that $$ |A\cap(x+H)|^{1\over 2}|B\cap(y+H)|^{1\over 2}\geq{1\over 2K}|H|. $$
In this note, we shall use the method of Green and Tao with some modification to prove that if $$ |H|\gg\exp(-O(\sqrt{K}))|A|, $$ then the above conclusion still holds true.
Deterministic Polynomial Factoring and Association Schemes
Published in LMS J. Comput. Math. 17 (2014) 123-140
• View Publication
• BIB
The problem of finding a nontrivial factor of a polynomial f(x) over a finite field F_q has many known efficient, but randomized, algorithms. The deterministic complexity of this problem is a famous open question even assuming the generalized Riemann hypothesis (GRH). In this work we improve the state of the art by focusing on prime degree polynomials; let n be the degree. If (n-1) has a `large' r-smooth divisor s, then we find a nontrivial factor of f(x) in deterministic poly(n^r,log q) time; assuming GRH and that s > sqrt{n/(2^r)}. Thus, for r = O(1) our algorithm is polynomial time. Further, for r > loglog n there are infinitely many prime degrees n for which our algorithm is applicable and better than the best known; assuming GRH.
Our methods build on the algebraic-combinatorial framework of m-schemes initiated by Ivanyos, Karpinski and Saxena (ISSAC 2009). We show that the m-scheme on n points, implicitly appearing in our factoring algorithm, has an exceptional structure; leading us to the improved time complexity. Our structure theorem proves the existence of small intersection numbers in any association scheme that has many relations, and roughly equal valencies and indistinguishing numbers.
On the number of distinct values of a class of functions with finite domain
Published
• View Publication
• BIB
By relating the number of images of a function with finite domain to a certain parameter, we obtain both an upper and lower bound for the image set. Even though the arguments are elementary, the bounds are, in some sense, best possible. The upper bound is also connected to triangular numbers, and a slight improvement to this bound could be obtained by resolving a problem on them. In the final section, we consider implications of our bounds in various settings, including finite fields, coding theory and additive combinatorics. In particular, we obtain the first non-trivial upper bound for the image set of a planar function over a finite field; this bound is better than the bound implied by the Dembowski-Ostrom conjecture.
A note on the multiplicative structure of an additively shifted product set, AA+1
Published
• View Publication
• BIB
We consider the multiplicative structure of sets of the form AA+1, where where A is a large, finite set of real numbers. In particular, we show that the additively shifted product set, AA+1 must have a large part outside of any generalized geometric progression of comparable length. We prove an analogous result in finite fields as well.
Partitions and compositions over finite fields
Published
• View Publication
• BIB
In this paper we find exact formulas for the numbers of partitions and compositions of an element into $m$ parts over a finite field, i.e. we find the number of nonzero solutions of the equation $x_1+x_2+...+x_m=z$ over a finite field when the order does not matter and when it does, respectively. We also give an application of our results in the study of polynomials of prescribed ranges over finite fields.
Improved bounds on the set A(A+1)
Published
• View Publication
• BIB
For a subset A of a field F, write A(A + 1) for the set {a(b + 1):a,b\in A}. We establish new estimates on the size of A(A+1) in the case where F is either a finite field of prime order, or the real line.
In the finite field case we show that A(A+1) is of cardinality at least C|A|^{57/56-o(1)} for some absolute constant C, so long as |A| < p^{1/2}. In the real case we show that the cardinality is at least C|A|^{24/19-o(1)}. These improve on the previously best-known exponents of 106/105-o(1) and 5/4 respectively.
New bounds for Szemeredi's theorem, Ia: Progressions of length 4 in finite field geometries revisited
Let p > 4 be a prime. We show that the largest subset of F_p^n with no 4-term arithmetic progressions has cardinality << N(log N)^{-c}, where c = 2^{-22} and N := p^n. A result of this type was claimed in a previous paper by the authors and published in Proc. London Math. Society. Unfortunately the proof had a gap, and we issue an erratum for that paper here. Our new argument is different and significantly shorter. In fact we prove a stronger result, which can be viewed as a quantatitive version of some previous results of Bergelson-Host-Kra and the authors.
Asymptotic $L^4$ norm of polynomials derived from characters
Published
• View Publication
• BIB
Littlewood investigated polynomials with coefficients in $\{-1,1\}$ (Littlewood polynomials), to see how small their ratio of norms $||f||_4/||f||_2$ on the unit circle can become as $deg(f)\to\infty$. A small limit is equivalent to slow growth in the mean square autocorrelation of the associated binary sequences of coefficients of the polynomials. The autocorrelation problem for arrays and higher dimensional objects has also been studied; it is the natural generalization to multivariable polynomials. Here we find, for each $n > 1$, a family of $n$-variable Littlewood polynomials with lower asymptotic $||f||_4/||f||_2$ than any known hitherto. We discover these through a wide survey, infeasible with previous methods, of polynomials whose coefficients come from finite field characters. This is the first time that the lowest known asymptotic ratio of norms $||f||_4/||f||_2$ for multivariable polynomials $f(z_1,...,z_n)$ is strictly less than what could be obtained by using products $f_1(z_1)... f_n(z_n)$ of the best known univariate polynomials.
Areas of triangles and Beck's theorem in planes over finite fields
Published
• View Publication
• BIB
It is shown that any subset $E$ of a plane over a finite field $\F_q$, of cardinality $|E|>q$ determines not less than $\frac{q-1}{2}$ distinct areas of triangles, moreover once can find such triangles sharing a common base.
It is also shown that if $|E|\geq 64q\log_2 q$, then there are more than $\frac{q}{2}$ distinct areas of triangles sharing a common vertex. The result follows from a finite field version of the Beck theorem for large subsets of $\F_q^2$ that we prove. If $|E|\geq 64q\log_2 q$, there exists a point $z\in E$, such that there are at least $\frac{q}{4}$ straight lines incident to $z$, each supporting the number of points of $E$ other than $z$ in the interval between $\frac{|E|}{2q}$ and $\frac{2|E|}{q}.$ This is proved by combining combinatorial and Fourier analytic techniques.
We also discuss higher-dimensional implications of these results in light of recent developments.
A Characterisation of Tangent Subplanes of PG(2,q^3)
Published
• View Publication
• BIB
In: S.G. Barwick and W.A. Jackson. Sublines and subplanes of PG(2,q^3) in the Bruck--Bose representation in PG(6,q). Finite Fields Th. App. 18 (2012) 93--107., the authors determine the representation of order-q-subplanes and order-q-sublines of PG(2,q^3) in the Bruck-Bose representation in PG(6,q). In particular, they showed that an order-q-subplane of PG(2,q^3) corresponds to a certain ruled surface in PG(6,q). In this article we show that the converse holds, namely that any ruled surface satisfying the required properties corresponds to a tangent order-q-subplane of PG(2,q^3).
Is the missing axiom of matroid theory lost forever?
Published
• View Publication
• BIB
We conjecture that it is not possible to finitely axiomatize matroid representability in monadic second-order logic for matroids, and we describe some partial progress towards this conjecture. We present a collection of sentences in monadic second-order logic and show that it is possible to finitely axiomatize matroids using only sentences in this collection. Moreover, we can also axiomatize representability over any fixed finite field (assuming Rota's conjecture holds). We prove that it is not possible to finitely axiomatize representability, or representability over any fixed infinite field, using sentences from the collection.