In this paper we provide a unified approach, based on methods of descriptive set theory, for proving some classical selection theorems. Among them is the zero-dimensional Michael selection theorem, the Kuratowski–Ryll-Nardzewski selection theorem, as well as a known selection theorem for hyperspaces.

We study the minimal gap statistic for fractional parts of sequences of the form ${\mathcal{A}}^{\unicode[STIX]{x1D6FC}}=\{\unicode[STIX]{x1D6FC}a(n)\}$, where ${\mathcal{A}}=\{a(n)\}$ is a sequence of distinct integers. Assuming that the additive energy of the sequence is close to its minimal possible value, we show that for almost all $\unicode[STIX]{x1D6FC}$, the minimal gap $\unicode[STIX]{x1D6FF}_{\min }^{\unicode[STIX]{x1D6FC}}(N)=\min \{\unicode[STIX]{x1D6FC}a(m)-\unicode[STIX]{x1D6FC}a(n)\hspace{0.2em}{\rm mod}\hspace{0.2em}1:1\leqslant m\neq n\leqslant N\}$ is close to that of a random sequence.

Barannikov and Kontsevich [Frobenius manifolds and formality of Lie algebras of polyvector fields. Int. Math. Res. Not. IMRN1998(4) (1998), 201–215], constructed a DGBV (differential Gerstenhaber–Batalin–Vilkovisky) algebra $\mathbf{t}$ for a compact smooth Calabi–Yau complex manifold $M$ of dimension $m$, which gives rise to the $B$-side formal Frobenius manifold structure in the homological mirror symmetry conjecture. The cohomology of the DGBV algebra $\mathbf{t}$ is isomorphic to the total singular cohomology $H^{\bullet }(M)=\bigoplus _{k=0}^{2m}H^{k}(M,\mathbb{C})$ of $M$. If $M=X_{G}(\mathbb{C})$, where $X_{G}$ is the hypersurface defined by a homogeneous polynomial $G(\text{}\underline{x})$ in the projective space $\mathbb{P}^{n}$, then we give a purely algorithmic construction of a DGBV algebra ${\mathcal{A}}_{U}$, which computes the primitive part $\bigoplus _{k=0}^{m}\mathbf{PH}^{k}$ of the middle-dimensional cohomology $\bigoplus _{k=0}^{m}H^{k}(M,\mathbb{C})$, using the de Rham cohomology of the hypersurface complement $U_{G}:=\mathbb{P}^{n}\setminus X_{G}$ and the residue isomorphism from $H_{\text{dR}}^{k}(U_{G}/\mathbb{C})$ to $\mathbf{PH}^{k}$. We observe that the DGBV algebra ${\mathcal{A}}_{U}$ still makes sense even for a singular projective Calabi–Yau hypersurface, i.e. ${\mathcal{A}}_{U}$ computes $\bigoplus _{k=0}^{m}H_{\text{dR}}^{k}(U_{G}/\mathbb{C})$ even for a singular $X_{G}$. Moreover, we give a precise relationship between ${\mathcal{A}}_{U}$ and $\mathbf{t}$ when $X_{G}$ is smooth in $\mathbf{P}^{n}$.

We show that integral monodromy groups of Kloosterman $\ell$-adic sheaves of rank $n\geqslant 2$ on $\mathbb{G}_{m}/\mathbb{F}_{q}$ are as large as possible when the characteristic $\ell$ is large enough, depending only on the rank. This variant of Katz’s results over $\mathbb{C}$ was known by works of Gabber, Larsen, Nori and Hall under restrictions such as $\ell$ large enough depending on $\operatorname{char}(\mathbb{F}_{q})$ with an ineffective constant, which is unsuitable for applications. We use the theory of finite groups of Lie type to extend Katz’s ideas, in particular the classification of maximal subgroups of Aschbacher and Kleidman–Liebeck. These results will apply to study hyper-Kloosterman sums and their reductions in forthcoming work.

Let $A$ be a set of natural numbers. Recent work has suggested a strong link between the additive energy of $A$ (the number of solutions to $a_{1}+a_{2}=a_{3}+a_{4}$ with $a_{i}\in A$) and the metric Poissonian property, which is a fine-scale equidistribution property for dilates of $A$ modulo $1$. There appears to be reasonable evidence to speculate a sharp Khinchin-type threshold, that is, to speculate that the metric Poissonian property should be completely determined by whether or not a certain sum of additive energies is convergent or divergent. In this article, we primarily address the convergence theory, in other words the extent to which having a low additive energy forces a set to be metric Poissonian.

We prove that the exponent of distribution of $\unicode[STIX]{x1D70F}_{3}$ in arithmetic progressions can be as large as $\frac{1}{2}+\frac{1}{34}$, provided that the moduli is squarefree and has only sufficiently small prime factors. The tools involve arithmetic exponent pairs for algebraic trace functions, as well as a double $q$-analogue of the van der Corput method for smooth bilinear forms.

In the paper, we provide an effective criterion for the Lipschitz equivalence of two-branch Cantor sets and three-branch Cantor sets by studying the irreducibility of polynomials. We also find that any two Cantor sets are Lipschitz equivalent if and only if their contraction vectors are equivalent provided one of the contraction vectors is homogeneous.

Let $\Vert \cdots \Vert$ denote distance from the integers. Let $\unicode[STIX]{x1D6FC}$, $\unicode[STIX]{x1D6FD}$, $\unicode[STIX]{x1D6FE}$ be real numbers with $\unicode[STIX]{x1D6FC}$ irrational. We show that the inequality

$$\begin{eqnarray}\Vert \unicode[STIX]{x1D6FC}p^{2}+\unicode[STIX]{x1D6FD}p+\unicode[STIX]{x1D6FE}\Vert <p^{-3/17+\unicode[STIX]{x1D700}}\end{eqnarray}$$

$p$

$\unicode[STIX]{x1D6FC}p$

$\unicode[STIX]{x1D6FD}=0$

We prove an exact formula for the second moment of Rankin–Selberg $L$-functions $L(\frac{1}{2},f\times g)$ twisted by $\unicode[STIX]{x1D706}_{f}(p)$, where $g$ is a fixed holomorphic cusp form and $f$ is summed over automorphic forms of a given level $q$. The formula is a reciprocity relation that exchanges the twist parameter $p$ and the level $q$. The method involves the Bruggeman–Kuznetsov trace formula on both ends; finally the reciprocity relation is established by an identity of sums of Kloosterman sums.

We formulate some conjectures about the precise determination of the monodromy groups of certain rigid local systems on $\mathbb{A}^{1}$ whose monodromy groups are known, by results of Kubert, to be finite. We prove some of them.

The purpose of this article is to generalize some known characterizations of Banach space properties in terms of graph preclusion. In particular, it is shown that superreflexivity can be characterized by the non-equi-bi-Lipschitz embeddability of any family of bundle graphs generated by a non-trivial finitely branching bundle graph. It is likewise shown that asymptotic uniform convexifiability can be characterized within the class of reflexive Banach spaces with an unconditional asymptotic structure by the non-equi-bi-Lipschitz embeddability of any family of bundle graphs generated by a non-trivial $\aleph _{0}$-branching bundle graph. For the specific case of $L_{1}$, it is shown that every countably branching bundle graph bi-Lipschitzly embeds into $L_{1}$ with distortion no worse than $2$.

While the distribution of the non-trivial zeros of the Riemann zeta function constitutes a central theme in Mathematics, nothing is known about the algebraic nature of these non-trivial zeros. In this article, we study the transcendental nature of sums of the form

$$\begin{eqnarray}\mathop{\sum }_{\unicode[STIX]{x1D70C}}R(\unicode[STIX]{x1D70C})x^{\unicode[STIX]{x1D70C}},\end{eqnarray}$$

$\unicode[STIX]{x1D70C}$

$\unicode[STIX]{x1D701}(s)$

$R(x)\in \overline{\mathbb{Q}}(x)$

$x>0$

$$\begin{eqnarray}f(x)=\mathop{\sum }_{\unicode[STIX]{x1D70C}}\frac{x^{\unicode[STIX]{x1D70C}}}{\unicode[STIX]{x1D70C}}\end{eqnarray}$$

$(1,\infty )$

$f(x)$

$x<1$

$x>1$

$x<1$

$d\geqslant 1$

$f(\unicode[STIX]{x1D70B}\sqrt{d}x)$

$(0,1/\unicode[STIX]{x1D70B}\sqrt{d})$

$$\begin{eqnarray}L^{\prime }(1,\unicode[STIX]{x1D712}_{-d})\neq 0,\end{eqnarray}$$

$\unicode[STIX]{x1D712}_{-d}$

$K:=\mathbb{Q}(\sqrt{-d})$

Given any positive integers $m$ and $d$, we say a sequence of points $(x_{i})_{i\in I}$ in $\mathbb{R}^{m}$ is Lipschitz-$d$-controlling if one can select suitable values $y_{i}\;(i\in I)$ such that for every Lipschitz function $f\,:\,\mathbb{R}^{m}\,\rightarrow \,\mathbb{R}^{d}$ there exists $i$ with $|f(x_{i})\,-\,y_{i}|\,<\,1$. We conjecture that for every $m\leqslant d$, a sequence $(x_{i})_{i\in I}\subset \mathbb{R}^{m}$ is $d$-controlling if and only if

$$\begin{eqnarray}\displaystyle \sup _{n\in \mathbb{N}}\frac{|\{i\in I:|x_{i}|\leqslant n\}|}{n^{d}}=\infty . & & \displaystyle \nonumber\end{eqnarray}$$

$d$

$m=1$