Mixing (mathematics)

Mixing (mathematics)


In mathematics, mixing is an abstract concept originating from physics: the attempt to describe the irreversible thermodynamic process of mixing in the everyday world: mixing paint, mixing drinks, etc.

The concept appears in ergodic theory—the study of stochastic processes and measure-preserving dynamical systems. Several different definitions for mixing exist, including strong mixing, weak mixing and topological mixing, with the last not requiring a measure to be defined. Some of the different definitions of mixing can be arranged in a hierarchical order; thus, strong mixing implies weak mixing. Furthermore, weak mixing (and thus also strong mixing) implies ergodicity: that is, every system that is weakly mixing is also ergodic (and so one says that mixing is a "stronger" notion than ergodicity).

Mixing in a ball of colored putty after consecutive iterations of "Smale horseshoe map" (i.e. squashing and folding in two)

Contents

Mixing in stochastic processes

Let  \langle X_t \rangle = \{ \ldots, X_{t-1}, X_t, X_{t+1}, \ldots \} be a sequence of random variables. Such a sequence is naturally endowed with a topology, the product topology. The open sets of this topology are called cylinder sets. These cylinder sets generate a sigma algebra, the Borel sigma algebra; it is the smallest (coarsest) sigma algebra that contains the topology.

Define a function α(s), called the strong mixing coefficient, as

\alpha(s) \equiv \sup \left\{\,|P(A \cap B) - P(A)P(B)| : -\infty < t < \infty, A\in X_{-\infty}^t, B\in X_{t+s}^\infty \,\right\}.

In this definition, P is the probability measure on the sigma algebra. The symbol X_a^b, with -\infty \leq a \leq b \leq \infty denotes a subalgebra of the sigma algebra; it is the set of cylinder sets that are specified between times a and b. Given specific, fixed values Xa, Xa + 1, etc., of the random variable, at times a, a + 1, etc., then it may be thought of as the sigma-algebra generated by

\{X_a, X_{a+1},\ldots, X_b \}.

The process \langle X_t \rangle is strong mixing if \alpha(s)\rightarrow 0 as s\rightarrow \infty.

One way to describe this is that strong mixing implies that for any two possible states of the system (realizations of the random variable), when given a sufficient amount of time between the two states, the occurrence of the states is independent.

Types of mixing

Suppose {Xt} is a stationary Markov process, with stationary distribution Q. Denote L²(Q) the space of Borel-measurable functions that are square-integrable with respect to measure Q. Also let tϕ(x) = E[ϕ(Xt) | X0 = x] denote the conditional expectation operator on L²(Q). Finally, let Z = {ϕL²(Q): ∫ ϕdQ = 0} denote the space of square-integrable functions with mean zero.

The ρ-mixing coefficients of the process {xt} are


    \rho_t = \sup_{\phi\in Z:\,\|\phi\|_2=1} \| \mathcal{E}_t\phi \|_2.

The process is called ρ-mixing if these coefficients converge to zero as t → ∞, and “ρ-mixing with exponential decay rate” if ρt < eδt for some δ > 0. For a stationary Markov process, the coefficients ρt may either decay at an exponential rate, or be always equal to one. [1]

The α-mixing coefficients of the process {xt} are


    \alpha_t = \sup_{\phi\in Z:\,\|\phi\|_\infty=1} \| \mathcal{E}_t\phi \|_1.

The process is called α-mixing if these coefficients converge to zero as t → ∞, it is “α-mixing with exponential decay rate” if αt < γeδt for some δ > 0, and it is “α-mixing with sub-exponential decay rate” if αt < ξ(t) for some non-increasing function ξ(t) satisfying t−1ln ξ(t) → 0 as t → ∞. [1]

The α-mixing coefficients are always smaller than the ρ-mixing ones: αtρt, therefore if the process is ρ-mixing, it will necessarily be α-mixing too. However when ρt = 1, the process may still be α-mixing, with sub-exponential decay rate.

The β-mixing coefficients are given by


    \beta_t = \int \sup_{0\leq\phi\leq1} \Big| \mathcal{E}_t\phi(x) - \int \phi dQ \Big| dQ.

The process is called β-mixing if these coefficients converge to zero as t → ∞, it is “β-mixing with exponential decay rate” if βt < γeδt for some δ > 0, and it is “β-mixing with sub-exponential decay rate” if βtξ(t) → 0 as t → ∞ for some non-increasing function ξ(t) satisfying t−1ln ξ(t) → 0 as t → ∞.[1]

A strictly stationary Markov process is β-mixing if and only if it is an aperiodic recurrent Harris chain. The β-mixing coefficients are always bigger than the α-mixing ones, so if a process is β-mixing it will also be α-mixing. There is no direct relationship between β-mixing and ρ-mixing: neither of them implies the other.

Mixing in dynamical systems

A similar definition can be given using the vocabulary of measure-preserving dynamical systems. Let (X, \mathcal{A}, \mu, T) be a dynamical system, with T being the time-evolution or shift operator. The system is said to be strong mixing if, for any A,B \in \mathcal{A}, one has

\lim_{n\to\infty} \mu (A \cap T^{-n}B) = \mu(A)\mu(B).

For shifts parametrized by a continuous variable instead of a discrete integer n, the same definition applies, with T n replaced by Tg with g being the continuous-time parameter.

To understand the above definition physically, consider a shaker M full of an incompressible liquid, which consists of 20% wine and 80% water. If A is the region originally occupied by the wine, then, for any part B of the shaker, the percentage of wine in B after n repetitions of the act of stirring is

\frac{\mu\left( T^n A \cap B\right)}{\mu\left( B\right)}.

In such a situation, one would expect that after the liquid is sufficiently stirred (n \rightarrow \infty), every part B of the shaker will contain approximately 20% wine. This leads to

 \lim_{n \rightarrow \infty} \frac{\mu\left( T^n A \cap B\right)}{\mu\left( B\right)} = \mu\left( A\right)

which implies the above definition of strong mixing.

A dynamical system is said to be weak mixing if one has

\lim_{n\to\infty} \frac {1}{n} \sum_{k=0}^n 
  |\mu (A \cap T^{-k}B) - \mu(A)\mu(B)| = 0.

In other words, T is strong mixing if \mu (A \cap T^{-n}B) converges towards μ(A)μ(B). and weak mixing if this convergence is only in the Cesàro sense).

Weak mixing is a sufficient condition for ergodicity.

For a system that is weak mixing, the shift operator T will have no (non-constant) square-integrable eigenfunctions with associated eigenvalue of one.[citation needed] In general, a shift operator will have a continuous spectrum, and thus will always have eigenfunctions that are generalized functions. However, for the system to be (at least) weak mixing, none of the eigenfunctions with associated eigenvalue of one can be square integrable.

Topological mixing

A form of mixing may be defined without appeal to a measure, only using the topology of the system. A continuous map f:X\to X is said to be topologically transitive if, for every pair of non-empty open sets A,B\subset X, there exists an integer n such that

f^n(A) \cap B \ne \varnothing

where fn is the n 'th iterate of f. In the operator theory, a topologically transitive bounded linear operator (a continuous linear map on a topological vector space) is usually called hypercyclic operator. A related idea is expressed by the wandering set.

Lemma: If X is a compact metric space, then f is topologically transitive if and only if there exists a hypercyclic point x\in X, that is, a point x such that its orbit \{f^n(x): n\in \mathbb{N}\} is dense in X.

A system is said to be topologically mixing if, given sets A and B, there exists an integer N, such that, for all n > N, one has

f^n(A) \cap B \neq \varnothing.

For a continuous-time system, fn is replaced by the flow ϕg, with g being the continuous parameter, with the requirement that a non-empty intersection hold for all \Vert g \Vert > N.

A weak topological mixing is one that has no non-constant continuous (with respect to the topology) eigenfunctions of the shift operator.

Topological mixing neither implies, nor is implied by either weak or strong mixing: there are examples of systems that are weak mixing but not topologically mixing, and examples that are topologically mixing but not strong mixing.

Generalizations

The definition given above is sometimes called strong 2-mixing, to distinguish it from higher orders of mixing. A strong 3-mixing system may be defined as a system for which

\lim_{m,n\to\infty} \mu (A \cap T^{-m}B \cap T^{-m-n}C) = \mu(A)\mu(B)\mu(C)

holds for all measurable sets A, B, C. We can define strong k-mixing similarly. A system which is strong k-mixing for all k=2,3,4,... is called mixing of all orders.

It is unknown whether strong 2-mixing implies strong 3-mixing. It is known that strong m-mixing implies ergodicity.

References

  • Chen, Xiaohong; Hansen, Lars Peter; Carrasco, Marine (2010). "Nonlinearity and temporal dependence". Journal of Econometrics 155 (2): 155–169. doi:10.1016/j.jeconom.2009.10.001. 
  • Achim Klenke, Probability Theory, (2006) Springer ISBN 978-1-84800-047-6
  • V. I. Arnold and A. Avez, Ergodic Problems of Classical Mechanics, (1968) W. A. Benjamin, Inc.

Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Mixing time — may refer to: Blend time, the time to achieve a predefined level of homogeneity of a flow tracer in a mixing vessel Mixing (mathematics), an abstract concept originating from physics used to attempt to describe the irreversible thermodynamic… …   Wikipedia

  • Mathematics and Physical Sciences — ▪ 2003 Introduction Mathematics       Mathematics in 2002 was marked by two discoveries in number theory. The first may have practical implications; the second satisfied a 150 year old curiosity.       Computer scientist Manindra Agrawal of the… …   Universalium

  • List of mathematics articles (M) — NOTOC M M estimator M group M matrix M separation M set M. C. Escher s legacy M. Riesz extension theorem M/M/1 model Maass wave form Mac Lane s planarity criterion Macaulay brackets Macbeath surface MacCormack method Macdonald polynomial Machin… …   Wikipedia

  • Markov chain mixing time — In probability theory, the mixing time of a Markov chain is the time until the Markov chain is close to its steady state distribution. More precisely, a fundamental result about Markov chains is that a finite state irreducible aperiodic chain has …   Wikipedia

  • List of mathematics articles (A) — NOTOC A A Beautiful Mind A Beautiful Mind (book) A Beautiful Mind (film) A Brief History of Time (film) A Course of Pure Mathematics A curious identity involving binomial coefficients A derivation of the discrete Fourier transform A equivalence A …   Wikipedia

  • List of mathematics articles (E) — NOTOC E E₇ E (mathematical constant) E function E₈ lattice E₈ manifold E∞ operad E7½ E8 investigation tool Earley parser Early stopping Earnshaw s theorem Earth mover s distance East Journal on Approximations Eastern Arabic numerals Easton s… …   Wikipedia

  • List of mathematics articles (W) — NOTOC Wad Wadge hierarchy Wagstaff prime Wald test Wald Wolfowitz runs test Wald s equation Waldhausen category Wall Sun Sun prime Wallenius noncentral hypergeometric distribution Wallis product Wallman compactification Wallpaper group Walrasian… …   Wikipedia

  • Wine/water mixing problem — In the wine/water mixing problem, one starts with two containers, one holding wine and the other an equal volume of water. A cup of wine is taken from the wine container and added to the water. A cup of the wine/water mixture is then returned to… …   Wikipedia

  • Mix — Mix, mixes, mixture or mixing may refer to: Contents 1 Science and mathematics 2 Music and radio 3 People …   Wikipedia

  • List of statistics topics — Please add any Wikipedia articles related to statistics that are not already on this list.The Related changes link in the margin of this page (below search) leads to a list of the most recent changes to the articles listed below. To see the most… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”