Mylisz się, że konsola HMC nie jest metodą łańcucha Markowa. Według Wikipedii :
W matematyce i fizyce hybrydowy algorytm Monte Carlo, znany również jako Hamiltonian Monte Carlo, jest metodą Monte Carlo z łańcuchem Markowa do uzyskiwania sekwencji losowych próbek z rozkładu prawdopodobieństwa, dla którego bezpośrednie próbkowanie jest trudne. Sekwencję tę można wykorzystać do przybliżenia rozkładu (tj. Do wygenerowania histogramu) lub do obliczenia całki (takiej jak wartość oczekiwana).
Dla większej przejrzystości przeczytaj artykuł arXiv autorstwa Betancourt , w którym wspomniano kryteria zakończenia NUTS:
... określ, kiedy trajektoria jest wystarczająco długa, aby zapewnić wystarczającą eksplorację okolicy wokół aktualnego ustawionego poziomu energii. W szczególności chcemy uniknąć zarówno integracji zbyt krótkiej, w którym to przypadku nie skorzystalibyśmy w pełni z trajektorii hamiltonowskich, jak i integracji zbyt długiej, w którym to przypadku marnujemy cenne zasoby obliczeniowe na eksplorację, która przynosi jedynie malejące zyski.
Dodatek A.3 mówi o podwojeniu trajektorii, o której wspominasz:
Możemy również rozwijać się szybciej, podwajając długość trajektorii przy każdej iteracji, uzyskując próbkowaną trajektorię t ∼ T (t | z) = U T2L z odpowiednim próbkowanym stanem z ′ ∼ T (z ′ | t). W tym przypadku zarówno stare, jak i nowe elementy trajektorii przy każdej iteracji są równoważne z liśćmi doskonałych, uporządkowanych drzew podwójnych (ryc. 37). Dzięki temu możemy rekurencyjnie budować nowe komponenty trajektorii, propagując próbkę na każdym etapie rekurencji ...
i rozwija to w A.4, gdzie mówi o implementacji dynamicznej (sekcja A.3 mówi o implementacji statycznej):
Na szczęście wydajne schematy statyczne omówione w części A.3 można iterować w celu osiągnięcia dynamicznej implementacji, gdy wybraliśmy kryterium określania, kiedy trajektoria urosła wystarczająco długo, aby zadowalająco zbadać odpowiedni zestaw poziomów energii.
Myślę, że kluczem jest to, że nie wykonuje podwójnych skoków, oblicza swój następny skok, stosując technikę, która podwaja długość proponowanego skoku, dopóki nie zostaną spełnione kryteria. Przynajmniej tak rozumiem do tej pory gazetę.