The finite-fields tag has no usage guidance.

**-1**

votes

**0**answers

145 views

### Where I can find a Carlitz's paper? [on hold]

I am looking for a PDF of the paper:
Carlitz, Lewis, Mills, Straus - Polynomials over finite fields with minimal value sets.
Only I can find about it is this data:
Mathematika / Volume 8 / Issue ...

**16**

votes

**1**answer

498 views

### Is hyperelliptic cryptography “practical”?

Previosly my impression on this subject was that hyperelliptic cryptography systems (as well as other possible cryptosystems based on abelian varieties of dimension $>1$) have no advantages over ...

**5**

votes

**1**answer

229 views

### $(n-2)$-blocking sets in $AG(n,2)$

Let's define $k$-blocking set in affine space $AG(n,q)$ a set that meets every coset (translate of subspace) of dimension $k$.
I have seen a lot work related to minimal $(n-1)$-blockings set.
...

**10**

votes

**2**answers

271 views

### Blocking sets in three dimensional finite affine spaces

What is the smallest possible size of a set of points in $\mathbb{F}_q^3$ which intersects (blocks) every line?
Clearly the union of three affine hyperplanes that intersect in a singleton, say $x = ...

**0**

votes

**1**answer

36 views

### Do tori in a symplectic group always have invariant maximal isotropic subspaces?

$\newcommand{\mbf}{\mathbf}$
Hi all,
I've been thinking about the following question for a while now, and got a little stuck trying to solve it. Hopefully, someone here might be able to help.
For ...

**47**

votes

**6**answers

4k views

### How to recognise that the polynomial method might work

A couple of days ago I was at a nice seminar given by Christian Reiher, during which he told us about a short proof of the following special case of a theorem of Olson.
Theorem. Let ...

**3**

votes

**3**answers

259 views

### Minimal expression of 0 as a sum of kth powers in a finite field

Let $l=\min\{s\in \mathbb{N}|0\in s\cdot (\mathbb{F}_{p^n}^\times)^k\}$. Is any information known about this number already as a function of $k$? Any reference would be greatly appreciated!

**4**

votes

**1**answer

168 views

### Polynomial factoring over finite fields

What is known in general about the complexity of factoring polynomials over finite fields?
For instance given $\Bbb F_q$ where $q=p^n$ and total degree $d$ polynomial in $m$ variables what can we say ...

**4**

votes

**0**answers

126 views

### Applications of small Kakeya sets over finite fields

It was proved by Dvir that a Kakeya set in $\mathbb{F}_q^n$ has size at least $q^n/n!$, a bound which was later improved to $q^n/2^n$.
For $n = 2$ and $q$ odd the exact bound is $q(q+1)/2 + (q-1)/2$ ...

**3**

votes

**0**answers

70 views

### How order of divisor with support at infinity is changed at reduction?

Jing Yu in his paper "On Arithmetic Of Hyperelliptic Curves" on page 5 asserts the following
The most interesting case is certainly the case $k = \mathbb Q$ and $D \in \mathbb Z[t]$.
To ...

**2**

votes

**0**answers

136 views

### Polynomials representing locally constant functions

Let $K$ be a finite field with $p$ elements.
(a) Let $f\in K\lbrack x\rbrack$ be such that (i) $\deg(f)<p$ and (ii) $f(2x) = f(x)$ for $\geq (1-\epsilon) p$ values of $x$ in $K$. What can we say ...

**7**

votes

**1**answer

506 views

### Given $v,w$ primes of $k$, is there $K/k$ so $K_v\cap\Bbb Q^{cycl}=K_w\cap\Bbb Q^{cycl}=K\cap\Bbb Q^{cycl}$?

For any field $k$, let $\mu(k)$ denote the roots of unity in $k$. Now let $k$ be a number field and let $v, w$ be non-archimedean primes of $k$ with distinct residual characteristics. Does there ...

**2**

votes

**1**answer

66 views

### Distribution of values of quadratic polynomials over a finite field

Let $S$ denote the set of squares in the finite field ${\mathbb F}_p$. Now
let $f(x) \in {\mathbb F}_p[x]$ denote a degree $2$ polynomial, which is not a
square of a linear polynomial. If we consider ...

**1**

vote

**1**answer

174 views

### Solving Non-Linear Equations over a Finite Field of a Large Prime Order

I want to know is there is an efficient way to figure out whether or not a ( underdetermined) system of non-linear equations have a solution over a finite field of large prime order. The equations ...

**3**

votes

**1**answer

107 views

### embedding of $O_4^-(q)$ in $U_4(q)$

For $q$ an odd prime power, one can construct $H:=O_4^-(q)<U_4(q)$ by treating the $H$-invariant bilinear form as Hermitean. On the other hand $U_4(q)$ is isomorphic to $O_6^-(q)$; I need to ...

**5**

votes

**0**answers

100 views

### When is a Hermitian matrix of the form $g^*g$ for some matrix $g$

I tried asking this question on Math StackExchange and didn't get any replies. I was hoping that maybe someone here could help, sorry for duplicating.
I'm trying to figure out some properties of ...

**3**

votes

**1**answer

358 views

### Algebraic dynamics in finite fields

What is known about combinatorial structure of the rational maps of degree 2 over finite fields? From some general reasons I think it was studied. For being more specific, consider the field ...

**5**

votes

**1**answer

144 views

### Finite field analogue of Chebotaryov theorem on roots of unity?

Chebotarev's theorem on roots of unity says that all the minors of a prime-length DFT matrix over the complex numbers are nonzero. I was wondering if there was an analogue for finite fields.
More ...

**7**

votes

**1**answer

275 views

### Cyclic subgroups of GL(n,q)

Let $q$ be a prime power. It is well known that all Singer subgroups (subgroups of order $q^n-1$) in $GL(n,q)$ are conjugate. My question is: If $H$ is a cyclic subgroup of order $m$ in $GL(n,q)$, ...

**3**

votes

**0**answers

87 views

### Fields whose algebraic closure is a finite extension [duplicate]

It is well-known that the complex numbers $\mathbb{C}$ is a degree two extension of $\mathbb{R}$, where one possible minimal polynomial is $x^2 + 1$. Further, $\mathbb{C}$ is algebraically closed.
...

**7**

votes

**1**answer

264 views

### What are some open problems regarding elliptic curves in finite fields?

I accept that my question seems so vague and broad, and I already looked into some similar questions in MO. But I would like to learn specifically about some open problems and conjectures regarding ...

**2**

votes

**3**answers

115 views

### How to evaluate this function in F_p efficiently?

For the positive prime integer $p$, Let $\mathbb{F}_p=\{0,1,\cdots, p-1\}$ be the finite field of order $p$.
For $x\in \mathbb{F}_p$, define $f_p(x)$ to be the maximum element in the set $\{ ...

**4**

votes

**1**answer

129 views

### How to calculate log or exp of a value in GF(2^n) using log/exp table of GF((2^k)^m) where n=k*m?

Consider Galois fields $\mathbb{F}_{2^n}$ and $\mathbb{F}_{2^k}$, where $n=km$, and $\mathbb{F}_{2^k}$ is a ground field of $\mathbb{F}_{2^n}$.
I’d appreciate pointers to papers or suggestions on:
...

**6**

votes

**1**answer

261 views

### Reinterpreting Galois descent over finite fields

This question is indirectly related to my previous question Is an elliptic curve that is isomorphic to its Frobenius conjugate defined over $\mathbb{F}_p$?
Let $\mathbb{F}_{q^n}/\mathbb{F}_q$ be an ...

**7**

votes

**0**answers

110 views

### A $k \times n$ matrix with a lot of invertible $k \times k$ submatrices over $\mathbb{F}_2$

In the appendix of the paper by Tolhuizen (
http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=841182) there is a very fast and easy probabilistic proof that for $k=cn$ where $c \in [0,1]$ is fixed, ...

**1**

vote

**0**answers

109 views

### How can I decode efficiently a triple-error-correcting binary BCH code?

In a given $\mathrm{BCH}(N,K)$, $T=3$ code over $\mathrm{GF}(2^m)$, there are ways to find the error locations in a given $N$-bit codeword directly from the syndromes without going through the normal ...

**2**

votes

**0**answers

109 views

### A question on vector space over finite field

Let $\mathbb{F}_{2^\sigma}$ be a finite field of $\sigma$-bit elements, and use $\mathbb{F}_{2^\sigma}^{\ell}$ to denote an $\ell$-dimensional vector space over $\mathbb{F}_{2^\sigma}$. Let $V$ be a ...

**8**

votes

**0**answers

112 views

### Order of zeros for sparse polynomials mod $p$

It is a fairly well known fact that sparse polynomials $f(x)$ cannot have large order zeros other than at $x=0$. If $f(x)=a_1x^{r_1}+\cdots+a_kx^{r_k}$ then at $c
\neq 0$, $f$ has a zero of order at ...

**2**

votes

**0**answers

33 views

### Computations of some character sums/zeta function

I'm currently trying to "compute" the zeta function of some hyperelliptic curves over a finite field (of odd characteristic). Precisely, let $b\in\mathbb{F}_q^\times$ be a non zero element (I also ...

**9**

votes

**1**answer

233 views

### Are $E_n$-operads not formal in characteristic not equal to zero?

This is a short question:
Is it just unproven folklore (yet), or is it definitively known that $E_n$-operads are not formal, if the characteristic of the underlying field is not equal to zero?

**2**

votes

**0**answers

69 views

### A question about polynomial over finite field

For the positive integer $m$, let $n=\varphi(m)$ denote the totient of $m$.
Given a rational prime $p$ such that $p\equiv 1 \bmod m$, let $A=\{a_1,\cdots, a_n\}\subseteq \mathbb{F}_p$ denote the set ...

**5**

votes

**1**answer

166 views

### When is Chevalley Warning's bound best possible?

Chevalley Warning's theorem (a form of) states that any homogeneous form over a finite field of degree $d$ in more than $d$ variables has a nontrivial zero in the field. However, for diagonal forms, ...

**12**

votes

**0**answers

265 views

### Counting abelian varieties over finite fields in a given isogeny class

Let $f(x) \in \mathbb Z[x]$ be a monic polynomial of degree $g$ with all roots having absolute value $\sqrt{q}$. How many principally polarized abelian varieties over $\mathbb F_q$ have $f(x)$ as the ...

**1**

vote

**0**answers

45 views

### About the rank of a Pell equation-related matrix

I have a question about the solution of Pell-equation over a prime field.
I want prove that the matrix $M$ is of rank $\frac{p-1}{2}$, with $M=(m_{i,j})\in\left(\mathbb{Z}/(p^p-1)\mathbb{Z} ...

**13**

votes

**3**answers

1k views

### A question on representation of graphs

Take a complete graph $K_n$. You want to assign a vectors from $\Bbb F_2^d$ to every edge such that sum of vectors in every simple cycle does not sum to $0$ vector. The question is what is minimum $d$ ...

**0**

votes

**0**answers

31 views

### Interpolating a polynomial when we permute part of $y_i$'s

Let $\vec{x}=[x_1,...,x_n]$ be elements of field $\mathbb{Z}_p$, where $p$ is a large prime. $x_i \neq x_j$, $x_i \in \mathbb{Z}_p$. Note $x_i$ values are NOT picked uniformly random and they are ...

**3**

votes

**1**answer

111 views

### Number of linearly bisected subsets in finite vector space $F_2^n$

We consider the $n$-dimenstional finite vector space $\mathbb{F}_2^{n}$ over the finite field of two elements. For a subset $A\subseteq \mathbb{F}_2^{n}$ of even size $|A|=2m$ and a linear form ...

**15**

votes

**2**answers

865 views

### Does $\mathbb{K}[G]\simeq\mathbb{K}[H]$ for some field $\mathbb{K}$ of characteristic $p$, imply $\mathbb{F}_p[G]\simeq\mathbb{F}_p[H]$?

Due to the first (and very helpful) answer I received, I've reformulated the question a little: $G$ and $H$ are now assumed to be $p$-groups.
Let $p$ be a prime, and let $\mathbb{F}_p$ be the field ...

**5**

votes

**2**answers

223 views

### Conjugation in associative algebras over finite fields

Let $A$ be a finite dimensional associative algebra (with unity) over a finite field $F$. Let $L$ be a field extension of $F$. Suppose that after extending scalars to $L$, two elements $a,b$ of $A$ ...

**3**

votes

**1**answer

160 views

### Can we define a height function for a variety over a finite field?

That is, is there a way to measure the complexity of a point over a finite field the same way we do it over number fields?

**5**

votes

**2**answers

436 views

### What is the permutation group generated by those three given morphisms of the affine space $\mathbb{F}_q^3$?

Let $\mathbb{A}^3 = \mathbb{F}_q^3$. Consider the following three functions $\mathbb{A}^3\to\mathbb{A}^3$:
\begin{eqnarray*}
h: (x, y, z) &\mapsto& (x, y, xy - z) \\
u: (x, y, z) ...

**1**

vote

**1**answer

210 views

### Solutions to system of polynomial equations over finite fields

If $P_1$, $P_2$, ..., $P_m$ are $n$-variate homogeneous polynomials of degree d over a finite field $F_q$, where $q$ is much larger than $d$, but much smaller than $n$, then do we know good lower ...

**3**

votes

**0**answers

228 views

### When does composing polynomials reduce the degree?

Let $\mathbb{F}$ be the field of size 2. For a function $f : \mathbb{F}^n \to \mathbb{F}$, let $d(f)$ be the smallest integer such that there exists a degree-$d(f)$, $n$-variate, multilinear ...

**4**

votes

**0**answers

285 views

### formal group laws of Abelian varieties in positive characteristic

Let $G$ be an algebraic group defined over an (algebraically closed) field $k$. Then one can obtain a formal group law by completing the multiplication map $m: G \times G \to G$ at the unit of $G$.
...

**2**

votes

**1**answer

107 views

### Enumerator Polynomials for Linear Anytime Codes

Let $C = \{c \in \mathbb{F}^n_2 : Hc=0\}$ be a binary linear code where $H \in \mathbb{F}^{k \times n}_2$ is a block lower-triangular matrix of full rank called the parity-check matrix of $C$. Clearly ...

**0**

votes

**0**answers

64 views

### Finite Ramanujan expansions over a finite field

I'm wondering if we could have an analogy in finite fields. After all, the Discrete Fourier Transform (DFT) has been generalized to finite fields as well (with essentially identical properties as in ...

**19**

votes

**4**answers

1k views

### Non-split extensions of $GL_n(F_q)$ by $F_q^n$ ?

A very naive question :
I just learned that there is a non-split extension of $GL_3(F_2)$ by $F_2^3$ (with standard action). It can be realized as the subgroup of the automorphism group $G_2$ of ...

**2**

votes

**1**answer

133 views

### Proving inequation with ceilings in Finite Field of characteristic $p$

Take $ui = pt_i +j_i$ where $p$ is a prime number and $u(p-r) \equiv 1 $ $(\mbox{mod p})$ for positive integers $1 \le i, r, j_i\le p-1$ and $t_i \ge 0$. How can I prove that:
\begin{equation}
...

**1**

vote

**0**answers

122 views

### References for modular curves over finite fields [closed]

I'm looking for a detailed reference for modular curves over finite fields, such as $X(N)$, $X_1(N)$, and $X_0(N)$. There seems to be a lot of literature dealing with them over $\mathbb{C}$, but I'm ...

**2**

votes

**0**answers

77 views

### The significance of the Parvaresh-Vardy curve

Even though this seems like a computer science question, it is purely mathematical and concerns polynomials and curves over finite fields.
Consider the Parvaresh-Vardy list decoder.
As I understand ...