arXiv subjects
Publications and source records attributed to Fedor Nazarov.
We show that the number of maximal paths in directed last-passage percolation on the hypercubic lattice ${\mathbb Z}^d$ $(d\geq2)$ in which weights take finitely many values is typically exponentially large.
We construct an example showing that the upper bound $[w]_{A_1}\log({\rm{e}}+[w]_{A_1})$ for the $L^1(w)\to L^{1,\infty}(w)$ norm of the Hilbert transform cannot be improved in general.
We introduce the so called convex body valued sparse operators, which generalize the notion of sparse operators to the case of spaces of vector valued functions. We prove that Calderón--Zygmund operators as well as Haar shifts and paraproducts can be dominated by such operators. By estimating sparse operators we obtain weighted estimates with matrix weights. We get two weight $A_2$-$A_\infty$ estimates, that in the one weight case give us the estimate $$ \|T\|_{L^2(W)\to L^2 (W)} \le C [W]_{A_2}^{1/2} [W]_{A_\infty} \le C[W]_{A_2}^{3/2} $$ where $T$ is either a Calderon--Zygmund operator (with modulus of continuity satisfying the Dini condition), or a Haar shift or a paraproduct.
We prove that for every convex body $K$ with the center of mass at the origin and every $\varepsilon\in \left(0,\frac{1}{2}\right)$, there exists a convex polytope $P$ with at most $e^{O(d)}\varepsilon^{-\frac{d-1}{2}}$ vertices such that $(1-\varepsilon)K\subset P\subset K$.
We construct a function on the real line supported on a set of finite measure whose spectrum has density zero.
Let $μ$ be a measure in $\mathbb R^d$ with compact support and continuous density, and let $$ R^sμ(x)=\int\frac{y-x}{|y-x|^{s+1}}\,dμ(y),\ \ x,y\in\mathbb R^d,\ \ 0<s<d. $$ We consider the following conjecture: $$ \sup_{x\in\mathbb R^d}|R^sμ(x)|\le C\sup_{x\in\text{supp}\,μ}|R^sμ(x)|,\quad C=C(d,s). $$ This relation was known for $d-1\le s<d$, and is still an open problem in the general case. We prove the maximum principle for $0< s<1$, and also for $0<s<d$ in the case of radial measure. Moreover, we show that this conjecture is incorrect for non-positive measures.
In this paper we provide an extension of a theorem of David and Semmes ('91) to general non-atomic measures. The result provides a geometric characterization of the non-atomic measures for which a certain class of square function operators, or singular integral operators, are bounded in $L^2(μ)$. The description is given in terms of a modification of Jones' $β$-coefficients.
In the trace reconstruction problem, an unknown bit string $x \in \{0,1\}^n$ is observed through the deletion channel, which deletes each bit of $x$ with some constant probability $q$, yielding a contracted string $\widetilde{x}$. How many independent copies of $\widetilde{x}$ are needed to reconstruct $x$ with high probability? Prior to this work, the best upper bound, due to Holenstein, Mitzenmacher, Panigrahy, and Wieder (2008), was $\exp(\widetilde{O}(n^{1/2}))$. We improve this bound to $\exp(O(n^{1/3}))$ using statistics of individual bits in the output and show that this bound is sharp in the restricted model where this is the only information used. Our method, that uses elementary complex analysis, can also handle insertions.
We consider several weak type estimates for singular operators using the Bellman function approach. We disprove the $A_1$ conjecture of Muckenhoupt, which stayed open after Muckenhoupt--Wheeden's conjecture was disproved by Reguera--Thiele.
We prove that any $\ell$ positive definite $d \times d$ matrices, $M_1,\ldots,M_\ell$, of full rank, can be simultaneously spectrally balanced in the following sense: for any $k < d$ such that $\ell \leq \lfloor \frac{d-1}{k-1} \rfloor$, there exists a matrix $A$ satisfying $\frac{λ_1(A^T M_i A) }{ \mathrm{Tr}( A^T M_i A ) } < \frac{1}{k}$ for all $i$, where $λ_1(M)$ denotes the largest eigenvalue of a matrix $M$. This answers a question posed by Peres, Popov and Sousi and completes the picture described in that paper regarding sufficient conditions for transience of self-interacting random walks. Furthermore, in some cases we give quantitative bounds on the transience of such walks.
We characterize the non-atomic measures $μ$ for which all Calderón-Zygmund operators with antisymmetric kernels of a fixed non-integer dimension $s$ are bounded in $L^2(μ)$ in terms of a positive quantity, the Wolff energy.
Fix $d\geq 2$, and $s\in (d-1,d)$. We characterize the non-negative locally finite non-atomic Borel measures $μ$ in $\mathbb{R}^d$ for which the associated $s$-Riesz transform is bounded in $L^2(μ)$ in terms of the Wolff energy. This extends the range of $s$ in which the Mateu-Prat-Verdera characterization of measures with bounded $s$-Riesz transform is known. As an application, we give a metric characterization of the removable sets for locally Lipschitz continuous solutions of the fractional Laplacian operator $(-Δ)^{α/2}$, $α\in (1,2)$, in terms of a well-known capacity from non-linear potential theory. This result contrasts sharply with removability results for Lipschitz harmonic functions.
In this paper we address the following question: given $ p\in (1,\infty)$, $n \geq 1$, does there exists a constant $A(p,n)>1$ such that $\| M f\|_{L^{p}}\geq A(n,p) \| f\|_{L^{p}}$ for any nonnegative $f \in L^{p}(\mathbb{R}^{n})$, where $Mf$ is a maximal function operator defined over the family of shifts and dilates of a centrally symmetric convex body. The inequality fails in general for the centered maximal function operator, but nevertheless we give an affirmative answer to the question for the uncentered maximal function operator and the almost centered maximal function operator. In addition, we also present the Bellman function approach of Melas, Nikolidakis and Stavropoulos to maximal function operators defined over various types of families of sets, and in case of parallelepipeds we will show that $A(n,p)=\left(\frac{p}{p-1}\right)^{1/p}$.
This book is a short introduction into dyadic analysis with applications to classical weighted norm inequalities.
We continue our study of the reflectionless measures associated to an $s$-dimensional Calderón-Zygmund operator (CZO) acting in $\mathbb{R}^d$ with $s\in (0,d)$. Here, our focus will be the study of CZOs that are rigid, in the sense that they have few reflectionless measures associated to them. Our goal is to prove that the rigidity properties of a CZO $T$ impose strong geometric conditions upon the support of any measure $μ$ for which $T$ is a bounded operator in $L^2(μ)$. In this way, we shall reduce certain well-known problems at the interface of harmonic analysis and geometric measure theory to a description of reflectionless measures of singular integral operators. What's more, we show that this approach yields promising new results.
We find the asymptotics of the counting function of zeroes of random entire functions represented by Rademacher Taylor series. We also give the asymptotics of the weighted counting function, which takes into account the arguments of zeroes. These results answer several questions left open after the pioneering work of Littlewood and Offord of 1948. The proofs are based on our recent result on the logarithmic integrability of Rademacher Fourier series.
We study the asymptotic laws for the spatial distribution and the number of connected components of zero sets of smooth Gaussian random functions of several real variables. The primary examples are various Gaussian ensembles of real-valued polynomials (algebraic or trigonometric) of large degree on the sphere or torus, and translation-invariant smooth Gaussian functions on the Euclidean space restricted to large domains.
We study perturbations of functions $f(A,B)$ of noncommuting self-adjoint operators $A$ and $B$ that can be defined in terms of double operator integrals. We prove that if $f$ belongs to the Besov class $B_{\be,1}^1(\R^2)$, then we have the following Lipschitz type estimate in the Schatten--von Neumann norm $\bS_p$, $1\le p\le2$ norm: $\|f(A_1,B_1)-f(A_2,B_2)\|_{\bS_p}\le\const(\|A_1-A_2\|_{\bS_p}+\|B_1-B_2\|_{\bS_p})$. However, the condition $f\in B_{\be,1}^1(\R^2)$ does not imply the Lipschitz type estimate in $\bS_p$ with $p>2$. The main tool is Schatten--von Neumann norm estimates for triple operator integrals.