Dimension Reduction for Finite Trees in \varvec{\ell _1}

We show that every $n$ -point tree metric admits a $(1+\varepsilon )$ -embedding into $\ell _1^{C(\varepsilon ) \log n}$ , for every $\varepsilon > 0$ , where $C(\varepsilon ) \le O\big ((\frac{1}{\varepsilon })^4 \log \frac{1}{\varepsilon })\big )$ . This matches the natural volume lower bound up to a factor depending only on $\varepsilon $ . Previously, it was unknown whether even complete binary trees on $n$ nodes could be embedded in $\ell _1^{O(\log n)}$ with $O(1)$ distortion. For complete $d$ -ary trees, our construction achieves $C(\varepsilon ) \le O\big (\frac{1}{\varepsilon ^2}\big )$ .     

Singular limits for Liouville-type equations on the flat two-torus

We consider the problem $$\begin{aligned} -\Delta u=\varepsilon ^{2}e^{u}- \frac{1}{|\Omega |}\int _\Omega \varepsilon ^{2} e^{u}+ {4\pi N\over |\Omega |} - 4 \pi N\delta _p, \quad \text{ in} {\Omega }, \quad \int _\Omega u=0 \end{aligned}$$ in a flat two-torus $\Omega $ with periodic boundary conditions, where $\varepsilon >0,\,|\Omega |$ is the area of the $\Omega $ , $N>0$ and $\delta _p$ is a Dirac mass at $p\in \Omega $ . We prove that if $1\le m<N+1$ then there exists a family of solutions $\{u_\varepsilon \}_{\varepsilon }$ such that $\varepsilon ^{2}e^{u_\varepsilon }\rightharpoonup 8\pi \sum _{i=1}^m\delta _{q_i}$ as $\varepsilon \rightarrow 0$ in measure sense for some different points $q_{1}, \ldots , q_{m}$ . Furthermore, points $q_i$ , $i=1,\dots ,m$ are different from $p$ .     

Tunneling for a Class of Difference Operators

We analyze a general class of difference operators ${H_\varepsilon = T_\varepsilon + V_\varepsilon}$ on ${\ell^2((\varepsilon \mathbb {Z})^d)}$ where ${V_\varepsilon}$ is a multi-well potential and ${\varepsilon}$ is a small parameter. We decouple the wells by introducing certain Dirichlet operators on regions containing only one potential well, and we shall treat the eigenvalue problem for ${H_\varepsilon}$ as a small perturbation of these comparison problems. We describe tunneling by a certain interaction matrix, similar to the analysis for the Schr?dinger operator [see Helffer and Sj?strand in Commun Partial Differ Equ 9:337–408, 1984], and estimate the remainder, which is exponentially small and roughly quadratic compared with the interaction matrix.     

Singular perturbation method for inhomogeneous nonlinear free boundary problems

In this paper, we study solutions of one phase inhomogeneous singular perturbation problems of the type: $ F(D^2u,x)=\beta _{\varepsilon }(u) + f_{\varepsilon }(x) $ and $ \Delta _{p}u=\beta _{\varepsilon }(u) + f_{\varepsilon }(x)$ , where $\beta _{\varepsilon }$ approaches Dirac $\delta _{0}$ as $\varepsilon \rightarrow 0$ and $f_{\varepsilon }$ has a uniform control in $L^{q}, q>N.$ Uniform local Lipschitz regularity is obtained for these solutions. The existence theory for variational (minimizers) and non variational (least supersolutions) solutions for these problems is developed. Uniform linear growth rate with respect to the distance from the $\varepsilon -$ level surfaces are established for these variational and nonvaritional solutions. Finally, letting $\varepsilon \rightarrow 0$ basic properties such as local Lipschitz regularity and non-degeneracy property are proven for the limit and a Hausdorff measure estimate for its free boundary is obtained.     

1D Schrödinger Operators with Short Range Interactions: Two-Scale Regularization of Distributional Potentials

For real ${L_\infty(\mathbb{R})}$ -functions ${\Phi}$ and ${\Psi}$ of compact support, we prove the norm resolvent convergence, as ${\varepsilon}$ and ${\nu}$ tend to 0, of a family ${S_{\varepsilon \nu}}$ of one-dimensional Schrödinger operators on the line of the form $$S_{\varepsilon \nu} = -\frac{d^2}{dx^2} + \frac{\alpha}{\varepsilon^2} \Phi \left( \frac{x}{\varepsilon} \right) + \frac{\beta}{\nu} \Psi \left(\frac{x}{\nu} \right),$$ provided the ratio ${\nu/\varepsilon}$ has a finite or infinite limit. The limit operator S ₀ depends on the shape of ${\Phi}$ and ${\Psi}$ as well as on the limit of ratio ${\nu/\varepsilon}$ . If the potential ${\alpha\Phi}$ possesses a zero-energy resonance, then S ₀ describes a non trivial point interaction at the origin. Otherwise S ₀ is the direct sum of the Dirichlet half-line Schrödinger operators.     

Infinitesimal Carleson Property for Weighted Measures Induced by Analytic Self-Maps of the Unit Disk

We prove that, for every $\alpha > -1$ , the pull-back measure $\varphi ({\mathcal A }_\alpha )$ of the measure $d{\mathcal A }_\alpha (z) = (\alpha + 1) (1 - |z|^2)^\alpha \, d{\mathcal A } (z)$ , where ${\mathcal A }$ is the normalized area measure on the unit disk $\mathbb D $ , by every analytic self-map $\varphi :\mathbb D \rightarrow \mathbb D $ is not only an $(\alpha \,{+}\, 2)$ -Carleson measure, but that the measure of the Carleson windows of size $\varepsilon h$ is controlled by $\varepsilon ^{\alpha + 2}$ times the measure of the corresponding window of size $h$ . This means that the property of being an $(\alpha + 2)$ -Carleson measure is true at all infinitesimal scales. We give an application by characterizing the compactness of composition operators on weighted Bergman–Orlicz spaces.     

On the boundary of the attainable set of the dirichlet spectrum

Denoting by ${\varepsilon\subseteq\mathbb{R}^2}$ the set of the pairs ${(\lambda_1(\Omega),\,\lambda_2(\Omega))}$ for all the open sets ${\Omega\subseteq\mathbb{R}^N}$ with unit measure, and by ${\Theta\subseteq\mathbb{R}^N}$ the union of two disjoint balls of half measure, we give an elementary proof of the fact that ${\partial\varepsilon}$ has horizontal tangent at its lowest point ${(\lambda_1(\Theta),\,\lambda_2(\Theta))}$ .     

On fractional parts of powers of real numbers close to 1

We prove that there exist arbitrarily small positive real numbers ε such that every integral power ${(1 + \varepsilon)^n}$ is at a distance greater than ${2^{-17} \varepsilon |\log \varepsilon |^{-1}}$ to the set of rational integers. This is sharp up to the factor ${2^{-17} |\log\varepsilon |^{-1}}$ . We also establish that the set of real numbers α > 1 such that the sequence of fractional parts ${(\{\alpha^n\})_{n\ge 1}}$ is not dense modulo 1 has full Hausdorff dimension.     

Approximations of periodic functions to \mathbb R ^n by curvatures of closed curves

We show that for any $n$ real periodic functions $f_1,\ldots , f_n$ with the same period, such that $f_i>0$ for $i<n$ , and a real number $\varepsilon >0$ , there is a closed curve in $\mathbb R ^{n+1}$ with curvatures $\kappa _1, \ldots , \kappa _n$ such that $\left| \kappa _{i(t)}-f_{i(t)}\right|<\varepsilon $ for all $i$ and $t$ . This does not hold for parametric families of closed curves in $\mathbb R ^{n+1}$ .     

Interface foliation for an inhomogeneous Allen–Cahn equation in Riemannian manifolds

Let ${(\mathcal{M}, \tilde{g})}$ be an N-dimensional smooth compact Riemannian manifold. We consider the problem ${\varepsilon^2 \triangle_{\tilde{g}} \tilde{u} + V(\tilde{z})\tilde{u}(1-\tilde{u}^2)=0\; {\rm in}\; \mathcal{M}}$ , where ${\varepsilon > 0}$ is a small parameter and V is a positive, smooth function in ${\mathcal{M}}$ . Let ${\kappa \subset \mathcal{M}}$ be an (N ? 1)-dimensional smooth submanifold that divides ${\mathcal{M}}$ into two disjoint components ${\mathcal{M}_{\pm}}$ . We assume κ is stationary and non-degenerate relative to the weighted area functional ${\int_{\kappa}V^{\frac{1}{2}}}$ . For each integer m ≥ 2, we prove the existence of a sequence ${\varepsilon = \varepsilon_\ell \rightarrow 0}$ , and two opposite directional solutions with m-transition layers near κ, whose mutual distance is ${{\rm O}(\varepsilon | \log \varepsilon | )}$ . Moreover, the interaction between neighboring layers is governed by a type of Jacobi–Toda system.     

Real Clifford Algebras as Tensor Products over Centers

Denote by ${\mathcal{C}\ell_{p,q}}$ the Clifford algebra on the real vector space ${\mathbb{R}^{p,q}}$ . This paper gives a unified tensor product expression of ${\mathcal{C}\ell_{p,q}}$ by using the center of ${\mathcal{C}\ell_{p,q}}$ . The main result states that for nonnegative integers p, q, ${\mathcal{C}\ell_{p,q} \simeq \otimes^{\kappa-\delta}\mathcal{C}_{1,1} \otimes Cen(\mathcal{C}\ell_{p,q}) \otimes^{\delta} \mathcal{C}\ell_{0,2},}$ where ${p + q \equiv \varepsilon}$ mod 2, ${\kappa = ((p + q) - \varepsilon)/2, p - |q - \varepsilon| \equiv i}$ mod 8 and ${\delta = \lfloor i / 4 \rfloor}$ .     

Profile of the least energy solution of a singular perturbed Neumann problem with mixed powers

We consider the problem ${\varepsilon^{2}\Delta u - u^q + u^p = 0\,{\rm in}\,\Omega,\,u > 0\,{\rm in}\,\Omega,\,\frac{\partial u}{\partial \nu} = 0\,{\rm on}\,\partial\Omega }$ where Ω is a smooth bounded domain in ${\mathbb{R}^N}$ , ${1 < q < p < {N+2\over N-2}}$ if N ≥ 2 and ${\varepsilon}$ is a small positive parameter. We determine the location and shape of the least energy solution when ${\varepsilon \rightarrow 0.}$      

Normal generation and \ell ^2-Betti numbers of groups

The normal rank of a group is the minimal number of elements whose normal closure coincides with the group. We study the relation between the normal rank of a group and its first $\ell ^2$ -Betti number and conjecture the inequality $\beta _1^{(2)}(G) \le \mathrm{nrk}(G)-1$ for torsion free groups. The conjecture is proved for limits of left-orderable amenable groups. On the other hand, for every $n\ge 2$ and every $\varepsilon >0$ , we give an example of a simple group $Q$ (with torsion) such that $\beta _1^{(2)}(Q) \ge n-1-\varepsilon $ . These groups also provide examples of simple groups of rank exactly $n$ for every $n\ge 2$ ; existence of such examples for $n> 3$ was unknown until now.     

Ground states for nonlinear Kirchhoff equations with critical growth

This paper is concerned with the existence, multiplicity and concentration behavior of positive solutions for the critical Kirchhoff-type problem $$\begin{aligned} \left\{ \begin{array}{l@{\quad }l} -\left(\varepsilon ^2a+\varepsilon b\int _{\mathbb{R }^{3}}|\nabla u|^2\right)\Delta u+V(x)u=u^{2^*-1}+\lambda f(u)&\text{ in}~{\mathbb{R }^{3}},\\ u\in H^1({\mathbb{R }^{3}}), ~u(x)>0&\text{ in}~{\mathbb{R }^{3}}, \end{array}\right. \end{aligned}$$ where $\varepsilon $ and $\lambda $ are positive parameters, and $a,b>0$ are constants, $2^*(=6)$ is the critical Sobolev exponent in dimension three, $V$ is a positive continuous potential satisfying some conditions, and $f$ is a subcritical nonlinear term. We use the variational methods to relate the number of solutions with the topology of the set where $V$ attains its minimum, for all sufficiently large $\lambda $ and small $\varepsilon $ .     

A metrical lower bound on the star discrepancy of digital sequences

In this paper we study uniform distribution properties of digital sequences over a finite field of prime order. In 1998 it was shown by Larcher that for almost all $s$ -dimensional digital sequences $\mathcal{S }$ the star discrepancy $D_N^*$ satisfies an upper bound of the form $D_N^*(\mathcal{S })=O((\log N)^s (\log \log N)^{2+\varepsilon })$ for any $\varepsilon >0$ . Generally speaking it is much more difficult to obtain good lower bounds for specific sequences than upper bounds. Here we show that Larchers result is best possible up to some $\log \log N$ term. More detailed, we prove that for almost all $s$ -dimensional digital sequences $\mathcal{S }$ the star discrepancy satisfies $D_N^*(\mathcal{S }) \ge c(q,s) (\log N)^s \log \log N$ for infinitely many $N \in \mathbb{N }$ , where $c(q,s)>0$ only depends on $q$ and $s$ but not on $N$ .     

On the Distribution of Atkin and Elkies Primes

Given an elliptic curve $E$ over a finite field $\mathbb {F}_q$ of $q$ elements, we say that an odd prime $\ell \not \mid q$ is an Elkies prime for $E$ if $t_E^2 - 4q$ is a square modulo  $\ell $ , where $t_E = q+1 - \#E(\mathbb {F}_q)$ and $\#E(\mathbb {F}_q)$ is the number of $\mathbb {F}_q$ -rational points on $E$ ; otherwise, $\ell $ is called an Atkin prime. We show that there are asymptotically the same number of Atkin and Elkies primes $\ell < L$ on average over all curves $E$ over $\mathbb {F}_q$ , provided that $L \ge (\log q)^\varepsilon $ for any fixed $\varepsilon >0$ and a sufficiently large $q$ . We use this result to design and analyze a fast algorithm to generate random elliptic curves with $\#E(\mathbb {F}_p)$ prime, where $p$ varies uniformly over primes in a given interval $[x,2x]$ .     

An Approximation Algorithm for Computing Shortest Paths in Weighted 3-d Domains

We present an approximation algorithm for computing shortest paths in weighted three-dimensional domains. Given a polyhedral domain $\mathcal D $ D , consisting of $n$ n tetrahedra with positive weights, and a real number $\varepsilon \in (0,1)$ ε ∈ ( 0 , 1 ) , our algorithm constructs paths in $\mathcal D $ D from a fixed source vertex to all vertices of $\mathcal D $ D , the costs of which are at most $1+\varepsilon $ 1 + ε times the costs of (weighted) shortest paths, in $O(\mathcal{C }(\mathcal D )\frac{n}{\varepsilon ^{2.5}}\log \frac{n}{\varepsilon }\log ^3\frac{1}{\varepsilon })$ O ( C ( D ) n ε 2.5 log n ε log 3 1 ε ) time, where $\mathcal{C }(\mathcal D )$ C ( D ) is a geometric parameter related to the aspect ratios of tetrahedra. The efficiency of the proposed algorithm is based on an in-depth study of the local behavior of geodesic paths and additive Voronoi diagrams in weighted three-dimensional domains, which are of independent interest. The paper extends the results of Aleksandrov et al. (J ACM 52(1):25–53, 2005), to three dimensions.     

The circle method and bounds for L-functions - I

Let $f$ be a Hecke-Maass or holomorphic primitive cusp form of arbitrary level and nebentypus, and let $\chi $ be a primitive character of conductor $M$ . For the twisted $L$ -function $L(s, f\otimes \chi )$ we establish the hybrid subconvex bound $$\begin{aligned} L\left( \frac{1}{2}+it, f\otimes \chi \right) \ll (M(3+|t|))^{\frac{1}{2}-\frac{1}{18}+\varepsilon }, \end{aligned}$$ for $t\in \mathbb{R }$ . The implied constant depends only on the form $f$ and $\varepsilon $ .