On the symbol-pair distances of repeated-root constacyclic codes of length 2ps

Let $p$ be an odd prime, and $\lambda$ be a nonzero element of the finite field ${\mathbb{F}}_{p^m}$. The $\lambda$-constacyclic codes of length $2p^s$ over ${\mathbb{F}}_{p^m}$ are classified as the ideals of quotient ring $\frac{{\mathbb{F}}_{p^m}\left[x\right]}{〈x^{2p^s}?\lambda 〉}$ in terms of their generator polynomials. Based on these generator polynomials, the symbol-pair distances of all such $\lambda$-constacyclic codes of length $2p^s$ are obtained in this paper. As an application, all MDS symbol-pair constacyclic codes of length $2p^s$ over ${\mathbb{F}}_{p^m}$ are established, which produce many new MDS symbol-pair codes with good parameters.     

Linearity and classification of ZpZp2-linear generalized Hadamard codes

The ${\mathbb{Z}}_p{\mathbb{Z}}_{p^2}$-additive codes are subgroups of ${\mathbb{Z}}_p^{{\alpha }_1}\times {\mathbb{Z}}_{p^2}^{{\alpha }_2}$, and can be seen as linear codes over ${\mathbb{Z}}_p$ when ${\alpha }_2=0$, ${\mathbb{Z}}_{p^2}$-additive codes when ${\alpha }_1=0$, or ${\mathbb{Z}}_2{\mathbb{Z}}_4$-additive codes when $p=2$. A ${\mathbb{Z}}_p{\mathbb{Z}}_{p^2}$-linear generalized Hadamard (GH) code is a GH code over ${\mathbb{Z}}_p$ which is the Gray map image of a ${\mathbb{Z}}_p{\mathbb{Z}}_{p^2}$-additive code. Recursive constructions of ${\mathbb{Z}}_p{\mathbb{Z}}_{p^2}$-additive GH codes of type $({\alpha }_1,{\alpha }_2;t_1,t_2)$ with $t_1,t_2\ge 1$ are known. In this paper, we generalize some known results for ${\mathbb{Z}}_p{\mathbb{Z}}_{p^2}$-linear GH codes with $p=2$ to any $p\ge 3$ prime when ${\alpha }_1\ne 0$, and then we compare them with the ones obtained when ${\alpha }_1=0$. First, we show for which types the corresponding ${\mathbb{Z}}_p{\mathbb{Z}}_{p^2}$-linear GH codes are nonlinear over ${\mathbb{Z}}_p$. Then, for these codes, we compute the kernel and its dimension, which allow us to classify them completely. Moreover, by computing the rank of some of these codes, we show that, unlike ${\mathbb{Z}}_4$-linear Hadamard codes, the ${\mathbb{Z}}_{p^2}$-linear GH codes are not included in the family of ${\mathbb{Z}}_p{\mathbb{Z}}_{p^2}$-linear GH codes with ${\alpha }_1\ne 0$ when $p\ge 3$ prime. Indeed, there are some families with infinite nonlinear ${\mathbb{Z}}_p{\mathbb{Z}}_{p^2}$-linear GH codes, where the codes are not equivalent to any ${\mathbb{Z}}_{p^s}$-linear GH code with $s\ge 2$.     

On the structure of certain valued fields

In this article, we study the structure of finitely ramified mixed characteristic valued fields. For any two complete discrete valued fields $K_1$ and $K_2$ of mixed characteristic with perfect residue fields, we show that if the n-th residue rings are isomorphic for each $n\ge 1$, then $K_1$ and $K_2$ are isometric and isomorphic. More generally, for $n_1\ge 1$, there is $n_2$ depending only on the ramification indices of $K_1$ and $K_2$ such that any homomorphism from the $n_1$-th residue ring of $K_1$ to the $n_2$-th residue ring of $K_2$ can be lifted to a homomorphism between the valuation rings. Moreover, we get a functor from the category of certain principal Artinian local rings of length n to the category of certain complete discrete valuation rings of mixed characteristic with perfect residue fields, which naturally generalizes the functorial property of unramified complete discrete valuation rings. Our lifting result improves Basarab's relative completeness theorem for finitely ramified henselian valued fields, which solves a question posed by Basarab, in the case of perfect residue fields.     

Equivalences among Z2s-linear Hadamard codes

The ${\mathbb{Z}}_{2^s}$-additive codes are subgroups of ${\mathbb{Z}}_{2^s}^n$, and can be seen as a generalization of linear codes over ${\mathbb{Z}}_2$ and ${\mathbb{Z}}_4$. A ${\mathbb{Z}}_{2^s}$-linear Hadamard code is a binary Hadamard code which is the Gray map image of a ${\mathbb{Z}}_{2^s}$-additive code. A partial classification of these codes by using the dimension of the kernel is known. In this paper, we establish that some ${\mathbb{Z}}_{2^s}$-linear Hadamard codes of length $2^t$ are equivalent, once $t$ is fixed. This allows us to improve the known upper bounds for the number of such nonequivalent codes. Moreover, up to $t=11$, this new upper bound coincides with a known lower bound (based on the rank and dimension of the kernel). Finally, when we focus on $s\in \{2,3\}$, the full classification of the ${\mathbb{Z}}_{2^s}$-linear Hadamard codes of length $2^t$ is established by giving the exact number of such codes.     

Relation between the H-rank of a mixed graph and the rank of its underlying graph

Given a simple graph $G=(V_G,E_G)$ with vertex set $V_G$ and edge set $E_G$, the mixed graph $\stackrel{?}{G}$ is obtained from $G$ by orienting some of its edges. Let $H\left(\stackrel{?}{G}\right)$ denote the Hermitian adjacency matrix of $\stackrel{?}{G}$ and $A\left(G\right)$ be the adjacency matrix of $G$. The $H$-rank (resp. rank) of $\stackrel{?}{G}$ (resp. $G$), written as $rk\left(\stackrel{?}{G}\right)$ (resp. $r\left(G\right)$), is the rank of $H\left(\stackrel{?}{G}\right)$ (resp. $A\left(G\right)$). Denote by $d\left(G\right)$ the dimension of cycle space of $G$, that is $d\left(G\right)=\left|E_G\right|?\left|V_G\right|+\omega \left(G\right)$, where $\omega \left(G\right)$ denotes the number of connected components of $G$. In this paper, we concentrate on the relation between the $H$-rank of $\stackrel{?}{G}$ and the rank of $G$. We first show that $?2d\left(G\right)?rk\left(\stackrel{?}{G}\right)?r\left(G\right)?2d\left(G\right)$ for every mixed graph $\stackrel{?}{G}$. Then we characterize all the mixed graphs that attain the above lower (resp. upper) bound. By these obtained results in the current paper, all the main results obtained in Luo et al. (2018); Wong et al. (2016) may be deduced consequently.     

Uniqueness in Harper’s vertex-isoperimetric theorem

For a set $A\subseteq Q_n={\left\{0,1\right\}}^n$ the $t$-neighbourhood of $A$ is $N^t\left(A\right)=\left\{x:d\left(x,A\right)\le t\right\}$, where $d$ denotes the usual graph distance on $Q_n$. Harper’s vertex-isoperimetric theorem states that among the subsets $A\subseteq Q_n$ of given size, the size of the $t$-neighbourhood is minimised when $A$ is taken to be an initial segment of the simplicial order. Aubrun and Szarek asked the following question: if $A\subseteq Q_n$ is a subset of given size for which the sizes of both $N^t\left(A\right)$ and $N^t\left(A^c\right)$ are minimal for all $t>0$, does it follow that $A$ is isomorphic to an initial segment of the simplicial order?Our aim is to give a counterexample. Surprisingly it turns out that there is no counterexample that is a Hamming ball, meaning a set that lies between two consecutive exact Hamming balls, i.e. a set $A$ with $B\left(x,r\right)\subseteq A\subseteq B\left(x,r+1\right)$ for some $x\in Q_n$. We go further to classify all the sets $A\subseteq Q_n$ for which the sizes of both $N^t\left(A\right)$ and $N^t\left(A^c\right)$ are minimal for all $t>0$ among the subsets of $Q_n$ of given size. We also prove that, perhaps surprisingly, if $A\subseteq Q_n$ for which the sizes of $N\left(A\right)$ and $N\left(A^c\right)$ are minimal among the subsets of $Q_n$ of given size, then the sizes of both $N^t\left(A\right)$ and $N^t\left(A^c\right)$ are also minimal for all $t>0$ among the subsets of $Q_n$ of given size. Hence the same classification also holds when we only require $N\left(A\right)$ and $N\left(A^c\right)$ to have minimal size among the subsets $A\subseteq Q_n$ of given size.     

Even (s̄,t̄)-core partitions and self-associate characters of S̃n

We extend a method of Olsson and Bessenrodt to determine the number of even partitions that are simultaneously $\stackrel{?}{s}$-core and $\stackrel{?}{t}$-core. When $p$ and $q$ are distinct primes, this also determines the number of self-associate characters of ${\stackrel{?}{S}}_n$ that are simultaneously defect 0 for $p$ and $q$.     

On the centre of mass of a random walk

For a random walk $S_n$ on ${\mathbb{R}}^d$ we study the asymptotic behaviour of the associated centre of mass process $G_n=n^{?1}{\sum }_{i=1}^n{S}_i$. For lattice distributions we give conditions for a local limit theorem to hold. We prove that if the increments of the walk have zero mean and finite second moment, $G_n$ is recurrent if $d=1$ and transient if $d\ge 2$. In the transient case we show that $G_n$ has a diffusive rate of escape. These results extend work of Grill, who considered simple symmetric random walk. We also give a class of random walks with symmetric heavy-tailed increments for which $G_n$ is transient in $d=1$.     

Sharp non-asymptotic concentration inequalities for the approximation of the invariant distribution of a diffusion

Let ${\left(Y_t\right)}_{t\ge 0}$ be an ergodic diffusion with invariant distribution $\nu$. Consider the empirical measure ${\nu }_n≔{\left({\sum }_{k=1}^n{\gamma }_k\right)}^{-1}{\sum }_{k=1}^n{\gamma }_k{\delta }_{X_{k-1}}$ where ${\left(X_k\right)}_{k\ge 0}$ is an Euler scheme with decreasing steps ${\left({\gamma }_k\right)}_{k\ge 0}$ which approximates ${\left(Y_t\right)}_{t\ge 0}$. Given a test function $f$, we obtain sharp concentration inequalities for ${\nu }_n\left(f\right)-\nu \left(f\right)$ which improve the results in Honoré et al. (2019). Our hypotheses on the test function $f$ cover many real applications: either $f$ is supposed to be a coboundary of the infinitesimal generator of the diffusion, or $f$ is supposed to be Lipschitz.     

Non parametric estimation of the diffusion coefficients of a diffusion with jumps

In this article, we consider a jump diffusion process ${\left(X_t\right)}_{t\ge 0}$, with drift function $b$, diffusion coefficient $\sigma$ and jump coefficient ${\xi }^2$. This process is observed at discrete times $t=0,\Delta ,\dots ,n\Delta$. The sampling interval $\Delta$ tends to 0 and the time interval $n\Delta$ tends to infinity. We assume that ${\left(X_t\right)}_{t\ge 0}$ is ergodic, strictly stationary and exponentially $\beta$-mixing. We use a penalized least-square approach to compute adaptive estimators of the functions ${\sigma }^2+{\xi }^2$ and ${\sigma }^2$. We provide bounds for the risks of the two estimators.