In this paper, we study a finite connected graph which admits a quasi-monomorphism to hyperbolic spaces and give a geometric bound for the Cheeger constants in terms of the volume, an upper bound of the degree, and the quasi-monomorphism.

We obtain density estimates for subsets of the $n$-dimensional integer lattice lacking four-term matrix progressions. As a consequence, we show that a subset of the grid $\{1,2,\dots ,N\}^{2}$ lacking four corners in a square has size at most $\mathit{CN}^{2}(\log \log N)^{-c}$. Our proofs involve the density increment method of Roth [J. London Math. Soc.28 (1953), 104–109] and Gowers [Geom. Funct. Anal.11(3) (2001), 465–588], together with the $U^{3}$-inverse theorem of Green and Tao [Proc. Edinb. Math. Soc. (2) 51(1) (2008), 73–153].

Let $A\subset \{1,\dots ,N\}$ be a set of prime numbers containing no non-trivial arithmetic progressions. Suppose that $A$ has relative density ${\it\alpha}=|A|/{\it\pi}(N)$, where ${\it\pi}(N)$ denotes the number of primes in the set $\{1,\dots ,N\}$. By modifying Helfgott and De Roton’s work [Improving Roth’s theorem in the primes. Int. Math. Res. Not. IMRN2011 (4) (2011), 767–783], we improve their bound and show that

$$\begin{eqnarray}{\it\alpha}\ll \frac{(\log \log \log N)^{6}}{\log \log N}.\end{eqnarray}$$

In this paper we present a new family of identities for multiple harmonic sums which generalize a recent result of Hessami Pilehrood et al  [Trans. Amer. Math. Soc. (to appear)]. We then apply it to obtain a family of identities relating multiple zeta star values to alternating Euler sums. In such a typical identity the entries of the multiple zeta star values consist of blocks of arbitrarily long 2-strings separated by positive integers greater than two while the largest depth of the alternating Euler sums depends only on the number of 2-string blocks but not on their lengths.

In 1940 Paul Erdős made a conjecture about the distribution of reduced residues. Here we study the distribution of $k$-tuples of reduced residues.

We give a new proof of a recent result of Kohnen–Martin on a characterization of degree 2 Siegel cusp forms by the growth of their Fourier coefficients. Our main tools are Koecher–Maass series, Imai’s converse theorem and the theory of singular modular forms.

Let $Q$ be an infinite subset of $\mathbb{N}$. For any ${\it\tau}>2$, denote $W_{{\it\tau}}(Q)$ (respectively $W_{{\it\tau}}$) to be the set of ${\it\tau}$ well-approximable points by rationals with denominators in $Q$ (respectively in $\mathbb{N}$). We consider the Hausdorff dimension of the liminf set $W_{{\it\tau}}\setminus W_{{\it\tau}}(Q)$ after Adiceam. By using the tools of continued fractions, it is shown that if $Q$ is a so-called $\mathbb{N}\setminus Q$-free set, the Hausdorff dimension of $W_{{\it\tau}}\setminus W_{{\it\tau}}(Q)$ is the same as that of $W_{{\it\tau}}$, i.e. $2/{\it\tau}$.

We show that the exponent of distribution of the ternary divisor function $d_{3}$ in arithmetic progressions to prime moduli is at least $1/2+1/46$, improving results of Friedlander–Iwaniec and Heath-Brown. Furthermore, when averaging over a fixed residue class, we prove that this exponent is increased to $1/2+1/34$.

In this paper, we consider the so-called “Furstenberg set problem” in high dimensions. First, following Wolff’s work on the two-dimensional real case, we provide “reasonable” upper bounds for the problem for $\mathbb{R}$ or $\mathbb{F}_{p}$. Next we study the “critical” case and improve the “trivial” exponent by ${\rm\Omega}(1/n^{2})$ for $\mathbb{F}_{p}^{n}$. Our key tool in obtaining this lower bound is a theorem about how things behave when the Loomis–Whitney inequality is nearly sharp, as it helps us to reduce the problem to dimension two.

We study the geometry of the space of measures of a compact ultrametric space $X$, endowed with the $L^{p}$ Wasserstein distance from optimal transportation. We show that the power $p$ of this distance makes this Wasserstein space affinely isometric to a convex subset of $\ell ^{1}$. As a consequence, it is connected by $1/p$-Hölder arcs, but any ${\it\alpha}$-Hölder arc with ${\it\alpha}>1/p$ must be constant. This result is obtained via a reformulation of the distance between two measures which is very specific to the case when $X$ is ultrametric; however, thanks to the Mendel–Naor ultrametric skeleton it has consequences even when $X$ is a general compact metric space. More precisely, we use it to estimate the size of Wasserstein spaces, measured by an analogue of Hausdorff dimension that is adapted to (some) infinite-dimensional spaces. The result we get generalizes greatly our previous estimate, which needed a strong rectifiability assumption. The proof of this estimate involves a structural theorem of independent interest: every ultrametric space contains large co-Lipschitz images of regular ultrametric spaces, i.e. spaces of the form $\{1,\dots ,k\}^{\mathbb{N}}$ with a natural ultrametric. We are also led to an example of independent interest: a space of positive lower Minkowski dimension, all of whose proper closed subsets have vanishing lower Minkowski dimension.

We study the metric entropy of the metric space ${\mathcal{B}}_{n}$ of all $n$-dimensional Banach spaces (the so-called Banach–Mazur compactum) equipped with the Banach–Mazur (multiplicative) “distance” $d$. We are interested either in estimates independent of the dimension or in asymptotic estimates when the dimension tends to $\infty$. For instance, we prove that, if $N({\mathcal{B}}_{n},d,1+{\it\varepsilon})$ is the smallest number of “balls” of “radius” $1+{\it\varepsilon}$ that cover ${\mathcal{B}}_{n}$, then for any ${\it\varepsilon}>0$ we have

$$\begin{eqnarray}0<\liminf _{n\rightarrow \infty }n^{-1}\log \log N({\mathcal{B}}_{n},d,1+{\it\varepsilon})\leqslant \limsup _{n\rightarrow \infty }n^{-1}\log \log N({\mathcal{B}}_{n},d,1+{\it\varepsilon})<\infty .\end{eqnarray}$$

$n$

$d_{N}$

$N\times N$

$N$

$N$

$N=1$

$n$

$N\times N$

The purpose of the paper is to introduce a novel “splitting” procedure which can be helpful in the derivation of explicit formulas for various Bellman functions. As an illustration, we study the action of the dyadic maximal operator on $L^{p}$. The associated Bellman function $\mathfrak{B}_{p}$, introduced by Nazarov and Treil, was found explicitly by Melas with the use of combinatorial properties of the maximal operator, and was later rediscovered by Slavin, Stokolos and Vasyunin with the use of the corresponding Monge–Ampère partial differential equation. Our new argument enables an alternative simple derivation of $\mathfrak{B}_{p}$.

Let ${\it\alpha}\in \mathbb{C}$ in the upper half-plane and let $I$ be an interval. We construct an analogue of Selberg’s majorant of the characteristic function of $I$ that vanishes at the point ${\it\alpha}$. The construction is based on the solution to an extremal problem with positivity and interpolation constraints. Moreover, the passage from the auxiliary extremal problem to the construction of Selberg’s function with vanishing is easily adapted to provide analogous “majorants with vanishing” for any Beurling–Selberg majorant.

We study translation invariant, real-valued valuations on the class of convex polytopes in Euclidean space and discuss which continuity properties are sufficient for an extension of such valuations to all convex bodies. For this purpose, we introduce flag support measures of convex bodies via a local Steiner formula and derive some of the properties of these measures.

A double-normal pair of a finite set $S$ of points that spans $\mathbb{R}^{d}$ is a pair of points $\{\mathbf{p},\mathbf{q}\}$ from $S$ such that $S$ lies in the closed strip bounded by the hyperplanes through $\mathbf{p}$ and $\mathbf{q}$ perpendicular to $\mathbf{p}\mathbf{q}$. A double-normal pair $\{\mathbf{p},\mathbf{q}\}$ is strict if$S\setminus \{\mathbf{p},\mathbf{q}\}$ lies in the open strip. The problem of estimating the maximum number $N_{d}(n)$ of double-normal pairs in a set of $n$ points in $\mathbb{R}^{d}$, was initiated by Martini and Soltan [Discrete Math. 290 (2005), 221–228]. It was shown in a companion paper that in the plane, this maximum is $3\lfloor n/2\rfloor$, for every $n>2$. For $d\geqslant 3$, it follows from the Erdős–Stone theorem in extremal graph theory that $N_{d}(n)=\frac{1}{2}(1-1/k)n^{2}+o(n^{2})$ for a suitable positive integer $k=k(d)$. Here we prove that $k(3)=2$ and, in general, $\lceil d/2\rceil \leqslant k(d)\leqslant d-1$. Moreover, asymptotically we have $\lim _{n\rightarrow \infty }k(d)/d=1$. The same bounds hold for the maximum number of strict double-normal pairs.