$${\mathbb{Z}_2\mathbb{Z}_4}$$-linear codes: rank and kernel

A code C{{\mathcal C}} is \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-additive if the set of coordinates can be partitioned into two subsets X and Y such that the punctured code of C{{\mathcal C}} by deleting the coordinates outside X (respectively, Y) is a binary linear code (respectively, a quaternary linear code). The corresponding binary codes of \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-additive codes under an extended Gray map are called \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear codes. In this paper, the invariants for \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear codes, the rank and dimension of the kernel, are studied. Specifically, given the algebraic parameters of \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear codes, the possible values of these two invariants, giving lower and upper bounds, are established. For each possible rank r between these bounds, the construction of a \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear code with rank r is given. Equivalently, for each possible dimension of the kernel k, the construction of a \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear code with dimension of the kernel k is given. Finally, the bounds on the rank, once the kernel dimension is fixed, are established and the construction of a \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear code for each possible pair (r, k) is given.     

Maximal partial packings of $${Z_2^n}$$ with perfect codes

A maximal partial Hamming packing of is a family of mutually disjoint translates of Hamming codes of length n, such that any translate of any Hamming code of length n intersects at least one of the translates of Hamming codes in . The number of translates of Hamming codes in is the packing number, and a partial Hamming packing is strictly partial if the family does not constitute a partition of . A simple and useful condition describing when two translates of Hamming codes are disjoint or not disjoint is proved. This condition depends on the dual codes of the corresponding Hamming codes. Partly, by using this condition, it is shown that the packing number p, for any maximal strictly partial Hamming packing of , n = 2 ^m −1, satisfies . It is also proved that for any n equal to 2 ^m −1, , there exist maximal strictly partial Hamming packings of with packing numbers n−10,n−9,n−8,...,n−1. This implies that the upper bound is tight for any n = 2 ^m −1, . All packing numbers for maximal strictly partial Hamming packings of , n = 7 and 15, are found by a computer search. In the case n = 7 the packing number is 5, and in the case n = 15 the possible packing numbers are 5,6,7,...,13 and 14.      

A new extension theorem for 3-weight modulo q linear codes over $${\mathbb{F}_ q}$$

We prove that every [n, k, d] _q code with q ≥ 4, k ≥ 3, whose weights are congruent to 0, −1 or −2 modulo q and is extendable unless its diversity is for odd q, where .      

Amenability,tubularity, and embeddings into $$\mathcal{R}^{\omega}$$

Suppose M is a tracial von Neumann algebra embeddable into (the ultraproduct of the hyperfinite II₁-factor) and X is an n-tuple of selfadjoint generators for M. Denote by Γ(X; m, k, γ) the microstate space of X of order (m, k ,γ). We say that X is tubular if for any ε >  0 there exist and γ > 0 such that if then there exists a k × k unitary u satisfying for each 1 ≤  i ≤  n. We show that the following conditions are equivalent:

Foliations and polynomial diffeomorphisms of $${\mathbb{R}^{3}}$$

Let be a C ² map and let Spec(Y) denote the set of eigenvalues of the derivative DY _p , when p varies in . We begin proving that if, for some ϵ > 0, then the foliation with made up by the level surfaces {k = constant}, consists just of planes. As a consequence, we prove a bijectivity result related to the three-dimensional case of Jelonek’s Jacobian Conjecture for polynomial maps of The first author was supported by CNPq-Brazil Grant 306992/2003-5. The first and second author were supported by FAPESP-Brazil Grant 03/03107-9.     

On the dimension of invariant measures of endomorphisms of $${\mathbb{C}\mathbb{P}^k}$$

Let f be an endomorphism of \mathbbC\mathbbP^k{\mathbb{C}\mathbb{P}^k} and ν be an f-invariant measure with positive Lyapunov exponents (λ ₁, . . . , λ _k ). We prove a lower bound for the pointwise dimension of ν in terms of the degree of f, the exponents of ν and the entropy of ν. In particular our result can be applied for the maximal entropy measure μ. When k = 2, it implies that the Hausdorff dimension of μ is estimated by dim_Hm 3 [(log d)/(l₁)] + [(log d)/(l₂)]{{\rm dim}_\mathcal{H}\mu \geq {{\rm log} d \over \lambda_1} + {{\rm log} d \over \lambda_2}}, which is half of the conjectured formula. Our method for proving these results consists in studying the distribution of the ν-generic inverse branches of f ⁿ in \mathbbC\mathbbP^k{\mathbb{C}\mathbb{P}^k} . Our tools are a volume growth estimate for the bounded holomorphic polydiscs in \mathbbC\mathbbP^k{\mathbb{C}\mathbb{P}^k} and a normalization theorem for the ν-generic inverse branches of f ⁿ .     

The upper bound of the $${{\rm L}_{\mu}^2}$$ spectrum

Let M be an n-dimensional complete non-compact Riemannian manifold, dμ = e ^h (x)dV(x) be the weighted measure and \triangle_m{\triangle_{\mu}} be the weighted Laplacian. In this article, we prove that when the m-dimensional Bakry–émery curvature is bounded from below by Ric _m ≥ −(m − 1)K, K ≥ 0, then the bottom of the L_m²{{\rm L}_{\mu}^2} spectrum λ₁(M) is bounded by

Uniformization of {\mathcal {G}}-bundles

We show some of the conjectures of Pappas and Rapoport concerning the moduli stack Bun_G{{\rm Bun}_\mathcal {G}} of G{\mathcal {G}}-torsors on a curve C, where G{\mathcal {G}} is a semisimple Bruhat-Tits group scheme on C. In particular we prove the analog of the uniformization theorem of Drinfeld-Simpson in this setting. Furthermore we apply this to compute the connected components of these moduli stacks and to calculate the Picard group of Bun_G{{\rm Bun}_\mathcal {G}} in case G{\mathcal {G}} is simply connected.     

$${{{\mathbb Z}_2}{{\mathbb Z}_4}}$$ -linear codes: generator matrices and duality

A code C{{\mathcal C}} is \mathbb Z₂\mathbb Z₄{{{\mathbb Z}_2}{{\mathbb Z}_4}} -additive if the set of coordinates can be partitioned into two subsets X and Y such that the punctured code of C{{\mathcal C}} by deleting the coordinates outside X (respectively, Y) is a binary linear code (respectively, a quaternary linear code). In this paper \mathbb Z₂\mathbb Z₄{{{\mathbb Z}_2}{{\mathbb Z}_4}} -additive codes are studied. Their corresponding binary images, via the Gray map, are \mathbb Z₂\mathbb Z₄{{{\mathbb Z}_2}{{\mathbb Z}_4}} -linear codes, which seem to be a very distinguished class of binary group codes. As for binary and quaternary linear codes, for these codes the fundamental parameters are found and standard forms for generator and parity-check matrices are given. In order to do this, the appropriate concept of duality for \mathbb Z₂\mathbb Z₄{{{\mathbb Z}_2}{{\mathbb Z}_4}} -additive codes is defined and the parameters of their dual codes are computed.     

Dimension Free Estimates for Riesz Transforms Associated to the Harmonic Oscillator on \mathbb{R}^{n}

Let L=?Δ+|ξ|² be the harmonic oscillator on $\mathbb{R}^{n}Let L=−Δ+|ξ|² be the harmonic oscillator on \mathbbRⁿ\mathbb{R}^{n} , with the associated Riesz transforms R_2j−1=(∂/∂ξ_j)L^−1/2,R_2j=ξ_jL^−1/2. We give a shorter proof of a recent result of Harboure, de Rosa, Segovia, Torrea: For 1<p<∞ and a dimension free constant C_p,

||(?k=12n|Rk(f)|2)1/2||Lp(\mathbbRn,dx)\leqslant Cp||f||Lp(\mathbbRn,dx).\bigg\Vert \bigg(\sum_{k=1}^{2n}\vert R_{k}(f)\vert ^{2}\bigg)^{{1}/{2}}\bigg\Vert _{L^{p}(\mathbb{R}^{n},\mathrm{d}\xi )}\leqslant C_{p}\Vert f\Vert _{L^{p}(\mathbb{R}^{n},\mathrm{d}\xi )}.      11. On the k-error linear complexity over \mathbb{F}_p of Legendre and Sidelnikov sequences      Hassan Aly  Arne Winterhof 《Designs, Codes and Cryptography》2006,40(3):369-374 We determine exact values for the k-error linear complexity L k over the finite field of the Legendre sequence of period p and the Sidelnikov sequence of period p m  − 1. The results are for 1 ≤ k ≤ (p m  − 3)/2 and for k≥ (p m  − 1)/2. In particular, we prove       12. Closed characteristics on non-compact hypersurfaces in $${\mathbb {R}^{2n}}$$      Jan Bouwe van den Berg  Federica Pasquotto  Robert C. Vandervorst 《Mathematische Annalen》2009,343(2):247-284 Viterbo demonstrated that any (2n − 1)-dimensional compact hypersurface of contact type has at least one closed characteristic. This result proved the Weinstein conjecture for the standard symplectic space (, ω). Various extensions of this theorem have been obtained since, all for compact hypersurfaces. In this paper we consider non-compact hypersurfaces coming from mechanical Hamiltonians, and prove an analogue of Viterbo’s result. The main result provides a strong connection between the top half homology groups H i (M), i = n, . . . , 2n − 1, and the existence of closed characteristics in the non-compact case (including the compact case). J. B. van den Berg is supported by NWO VENI grant 639.031.204. R. C. Vandervorst and F. Pasquotto are supported by NWO VIDI grant 639.032.202. This research is also partially supported by the RTN project ‘Fronts-Singularities’.      13. Between quantum Virasoro algebra $$\mathcal{L}_c $$ and generalized Clifford algebras      E. H. El Kinani 《Advances in Applied Clifford Algebras》2003,13(2):127-131 In this paper we construct the quantum Virasoro algebra generators in terms of operators of the generalized Clifford algebras Cnk. Precisely, we show that can be embedded into generalized Clifford algebras. Junior Associate at The Abdus Salam ICTP, Trieste, Italy.      14. An Inverse Theorem for the Uniformity Seminorms Associated with the Action of {{\mathbb {F}^{\infty}_{p}}}      Vitaly Bergelson  Terence Tao  Tamar Ziegler 《Geometric And Functional Analysis》2010,19(6):1539-1596 Let ${\mathbb {F}}Let \mathbb F{\mathbb {F}} a finite field. We show that the universal characteristic factor for the Gowers–Host–Kra uniformity seminorm U k (X) for an ergodic action (Tg)g ? \mathbb Fw{(T_{g})_{{g} \in \mathbb {F}^{\omega}}} of the infinite abelian group \mathbb Fw{\mathbb {F}^{\omega}} on a probability space X = (X, B, m){X = (X, \mathcal {B}, \mu)} is generated by phase polynomials f: X ? S1{\phi : X \to S^{1}} of degree less than C(k) on X, where C(k) depends only on k. In the case where k ￡ char(\mathbb F){k \leq {\rm char}(\mathbb {F})} we obtain the sharp result C(k) = k. This is a finite field counterpart of an analogous result for \mathbb Z{\mathbb {Z}} by Host and Kra [HK]. In a companion paper [TZ] to this paper, we shall combine this result with a correspondence principle to establish the inverse theorem for the Gowers norm in finite fields in the high characteristic case k ￡ char(\mathbb F){k \leq {\rm char}(\mathbb {F})} , with a partial result in low characteristic.      15. Elliptic near-MDS codes over $${\mathbb{F}}_5$$      Vito Abatangelo  Bambina Larato 《Designs, Codes and Cryptography》2008,46(2):167-174 Let Γ6 be the elliptic curve of degree 6 in PG(5, q) arising from a non-singular cubic curve of PG(2, q) via the canonical Veronese embedding(1) If Γ6 (equivalently ) has n GF(q)-rational points, then the associated near-MDS code has length n and dimension 6. In this paper, the case q  =  5 is investigated. For q  =  5, the maximum number of GF(q)-rational points of an elliptic curve is known to be equal to ten. We show that for an elliptic curve with ten GF(5)-rational points, the associated near-MDS code can be extended by adding two more points of PG(5, 5). In this way we obtain six non-isomorphic [12, 6]5 codes. The automorphism group of is also considered.       16. On the minimum length of some linear codes      E. J. Cheon  T. Maruta 《Designs, Codes and Cryptography》2007,43(2-3):123-135 We determine the minimum length n q (k, d) for some linear codes with k ≥ 5 and q ≥ 3. We prove that n q (k, d) = g q (k, d) + 1 for when k is odd, for when k is even, and for . This work was supported by the Korea Research Foundation Grant funded by the Korean Government(MOEHRD). (KRF-2005-214-C00175). This research has been partially supported by Grant-in-Aid for Scientific Research of Japan Society for the Promotion of Science under Contract Number 17540129.      17. On the Graph Connectivity of Skeleta of Convex Polytopes      Christos A. Athanasiadis 《Discrete and Computational Geometry》2009,42(2):155-165 Given a d-dimensional convex polytope P and nonnegative integer k not exceeding d−1, let denote the simple graph on the node set of k-dimensional faces of P in which two such faces are adjacent if there exists a (k+1)-dimensional face of P which contains them both. The graph is isomorphic to the dual graph of the (d−k)-dimensional skeleton of the normal fan of P. For fixed values of k and d, the largest integer m such that is m-vertex-connected for all d-dimensional polytopes P is determined. This result generalizes Balinski’s theorem on the one-dimensional skeleton of a d-dimensional convex polytope. Supported by the 70/4/8755 ELKE Research Fund of the University of Athens.      18. Cyclic codes over $${{\mathbb{F}}_2+u{\mathbb{F}}_2+v{\mathbb{F}}_2+uv{\mathbb{F}}_2}$$      Bahattin Yildiz  Suat Karadeniz 《Designs, Codes and Cryptography》2011,58(3):221-234 In this work, we focus on cyclic codes over the ring \mathbbF2+u\mathbbF2+v\mathbbF2+uv\mathbbF2{{{\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 (\mathbbF2+u\mathbbF2+v\mathbbF2+uv\mathbbF2)/(xn-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 \mathbbF2+u\mathbbF2+v\mathbbF2+uv\mathbbF2{{{\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 \mathbbF2+u\mathbbF2+v\mathbbF2+uv\mathbbF2{{{\mathbb{F}}_2+u{\mathbb{F}}_2+v{\mathbb{F}}_2+uv{\mathbb{F}}_2}} in general.      19. Symmetric Tensors And Geometry of {\mathbb{P}} ^N Subvarieties      Fedor Bogomolov  Bruno De Oliveira 《Geometric And Functional Analysis》2008,18(3):637-656 This paper using a geometric approach produces vanishing and nonvanishing results concerning the spaces of twisted symmetric differentials on subvarieties , with k ≤ m. Emphasis is given to the case of k = m which is special and whose nonvanishing results on the dimensional range dim X > 2/3(N − 1) are related to the space of quadrics containing X and the variety of all tangent trisecant lines of X. The paper ends with an application showing that the twisted symmetric plurigenera, along smooth families of projective varieties Xt are not invariant even for α arbitrarily large. Received: September 2006, Revision: May 2007, Accepted: June 2007      20. Hyperbolic Function Theory in the Clifford Algebra {\mathcal {C}}\ell_{n+1, 0}      Sirkka-Liisa Eriksson  Heikki Orelma 《Advances in Applied Clifford Algebras》2009,19(2):283-301 The aim of this paper is to give the basic principles of hyperbolic function theory on the Clifford algebra . The structure of the theory is quite similar to the case of Clifford algebras with negative generators, but the proofs are not obvious. The (real) Clifford algebra is generated by unit vectors with positive squares e2i = + 1. The hyperbolic Dirac operator is of the form where Q0f is represented by the composition . If is a solution of Hkf = 0, then f is called k-hypergenic in Ω, where is an open set. We introduce some basic results of hyperbolic function theory and give some representation theorems on . Received: October, 2007. Accepted: February, 2008.

On the k-error linear complexity over \mathbb{F}_p of Legendre and Sidelnikov sequences

We determine exact values for the k-error linear complexity L _k over the finite field of the Legendre sequence of period p and the Sidelnikov sequence of period p ^m  − 1. The results are

Closed characteristics on non-compact hypersurfaces in $${\mathbb {R}^{2n}}$$

Viterbo demonstrated that any (2n − 1)-dimensional compact hypersurface of contact type has at least one closed characteristic. This result proved the Weinstein conjecture for the standard symplectic space (, ω). Various extensions of this theorem have been obtained since, all for compact hypersurfaces. In this paper we consider non-compact hypersurfaces coming from mechanical Hamiltonians, and prove an analogue of Viterbo’s result. The main result provides a strong connection between the top half homology groups H _i (M), i = n, . . . , 2n − 1, and the existence of closed characteristics in the non-compact case (including the compact case). J. B. van den Berg is supported by NWO VENI grant 639.031.204. R. C. Vandervorst and F. Pasquotto are supported by NWO VIDI grant 639.032.202. This research is also partially supported by the RTN project ‘Fronts-Singularities’.     

Between quantum Virasoro algebra $$\mathcal{L}_c $$ and generalized Clifford algebras

In this paper we construct the quantum Virasoro algebra generators in terms of operators of the generalized Clifford algebras C_n^k. Precisely, we show that can be embedded into generalized Clifford algebras. Junior Associate at The Abdus Salam ICTP, Trieste, Italy.     

An Inverse Theorem for the Uniformity Seminorms Associated with the Action of {{\mathbb {F}^{\infty}_{p}}}

Let ${\mathbb {F}}Let \mathbb F{\mathbb {F}} a finite field. We show that the universal characteristic factor for the Gowers–Host–Kra uniformity seminorm U ^k (X) for an ergodic action (T_g)_{g ? \mathbb F^w}{(T_{g})_{{g} \in \mathbb {F}^{\omega}}} of the infinite abelian group \mathbb F^w{\mathbb {F}^{\omega}} on a probability space X = (X, B, m){X = (X, \mathcal {B}, \mu)} is generated by phase polynomials f: X ? S¹{\phi : X \to S^{1}} of degree less than C(k) on X, where C(k) depends only on k. In the case where k ￡ char(\mathbb F){k \leq {\rm char}(\mathbb {F})} we obtain the sharp result C(k) = k. This is a finite field counterpart of an analogous result for \mathbb Z{\mathbb {Z}} by Host and Kra [HK]. In a companion paper [TZ] to this paper, we shall combine this result with a correspondence principle to establish the inverse theorem for the Gowers norm in finite fields in the high characteristic case k ￡ char(\mathbb F){k \leq {\rm char}(\mathbb {F})} , with a partial result in low characteristic.     

Elliptic near-MDS codes over $${\mathbb{F}}_5$$

Let Γ₆ be the elliptic curve of degree 6 in PG(5, q) arising from a non-singular cubic curve of PG(2, q) via the canonical Veronese embedding

On the minimum length of some linear codes

We determine the minimum length n _q (k, d) for some linear codes with k ≥ 5 and q ≥ 3. We prove that n _q (k, d) = g _q (k, d) + 1 for when k is odd, for when k is even, and for . This work was supported by the Korea Research Foundation Grant funded by the Korean Government(MOEHRD). (KRF-2005-214-C00175). This research has been partially supported by Grant-in-Aid for Scientific Research of Japan Society for the Promotion of Science under Contract Number 17540129.     

On the Graph Connectivity of Skeleta of Convex Polytopes

Given a d-dimensional convex polytope P and nonnegative integer k not exceeding d−1, let denote the simple graph on the node set of k-dimensional faces of P in which two such faces are adjacent if there exists a (k+1)-dimensional face of P which contains them both. The graph is isomorphic to the dual graph of the (d−k)-dimensional skeleton of the normal fan of P. For fixed values of k and d, the largest integer m such that is m-vertex-connected for all d-dimensional polytopes P is determined. This result generalizes Balinski’s theorem on the one-dimensional skeleton of a d-dimensional convex polytope. Supported by the 70/4/8755 ELKE Research Fund of the University of Athens.     

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.     

Symmetric Tensors And Geometry of {\mathbb{P}} ^N Subvarieties

This paper using a geometric approach produces vanishing and nonvanishing results concerning the spaces of twisted symmetric differentials on subvarieties , with k ≤ m. Emphasis is given to the case of k = m which is special and whose nonvanishing results on the dimensional range dim X > 2/3(N − 1) are related to the space of quadrics containing X and the variety of all tangent trisecant lines of X. The paper ends with an application showing that the twisted symmetric plurigenera, along smooth families of projective varieties X_t are not invariant even for α arbitrarily large. Received: September 2006, Revision: May 2007, Accepted: June 2007     

Hyperbolic Function Theory in the Clifford Algebra {\mathcal {C}}\ell_{n+1, 0}

The aim of this paper is to give the basic principles of hyperbolic function theory on the Clifford algebra . The structure of the theory is quite similar to the case of Clifford algebras with negative generators, but the proofs are not obvious. The (real) Clifford algebra is generated by unit vectors with positive squares e²_i = + 1. The hyperbolic Dirac operator is of the form where Q₀f is represented by the composition . If is a solution of H_kf = 0, then f is called k-hypergenic in Ω, where is an open set. We introduce some basic results of hyperbolic function theory and give some representation theorems on . Received: October, 2007. Accepted: February, 2008.