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\).     

On the family of elliptic curves $$\varvec{y^2=x^3-m^2x+p^2}$$

In this paper, we study the torsion subgroup and rank of elliptic curves for the subfamilies of \(E_{m,p} : y^2=x^3-m^2x+p^2\), where m is a positive integer and p is a prime. We prove that for any prime p, the torsion subgroup of \(E_{m,p}(\mathbb {Q})\) is trivial for both the cases {\(m\ge 1\), \(m\not \equiv 0\pmod 3\)} and {\(m\ge 1\), \(m \equiv 0 \pmod 3\), with \(gcd(m,p)=1\)}. We also show that given any odd prime p and for any positive integer m with \(m\not \equiv 0\pmod 3\) and \(m\equiv 2\pmod {32}\), the lower bound for the rank of \(E_{m,p}(\mathbb {Q})\) is 2. Finally, we find curves of rank 9 in this family.     

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.     

On the sumsets of exceptional units in $$\mathbb {Z}_n$$

Let R be a commutative ring with \(1\in R\) and \(R^{*}\) be the multiplicative group of its units. In 1969, Nagell introduced the concept of an exceptional unit, namely a unit u such that \(1-u\) is also a unit. Let \({\mathbb {Z}}_n\) be the ring of residue classes modulo n. In this paper, given an integer \(k\ge 2\), we obtain an exact formula for the number of ways to represent each element of \( \mathbb {Z}_n\) as the sum of k exceptional units. This generalizes a recent result of J. W. Sander for the case \(k=2\).     

2-Arc-transitive cyclic covers of $$K_{n,n}$$

In this paper, a complete classification is achieved of all the regular covers of the complete bipartite graphs \(K_{n,n}\) with cyclic covering transformation group, whose fibre-preserving automorphism group acts 2-arc-transitively. All these covers consist of one threefold covers of \(K_{6,6}\), one twofold cover of \(K_{12, 12}\) and one infinite family X(r, p) of p-fold covers of \(K_{p^r,p^r}\) with p a prime and r an integer such that \(p^r\ge 3\). This infinite family X(r, p) can be derived by a very simple and nice voltage assignment f as follows: \(X(r, p)=K_{p^r, p^r}\times _f \mathbb {Z}_p\), where \(K_{p^r, p^r}\) is a complete bipartite graph with the bipartition \(V=\{ \alpha \bigm |\alpha \in V(r,p)\}\cup \{ \alpha '\bigm |\alpha \in V(r,p)\}\) for the r-dimensional vector space V(r, p) over the field of order p and \(f_{\alpha ,\beta '}=\sum _{i=1}^ra_ib_i,\,\, \mathrm{for\,\,all}\,\,\alpha =(a_i)_r, \beta =(b_i)_r\in V(r,p)\).     

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\).     

A characterization of the desarguesian and the Figueroa planes of order $$q^{3}$$

Let \(\Pi \) be a plane of order \(q^{3}\), \(q>2\), admitting \(G\cong PGL(3,q)\) as a collineation group. By Dempwolff (Geometriae Dedicata 18:101–112, 1985) the plane \(\Pi \) contains a G-invariant subplane \(\pi _{0}\) isomorphic to PG(2, q) on which G acts 2-transitively. In this paper it is shown that, if the homologies of \(\pi _{0}\) contained in G extend to \(\Pi \) then \(\Pi \) is either the desarguesian or the Figueroa plane.     

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.     

Rotational Surfaces in $$S^{3}$$ with Constant Mean Curvature

There is a two-parametric family of rotational symmetric CMC surfaces; more precisely, for every real number H and every \(C\ge 2(H+\sqrt{1+H^2})\) there is a rotational symmetry surface \(\Sigma _{H,C}\) with mean curvature H. Perdomo (Asian J Math 14:73–108, 2010) showed that for every H between \(\cot \left( \frac{\pi }{m}\right) \) and \(\frac{m^2-2}{2\sqrt{m^2-1}}\) there exists an embedded rotational symmetric example with non-constant principal curvatures that is invariant under the cyclic group \(Z_m\). Recently Andrews and Li (J Differ Geom 99:169–189, 2015) showed that these embedded CMC tori are the only embedded genus 1 surfaces with CMC on the sphere. In this paper we complete the study of this family of CMC surfaces and we show that for every integer \(m>2\), there is a properly immersed example in this family that contains a great circle and is invariant under the cyclic group \(Z_m\). We will say that these examples contain the axis of symmetry. We also show that every non-isoparametric surface \(\Sigma _{H,C}\) is either properly immersed and invariant under the cyclic group \(Z_m\) for some integer \(m>1\) or it is dense in the region bounded by two isoparametric tori if the surface \(\Sigma _{H,C}\) does not contain the axis of symmetry or it is dense in the region bounded by a totally umbilical surface if the surface \(\Sigma _{H,C}\) contains the axis of symmetry.     

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 2-adic valuation of the cardinality of elliptic curves over finite extensions of $$\mathbb {F}_{\varvec{q}} $$

In this paper we study the difference between the 2-adic valuations of the cardinalities \( \# E( \mathbb {F}_{q^k} ) \) and \( \# E( \mathbb {F}_q ) \) of an elliptic curve E over \( \mathbb {F}_q \). We also deduce information about the structure of the 2-Sylow subgroup \( E[ 2^\infty ]( \mathbb {F}_{q^k} ) \) from the exponents of \( E[ 2^\infty ]( \mathbb {F}_q ) \).     

Continued fractions arising from $${\mathcal F}_{1,3}$$

We calculate the Jacobi Eisenstein series of weight \(k \ge 3\) for a certain representation of the Jacobi group, and evaluate these at \(z = 0\) to give coefficient formulas for a family of modular forms \(Q_{k,m,\beta }\) of weight \(k \ge 5/2\) for the (dual) Weil representation on an even lattice. The forms we construct have rational coefficients and contain all cusp forms within their span. We explain how to compute the representation numbers in the coefficient formulas for \(Q_{k,m,\beta }\) and the Eisenstein series of Bruinier and Kuss p-adically to get an efficient algorithm. The main application is in constructing automorphic products.     

Zero varieties for the Nevanlinna class in weakly pseudoconvex domains of maximal type F in $$\mathbb {C}^2$$

Let \(\Omega \) be a bounded, uniformly totally pseudoconvex domain in \(\mathbb {C}^2\) with smooth boundary \(b\Omega \). Assume that \(\Omega \) is a domain admitting a maximal type F. Here, the condition maximal type F generalizes the condition of finite type in the sense of Range (Pac J Math 78(1):173–189, 1978; Scoula Norm Sup Pisa, pp 247–267, 1978) and includes many cases of infinite type. Let \(\alpha \) be a d-closed (1, 1)-form in \(\Omega \). We study the Poincaré–Lelong equation

$$\begin{aligned} i\partial \bar{\partial }u=\alpha \quad \text {on}\, \Omega \end{aligned}$$

in \(L^1(b\Omega )\) norm by applying the \(L^1(b\Omega )\) estimates for \(\bar{\partial }_b\)-equations in [11]. Then, we also obtain a prescribing zero set of Nevanlinna holomorphic functions in \(\Omega \).

     

Extremal Problems for Mappings with Generalized Parametric Representation in $${{\mathbb {C}}}^{n}$$

In this paper we are concerned with the family \(\widetilde{S}^t_A(\mathbb {B}^n)\) (\(t\ge 0\)) of normalized biholomorphic mappings on the Euclidean unit ball \(\mathbb {B}^n\) in \({\mathbb {C}}^n\) that can be embedded in normal Loewner chains whose normalizations are given by time-dependent operators \(A\in \widetilde{\mathcal {A}}\), where \(\widetilde{\mathcal {A}}\) is a family of measurable mappings from \([0,\infty )\) into \(L({\mathbb {C}}^n)\) which satisfy certain natural assumptions. In particular, we consider extreme points and support points associated with the compact family \(\widetilde{S}^t_A(\mathbb {B}^n)\), where \(A\in \widetilde{\mathcal {A}}\). We prove that if \(f(z,t)=V(t)^{-1}z+\cdots \) is a normal Loewner chain such that \(V(s)f(\cdot ,s)\in \mathrm{ex}\,\widetilde{S}^s_A(\mathbb {B}^n)\) (resp. \(V(s)f(\cdot ,s)\in \mathrm{supp}\,\widetilde{S}^s_A(\mathbb {B}^n)\)), then \(V(t)f(\cdot ,t)\in \mathrm{ex}\, \widetilde{S}^t_A(\mathbb {B}^n)\), for all \(t\ge s\) (resp. \(V(t)f(\cdot ,t)\in \mathrm{supp}\,\widetilde{S}^t_A(\mathbb {B}^n)\), for all \(t\ge s\)), where V(t) is the unique solution on \([0,\infty )\) of the initial value problem: \(\frac{d V}{d t}(t)=-A(t)V(t)\), a.e. \(t\ge 0\), \(V(0)=I_n\). Also, we obtain an example of a bounded support point for the family \(\widetilde{S}_A^t(\mathbb {B}^2)\), where \(A\in \widetilde{\mathcal {A}}\) is a certain time-dependent operator. We also consider the notion of a reachable family with respect to time-dependent linear operators \(A\in \widetilde{\mathcal {A}}\), and obtain characterizations of extreme/support points associated with these families of bounded biholomorphic mappings on \(\mathbb {B}^n\). Useful examples and applications yield that the study of the family \(\widetilde{S}^t_A(\mathbb {B}^n)\) for time-dependent operators \(A\in \widetilde{\mathcal {A}}\) is basically different from that in the case of constant time-dependent linear operators.     

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.     

Some infinite families of Ramsey ($${\varvec{P}}_\mathbf{3},{\varvec{P}}_{{\varvec{n}}}$$)-minimal trees

For any given two graphs G and H, the notation \(F\rightarrow \) (G, H) means that for any red–blue coloring of all the edges of F will create either a red subgraph isomorphic to G or a blue subgraph isomorphic to H. A graph F is a Ramsey (G, H)-minimal graph if \(F\rightarrow \) (G, H) but \(F-e\nrightarrow (G,H)\), for every \(e \in E(F)\). The class of all Ramsey (G, H)-minimal graphs is denoted by \(\mathcal {R}(G,H)\). In this paper, we construct some infinite families of trees belonging to \(\mathcal {R}(P_3,P_n)\), for \(n=8\) and 9. In particular, we give an algorithm to obtain an infinite family of trees belonging to \(\mathcal {R}(P_3,P_n)\), for \(n\ge 10\).     

Disintegration of positive isometric group representations on $$\varvec{\mathrm {L}^{p}}$$-spaces

Let G be a Polish locally compact group acting on a Polish space \({{X}}\) with a G-invariant probability measure \(\mu \). We factorize the integral with respect to \(\mu \) in terms of the integrals with respect to the ergodic measures on X, and show that \(\mathrm {L}^{p}({{X}},\mu )\) (\(1\le p<\infty \)) is G-equivariantly isometrically lattice isomorphic to an \({\mathrm {L}^p}\)-direct integral of the spaces \(\mathrm {L}^{p}({{X}},\lambda )\), where \(\lambda \) ranges over the ergodic measures on X. This yields a disintegration of the canonical representation of G as isometric lattice automorphisms of \(\mathrm {L}^{p}({{X}},\mu )\) as an \({\mathrm {L}^p}\)-direct integral of order indecomposable representations. If \(({{X}}^\prime ,\mu ^\prime )\) is a probability space, and, for some \(1\le q<\infty \), G acts in a strongly continuous manner on \(\mathrm {L}^{q}({{X}}^\prime ,\mu ^\prime )\) as isometric lattice automorphisms that leave the constants fixed, then G acts on \(\mathrm {L}^{p}({{X}}^{\prime },\mu ^{\prime })\) in a similar fashion for all \(1\le p<\infty \). Moreover, there exists an alternative model in which these representations originate from a continuous action of G on a compact Hausdorff space. If \(({{X}}^\prime ,\mu ^\prime )\) is separable, the representation of G on \(\mathrm {L}^p(X^\prime ,\mu ^\prime )\) can then be disintegrated into order indecomposable representations. The notions of \({\mathrm {L}^p}\)-direct integrals of Banach spaces and representations that are developed extend those in the literature.     

A characterization of $$A_{5}$$ by its Same-order type

Let G be a group. The same-order type of G may be defined to be the set of sizes of equivalence classes for the equivalence relation \(\thicksim \) on G defined by

$$\begin{aligned} \forall \ g, h \in G \ \ g\thicksim h \Longleftrightarrow |g|=|h|. \end{aligned}$$

Shen et al. (Monatsh Math 160:337–341,2010), showed that \(A_5\) is the only group with the same-order type \(\{1,15,20,24\}\). In this paper, among other things, we prove that a nonabelian simple group G has same-order type with just four members if and only if \(G\cong A_5\).

     

Least energy sign-changing solutions for a class of fourth order Kirchhoff-type equations in $$\mathbb {R}^{N}$$

In this article we study the problem

$$\begin{aligned} \Delta ^{2}u-\left( a+b\int _{\mathbb {R}^{N}}\left| \nabla u\right| ^{2}dx\right) \Delta u+V(x)u=\left| u\right| ^{p-2}u\ \text { in }\mathbb {R}^{N}, \end{aligned}$$

where \(\Delta ^{2}:=\Delta (\Delta )\) is the biharmonic operator, \(a,b>0\) are constants, \(N\le 7,\) \(p\in (4,2_{*})\) for \(2_{*}\) defined below, and \(V(x)\in C(\mathbb {R}^{N},\mathbb {R})\). Under appropriate assumptions on V(x), the existence of least energy sign-changing solution is obtained by combining the variational methods and the Nehari method.

     

On solutions of the simultaneous Pell equations $$ x^{2}-\left( a^{2}-1\right) y^{2}=1$$ and $$y^{2}-pz^{2}=1$$y2-pz2=1

Let \(a\ge 2\) be an integer and p prime number. It is well-known that the solutions of the Pell equation have recurrence relations. For the simultaneous Pell equations

$$\begin{aligned}&x^{2}-\left( a^{2}-1\right) y^{2} =1 \\&y^{2}-pz^{2} =1 \end{aligned}$$

assume that \(x=x_{m}\) and \(y=y_{m}\). In this paper, we show that if \(m\ge 3\) is an odd integer, then there is no positive solution to the system. Moreover, we find the solutions completely for \(5\le a\le 14\) in the cases when \(m\ge 2\) is even integer and \(m=1\).