SearcharxivSearch

arXiv subjects

Noel Murasko

Publications and source records attributed to Noel Murasko.

5 recordsLinked to original sources

Hybrid Dealiasing and Implicit Packing for Real Convolutions

Hybrid dealiasing is an FFT-based method for computing linear convolutions of complex-valued data that reduces the cost of dealiasing by performing zero padding implicitly. We develop two new algorithms that extend hybrid dealiasing to real-valued convolutions. The first algorithm exploits conjugate symmetries in the transformed data and computes each residue contribution directly. The second algorithm employs complex-valued hybrid dealiasing via a new implicit packing technique, which packs real-valued data into complex-valued arrays and performs all unpacking and packing operations implicitly in the transformed domain. Multidimensional versions of both algorithms are obtained by recursive decomposition into lower-dimensional convolutions. Based on these algorithms, efficient routines to compute convolutions of equal-length input arrays are implemented in the open-source FFTW++ library. These routines outperform the standard method of explicit zero padding in one, two, and three dimensions. In many cases, implicit packing without hybrid dealiasing is nearly as fast as the general hybrid dealiasing algorithm, particularly when multithreading.

math.NA

Rigidity of isometries on vector and normed lattices

We study rigidity phenomena for maps on vector and normed lattices arising from isometric, order-theoretic, and modulus-preserving conditions. We first investigate the role of strict convexity in Baker's nonsurjective version of the Mazur-Ulam theorem. In the process, we develop a theory of midpoint injective functions and investigate their connections with convexity and monotonicity. Using this framework, we prove a generalization of Baker's theorem. As our first main application, we show that every modulus isometry, i.e., a map $T:X\to Y$, where $X$ is a sublattice of a vector lattice $Y$, satisfying $$|T(x)-T(y)|=|x-y|, \qquad x,y\in X,$$ is affine and has a disjointness-preserving linear part. When $X$ is an ideal, the linear part is moreover a bijection of $X$ onto itself and an involution. In the normed lattice setting, we also show that every positive norm isometry into a strictly convex normed lattice is not only affine, but has a linear part that is a lattice homomorphism. Finally, we prove a nonlinear order-isometric rigidity theorem. After shifting to the origin, every order-preserving norm isometry between normed lattices whose codomain has a strictly monotone norm, preserves suprema and infima and is both disjointness preserving and disjointly additive. These conclusions do not force linearity, as shown by an explicit family of nonlinear isometries on $L_1[0,1]$.

math.FA

Empirical Approximation of $L_p$ Norms

We study empirical $L_p$ moments of a random vector $\pmb\varphi$ based on its i.i.d.\ copies $\pmb\varphi^1,\ldots,\pmb\varphi^m$, that is, $\frac1m\sum_{j=1}^m |\langle \pmb\varphi^j,y\rangle|^p$. Our main result is a new estimate for the expected uniform deviation \[ \mathbb{E}\sup_{y\in D}\biggl| \frac1m\sum_{j=1}^m |\langle \pmb\varphi^j,y\rangle|^p -\mathbb{E}|\langle \pmb\varphi,y\rangle|^p \biggr| \] over an arbitrary index set $D$. The proof is based on a new bound for Talagrand's $\gamma$-functional, sharper than the standard Dudley-type entropy estimate. We then apply this estimate to the following two problems. First, for $p>2$, we study Marcinkiewicz-type discretization of $L_p$ norms on an $N$-dimensional subspace $X_N\subset B(\Omega)$ of bounded functions on a probability space $(\Omega,\mu)$. We obtain bounds in terms of the norm of the embedding $ (X_N,\|\cdot\|_{L_p(\mu)})\hookrightarrow B(\Omega). $ In particular, we prove that when this norm is of order $N^{1/p}$ and \[ m \ge C(p)\, N\log N\,(\log\log N)^{p-1}, \] then $m$ random samples suffice to approximate the $L_p(\mu)$ norm uniformly on $X_N$ by the sampled discrete $L_p$ norm. This substantially improves the previously known bound in this setting $ m \ge C(p)\, N(\log N)^{\min\{p,3\}}, $ and is optimal up to the factor $(\log\log N)^{p-1}$ in the random-sampling setting. Second, for $1\le p<2$, we obtain an $L_p$ analogue of the restricted isometry property via random sampling for bounded orthogonal systems and, more generally, for $N$-element systems $\mathcal D_N$ satisfying a Riesz-type condition. We prove that when \[ m \ge C(p)\, s\log N\,(\log s)^2\,\log\log s, \] then $m$ random samples suffice to guarantee an $L_p$ restricted isometry-type property uniformly over the class of all $s$-sparse functions generated by $\mathcal D_N$.

math.FA

Hybrid Dealiased Convolutions

This paper proposes a practical and efficient solution for computing convolutions using hybrid dealiasing. It offers an alternative to explicit or implicit dealiasing and includes an optimized hyperparameter tuning algorithm that uses experience to find the optimal parameters. Machine learning algorithms and efficient heuristics are also developed to estimate optimal parameters for larger convolution problems using only small squares/rectangles.

math.NA

Hybrid Dealiasing of Complex Convolutions

Efficient algorithms for computing linear convolutions based on the fast Fourier transform are developed. A hybrid approach is described that combines the conventional practice of explicit dealiasing (explicitly padding the input data with zeros) and implicit dealiasing (mathematically accounting for these zero values). The new approach generalizes implicit dealiasing to arbitrary padding ratios and includes explicit dealiasing as a special case. Unlike existing implementations of implicit dealiasing, hybrid dealiasing tailors its subtransform sizes to the convolution geometry. Multidimensional convolutions are implemented with hybrid dealiasing by decomposing them into lower-dimensional convolutions. Convolutions of complex-valued and Hermitian inputs of equal length are illustrated with pseudocode and implemented in the open-source FFTW++ library. Hybrid dealiasing is shown to outperform explicit dealiasing in one, two, and three dimensions.

math.NA