Applied and Computational Harmonic Analysis最新文献

{"title":"On the concentration of Gaussian Cayley matrices","authors":"Afonso S. Bandeira ,&nbsp;Dmitriy Kunisky ,&nbsp;Dustin G. Mixon ,&nbsp;Xinmeng Zeng","doi":"10.1016/j.acha.2024.101694","DOIUrl":"10.1016/j.acha.2024.101694","url":null,"abstract":"<div><p>Given a finite group, we study the Gaussian series of the matrices in the image of its left regular representation. We propose such random matrices as a benchmark for improvements to the noncommutative Khintchine inequality, and we highlight an application to the matrix Spencer conjecture.</p></div>","PeriodicalId":55504,"journal":{"name":"Applied and Computational Harmonic Analysis","volume":"73 ","pages":"Article 101694"},"PeriodicalIF":2.6,"publicationDate":"2024-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141910741","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"A lower bound for the Balan–Jiang matrix problem","authors":"Afonso S. Bandeira ,&nbsp;Dustin G. Mixon ,&nbsp;Stefan Steinerberger","doi":"10.1016/j.acha.2024.101696","DOIUrl":"10.1016/j.acha.2024.101696","url":null,"abstract":"<div><p>We prove the existence of a positive semidefinite matrix <span><math><mi>A</mi><mo>∈</mo><msup><mrow><mi>R</mi></mrow><mrow><mi>n</mi><mo>×</mo><mi>n</mi></mrow></msup></math></span> such that any decomposition into rank-1 matrices has to have factors with a large <span><math><msup><mrow><mi>ℓ</mi></mrow><mrow><mn>1</mn></mrow></msup><mo>−</mo></math></span>norm, more precisely<span><span><span><math><munder><mo>∑</mo><mrow><mi>k</mi></mrow></munder><msub><mrow><mi>x</mi></mrow><mrow><mi>k</mi></mrow></msub><msubsup><mrow><mi>x</mi></mrow><mrow><mi>k</mi></mrow><mrow><mo>⁎</mo></mrow></msubsup><mo>=</mo><mi>A</mi><mspace></mspace><mo>⇒</mo><mspace></mspace><munder><mo>∑</mo><mrow><mi>k</mi></mrow></munder><msubsup><mrow><mo>‖</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>‖</mo></mrow><mrow><mn>1</mn></mrow><mrow><mn>2</mn></mrow></msubsup><mo>≥</mo><mi>c</mi><msqrt><mrow><mi>n</mi></mrow></msqrt><msub><mrow><mo>‖</mo><mi>A</mi><mo>‖</mo></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo></math></span></span></span> where <em>c</em> is independent of <em>n</em>. This provides a lower bound for the Balan–Jiang matrix problem. The construction is probabilistic.</p></div>","PeriodicalId":55504,"journal":{"name":"Applied and Computational Harmonic Analysis","volume":"73 ","pages":"Article 101696"},"PeriodicalIF":2.6,"publicationDate":"2024-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141978297","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Needlets liberated","authors":"Johann S. Brauchart ,&nbsp;Peter J. Grabner ,&nbsp;Ian H. Sloan ,&nbsp;Robert S. Womersley","doi":"10.1016/j.acha.2024.101693","DOIUrl":"10.1016/j.acha.2024.101693","url":null,"abstract":"<div><p>Spherical needlets were introduced by Narcowich, Petrushev, and Ward to provide a multiresolution sequence of polynomial approximations to functions on the sphere. The needlet construction makes use of integration rules that are exact for polynomials up to a given degree. The aim of the present paper is to relax the exactness of the integration rules by replacing them with QMC designs as introduced by Brauchart, Saff, Sloan, and Womersley (2014). Such integration rules (generalised here by allowing non-equal cubature weights) provide the same asymptotic order of convergence as exact rules for Sobolev spaces <span><math><msup><mrow><mi>H</mi></mrow><mrow><mi>s</mi></mrow></msup></math></span>, but are easier to obtain numerically. With such rules we construct “generalised needlets”. The paper provides an error analysis that allows the replacement of the original needlets by generalised needlets, and more generally, analyses a hybrid scheme in which the needlets for the lower levels are of the traditional kind, whereas the new generalised needlets are used for some number of higher levels. Numerical experiments complete the paper.</p></div>","PeriodicalId":55504,"journal":{"name":"Applied and Computational Harmonic Analysis","volume":"73 ","pages":"Article 101693"},"PeriodicalIF":2.6,"publicationDate":"2024-08-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S1063520324000708/pdfft?md5=9a180ff7ceb60a51f1d46ba86c076b69&pid=1-s2.0-S1063520324000708-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141910765","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Short-time Fourier transform and superoscillations","authors":"Daniel Alpay ,&nbsp;Antonino De Martino ,&nbsp;Kamal Diki ,&nbsp;Daniele C. Struppa","doi":"10.1016/j.acha.2024.101689","DOIUrl":"10.1016/j.acha.2024.101689","url":null,"abstract":"<div><p>In this paper we investigate new results on the theory of superoscillations using time-frequency analysis tools and techniques such as the short-time Fourier transform (STFT) and the Zak transform. We start by studying how the short-time Fourier transform acts on superoscillation sequences. We then apply the supershift property to prove that the short-time Fourier transform preserves the superoscillatory behavior by taking the limit. It turns out that these computations lead to interesting connections with various features of time-frequency analysis such as Gabor spaces, Gabor kernels, Gabor frames, 2D-complex Hermite polynomials, and polyanalytic functions. We treat different cases depending on the choice of the window function moving from the general case to more specific cases involving the Gaussian and the Hermite windows. We consider also an evolution problem with an initial datum given by superoscillation multiplied by the time-frequency shifts of a generic window function. Finally, we compute the action of STFT on the approximating sequences with a given Hermite window.</p></div>","PeriodicalId":55504,"journal":{"name":"Applied and Computational Harmonic Analysis","volume":"73 ","pages":"Article 101689"},"PeriodicalIF":2.6,"publicationDate":"2024-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S1063520324000666/pdfft?md5=96fd7a993bcf9429a7aae8f923cc37d9&pid=1-s2.0-S1063520324000666-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141841959","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Local structure and effective dimensionality of time series data sets","authors":"Monika Dörfler,&nbsp;Franz Luef,&nbsp;Eirik Skrettingland","doi":"10.1016/j.acha.2024.101692","DOIUrl":"10.1016/j.acha.2024.101692","url":null,"abstract":"<div><p>The goal of this paper is to develop novel tools for understanding the local structure of systems of functions, e.g. time-series data points. The proposed tools include a total correlation function, the Cohen class of the data set, the data operator and the average lack of concentration. The Cohen class of the data operator gives a time-frequency representation of the data set. Furthermore, we show that the von Neumann entropy of the data operator captures local features of the data set and that it is related to the notion of effective dimensionality. The accumulated Cohen class of the data operator gives us a low-dimensional representation of the data set and we quantify this in terms of the average lack of concentration and the von Neumann entropy of the data operator and an improvement of the Berezin-Lieb inequality using the projection functional of the data augmentation operator. The framework for our approach is provided by quantum harmonic analysis.</p></div>","PeriodicalId":55504,"journal":{"name":"Applied and Computational Harmonic Analysis","volume":"73 ","pages":"Article 101692"},"PeriodicalIF":2.6,"publicationDate":"2024-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S1063520324000691/pdfft?md5=44281e1bf43209bd5a937cf474a8b490&pid=1-s2.0-S1063520324000691-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141891937","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Embeddings between Barron spaces with higher-order activation functions","authors":"Tjeerd Jan Heeringa ,&nbsp;Len Spek ,&nbsp;Felix L. Schwenninger ,&nbsp;Christoph Brune","doi":"10.1016/j.acha.2024.101691","DOIUrl":"10.1016/j.acha.2024.101691","url":null,"abstract":"<div><p>The approximation properties of infinitely wide shallow neural networks heavily depend on the choice of the activation function. To understand this influence, we study embeddings between Barron spaces with different activation functions. These embeddings are proven by providing push-forward maps on the measures <em>μ</em> used to represent functions <em>f</em>. An activation function of particular interest is the rectified power unit (RePU) given by <span><math><msub><mrow><mi>RePU</mi></mrow><mrow><mi>s</mi></mrow></msub><mo>(</mo><mi>x</mi><mo>)</mo><mo>=</mo><mi>max</mi><mo>⁡</mo><msup><mrow><mo>(</mo><mn>0</mn><mo>,</mo><mi>x</mi><mo>)</mo></mrow><mrow><mi>s</mi></mrow></msup></math></span>. For many commonly used activation functions, the well-known Taylor remainder theorem can be used to construct a push-forward map, which allows us to prove the embedding of the associated Barron space into a Barron space with a RePU as activation function. Moreover, the Barron spaces associated with the <span><math><msub><mrow><mi>RePU</mi></mrow><mrow><mi>s</mi></mrow></msub></math></span> have a hierarchical structure similar to the Sobolev spaces <span><math><msup><mrow><mi>H</mi></mrow><mrow><mi>s</mi></mrow></msup></math></span>.</p></div>","PeriodicalId":55504,"journal":{"name":"Applied and Computational Harmonic Analysis","volume":"73 ","pages":"Article 101691"},"PeriodicalIF":2.6,"publicationDate":"2024-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S106352032400068X/pdfft?md5=d7b9ed667155aca5daca913402281afb&pid=1-s2.0-S106352032400068X-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141992699","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"EDMD for expanding circle maps and their complex perturbations","authors":"Oscar F. Bandtlow ,&nbsp;Wolfram Just ,&nbsp;Julia Slipantschuk","doi":"10.1016/j.acha.2024.101690","DOIUrl":"10.1016/j.acha.2024.101690","url":null,"abstract":"<div><p>We show that spectral data of the Koopman operator arising from an analytic expanding circle map <em>τ</em> can be effectively calculated using an EDMD-type algorithm combining a collocation method of order <em>m</em> with a Galerkin method of order <em>n</em>. The main result is that if <span><math><mi>m</mi><mo>≥</mo><mi>δ</mi><mi>n</mi></math></span>, where <em>δ</em> is an explicitly given positive number quantifying by how much <em>τ</em> expands concentric annuli containing the unit circle, then the method converges and approximates the spectrum of the Koopman operator, taken to be acting on a space of analytic hyperfunctions, exponentially fast in <em>n</em>. Additionally, these results extend to more general expansive maps on suitable annuli containing the unit circle.</p></div>","PeriodicalId":55504,"journal":{"name":"Applied and Computational Harmonic Analysis","volume":"73 ","pages":"Article 101690"},"PeriodicalIF":2.6,"publicationDate":"2024-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S1063520324000678/pdfft?md5=19289db18c6f007b7c00dd403231dfce&pid=1-s2.0-S1063520324000678-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141891939","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Matrix recovery from permutations","authors":"Manolis C. Tsakiris","doi":"10.1016/j.acha.2024.101688","DOIUrl":"10.1016/j.acha.2024.101688","url":null,"abstract":"<div><p>In data science, a number of applications have been emerging involving data recovery from permutations. Here, we study this problem theoretically for data organized in a rank-deficient matrix. Specifically, we give unique recovery guarantees for matrices of bounded rank that have undergone arbitrary permutations of their entries. We use methods and results of commutative algebra and algebraic geometry, for which we include a preparation for a general audience.</p></div>","PeriodicalId":55504,"journal":{"name":"Applied and Computational Harmonic Analysis","volume":"73 ","pages":"Article 101688"},"PeriodicalIF":2.6,"publicationDate":"2024-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141711977","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Computing sparse Fourier sum of squares on finite abelian groups in quasi-linear time","authors":"Jianting Yang ,&nbsp;Ke Ye ,&nbsp;Lihong Zhi","doi":"10.1016/j.acha.2024.101686","DOIUrl":"10.1016/j.acha.2024.101686","url":null,"abstract":"<div><p>The problem of verifying the nonnegativity of a function on a finite abelian group is a long-standing challenging problem. The basic representation theory of finite groups indicates that a function <em>f</em> on a finite abelian group <em>G</em> can be written as a linear combination of characters of irreducible representations of <em>G</em> by <span><math><mi>f</mi><mo>(</mo><mi>x</mi><mo>)</mo><mo>=</mo><msub><mrow><mo>∑</mo></mrow><mrow><mi>χ</mi><mo>∈</mo><mover><mrow><mi>G</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></mrow></msub><mover><mrow><mi>f</mi></mrow><mrow><mo>ˆ</mo></mrow></mover><mo>(</mo><mi>χ</mi><mo>)</mo><mi>χ</mi><mo>(</mo><mi>x</mi><mo>)</mo></math></span>, where <span><math><mover><mrow><mi>G</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></math></span> is the dual group of <em>G</em> consisting of all characters of <em>G</em> and <span><math><mover><mrow><mi>f</mi></mrow><mrow><mo>ˆ</mo></mrow></mover><mo>(</mo><mi>χ</mi><mo>)</mo></math></span> is the <em>Fourier coefficient</em> of <em>f</em> at <span><math><mi>χ</mi><mo>∈</mo><mover><mrow><mi>G</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></math></span>. In this paper, we show that by performing the fast (inverse) Fourier transform, we are able to compute a sparse Fourier sum of squares (FSOS) certificate of <em>f</em> on a finite abelian group <em>G</em> with complexity that is quasi-linear in the order of <em>G</em> and polynomial in the FSOS sparsity of <em>f</em>. Moreover, for a nonnegative function <em>f</em> on a finite abelian group <em>G</em> and a subset <span><math><mi>S</mi><mo>⊆</mo><mover><mrow><mi>G</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></math></span>, we give a lower bound of the constant <em>M</em> such that <span><math><mi>f</mi><mo>+</mo><mi>M</mi></math></span> admits an FSOS supported on <em>S</em>. We demonstrate the efficiency of the proposed algorithm by numerical experiments on various abelian groups of orders up to 10⁷. As applications, we also solve some combinatorial optimization problems and the sum of Hermitian squares (SOHS) problem by sparse FSOS.</p></div>","PeriodicalId":55504,"journal":{"name":"Applied and Computational Harmonic Analysis","volume":"73 ","pages":"Article 101686"},"PeriodicalIF":2.6,"publicationDate":"2024-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141623688","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"On the accuracy of Prony's method for recovery of exponential sums with closely spaced exponents","authors":"Rami Katz ,&nbsp;Nuha Diab ,&nbsp;Dmitry Batenkov","doi":"10.1016/j.acha.2024.101687","DOIUrl":"10.1016/j.acha.2024.101687","url":null,"abstract":"<div><p>In this paper we establish accuracy bounds of Prony's method (PM) for recovery of sparse measures from incomplete and noisy frequency measurements, or the so-called problem of super-resolution, when the minimal separation between the points in the support of the measure may be much smaller than the Rayleigh limit. In particular, we show that PM is optimal with respect to the previously established min-max bound for the problem, in the setting when the measurement bandwidth is constant, with the minimal separation going to zero. Our main technical contribution is an accurate analysis of the inter-relations between the different errors in each step of PM, resulting in previously unnoticed cancellations. We also prove that PM is numerically stable in finite-precision arithmetic. We believe our analysis will pave the way to providing accurate analysis of known algorithms for the super-resolution problem in full generality.</p></div>","PeriodicalId":55504,"journal":{"name":"Applied and Computational Harmonic Analysis","volume":"73 ","pages":"Article 101687"},"PeriodicalIF":2.6,"publicationDate":"2024-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141630145","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}