Cyclic codes over $${{\mathbb{F}}_2+u{\mathbb{F}}_2+v{\mathbb{F}}_2+uv{\mathbb{F}}_2}$$

In this work, we focus on cyclic codes over the ring \mathbbF₂+u\mathbbF₂+v\mathbbF₂+uv\mathbbF₂{{{\mathbb{F}}_2+u{\mathbb{F}}_2+v{\mathbb{F}}_2+uv{\mathbb{F}}_2}} , which is not a finite chain ring. We use ideas from group rings and works of AbuAlrub et.al. in (Des Codes Crypt 42:273–287, 2007) to characterize the ring (\mathbbF₂+u\mathbbF₂+v\mathbbF₂+uv\mathbbF₂)/(xⁿ-1){({{\mathbb{F}}_2+u{\mathbb{F}}_2+v{\mathbb{F}}_2+uv{\mathbb{F}}_2})/(x^n-1)} and cyclic codes of odd length. Some good binary codes are obtained as the images of cyclic codes over \mathbbF₂+u\mathbbF₂+v\mathbbF₂+uv\mathbbF₂{{{\mathbb{F}}_2+u{\mathbb{F}}_2+v{\mathbb{F}}_2+uv{\mathbb{F}}_2}} under two Gray maps that are defined. We also characterize the binary images of cyclic codes over \mathbbF₂+u\mathbbF₂+v\mathbbF₂+uv\mathbbF₂{{{\mathbb{F}}_2+u{\mathbb{F}}_2+v{\mathbb{F}}_2+uv{\mathbb{F}}_2}} in general.     

Linear codes over {\mathbb{F}_2+u\mathbb{F}_2+v\mathbb{F}_2+uv\mathbb{F}_2}

In this work, we investigate linear codes over the ring ${\mathbb{F}_2+u\mathbb{F}_2+v\mathbb{F}_2+uv\mathbb{F}_2}$ . We first analyze the structure of the ring and then define linear codes over this ring which turns out to be a ring that is not finite chain or principal ideal contrary to the rings that have hitherto been studied in coding theory. Lee weights and Gray maps for these codes are defined by extending on those introduced in works such as Betsumiya et al. (Discret Math 275:43–65, 2004) and Dougherty et al. (IEEE Trans Inf 45:32–45, 1999). We then characterize the ${\mathbb{F}_2+u\mathbb{F}_2+v\mathbb{F}_2+uv\mathbb{F}_2}$ -linearity of binary codes under the Gray map and give a main class of binary codes as an example of ${\mathbb{F}_2+u\mathbb{F}_2+v\mathbb{F}_2+uv\mathbb{F}_2}$ -linear codes. The duals and the complete weight enumerators for ${\mathbb{F}_2+u\mathbb{F}_2+v\mathbb{F}_2+uv\mathbb{F}_2}$ -linear codes are also defined after which MacWilliams-like identities for complete and Lee weight enumerators as well as for the ideal decompositions of linear codes over ${\mathbb{F}_2+u\mathbb{F}_2+v\mathbb{F}_2+uv\mathbb{F}_2}$ are obtained.     

Cyclic DNA codes over the ring $$\mathbb {F}_2+u\mathbb {F}_2+v\mathbb {F}_2+uv\mathbb {F}_2+v^2\mathbb {F}_2+uv^2\mathbb {F}_2$$

We study the structure of cyclic DNA codes of odd length over the finite commutative ring \(R=\mathbb {F}_2+u\mathbb {F}_2+v\mathbb {F}_2+uv\mathbb {F}_2 + v^2\mathbb {F}_2+uv^2\mathbb {F}_2,~u^2=0, v^3=v\), which plays an important role in genetics, bioengineering and DNA computing. A direct link between the elements of the ring R and 64 codons used in the amino acids of living organisms is established by introducing a Gray map from R to \(R_1=\mathbb {F}_2+u\mathbb {F}_2 ~(u^2=0)\). The reversible and the reversible-complement codes over R are investigated. We also discuss the binary image of the cyclic DNA codes over R. Among others, some examples of DNA codes obtained via Gray map are provided.     

Codes over \mathbb{F}_3 + u\mathbb{F}_3 and Improvements to the Bounds on Ternary Linear Codes

New ternary linear codeswith parameters [208, 8, 127], [150, 10, 85],[160, 10, 91], [170, 10, 97], [180,10, 103], and [190, 10, 110], are found whichimprove the known lower bound on the maximum possible minimumHamming distance. These codes are constructed from codes over via a Gray map.     

Some results on linear codes over the ring $$\mathbb {Z}_4+u\mathbb {Z}_4+v\mathbb {Z}_4+uv\mathbb {Z}_4$$

In this paper, we mainly study the theory of linear codes over the ring \(R =\mathbb {Z}_4+u\mathbb {Z}_4+v\mathbb {Z}_4+uv\mathbb {Z}_4\). By using the Chinese Remainder Theorem, we prove that R is isomorphic to a direct sum of four rings. We define a Gray map \(\Phi \) from \(R^{n}\) to \(\mathbb {Z}_4^{4n}\), which is a distance preserving map. The Gray image of a cyclic code over R is a linear code over \(\mathbb {Z}_4\). We also discuss some properties of MDS codes over R. Furthermore, we study the MacWilliams identities of linear codes over R and give the generator polynomials of cyclic codes over R.     

Hypersurfaces with {H_{r+1}} = 0 in {\mathbb{H}^n \times \mathbb{R}}

We prove the existence of rotational hypersurfaces in \({\mathbb{H}^n \times \mathbb{R}}\) with \({H_{r+1} = 0}\) (r-minimal hupersurfaces) and we classify them. Then we prove some uniqueness theorems for r-minimal hypersurfaces with a given (finite or asymptotic) boundary. In particular, we obtain a Schoen-type theorem for two ended complete hypersurfaces.     

Torified varieties and their geometries over {\mathbb{F}_1}

This paper invents the notion of torified varieties: A torification of a scheme is a decomposition of the scheme into split tori. A torified variety is a reduced scheme of finite type over ${\mathbb Z}$ that admits a torification. Toric varieties, split Chevalley schemes and flag varieties are examples of this type of scheme. Given a torified variety whose torification is compatible with an affine open covering, we construct a gadget in the sense of Connes?CConsani and an object in the sense of Soulé and show that both are varieties over ${\mathbb{F}_1}$ in the corresponding notion. Since toric varieties and split Chevalley schemes satisfy the compatibility condition, we shed new light on all examples of varieties over ${\mathbb{F}_1}$ in the literature so far. Furthermore, we compare Connes?CConsani??s geometry, Soulé??s geometry and Deitmar??s geometry, and we discuss to what extent Chevalley groups can be realized as group objects over ${\mathbb{F}_1}$ in the given categories.     

On the rational recursive sequencex_{n + 1} = \frac{{\alpha x_n + \beta x_{n - 1} + \gamma x_{n - 2} + \delta x_{n - 3} }}{{Ax_n + Bx_{n - 1} + Cx_{n - 2} + Dx_{n - 3} }}

The main objective of this paper is to study the boundedness character, the periodic character and the global stability of the positive solutions of the following difference equation $x_{n + 1} = \frac{{\alpha x_n + \beta x_{n - 1} + \gamma x_{n - 2} + \delta x_{n - 3} }}{{Ax_n + Bx_{n - 1} + Cx_{n - 2} + Dx_{n - 3} }},n = 0,1,2.....$ where the coefficientsA, B, C, D, α, β, γ, δ, and the initial conditionsx _-3,x _-2,x _-1,x ₀ are arbitrary positive real numbers.     

Permutation polynomials of the type $$x^rg(x^{s})$$ over $${\mathbb {F}}_{q^{2n}}$$Fq2n

We provide some new families of permutation polynomials of \({\mathbb {F}}_{q^{2n}}\) of the type \(x^rg(x^{s})\), where the integers r, s and the polynomial \(g \in {\mathbb {F}}_q[x]\) satisfy particular restrictions. Some generalizations of known permutation binomials and trinomials that involve a sort of symmetric polynomials are given. Other constructions are based on the study of algebraic curves associated to certain polynomials. In particular we generalize families of permutation polynomials constructed by Gupta–Sharma, Li–Helleseth, Li–Qu–Li–Fu.     

On the difference equation y_{n + 1} = \frac{{\alpha + y_n^p }} {{\beta y_{n - 1}^p }} - \frac{{\gamma + y_{n - 1}^p }} {{\beta y_n^p }}

In this paper, we investigate the global stability and the periodic nature of solutions of the difference equation $y_{n + 1} = \frac{{\alpha + y_n^p }} {{\beta y_{n - 1}^p }} - \frac{{\gamma + y_{n - 1}^p }} {{\beta y_n^p }},n = 0,1,2,... $ where α, β, γ ∈ (0,∞), α(1 ? p) ? γ > 0, 0 < p < 1, every y _n ≠ 0 for n = ?1, 0, 1, 2, … and the initial conditions y?1, y0 are arbitrary positive real numbers. We show that the equilibrium point of the difference equation is a global attractor with a basin that depends on the conditions of the coefficients.     

On the classification of exceptional planar functions over \mathbb {F}_{p}

We will present many strong partial results towards a classification of exceptional planar/PN monomial functions on finite fields. The techniques we use are the Weil bound, Bézout’s theorem, and Bertini’s theorem.     

On complete caps in the projective geometries over\mathbb{F}_3

It is known that the largest size of cap in PG(5, 3) is 56, but very little is known about complete caps of smaller size; the previously known complete caps withk < 56 all had size at most 43. In this paper we construct complete 48-caps and show that any 53-cap is extendable to a 56-cap. From this last result, we derive new upper bounds on the largest size of cap in PG(r, 3) forr 6. The results are obtained from a blend of geometric and coding theoretic techniques.     

Nonsingular points on hypersurfaces over $ \mathbb{F}_q $

In this survey article, we investigate hypersurfaces defined over finite fields. More specifically, we determine for which hypersurfaces one can ensure the existence of a nonsingular point taking the cardinality of our ambient field large if need be. Additionally, for such hypersurfaces we will find a lower bound on the cardinality for which a nonsingular point is guaranteed.     

The distribution of the zeros of the Goss zeta-function for A=\mathbb{F }\,\!{}_2[x,y]/(y^2+y+x^3+x+1)

Let $F$ be a global function field over a finite constant field and $\infty $ a place of $F$ . The ring $A$ of functions regular away from $\infty $ in $F$ is a Dedekind domain. For such $A$ Goss defined a $\zeta $ -function which is a continuous function from $\mathbb{Z }_p$ to the ring of entire power series with coefficients in the completion $F_\infty $ of $F$ at $\infty $ . He asks what one can say about the distribution of the zeros of the entire function at any parameter of $\mathbb{Z }_p$ . In the simplest case $A$ is the polynomial ring in one variable over a finite field. Here the question was settled completely by J. Sheats, after previous work by J. Diaz-Vargas, B. Poonen and D. Wan: for any parameter in $\mathbb{Z }_p$ the zeros of the power series have pairwise different valuations and they lie in  $F_\infty $ . In the present article we completely determine the distribution of zeros for the simplest case different from polynomial rings, namely $A=\mathbb{F }\,\!{}_2[x,y]/(y^2+y+x^3+x+1)$ —this $A$ has class number $1$ , it is the affine coordinate ring of a supersingular elliptic curve and the place $\infty $ is $\mathbb{F }\,\!{}_2$ -rational. The answer is slightly different from the above case of polynomial rings. For arbitrary $A$ such that $\infty $ is a rational place of $F$ , we describe a pattern in the distribution of zeros which we observed in some computational experiments. Finally, we present some precise conjectures on the fields of rationality of these zeroes for one particular hyperelliptic $A$ of genus  $2$ .     

Uniqueness of \mathbb{C}^{ * } - and \mathbb{C}_{{\text{ + }}} -actions on Gizatullin Surfaces

A Gizatullin surface is a normal affine surface V over $ \mathbb{C} $ , which can be completed by a zigzag; that is, by a linear chain of smooth rational curves. In this paper we deal with the question of uniqueness of $ \mathbb{C}^{ * } $ -actions and $ \mathbb{A}^{{\text{1}}} $ -fibrations on such a surface V up to automorphisms. The latter fibrations are in one to one correspondence with $ \mathbb{C}_{{\text{ + }}} $ -actions on V considered up to a “speed change”. Non-Gizatullin surfaces are known to admit at most one $ \mathbb{A}^{1} $ -fibration V → S up to an isomorphism of the base S. Moreover, an effective $ \mathbb{C}^{ * } $ -action on them, if it does exist, is unique up to conjugation and inversion t $ \mapsto $ t ^?1 of $ \mathbb{C}^{ * } $ . Obviously, uniqueness of $ \mathbb{C}^{ * } $ -actions fails for affine toric surfaces. There is a further interesting family of nontoric Gizatullin surfaces, called the Danilov-Gizatullin surfaces, where there are in general several conjugacy classes of $ \mathbb{C}^{ * } $ -actions and $ \mathbb{A}^{{\text{1}}} $ -fibrations, see, e.g., [FKZ1]. In the present paper we obtain a criterion as to when $ \mathbb{A}^{{\text{1}}} $ -fibrations of Gizatullin surfaces are conjugate up to an automorphism of V and the base $ S \cong \mathbb{A}^{{\text{1}}} $ . We exhibit as well large subclasses of Gizatullin $ \mathbb{C}^{ * } $ -surfaces for which a $ \mathbb{C}^{ * } $ -action is essentially unique and for which there are at most two conjugacy classes of $ \mathbb{A}^{{\text{1}}} $ -fibrations over $ \mathbb{A}^{{\text{1}}} $ .