Skip to main content
added 137 characters in body
Source Link
Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269

A matrix $A$ such that $\exp(tA)$ is (right) stochastic for all $t > 0$ should be called a "generator of a semigroup of stochastic matrices" or an "infinitesimally stochastic matrix". Clearly, since $A=\lim_{t\to0} (\exp(tA)-I)/t$, (i) the sum of the elements in each row of $A$ has to be 0, and (ii) all non-diagonal elements must be non-negative. Conversely, a matrix $A$ satisfing (i) and (ii), for large enough $n$ produces a stochastic matrix $I+A/n$, hence $(I+A/n)^n$ and $\exp(A)=\lim_{n\to\infty}(I+A/n)^n$ are also stochastic (and so is $\exp(tA)$). That said, I would have a look at the results of a Google search with "infinitesimally stochastic" (I can't do it now).

(Edit: as observed, the above is a stronger condition than the one you asked for; though it's a more close analog to your example.)

A matrix $A$ such that $\exp(tA)$ is (right) stochastic for all $t > 0$ should be called a "generator of a semigroup of stochastic matrices" or an "infinitesimally stochastic matrix". Clearly, since $A=\lim_{t\to0} (\exp(tA)-I)/t$, (i) the sum of the elements in each row of $A$ has to be 0, and (ii) all non-diagonal elements must be non-negative. Conversely, a matrix $A$ satisfing (i) and (ii), for large enough $n$ produces a stochastic matrix $I+A/n$, hence $(I+A/n)^n$ and $\exp(A)=\lim_{n\to\infty}(I+A/n)^n$ are also stochastic (and so is $\exp(tA)$). That said, I would have a look at the results of a Google search with "infinitesimally stochastic" (I can't do it now).

A matrix $A$ such that $\exp(tA)$ is (right) stochastic for all $t > 0$ should be called a "generator of a semigroup of stochastic matrices" or an "infinitesimally stochastic matrix". Clearly, since $A=\lim_{t\to0} (\exp(tA)-I)/t$, (i) the sum of the elements in each row of $A$ has to be 0, and (ii) all non-diagonal elements must be non-negative. Conversely, a matrix $A$ satisfing (i) and (ii), for large enough $n$ produces a stochastic matrix $I+A/n$, hence $(I+A/n)^n$ and $\exp(A)=\lim_{n\to\infty}(I+A/n)^n$ are also stochastic (and so is $\exp(tA)$). That said, I would have a look at the results of a Google search with "infinitesimally stochastic" (I can't do it now).

(Edit: as observed, the above is a stronger condition than the one you asked for; though it's a more close analog to your example.)

added 12 characters in body; added 4 characters in body
Source Link
Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269

A matrix $A$ such that $\exp(tA)$ is (right) stochastic for all $t$$t > 0$ should be called a "generator of a semigroup of stochastic semigroup"matrices" or an "infinitesimally stochastic matrix". Clearly, since $A=\lim_{t\to0} (\exp(tA)-I)/t$, (i) the sum of the elements in each row of $A$ has to be 0, and (ii) all non-diagonal elements must be non-negative. Conversely, a matrix $A$ satisfing (i) and (ii), for large enough $n$ produces a stochastic matrix $I+A/n$, hence $(I+A/n)^n$ and $\exp(A)=\lim_{n\to\infty}(I+A/n)^n$ are also stochastic (and so is $\exp(tA)$). That said, I would have a look at the results of a Google search with "infinitesimally stochastic" (I can't do it now).

A matrix $A$ such that $\exp(tA)$ is (right) stochastic for all $t$ should be called a "generator of a stochastic semigroup" or an "infinitesimally stochastic matrix". Clearly, since $A=\lim_{t\to0} (\exp(tA)-I)/t$, (i) the sum of the elements in each row of $A$ has to be 0, and (ii) all non-diagonal elements must be non-negative. Conversely, a matrix $A$ satisfing (i) and (ii), for large enough $n$ produces a stochastic matrix $I+A/n$, hence $(I+A/n)^n$ and $\exp(A)=\lim_{n\to\infty}(I+A/n)^n$ are also stochastic (and so is $\exp(tA)$). That said, I would have a look at the results of a Google search with "infinitesimally stochastic" (I can't do it now).

A matrix $A$ such that $\exp(tA)$ is (right) stochastic for all $t > 0$ should be called a "generator of a semigroup of stochastic matrices" or an "infinitesimally stochastic matrix". Clearly, since $A=\lim_{t\to0} (\exp(tA)-I)/t$, (i) the sum of the elements in each row of $A$ has to be 0, and (ii) all non-diagonal elements must be non-negative. Conversely, a matrix $A$ satisfing (i) and (ii), for large enough $n$ produces a stochastic matrix $I+A/n$, hence $(I+A/n)^n$ and $\exp(A)=\lim_{n\to\infty}(I+A/n)^n$ are also stochastic (and so is $\exp(tA)$). That said, I would have a look at the results of a Google search with "infinitesimally stochastic" (I can't do it now).

added 4 characters in body
Source Link
Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269

A matrix $A$ such that $\exp(tA)$ is (right) stochastic for all $t$ should be called a "generator of a stochastic group"semigroup" or an "infinitesimally stochastic matrix". Clearly, since $A=\lim_{t\to0} (\exp(tA)-I)/t$, (i) the sum of the elements in each row of $A$ has to be 0, and (ii) all non-diagonal elements must be non-negative. Conversely, a matrix $A$ satisfing (i) and (ii), for large enough $n$ produces a stochastic matrix $I+A/n$, hence $(I+A/n)^n$ and $\exp(A)=\lim_{n\to\infty}(I+A/n)^n$ are also stochastic (and so is $\exp(tA)$). That said, I would have a look at the results of a Google search with "infinitesimally stochastic" (I can't do it now).

A matrix $A$ such that $\exp(tA)$ is (right) stochastic for all $t$ should be called a "generator of a stochastic group" or an "infinitesimally stochastic matrix". Clearly, since $A=\lim_{t\to0} (\exp(tA)-I)/t$, (i) the sum of the elements in each row of $A$ has to be 0, and (ii) all non-diagonal elements must be non-negative. Conversely, a matrix $A$ satisfing (i) and (ii), for large enough $n$ produces a stochastic matrix $I+A/n$, hence $(I+A/n)^n$ and $\exp(A)=\lim_{n\to\infty}(I+A/n)^n$ are also stochastic (and so is $\exp(tA)$). That said, I would have a look at the results of a Google search with "infinitesimally stochastic" (I can't do it now).

A matrix $A$ such that $\exp(tA)$ is (right) stochastic for all $t$ should be called a "generator of a stochastic semigroup" or an "infinitesimally stochastic matrix". Clearly, since $A=\lim_{t\to0} (\exp(tA)-I)/t$, (i) the sum of the elements in each row of $A$ has to be 0, and (ii) all non-diagonal elements must be non-negative. Conversely, a matrix $A$ satisfing (i) and (ii), for large enough $n$ produces a stochastic matrix $I+A/n$, hence $(I+A/n)^n$ and $\exp(A)=\lim_{n\to\infty}(I+A/n)^n$ are also stochastic (and so is $\exp(tA)$). That said, I would have a look at the results of a Google search with "infinitesimally stochastic" (I can't do it now).

Source Link
Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269
Loading