Ergodicity of the adic transformation on the Euler graph
|
|
- Ralph Ray
- 5 years ago
- Views:
Transcription
1 Under consideration for publication in Math. Proc. Camb. Phil. Soc. Ergodicity of the adic transformation on the Euler graph By SARAH BAILEY Department of Mathematics, CB 250, Phillips Hall, University of North Carolina, Chapel Hill, NC USA MICHAEL KEANE Department of Mathematics, Wesleyan University, 265 Church Street, Middletown, CT 0659 USA KARL PETERSEN Department of Mathematics, CB 250, Phillips Hall, University of North Carolina, Chapel Hill, NC USA IBRAHIM A. SALAMA School of Business, North Carolina Central University, P.O. Box 907, Durham, NC USA (Received ) Abstract The Euler graph has vertices labelled (n,k) for n = 0,,2,... and k = 0,,...,n, with k + edges from (n,k) to (n +,k) and n k + edges from (n,k) to (n +,k + ). The number of paths from (0,0) to (n,k) is the Eulerian number A(n,k), the number of permutations of,2,...,n + with exactly n k falls and k rises. We prove that the adic (Bratteli-Vershik) transformation on the space of infinite paths in this graph is ergodic with respect to the symmetric measure.. The Euler Graph The Euler graph is an infinite directed graph such that at level n there are n + vertices labelled (n,0) through (n,n). The vertex (n,k) has n + 2 total edges leaving it, with k + edges connecting it to vertex (n +,k) and n k + edges connecting it to vertex (n +,k + ). Define X to be the space of infinite edge paths on the Euler graph. X is a compact metric space in a natural way: if two paths x = x 0 x x 2... and y = y 0 y y 2... agree for all n less than j and x j y j, then define d(x,y) = 2 j. The number of paths from the root vertex (0,0) to the vertex (n,k) is the Eulerian number, A(n,k), which is the number of
2 2 S. Bailey, M. Keane, K. Petersen, and I. Salama Level (n) k = 0 k = k = 2 k = 0 2 Fig.. The first three levels of the Euler graph. The numbers on the diagonals give the number of edges coming out of each vertex, and k represents the label on each vertex. permutations of 0,,...,n with exactly k rises and n k falls. These numbers satisfy the recursion A(n +,k) = (n k + 2)A(n,k ) + (k + )A(n,k). ( ) A(n, k ) A(n, k) n k + 2 k + n k + A(n +, k) Fig. 2. The Euler Graph gives rise to Equation. We put a partial order on the set of paths in X. The edges e 0 through e n+ into the fixed vertex (n,k) with 0 < k < n are completely ordered; we illustrate it so that the ordering increases from left to right. If x,y are paths in X, we say that x is less than y if there exists an N such that both x and y pass through vertex (N +,k), x n = y n for all n > N, and x N < y N with respect to the edge ordering. (2,0) (2,) e 2 e e e 0 e (,) Fig.. The order on the edges coming into vertex (,): e 0 < e < e 2 < e < e. Define k n : X {0,,...,n } by agreeing that if a path x passes through vertex (n,k), then k n (x) = k. We then say that x has a left turn at level n if k n+ (x) = k n (x) and a right turn if k n+ (x) = k n (x) +. Then define X max to be the set of paths in X such that there are no greater paths with respect to the above ordering: X max = { the path with no left turns, the path with no right turns} {x X there is a j such that x has a unique left turn at x j and for all n j, x n is the maximal edge into (n,j + )}. X min is the set of paths in X such that there are no smaller paths with respect to the above ordering: X min = { the path with no left turns, the path with no right turns} {x X there is a j such that x has a unique right turn at x j and for all n j, x n is the minimal edge into (n,n j)} Both X max and X min are countable.
3 Ergodicity of the adic transformation on the Euler graph Fig.. The dashed paths are maximal, and the dotted paths are minimal. In addition, the paths following the far left edge and the far right edge are both maximal and minimal. If x X \ X max, consider the first non-maximal edge, x j, of x and let y j be the next greatest edge with respect to the edge ordering. Then define y 0 y...y j to be the minimal path into the source of y j and let T(x) = y 0...y j x j+ x j+2...(so T(x) i = x i for all i = j +,j + 2,...). Then T : X \ X max X \ X min is the Euler adic. Fig. 5. T maps the dotted path into the dashed path. Since both X max and X min are countable, for any T-invariant, nonatomic measure µ, µ(x max ) = µ(x min ) = The Symmetric Invariant Measure A cylinder set C = [c 0 c...c n ] is {x X x i = c i for all i = 0,,...,n }. Given any T invariant Borel measure, µ, on X, define the weight w n on an edge c n connecting level n and n+ to be µ([c 0...c n ] [c 0...c n ]) for n greater than 0 and w 0 = µ([c 0 ]). Then µ[c 0...c n ] = w 0...w n, where w i is the weight on the edge c i. There are two conditions which together are necessary and sufficient to ensure that a measure on X is T-invariant. The first is that if e 0 and e have the same source vertex and the same terminal vertex, then their weights are equal. The second is the diamond law. If u is the weight associated with the edges connecting vertex (n,k) to (n +,k), u 2 is the weight associated to the edges connecting (n,k) to (n+,k+), v is the weight on the edges connecting (n+,k) to (n+2,k+), and v 2 is the weight on the edges connecting (n+,k+) to (n+2,k+), then u v = u 2 v 2. Definition. The symmetric measure, η, is determined by assigning weights /(n + 2) on each edge connecting level n to level n +.
4 S. Bailey, M. Keane, K. Petersen, and I. Salama (n, k) u u 2 (n +, k) (n +, k + ) u v = u 2v 2 v 2 v (n + 2, k + ) Fig. 6. The diamond law. This measure clearly satisfies both of the above conditions and hence is T-invariant. 2 2 Fig. 7. The Symmetric Measure. The Cutting and Stacking Representation We can also view the transformation T as a map on the unit interval defined by cutting and stacking which preserves Lebesgue measure, m. Each stage of cutting and stacking corresponds to a level in the Euler graph. At each stage n = 0,,2,... we have n + stacks S n,0,s n,,...,s n,n (corresponding to the vertices (n,k), 0 k n, of the Euler graph). Stack S n,k consists of A(n,k) subintervals of [0,]. Each subinterval corresponds to a cylinder set determined by a path of length n, terminating in vertex (n,k). The transformation T is defined by mapping each level of the stack, except the topmost one, linearly onto the one above it. This corresponds to mapping each non-maximal path of length n to its successor. To proceed to the next stage in the cutting and stacking construction, each stack S n,k is cut into n + 2 equal substacks. These are recombined into new stacks in the order prescribed by the way T maps their corresponding cylinder sets. In this way, we obtain a Lebesgue measure-preserving transformation defined almost everywhere on [0,]. Fig. 8. The Euler adic as a cutting and stacking transformation.
5 Ergodicity of the adic transformation on the Euler graph 5. Ergodicity In order to prove that the Euler adic T is ergodic with respect to the symmetric measure η, we adapt the proof in [5] of ergodicity of the B(/2,/2) measure for the Pascal adic. For previous proofs of the ergodicity of Bernoulli measures for the Pascal adic, see [],[0], [8],[6],[7] and the references that they contain. Proposition. For each x X, denote by I n (x) the cylinder set determined by x 0 x...x n. Then for each measurable A X, η(a I n (x)) η(i n (x)) χ A (x) almost everywhere. Proof. In view of the isomorphism of (X,η) and ([0,],m), this is just the Lebesgue Density Theorem. Denote by ρ the measure η η on X X. Proposition 2. For ρ-almost every (x,y) X X, there are infinitely many n such that I n (x) and I n (y) end in the same vertex of the Euler graph, equivalently (n,k n (x)) = (n,k n (y)). This is equivalent to saying that for infinitely many n the number of left turns in x...x n equals the number of left turns in y...y n, or that in the cutting and stacking representation the subintervals of [0,] corresponding to I n (x) and I n (y) are in the same stack. This happens because the symmetric measure has a central tendency: if a path is not near the center of the graph at level n, there is a greater probability that at level n + it will be closer to the center than before (and the farther from the center, the greater the probability). We defer momentarily the proof of Proposition 2 in order to show how it immediately implies the main result. Theorem. The Euler adic T is ergodic with respect to the symmetric measure, η. Proof. Suppose that A X is measurable and T-invariant and that 0 < η(a) <. By Proposition, η(a I n (x)) η(i n (x)) and η(ac I n (y)) η(i n (y)) for ρ-almost every (x,y) A A c. Hence for almost every (x,y) A A c we can pick an n 0 = n 0 (x,y) such that for all n n 0, η(a I n (x)) η(i n (x)) > 2 and η(a c I n (y)) η(i n (y)) > 2. ( ) Then, by Proposition 2, we can choose n n 0 such that I n (x) and I n (y) end in the same vertex, and hence there is j Z such that T j (I n (x)) = I n (y). Since A is T-invariant, this contradicts ( ). Then we must have η(a) = 0 or η(a) =, and so T is ergodic with respect to η. It remains to prove Proposition 2. Lemma. On (X X,ρ), for each n =,2,... let D n (x,x ) = k n (x) k n (x ), and let F = B((x,x ),...,(x n,x n)) denote the σ-algebra generated by (x,x ),...,(x n,x n).
6 6 S. Bailey, M. Keane, K. Petersen, and I. Salama Let σ(x,x ) be a stopping time with respect to (F n ) such that D σ(x,x )(x,x ) > 0. Fix M > 0 and let τ(x,x ) = inf{n > σ(x,x ) : D n {0,M}}. For n = 0,,2,..., let D σ(x,x )(x,x ) if 0 n σ(x,x ) Y n (x,x ) = D n (x,x ) if σ(x,x ) < n τ(x,x ) D τ(x,x )(x,x ) if n τ(x,x ) Then (Y n (x,x ) : n = 0,,2,...) is a supermartingale with respect to (F n ). Proof. We have to check the defining inequality for supermartingales only for the range of n where Y n = D n, since otherwise Y n (x,x ) is constant in n. If x turns to the left at stage n, then k n+ (x) = k n (x), but if x turns to the right k n+ (x) = k n (x) +. From Figure 2 we see that and η{k n+ (x) = k n (x) x...x n } = k n(x) + n + 2 ( 2) η{k n+ (x) = k n (x) + x...x n } = n k n(x) +. ( ) n + 2 Without loss of generality assume that k n (x ) > k n (x). Note that D n on the set A = {k n+ (x) = k n (x),k n+ (x ) = k n (x )} {k D n+ = n+ (x) = k n (x) +,k n+ (x ) = k n (x ) + } D n + on the set B = {k n+ (x) = k n (x),k n+ (x ) = k n (x) + } D n on the set C = {k n+ (x) = k n (x) +,k n+ (x ) = k n (x )}. From ( 2) and ( ), E ρ (D n+ D n F n ) = 0 ρ(a F n ) + ρ(b F n ) ρ(c F n ) = n + 2 [(k n(x) + )(n k n (x ) + ) (k n (x ) + )(n k n (x) )] 0. Hence E ρ (D n+ F n ) D n. Lemma 2. k n(x) n 2 in measure. Proof. Let u n (x) = 2k n (x) n for all n. We will show that u n /n 0 in measure. We begin by computing the variance of u n. Note that if k n+ (x) = k n (x) then u n+ = u n, and if k n+ (x) = k n (x) + then u n+ = u n +. Following the calculations in [9], and using ( 2) and ( ), E η (u n+ u n ) = (n + )/(n + 2)u n ; so, since u 0 = 0, E(u n ) = 0 for all n =,2,.... Similarly, ( ) ( ) E η (u 2 n+ u n ) = (u n ) 2 kn (x) + n + (u n + ) 2 kn (x) + n + 2 n + 2
7 Ergodicity of the adic transformation on the Euler graph 7 ( ) ( ) = (u n ) 2 un + n + 2 n + (u n + ) 2 un + 2 2(n + 2) 2(n + 2) Then E η (u 2 n+ u n ) = and continuing this recursively we see that V (u n+ ) = E η (u 2 n+) = = nu2 n n n ( (n )u 2 ) n + +, n + 2 n + (n + )(n + 2) = n +. Then by Chebyshev s Inequality, { u } n η ǫ c 0 as n, n nǫ2 so that u n n 0 in measure, i.e. k n(x) n 2 in measure. n (i + )(i + 2) Proof of Proposition 2. From Lemma, (D n ) is a supermartingale with respect to F n = (B((x,x ),...,(x n,x n))). Fix M > 0 and define stopping times σ(x,x ) = inf{n k n (x) k n (x )} and τ(x,x ) = inf{n > σ(x,x ) D n {0,M}}. Then E ρ (D τ ) E ρ (D σ ) =. If τ is finite almost everywhere, then i=0 E ρ (D τ ) = M(ρ{D τ = M}) + 0(ρ{D τ = 0}), so that ρ{d n 0 for any n > σ(x,x )} ρ{d τ = M} /M for all M. Letting M implies that ρ{d n 0 for any n > σ(x,x )} = 0. Hence with ρ-probability there is an n 0 for which k n0 (x) = k n0 (x ). Repeat this process with σ(x,x ) = inf{n > n 0 (x,x ) k n (x) k n (x )} to see that with ρ-probability, k n (x) = k n (x ) infinitely many times. It remains to show that τ is finite almost everywhere. We have a fixed M; fix also a large L. Fix a small enough ǫ so that if k n (x)/n, k n (x )/n are in the interval (/2 ǫ,/2 + ǫ), then k n+i (x) n + i, n k n+i(x) n + i, k n+i(x ), n k n+i(x ) n + i n + i for i = 0,,...,ML. In other words, starting from (n,k n (x)) all the probabilities of going left or right for both x and x are at least / for ML steps. Let A n = {(x,x ) X X k n (x)/n,k n (x )/n (/2 ǫ,/2 + ǫ)}, and note that ρ(a n ) as n, by the convergence in measure. Let B n = {(x,x ) X X k n+i (x) = k n (x),k n+i (x ) = k n (x )+i for all i = 0,...,M}. For every n, {x τ(x) = } A n A n B c n B c n+m Bc n+(l )M = G n, since (x,x ) in B n implies D n+i (x,x ) is either 0 or M for some i M. Conditioned on the set A n, the sets B n,b n+m,...,b n+(l )M are not independent, because at each step the probabilities of going left or right, given by sums of the weights on the edges, are changing. But since the probabilities of going left or right at each step are all near /2, so that the probability of each event we are considering is near the probability that it
8 8 S. Bailey, M. Keane, K. Petersen, and I. Salama would be assigned by a genuine symmetric random walk, we can estimate the measure of G n. For each j = 0,,...,L, abbreviate E j = Bn+jM c. Then for each pair of vertices v = ((jm,k),(jm,k )),we have ρ(e j v) ( / 2M ). Thus ρ(e j E j E 0 A n ) = ρ(e j v)ρ(v E j E 0 A n ) ( / 2M ), vertices v at level jm and iterating gives ρ(e L E 0 A n ) ( / 2M) L. Therefore ρ(τ = A n ) ( / 2M ) L for all L. Letting n and then L, we conclude that ρ{τ = } = 0. Remark. In fact k n (x)/n /2 almost everywhere. We can see this as follows. Continue to let u n (x) = 2k n (x) n as in Lemma 2. Since E((n + 2)u n+ (n + )u n ) = (n + )u n, S n = (n + )u n forms a mean-0 martingale. If X n = S n S n, then the X n are a martingale difference sequence in L 2, thus mean 0 and orthogonal. The variance of X n is E(Xn) 2 = E(Sn) 2 E(Sn ) 2 = n2 + 5n. If we let b n = n 2, then E(X 2 n)/b 2 n <, so by the extension to martingales of Kolmogrov s Criterion for the Strong Law of Large Numbers (see [, p.28]) S n /b n 0 almost everywhere, that is to say, u n /n 0 almost everywhere. Remark 2. It would be interesting to determine further dynamical properties of this system, such as weak mixing, rigidity, singularity of the spectrum, and whether the rank is infinite. So far we can show that the symmetric measure (η) is the only fully supported invariant ergodic measure [2], and that (X, T, η) is totally ergodic and loosely Bernoulli, []. We thank the referee for helpful comments. REFERENCES [] Sarah Bailey, Dyanmical properties of some non-stationary, non-simple Bratteli-Vershik systems, Ph.D. thesis, University of North Carolina, Chapel Hill, in preparation. [2] Sarah Bailey and Karl Petersen, Random permutations and unique fully supported ergodicity for the Euler adic transfromation, preprint. [] William Feller, An Introduction to Probability Theory and Its Applications, vol. II, J. Wiley and Sons, Inc., New York, 966. [] A. Hajian, Y. Ito, and S. Kakutani, Invariant measures and orbits of dissipative transformations, Adv. in Math 9 (972), [5] Michael Keane, Entropy and ergodic theory, Entropy (Andreas Greven, Gerhard Keller, and Gerald Warnecke, eds.), Princeton University Press, 200, pp [6] Xavier Méla, Dynamics of a class of nonstationary adic transfomrations, to appear in Ann. Inst. H. Poincaré Prob. and Stat. [7] Xavier Méla and Karl Petersen, Dynamical properties of the Pascal adic transformation, Erg. Th. Dyn. Sys. 25 (2005), [8] K. Petersen, Information compression and retention in dynamical processes, Dynamics and Randomness (Proceedings of the December 2000 Workshop in Santiago, Chile, A. Maass, S. Martinez, J. San Martin, eds., Kluwer Acad. Publ.), 2002, pp [9] Ibrahim A. Salama and Dana Quade, The asymptotic normality of a rank correlation statistic based on rises, Stat. and Prob. Letters 2 (997), [0] A.M. Vershik and S.V. Kerov, Locally semisimple algebras, combinatorial theory and the K 0-functor, J. Soviet Math. 8 (987), 70 7.
THE EULER ADIC DYNAMICAL SYSTEM AND PATH COUNTS IN THE EULER GRAPH. 1. Introduction
THE EULER ADIC DYNAMICAL SYSTEM AND PATH COUNTS IN THE EULER GRAPH K. PETERSEN AND A. VARCHENKO Abstract. We give a formula for generalized Eulerian numbers, prove monotonicity of sequences of certain
More informationIRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT
IRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT MRINAL KANTI ROYCHOWDHURY Abstract. Two invertible dynamical systems (X, A, µ, T ) and (Y, B, ν, S) where X, Y
More informationA dyadic endomorphism which is Bernoulli but not standard
A dyadic endomorphism which is Bernoulli but not standard Christopher Hoffman Daniel Rudolph November 4, 2005 Abstract Any measure preserving endomorphism generates both a decreasing sequence of σ-algebras
More informationON THE DEFINITION OF RELATIVE PRESSURE FOR FACTOR MAPS ON SHIFTS OF FINITE TYPE. 1. Introduction
ON THE DEFINITION OF RELATIVE PRESSURE FOR FACTOR MAPS ON SHIFTS OF FINITE TYPE KARL PETERSEN AND SUJIN SHIN Abstract. We show that two natural definitions of the relative pressure function for a locally
More informationCONSTRUCTIVE SYMBOLIC PRESENTATIONS OF RANK ONE MEASURE-PRESERVING SYSTEMS TERRENCE ADAMS. U.S. Government, 9800 Savage Rd, Ft. Meade, MD USA
CONSTRUCTIVE SYMBOLIC PRESENTATIONS OF RANK ONE MEASURE-PRESERVING SYSTEMS TERRENCE ADAMS U.S. Government, 9800 Savage Rd, Ft. Meade, MD 20755 USA SÉBASTIEN FERENCZI Aix Marseille Université, CNRS, Centrale
More informationFACTOR MAPS BETWEEN TILING DYNAMICAL SYSTEMS KARL PETERSEN. systems which cannot be achieved by working within a nite window. By. 1.
FACTOR MAPS BETWEEN TILING DYNAMICAL SYSTEMS KARL PETERSEN Abstract. We show that there is no Curtis-Hedlund-Lyndon Theorem for factor maps between tiling dynamical systems: there are codes between such
More informationIf the [T, Id] automorphism is Bernoulli then the [T, Id] endomorphism is standard
If the [T, Id] automorphism is Bernoulli then the [T, Id] endomorphism is standard Christopher Hoffman Daniel Rudolph September 27, 2002 Abstract For any - measure preserving map T of a probability space
More informationCURRICULUM VITAE. Mathematics (1984). Department of Mathematics, University of North Carolina at Chapel Hill.
CURRICULUM VITAE GENERAL PERSONAL: Name: Ibrahim A. Salama Date of Birth: December 20, 1946 Place of Birth: Rashid, Egypt Address: 207-17 Melville Loop Chapel Hill, NC 27514 Telephone: (919) 942-1170 (Home)
More informationStandard deviation of recurrence times for piecewise linear transformations
University of Wollongong Research Online Faculty of Engineering and Information Sciences - Papers: Part B Faculty of Engineering and Information Sciences 2017 Standard deviation of recurrence times for
More informationA ZERO ENTROPY T SUCH THAT THE [T,ID] ENDOMORPHISM IS NONSTANDARD
A ZERO ENTROPY T SUCH THAT THE [T,ID] ENDOMORPHISM IS NONSTANDARD CHRISTOPHER HOFFMAN Abstract. We present an example of an ergodic transformation T, a variant of a zero entropy non loosely Bernoulli map
More informationTHE CENTRALIZER OF K IN U(g) C(p) FOR THE GROUP SO e (4,1) Ana Prlić University of Zagreb, Croatia
GLASNIK MATEMATIČKI Vol. 5(7)(017), 75 88 THE CENTRALIZER OF K IN U(g) C(p) FOR THE GROUP SO e (4,1) Ana Prlić University of Zagreb, Croatia Abstract. Let G be the Lie group SO e(4,1), with maximal compact
More information3 hours UNIVERSITY OF MANCHESTER. 22nd May and. Electronic calculators may be used, provided that they cannot store text.
3 hours MATH40512 UNIVERSITY OF MANCHESTER DYNAMICAL SYSTEMS AND ERGODIC THEORY 22nd May 2007 9.45 12.45 Answer ALL four questions in SECTION A (40 marks in total) and THREE of the four questions in SECTION
More informationCHARACTERISTIC POLYNOMIAL PATTERNS IN DIFFERENCE SETS OF MATRICES
CHARACTERISTIC POLYNOMIAL PATTERNS IN DIFFERENCE SETS OF MATRICES MICHAEL BJÖRKLUND AND ALEXANDER FISH Abstract. We show that for every subset E of positive density in the set of integer squarematrices
More informationarxiv: v1 [math.co] 5 Apr 2019
arxiv:1904.02924v1 [math.co] 5 Apr 2019 The asymptotics of the partition of the cube into Weyl simplices, and an encoding of a Bernoulli scheme A. M. Vershik 02.02.2019 Abstract We suggest a combinatorial
More informationL n = l n (π n ) = length of a longest increasing subsequence of π n.
Longest increasing subsequences π n : permutation of 1,2,...,n. L n = l n (π n ) = length of a longest increasing subsequence of π n. Example: π n = (π n (1),..., π n (n)) = (7, 2, 8, 1, 3, 4, 10, 6, 9,
More informationTAIL FIELDS GENERATED BY SYMBOL COUNTS IN MEASURE-PRESERVING SYSTEMS
TAIL FIELDS GENERATED BY SYMBOL COUNTS IN MEASURE-PRESERVING SYSTEMS KARL PETERSEN AND JEAN-PAUL THOUVENOT In memory of Anzelm Iwanik Abstract. A finite-state stationary process is called (one or twosided)
More informationRecurrence of Simple Random Walk on Z 2 is Dynamically Sensitive
arxiv:math/5365v [math.pr] 3 Mar 25 Recurrence of Simple Random Walk on Z 2 is Dynamically Sensitive Christopher Hoffman August 27, 28 Abstract Benjamini, Häggström, Peres and Steif [2] introduced the
More informationALMOST EVERY NUMBER HAS A CONTINUUM. INTRODUCTION. Let β belong to (1, 2) and write Σ =
ALMOST EVERY NUMBER HAS A CONTINUUM OF β-expansions NIKITA SIDOROV 1. INTRODUCTION. Let β belong to (1, 2) and write Σ = 1 {0, 1}. For each x 0 we will call any representation of x of the form (1) x =
More informationA loosely Bernoulli counterexample machine
A loosely Bernoulli counterexample machine Christopher Hoffman September 7, 00 Abstract In Rudolph s paper on minimal self joinings [7] he proves that a rank one mixing transformation constructed by Ornstein
More informationSAMPLE PATH PROPERIES OF RANDOM TRANSFORMATIONS.
SAMPLE PATH PROPERIES OF RANDOM TRANSFORMATIONS. DMITRY DOLGOPYAT 1. Models. Let M be a smooth compact manifold of dimension N and X 0, X 1... X d, d 2, be smooth vectorfields on M. (I) Let {w j } + j=
More informationOPEN PROBLEMS SESSION 1 Notes by Karl Petersen. In addition to these problems, see Mike Boyle s Open Problems article [1]. 1.
OPEN PROBLEMS SESSION 1 Notes by Karl Petersen In addition to these problems, see Mike Boyle s Open Problems article [1]. 1. (Brian Marcus) Let X be a Z d subshift over the alphabet A = {0, 1}. Let B =
More informationA n (T )f = 1 n 1. T i f. i=0
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Volumen 46, Número 1, 2005, Páginas 47 51 A NOTE ON THE L 1 -MEAN ERGODIC THEOREM Abstract. Let T be a positive contraction on L 1 of a σ-finite measure space.
More informationMeasurable functions are approximately nice, even if look terrible.
Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............
More informationOn the smoothness of the conjugacy between circle maps with a break
On the smoothness of the conjugacy between circle maps with a break Konstantin Khanin and Saša Kocić 2 Department of Mathematics, University of Toronto, Toronto, ON, Canada M5S 2E4 2 Department of Mathematics,
More informationLecture 7. We can regard (p(i, j)) as defining a (maybe infinite) matrix P. Then a basic fact is
MARKOV CHAINS What I will talk about in class is pretty close to Durrett Chapter 5 sections 1-5. We stick to the countable state case, except where otherwise mentioned. Lecture 7. We can regard (p(i, j))
More informationTHE CLASSIFICATION OF TILING SPACE FLOWS
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLI 2003 THE CLASSIFICATION OF TILING SPACE FLOWS by Alex Clark Abstract. We consider the conjugacy of the natural flows on one-dimensional tiling
More informationPERIODS IMPLYING ALMOST ALL PERIODS FOR TREE MAPS. A. M. Blokh. Department of Mathematics, Wesleyan University Middletown, CT , USA
PERIODS IMPLYING ALMOST ALL PERIODS FOR TREE MAPS A. M. Blokh Department of Mathematics, Wesleyan University Middletown, CT 06459-0128, USA August 1991, revised May 1992 Abstract. Let X be a compact tree,
More informationarxiv:math/ v1 [math.oa] 10 Feb 2000
On the K-property of quantized Arnold cat maps arxiv:math/0002080v [math.oa] 0 Feb 2000 I S.V. Neshveyev Abstract We prove that some quantized Arnold cat maps are entropic K-systems. his result was formulated
More informationarxiv: v1 [math.ds] 13 Jul 2015
CHARACTERISTIC POLYNOMIAL PATTERNS IN DIFFERENCE SETS OF MATRICES MICHAEL BJÖRKLUND AND ALEXANDER FISH arxiv:1507.03380v1 [math.ds] 13 Jul 2015 Abstract. We show that for every subset E of positive density
More informationEntropy dimensions and a class of constructive examples
Entropy dimensions and a class of constructive examples Sébastien Ferenczi Institut de Mathématiques de Luminy CNRS - UMR 6206 Case 907, 63 av. de Luminy F3288 Marseille Cedex 9 (France) and Fédération
More informationERGODIC DYNAMICAL SYSTEMS CONJUGATE TO THEIR COMPOSITION SQUARES. 0. Introduction
Acta Math. Univ. Comenianae Vol. LXXI, 2(2002), pp. 201 210 201 ERGODIC DYNAMICAL SYSTEMS CONJUGATE TO THEIR COMPOSITION SQUARES G. R. GOODSON Abstract. We investigate the question of when an ergodic automorphism
More informationRudiments of Ergodic Theory
Rudiments of Ergodic Theory Zefeng Chen September 24, 203 Abstract In this note we intend to present basic ergodic theory. We begin with the notion of a measure preserving transformation. We then define
More informationAsymptotic theory of path spaces of graded graphs and its applications
arxiv:1604.03022v1 [math.ds] 11 Apr 2016 Asymptotic theory of path spaces of graded graphs and its applications A. M. Vershik April 12, 2016 A version of Takagi Lectures (27 28 June 2015, Tohoku University,
More informationTHREE ZUTOT ELI GLASNER AND BENJAMIN WEISS
THREE ZUTOT ELI GLASNER AND BENJAMIN WEISS Abstract. Three topics in dynamical systems are discussed. In the first two sections we solve some open problems concerning, respectively, Furstenberg entropy
More informationAn Introduction to Ergodic Theory
An Introduction to Ergodic Theory Normal Numbers: We Can t See Them, But They re Everywhere! Joseph Horan Department of Mathematics and Statistics University of Victoria Victoria, BC December 5, 2013 An
More informationDigit Frequencies and Bernoulli Convolutions
Digit Frequencies and Bernoulli Convolutions Tom Kempton November 22, 202 arxiv:2.5023v [math.ds] 2 Nov 202 Abstract It is well known that the Bernoulli convolution ν associated to the golden mean has
More informationON AN INFINITE-DIMENSIONAL GROUP OVER A FINITE FIELD. A. M. Vershik, S. V. Kerov
ON AN INFINITE-DIMENSIONAL GROUP OVER A FINITE FIELD A. M. Vershik, S. V. Kerov Introduction. The asymptotic representation theory studies the behavior of representations of large classical groups and
More informationUndecidable properties of self-affine sets and multi-tape automata
Undecidable properties of self-affine sets and multi-tape automata Timo Jolivet 1,2 and Jarkko Kari 1 1 Department of Mathematics, University of Turku, Finland 2 LIAFA, Université Paris Diderot, France
More information7 Convergence in R d and in Metric Spaces
STA 711: Probability & Measure Theory Robert L. Wolpert 7 Convergence in R d and in Metric Spaces A sequence of elements a n of R d converges to a limit a if and only if, for each ǫ > 0, the sequence a
More informationIN AN ALGEBRA OF OPERATORS
Bull. Korean Math. Soc. 54 (2017), No. 2, pp. 443 454 https://doi.org/10.4134/bkms.b160011 pissn: 1015-8634 / eissn: 2234-3016 q-frequent HYPERCYCLICITY IN AN ALGEBRA OF OPERATORS Jaeseong Heo, Eunsang
More informationOne-parameter automorphism groups of the injective factor. Yasuyuki Kawahigashi. Department of Mathematics, Faculty of Science
One-parameter automorphism groups of the injective factor of type II 1 with Connes spectrum zero Yasuyuki Kawahigashi Department of Mathematics, Faculty of Science University of Tokyo, Hongo, Tokyo, 113,
More informationELEMENTARY PROOF OF THE CONTINUITY OF THE TOPOLOGICAL ENTROPY AT θ = 1001 IN THE MILNOR THURSTON WORLD
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Vol. 58, No., 207, Pages 63 88 Published online: June 3, 207 ELEMENTARY PROOF OF THE CONTINUITY OF THE TOPOLOGICAL ENTROPY AT θ = 00 IN THE MILNOR THURSTON WORLD
More informationLecture 5. If we interpret the index n 0 as time, then a Markov chain simply requires that the future depends only on the present and not on the past.
1 Markov chain: definition Lecture 5 Definition 1.1 Markov chain] A sequence of random variables (X n ) n 0 taking values in a measurable state space (S, S) is called a (discrete time) Markov chain, if
More informationOn a question of B.H. Neumann
On a question of B.H. Neumann Robert Guralnick Department of Mathematics University of Southern California E-mail: guralnic@math.usc.edu Igor Pak Department of Mathematics Massachusetts Institute of Technology
More informationLecture 10. Theorem 1.1 [Ergodicity and extremality] A probability measure µ on (Ω, F) is ergodic for T if and only if it is an extremal point in M.
Lecture 10 1 Ergodic decomposition of invariant measures Let T : (Ω, F) (Ω, F) be measurable, and let M denote the space of T -invariant probability measures on (Ω, F). Then M is a convex set, although
More informationThe recurrence time for interval exchange maps
IOP PUBLISHING Nonlinearity 21 (2008) 1 10 NONLINEARITY UNCORRECTED PROOF The recurrence time for interval exchange maps Dong Han Kim 1 and Stefano Marmi 2 1 Department of Mathematics, University of Suwon,
More informationSegment Description of Turbulence
Dynamics of PDE, Vol.4, No.3, 283-291, 2007 Segment Description of Turbulence Y. Charles Li Communicated by Y. Charles Li, received August 25, 2007. Abstract. We propose a segment description for turbulent
More informationMEASURE-THEORETIC ENTROPY
MEASURE-THEORETIC ENTROPY Abstract. We introduce measure-theoretic entropy 1. Some motivation for the formula and the logs We want to define a function I : [0, 1] R which measures how suprised we are or
More informationErgodic Theory and Topological Groups
Ergodic Theory and Topological Groups Christopher White November 15, 2012 Throughout this talk (G, B, µ) will denote a measure space. We call the space a probability space if µ(g) = 1. We will also assume
More informationA locally convex topology and an inner product 1
Global Journal of Pure and Applied Mathematics. ISSN 0973-1768 Volume 12, Number 4 (2016, pp. 3327-3338 Research India Publications http://www.ripublication.com/gjpam.htm A locally convex topology and
More informationA FAMILY OF GENERALIZED RIESZ PRODUCTS. A.H. Dooley and S.J. Eigen
A FAMILY OF GENERALIZED RIESZ PRODUCTS A.H. Dooley and S.J. Eigen Abstract. Generalized Riesz products similar to the type which arise as the spectral measure for a rank-one transformation are studied.
More informationRecall that any inner product space V has an associated norm defined by
Hilbert Spaces Recall that any inner product space V has an associated norm defined by v = v v. Thus an inner product space can be viewed as a special kind of normed vector space. In particular every inner
More informationON THE COMPLETE CONVERGENCE FOR WEIGHTED SUMS OF DEPENDENT RANDOM VARIABLES UNDER CONDITION OF WEIGHTED INTEGRABILITY
J. Korean Math. Soc. 45 (2008), No. 4, pp. 1101 1111 ON THE COMPLETE CONVERGENCE FOR WEIGHTED SUMS OF DEPENDENT RANDOM VARIABLES UNDER CONDITION OF WEIGHTED INTEGRABILITY Jong-Il Baek, Mi-Hwa Ko, and Tae-Sung
More informationRectangular Young tableaux and the Jacobi ensemble
Rectangular Young tableaux and the Jacobi ensemble Philippe Marchal October 20, 2015 Abstract It has been shown by Pittel and Romik that the random surface associated with a large rectangular Young tableau
More informationHan-Ying Liang, Dong-Xia Zhang, and Jong-Il Baek
J. Korean Math. Soc. 41 (2004), No. 5, pp. 883 894 CONVERGENCE OF WEIGHTED SUMS FOR DEPENDENT RANDOM VARIABLES Han-Ying Liang, Dong-Xia Zhang, and Jong-Il Baek Abstract. We discuss in this paper the strong
More informationINTRODUCTION TO FURSTENBERG S 2 3 CONJECTURE
INTRODUCTION TO FURSTENBERG S 2 3 CONJECTURE BEN CALL Abstract. In this paper, we introduce the rudiments of ergodic theory and entropy necessary to study Rudolph s partial solution to the 2 3 problem
More informationEdge Isoperimetric Theorems for Integer Point Arrays
Edge Isoperimetric Theorems for Integer Point Arrays R. Ahlswede, S.L. Bezrukov Universität Bielefeld, Fakultät für Mathematik Postfach 100131, 33501 Bielefeld, Germany Abstract We consider subsets of
More informationInvariant measures and the compactness of the domain
ANNALES POLONICI MATHEMATICI LXIX.(998) Invariant measures and the compactness of the domain by Marian Jab loński (Kraków) and Pawe l Góra (Montreal) Abstract. We consider piecewise monotonic and expanding
More informationExhaustive Weakly Wandering Sequences for Alpha Type Transformations. A Dissertation Presented by. John Lindhe. to The Department of Mathematics
Exhaustive Weakly Wandering Sequences for Alpha Type Transformations A Dissertation Presented by John Lindhe to The Department of Mathematics in partial fulfillment of the requirements for the degree of
More informationSYMMETRIC GIBBS MEASURES
SYMMETRIC GIBBS MESURES KRL PETERSEN ND KLUS SCHMIDT bstract. We prove that certain Gibbs measures on subshifts of finite type are nonsingular and ergodic for certain countable equivalence relations, including
More informationarxiv: v2 [math.ds] 14 Mar 2009
ON ERGODIC TRANSFORMATIONS THAT ARE BOTH WEAKLY MIXING AND UNIFORMLY RIGID JENNIFER JAMES, THOMAS KOBERDA, KATHRYN LINDSEY, CESAR E. SILVA, AND PETER SPEH arxiv:0809.4406v2 [math.ds] 14 Mar 2009 Abstract.
More informationOn lengths on semisimple groups
On lengths on semisimple groups Yves de Cornulier May 21, 2009 Abstract We prove that every length on a simple group over a locally compact field, is either bounded or proper. 1 Introduction Let G be a
More informationand Michael White 1. Introduction
SPECTRAL CHARACTERIZATION OF ALGEBRAIC ELEMENTS Thomas Ransford 1 and Michael White 1. Introduction Let A be a unital Banach algebra. An element a A is algebraic if there exists a nonconstant polynomial
More informationITERATED FUNCTION SYSTEMS WITH CONTINUOUS PLACE DEPENDENT PROBABILITIES
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XL 2002 ITERATED FUNCTION SYSTEMS WITH CONTINUOUS PLACE DEPENDENT PROBABILITIES by Joanna Jaroszewska Abstract. We study the asymptotic behaviour
More informationErgodic Theory. Constantine Caramanis. May 6, 1999
Ergodic Theory Constantine Caramanis ay 6, 1999 1 Introduction Ergodic theory involves the study of transformations on measure spaces. Interchanging the words measurable function and probability density
More informationErgodic Theorems. Samy Tindel. Purdue University. Probability Theory 2 - MA 539. Taken from Probability: Theory and examples by R.
Ergodic Theorems Samy Tindel Purdue University Probability Theory 2 - MA 539 Taken from Probability: Theory and examples by R. Durrett Samy T. Ergodic theorems Probability Theory 1 / 92 Outline 1 Definitions
More informationON HYPERBOLIC MEASURES AND PERIODIC ORBITS
ON HYPERBOLIC MEASURES AND PERIODIC ORBITS ILIE UGARCOVICI Dedicated to Anatole Katok on the occasion of his 60th birthday Abstract. We prove that if a diffeomorphism on a compact manifold preserves a
More informationarxiv: v2 [math.ds] 19 Jul 2012
arxiv:1107.2430v2 [math.ds] 19 Jul 2012 An algorithm to identify automorphisms which arise from self-induced interval exchange transformations Yann Jullian Abstract We give an algorithm to determine if
More information1.4 Outer measures 10 CHAPTER 1. MEASURE
10 CHAPTER 1. MEASURE 1.3.6. ( Almost everywhere and null sets If (X, A, µ is a measure space, then a set in A is called a null set (or µ-null if its measure is 0. Clearly a countable union of null sets
More informationA CLT FOR MULTI-DIMENSIONAL MARTINGALE DIFFERENCES IN A LEXICOGRAPHIC ORDER GUY COHEN. Dedicated to the memory of Mikhail Gordin
A CLT FOR MULTI-DIMENSIONAL MARTINGALE DIFFERENCES IN A LEXICOGRAPHIC ORDER GUY COHEN Dedicated to the memory of Mikhail Gordin Abstract. We prove a central limit theorem for a square-integrable ergodic
More informationSupplementary Notes for W. Rudin: Principles of Mathematical Analysis
Supplementary Notes for W. Rudin: Principles of Mathematical Analysis SIGURDUR HELGASON In 8.00B it is customary to cover Chapters 7 in Rudin s book. Experience shows that this requires careful planning
More informationKARMA DAJANI AND CHARLENE KALLE
RANDOM -EXPANSIONS WITH DELETED DIGITS KARMA DAJANI AND CHARLENE KALLE Abstract. In this paper we define random -expansions with digits taken from a given set of real numbers A = {... }. We study a generalization
More informationKesten s power law for difference equations with coefficients induced by chains of infinite order
Kesten s power law for difference equations with coefficients induced by chains of infinite order Arka P. Ghosh 1,2, Diana Hay 1, Vivek Hirpara 1,3, Reza Rastegar 1, Alexander Roitershtein 1,, Ashley Schulteis
More informationNotes 1 : Measure-theoretic foundations I
Notes 1 : Measure-theoretic foundations I Math 733-734: Theory of Probability Lecturer: Sebastien Roch References: [Wil91, Section 1.0-1.8, 2.1-2.3, 3.1-3.11], [Fel68, Sections 7.2, 8.1, 9.6], [Dur10,
More informationVARIATIONAL PRINCIPLE FOR THE ENTROPY
VARIATIONAL PRINCIPLE FOR THE ENTROPY LUCIAN RADU. Metric entropy Let (X, B, µ a measure space and I a countable family of indices. Definition. We say that ξ = {C i : i I} B is a measurable partition if:
More informationČECH-COMPLETE MAPS. Yun-Feng Bai and Takuo Miwa Shimane University, Japan
GLASNIK MATEMATIČKI Vol. 43(63)(2008), 219 229 ČECH-COMPLETE MAPS Yun-Feng Bai and Takuo Miwa Shimane University, Japan Abstract. We introduce a new notion of Čech-complete map, and investigate some its
More informationand right turns are selected independently with xed probabilities) and by dn(x) the
BINOMIAL-COEFFICIENT MULTIPLES OF IRRATIONALS Terrence M. Adams and Karl E. Petersen Abstract. Denote by x a random innite path in the graph of Pascal's triangle (left and right turns are selected independently
More informationMath 117: Topology of the Real Numbers
Math 117: Topology of the Real Numbers John Douglas Moore November 10, 2008 The goal of these notes is to highlight the most important topics presented in Chapter 3 of the text [1] and to provide a few
More informationAn Introduction to Probability Theory and Its Applications
An Introduction to Probability Theory and Its Applications WILLIAM FELLER (1906-1970) Eugene Higgins Professor of Mathematics Princeton University VOLUME II SECOND EDITION JOHN WILEY & SONS Contents I
More informationLecture 2. We now introduce some fundamental tools in martingale theory, which are useful in controlling the fluctuation of martingales.
Lecture 2 1 Martingales We now introduce some fundamental tools in martingale theory, which are useful in controlling the fluctuation of martingales. 1.1 Doob s inequality We have the following maximal
More informationLyapunov exponents of Teichmüller flows
Lyapunov exponents ofteichmüller flows p 1/6 Lyapunov exponents of Teichmüller flows Marcelo Viana IMPA - Rio de Janeiro Lyapunov exponents ofteichmüller flows p 2/6 Lecture # 1 Geodesic flows on translation
More informationA BOOLEAN ACTION OF C(M, U(1)) WITHOUT A SPATIAL MODEL AND A RE-EXAMINATION OF THE CAMERON MARTIN THEOREM
A BOOLEAN ACTION OF C(M, U(1)) WITHOUT A SPATIAL MODEL AND A RE-EXAMINATION OF THE CAMERON MARTIN THEOREM JUSTIN TATCH MOORE AND S LAWOMIR SOLECKI Abstract. We will demonstrate that if M is an uncountable
More informationLogarithmic functional and reciprocity laws
Contemporary Mathematics Volume 00, 1997 Logarithmic functional and reciprocity laws Askold Khovanskii Abstract. In this paper, we give a short survey of results related to the reciprocity laws over the
More informationError formulas for divided difference expansions and numerical differentiation
Error formulas for divided difference expansions and numerical differentiation Michael S. Floater Abstract: We derive an expression for the remainder in divided difference expansions and use it to give
More informationarxiv: v3 [math.ds] 23 May 2017
INVARIANT MEASURES FOR CARTESIAN POWERS OF CHACON INFINITE TRANSFORMATION arxiv:1505.08033v3 [math.ds] 23 May 2017 ÉLISE JANVRESSE, EMMANUEL ROY AND THIERRY DE LA RUE Abstract. We describe all boundedly
More informationMeasure-theoretic unfriendly colorings
Measure-theoretic unfriendly colorings Clinton T. Conley August 26, 2013 Abstract We consider the problem of finding a measurable unfriendly partition of the vertex set of a locally finite Borel graph
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationThe Terwilliger Algebras of Group Association Schemes
The Terwilliger Algebras of Group Association Schemes Eiichi Bannai Akihiro Munemasa The Terwilliger algebra of an association scheme was introduced by Paul Terwilliger [7] in order to study P-and Q-polynomial
More informationERGODIC THEOREMS FOR ACTIONS OF HYPERBOLIC GROUPS. Mark Pollicott and Richard Sharp. University of Warwick and University of Manchester
ERGODIC THEOREMS FOR ACTIOS OF HYPERBOLIC GROUPS Mark Pollicott and Richard Sharp University of Warwick and University of Manchester Abstract In this note we give a short proof of a pointwise ergodic theorem
More informationRecall: Matchings. Examples. K n,m, K n, Petersen graph, Q k ; graphs without perfect matching
Recall: Matchings A matching is a set of (non-loop) edges with no shared endpoints. The vertices incident to an edge of a matching M are saturated by M, the others are unsaturated. A perfect matching of
More informationNonamenable Products are not Treeable
Version of 30 July 1999 Nonamenable Products are not Treeable by Robin Pemantle and Yuval Peres Abstract. Let X and Y be infinite graphs, such that the automorphism group of X is nonamenable, and the automorphism
More informationProperty (T) and the Furstenberg Entropy of Nonsingular Actions
Property (T) and the Furstenberg Entropy of Nonsingular Actions Lewis Bowen, Yair Hartman and Omer Tamuz December 1, 2014 Abstract We establish a new characterization of property (T) in terms of the Furstenberg
More informationLimit Theorems for Exchangeable Random Variables via Martingales
Limit Theorems for Exchangeable Random Variables via Martingales Neville Weber, University of Sydney. May 15, 2006 Probabilistic Symmetries and Their Applications A sequence of random variables {X 1, X
More informationQuasi-invariant measures for continuous group actions
Contemporary Mathematics Quasi-invariant measures for continuous group actions Alexander S. Kechris Dedicated to Simon Thomas on his 60th birthday Abstract. The class of ergodic, invariant probability
More informationDUALITY, CENTRAL CHARACTERS, AND REAL-VALUED CHARACTERS OF FINITE GROUPS OF LIE TYPE
DUALITY, CENTRAL CHARACTERS, AND REAL-VALUED CHARACTERS OF FINITE GROUPS OF LIE TYPE C. RYAN VINROOT Abstract. We prove that the duality operator preserves the Frobenius- Schur indicators of characters
More informationTHE NEARLY ADDITIVE MAPS
Bull. Korean Math. Soc. 46 (009), No., pp. 199 07 DOI 10.4134/BKMS.009.46..199 THE NEARLY ADDITIVE MAPS Esmaeeil Ansari-Piri and Nasrin Eghbali Abstract. This note is a verification on the relations between
More informationhere, this space is in fact infinite-dimensional, so t σ ess. Exercise Let T B(H) be a self-adjoint operator on an infinitedimensional
15. Perturbations by compact operators In this chapter, we study the stability (or lack thereof) of various spectral properties under small perturbations. Here s the type of situation we have in mind:
More informationCombined degree and connectivity conditions for H-linked graphs
Combined degree and connectivity conditions for H-linked graphs FLORIAN PFENDER Universität Rostock Institut für Mathematik D-18055 Rostock, Germany Florian.Pfender@uni-rostock.de Abstract For a given
More informationAffable equivalence relations and orbit structure of Cantor dynamical systems
Ergod. Th. & Dynam. Sys. (2003),??, 1 37 Printed in the United Kingdom c 2003 Cambridge University Press Affable equivalence relations and orbit structure of Cantor dynamical systems Thierry Giordano,
More informationHomework Assignment #5 Due Wednesday, March 3rd.
Homework Assignment #5 Due Wednesday, March 3rd. 1. In this problem, X will be a separable Banach space. Let B be the closed unit ball in X. We want to work out a solution to E 2.5.3 in the text. Work
More information