Permutation trinomials over Fq3

We consider four classes of polynomials over the fields ${\mathbb{F}}_{q^3}$, $q=p^h$, $p>3$, $f_1(x)=x^{q^2+q-1}+A{x}^{q^2-q+1}+Bx$, $f_2(x)=x^{q^2+q-1}+A{x}^{q^3-q^2+q}+Bx$, $f_3(x)=x^{q^2+q-1}+A{x}^{q^2}-Bx$, $f_4(x)=x^{q^2+q-1}+A{x}^q-Bx$, where $A,B\in {\mathbb{F}}_q$. We find sufficient conditions on the pairs $(A,B)$ for which these polynomials permute ${\mathbb{F}}_{q^3}$ and we give lower bounds on the number of such pairs.     

Maximal curves and Tate-Shafarevich results for quartic and sextic twists

We study elliptic surfaces corresponding to an equation of the specific type $y^2=x^3+f(t)x$, defined over the finite field ${\mathbb{F}}_q$ for a prime power $q\equiv 3\mathrm{mod}4$. It is shown that if $s^4=f(t)$ defines a curve that is maximal over ${\mathbb{F}}_{q^2}$ then the rank of the group of sections defined over ${\mathbb{F}}_q$ on the elliptic surface is determined in terms of elementary properties of the rational function $f(t)$. Similar results are shown for elliptic surfaces given by $y^2=x^3+g(t)$ using prime powers $q\equiv 5\mathrm{mod}6$ and curves $s^6=g(t)$. Finally, for each of the forms used here, existence of curves with the property that they are maximal over ${\mathbb{F}}_{q^2}$ is discussed, as well as various examples.     

New results on permutation binomials of finite fields

After a brief review of the existing results on permutation binomials of finite fields, we introduce the notion of equivalence among permutation binomials (PBs) and describe how to bring a PB to its canonical form under equivalence. We then focus on PBs of ${\mathbb{F}}_{q^2}$ of the form $X^n(X^{d(q-1)}+a)$, where n and d are positive integers and $a\in {\mathbb{F}}_{q^2}^{⁎}$. Our contributions include two nonexistence results: (1) If q is even and sufficiently large and $a^{q+1}\ne 1$, then $X^n(X^{3(q-1)}+a)$ is not a PB of ${\mathbb{F}}_{q^2}$. (2) If $2\le d|q+1$, q is sufficiently large and $a^{q+1}\ne 1$, then $X^n(X^{d(q-1)}+a)$ is not a PB of ${\mathbb{F}}_{q^2}$ under certain additional conditions. (1) partially confirms a recent conjecture by Tu et al. (2) is an extension of a previous result with $n=1$.     

Existence of solutions of a non-linear eigenvalue problem with a variable weight

We study the non-linear minimization problem on $H_0^1(\mathrm{\Omega })?L^q$ with $q=\frac{2n}{n?2}$, $\alpha >0$ and $n\ge 4$:

$\underset{\begin{array}{c}\hfill u\in H_0^1(\mathrm{\Omega })\hfill \\ \hfill {6u6}_{L^q}=1\hfill \end{array}}{\inf }?\underset{\mathrm{\Omega }}{\int }a(x,u)|\mathrm{?}u{|}^2?\lambda \underset{\mathrm{\Omega }}{\int }|u{|}^2$

where $a(x,s)$ presents a global minimum α at $(x_0,0)$ with $x_0\in \mathrm{\Omega }$. In order to describe the concentration of $u(x)$ around $x_0$, one needs to calibrate the behavior of $a(x,s)$ with respect to s. The model case is

$\underset{\begin{array}{c}\hfill u\in H_0^1(\mathrm{\Omega })\hfill \\ \hfill {6u6}_{L^q}=1\hfill \end{array}}{\inf }?\underset{\mathrm{\Omega }}{\int }(\alpha +|x{|}^{\beta }|u{|}^k)|\mathrm{?}u{|}^2?\lambda \underset{\mathrm{\Omega }}{\int }|u{|}^2.$

In a previous paper dedicated to the same problem with $\lambda =0$, we showed that minimizers exist only in the range $\beta <kn/q$, which corresponds to a dominant non-linear term. On the contrary, the linear influence for $\beta \ge kn/q$ prevented their existence. The goal of this present paper is to show that for $0<\lambda \le \alpha {\lambda }_1(\mathrm{\Omega })$, $0\le k\le q?2$ and $\beta >kn/q+2$, minimizers do exist.     

Classification of metabelian 2-groups G with Gab ≃ (2,2n),n ≥ 2, and rank d(G′)=2; Applications to real quadratic number fields

We characterize all finite metabelian 2-groups G whose abelianizations $G^{\mathrm{ab}}$ are of type $(2,2^n)$, with $n\ge 2$, and for which their commutator subgroups $G^{\prime }$ have $\text{rank}=2$. This is given in terms of the order of the abelianizations of the maximal subgroups and the structure of the abelianizations of those normal subgroups of index 4 in G. We then translate these group theoretic properties to give a characterization of number fields k with 2-class group ${\mathrm{Cl}}_2(k)?(2,2^n)$, $n\ge 2$, such that the rank of ${\mathrm{Cl}}_2(k^1)=2$ where $k^1$ is the Hilbert 2-class field of k. In particular, we apply all this to real quadratic number fields whose discriminants are a sum of two squares.     

Perfect squares representing the number of rational points on elliptic curves over finite field extensions

Let q be a perfect power of a prime number p and $E({\mathbb{F}}_q)$ be an elliptic curve over ${\mathbb{F}}_q$ given by the equation $y^2=x^3+Ax+B$. For a positive integer n we denote by $\mathrm{\#}E({\mathbb{F}}_{q^n})$ the number of rational points on E (including infinity) over the extension ${\mathbb{F}}_{q^n}$. Under a mild technical condition, we show that the sequence ${\{\mathrm{\#}E({\mathbb{F}}_{q^n})\}}_{n>0}$ contains at most 10²⁰⁰ perfect squares. If the mild condition is not satisfied, then $\mathrm{\#}E({\mathbb{F}}_{q^n})$ is a perfect square for infinitely many n including all the multiples of 12. Our proof uses a quantitative version of the Subspace Theorem. We also find all the perfect squares for all such sequences in the range $q<50$ and $n\le 1000$.     

Positive solutions for a class of singular quasilinear Schrödinger equations with critical Sobolev exponent

We prove the existence of positive solutions of the following singular quasilinear Schrödinger equations at critical growth

$?\mathrm{\Delta }u?\lambda c(x)u?\kappa \alpha (\mathrm{\Delta }(|u{|}^{2\alpha }))|u{|}^{2\alpha ?2}u=|u{|}^{q?2}u+|u{|}^{2^{?}?2}u,u\in D^{1,2}({\mathbb{R}}^N),$

via variational methods, where $\lambda \ge 0$, $c:{\mathbb{R}}^N\to {\mathbb{R}}^{+}$, $\kappa >0$, $0<\alpha <1/2$, $2<q<2^{?}$. It is interesting that we do not need to add a weight function to control $|u{|}^{q?2}u$.     

Classification of some quadrinomials over finite fields of odd characteristic

In this paper, we completely determine all necessary and sufficient conditions such that the polynomial $f(x)=x^3+a{x}^{q+2}+b{x}^{2q+1}+c{x}^{3q}$, where $a,b,c\in {\mathbb{F}}_q^{⁎}$, is a permutation quadrinomial of ${\mathbb{F}}_{q^2}$ over any finite field of odd characteristic. This quadrinomial has been studied first in [25] by Tu, Zeng and Helleseth, later in [24] Tu, Liu and Zeng revisited these quadrinomials and they proposed a more comprehensive characterization of the coefficients that results with new permutation quadrinomials, where $char({\mathbb{F}}_q)=2$ and finally, in [16], Li, Qu, Li and Chen proved that the sufficient condition given in [24] is also necessary and thus completed the solution in even characteristic case. In [6] Gupta studied the permutation properties of the polynomial $x^3+a{x}^{q+2}+b{x}^{2q+1}+c{x}^{3q}$, where $char({\mathbb{F}}_q)=3,5$ and $a,b,c\in {\mathbb{F}}_q^{⁎}$ and proposed some new classes of permutation quadrinomials of ${\mathbb{F}}_{q^2}$.In particular, in this paper we classify all permutation polynomials of ${\mathbb{F}}_{q^2}$ of the form $f(x)=x^3+a{x}^{q+2}+b{x}^{2q+1}+c{x}^{3q}$, where $a,b,c\in {\mathbb{F}}_q^{⁎}$, over all finite fields of odd characteristic and obtain several new classes of such permutation quadrinomials.     

On eigenvectors,approximations and the Feynman propagator

Trying to interpret B. Zilber's project on model theory of quantum mechanics we study a way of building limit models from finite-dimensional approximations. Our point of view is that of metric model theory, and we develop a method of taking ultraproducts of unbounded operators. We first calculate the Feynman propagator for the free particle as defined by physicists as an inner product $〈x_0|K^t|x_1〉$ of the eigenvector $|x_0〉$ of the position operator with eigenvalue $x_0$ and $K^t(|x_1〉)$, where $K^t$ is the time evolution operator. However, due to a discretising effect, the eigenvector method does not work as expected, and straightforward calculations give the wrong value. We look at this phenomenon, and then complement this by showing how to instead correctly calculate the kernel of the time evolution operator (for both the free particle and the harmonic oscillator) in the limit model. We believe that our method of calculating these is new.