Will simple random walk on $n$-cycle converges to Brownian motion on $S^1$?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
3
down vote

favorite
3












I know that, by Donsker's theorem, simple random walk on $mathbbZ$ will converge to Brownian motion on $mathbbR$. Here, simple random walk means that the Markov chain with probability from $n$ to $n+1$, and from $n$ to $n-1$ are equally $1/2$.



Then, we can consider similar random walk on $n$-cycle. More rigorously, consider $mathbbZ_n$ and suppose probability from $n$ to $n+1$, and from $n$ to $n-1$ are equally $1/2$. Then, as $n$ increases this will also converges to Brownian motion on $S^1$? (Here, Brownian motion on $S^1$ is the Markov process induced by the heat kernel)



If it is true, probably we will need to rescale the original random walk. Since the simple random walk on $mathbbZ_n$ does not consider geometry of $S^1$.



Maybe this is classical question, but I couldn't find good references. Is there any book about "convergence of Random walk to Brownian motion on manifolds(Or, just $S^1$)"?







share|cite|improve this question






















  • So you want $n$ going to $infty$; does $k$ go to $infty$ as well? If $k < fracn8$ then this of course reduces of course to the random walk on $mathbbZ$. If $k$ is much larger than $n$ then of course this reduces to the uniform distribution (almost, if $n$ is even parity will be preserved, so for $n$ even uniform on the evens or odds depending on which step of the walk)
    – Mike
    Aug 14 at 1:52











  • $k$ means the number of transition, I guess? How about the parabolic scaling $k=n^2$?
    – KGEO
    Aug 14 at 1:55










  • Yes I meant $k$ is the number of transitions. But for any even $n$, parity will still be preserved. So $n$ odd?
    – Mike
    Aug 14 at 1:57










  • Yes. Let's assume $n$ is odd if necessary. Moreover we can use spectral expansion if $n$ is odd, which is probably good thing..?
    – KGEO
    Aug 14 at 1:59










  • For $n$ odd the only eigenvector w normalized eigenvalue that has absolute value exactly 1 is the vector on $mathbbZ_n$ that is 1 everywhere--and the eigenvalue is 1, for $n$ even the eigenvector w normalized eigenvalue exactly -1 is the vector that is -1 on the odds and 1 on the evens
    – Mike
    Aug 14 at 2:14















up vote
3
down vote

favorite
3












I know that, by Donsker's theorem, simple random walk on $mathbbZ$ will converge to Brownian motion on $mathbbR$. Here, simple random walk means that the Markov chain with probability from $n$ to $n+1$, and from $n$ to $n-1$ are equally $1/2$.



Then, we can consider similar random walk on $n$-cycle. More rigorously, consider $mathbbZ_n$ and suppose probability from $n$ to $n+1$, and from $n$ to $n-1$ are equally $1/2$. Then, as $n$ increases this will also converges to Brownian motion on $S^1$? (Here, Brownian motion on $S^1$ is the Markov process induced by the heat kernel)



If it is true, probably we will need to rescale the original random walk. Since the simple random walk on $mathbbZ_n$ does not consider geometry of $S^1$.



Maybe this is classical question, but I couldn't find good references. Is there any book about "convergence of Random walk to Brownian motion on manifolds(Or, just $S^1$)"?







share|cite|improve this question






















  • So you want $n$ going to $infty$; does $k$ go to $infty$ as well? If $k < fracn8$ then this of course reduces of course to the random walk on $mathbbZ$. If $k$ is much larger than $n$ then of course this reduces to the uniform distribution (almost, if $n$ is even parity will be preserved, so for $n$ even uniform on the evens or odds depending on which step of the walk)
    – Mike
    Aug 14 at 1:52











  • $k$ means the number of transition, I guess? How about the parabolic scaling $k=n^2$?
    – KGEO
    Aug 14 at 1:55










  • Yes I meant $k$ is the number of transitions. But for any even $n$, parity will still be preserved. So $n$ odd?
    – Mike
    Aug 14 at 1:57










  • Yes. Let's assume $n$ is odd if necessary. Moreover we can use spectral expansion if $n$ is odd, which is probably good thing..?
    – KGEO
    Aug 14 at 1:59










  • For $n$ odd the only eigenvector w normalized eigenvalue that has absolute value exactly 1 is the vector on $mathbbZ_n$ that is 1 everywhere--and the eigenvalue is 1, for $n$ even the eigenvector w normalized eigenvalue exactly -1 is the vector that is -1 on the odds and 1 on the evens
    – Mike
    Aug 14 at 2:14













up vote
3
down vote

favorite
3









up vote
3
down vote

favorite
3






3





I know that, by Donsker's theorem, simple random walk on $mathbbZ$ will converge to Brownian motion on $mathbbR$. Here, simple random walk means that the Markov chain with probability from $n$ to $n+1$, and from $n$ to $n-1$ are equally $1/2$.



Then, we can consider similar random walk on $n$-cycle. More rigorously, consider $mathbbZ_n$ and suppose probability from $n$ to $n+1$, and from $n$ to $n-1$ are equally $1/2$. Then, as $n$ increases this will also converges to Brownian motion on $S^1$? (Here, Brownian motion on $S^1$ is the Markov process induced by the heat kernel)



If it is true, probably we will need to rescale the original random walk. Since the simple random walk on $mathbbZ_n$ does not consider geometry of $S^1$.



Maybe this is classical question, but I couldn't find good references. Is there any book about "convergence of Random walk to Brownian motion on manifolds(Or, just $S^1$)"?







share|cite|improve this question














I know that, by Donsker's theorem, simple random walk on $mathbbZ$ will converge to Brownian motion on $mathbbR$. Here, simple random walk means that the Markov chain with probability from $n$ to $n+1$, and from $n$ to $n-1$ are equally $1/2$.



Then, we can consider similar random walk on $n$-cycle. More rigorously, consider $mathbbZ_n$ and suppose probability from $n$ to $n+1$, and from $n$ to $n-1$ are equally $1/2$. Then, as $n$ increases this will also converges to Brownian motion on $S^1$? (Here, Brownian motion on $S^1$ is the Markov process induced by the heat kernel)



If it is true, probably we will need to rescale the original random walk. Since the simple random walk on $mathbbZ_n$ does not consider geometry of $S^1$.



Maybe this is classical question, but I couldn't find good references. Is there any book about "convergence of Random walk to Brownian motion on manifolds(Or, just $S^1$)"?









share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 14 at 1:50

























asked Aug 12 at 0:05









KGEO

976




976











  • So you want $n$ going to $infty$; does $k$ go to $infty$ as well? If $k < fracn8$ then this of course reduces of course to the random walk on $mathbbZ$. If $k$ is much larger than $n$ then of course this reduces to the uniform distribution (almost, if $n$ is even parity will be preserved, so for $n$ even uniform on the evens or odds depending on which step of the walk)
    – Mike
    Aug 14 at 1:52











  • $k$ means the number of transition, I guess? How about the parabolic scaling $k=n^2$?
    – KGEO
    Aug 14 at 1:55










  • Yes I meant $k$ is the number of transitions. But for any even $n$, parity will still be preserved. So $n$ odd?
    – Mike
    Aug 14 at 1:57










  • Yes. Let's assume $n$ is odd if necessary. Moreover we can use spectral expansion if $n$ is odd, which is probably good thing..?
    – KGEO
    Aug 14 at 1:59










  • For $n$ odd the only eigenvector w normalized eigenvalue that has absolute value exactly 1 is the vector on $mathbbZ_n$ that is 1 everywhere--and the eigenvalue is 1, for $n$ even the eigenvector w normalized eigenvalue exactly -1 is the vector that is -1 on the odds and 1 on the evens
    – Mike
    Aug 14 at 2:14

















  • So you want $n$ going to $infty$; does $k$ go to $infty$ as well? If $k < fracn8$ then this of course reduces of course to the random walk on $mathbbZ$. If $k$ is much larger than $n$ then of course this reduces to the uniform distribution (almost, if $n$ is even parity will be preserved, so for $n$ even uniform on the evens or odds depending on which step of the walk)
    – Mike
    Aug 14 at 1:52











  • $k$ means the number of transition, I guess? How about the parabolic scaling $k=n^2$?
    – KGEO
    Aug 14 at 1:55










  • Yes I meant $k$ is the number of transitions. But for any even $n$, parity will still be preserved. So $n$ odd?
    – Mike
    Aug 14 at 1:57










  • Yes. Let's assume $n$ is odd if necessary. Moreover we can use spectral expansion if $n$ is odd, which is probably good thing..?
    – KGEO
    Aug 14 at 1:59










  • For $n$ odd the only eigenvector w normalized eigenvalue that has absolute value exactly 1 is the vector on $mathbbZ_n$ that is 1 everywhere--and the eigenvalue is 1, for $n$ even the eigenvector w normalized eigenvalue exactly -1 is the vector that is -1 on the odds and 1 on the evens
    – Mike
    Aug 14 at 2:14
















So you want $n$ going to $infty$; does $k$ go to $infty$ as well? If $k < fracn8$ then this of course reduces of course to the random walk on $mathbbZ$. If $k$ is much larger than $n$ then of course this reduces to the uniform distribution (almost, if $n$ is even parity will be preserved, so for $n$ even uniform on the evens or odds depending on which step of the walk)
– Mike
Aug 14 at 1:52





So you want $n$ going to $infty$; does $k$ go to $infty$ as well? If $k < fracn8$ then this of course reduces of course to the random walk on $mathbbZ$. If $k$ is much larger than $n$ then of course this reduces to the uniform distribution (almost, if $n$ is even parity will be preserved, so for $n$ even uniform on the evens or odds depending on which step of the walk)
– Mike
Aug 14 at 1:52













$k$ means the number of transition, I guess? How about the parabolic scaling $k=n^2$?
– KGEO
Aug 14 at 1:55




$k$ means the number of transition, I guess? How about the parabolic scaling $k=n^2$?
– KGEO
Aug 14 at 1:55












Yes I meant $k$ is the number of transitions. But for any even $n$, parity will still be preserved. So $n$ odd?
– Mike
Aug 14 at 1:57




Yes I meant $k$ is the number of transitions. But for any even $n$, parity will still be preserved. So $n$ odd?
– Mike
Aug 14 at 1:57












Yes. Let's assume $n$ is odd if necessary. Moreover we can use spectral expansion if $n$ is odd, which is probably good thing..?
– KGEO
Aug 14 at 1:59




Yes. Let's assume $n$ is odd if necessary. Moreover we can use spectral expansion if $n$ is odd, which is probably good thing..?
– KGEO
Aug 14 at 1:59












For $n$ odd the only eigenvector w normalized eigenvalue that has absolute value exactly 1 is the vector on $mathbbZ_n$ that is 1 everywhere--and the eigenvalue is 1, for $n$ even the eigenvector w normalized eigenvalue exactly -1 is the vector that is -1 on the odds and 1 on the evens
– Mike
Aug 14 at 2:14





For $n$ odd the only eigenvector w normalized eigenvalue that has absolute value exactly 1 is the vector on $mathbbZ_n$ that is 1 everywhere--and the eigenvalue is 1, for $n$ even the eigenvector w normalized eigenvalue exactly -1 is the vector that is -1 on the odds and 1 on the evens
– Mike
Aug 14 at 2:14
















active

oldest

votes











Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2879868%2fwill-simple-random-walk-on-n-cycle-converges-to-brownian-motion-on-s1%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2879868%2fwill-simple-random-walk-on-n-cycle-converges-to-brownian-motion-on-s1%23new-answer', 'question_page');

);

Post as a guest













































































這個網誌中的熱門文章

How to combine Bézier curves to a surface?

Carbon dioxide

Why am i infinitely getting the same tweet with the Twitter Search API?