Table of Contents
Fetching ...

Approximations of Geometrically Ergodic Reversible Markov Chains

Jeffrey Negrea, Jeffrey S. Rosenthal

TL;DR

The paper addresses the challenge of using approximations in Markov Chain Monte Carlo without sacrificing rapid convergence to the target distribution. It develops a rigorous $L_2(oldsymbol{ ightpi})$-based perturbation framework for reversible geometrically ergodic Markov chains, extending prior uniformly ergodic results to the GE setting and deriving explicit bounds on how close the perturbed stationary distribution is to the original. Central results show that small $L_2(oldsymbol{ ightpi})$ perturbations preserve GE with rate $1-(oldsymbol{ ate}-oldsymbol{ ightepsilon})$ and yield quantitative controls on stationary-distribution closeness and Monte Carlo error, including MSE bounds for perturbed chains. The framework is then applied to several approximate MCMC algorithms, including Noisy/MH, fixed deterministic density-approximations, and MC within Metropolis, providing practical conditions under which GE is preserved and estimation errors remain bounded. This work enables principled analysis and error control for a broad class of approximate MCMC methods in scientifically and computationally challenging settings, with direct implications for efficiency and reliability of Bayesian inference on large datasets or complex models.

Abstract

A common tool in the practice of Markov Chain Monte Carlo is to use approximating transition kernels to speed up computation when the desired kernel is slow to evaluate or intractable. A limited set of quantitative tools exist to assess the relative accuracy and efficiency of such approximations. We derive a set of tools for such analysis based on the Hilbert space generated by the stationary distribution we intend to sample, $L_2(π)$. Our results apply to approximations of reversible chains which are geometrically ergodic, as is typically the case for applications to Markov Chain Monte Carlo. The focus of our work is on determining whether the approximating kernel will preserve the geometric ergodicity of the exact chain, and whether the approximating stationary distribution will be close to the original stationary distribution. For reversible chains, our results extend the results of Johndrow et al. [18] from the uniformly ergodic case to the geometrically ergodic case, under some additional regularity conditions. We then apply our results to a number of approximate MCMC algorithms.

Approximations of Geometrically Ergodic Reversible Markov Chains

TL;DR

The paper addresses the challenge of using approximations in Markov Chain Monte Carlo without sacrificing rapid convergence to the target distribution. It develops a rigorous -based perturbation framework for reversible geometrically ergodic Markov chains, extending prior uniformly ergodic results to the GE setting and deriving explicit bounds on how close the perturbed stationary distribution is to the original. Central results show that small perturbations preserve GE with rate and yield quantitative controls on stationary-distribution closeness and Monte Carlo error, including MSE bounds for perturbed chains. The framework is then applied to several approximate MCMC algorithms, including Noisy/MH, fixed deterministic density-approximations, and MC within Metropolis, providing practical conditions under which GE is preserved and estimation errors remain bounded. This work enables principled analysis and error control for a broad class of approximate MCMC methods in scientifically and computationally challenging settings, with direct implications for efficiency and reliability of Bayesian inference on large datasets or complex models.

Abstract

A common tool in the practice of Markov Chain Monte Carlo is to use approximating transition kernels to speed up computation when the desired kernel is slow to evaluate or intractable. A limited set of quantitative tools exist to assess the relative accuracy and efficiency of such approximations. We derive a set of tools for such analysis based on the Hilbert space generated by the stationary distribution we intend to sample, . Our results apply to approximations of reversible chains which are geometrically ergodic, as is typically the case for applications to Markov Chain Monte Carlo. The focus of our work is on determining whether the approximating kernel will preserve the geometric ergodicity of the exact chain, and whether the approximating stationary distribution will be close to the original stationary distribution. For reversible chains, our results extend the results of Johndrow et al. [18] from the uniformly ergodic case to the geometrically ergodic case, under some additional regularity conditions. We then apply our results to a number of approximate MCMC algorithms.

Paper Structure

This paper contains 24 sections, 25 theorems, 65 equations.

Key Result

Proposition 3.3

prop:mh-perturb-endomorphism If $P_\epsilon(x,\cdot) = (1-\alpha(x))\delta_x +\alpha(x)J(x,\cdot)$ with $\alpha:\mathcal{X}\to[0,1]$ measurable, and $J : L_2(\pi)\to L_2(\pi)$ and $\IfEq{{-1}}{-1}{\left \Vert {{{{J}}}} \right \Vert}{ \IfEq{{-1}}{0}{{-1} {{{{\Vert}}}} J}{ \IfEq{{-1}}{1}{\bigl \Vert

Theorems & Definitions (62)

  • Definition 3.1: Geometric Ergodicity
  • Remark 3.2
  • Proposition 3.3
  • proof : Proof of \ref{['prop:mh-perturb-endomorphism']}
  • Theorem 3.4: Geometric ergodicity of the perturbed chain and closeness of the stationary distributions in original norm, $L_2(\pi)$
  • Remark 3.5
  • Definition 3.6: $(V, \IfEq{{-1}}{-1}{\left \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} { \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}{ \IfEq{{-1}}{1}{\bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} { \IfEq{{-1}}{-1}{\left \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} { \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}{ \IfEq{{-1}}{1}{\bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}{ \IfEq{{-1}}{1}{\bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} { \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}{ \IfEq{{-1}}{1}{\bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} { \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}{ \IfEq{{-1}}{1}{\bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} { \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}{ \IfEq{{-1}}{1}{\bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} { \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}{ \IfEq{{-1}}{1}{\bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}})$-Geometric Ergodicity
  • Remark 3.7: Relationships between $(L_\infty(\lambda), \IfEq{{-1}}{-1}{\left \Vert {{{{\cdot}}}} \right \Vert}{ \IfEq{{-1}}{0}{{-1} {{{{\Vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \Vert {{{{\cdot}}}} \bigr \Vert}{ \IfEq{{-1}}{2}{\Bigl \Vert {{{{\cdot}}}} \Bigr \Vert}{ \IfEq{{-1}}{3}{\biggl \Vert {{{{\cdot}}}} \biggr \Vert}{ \IfEq{{-1}}{4}{\Biggl \Vert {{{{\cdot}}}} \Biggr \Vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}_{L_p(\lambda)})$-GE, a.e.-TV-GE, and $L_2(\lambda)$-GE
  • Lemma 3.8: Characterization of optimal rates for $(V, \IfEq{{-1}}{-1}{\left \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} { \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}{ \IfEq{{-1}}{1}{\bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} { \IfEq{{-1}}{-1}{\left \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} { \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}{ \IfEq{{-1}}{1}{\bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}{ \IfEq{{-1}}{1}{\bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} { \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}{ \IfEq{{-1}}{1}{\bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} { \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}{ \IfEq{{-1}}{1}{\bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} { \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}{ \IfEq{{-1}}{1}{\bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} { \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}{ \IfEq{{-1}}{1}{\bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{{ \IfEq{{-1}}{-1}{\left \vert {{{{\cdot}}}} \right \vert}{ \IfEq{{-1}}{0}{{-1} {{{{\vert}}}} \cdot}{ \IfEq{{-1}}{1}{\bigl \vert {{{{\cdot}}}} \bigr \vert}{ \IfEq{{-1}}{2}{\Bigl \vert {{{{\cdot}}}} \Bigr \vert}{ \IfEq{{-1}}{3}{\biggl \vert {{{{\cdot}}}} \biggr \vert}{ \IfEq{{-1}}{4}{\Biggl \vert {{{{\cdot}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}}}}}}} \Biggr \vert}{ \GenericWarning{"4th argument to lcrx must be -1, 0, 1, 2, 3, or 4"} }}}}}})$-GE chains
  • Remark 3.9
  • ...and 52 more