DeepAI

# On the construction of small subsets containing special elements in a finite field

In this note we construct a series of small subsets containing a non-d-th power element in a finite field by applying certain bounds on incomplete character sums. Precisely, let h= q^δ>1 and d| q^h-1. Let r be a prime divisor of q-1 such that the largest prime power part of q-1 has the form r^s. Then there is a constant 0<ϵ<1 such that for a ratio at least q^-ϵ h of α∈F_q^hF_q, the set S={α-x^t, x∈F_q} of cardinality 1+q-1/M(h) contains a non-d-th power in F_q^ q^δ, where t is the largest power of r such that t<√(q)/h and M(h) is defined as M(h)=_r | (q-1) r^{v_r(q-1), _rq/2-_r h}. Here r runs thourgh prime divisors and v_r(x) is the r-adic oder of x. For odd q, the choice of δ=1/2-d, d=o(1)>0 shows that there exists an explicit subset of cardinality q^1-d=O(^2+ϵ'(q^h)) containing a non-quadratic element in the field F_q^h. On the other hand, the choice of h=2 shows that for any odd prime power q, there is an explicit subset of cardinality 1+q-1/M(2) containing a non-quadratic element in F_q^2. This improves a q-1 construction by Coulter and Kosick CK since _2(q-1)≤ M(2) < √(q). In addition, we obtain a similar construction for small sets containing a primitive element. The construction works well provided ϕ(q^h-1) is very small, where ϕ is the Euler's totient function.

11/15/2017

### Set complexity of construction of a regular polygon

Given a subset of C containing x,y, one can add x + y or x - y or xy or...
02/02/2020

### Exceptional scatteredness in prime degree

Let q be an odd prime power and n be a positive integer. Let ℓ∈F_q^n[x] ...
05/04/2023

### A Deterministic Construction of a Large Distance Code from the Wozencraft Ensemble

We present an explicit construction of a sequence of rate 1/2 Wozencraft...
03/01/2022

### Two Classes of Power Mappings with Boomerang Uniformity 2

Let q be an odd prime power. Let F_1(x)=x^d_1 and F_2(x)=x^d_2 be power ...
01/29/2019

### On the k-error linear complexity of binary sequences derived from the discrete logarithm in finite fields

Let q=p^r be a power of an odd prime p. We study binary sequences σ=(σ_0...
08/06/2021

### The Differential Spectrum of the Power Mapping x^p^n-3

Let n be a positive integer and p a prime. The power mapping x^p^n-3 ove...
10/27/2022

### The formal verification of the ctm approach to forcing

We discuss some highlights of our computer-verified proof of the constru...