We prove a lower bound in a law of the iterated logarithm for sums of the form ${\sum }_{k=1}^N{a}_{k}f(n_{k}x+c_k)$ where f satisfies certain conditions and the $n_k$ satisfy the Hadamard gap condition $n_{k+1}/n_k\ge q>1$.

Let df be a Hilbert-space-valued martingale difference sequence. The paper is devoted to a new, elementary proof of the estimate $\parallel {\sum }_{k=0}^{\infty }d{f}_k{\parallel }_p\le C_p\parallel ({\sum }_{k=0}^{\infty }\left(\right|d{f}_k\left|²\right|{ℱ}_{k-1}{\left)\right)}^{1/2}{\parallel }_p+\parallel ({\sum }_{k=0}^{\infty }|d{f}_k{{|}^p)}^{1/p}{\parallel }_p,$ with $C_p=O(p/lnp)$ as p → ∞.

Let ℳ be a hyperfinite finite von Nemann algebra and ${\left({ℳ}_k\right)}_{k\ge 1}$ be an increasing filtration of finite-dimensional von Neumann subalgebras of ℳ. We investigate abstract fractional integrals associated to the filtration ${\left({ℳ}_k\right)}_{k\ge 1}$. For a finite noncommutative martingale $x={\left(x_k\right)}_{1\le k\le n}\subseteq L₁\left(ℳ\right)$ adapted to ${\left({ℳ}_k\right)}_{k\ge 1}$ and 0 < α < 1, the fractional integral of x of order α is defined by setting $I^{\alpha }x={\sum }_{k=1}^n{\zeta }_k^{\alpha }d{x}_k$ for an appropriate sequence ${\left({\zeta }_k\right)}_{k\ge 1}$ of scalars. For the case of a noncommutative dyadic martingale in L₁() where is the type II₁ hyperfinite factor...

For any positive integer $k\ge 3$, it is easy to prove that the $k$-polygonal numbers are $a_n\left(k\right)=(2n+n(n-1)(k-2))/2$. The main purpose of this paper is, using the properties of Gauss sums and Dedekind sums, the mean square value theorem of Dirichlet $L$-functions and the analytic methods, to study the computational problem of one kind mean value of Dedekind sums $S(a_n\left(k\right){\overline{a}}_m\left(k\right),p)$ for $k$-polygonal numbers with $1\le m,n\le p-1$, and give an interesting computational formula for it.

We extend Champernowne’s construction of normal numbers to base b to the ${\mathbb{Z}}^d$ case and obtain an explicit construction of a generic point of the ${\mathbb{Z}}^d$ shift transformation of the set ${0,1,...,b-1}^{{\mathbb{Z}}^d}$.

Let $S_n^{\left(2\right)}$ denote the iterated partial sums. That is, $S_n^{\left(2\right)}=S_1+S_2+\cdots +S_n$, where $S_i=X_1+X_2+\cdots +X_i$. Assuming $X_1,X_2,...,X_n$ are integrable, zero-mean, i.i.d. random variables, we show that the persistence probabilities $$p_n^{\left(2\right)}:=\mathbb{P}\left(\underset{1\le i\le n}{max}{S}_i^{\left(2\right)}lt;0\right)\le c\sqrt{\frac{𝔼|S_{n+1}|}{(n+1)𝔼|X_1|}},$$ with $c\le 6\sqrt{30}$ (and $c=2$ whenever $X_1$ is symmetric). The converse inequality holds whenever the non-zero $min(-X_1,0)$ is bounded or when it has only finite third moment and in addition $X_1$ is squared integrable. Furthermore, $p_n^{\left(2\right)}\asymp n^{-1/4}$ for any non-degenerate squared integrable, i.i.d., zero-mean $X_i$. In contrast, we show that for any $0lt;\gamma lt;1/4$ there exist integrable,...

We consider Weil sums of binomials of the form $W_{F,d}\left(a\right)={\sum }_{x\in F}\psi (x^d-ax)$, where F is a finite field, ψ: F → ℂ is the canonical additive character, $gcd(d,|F^{\times }\left|\right)=1$, and $a\in F^{\times }$. If we fix F and d, and examine the values of $W_{F,d}\left(a\right)$ as a runs through $F^{\times }$, we always obtain at least three distinct values unless d is degenerate (a power of the characteristic of F modulo $|F^{\times }|$). Choices of F and d for which we obtain only three values are quite rare and desirable in a wide variety of applications. We show that if F is a field of order 3ⁿ with n...

Let $f^j={\sum }_k{a}_{k}f(2^{j+1}x-2k)$, where the sum is taken over the lattice of all points k in ${ℝ}^n$ having integer-valued components, j∈ℕ and $a_k\in ℂ$. Let $A_{pq}^s$ be either $B_{pq}^s$ or $F_{pq}^s$ (s ∈ ℝ, 0 < p < ∞, 0 < q ≤ ∞) on ${ℝ}^n.$ The aim of the paper is to clarify under what conditions $\parallel f^j|A_{pq}^s\parallel$ is equivalent to $2^{j(s-n/p)}({\sum }_k|a_k{|}^p{)}^{1/p}\parallel f|A_{pq}^s\parallel$.

The Rademacher sums are investigated in the Cesàro spaces $Ce{s}_p$ (1 ≤ p ≤ ∞) and in the weighted Korenblyum-Kreĭn-Levin spaces $K_{p,w}$ on [0,1]. They span l₂ space in $Ce{s}_p$ for any 1 ≤ p < ∞ and in $K_{p,w}$ if and only if the weight w is larger than $tlog{₂}^{p/2}(2/t)$ on (0,1). Moreover, the span of the Rademachers is not complemented in $Ce{s}_p$ for any 1 ≤ p < ∞ or in $K_{1,w}$ for any quasi-concave weight w. In the case when p > 1 and when w is such that the span of the Rademacher functions is isomorphic to l₂, this span is...

Let $m\ge 3$ be an integer. The so-calledis a discrete time Markov chain which is very popular in theoretical computer science, modelling famous algorithms used in searching and sorting. This random process satisfies a well-known phase transition: when $m\le 26$, the asymptotic behavior of the process is Gaussian, but for $m\ge 27$ it is no longer Gaussian and a limit $W^{DT}$ of a complex-valued martingale arises. In this paper, we consider the multitype branching process which is the continuous time version of...

Given a Banach space X, for n ∈ ℕ and p ∈ (1,∞) we investigate the smallest constant ∈ (0,∞) for which every n-tuple of functions f₁,...,fₙ: -1,1ⁿ → X satisfies ${\int }_{-1,1ⁿ}\left|\right|{\sum }_{j=1}^n{\partial }_j{f}_j{\left(\epsilon \right)\left|\right|}^{p}d\mu \left(\epsilon \right){\le }^p{\int }_{-1,1ⁿ}{\int }_{-1,1ⁿ}\left|\right|{\sum }_{j=1}^n{\delta }_j\Delta f_j\left(\epsilon \right){\left|\right|}^{p}d\mu \left(\epsilon \right)d\mu \left(\delta \right)$, where μ is the uniform probability measure on the discrete hypercube -1,1ⁿ, and ${{\partial }_j}_{j=1}^n$ and $\Delta ={\sum }_{j=1}^n{\partial }_j$ are the hypercube partial derivatives and the hypercube Laplacian, respectively. Denoting this constant by ${ⁿ}_p\left(X\right)$, we show that ${ⁿ}_p\left(X\right)\le {\sum }_{k=1}^{n}1/k$ for every Banach space (X,||·||). This extends the classical Pisier inequality, which corresponds to the special...

Let p be a prime, ℤₚ be the finite field in p elements, k be a positive integer, and A be the multiplicative subgroup of nonzero kth powers in ℤₚ. The goal of this paper is to determine, for a given positive integer s, a value tₛ such that if |A| ≫ tₛ then every element of ℤₚ is a sum of s kth powers. We obtain $t₄=p^{22/39+ϵ}$, $t₅=p^{15/29+ϵ}$ and for s ≥ 6, $tₛ=p^{(9s+45)/(29s+33)+ϵ}$. For s ≥ 24 further improvements are made, such as $t_{32}=p^{5/16+ϵ}$ and $t_{128}=p^{1/4}$.

For each n ≥ 1, let $v_{n,k},k\ge 1$ and $u_{n,k},k\ge 1$ be mutually independent sequences of nonnegative random variables and let each of them consist of mutually independent and identically distributed random variables with means v̅ₙ and u̅̅ₙ, respectively. Let $X{ₙ}^B\left(t\right)=(1/cₙ){\sum }_{j=1}^{\left[nt\right]}(v_{n,j}-v̅ₙ)$, $X{ₙ}^A\left(t\right)=(1/cₙ){\sum }_{j=1}^{\left[nt\right]}(u_{n,j}-u̅̅ₙ)$, t ≥ 0, and $Xₙ=X{ₙ}^B-X{ₙ}^A$. The main result gives conditions under which the weak convergence $Xₙ\stackrel{}{\to }X$, where X is a Lévy process, implies $X{ₙ}^B\stackrel{}{\to }{X}^B$ and $X{ₙ}^A\stackrel{}{\to }{X}^A$, where $X^B$ and $X^A$ are mutually independent Lévy processes and $X=X^B-X^A$.

We show that every operator from ${\ell }_s$ to ${\ell }_p\otimes ̂{\ell }_q$ is compact when 1 ≤ p,q < s and that every operator from ${\ell }_s$ to ${\ell }_p\widehat{\otimes ̂}{\ell }_q$ is compact when 1/p + 1/q > 1 + 1/s.

Let $X={\sum }_{i=1}^k{a}_i{U}_i$, $Y={\sum }_{i=1}^k{b}_i{U}_i$, where the $U_i$ are independent random vectors, each uniformly distributed on the unit sphere in ℝⁿ, and $a_i,b_i$ are real constants. We prove that if $b{²}_i$ is majorized by $a{²}_i$ in the sense of Hardy-Littlewood-Pólya, and if Φ: ℝⁿ → ℝ is continuous and bisubharmonic, then EΦ(X) ≤ EΦ(Y). Consequences include most of the known sharp $L²-L^p$ Khinchin inequalities for sums of the form X. For radial Φ, bisubharmonicity is necessary as well as sufficient for the majorization inequality to always hold. Counterparts...

We consider “nonconventional” averaging setup in the form $\frac{\mathrm{d}{X}^{\epsilon }\left(t\right)}{\mathrm{d}t}=\epsilon B(X^{\epsilon }\left(t\right)$, $𝛯\left(q_1\left(t\right)\right),𝛯\left(q_2\left(t\right)\right),...,𝛯\left(q_{\ell }\left(t\right)\right))$ where $𝛯\left(t\right)$, $t\ge 0$ is either a stochastic process or a dynamical system with sufficiently fast mixing while $q_j\left(t\right)={\alpha }_{j}t$, ${\alpha }_{1}lt;{\alpha }_{2}lt;\cdots lt;{\alpha }_k$ and $q_j$, $j=k+1,...,\ell$ grow faster than linearly. We show that the properly normalized error term in the “nonconventional” averaging principle is asymptotically Gaussian.

The concept of a Goldie extending module is generalized to a Goldie extending element in a lattice. An element $a$ of a lattice $L$ with $0$ is said to be a Goldie extending element if and only if for every $b\le a$ there exists a direct summand $c$ of $a$ such that $b\wedge c$ is essential in both $b$ and $c$. Some properties of such elements are obtained in the context of modular lattices. We give a necessary condition for the direct sum of Goldie extending elements to be Goldie extending. Some characterizations...

Let N ≥ 2 be a given integer. Suppose that $df={\left(dfₙ\right)}_{n\ge 0}$ is a martingale difference sequence with values in $\ell {₁}^N$ and let ${\left(\epsilon ₙ\right)}_{n\ge 0}$ be a deterministic sequence of signs. The paper contains the proof of the estimate $\mathbb{P}(su{p}_{n\ge 0}\left|\right|{\sum }_{k=0}^n{\epsilon }_{k}d{f}_k{\left|\right|}_{\ell {₁}^N}\ge 1)\le (lnN+ln\left(3lnN\right))/(1-{\left(2lnN\right)}^{-1})su{p}_{n\ge 0}\left|\right|{\sum }_{k=0}^{n}d{f}_k{\left|\right|}_{\ell {₁}^N}$. It is shown that this result is asymptotically sharp in the sense that the least constant $C_N$ in the above estimate satisfies $li{m}_{N\to \infty }{C}_N/lnN=1$. The novelty in the proof is the explicit verification of the ζ-convexity of the space $\ell {₁}^N$.

A linear Boltzmann equation is interpreted as the forward equation for the probability density of a Markov process $\left(K\right(t),i(t),Y(t\left)\right)$ on $({𝕋}^2\times \{1,2\}\times {ℝ}^2)$, where ${𝕋}^2$ is the two-dimensional torus. Here $\left(K\right(t),i(t\left)\right)$ is an autonomous reversible jump process, with waiting times between two jumps with finite expectation value but infinite variance. $Y\left(t\right)$ is an additive functional of $K$, defined as ${\int }_0^{t}v\left(K\left(s\right)\right)\mathrm{d}s$, where $\left|v\right|\sim 1$ for small $k$. We prove that the rescaled process ${(NlnN)}^{-1/2}Y\left(Nt\right)$ converges in distribution to a two-dimensional Brownian motion. As a consequence,...