The convolution sum $\sum{_{m<n/16}\,\sigma (m)\sigma (n\,}-16m)$ is evaluated for all $n\,\in \,\mathbb{N}$. This evaluation is used to determine the number of representations of $n$ by the quadratic form $x_{1}^{2}\,+\,x_{2}^{2}\,+\,x_{3}^{2}\,+\,x_{4}^{2}\,+\,4x_{5}^{2}\,+\,4x_{6}^{2}\,+\,4x_{7}^{2}\,+\,4x_{8}^{2}$.

This paper is devoted to the study of Wirtinger-type inequalities for the Lebesgue $\Delta$-integral on an arbitrary time scale $\mathbb{T}$. We prove a general inequality for a class of absolutely continuous functions on closed subintervals of an adequate subset of $\mathbb{T}$. By using this expression and by assuming that $\mathbb{T}$ is bounded, we deduce that a general inequality is valid for every absolutely continuous function on $\mathbb{T}$ such that its $\Delta$-derivative belongs to $L_{\Delta }^{2}\,([a,\,b)\,\cap \,\mathbb{T})$ and at most it vanishes on the boundary of $\mathbb{T}$.

We construct the quantum $s$-tuple subfactors for an AFD $\text{I}{{\text{I}}_{1}}$ subfactor with finite index and depth, for an arbitrary natural number $s$. This is a generalization of the quantum multiple subfactors by Erlijman and Wenzl, which in turn generalized the quantum double construction of a subfactor for the case that the original subfactor gives rise to a braided tensor category. In this paper we give a multiple construction for a subfactor with a weaker condition than braidedness of the bimodule system.

It is shown that given any sequence of automorphisms ${{\left( {{\phi }_{k}} \right)}_{k}}$ of the unit ball ${{\mathbb{B}}_{N}}$ of ${{\mathbb{C}}^{N}}$ such that $\left\| {{\phi }_{k}}\left( 0 \right) \right\|$ tends to 1, there exists an inner function $I$ such that the family of “non-Euclidean translates” ${{\left( I\,\text{o}\,{{\phi }_{k}} \right)}_{k}}$ is locally uniformly dense in the unit ball of ${{H}^{\infty }}\left( {{\mathbb{B}}_{N}} \right)$ .

In this note, we give a new short proof of the fact, recently discovered by Ye, that all (finite) values are equidistributed by the Riemann zeta function.

We prove the converse of a theorem of Zaanen about the duality problem of positive $\text{AM}$-compact operators.

In this paper we obtain quantitative results on the occurrence of consecutive large gaps between $B$-free numbers, and consecutive large gaps between nonzero Fourier coefficients of a class of newforms without complex multiplication.

In this paper we establish that Hankel multipliers of Laplace transform type are bounded from ${{L}^{p}}\left( w \right)$ into itself when $1\,<\,p\,<\infty$, and from ${{L}^{1}}\left( w \right)$ into ${{L}^{1,\infty }}\left( w \right)$ , provided that $w$ is in the Muckenhoupt class ${{A}^{p}}$ on $\left( \left( 0,\,\infty \right),\,dx \right)$.

In the characterization of the range of the Radon transform, one encounters the problem of the holomorphic extension of functions defined on ${{\mathbb{R}}^{2}}\backslash \,{{\Delta }_{\mathbb{R}}}$ (where ${{\Delta }_{\mathbb{R}}}$ is the diagonal in ${{\mathbb{R}}^{2}}$ ) and which extend as “separately holomorphic” functions of their two arguments. In particular, these functions extend in fact to ${{\mathbb{C}}^{2}}\,\backslash \,{{\Delta }_{\mathbb{C}}}$ where ${{\Delta }_{\mathbb{C}}}$ is the complexification of ${{\Delta }_{\mathbb{R}}}$ . We take this theorem from the integral geometry and put it in the more natural context of the $\text{CR}$ geometry where it accepts an easier proof and amore general statement. In this new setting it becomes a variant of the celebrated “edge of the wedge” theorem of Ajrapetyan and Henkin.

We apply the hypergeometric method of Thue and Siegel to prove that if $a$ and $b$ are positive integers, then the inequality $0\,<\,\left| {{a}^{x}}\,-\,{{b}^{y}} \right|\,<\,\frac{1}{4}\,\max \{{{a}^{x/2}},\,{{b}^{y/2}}\}$ has at most a single solution in positive integers $x$ and $y$. This essentially sharpens a classic result of LeVeque.

In this paper we describe the group gradings by a finite abelian group $G$ of the matrix algebra ${{M}_{n}}(F)$ over an algebraically closed field $F$ of characteristic different from 2, which respect an involution (involution gradings). We also describe, under somewhat heavier restrictions on the base field, all $G$-gradings on all finite-dimensional involution simple algebras.

Let ${{A}_{n}}\,=\,\{{{a}_{0}}+{{a}_{1}}z+\,.\,.\,.\,+\,{{a}_{n-1}}{{z}^{n-1}}\,:\,{{a}_{j}}\,\in \,\{0,1\}\}$ , whose elements are called zero-one polynomials and correspond naturally to the ${{2}^{n}}$ subsets of $\left[ n \right]\,:=\,\{0,\,1,\,.\,.\,.\,,\,n-1\}$. We also let ${{A}_{n,m\,}}\,=\,\{\alpha \left( z \right)\,\in \,{{A}_{n}}\,:\,\alpha \left( 1 \right)\,=\,m\}$ , whose elements correspond to the $\left( _{m}^{n} \right)$ subsets of $\left[ n \right]$ of size $m$, and let ${{B}_{n}}\,=\,{{A}_{n+1}}\,\backslash \,{{A}_{n}}$ , whose elements are the zero-one polynomials of degree exactly $n$.

Many researchers have studied norms of polynomials with restricted coefficients. Using $\|\alpha {{\|}_{p}}$ to denote the usual ${{L}_{p}}$ norm of $\alpha$ on the unit circle, one easily sees that $\alpha \left( z \right)\,=\,{{a}_{0}}+{{a}_{1}}z+.\,.\,.+{{a}_{N}}{{z}^{N}}\,\in \,\mathbb{R}\left[ z \right]$ satisfies $\|\alpha \|_{2}^{2}\,=\,{{c}_{0}}$ and $\|\alpha \|_{4}^{4}\,=\,c_{0}^{2}\,+\,2\left( c_{1}^{2}\,+\,.\,.\,.\,+\,c_{N}^{2} \right)$ , where ${{c}_{k}}\,:=\,\sum _{j=0}^{N-k}\,{{a}_{j}}{{a}_{j+k}}\,\text{for}\,\text{0}\le \,\text{k}\,\le N$.

If $\alpha \left( z \right)\,\in \,{{A}_{n,m}}$ , say $\alpha \left( z \right)\,=\,{{z}^{{{\text{ }\!\!\beta\!\!\text{ }}_{1}}}}\,+\,.\,.\,.\,+\,{{z}^{{{\text{ }\!\!\beta\!\!\text{ }}_{m}}}}$ where ${{\beta }_{1}}\,<\,.\,.\,.\,<\,{{\beta }_{m}}$ , then ${{c}_{k}}$ is the number of times $k$ appears as a difference ${{\beta }_{i}}\,-\,{{\beta }_{j}}$ . The condition that $\alpha \,\in \,{{A}_{n,m}}$ satisfies ${{c}_{k}}\,\in \,\{0,1\}$ for $1\,\le \,k\,\le \,n\,-\,1$ is thus equivalent to the condition that $\{{{\beta }_{1}},\,.\,.\,.\,,\,{{\beta }_{m}}\}$ is a Sidon set (meaning all differences of pairs of elements are distinct).

In this paper, we find the average of $\left\| \alpha \right\|_{4}^{4}$ over $\alpha \,\in \,{{A}_{n}}$, $\alpha \,\in \,{{B}_{n}}$ and $\alpha \,\in \,{{A}_{n,m}}$. We further show that our expression for the average of $\left\| \alpha \right\|_{4}^{4}$ over ${{A}_{n,m}}$ yields a new proof of the known result: if $m\,=\,o\left( {{n}^{1/4}} \right)$ and $B\left( n,\,m \right)$ denotes the number of Sidon sets of size $m$ in $\left[ n \right]$, then almost all subsets of $\left[ n \right]$ of size $m$ are Sidon, in the sense that ${{\lim }_{n\to \infty }}\,B\left( n,\,m \right)/\left( _{m}^{n} \right)\,=\,1$.

We give a necessary and sufficient condition for a composition operator on an $\alpha$-Bloch space with $\alpha \,\ge \,1$ to be bounded below. This extends a known result for the Bloch space due to P. Ghatage, J. Yan, D. Zheng, and H. Chen.

Hinčin proved that any limit law, associated with a triangular array of infinitesimal random variables, is infinitely divisible. The analogous result for additive free convolution was proved earlier by Bercovici and Pata. In this paper we will prove corresponding results for the multiplicative free convolution of measures defined on the unit circle and on the positive half-line.

We study the topological 4-dimensional surgery problem for a closed connected orientable topological 4-manifold $X$ with vanishing second homotopy and ${{\pi }_{1}}\left( X \right)\,\cong \,A\,*\,F\left( r \right)$ , where $A$ has one end and $F\left( r \right)$ is the free group of rank $r\,\ge \,1$. Our result is related to a theorem of Krushkal and Lee, and depends on the validity of the Novikov conjecture for such fundamental groups.

Perturbation theory is a fundamental tool in Banach space theory. However, the applications of the classical results are limited by the fact that they force the perturbed sequence to be equivalent to the given sequence. We will develop amore general perturbation theory that does not force equivalence of the sequences.

Real hypersurfaces in a complex space form whose structure Jacobi operator is symmetric along the Reeb flow are studied. Among them, homogeneous real hypersurfaces of type $\left( A \right)$ in a complex projective or hyperbolic space are characterized as those whose structure Jacobi operator commutes with the shape operator.

In this paper we prove that the cone of effective divisors on the Kontsevich moduli spaces of stable maps, ${{\overline{M}}_{0,0}}\left( {{\mathbb{P}}^{r}},\,d \right)$ , stabilize when $r\,\ge \,d$. We give a complete characterization of the effective divisors on ${{\overline{M}}_{0,0}}\left( {{\mathbb{P}}^{d}},\,d \right)$ . They are non-negative linear combinations of boundary divisors and the divisor of maps with degenerate image.

We prove that for every function $f\,:\,X\,\to \,Y$ , where $X$ is a separable Banach space and $Y$ is a Banach space with RNP, there exists a set $A\,\in \,\overset{\sim }{\mathop{\mathcal{A}}}\,$ such that $f$ is Gâteaux differentiable at all $x\,\in \,S\left( f \right)\backslash A$, where $S\left( f \right)$ is the set of points where $f$ is pointwise-Lipschitz. This improves a result of Bongiorno. As a corollary, we obtain that every $K$-monotone function on a separable Banach space is Hadamard differentiable outside of a set belonging to $\tilde{C}\,;$ this improves a result due to Borwein and Wang. Another corollary is that if $X$ is Asplund, $f\,:\,X\,\to \,\mathbb{R}$ cone monotone, $g\,:\,X\,\to \,\mathbb{R}$ continuous convex, then there exists a point in $X$, where $f$ is Hadamard differentiable and $g$ is Fréchet differentiable.

Let $q$,$m$,$M\,\ge \,2$ be positive integers and ${{r}_{1}},\,{{r}_{2}},...,\,{{r}_{m}}$ be positive rationals and consider the following $M$ multivariate infinite products

$${{F}_{i}}\,=\,\prod\limits_{j=0}^{\infty }{(1\,+\,{{q}^{-(Mj+i)}}\,{{r}_{1}}\,+\,{{q}^{-2(Mj+i)}}\,{{r}_{2}}\,+\,\cdot \cdot \cdot +\,{{q}^{-m(Mj+i)}}\,{{r}_{m}})}$$

for $i\,=\,0,\,1,\,.\,.\,.\,,\,M\,-\,1$. In this article, we study the linear independence of these infinite products. In particular, we obtain a lower bound for the dimension of the vector space $\mathbb{Q}{{F}_{0}}\,+\,\mathbb{Q}{{F}_{1}}\,+\cdot \cdot \cdot +\,\mathbb{Q}{{F}_{M-1}}\,+\,\mathbb{Q}$ over ℚ and show that among these $M$ infinite products, ${{F}_{0}}\,+\,{{F}_{1}},...,\,{{F}_{M-1}}$ , at least $\sim \,M/m\left( m+1 \right)$ of them are irrational for fixed $m$ and $M\,\to \,\infty $.