finite field
1566 papers tagged with this keyword
Frequency permutation arrays
Published
• View Publication
• BIB
Motivated by recent interest in permutation arrays, we introduce and investigate the more general concept of frequency permutation arrays (FPAs). An FPA of length n=m lambda and distance d is a set T of multipermutations on a multiset of m symbols, each repeated with frequency lambda, such that the Hamming distance between any distinct x,y in T is at least d. Such arrays have potential applications in powerline communication. In this paper, we establish basic properties of FPAs, and provide direct constructions for FPAs using a range of combinatorial objects, including polynomials over finite fields, combinatorial designs, and codes. We also provide recursive constructions, and give bounds for the maximum size of such arrays.
On an Argument of Shkredov on Two-Dimensional Corners
Published
• View Publication
• BIB
Let $\mathbb F_2^n$ be the finite field of cardinality $2 ^{n}$. For all large $n$, any subset $A\subset \mathbb F_2^n\times \mathbb F_2 ^n$ of cardinality \begin{equation*} \abs{A} \gtrsim 4^n \log\log n (\log n) ^{-1}
\end{equation*} must contain three points $ \{(x,y) ,(x+d,y) ,(x,y+d)\}$ for $x,y,d\in \mathbb F_2^n$ and $d\neq0$. Our argument is an elaboration of an argument of Shkredov \cite {math.NT/0405406}, building upon the finite field analog of Ben Green \cite {math.NT/0409420}. The interest in our result is in the exponent on $ \log n$, which is larger than has been obtained previously.
On chromatic number of unit-quadrance graphs (finite Euclidean graphs)
The quadrance between two points A_1=(x_1, y_1) and A_2=(x_2, y_2) is the number Q (A_1, A_2) = (x_1 - x_2)^2 + (y_1 - y_2)^2. Let q be an odd prime power and F_q be the finite field with $q$ elements. The unit-quadrance graph D_q has the vertex set F_q^2, and X, Y in F_q^2 are adjacent if and only if Q(A_1, A_2) = 1. Let χ(F_q^2) be the chromatic number of graph D_q. In this note, we will show that q^{1/2}(1/2+o(1)) <= χ(F_q^2) <= q(1/2 + o(1)). As a corollary, we have a construction of triangle-free graphs D_q of order q^2 with χ(D_q) >= q/2 for infinitely many values of q.
On the Coefficients of Primitive Normal polynomials
The previous paper [4] proved the existence of primitive polynomials and primitive normal polynomials of degree n with k prescribed coefficients in the finite field GF(q) for all sufficiently large q. This paper presents a loger versions of the result on primitve normal polynomials.
Quadrance polygons, association schemes and strongly regular graphs
Quadrance between two points A_1 = [x_1,y_1] and A_2 = [x_2,y_2] is the number Q (A_1, A_2) := (x_2 - x_1)^2 + (y_2 - y_1)^2. In this paper, we present some interesting results arise from this notation. In Section 1, we will study geometry over finite fields under quadrance notations. The main purpose of Section 1 is to answer the question, for which a_1,...,a_n, we have a polygon A_1...A_n such that Q(A_i,A_{i+1})=a_i for i = 1,...,n. In Section 2, using tools developed in Section 1, we define a family of association schemes over finite field space F_q x F_q where q is a prime power. These schemes give rise to a graph V_q with vertices the points of F_q^2, and where (X,Y) is an edge of V_q if and only if Q(X,Y) is a nonzero square number in F_q. In Section 3, we will show that V_q is a strongly regular graph and propose a conjecture about the maximal clique of V_q.
New bounds for Szemeredi's Theorem, I: Progressions of length 4 in finite field geometries
Published
• View Publication
• BIB
Let F be a fixed finite field of characteristic at least 5. Let G = F^n be the n-dimensional vector space over F, and write N := |G|. We show that if A is a subset of G with size at least c_F N(log N)^{-c}, for some absolute constant c > 0 and some c_F > 0, then A contains four distinct elements in arithmetic progression.
This is equivalent, in the usual notation of additive combinatorics, to the assertion that r_4(G) <<_F N(log N)^{-c}.
Ramdom walks on hypergroup of circles in finite fields
In this paper we study random walks on the hypergroup of circles in a finite field of prime order p = 4l + 3. We investigating the behavior of random walks on this hypergroup, the equilibrium distribution and the mixing times. We use two different approaches - comparision of Dirichlet forms (geometric bound of eigenvalues), and coupling methods, to show that the mixing time of random walks on hypergroup of circles is only linear.
A characterization of a class of maximum nonlinear functions
Maximum nonlinear functions on finite fields are widely used in cryptography because the coordinate functions have large distance to linear functions. More precisely, the Hamming distance to the characteristic functions of hyperplanes is large. One class of maximum nonlinear functions are the Gold power functions We characterize these functions in terms of the distance of their coordinate functions to characteristic functions of subspaces of codimension 2.
Maximum Distance Separable Codes and Arcs in Projective Spaces
Published in Journal of Combinatorial Theory, Series A, (2007)
• View Publication
• BIB
Given any linear code $C$ over a finite field $GF(q)$ we show how $C$ can be described in a transparent and geometrical way by using the associated Bruen-Silverman code. Then, specializing to the case of MDS codes we use our new approach to offer improvements to the main results currently available concerning MDS extensions of linear MDS codes. We also sharply limit the possibilities for constructing long non-linear MDS codes.
A new APN function which is not equivalent to a power mapping
Published
• View Publication
• BIB
A new almost perfect nonlinear function (APN) on the finite field GF(2^10) which is not equivalent to any of the previously known APN mappings is constructed. This is the first example of an APN mapping which is not equivalent to a power mapping.
Expanding graphs, Ramanujan graphs, and 1-factor perturbations
Published
• View Publication
• BIB
We construct (k+-1)-regular graphs which provide sequences of expanders by adding or substracting appropriate 1-factors from given sequences of k-regular graphs. We compute numerical examples in a few cases for which the given sequences are from the work of Lubotzky, Phillips, and Sarnak (with k-1 the order of a finite field). If k+1 = 7, our construction results in a sequence of 7-regular expanders with all spectral gaps at least about 1.52.
Schubert Unions in Grassmann Varieties
Published
• View Publication
• BIB
We study subsets of Grassmann varieties G(l,m) over a field F, such that these subsets are unions of Schubert cycles, with respect to a fixed flag. We study the linear spans of, and in case of positive characteristic, the number of points on such unions over finite fields. Moreover we study a geometric duality of such unions, and give a combinatorial interpretation of this duality. We discuss the maximum number of points over a finite field for the Schubert unions of a given spanning dimension, and we give some applications to coding theory. We define Schubert union codes, and study the parameters and support weights of these codes and of the well-known Grassmann codes.
Rigidity theory for matroids
Published in Comment. Math. Helv. 82 (2007), 197-233
• View Publication
• BIB
Combinatorial rigidity theory seeks to describe the rigidity or flexibility of bar-joint frameworks in R^d in terms of the structure of the underlying graph G. The goal of this article is to broaden the foundations of combinatorial rigidity theory by replacing G with an arbitrary representable matroid M. The ideas of rigidity independence and parallel independence, as well as Laman's and Recski's combinatorial characterizations of 2-dimensional rigidity for graphs, can naturally be extended to this winder setting. As we explain, many of these fundamental concepts really depend only on the matroid associated with G (or its Tutte polynomial) and have little to do with the special nature of graphic matroids or the field R.
Our main result is a "nesting theorem" relating the various kinds of independence. Immediate corollaries include generalizations of Laman's Theorem, as well as the equality of 2-rigidity and 2-parallel independence. A key tool in our study is the space of photos of M, a natural algebraic variety whose irreducibility is closely related to the notions of rigidity independence and parallel independence.
The number of points on this variety, when working over a finite field, turns out to be an interesting Tutte polynomial evaluation.
Sign balance for finite groups of Lie type
Published
• View Publication
• BIB
A product formula for the parity generating function of the number of 1's in invertible matrices over Z_2 is given. The computation is based on algebraic tools such as the Bruhat decomposition. The same technique is used to obtain a parity generating function also for symplectic matrices over Z_2. We present also a generating function for the sum of entries of matrices over an arbitrary finite field F_q calculated in F_q. These formulas are new appearances of the Mahonian distribution.
Do All Elliptic Curves of the Same Order Have the Same Difficulty of Discrete Log?
Published in Advances in Cryptology -- Asiacrypt 2005, LNCS 3788, pp. 21-40.
• View Publication
• BIB
The aim of this paper is to justify the common cryptographic practice of selecting elliptic curves using their order as the primary criterion. We can formalize this issue by asking whether the discrete log problem (DLOG) has the same difficulty for all curves over a given finite field with the same order. We prove that this is essentially true by showing polynomial time random reducibility of DLOG among such curves, assuming the Generalized Riemann Hypothesis (GRH). We do so by constructing certain expander graphs, similar to Ramanujan graphs, with elliptic curves as nodes and low degree isogenies as edges.
The result is obtained from the rapid mixing of random walks on this graph. Our proof works only for curves with (nearly) the same endomorphism rings. Without this technical restriction such a DLOG equivalence might be false; however, in practice the restriction may be moot, because all known polynomial time techniques for constructing equal order curves produce only curves with nearly equal endomorphism rings.
Intersection cohomology of hypertoric varieties
Published in Journal of Algebraic Geometry 16 (2007), 39-63
• View Publication
• BIB
A hypertoric variety is a quaternionic analogue of a toric variety. Just as the topology of toric varieties is closely related to the combinatorics of polytopes, the topology of hypertoric varieties interacts richly with the combinatorics of hyperplane arrangements and matroids. Using finite field methods, we obtain combinatorial descriptions of the Betti numbers of hypertoric varieties, both for ordinary cohomology in the smooth case and intersection cohomology in the singular case. We also introduce a conjectural ring structure on the intersection cohomology of a hypertoric variety.
The polynomial analogue of a theorem of Renyi
Published in Proc. Amer. Math. Soc. 133 (2005) 2897-2902.
• View Publication
• BIB
Renyi's result on the density of integers whose prime factorizations have excess multiplicity has an analogue for polynomials over a finite field.
Finite field models in additive combinatorics
Published
• View Publication
• BIB
The study of many problems in additive combinatorics, such as Szemerédi's theorem on arithmetic progressions, is made easier by first studying models for the problem in F_p^n for some fixed small prime p. We give a number of examples of finite field models of this type, which allows us to introduce some of the central ideas in additive combinatorics relatively cleanly. We also give an indication of how the intuition gained from the study of finite field models can be helpful for addressing the original questions.
Schubert Varieties, Linear Codes and Enumerative Combinatorics
Published in Finite Fields and their Applications, Vol. 11, No. 4 (2005), pp. 684-699.
• View Publication
• BIB
We consider linear error correcting codes associated to higher dimensional projective varieties defined over a finite field. The problem of determining the basic parameters of such codes often leads to some interesting and difficult questions in combinatorics and algebraic geometry. This is illustrated by codes associated to Schubert varieties in Grassmannians, called Schubert codes, which have recently been studied. The basic parameters such as the length, dimension and minimum distance of these codes are known only in special cases. An upper bound for the minimum distance is known and it is conjectured that this bound is achieved. We give explicit formulae for the length and dimension of arbitrary Schubert codes and prove the minimum distance conjecture in the affirmative for codes associated to Schubert divisors.
Computing the Tutte polynomial of a hyperplane arrangement
Published
• View Publication
• BIB
We define and study the Tutte polynomial of a hyperplane arrangement. We introduce a method for computing it by solving an enumerative problem in a finite field. For specific arrangements, the computation of Tutte polynomials is then reduced to certain related enumerative questions. As a consequence, we obtain new formulas for the generating functions enumerating alternating trees, labelled trees, semiorders and Dyck paths.