Isometric embeddings of \mathbb{Z}_{p^k} in the Hamming space \mathbb{F}_{p}^{N} and \mathbb{Z}_{p^k}-linear codes

Isometric embeddings of $\mathbb{Z}_{p^n+1}$ into the Hamming space ( $\mathbb{F}_{p}^{p^n},w$ ) have played a fundamental role in recent constructions of non-linear codes. The codes thus obtained are very good codes, but their rate is limited by the rate of the first-order generalized Reed–Muller code—hence, when n is not very small, these embeddings lead to the construction of low-rate codes. A natural question is whether there are embeddings with higher rates than the known ones. In this paper, we provide a partial answer to this question by establishing a lower bound on the order of a symmetry of ( $\mathbb{F}_{p}^{N},w$ ).     

$$ H^{p}_{w} - L^{p}_{w} $$ Boundedness of Marcinkiewicz Integral

The Marcinkiewicz integral is essentially a Littlewood-Paley g-function, which plays a very important role in harmonic analysis. In this paper we give weaker smoothness conditions assumed on Ω to imply the boundedness of the Marcinkiewicz integral operator μ_Ω, where w belongs to the Muckenhoupt weight class.     

Iterative algorithm for solving a class of general Sylvester-conjugate matrix equation \sum_{i = 1}^{s} A_{i}V + \sum_{j = 1}^{t} B_{j}W = \sum_{l = 1}^{m} E_{l}\overline{V}F_{l} + C

This paper is concerned with iterative solution to general Sylvester-conjugate matrix equation of the form $\sum_{i = 1}^{s} A_{i}V + \sum_{j = 1}^{t} B_{j}W = \sum_{l = 1}^{m} E_{l}\overline{V}F_{l} + C$ . An iterative algorithm is established to solve this matrix equation. When this matrix equation is consistent, for any initial matrices, the solutions can be obtained within finite iterative steps in the absence of round off errors. Some lemmas and theorems are stated and proved where the iterative solutions are obtained. Finally, a numerical example is given to verify the effectiveness of the proposed algorithm.     

On Projective Modules in Category \mathcal{O}_{int} of Quantum \mathfrak{sl}_{2}

The restriction of a Verma module of ${\bf U}(\mathfrak{sl}_3)$ to ${\bf U}(\mathfrak{sl}_2)$ is isomorphic to a Verma module tensoring with all the finite dimensional simple modules of ${\bf U}(\mathfrak{sl}_2)$ . The canonical basis of the Verma module is compatible with such a decomposition. An explicit decomposition of the tensor product of the Verma module of highest weight 0 with a finite dimensional simple module into indecomposable projective modules in the category $\mathcal O_{\rm{int}}$ of quantum $\mathfrak{sl}_2$ is given.     

Nonexistence of generalized bent functions from $$\mathbb {Z}_{2}^{n}$$ to $$\mathbb {Z}_{m}$$Zm

In this paper, several nonexistence results on generalized bent functions \(f:\mathbb {Z}_{2}^{n} \rightarrow \mathbb {Z}_{m}\) are presented by using the knowledge on cyclotomic number fields and their imaginary quadratic subfields.     

Regular polytopes of type {4,4,3} and {4,4,4}

Abstract regular polytopes generalize the classical concept of a regular polytope and regular tessellation to more complicated combinatorial structures with a distinctive geometrical and topological flavour. In this paper the authors give an almost complete classification of the (universal) locally toroidal regular 4-polytopes of Schläfli types {4,4,3} and {4,4,4}.     

Conservative fragments of {{S}^{1}_{2}} and {{R}^{1}_{2}}

Conservative subtheories of ${{R}^{1}_{2}}$ and ${{S}^{1}_{2}}$ are presented. For ${{S}^{1}_{2}}$ , a slight tightening of Je?ábek??s result (Math Logic Q 52(6):613?C624, 2006) that ${T^{0}_{2} \preceq_{\forall \Sigma^{b}_{1}}S^{1}_{2}}$ is presented: It is shown that ${T^{0}_{2}}$ can be axiomatised as BASIC together with induction on sharply bounded formulas of one alternation. Within this ${\forall\Sigma^{b}_{1}}$ -theory, we define a ${\forall\Sigma^{b}_{0}}$ -theory, ${T^{-1}_{2}}$ , for the ${\forall\Sigma^{b}_{0}}$ -consequences of ${S^{1}_{2}}$ . We show ${T^{-1}_{2}}$ is weak by showing it cannot ${\Sigma^{b}_{0}}$ -define division by 3. We then consider what would be the analogous ${\forall\hat\Sigma^{b}_{1}}$ -conservative subtheory of ${R^{1}_{2}}$ based on Pollett (Ann Pure Appl Logic 100:189?C245, 1999. It is shown that this theory, ${{T}^{0,\left\{2^{(||\dot{id}||)}\right\}}_{2}}$ , also cannot ${\Sigma^{b}_{0}}$ -define division by 3. On the other hand, we show that ${{S}^{0}_{2}+open_{\{||id||\}}}$ -COMP is a ${\forall\hat\Sigma^{b}_{1}}$ -conservative subtheory of ${R^{1}_{2}}$ . Finally, we give a refinement of Johannsen and Pollett (Logic Colloquium?? 98, 262?C279, 2000) and show that ${\hat{C}^{0}_{2}}$ is ${\forall\hat\Sigma^{b}_{1}}$ -conservative over a theory based on open _cl-comprehension.     

Decomposing triples of \mathbb{Z}_{p^n } and \mathbb{Z}_{3p^n } into cyclic designs

In this paper, we give some decompositions of triples of Zp^n or Z3p^n into cyclic triple systems. New constructions of difference families are given. Some infinite classes of simple cyclic triple systems are obtained from these decompositions.     

On the Number of Solutions of the Equation a_{1}x_{1}^{m_{1}}+\cdots +a_{n}x_{n}^{m_{n}}=bx_{1}\cdots x_{n} in a Finite Field

We obtain an explicit formula for the number of solutions of a special equation in a finite field under a certain restriction on the exponents. Mathematics Subject Classifications (2000) primary: 11G25, secondary: 11T24.     

Manifolds without \tfrac{1} {k} -geodesics

We will show that for any positive integer k, there exists a smooth manifold that has no -geodesic.     

On codes over $$\mathbb {F}_{q}+v\mathbb {F}_{q}+v^{2}\mathbb {F}_{q}$$

In this paper we investigate linear codes with complementary dual (LCD) codes and formally self-dual codes over the ring \(R=\mathbb {F}_{q}+v\mathbb {F}_{q}+v^{2}\mathbb {F}_{q}\), where \(v^{3}=v\), for q odd. We give conditions on the existence of LCD codes and present construction of formally self-dual codes over R. Further, we give bounds on the minimum distance of LCD codes over \(\mathbb {F}_q\) and extend these to codes over R.     

On the Recursive Sequence x_{n + 1} = {{ \mgreek{g} x_{n-1} + \mgreek{d} x_{n-2}} \over {Cx_{n-1} + Dx_{n-2}}}

We investigate the global character of solutions of the equation in the title with positive parameters and positive initial conditions. We obtain results about the global attractivity of the equilibrium, the existence and attractivity of the period-two solution and the semicycles.     

The \mathfrak {sl}_{3}-web algebra

In this paper we use Kuperberg’s $\mathfrak {sl}_3$ -webs and Khovanov’s $\mathfrak {sl}_3$ -foams to define a new algebra $K^S$ , which we call the $\mathfrak {sl}_3$ -web algebra. It is the $\mathfrak {sl}_3$ analogue of Khovanov’s arc algebra. We prove that $K^S$ is a graded symmetric Frobenius algebra. Furthermore, we categorify an instance of $q$ -skew Howe duality, which allows us to prove that $K^S$ is Morita equivalent to a certain cyclotomic KLR-algebra of level 3. This allows us to determine the split Grothendieck group $K^{\oplus }_0(\mathcal {W}^S)_{\mathbb {Q}(q)}$ , to show that its center is isomorphic to the cohomology ring of a certain Spaltenstein variety, and to prove that $K^S$ is a graded cellular algebra.     

Lipschitz equivalence of generalized {1,3,5}-{1,4,5} self-similar sets

This paper investigates the Lipschitz equivalence of generalized {1,3,5}-{1,4,5} self-similar sets D=(r_1D)∪(r_2D (1 r_1-r_2-r_3)/2)∪(r_3D 1 r_3) and E=(r_1E)∪(r_2E 1-r_2- r_3)∪(r_3E 1-r_3),and proves that D and E are Lipschitz equivalent if and only if there are positive integers m and n such that r_1~m=r_3~n.     

Self-dual bases in\mathbb{F}_{q^n }

We characterize weakly self-dual bases of the field extension over , examine the existence of weakly self-dual polynomial bases, and use duality to analyze normal basis multiplication.     

Explicit classes of permutation polynomials of $$ \mathbb{F}_{3^{3m} } $$

Permutation polynomials have been an interesting subject of study for a long time and have applications in many areas of mathematics and engineering. However, only a small number of specific classes of permutation polynomials are known so far. In this paper, six classes of linearized permutation polynomials and six classes of nonlinearized permutation polynomials over are presented. These polynomials have simple shapes, and they are related to planar functions. This work was supported by Australian Research Council (Grant No. DP0558773), National Natural Science Foundation of China (Grant No. 10571180) and the Research Grants Council of the Hong Kong Special Administrative Region of China (Grant No. 612405)     

The Idempotents of the TL n -Module {\otimes^{n}\mathbb{C}2} in Terms of Elements of {{\rm U}_{q} \mathfrak{sl}_2}

The vector space \({\otimes^{n}\mathbb{C}^2}\) upon which the XXZ Hamiltonian with n spins acts bears the structure of a module over both the Temperley–Lieb algebra \({{\rm TL}_{n}(\beta = q + q^{-1})}\) and the quantum algebra \({{\rm U}_{q} \mathfrak{sl}_2}\) . The decomposition of \({\otimes^{n}\mathbb{C}^2}\) as a \({{\rm U}_{q} \mathfrak{sl}_2}\) -module was first described by Rosso (Commun Math Phys 117:581–593, 1988), Lusztig (Cont Math 82:58–77, 1989) and Pasquier and Saleur (Nucl Phys B 330:523–556, 1990) and that as a TL _n -module by Martin (Int J Mod Phys A 7:645–673, 1992) (see also Read and Saleur Nucl Phys B 777(3):316–351, 2007; Gainutdinov and Vasseur Nucl Phys B 868:223–270, 2013). For q generic, i.e. not a root of unity, the TL _n -module \({\otimes^{n}\mathbb{C}^2}\) is known to be a sum of irreducible modules. We construct the projectors (idempotents of the algebra of endomorphisms of \({\otimes^{n}\mathbb{C}^2}\) ) onto each of these irreducible modules as linear combinations of elements of \({{\rm U}_{q} \mathfrak{sl}_2}\) . When q = q _c is a root of unity, the TL _n -module \({\otimes^{n}\mathbb{C}^2}\) (with n large enough) can be written as a direct sum of indecomposable modules that are not all irreducible. We also give the idempotents projecting onto these indecomposable modules. Their expression now involves some new generators, whose action on \({\otimes^{n}\mathbb{C}^2}\) is that of the divided powers \({(S^{\pm})^{(r)} = \lim_{q \rightarrow q_{c}} (S^{\pm})^r/[r]!}\) .