On some constacyclic codes over $$\mathbb {Z}_{4}\left[ u\right] /\left\langle u^{2}-1\right\rangle $$, their $$\mathbb {Z}_4$$Z4 images,and new codes

In this paper, we study \(\lambda \)-constacyclic codes over the ring \(R=\mathbb {Z}_4+u\mathbb {Z}_4\) where \(u^{2}=1\), for \(\lambda =3+2u\) and \(2+3u\). Two new Gray maps from R to \(\mathbb {Z}_4^{3}\) are defined with the goal of obtaining new linear codes over \(\mathbb {Z}_4\). The Gray images of \(\lambda \)-constacyclic codes over R are determined. We then conducted a computer search and obtained many \(\lambda \)-constacyclic codes over R whose \(\mathbb {Z}_4\)-images have better parameters than currently best-known linear codes over \(\mathbb {Z}_4\).     

The Gray image of constacyclic codes over the finite chain ring $$F_{p^m}[u]/\langle u^k\rangle $$

Let \(\mathbb {F}_{p^m}\) be a finite field of cardinality \(p^m\), where p is a prime, and k, N be any positive integers. We denote \(R_k=F_{p^m}[u]/\langle u^k\rangle =F_{p^m}+uF_{p^m}+\cdots +u^{k-1}F_{p^m}\) (\(u^k=0\)) and \(\lambda =a_0+a_1u+\cdots +a_{k-1}u^{k-1}\) where \(a_0, a_1,\ldots , a_{k-1}\in F_{p^m}\) satisfying \(a_0\ne 0\) and \(a_1=1\). Let r be a positive integer satisfying \(p^{r-1}+1\le k\le p^r\). First we define a Gray map from \(R_k\) to \(F_{p^m}^{p^r}\), then prove that the Gray image of any linear \(\lambda \)-constacyclic code over \(R_k\) of length N is a distance preserving linear \(a_0^{p^r}\)-constacyclic code over \(F_{p^m}\) of length \(p^rN\). Furthermore, the generator polynomials for each linear \(\lambda \)-constacyclic code over \(R_k\) of length N and its Gray image are given respectively. Finally, some optimal constacyclic codes over \(F_{3}\) and \(F_{5}\) are constructed.     

The distortion dimension of $$\mathbb $$-rank 1 lattices

Let \(X=G/K\) be a symmetric space of noncompact type and rank \(k\ge 2\). We prove that horospheres in X are Lipschitz \((k-2)\)-connected if their centers are not contained in a proper join factor of the spherical building of X at infinity. As a consequence, the distortion dimension of an irreducible \(\mathbb {Q}\)-rank-1 lattice \(\Gamma \) in a linear, semisimple Lie group G of \(\mathbb R\)-rank k is \(k-1\). That is, given \(m< k-1\), a Lipschitz m-sphere S in (a polyhedral complex quasi-isometric to) \(\Gamma \), and a \((m+1)\)-ball B in X (or G) filling S, there is a \((m+1)\)-ball \(B'\) in \(\Gamma \) filling S such that \({{\mathrm{vol}}}B'\sim {{\mathrm{vol}}}B\). In particular, such arithmetic lattices satisfy Euclidean isoperimetric inequalities up to dimension \(k-1\).     

Computing Explicit Isomorphisms with Full Matrix Algebras over $$\mathbb {F}_q(x)$$

We propose a polynomial time f-algorithm (a deterministic algorithm which uses an oracle for factoring univariate polynomials over \(\mathbb {F}_q\)) for computing an isomorphism (if there is any) of a finite-dimensional \(\mathbb {F}_q(x)\)-algebra \(\mathcal{A}\) given by structure constants with the algebra of n by n matrices with entries from \(\mathbb {F}_q(x)\). The method is based on computing a finite \(\mathbb {F}_q\)-subalgebra of \(\mathcal{A}\) which is the intersection of a maximal \(\mathbb {F}_q[x]\)-order and a maximal R-order, where R is the subring of \(\mathbb {F}_q(x)\) consisting of fractions of polynomials with denominator having degree not less than that of the numerator.     

Complete negatively curved immersed ends in $$\mathbb {R}^3$$

This paper extends, in a sharp way, the famous Efimov’s Theorem to immersed ends in \(\mathbb {R}^3\). More precisely, let M be a non-compact connected surface with compact boundary. Then there is no complete isometric immersion of M into \(\mathbb {R}^3\) satisfying that \(\int _M |K|=+\infty \) and \(K\le -\kappa <0\), where \(\kappa \) is a positive constant and K is the Gaussian curvature of M. In particular Efimov’s Theorem holds for complete Hadamard immersed surfaces, whose Gaussian curvature K is bounded away from zero outside a compact set.     

Triviality of Iwasawa module associated to some abelian fields of prime conductors

Let p be an odd prime number and \(\ell \) an odd prime number dividing \(p-1\). We denote by \(F=F_{p,\ell }\) the real abelian field of conductor p and degree \(\ell \), and by \(h_F\) the class number of F. For a prime number \(r \ne p,\,\ell \), let \(F_{\infty }\) be the cyclotomic \(\mathbb {Z}_r\)-extension over F, and \(M_{\infty }/F_{\infty }\) the maximal pro-r abelian extension unramified outside r. We prove that \(M_{\infty }\) coincides with \(F_{\infty }\) and consequently \(h_F\) is not divisible by r when r is a primitive root modulo \(\ell \) and r is smaller than an explicit constant depending on p.     

Split buildings of type $$\mathsf {F_4}$$ in buildings of type $$\mathsf {E_6}$$E6

A symplectic polarity of a building \(\varDelta \) of type \(\mathsf {E_6}\) is a polarity whose fixed point structure is a building of type \(\mathsf {F_4}\) containing residues isomorphic to symplectic polar spaces (i.e., so-called split buildings of type \(\mathsf {F_4}\)). In this paper, we show in a geometric way that every building of type \(\mathsf {E_6}\) contains, up to conjugacy, a unique class of symplectic polarities. We also show that the natural point-line geometry of each split building of type \(\mathsf {F_4}\) fully embedded in the natural point-line geometry of \(\varDelta \) arises from a symplectic polarity.     

On the minimum-cost $$\lambda $$-edge-connected k-subgraph problem

In this paper, we propose several integer programming (IP) formulations to exactly solve the minimum-cost \(\lambda \)-edge-connected k-subgraph problem, or the \((k,\lambda )\)-subgraph problem, based on its graph properties. Special cases of this problem include the well-known k-minimum spanning tree problem (if \(\lambda =1\)), \(\lambda \)-edge-connected spanning subgraph problem (if \(k=|V|\)) and k-clique problem (if \(\lambda = k-1\) and there are exact k vertices in the subgraph). As a generalization of k-minimum spanning tree and a case of the \((k,\lambda )\)-subgraph problem, the (k, 2)-subgraph problem is studied, and some special graph properties are proved to find stronger and more compact IP formulations. Additionally, we study the valid inequalities for these IP formulations. Numerical experiments are performed to compare proposed IP formulations and inequalities.     

Compact $$\lambda $$-translating Solitons with Boundary

A \(\lambda \)-translating soliton with density vector \(\mathbf {v}\) is a surface \(\varSigma \) in Euclidean space \(\mathbb {R}^3\) whose mean curvature H satisfies \(2H=2\lambda +\langle N,\mathbf {v}\rangle \), where N is the Gauss map of \(\varSigma \). In this article, we study the shape of a compact \(\lambda \)-translating soliton in terms of its boundary. If \(\varGamma \) is a given closed curve, we deduce under what conditions on \(\lambda \) there exists a compact \(\lambda \)-translating soliton \(\varSigma \) with boundary \(\varGamma \) and we provide estimates of the surface area depending on the height of \(\varSigma \). Finally, we study the shape of \(\varSigma \) related with the geometry of \(\varGamma \), in particular, we give conditions that assert that \(\varSigma \) inherits the symmetries of its boundary \(\varGamma \).     

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.     

$${\varvec{}}$$-Jorda homomorphisms ad pseudo $${\varvec{}}$$-Jorda homomorphisms o Baach algebras

Let \(n\in \mathbb {N}\), A and B be Banach algebras and let B be a right A-module. We say that a linear mapping \(\varphi :A\longrightarrow B\) is a pseudo n-Jordan homomorphism if there exists an element \(w\in A\) such that \(\varphi (a^nw)=\varphi (a)^n\cdot w\), for every \(a\in A\) and \(n\ge \) 2. In this paper, among other things, we show that under some conditions if a linear mapping \(\varphi \) is a (pseudo) n-Jordan homomorphism, then it is a (pseudo) \((n + 1)\)-Jordan homomorphism. Additionally, we investigate automatic continuity of surjective pseudo n-Jordan homomorphisms under some conditions.     

Corona problem with data in ideal spaces of sequences

Let E be a Banach lattice on \({\mathbb {Z}}\) with order continuous norm. We show that for any function \(f = \{f_j\}_{j \in {\mathbb {Z}}}\) from the Hardy space \(\mathrm H_{\infty }\left( E \right) \) such that \(\delta \leqslant \Vert f (z)\Vert _E \leqslant 1\) for all z from the unit disk \({\mathbb {D}}\) there exists some solution \(g = \{g_j\}_{j \in {\mathbb {Z}}} \in \mathrm H_{\infty }\left( E' \right) \), \(\Vert g\Vert _{\mathrm H_{\infty }\left( E' \right) } \leqslant C_\delta \) of the Bézout equation \(\sum _j f_j g_j = 1\), also known as the vector-valued corona problem with data in \(\mathrm H_{\infty }\left( E \right) \).     

The finite Littlewood problem in $${{\mathbb {F}}}_p$$

Let p be a large prime number and f(x) be an integer-valued function defined in \({\mathbb F}_p\). The Littlewood problem in \({{\mathbb {F}}}_p\) is to establish non-trivial lower bounds for the \(\ell _1\) norm of exponential sums involving f(x). In the present paper, we establish new lower bounds for exponential sums including polynomials, powers of any primitive root and subgroups of \(\mathbb {F}_p^*.\)     

Subconvexity for sup-norms of cusp forms on $$\mathrm{PGL}(n)$$

Let F be an \(L^2\)-normalized Hecke Maaß cusp form for \(\Gamma _0(N) \subseteq {\mathrm{SL}}_{n}({\mathbb {Z}})\) with Laplace eigenvalue \(\lambda _F\). If \(\Omega \) is a compact subset of \(\Gamma _0(N)\backslash {\mathrm{PGL}}_n/\mathrm{PO}_{n}\), we show the bound \(\Vert F|_{\Omega }\Vert _{\infty } \ll _{ \Omega } N^{\varepsilon } \lambda _F^{n(n-1)/8 - \delta }\) for some constant \(\delta = \delta _n> 0\) depending only on n.     

The shape of $$ \mathbb {Z}/\ell \mathbb {Z}$$-number fields

Let \(\ell \) be a prime and let \(L/ \mathbb {Q}\) be a Galois number field with Galois group isomorphic to \( \mathbb {Z}/\ell \mathbb {Z}\). We show that the shape of L, see Definition 1.2, is either \(\frac{1}{2}\mathbb {A}_{\ell -1}\) or a fixed sub-lattice depending only on \(\ell \); such a dichotomy in the value of the shape only depends on the type of ramification of L. This work is motivated by a result of Bhargava and Shnidman, and a previous work of the first named author, on the shape of \( \mathbb {Z}/3 \mathbb {Z}\) number fields.     

On the Diophantine equation $$X^{2N}+2^{2\alpha }5^{2\beta }{p}^{2\gamma } = Z^5$$

We prove that for each prime p, positive integer \(\alpha \), and non-negative integers \(\beta \) and \(\gamma \), the Diophantine equation \(X^{2N} + 2^{2\alpha }5^{2\beta }{p}^{2\gamma } = Z^5\) has no solution with N, X, \(Z\in \mathbb {Z}^+\), \(N > 1\), and \(\gcd (X,Z) = 1\).     

A characterization of Inoue surfaces with $$p_g=0$$ and $$K^2=7$$K2=7

Inoue constructed the first examples of smooth minimal complex surfaces of general type with \(p_g=0\) and \(K^2=7\). These surfaces are finite Galois covers of the 4-nodal cubic surface with the Galois group, the Klein group \(\mathbb {Z}_2\times \mathbb {Z}_2\). For such a surface S, the bicanonical map of S has degree 2 and it is composed with exactly one involution in the Galois group. The divisorial part of the fixed locus of this involution consists of two irreducible components: one is a genus 3 curve with self-intersection number 0 and the other is a genus 2 curve with self-intersection number \(-\,1\). Conversely, assume that S is a smooth minimal complex surface of general type with \(p_g=0\), \(K^2=7\) and having an involution \(\sigma \). We show that, if the divisorial part of the fixed locus of \(\sigma \) consists of two irreducible components \(R_1\) and \(R_2\), with \(g(R_1)=3, R_1^2=0, g(R_2)=2\) and \(R_2^2=-\,1\), then the Klein group \(\mathbb {Z}_2\times \mathbb {Z}_2\) acts faithfully on S and S is indeed an Inoue surface.     

Gravitational Field Equations on Fefferman Space–Times

The total space \({\mathfrak M} \approx {\mathbb H}_1 \times S^1\) of the canonical circle bundle over the 3-dimensional Heisenberg group \({\mathbb H}_1\) is a space–time with the Lorentzian metric \(F_{\theta _0}\) (Fefferman’s metric) associated to the canonical Tanaka–Webster flat contact form \(\theta _0\) on \({\mathbb H}_1\). The matter and energy content of \(\mathfrak M\) is described by the energy-momentum tensor \({T}_{\mu \nu }\) (the trace-less Ricci tensor of \(F_{\theta _0}\)) as an effect of the non flat nature of Feferman’s metric \(F_{\theta _0}\). We study the gravitational field equations \(R_{\mu \nu } - (1/2) \, R \, g_{\mu \nu } = {T}_{\mu \nu }\) on \({\mathfrak M}\). We consider the first order perturbation \(g = F_{\theta _0} + \epsilon \, h\), \(\epsilon<< 1\), and linearize the field equations about \(F_{\theta _0}\). We determine a Lorentzian metric g on \({\mathfrak M}\) which solves the linearized field equations corresponding to a diagonal perturbation h.     

A generalization of the normal rational curve in $$\mathop {\mathrm{PG}}(d,q^n)$$ and its associated non-linear MRD codes

Let A and B be two points of \(\mathop {\mathrm{PG}}(d,q^n)\) and let \(\Phi \) be a collineation between the stars of lines with vertices A and B, that does not map the line AB into itself. In this paper we prove that if \(d=2\) or \(d\ge 3\) and the lines \(\Phi ^{-1}(AB), AB, \Phi (AB) \) are not in a common plane, then the set \(\mathcal{C}\) of points of intersection of corresponding lines under \(\Phi \) is the union of \(q-1\) scattered \({\mathbb {F}}_{q}\)-linear sets of rank n together with \(\{A,B\}\). As an application we will construct, starting from the set \(\mathcal{C}\), infinite families of non-linear \((d+1, n, q;d-1)\)-MRD codes, \(d\le n-1\), generalizing those recently constructed in Cossidente et al. (Des Codes Cryptogr 79:597–609, 2016) and Durante and Siciliano (Electron J Comb, 2017).     

Pairs of Semisimple Lie Algebras and their Maximal Reductive Subalgebras

Let \(\mathfrak g\) be a semisimple Lie algebra over a field \(\mathbb K\), \(\text{char}\left( \mathbb{K} \right)=0\), and \(\mathfrak g_1\) a subalgebra reductive in \(\mathfrak g\). Suppose that the restriction of the Killing form B of \(\mathfrak g\) to \(\mathfrak g_1 \times \mathfrak g_1\) is nondegenerate. Consider the following statements: ( 1) For any Cartan subalgebra \(\mathfrak h_1\) of \(\mathfrak g_1\) there is a unique Cartan subalgebra \(\mathfrak h\) of \(\mathfrak g\) containing \(\mathfrak h_1\); ( 2) \(\mathfrak g_1\) is self-normalizing in \(\mathfrak g\); ( 3) The B-orthogonal \(\mathfrak p\) of \(\mathfrak g_1\) in \(\mathfrak g\) is simple as a \(\mathfrak g_1\)-module for the adjoint representation. We give some answers to this natural question: For which pairs \((\mathfrak g,\mathfrak g_1)\) do ( 1), ( 2) or ( 3) hold? We also study how \(\mathfrak p\) in general decomposes as a \(\mathfrak g_1\)-module, and when \(\mathfrak g_1\) is a maximal subalgebra of \(\mathfrak g\). In particular suppose \((\mathfrak g,\sigma )\) is a pair with \(\mathfrak g\) as above and σ its automorphism of order m. Assume that \(\mathbb K\) contains a primitive m-th root of unity. Define \(\mathfrak g_1:=\mathfrak g^{\sigma}\), the fixed point algebra for σ. We prove the following generalization of a well known result for symmetric Lie algebras, i.e., for m=2: (a) \((\mathfrak g,\mathfrak g_1)\) satisfies ( 1); (b) For m prime, \((\mathfrak g,\mathfrak g_1)\) satisfies ( 2).