LeVeque type inequalities and discrepancy estimates for minimal energy configurations on spheres

Let ${\mathbb{S}}^d$ denote the unit sphere in the Euclidean space ${\mathbb{R}}^{d+1}(d\ge 1)$. We develop LeVeque type inequalities for the discrepancy between the rotationally invariant probability measure and the normalized counting measures on ${\mathbb{S}}^d$. We obtain both upper bound and lower bound estimates. We then use these inequalities to estimate the discrepancy of the normalized counting measures associated with minimal energy configurations on ${\mathbb{S}}^d$.     

A second order asymptotic expansion in the local limit theorem for a simple branching random walk in Zd

Consider a branching random walk, where the underlying branching mechanism is governed by a Galton–Watson process and the migration of particles by a simple random walk in ${\mathbb{Z}}^d$. Denote by $Z_n\left(z\right)$ the number of particles of generation $n$ located at site $z\in {\mathbb{Z}}^d$. We give the second order asymptotic expansion for $Z_n\left(z\right)$. The higher order expansion can be derived by using our method here. As a by-product, we give the second order expansion for a simple random walk on ${\mathbb{Z}}^d$, which is used in the proof of the main theorem and is of independent interest.     

Spread of a catalytic branching random walk on a multidimensional lattice

For a supercritical catalytic branching random walk on ${\mathbb{Z}}^d$, $d\in \mathbb{N}$, with an arbitrary finite catalysts set we study the spread of particles population as time grows to infinity. It is shown that in the result of the proper normalization of the particles positions in the limit there are a.s. no particles outside the closed convex surface in ${\mathbb{R}}^d$ which we call the propagation front and, under condition of infinite number of visits of the catalysts set, a.s. there exist particles on the propagation front. We also demonstrate that the propagation front is asymptotically densely populated and derive its alternative representation.     

On two upper bounds for hypersurfaces involving a Thas’ invariant

Let $X^n$ be a hypersurface in ${\mathbb{P}}^{n+1}$ with $n\ge 1$ defined over a finite field ${\mathbb{F}}_q$ of $q$ elements. In this note, we classify, up to projective equivalence, hypersurfaces $X^n$ as above which reach two elementary upper bounds for the number of ${\mathbb{F}}_q$-points on $X^n$ which involve a Thas’ invariant.     

On the additive cyclic structure of quasi-cyclic codes

An index $?$, length $m?$ quasi-cyclic code can be viewed as a cyclic code of length $m$ over the field ${\mathbb{F}}_{q^{?}}$ via a basis of the extension ${\mathbb{F}}_{q^{?}}∕{\mathbb{F}}_q$. However, this cyclic code is only linear over ${\mathbb{F}}_q$, making it an additive cyclic code, or an ${\mathbb{F}}_q$-linear cyclic code, over the alphabet ${\mathbb{F}}_{q^{?}}$. This approach was recently used in Shi et al. (2017) [16] to study a class of quasi-cyclic codes, and more importantly in Shi et al. (2017) [17] to settle a long-standing question on the asymptotic performance of cyclic codes. Here, we answer one of the problems posed in these two articles, and characterize those quasi-cyclic codes which have ${\mathbb{F}}_{q^{?}}$-linear cyclic images under a basis of the extension ${\mathbb{F}}_{q^{?}}∕{\mathbb{F}}_q$. Our characterizations are based on the module structure of quasi-cyclic codes, as well as on their CRT decompositions into constituents. In the case of a polynomial basis, we characterize the constituents by using the theory of invariant subspaces of operators. We also observe that analogous results extend to the case of quasi-twisted codes.     

Logarithmic potentials on Pn

We study the projective logarithmic potential ${\mathbb{G}}_{\mu }$ of a probability measure μ on the complex projective space ${\mathbb{P}}^n$. We prove that the range of the operator $\mu ?{\mathbb{G}}_{\mu }$ is contained in the (local) domain of definition of the complex Monge–Ampère operator acting on the class of quasi-plurisubharmonic functions on ${\mathbb{P}}^n$ with respect to the Fubini–Study metric. Moreover, when the measure μ has no atom, we show that the complex Monge–Ampère measure of its logarithmic potential is an absolutely continuous measure with respect to the Fubini–Study volume form on ${\mathbb{P}}^n$.