SearcharxivSearch

arXiv subjects

Christina Frederick

Publications and source records attributed to Christina Frederick.

16 recordsLinked to original sources

The frameset of the second-order B-Spline along $ab=1/q$

We give a complete characterization of the zero set of the Zak transform of the second-order B-spline $Q_2$. As a consequence, we obtain a new proof of the Lemvig--Nielsen obstructions to the Gabor frame property of $Q_2$, and, along the hyperbola $ab=1/q$, we show these obstructions are sharp: every point they do not exclude belongs to the frame set. This gives the first complete characterization of $\mathcal F(Q_2)$ along an entire curve in this family, resolving a question left open by Lemvig and Nielsen.

math.CA

On the structure of the Gram matrix for Gabor systems generated by B-splines

We consider the Gabor system $\mathcal{G}(g,a\mathbb{Z}\times b\mathbb{Z})$ generated by a continuous, compactly supported function $g$ over the time-frequency lattice generated by the parameters $a$ and $b$. We show that, under an appropriate ordering of the Gabor elements, certain submatrices of the Gram matrix of $\mathcal{G}(g,a\mathbb{Z}\times b\mathbb{Z})$ exhibit a block-Toeplitz structure. This structural property enables us to derive spectral results for finite sub-blocks of the Gram matrix by appealing to the spectral theory of Toeplitz matrices. In particular, we apply our results to the Gram matrix of Gabor systems generated by the $N$th-order B-spline.

math.GM

Velocity Reconstruction from Flow-Induced Magnetic Fields

We study the inverse problem of reconstructing an incompressible velocity field $\boldsymbol{v}$ from observations of the induced magnetic field $\boldsymbol{b}$. In the presence of a strong, constant background field $\mathbf{F}$, the evolution of the magnetic perturbation $\boldsymbol{b}$ is governed by the linearized induction equation. We analyze the system on both the entire space $\Omega = \mathbb{R}^d$ and a periodic domain $\Omega = \prod_{i=1}^d [0, L_i)$, which models a homogeneous medium with side lengths $L_i > 0$. We analyze this problem by decomposing it into the injectivity of a parabolic forward map and the solvability of a divergence-free transport sub-problem. On the whole space $\mathbb{R}^d$, we show that the transport sub-problem is well-posed when data is prescribed on a non-characteristic hypersurface transverse to $\mathbf{F}$. On the torus, we establish a sharp uniqueness criterion based on the rational dependence of the ratios $\{F_i/L_i\}_{i=1}^d$ between the background-field components and the corresponding domain periods. Furthermore, we show that for the reconstructed velocity to belong to $L^2$, a sufficient condition is that the background field must satisfy a Diophantine condition. The proof combines injectivity of the parabolic forward map with uniqueness for a steady transport equation along $\mathbf{F}$.

math.AP

Multi-agent path-planning in a moving medium via Wasserstein Hamiltonian Flow

We present a finite dimensional variational model for multi-agent path-planning in which a group of agents traverses from initial positions to a target distribution in a moving medium. The model is derived using the agent-based formulation of the Wasserstein Hamiltonian flows that transport between probability distributions while optimizing a running cost. The objective is the mismatch between their final positions and the target distribution. The constraints are a system of Hamiltonian equations that provide the trajectories of the agents. The free variables on which the optimization is defined form a finite vector of the initial velocities for the agents. The model is solved numerically by the L-BFGS method in conjunction with a shooting strategy. Several simulation examples, including a time-dependent moving medium, are presented to illustrate the performance of the model.

math.OC

On the frame set of the second-order $B$-spline

The frame set of a function $g\in L^2(\mathbb{R})$ is the set of all parameters $(a, b)\in \mathbb{R}^2_+$ for which the collection of time-frequency shifts of $g$ along $a\mathbb{Z}\times b\mathbb{Z}$ form a Gabor frame for $L^2(\mathbb{R}).$ Finding the frame set of a given function remains a challenging open problem in time-frequency analysis. In this paper, we establish new regions of the frame set of the second order $B-$spline. Our method relies on the compact support of this function to partition a subset of the putative frame set and find an explicit dual window function in each of the partition regions. Numerical evidence indicates the existence of further points belonging to the frame set.

math.CA

A characterization of Gabor Riesz bases with separable time-frequency shifts

A Gabor system generated by a window function $g\in L^2(\mathbb{R}^d)$ and a separable set $Λ\times Γ\subset \mathbb{R}^{2d}$ is the collection of time-frequency shifts of $g$ given by $\mathcal G(g, Λ\times Γ) = \left\{ e^{2πi ξ\cdot t}g(t-x)\right\}_{ (x,ξ)\in Λ\times Γ}$. One of the fundamental problems in Gabor analysis is to characterize all windows and time-frequency sets that generate a Gabor frame or Gabor orthonormal basis. The case of Gabor orthonormal bases generated by characteristic functions $g=χ_Ω$ has been solved by Han and Wang. In this paper, we build on these results and obtain a full characterization of Riesz Gabor systems of the form $\mathcal G(χ_Ω, Λ\times Γ)$ when $Ω$ is a tiling of $\mathbb{R}^d$ with respect to $Λ$. Furthermore, for a certain class of lattices $Λ\times Γ$, we prove that a necessary condition for the characteristic function of a multi-tiling set to serve as a window function for a Riesz Gabor basis is that the set must be a tiling set. To prove this, we develop new results on the zeros of the Zak transform and connect these results to Gabor frames.

math.FA

Frame spectral pairs and exponential bases

Given a domain $Ω\subset\Bbb R^d$ with positive and finite Lebesgue measure and a discrete set $Λ\subset \Bbb R^d$, we say that $(Ω, Λ)$ is a {\it frame spectral pair} if the set of exponential functions $\mathcal E(Λ):=\{e^{2πi λ\cdot x}: λ\in Λ\}$ is a frame for $L^2(Ω)$. Special cases of frames include Riesz bases and orthogonal bases. In the finite setting $\Bbb Z_N^d$, $d, N\geq 1$, a frame spectral pair can be similarly defined. %(Here, $\Bbb Z_N$ is the cyclic abelian group of order.) We show how to construct and obtain new classes of frame spectral pairs in $\Bbb R^d$ by "adding" frame spectral pairs in $\Bbb R^{d}$ and $\Bbb Z_N^d$. Our construction unifies the well-known examples of exponential frames for the union of cubes with equal volumes. We also remark on the link between the spectral property of a domain and sampling theory.

math.CA

Flow rectification in loopy network models of bird lungs

We demonstrate flow rectification, valveless pumping or AC-to-DC conversion in macroscale fluidic networks with loops. Inspired by the unique anatomy of bird lungs and the phenomenon of directed airflow throughout the respiration cycle, we hypothesize, test and validate that multi-loop networks exhibit persistent circulation or DC flows when subject to oscillatory or AC forcing at high Reynolds numbers. Experiments reveal that disproportionately stronger circulation is generated for higher frequencies and amplitudes of the imposed oscillations, and this nonlinear response is corroborated by numerical simulations. Visualizations show that flow separation and vortex shedding at network junctions serve the valving function of directing current with appropriate timing in the oscillation cycle. These findings suggest strategies for controlling inertial flows through network topology and junction connectivity.

physics.flu-dyn

Collective motion planning for a group of robots using intermittent diffusion

In this work we establish a simple yet effective strategy, based on optimal transport theory, for enabling a group of robots to accomplish complex tasks, such as shape formation and assembly. We demonstrate the feasibility of this approach and rigorously prove collision avoidance and convergence properties of the proposed algorithms.

math.OC

Finding duality for Riesz bases of exponentials on multi-tiles

It is known that if $Ω\subset \mathbb{R}^{d}$ belongs to a class of multi-tiling domains when translated by a lattice $Λ$, there exists a Riesz basis of exponentials for $L^{2}(Ω)$ constructed using $k$ translates of the dual lattice $Λ^*$. In this paper, we give an explicit construction of the corresponding biorthogonal dual Riesz basis. We also extend the iterative reconstruction algorithm introduced in prior work to this setting.

math.CA

Seabed classification using physics-based modeling and machine learning

In this work model-based methods are employed along with machine learning techniques to classify sediments in oceanic environments based on the geoacoustic properties of a two-layer seabed. Two different scenarios are investigated. First, a simple low-frequency case is set up, where the acoustic field is modeled with normal modes. Four different hypotheses are made for seafloor sediment possibilities and these are explored using both various machine learning techniques and a simple matched-field approach. For most noise levels, the latter has an inferior performance to the machine learning methods. Second, the high-frequency model of the scattering from a rough, two-layer seafloor is considered. Again, four different sediment possibilities are classified with machine learning. For higher accuracy, 1D Convolutional Neural Networks (CNNs) are employed. In both cases we see that the machine learning methods, both in simple and more complex formulations, lead to effective sediment characterization. Our results assess the robustness to noise and model misspecification of different classifiers.

eess.SP

Image reconstruction in quantitative photoacoustic tomography with the simplified $P_2$ approximation

Photoacoustic tomography (PAT) is a hybrid imaging modality that intends to construct high-resolution images of optical properties of heterogeneous media from measured acoustic data generated by the photoacoustic effect. To date, most of the model-based quantitative image reconstructions in PAT are performed with either the radiative transport equation or its classical diffusion approximation as the model of light propagation. In this work, we study quantitative image reconstructions in PAT using the simplified $P_2$ equations as the light propagation model. We provide numerical evidences on the feasibility of this approach and derive some stability results as theoretical justifications.

math.NA

An $L^2-$stability estimate for periodic nonuniform sampling in higher dimensions

We consider sampling strategies for a class of multivariate bandlimited functions $f$ that have a spectrum consisting of disjoint frequency bands. Taking advantage of the special spectral structure, we provide formulas relating $f$ to the samples $f(y), y\in X$, where $X$ is a periodic nonuniform sampling set. In this case, we show that the reconstruction can be viewed as an iterative process involving certain Vandermonde matrices, resulting in a link between the invertibility of these matrices to the existence of certain sampling sets that guarantee a unique recovery. Furthermore, estimates of inverse Vandermonde matrices are used to provide explicit $L^{2}$-stability estimates for the reconstruction of this class of functions.

math.FA

Seafloor identification in sonar imagery via simulations of Helmholtz equations and discrete optimization

We present a multiscale approach for identifying features in ocean beds by solving inverse problems in high frequency seafloor acoustics. The setting is based on Sound Navigation And Ranging (SONAR) imaging used in scientific, commercial, and military applications. The forward model incorporates multiscale simulations, by coupling Helmholtz equations and geometrical optics for a wide range of spatial scales in the seafloor geometry. This allows for detailed recovery of seafloor parameters including material type. Simulated backscattered data is generated using numerical microlocal analysis techniques. In order to lower the computational cost of the large-scale simulations in the inversion process, we take advantage of a pre-computed library of representative acoustic responses from various seafloor parameterizations.

math.NA

Numerical methods for multiscale inverse problems

We consider the inverse problem of determining the highly oscillatory coefficient $a^\epsilon$ in partial differential equations of the form $-\nabla\cdot (a^\epsilon\nabla u^\epsilon)+bu^\epsilon = f$ from given measurements of the solutions. Here, $\epsilon$ indicates the smallest characteristic wavelength in the problem ($0<\epsilon\ll1$). In addition to the general difficulty of finding an inverse, the oscillatory nature of the forward problem creates an additional challenge of multiscale modeling, which is hard even for forward computations. The inverse problem in its full generality is typically ill-posed and one common approach is to replace the original problem with an effective parameter estimation problem. We will here include microscale features directly in the inverse problem and avoid ill-posedness by assuming that the microscale can be accurately represented by a low-dimensional parametrization. The basis for our inversion will be a coupling of the parametrization to analytic homogenization or a coupling to efficient multiscale numerical methods when analytic homogenization is not available. We will analyze the reduced problem, $b = 0$, by proving uniqueness of the inverse in certain problem classes and by numerical examples and also include numerical model examples for medical imaging, $b > 0$, and exploration seismology, $b < 0$.

math.NA

Nonuniform sampling and multiscale computation

In homogenization theory and multiscale modeling, typical functions satisfy the scaling law $f^{\epsilon}(x) = f(x,x/\epsilon)$, where $f$ is periodic in the second variable and $\epsilon$ is the smallest relevant wavelength, $0<\epsilon\ll1$. Our main result is a new $L^{2}$-stability estimate for the reconstruction of such bandlimited multiscale functions $f^{\epsilon}$ from periodic nonuniform samples. The goal of this paper is to demonstrate the close relation between and sampling strategies developed in information theory and computational grids in multiscale modeling. This connection is of much interest because numerical simulations often involve discretizations by means of sampling, and meshes are routinely designed using tools from information theory. The proposed sampling sets are of optimal rate according to the minimal sampling requirements of Landau \cite{Landau}.

math.NA