-
Dynamical restriction for Schrödinger equations
Authors:
Fabio Nicola
Abstract:
We prove a dynamical restriction principle, asserting that every restriction estimate satisfied by the Fourier transform in $\mathbb{R}^d$ is also valid for the propagator of certain Schrödinger equations. We consider smooth Hamiltonians with an at most quadratic growth, and also a class of nonsmooth Hamiltonians, encompassing potentials that are Fourier transforms of complex (finite) Borel measur…
▽ More
We prove a dynamical restriction principle, asserting that every restriction estimate satisfied by the Fourier transform in $\mathbb{R}^d$ is also valid for the propagator of certain Schrödinger equations. We consider smooth Hamiltonians with an at most quadratic growth, and also a class of nonsmooth Hamiltonians, encompassing potentials that are Fourier transforms of complex (finite) Borel measures. Roughly speaking, if the initial datum belongs to $L^p(\mathbb{R}^d)$, for $p$ in a suitable range of exponents, the solution $u(t,\cdot)$ (for each fixed $t$, with the exception of certain particular values) can be meaningfully restricted to compact curved submanifolds of $\mathbb{R}^d$. The underlying property responsible for this phenomenon is the boundedness of the propagator $L^p\to(\mathcal{F}L^p)_{\rm loc}$, with $1\leq p\leq2$, which is derived from almost diagonalization and dispersive estimates in function spaces defined in terms of wave packet decompositions in phase space.
△ Less
Submitted 19 June, 2025; v1 submitted 18 May, 2025;
originally announced May 2025.
-
A life in Mathematical Analysis: a conversation with Luigi Rodino
Authors:
Fabio Nicola
Abstract:
This note is the transcription of an interview with Professor Luigi Rodino, on the occasion of the ISAAC-ICMAM Conference of Analysis in Developing Countries (December 2, 2024 - Bogotà), that was dedicated to him. Luigi Rodino is at present Emeritus Professor at the University of Turin, and a member of the Accademia delle Scienze di Torino.
This note is the transcription of an interview with Professor Luigi Rodino, on the occasion of the ISAAC-ICMAM Conference of Analysis in Developing Countries (December 2, 2024 - Bogotà), that was dedicated to him. Luigi Rodino is at present Emeritus Professor at the University of Turin, and a member of the Accademia delle Scienze di Torino.
△ Less
Submitted 17 March, 2025;
originally announced March 2025.
-
The isoperimetric inequality for partial sums of Toeplitz eigenvalues in the Fock space
Authors:
Fabio Nicola,
Federico Riccardi,
Paolo Tilli
Abstract:
We prove that, among all subsets $Ω\subset \mathbb{C}$ having circular symmetry and prescribed measure, the ball is the only maximizer of the sum of the first $K$ eigenvalues ($K\geq 1$) of the corresponding Toeplitz operator $T_Ω$ on the Fock space $\mathcal{F}$. As a byproduct, we prove that balls maximize any Schatten $p$-norm of $T_Ω$ for $p>1$ (and minimize the corresponding quasinorm for…
▽ More
We prove that, among all subsets $Ω\subset \mathbb{C}$ having circular symmetry and prescribed measure, the ball is the only maximizer of the sum of the first $K$ eigenvalues ($K\geq 1$) of the corresponding Toeplitz operator $T_Ω$ on the Fock space $\mathcal{F}$. As a byproduct, we prove that balls maximize any Schatten $p$-norm of $T_Ω$ for $p>1$ (and minimize the corresponding quasinorm for $p<1$), and that the second eigenvalue is maximized by a particular annulus. Moreover, we extend some of these results to general radial symbols in $L^p(\mathbb{C})$, with $p > 1$, characterizing those that maximize the sum of the first $K$ eigenvalues. We also show a symmetry breaking phenomenon for the second eigenvalue, when the assumption of circular symmetry is dropped.
△ Less
Submitted 20 June, 2025; v1 submitted 10 March, 2025;
originally announced March 2025.
-
The Wehrl-type entropy conjecture for symmetric $SU(N)$ coherent states: cases of equality and stability
Authors:
Fabio Nicola,
Federico Riccardi,
Paolo Tilli
Abstract:
Lieb and Solovej proved that, for the symmetric $SU(N)$ representations, the corresponding Wehrl-type entropy is minimized by symmetric coherent states. However, the uniqueness of the minimizers remained an open problem when $N\geq 3$. In this note we complete the proof of the Wehrl entropy conjecture for such representations, by showing that symmetric coherent states are, in fact, the only minimi…
▽ More
Lieb and Solovej proved that, for the symmetric $SU(N)$ representations, the corresponding Wehrl-type entropy is minimized by symmetric coherent states. However, the uniqueness of the minimizers remained an open problem when $N\geq 3$. In this note we complete the proof of the Wehrl entropy conjecture for such representations, by showing that symmetric coherent states are, in fact, the only minimizers. We also provide an application to the maximum concentration of holomorphic polynomials and deduce a corresponding Faber-Krahn inequality. A sharp quantitative form of the bound by Lieb and Solovej is also proved.
△ Less
Submitted 23 December, 2024; v1 submitted 14 December, 2024;
originally announced December 2024.
-
Phase space analysis of higher-order dispersive equations with point interactions
Authors:
Sonia Mazzucchi,
Fabio Nicola,
S. Ivan Trapasso
Abstract:
We investigate nonlinear, higher-order dispersive equations with measure (or even less regular) potentials and initial data with low regularity. Our approach is of distributional nature and relies on the phase space analysis (via Gabor wave packets) of the corresponding fundamental solution - in fact, locating the modulation/amalgam space regularity of such generalized Fresnel-type oscillatory fun…
▽ More
We investigate nonlinear, higher-order dispersive equations with measure (or even less regular) potentials and initial data with low regularity. Our approach is of distributional nature and relies on the phase space analysis (via Gabor wave packets) of the corresponding fundamental solution - in fact, locating the modulation/amalgam space regularity of such generalized Fresnel-type oscillatory functions is a problem of independent interest in harmonic analysis.
△ Less
Submitted 22 July, 2024;
originally announced July 2024.
-
The wave function of stabilizer states and the Wehrl conjecture
Authors:
Fabio Nicola
Abstract:
We focus on quantum systems represented by a Hilbert space $L^2(A)$, where $A$ is a locally compact Abelian group that contains a compact open subgroup. We examine two interconnected issues related to Weyl-Heisenberg operators. First, we provide a complete and elegant solution to the problem of describing the stabilizer states in terms of their wave functions, an issue that arises in quantum infor…
▽ More
We focus on quantum systems represented by a Hilbert space $L^2(A)$, where $A$ is a locally compact Abelian group that contains a compact open subgroup. We examine two interconnected issues related to Weyl-Heisenberg operators. First, we provide a complete and elegant solution to the problem of describing the stabilizer states in terms of their wave functions, an issue that arises in quantum information theory. Subsequently, we demonstrate that the stabilizer states are precisely the minimizers of the Wehrl entropy functional, thereby resolving the analog of the Wehrl conjecture for any such group. Additionally, we construct a moduli space for the set of stabilizer states, that is, a parameterization of this set, that endows it with a natural algebraic structure, and we derive a formula for the number of stabilizer states when $A$ is finite. Notably, these results are novel even for finite Abelian groups.
△ Less
Submitted 10 June, 2024;
originally announced June 2024.
-
Phase space analysis of finite and infinite dimensional Fresnel integrals
Authors:
Sonia Mazzucchi,
Fabio Nicola,
S. Ivan Trapasso
Abstract:
The full characterization of the class of Fresnel integrable functions is an open problem in functional analysis, with significant applications to mathematical physics (Feynman path integrals) and the analysis of the Schrödinger equation. In finite dimension, we prove the Fresnel integrability of functions in the Sjöstrand class $M^{\infty,1}$ - a family of continuous and bounded functions, locall…
▽ More
The full characterization of the class of Fresnel integrable functions is an open problem in functional analysis, with significant applications to mathematical physics (Feynman path integrals) and the analysis of the Schrödinger equation. In finite dimension, we prove the Fresnel integrability of functions in the Sjöstrand class $M^{\infty,1}$ - a family of continuous and bounded functions, locally enjoying the mild regularity of the Fourier transform of an integrable function. This result broadly extends the current knowledge on the Fresnel integrability of Fourier transforms of finite complex measures, and relies upon ideas and techniques of Gabor wave packet analysis. We also discuss the problem of designing infinite-dimensional extensions of this result, obtaining the first, non-trivial concrete realization of a general framework of projective functional extensions introduced by Albeverio and Mazzucchi. As an interesting byproduct, we obtain the exact $M^{\infty,1} \to L^\infty$ operator norm of the free Schrödinger evolution operator.
△ Less
Submitted 7 February, 2025; v1 submitted 29 March, 2024;
originally announced March 2024.
-
The Fefferman-Phong uncertainty principle for representations of Lie groups and applications
Authors:
Fabio Nicola
Abstract:
We prove a new uncertainty principle for square-integrable irreducible unitary representations of connected Lie groups. The concentration of the matrix coefficients is measured in terms of weighted $L^p$ norms, with weights in the local Muckenhoupt class $A_{\infty,{\rm loc}}$ associated with a subRiemannian left-invariant metric and a relatively invariant measure. The result is reminiscent of the…
▽ More
We prove a new uncertainty principle for square-integrable irreducible unitary representations of connected Lie groups. The concentration of the matrix coefficients is measured in terms of weighted $L^p$ norms, with weights in the local Muckenhoupt class $A_{\infty,{\rm loc}}$ associated with a subRiemannian left-invariant metric and a relatively invariant measure. The result is reminiscent of the Fefferman-Phong uncertainty principle, and is new even for the Schrödinger representation of the reduced Heisenberg group, which corresponds to the short-time Fourier transform. As an application, we give an optimal estimate of the order of magnitude of the bottom of the spectrum and of the essential spectrum of semiclassical anti-Wick operators in $\mathbb{R}^d$ with a nonnegative symbol $a$ in the class $A_{\infty}$ (in particular, for polynomial symbols). Precisely, we show that the infimum $\inf _{(x_0,ω_0)\in{\mathbb{R}^{2d}}} -\!\!\!\!\!\int_{B((x_0,ω_0),\sqrt{h})} a(x,ω)\, dx\,dω$ represents (up to multiplicative constants) both a lower bound and an upper bound for the bottom of the spectrum, uniformly with respect to $h>0$. Similarly the quantity $$\liminf_{(x_0,ω_0)\to\infty} -\!\!\!\!\!\!\int_{B((x_0,ω_0),\sqrt{h})} a(x,ω)\, dx\,dω$$ represents both a lower bound and an upper bound for the bottom of the essential spectrum, uniformly with respect to $h>0$. Similar results are proved for semiclassical symbol classes.
△ Less
Submitted 2 March, 2024; v1 submitted 5 February, 2024;
originally announced February 2024.
-
The quantitative isoperimetric inequality for the Hilbert-Schmidt norm of localization operators
Authors:
Fabio Nicola,
Federico Riccardi
Abstract:
In this paper we study the Hilbert-Schmidt norm of time-frequency localization operators $L_Ω \colon L^2(\mathbb{R}^d) \rightarrow L^2(\mathbb{R}^d)$, with Gaussian window, associated with a subset $Ω\subset\mathbb{R}^{2d}$ of finite measure. We prove, in particular, that the Hilbert-Schmidt norm of $L_Ω$ is maximized, among all subsets $Ω$ of a given finite measure, when $Ω$ is a ball and that th…
▽ More
In this paper we study the Hilbert-Schmidt norm of time-frequency localization operators $L_Ω \colon L^2(\mathbb{R}^d) \rightarrow L^2(\mathbb{R}^d)$, with Gaussian window, associated with a subset $Ω\subset\mathbb{R}^{2d}$ of finite measure. We prove, in particular, that the Hilbert-Schmidt norm of $L_Ω$ is maximized, among all subsets $Ω$ of a given finite measure, when $Ω$ is a ball and that there are no other extremizers. Actually, the main result is a quantitative version of this estimate, with sharp exponent. A similar problem is addressed for wavelet localization operators, where rearrangements are understood in the hyperbolic setting.
△ Less
Submitted 21 January, 2024; v1 submitted 9 January, 2024;
originally announced January 2024.
-
The generalized Wehrl entropy bound in quantitative form
Authors:
Rupert L. Frank,
Fabio Nicola,
Paolo Tilli
Abstract:
Lieb and Carlen have shown that mixed states with minimal Wehrl entropy are coherent states. We prove that mixed states with almost minimal Wehrl entropy are almost coherent states. This is proved in a quantitative sense where both the norm and the exponent are optimal and the constant is explicit. We prove a similar bound for generalized Wehrl entropies. As an application, a sharp quantitative fo…
▽ More
Lieb and Carlen have shown that mixed states with minimal Wehrl entropy are coherent states. We prove that mixed states with almost minimal Wehrl entropy are almost coherent states. This is proved in a quantitative sense where both the norm and the exponent are optimal and the constant is explicit. We prove a similar bound for generalized Wehrl entropies. As an application, a sharp quantitative form of the log-Sobolev inequality for functions in the Fock space is provided.
△ Less
Submitted 1 November, 2023; v1 submitted 26 July, 2023;
originally announced July 2023.
-
Maximally localized Gabor orthonormal bases on locally compact Abelian groups
Authors:
Fabio Nicola
Abstract:
A Gabor orthonormal basis, on a locally compact Abelian (LCA) group $A$, is an orthonormal basis of $L^2(A)$ which consists of time-frequency shifts of some template $f\in L^2(A)$. It is well-known that, on $\mathbb{R}^d$, the elements of such a basis cannot have a good time-frequency localization. The picture is drastically different on LCA groups containing a compact open subgroup, where one can…
▽ More
A Gabor orthonormal basis, on a locally compact Abelian (LCA) group $A$, is an orthonormal basis of $L^2(A)$ which consists of time-frequency shifts of some template $f\in L^2(A)$. It is well-known that, on $\mathbb{R}^d$, the elements of such a basis cannot have a good time-frequency localization. The picture is drastically different on LCA groups containing a compact open subgroup, where one can easily construct examples of Gabor orthonormal bases with $f$ maximally localized, in the sense that the ambiguity function of $f$ (i.e. the correlation of $f$ with its time-frequency shifts) has support of minimum measure, compatibly with the uncertainty principle. In this paper we find all the Gabor orthonormal bases with this extremal property. To this end, we identify all the functions in $L^2(A)$ which are maximally localized in the time-frequency space in the above sense -- an issue which is open even for finite Abelian groups. As a byproduct, on every LCA group containing a compact open subgroup, we exhibit the complete family of optimizers for Lieb's uncertainty inequality, and we also show previously unknown optimizers on a general LCA group.
△ Less
Submitted 4 May, 2023;
originally announced May 2023.
-
A monotonicity theorem for subharmonic functions on manifolds
Authors:
Aleksei Kulikov,
Fabio Nicola,
Joaquim Ortega-Cerdà,
Paolo Tilli
Abstract:
We provide a sharp monotonicity theorem about the distribution of subharmonic functions on manifolds, which can be regarded as a new, measure theoretic form of the uncertainty principle. As an illustration of the scope of this result, we deduce contractivity estimates for analytic functions on the Riemann sphere, the complex plane and the Poincaré disc, with a complete description of the extremal…
▽ More
We provide a sharp monotonicity theorem about the distribution of subharmonic functions on manifolds, which can be regarded as a new, measure theoretic form of the uncertainty principle. As an illustration of the scope of this result, we deduce contractivity estimates for analytic functions on the Riemann sphere, the complex plane and the Poincaré disc, with a complete description of the extremal functions, hence providing a unified and illuminating perspective of a number of results and conjectures on this subject, in particular on the Wehrl entropy conjecture by Lieb and Solovej. In this connection, we completely prove that conjecture for SU(2), by showing that the corresponding extremals are only the coherent states. Also, we show that the above (global) estimates admit a local counterpart and in all cases we characterize also the extremal subsets, among those of fixed assigned measure.
△ Less
Submitted 14 January, 2023; v1 submitted 28 December, 2022;
originally announced December 2022.
-
On heat equations associated with fractional harmonic oscillators
Authors:
Divyang G. Bhimani,
Ramesh Manna,
Fabio Nicola,
Sundaram Thangavelu,
S. Ivan Trapasso
Abstract:
We establish some fixed-time decay estimates in Lebesgue spaces for the fractional heat propagator $e^{-tH^β}$, $t, β>0$, associated with the harmonic oscillator $H=-Δ+ |x|^2$. We then prove some local and global wellposedness results for nonlinear fractional heat equations.
We establish some fixed-time decay estimates in Lebesgue spaces for the fractional heat propagator $e^{-tH^β}$, $t, β>0$, associated with the harmonic oscillator $H=-Δ+ |x|^2$. We then prove some local and global wellposedness results for nonlinear fractional heat equations.
△ Less
Submitted 14 October, 2022;
originally announced October 2022.
-
The norm of time-frequency and wavelet localization operators
Authors:
Fabio Nicola,
Paolo Tilli
Abstract:
Time-frequency localization operators (with Gaussian window) $L_F:L^2(\mathbb{R}^d)\to L^2(\mathbb{R}^d)$, where $F$ is a weight in $\mathbb{R}^{2d}$, were introduced in signal processing by I. Daubechies in 1988, inaugurating a new, geometric, phase-space perspective. Sharp upper bounds for the norm (and the singular values) of such operators turn out to be a challenging issue with deep applicati…
▽ More
Time-frequency localization operators (with Gaussian window) $L_F:L^2(\mathbb{R}^d)\to L^2(\mathbb{R}^d)$, where $F$ is a weight in $\mathbb{R}^{2d}$, were introduced in signal processing by I. Daubechies in 1988, inaugurating a new, geometric, phase-space perspective. Sharp upper bounds for the norm (and the singular values) of such operators turn out to be a challenging issue with deep applications in signal recovery, quantum physics and the study of uncertainty principles. In this note we provide optimal upper bounds for the operator norm $\|L_F\|_{L^2\to L^2}$, assuming $F\in L^p(\mathbb{R}^{2d})$, $1<p<\infty$ or $F\in L^p(\mathbb{R}^{2d})\cap L^\infty(\mathbb{R}^{2d})$, $1\leq p<\infty$. It turns out that two regimes arise, depending on whether the quantity $\|F\|_{L^p}/\|F\|_{L^\infty}$ is less or greater than a certain critical value. In the first regime the extremal weights $F$, for which equality occurs in the estimates, are certain Gaussians, whereas in the second regime they are proved to be truncated Gaussians, degenerating in a multiple of a characteristic function of a ball for $p=1$. This phase transition through truncated Gaussians appears to be a new phenomenon in time-frequency concentration problems. For the analogous problem for wavelet localization operators -- where the Cauchy wavelet plays the role of the above Gaussian window -- a complete solution is also provided.
△ Less
Submitted 4 November, 2022; v1 submitted 18 July, 2022;
originally announced July 2022.
-
Stability of the scattering transform for deformations with minimal regularity
Authors:
Fabio Nicola,
S. Ivan Trapasso
Abstract:
Within the mathematical analysis of deep convolutional neural networks, the wavelet scattering transform introduced by Stéphane Mallat is a unique example of how the ideas of multiscale analysis can be combined with a cascade of modulus nonlinearities to build a nonexpansive, translation invariant signal representation with provable geometric stability properties, namely Lipschitz continuity to th…
▽ More
Within the mathematical analysis of deep convolutional neural networks, the wavelet scattering transform introduced by Stéphane Mallat is a unique example of how the ideas of multiscale analysis can be combined with a cascade of modulus nonlinearities to build a nonexpansive, translation invariant signal representation with provable geometric stability properties, namely Lipschitz continuity to the action of small $C^2$ diffeomorphisms - a remarkable result for both theoretical and practical purposes, inherently depending on the choice of the filters and their arrangement into a hierarchical architecture. In this note, we further investigate the intimate relationship between the scattering structure and the regularity of the deformation in the Hölder regularity scale $C^α$, $α>0$. We are able to precisely identify the stability threshold, proving that stability is still achievable for deformations of class $C^α$, $α>1$, whereas instability phenomena can occur at lower regularity levels modelled by $C^α$, $0\le α<1$. While the behaviour at the threshold given by Lipschitz (or even $C^1$) regularity remains beyond reach, we are able to prove a stability bound in that case, up to $\varepsilon$ losses.
△ Less
Submitted 23 May, 2022;
originally announced May 2022.
-
The uncertainty principle for the short-time Fourier transform on finite cyclic groups: cases of equality
Authors:
Fabio Nicola
Abstract:
A well-known version of the uncertainty principle on the cyclic group $\mathbb{Z}_N$ states that for any couple of functions $f,g\in\ell^2(\mathbb{Z}_N)\setminus\{0\}$, the short-time Fourier transform $V_g f$ has support of cardinality at least $N$. This result can be regarded as a time-frequency version of the celebrated Donoho-Stark uncertainty principle on $\mathbb{Z}_N$. Unlike the Donoho-Sta…
▽ More
A well-known version of the uncertainty principle on the cyclic group $\mathbb{Z}_N$ states that for any couple of functions $f,g\in\ell^2(\mathbb{Z}_N)\setminus\{0\}$, the short-time Fourier transform $V_g f$ has support of cardinality at least $N$. This result can be regarded as a time-frequency version of the celebrated Donoho-Stark uncertainty principle on $\mathbb{Z}_N$. Unlike the Donoho-Stark principle, however, a complete identification of the extremals is still missing. In this note we provide an answer to this problem by proving that the support of $V_g f$ has cardinality $N$ if and only if it is a coset of a subgroup of order $N$ of $\mathbb{Z}_N\times \mathbb{Z}_N$. Also, we completely identify the corresponding extremal functions $f,g$. Besides translations and modulations, the symmetries of the problem are encoded by certain metaplectic operators associated with elements of ${\rm SL}(2,\mathbb{Z}_{N/a})$, where $a$ is a divisor of $N$. Partial generalizations are given to finite Abelian groups.
△ Less
Submitted 29 April, 2022;
originally announced April 2022.
-
On the existence of optimizers for time-frequency concentration problems
Authors:
Fabio Nicola,
José Luis Romero,
S. Ivan Trapasso
Abstract:
We consider the problem of the maximum concentration in a fixed measurable subset $Ω\subset\mathbb{R}^{2d}$ of the time-frequency space for functions $f\in L^2(\mathbb{R}^{d})$. The notion of concentration can be made mathematically precise by considering the $L^p$-norm on $Ω$ of some time-frequency distribution of $f$ such as the ambiguity function $A(f)$. We provide a positive answer to an open…
▽ More
We consider the problem of the maximum concentration in a fixed measurable subset $Ω\subset\mathbb{R}^{2d}$ of the time-frequency space for functions $f\in L^2(\mathbb{R}^{d})$. The notion of concentration can be made mathematically precise by considering the $L^p$-norm on $Ω$ of some time-frequency distribution of $f$ such as the ambiguity function $A(f)$. We provide a positive answer to an open maximization problem, by showing that for every subset $Ω\subset\mathbb{R}^{2d}$ of finite measure and every $1\leq p<\infty$, there exists an optimizer for \[
\sup\{\|A(f)\|_{L^p(Ω)}:\ f\in L^2(\mathbb{R}^{d}),\ \|f\|_{L^2}=1
\}.
\] The lack of weak upper semicontinuity and the invariance under time-frequency shifts make the problem challenging. The proof is based on concentration compactness with time-frequency shifts as dislocations, and certain integral bounds and asymptotic decoupling estimates for the ambiguity function. We also discuss the case $p=\infty$ and related optimization problems for the time correlation function, the cross-ambiguity function with a fixed window, and for functions in the modulation spaces $M^q(\mathbb{R}^{d})$, $0<q<2$, equipped with continuous or discrete-type (quasi-)norms.
△ Less
Submitted 6 October, 2022; v1 submitted 17 December, 2021;
originally announced December 2021.
-
The Faber-Krahn inequality for the Short-time Fourier transform
Authors:
Fabio Nicola,
Paolo Tilli
Abstract:
In this paper we solve an open problem concerning the characterization of those measurable sets $Ω\subset \mathbb{R}^{2d}$ that, among all sets having a prescribed Lebesgue measure, can trap the largest possible energy fraction in time-frequency space, where the energy density of a generic function $f\in L^2(\mathbb{R}^d)$ is defined in terms of its Short-time Fourier transform (STFT)…
▽ More
In this paper we solve an open problem concerning the characterization of those measurable sets $Ω\subset \mathbb{R}^{2d}$ that, among all sets having a prescribed Lebesgue measure, can trap the largest possible energy fraction in time-frequency space, where the energy density of a generic function $f\in L^2(\mathbb{R}^d)$ is defined in terms of its Short-time Fourier transform (STFT) $\mathcal{V} f(x,ω)$, with Gaussian window. More precisely, given a measurable set $Ω\subset\mathbb{R}^{2d}$ having measure $s> 0$, we prove that the quantity \[ Φ_Ω=\max\Big\{\int_Ω|\mathcal{V} f(x,ω)|^2\,dxdω: f\in L^2(\mathbb{R}^d),\ \|f\|_{L^2}=1\Big\}, \] is largest possible if and only if $Ω$ is equivalent, up to a negligible set, to a ball of measure $s$, and in this case we characterize all functions $f$ that achieve equality. This result leads to a sharp uncertainty principle for the "essential support" of the STFT (when $d=1$, this can be summarized by the optimal bound $Φ_Ω\leq 1-e^{-|Ω|}$, with equality if and only if $Ω$ is a ball). Our approach, using techniques from measure theory after suitably rephrasing the problem in the Fock space, also leads to a local version of Lieb's uncertainty inequality for the STFT in $L^p$ when $p\in [2,\infty)$, as well as to $L^p$-concentration estimates when $p\in [1,\infty)$, thus proving a related conjecture. In all cases we identify the corresponding extremals.
△ Less
Submitted 7 June, 2021;
originally announced June 2021.
-
Generalized moduli of continuity under irregular or random deformations via multiscale analysis
Authors:
Fabio Nicola,
S. Ivan Trapasso
Abstract:
Motivated by the problem of robustness to deformations of the input for deep convolutional neural networks, we identify signal classes which are inherently stable to irregular deformations induced by distortion fields $τ\in L^\infty(\mathbb{R}^d;\mathbb{R}^d)$, to be characterized in terms of a generalized modulus of continuity associated with the deformation operator. Resorting to ideas of harmon…
▽ More
Motivated by the problem of robustness to deformations of the input for deep convolutional neural networks, we identify signal classes which are inherently stable to irregular deformations induced by distortion fields $τ\in L^\infty(\mathbb{R}^d;\mathbb{R}^d)$, to be characterized in terms of a generalized modulus of continuity associated with the deformation operator. Resorting to ideas of harmonic and multiscale analysis, we prove that for signals in multiresolution approximation spaces $U_s$ at scale $s$, stability in $L^2$ holds in the regime $\|τ\|_{L^\infty}/s\ll 1$ - essentially as an effect of the uncertainty principle. Instability occurs when $\|τ\|_{L^\infty}/s\gg 1$, and we provide a sharp upper bound for the asymptotic growth rate. The stability results are then extended to signals in the Besov space $B^{d/2}_{2,1}$ tailored to the given multiresolution approximation. We also consider the case of more general time-frequency deformations. Finally, we provide stochastic versions of the aforementioned results, namely we study the issue of stability in mean when $τ(x)$ is modeled as a random field (not bounded, in general) with identically distributed variables $|τ(x)|$, $x\in\mathbb{R}^d$.
△ Less
Submitted 7 March, 2025; v1 submitted 24 April, 2021;
originally announced April 2021.
-
Phase space analysis of the Hermite semigroup and applications to nonlinear global well-posedness
Authors:
Divyang G. Bhimani,
Ramesh Manna,
Fabio Nicola,
Sundaram Thangavelu,
S. Ivan Trapasso
Abstract:
We study the Hermite operator $H=-Δ+|x|^2$ in $\mathbb{R}^d$ and its fractional powers $H^β$, $β>0$ in phase space. Namely, we represent functions $f$ via the so-called short-time Fourier, alias Fourier-Wigner or Bargmann transform $V_g f$ ($g$ being a fixed window function), and we measure their regularity and decay by means of mixed Lebesgue norms in phase space of $V_g f$, that is in terms of m…
▽ More
We study the Hermite operator $H=-Δ+|x|^2$ in $\mathbb{R}^d$ and its fractional powers $H^β$, $β>0$ in phase space. Namely, we represent functions $f$ via the so-called short-time Fourier, alias Fourier-Wigner or Bargmann transform $V_g f$ ($g$ being a fixed window function), and we measure their regularity and decay by means of mixed Lebesgue norms in phase space of $V_g f$, that is in terms of membership to modulation spaces $M^{p,q}$, $0< p,q\leq \infty$. We prove the complete range of fixed-time estimates for the semigroup $e^{-tH^β}$ when acting on $M^{p,q}$, for every $0< p,q\leq \infty$, exhibiting the optimal global-in-time decay as well as phase-space smoothing. As an application, we establish global well-posedness for the nonlinear heat equation for $H^β$ with power-type nonlinearity (focusing or defocusing), with small initial data in modulation spaces or in Wiener amalgam spaces. We show that such a global solution exhibits the same optimal decay $e^{-c t}$ as the solution of the corresponding linear equation, where $c=d^β$ is the bottom of the spectrum of $H^β$. This is in sharp contrast to what happens for the nonlinear focusing heat equation without potential, where blow-up in finite time always occurs for (even small) constant initial data - hence in $M^{\infty,1}$.
△ Less
Submitted 3 August, 2020;
originally announced August 2020.
-
Dispersion, spreading and sparsity of Gabor wave packets for metaplectic and Schrödinger operators
Authors:
Elena Cordero,
Fabio Nicola,
S. Ivan Trapasso
Abstract:
Sparsity properties for phase-space representations of several types of operators have been extensively studied in recent papers, including pseudodifferential, Fourier integral and metaplectic operators, with applications to time-frequency analysis of Schrödinger-type evolution equations. It has been proved that such operators are approximately diagonalized by Gabor wave packets. While the latter…
▽ More
Sparsity properties for phase-space representations of several types of operators have been extensively studied in recent papers, including pseudodifferential, Fourier integral and metaplectic operators, with applications to time-frequency analysis of Schrödinger-type evolution equations. It has been proved that such operators are approximately diagonalized by Gabor wave packets. While the latter are expected to undergo some spreading phenomenon, there is no record of this issue in the aforementioned results. In this paper we prove refined estimates for the Gabor matrix of metaplectic operators, also of generalized type, where sparsity, spreading and dispersive properties are all noticeable. We provide applications to the propagation of singularities for the Schrödinger equation.
△ Less
Submitted 8 May, 2020;
originally announced May 2020.
-
Signal Analysis using Born-Jordan-type Distribution
Authors:
Elena Cordero,
Maurice de Gosson,
Monika Dörfler,
Fabio Nicola
Abstract:
In this note we exhibit recent advances in signal analysis via time-frequency distributions. New members of the Cohen class, generalizing the Wigner distribution, reveal to be effective in damping artefacts of some signals. We will survey their main properties and drawbacks and present open problems related to such phenomena.
In this note we exhibit recent advances in signal analysis via time-frequency distributions. New members of the Cohen class, generalizing the Wigner distribution, reveal to be effective in damping artefacts of some signals. We will survey their main properties and drawbacks and present open problems related to such phenomena.
△ Less
Submitted 23 December, 2019;
originally announced December 2019.
-
A note on the HRT conjecture and a new uncertainty principle for the short-time Fourier transform
Authors:
Fabio Nicola,
S. Ivan Trapasso
Abstract:
In this note we provide a negative answer to a question raised by M. Kreisel concerning a condition on the short-time Fourier transform that would imply the HRT conjecture. In particular we provide a new type of uncertainty principle for the short-time Fourier transform which forbids the arrangement of an arbitrary "bump with fat tail" profile.
In this note we provide a negative answer to a question raised by M. Kreisel concerning a condition on the short-time Fourier transform that would imply the HRT conjecture. In particular we provide a new type of uncertainty principle for the short-time Fourier transform which forbids the arrangement of an arbitrary "bump with fat tail" profile.
△ Less
Submitted 27 November, 2019;
originally announced November 2019.
-
Artin L-functions to almost monomial Galois groups
Authors:
Mircea Cimpoeas,
Florin Nicolae
Abstract:
If $K/\mathbb Q$ is a finite Galois extension with an almost monomial Galois group and if
$s_0\in\mathbb C\setminus\{1\}$ is not a common zero for any two Artin L-functions associated to distinct complex irreducible characters of the Galois group then all Artin L-functions of $K/\mathbb Q$ are holomorphic at $s_0$. We present examples and basic properties of almost monomial groups.
If $K/\mathbb Q$ is a finite Galois extension with an almost monomial Galois group and if
$s_0\in\mathbb C\setminus\{1\}$ is not a common zero for any two Artin L-functions associated to distinct complex irreducible characters of the Galois group then all Artin L-functions of $K/\mathbb Q$ are holomorphic at $s_0$. We present examples and basic properties of almost monomial groups.
△ Less
Submitted 9 September, 2019;
originally announced September 2019.
-
Estimates for matrix coefficients of representations
Authors:
Tommaso Bruno,
Michael G. Cowling,
Fabio Nicola,
Anita Tabacco
Abstract:
Estimates for matrix coefficients of unitary representations of semisimple Lie groups have been studied for a long time, starting with the seminal work by Bargmann, by Ehrenpreis and Mautner, and by Kunze and Stein. Two types of estimates have been established: on the one hand, $L^p$ estimates, which are a dual formulation of the Kunze--Stein phenomenon, and which hold for all matrix coefficients,…
▽ More
Estimates for matrix coefficients of unitary representations of semisimple Lie groups have been studied for a long time, starting with the seminal work by Bargmann, by Ehrenpreis and Mautner, and by Kunze and Stein. Two types of estimates have been established: on the one hand, $L^p$ estimates, which are a dual formulation of the Kunze--Stein phenomenon, and which hold for all matrix coefficients, and on the other pointwise estimates related to asymptotic expansions at infinity, which are more precise but only hold for a restricted class of matrix coefficients. In this paper we prove a new type of estimate for the irreducibile unitary representations of $\mathrm{SL}(2,\mathbb{R})$ and for the so-called metaplectic representation, which we believe has the best features of, and implies, both forms of estimate described above. As an application outside representation theory, we prove a new $L^2$ estimate of dispersive type for the free Schrödinger equation in $\mathbb{R}^n$.
△ Less
Submitted 5 June, 2019;
originally announced June 2019.
-
On the pointwise convergence of the integral kernels in the Feynman-Trotter formula
Authors:
Fabio Nicola,
S. Ivan Trapasso
Abstract:
We study path integrals in the Trotter-type form for the Schrödinger equation, where the Hamiltonian is the Weyl quantization of a real-valued quadratic form perturbed by a potential $V$ in a class encompassing that - considered by Albeverio and Itô in celebrated papers - of Fourier transforms of complex measures. Essentially, $V$ is bounded and has the regularity of a function whose Fourier trans…
▽ More
We study path integrals in the Trotter-type form for the Schrödinger equation, where the Hamiltonian is the Weyl quantization of a real-valued quadratic form perturbed by a potential $V$ in a class encompassing that - considered by Albeverio and Itô in celebrated papers - of Fourier transforms of complex measures. Essentially, $V$ is bounded and has the regularity of a function whose Fourier transform is in $L^1$. Whereas the strong convergence in $L^2$ in the Trotter formula, as well as several related issues at the operator norm level are well understood, the original Feynman's idea concerned the subtler and widely open problem of the pointwise convergence of the corresponding probability amplitudes, that are the integral kernels of the approximation operators. We prove that, for the above class of potentials, such a convergence at the level of the integral kernels in fact occurs, uniformly on compact subsets and for every fixed time, except for certain exceptional time values for which the kernels are in general just distributions. Actually, theorems are stated for potentials in several function spaces arising in Harmonic Analysis, with corresponding convergence results. Proofs rely on Banach algebras techniques for pseudo-differential operators acting on such function spaces.
△ Less
Submitted 29 April, 2019;
originally announced April 2019.
-
Decay and Smoothness for Eigenfunctions of Localization Operators
Authors:
Federico Bastianoni,
Elena Cordero,
Fabio Nicola
Abstract:
We study decay and smoothness properties for eigenfunctions of compact localization operators. Operators with symbols a in the wide modulation space M^{p,\infty} (containing the Lebesgue space L^p), p<\infty, and windows \f_1,\f_2 in the Schwartz class are known to be compact. We show that their L^2-eigenfuctions with non-zero eigenvalues are indeed highly compressed onto a few Gabor atoms. Simila…
▽ More
We study decay and smoothness properties for eigenfunctions of compact localization operators. Operators with symbols a in the wide modulation space M^{p,\infty} (containing the Lebesgue space L^p), p<\infty, and windows \f_1,\f_2 in the Schwartz class are known to be compact. We show that their L^2-eigenfuctions with non-zero eigenvalues are indeed highly compressed onto a few Gabor atoms. Similarly, for symbols a in the weighted modulation spaces M^{\infty}_{v_s\otimes 1} (\rdd), s>0 (subspaces of M^{p,\infty}(\rdd), p>2d/s) the L^2-eigenfunctions of the localization operator are actually Schwartz functions.
An important role is played by quasi-Banach Wiener amalgam and modulation spaces. As a tool, new convolution relations for modulation spaces and multiplication relations for Wiener amalgam spaces in the quasi-Banach setting are exhibited.
△ Less
Submitted 11 August, 2020; v1 submitted 9 February, 2019;
originally announced February 2019.
-
Approximation of Feynman path integrals with non-smooth potentials
Authors:
Fabio Nicola,
S. Ivan Trapasso
Abstract:
We study the convergence in $L^2$ of the time slicing approximation of Feynman path integrals under low regularity assumptions on the potential. Inspired by the custom in Physics and Chemistry, the approximate propagators considered here arise from a series expansion of the action. The results are ultimately based on function spaces, tools and strategies which are typical of Harmonic and Time-freq…
▽ More
We study the convergence in $L^2$ of the time slicing approximation of Feynman path integrals under low regularity assumptions on the potential. Inspired by the custom in Physics and Chemistry, the approximate propagators considered here arise from a series expansion of the action. The results are ultimately based on function spaces, tools and strategies which are typical of Harmonic and Time-frequency analysis.
△ Less
Submitted 18 December, 2018;
originally announced December 2018.
-
Generalized Born--Jordan Distributions and Applications
Authors:
Elena Cordero,
Maurice de Gosson,
Monika Dörfler,
Fabio Nicola
Abstract:
The quadratic nature of the Wigner distribution causes the appearance of unwanted interferences. This is the reason why engineers, mathematicians and physicists look for related time-frequency distributions, many of them are members of the Cohen class. Among them, the Born-Jordan distribution has recently attracted the attention of many authors, since the so-called ghost frequencies are damped qui…
▽ More
The quadratic nature of the Wigner distribution causes the appearance of unwanted interferences. This is the reason why engineers, mathematicians and physicists look for related time-frequency distributions, many of them are members of the Cohen class. Among them, the Born-Jordan distribution has recently attracted the attention of many authors, since the so-called ghost frequencies are damped quite well, and the noise is in general reduced. The very insight relies on the kernel of such a distribution, which contains the sinus cardinalis (sinc), which can be viewed as the Fourier transform, of the first B-Spline. Replacing the function B-Spline with the spline or order n, on the Fourier side we obtain the n-th power of sinc, whose decay at infinity increases with n. We introduce the corresponding Cohen's Kernel and study the properties of the related time-frequency distribution which we call generalized Born--Jordan distribution.
△ Less
Submitted 12 November, 2018;
originally announced November 2018.
-
Independence of Artin L-functions
Authors:
Mircea Cimpoeas,
Florin Nicolae
Abstract:
Let $K/\mathbb Q$ be a finite Galois extension. Let $χ_1,\ldots,χ_r$ be $r\geq 1$ distinct characters of the Galois group with the associated Artin L-functions $L(s,χ_1),\ldots, L(s,χ_r)$. Let $m\geq 0$. We prove that the derivatives $L^{(k)}(s,χ_j)$, $1\leq j\leq r$, $0\leq k\leq m$, are linearly independent over the field of meromorphic functions of order $<1$. From this it follows that the L-fu…
▽ More
Let $K/\mathbb Q$ be a finite Galois extension. Let $χ_1,\ldots,χ_r$ be $r\geq 1$ distinct characters of the Galois group with the associated Artin L-functions $L(s,χ_1),\ldots, L(s,χ_r)$. Let $m\geq 0$. We prove that the derivatives $L^{(k)}(s,χ_j)$, $1\leq j\leq r$, $0\leq k\leq m$, are linearly independent over the field of meromorphic functions of order $<1$. From this it follows that the L-functions corresponding to the irreducible characters are algebraically independent over the field of meromorphic functions of order $<1$.
△ Less
Submitted 17 October, 2018; v1 submitted 21 May, 2018;
originally announced May 2018.
-
Imaginary quadratic number fields with class groups of small exponent
Authors:
Andreas-Stephan Elsenhans,
Jürgen Klüners,
Florin Nicolae
Abstract:
Let $D<0$ be a fundamental discriminant and denote by $E(D)$ the exponent of the ideal class group $\text{Cl}(D)$ of $K={\mathbb Q}(\sqrt{D})$. Under the assumption that no Siegel zeros exist we compute all such $D$ with $E(D)$ is a divisor of $8$. We compute all $D$ with $|D|\leq 3.1\cdot 10^{20}$ such that $E(D)\leq 8$.
Let $D<0$ be a fundamental discriminant and denote by $E(D)$ the exponent of the ideal class group $\text{Cl}(D)$ of $K={\mathbb Q}(\sqrt{D})$. Under the assumption that no Siegel zeros exist we compute all such $D$ with $E(D)$ is a divisor of $8$. We compute all $D$ with $|D|\leq 3.1\cdot 10^{20}$ such that $E(D)\leq 8$.
△ Less
Submitted 6 March, 2018;
originally announced March 2018.
-
Almost diagonalization of $τ$-pseudodifferential operators with symbols in Wiener amalgam and modulation spaces
Authors:
Elena Cordero,
Fabio Nicola,
Salvatore Ivan Trapasso
Abstract:
In this paper we focus on the almost-diagonalization properties of $τ$-pseudodifferential operators using techniques from time-frequency analysis. Our function spaces are modulation spaces and the special class of Wiener amalgam spaces arising by considering the action of the Fourier transform of modulation spaces. A particular example is provided by the Sjöstrand class, for which Gröchenig exhibi…
▽ More
In this paper we focus on the almost-diagonalization properties of $τ$-pseudodifferential operators using techniques from time-frequency analysis. Our function spaces are modulation spaces and the special class of Wiener amalgam spaces arising by considering the action of the Fourier transform of modulation spaces. A particular example is provided by the Sjöstrand class, for which Gröchenig exhibited the almost diagonalization of Weyl operators. We shall show that such result can be extended to any $τ$-pseudodifferential operator, for $τ\in [0,1]$, also with symbol in weighted Wiener amalgam spaces. As a consequence, we infer boundedness, algebra and Wiener properties for $τ$-pseudodifferential operators on Wiener amalgam and modulation spaces.
△ Less
Submitted 15 October, 2018; v1 submitted 28 February, 2018;
originally announced February 2018.
-
Highly oscillatory unimodular Fourier multipliers on modulation spaces
Authors:
Fabio Nicola,
Eva Primo,
Anita Tabacco
Abstract:
We study the continuity on the modulation spaces $M^{p,q}$ of Fourier multipliers with symbols of the type $e^{iμ(ξ)}$, for some real-valued function $μ(ξ)$. A number of results are known, assuming that the derivatives of order $\geq 2$ of the phase $μ(ξ)$ are bounded or, more generally, that its second derivatives belong to the Sjöstrand class $M^{\infty,1}$. Here we extend those results, by assu…
▽ More
We study the continuity on the modulation spaces $M^{p,q}$ of Fourier multipliers with symbols of the type $e^{iμ(ξ)}$, for some real-valued function $μ(ξ)$. A number of results are known, assuming that the derivatives of order $\geq 2$ of the phase $μ(ξ)$ are bounded or, more generally, that its second derivatives belong to the Sjöstrand class $M^{\infty,1}$. Here we extend those results, by assuming that the second derivatives lie in the bigger Wiener amalgam space $W(\mathcal{F} L^1,L^\infty)$; in particular they could have stronger oscillations at infinity such as $\cos |ξ|^2$. Actually our main result deals with the more general case of possibly unbounded second derivatives. In that case we have boundedness on weighted modulation spaces with a sharp loss of derivatives.
△ Less
Submitted 19 January, 2018;
originally announced January 2018.
-
On Fourier integral operators with Hölder-continuous phase
Authors:
Elena Cordero,
Fabio Nicola,
Eva Primo
Abstract:
We study continuity properties in Lebesgue spaces for a class of Fourier integral operators arising in the study of the Boltzmann equation. The phase has a Hölder-type singularity at the origin. We prove boundedness in $L^1$ with a precise loss of decay depending on the Hölder exponent, and we show by counterexamples that a loss occurs even in the case of smooth phases. The results can be seen as…
▽ More
We study continuity properties in Lebesgue spaces for a class of Fourier integral operators arising in the study of the Boltzmann equation. The phase has a Hölder-type singularity at the origin. We prove boundedness in $L^1$ with a precise loss of decay depending on the Hölder exponent, and we show by counterexamples that a loss occurs even in the case of smooth phases. The results can be seen as a quantitative version of the Beurling-Helson theorem for changes of variables with a Hölder singularity at the origin. The continuity in $L^2$ is studied as well by providing sufficient conditions and relevant counterexamples. The proofs rely on techniques from Time-frequency Analysis.
△ Less
Submitted 14 November, 2017;
originally announced November 2017.
-
A characterization of modulation spaces by symplectic rotations
Authors:
Elena Cordero,
Maurice De Gosson,
Fabio Nicola
Abstract:
This note contains a new characterization of modulation spaces $M^p(\mathbb{R}^n)$, $1\leq p\leq \infty$, by symplectic rotations. Precisely, instead to measure the time-frequency content of a function by using translations and modulations of a fixed window as building blocks, we use translations and metaplectic operators corresponding to symplectic rotations. Technically, this amounts to replace,…
▽ More
This note contains a new characterization of modulation spaces $M^p(\mathbb{R}^n)$, $1\leq p\leq \infty$, by symplectic rotations. Precisely, instead to measure the time-frequency content of a function by using translations and modulations of a fixed window as building blocks, we use translations and metaplectic operators corresponding to symplectic rotations. Technically, this amounts to replace, in the computation of the $M^p(\mathbb{R}^n)$-norm, the integral in the time-frequency plane with an integral on $\mathbb{R}^n\times U(2n,\mathbb{R})$ with respect to a suitable measure, $U(2n,\mathbb{R})$ being the group of symplectic rotations. More conceptually, we are considering a sort of polar coordinates in the time-frequency plane. In this new framework, the Gaussian invariance under symplectic rotations yields to choose Gaussians as suitable window functions. We also provide a similar characterization with the group $U(2n,\mathbb{R})$ being reduced to the $n$-dimensional torus $\mathbb{T}^n$.
△ Less
Submitted 21 July, 2017;
originally announced July 2017.
-
On the Positivity of Trace Class Operators
Authors:
Elena Cordero,
Maurice de Gosson,
Fabio Nicola
Abstract:
The characterization of positivity properties of Weyl operators is a notoriously difficult problem, and not much progress has been made since the pioneering work of Kastler, Loupias, and Miracle-Sole (KLM). In this paper we begin by reviewing and giving simpler proofs of some known results for trace-class Weyl operators; the latter play an essential role in quantum mechanics. We then apply time-fr…
▽ More
The characterization of positivity properties of Weyl operators is a notoriously difficult problem, and not much progress has been made since the pioneering work of Kastler, Loupias, and Miracle-Sole (KLM). In this paper we begin by reviewing and giving simpler proofs of some known results for trace-class Weyl operators; the latter play an essential role in quantum mechanics. We then apply time-frequency analysis techniques to prove a phase space version of the KLM condition; the main tools are Gabor frames and the Wigner formalism. Finally, discrete approximations of the KLM condition, which are tractable numerically, are provided.
△ Less
Submitted 19 June, 2017;
originally announced June 2017.
-
Strichartz estimates for the metaplectic representation
Authors:
Alessandra Cauli,
Fabio Nicola,
Anita Tabacco
Abstract:
Strichartz estimates are a manifestation of a dispersion phenomenon, exhibited by certain partial differential equations, which is detected by suitable Lebesgue space norms. In most cases the evolution propagator $U(t)$ is a one parameter group of unitary operators. Motivated by the importance of decay estimates in group representation theory and ergodic theory, Strichartz-type estimates seem wort…
▽ More
Strichartz estimates are a manifestation of a dispersion phenomenon, exhibited by certain partial differential equations, which is detected by suitable Lebesgue space norms. In most cases the evolution propagator $U(t)$ is a one parameter group of unitary operators. Motivated by the importance of decay estimates in group representation theory and ergodic theory, Strichartz-type estimates seem worth investigating when $U(t)$ is replaced by a unitary representation of a non-compact Lie group, the group element playing the role of time. Since the Schrödinger group is a subgroup of the metaplectc group, the case of the metaplectic or oscillatory representation is of special interest in this connection. We prove uniform weak-type sharp estimates for matrix coefficients and Strichartz estimates for that representation. The crucial point is the choice of function spaces able to detect such a dispersive effect, which in general will depend on the given group action. The relevant function spaces here turn out to be the so-called modulation spaces from Time-frequency Analysis in Euclidean space, and Lebesgue spaces with respect to Haar measure on the metaplectic group. The proofs make use in an essential way of the covariance of the Wigner distribution with respect to the metaplectic representation.
△ Less
Submitted 12 June, 2017;
originally announced June 2017.
-
Additive bases with coefficients of newforms
Authors:
Victor Cuauhtemoc Garcia,
Florin Nicolae
Abstract:
Let $f(z)=\sum_{n=1}^{\infty}a(n) e^{2πi nz}$ be a normalized Hecke eigenform in $S_{2k}^{\text{new}}(Γ_0(N))$ with integer Fourier coefficients. We prove that there exists a constant $C(f)>0$ such that any integer is a sum of at most $C(f)$ coefficients $a(n) $. It holds $C(f)\ll_{\varepsilon,k}N^{\frac{6k-3}{16}+\varepsilon}$.
Let $f(z)=\sum_{n=1}^{\infty}a(n) e^{2πi nz}$ be a normalized Hecke eigenform in $S_{2k}^{\text{new}}(Γ_0(N))$ with integer Fourier coefficients. We prove that there exists a constant $C(f)>0$ such that any integer is a sum of at most $C(f)$ coefficients $a(n) $. It holds $C(f)\ll_{\varepsilon,k}N^{\frac{6k-3}{16}+\varepsilon}$.
△ Less
Submitted 24 March, 2017;
originally announced March 2017.
-
Kernel theorems for modulation spaces
Authors:
Elena Cordero,
Fabio Nicola
Abstract:
We deal with kernel theorems for modulation spaces. We completely characterize the continuity of a linear operator on the modulation spaces $M^p$ for every $1\leq p\leq\infty$, by the membership of its kernel to (mixed) modulation spaces. Whereas Feichtinger's kernel theorem (which we recapture as a special case) is the modulation space counterpart of Schwartz' kernel theorem for temperate distrib…
▽ More
We deal with kernel theorems for modulation spaces. We completely characterize the continuity of a linear operator on the modulation spaces $M^p$ for every $1\leq p\leq\infty$, by the membership of its kernel to (mixed) modulation spaces. Whereas Feichtinger's kernel theorem (which we recapture as a special case) is the modulation space counterpart of Schwartz' kernel theorem for temperate distributions, our results do not have a couterpart in distribution theory. This reveals the superiority, in some respects, of the modulation space formalism upon distribution theory, as already emphasized in Feichtinger's manifesto for a post-modern harmonic analysis, tailored to the needs of mathematical signal processing. The proof uses in an essential way a discretization of the problem by means of Gabor frames. We also show the equivalence of the operator norm and the modulation space norm of the corresponding kernel. For operators acting on $M^{p,q}$ a similar characterization is not expected, but sufficient conditions for boundedness can be sated in the same spirit.
△ Less
Submitted 10 February, 2017;
originally announced February 2017.
-
Sharp $L^p$ estimates for Schrödinger groups on spaces of homogeneous type
Authors:
The Anh Bui,
Piero D'Ancona,
Fabio Nicola
Abstract:
We prove an $L^{p}$ estimate $$ \|e^{-itL} \varphi(L)f\|_{p}\lesssim (1+|t|)^s\|f\|_p, \qquad t\in \mathbb{R}, \qquad s=n\left|\frac{1}{2}-\frac{1}{p}\right| $$ for the Schrödinger group generated by a semibounded, selfadjoint operator $L$ on a metric measure space $\mathcal{X}$ of homogeneous type (where $n$ is the doubling dimension of $\mathcal{X}$). The assumptions on $L$ are a mild…
▽ More
We prove an $L^{p}$ estimate $$ \|e^{-itL} \varphi(L)f\|_{p}\lesssim (1+|t|)^s\|f\|_p, \qquad t\in \mathbb{R}, \qquad s=n\left|\frac{1}{2}-\frac{1}{p}\right| $$ for the Schrödinger group generated by a semibounded, selfadjoint operator $L$ on a metric measure space $\mathcal{X}$ of homogeneous type (where $n$ is the doubling dimension of $\mathcal{X}$). The assumptions on $L$ are a mild $L^{p_{0}}\to L^{p_{0}'}$ smoothing estimate and a mild $L^{2}\to L^{2}$ off--diagonal estimate for the corresponding heat kernel $e^{-tL}$. The estimate is uniform for $ \varphi$ varying in bounded sets of $\mathscr{S}(\mathbb{R})$, or more generally of a suitable weighted Sobolev space. We also prove, under slightly stronger assumptions on $L$, that the estimate extends to $$
\|e^{-itL} \varphi(θL)f\|_{p}\lesssim (1+θ^{-1}|t|)^s\|f\|_p,
\qquad θ>0, \quad t\in \mathbb{R}, $$ with uniformity also for $θ$ varying in bounded subsets of $(0,+\infty)$. For nonnegative operators uniformity holds for all $θ>0$.
△ Less
Submitted 28 September, 2017; v1 submitted 5 December, 2016;
originally announced December 2016.
-
On the symplectic covariance and interferences of time-frequency distributions
Authors:
Elena Cordero,
Maurice de Gosson,
Monika Doerfler,
Fabio Nicola
Abstract:
We study the covariance property of quadratic time-frequency distributions with respect to the action of the extended symplectic group. We show how covariance is related, and in fact in competition, with the possibility of damping the interferences which arise due to the quadratic nature of the distributions. We also show that the well known fully covariance property of the Wigner distribution in…
▽ More
We study the covariance property of quadratic time-frequency distributions with respect to the action of the extended symplectic group. We show how covariance is related, and in fact in competition, with the possibility of damping the interferences which arise due to the quadratic nature of the distributions. We also show that the well known fully covariance property of the Wigner distribution in fact characterizes it (up to a constant factor) among the quadratic distributions $L^{2}(\mathbb{R}^{n})\rightarrow C_{0}({ \mathbb{R}^{2n}})$. A similar characterization for the closely related Weyl transform is given as well. The results are illustrated by several numerical experiments for the Wigner and Born-Jordan distributions of the sum of four Gaussian functions in the so-called "diamond configuration".
△ Less
Submitted 22 November, 2016;
originally announced November 2016.
-
On the restricted partition function II
Authors:
Mircea Cimpoeas,
Florin Nicolae
Abstract:
Let $\mathbf a=(a_1,\ldots,a_r)$ be a vector of positive integers. In continuation of a previous paper we present other formulas for the restricted partition function $p_{\mathbf a}(n): = $ the number of integer solutions $(x_1,\dots,x_r)$ to $\sum_{j=1}^r a_jx_j=n$ with $x_1\geq 0, \ldots, x_r\geq 0$.
Let $\mathbf a=(a_1,\ldots,a_r)$ be a vector of positive integers. In continuation of a previous paper we present other formulas for the restricted partition function $p_{\mathbf a}(n): = $ the number of integer solutions $(x_1,\dots,x_r)$ to $\sum_{j=1}^r a_jx_j=n$ with $x_1\geq 0, \ldots, x_r\geq 0$.
△ Less
Submitted 9 January, 2018; v1 submitted 31 October, 2016;
originally announced November 2016.
-
On holomorphic Artin L-functions
Authors:
Florin Nicolae
Abstract:
Let $K/\mathbb Q$ be a finite Galois extension, $s_0\in \mathbb C\setminus \{1\}$, ${\it Hol}(s_0)$ the semigroup of Artin L-functions holomorphic at $s_0$. If the Galois group is almost monomial then Artin's L-functions are holomorphic at $s_0$ if and only if $ {\it Hol}(s_0)$ is factorial. This holds also if $s_0$ is a zero of an irreducible L-function of dimension $\leq 2$, without any conditio…
▽ More
Let $K/\mathbb Q$ be a finite Galois extension, $s_0\in \mathbb C\setminus \{1\}$, ${\it Hol}(s_0)$ the semigroup of Artin L-functions holomorphic at $s_0$. If the Galois group is almost monomial then Artin's L-functions are holomorphic at $s_0$ if and only if $ {\it Hol}(s_0)$ is factorial. This holds also if $s_0$ is a zero of an irreducible L-function of dimension $\leq 2$, without any condition on the Galois group.
△ Less
Submitted 14 April, 2017; v1 submitted 27 October, 2016;
originally announced October 2016.
-
On the restricted partition function
Authors:
Mircea Cimpoeas,
Florin Nicolae
Abstract:
For a vector $\mathbf a=(a_1,\ldots,a_r)$ of positive integers we prove formulas for the restricted partition function $p_{\mathbf a}(n): = $ the number of integer solutions $(x_1,\dots,x_r)$ to $\sum_{j=1}^r a_jx_j=n$ with $x_1\geq 0, \ldots, x_r\geq 0$ and its polynomial part.
For a vector $\mathbf a=(a_1,\ldots,a_r)$ of positive integers we prove formulas for the restricted partition function $p_{\mathbf a}(n): = $ the number of integer solutions $(x_1,\dots,x_r)$ to $\sum_{j=1}^r a_jx_j=n$ with $x_1\geq 0, \ldots, x_r\geq 0$ and its polynomial part.
△ Less
Submitted 1 January, 2018; v1 submitted 20 September, 2016;
originally announced September 2016.
-
Semi-classical Time-frequency Analysis and Applications
Authors:
Elena Cordero,
Maurice de Gosson,
Fabio Nicola
Abstract:
This work represents a first systematic attempt to create a common ground for semi-classical and time-frequency analysis. These two different areas combined together provide interesting outcomes in terms of Schrödinger type equations. Indeed, continuity results of both Schrödinger propagators and their asymptotic solutions are obtained on $\hbar$-dependent Banach spaces, the semi-classical version…
▽ More
This work represents a first systematic attempt to create a common ground for semi-classical and time-frequency analysis. These two different areas combined together provide interesting outcomes in terms of Schrödinger type equations. Indeed, continuity results of both Schrödinger propagators and their asymptotic solutions are obtained on $\hbar$-dependent Banach spaces, the semi-classical version of the well-known modulation spaces. Moreover, their operator norm is controlled by a constant independent of the Planck's constant $\hbar$. The main tool in our investigation is the joint application of standard approximation techniques from semi-classical analysis and a generalized version of Gabor frames, dependent of the parameter $\hbar$. Continuity properties of more general Fourier integral operators (FIOs) and their sparsity are also investigated.
△ Less
Submitted 22 September, 2016; v1 submitted 2 September, 2016;
originally announced September 2016.
-
Born-Jordan Pseudodifferential Operators and the Dirac Correspondence: Beyond the Groenewold-van Hove Theorem
Authors:
Maurice de Gosson,
Fabio Nicola
Abstract:
Quantization procedures play an essential role in microlocal analysis, time-frequency analysis and, of course, in quantum mechanics. Roughly speaking the basic idea, due to Dirac, is to associate to any symbol, or observable, $a(x,ξ)$ an operator $\mathrm{Op}(a)$, according to some axioms dictated by physical considerations. This led to the introduction of a variety of quantizations. They all agre…
▽ More
Quantization procedures play an essential role in microlocal analysis, time-frequency analysis and, of course, in quantum mechanics. Roughly speaking the basic idea, due to Dirac, is to associate to any symbol, or observable, $a(x,ξ)$ an operator $\mathrm{Op}(a)$, according to some axioms dictated by physical considerations. This led to the introduction of a variety of quantizations. They all agree when the symbol $a(x,ξ)=f(x)$ depends only on $x$ or $a(x,ξ)=g(ξ)$ depends only on $ξ$: \[ \mathrm{Op}(f\otimes1)u=fu,\quad\mathrm{Op}(1\otimes g)u=\mathcal{F}% ^{-1}(g\mathcal{F}u) \] where $\mathcal{F}$ stands for the Fourier transform. Now, Dirac aimed at finding a quantization satisfying, in addition, the key correspondence \[ \lbrack\mathrm{Op}(a),\operatorname*{Op}(b)]=i\mathrm{Op}(\{a,b\}) \] where $[\,,\,]$ stands for the commutator and $\{\,,\}$ for the Poisson brackets, which would represent a tight link between classical and quantum mechanics. Unfortunately, the famous Groenewold-van Hove theorem states that such a quantization does not exist, and indeed most quantization rules satisfy this property only approximately.
Now, in this note we show that the above commutator rule in fact holds for the Born-Jordan quantization, at least for symbols of the type $f(x)+g(ξ)$. Moreover we will prove that, remarkably, this property completely characterizes this quantization rule, making it the quantization which best fits the Dirac dream.
△ Less
Submitted 24 June, 2016;
originally announced June 2016.
-
Sharp integral bounds for Wigner distributions
Authors:
Elena Cordero,
Fabio Nicola
Abstract:
The cross-Wigner distribution $W(f,g)$ of two functions or temperate distributions $f,g$ is a fundamental tool in quantum mechanics and in signal analysis. Usually, in applications in time-frequency analysis $f$ and $g$ belong to some modulation space and it is important to know which modulation spaces $W(f,g)$ belongs to. Although several particular sufficient conditions have been appeared in thi…
▽ More
The cross-Wigner distribution $W(f,g)$ of two functions or temperate distributions $f,g$ is a fundamental tool in quantum mechanics and in signal analysis. Usually, in applications in time-frequency analysis $f$ and $g$ belong to some modulation space and it is important to know which modulation spaces $W(f,g)$ belongs to. Although several particular sufficient conditions have been appeared in this connection, the general problem remains open. In the present paper we solve completely this issue by providing the full range of modulation spaces in which the continuity of the cross-Wigner distribution $W(f,g)$ holds, as a function of $f,g$. The case of weighted modulation spaces is also considered. The consequences of our results are manifold: new bounds for the short-time Fourier transform and the ambiguity function, boundedness results for pseudodifferential (in particular, localization) operators and properties of the Cohen class.
△ Less
Submitted 27 June, 2016; v1 submitted 2 May, 2016;
originally announced May 2016.
-
Born-Jordan Pseudo-Differential Operators with Symbols in the Shubin Classes
Authors:
Elena Cordero,
Maurice de Gosson,
Fabio Nicola
Abstract:
We apply Shubin's theory of global symbol classes $Γ_ρ^{m}$ to the Born-Jordan pseudodifferential calculus we have previously developed. This approach has many conceptual advantages, and makes the relationship between the conflicting Born-Jordan and Weyl quantization methods much more limpid. We give, in particular, precise asymptotic expansions of symbols allowing to pass from Born-Jordan quantiz…
▽ More
We apply Shubin's theory of global symbol classes $Γ_ρ^{m}$ to the Born-Jordan pseudodifferential calculus we have previously developed. This approach has many conceptual advantages, and makes the relationship between the conflicting Born-Jordan and Weyl quantization methods much more limpid. We give, in particular, precise asymptotic expansions of symbols allowing to pass from Born-Jordan quantization to Weyl quantization, and vice-versa. In addition we state and prove some regularity and global hypoellipticity results.
△ Less
Submitted 15 March, 2016; v1 submitted 10 March, 2016;
originally announced March 2016.
-
Time-frequency Analysis of Born-Jordan Pseudodifferential Operators
Authors:
Elena Cordero,
Maurice de Gosson,
Fabio Nicola
Abstract:
Born-Jordan operators are a class of pseudodifferential operators arising as a generalization of the quantization rule for polynomials on the phase space introduced by Born and Jordan in 1925. The weak definition of such operators involves the Born-Jordan distribution, first introduced by Cohen in 1966 as a member of the Cohen class. We perform a time-frequency analysis of the Cohen kernel of the…
▽ More
Born-Jordan operators are a class of pseudodifferential operators arising as a generalization of the quantization rule for polynomials on the phase space introduced by Born and Jordan in 1925. The weak definition of such operators involves the Born-Jordan distribution, first introduced by Cohen in 1966 as a member of the Cohen class. We perform a time-frequency analysis of the Cohen kernel of the Born -Jordan distribution, using modulation and Wiener amalgam spaces. We then provide sufficient and necessary conditions for Born-Jordan operators to be bounded on modulation spaces. We use modulation spaces as appropriate symbols classes.
△ Less
Submitted 20 January, 2016;
originally announced January 2016.
-
On the reduction of the interferences in the Born-Jordan distribution
Authors:
Elena Cordero,
Maurice de Gosson,
Fabio Nicola
Abstract:
One of the most popular time-frequency representation is certainly the Wigner distribution. To reduce the interferences coming from its quadratic nature, several related distributions have been proposed, among which the so-called Born-Jordan distribution. It is well known that in the Born-Jordan distribution the ghost frequencies are in fact damped quite well, and the noise is in general reduced.…
▽ More
One of the most popular time-frequency representation is certainly the Wigner distribution. To reduce the interferences coming from its quadratic nature, several related distributions have been proposed, among which the so-called Born-Jordan distribution. It is well known that in the Born-Jordan distribution the ghost frequencies are in fact damped quite well, and the noise is in general reduced. However, the horizontal and vertical directions escape from this general smoothing effect, so that the interferences arranged along these directions are in general kept. Whereas these features are graphically evident on examples and heuristically well understood in the engineering community, there is not at present a mathematical explanation of these phenomena, valid for general signals in L^2 and, more in general, in the space S' of temperate distributions. In the present note we provide such a rigorous study using the notion of wave-front set of a distribution. We use techniques from Time-frequency Analysis, such as the modulation and Wiener amalgam spaces, and also results of microlocal regularity of linear partial differential operators.
△ Less
Submitted 14 January, 2016;
originally announced January 2016.
