Searcharxiv⌕ Search

arXiv · 2609.32904

Mean size and Schauder-basis properties of Daubechies wavelet packets

Abstract

In 2002 Nielsen and Zhou conjectured that the shifted wavelet packet system associated with a Daubechies filter of length at least four fails to be a Schauder basis of $L^p(\mathbb{R})$ for $1\le p\le\infty$, $p\ne2$, and that the packets are not uniformly bounded in $p$-mean across scales for any $p>2$. The basis obstruction throughout the range $1 2$ for $1 2$ the full family of transition matrices has $p$-norm joint spectral radius exceeding the Haar value $4^{1/p}$. The key step is structural: an affine piece of the matrix pressure forces constant spectral radius, which by a theorem of Protasov and Voynov forces simultaneous orthogonality of the transition matrices, incompatible with the double zero of the high-pass symbol. The results extend to every real spectral factor with the Daubechies magnitude response, including the least-asymmetric filters.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Morten Nielsen. 2026-09-26. Mean size and Schauder-basis properties of Daubechies wavelet packets. https://arxiv.org/abs/2609.32904

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Asymptotic Rigidity and Boundary Structure of Yang's Numerical Invariants for the Bidisk Submodules $[z^k-w^\ell]$

Let \[ M_{k,\ell}=[z^k-w^\ell]\subset H^2(\mathbb D^2), \qquad k,\ell\in\mathbb N,\quad k\ne\ell . \] We study the large-index asymptotics of Yang's numerical invariants and the boundary structure of their generating function. Starting from the exact staircase formula obtained in our preceding work, we prove that \[ Σ_j(M_{k,\ell}) = \frac{C_{k,\ell}}{j} + O(j^{-2}), \] where \[ C_{k,\ell} = \int_0^\infty \frac{x^2} {(x+1/k)^2(x+1/\ell)^2}\,dx . \] The first strict descent together with $C_{k,\ell}$ recovers the unordered pair $\{k,\ell\}$, yielding an asymptotic rigidity principle. At the next order we obtain a periodic correction \[ Σ_j(M_{k,\ell}) = \frac{C_{k,\ell}}{j} + \frac{Ψ_{k,\ell}(j)}{j^2} + O(j^{-3}), \] whose least period is \(\operatorname{lcm}(k,\ell)\), and we determine the leading amplitudes of the strict drops. For Yang's generating function \[ \mathcal P_{k,\ell}(t) = \sum_{j=0}^{\infty}Σ_j(M_{k,\ell})t^j, \] we prove that it has radius of convergence one and a logarithmic singularity at $t=1$; hence it is never a polynomial for $k\ne\ell$, giving a negative answer to Yang's polynomiality question within this quasi-homogeneous family. The periodic higher-order corrections generate root-of-unity polylogarithmic boundary modes. The leading logarithmic coefficient together with the second-order boundary support determines the unordered pair $\{k,\ell\}$, while successive renormalized boundary limits recover the Fourier coefficients of every finite-order periodic asymptotic term.

math.FA↗

The Critical Value for the Beurling-Type Theorem in Weighted Bergman Spaces

For every $α>1$ we construct a finite set $A\subset\mathbb{D}$ such that the zero-based invariant subspace $I_A$ fails the wandering subspace property. Consequently, the Beurling-type theorem holds on the weighted Bergman space $A^2_α$ if and only if $-1<α\le1$, confirming a conjecture of Shimorin. As a further application, we extend the prescribed-curvature construction of Hedenmalm and Perdomo to all $α>1$, thereby replacing the constant $α_0\approx1.04$ in their result by $1$.

math.FA↗

Homogeneous analytic Hilbert modules -- the case of non-transitive action

This work investigates analytic Hilbert modules $\mathcal{H}$, over the polynomial ring, consisting of holomorphic functions on a $G$-space $Ω\subset \mathbb{C}^m$ that are homogeneous under the natural action of the group $G$. In a departure from the past studies of such questions, here we don't assume transitivity of the group action. The primary finding reveals that unitary invariants such as curvature and the reproducing kernel of a homogeneous analytic Hilbert module can be deduced from their values on a fundamental set $Λ$ of the group action. Next, utilizing these techniques, we examine the analytic Hilbert modules associated with the symmetrized bidisc $\mathbb{G}_2$ and its homogeneity under the automorphism group of $\mathbb{G}_2$. It follows from one of our main theorems that none of the weighted Bergman metrics on the symmetrized bidisc is Kähler-Einstein.

math.FA↗