Computational results of duadic double circulant codes

Quadratic residue codes have been one of the most important classes of algebraic codes. They have been generalized into duadic codes and quadratic double circulant codes. In this paper we introduce a new subclass of double circulant codes, called duadic double circulant codes, which is a generalization of quadratic double circulant codes for prime lengths. This class generates optimal self-dual codes, optimal linear codes, and linear codes with the best known parameters in a systematic way. We describe a method to construct duadic double circulant codes using 4-cyclotomic cosets and give certain duadic double circulant codes over $\mathbb{F}_{2}$ , $\mathbb{F}_{3}$ , $\mathbb{F}_{4}$ , $\mathbb{F}_{5}$ , and $\mathbb{F}_{7}$ . In particular, we find a new ternary self-dual [76,38,18] code and easily rediscover optimal binary self-dual codes with parameters [66,33,12], [68,34,12], [86,43,16], and [88,44,16] as well as a formally self-dual binary [82,41,14] code.     

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.     

Maximum distance separable codes over {\mathbb{Z}_4} and {\mathbb{Z}_2 \times \mathbb{Z}_4}

Known upper bounds on the minimum distance of codes over rings are applied to the case of ${\mathbb Z_{2}\mathbb Z_{4}}$ -additive codes, that is subgroups of ${\mathbb Z_{2}^{\alpha}\mathbb Z_{4}^{\beta}}$ . Two kinds of maximum distance separable codes are studied. We determine all possible parameters of these codes and characterize the codes in certain cases. The main results are also valid when ?? = 0, namely for quaternary linear codes.     

Linear recurring sequences and subfield subcodes of cyclic codes

Linear recurring sequences over finite fields play an important role in coding theory and cryptography. It is known that subfield subcodes of linear codes yield some good codes. In this paper, we study linear recurring sequences and subfield subcodes. Let Mqm(f(x)) denote the set of all linear recurring sequences over Fqm with characteristic polynomial f(x) over Fqm . Denote the restriction of Mqm(f(x)) to sequences over Fq and the set after applying trace function to each sequence in Mqm(f(x)) by Mqm(f(x)) | Fq and Tr( Mqm(f(x))), respectively. It is shown that these two sets are both complete sets of linear recurring sequences over Fq with some characteristic polynomials over Fq. In this paper, we firstly determine the characteristic polynomials for these two sets. Then, using these results, we determine the generator polynomials of subfield subcodes and trace codes of cyclic codes over Fqm .     

Computing α-Invariants of Singular del Pezzo Surfaces

We prove a new local inequality for divisors on surfaces and utilize it to compute α-invariants of singular del Pezzo surfaces, which implies that del Pezzo surfaces of degree one whose singular points are of type $\mathbb{A}_{1}$ , $\mathbb{A}_{2}$ , $\mathbb{A}_{3}$ , $\mathbb{A}_{4}$ , $\mathbb{A}_{5}$ , or $\mathbb{A}_{6}$ are Kähler-Einstein.     

Positivity of eigenvalues of the two-particle Schrödinger operator on a lattice

We consider the family H(k) of two-particle discrete Schrödinger operators depending on the quasimomentum of a two-particle system k ∈ $\mathbb{T}^d $ , where $\mathbb{T}^d $ is a d-dimensional torus. This family of operators is associated with the Hamiltonian of a system of two arbitrary particles on the d-dimensional lattice ?^d, d ≥ 3, interacting via a short-range attractive pair potential. We prove that the eigenvalues of the Schrödinger operator H(k) below the essential spectrum are positive for all nonzero values of the quasimomentum k ∈ $\mathbb{T}^d $ if the operator H(0) is nonnegative. We establish a similar result for the eigenvalues of the Schrödinger operator H₊(k), k ∈ $\mathbb{T}^d $ , corresponding to a two-particle system with repulsive interaction.     

Calabi Product Lagrangian Immersions in Complex Projective Space and Complex Hyperbolic Space

Starting from two Lagrangian immersions and a Legendre curve ${\tilde{\gamma}(t)}$ in ${\mathbb{S}^3(1)}$ $({\rm or\,in}\,{\mathbb{H}_1^3(-1)})$ , it is possible to construct a new Lagrangian immersion in ${\mathbb{CP}^n(4)}$ $({\rm or\,in}\,{\mathbb{CH}^n(-4)})$ , which is called a warped product Lagrangian immersion. When ${\tilde{\gamma}(t)=(r_1e^{i(\frac{r_2}{r_1}at)}, \;r_2e^{i(- \frac{r_1}{r_2}at)})}$ $({\rm or}\,{\tilde{\gamma}(t)=(r_1e^{i(\frac{r_2}{r_1}at)}, \;r_2e^{i( \frac{r_1}{r_2}at)})})$ , where r ₁, r ₂, and a are positive constants with ${r_1^2+r_2^2=1}$ $({\rm or}\,{-r_1^2+r_2^2=-1})$ , we call the new Lagrangian immersion a Calabi product Lagrangian immersion. In this paper, we study the inverse problem: how to determine from the properties of the second fundamental form whether a given Lagrangian immersion of ${\mathbb{CP}^n(4)}$ or ${\mathbb{CH}^n(-4)}$ is a Calabi product Lagrangian immersion. When the Calabi product is minimal, or is Hamiltonian minimal, or has parallel second fundamental form, we give some further characterizations.     

Separable forms of {{\mathbb{G}}_m} -ACTIONS ON {{\mathbb{A}}^3}

Let k be a field of characteristic zero. We consider k-forms of $ {\mathbb G} $ _m -actions on $ {\mathbb A} $ ³ and show that they are linearizable. In particular, $ {\mathbb G} $ _m -actions on $ {\mathbb A} $ ³ are linearizable, and k-forms of $ {\mathbb A} $ ³ that admit an effective action of an infinite reductive group are trivial.     

Extinction profile of the logarithmic diffusion equation

Let ${N \geq 3}$ and u be the solution of u _t = Δ log u in ${\mathbb{R}^N \times (0, T)}$ with initial value u ₀ satisfying ${B_{k_1}(x, 0) \leq u_{0} \leq B_{k_2}(x, 0)}$ for some constants k ₁ > k ₂ > 0 where ${B_k(x, t) = 2(N - 2)(T - t)_{+}^{N/(N - 2)}/(k + (T - t)_{+}^{2/(N - 2)}|x|^{2})}$ is the Barenblatt solution for the equation and ${u_0 - B_{k_0} \in L^{1}(\mathbb{R}^{N})}$ for some constant k ₀ > 0 if ${N \geq 4}$ . We give a new different proof on the uniform convergence and ${L^1(\mathbb{R}^N)}$ convergence of the rescaled function ${\tilde{u}(x, s) = (T - t)^{-N/(N - 2)}u(x/(T - t)^{-1/(N - 2)}, t), s = -{\rm log}(T - t)}$ , on ${\mathbb{R}^N}$ to the rescaled Barenblatt solution ${\tilde{B}_{k_0}(x) = 2(N - 2)/(k_0 + |x|^{2})}$ for some k ₀ > 0 as ${s \rightarrow \infty}$ . When ${N \geq 4, 0 \leq u_0(x) \leq B_{k_0}(x, 0)}$ in ${\mathbb{R}^N}$ , and ${|u_0(x) - B_{k_0}(x, 0)| \leq f \in L^{1}(\mathbb{R}^{N})}$ for some constant k ₀ > 0 and some radially symmetric function f, we also prove uniform convergence and convergence in some weighted L ¹ space in ${\mathbb{R}^N}$ of the rescaled solution ${\tilde{u}(x, s)}$ to ${\tilde{B}_{k_0}(x)}$ as ${s \rightarrow \infty}$ .     

Heavy tail phenomenon and convergence to stable laws for iterated Lipschitz maps

We consider the Markov chain ${\{X_n^x\}_{n=0}^\infty}$ on ${\mathbb{R}^d}$ defined by the stochastic recursion ${X_{n}^{x}= \psi_{\theta_{n}} (X_{n-1}^{x})}$ , starting at ${x\in\mathbb{R}^d}$ , where ?? ₁, ?? ₂, . . . are i.i.d. random variables taking their values in a metric space ${(\Theta, \mathfrak{r})}$ , and ${\psi_{\theta_{n}} :\mathbb{R}^d\mapsto\mathbb{R}^d}$ are Lipschitz maps. Assume that the Markov chain has a unique stationary measure ??. Under appropriate assumptions on ${\psi_{\theta_n}}$ , we will show that the measure ?? has a heavy tail with the exponent ???>?0 i.e. ${\nu(\{x\in\mathbb{R}^d: |x| > t\})\asymp t^{-\alpha}}$ . Using this result we show that properly normalized Birkhoff sums ${S_n^x=\sum_{k=1}^n X_k^x}$ , converge in law to an ??-stable law for ${\alpha\in(0, 2]}$ .     

A lemma on binomial coefficients and applications to Lee weights modulo 2 e of codes over {\mathbb{Z}_4}

In this work, we prove that if C is a free ${\mathbb{Z}_4}$ -module of rank k in ${\mathbb{Z}_4^n}$ , and ${j\in \mathbb{Z}}$ and e ≥ 1, then the number of codewords in C with Lee weight congruent to j modulo 2 ^e is divisible by ${2^{\left \lfloor \large{\frac{k-2^{e-2}}{2^{e-2}}} \right \rfloor}}$ . We prove this result by introducing a lemma and applying the lemma in one of the theorems proved by Wilson. The method used is different than the one used in our previous work on Lee weight enumerators in which more general results were obtained. Moreover, Wilson’s methods are used to prove that the results obtained are sharp by calculating the power of 2 that divides the number of codewords in the trivial code ${\mathbb{Z}_{4}^k}$ with Lee weight congruent to j modulo 2 ^e .     

On the functional codes defined by quadrics and Hermitian varieties

In recent years, functional codes have received much attention. In his PhD thesis, F.A.B. Edoukou investigated various functional codes linked to quadrics and Hermitian varieties defined in finite projective spaces (Edoukou, PhD Thesis, 2007). This work was continued in (Edoukou et al., Des Codes Cryptogr 56:219–233, 2010; Edoukou et al., J Pure Appl Algebr 214:1729–1739, 2010; Hallez and Storme, Finite Fields Appl 16:27–35, 2010), where the results of the thesis were improved and extended. In particular, Hallez and Storme investigated the functional codes ${C_2(\mathcal{H})}$ , with ${\mathcal{H}}$ a non-singular Hermitian variety in PG(N, q ²). The codewords of this code are defined by evaluating the points of ${\mathcal{H}}$ in the quadratic polynomials defined over ${\mathbb{F}_{q^2}}$ . We now present the similar results for the functional code ${C_{Herm}(\mathcal{Q})}$ . The codewords of this code are defined by evaluating the points of a non-singular quadric ${\mathcal{Q}}$ in PG(N, q ²) in the polynomials defining the Hermitian varieties of PG(N, q ²).     

Estimates in Beurling-Helson type theorems: Multidimensional case

We consider the spaces A _p ( $\mathbb{T}^m $ ) of functions f on the m-dimensional torus $\mathbb{T}^m $ such that the sequence of Fourier coefficients $\hat f = \{ \hat f(k),k \in \mathbb{Z}^m \} $ belongs to l ^p (? ^m ), 1 ≤ p < 2. The norm on A _p ( $\mathbb{T}^m $ ) is defined by $\left\| f \right\|_{A_p (\mathbb{T}^m )} = \left\| {\hat f} \right\|_{l^p (\mathbb{Z}^m )} $ . We study the rate of growth of the norms $\left\| {e^{i\lambda \phi } } \right\|_{A_p (\mathbb{T}^m )} $ as |λ| → ∞, λ ∈ ?, for C ¹-smooth real functions φ on $\mathbb{T}^m $ (the one-dimensional case was investigated by the author earlier). The lower estimates that we obtain have direct analogs for the spaces A _p (? ^m ).     

Tail homogeneity of invariant measures of multidimensional stochastic recursions in a critical case

We consider the stochastic recursion ${X_{n+1} = M_{n+1}X_{n} + Q_{n+1}, (n \in \mathbb{N})}$ , where ${Q_n, X_n \in \mathbb{R}^d }$ , M _n are similarities of the Euclidean space ${ \mathbb{R}^d }$ and (Q _n , M _n ) are i.i.d. We study asymptotic properties at infinity of the invariant measure for the Markov chain X _n under assumption ${\mathbb{E}{[\log|M|]}=0}$ i.e. in the so called critical case.     

The selfnegadual properties of generalised quadratic Boolean functions

We define and characterise selfnegadual generalised quadratic Boolean functions by establishing a link, both to the multiplicative order of symmetric binary matrices, and also to the Hermitian self-dual ${\mathbb{F}_4}$ -linear codes. This facilitates a novel way to classify Hermitian self-dual ${\mathbb{F}_4}$ -linear codes.     

On the Equivariant Cohomology of Subvarieties of a \mathfrak{B}-Regular Variety

By a $\mathfrak{B}$ -regular variety, we mean a smooth projective variety over $\mathbb{C}$ admitting an algebraic action of the upper triangular Borel subgroup $\mathfrak{B} \subset {\text{SL}}_{2} {\left( \mathbb{C} \right)}$ such that the unipotent radical in $\mathfrak{B}$ has a unique fixed point. A result of Brion and the first author [4] describes the equivariant cohomology algebra (over $\mathbb{C}$ ) of a $\mathfrak{B}$ -regular variety X as the coordinate ring of a remarkable affine curve in $X \times \mathbb{P}^{1}$ . The main result of this paper uses this fact to classify the $\mathfrak{B}$ -invariant subvarieties Y of a $\mathfrak{B}$ -regular variety X for which the restriction map i _Y : H ^*(X) → H ^*(Y) is surjective.     

On the unique representation of very strong algebraic geometry codes

This paper addresses the question of retrieving the triple ${(\mathcal X,\mathcal P, E)}$ from the algebraic geometry code ${\mathcal C = \mathcal C_L(\mathcal X, \mathcal P, E)}$ , where ${\mathcal X}$ is an algebraic curve over the finite field ${\mathbb F_q, \,\mathcal P}$ is an n-tuple of ${\mathbb F_q}$ -rational points on ${\mathcal X}$ and E is a divisor on ${\mathcal X}$ . If ${\deg(E)\geq 2g+1}$ where g is the genus of ${\mathcal X}$ , then there is an embedding of ${\mathcal X}$ onto ${\mathcal Y}$ in the projective space of the linear series of the divisor E. Moreover, if ${\deg(E)\geq 2g+2}$ , then ${I(\mathcal Y)}$ , the vanishing ideal of ${\mathcal Y}$ , is generated by ${I_2(\mathcal Y)}$ , the homogeneous elements of degree two in ${I(\mathcal Y)}$ . If ${n >2 \deg(E)}$ , then ${I_2(\mathcal Y)=I_2(\mathcal Q)}$ , where ${\mathcal Q}$ is the image of ${\mathcal P}$ under the map from ${\mathcal X}$ to ${\mathcal Y}$ . These three results imply that, if ${2g+2\leq m < \frac{1}{2}n}$ , an AG representation ${(\mathcal Y, \mathcal Q, F)}$ of the code ${\mathcal C}$ can be obtained just using a generator matrix of ${\mathcal C}$ where ${\mathcal Y}$ is a normal curve in ${\mathbb{P}^{m-g}}$ which is the intersection of quadrics. This fact gives us some clues for breaking McEliece cryptosystem based on AG codes provided that we have an efficient procedure for computing and decoding the representation obtained.     

Quasi–Monte Carlo rules for numerical integration over the unit sphere {\mathbb{S}^2}

We study numerical integration on the unit sphere ${\mathbb{S}^2 \subseteq\mathbb{R}^3}$ using equal weight quadrature rules, where the weights are such that constant functions are integrated exactly. The quadrature points are constructed by lifting a (0, m, 2)-net given in the unit square [0, 1]² to the sphere ${\mathbb{S}^2}$ by means of an area preserving map. A similar approach has previously been suggested by Cui and Freeden [SIAM J Sci Comput 18(2):595–609, 1997]. We prove three results. The first one is that the construction is (almost) optimal with respect to discrepancies based on spherical rectangles. Further we prove that the point set is asymptotically uniformly distributed on ${\mathbb{S}^2}$ . And finally, we prove an upper bound on the spherical cap L ₂-discrepancy of order N ^?1/2(log N)^1/2 (where N denotes the number of points). This improves upon the bound on the spherical cap L ₂-discrepancy of the construction by Lubotzky, Phillips and Sarnak [Commun Pure Appl Math 39(S, suppl):S149–S186, 1986] by a factor of ${\sqrt{\log N}}$ . Numerical results suggest that the (0, m, 2)-nets lifted to the sphere ${\mathbb{S}^2}$ have spherical cap L ₂-discrepancy converging with the optimal order of N ^?3/4.