Pub Date : 2024-05-29DOI: 10.1007/s00020-024-02769-4
Pierre-Cyril Aubin-Frankowski, Stéphane Gaubert
Hilbertian kernel methods and their positive semidefinite kernels have been extensively used in various fields of applied mathematics and machine learning, owing to their several equivalent characterizations. We here unveil an analogy with concepts from tropical geometry, proving that tropical positive semidefinite kernels are also endowed with equivalent viewpoints, stemming from Fenchel–Moreau conjugations. This tropical analogue of Aronszajn’s theorem shows that these kernels correspond to a feature map, define monotonous operators, and generate max-plus function spaces endowed with a reproducing property. They furthermore include all the Hilbertian kernels classically studied as well as Monge arrays. However, two relevant notions of tropical reproducing kernels must be distinguished, based either on linear or sesquilinear interpretations. The sesquilinear interpretation is the most expressive one, since reproducing spaces then encompass classical max-plus spaces, such as those of (semi)convex functions. In contrast, in the linear interpretation, the reproducing kernels are characterized by a restrictive condition, von Neumann regularity. Finally, we provide a tropical analogue of the “representer theorems”, showing that a class of infinite dimensional regression and interpolation problems admit solutions lying in finite dimensional spaces. We illustrate this theorem by an application to optimal control, in which tropical kernels allow one to represent the value function.
由于希尔伯特内核方法及其正半有限内核具有若干等价特征,因此已被广泛应用于应用数学和机器学习的各个领域。我们在此揭示了与热带几何概念的类比,证明热带正半有限核也具有等价观点,这些观点源自 Fenchel-Moreau 共轭。Aronszajn 定理的这一热带类似定理表明,这些核对应于特征图,定义单调算子,并生成具有再现属性的最大加函数空间。此外,它们还包括所有经典研究的希尔伯特核以及蒙日数组。然而,必须区分热带重现核的两个相关概念,它们分别基于线性或倍线性解释。倍线性解释最具表现力,因为重现空间包含经典的最大加空间,如(半)凸函数空间。相反,在线性解释中,重现核的特征是一个限制性条件,即 von Neumann 正则性。最后,我们提供了 "代表者定理 "的热带类似物,表明一类无限维回归和插值问题允许在有限维空间中求解。我们将该定理应用于最优控制,通过热带核来表示值函数。
{"title":"Tropical Reproducing Kernels and Optimization","authors":"Pierre-Cyril Aubin-Frankowski, Stéphane Gaubert","doi":"10.1007/s00020-024-02769-4","DOIUrl":"https://doi.org/10.1007/s00020-024-02769-4","url":null,"abstract":"<p>Hilbertian kernel methods and their positive semidefinite kernels have been extensively used in various fields of applied mathematics and machine learning, owing to their several equivalent characterizations. We here unveil an analogy with concepts from tropical geometry, proving that tropical positive semidefinite kernels are also endowed with equivalent viewpoints, stemming from Fenchel–Moreau conjugations. This tropical analogue of Aronszajn’s theorem shows that these kernels correspond to a feature map, define monotonous operators, and generate max-plus function spaces endowed with a reproducing property. They furthermore include all the Hilbertian kernels classically studied as well as Monge arrays. However, two relevant notions of tropical reproducing kernels must be distinguished, based either on linear or sesquilinear interpretations. The sesquilinear interpretation is the most expressive one, since reproducing spaces then encompass classical max-plus spaces, such as those of (semi)convex functions. In contrast, in the linear interpretation, the reproducing kernels are characterized by a restrictive condition, von Neumann regularity. Finally, we provide a tropical analogue of the “representer theorems”, showing that a class of infinite dimensional regression and interpolation problems admit solutions lying in finite dimensional spaces. We illustrate this theorem by an application to optimal control, in which tropical kernels allow one to represent the value function.</p>","PeriodicalId":13658,"journal":{"name":"Integral Equations and Operator Theory","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141167439","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-05-22DOI: 10.1007/s00020-024-02767-6
Sergey Simonov, Harald Woracek
We consider selfadjoint operators obtained by pasting a finite number of boundary relations with one-dimensional boundary space. A typical example of such an operator is the Schrödinger operator on a star-graph with a finite number of finite or infinite edges and an interface condition at the common vertex. A wide class of “selfadjoint” interface conditions, subject to an assumption which is generically satisfied, is considered. We determine the spectral multiplicity function on the singular spectrum (continuous as well as point) in terms of the spectral data of decoupled operators.
{"title":"Local Spectral Multiplicity of Selfadjoint Couplings with General Interface Conditions","authors":"Sergey Simonov, Harald Woracek","doi":"10.1007/s00020-024-02767-6","DOIUrl":"https://doi.org/10.1007/s00020-024-02767-6","url":null,"abstract":"<p>We consider selfadjoint operators obtained by pasting a finite number of boundary relations with one-dimensional boundary space. A typical example of such an operator is the Schrödinger operator on a star-graph with a finite number of finite or infinite edges and an interface condition at the common vertex. A wide class of “selfadjoint” interface conditions, subject to an assumption which is generically satisfied, is considered. We determine the spectral multiplicity function on the singular spectrum (continuous as well as point) in terms of the spectral data of decoupled operators.</p>","PeriodicalId":13658,"journal":{"name":"Integral Equations and Operator Theory","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141148960","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-05-21DOI: 10.1007/s00020-024-02768-5
Damian Kołaczek, Vladimir Müller
{"title":"Numerical Ranges of Antilinear Operators","authors":"Damian Kołaczek, Vladimir Müller","doi":"10.1007/s00020-024-02768-5","DOIUrl":"https://doi.org/10.1007/s00020-024-02768-5","url":null,"abstract":"","PeriodicalId":13658,"journal":{"name":"Integral Equations and Operator Theory","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141115149","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-05-17DOI: 10.1007/s00020-024-02764-9
Jireh Loreaux, Sasmita Patnaik, Srdjan Petrovic, Gary Weiss
We offer a new perspective and some advances on the 1971 Pearcy-Topping problem: is every compact operator a commutator of compact operators? Our goal is to analyze and generalize the 1970’s work in this area of Joel Anderson. We reduce the general problem to a simpler sequence of finite matrix equations with norm constraints, while at the same time developing strategies for counterexamples. Our approach is to ask which compact operators are commutators AB − BA of compact operators A,B; and to analyze the implications of Joel Anderson’s contributions to this problem. By extending the techniques of Anderson, we obtain new classes of operators that are commutators of compact operators beyond those obtained by the second and the fourth author. We also found obstructions to extending Anderson’s techniques to obtain any positive compact operator as a commutator of compact operators. Some of these constraints involve general block-tridiagonal matrix forms for operators and some involve B(H)-ideal constraints. Finally, we provide some necessary conditions for the Pearcy-Topping problem involving singular numbers and B(H)-ideal constraints.
{"title":"On Commutators of Compact Operators: Generalizations and Limitations of Anderson’s Approach","authors":"Jireh Loreaux, Sasmita Patnaik, Srdjan Petrovic, Gary Weiss","doi":"10.1007/s00020-024-02764-9","DOIUrl":"https://doi.org/10.1007/s00020-024-02764-9","url":null,"abstract":"<p>We offer a new perspective and some advances on the 1971 Pearcy-Topping problem: is every compact operator a commutator of compact operators? Our goal is to analyze and generalize the 1970’s work in this area of Joel Anderson. We reduce the general problem to a simpler sequence of finite matrix equations with norm constraints, while at the same time developing strategies for counterexamples. Our approach is to ask which compact operators are commutators AB − BA of compact operators A,B; and to analyze the implications of Joel Anderson’s contributions to this problem. By extending the techniques of Anderson, we obtain new classes of operators that are commutators of compact operators beyond those obtained by the second and the fourth author. We also found obstructions to extending Anderson’s techniques to obtain any positive compact operator as a commutator of compact operators. Some of these constraints involve general block-tridiagonal matrix forms for operators and some involve B(H)-ideal constraints. Finally, we provide some necessary conditions for the Pearcy-Topping problem involving singular numbers and B(H)-ideal constraints.</p>","PeriodicalId":13658,"journal":{"name":"Integral Equations and Operator Theory","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141062504","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-05-05DOI: 10.1007/s00020-024-02765-8
Ran Kiri
A unital (C^*)-algebra is called N-subhomogeneous if its irreducible representations are finite dimensional with dimension at most N. We extend this notion to operator systems, replacing irreducible representations by boundary representations. This is done by considering (text {UCP }(mathcal {S})) which is the matrix state space associated with an operator system (mathcal {S}) and identifying the boundary representations as absolute matrix extreme points. We show that two N-subhomogeneous operator systems are completely order equivalent if and only if they are N-order equivalent. Moreover, we show that a unital N-positive map into a finite dimensional N-subhomogeneous operator system is completely positive. We apply these tools to classify pairs of q-commuting unitaries up to (*)-isomorphism. Similar results are obtained for operator systems related to higher dimensional non-commutative tori.
如果一个单元 (C^*)- 代数的不可还原表示是有限维的,且维数至多为 N,那么这个代数就被称为 N 次同调代数。这是通过考虑 (text {UCP }(mathcal {S}))来实现的,它是与算子系统 (mathcal {S})相关的矩阵状态空间,并将边界表示识别为绝对矩阵极值点。我们证明,当且仅当两个 N 次同调算子系统是 N 阶等价时,它们才是完全等价的。此外,我们还证明了进入有限维 N 次均质算子系统的单元 N 正映射是完全正的。我们运用这些工具对 q 通约单元对进行分类,直到 (*)-同构。对于与高维非交换环相关的算子系统,我们也得到了类似的结果。
{"title":"Subhomogeneous Operator Systems and Classification of Operator Systems Generated by $$Lambda $$ -Commuting Unitaries","authors":"Ran Kiri","doi":"10.1007/s00020-024-02765-8","DOIUrl":"https://doi.org/10.1007/s00020-024-02765-8","url":null,"abstract":"<p>A unital <span>(C^*)</span>-algebra is called <i>N</i>-subhomogeneous if its irreducible representations are finite dimensional with dimension at most <i>N</i>. We extend this notion to operator systems, replacing irreducible representations by boundary representations. This is done by considering <span>(text {UCP }(mathcal {S}))</span> which is the matrix state space associated with an operator system <span>(mathcal {S})</span> and identifying the boundary representations as absolute matrix extreme points. We show that two <i>N</i>-subhomogeneous operator systems are completely order equivalent if and only if they are <i>N</i>-order equivalent. Moreover, we show that a unital <i>N</i>-positive map into a finite dimensional <i>N</i>-subhomogeneous operator system is completely positive. We apply these tools to classify pairs of <i>q</i>-commuting unitaries up to <span>(*)</span>-isomorphism. Similar results are obtained for operator systems related to higher dimensional non-commutative tori.</p>","PeriodicalId":13658,"journal":{"name":"Integral Equations and Operator Theory","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140887891","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-04-24DOI: 10.1007/s00020-024-02766-7
David P. Blecher, Arianna Cecco, Mehrdad Kalantar
We present some more foundations for a theory of real structure in operator spaces and algebras, in particular concerning the real case of the theory of injectivity, and the injective, ternary, and (C^*)-envelope. We consider the interaction between these topics and the complexification. We also generalize many of these results to the setting of operator spaces and systems acted upon by a group.
{"title":"Real Structure in Operator Spaces, Injective Envelopes and G-spaces","authors":"David P. Blecher, Arianna Cecco, Mehrdad Kalantar","doi":"10.1007/s00020-024-02766-7","DOIUrl":"https://doi.org/10.1007/s00020-024-02766-7","url":null,"abstract":"<p>We present some more foundations for a theory of real structure in operator spaces and algebras, in particular concerning the real case of the theory of injectivity, and the injective, ternary, and <span>(C^*)</span>-envelope. We consider the interaction between these topics and the complexification. We also generalize many of these results to the setting of operator spaces and systems acted upon by a group.\u0000</p>","PeriodicalId":13658,"journal":{"name":"Integral Equations and Operator Theory","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140806682","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-04-08DOI: 10.1007/s00020-024-02762-x
Michela Egidi, Dennis Gallaun, Christian Seifert, Martin Tautenhahn
We study abstract sufficient criteria for cost-uniform open-loop stabilizability of linear control systems in a Banach space with a bounded control operator, which build up and generalize a sufficient condition for null-controllability in Banach spaces given by an uncertainty principle and a dissipation estimate. For stabilizability these estimates are only needed for a single spectral parameter and, in particular, their constants do not depend on the growth rate w.r.t. this parameter. Our result unifies and generalizes earlier results obtained in the context of Hilbert spaces. As an application we consider fractional powers of elliptic differential operators with constant coefficients in (L_p(mathbb {R}^d)) for (pin [1,infty )) and thick control sets.
{"title":"Sufficient Criteria for Stabilization Properties in Banach Spaces","authors":"Michela Egidi, Dennis Gallaun, Christian Seifert, Martin Tautenhahn","doi":"10.1007/s00020-024-02762-x","DOIUrl":"https://doi.org/10.1007/s00020-024-02762-x","url":null,"abstract":"<p>We study abstract sufficient criteria for cost-uniform open-loop stabilizability of linear control systems in a Banach space with a bounded control operator, which build up and generalize a sufficient condition for null-controllability in Banach spaces given by an uncertainty principle and a dissipation estimate. For stabilizability these estimates are only needed for a single spectral parameter and, in particular, their constants do not depend on the growth rate w.r.t. this parameter. Our result unifies and generalizes earlier results obtained in the context of Hilbert spaces. As an application we consider fractional powers of elliptic differential operators with constant coefficients in <span>(L_p(mathbb {R}^d))</span> for <span>(pin [1,infty ))</span> and thick control sets.</p>","PeriodicalId":13658,"journal":{"name":"Integral Equations and Operator Theory","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140562405","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-27DOI: 10.1007/s00020-024-02761-y
Boris Bilich
We study the gauge-invariant ideal structure of the Nica-Toeplitz algebra (mathcal {N}mathcal {T}(X)) of a product system (A, X) over (mathbb {N}^n). We obtain a clear description of X-invariant ideals in A, that is, restrictions of gauge-invariant ideals in (mathcal {Nhspace{-1.111pt}T}(X)) to A. The main result is a classification of gauge-invariant ideals in (mathcal {Nhspace{-1.111pt}T}(X)) for a proper product system in terms of families of ideals in A. We also apply our results to higher-rank graphs.
我们研究在 (mathbb {N}^n) 上的乘积系统 (A, X) 的 Nica-Toeplitz 代数 (mathcal {N}mathcal {T}(X)) 的轨距不变理想结构。我们得到了对 A 中 X 不变理想的清晰描述,也就是对 A 中 (mathcal {Nhspace{-1.111pt}T}(X)) 的轨距不变理想的限制。主要结果是针对 A 中的理想族对适当乘积系统中 (mathcal {Nhspace{-1.111pt}T}(X)) 的轨距不变理想进行了分类。
{"title":"Ideal Structure of Nica-Toeplitz Algebras","authors":"Boris Bilich","doi":"10.1007/s00020-024-02761-y","DOIUrl":"https://doi.org/10.1007/s00020-024-02761-y","url":null,"abstract":"<p>We study the gauge-invariant ideal structure of the Nica-Toeplitz algebra <span>(mathcal {N}mathcal {T}(X))</span> of a product system (<i>A</i>, <i>X</i>) over <span>(mathbb {N}^n)</span>. We obtain a clear description of <i>X</i>-invariant ideals in <i>A</i>, that is, restrictions of gauge-invariant ideals in <span>(mathcal {Nhspace{-1.111pt}T}(X))</span> to <i>A</i>. The main result is a classification of gauge-invariant ideals in <span>(mathcal {Nhspace{-1.111pt}T}(X))</span> for a proper product system in terms of families of ideals in <i>A</i>. We also apply our results to higher-rank graphs.</p>","PeriodicalId":13658,"journal":{"name":"Integral Equations and Operator Theory","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140314909","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-27DOI: 10.1007/s00020-024-02759-6
Vyacheslav Pivovarchik
We show how to find the shape of an equilateral tree using the spectra of the Neumann and the Dirichlet problems generated by the Sturm–Liouville equation. In case of snowflake trees the spectra of the Neumann and Dirichlet problems uniquely determine the shape of the tree.
{"title":"Recovering the Shape of an Equilateral Quantum Tree by Two Spectra","authors":"Vyacheslav Pivovarchik","doi":"10.1007/s00020-024-02759-6","DOIUrl":"https://doi.org/10.1007/s00020-024-02759-6","url":null,"abstract":"<p>We show how to find the shape of an equilateral tree using the spectra of the Neumann and the Dirichlet problems generated by the Sturm–Liouville equation. In case of snowflake trees the spectra of the Neumann and Dirichlet problems uniquely determine the shape of the tree.</p>","PeriodicalId":13658,"journal":{"name":"Integral Equations and Operator Theory","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140314929","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}