Pub Date : 2024-11-06DOI: 10.1016/j.jfa.2024.110734
Liam Mazurowski
We show that a Weyl law holds for the variational spectrum of the p-Laplacian. More precisely, let be the variational spectrum of on a closed Riemannian manifold and let be the associated counting function. Then we have a Weyl law This confirms a conjecture of Friedlander. The proof is based on ideas of Gromov [5] and Liokumovich, Marques, Neves [7].
{"title":"A Weyl law for the p-Laplacian","authors":"Liam Mazurowski","doi":"10.1016/j.jfa.2024.110734","DOIUrl":"10.1016/j.jfa.2024.110734","url":null,"abstract":"<div><div>We show that a Weyl law holds for the variational spectrum of the <em>p</em>-Laplacian. More precisely, let <span><math><msubsup><mrow><mo>(</mo><msub><mrow><mi>λ</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>)</mo></mrow><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mo>∞</mo></mrow></msubsup></math></span> be the variational spectrum of <span><math><msub><mrow><mi>Δ</mi></mrow><mrow><mi>p</mi></mrow></msub></math></span> on a closed Riemannian manifold <span><math><mo>(</mo><mi>X</mi><mo>,</mo><mi>g</mi><mo>)</mo></math></span> and let <span><math><mi>N</mi><mo>(</mo><mi>λ</mi><mo>)</mo><mo>=</mo><mi>#</mi><mo>{</mo><mi>i</mi><mo>:</mo><mspace></mspace><msub><mrow><mi>λ</mi></mrow><mrow><mi>i</mi></mrow></msub><mo><</mo><mi>λ</mi><mo>}</mo></math></span> be the associated counting function. Then we have a Weyl law<span><span><span><math><mi>N</mi><mo>(</mo><mi>λ</mi><mo>)</mo><mo>∼</mo><mi>c</mi><mi>vol</mi><mo>(</mo><mi>X</mi><mo>)</mo><msup><mrow><mi>λ</mi></mrow><mrow><mi>n</mi><mo>/</mo><mi>p</mi></mrow></msup><mo>.</mo></math></span></span></span> This confirms a conjecture of Friedlander. The proof is based on ideas of Gromov <span><span>[5]</span></span> and Liokumovich, Marques, Neves <span><span>[7]</span></span>.</div></div>","PeriodicalId":15750,"journal":{"name":"Journal of Functional Analysis","volume":"288 3","pages":"Article 110734"},"PeriodicalIF":1.7,"publicationDate":"2024-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142659889","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}
Pub Date : 2024-11-06DOI: 10.1016/j.jfa.2024.110741
Dmitry Faifman , Thomas Wannerer
Alesker has proved the existence of a remarkable isomorphism of the space of translation-invariant smooth valuations that has the same functorial properties as the classical Fourier transform. In this paper, we show how to directly describe this isomorphism in terms of the Fourier transform on functions. As a consequence, we obtain simple proofs of the main properties of the Alesker–Fourier transform. One of these properties was previously only conjectured by Alesker and is proved here for the first time.
{"title":"The Fourier transform on valuations is the Fourier transform","authors":"Dmitry Faifman , Thomas Wannerer","doi":"10.1016/j.jfa.2024.110741","DOIUrl":"10.1016/j.jfa.2024.110741","url":null,"abstract":"<div><div>Alesker has proved the existence of a remarkable isomorphism of the space of translation-invariant smooth valuations that has the same functorial properties as the classical Fourier transform. In this paper, we show how to directly describe this isomorphism in terms of the Fourier transform on functions. As a consequence, we obtain simple proofs of the main properties of the Alesker–Fourier transform. One of these properties was previously only conjectured by Alesker and is proved here for the first time.</div></div>","PeriodicalId":15750,"journal":{"name":"Journal of Functional Analysis","volume":"288 3","pages":"Article 110741"},"PeriodicalIF":1.7,"publicationDate":"2024-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142698082","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}
Pub Date : 2024-11-05DOI: 10.1016/j.jfa.2024.110738
Wontae Kim, Juha Kinnunen, Lauri Särkiö
We discuss a Lipschitz truncation technique for parabolic double-phase problems of p-Laplace type in order to prove energy estimates and uniqueness results for the Dirichlet problem. Moreover, we show existence for a non-homogeneous double-phase problem. The Lipschitz truncation method is based on a Whitney-type covering result and a related partition of unity in the intrinsic geometry for the double-phase problem.
{"title":"Lipschitz truncation method for parabolic double-phase systems and applications","authors":"Wontae Kim, Juha Kinnunen, Lauri Särkiö","doi":"10.1016/j.jfa.2024.110738","DOIUrl":"10.1016/j.jfa.2024.110738","url":null,"abstract":"<div><div>We discuss a Lipschitz truncation technique for parabolic double-phase problems of <em>p</em>-Laplace type in order to prove energy estimates and uniqueness results for the Dirichlet problem. Moreover, we show existence for a non-homogeneous double-phase problem. The Lipschitz truncation method is based on a Whitney-type covering result and a related partition of unity in the intrinsic geometry for the double-phase problem.</div></div>","PeriodicalId":15750,"journal":{"name":"Journal of Functional Analysis","volume":"288 3","pages":"Article 110738"},"PeriodicalIF":1.7,"publicationDate":"2024-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142659810","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}
Pub Date : 2024-11-05DOI: 10.1016/j.jfa.2024.110732
Ryoya Arimoto
We prove that if a totally disconnected locally compact group admits a topologically free boundary, then the reduced crossed product of continuous functions on its Furstenberg boundary by the group is simple. We also prove a partial converse of this result.
{"title":"Simplicity of crossed products of the actions of totally disconnected locally compact groups on their boundaries","authors":"Ryoya Arimoto","doi":"10.1016/j.jfa.2024.110732","DOIUrl":"10.1016/j.jfa.2024.110732","url":null,"abstract":"<div><div>We prove that if a totally disconnected locally compact group admits a topologically free boundary, then the reduced crossed product of continuous functions on its Furstenberg boundary by the group is simple. We also prove a partial converse of this result.</div></div>","PeriodicalId":15750,"journal":{"name":"Journal of Functional Analysis","volume":"288 3","pages":"Article 110732"},"PeriodicalIF":1.7,"publicationDate":"2024-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142659933","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}
Pub Date : 2024-10-30DOI: 10.1016/j.jfa.2024.110697
F. Nier , C. Gérard
{"title":"Corrigendum to “Mourre theory for analytically fibered operators” [J. Funct. Anal. 152 (1) (1998) 202–219]","authors":"F. Nier , C. Gérard","doi":"10.1016/j.jfa.2024.110697","DOIUrl":"10.1016/j.jfa.2024.110697","url":null,"abstract":"","PeriodicalId":15750,"journal":{"name":"Journal of Functional Analysis","volume":"288 3","pages":"Article 110697"},"PeriodicalIF":1.7,"publicationDate":"2024-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142551914","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}
Pub Date : 2024-10-28DOI: 10.1016/j.jfa.2024.110723
Zhi Qi
In this paper, on the complex field , we prove two integral formulae for the Hankel–Mellin transform and the double Fourier–Mellin transform of Bessel functions, both resulting the hypergeometric function. As two applications, we use the former integral formula to make explicit the spectral formula of Bruggeman and Motohashi for the fourth moment of Dedekind zeta function over the Gaussian number field and to establish a spectral formula for the Hecke-eigenvalue twisted second moment of central L-values for the Picard group . Moreover, we develop the theory of distributional Hankel transform on .
本文在复数场 C 上证明了贝塞尔函数的汉克尔-梅林变换和双傅里叶-梅林变换的两个积分公式,这两个积分公式都产生了超几何函数。作为两个应用,我们利用前一个积分公式明确了布鲁格曼和本桥对高斯数域 Q(i) 的 Dedekind zeta 函数第四矩的谱公式,并建立了皮卡组 PGL2(Z[i]) 的赫克特征值扭转中心 L 值第二矩的谱公式。此外,我们还发展了 C∖{0} 上的分布汉克尔变换理论。
{"title":"On the Hankel transform of Bessel functions on complex numbers and explicit spectral formulae over the Gaussian field","authors":"Zhi Qi","doi":"10.1016/j.jfa.2024.110723","DOIUrl":"10.1016/j.jfa.2024.110723","url":null,"abstract":"<div><div>In this paper, on the complex field <span><math><mi>C</mi></math></span>, we prove two integral formulae for the Hankel–Mellin transform and the double Fourier–Mellin transform of Bessel functions, both resulting the hypergeometric function. As two applications, we use the former integral formula to make explicit the spectral formula of Bruggeman and Motohashi for the fourth moment of Dedekind zeta function over the Gaussian number field <span><math><mi>Q</mi><mo>(</mo><mi>i</mi><mo>)</mo></math></span> and to establish a spectral formula for the Hecke-eigenvalue twisted second moment of central <em>L</em>-values for the Picard group <span><math><msub><mrow><mi>PGL</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>(</mo><mi>Z</mi><mo>[</mo><mi>i</mi><mo>]</mo><mo>)</mo></math></span>. Moreover, we develop the theory of distributional Hankel transform on <span><math><mi>C</mi><mo>∖</mo><mo>{</mo><mn>0</mn><mo>}</mo></math></span>.</div></div>","PeriodicalId":15750,"journal":{"name":"Journal of Functional Analysis","volume":"288 3","pages":"Article 110723"},"PeriodicalIF":1.7,"publicationDate":"2024-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142578184","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}
Recall that a unitary in a tracial von Neumann algebra is Haar if for all . We introduce and study a new Borel equivalence relation on the set of Haar unitaries in a diffuse tracial von Neumann algebra N. Two Haar unitaries in are related if there exists a finite path of sequentially commuting Haar unitaries in an ultrapower , beginning at u and ending at v. We show that for any diffuse tracial von Neumann algebra N, the equivalence relation admits either 1 orbit or uncountably many orbits. We characterize property Gamma in terms of path length and number of orbits of and also show the existence of non-Gamma II1 factors so that admits only 1 orbit. Examples where admits uncountably many orbits include N having positive 1-bounded entropy: . As a key example, we explicitly describe for the free group factors. Using these ideas we introduce a natural numerical invariant for diffuse tracial von Neumann algebras called the commutation diameter, with applications to elementary equivalence classification. This computes the largest value of the minimal path length over related unitaries. We show that if N admits one orbit, then the commutation diameter is finite and moreover is an elementary equivalence invariant. By studying the finer technical structure of lifts of certain commutators in ultrapowers we obtain non-trivial lower bounds for the family of arbitrary graph products N of diffuse tracial von Neumann algebras whose underlying graph is connected and has diameter at least 4, and distinguish them up to elementary equivalence from the [12] exotic factors, despite satisfying .
{"title":"Sequential commutation in tracial von Neumann algebras","authors":"Srivatsav Kunnawalkam Elayavalli, Gregory Patchell","doi":"10.1016/j.jfa.2024.110719","DOIUrl":"10.1016/j.jfa.2024.110719","url":null,"abstract":"<div><div>Recall that a unitary in a tracial von Neumann algebra is Haar if <span><math><mi>τ</mi><mo>(</mo><msup><mrow><mi>u</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>)</mo><mo>=</mo><mn>0</mn></math></span> for all <span><math><mi>n</mi><mo>∈</mo><mi>N</mi></math></span>. We introduce and study a new Borel equivalence relation <span><math><msub><mrow><mo>∼</mo></mrow><mrow><mi>N</mi></mrow></msub></math></span> on the set of Haar unitaries in a diffuse tracial von Neumann algebra <em>N</em>. Two Haar unitaries <span><math><mi>u</mi><mo>,</mo><mi>v</mi></math></span> in <span><math><mi>U</mi><mo>(</mo><mi>N</mi><mo>)</mo></math></span> are related if there exists a finite path of sequentially commuting Haar unitaries in an ultrapower <span><math><msup><mrow><mi>N</mi></mrow><mrow><mi>U</mi></mrow></msup></math></span>, beginning at <em>u</em> and ending at <em>v</em>. We show that for any diffuse tracial von Neumann algebra <em>N</em>, the equivalence relation <span><math><msub><mrow><mo>∼</mo></mrow><mrow><mi>N</mi></mrow></msub></math></span> admits either 1 orbit or uncountably many orbits. We characterize property Gamma in terms of path length and number of orbits of <span><math><msub><mrow><mo>∼</mo></mrow><mrow><mi>N</mi></mrow></msub></math></span> and also show the existence of non-Gamma II<sub>1</sub> factors so that <span><math><msub><mrow><mo>∼</mo></mrow><mrow><mi>N</mi></mrow></msub></math></span> admits only 1 orbit. Examples where <span><math><msub><mrow><mo>∼</mo></mrow><mrow><mi>N</mi></mrow></msub></math></span> admits uncountably many orbits include <em>N</em> having positive 1-bounded entropy: <span><math><mi>h</mi><mo>(</mo><mi>N</mi><mo>)</mo><mo>></mo><mn>0</mn></math></span>. As a key example, we explicitly describe <span><math><msub><mrow><mo>∼</mo></mrow><mrow><mi>L</mi><mo>(</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>t</mi></mrow></msub><mo>)</mo></mrow></msub></math></span> for the free group factors. Using these ideas we introduce a natural numerical invariant for diffuse tracial von Neumann algebras called the commutation diameter, with applications to elementary equivalence classification. This computes the largest value of the minimal path length over related unitaries. We show that if <em>N</em> admits one orbit, then the commutation diameter is finite and moreover is an elementary equivalence invariant. By studying the finer technical structure of lifts of certain commutators in ultrapowers we obtain non-trivial lower bounds for the family of arbitrary graph products <em>N</em> of diffuse tracial von Neumann algebras whose underlying graph is connected and has diameter at least 4, and distinguish them up to elementary equivalence from the <span><span>[12]</span></span> exotic factors, despite satisfying <span><math><mi>h</mi><mo>(</mo><mi>N</mi><mo>)</mo><mo>≤</mo><mn>0</mn></math></span>.</div></div>","PeriodicalId":15750,"journal":{"name":"Journal of Functional Analysis","volume":"288 4","pages":"Article 110719"},"PeriodicalIF":1.7,"publicationDate":"2024-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142743588","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}
Pub Date : 2024-10-24DOI: 10.1016/j.jfa.2024.110717
Stamatis Pouliasis
For a positive Borel measure μ in the unit disc, we examine which weighted Dirichlet spaces can be identified with de Branges-Rovnyak spaces , with equivalent norms. We prove a necessary condition for the equality and we explore its consequences. For Carleson measures μ, we give a necessary and sufficient condition for the equality , for a certain outer function related with the balayage of μ on the unit circle, and we provide examples of those spaces.
对于单位圆盘中的正伯勒量μ,我们研究了哪些加权德里赫特空间 Dμ 可以与具有等效规范的 de Branges-Rovnyak 空间 Hb 标识。我们证明了 Dμ=Hb 相等的必要条件,并探讨了其后果。对于卡莱森量μ,我们给出了Dμ=Hbμ相等的必要条件和充分条件,条件是与单位圆上μ的巴拉维相关的某个外函数bμ,我们还提供了这些空间的例子。
{"title":"Weighted Dirichlet spaces that are de Branges-Rovnyak spaces with equivalent norms","authors":"Stamatis Pouliasis","doi":"10.1016/j.jfa.2024.110717","DOIUrl":"10.1016/j.jfa.2024.110717","url":null,"abstract":"<div><div>For a positive Borel measure <em>μ</em> in the unit disc, we examine which weighted Dirichlet spaces <span><math><msub><mrow><mi>D</mi></mrow><mrow><mi>μ</mi></mrow></msub></math></span> can be identified with de Branges-Rovnyak spaces <span><math><msub><mrow><mi>H</mi></mrow><mrow><mi>b</mi></mrow></msub></math></span>, with equivalent norms. We prove a necessary condition for the equality <span><math><msub><mrow><mi>D</mi></mrow><mrow><mi>μ</mi></mrow></msub><mo>=</mo><msub><mrow><mi>H</mi></mrow><mrow><mi>b</mi></mrow></msub></math></span> and we explore its consequences. For Carleson measures <em>μ</em>, we give a necessary and sufficient condition for the equality <span><math><msub><mrow><mi>D</mi></mrow><mrow><mi>μ</mi></mrow></msub><mo>=</mo><msub><mrow><mi>H</mi></mrow><mrow><msub><mrow><mi>b</mi></mrow><mrow><mi>μ</mi></mrow></msub></mrow></msub></math></span>, for a certain outer function <span><math><msub><mrow><mi>b</mi></mrow><mrow><mi>μ</mi></mrow></msub></math></span> related with the balayage of <em>μ</em> on the unit circle, and we provide examples of those spaces.</div></div>","PeriodicalId":15750,"journal":{"name":"Journal of Functional Analysis","volume":"288 3","pages":"Article 110717"},"PeriodicalIF":1.7,"publicationDate":"2024-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142551911","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}
Pub Date : 2024-10-24DOI: 10.1016/j.jfa.2024.110713
Ioannis Anapolitanos , Marco Olivieri , Sylvain Zalczer
This article focuses on isomerizations of molecules, i.e. chemical reactions during which a molecule is transformed into another one with atoms in a different spatial configuration. We consider the special case in which the system breaks into two submolecules whose internal geometry is solid during the whole procedure. We prove, under some conditions, that the distance between the two submolecules stays bounded during the reaction. This paper extends [Anapolitanos-Lewin, 2020] in two directions. The first one is that we relax assumptions that the ground state eigenspaces of the submolecules have to fulfill. The second one is that we allow semirelativistic kinetic energy as well. We provide an asymptotic expansion of the interaction energy between two molecules, including multipolar interactions and the van der Waals attraction. In addition to this static result, we proceed to a quasistatic analysis to investigate the variation of the energy when the nuclei move.
{"title":"On boundedness of isomerization paths for non- and semirelativistic molecules","authors":"Ioannis Anapolitanos , Marco Olivieri , Sylvain Zalczer","doi":"10.1016/j.jfa.2024.110713","DOIUrl":"10.1016/j.jfa.2024.110713","url":null,"abstract":"<div><div>This article focuses on isomerizations of molecules, <em>i.e.</em> chemical reactions during which a molecule is transformed into another one with atoms in a different spatial configuration. We consider the special case in which the system breaks into two submolecules whose internal geometry is solid during the whole procedure. We prove, under some conditions, that the distance between the two submolecules stays bounded during the reaction. This paper extends [Anapolitanos-Lewin, 2020] in two directions. The first one is that we relax assumptions that the ground state eigenspaces of the submolecules have to fulfill. The second one is that we allow semirelativistic kinetic energy as well. We provide an asymptotic expansion of the interaction energy between two molecules, including multipolar interactions and the van der Waals attraction. In addition to this static result, we proceed to a quasistatic analysis to investigate the variation of the energy when the nuclei move.</div></div>","PeriodicalId":15750,"journal":{"name":"Journal of Functional Analysis","volume":"288 3","pages":"Article 110713"},"PeriodicalIF":1.7,"publicationDate":"2024-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142593733","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}
Pub Date : 2024-10-24DOI: 10.1016/j.jfa.2024.110720
Rafał Latała, Marta Strzelecka
<div><div>We prove that for every <span><math><mi>p</mi><mo>,</mo><mi>q</mi><mo>∈</mo><mo>[</mo><mn>1</mn><mo>,</mo><mo>∞</mo><mo>]</mo></math></span> and every random matrix <span><math><mi>X</mi><mo>=</mo><msub><mrow><mo>(</mo><msub><mrow><mi>X</mi></mrow><mrow><mi>i</mi><mo>,</mo><mi>j</mi></mrow></msub><mo>)</mo></mrow><mrow><mi>i</mi><mo>≤</mo><mi>m</mi><mo>,</mo><mi>j</mi><mo>≤</mo><mi>n</mi></mrow></msub></math></span> with iid centered entries satisfying the <em>α</em>-regularity assumption <span><math><msub><mrow><mo>‖</mo><msub><mrow><mi>X</mi></mrow><mrow><mi>i</mi><mo>,</mo><mi>j</mi></mrow></msub><mo>‖</mo></mrow><mrow><mn>2</mn><mi>ρ</mi></mrow></msub><mo>≤</mo><mi>α</mi><msub><mrow><mo>‖</mo><msub><mrow><mi>X</mi></mrow><mrow><mi>i</mi><mo>,</mo><mi>j</mi></mrow></msub><mo>‖</mo></mrow><mrow><mi>ρ</mi></mrow></msub></math></span> for every <span><math><mi>ρ</mi><mo>≥</mo><mn>1</mn></math></span>, the expectation of the operator norm of <em>X</em> from <span><math><msubsup><mrow><mi>ℓ</mi></mrow><mrow><mi>p</mi></mrow><mrow><mi>n</mi></mrow></msubsup></math></span> to <span><math><msubsup><mrow><mi>ℓ</mi></mrow><mrow><mi>q</mi></mrow><mrow><mi>m</mi></mrow></msubsup></math></span> is comparable, up to a constant depending only on <em>α</em>, to<span><span><span><math><msup><mrow><mi>m</mi></mrow><mrow><mn>1</mn><mo>/</mo><mi>q</mi></mrow></msup><munder><mi>sup</mi><mrow><mi>t</mi><mo>∈</mo><msubsup><mrow><mi>B</mi></mrow><mrow><mi>p</mi></mrow><mrow><mi>n</mi></mrow></msubsup></mrow></munder><mo></mo><msub><mrow><mo>‖</mo><munderover><mo>∑</mo><mrow><mi>j</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>n</mi></mrow></munderover><msub><mrow><mi>t</mi></mrow><mrow><mi>j</mi></mrow></msub><msub><mrow><mi>X</mi></mrow><mrow><mn>1</mn><mo>,</mo><mi>j</mi></mrow></msub><mo>‖</mo></mrow><mrow><mi>q</mi><mo>∧</mo><mi>Log</mi><mspace></mspace><mi>m</mi></mrow></msub><mo>+</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>1</mn><mo>/</mo><msup><mrow><mi>p</mi></mrow><mrow><mo>⁎</mo></mrow></msup></mrow></msup><munder><mi>sup</mi><mrow><mi>s</mi><mo>∈</mo><msubsup><mrow><mi>B</mi></mrow><mrow><msup><mrow><mi>q</mi></mrow><mrow><mo>⁎</mo></mrow></msup></mrow><mrow><mi>m</mi></mrow></msubsup></mrow></munder><mo></mo><msub><mrow><mo>‖</mo><munderover><mo>∑</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>m</mi></mrow></munderover><msub><mrow><mi>s</mi></mrow><mrow><mi>i</mi></mrow></msub><msub><mrow><mi>X</mi></mrow><mrow><mi>i</mi><mo>,</mo><mn>1</mn></mrow></msub><mo>‖</mo></mrow><mrow><msup><mrow><mi>p</mi></mrow><mrow><mo>⁎</mo></mrow></msup><mo>∧</mo><mi>Log</mi><mspace></mspace><mi>n</mi></mrow></msub><mo>.</mo></math></span></span></span> We give more explicit formulas, expressed as exact functions of <em>p</em>, <em>q</em>, <em>m</em>, and <em>n</em>, for the two-sided bounds of the operator norms in the case when the entries <span><math><msub><mrow><mi>X</mi></mrow><mrow><mi>i</mi><mo>,</mo><mi>j</mi></mrow></msub></math></span> are: Gaussia
{"title":"Operator ℓp → ℓq norms of random matrices with iid entries","authors":"Rafał Latała, Marta Strzelecka","doi":"10.1016/j.jfa.2024.110720","DOIUrl":"10.1016/j.jfa.2024.110720","url":null,"abstract":"<div><div>We prove that for every <span><math><mi>p</mi><mo>,</mo><mi>q</mi><mo>∈</mo><mo>[</mo><mn>1</mn><mo>,</mo><mo>∞</mo><mo>]</mo></math></span> and every random matrix <span><math><mi>X</mi><mo>=</mo><msub><mrow><mo>(</mo><msub><mrow><mi>X</mi></mrow><mrow><mi>i</mi><mo>,</mo><mi>j</mi></mrow></msub><mo>)</mo></mrow><mrow><mi>i</mi><mo>≤</mo><mi>m</mi><mo>,</mo><mi>j</mi><mo>≤</mo><mi>n</mi></mrow></msub></math></span> with iid centered entries satisfying the <em>α</em>-regularity assumption <span><math><msub><mrow><mo>‖</mo><msub><mrow><mi>X</mi></mrow><mrow><mi>i</mi><mo>,</mo><mi>j</mi></mrow></msub><mo>‖</mo></mrow><mrow><mn>2</mn><mi>ρ</mi></mrow></msub><mo>≤</mo><mi>α</mi><msub><mrow><mo>‖</mo><msub><mrow><mi>X</mi></mrow><mrow><mi>i</mi><mo>,</mo><mi>j</mi></mrow></msub><mo>‖</mo></mrow><mrow><mi>ρ</mi></mrow></msub></math></span> for every <span><math><mi>ρ</mi><mo>≥</mo><mn>1</mn></math></span>, the expectation of the operator norm of <em>X</em> from <span><math><msubsup><mrow><mi>ℓ</mi></mrow><mrow><mi>p</mi></mrow><mrow><mi>n</mi></mrow></msubsup></math></span> to <span><math><msubsup><mrow><mi>ℓ</mi></mrow><mrow><mi>q</mi></mrow><mrow><mi>m</mi></mrow></msubsup></math></span> is comparable, up to a constant depending only on <em>α</em>, to<span><span><span><math><msup><mrow><mi>m</mi></mrow><mrow><mn>1</mn><mo>/</mo><mi>q</mi></mrow></msup><munder><mi>sup</mi><mrow><mi>t</mi><mo>∈</mo><msubsup><mrow><mi>B</mi></mrow><mrow><mi>p</mi></mrow><mrow><mi>n</mi></mrow></msubsup></mrow></munder><mo></mo><msub><mrow><mo>‖</mo><munderover><mo>∑</mo><mrow><mi>j</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>n</mi></mrow></munderover><msub><mrow><mi>t</mi></mrow><mrow><mi>j</mi></mrow></msub><msub><mrow><mi>X</mi></mrow><mrow><mn>1</mn><mo>,</mo><mi>j</mi></mrow></msub><mo>‖</mo></mrow><mrow><mi>q</mi><mo>∧</mo><mi>Log</mi><mspace></mspace><mi>m</mi></mrow></msub><mo>+</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>1</mn><mo>/</mo><msup><mrow><mi>p</mi></mrow><mrow><mo>⁎</mo></mrow></msup></mrow></msup><munder><mi>sup</mi><mrow><mi>s</mi><mo>∈</mo><msubsup><mrow><mi>B</mi></mrow><mrow><msup><mrow><mi>q</mi></mrow><mrow><mo>⁎</mo></mrow></msup></mrow><mrow><mi>m</mi></mrow></msubsup></mrow></munder><mo></mo><msub><mrow><mo>‖</mo><munderover><mo>∑</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>m</mi></mrow></munderover><msub><mrow><mi>s</mi></mrow><mrow><mi>i</mi></mrow></msub><msub><mrow><mi>X</mi></mrow><mrow><mi>i</mi><mo>,</mo><mn>1</mn></mrow></msub><mo>‖</mo></mrow><mrow><msup><mrow><mi>p</mi></mrow><mrow><mo>⁎</mo></mrow></msup><mo>∧</mo><mi>Log</mi><mspace></mspace><mi>n</mi></mrow></msub><mo>.</mo></math></span></span></span> We give more explicit formulas, expressed as exact functions of <em>p</em>, <em>q</em>, <em>m</em>, and <em>n</em>, for the two-sided bounds of the operator norms in the case when the entries <span><math><msub><mrow><mi>X</mi></mrow><mrow><mi>i</mi><mo>,</mo><mi>j</mi></mrow></msub></math></span> are: Gaussia","PeriodicalId":15750,"journal":{"name":"Journal of Functional Analysis","volume":"288 3","pages":"Article 110720"},"PeriodicalIF":1.7,"publicationDate":"2024-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142578185","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}