Let $\mathbb{A}=(A,+)$ be a (possibly non-commutative) semigroup. For $Z\subseteq A$, we define $Z^{\times }:=Z\cap \mathbb{A}^{\times }$, where $\mathbb{A}^{\times }$ is the set of the units of $\mathbb{A}$ and

$$\begin{eqnarray}{\it\gamma}(Z):=\sup _{z_{0}\in Z^{\times }}\inf _{z_{0}\neq z\in Z}\text{\text{ord}}(z-z_{0}).\end{eqnarray}$$

${\it\gamma}(\cdot )$

$\mathbb{A}$

$X,Y\subseteq A$

$$\begin{eqnarray}|X+Y|\geqslant \min ({\it\gamma}(X+Y),|X|+|Y|-1).\end{eqnarray}$$

$\mathbb{A}$

${\it\gamma}(X+Y)$

$|S|$

$S$

$\mathbb{A}$

Let ${\it\mu}_{1},\ldots ,{\it\mu}_{s}$ be real numbers, with ${\it\mu}_{1}$ irrational. We investigate sums of shifted $k$th powers $\mathfrak{F}(x_{1},\ldots ,x_{s})=(x_{1}-{\it\mu}_{1})^{k}+\cdots +(x_{s}-{\it\mu}_{s})^{k}$. For $k\geqslant 4$, we bound the number of variables needed to ensure that if ${\it\eta}$ is real and ${\it\tau}>0$ is sufficiently large then there exist integers $x_{1}>{\it\mu}_{1},\ldots ,x_{s}>{\it\mu}_{s}$ such that $|\mathfrak{F}(\mathbf{x})-{\it\tau}|<{\it\eta}$. This is a real analogue to Waring’s problem. When $s\geqslant 2k^{2}-2k+3$, we provide an asymptotic formula. We prove similar results for sums of general univariate degree-$k$ polynomials.

In a recent important paper, Hoffstein and Hulse [Multiple Dirichlet series and shifted convolutions, arXiv:1110.4868v2] generalized the notion of Rankin–Selberg convolution $L$-functions by defining shifted convolution$L$-functions. We investigate symmetrized versions of their functions, and we prove that the generating functions of certain special values are linear combinations of weakly holomorphic quasimodular forms and “mixed mock modular” forms.

This paper presents a new result concerning the distribution of 2-Selmer ranks in the quadratic twist family of an elliptic curve over an arbitrary number field $K$ with a single point of order two that does not have a cyclic 4-isogeny defined over its two-division field. We prove that at least half of all the quadratic twists of such an elliptic curve have arbitrarily large 2-Selmer rank, showing that the distribution of 2-Selmer ranks in the quadratic twist family of such an elliptic curve differs from the distribution of 2-Selmer ranks in the quadratic twist family of an elliptic curve having either no rational two-torsion or full rational two-torsion.

The approximation constant ${\it\lambda}_{k}({\it\zeta})$ is defined as the supremum of ${\it\eta}\in \mathbb{R}$ such that the estimate $\max _{1\leqslant j\leqslant k}\Vert {\it\zeta}^{j}x\Vert \leqslant x^{-{\it\eta}}$ has infinitely many integer solutions $x$. Here $\Vert .\Vert$ denotes the distance to the closest integer. We establish a connection on the joint spectrum $({\it\lambda}_{1}({\it\zeta}),{\it\lambda}_{2}({\it\zeta}),\ldots )$, which will lead to various improvements of known results on the individual spectrum of the approximation constants ${\it\lambda}_{k}({\it\zeta})$ as well. In particular, for given $k\geqslant 1$ and ${\it\lambda}\geqslant 1$, we construct ${\it\zeta}$ in the Cantor set with ${\it\lambda}_{k}({\it\zeta})={\it\lambda}$. Moreover, we establish an estimate for the uniform approximation constants $\widehat{{\it\lambda}}_{k}({\it\zeta})$, which enables us to determine classical approximation constants for Liouville numbers.

We consider the random functions $S_{N}(z):=\sum _{n=1}^{N}z(n)$, where $z(n)$ is the completely multiplicative random function generated by independent Steinhaus variables $z(p)$. It is shown that $\mathbb{E}|S_{N}|\gg \sqrt{N}(\log N)^{-0.05616}$ and that $(\mathbb{E}|S_{N}|^{q})^{1/q}\gg _{q}\sqrt{N}(\log N)^{-0.07672}$ for all $q>0$.

Assuming $T_{0}$ to be an m-accretive operator in the complex Hilbert space ${\mathcal{H}}$, we use a resolvent method due to Kato to appropriately define the additive perturbation $T=T_{0}+W$ and prove stability of square root domains, that is,

$$\begin{eqnarray}\text{dom}((T_{0}+W)^{1/2})=\text{dom}(T_{0}^{1/2}).\end{eqnarray}$$

$\text{dom}(T_{0}^{1/2})=\text{dom}((T_{0}^{\ast })^{1/2})$

$$\begin{eqnarray}\text{dom}((T_{0}+W)^{1/2})=\text{dom}(T_{0}^{1/2})=\text{dom}((T_{0}^{\ast })^{1/2})=\text{dom}(((T_{0}+W)^{\ast })^{1/2}),\end{eqnarray}$$

$$\begin{eqnarray}-\text{div}(a{\rm\nabla}\,\cdot )+(\vec{B}_{1}\cdot {\rm\nabla}\,\cdot )+\text{div}(\vec{B}_{2}\,\cdot )+V\end{eqnarray}$$

$L^{2}({\rm\Omega})$

${\rm\Omega}\subseteq \mathbb{R}^{n}$

$n\in \mathbb{N}$

$\partial {\rm\Omega}$

$\partial {\rm\Omega}$

Dyadic shifts $D\oplus T$ of point distributions $D$ in the $d$-dimensional unit cube $U^{d}$ are considered as a form of randomization. Explicit formulas for the $L_{q}$-discrepancies of such randomized distributions are given in the paper in terms of Rademacher functions. Relying on the statistical independence of Rademacher functions, Khinchin’s inequalities, and other related results, we obtain very sharp upper and lower bounds for the mean $L_{q}$-discrepancies, $0<q\leqslant \infty$. The upper bounds imply directly a generalization of the well-known Chen theorem on mean discrepancies with respect to dyadic shifts (Theorem 2.1). From the lower bounds, it follows that for an arbitrary $N$-point distribution $D_{N}$ and any exponent $0<q\leqslant 1$, there exist dyadic shifts $D_{N}\oplus T$ such that the $L_{q}$-discrepancy ${\mathcal{L}}_{q}[D_{N}\oplus T]>c_{d,q}(\log N)^{(1/2)(d-1)}$ (Theorem 2.2). The lower bounds for the $L_{\infty }$-discrepancy are also considered in the paper. It is shown that for an arbitrary $N$-point distribution $D_{N}$, there exist dyadic shifts $D_{N}\oplus T$ such that ${\mathcal{L}}_{\infty }[D_{N}\oplus T]>c_{d}(\log N)^{(1/2)d}$ (Theorem 2.3).

Laplace operators on finite compact metric graphs are considered under the assumption that matching conditions at graph vertices are of types ${\it\delta}$ and ${\it\delta}^{\prime }$. Assuming rational independence of edge lengths, necessary and sufficient conditions for isospectrality of two Laplacians defined on the same graph are derived and scrutinized. It is proved that the spectrum of a graph Laplacian uniquely determines matching conditions for “almost all” graphs.

It is proved that the resolvent norm of an operator with a compact resolvent on a Banach space $X$ cannot be constant on an open set if the underlying space or its dual is complex strictly convex. It is also shown that this is not the case for an arbitrary Banach space: there exists a separable, reflexive space $X$ and an unbounded, densely defined operator acting in $X$ with a compact resolvent whose norm is constant in a neighbourhood of zero; moreover $X$ is isometric to a Hilbert space on a subspace of co-dimension $2$. There is also a bounded linear operator acting on the same space whose resolvent norm is constant in a neighbourhood of zero. It is shown that similar examples cannot exist in the co-dimension $1$ case.

In this paper we establish concavity properties of two extensions of the classical notion of the outer parallel volume. On the one hand, we replace the Lebesgue measure by more general measures. On the other hand, we consider a functional version of the outer parallel sets.

Let $K$ be a convex body in $\mathbb{R}^{d}$ which slides freely in a ball. Let $K^{(n)}$ denote the intersection of $n$ closed half-spaces containing $K$ whose bounding hyperplanes are independent and identically distributed according to a certain prescribed probability distribution. We prove an asymptotic formula for the expectation of the difference of the volumes of $K^{(n)}$ and $K$, and an asymptotic upper bound on the variance of the volume of $K^{(n)}$. We obtain these asymptotic formulas by proving results for weighted mean width approximations of convex bodies that admit a rolling ball by inscribed random polytopes and then using polar duality to convert them into statements about circumscribed random polytopes.

The isotropic constant $L_{K}$ is an affine-invariant measure of the spread of a convex body $K$. For a $d$-dimensional convex body $K$, $L_{K}$ can be defined by $L_{K}^{2d}=\det (A(K))/(\text{vol}(K))^{2}$, where $A(K)$ is the covariance matrix of the uniform distribution on $K$. It is an open problem to find a tight asymptotic upper bound of the isotropic constant as a function of the dimension. It has been conjectured that there is a universal constant upper bound. The conjecture is known to be true for several families of bodies, in particular, highly symmetric bodies such as bodies having an unconditional basis. It is also known that maximizers cannot be smooth. In this work we study bodies that are neither smooth nor highly symmetric by showing progress towards reducing to a highly symmetric case among non-smooth bodies. More precisely, we study the set of maximizers among simplicial polytopes and we show that if a simplicial polytope $K$ is a maximizer of the isotropic constant among $d$-dimensional convex bodies, then when $K$ is put in isotropic position it is symmetric around any hyperplane spanned by a $(d-2)$-dimensional face and the origin. By a result of Campi, Colesanti and Gronchi, this implies that a simplicial polytope that maximizes the isotropic constant must be a simplex.