Concentration inequalities and confidence bands for needlet density estimators on compact homogeneous manifolds

Let X ₁, . . . , X _n be a random sample from some unknown probability density f defined on a compact homogeneous manifold M of dimension d ≥ 1. Consider a ‘needlet frame’ ${\{\phi_{j\eta}\}}$ describing a localised projection onto the space of eigenfunctions of the Laplace operator on M with corresponding eigenvalues less than 2^2j , as constructed in Geller and Pesenson (J Geom Anal 2011). We prove non-asymptotic concentration inequalities for the uniform deviations of the linear needlet density estimator f _n (j) obtained from an empirical estimate of the needlet projection ${\sum_\eta \phi_{j \eta}\int f \phi_{j \eta}}$ of f. We apply these results to construct risk-adaptive estimators and nonasymptotic confidence bands for the unknown density f. The confidence bands are adaptive over classes of differentiable and H?lder-continuous functions on M that attain their H?lder exponents.     

A Levi-Civitá Equation on Compact Groups and Nonabelian Fourier Analysis

In this paper, we study the following Levi-Civitá equation $ w(xy) + w(yx) = \sum_{i=1}^{m} f_{i}(x)g_{i}(y) \quad \quad \quad ({\rm LC})$ on a compact group G, where w, f _i ’s, and g _i ’s are continuous complex-valued functions to determine. Our main ingredient is (nonabelian) Fourier analysis on compact groups. We apply the Fourier transform to Eq. (LC) on the product group G × G so that we obtain its several equivalent operator equations. Using those equivalent equations, we derive some crucial properties of solutions to Eq. (LC). Consequently, Eq. (LC) with m ≤ 2 is completely solved. In particular, a Wilson type equation arising from and playing a central role in [4] is solved on compact groups.     

On support properties of functions and their Jacobi transform

The qualitative uncertainty principle proved by Benedicks asserts that f and its Fourier transform \(\hat f\) cannot both concentrated in subsets of finite Lebesgue measure. In this paper we obtain some uncertainty principles concerning sets of finite measure in the Jacobi setting.     

Integration of H?lder forms and currents in snowflake spaces

For an oriented n-dimensional Lipschitz manifold M we give meaning to the integral ${\int_M f \, dg_1 \wedge \cdots \wedge dg_n}$ in case the functions ${f, g_1, \ldots, g_n}$ are merely H?lder continuous of a certain order by extending the construction of the Riemann?CStieltjes integral to higher dimensions. More generally, we show that for ${\alpha \in (\tfrac{n}{n+1},1]}$ the n-dimensional locally normal currents in a locally compact metric space (X, d) represent a subspace of the n-dimensional currents in (X, d ^?? ). On the other hand, for ${n \geq 1}$ and ${\alpha \leq \tfrac{n}{n+1}}$ the vector space of n-dimensional currents in (X, d ^?? ) is zero.     

Floyd maps for relatively hyperbolic groups

Let ${\mathbf{delta}_{\mathcal S,\lambda}}$ denote the Floyd metric on a discrete group G generated by a finite set ${\mathcal S}$ with respect to the scaling function f _n ?= λ ⁿ for a positive λ <?1. We prove that if G is relatively hyperbolic with respect to a collection ${\mathcal P}$ of subgroups then there exists λ such that the identity map ${G\to G}$ extends to a continuous equivariant map from the completion with respect to ${\mathbf{\delta}_{\mathcal S,\lambda}}$ to the Bowditch completion of G with respect to ${\mathcal P}$ . In order to optimize the proof and the usage of the map theorem we propose two new definitions of relative hyperbolicity equivalent to the other known definitions. In our approach some “visibility” conditions in graphs are essential. We introduce a class of “visibility actions” that contains the class of relatively hyperbolic actions. The convergence property still holds for the visibility actions. Let a locally compact group G act on a compactum Λ with convergence property and on a locally compact Hausdorff space Ω properly and cocomactly. Then the topologies on Λ and Ω extend uniquely to a topology on the direct union ${T=\Lambda{\sqcup}\Omega}$ making T a compact Hausdorff space such that the action ${G{\curvearrowright}T}$ has convergence property. We call T the attractor sum of Λ and Ω.     

Constant-Sign Lp Solutions for a System of Integral Equations

We consider the following system of integral equations $$u_i(t)=\int^1_0g_i(t,s)f(s,u_1(s),u_2(s),\cdots,u_n(s))ds,\quad t\in \lbrack 0,1\rbrack,1\leq i\leq n.$$ Our aim is to establish criteria such that the above system has a constant-sign solution (u₁, u₂, …, u _n) ∈ (L^p[0, 1])ⁿ, where the integer 1 ≤ p < ∞ is fixed. We shall tackle the case when f is ‘nonnegative’ as well as the case when f is ‘semipositone’. The above problem is also extended to that on the half-line [0, ∞) $$u_i(t)=\int^1_0g_i(t,s)f(s,u_1(s),u_2(s),\cdots,u_n(s))ds,\quad t\in \lbrack 0,\infty ),1\leq i\leq n.$$      

A remark concerning Pincherle bases

In this note we find sufficient conditions for uniqueness of expansion of any two functionsf(z) and g(z) which are analytic in the circle ¦ z ¦ < R (0 < R <∞) in series $$f(z) = \sum\nolimits_{n = 0}^\infty {(a_n f_2 (z) + b_n g_n (z))}$$ and $$g_i (z) = \sum\nolimits_{n = 0}^\infty {a_n \lambda _n f_n (z)} + b_n \mu _n f_n (x)),$$ which are convergent in the compact topology, where (f _n {z} _n=0 ^∞ and {g} _n=0 ^∞ are given sequences of functions which are analytic in the same circle while {λ _n } _n=0 ^∞ and {μ _n } _n=0 ^∞ are fixed sequences of complex numbers. The assertion obtained here complements a previously known result of M. G. Khaplanov and Kh. R. Rakhmatov.     

Uniform ergodic convergence and averaging along Markov chain trajectories

LetP(x, A) be a transition probability on a measurable space (S, Σ) and letX _n be the associated Markov chain.Theorem. Letf∈B(S, Σ). Then for anyx∈S we haveP _x a.s. $$\mathop {\underline {\lim } }\limits_{n \to \infty } \frac{1}{n}\sum\limits_{k = 1}^n {f(X_k ) \geqslant } \mathop {\underline {\lim } }\limits_{n \to \infty } \mathop {\inf }\limits_{x \in S} \frac{1}{n}\sum\limits_{k = 1}^n {P^k f(x)} $$ and (implied by it) a corresponding inequality for the lim. If 1/n∑ _k=1 ⁿ P ^k f converges uniformly, then for everyx∈S, 1/n ∑ _k=1 ⁿ f(X _k ) convergesP _x a.s. Applications are made to ergodic random walks on amenable locally compact groups. We study the asymptotic behavior of 1/n∑ _k=1 ⁿ μ ^k *f and of 1/n∑ _k=1 ⁿ f(X _k ) via that ofΨ _n *f(x)=m(A _n )^?1∫ _An f(xt), where {A _n } is a Følner sequence, in the following cases: (i)f is left uniformly continuous (ii) μ is spread out (iii)G is Abelian. Non-Abelian Example: Let μ be adapted and spread-out on a nilpotent σ-compact locally compact groupG, and let {A _n } be a Følner sequence. If forf∈B(G, ∑) m(A _n )^?1∫ _An f(xt)dm(t) converges uniformly, then 1/n∑ _k=1 ⁿ f(X _k ) converges uniformly, andP _x convergesP _x a.s. for everyx∈G.     

Asymptotic porosity of planar harmonic measure

We study the distribution of harmonic measure on connected Julia sets of unicritical polynomials. Harmonic measure on a full compact set in ? is always concentrated on a set which is porous for a positive density of scales. We prove that there is a topologically generic set $\mathcal{A}$ in the boundary of the Mandelbrot set such that for every $c\in \mathcal{A}$ , β>0, and λ∈(0,1), the corresponding Julia set is a full compact set with harmonic measure concentrated on a set which is not β-porous in scale λ ⁿ for n from a set with positive density amongst natural numbers.     

Superfast Fourier Transform Using QTT Approximation

We propose Fourier transform algorithms using QTT format for data-sparse approximate representation of one- and multi-dimensional vectors (m-tensors). Although the Fourier matrix itself does not have a low-rank QTT representation, it can be efficiently applied to a vector in the QTT format exploiting the multilevel structure of the Cooley-Tukey algorithm. The m-dimensional Fourier transform of an n×?×n vector with n=2 ^d has $\mathcal{O}(m d^{2} R^{3})$ complexity, where R is the maximum QTT-rank of input, output and all intermediate vectors in the procedure. For the vectors with moderate R and large n and m the proposed algorithm outperforms the $\mathcal{O}(n^{m} \log n)$ fast Fourier transform (FFT) algorithm and has asymptotically the same log-squared complexity as the superfast quantum Fourier transform (QFT) algorithm. By numerical experiments we demonstrate the examples of problems for which the use of QTT format relaxes the grid size constrains and allows the high-resolution computations of Fourier images and convolutions in higher dimensions without the ‘curse of dimensionality’. We compare the proposed method with Sparse Fourier transform algorithms and show that our approach is competitive for signals with small number of randomly distributed frequencies and signals with limited bandwidth.     

Approximation of measures by Markov processes and homogeneous affine iterated function systems

It is shown that under certain conditions, attractive invariant measures for iterated function systems (indeed for Markov processes on locally compact spaces) depend continuously on parameters of the system. We discuss a special class of iterated function systems, the homogeneous affine ones, for which an inverse problem is easily solved in principle by Fourier transform methods. We show that a probability measureμ onR ⁿ can be approximated by invariant measures for finite iterated function systems of this class if \(\hat \mu (t)/\hat \mu (a^T t)\) is positive definite for some nonzero contractive linear mapa:R ⁿ →R ⁿ . Moments and cumulants are also discussed.     

Planar nearrings on the Euclidean plane

Planar near-rings are generalized rings which can serve as coordinate domains for geometric structures in which each pair of nonparallel lines has a unique point of intersection. It is known that all planar nearrings can be constructed from regular groups of automorphisms of groups which can be viewed as the “action groups” of the planar nearring. In this article, we study planar nearrings whose additive group is \({(\mathbb{R}^n,+)}\) , in particular, n = 1 and 2. It is natural to study topological planar nearrings in this context, following ideas of the late Kenneth D. Magill, Jr. In the case of n = 1, we characterize all topological planar nearrings by their action groups \({(\mathbb{R}^*, \cdot)}\) or \({(\mathbb{R}^+, \cdot)}\) . For n = 2, these action groups and the circle group \({(\mathbb{U}, \cdot)}\) seem to be the most interesting cases, but the last case can be excluded completely. As a consequence, we obtain characterizations of the semi-homogeneous continuous mappings from \({\mathbb{R}^n}\) to \({\mathbb{R}}\) for n = 1 and 2. Such a mapping f enjoys the property that f(f(u)v) = f(u)f(v) for all \({u,v \in \mathbb{R}^n}\) . When \({f(\mathbb{R}^n) = \mathbb{R}^+}\) , f is a positive homogeneous mapping of degree 1.     

On certain generalizations of the Gagliardo–Nirenberg inequality and their applications to capacitary estimates and isoperimetric inequalities

We derive the inequality $$\int_\mathbb{R}M(|f'(x)|h(f(x))) dx\leq C(M,h)\int_\mathbb{R}M\left({\sqrt{|f''(x)\tau_h(f(x))|}\cdot h(f(x))}\right)dx$$ with a constant C(M, h) independent of f, where f belongs locally to the Sobolev space ${W^{2,1}(\mathbb{R})}$ and f′ has compact support. Here M is an arbitrary N-function satisfying certain assumptions, h is a given function and ${\tau_h(\cdot)}$ is its given transform independent of M. When M(λ) =  λ ^p and ${h \equiv 1}$ we retrieve the well-known inequality ${\int_\mathbb{R}|f'(x)|^{p}dx \leq (\sqrt{p - 1})^{p}\int_\mathbb{R}(\sqrt{|f''(x) f(x)|})^{p}dx}$ . We apply our inequality to obtain some generalizations of capacitary estimates and isoperimetric inequalities due to Maz’ya (1985).     

The distribution of extreme points in best complex polynomial approximation

LetK be a compact point set in the complex plane having positive logarithmic capacity and connected complement. For anyf continuous onK and analytic in the interior ofK we investigate the distribution of the extreme points for the error in best uniform approximation tof onK by polynomials. More precisely, if $$A_n (f): = \{ z \in K:|f(z) - p_n^* (f;z)| = \parallel f - p_n^* (f)\parallel _K \} ,$$ wherep _n ^* (f) is the polynomial of degree≤n of best uniform approximation tof onK, we show that there is a subsequencen _k with the property that the sequence of (n _k +2)-point Fekete subsets of \(A_{n_k }\) has limiting distribution (ask→∞) equal to the equilibrium distribution forK. Analogues for weighted approximation are also given.     

Qualitative uncertainty principles for the hypergeometric Fourier transform

We prove an L ^p version of the Donoho–Stark’s uncertainty principle for the hypergeometric Fourier transform on \({\mathbb{R}^d}\). Next, using the ultracontractive properties of the semigroups generated by the Heckman–Opdam Laplacian operator, we obtain an L ^p Heisenberg–Pauli–Weyl uncertainty principle for the hypergeometric Fourier transform on \({\mathbb{R}^d}\).     

Lipschitz Homotopy Groups of the Heisenberg Groups

Lipschitz and horizontal maps from an n-dimensional space into the (2n + 1)-dimensional Heisenberg group ${\mathbb{H}^n}$ are abundant, while maps from higher-dimensional spaces are much more restricted. DeJarnette-Haj?asz-Lukyanenko-Tyson constructed horizontal maps from S ^k to ${\mathbb{H}^n}$ which factor through n-spheres and showed that these maps have no smooth horizontal fillings. In this paper, however, we build on an example of Kaufman to show that these maps sometimes have Lipschitz fillings. This shows that the Lipschitz and the smooth horizontal homotopy groups of a space may differ. Conversely, we show that any Lipschitz map ${S^k \to \mathbb{H}^1}$ factors through a tree and is thus Lipschitz null-homotopic if ${k \geq 2}$ .     

L 2-\overline{\partial}-Cohomology groups of some singular complex spaces

Let X be a pure n-dimensional (where n≥2) complex analytic subset in ? ^N with an isolated singularity at 0. In this paper we express the L ²-(0,q)- $\overline{\partial}$ -cohomology groups for all q with 1≤q≤n of a sufficiently small deleted neighborhood of the singular point in terms of resolution data. We also obtain identifications of the L ²-(0,q)- $\overline{\partial}$ -cohomology groups of the smooth points of X, in terms of resolution data, when X is either compact or an open relatively compact complex analytic subset of a reduced complex space with finitely many isolated singularities.     

Estimates for the Fourier coefficients of symmetric square L-functions

Let f(z) be a holomorphic Hecke eigenform of even weight k for the full modular group ${SL_2(\mathbb{Z})}$ , and denote by L(s, sym² f) the corresponding symmetric square L-function associated to f. Suppose that ${\lambda_{\rm{sym}^2} f(n)}$ is the nth normalized Fourier coefficient of L(s, sym² f). In this paper, the asymptotic formula $$\begin{array}{ll}\sum_{n\leq x} \lambda^2_{\rm{sym}^2 f}(n) = C x + O(x^{\frac{10}{13}} \log^{9} x)\end{array}$$ is established.     

Reeb Graphs: Approximation and Persistence

Given a continuous function f:X→? on a topological space X, its level set f ^?1(a) changes continuously as the real value a changes. Consequently, the connected components in the level sets appear, disappear, split and merge. The Reeb graph of f summarizes this information into a graph structure. Previous work on Reeb graph mainly focused on its efficient computation. In this paper, we initiate the study of two important aspects of the Reeb graph, which can facilitate its broader applications in shape and data analysis. The first one is the approximation of the Reeb graph of a function on a smooth compact manifold M without boundary. The approximation is computed from a set of points P sampled from M. By leveraging a relation between the Reeb graph and the so-called vertical homology group, as well as between cycles in M and in a Rips complex constructed from P, we compute the H ₁-homology of the Reeb graph from P. It takes O(nlogn) expected time, where n is the size of the 2-skeleton of the Rips complex. As a by-product, when M is an orientable 2-manifold, we also obtain an efficient near-linear time (expected) algorithm for computing the rank of H ₁(M) from point data. The best-known previous algorithm for this problem takes O(n ³) time for point data. The second aspect concerns the definition and computation of the persistent Reeb graph homology for a sequence of Reeb graphs defined on a filtered space. For a piecewise-linear function defined on a filtration of a simplicial complex K, our algorithm computes all persistent H ₁-homology for the Reeb graphs in $O(n n_{e}^{3})$ time, where n is the size of the 2-skeleton and n _e is the number of edges in K.