首页 > 最新文献

Expositiones Mathematicae最新文献

英文 中文
On an extension of Fuglede’s theory of pseudo-balayage and its applications 论福格莱德伪balayage理论的拓展及其应用
IF 0.9 4区 数学 Q2 MATHEMATICS Pub Date : 2026-02-01 Epub Date: 2024-11-08 DOI: 10.1016/j.exmath.2024.125630
Natalia Zorii
For suitable function kernels κ on a locally compact space, we develop a theory of inner pseudo-balayage ω̂A of signed (Radon) measures ω of finite energy onto a quasiclosed set A, ω̂A being defined as the solution to the problem of minimizing the Gauss functional κ(x,y)d(μμ)(x,y)2κ(x,y)d(μω)(x,y),where μ ranges over all positive measures of finite energy concentrated on the set A. If A is Borel, the concept of inner pseudo-balayage ω̂A is shown to coincide with that of outer pseudo-balayage, introduced in Fuglede’s work (Fuglede, 2016), which was however only concerned with ω0, whereas the investigation of signed ω requires essentially different methods and approaches. The theory of pseudo-balayage thereby established enables us to improve substantially our recent results on the well-known inner Gauss variational problem (Zorii, 2024), by strengthening their formulations and/or by extending the area of their validity. This study covers many interesting kernels in classical and modern potential theory, which looks promising for further applications.
对于局部紧化空间上合适的函数核κ,我们建立了准闭集a上有限能量的有符号(Radon)测度ω的内伪度量ω的理论,ω ω被定义为最小化高斯泛函∫κ(x,y)d(μ⊗μ)(x,y)−2∫κ(x,y)d(μ⊗ω)(x,y)问题的解,其中μ的范围超过集中在集合a上的所有有限能量的正测度。内部伪balayage ω³A的概念被证明与Fuglede的工作(Fuglede, 2016)中引入的外部伪balayage的概念相吻合,然而,该工作仅与ω小于或等于0有关,而对带符号ω的调查则需要本质上不同的方法和途径。由此建立的伪平衡理论使我们能够通过加强其公式和/或扩展其有效性的范围,大大改进我们最近在著名的内高斯变分问题(Zorii, 2024)上的结果。本研究涵盖了经典和现代势理论中许多有趣的问题,具有广阔的应用前景。
{"title":"On an extension of Fuglede’s theory of pseudo-balayage and its applications","authors":"Natalia Zorii","doi":"10.1016/j.exmath.2024.125630","DOIUrl":"10.1016/j.exmath.2024.125630","url":null,"abstract":"<div><div>For suitable function kernels <span><math><mi>κ</mi></math></span> on a locally compact space, we develop a theory of inner pseudo-balayage <span><math><msup><mrow><mover><mrow><mi>ω</mi></mrow><mrow><mo>̂</mo></mrow></mover></mrow><mrow><mi>A</mi></mrow></msup></math></span> of signed (Radon) measures <span><math><mi>ω</mi></math></span> of finite energy onto a quasiclosed set <span><math><mi>A</mi></math></span>, <span><math><msup><mrow><mover><mrow><mi>ω</mi></mrow><mrow><mo>̂</mo></mrow></mover></mrow><mrow><mi>A</mi></mrow></msup></math></span> being defined as the solution to the problem of minimizing the Gauss functional <span><span><span><math><mrow><mo>∫</mo><mi>κ</mi><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>)</mo></mrow><mspace></mspace><mi>d</mi><mrow><mo>(</mo><mi>μ</mi><mo>⊗</mo><mi>μ</mi><mo>)</mo></mrow><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>)</mo></mrow><mo>−</mo><mn>2</mn><mo>∫</mo><mi>κ</mi><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>)</mo></mrow><mspace></mspace><mi>d</mi><mrow><mo>(</mo><mi>μ</mi><mo>⊗</mo><mi>ω</mi><mo>)</mo></mrow><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>)</mo></mrow><mo>,</mo></mrow></math></span></span></span>where <span><math><mi>μ</mi></math></span> ranges over all positive measures of finite energy concentrated on the set <span><math><mi>A</mi></math></span>. If <span><math><mi>A</mi></math></span> is Borel, the concept of inner pseudo-balayage <span><math><msup><mrow><mover><mrow><mi>ω</mi></mrow><mrow><mo>̂</mo></mrow></mover></mrow><mrow><mi>A</mi></mrow></msup></math></span> is shown to coincide with that of outer pseudo-balayage, introduced in Fuglede’s work (Fuglede, 2016), which was however only concerned with <span><math><mrow><mi>ω</mi><mo>⩾</mo><mn>0</mn></mrow></math></span>, whereas the investigation of signed <span><math><mi>ω</mi></math></span> requires essentially different methods and approaches. The theory of pseudo-balayage thereby established enables us to improve substantially our recent results on the well-known inner Gauss variational problem (Zorii, 2024), by strengthening their formulations and/or by extending the area of their validity. This study covers many interesting kernels in classical and modern potential theory, which looks promising for further applications.</div></div>","PeriodicalId":50458,"journal":{"name":"Expositiones Mathematicae","volume":"44 1","pages":"Article 125630"},"PeriodicalIF":0.9,"publicationDate":"2026-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147395461","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A complete Bernstein function related to the fractal dimension of Pascal’s pyramid modulo a prime 与帕斯卡金字塔模数素数分形维度相关的完整伯恩斯坦函数
IF 0.9 4区 数学 Q2 MATHEMATICS Pub Date : 2026-02-01 Epub Date: 2024-08-02 DOI: 10.1016/j.exmath.2024.125601
Christian Berg
Let fr(x)=log(1+rx)/log(1+x) for x>0. We prove that fr is a complete Bernstein function for 0r1 and a Stieltjes function for 1r. This answers a conjecture of David Bradley that fr is a Bernstein function when 0r1.
设为 .我们证明 , , 是一个完整的伯恩斯坦函数,并且 , 是一个斯蒂尔杰斯函数。这回答了戴维-布拉德利(David Bradley)的一个猜想,即当 . 是伯恩斯坦函数时, .
{"title":"A complete Bernstein function related to the fractal dimension of Pascal’s pyramid modulo a prime","authors":"Christian Berg","doi":"10.1016/j.exmath.2024.125601","DOIUrl":"10.1016/j.exmath.2024.125601","url":null,"abstract":"<div><div>Let <span><math><mrow><msub><mrow><mi>f</mi></mrow><mrow><mi>r</mi></mrow></msub><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow><mo>=</mo><mo>log</mo><mrow><mo>(</mo><mn>1</mn><mo>+</mo><mi>r</mi><mi>x</mi><mo>)</mo></mrow><mo>/</mo><mo>log</mo><mrow><mo>(</mo><mn>1</mn><mo>+</mo><mi>x</mi><mo>)</mo></mrow></mrow></math></span> for <span><math><mrow><mi>x</mi><mo>&gt;</mo><mn>0</mn></mrow></math></span>. We prove that <span><math><msub><mrow><mi>f</mi></mrow><mrow><mi>r</mi></mrow></msub></math></span> is a complete Bernstein function for <span><math><mrow><mn>0</mn><mo>≤</mo><mi>r</mi><mo>≤</mo><mn>1</mn></mrow></math></span> and a Stieltjes function for <span><math><mrow><mn>1</mn><mo>≤</mo><mi>r</mi></mrow></math></span>. This answers a conjecture of David Bradley that <span><math><msub><mrow><mi>f</mi></mrow><mrow><mi>r</mi></mrow></msub></math></span> is a Bernstein function when <span><math><mrow><mn>0</mn><mo>≤</mo><mi>r</mi><mo>≤</mo><mn>1</mn></mrow></math></span>.</div></div>","PeriodicalId":50458,"journal":{"name":"Expositiones Mathematicae","volume":"44 1","pages":"Article 125601"},"PeriodicalIF":0.9,"publicationDate":"2026-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141930603","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Reprint of: Extremal length and duality 转载:极限长度和二元性
IF 0.9 4区 数学 Q2 MATHEMATICS Pub Date : 2026-02-01 Epub Date: 2025-12-01 DOI: 10.1016/j.exmath.2025.125746
Kai Rajala
Classical extremal length (or conformal modulus) is a conformal invariant involving families of paths on the Riemann sphere. In “Extremal length and functional completion”, Fuglede initiated an abstract theory of extremal length which has since been widely applied. Concentrating on duality properties and applications to quasiconformal analysis, we demonstrate the flexibility of the theory and present recent advances in three different settings:
(1) Extremal length and uniformization of metric surfaces.
(2) Extremal length of families of surfaces and quasiconformal maps between n-dimensional spaces.
(3) Schramm’s transboundary extremal length and conformal maps between multiply connected plane domains.
经典极值长度(或共形模量)是一个涉及黎曼球上路径族的共形不变量。Fuglede在《极值长度与功能补全》中提出了一种抽象的极值长度理论,并得到了广泛的应用。聚焦对偶性质及其在拟共形分析中的应用,我们展示了该理论的灵活性,并介绍了在三种不同情况下的最新进展:(1)度量曲面的极值长度和均匀化。(2) n维空间间曲面族和拟共形映射的极值长度。(3) Schramm的跨界极值长度和多连通平面域间的保角映射。
{"title":"Reprint of: Extremal length and duality","authors":"Kai Rajala","doi":"10.1016/j.exmath.2025.125746","DOIUrl":"10.1016/j.exmath.2025.125746","url":null,"abstract":"<div><div>Classical extremal length (or conformal modulus) is a conformal invariant involving families of paths on the Riemann sphere. In “Extremal length and functional completion”, Fuglede initiated an abstract theory of extremal length which has since been widely applied. Concentrating on duality properties and applications to quasiconformal analysis, we demonstrate the flexibility of the theory and present recent advances in three different settings:</div><div>(1) Extremal length and uniformization of metric surfaces.</div><div>(2) Extremal length of families of surfaces and quasiconformal maps between <span><math><mi>n</mi></math></span>-dimensional spaces.</div><div>(3) Schramm’s transboundary extremal length and conformal maps between multiply connected plane domains.</div></div>","PeriodicalId":50458,"journal":{"name":"Expositiones Mathematicae","volume":"44 1","pages":"Article 125746"},"PeriodicalIF":0.9,"publicationDate":"2026-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"147395333","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Weaving information packets 编织信息包
IF 0.9 4区 数学 Q2 MATHEMATICS Pub Date : 2025-12-01 Epub Date: 2025-09-18 DOI: 10.1016/j.exmath.2025.125720
Ole Christensen , Hong Oh Kim , Rae Young Kim
The concept of weaving of frames for Hilbert spaces was introduced by Bemrose et al. in 2016. Two frames {fk}kI,{gk}kI are woven if the “mixed system” {fk}kσ{gk}kIσ is a frame for each index set σI; that is, processing a signal using two woven frames yields a certain stability against loss of information. The concept easily extends to N frames, for any integer N>2. Unfortunately it is nontrivial to construct useful woven frames, and the literature is sparse concerning explicit constructions. In this paper we introduce so-called information packets, which contain as well frames as fusion frames as special case. The concept of woven frames immediately generalizes to information packets, and we demonstrate how to construct practically relevant woven information packets based on particular wavelet systems in L2(R). Interestingly, we show that certain wavelet systems can be split into N woven information packets, for any integer N2. We finally consider corresponding questions for Gabor system in L2(R), and prove that for any fixed NN we can find a Gabor frame that can be split into N woven information packets; however, in contrast to the wavelet case, the density conditions for Gabor system excludes the possibility of finding a single Gabor frame that works simultaneously for all NN.
Hilbert空间框架编织的概念由Bemrose等人于2016年提出。如果“混合系统”{fk}k∈σ∪{gk}k∈I∈σ是每个指标集σ∧I的一个框架,则两个框架{fk}k∈I,{gk}k∈I是编织的;也就是说,使用两个编织帧处理一个信号,可以产生一定的稳定性,防止信息丢失。这个概念很容易扩展到N帧,对于任意整数N>;2。不幸的是,构建有用的编织框架并非易事,而且关于明确结构的文献很少。本文引入了所谓的信息包,作为特殊情况,信息包既包含帧,也包含融合帧。编织框架的概念立即推广到信息包,我们演示了如何基于特定的小波系统在L2(R)中构建实用的编织信息包。有趣的是,我们证明了某些小波系统可以被分割成N个编织信息包,对于任意整数N≥2。最后考虑L2(R)中Gabor系统的相应问题,并证明对于任意固定N∈N,我们都可以找到一个可以分割成N个编织信息包的Gabor框架;然而,与小波变换不同的是,Gabor系统的密度条件排除了找到对所有N∈N同时起作用的单一Gabor框架的可能性。
{"title":"Weaving information packets","authors":"Ole Christensen ,&nbsp;Hong Oh Kim ,&nbsp;Rae Young Kim","doi":"10.1016/j.exmath.2025.125720","DOIUrl":"10.1016/j.exmath.2025.125720","url":null,"abstract":"<div><div>The concept of weaving of frames for Hilbert spaces was introduced by Bemrose et al. in 2016. Two frames <span><math><mrow><msub><mrow><mrow><mo>{</mo><msub><mrow><mi>f</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>}</mo></mrow></mrow><mrow><mi>k</mi><mo>∈</mo><mi>I</mi></mrow></msub><mo>,</mo><msub><mrow><mrow><mo>{</mo><msub><mrow><mi>g</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>}</mo></mrow></mrow><mrow><mi>k</mi><mo>∈</mo><mi>I</mi></mrow></msub></mrow></math></span> are woven if the “mixed system” <span><math><mrow><msub><mrow><mrow><mo>{</mo><msub><mrow><mi>f</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>}</mo></mrow></mrow><mrow><mi>k</mi><mo>∈</mo><mi>σ</mi></mrow></msub><mo>∪</mo><msub><mrow><mrow><mo>{</mo><msub><mrow><mi>g</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>}</mo></mrow></mrow><mrow><mi>k</mi><mo>∈</mo><mi>I</mi><mo>∖</mo><mi>σ</mi></mrow></msub></mrow></math></span> is a frame for each index set <span><math><mrow><mi>σ</mi><mo>⊂</mo><mi>I</mi><mo>;</mo></mrow></math></span> that is, processing a signal using two woven frames yields a certain stability against loss of information. The concept easily extends to <span><math><mi>N</mi></math></span> frames, for any integer <span><math><mrow><mi>N</mi><mo>&gt;</mo><mn>2</mn><mo>.</mo></mrow></math></span> Unfortunately it is nontrivial to construct useful woven frames, and the literature is sparse concerning explicit constructions. In this paper we introduce so-called information packets, which contain as well frames as fusion frames as special case. The concept of woven frames immediately generalizes to information packets, and we demonstrate how to construct practically relevant woven information packets based on particular wavelet systems in <span><math><mrow><msup><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msup><mrow><mo>(</mo><mi>R</mi><mo>)</mo></mrow><mo>.</mo></mrow></math></span> Interestingly, we show that certain wavelet systems can be split into <span><math><mi>N</mi></math></span> woven information packets, for any integer <span><math><mrow><mi>N</mi><mo>≥</mo><mn>2</mn><mo>.</mo></mrow></math></span> We finally consider corresponding questions for Gabor system in <span><math><mrow><msup><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msup><mrow><mo>(</mo><mi>R</mi><mo>)</mo></mrow><mo>,</mo></mrow></math></span> and prove that for any fixed <span><math><mrow><mi>N</mi><mo>∈</mo><mi>N</mi></mrow></math></span> we can find a Gabor frame that can be split into <span><math><mi>N</mi></math></span> woven information packets; however, in contrast to the wavelet case, the density conditions for Gabor system excludes the possibility of finding a single Gabor frame that works simultaneously for all <span><math><mrow><mi>N</mi><mo>∈</mo><mi>N</mi><mo>.</mo></mrow></math></span></div></div>","PeriodicalId":50458,"journal":{"name":"Expositiones Mathematicae","volume":"43 6","pages":"Article 125720"},"PeriodicalIF":0.9,"publicationDate":"2025-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145117694","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Galois groups in enumerative geometry and applications 枚举几何中的伽罗瓦群及其应用
IF 0.9 4区 数学 Q2 MATHEMATICS Pub Date : 2025-12-01 Epub Date: 2025-10-09 DOI: 10.1016/j.exmath.2025.125731
Frank Sottile , Thomas Yahl
As Jordan observed in 1870, just as univariate polynomials have Galois groups, so do problems in enumerative geometry. Despite this pedigree, the study of Galois groups in enumerative geometry was dormant for a century, with a systematic study only occurring in the past 15 years. We discuss the current directions of this study, including open problems and conjectures.
正如Jordan在1870年观察到的那样,正如单变量多项式有伽罗瓦群一样,枚举几何问题也有伽罗瓦群。尽管有这样的谱系,伽罗瓦群在计数几何中的研究沉寂了一个世纪,直到最近15年才出现系统的研究。我们讨论了当前的研究方向,包括开放的问题和猜想。
{"title":"Galois groups in enumerative geometry and applications","authors":"Frank Sottile ,&nbsp;Thomas Yahl","doi":"10.1016/j.exmath.2025.125731","DOIUrl":"10.1016/j.exmath.2025.125731","url":null,"abstract":"<div><div>As Jordan observed in 1870, just as univariate polynomials have Galois groups, so do problems in enumerative geometry. Despite this pedigree, the study of Galois groups in enumerative geometry was dormant for a century, with a systematic study only occurring in the past 15 years. We discuss the current directions of this study, including open problems and conjectures.</div></div>","PeriodicalId":50458,"journal":{"name":"Expositiones Mathematicae","volume":"43 6","pages":"Article 125731"},"PeriodicalIF":0.9,"publicationDate":"2025-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145324319","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Periodic source detection in discrete dynamical systems via space–time sampling 基于时空采样的离散动力系统周期源检测
IF 0.9 4区 数学 Q2 MATHEMATICS Pub Date : 2025-12-01 Epub Date: 2025-09-24 DOI: 10.1016/j.exmath.2025.125730
Akram Aldroubi , Carlos Cabrelli , Ursula Molter
In this paper, we examine a discrete dynamical system defined by x(n+1)=Ax(n)+w(n), where x takes values in a Hilbert space H and w is a periodic source with values in a fixed closed subspace W of H. Our goal is to identify conditions on some spatial sampling system G={gj}jJ of H that enable stable recovery of the unknown source term w from space–time samples {x(n),gj}n0,jJ. We provide necessary and sufficient conditions on G={gj}jJ to ensure stable recovery of any wW. Additionally, we explicitly construct an operator R, dependent on G, such that R{x(n),gj}n,j=w.
本文研究了一个由x(n+1)=Ax(n)+w(n)定义的离散动力系统,其中x取Hilbert空间H中的值,w是一个周期源,其值在H的固定闭子空间w中。我们的目标是找出在某个空间采样系统G={gj}j∈j (H)上,能够从时空样本{< x(n),gj >}n≥0,j∈j中稳定恢复未知源项w的条件。我们给出了G={gj}j∈j的充分必要条件,以保证任意w∈w的稳定回收。此外,我们显式构造了一个依赖于G的算子R,使得R{< x(n),gj >}n,j=w。
{"title":"Periodic source detection in discrete dynamical systems via space–time sampling","authors":"Akram Aldroubi ,&nbsp;Carlos Cabrelli ,&nbsp;Ursula Molter","doi":"10.1016/j.exmath.2025.125730","DOIUrl":"10.1016/j.exmath.2025.125730","url":null,"abstract":"<div><div>In this paper, we examine a discrete dynamical system defined by <span><math><mrow><mi>x</mi><mrow><mo>(</mo><mi>n</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow><mo>=</mo><mi>A</mi><mi>x</mi><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow><mo>+</mo><mi>w</mi><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow></mrow></math></span>, where <span><math><mi>x</mi></math></span> takes values in a Hilbert space <span><math><mi>H</mi></math></span> and <span><math><mi>w</mi></math></span> is a periodic source with values in a fixed closed subspace <span><math><mi>W</mi></math></span> of <span><math><mi>H</mi></math></span>. Our goal is to identify conditions on some spatial sampling system <span><math><mrow><mi>G</mi><mo>=</mo><msub><mrow><mrow><mo>{</mo><msub><mrow><mi>g</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>}</mo></mrow></mrow><mrow><mi>j</mi><mo>∈</mo><mi>J</mi></mrow></msub></mrow></math></span> of <span><math><mi>H</mi></math></span> that enable stable recovery of the unknown source term <span><math><mi>w</mi></math></span> from space–time samples <span><math><msub><mrow><mrow><mo>{</mo><mrow><mo>〈</mo><mi>x</mi><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow><mo>,</mo><msub><mrow><mi>g</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>〉</mo></mrow><mo>}</mo></mrow></mrow><mrow><mi>n</mi><mo>≥</mo><mn>0</mn><mo>,</mo><mi>j</mi><mo>∈</mo><mi>J</mi></mrow></msub></math></span>. We provide necessary and sufficient conditions on <span><math><mrow><mi>G</mi><mo>=</mo><msub><mrow><mrow><mo>{</mo><msub><mrow><mi>g</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>}</mo></mrow></mrow><mrow><mi>j</mi><mo>∈</mo><mi>J</mi></mrow></msub></mrow></math></span> to ensure stable recovery of any <span><math><mrow><mi>w</mi><mo>∈</mo><mi>W</mi></mrow></math></span>. Additionally, we explicitly construct an operator <span><math><mi>R</mi></math></span>, dependent on <span><math><mi>G</mi></math></span>, such that <span><math><mrow><mi>R</mi><msub><mrow><mrow><mo>{</mo><mrow><mo>〈</mo><mi>x</mi><mrow><mo>(</mo><mi>n</mi><mo>)</mo></mrow><mo>,</mo><msub><mrow><mi>g</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>〉</mo></mrow><mo>}</mo></mrow></mrow><mrow><mi>n</mi><mo>,</mo><mi>j</mi></mrow></msub><mo>=</mo><mi>w</mi></mrow></math></span>.</div></div>","PeriodicalId":50458,"journal":{"name":"Expositiones Mathematicae","volume":"43 6","pages":"Article 125730"},"PeriodicalIF":0.9,"publicationDate":"2025-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145157524","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Some examples of affine isometries of Banach spaces arising from 1-D dynamics 由一维动力学引起的巴拿赫空间仿射等距的一些例子
IF 0.9 4区 数学 Q2 MATHEMATICS Pub Date : 2025-12-01 Epub Date: 2025-07-31 DOI: 10.1016/j.exmath.2025.125716
Andrés Navas
We provide a large family of examples of affine isometries of the Banach spaces C0(S1), L1(S1) and L2(S1×S1) that are fixed-point-free despite being recurrent (in particular, they have zero drift). These come from natural cocycles on the group of circle diffeomorphisms, namely the logarithmic, affine and (a variation of the) Schwarzian derivative. Quite interestingly, they arise from diffeomorphisms that are generic in an appropriate context. We also show how to promote these examples in order to obtain families of commuting isometries satisfying the same properties.
我们提供了大量的Banach空间C0(S1), L1(S1)和L2(S1×S1)的仿射等距的例子,尽管它们是循环的(特别是,它们具有零漂移),但它们是不定点的。这些来自于圆微分同态群上的自然环,即对数、仿射和(Schwarzian导数的一种变化)。非常有趣的是,它们起源于在适当的上下文中具有普遍性的微分同构。我们还展示了如何推广这些例子,以获得满足相同性质的交换等距族。
{"title":"Some examples of affine isometries of Banach spaces arising from 1-D dynamics","authors":"Andrés Navas","doi":"10.1016/j.exmath.2025.125716","DOIUrl":"10.1016/j.exmath.2025.125716","url":null,"abstract":"<div><div>We provide a large family of examples of affine isometries of the Banach spaces <span><math><mrow><msup><mrow><mi>C</mi></mrow><mrow><mn>0</mn></mrow></msup><mrow><mo>(</mo><msup><mrow><mi>S</mi></mrow><mrow><mn>1</mn></mrow></msup><mo>)</mo></mrow></mrow></math></span>, <span><math><mrow><msup><mrow><mi>L</mi></mrow><mrow><mn>1</mn></mrow></msup><mrow><mo>(</mo><msup><mrow><mi>S</mi></mrow><mrow><mn>1</mn></mrow></msup><mo>)</mo></mrow></mrow></math></span> and <span><math><mrow><msup><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msup><mrow><mo>(</mo><msup><mrow><mi>S</mi></mrow><mrow><mn>1</mn></mrow></msup><mo>×</mo><msup><mrow><mi>S</mi></mrow><mrow><mn>1</mn></mrow></msup><mo>)</mo></mrow></mrow></math></span> that are fixed-point-free despite being recurrent (in particular, they have zero drift). These come from natural cocycles on the group of circle diffeomorphisms, namely the logarithmic, affine and (a variation of the) Schwarzian derivative. Quite interestingly, they arise from diffeomorphisms that are generic in an appropriate context. We also show how to promote these examples in order to obtain families of commuting isometries satisfying the same properties.</div></div>","PeriodicalId":50458,"journal":{"name":"Expositiones Mathematicae","volume":"43 6","pages":"Article 125716"},"PeriodicalIF":0.9,"publicationDate":"2025-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144757943","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Computation of Lyapunov exponents of matrix products 矩阵乘积的李雅普诺夫指数的计算
IF 0.9 4区 数学 Q2 MATHEMATICS Pub Date : 2025-12-01 Epub Date: 2025-10-17 DOI: 10.1016/j.exmath.2025.125733
Ai Hua Fan , Evgeny Verbitskiy
For m given square matrices A0,A1,,Am1 (m2), one of which is assumed to be of rank 1, and for a given sequence (ωn) in {0,1,,m1}N, the following limit, if it exists, L(ω)limn1nlogAω0Aω2Aωn1 defines the Lyapunov exponent of the sequence of matrices (Aωn)n0. It is proven that the Lyapunov exponent L(ω) has a closed-form expression under certain conditions. One special case arises when Aj’s are non-negative and ω is generic with respect to some shift-invariant measure; a second special case occurs when Aj’s (for 1j<m) are invertible and ω is a typical point with respect to some shift-ergodic measure. Substitutive sequences and characteristic sequences of B-free integers are considered as examples. An application is presented for the computation of multifractal spectrum of weighted Birkhoff averages.
对于m个给定的方阵A0,A1,…,Am−1 (m≥2),其中一个设秩为1,对于{0,1,…,m−1}N中的一个给定序列(ω N),如果存在,则L(ω)→∞1nlog‖a ω 0a ω2⋯a ω N−1‖定义矩阵(a ω N) N≥0序列的李雅普诺夫指数。证明了李雅普诺夫指数L(ω)在一定条件下具有闭型表达式。一种特殊情况是Aj是非负的ω对于平移不变测度是泛型的;当Aj(对于1≤j<;m)是可逆的,并且ω是关于平移遍历测度的一个典型点时,出现第二种特殊情况。以无b整数的替换序列和特征序列为例。给出了加权Birkhoff平均多重分形谱计算的一个应用。
{"title":"Computation of Lyapunov exponents of matrix products","authors":"Ai Hua Fan ,&nbsp;Evgeny Verbitskiy","doi":"10.1016/j.exmath.2025.125733","DOIUrl":"10.1016/j.exmath.2025.125733","url":null,"abstract":"<div><div>For <span><math><mi>m</mi></math></span> given square matrices <span><math><mrow><msub><mrow><mi>A</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>,</mo><msub><mrow><mi>A</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>A</mi></mrow><mrow><mi>m</mi><mo>−</mo><mn>1</mn></mrow></msub></mrow></math></span>\u0000 (<span><math><mrow><mi>m</mi><mo>≥</mo><mn>2</mn></mrow></math></span>), one of which is assumed to be of rank 1, and for a given sequence <span><math><mrow><mo>(</mo><msub><mrow><mi>ω</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>)</mo></mrow></math></span> in <span><math><msup><mrow><mrow><mo>{</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>m</mi><mo>−</mo><mn>1</mn><mo>}</mo></mrow></mrow><mrow><mi>N</mi></mrow></msup></math></span>, the following limit, if it exists, <span><math><mrow><mi>L</mi><mrow><mo>(</mo><mi>ω</mi><mo>)</mo></mrow><mo>≔</mo><munder><mrow><mo>lim</mo></mrow><mrow><mi>n</mi><mo>→</mo><mi>∞</mi></mrow></munder><mfrac><mrow><mn>1</mn></mrow><mrow><mi>n</mi></mrow></mfrac><mo>log</mo><mo>‖</mo><msub><mrow><mi>A</mi></mrow><mrow><msub><mrow><mi>ω</mi></mrow><mrow><mn>0</mn></mrow></msub></mrow></msub><msub><mrow><mi>A</mi></mrow><mrow><msub><mrow><mi>ω</mi></mrow><mrow><mn>2</mn></mrow></msub></mrow></msub><mo>⋯</mo><msub><mrow><mi>A</mi></mrow><mrow><msub><mrow><mi>ω</mi></mrow><mrow><mi>n</mi><mo>−</mo><mn>1</mn></mrow></msub></mrow></msub><mo>‖</mo></mrow></math></span> defines the Lyapunov exponent of the sequence of matrices <span><math><msub><mrow><mrow><mo>(</mo><msub><mrow><mi>A</mi></mrow><mrow><msub><mrow><mi>ω</mi></mrow><mrow><mi>n</mi></mrow></msub></mrow></msub><mo>)</mo></mrow></mrow><mrow><mi>n</mi><mo>≥</mo><mn>0</mn></mrow></msub></math></span>. It is proven that the Lyapunov exponent <span><math><mrow><mi>L</mi><mrow><mo>(</mo><mi>ω</mi><mo>)</mo></mrow></mrow></math></span> has a closed-form expression under certain conditions. One special case arises when <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>j</mi></mrow></msub></math></span>’s are non-negative and <span><math><mi>ω</mi></math></span> is generic with respect to some shift-invariant measure; a second special case occurs when <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>j</mi></mrow></msub></math></span>’s (for <span><math><mrow><mn>1</mn><mo>≤</mo><mi>j</mi><mo>&lt;</mo><mi>m</mi></mrow></math></span>) are invertible and <span><math><mi>ω</mi></math></span> is a typical point with respect to some shift-ergodic measure. Substitutive sequences and characteristic sequences of <span><math><mi>B</mi></math></span>-free integers are considered as examples. An application is presented for the computation of multifractal spectrum of weighted Birkhoff averages.</div></div>","PeriodicalId":50458,"journal":{"name":"Expositiones Mathematicae","volume":"43 6","pages":"Article 125733"},"PeriodicalIF":0.9,"publicationDate":"2025-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145361565","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Any function I can actually write down is measurable, right? 任何我能写出的函数都是可测量的,对吧?
IF 0.9 4区 数学 Q2 MATHEMATICS Pub Date : 2025-12-01 Epub Date: 2025-08-11 DOI: 10.1016/j.exmath.2025.125718
James E. Hanson
<div><div>In this expository paper aimed at a general mathematical audience, we discuss how to combine certain classic theorems of set-theoretic inner model theory and effective descriptive set theory with work on Hilbert’s tenth problem and universal Diophantine equations to produce the following surprising result: There is a specific polynomial <span><math><mrow><mi>p</mi><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>,</mo><mi>z</mi><mo>,</mo><mi>n</mi><mo>,</mo><msub><mrow><mi>k</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>k</mi></mrow><mrow><mn>70</mn></mrow></msub><mo>)</mo></mrow></mrow></math></span> of degree 7 with integer coefficients such that it is independent of <span><math><mi>ZFC</mi></math></span> (and much stronger theories) whether the function <span><span><span><math><mrow><mi>f</mi><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow><mo>=</mo><munder><mrow><mo>inf</mo></mrow><mrow><mi>y</mi><mo>∈</mo><mi>R</mi></mrow></munder><munder><mrow><mo>sup</mo></mrow><mrow><mi>z</mi><mo>∈</mo><mi>R</mi></mrow></munder><munder><mrow><mo>inf</mo></mrow><mrow><mi>n</mi><mo>∈</mo><mi>N</mi></mrow></munder><munder><mrow><mo>sup</mo></mrow><mrow><mover><mrow><mi>k</mi></mrow><mrow><mo>̄</mo></mrow></mover><mo>∈</mo><msup><mrow><mi>N</mi></mrow><mrow><mn>70</mn></mrow></msup></mrow></munder><mi>p</mi><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>,</mo><mi>z</mi><mo>,</mo><mi>n</mi><mo>,</mo><mover><mrow><mi>k</mi></mrow><mrow><mo>̄</mo></mrow></mover><mo>)</mo></mrow></mrow></math></span></span></span>is Lebesgue measurable. We also give similarly defined <span><math><mrow><mi>g</mi><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>)</mo></mrow></mrow></math></span> with the property that the statement “<span><math><mrow><mi>x</mi><mo>↦</mo><mi>g</mi><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>r</mi><mo>)</mo></mrow></mrow></math></span> is measurable for every <span><math><mrow><mi>r</mi><mo>∈</mo><mi>R</mi></mrow></math></span>” has large cardinal consistency strength (and in particular implies the consistency of <span><math><mi>ZFC</mi></math></span>) and <span><math><mrow><mi>h</mi><mrow><mo>(</mo><mi>m</mi><mo>,</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>,</mo><mi>z</mi><mo>)</mo></mrow></mrow></math></span> such that <span><math><mrow><mi>h</mi><mrow><mo>(</mo><mn>1</mn><mo>,</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>,</mo><mi>z</mi><mo>)</mo></mrow><mo>,</mo><mo>…</mo><mo>,</mo><mi>h</mi><mrow><mo>(</mo><mn>16</mn><mo>,</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>,</mo><mi>z</mi><mo>)</mo></mrow></mrow></math></span> can consistently be the indicator functions of a Banach–Tarski paradoxical decomposition of the sphere.</div><div>Finally, we discuss some situations in which measurability of analogously defined functions can be concluded by inspection, which touches on model-theoretic o-minimality and the fact that sufficiently strong large cardinal hypotheses (such as Vopěnka’s principle and much weaker assumptions
在这篇针对一般数学读者的说说性论文中,我们讨论了如何将集合论内模论和有效描述集合论的某些经典定理与希尔伯特第十问题和普遍丢芬图方程的工作结合起来,以产生以下惊人的结果:有一个特定的7次多项式p(x,y,z,n,k1,…,k70)具有整数系数,使得它独立于ZFC(以及更强的理论)函数f(x)=infy∈Rsupz∈Rinfn∈Nsupk∈N70p(x,y,z,n,k)是否为勒贝格可测。我们也给出了类似的定义g(x,y),并给出了“x∑g(x,r)对于每一个r∈r都是可测的”的性质,即命题“x∑g(x,r)对于每一个r∈r都是可测的”具有较大的基一致性强度(特别是暗示了ZFC的一致性)和h(m,x,y,z),使得h(1,x,y,z),…,h(16,x,y,z)可以一致地成为球的Banach-Tarski悖论分解的指示函数。最后,我们讨论了可以通过检验得出类似定义函数的可测性的一些情况,这涉及到模型论的o-极小性和足够强的大基数假设(如vopovonka原理和更弱的假设)意味着所有“合理可定义”的函数(包括上述f(x), g(x,y)和h(m,x,y,z))是普遍可测的事实。
{"title":"Any function I can actually write down is measurable, right?","authors":"James E. Hanson","doi":"10.1016/j.exmath.2025.125718","DOIUrl":"10.1016/j.exmath.2025.125718","url":null,"abstract":"&lt;div&gt;&lt;div&gt;In this expository paper aimed at a general mathematical audience, we discuss how to combine certain classic theorems of set-theoretic inner model theory and effective descriptive set theory with work on Hilbert’s tenth problem and universal Diophantine equations to produce the following surprising result: There is a specific polynomial &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;p&lt;/mi&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;y&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;z&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mo&gt;…&lt;/mo&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;70&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; of degree 7 with integer coefficients such that it is independent of &lt;span&gt;&lt;math&gt;&lt;mi&gt;ZFC&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; (and much stronger theories) whether the function &lt;span&gt;&lt;span&gt;&lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;munder&gt;&lt;mrow&gt;&lt;mo&gt;inf&lt;/mo&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;y&lt;/mi&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;mi&gt;R&lt;/mi&gt;&lt;/mrow&gt;&lt;/munder&gt;&lt;munder&gt;&lt;mrow&gt;&lt;mo&gt;sup&lt;/mo&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;z&lt;/mi&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;mi&gt;R&lt;/mi&gt;&lt;/mrow&gt;&lt;/munder&gt;&lt;munder&gt;&lt;mrow&gt;&lt;mo&gt;inf&lt;/mo&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;mi&gt;N&lt;/mi&gt;&lt;/mrow&gt;&lt;/munder&gt;&lt;munder&gt;&lt;mrow&gt;&lt;mo&gt;sup&lt;/mo&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mover&gt;&lt;mrow&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;̄&lt;/mo&gt;&lt;/mrow&gt;&lt;/mover&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi&gt;N&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;70&lt;/mn&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;/mrow&gt;&lt;/munder&gt;&lt;mi&gt;p&lt;/mi&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;y&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;z&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mover&gt;&lt;mrow&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;̄&lt;/mo&gt;&lt;/mrow&gt;&lt;/mover&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;is Lebesgue measurable. We also give similarly defined &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;g&lt;/mi&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;y&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; with the property that the statement “&lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo&gt;↦&lt;/mo&gt;&lt;mi&gt;g&lt;/mi&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;r&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; is measurable for every &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;r&lt;/mi&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;mi&gt;R&lt;/mi&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt;” has large cardinal consistency strength (and in particular implies the consistency of &lt;span&gt;&lt;math&gt;&lt;mi&gt;ZFC&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;) and &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;h&lt;/mi&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;m&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;y&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;z&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; such that &lt;span&gt;&lt;math&gt;&lt;mrow&gt;&lt;mi&gt;h&lt;/mi&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;y&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;z&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mo&gt;…&lt;/mo&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;h&lt;/mi&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mn&gt;16&lt;/mn&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;x&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;y&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;z&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;/mrow&gt;&lt;/math&gt;&lt;/span&gt; can consistently be the indicator functions of a Banach–Tarski paradoxical decomposition of the sphere.&lt;/div&gt;&lt;div&gt;Finally, we discuss some situations in which measurability of analogously defined functions can be concluded by inspection, which touches on model-theoretic o-minimality and the fact that sufficiently strong large cardinal hypotheses (such as Vopěnka’s principle and much weaker assumptions","PeriodicalId":50458,"journal":{"name":"Expositiones Mathematicae","volume":"43 6","pages":"Article 125718"},"PeriodicalIF":0.9,"publicationDate":"2025-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144851911","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Sums of two squares and the tau-function: Ramanujan’s trail 两个平方和和tau函数:拉马努金轨迹
IF 0.9 4区 数学 Q2 MATHEMATICS Pub Date : 2025-12-01 Epub Date: 2025-09-06 DOI: 10.1016/j.exmath.2025.125721
Bruce C. Berndt , Pieter Moree
Ramanujan, in his famous first letter to Hardy, claimed a very precise estimate for the number of integers that can be written as a sum of two squares. Far less well-known is that he also made further claims of a similar nature for the non-divisibility of the Ramanujan tau-function for certain primes. In this survey, we provide more historical details and also discuss related later developments. These show that, as so often, Ramanujan was an explorer in a fascinating wilderness, leaving behind him a beckoning trail.
拉马努金,在他给哈代的著名的第一封信中,声称对可以写成两个平方和的整数的数量有一个非常精确的估计。远不为人所知的是,他还对某些素数的拉马努金τ函数的不可整除性提出了类似性质的进一步主张。在本文中,我们将提供更多的历史细节,并讨论相关的后期发展。这些照片表明,拉马努金像往常一样,是迷人荒野中的探险家,身后留下了一条迷人的小径。
{"title":"Sums of two squares and the tau-function: Ramanujan’s trail","authors":"Bruce C. Berndt ,&nbsp;Pieter Moree","doi":"10.1016/j.exmath.2025.125721","DOIUrl":"10.1016/j.exmath.2025.125721","url":null,"abstract":"<div><div>Ramanujan, in his famous first letter to Hardy, claimed a very precise estimate for the number of integers that can be written as a sum of two squares. Far less well-known is that he also made further claims of a similar nature for the non-divisibility of the Ramanujan tau-function for certain primes. In this survey, we provide more historical details and also discuss related later developments. These show that, as so often, Ramanujan was an explorer in a fascinating wilderness, leaving behind him a beckoning trail.</div></div>","PeriodicalId":50458,"journal":{"name":"Expositiones Mathematicae","volume":"43 6","pages":"Article 125721"},"PeriodicalIF":0.9,"publicationDate":"2025-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145048954","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
Expositiones Mathematicae
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1