-
Contraction properties and differentiability of $p$-energy forms with applications to nonlinear potential theory on self-similar sets
Authors:
Naotaka Ka**o,
Ryosuke Shimizu
Abstract:
We introduce new contraction properties called the generalized $p$-contraction property for $p$-energy forms as generalizations of many well-known inequalities, such as Clarkson's inequalities, the strong subadditivity and the ``Markov property'' in the theory of nonlinear Dirichlet forms, and show that any $p$-energy form satisfying Clarkson's inequalities is Fréchet differentiable. We also verif…
▽ More
We introduce new contraction properties called the generalized $p$-contraction property for $p$-energy forms as generalizations of many well-known inequalities, such as Clarkson's inequalities, the strong subadditivity and the ``Markov property'' in the theory of nonlinear Dirichlet forms, and show that any $p$-energy form satisfying Clarkson's inequalities is Fréchet differentiable. We also verify the generalized $p$-contraction property for $p$-energy forms constructed by Kigami [Mem. Eur. Math. Soc. 5 (2023)] and by Cao--Gu--Qiu [Adv. Math. 405 (2022), no. 108517]. As a general framework of $p$-energy forms taking into consideration the generalized $p$-contraction property, we introduce the notion of $p$-resistance form and investigate fundamental properties for $p$-harmonic functions with respect to $p$-resistance forms. In particular, some new estimates on scaling factors of $p$-energy forms are obtained by establishing Hölder regularity estimates for harmonic functions, and the $p$-walk dimensions of the generalized Sierpiński carpets and $D$-dimensional level-$l$ Sierpiński gasket are shown to be strictly greater than $p$.
△ Less
Submitted 21 April, 2024;
originally announced April 2024.
-
Korevaar-Schoen $p$-energy forms and associated $p$-energy measures on fractals
Authors:
Naotaka Ka**o,
Ryosuke Shimizu
Abstract:
We construct good $p$-energy forms on metric measure spaces as pointwise subsequential limits of Besov-type $p$-energy functionals under certain geometric/analytic conditions. Such forms are often called Korevaar-Schoen $p$-energy forms in the literature. As an advantage of our approach, the associated $p$-energy measures are obtained and investigated. We also prove that our construction is applic…
▽ More
We construct good $p$-energy forms on metric measure spaces as pointwise subsequential limits of Besov-type $p$-energy functionals under certain geometric/analytic conditions. Such forms are often called Korevaar-Schoen $p$-energy forms in the literature. As an advantage of our approach, the associated $p$-energy measures are obtained and investigated. We also prove that our construction is applicable to the settings of Kigami [Mem. Eur. Math. Soc. 5 (2023)] and Cao-Gu-Qiu [Adv. Math. 405 (2022), no. 108517], yields Korevaar-Schoen $p$-energy forms comparable to the $p$-energy forms constructed in these papers, and can be further modified in the case of self-similar sets to obtain self-similar $p$-energy forms kee** most of the good properties of Korevaar-Schoen ones.
△ Less
Submitted 20 April, 2024;
originally announced April 2024.
-
Unveil Sleep Spindles with Concentration of Frequency and Time
Authors:
Riki Shimizu,
Hau-Tieng Wu
Abstract:
Objective: Sleep spindles contain crucial brain dynamics information. We introduce the novel non-linear time-frequency analysis tool 'Concentration of Frequency and Time' (ConceFT) to create an interpretable automated algorithm for sleep spindle annotation in EEG data and to measure spindle instantaneous frequencies (IFs). Methods: ConceFT effectively reduces stochastic EEG influence, enhancing sp…
▽ More
Objective: Sleep spindles contain crucial brain dynamics information. We introduce the novel non-linear time-frequency analysis tool 'Concentration of Frequency and Time' (ConceFT) to create an interpretable automated algorithm for sleep spindle annotation in EEG data and to measure spindle instantaneous frequencies (IFs). Methods: ConceFT effectively reduces stochastic EEG influence, enhancing spindle visibility in the time-frequency representation. Our automated spindle detection algorithm, ConceFT-Spindle (ConceFT-S), is compared to A7 (non-deep learning) and SUMO (deep learning) using Dream and MASS benchmark databases. We also quantify spindle IF dynamics. Results: ConceFT-S achieves F1 scores of 0.749 in Dream and 0.786 in MASS, which is equivalent to or surpass A7 and SUMO with statistical significance. We reveal that spindle IF is generally nonlinear. Conclusion: ConceFT offers an accurate, interpretable EEG-based sleep spindle detection algorithm and enables spindle IF quantification.
△ Less
Submitted 26 October, 2023;
originally announced October 2023.
-
First-order Sobolev spaces, self-similar energies and energy measures on the Sierpiński carpet
Authors:
Mathav Murugan,
Ryosuke Shimizu
Abstract:
We construct and investigate $(1, p)$-Sobolev space, $p$-energy, and the corresponding $p$-energy measures on the planar Sierpiński carpet for all $p \in (1, \infty)$. Our method is based on the idea of Kusuoka and Zhou [Probab. Theory Related Fields $\textbf{93}$ (1992), no. 2, 169--196], where Brownian motion (the case $p = 2$) on self-similar sets including the planar Sierpiński carpet were con…
▽ More
We construct and investigate $(1, p)$-Sobolev space, $p$-energy, and the corresponding $p$-energy measures on the planar Sierpiński carpet for all $p \in (1, \infty)$. Our method is based on the idea of Kusuoka and Zhou [Probab. Theory Related Fields $\textbf{93}$ (1992), no. 2, 169--196], where Brownian motion (the case $p = 2$) on self-similar sets including the planar Sierpiński carpet were constructed. Similar to this earlier work, we use a sequence of discrete graph approximations and the corresponding discrete $p$-energies to define the Sobolev space and $p$-energies. However, we need a new approach to ensure that our $(1, p)$-Sobolev space has a dense set of continuous functions when $p$ is less than the Ahlfors regular conformal dimension. The new ingredients are the use of Loewner type estimates on combinatorial modulus to obtain Poincaré inequality and elliptic Harnack inequality on a sequence of approximating graphs. An important feature of our Sobolev space is the self-similarity of our $p$-energy, which allows us to define corresponding $p$-energy measures on the planar Sierpiński carpet. We show that our Sobolev space can also be viewed as a Korevaar-Schoen type space. We apply our results to the attainment problem for Ahlfors regular conformal dimension of the Sierpiński carpet. In particular, we show that if the Ahlfors regular conformal dimension, say $\dim_{\mathrm{ARC}}$, is attained, then any optimal measure which attains $\dim_{\mathrm{ARC}}$ should be comparable with the $\dim_{\mathrm{ARC}}$-energy measure of some function in our $(1, \dim_{\mathrm{ARC}})$-Sobolev space up to a multiplicative constant. In this case, we also prove that the Newton-Sobolev space corresponding to any optimal measure and metric can be identified as our self-similar $(1, \dim_{\mathrm{ARC}})$-Sobolev space.
△ Less
Submitted 29 November, 2023; v1 submitted 11 August, 2023;
originally announced August 2023.
-
The pro-$\mathcal{C}$ anabelian geometry of number fields
Authors:
Ryoji Shimizu
Abstract:
Let $K$ be a number field and $\mathcal{C}$ a full class of finite groups. We write $K^{\mathcal{C}}/K$ for the maximal pro-$\mathcal{C}$ Galois extension of $K$, and $G_K^{\mathcal{C}}$ for its Galois group. In this paper, we deal with the following question: ``For $i=1,2$, let $K_i$ be a number field, $\mathcal{C}_i$ a nontrivial full class of finite groups, and…
▽ More
Let $K$ be a number field and $\mathcal{C}$ a full class of finite groups. We write $K^{\mathcal{C}}/K$ for the maximal pro-$\mathcal{C}$ Galois extension of $K$, and $G_K^{\mathcal{C}}$ for its Galois group. In this paper, we deal with the following question: ``For $i=1,2$, let $K_i$ be a number field, $\mathcal{C}_i$ a nontrivial full class of finite groups, and $σ:G_{K_1}^{\mathcal{C}_1}\overset \sim \rightarrow G_{K_2}^{\mathcal{C}_2}$ an isomorphism. Is $σ$ induced by a unique isomorphism between $K_2^{\mathcal{C}_2}/K_2$ and $K_1^{\mathcal{C}_1}/K_1$?'' In one of the main results, we answer this question affirmatively only assuming that the upper Dirichlet density of the set of prime numbers concerning $\mathcal{C}_i$ is not zero for at least one $i$. Moreover, we obtain some results which are still valid even when $\mathcal{C}_1$, $\mathcal{C}_2$ consist of all finite $p$-groups for a prime number $p$, that is, $G_{K_1}^{\mathcal{C}_1}$, $G_{K_2}^{\mathcal{C}_2}$ are the maximal pro-$p$ quotients of the absolute Galois groups.
△ Less
Submitted 6 March, 2023;
originally announced March 2023.
-
Construction of $p$-energy and associated energy measures on Sierpiński carpets
Authors:
Ryosuke Shimizu
Abstract:
We establish the existence of a scaling limit $\mathcal{E}_p$ of discrete $p$-energies on the graphs approximating generalized Sierpiński carpets for $p > \dim_{\text{ARC}}(\textsf{SC})$, where $\dim_{\text{ARC}}(\textsf{SC})$ is the Ahlfors regular conformal dimension of the underlying generalized Sierpiński carpet. Furthermore, the function space $\mathcal{F}_{p}$ defined as the collection of fu…
▽ More
We establish the existence of a scaling limit $\mathcal{E}_p$ of discrete $p$-energies on the graphs approximating generalized Sierpiński carpets for $p > \dim_{\text{ARC}}(\textsf{SC})$, where $\dim_{\text{ARC}}(\textsf{SC})$ is the Ahlfors regular conformal dimension of the underlying generalized Sierpiński carpet. Furthermore, the function space $\mathcal{F}_{p}$ defined as the collection of functions with finite $p$-energies is shown to be a reflexive and separable Banach space that is dense in the set of continuous functions with respect to the supremum norm. In particular, $(\mathcal{E}_2, \mathcal{F}_2)$ recovers the canonical regular Dirichlet form constructed by Barlow and Bass or Kusuoka and Zhou. We also provide $\mathcal{E}_{p}$-energy measures associated with the constructed $p$-energy and investigate its basic properties like self-similarity and chain rule.
△ Less
Submitted 26 March, 2023; v1 submitted 26 October, 2021;
originally announced October 2021.
-
Isomorphisms of Galois groups of number fields with restricted ramification
Authors:
Ryoji Shimizu
Abstract:
Let $K$ be a number field and $S$ a set of primes of $K$. We write $K_S/K$ for the maximal extension of $K$ unramified outside $S$ and $G_{K,S}$ for its Galois group. In this paper, we answer the following question under some assumptions: "For $i=1,2$, let $K_i$ be a number field, $S_i$ a (sufficiently large) set of primes of $K_i$ and $σ:G_{K_1,S_1}\to G_{K_2,S_2}$ an isomorphism. Is $σ$ induced…
▽ More
Let $K$ be a number field and $S$ a set of primes of $K$. We write $K_S/K$ for the maximal extension of $K$ unramified outside $S$ and $G_{K,S}$ for its Galois group. In this paper, we answer the following question under some assumptions: "For $i=1,2$, let $K_i$ be a number field, $S_i$ a (sufficiently large) set of primes of $K_i$ and $σ:G_{K_1,S_1}\to G_{K_2,S_2}$ an isomorphism. Is $σ$ induced by a unique isomorphism between $K_{1,S_1}/K_1$ and $K_{2,S_2}/K_2$?" Here the main assumption is about the Dirichlet density of $S_i$.
△ Less
Submitted 19 July, 2021; v1 submitted 9 July, 2021;
originally announced July 2021.
-
The Neukirch-Uchida theorem with restricted ramification
Authors:
Ryoji Shimizu
Abstract:
Let $K$ be a number field and $S$ a set of primes of $K$. We write $K_S/K$ for the maximal extension of $K$ unramified outside $S$ and $G_{K,S}$ for its Galois group. In this paper, we prove the following generalization of the Neukirch-Uchida theorem under some assumptions: "For $i=1,2$, let $K_i$ be a number field and $S_i$ a set of primes of $K_i$. If $G_{K_1,S_1}$ and $G_{K_2,S_2}$ are isomorph…
▽ More
Let $K$ be a number field and $S$ a set of primes of $K$. We write $K_S/K$ for the maximal extension of $K$ unramified outside $S$ and $G_{K,S}$ for its Galois group. In this paper, we prove the following generalization of the Neukirch-Uchida theorem under some assumptions: "For $i=1,2$, let $K_i$ be a number field and $S_i$ a set of primes of $K_i$. If $G_{K_1,S_1}$ and $G_{K_2,S_2}$ are isomorphic, then $K_1$ and $K_2$ are isomorphic." Here the main assumption is that the Dirichlet density of $S_i$ is not zero for at least one $i$. A key step of the proof is to recover group-theoretically the $l$-adic cyclotomic character of an open subgroup of $G_{K,S}$ for some prime number $l$.
△ Less
Submitted 27 December, 2021; v1 submitted 22 September, 2020;
originally announced September 2020.
-
A subspecies of region crossing change, region freeze crossing change
Authors:
Ayumu Inoue,
Ryo Shimizu
Abstract:
We introduce a local move on a link diagram named a region freeze crossing change which is close to a region crossing change, but not the same. We study similarity and difference between region crossing change and region freeze crossing change.
We introduce a local move on a link diagram named a region freeze crossing change which is close to a region crossing change, but not the same. We study similarity and difference between region crossing change and region freeze crossing change.
△ Less
Submitted 21 June, 2016;
originally announced June 2016.