Showing 1–41 of 41 results for author: Okoudjou, K A

Orthogonal Polynomials on Bubble-Diamond Fractals

Authors: Elena Axinn, Calvin Osborne, Kasso A. Okoudjou, Olivia Rigatti, Helen Shi

Abstract: We develop a theory of polynomials and, in particular, an analog of the theory of Legendre orthogonal polynomials on the bubble-diamond fractals, a class of fractal sets that can be viewed as the completion of a limit of a sequence of finite graph approximations. In this setting, a polynomial of degree $j$ can be viewed as a multiharmonic function, a solution of the equation $Δ^{j+1}u=0$. We prove… ▽ More We develop a theory of polynomials and, in particular, an analog of the theory of Legendre orthogonal polynomials on the bubble-diamond fractals, a class of fractal sets that can be viewed as the completion of a limit of a sequence of finite graph approximations. In this setting, a polynomial of degree $j$ can be viewed as a multiharmonic function, a solution of the equation $Δ^{j+1}u=0$. We prove that the sequence of orthogonal polynomials we construct obey a three-term recursion formula. Finally, we present some numerical results about the asymptotics of the coefficients appearing in this three-term recursion formula. △ Less

Submitted 25 November, 2024; originally announced November 2024.

Comments: 19 pages, 7 figures

The HRT conjecture for a class of meromorphic functions

Authors: Mostafa Maslouhi, Kasso A. Okoudjou

Abstract: The HRT conjecture states that any finite collection of time-frequency shifts of a non-zero square-integrable function on the real line is linearly independent. In this paper, we establish the linear independence of finite systems of time-frequency shifts of a non-zero meromorphic function. Consequently, we prove that the conjecture is true for any square-integrable function on $\mathbb{R}$ that c… ▽ More The HRT conjecture states that any finite collection of time-frequency shifts of a non-zero square-integrable function on the real line is linearly independent. In this paper, we establish the linear independence of finite systems of time-frequency shifts of a non-zero meromorphic function. Consequently, we prove that the conjecture is true for any square-integrable function on $\mathbb{R}$ that can be extended to an analytic function on $\mathbb{C}$ except on finitely many points. △ Less

Submitted 27 April, 2024; v1 submitted 28 February, 2023; originally announced March 2023.

Comments: Some results need more details

MSC Class: Primary 42C15 Secondary 42C40

Phase transitions for frame potentials]{Phase transitions for the minimizers of the $p^{th}$ frame potentials in $\mathbb{R}^2$

Authors: Radel Ben Av, Xuemei Chen, Assaf Goldberger, Shujie Kang, Kasso A. Okoudjou

Abstract: Given $N$ points $X=\{x_k\}_{k=1}^N$ on the unit circle in $\mathbb{R}^2$ and a number $0\leq p \leq \infty$ we investigate the minimizers of the functional $\sum_{k, \ell =1}^N |\langle x_k, x_\ell\rangle|^p$. While it is known that each of these minimizers is a spanning set for $\mathbb{R}^2$, less is known about their number as a function of $p$ and $N$ especially for relatively small $p$. In t… ▽ More Given $N$ points $X=\{x_k\}_{k=1}^N$ on the unit circle in $\mathbb{R}^2$ and a number $0\leq p \leq \infty$ we investigate the minimizers of the functional $\sum_{k, \ell =1}^N |\langle x_k, x_\ell\rangle|^p$. While it is known that each of these minimizers is a spanning set for $\mathbb{R}^2$, less is known about their number as a function of $p$ and $N$ especially for relatively small $p$. In this paper we show that there is unique minimum for this functional for all $p\leq \log 3/\log 2$ and all odd $N\geq 3$. In addition, we present some numerical results suggesting the emergence of a phase transition phenomenon for these minimizers. More specifically, for $N\geq 3$ odd, there exists a sequence of number of points $\log 3/\log 2=p_1< p_2< \cdots < p_N\leq 2$ so that a unique (up to some isometries) minimizer exists on each sub-intervals $(p_k, p_{k+1})$. %In addition we conjecture that $\lim_{k\to \infty}p_{2k+1}=2$. △ Less

Submitted 8 December, 2022; originally announced December 2022.

MSC Class: 42C15; 52A40; 52C17

On root frames in $\mathbb{R}^d$

Authors: Mostafa Maslouhi, Kasso A. Okoudjou

Abstract: \emph{A root frame} for $\mathbb{R}^d$ is a finite frame whose vectors form a root system. In this note we establish some elementary properties of this class of frames and prove that root frames constitute a subclass of scalable frames. In addition, we show that root frames are examples of a larger class of frames called \emph{eigenframes}. \emph{A root frame} for $\mathbb{R}^d$ is a finite frame whose vectors form a root system. In this note we establish some elementary properties of this class of frames and prove that root frames constitute a subclass of scalable frames. In addition, we show that root frames are examples of a larger class of frames called \emph{eigenframes}. △ Less

Submitted 18 April, 2022; originally announced April 2022.

MSC Class: 42C15; 15A03

Spectral decimation of piecewise centrosymmetric Jacobi operators on graphs

Authors: Gamal Mograby, Radhakrishnan Balu, Kasso A. Okoudjou, Alexander Teplyaev

Abstract: We study the spectral theory of a class of piecewise centrosymmetric Jacobi operators defined on an associated family of substitution graphs. Given a finite centrosymmetric matrix viewed as a weight matrix on a finite directed path graph and a probabilistic Laplacian viewed as a weight matrix on a locally finite strongly connected graph, we construct a new graph and a new operator by edge substitu… ▽ More We study the spectral theory of a class of piecewise centrosymmetric Jacobi operators defined on an associated family of substitution graphs. Given a finite centrosymmetric matrix viewed as a weight matrix on a finite directed path graph and a probabilistic Laplacian viewed as a weight matrix on a locally finite strongly connected graph, we construct a new graph and a new operator by edge substitution. Our main result proves that the spectral theory of the piecewise centrosymmetric Jacobi operator can be explicitly related to the spectral theory of the probabilistic Laplacian using certain orthogonal polynomials. Our main tools involve the so-called spectral decimation, known from the analysis on fractals, and the classical Schur complement. We include several examples of self-similar Jacobi matrices that fit into our framework. △ Less

Submitted 14 January, 2022; originally announced January 2022.

MSC Class: 47B36; 28A80; 81T17; 47A10; 05C20; 05C22; 81Q35

The HRT conjecture for two classes of special configurations

Authors: Kasso A. Okoudjou, Vignon Oussa

Abstract: The HRT (Heil-Ramanathan-Topiwala) conjecture stipulates that the set of any finitely many time-frequency shifts of a non-zero square Lebesgue integrable function is linearly independent. The present work settles two special cases of this conjecture, namely, the cases where the set of time-frequency shifts has cardinality $N+1$ such that either $N$ of the points lie on some integer lattice and the… ▽ More The HRT (Heil-Ramanathan-Topiwala) conjecture stipulates that the set of any finitely many time-frequency shifts of a non-zero square Lebesgue integrable function is linearly independent. The present work settles two special cases of this conjecture, namely, the cases where the set of time-frequency shifts has cardinality $N+1$ such that either $N$ of the points lie on some integer lattice and the last point is arbitrary, or $N$ of the points are on a line, while the last point does not belong this line. In both cases, we prove that the HRT conjecture holds appealing mainly to various forms of the ergodic theorem. We note that, in recent years, the latter case has been the subject of many investigations -- notably, the subcase where $N=3$ -- and our work completely resolves it. △ Less

Submitted 12 January, 2024; v1 submitted 8 October, 2021; originally announced October 2021.

Comments: This revised manuscript on the HRT conjecture corrects a significant gap in the second case and provides a proof for the first case, focusing on a configuration of n points on an integer lattice and one off-lattice point. A decay condition is also imposed on the window vector

Towards a classification of incomplete Gabor POVMs in $\mathbb{C}^d$

Authors: Assaf Goldberger, Shujie Kang, Kasso A. Okoudjou

Abstract: Every (full) finite Gabor system generated by a unit-norm vector $g\in \mathbb{C}^d$ is a finite unit-norm tight frame (FUNTF), and can thus be associated with a (Gabor) positive operator valued measure (POVM). Such a POVM is informationally complete if the $d^2$ corresponding rank one matrices form a basis for the space of $d\times d$ matrices. A sufficient condition for this to happen is that th… ▽ More Every (full) finite Gabor system generated by a unit-norm vector $g\in \mathbb{C}^d$ is a finite unit-norm tight frame (FUNTF), and can thus be associated with a (Gabor) positive operator valued measure (POVM). Such a POVM is informationally complete if the $d^2$ corresponding rank one matrices form a basis for the space of $d\times d$ matrices. A sufficient condition for this to happen is that the POVM is symmetric, which is equivalent to the fact that the associated Gabor frame is an equiangular tight frame (ETF). The existence of Gabor ETF is an important special case of the Zauner conjecture. It is known that generically all Gabor FUNTFs lead to informationally complete POVMs. In this paper, we initiate a classification of non-complete Gabor POVMs. In the process we establish some seemingly simple facts about the eigenvalues of the Gram matrix of the rank one matrices generated by a finite Gabor frame. We also use these results to construct some sets of $d^2$ unit vectors in $\mathbb{C}^d$ with a relatively smaller number of distinct inner products. △ Less

Submitted 2 June, 2021; originally announced June 2021.

Comments: 21 pages

MSC Class: Primary: 42C15; Secondary: 65T50; 81R05

Spectral decimation of a self-similar version of almost Mathieu-type operators

Authors: Gamal Mograby, Radhakrishnan Balu, Kasso A. Okoudjou, Alexander Teplyaev

Abstract: We introduce self-similar versions of the one-dimensional almost Mathieu operators. Our definition is based on a class of self-similar Laplacians instead of the standard discrete Laplacian, and includes the classical almost Mathieu operators as a particular case. Our main result establishes that the spectra of these self-similar almost Mathieu operators can be completely described by the spectra o… ▽ More We introduce self-similar versions of the one-dimensional almost Mathieu operators. Our definition is based on a class of self-similar Laplacians instead of the standard discrete Laplacian, and includes the classical almost Mathieu operators as a particular case. Our main result establishes that the spectra of these self-similar almost Mathieu operators can be completely described by the spectra of the corresponding self-similar Laplacians through the spectral decimation framework used in the context of spectral analysis on fractals. In addition, the self-similar structure of our model provides a natural finite graph approximation model. This approximation is not only helpful in executing the numerical simulation, but is also useful in finding the spectral decimation function via Schur complement computations of given finite-dimensional matrices. The self-similar Laplacians used in our model were considered recently by Chen and Teplyaev who proved the emergence of singularly continuous spectra for specific parameters. We use this result to arrive at similar conclusions in the context of the self-similar almost Mathieu operators. Finally, we derive an explicit formula of the integrated density of states of the self-similar almost Mathieu operators as the weighted pre-images of the balanced invariant measure on a specific Julia set. △ Less

Submitted 17 November, 2021; v1 submitted 20 May, 2021; originally announced May 2021.

MSC Class: 81Q35; 81Q10; 47B93; 47N50; 47A10

Optimal l-one Rank One Matrix Decompositions

Authors: Radu Balan, Kasso A. Okoudjou, Michael Rawson, Yang Wang, Rui Zhang

Abstract: In this paper we consider the decomposition of positive semidefinite matrices as a sum of rank one matrices. We introduce and investigate the properties of various measures of optimality of such decompositions. For some classes of positive semidefinite matrices we give explicitly these optimal decompositions. These classes include diagonally dominant matrices and certain of their generalizations,… ▽ More In this paper we consider the decomposition of positive semidefinite matrices as a sum of rank one matrices. We introduce and investigate the properties of various measures of optimality of such decompositions. For some classes of positive semidefinite matrices we give explicitly these optimal decompositions. These classes include diagonally dominant matrices and certain of their generalizations, $2\times 2$, and a class of $3\times 3$ matrices. △ Less

Submitted 3 February, 2020; originally announced February 2020.

Comments: Will appear in a Springer book "Harmonic Analysis and Applications", Ed. M. Rassias

Journal ref: Rassias, Michael Th, ed. Harmonic Analysis and Applications. Vol. 168. Springer Nature, 2021

The Hartree-Fock equations in modulation spaces

Authors: Divyang G. Bhimani, Manoussos Grillakis, Kasso A. Okoudjou

Abstract: We establish both a local and a global well-posedness theories for the nonlinear Hartree-Fock equations and its reduced analog in the setting of the modulation spaces on $\mathbb R^d$. In addition, we prove similar results when a harmonic potential is added to the equations. In the process, we prove the boundedeness of certain multilinear operators on products of the modulation spaces which may be… ▽ More We establish both a local and a global well-posedness theories for the nonlinear Hartree-Fock equations and its reduced analog in the setting of the modulation spaces on $\mathbb R^d$. In addition, we prove similar results when a harmonic potential is added to the equations. In the process, we prove the boundedeness of certain multilinear operators on products of the modulation spaces which may be of independent interest. △ Less

Submitted 16 August, 2019; originally announced August 2019.

Comments: 28 pages

Multivariate Tight Wavelet Frames with Few Generators and High Vanishing Moments

Authors: Youngmi Hur, Zachary Lubberts, Kasso A. Okoudjou

Abstract: Tight wavelet frames are computationally and theoretically attractive, but most existing multivariate constructions have various drawbacks, including low vanishing moments for the wavelets, or a large number of wavelet masks. We further develop existing work combining sums of squares representations with tight wavelet frame construction, and present a new and general method for constructing such f… ▽ More Tight wavelet frames are computationally and theoretically attractive, but most existing multivariate constructions have various drawbacks, including low vanishing moments for the wavelets, or a large number of wavelet masks. We further develop existing work combining sums of squares representations with tight wavelet frame construction, and present a new and general method for constructing such frames. Focusing on the case of box splines, we also demonstrate how the flexibility of our approach can lead to tight wavelet frames with high numbers of vanishing moments for all of the wavelet masks, while still having few highpass masks: in fact, we match the best known upper bound on the number of highpass masks for general box spline tight wavelet frame constructions, while typically achieving much better vanishing moments for all of the wavelet masks, proving a nontrivial lower bound on this quantity. △ Less

Submitted 14 October, 2019; v1 submitted 20 February, 2019; originally announced February 2019.

Comments: 19 pages, 3 tables

MSC Class: 11E25; 42C40; 42C15

The Strong Maximum Principle for Schrödinger operators on fractals

Authors: Marius V. Ionescu, Kasso A. Okoudjou, Luke G. Rogers

Abstract: We prove a strong maximum principle for Schrödinger operators defined on a class of fractal sets and their blowups without boundary. Our primary interest is in weaker regularity conditions than have previously appeared in the literature; in particular we permit both the fractal Laplacian and the potential to be Radon measures on the fractal. As a consequence of our results, we establish a Harnack… ▽ More We prove a strong maximum principle for Schrödinger operators defined on a class of fractal sets and their blowups without boundary. Our primary interest is in weaker regularity conditions than have previously appeared in the literature; in particular we permit both the fractal Laplacian and the potential to be Radon measures on the fractal. As a consequence of our results, we establish a Harnack inequality for solutions of these operators. △ Less

Submitted 14 February, 2019; originally announced February 2019.

MSC Class: 35J15; 28A80 (Primary); 35J25 (Secondary)

An invitation to Gabor analysis

Authors: Kasso A. Okoudjou

Abstract: Gabor analysis which can be traced back to Dennis Gabor's influential 1946 paper \emph{Theory of communication}, is concerned with both the theory and the applications of the approximation properties of sets of time and frequency shifts of a given window function. It re-emerged with the advent of wavelets at the end of the last century and is now at the intersection of many fields of mathematics,… ▽ More Gabor analysis which can be traced back to Dennis Gabor's influential 1946 paper \emph{Theory of communication}, is concerned with both the theory and the applications of the approximation properties of sets of time and frequency shifts of a given window function. It re-emerged with the advent of wavelets at the end of the last century and is now at the intersection of many fields of mathematics, applied mathematics, engineering, and science. The goal of this paper is to give a brief introduction to Gabor analysis by elaborating on three open problems. △ Less

Submitted 12 March, 2019; v1 submitted 20 December, 2018; originally announced December 2018.

Comments: 17 pages, 3 figures. Revised version

MSC Class: 42C15; 42C4; 46C05

Bimodal Wilson systems in $L^2(\mathbb R)$

Authors: Divyang G. Bhimani, Kasso A. Okoudjou

Abstract: Given a window $φ\in L^2(\mathbb R),$ and lattice parameters $α, β>0,$ we introduce a bimodal Wilson system $\mathcal{W}(φ, α, β)$ consisting of linear combinations of at most two elements from an associated Gabor $\mathcal{G}(φ, α, β)$. For a class of window functions $φ,$ we show that the Gabor system $\mathcal{G}(φ, α, β)$ is a tight frame of redundancy $β^{-1}$ if and only if the Wilson system… ▽ More Given a window $φ\in L^2(\mathbb R),$ and lattice parameters $α, β>0,$ we introduce a bimodal Wilson system $\mathcal{W}(φ, α, β)$ consisting of linear combinations of at most two elements from an associated Gabor $\mathcal{G}(φ, α, β)$. For a class of window functions $φ,$ we show that the Gabor system $\mathcal{G}(φ, α, β)$ is a tight frame of redundancy $β^{-1}$ if and only if the Wilson system $\mathcal{W}(φ, α, β)$ is Parseval system for $L^2(\mathbb R).$ Examples of smooth rapidly decaying generators $φ$ are constructed. In addition, when $3\leq β^{-1}\in \mathbb N$, we prove that it is impossible to renormalize the elements of the constructed Parseval Wilson frame so as to get a well-localized orthonormal basis for $L^2(\mathbb R)$. △ Less

Submitted 19 December, 2018; originally announced December 2018.

Comments: 25 pages

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

Authors: A. Ganiou D. Atindehou, Christina Frederick, Yébéni B. Kouagou, Kasso A. Okoudjou

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

Submitted 25 May, 2022; v1 submitted 14 June, 2018; originally announced June 2018.

Comments: This version is a major revision and streamlined the manuscripts

MSC Class: 42C15; 42C40

Frame sets for generalized $B$-splines

Authors: A. Ganiou D. Atindehou, Yebeni B. Kouagou, Kasso A. Okoudjou

Abstract: The frame set of a function $g\in L^2(\mathbb{R})$ is the subset of all parameters $(a, b)\in \mathbb{R}^2_+$ for which the time-frequency shifts of $g$ along $a\mathbb{Z}\times b\mathbb{Z}$ form a Gabor frame for $L^2(\mathbb{R}).$ In this paper, we investigate the frame set of a class of functions that we call \emph{generalized $B-$splines} and which includes the $B-$splines. In particular, we a… ▽ More The frame set of a function $g\in L^2(\mathbb{R})$ is the subset of all parameters $(a, b)\in \mathbb{R}^2_+$ for which the time-frequency shifts of $g$ along $a\mathbb{Z}\times b\mathbb{Z}$ form a Gabor frame for $L^2(\mathbb{R}).$ In this paper, we investigate the frame set of a class of functions that we call \emph{generalized $B-$splines} and which includes the $B-$splines. In particular, we add many new points to the frame sets of these functions. In the process, we generalize and unify some recent results on the frame sets for this class of functions. △ Less

Submitted 4 June, 2018; v1 submitted 6 April, 2018; originally announced April 2018.

Comments: 23 pages, 4 figures. This is version 2, some typos where corrected, figures of dual functions are given and it is proved that the duals we constructed are discontinuous

MSC Class: 42C15

On a problem by Hans Feichtinger

Authors: Radu Balan, Kasso A. Okoudjou, Anirudha Poria

Abstract: In this paper, we solve a spectral problem about positive semi-definite trace-class pseudodifferential operators on modulation spaces which was posed by H. Feichtinger. Later, C. Heil and D. Larson rephrased the problem in the broader setting of positive semi-definite trace-class operators on a separable Hilbert space. Our solution consists in constructing a counterexample that solves Hans Feichti… ▽ More In this paper, we solve a spectral problem about positive semi-definite trace-class pseudodifferential operators on modulation spaces which was posed by H. Feichtinger. Later, C. Heil and D. Larson rephrased the problem in the broader setting of positive semi-definite trace-class operators on a separable Hilbert space. Our solution consists in constructing a counterexample that solves Hans Feichtinger's problem by first solving this second problem. △ Less

Submitted 10 December, 2018; v1 submitted 17 May, 2017; originally announced May 2017.

MSC Class: 45P05; 47B10; Secondary 42C15

Journal ref: Oper. Matrices 12(3): 881-891 (2018)

Optimal properties of the canonical tight probabilistic frame

Authors: Desai Cheng, Kasso A. Okoudjou

Abstract: A probabilistic frame is a Borel probability measure with finite second moment whose support spans $\mathbb{R}^d$. A Parseval probabilistic frame is one for which the associated matrix of the second moments is the identity matrix in $\mathbb{R}^d$. Each probabilistic frame is canonically associated to a Parseval probabilistic frame. In this paper, we show that this canonical Parseval probabilistic… ▽ More A probabilistic frame is a Borel probability measure with finite second moment whose support spans $\mathbb{R}^d$. A Parseval probabilistic frame is one for which the associated matrix of the second moments is the identity matrix in $\mathbb{R}^d$. Each probabilistic frame is canonically associated to a Parseval probabilistic frame. In this paper, we show that this canonical Parseval probabilistic frame is the closest Parseval probabilistic frame to a given probabilistic frame in the $2-$Wasserstein distance. Our proof is based on two main ingredients. On the one hand, we show that a probabilistic frame can be approximated in the $2-$Wasserstein metric with (compactly supported) finite frames whose bounds can be controlled. On the other hand, we establish some fine continuity properties of the function that maps a probabilistic frame to its canonical Parseval probabilistic frame. Our results generalize similar ones for finite frames and their associated Parseval frames. △ Less

Submitted 9 May, 2017; originally announced May 2017.

Comments: 25 pages, 3 figures

MSC Class: 42C15; 94A12; 60D05

On Wilson bases in L2(R^d)

Authors: Marcin Bownik, Mads Sielemann Jakobsen, Jakob Lemvig, Kasso A. Okoudjou

Abstract: A Wilson system is a collection of finite linear combinations of time frequency shifts of a square integrable function. In this paper we use the fact that a Wilson system is a shift-invariant system to explore its relationship with Gabor systems. It is well known that, starting from a tight Gabor frame for $L^{2}(\mathbb{R})$ with redundancy $2$, one can construct an orthonormal Wilson basis for… ▽ More A Wilson system is a collection of finite linear combinations of time frequency shifts of a square integrable function. In this paper we use the fact that a Wilson system is a shift-invariant system to explore its relationship with Gabor systems. It is well known that, starting from a tight Gabor frame for $L^{2}(\mathbb{R})$ with redundancy $2$, one can construct an orthonormal Wilson basis for $L^{2}(\mathbb{R})$ whose generator is well localized in the time-frequency plane. In this paper, we show that one can construct multi-dimensional orthonormal Wilson bases starting from tight Gabor frames of redundancy $2^k$ where $k=1, 2, ..., d$. These results generalize most of the known results about the existence of orthonormal Wilson bases. △ Less

Submitted 24 March, 2017; originally announced March 2017.

Invertibility of graph translation and support of Laplacian Fiedler vectors

Authors: Matthew Begué, Kasso A. Okoudjou

Abstract: The graph Laplacian operator is widely studied in spectral graph theory largely due to its importance in modern data analysis. Recently, the Fourier transform and other time-frequency operators have been defined on graphs using Laplacian eigenvalues and eigenvectors. We extend these results and prove that the translation operator to the $i$'th node is invertible if and only if all eigenvectors are… ▽ More The graph Laplacian operator is widely studied in spectral graph theory largely due to its importance in modern data analysis. Recently, the Fourier transform and other time-frequency operators have been defined on graphs using Laplacian eigenvalues and eigenvectors. We extend these results and prove that the translation operator to the $i$'th node is invertible if and only if all eigenvectors are nonzero on the $i$'th node. Because of this dependency on the support of eigenvectors we study the characteristic set of Laplacian eigenvectors. We prove that the Fiedler vector of a planar graph cannot vanish on large neighborhoods and then explicitly construct a family of non-planar graphs that do exhibit this property. △ Less

Submitted 16 March, 2017; originally announced March 2017.

Comments: 21 pages, 7 figures

MSC Class: 94A12; 42C15

Extension and restriction principles for the HRT conjecture

Authors: Kasso A. Okoudjou

Abstract: The HRT (Heil-Ramanathan-Topiwala) conjecture asks whether a finite collection of time-frequency shifts of a non-zero square integrable function on $\mathbb{R}$ is linearly independent. This longstanding conjecture remains largely open even in the case when the function is assumed to be smooth. Nonetheless, the conjecture has been proved for some special families of functions and/or special sets o… ▽ More The HRT (Heil-Ramanathan-Topiwala) conjecture asks whether a finite collection of time-frequency shifts of a non-zero square integrable function on $\mathbb{R}$ is linearly independent. This longstanding conjecture remains largely open even in the case when the function is assumed to be smooth. Nonetheless, the conjecture has been proved for some special families of functions and/or special sets of points. The main contribution of this paper is an inductive approach to investigate the HRT conjecture based on the following question. Suppose that the HRT is true for a given set of ($N$) points and a given function. We characterize the set of all new points such that the conjecture remains true for the same function and the set of $N+1$ points obtained by adding one of these new points to the original set. To achieve this we introduce a real-valued function whose global maximizers describe when the HRT is true. To motivate this new approach we re-derive the HRT for sets of $3$ points. Subsequently, we establish new results for points in $(1,n)$ configurations, and for a family of symmetric $(2,3)$ configurations. Furthermore, we use these results and the refinements of other known ones to prove that the HRT holds for certain families of $4$ points. In particular, we show that the HRT holds for any set of $4$ points and any real-valued Schwartz function. △ Less

Submitted 20 December, 2018; v1 submitted 27 January, 2017; originally announced January 2017.

Comments: 26 pages, 4 figures. To appear in the Journal of Fourier Analysis and Applications

MSC Class: 42C15; 42C40

Optimization methods for frame conditioning and application to graph Laplacian scaling

Authors: Radu Balan, Mathew Begué, Chae Clark, Kasso A. Okoudjou

Abstract: A frame is scalable if each of its vectors can be rescaled in such a way that the resulting set becomes a Parseval frame. In this paper, we consider four different optimization problems for determining if a frame is scalable. We offer some algorithms to solve these problems. We then apply and extend our methods to the problem of reweighing (finite) graph so as to minimize the condition number of t… ▽ More A frame is scalable if each of its vectors can be rescaled in such a way that the resulting set becomes a Parseval frame. In this paper, we consider four different optimization problems for determining if a frame is scalable. We offer some algorithms to solve these problems. We then apply and extend our methods to the problem of reweighing (finite) graph so as to minimize the condition number of the resulting Laplacian. △ Less

Submitted 15 November, 2016; v1 submitted 7 September, 2016; originally announced September 2016.

Comments: 18 pages, 3 figures. To appear in Novel methods in harmonic analysis with applications to numerical analysis and data processing", Lecture Notes ANHA Series, I. Pesenson and all Eds., Birkhauser (2017)

MSC Class: 42C15; 65F35; 90C22

Preconditioning techniques in frame theory and probabilistic frames

Authors: Kasso A. Okoudjou

Abstract: In this chapter we survey two topics that have recently been investigated in frame theory. First, we give an overview of the class of scalable frames. These are (finite) frames with the property that each frame vector can be rescaled in such a way that the resulting frames are tight. This process can be thought of as a preconditioning method for finite frames. In particular, we: (1) describe the c… ▽ More In this chapter we survey two topics that have recently been investigated in frame theory. First, we give an overview of the class of scalable frames. These are (finite) frames with the property that each frame vector can be rescaled in such a way that the resulting frames are tight. This process can be thought of as a preconditioning method for finite frames. In particular, we: (1) describe the class of scalable frames; (2) formulate various equivalent characterizations of scalable frames, and relate the scalability problem to the Fritz John ellipsoid theorem. Next, we discuss some results on a probabilistic interpretation of frames. In this setting, we: (4) define probabilistic frames as a generalization of frames and as a subclass of continuous frames; (5) review the properties of certain potential functions whose minimizers are frames with certain optimality properties. The chapter is based on a lecture given by the author at the AMS 2015 Short Course on Finite Frame Theory: A Complete Introduction to Overcompleteness. △ Less

Submitted 16 January, 2016; v1 submitted 8 April, 2015; originally announced April 2015.

Comments: Final version of a manuscript based on a lecture I gave at the AMS 2015 Short Course on Finite Frame Theory: A Complete Introduction to Overcompleteness. To appear in Finite Frame Theory: A Complete Introduction to Overcompleteness, Proceedings of Symposia in Applied Mathematics, AMS

MSC Class: 42C15; 52A20; 52B11

Boundedness of multilinear pseudo-differential operators on modulation spaces

Authors: Shahla Molahajloo, Kasso A. Okoudjou, Götz E. Pfander

Abstract: Boundedness results for multilinear pseudodifferential operators on products of modulation spaces are derived based on ordered integrability conditions on the short-time Fourier transform of the operators' symbols. The flexibility and strength of the introduced methods is demonstrated by their application to the bilinear and trilinear Hilbert transform. Boundedness results for multilinear pseudodifferential operators on products of modulation spaces are derived based on ordered integrability conditions on the short-time Fourier transform of the operators' symbols. The flexibility and strength of the introduced methods is demonstrated by their application to the bilinear and trilinear Hilbert transform. △ Less

Submitted 11 February, 2015; originally announced February 2015.

Comments: 29 pages, journal submission

MSC Class: 7G30; Secondary 35S99; 42A45; 42B15; 42B35

Scalable Probabilistic Frames

Authors: Clare Wickman Lau, Kasso A. Okoudjou

Abstract: We consider the problem of rescaling the lengths of a finite frame thereby transforming it into a tight one. Such frames are called scalable and have received a lot of attention in recent years. In this note we investigate the question in terms of probabilistic frames and give conditions under which a (discrete) probabilistic frame is scalable. We consider the problem of rescaling the lengths of a finite frame thereby transforming it into a tight one. Such frames are called scalable and have received a lot of attention in recent years. In this note we investigate the question in terms of probabilistic frames and give conditions under which a (discrete) probabilistic frame is scalable. △ Less

Submitted 19 August, 2016; v1 submitted 28 January, 2015; originally announced January 2015.

Comments: This paper has been withdrawn due to an error

On Optimal Frame Conditioners

Authors: Chae A. Clark, Kasso A. Okoudjou

Abstract: A (unit norm) frame is scalable if its vectors can be rescaled so as to result into a tight frame. Tight frames can be considered optimally conditioned because the condition number of their frame operators is unity. In this paper we reformulate the scalability problem as a convex optimization question. In particular, we present examples of various formulations of the problem along with numerical r… ▽ More A (unit norm) frame is scalable if its vectors can be rescaled so as to result into a tight frame. Tight frames can be considered optimally conditioned because the condition number of their frame operators is unity. In this paper we reformulate the scalability problem as a convex optimization question. In particular, we present examples of various formulations of the problem along with numerical results obtained by using our methods on randomly generated frames. △ Less

Submitted 26 January, 2015; originally announced January 2015.

Comments: 11 pages

MSC Class: 65K06 (Primary); 65F06; 65Y06; 52A06; 90C06; 90C08 (Secondary)

Scaling Laplacian Pyramids

Authors: Youngmi Hur, Kasso A. Okoudjou

Abstract: Laplacian pyramid based Laurent polynomial (LP$^2$) matrices are generated by Laurent polynomial column vectors and have long been studied in connection with Laplacian pyramidal algorithms in Signal Processing. In this paper, we investigate when such matrices are scalable, that is when right multiplication by Laurent polynomial diagonal matrices results in paraunitary matrices. The notion of scala… ▽ More Laplacian pyramid based Laurent polynomial (LP$^2$) matrices are generated by Laurent polynomial column vectors and have long been studied in connection with Laplacian pyramidal algorithms in Signal Processing. In this paper, we investigate when such matrices are scalable, that is when right multiplication by Laurent polynomial diagonal matrices results in paraunitary matrices. The notion of scalability has recently been introduced in the context of finite frame theory and can be considered as a preconditioning method for frames. This paper significantly extends the current research on scalable frames to the setting of polyphase representations of filter banks. Furthermore, as applications of our main results we propose new construction methods for tight wavelet filter banks and tight wavelet frames. △ Less

Submitted 30 January, 2015; v1 submitted 22 September, 2014; originally announced September 2014.

Comments: Version accepted for publication in SIAM Journal on Matrix Analysis and Applications

MSC Class: 11C99; 42C15; 42C40

Some spectral properties of pseudo-differential operators on the Sierpinski Gasket

Authors: Marius Ionescu, Kasso A. Okoudjou, Luke G. Rogers

Abstract: We prove versions of the strong Szëgo limit theorem for certain classes of pseudodifferential operators defined on the Sierpiński gasket. Our results used in a fundamental way the existence of localized eigenfunctions for the Laplacian on this fractal. We prove versions of the strong Szëgo limit theorem for certain classes of pseudodifferential operators defined on the Sierpiński gasket. Our results used in a fundamental way the existence of localized eigenfunctions for the Laplacian on this fractal. △ Less

Submitted 19 June, 2014; originally announced June 2014.

Comments: Analysis on fractals, localized eigenfunctions, Sierpiński gasket, Szëgo limit theorem

MSC Class: Primary 35P20; 28A80; Secondary 42C99; 81Q10

Measures of scalability

Authors: Xuemei Chen, Gitta Kutyniok, Kasso A. Okoudjou, Friedrich Philipp, Rongrong Wang

Abstract: Scalable frames are frames with the property that the frame vectors can be rescaled resulting in tight frames. However, if a frame is not scalable, one has to aim for an approximate procedure. For this, in this paper we introduce three novel quantitative measures of the closeness to scalability for frames in finite dimensional real Euclidean spaces. Besides the natural measure of scalability given… ▽ More Scalable frames are frames with the property that the frame vectors can be rescaled resulting in tight frames. However, if a frame is not scalable, one has to aim for an approximate procedure. For this, in this paper we introduce three novel quantitative measures of the closeness to scalability for frames in finite dimensional real Euclidean spaces. Besides the natural measure of scalability given by the distance of a frame to the set of scalable frames, another measure is obtained by optimizing a quadratic functional, while the third is given by the volume of the ellipsoid of minimal volume containing the symmetrized frame. After proving that these measures are equivalent in a certain sense, we establish bounds on the probability of a randomly selected frame to be scalable. In the process, we also derive new necessary and sufficient conditions for a frame to be scalable. △ Less

Submitted 9 June, 2014; originally announced June 2014.

Comments: 27 pages, 5 figures

MSC Class: 42C15; 52A20; 52B11

Scalable Frames and Convex Geometry

Authors: Gitta Kutyniok, Kasso A. Okoudjou, Friedrich Philipp

Abstract: The recently introduced and characterized scalable frames can be considered as those frames which allow for perfect preconditioning in the sense that the frame vectors can be rescaled to yield a tight frame. In this paper we define $m$-scalability, a refinement of scalability based on the number of non-zero weights used in the rescaling process, and study the connection between this notion and ele… ▽ More The recently introduced and characterized scalable frames can be considered as those frames which allow for perfect preconditioning in the sense that the frame vectors can be rescaled to yield a tight frame. In this paper we define $m$-scalability, a refinement of scalability based on the number of non-zero weights used in the rescaling process, and study the connection between this notion and elements from convex geometry. Finally, we provide results on the topology of scalable frames. In particular, we prove that the set of scalable frames with "small" redundancy is nowhere dense in the set of frames. △ Less

Submitted 1 February, 2014; v1 submitted 30 October, 2013; originally announced October 2013.

Comments: 14 pages, to appear in Contemporary Math

MSC Class: 42C15; 52B11; 15A03; 65F08

Scalable Frames

Authors: Gitta Kutyniok, Kasso A. Okoudjou, Friedrich Philipp, Elizabeth K. Tuley

Abstract: Tight frames can be characterized as those frames which possess optimal numerical stability properties. In this paper, we consider the question of modifying a general frame to generate a tight frame by rescaling its frame vectors; a process which can also be regarded as perfect preconditioning of a frame by a diagonal operator. A frame is called scalable, if such a diagonal operator exists. We der… ▽ More Tight frames can be characterized as those frames which possess optimal numerical stability properties. In this paper, we consider the question of modifying a general frame to generate a tight frame by rescaling its frame vectors; a process which can also be regarded as perfect preconditioning of a frame by a diagonal operator. A frame is called scalable, if such a diagonal operator exists. We derive various characterizations of scalable frames, thereby including the infinite-dimensional situation. Finally, we provide a geometric interpretation of scalability in terms of conical surfaces. △ Less

Submitted 15 April, 2012; v1 submitted 9 April, 2012; originally announced April 2012.

Comments: 19 pages

MSC Class: 12D10; 14P05; 15A03; 15A12; 42C15; 65F08

Prime tight frames

Authors: Jakob Lemvig, Christopher Miller, Kasso A. Okoudjou

Abstract: We introduce a class of finite tight frames called prime tight frames and prove some of their elementary properties. In particular, we show that any finite tight frame can be written as a union of prime tight frames. We then characterize all prime harmonic tight frames and use this characterization to suggest effective analysis and synthesis computation strategies for such frames. Finally, we desc… ▽ More We introduce a class of finite tight frames called prime tight frames and prove some of their elementary properties. In particular, we show that any finite tight frame can be written as a union of prime tight frames. We then characterize all prime harmonic tight frames and use this characterization to suggest effective analysis and synthesis computation strategies for such frames. Finally, we describe all prime frames constructed from the spectral tetris method, and, as a byproduct, we obtain a characterization of when the spectral tetris construction works for redundancies below two. △ Less

Submitted 29 July, 2012; v1 submitted 28 February, 2012; originally announced February 2012.

MSC Class: 42C15

Orthogonal Polynomials on the Sierpinski Gasket

Authors: Kasso A. Okoudjou, Robert S. Strichartz, Elizabeth K. Tuley

Abstract: The construction of a Laplacian on a class of fractals which includes the Sierpinski gasket ({\bf $SG$}) has given rise to an intensive research on analysis on fractals. For instance, a complete theory of polynomials and power series on $SG$ has been developed by one of us and his coauthors. We build on this body of work to construct certain analogs of classical orthogonal polynomials (OP) on… ▽ More The construction of a Laplacian on a class of fractals which includes the Sierpinski gasket ({\bf $SG$}) has given rise to an intensive research on analysis on fractals. For instance, a complete theory of polynomials and power series on $SG$ has been developed by one of us and his coauthors. We build on this body of work to construct certain analogs of classical orthogonal polynomials (OP) on $SG$. In particular, we investigate key properties of these OP on $SG$, including a three-term recursion formula and the asymptotics of the coefficients appearing in this recursion. Moreover, we develop numerical tools that allow us to graph a number of these OP. Finally, we use these numerical tools to investigate the structure of the zero and the nodal sets of these polynomials. △ Less

Submitted 9 July, 2012; v1 submitted 7 October, 2011; originally announced October 2011.

Comments: 29 pages, 10 figures, 2 tables. Include short version of previous section 5 in subsection 4.4; correct typos, reduce the number of figures

MSC Class: 42C05; 28A80; 33F05; 33A99

Multi-window Gabor frames in amalgam spaces

Authors: Radu Balan, Jens G. Christensen, Ilya A. Krishtal, Kasso A. Okoudjou, José Luis Romero

Abstract: We show that multi-window Gabor frames with windows in the Wiener algebra $W(L^{\infty}, \ell^{1})$ are Banach frames for all Wiener amalgam spaces. As a byproduct of our results we positively answer an open question that was posed by [Krishtal and Okoudjou, Invertibility of the Gabor frame operator on the Wiener amalgam space, J. Approx. Theory, 153(2), 2008] and concerns the continuity of the ca… ▽ More We show that multi-window Gabor frames with windows in the Wiener algebra $W(L^{\infty}, \ell^{1})$ are Banach frames for all Wiener amalgam spaces. As a byproduct of our results we positively answer an open question that was posed by [Krishtal and Okoudjou, Invertibility of the Gabor frame operator on the Wiener amalgam space, J. Approx. Theory, 153(2), 2008] and concerns the continuity of the canonical dual of a Gabor frame with a continuous generator in the Wiener algebra. The proofs are based on a recent version of Wiener's $1/f$ lemma. △ Less

Submitted 30 December, 2013; v1 submitted 30 August, 2011; originally announced August 2011.

Comments: 17 pages

MSC Class: 42C15; 42A65; 47B38

Journal ref: Math. Res. Lett., 21(1), 2014, pp. 55--69

Probabilistic frames: An overview

Authors: Martin Ehler, Kasso A. Okoudjou

Abstract: Finite frames can be viewed as mass points distributed in $N$-dimensional Euclidean space. As such they form a subclass of a larger and rich class of probability measures that we call probabilistic frames. We derive the basic properties of probabilistic frames, and we characterize one of their subclasses in terms of minimizers of some appropriate potential function. In addition, we survey a range… ▽ More Finite frames can be viewed as mass points distributed in $N$-dimensional Euclidean space. As such they form a subclass of a larger and rich class of probability measures that we call probabilistic frames. We derive the basic properties of probabilistic frames, and we characterize one of their subclasses in terms of minimizers of some appropriate potential function. In addition, we survey a range of areas where probabilistic frames, albeit, under different names, appear. These areas include directional statistics, the geometry of convex bodies, and the theory of t-designs. △ Less

Submitted 10 August, 2011; originally announced August 2011.

MSC Class: 42C15

Minimization of the Probabilistic p-frame Potential

Authors: Martin Ehler, Kasso A. Okoudjou

Abstract: We investigate the optimal configurations of n points on the unit sphere for a class of potential functions. In particular, we characterize these optimal configurations in terms of their approximation properties within frame theory. Furthermore, we consider similar optimal configurations in terms of random distributions of points on the sphere. In this probabilistic setting, we characterize these… ▽ More We investigate the optimal configurations of n points on the unit sphere for a class of potential functions. In particular, we characterize these optimal configurations in terms of their approximation properties within frame theory. Furthermore, we consider similar optimal configurations in terms of random distributions of points on the sphere. In this probabilistic setting, we characterize these optimal distributions by means of special classes of probabilistic frames. Our work also indicates some connections between statistical shape analysis and frame theory. △ Less

Submitted 20 April, 2011; v1 submitted 30 December, 2010; originally announced January 2011.

MSC Class: 42C15; 42A61; 60B05

Szego limit theorems on the Sierpinski gasket

Authors: Kasso A. Okoudjou, Luke G. Rogers, Robert S. Strichartz

Abstract: We use the existence of localized eigenfunctions of the Laplacian on the Sierpinski gasket to formulate and prove analogues of the strong Szego limit theorem in this fractal setting. Furthermore, we recast some of our results in terms of equally distributed sequences. We use the existence of localized eigenfunctions of the Laplacian on the Sierpinski gasket to formulate and prove analogues of the strong Szego limit theorem in this fractal setting. Furthermore, we recast some of our results in terms of equally distributed sequences. △ Less

Submitted 13 October, 2008; originally announced October 2008.

Comments: 14 pages

MSC Class: 35P20

Frame potential and finite abelian groups

Authors: Brody D. Johnson, Kasso A. Okoudjou

Abstract: This article continues a prior investigation of the authors with the goal of extending characterization results of convolutional tight frames from the context of cyclic groups to general finite abelian groups. The collections studied are formed by translating a number of \emph{generators} by elements of a fixed subgroup and it is shown, under certain norm conditions, that tight frames with this… ▽ More This article continues a prior investigation of the authors with the goal of extending characterization results of convolutional tight frames from the context of cyclic groups to general finite abelian groups. The collections studied are formed by translating a number of \emph{generators} by elements of a fixed subgroup and it is shown, under certain norm conditions, that tight frames with this structure are characterized as local minimizers of the frame potential. Natural analogs to the downsampling and upsampling operators of finite cyclic groups are studied for arbitrary subgroups of finite abelian groups. Directions of further study are also proposed. △ Less

Submitted 24 January, 2008; originally announced January 2008.

MSC Class: 42C40

A Beurling-Helson type theorem for modulation spaces

Authors: Kasso A Okoudjou

Abstract: We prove a Beurling-Helson type theorem on modulation spaces. More precisely, we show that the only $\mathcal{C}^{1}$ changes of variables that leave invariant the modulation spaces $\M{p,q}(\rd)$ are affine functions on $\rd$. A special case of our result involving the Sjöstrand algebra was considered earlier by A. Boulkhemair. We prove a Beurling-Helson type theorem on modulation spaces. More precisely, we show that the only $\mathcal{C}^{1}$ changes of variables that leave invariant the modulation spaces $\M{p,q}(\rd)$ are affine functions on $\rd$. A special case of our result involving the Sjöstrand algebra was considered earlier by A. Boulkhemair. △ Less

Submitted 8 January, 2008; originally announced January 2008.

MSC Class: 42B15; 42A45; 42B35

Invertibility of the Gabor frame operator on the Wiener amalgam space

Authors: Ilya A. Krishtal, Kasso A. Okoudjou

Abstract: We use a generalization of Wiener's $1/f$ theorem to prove that for a Gabor frame with the generator in the Wiener amalgam space $W(L^{\infty}, \ell^{1}_ν)(\mathbb{R}^{d})$, the corresponding frame operator is invertible on this space. Therefore, for such a Gabor frame, the generator of the canonical dual belongs also to $W(L^{\infty}, \ell^{1}_ν)(\mathbb{R}^{d}) $ We use a generalization of Wiener's $1/f$ theorem to prove that for a Gabor frame with the generator in the Wiener amalgam space $W(L^{\infty}, \ell^{1}_ν)(\mathbb{R}^{d})$, the corresponding frame operator is invertible on this space. Therefore, for such a Gabor frame, the generator of the canonical dual belongs also to $W(L^{\infty}, \ell^{1}_ν)(\mathbb{R}^{d}) $ △ Less

Submitted 9 May, 2007; originally announced May 2007.

MSC Class: 42C15; 42A65; 47B38

Local well-posedness of nonlinear dispersive equations on modulation spaces

Authors: Árpád Bényi, Kasso A. Okoudjou

Abstract: By using tools of time-frequency analysis, we obtain some improved local well-posedness results for the NLS, NLW and NLKG equations with Cauchy data in modulation spaces $M{p, 1}_{0,s}$. By using tools of time-frequency analysis, we obtain some improved local well-posedness results for the NLS, NLW and NLKG equations with Cauchy data in modulation spaces $M{p, 1}_{0,s}$. △ Less

Submitted 6 April, 2007; originally announced April 2007.

Comments: 11 pages

MSC Class: 35Q55 (Primary); 35C15; 42B15; 42B35 (Secondary)