-
An extension of the Wiener-Wintner ergodic theorem for pointwise jointly ergodic systems and its applications
Authors:
Michihiro Hirayama,
Younghwan Son
Abstract:
A joint measure-preserving system is $(X, \mathcal{B}, μ_{1}, \dots, μ_{k}, T_{1}, \dots, T_{k})$, where each $(X, \mathcal{B}, μ_{i}, T_{i})$ is a measure-preserving system and any $μ_{i}$ and $μ_{j}$ are mutually absolutely continuous probability measures. Such a system is called pointwise jointly ergodic if, for any set of bounded measurable functions $f_{1}, \dots, f_{k}$ on $X$, the multiline…
▽ More
A joint measure-preserving system is $(X, \mathcal{B}, μ_{1}, \dots, μ_{k}, T_{1}, \dots, T_{k})$, where each $(X, \mathcal{B}, μ_{i}, T_{i})$ is a measure-preserving system and any $μ_{i}$ and $μ_{j}$ are mutually absolutely continuous probability measures. Such a system is called pointwise jointly ergodic if, for any set of bounded measurable functions $f_{1}, \dots, f_{k}$ on $X$, the multilinear ergodic average of their joint action under the transformations $T_{1}, \dots, T_{k}$ converges almost everywhere to the product of their integrals with respect to the corresponding measures.
In this paper, we extend the classical Wiener-Wintner ergodic theorem to the setting of pointwise jointly ergodic systems with nilsequences weight. Additionally, we provide applications that include results on the mean convergence of weighted ergodic averages and the almost everywhere convergence of ergodic averages taken along subsequences of the form $\lfloor αn \rfloor$, where $α\geq 1$.
△ Less
Submitted 7 October, 2024;
originally announced October 2024.
-
On the coexistence of divergence and convergence phenomena for the Fourier-Haar series for non-negative functions
Authors:
Michihiro Hirayama,
Davit Karagulyan
Abstract:
Let $\{H_{n,m}\}_{n,m\in \mathbb{N}}$ be the two dimensional Haar system and $S_{n,m}f$ be the rectangular partial sums of its Fourier series with respect to some $f\in L^1([0,1)^2)$. Let $\mathcal{N}, \mathcal{M}\subset \mathbb{N}$ be two disjoint subsets of indices. We give a necessary and sufficient condition on the sets $\mathcal{N}, \mathcal{M}$ so that for some $f \in L^1([0,1)^2)$,…
▽ More
Let $\{H_{n,m}\}_{n,m\in \mathbb{N}}$ be the two dimensional Haar system and $S_{n,m}f$ be the rectangular partial sums of its Fourier series with respect to some $f\in L^1([0,1)^2)$. Let $\mathcal{N}, \mathcal{M}\subset \mathbb{N}$ be two disjoint subsets of indices. We give a necessary and sufficient condition on the sets $\mathcal{N}, \mathcal{M}$ so that for some $f \in L^1([0,1)^2)$, $f \geq 0$ one has for almost every $z\in [0,1)^2$ that $$ \lim_{n,m \rightarrow \infty;n,m \in \mathcal{N}}S_{n,m}f(z)=f(z)\quad \text{ and }\quad \limsup_{n,m \rightarrow \infty;n,m \in \mathcal{M}}|S_{n,m}f(z)|=\infty. $$ The proof uses some constructions from the theory of low-discrepancy sequences such as the van der Corput sequence and an associated tiling of the plane. This extends some earlier results.
△ Less
Submitted 19 March, 2022;
originally announced March 2022.
-
On genericity of non-uniform Dvoretzky coverings of the circle
Authors:
Michihiro Hirayama,
Davit Karagulyan
Abstract:
The classical Dvoretzky covering problem asks for conditions on the sequence of lengths $\{\ell_n\}_{n\in \mathbb{N}}$ so that the random intervals $I_n : = (ω_n -(\ell_n/2), ω_n +(\ell_n/2))$ where $ω_n$ is a sequence of i.i.d. uniformly distributed random variable, covers any point on the circle $\mathbb{T}$ infinitely often. We consider the case when $ω_n$ are absolutely continuous with a densi…
▽ More
The classical Dvoretzky covering problem asks for conditions on the sequence of lengths $\{\ell_n\}_{n\in \mathbb{N}}$ so that the random intervals $I_n : = (ω_n -(\ell_n/2), ω_n +(\ell_n/2))$ where $ω_n$ is a sequence of i.i.d. uniformly distributed random variable, covers any point on the circle $\mathbb{T}$ infinitely often. We consider the case when $ω_n$ are absolutely continuous with a density function $f$. When $m_f=essinf_\mathbb{T}f>0$ and the set $K_f$ of its essential infimum points satisfies $\overline{\dim}_\mathrm{B} K_f<1$, where $\overline{\dim}_\mathrm{B}$ is the upper box-counting dimension, we show that the following condition is necessary and sufficient for $\mathbb{T}$ to be $μ_f$-Dvoretzky covered \[ \limsup_{n \rightarrow \infty} \left(\frac{\ell_1 + \dots + \ell_n}{\ln n}\right)\geq \frac{1}{m_f}. \] Under more restrictive assumptions on $\{\ell_n\}$ the above result is true if $\dim_H K_f<1$. We next show that as long as $\{\ell_n\}_{n\in \mathbb{N}}$ and $f$ satisfy the above condition and $|K_f|=0$, then a Menshov type result holds, i.e. Dvoretzky covering can be achieved by changing $f$ on a set of arbitrarily small Lebesgue measure. This, however, is not true for the uniform density.
△ Less
Submitted 4 December, 2021; v1 submitted 14 October, 2021;
originally announced October 2021.
-
Differentiation properties of class ${L}^1([0,1]^2)$ with respect to two different basis of rectangles
Authors:
Michihiro Hirayama,
Davit Karagulyan
Abstract:
It is a well-known result by Saks \cite{Saks1934} that there exists a function $f \in L^1(\mathbb{R}^2)$ so that for almost every $(x,y)\in \mathbb{R}^2$ \[ \lim_{\substack{\mathrm{diam} R\rightarrow 0, \\ (x,y) \in R \in \mathcal{R}}}\left|\frac{1}{|R|}\int_R f(x,y)\, dxdy\right|=\infty, \] where $\mathcal{R}=\{[a,b)\times [c,d)\colon a<b, c<d\}$. In this note we address the following question: a…
▽ More
It is a well-known result by Saks \cite{Saks1934} that there exists a function $f \in L^1(\mathbb{R}^2)$ so that for almost every $(x,y)\in \mathbb{R}^2$ \[ \lim_{\substack{\mathrm{diam} R\rightarrow 0, \\ (x,y) \in R \in \mathcal{R}}}\left|\frac{1}{|R|}\int_R f(x,y)\, dxdy\right|=\infty, \] where $\mathcal{R}=\{[a,b)\times [c,d)\colon a<b, c<d\}$. In this note we address the following question: assume we have two different collections of rectangles; under which conditions there exists a function $f \in L^1(\mathbb{R}^2)$ so that its integral averages are divergence with respect to one collection and convergence with respect to another? More specifically, let $\mathcal{D}, \mathcal{C} \subset (0,1]$ and consider rectangles with side lengths in $\mathcal{D}$ and respectively in $\mathcal{C}$. We show that if the sets $\mathcal{D}$ and $\mathcal{C}$ are sufficient ``far" from each other, then such a function can be constructed. We also show that in the class of positive functions our condition is also necessary for such a function to exist.
△ Less
Submitted 10 May, 2021;
originally announced May 2021.
-
On the multiple recurrence properties for disjoint systems
Authors:
Michihiro Hirayama,
Dong Han Kim,
Younghwan Son
Abstract:
We consider mutually disjoint family of measure preserving transformations $T_1, \cdots, T_k$ on a probability space $(X, \mathcal{B}, μ)$. We obtain the multiple recurrence property of $T_1, \cdots, T_k$ and this result is utilized to derive multiple recurrence of Poincaré type in metric spaces. We also present multiple recurrence property of Khintchine type. Further, we study multiple ergodic av…
▽ More
We consider mutually disjoint family of measure preserving transformations $T_1, \cdots, T_k$ on a probability space $(X, \mathcal{B}, μ)$. We obtain the multiple recurrence property of $T_1, \cdots, T_k$ and this result is utilized to derive multiple recurrence of Poincaré type in metric spaces. We also present multiple recurrence property of Khintchine type. Further, we study multiple ergodic averages of disjoint systems and we show that $T_1, \cdots, T_k$ are uniformly jointly ergodic if each $T_i$ is ergodic.
△ Less
Submitted 23 July, 2021; v1 submitted 22 September, 2020;
originally announced September 2020.
-
Fermion Representation of Quantum Group
Authors:
Minoru Hirayama,
Shiori Kamibayashi
Abstract:
The spinor representation of the quantum group $U_q(su(N))$ is given in terms of a set of fermion creation and annihilation operators. It is shown that the $q$-fermion operators introduced earlier can be identifi ed with the conventional fermion operators. Algebra homomorphisms mapping the fermion operators to their t ensor products are discussed. The relation of the coproduct of the quantum gro…
▽ More
The spinor representation of the quantum group $U_q(su(N))$ is given in terms of a set of fermion creation and annihilation operators. It is shown that the $q$-fermion operators introduced earlier can be identifi ed with the conventional fermion operators. Algebra homomorphisms mapping the fermion operators to their t ensor products are discussed. The relation of the coproduct of the quantum group to the above algebra homo morphisms is obtained.
△ Less
Submitted 19 March, 1997; v1 submitted 17 December, 1996;
originally announced December 1996.
