The convolution sum
$ \sum_{m <n/16} \sigma(m) \sigma(n-16m)$
is evaluated for all $n\in \nn$. 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$.
In the characterization of the range of the Radon transform, one
encounters the problem of the holomorphic extension of functions
defined on $\R^2\setminus\Delta_\R$ (where $\Delta_\R$ is the diagonal
in $\R^2$) and which extend as ``separately holomorphic" functions of
their two arguments. In particular, these functions extend in fact to $\C^2\setminus
\Delta_\C$ where $\Delta_\C$ is the complexification of
$\Delta_\R$. We take this theorem from the integral geometry and put
it in the more natural context of the CR geometry where it accepts an
easier proof and a more general statement. In this new setting it
becomes a variant of the celebrated ``edge of the wedge" theorem of
Ajrapetyan and Henkin.
Hin\v cin 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 definded on the unit circle and on the
positive half-line.
Let $q,m,M \ge 2$ be positive integers and
$r_1,r_2,\dots ,r_m$ be positive rationals and
consider the following $M$ multivariate infinite products
\[
F_i = \prod_{j=0}^\infty ( 1+q^{-(Mj+i)}r_1+q^{-2(Mj+i)}r_2+\dots +
q^{-m(Mj+i)}r_m)
\]
for $i=0,1,\dots ,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
$\IQ F_0+\IQ F_1 +\dots + \IQ F_{M-1} + \IQ$ over $\IQ$ and show that
among these $M$ infinite products, $F_0, F_1,\dots ,F_{M-1}$, at least
$\sim M/m(m+1)$ of them are irrational for fixed $m$ and $M \rightarrow
\infty$.
How few three-term arithmetic progressions can a
subset $S \subseteq \Z_N := \Z/N\Z$ have if $|S| \geq \upsilon N$
(that is, $S$ has density at least $\upsilon$)?
Varnavides %\cite{varnavides}
showed that this number of arithmetic progressions is at
least $c(\upsilon)N^2$ for sufficiently large integers $N$.
It is well known that determining good lower bounds for
$c(\upsilon)> 0$ is at the same level of depth as Erd\" os's famous
conjecture about whether a subset $T$ of the naturals where
$\sum_{n \in T} 1/n$ diverges, has a $k$-term arithmetic progression
for $k=3$ (that is, a three-term arithmetic progression).
We answer a question posed by B. Green %\cite{AIM}
about how this minimial number of progressions oscillates
for a fixed density $\upsilon$ as $N$ runs through the primes, and
as $N$ runs through the odd positive integers.
We find a lower bound on the absolute value of the discriminant of
the minimal polynomial of an integral symmetric matrix and apply
this result to find a lower bound on Mahler's measure of related
polynomials and to disprove a conjecture of D. Estes and R. Guralnick.
For unimodular semidirect products of locally compact amenable
groups $N$ and $H$, we show that one can always construct a
F{\o}lner net of the form $(A_\alpha \times B_\beta)$ for $G$, where
$(A_\alpha)$ is a strong form of F{\o}lner net for $N$ and
$(B_\beta)$ is any F{\o}lner net for $H$. Applications to the
Heisenberg and Euclidean motion groups are provided.
We present a construction of singular rearrangement
invariant functionals on Marcinkiewicz function/operator spaces.
The functionals constructed differ from all previous examples in
the literature in that they fail to be symmetric. In other words,
the functional $\phi$ fails the condition that if $x\pprec y$
(Hardy-Littlewood-Polya submajorization) and $0\leq x,y$, then
$0\le \phi(x)\le \phi(y).$ We apply our results to singular traces
on symmetric operator spaces (in particular on
symmetrically-normed ideals of compact operators), answering
questions raised by Guido and Isola.
The positive cohomology groups of a finite group acting on a ring
vanish when the ring has a norm one element. In this note we give
explicit homotopies on the level of cochains when the group is cyclic,
which allows us to express any cocycle of a cyclic group
as the coboundary of an explicit cochain.
The formulas in this note are closely related to the effective problems considered in previous joint work
with Eli Aljadeff.
The tracial numerical range of operators on a $2$-dimensional
Krein space is investigated. Results in the vein
of those obtained in the context of Hilbert
spaces are obtained.
The behavior of the dynamical zeta function $Z_D(s)$ related to
several strictly convex disjoint obstacles is similar to that of the
inverse $Q(s) = \frac{1}{\zeta(s)}$ of the Riemann zeta function
$\zeta(s)$. Let $\Pi(s)$ be the series obtained from $Z_D(s)$ summing
only over primitive periodic rays. In this paper we examine the
analytic singularities of $Z_D(s)$ and $\Pi(s)$ close to the line $\Re
s = s_2$, where $s_2$ is the abscissa of absolute convergence of the
series obtained by the second iterations of the primitive periodic
rays. We show that at least one of the functions $Z_D(s), \Pi(s)$
has a singularity at $s = s_2$.
Let $k$ be a field of characteristic not $2,3$.
Let $G$ be an exceptional simple algebraic group over $k$
of type $\F$, $^1{\E_6}$ or $\E_7$ with trivial Tits algebras.
Let $X$ be a projective $G$-homogeneous variety.
If $G$ is of type $\E_7$, we assume in addition
that the respective
parabolic subgroup is of type $P_7$.
The main result of the paper says that
the degree map on the group of zero cycles of $X$
is injective.
The topological classification of smooth real
cubic surfaces is
recalled and compared to the classification in terms of
the number of real lines and of real tritangent planes,
as obtained
by L.~Schl\"afli in 1858.
Using this, explicit examples of
surfaces of every possible type are given.
We show that the class of system proportionally modular numerical semigroups
coincides with the class of numerical semigroups having a Toms
decomposition.
In this paper we study the best constant of the Sobolev trace
embedding $H^{1}(\Omega)\to L^{2}(\partial\Omega)$, where $\Omega$
is a bounded smooth domain in $\RR^N$. We find a formula for the
first variation of the best constant with respect to the domain.
As a consequence, we prove that the ball is a critical domain when
we consider deformations that preserve volume.
In this paper we consider the stepping-stone model on a circle with
circular Brownian migration. We first point out a connection between
Arratia flow on the circle and the marginal distribution of this
model. We then give a new representation for the stepping-stone
model using Arratia flow and circular coalescing Brownian motion.
Such a representation enables us to carry out some explicit
computations. In particular, we find the distribution for the first
time when there is only one type
left across the circle.