-
Nonstandard Representation of the Dirichlet Form
Authors:
Robert M. Anderson,
Haosui Duanmu,
Aaron Smith
Abstract:
The Dirichlet form is a generalization of the Laplacian, heavily used in the study of many diffusion-like processes. In this paper we present a nonstandard representation theorem for the Dirichlet form, showing that the usual Dirichlet form can be well-approximated by a hyperfinite sum. One of the main motivations for such a result is to provide a tool for directly translating results about Dirich…
▽ More
The Dirichlet form is a generalization of the Laplacian, heavily used in the study of many diffusion-like processes. In this paper we present a nonstandard representation theorem for the Dirichlet form, showing that the usual Dirichlet form can be well-approximated by a hyperfinite sum. One of the main motivations for such a result is to provide a tool for directly translating results about Dirichlet forms on finite or countable state spaces to results on more general state spaces, without having to translate the details of the proofs. As an application, we prove a generalization of a well-known comparison theorem for Markov chains on finite state spaces, and also relate our results to previous generalization attempts.
△ Less
Submitted 5 October, 2020;
originally announced October 2020.
-
Loeb Extension and Loeb Equivalence
Authors:
Robert M. Anderson,
Haosui Duanmu,
David Schrittesser,
William Weiss
Abstract:
In Keisler and Sun (2004), the authors raise several open problems on Loeb equivalences between various internal probability spaces. We provide counter-examples for the first two open problems. Moreover, we reduce the third open problem to the following question: Is the internal algebra generated by the union of two Loeb equivalent internal algebras a subset of the Loeb extension of any one of the…
▽ More
In Keisler and Sun (2004), the authors raise several open problems on Loeb equivalences between various internal probability spaces. We provide counter-examples for the first two open problems. Moreover, we reduce the third open problem to the following question: Is the internal algebra generated by the union of two Loeb equivalent internal algebras a subset of the Loeb extension of any one of the internal algebra?
△ Less
Submitted 5 October, 2020;
originally announced October 2020.
-
Drift, Minorization, and Hitting Times
Authors:
Robert M. Anderson,
Haosui Duanmu,
Aaron Smith,
Jun Yang
Abstract:
The "drift-and-minorization" method, introduced and popularized in (Rosenthal, 1995; Meyn and Tweedie, 1994; Meyn and Tweedie, 2012), remains the most popular approach for bounding the convergence rates of Markov chains used in statistical computation. This approach requires estimates of two quantities: the rate at which a single copy of the Markov chain "drifts" towards a fixed "small set", and a…
▽ More
The "drift-and-minorization" method, introduced and popularized in (Rosenthal, 1995; Meyn and Tweedie, 1994; Meyn and Tweedie, 2012), remains the most popular approach for bounding the convergence rates of Markov chains used in statistical computation. This approach requires estimates of two quantities: the rate at which a single copy of the Markov chain "drifts" towards a fixed "small set", and a "minorization condition" which gives the worst-case time for two Markov chains started within the small set to couple with moderately large probability. In this paper, we build on (Oliveira, 2012; Peres and Sousi, 2015) and our work (Anderson, Duanmu, Smith, 2019a; Anderson, Duanmu, Smith, 2019b) to replace the "minorization condition" with an alternative "hitting condition" that is stated in terms of only one Markov chain, and illustrate how this can be used to obtain similar bounds that can be easier to use.
△ Less
Submitted 1 June, 2020; v1 submitted 13 October, 2019;
originally announced October 2019.
-
Mixing Times and Hitting Times for General Markov Processes
Authors:
Robert M. Anderson,
Haosui Duanmu,
Aaron Smith
Abstract:
The hitting and mixing times are two fundamental quantities associated with Markov chains. In Peres and Sousi[PS2015] and Oliveira[Oli2012], the authors show that the mixing times and "worst-case" hitting times of reversible Markov chains on finite state spaces are equal up to some universal multiplicative constant. We use tools from nonstandard analysis to extend this result to reversible Markov…
▽ More
The hitting and mixing times are two fundamental quantities associated with Markov chains. In Peres and Sousi[PS2015] and Oliveira[Oli2012], the authors show that the mixing times and "worst-case" hitting times of reversible Markov chains on finite state spaces are equal up to some universal multiplicative constant. We use tools from nonstandard analysis to extend this result to reversible Markov chains on general state spaces that satisfy the strong Feller property. Finally, we show that this asymptotic equivalence can be used to find bounds on the mixing times of a large class of Markov chains used in MCMC, such as typical Gibbs samplers and Metroplis-Hastings chains, even though they usually do not satisfy the strong Feller property.
△ Less
Submitted 3 April, 2019; v1 submitted 14 October, 2018;
originally announced October 2018.
