-
ALMA: a mathematics-driven approach for determining tuning parameters in generalized LASSO problems, with applications to MRI
Authors:
Gianluca Giacchi,
Isidoros Iakovidis,
Bastien Milani,
Matthias Stuber,
Micah Murray,
Benedetta Franceschiello
Abstract:
Magnetic Resonance Imaging (MRI) is a powerful technique employed for non-invasive in vivo visualization of internal structures. Sparsity is often deployed to accelerate the signal acquisition or overcome the presence of motion artifacts, improving the quality of image reconstruction. Image reconstruction algorithms use TV-regularized LASSO (Total Variation-regularized LASSO) to retrieve the missi…
▽ More
Magnetic Resonance Imaging (MRI) is a powerful technique employed for non-invasive in vivo visualization of internal structures. Sparsity is often deployed to accelerate the signal acquisition or overcome the presence of motion artifacts, improving the quality of image reconstruction. Image reconstruction algorithms use TV-regularized LASSO (Total Variation-regularized LASSO) to retrieve the missing information of undersampled signals, by cleaning the data of noise and while optimizing sparsity. A tuning parameter moderates the balance between these two aspects; its choice affecting the quality of the reconstructions. Currently, there is a lack of general deterministic techniques to choose these parameters, which are oftentimes manually selected and thus hinder the reliability of the reconstructions. Here, we present ALMA (Algorithm for Lagrange Multipliers Approximation), an iterative mathematics-inspired technique that computes tuning parameters for generalized LASSO problems during MRI reconstruction. We analyze quantitatively the performance of these parameters for imaging reconstructions via TV-LASSO in an MRI context on phantoms. Although our study concentrates on TV-LASSO, the techniques developed here hold significant promise for a wide array of applications. ALMA is not only adaptable to more generalized LASSO problems but is also robust to accommodate other forms of regularization beyond total variation. Moreover, it extends effectively to handle non-Cartesian sampling trajectories, broadening its utility in complex data reconstruction scenarios. More generally, ALMA provides a powerful tool for numerically solving constrained optimization problems across various disciplines, offering a versatile and impactful solution for advanced computational challenges.
△ Less
Submitted 27 June, 2024;
originally announced June 2024.
-
Understanding of linear operators through Wigner analysis
Authors:
Elena Cordero,
Gianluca Giacchi,
Edoardo Pucci
Abstract:
In this work, we extend Wigner's original framework to analyze linear operators by examining the relationship between their Wigner and Schwartz kernels. Our approach includes the introduction of (quasi-)algebras of Fourier integral operators (FIOs), which encompass FIOs of type I and II. The symbols of these operators reside in (weighted) modulation spaces, particularly in Sjöstrand's class, known…
▽ More
In this work, we extend Wigner's original framework to analyze linear operators by examining the relationship between their Wigner and Schwartz kernels. Our approach includes the introduction of (quasi-)algebras of Fourier integral operators (FIOs), which encompass FIOs of type I and II. The symbols of these operators reside in (weighted) modulation spaces, particularly in Sjöstrand's class, known for its favorable properties in time-frequency analysis. One of the significant results of our study is demonstrating the inverse-closedness of these symbol classes.
Our analysis includes fundamental examples such as pseudodifferential operators and Fourier integral operators related to Schr{ö}dinger-type equations. These examples typically feature classical Hamiltonian flows governed by linear symplectic transformations $S \in Sp(d, \mathbb{R})$. The core idea of our approach is to utilize the Wigner kernel to transform a Fourier integral operator $ T $ on $ \mathbb{R}^d $ into a pseudodifferential operator $ K$ on $ \mathbb{R}^{2d}$. This transformation involves a symbol $σ$ well-localized around the manifold defined by $ z = S w $.
△ Less
Submitted 16 June, 2024; v1 submitted 26 May, 2024;
originally announced May 2024.
-
Boundedness of metaplectic operators within $L^p$ spaces, applications to pseudodifferential calculus, and time-frequency representations
Authors:
Gianluca Giacchi
Abstract:
Housdorff-Young's inequality establishes the boundedness of the Fourier transform from $L^p$ to $L^q$ spaces for $1\leq p\leq2$ and $q=p'$, where $p'$ denotes the Lebesgue-conjugate exponent of $p$. This paper extends this classical result by characterizing the $L^p-L^q$ boundedness of all metaplectic operators, which play a significant role in harmonic analysis. We demonstrate that metaplectic op…
▽ More
Housdorff-Young's inequality establishes the boundedness of the Fourier transform from $L^p$ to $L^q$ spaces for $1\leq p\leq2$ and $q=p'$, where $p'$ denotes the Lebesgue-conjugate exponent of $p$. This paper extends this classical result by characterizing the $L^p-L^q$ boundedness of all metaplectic operators, which play a significant role in harmonic analysis. We demonstrate that metaplectic operators are bounded on Lebesgue spaces if and only if their symplectic projection is either free or lower block triangular. As a byproduct, we identify metaplectic operators that serve as homeomorphisms of $L^p$ spaces. To achieve this, we leverage a parametrization of the symplectic group by F. M. Dopico and C. R. Johnson involving products of complex exponentials with quadratic phase, Fourier multipliers, linear changes of variables, and partial Fourier transforms. Then, we use our findings to provide boundedness results within $L^p$ spaces for pseudodifferential operators with symbols in Lebesgue spaces, and quantized by means of metaplectic operators. These quantizations consists of shift-invertible metaplectic Wigner distributions, which play a fundamental role in measuring local phase-space concentration of signals. Using the Dopico-Johnson factorization, we infer a decomposition law for metaplectic operators on $L^2(\mathbb{R}^{2d})$ in terms of shift-invertible metaplectic operators, establish the density of shift-invertible symplectic matrices in $Sp(2d,\mathbb{R})$, and prove that the lack of shift-invertibility prevents metaplectic Wigner distributions to define the so-called modulation spaces $M^p(\mathbb{R}^d)$.
△ Less
Submitted 15 May, 2024;
originally announced May 2024.
-
Wigner kernel and Gabor matrix of operators
Authors:
Elena Cordero,
Gianluca Giacchi,
Luigi Rodino
Abstract:
We exhibit the connection between the Wigner kernel and the Gabor matrix of a linear bounded operator T : $\mathcal{S}(\mathbb{R}^d) \to \mathcal{S}' (\mathbb{R}^d)$. The smoothing effect of the Gabor matrix is highlighted by basic examples. This connection allows a comparison between the classes of Fourier integral operators defined by means of the Gabor matrix and the Wigner kernel, showing the…
▽ More
We exhibit the connection between the Wigner kernel and the Gabor matrix of a linear bounded operator T : $\mathcal{S}(\mathbb{R}^d) \to \mathcal{S}' (\mathbb{R}^d)$. The smoothing effect of the Gabor matrix is highlighted by basic examples. This connection allows a comparison between the classes of Fourier integral operators defined by means of the Gabor matrix and the Wigner kernel, showing the nice off-diagonal decay of the Gabor class with respect to the Wigner kernel one and suggesting further investigations. Modulation spaces containing the Sjöstrand class are the symbol classes of this study.
△ Less
Submitted 12 April, 2024;
originally announced April 2024.
-
Wigner Analysis of Fourier Integral Operators with symbols in the Shubin classes
Authors:
Elena Cordero,
Gianluca Giacchi,
Luigi Rodino,
Mario Valenzano
Abstract:
We study the decay properties of Wigner kernels for Fourier integral operators of types I and II. The symbol spaces that allow a nice decay of these kernels are the Shubin classes $Γ^m(\mathbb{R^{2d}})$, with negative order $m$. The phases considered are the so-called tame ones, which appear in the Schrödinger propagators. The related canonical transformations are allowed to be nonlinear. It is th…
▽ More
We study the decay properties of Wigner kernels for Fourier integral operators of types I and II. The symbol spaces that allow a nice decay of these kernels are the Shubin classes $Γ^m(\mathbb{R^{2d}})$, with negative order $m$. The phases considered are the so-called tame ones, which appear in the Schrödinger propagators. The related canonical transformations are allowed to be nonlinear. It is the nonlinearity of these transformations that are the main obstacles for nice kernel localizations when symbols are taken in the Hörmander's class $S^{0}_{0,0}(\mathbb{R^{2d}})$. Here we prove that Shubin classes overcome this problem and allow a nice kernel localization, which improves with the decreasing of the order $m$.
△ Less
Submitted 5 February, 2024;
originally announced February 2024.
-
A Unified Approach to Time-Frequency Representations and Generalized Spectrogram
Authors:
Elena Cordero,
Gianluca Giacchi,
Luigi Rodino
Abstract:
To overcome the impossibility of representing the energy of a signal simultaneously in time and frequency, many time-frequency representations have been introduced in the literature. Some of these are recalled in the Introduction. In this work we propose a unified approach of the previous theory by means of metaplectic Wigner distributions $W_{\mathcal{A}}$, with $\mathcal{A}$ symplectic matrix in…
▽ More
To overcome the impossibility of representing the energy of a signal simultaneously in time and frequency, many time-frequency representations have been introduced in the literature. Some of these are recalled in the Introduction. In this work we propose a unified approach of the previous theory by means of metaplectic Wigner distributions $W_{\mathcal{A}}$, with $\mathcal{A}$ symplectic matrix in $Sp(2d,\mathbb{R})$, which were introduced by Cordero, Rodino (2022) and then widely studied in subsequent papers. Namely, the short-time Fourier transform and the most popular members of the Cohen's class can be represented via metaplectic Wigner distributions. In particular, we introduce $\mathcal{A}$-metaplectic spectrograms which contain the classical ones and their variations arising from the $τ$-Wigner distributions of Boggiatto, De Donno, and Oliaro (2010). We provide a complete characterization of those $\mathcal{A}$-Wigner distributions which give rise to generalized spectrograms. This characterization is related to the block decomposition of the symplectic matrix $\mathcal{A}$. Moreover, a characterization of the $L^p$-boundedness of both $\mathcal{A}$-Wigner distributions and related metaplectic pseudodifferential operators is provided.
△ Less
Submitted 8 January, 2024;
originally announced January 2024.
-
Wigner Representation of Schrödinger Propagators
Authors:
Elena Cordero,
Gianluca Giacchi,
Luigi Rodino
Abstract:
We perform a Wigner analysis of Fourier integral operators (FIOs), whose main examples are Schrödinger propagators arising from quadratic Hamiltonians with bounded perturbations. The perturbation is given by a pseudodifferential operator $σ(x,D)$ with symbol in the Hörmander class $S^0_{0,0}(\mathbb{R}^{2d})$. We compute and study the Wigner kernel of these operators. They are special instances of…
▽ More
We perform a Wigner analysis of Fourier integral operators (FIOs), whose main examples are Schrödinger propagators arising from quadratic Hamiltonians with bounded perturbations. The perturbation is given by a pseudodifferential operator $σ(x,D)$ with symbol in the Hörmander class $S^0_{0,0}(\mathbb{R}^{2d})$. We compute and study the Wigner kernel of these operators. They are special instances of a more general class of FIOs named $FIO(S)$, with $S$ the symplectic matrix representing the classical symplectic map. We shall show the algebra and the Wiener's property of this class. The algebra will be the fundamental tool to represent the Wigner kernel of the Schrödinger propagator for every $t\in\mathbb{R}^d$, also in the caustic points. This outcome underlines the validity of the Wigner analysis for the study of Schrödinger equations.
△ Less
Submitted 8 January, 2024; v1 submitted 30 November, 2023;
originally announced November 2023.
-
Excursus on modulation spaces via metaplectic operators and related time-frequency representations
Authors:
Elena Cordero,
Gianluca Giacchi
Abstract:
Modulation spaces were originally introduced by Feichtinger in 1983. Since the 2000s there have been thousands of contributions using them as correct framework; they range from PDEs, pseudodifferential operators, quantum mechanics, signal analysis. This justifies a deep study of such spaces and the related Wiener ones. Recently, metaplectic Wigner distributions, which contain as special examples t…
▽ More
Modulation spaces were originally introduced by Feichtinger in 1983. Since the 2000s there have been thousands of contributions using them as correct framework; they range from PDEs, pseudodifferential operators, quantum mechanics, signal analysis. This justifies a deep study of such spaces and the related Wiener ones. Recently, metaplectic Wigner distributions, which contain as special examples the $τ$-Wigner distributions, the ambiguity function and the Short-time Fourier transform, have proved to characterize modulation spaces, under suitable assumptions. We investigate the metaplectic action which is hidden in their construction and guarantees equivalent (quasi-)norms for such spaces. We add a new result on this topic and conclude with an exhaustive vision of these characterizations. Similar results hold for the Wiener amalgam ones.
△ Less
Submitted 25 March, 2024; v1 submitted 22 May, 2023;
originally announced May 2023.
-
Metaplectic Gabor frames of Wigner-Decomposable Distributions
Authors:
Elena Cordero,
Gianluca Giacchi
Abstract:
Metaplectic Wigner distributions generalize the most popular time-frequency representations, such as the short-time Fourier transform (STFT) and $τ$-Wigner distributions, using metaplectic operators. However, in order for a metaplectic Wigner distribution to measure local time-frequency concentration of signals, the additional property of shift-invertibility is fundamental. In addition, metaplecti…
▽ More
Metaplectic Wigner distributions generalize the most popular time-frequency representations, such as the short-time Fourier transform (STFT) and $τ$-Wigner distributions, using metaplectic operators. However, in order for a metaplectic Wigner distribution to measure local time-frequency concentration of signals, the additional property of shift-invertibility is fundamental. In addition, metaplectic atoms provide different ways to model signals. Namely, signals can be written as discrete superpositions of these operators, providing original ways to represent signals, with applications to machine learning, signal analysis, theory of pseudodifferential operators, to mention a few. Among all shift-invertible distributions, Wigner-decomposable metaplectic Wigner distributions provide the most straightforward generalization of the STFT. In this work, we focus on metaplectic atoms of Wigner-decomposable shift-invertible metaplectic distributions and characterize the associated metaplectic Gabor frames.
△ Less
Submitted 28 April, 2023;
originally announced April 2023.
-
Metaplectic Gabor Frames and Symplectic Analysis of Time-Frequency Spaces
Authors:
Elena Cordero,
Gianluca Giacchi
Abstract:
We introduce new frames, called \textit{metaplectic Gabor frames}, as natural generalizations of Gabor frames in the framework of metaplectic Wigner distributions. Namely, we develop the theory of metaplectic atoms in a full-general setting and prove an inversion formula for metaplectic Wigner distributions on $\mathbb{R}^d$. Its discretization provides metaplectic Gabor frames.
Next, we deepen…
▽ More
We introduce new frames, called \textit{metaplectic Gabor frames}, as natural generalizations of Gabor frames in the framework of metaplectic Wigner distributions. Namely, we develop the theory of metaplectic atoms in a full-general setting and prove an inversion formula for metaplectic Wigner distributions on $\mathbb{R}^d$. Its discretization provides metaplectic Gabor frames.
Next, we deepen the understanding of the so-called shift-invertible metaplectic Wigner distributions, showing that they can be represented, up to chirps, as rescaled short-time Fourier transforms. As an application, we derive a new characterization of modulation and Wiener amalgam spaces. Thus, these metaplectic distributions (and related frames) provide meaningful definitions of local frequencies and can be used to measure effectively the local frequency content of signals.
△ Less
Submitted 22 September, 2023; v1 submitted 10 April, 2023;
originally announced April 2023.
-
On the determination of Lagrange Multipliers for a weighted LASSO problem using geometric and convex analysis techniques
Authors:
Gianluca Giacchi,
Bastien Milani,
Benedetta Franchieschiello
Abstract:
Compressed Sensing (CS) encompasses a broad array of theoretical and applied techniques for recovering signals, given partial knowledge of their coefficients. Its applications span various fields, including mathematics, physics, engineering, and several medical sciences. Motivated by our interest in the mathematics behind Magnetic Resonance Imaging (MRI) and CS, we employ convex analysis technique…
▽ More
Compressed Sensing (CS) encompasses a broad array of theoretical and applied techniques for recovering signals, given partial knowledge of their coefficients. Its applications span various fields, including mathematics, physics, engineering, and several medical sciences. Motivated by our interest in the mathematics behind Magnetic Resonance Imaging (MRI) and CS, we employ convex analysis techniques to analytically determine equivalents of Lagrange multipliers for optimization problems with inequality constraints, specifically a weighted LASSO with voxel-wise weighting. We investigate this problem under assumptions on the fidelity term $\Vert{Ax-b}\Vert_2^2$, either concerning the sign of its gradient or orthogonality-like conditions of its matrix. To be more precise, we either require the sign of each coordinate of $2(Ax-b)^TA$ to be fixed within a rectangular neighborhood of the origin, with the side lengths of the rectangle dependent on the constraints, or we assume $A^TA$ to be diagonal. The objective of this work is to explore the relationship between Lagrange multipliers and the constraints of a weighted variant of LASSO, specifically in the mentioned cases where this relationship can be computed explicitly. As they scale the regularization terms of the weighted LASSO, Lagrange multipliers serve as tuning parameters for the weighted LASSO, prompting the question of their potential effective use as tuning parameters in applications like MR image reconstruction and denoising. This work represents an initial step in this direction.
△ Less
Submitted 14 December, 2023; v1 submitted 22 January, 2023;
originally announced January 2023.
-
Symplectic Analysis of Time-Frequency Spaces
Authors:
Elena Cordero,
Gianluca Giacchi
Abstract:
We present a different symplectic point of view in the definition of weighted modulation spaces $M^{p,q}_m(\mathbb{R}^d)$ and weighted Wiener amalgam spaces $W(\mathcal{F} L^p_{m_1},L^q_{m_2})(\mathbb{R}^d)$. All of the classical time-frequency representations, such as the short-time Fourier transform (STFT), the $τ$-Wigner distributions and the ambiguity function, can be written as metaplectic Wi…
▽ More
We present a different symplectic point of view in the definition of weighted modulation spaces $M^{p,q}_m(\mathbb{R}^d)$ and weighted Wiener amalgam spaces $W(\mathcal{F} L^p_{m_1},L^q_{m_2})(\mathbb{R}^d)$. All of the classical time-frequency representations, such as the short-time Fourier transform (STFT), the $τ$-Wigner distributions and the ambiguity function, can be written as metaplectic Wigner distributions $μ(\mathcal{A})(f\otimes \bar{g})$, where $μ(\mathcal{A})$ is the metaplectic operator and $\mathcal{A}$ is the associated symplectic matrix. Namely, time-frequency representations can be represented as images of metaplectic operators, which become the real protagonists of time-frequency analysis. In [E. Cordero and L. Rodino (2022) "Characterization of Modulation Spaces by symplectic representations and applications to Schrödinger equations", arXiv:2204.14124], the authors suggest that any metaplectic Wigner distribution that satisfies the so-called "shift-invertibility" condition can replace the STFT in the definition of modulation spaces. In this work, we prove that shift-invertibility alone is not sufficient, but it has to be complemented by an upper-triangularity condition for this characterization to hold, whereas a lower-triangularity property comes in to play for Wiener amalgam spaces. The shift-invertibility property is necessary: Ryhaczek and and conjugate Ryhaczek distributions are not shift-invertible and they fail the characterization of the above spaces. We also exhibit examples of shift-invertible distributions without upper-tryangularity condition which do not define modulation spaces. Finally, we provide new families of time-frequency representations that characterize modulation spaces, with the purpose of replacing the time-frequency shifts with other atoms that allow to decompose signals differently, with possible new outcomes in applications.
△ Less
Submitted 10 January, 2023; v1 submitted 26 December, 2022;
originally announced December 2022.
-
Metaplectic Wigner distributions
Authors:
Gianluca Giacchi
Abstract:
Metaplectic Wigner distributions were recently investigated as natural generalizations of the classical Wigner distribution, and provide a wide class of time-frequency representations that exploits the structure of the symplectic group. This work serves as a survey on metaplectic Wigner distributions and their applications to the time-frequency analysis of modulation spaces and pseudodifferential…
▽ More
Metaplectic Wigner distributions were recently investigated as natural generalizations of the classical Wigner distribution, and provide a wide class of time-frequency representations that exploits the structure of the symplectic group. This work serves as a survey on metaplectic Wigner distributions and their applications to the time-frequency analysis of modulation spaces and pseudodifferential operators, topics that are all still poorly understood. We also give some new results, generalizing Lieb's uncertainty principle to the so-called matrix Wigner distributions and proving the continuity on $M^p_{v_s}(\mathbb{R}^d)$ spaces of metaplectic pseudodifferential operators with symbols in $M^{p'}_{v_{-s}}(\mathbb{R}^d)$.
△ Less
Submitted 21 January, 2023; v1 submitted 13 December, 2022;
originally announced December 2022.
-
Quasi-Banach algebras and Wiener properties for pseudodifferential and generalized metaplectic operators
Authors:
Elena Cordero,
Gianluca Giacchi
Abstract:
We generalize the results for Banach algebras of pseudodifferential operators obtained by Gröchenig and Rzeszotnik in [24] to quasi-algebras of Fourier integral operators. Namely, we introduce quasi-Banach algebras of symbol classes for Fourier integral operators that we call generalized metaplectic operators, including pseudodifferential operators. This terminology stems from the pioneering work…
▽ More
We generalize the results for Banach algebras of pseudodifferential operators obtained by Gröchenig and Rzeszotnik in [24] to quasi-algebras of Fourier integral operators. Namely, we introduce quasi-Banach algebras of symbol classes for Fourier integral operators that we call generalized metaplectic operators, including pseudodifferential operators. This terminology stems from the pioneering work on Wiener algebras of Fourier integral operators [11], which we generalize to our framework. This theory finds applications in the study of evolution equations such as the Cauchy problem for the Schrödinger equation with bounded perturbations, cf. [7].
△ Less
Submitted 8 November, 2022;
originally announced November 2022.
-
Wigner Analysis of Operators. Part II: Schrödinger equations
Authors:
Elena Cordero,
Gianluca Giacchi,
Luigi Rodino
Abstract:
We study the phase-space concentration of the so-called generalized metaplectic operators whose main examples are Schrödinger equations with bounded perturbations.
To reach this goal, we perform a so-called $\mathcal{A}$-Wigner analysis of the previous equations, as started in Part I, cf. [14]. Namely, the classical Wigner distribution is extended by considering a class of time-frequency represe…
▽ More
We study the phase-space concentration of the so-called generalized metaplectic operators whose main examples are Schrödinger equations with bounded perturbations.
To reach this goal, we perform a so-called $\mathcal{A}$-Wigner analysis of the previous equations, as started in Part I, cf. [14]. Namely, the classical Wigner distribution is extended by considering a class of time-frequency representations constructed as images of metaplectic operators acting on symplectic matrices $\mathcal{A}\in Sp(2d,\mathbb{R})$. Sub-classes of these representations, related to covariant symplectic matrices, reveal to be particularly suited for the time-frequency study of the Schrödinger evolution. This testifies the effectiveness of this approach for such equations, highlighted by the development of a related wave front set.
We first study the properties of $\mathcal{A}$-Wigner representations and related pseudodifferential operators needed for our goal. This approach paves the way to new quantization procedures.
As a byproduct, we introduce new quasi-algebras of generalized metaplectic operators containing Schrödinger equations with more general potentials, extending the results contained in the previous works [8,9].
△ Less
Submitted 14 September, 2022; v1 submitted 31 July, 2022;
originally announced August 2022.
