Finite computable dimension and degrees of categoricity

We first give an example of a rigid structure of computable dimension 2 such that the unique isomorphism between two non-computably isomorphic computable copies has Turing degree strictly below ${\mathbf{0}}^{″}$, and not above ${\mathbf{0}}^{\prime }$. This gives a first example of a computable structure with a degree of categoricity that does not belong to an interval of the form $[{\mathbf{0}}^{(\alpha )},{\mathbf{0}}^{(\alpha +1)}]$ for any computable ordinal α. We then extend the technique to produce a rigid structure of computable dimension 3 such that if ${\mathbf{d}}_0$, ${\mathbf{d}}_1$, and ${\mathbf{d}}_2$ are the degrees of isomorphisms between distinct representatives of the three computable equivalence classes, then each ${\mathbf{d}}_i<{\mathbf{d}}_0\oplus {\mathbf{d}}_1\oplus {\mathbf{d}}_2$. The resulting structure is an example of a structure that has a degree of categoricity, but not strongly.     

On a conjecture of Fernando,Hou and Lappano concerning permutation polynomials over finite fields

Let ${\mathbb{F}}_q$ be the finite field with q elements and let $p=\text{char}{\mathbb{F}}_q$. It was conjectured that for integers $e\ge 2$ and $1\le a\le pe-2$, the polynomial $X^{q-2}+X^{q^2-2}+\cdots +X^{q^a-2}$ is a permutation polynomial of ${\mathbb{F}}_{q^e}$ if and only if (i) $a=2$ and $q=2$, or (ii) $a=1$ and $\text{gcd}(q-2,q^e-1)=1$. In the present paper we confirm this conjecture.     

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.     

Ground states of two-component attractive Bose–Einstein condensates I: Existence and uniqueness

We study ground states of two-component Bose–Einstein condensates (BEC) with trapping potentials in ${\mathbb{R}}^2$, where the intraspecies interaction $(?a_1,?a_2)$ and the interspecies interaction ?β are both attractive, $i.e$, $a_1$, $a_2$ and β are all positive. The existence and non-existence of ground states are classified completely by investigating equivalently the associated $L^2$-critical constraint variational problem. The uniqueness and symmetry-breaking of ground states are also analyzed under different types of trapping potentials as $\beta \nearrow {\beta }^{?}=a^{?}+\sqrt{(a^{?}?a_1)(a^{?}?a_2)}$, where $0<a_i<a^{?}:={6w6}_2^2$ ($i=1,2$) is fixed and w is the unique positive solution of $\mathrm{\Delta }w?w+w^3=0$ in ${\mathbb{R}}^2$. The semi-trivial limit behavior of ground states is tackled in the companion paper [12].     

The dual code of any (δ+αu2)-constacyclic code over F2m[u]∕〈u4〉 of oddly even length

Let ${\mathbb{F}}_{2^m}$ be a finite field of cardinality $2^m$, $R={\mathbb{F}}_{2^m}\left[u\right]∕〈u^4〉={\mathbb{F}}_{2^m}+u{\mathbb{F}}_{2^m}+u^2{\mathbb{F}}_{2^m}+u^3{\mathbb{F}}_{2^m}$ $(u^4=0)$ which is a finite chain ring, and $n$ is an odd positive integer. For any $\delta ,\alpha \in {\mathbb{F}}_{2^m}^{\times }$, an explicit representation for the dual code of any $(\delta +\alpha u^2)$-constacyclic code over $R$ of length $2n$ is given. And some dual codes of $(1+u^2)$-constacyclic codes over $R$ of length 14 are constructed. For the case of $\delta =1$, all distinct self-dual $(1+\alpha u^2)$-constacyclic codes over $R$ of length $2n$ are determined.     

Maximal sets of Hamilton cycles in Knr;λ1,λ2

Let $K\left(n^r;{\lambda }_1,{\lambda }_2\right)$ be the $r$-partite multigraph in which each part has size $n$, where two vertices in the same part or different parts are joined by exactly ${\lambda }_1$ edges or ${\lambda }_2$ edges, respectively. It is proved that there exists a maximal set of $t$ edge-disjoint Hamilton cycles in $K\left(n^r;{\lambda }_1,{\lambda }_2\right)$ for ${\lambda }_{2}n\lfloor \frac{r+3}{4}\rfloor \le t\le min\left\{\lfloor \frac{{\lambda }_2{n}^2(r-1)}{2}\rfloor ,\lfloor \frac{{\lambda }_1(n-1)+{\lambda }_{2}n(r-1)}{2}\rfloor \right\}$, the upper bound being best possible. The results proved make use of the method of amalgamations.     

The combinatorial properties of the Benoumhani polynomials for the Whitney numbers of Dowling lattices

In the papers (Benoumhani 1996;1997), Benoumhani defined two polynomials $F_{m,n,1}\left(x\right)$ and $F_{m,n,2}\left(x\right)$. Then, he defined $A_m(n,k)$ and $B_m(n,k)$ to be the polynomials satisfying $F_{m,n,1}\left(x\right)={\sum }_{k=0}^n{A}_m(n,k)x^{n?k}{(x+1)}^k$ and $F_{m,n,1}\left(x\right)={\sum }_{k=0}^n{B}_m(n,k)x^{n?k}{(x+1)}^k$. In this paper, we give a combinatorial interpretation of the coefficients of $A_{m+1}(n,k)$ and prove a symmetry of the coefficients, i.e., $\left[m^s\right]A_{m+1}(n,k)=\left[m^{n?s}\right]A_{m+1}(n,n?k)$. We give a combinatorial interpretation of $B_{m+1}(n,k)$ and prove that $B_{m+1}(n,n?1)$ is a polynomial in $m$ with non-negative integer coefficients. We also prove that if $n\ge 6$ then all coefficients of $B_{m+1}(n,n?2)$ except the coefficient of $m^{n?1}$ are non-negative integers. For all $n$, the coefficient of $m^{n?1}$ in $B_{m+1}(n,n?2)$ is $?(n?1)$, and when $n\le 5$ some other coefficients of $B_{m+1}(n,n?2)$ are also negative.     

On the boomerang uniformity of a class of permutation quadrinomials over finite fields

Let ${\mathbb{F}}_{2^n}$ be a finite field with $2^n$ elements and $f_{\underset{\_}{c}}(x)=c_0{x}^{2^m(2^k+1)}+c_1{x}^{2^{m+k}+1}+c_2{x}^{2^m+2^k}+c_3{x}^{2^k+1}\in {\mathbb{F}}_{2^n}[x]$, where n, m and k are positive integers with $n=2m$ and $\gcd ?(m,k)=e$. In this paper, motivated by a recent work of Li, Xiong and Zeng (Li et al. (2021) [12]), we further study the boomerang uniformity of $f_{\underset{\_}{c}}(x)$ by using similar ideas and carrying out particular techniques in solving equations over finite fields. As a consequence, we generalize Li, Xiong and Zeng's result from the case of m being odd and $e=1$ to that of both $m/e$ and $k/e$ being odd.     

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.     

On a conjecture about a class of permutation quadrinomials

Very recently, Tu et al. presented a sufficient condition on $(a_1,a_2,a_3)$, see Theorem 1.1, such that $f(x)=x^{3\cdot 2^m}+a_1{x}^{2^{m+1}+1}+a_2{x}^{2^m+2}+a_3{x}^3$ is a class of permutation polynomials over ${\mathbb{F}}_{2^n}$ with $n=2m$ and m odd. In this present paper, we prove that the sufficient condition is also necessary.     

Small time convergence of subordinators with regularly or slowly varying canonical measure

We consider subordinators $X_{\alpha }={\left(X_{\alpha }\left(t\right)\right)}_{t\ge 0}$ in the domain of attraction at 0 of a stable subordinator ${\left(S_{\alpha }\left(t\right)\right)}_{t\ge 0}$ (where $\alpha \in (0,1)$); thus, with the property that ${\overline{\Pi }}_{\alpha }$, the tail function of the canonical measure of $X_{\alpha }$, is regularly varying of index $?\alpha \in (?1,0)$ as $x\downarrow 0$. We also analyse the boundary case, $\alpha =0$, when ${\overline{\Pi }}_{\alpha }$ is slowly varying at 0. When $\alpha \in (0,1)$, we show that ${\left(t{\overline{\Pi }}_{\alpha }\left(X_{\alpha }\left(t\right)\right)\right)}^{?1}$ converges in distribution, as $t\downarrow 0$, to the random variable ${\left(S_{\alpha }\left(1\right)\right)}^{\alpha }$. This latter random variable, as a function of $\alpha$, converges in distribution as $\alpha \downarrow 0$ to the inverse of an exponential random variable. We prove these convergences, also generalised to functional versions (convergence in $\mathbb{D}[0,1]$), and to trimmed versions, whereby a fixed number of its largest jumps up to a specified time are subtracted from the process. The $\alpha =0$ case produces convergence to an extremal process constructed from ordered jumps of a Cauchy subordinator. Our results generalise random walk and stable process results of Darling, Cressie, Kasahara, Kotani and Watanabe.