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

$$L^{p}$$-Norms a nd Mahler’s Measure of Poly nomials o n the n-Dime nsio nal Torus

We prove Nikol’skii type inequalities that, for polynomials on the n-dimensional torus \(\mathbb {T}^n\), relate the \(L^p\)-norm with the \(L^q\)-norm (with respect to the normalized Lebesgue measure and \(0 <p <q < \infty \)). Among other things, we show that \(C=\sqrt{q/p}\) is the best constant such that \(\Vert P\Vert _{L^q}\le C^{\text {deg}(P)} \Vert P\Vert _{L^p}\) for all homogeneous polynomials P on \(\mathbb {T}^n\). We also prove an exact inequality between the \(L^p\)-norm of a polynomial P on \(\mathbb {T}^n\) and its Mahler measure M(P), which is the geometric mean of |P| with respect to the normalized Lebesgue measure on \(\mathbb {T}^n\). Using extrapolation, we transfer this estimate into a Khintchine–Kahane type inequality, which, for polynomials on \(\mathbb {T}^n\), relates a certain exponential Orlicz norm and Mahler’s measure. Applications are given, including some interpolation estimates.     

Cohomogeneity one actions on Minkowski spaces

We study isometric cohomogeneity one actions on the \((n+1)\)-dimensional Minkowski space \(\mathbb {L}^{n+1}\) up to orbit-equivalence. We give examples of isometric cohomogeneity one actions on \(\mathbb {L}^{n+1}\) whose orbit spaces are non-Hausdorff. We show that there exist isometric cohomogeneity one actions on \(\mathbb {L}^{n+1}\), \(n \ge 3\), which are orbit-equivalent on the complement of an n-dimensional degenerate subspace \(\mathbb {W}^n\) of \(\mathbb {L}^{n+1}\) and not orbit-equivalent on \(\mathbb {W}^n\). We classify isometric cohomogeneity one actions on \(\mathbb {L}^2\) and \(\mathbb {L}^3\) up to orbit-equivalence.     

Construction of sign-changing solutions for a harmonic equation with subcritical exponent

In this paper, we study the harmonic equation involving subcritical exponent \((P_{\varepsilon })\): \( \Delta u = 0 \), in \(\mathbb {B}^n\) and \(\displaystyle \frac{\partial u}{\partial \nu } + \displaystyle \frac{n-2}{2}u = \displaystyle \frac{n-2}{2} K u^{\frac{n}{n-2}-\varepsilon }\) on \( \mathbb {S}^{n-1}\) where \(\mathbb {B}^n \) is the unit ball in \(\mathbb {R}^n\), \(n\ge 5\) with Euclidean metric \(g_0\), \(\partial \mathbb {B}^n = \mathbb {S}^{n-1}\) is its boundary, K is a function on \(\mathbb {S}^{n-1}\) and \(\varepsilon \) is a small positive parameter. We construct solutions of the subcritical equation \((P_{\varepsilon })\) which blow up at two different critical points of K. Furthermore, we construct solutions of \((P_{\varepsilon })\) which have two bubbles and blow up at the same critical point of K.     

Equilibrium Diffusion on the Cone of Discrete Radon Measures

Let \({\mathbb {K}(\mathbb {R}^{d})}\) denote the cone of discrete Radon measures on \(\mathbb {R}^{d}\). There is a natural differentiation on \(\mathbb {K}(\mathbb {R}^{d})\): for a differentiable function \(F:\mathbb {K}(\mathbb {R}^{d})\to \mathbb {R}\), one defines its gradient \(\nabla ^{\mathbb {K}}F\) as a vector field which assigns to each \(\eta \in \mathbb {K}(\mathbb {R}^{d})\) an element of a tangent space \(T_{\eta }(\mathbb {K}(\mathbb {R}^{d}))\) to \(\mathbb {K}(\mathbb {R}^{d})\) at point η. Let \(\phi :\mathbb {R}^{d}\times \mathbb {R}^{d}\to \mathbb {R}\) be a potential of pair interaction, and let μ be a corresponding Gibbs perturbation of (the distribution of) a completely random measure on \(\mathbb {R}^{d}\). In particular, μ is a probability measure on \(\mathbb {K}(\mathbb {R}^{d})\) such that the set of atoms of a discrete measure \(\eta \in \mathbb {K}(\mathbb {R}^{d})\) is μ-a.s. dense in \(\mathbb {R}^{d}\). We consider the corresponding Dirichlet form

$$\mathcal{E}^{\mathbb{K}}(F,G)={\int}_{\mathbb K(\mathbb{R}^{d})}\langle\nabla^{\mathbb{K}} F(\eta), \nabla^{\mathbb{K}} G(\eta)\rangle_{T_{\eta}(\mathbb{K})}\,d\mu(\eta). $$

Integrating by parts with respect to the measure μ, we explicitly find the generator of this Dirichlet form. By using the theory of Dirichlet forms, we prove the main result of the paper: If d ≥ 2, there exists a conservative diffusion process on \(\mathbb {K}(\mathbb {R}^{d})\) which is properly associated with the Dirichlet form \(\mathcal {E}^{\mathbb {K}}\).

     

On height isotopy classes of embeddings in the plane of a Morse function of a circle

Let \(\mathrm{SM}_{2n}(S^1,\mathbb {R})\) be a set of stable Morse functions of an oriented circle such that the number of singular points is \(2n\in \mathbb {N}\) and the order of singular values satisfies the particular condition. For an orthogonal projection \(\pi :\mathbb {R}^2\rightarrow \mathbb {R}\), let \({\tilde{f}}_0\) and \({\tilde{f}}_1:S^1\rightarrow \mathbb {R}^2\) be embedding lifts of f. If there is an ambient isotopy \(\tilde{\varphi }_t:\mathbb {R}^2\rightarrow \mathbb {R}^2\) \((t\in [0,1])\) such that \({\pi \circ \tilde{\varphi }}_t(y_1,y_2)=y_1\) and \(\tilde{\varphi }_1\circ {\tilde{f}}_0={\tilde{f}}_1\), we say that \({\tilde{f}}_0\) and \({\tilde{f}}_1\) are height isotopic. We define a function \(I:\mathrm{SM}_{2n}(S^1,\mathbb {R})\rightarrow \mathbb {N}\) as follows: I(f) is the number of height isotopy classes of embeddings such that each rotation number is one. In this paper, we determine the maximal value of the function I equals the n-th Baxter number and the minimal value equals \(2^{n-1}\).     

Normes cyclotomiques naïves et unités logarithmiques

We compute the \({\mathbb {Z}}\)-rank of the subgroup \(\widetilde{E}_K =\bigcap _{n\in {\mathbb {N}}} N_{K_n/K}(K_n^\times )\) of elements of the multiplicative group of a number field K that are norms from every finite level of the cyclotomic \({\mathbb {Z}}_\ell \)-extension \(K^c\) of K. Thus we compare its \(\ell \)-adification \({\mathbb {Z}}_\ell \otimes _{\mathbb {Z}}\widetilde{E}_K\) with the group of logarithmic units \(\widetilde{\varepsilon }_K\). By the way we point out an easy proof of the Gross–Kuz’min conjecture for \(\ell \)-undecomposed extensions of abelian fields.     

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.     

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

Anderson Polymer in a Fractional Brownian Environment: Asymptotic Behavior of the Partition Function

We consider the Anderson polymer partition function

$$\begin{aligned} u(t):=\mathbb {E}^X\left[ e^{\int _0^t \mathrm {d}B^{X(s)}_s}\right] \,, \end{aligned}$$

where \(\{B^{x}_t\,;\, t\ge 0\}_{x\in \mathbb {Z}^d}\) is a family of independent fractional Brownian motions all with Hurst parameter \(H\in (0,1)\), and \(\{X(t)\}_{t\in \mathbb {R}^{\ge 0}}\) is a continuous-time simple symmetric random walk on \(\mathbb {Z}^d\) with jump rate \(\kappa \) and started from the origin. \(\mathbb {E}^X\) is the expectation with respect to this random walk. We prove that when \(H\le 1/2\), the function u(t) almost surely grows asymptotically like \(e^{\lambda t}\), where \(\lambda >0\) is a deterministic number. More precisely, we show that as t approaches \(+\infty \), the expression \(\{\frac{1}{t}\log u(t)\}_{t\in \mathbb {R}^{>0}}\) converges both almost surely and in the \(\hbox {L}^1\) sense to some positive deterministic number \(\lambda \). For \(H>1/2\), we first show that \(\lim _{t\rightarrow \infty } \frac{1}{t}\log u(t)\) exists both almost surely and in the \(\hbox {L}^1\) sense and equals a strictly positive deterministic number (possibly \(+\infty \)); hence, almost surely u(t) grows asymptotically at least like \(e^{\alpha t}\) for some deterministic constant \(\alpha >0\). On the other hand, we also show that almost surely and in the \(\hbox {L}^1\) sense, \(\limsup _{t\rightarrow \infty } \frac{1}{t\sqrt{\log t}}\log u(t)\) is a deterministic finite real number (possibly zero), hence proving that almost surely u(t) grows asymptotically at most like \(e^{\beta t\sqrt{\log t}}\) for some deterministic positive constant \(\beta \). Finally, for \(H>1/2\) when \(\mathbb {Z}^d\) is replaced by a circle endowed with a Hölder continuous covariance function, we show that \(\limsup _{t\rightarrow \infty } \frac{1}{t}\log u(t)\) is a deterministic finite positive real number, hence proving that almost surely u(t) grows asymptotically at most like \(e^{c t}\) for some deterministic positive constant c.

     

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.     

On kernels and nuclei of rank metric codes

For each rank metric code \(\mathcal {C}\subseteq \mathbb {K}^{m\times n}\), we associate a translation structure, the kernel of which is shown to be invariant with respect to the equivalence on rank metric codes. When \(\mathcal {C}\) is \(\mathbb {K}\)-linear, we also propose and investigate other two invariants called its middle nucleus and right nucleus. When \(\mathbb {K}\) is a finite field \(\mathbb {F}_q\) and \(\mathcal {C}\) is a maximum rank distance code with minimum distance \(d<\min \{m,n\}\) or \(\gcd (m,n)=1\), the kernel of the associated translation structure is proved to be \(\mathbb {F}_q\). Furthermore, we also show that the middle nucleus of a linear maximum rank distance code over \(\mathbb {F}_q\) must be a finite field; its right nucleus also has to be a finite field under the condition \(\max \{d,m-d+2\} \geqslant \left\lfloor \frac{n}{2} \right\rfloor +1\). Let \(\mathcal {D}\) be the DHO-set associated with a bilinear dimensional dual hyperoval over \(\mathbb {F}_2\). The set \(\mathcal {D}\) gives rise to a linear rank metric code, and we show that its kernel and right nucleus are isomorphic to \(\mathbb {F}_2\). Also, its middle nucleus must be a finite field containing \(\mathbb {F}_q\). Moreover, we also consider the kernel and the nuclei of \(\mathcal {D}^k\) where k is a Knuth operation.     

Couplings of Brownian Motions of Deterministic Distance in Model Spaces of Constant Curvature

We consider the model space \(\mathbb {M}^{n}_{K}\) of constant curvature K and dimension \(n\ge 1\) (Euclidean space for \(K=0\), sphere for \(K>0\) and hyperbolic space for \(K<0\)), and we show that given a function \(\rho :[0,\infty )\rightarrow [0, \infty )\) with \(\rho (0)=\mathrm {dist}(x,y)\) there exists a coadapted coupling (X(t), Y(t)) of Brownian motions on \(\mathbb {M}^{n}_{K}\) starting at (x, y) such that \(\rho (t)=\mathrm {dist}(X(t),Y(t))\) for every \(t\ge 0\) if and only if \(\rho \) is continuous and satisfies for almost every \(t\ge 0\) the differential inequality

$$\begin{aligned} -(n-1)\sqrt{K}\tan \left( \tfrac{\sqrt{K}\rho (t)}{2}\right) \le \rho '(t)\le -(n-1)\sqrt{K}\tan \left( \tfrac{\sqrt{K}\rho (t)}{2}\right) +\tfrac{2(n-1)\sqrt{K}}{\sin (\sqrt{K}\rho (t))}. \end{aligned}$$

In other words, we characterize all coadapted couplings of Brownian motions on the model space \(\mathbb {M}^{n}_{K}\) for which the distance between the processes is deterministic. In addition, the construction of the coupling is explicit for every choice of \(\rho \) satisfying the above hypotheses.

     

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

Lattices from codes over $$\mathbb {Z}_q$$: generalization of constructions D, $$ D'$$ D′ and $$\overline{ D}$$ D¯

In this paper, we extend the lattice Constructions D, \(D'\) and \(\overline{D}\) (this latter is also known as Forney’s code formula) from codes over \(\mathbb {F}_p\) to linear codes over \(\mathbb {Z}_q\), where \(q \in \mathbb {N}\). We define an operation in \(\mathbb {Z}_q^n\) called zero-one addition, which coincides with the Schur product when restricted to \(\mathbb {Z}_2^n\) and show that the extended Construction \(\overline{D}\) produces a lattice if and only if the nested codes are closed under this addition. A generalization to the real case of the recently developed Construction \(A'\) is also derived and we show that this construction produces a lattice if and only if the corresponding code over \(\mathbb {Z}_q[X]/X^a\) is closed under a shifted zero-one addition. One of the motivations for this work is the recent use of q-ary lattices in cryptography.     

Sign-changing solutions to a partially periodic nonlinear Schrödinger equation in domains with unbounded boundary

We consider the problem

$$\begin{aligned} -\Delta u+\left( V_{\infty }+V(x)\right) u=|u|^{p-2}u,\quad u\in H_{0} ^{1}(\Omega ), \end{aligned}$$

where \(\Omega \) is either \(\mathbb {R}^{N}\) or a smooth domain in \(\mathbb {R} ^{N}\) with unbounded boundary, \(N\ge 3,\) \(V_{\infty }>0,\) \(V\in \mathcal {C} ^{0}(\mathbb {R}^{N}),\) \(\inf _{\mathbb {R}^{N}}V>-V_{\infty }\) and \(2<p<\frac{2N}{N-2}\). We assume V is periodic in the first m variables, and decays exponentially to zero in the remaining ones. We also assume that \(\Omega \) is periodic in the first m variables and has bounded complement in the other ones. Then, assuming that \(\Omega \) and V are invariant under some suitable group of symmetries on the last \(N-m\) coordinates of \(\mathbb {R}^{N}\), we establish existence and multiplicity of sign-changing solutions to this problem. We show that, under suitable assumptions, there is a combined effect of the number of periodic variables and the symmetries of the domain on the number of sign-changing solutions to this problem. This number is at least \(m+1\)

     

Estimates for coefficients of certain <Emphasis Type="Italic">L</Emphasis>-functions

Let \(\pi _{\varphi }\) (or \(\pi _{\psi }\)) be an automorphic cuspidal representation of \(\text {GL}_{2} (\mathbb {A}_{\mathbb {Q}})\) associated to a primitive Maass cusp form \(\varphi \) (or \(\psi \)), and \(\mathrm{sym}^j \pi _{\varphi }\) be the jth symmetric power lift of \(\pi _{\varphi }\). Let \(a_{\mathrm{sym}^j \pi _{\varphi }}(n)\) denote the nth Dirichlet series coefficient of the principal L-function associated to \(\mathrm{sym}^j \pi _{\varphi }\). In this paper, we study first moments of Dirichlet series coefficients of automorphic representations \(\mathrm{sym}^3 \pi _{\varphi }\) of \(\text {GL}_{4}(\mathbb {A}_{\mathbb {Q}})\), and \(\pi _{\psi }\otimes \mathrm{sym}^2 \pi _{\varphi }\) of \(\text {GL}_{6}(\mathbb {A}_{\mathbb {Q}})\). For \(3 \le j \le 8\), estimates for \(|a_{\mathrm{sym}^j \pi _{\varphi }}(n)|\) on average over a short interval have also been established.     

The cohomology of orbit spaces of certain free circle group actions

Suppose that \(G =\mathbb{S}^1\) acts freely on a finitistic space X whose (mod p) cohomology ring is isomorphic to that of a lens space \(L^{2m-1}(p;q_1,\ldots,q_m)\) or \(\mathbb{S}^1\times \mathbb{C}P^{m-1}\). The mod p index of the action is defined to be the largest integer n such that α ⁿ ?≠?0, where \(\alpha \,\epsilon\, H^2(X/G;\mathbb{Z}_p)\) is the nonzero characteristic class of the \(\mathbb{S}^1\)-bundle \(\mathbb{S}^1\hookrightarrow X\rightarrow X/G\). We show that the mod p index of a free action of G on \(\mathbb{S}^1\times \mathbb{C}P^{m-1}\) is p???1, when it is defined. Using this, we obtain a Borsuk–Ulam type theorem for a free G-action on \(\mathbb{S}^1\times \mathbb{C}P^{m-1}\). It is note worthy that the mod p index for free G-actions on the cohomology lens space is not defined.     

The Minimal Size of Infinite Maximal Antichains in Direct Products of Partial Orders

For a partial order \(\mathbb {P}\) having infinite antichains by \(\mathfrak {a}(\mathbb {P})\) we denote the minimal cardinality of an infinite maximal antichain in \(\mathbb {P}\) and investigate how does this cardinal invariant of posets behave in finite products. In particular we show that \(\min \{ \mathfrak {a}(\mathbb {P}),\mathfrak {p} (\text {sq} \mathbb {P}) \} \leq \mathfrak {a} (\mathbb {P}^{n} ) \leq \mathfrak {a} (\mathbb {P})\), for all \(n\in \mathbb {N}\), where \(\mathfrak {p} (\text {sq} \mathbb {P})\) is the minimal size of a centered family without a lower bound in the separative quotient of the poset \(\mathbb {P}\), or \(\mathfrak {p} (\text {sq} \mathbb {P})=\infty \), if there is no such family. So we have \(\mathfrak {a} (\mathbb {P} \times \mathbb {P})=\mathfrak {a} (\mathbb {P})\) whenever \(\mathfrak {p} (\text {sq} \mathbb {P})\geq \mathfrak {a} (\mathbb {P})\) and we show that, in addition, this equality holds for all posets obtained from infinite Boolean algebras of size ≤ø ₁ by removing zero, all reversed trees, all atomic posets and, in particular, for all posets of the form \(\langle \mathcal {C} ,\subset \rangle \), where \(\mathcal {C}\) is a family of nonempty closed sets in a compact T ₁-space containing all singletons. As a by-product we obtain the following combinatorial statement: If X is an infinite set and {A _i ×B _i :i∈I} an infinite partition of the square X ², then at least one of the families {A _i :i∈I} and {B _i :i∈I} contains an infinite partition of X.     

Bavrin’s Type Factorization of the Temljakov Operator for Holomorphic Functions in Circular Domains of $$\mathbb {C}^{n}$$

The paper concerns investigations of holomorphic functions of several complex variables with a factorization of their Temljakov transform. Firstly, there were considered some inclusions between the families \(\mathcal {C}_{\mathcal {G}},\mathcal {M}_{\mathcal {G}},\mathcal {N}_{\mathcal {G}},\mathcal {R}_{\mathcal {G}},\mathcal {V}_{\mathcal {G}}\) of such holomorphic functions on complete n-circular domain \(\mathcal {G}\) of \(\mathbb {C}^{n}\) in some papers of Bavrin, Fukui, Higuchi, Michiwaki. A motivation of our investigations is a condensation of the mentioned inclusions by some new families of Bavrin’s type. Hence we consider some families \(\mathcal {K}_{ \mathcal {G}}^{k},k\ge 2,\) of holomorphic functions f :  \(\mathcal {G}\rightarrow \mathbb {C},f(0)=1,\) defined also by a factorization of \( \mathcal {L}f\) onto factors from \(\mathcal {C}_{\mathcal {G}}\) and \(\mathcal {M} _{\mathcal {G}}.\) We present some interesting properties and extremal problems on \(\mathcal {K}_{\mathcal {G}}^{k}\).