Showing 1–28 of 28 results for author: Assani, I

On Robin's Inequality and the Kaneko-Lagarias Inequality

Authors: Idris Assani, Aiden Chester, Alex Paschal

Abstract: We prove that Robin's inequality and the Lagarias inequality hold for almost every number, including all numbers not divisible by one of the prime numbers $\{2,3,5\}$, primorials, sufficiently big numbers of the form $2^k n$ for odd $n$ and $21$-free integers. We also prove that the Kaneko-Lagarias inequality holds for all numbers if and only if it holds for all superabundant numbers. We prove that Robin's inequality and the Lagarias inequality hold for almost every number, including all numbers not divisible by one of the prime numbers $\{2,3,5\}$, primorials, sufficiently big numbers of the form $2^k n$ for odd $n$ and $21$-free integers. We also prove that the Kaneko-Lagarias inequality holds for all numbers if and only if it holds for all superabundant numbers. △ Less

Submitted 4 March, 2025; originally announced March 2025.

MSC Class: 11M26; 11N56

Higher Order Wiener-Wintner systems: examples and applications

Authors: Idris Assani, Jacob Folks, Ryo Moore

Abstract: We will construct ``higher-dimensional" versions of the Wiener-Wintner dynamical system that was originally studied by I. Assani in 2003. We will show that on these systems we can provide very simple proofs of the a.e. convergence of the multiple recurrence averages, as well as the multiple recurrence return times averages. We will do so by obtaining a quantitative control of the multiple ergodic… ▽ More We will construct ``higher-dimensional" versions of the Wiener-Wintner dynamical system that was originally studied by I. Assani in 2003. We will show that on these systems we can provide very simple proofs of the a.e. convergence of the multiple recurrence averages, as well as the multiple recurrence return times averages. We will do so by obtaining a quantitative control of the multiple ergodic averages by extending the estimate for the double recurrence that was attained by J. Bourgain. We will also observe that this class of dynamical systems contains numerous examples that are not bounded by the standard classifications (e.g. entropy, mixing), such as Kolmogorov systems, classical skew products, as well as systems for which the a.e. convergence of multiple recurrence is not currently known. Along our way, we will also provide alternative characteristics of the Host-Kra-Ziegler factors from the point of view of the uniform Wiener-Wintner theorem. △ Less

Submitted 19 May, 2025; v1 submitted 26 February, 2024; originally announced February 2024.

Comments: Abstract more explicit, some additional results included, some typos corrected following referees' comments

MSC Class: 37A05; 37A30

A remark on "A non-singular dynamical system without maximal ergodic inequality" by E. H. El Abdalaoui"

Authors: Idris Assani

Abstract: In this note we would like to correct a comment made by E.H. El Abdaloui about my work [arXiv:1312:5270]. In this note we would like to correct a comment made by E.H. El Abdaloui about my work [arXiv:1312:5270]. △ Less

Submitted 14 February, 2024; originally announced February 2024.

MSC Class: 37A05

On the Convergence of the Density of Terras' Set

Authors: Idris Assani, Ethan Ebbighausen

Abstract: The Collatz Conjecture's connection to dynamical systems opens it to a variety of techniques aimed at recurrence and density results. First, we turn to density results and strengthen the result of Terras through finding a strict rate of convergence. This rate gives a preliminary result on the Triangle Conjecture, which describes a set nodes that would dominate… ▽ More The Collatz Conjecture's connection to dynamical systems opens it to a variety of techniques aimed at recurrence and density results. First, we turn to density results and strengthen the result of Terras through finding a strict rate of convergence. This rate gives a preliminary result on the Triangle Conjecture, which describes a set nodes that would dominate $L^{C} = \{y \in \N \, | \, T^{k}(y) > y , \,\forall k \in \N \}$. Second, we extend prior arguments to show that the construction of several classes of measures imply the bounded trajectories piece of the Collatz Conjecture. △ Less

Submitted 12 October, 2023; originally announced October 2023.

MSC Class: 11B75 (Primary) 37A40; 37A44 (Secondary)

Syracuse Maps as Non-singular Power-Bounded Transformations and Their Inverse Maps

Authors: Idris Assani, Ethan Ebbighausen, Anand Hande

Abstract: We prove that the dynamical system $(\mathbb{N}, 2^{\mathbb{N}}, T, μ)$, where $μ$ is a finite measure equivalent to the counting measure, is power-bounded in $L^1(μ)$ if and only if there exists one cycle of the map $T$ and for any $x \in \mathbb{N}$, there exists $k \in \mathbb{N}$ such that $T^k(x)$ is in some cycle of the map $T$. This result has immediate implications for the Collatz Conjectu… ▽ More We prove that the dynamical system $(\mathbb{N}, 2^{\mathbb{N}}, T, μ)$, where $μ$ is a finite measure equivalent to the counting measure, is power-bounded in $L^1(μ)$ if and only if there exists one cycle of the map $T$ and for any $x \in \mathbb{N}$, there exists $k \in \mathbb{N}$ such that $T^k(x)$ is in some cycle of the map $T$. This result has immediate implications for the Collatz Conjecture, and we use it to motivate the study of number theoretic properties of the inverse image $T^{-1}(x)$ for $x \in \mathbb{N}$, where $T$ denotes the Collatz map here. We study similar properties for the related Syracuse maps, comparing them to the Collatz map. We also analyze some structural properties of the inverse image in relation to asymptotic density of the set $\{x \in \mathbb{N} \mid \exists k \in \mathbb{N}: T^k(x) < x\}$. △ Less

Submitted 31 January, 2023; v1 submitted 24 August, 2022; originally announced August 2022.

Comments: Section 4 added to the previous version

MSC Class: 11B75 (Primary); 37A40; 37A44 (Secondary)

Collatz map as a non-singular transformation

Authors: Idris Assani

Abstract: Let $T$ be the map defined on $\N=\{1,2,3, ...\}$ by $T(n) = \frac{n}{2} $ if $n$ is even and by $T(n) = \frac{3n+1}{2}$ if $n$ is odd. Consider the dynamical system $(\N, 2^{\N}, T,μ)$ where $μ$ is the counting measure. This dynamical system $(\N, 2^{\N}, T, μ)$ has the following properties. \begin{enumerate} \item There exists an invariant finite measure $γ$ such that $γ(A) \leq μ(A) $ for all… ▽ More Let $T$ be the map defined on $\N=\{1,2,3, ...\}$ by $T(n) = \frac{n}{2} $ if $n$ is even and by $T(n) = \frac{3n+1}{2}$ if $n$ is odd. Consider the dynamical system $(\N, 2^{\N}, T,μ)$ where $μ$ is the counting measure. This dynamical system $(\N, 2^{\N}, T, μ)$ has the following properties. \begin{enumerate} \item There exists an invariant finite measure $γ$ such that $γ(A) \leq μ(A) $ for all $A \subset \N.$ \item For each function $f\in L^1(μ)$ the averages $\frac{1}{N} \sum_{n=1}^N f(T^nx)$ converge for every $x\in \N$ to $ f^*(x)$ where $ f^* \in L^1(μ).$ \end{enumerate} We also show that the Collatz conjecture is equivalent to the existence of a finite measure $ν$ on $(\N, 2^{\N})$ making the operator $Vf = f\circ T$ power bounded in $L^1(ν)$ with conserrvative part $\{1,2\}.$ △ Less

Submitted 13 December, 2023; v1 submitted 24 August, 2022; originally announced August 2022.

Comments: This is the final version of the paper accepted for publication (in Studia Math.)

MSC Class: 11B75; 37A40

Non-Autonomous Spatial-Temporal Differentiation Theorems for Group Endomorphisms

Authors: Idris Assani, Aidan Young

Abstract: We introduce a non-autonomous generalization of spatial-temporal differentiations, and prove results about probabilistically and topologically generic behaviors of certain spatial-temporal differentiations generated by endomorphisms of compact abelian metrizable groups. We introduce a non-autonomous generalization of spatial-temporal differentiations, and prove results about probabilistically and topologically generic behaviors of certain spatial-temporal differentiations generated by endomorphisms of compact abelian metrizable groups. △ Less

Submitted 21 April, 2022; v1 submitted 19 November, 2021; originally announced November 2021.

Comments: This is the latest version of the paper which is accepted for publication. Changes were made taking into account the referee comments. arXiv admin note: substantial text overlap with arXiv:2101.06473

MSC Class: Primary 37B55; Secondary 28D15; 28D05

Spatial-Temporal Differentiation Theorems

Authors: Idris Assani, Aidan Young

Abstract: Let $(X, \mathcal{B}, μ, T)$ be a dynamical system where $X$ is a compact metric space with Borel $σ$-algebra $\mathcal{B}$, and $μ$ is a probability measure that's ergodic with respect to the homeomorphism $T : X \to X$. We study the following differentiation problem: Given $f \in C(X)$ and $F_k \in \mathcal{B}$, where $μ(F_k) > 0$ and $μ(F_k) \to 0$, when can we say that… ▽ More Let $(X, \mathcal{B}, μ, T)$ be a dynamical system where $X$ is a compact metric space with Borel $σ$-algebra $\mathcal{B}$, and $μ$ is a probability measure that's ergodic with respect to the homeomorphism $T : X \to X$. We study the following differentiation problem: Given $f \in C(X)$ and $F_k \in \mathcal{B}$, where $μ(F_k) > 0$ and $μ(F_k) \to 0$, when can we say that $$\lim_{k \to \infty} \frac{\int_{F_k} \left( \frac{1}{k} \sum_{i = 0}^{k - 1} T^i f \right) \mathrm{d} μ}{μ(F_k)} = \int f \mathrm{d} μ? $$ △ Less

Submitted 19 May, 2022; v1 submitted 16 January, 2021; originally announced January 2021.

Comments: Changes were made taking into account a referee's comments

MSC Class: 37A30; 37A35

New Estimates on the bounds of Brunel's operator

Authors: I. Assani, R. S. Hallyburton, S. McMahon, S. Schmidt, C. Schoone

Abstract: We study the coefficients of the Taylor series expansion of powers of the function $ψ(x)=\frac{1-\sqrt{1-x}}{x}$, where the Brunel operator $A\equiv A(T)$ is defined as $ψ(T)$ for any mean-bounded $T$. We prove several new precise estimates regarding the Taylor coefficients of $ψ^n$ for $n\in\mathbb{N}$. We apply these estimates to give an elementary proof that for any mean-bounded, not necessaril… ▽ More We study the coefficients of the Taylor series expansion of powers of the function $ψ(x)=\frac{1-\sqrt{1-x}}{x}$, where the Brunel operator $A\equiv A(T)$ is defined as $ψ(T)$ for any mean-bounded $T$. We prove several new precise estimates regarding the Taylor coefficients of $ψ^n$ for $n\in\mathbb{N}$. We apply these estimates to give an elementary proof that for any mean-bounded, not necessarily positive operator $T$ on a Banach space $X$, the Brunel operator $A(T):X\to X$ is power-bounded and satisfies $\sup_{n\in\mathbb{N}} \|n(A^n-A^{n+1})\| < \infty$ (equivalently, $A(T)$ is a Ritt operator). Along the way we provide specific details of results announced by A. Brunel and R. Emilion in \cite{Brunel}. △ Less

Submitted 16 April, 2021; v1 submitted 16 October, 2020; originally announced October 2020.

Comments: 3 figures. This is a detailed revised version taking into account the referee comments. A more concise version (with no figures, and less details) is currently under review

MSC Class: 37A30 (Primary) 47A35 (Secondary)

Coboundaries of nonconventional ergodic averages

Authors: Idris Assani

Abstract: Let $(X,\mathcal{A}, μ)$ be a probability measure space and let $T_i,$ $1\leq i\leq H,$ be invertible bi measurable measure preserving transformations on this measure space. We give a sufficient condition for the product of $H$ bounded functions $f_1, f_2, ..., f_H$ to be a coboundary. This condition turns out to be also necessary when one seeks bounded coboundaries. Let $(X,\mathcal{A}, μ)$ be a probability measure space and let $T_i,$ $1\leq i\leq H,$ be invertible bi measurable measure preserving transformations on this measure space. We give a sufficient condition for the product of $H$ bounded functions $f_1, f_2, ..., f_H$ to be a coboundary. This condition turns out to be also necessary when one seeks bounded coboundaries. △ Less

Submitted 19 May, 2018; originally announced May 2018.

Comments: Results obtained during the 2017 ETDS workshop UNC-CH and presented during the 2018 UNC-CH ETDS workshop

MSC Class: 37A40; 37A30

A good universal weight for multiple recurrence averages with commuting transformations in norm

Authors: Idris Assani, Ryo Moore

Abstract: We will show that the sequences appearing in Bourgain's double recurrence result are good universal weights to the multiple recurrence averages with commuting measure-preserving transformations in norm. This will extend the pointwise converge result of Bourgain, the norm convergence result of Tao, and the authors' previous work on the single measure-preserving transformation. We will show that the sequences appearing in Bourgain's double recurrence result are good universal weights to the multiple recurrence averages with commuting measure-preserving transformations in norm. This will extend the pointwise converge result of Bourgain, the norm convergence result of Tao, and the authors' previous work on the single measure-preserving transformation. △ Less

Submitted 8 December, 2021; v1 submitted 22 June, 2015; originally announced June 2015.

Comments: This update to our preprint from 2015 fills in a gap in the proof that exists in our previous version. In the previous version, we have attempted to utilize the box seminorms that was introduced by B. Host as well as some machinery of higher order Fourier analysis. We thank the anonymous referee for informing us about a gap in the argument in our previous preprint

MSC Class: 37A30; 37A05

Pointwise double recurrence and nilsequences

Authors: Idris Assani

Abstract: Consider a system $(X, \mathcal{F}, μ, T)$, bounded functions $f_1, f_2 \in L^\infty(μ)$ and $a,b \in \ZZ.$ We show that there exists a set of full measure $X_{f_1, f_2}$ in $X$ such that for all $x \in X_{f_1, f_2}$ and for every nilsequence $b_n$ , the averages \[ \frac{1}{N} \sum_{n=1}^N f_1(T^{an}x)f_2(T^{bn}x)b_n \] converge. We will show that this can be deduced from the classical Wiener-Win… ▽ More Consider a system $(X, \mathcal{F}, μ, T)$, bounded functions $f_1, f_2 \in L^\infty(μ)$ and $a,b \in \ZZ.$ We show that there exists a set of full measure $X_{f_1, f_2}$ in $X$ such that for all $x \in X_{f_1, f_2}$ and for every nilsequence $b_n$ , the averages \[ \frac{1}{N} \sum_{n=1}^N f_1(T^{an}x)f_2(T^{bn}x)b_n \] converge. We will show that this can be deduced from the classical Wiener-Wintner theorem for the double recurrence theorem. Together with the past work on this subject, we will show that several statements regarding the extension of the double recurrence theorem are equivalent. △ Less

Submitted 15 September, 2016; v1 submitted 22 April, 2015; originally announced April 2015.

Comments: Abstract modified - Equivalence between the Wiener Wintner double recurrence theorem, the Polynomial Wiener Wintner double recurrence theorem and the Nilsequence Double Recurrence theorem included in this revised version

MSC Class: 37A05

A good universal weight for nonconventional ergodic averages in norm

Authors: Idris Assani, Ryo Moore

Abstract: We will show that the sequence appearing in the double recurrence theorem is a good universal weight for the Furstenberg averages. That is, given a system $(X, \mathcal{F}, μ, T)$ and bounded functions $f_1, f_2 \in L^\infty(μ)$, there exists a set of full-measure $X_{f_1, f_2}$ in $X$ that is independent of integers $a$ and $b$ and a positive integer $k$ such that for all $x \in X_{f_1, f_2}$ and… ▽ More We will show that the sequence appearing in the double recurrence theorem is a good universal weight for the Furstenberg averages. That is, given a system $(X, \mathcal{F}, μ, T)$ and bounded functions $f_1, f_2 \in L^\infty(μ)$, there exists a set of full-measure $X_{f_1, f_2}$ in $X$ that is independent of integers $a$ and $b$ and a positive integer $k$ such that for all $x \in X_{f_1, f_2}$ and for every other measure-preserving system $(Y, \mathcal{G}, ν, S)$, and each bounded and measurable function $g_1, \ldots, g_k \in L^\infty(ν)$, the averages \[ \frac{1}{N} \sum_{n=1}^N f_1(T^{an}x)f_2(T^{bn}x)g_1 \circ S^n g_2 \circ S^{2n} \cdots g_k \circ S^{kn} \] converge in $L^2(ν)$. △ Less

Submitted 2 September, 2015; v1 submitted 30 March, 2015; originally announced March 2015.

Comments: This is the final version to appear in Erg. Th.and Dyn.Syst. taking into account the referee comments

MSC Class: 37A05

Extension of Wiener-Wintner double recurrence theorem to polynomials

Authors: Idris Assani, Ryo Moore

Abstract: We extend our result on the convergence of double recurrence Wiener-Wintner averages to the case where we have a polynomial exponent. We will show that there exists a single set of full measure for which the averages \[ \frac{1}{N} \sum_{n=1}^N f_1(T^{an}x)f_2(T^{bn}x)φ(p(n)) \] converge for any polynomial $p$ with real coefficients, and any continuous function $φ$ from the torus to the set of com… ▽ More We extend our result on the convergence of double recurrence Wiener-Wintner averages to the case where we have a polynomial exponent. We will show that there exists a single set of full measure for which the averages \[ \frac{1}{N} \sum_{n=1}^N f_1(T^{an}x)f_2(T^{bn}x)φ(p(n)) \] converge for any polynomial $p$ with real coefficients, and any continuous function $φ$ from the torus to the set of complex numbers . We also show that if either function belongs to an orthogonal complement of an appropriate Host-Kra-Ziegler factor that depends on the degree of the polynomial $p$, then the averages converge to zero uniformly for all polynomials. This paper combines the authors' previously announced work. △ Less

Submitted 2 September, 2015; v1 submitted 24 August, 2014; originally announced September 2014.

Comments: This is the final version to appear in Journal d'Analyse mathematique. This latest version combines the previously posted papers on the arxiv website as arXiv:1408.3064 and arXiv:1409.0463

MSC Class: 37A05

Extension of Wiener-Wintner double recurrence theorem to polynomials

Authors: Idris Assani, Ryo Moore

Abstract: We extend the authors' previous work on Wiener-Wintner double recurrence theorem to the case of polynomials. We extend the authors' previous work on Wiener-Wintner double recurrence theorem to the case of polynomials. △ Less

Submitted 24 August, 2014; v1 submitted 13 August, 2014; originally announced August 2014.

Comments: A few typos corrected and more details given in the proof of Theorem 3.1

MSC Class: 37A05

Pointwise characteristic factors for Wiener Wintner double recurrence theorem

Authors: Idris Assani, David Duncan, Ryo Moore

Abstract: In this paper, we extend Bourgain's double recurrence result to the Wiener-Wintner averages. Let $(X, \mathcal{F}, μ, T)$ be a standard ergodic system. We will show that for any $f_1, f_2 \in L^\infty(X)$, the double recurrence Wiener-Wintner average \[ \frac{1}{N} \sum_{n=1}^N f_1(T^{an}x)f_2(T^{bn}x) e^{2πi n t} \] converges off a single null set of $X$ independent of $t$ as $N \to \infty$. Fu… ▽ More In this paper, we extend Bourgain's double recurrence result to the Wiener-Wintner averages. Let $(X, \mathcal{F}, μ, T)$ be a standard ergodic system. We will show that for any $f_1, f_2 \in L^\infty(X)$, the double recurrence Wiener-Wintner average \[ \frac{1}{N} \sum_{n=1}^N f_1(T^{an}x)f_2(T^{bn}x) e^{2πi n t} \] converges off a single null set of $X$ independent of $t$ as $N \to \infty$. Furthermore, we will show a uniform Wiener-Wintner double recurrence result: If either $f_1$ or $f_2$ belongs to the orthogonal complement of the Conze-Lesigne factor, then there exists a set of full measure such that the supremum on $t$ of the absolute value of the averages above converges to $0$. △ Less

Submitted 28 April, 2014; v1 submitted 27 February, 2014; originally announced February 2014.

Comments: revised version includes referee suggestions

MSC Class: 37A05

Pointwise recurrence for commuting measure preserving transformations

Authors: Idris Assani

Abstract: Let $(X,\mathcal{A}, μ)$ be a probability measure space and let $T_i,$ $1\leq i\leq H,$ be commuting invertible measure preserving transformations on this measure space. We prove the following pointwise results; The averages $$\frac{1}{N}\sum_{n=1}^N f_1(T_1^nx)f_2(T_2^nx)\cdots f_H(T_H^nx)$$ converge a.e. for every function $f_i \in L^{\infty}(μ)$ .\\ As a consequence if $T_i = T^i$ for… ▽ More Let $(X,\mathcal{A}, μ)$ be a probability measure space and let $T_i,$ $1\leq i\leq H,$ be commuting invertible measure preserving transformations on this measure space. We prove the following pointwise results; The averages $$\frac{1}{N}\sum_{n=1}^N f_1(T_1^nx)f_2(T_2^nx)\cdots f_H(T_H^nx)$$ converge a.e. for every function $f_i \in L^{\infty}(μ)$ .\\ As a consequence if $T_i = T^i$ for $1\leq i \leq H$ where $T$ is an invertible measure preserving transformation on $(X, \mathcal{A}, μ)$ then the averages $$\frac{1}{N}\sum_{n=1}^N f_1(T^nx)f_2(T^{2n}x)...f_H(T^{Hn}x)$$ converge a.e. This solves a long open question on the pointwise convergence of nonconventional ergodic averages. For $H=2$ it provides another proof of J. Bourgain's a.e. double recurrence theorem. △ Less

Submitted 22 June, 2015; v1 submitted 18 December, 2013; originally announced December 2013.

Comments: This replaces the paper arXiv:1312.5270

MSC Class: 37A30; 37A05

A Survey of the Return Times Theorem

Authors: Idris Assani, Kimberly Presser

Abstract: The goal of this paper is to survey the history, development and current status of the Return Times Theorem and its many extensions and variations. Let $(X, \mathcal{F}, μ)$ be a finite measure space and let $T:X \rightarrow X$ be a measure preserving transformation. Perhaps the oldest result in ergodic theory is that of Poincaré's Recurrence Principle which states: For any set… ▽ More The goal of this paper is to survey the history, development and current status of the Return Times Theorem and its many extensions and variations. Let $(X, \mathcal{F}, μ)$ be a finite measure space and let $T:X \rightarrow X$ be a measure preserving transformation. Perhaps the oldest result in ergodic theory is that of Poincaré's Recurrence Principle which states: For any set $A \in \mathcal{F}$, the set of points $x$ of $A$ such that $T^nx$ is not in the set $A$ for all $n > 0$ has zero measure. This says that almost every point of $A$ returns to $A$. In fact, almost every point of $A$ returns to $A$ infinitely often. The return time for a given element $x \in A$, $r_A(x) = \inf\{k \geq 1: T^kx \in A\}$, is the first time that the element $x$ returns to the set $A$. By Poincaré's Recurrence Principle there is set of full measure in $A$ such that all elements of this set have a finite return time. Our study of the Return Times Theorem asks how we can further generalize this notion. The paper begins by looking at early work with the concept of weighted averages. The second portion of the paper focuses on the historical development of the proofs of the Return Times Theorem. Three areas of extension of the Return Times Theorem are then considered: a multiterm version, characteristic factors and breaking the Hölderian duality. The paper concludes with discussion of some more recent work and open questions to consider. △ Less

Submitted 4 September, 2012; originally announced September 2012.

Comments: 44 pages, 1 figure, to be published by Walter de Gruyter on January 2013 in the Proceedings of the 2011 - 2012 Ergodic Theory Workshops

MSC Class: 37A25; 37A30; 37A45

Pointwise characteristic factors for the multiterm return times theorem

Authors: I. Assani, K. Presser

Abstract: This paper is an update and extension of a result the authors first proved in 2003. The goal of this paper is to study factors which are known to be L^2-characteristic for certain nonconventional averages and prove that these factors are pointwise characteristic for the multidimensional return times averages. This paper is an update and extension of a result the authors first proved in 2003. The goal of this paper is to study factors which are known to be L^2-characteristic for certain nonconventional averages and prove that these factors are pointwise characteristic for the multidimensional return times averages. △ Less

Submitted 6 September, 2011; v1 submitted 14 December, 2010; originally announced December 2010.

Comments: 31 pages Submitted and Accepted to ETDS Dan Rudolph Memorial Volume. This version is the final accepted copy and includes all of the revisions recommended by the referees

MSC Class: 37A30

The $(L^{1},L^{1})$ bilinear Hardy-Littlewood function and Furstenberg averages

Authors: Idris Assani, Zoltan Buczolich

Abstract: Let $(X,\mathcal{B}, μ, T)$ be an ergodic dynamical system on a non-atomic finite measure space. Consider the maximal function $\dis R^*:(f, g) \in L^1\times L^1 \to R^*(f, g)(x) = \sup_{n} \frac{f(T^nx)g(T^{2n}x)}{n}.$ We show that there exist $f$ and $g$ such that $R^*(f, g)(x)$ is not finite almost everywhere. Two consequences are derived. The bilinear Hardy--Littlewood maximal function fails… ▽ More Let $(X,\mathcal{B}, μ, T)$ be an ergodic dynamical system on a non-atomic finite measure space. Consider the maximal function $\dis R^*:(f, g) \in L^1\times L^1 \to R^*(f, g)(x) = \sup_{n} \frac{f(T^nx)g(T^{2n}x)}{n}.$ We show that there exist $f$ and $g$ such that $R^*(f, g)(x)$ is not finite almost everywhere. Two consequences are derived. The bilinear Hardy--Littlewood maximal function fails to be a.e. finite for all functions $(f, g)\in L^1\times L^1.$ The Furstenberg averages do not converge for all pairs of $(L^{1},L^{1})$ functions, while by a result of J. Bourgain these averages converge for all pairs of $(L^{p},L^{q})$ functions with $\frac{1}{p}+\frac{1}{q}\leq 1.$ △ Less

Submitted 11 April, 2008; originally announced April 2008.

MSC Class: 37A05 (Primary); 37A50; 28D05 (Secondary)

A maximal inequality for the tail of the bilinear Hardy-Littlewood function

Authors: I. Assani, Z. Buczolich

Abstract: Let $(X,\mathcal{B}, μ, T)$ be an ergodic dynamical system on a non-atomic finite measure space. We assume without loss of generality that $μ(X)=1.$ Consider the maximal function $\dis R^*:(f, g) \in L^p\times L^q \to R^*(f, g)(x) = \sup_{n\geq 1} \frac{f(T^nx)g(T^{2n}x)}{n}.$ We obtain the following maximal inequality. For each $1<p\leq \infty$ there exists a finite constant $C_p$ such that for… ▽ More Let $(X,\mathcal{B}, μ, T)$ be an ergodic dynamical system on a non-atomic finite measure space. We assume without loss of generality that $μ(X)=1.$ Consider the maximal function $\dis R^*:(f, g) \in L^p\times L^q \to R^*(f, g)(x) = \sup_{n\geq 1} \frac{f(T^nx)g(T^{2n}x)}{n}.$ We obtain the following maximal inequality. For each $1<p\leq \infty$ there exists a finite constant $C_p$ such that for each $λ>0,$ and nonnegative functions $f\in L^p$ and $g\in L^1$ μ\{x: R^*(f,g)(x)>λ\} \leq C_p \bigg(\frac{\|f\|_p\|g\|_1}λ\bigg)^{1/2}. We also show that for each $α>2$ the maximal function $R^*(f,g)$ is a.e. finite for pairs of functions $(f,g)\in (L(\log L)^{2α}, L^1)$. △ Less

Submitted 29 January, 2008; v1 submitted 6 December, 2007; originally announced December 2007.

Comments: This is the final and simplified version of the paper previously uploaded with the same title. The paper has been refereed and will appear in Cont. Math. The maximal inequality has been simplified as stated in this new abstract

MSC Class: 37A05; 37A45

The $(L^{p},L^{1})$ bilinear Hardy-Littlewood function and Furstenberg averages

Authors: I. Assani, Z. Buczolich

Abstract: More work needs to be done to move from the tail to the averages themselves. So at this time we prefer to withdraw the paper about the averages. However a previous version of the paper which deals with the tail has been checked and we believe it to be complete and correct. More work needs to be done to move from the tail to the averages themselves. So at this time we prefer to withdraw the paper about the averages. However a previous version of the paper which deals with the tail has been checked and we believe it to be complete and correct. △ Less

Submitted 28 April, 2008; v1 submitted 4 December, 2007; originally announced December 2007.

Comments: This paper has been withdrawn

MSC Class: 37A05 (Primary); 37A50; 28D05 (Secondary)

On A. Zygmund differentiation conjecture

Authors: I. Assani

Abstract: Consider $v$ a Lipschitz unit vector field on $R^n$ and $K$ its Lipschitz constant. We show that the maps $S_s:S_s(X) = X + sv(X)$ are invertible for $0\leq |s|<1/K$ and define nonsingular point transformations. We use these properties to prove first the differentiation in L^p norm for $1\le p<\infty.$ Then we show the existence of a universal set of values $s\in [-1/2K,1/2K]$ of measure 1/K for… ▽ More Consider $v$ a Lipschitz unit vector field on $R^n$ and $K$ its Lipschitz constant. We show that the maps $S_s:S_s(X) = X + sv(X)$ are invertible for $0\leq |s|<1/K$ and define nonsingular point transformations. We use these properties to prove first the differentiation in L^p norm for $1\le p<\infty.$ Then we show the existence of a universal set of values $s\in [-1/2K,1/2K]$ of measure 1/K for which the Lipschitz unit vector fields $v\circ S_s^{-1}$ satisfy Zygmund's conjecture for all functions in $L^p(\R^n)$ and for each p, $1\leq p< \infty.$ △ Less

Submitted 28 September, 2006; originally announced September 2006.

Comments: Preliminary version

MSC Class: 42B25

Averages along cubes for not necessarily commuting measure preserving transformations

Authors: Idris Assani

Abstract: We study the pointwise convergence of some weighted averages linked to averages along cubes. We show that if $(X,\mathcal{B},μ, T_i)$ are not necessarily commuting measure preserving systems on the same finite measure space and if $f_i,$ $1\leq i\leq 6$ are bounded functions then the averages… ▽ More We study the pointwise convergence of some weighted averages linked to averages along cubes. We show that if $(X,\mathcal{B},μ, T_i)$ are not necessarily commuting measure preserving systems on the same finite measure space and if $f_i,$ $1\leq i\leq 6$ are bounded functions then the averages $$\frac{1}{N^3}\sum_{n, m, p=1}^N f_1(T_1^nx) f_2(T_2^mx) f_3(T_3^px) f_4(T_4^{n+m}x) f_5(T_5^{n+p}x) f_6(T_6^{m+p}x)$$ converge almost everywhere. △ Less

Submitted 2 November, 2005; originally announced November 2005.

Comments: 28 pages

MSC Class: 37A05

Pointwise convergence along cubes for measure preserving systems

Authors: Idris Assani

Abstract: Let $(X, \mathcal{B}, μ)$ be a probability measure space and $T_1$, $T_2$, $T_3$ three not necessarily commuting measure preserving transformations on $(X, \mathcal{B}, μ)$. We prove that for all bounded functions $f_1$, $f_2$, $f_3$ the averages $$\frac{1}{N^2}\sum_{n, m =1}^N f_1(T_1^nx)f_2(T_2^mx)f_3(T_3^{n+m}x)$$ converges a.e. Generalizations to averages of $2^k -1$ functions are also given… ▽ More Let $(X, \mathcal{B}, μ)$ be a probability measure space and $T_1$, $T_2$, $T_3$ three not necessarily commuting measure preserving transformations on $(X, \mathcal{B}, μ)$. We prove that for all bounded functions $f_1$, $f_2$, $f_3$ the averages $$\frac{1}{N^2}\sum_{n, m =1}^N f_1(T_1^nx)f_2(T_2^mx)f_3(T_3^{n+m}x)$$ converges a.e. Generalizations to averages of $2^k -1$ functions are also given for not necessarily commuting weakly mixing systems. △ Less

Submitted 16 November, 2003; originally announced November 2003.

Comments: 14 pages

MSC Class: 37A30

An $L^1$ counting problem in ergodic theory

Authors: Idris Assani, Zoltan Buczolich, Daniel Mauldin

Abstract: We solve the following counting problem for measure preserving transformations. For $f\in L_+^1(μ)$, is it true that $\ds \sup_n\frac{\bN_n(f)(x)}{n} <\infty,$ where $$\ds\bN_n(f)(x)= # {k: \frac{f(T^k x)}{k}>\frac 1 n}?$$ One of the consequences is the nonvalidity of J. Bourgain's Return Time Theorem for pairs of $(L^1, L^1)$ functions. We solve the following counting problem for measure preserving transformations. For $f\in L_+^1(μ)$, is it true that $\ds \sup_n\frac{\bN_n(f)(x)}{n} <\infty,$ where $$\ds\bN_n(f)(x)= # {k: \frac{f(T^k x)}{k}>\frac 1 n}?$$ One of the consequences is the nonvalidity of J. Bourgain's Return Time Theorem for pairs of $(L^1, L^1)$ functions. △ Less

Submitted 30 July, 2003; originally announced July 2003.

Comments: 34 pages, 2 figures

MSC Class: 37A05; 28D05; 47A35; 60F99

Pointwise convergence of averages along cubes II

Authors: Idris Assani

Abstract: Let $(X,\mathcal{B},μ, T)$ be a measure preserving system. We prove the pointwise convergence of averages along cubes of $2^{k}-1$ bounded and measurable functions for all $k$. Let $(X,\mathcal{B},μ, T)$ be a measure preserving system. We prove the pointwise convergence of averages along cubes of $2^{k}-1$ bounded and measurable functions for all $k$. △ Less

Submitted 24 November, 2003; v1 submitted 28 May, 2003; originally announced May 2003.

Comments: 12 pages, latex, initially. Now it 10 pages long. It is modified accordingly to the changes made in the paper math.DS/0305388 which deals with the averages of three and seven functions and the weakly mixing case

MSC Class: 37A30

Pointwise convergence of averages along cubes

Authors: Idris Assani

Abstract: Let $(X,\mathcal{B},μ, T)$ be a measure preserving system. We prove the pointwise convergence of the averages $$\frac{1}{N^2}\sum_{n,m= 0}^{N-1} f_1(T^nx)f_2(T^mx)f_3(T^{n+m}x)$$ and of similar averages with seven bounded functions. Let $(X,\mathcal{B},μ, T)$ be a measure preserving system. We prove the pointwise convergence of the averages $$\frac{1}{N^2}\sum_{n,m= 0}^{N-1} f_1(T^nx)f_2(T^mx)f_3(T^{n+m}x)$$ and of similar averages with seven bounded functions. △ Less

Submitted 23 November, 2003; v1 submitted 27 May, 2003; originally announced May 2003.

Comments: 18 pages, latex, We have replaced Lemma 2 with a new one. We also have added a reference

MSC Class: 37A30