scholarly journals Optimal lower bounds for multiple recurrence

2019 ◽  
Vol 41 (2) ◽  
pp. 379-407 ◽  
Author(s):  
SEBASTIÁN DONOSO ◽  
ANH NGOC LE ◽  
JOEL MOREIRA ◽  
WENBO SUN

Let $(X,{\mathcal{B}},\unicode[STIX]{x1D707},T)$ be an ergodic measure-preserving system, let $A\in {\mathcal{B}}$ and let $\unicode[STIX]{x1D716}>0$. We study the largeness of sets of the form $$\begin{eqnarray}S=\{n\in \mathbb{N}:\unicode[STIX]{x1D707}(A\cap T^{-f_{1}(n)}A\cap T^{-f_{2}(n)}A\cap \cdots \cap T^{-f_{k}(n)}A)>\unicode[STIX]{x1D707}(A)^{k+1}-\unicode[STIX]{x1D716}\}\end{eqnarray}$$ for various families $\{f_{1},\ldots ,f_{k}\}$ of sequences $f_{i}:\mathbb{N}\rightarrow \mathbb{N}$. For $k\leq 3$ and $f_{i}(n)=if(n)$, we show that $S$ has positive density if $f(n)=q(p_{n})$, where $q\in \mathbb{Z}[x]$ satisfies $q(1)$ or $q(-1)=0$ and $p_{n}$ denotes the $n$th prime; or when $f$ is a certain Hardy field sequence. If $T^{q}$ is ergodic for some $q\in \mathbb{N}$, then, for all $r\in \mathbb{Z}$, $S$ is syndetic if $f(n)=qn+r$. For $f_{i}(n)=a_{i}n$, where $a_{i}$ are distinct integers, we show that $S$ can be empty for $k\geq 4$, and, for $k=3$, we found an interesting relation between the largeness of $S$ and the abundance of solutions to certain linear equations in sparse sets of integers. We also provide some partial results when the $f_{i}$ are distinct polynomials.

2015 ◽  
Vol 15 (01n02) ◽  
pp. 1550001
Author(s):  
ILKER NADI BOZKURT ◽  
HAI HUANG ◽  
BRUCE MAGGS ◽  
ANDRÉA RICHA ◽  
MAVERICK WOO

This paper introduces a type of graph embedding called a mutual embedding. A mutual embedding between two n-node graphs [Formula: see text] and [Formula: see text] is an identification of the vertices of V1 and V2, i.e., a bijection [Formula: see text], together with an embedding of G1 into G2 and an embedding of G2 into G1 where in the embedding of G1 into G2, each node u of G1 is mapped to π(u) in G2 and in the embedding of G2 into G1 each node v of G2 is mapped to [Formula: see text] in G1. The identification of vertices in G1 and G2 constrains the two embeddings so that it is not always possible for both to exhibit small congestion and dilation, even if there are traditional one-way embeddings in both directions with small congestion and dilation. Mutual embeddings arise in the context of finding preconditioners for accelerating the convergence of iterative methods for solving systems of linear equations. We present mutual embeddings between several types of graphs such as linear arrays, cycles, trees, and meshes, prove lower bounds on mutual embeddings between several classes of graphs, and present some open problems related to optimal mutual embeddings.


1966 ◽  
Vol 9 (05) ◽  
pp. 757-801 ◽  
Author(s):  
W. Kahan

The primordial problems of linear algebra are the solution of a system of linear equations and the solution of the eigenvalue problem for the eigenvalues λk, and corresponding eigenvectors of a given matrix A.


1999 ◽  
Vol 42 (2) ◽  
pp. 349-374 ◽  
Author(s):  
Ravi P. Agarwal ◽  
Martin Bohner ◽  
Patricia J. Y. Wong

We consider the following boundary value problemwhere λ > 0 and 1 ≤ p ≤ n – 1 is fixed. The values of λ are characterized so that the boundary value problem has a positive solution. Further, for the case λ = 1 we offer criteria for the existence of two positive solutions of the boundary value problem. Upper and lower bounds for these positive solutions are also established for special cases. Several examples are included to dwell upon the importance of the results obtained.


1961 ◽  
Vol 2 (1) ◽  
pp. 11-16
Author(s):  
W. B. Smith-White

It is known that the theory of Cauchy's problem for differential equations with two independent variables is réducible to the corresponding problem for systems of quasi-linear equations. The reduction is carried further, by means of the theory of characteristics, to the case of systems of equations of the special form first considered by H. Lewy [1]. The simplest case is that of the pair of equationswhere the aii depend on z1 and z2. The problem to be considered is that of finding functions z1(x, y), z2(x, y) which satisfy (1) and which take prescribed values on x + y = 0.


1972 ◽  
Vol 13 (2) ◽  
pp. 147-152 ◽  
Author(s):  
Don B. Hinton

Numerous formulae have been given which exhibit the asymptotic behaviour as t → ∞solutions ofwhere F(t) is essentially positive and Several of these results have been unified by a theorem of F. V. Atkinson [1]. It is the purpose of this paper to establish results, analogous to the theorem of Atkinson, for the third order equationand for the fourth order equation


2017 ◽  
Vol 38 (6) ◽  
pp. 2132-2157 ◽  
Author(s):  
SEBASTIÁN DONOSO ◽  
WENBO SUN

We show that for every ergodic measure-preserving system $(X,{\mathcal{X}},\unicode[STIX]{x1D707},S,T)$ with commuting transformations $S$ and $T$, the average $$\begin{eqnarray}\frac{1}{N^{3}}\mathop{\sum }_{i,j,k=0}^{N-1}f_{0}(S^{j}T^{k}x)f_{1}(S^{i+j}T^{k}x)f_{2}(S^{j}T^{i+k}x)\end{eqnarray}$$ converges for $\unicode[STIX]{x1D707}$-almost every $x\in X$ as $N\rightarrow \infty$ for all $f_{0},f_{1},f_{2}\in L^{\infty }(\unicode[STIX]{x1D707})$. We also show that if $(X,{\mathcal{X}},\unicode[STIX]{x1D707},S,T)$ is an ergodic measurable distal system, then the average $$\begin{eqnarray}\frac{1}{N}\mathop{\sum }_{i=0}^{N-1}f_{1}(S^{i}x)f_{2}(T^{i}x)\end{eqnarray}$$ converges for $\unicode[STIX]{x1D707}$-almost every $x\in X$ as $N\rightarrow \infty$ for all $f_{1},f_{2}\in L^{\infty }(\unicode[STIX]{x1D707})$.


1924 ◽  
Vol 22 (3) ◽  
pp. 282-286
Author(s):  
E. C. Titchmarsh

I have collected in the present note some theorems regarding the solution of a certain system of linear equations with an infinity of unknowns. The general form of the equations isthe numbers a1, a2, … c1, c2, … being given. Equations of this type are of course well known; but in studying them it is generally assumed that the series depend for convergence on the convergence-exponent of the sequences involved, e.g. that and are convergent. No assumptions of this kind are made here, and in fact the series need not be absolutely convergent. On the other hand rather special assumptions are made with regard to the monotonic character of the sequences an and cn.


2019 ◽  
Vol 85 (1) ◽  
pp. 467-485
Author(s):  
RADEK HONZIK ◽  
ŠÁRKA STEJSKALOVÁ

AbstractIn the first part of the article, we show that if $\omega \le \kappa < \lambda$ are cardinals, ${\kappa ^{ < \kappa }} = \kappa$, and λ is weakly compact, then in $V\left[M {\left( {\kappa ,\lambda } \right)} \right]$ the tree property at $$\lambda = \left( {\kappa ^{ + + } } \right)^{V\left[ {\left( {\kappa ,\lambda } \right)} \right]} $$ is indestructible under all ${\kappa ^ + }$-cc forcing notions which live in $V\left[ {{\rm{Add}}\left( {\kappa ,\lambda } \right)} \right]$, where ${\rm{Add}}\left( {\kappa ,\lambda } \right)$ is the Cohen forcing for adding λ-many subsets of κ and $\left( {\kappa ,\lambda } \right)$ is the standard Mitchell forcing for obtaining the tree property at $\lambda = \left( {\kappa ^{ + + } } \right)^{V\left[ {\left( {\kappa ,\lambda } \right)} \right]} $. This result has direct applications to Prikry-type forcing notions and generalized cardinal invariants. In the second part, we assume that λ is supercompact and generalize the construction and obtain a model ${V^{\rm{*}}}$, a generic extension of V, in which the tree property at ${\left( {{\kappa ^{ + + }}} \right)^{{V^{\rm{*}}}}}$ is indestructible under all ${\kappa ^ + }$-cc forcing notions living in $V\left[ {{\rm{Add}}\left( {\kappa ,\lambda } \right)} \right]$, and in addition under all forcing notions living in ${V^{\rm{*}}}$ which are ${\kappa ^ + }$-closed and “liftable” in a prescribed sense (such as ${\kappa ^{ + + }}$-directed closed forcings or well-met forcings which are ${\kappa ^{ + + }}$-closed with the greatest lower bounds).


2012 ◽  
Vol 33 (6) ◽  
pp. 1667-1708 ◽  
Author(s):  
TIM AUSTIN

AbstractLet $G$ be a connected nilpotent Lie group. Given probability-preserving$G$-actions $(X_i,\Sigma _i,\mu _i,u_i)$, $i=0,1,\ldots ,k$, and also polynomial maps $\phi _i:\mathbb {R}\to G$, $i=1,\ldots ,k$, we consider the trajectory of a joining $\lambda $ of the systems $(X_i,\Sigma _i,\mu _i,u_i)$ under the ‘off-diagonal’ flow \[ (t,(x_0,x_1,x_2,\ldots ,x_k))\mapsto (x_0,u_1^{\phi _1(t)}x_1,u_2^{\phi _2(t)}x_2,\ldots ,u_k^{\phi _k(t)}x_k). \] It is proved that any joining $\lambda $ is equidistributed under this flow with respect to some limit joining $\lambda '$. This is deduced from the stronger fact of norm convergence for a system of multiple ergodic averages, related to those arising in Furstenberg’s approach to the study of multiple recurrence. It is also shown that the limit joining $\lambda '$ is invariant under the subgroup of $G^{k+1}$generated by the image of the off-diagonal flow, in addition to the diagonal subgroup.


2012 ◽  
Vol 29 (3) ◽  
pp. 642-658 ◽  
Author(s):  
Benedikt M. Pötscher

Upper and lower bounds on the order of magnitude of $\sum\nolimits_{t = 1}^n {\lefttnq#x007C; {x_t } \righttnq#x007C;^{ - \alpha } } $, where xt is an integrated process, are obtained. Furthermore, upper bounds for the order of magnitude of the related quantity $\sum\nolimits_{t = 1}^n {v_t } \lefttnq#x007C; {x_t } \righttnq#x007C;^{ - \alpha } $, where vt are random variables satisfying certain conditions, are also derived.


Sign in / Sign up

Export Citation Format

Share Document