SciPost Submission Page
Nonequilibrium steady-state dynamics of Markov processes on graphs
by Stefano Crotti, Thomas Barthel, Alfredo Braunstein
Submission summary
| Authors (as registered SciPost users): | Alfredo Braunstein |
| Submission information | |
|---|---|
| Preprint Link: | scipost_202501_00038v2 (pdf) |
| Code repository: | https://github.com/stecrotti/EternalDynamicCavity |
| Date accepted: | July 23, 2025 |
| Date submitted: | July 1, 2025, 11:07 a.m. |
| Submitted by: | Alfredo Braunstein |
| Submitted to: | SciPost Physics |
| Ontological classification | |
|---|---|
| Academic field: | Physics |
| Specialties: |
|
| Approaches: | Theoretical, Computational |
Abstract
We propose an analytic approach for the steady-state dynamics of Markov processes on locally tree-like graphs. It is based on time-translation invariant probability distributions for edge trajectories, which we encode in terms of infinite matrix products. For homogeneous ensembles on regular graphs, the distribution is parametrized by a single d × d × r² tensor, where r is the number of states per variable, and d is the matrix-product bond dimension. While the method becomes exact in the large-d limit, it typically provides highly accurate results even for small bond dimensions d. The d² r² parameters are determined by solving a fixed point equation, for which we provide an efficient belief-propagation procedure. We this approach to a variety of models, including Ising-Glauber dynamics with symmetric and asymmetric couplings, as well as the SIS model. Even for small d, the results are compatible with Monte Carlo estimates and accurately reproduce known exact solutions. The method provides access to precise temporal correlations, which, in some regimes, would be virtually impossible to estimate by sampling.
Author indications on fulfilling journal expectations
- Provide a novel and synergetic link between different research areas.
- Open a new pathway in an existing or a new research direction, with clear potential for multi-pronged follow-up work
- Detail a groundbreaking theoretical/experimental/computational discovery
- Present a breakthrough on a previously-identified and long-standing research stumbling block
Author comments upon resubmission
Response to referees
We thank both referees for their careful reading and constructive criticisms, which helped us to substantially improve the manuscript. We address individual comments below:
Referee 1
-
Below Eq. 5, A is explained as a matrix, depending on i-th and j-th spin values, which confused me for its explicit form.
We clarified the relation between the matrix-valued function interpretation and the tensor definition.
-
In Eq. 7, the symbol may be a tensor product, please specify.
Yes, exactly, this is the Kronecker product. We clarified in the text.
-
In Figure 1, the one-time-delayed correlation is compared. But the equilibrium model can be captured by a Boltzmann distribution. I wonder how the one-time-delayed correlation can be computed by a static cavity method. Could the authors offer more details about this?
Thank you for this remark. At difference with the sequential dynamics, the parallel update dynamics does not converge to the equilibrium of the system with the given couplings and fields. Instead, for symmetric couplings, it converges to the equilibrium measure of a related augmented bipartite system. Equilibrium magnetizations in the original system coincide with steady-state magnetizations of the parallel update, and equilibrium correlations of first neighbors in the original system can be recovered as 1 time delayed correlations of first neighbors in the parallel update. This was explained in footnote [28] which refers to [12]. In reality, the explanation is in the SI of [12], so we specified it in the footnote.
-
Below Eq. 13, the threshold may be 0.055, as checked from Fig.4.
Thanks a lot for this remark. Indeed there is a discrepancy due to an error in the axis of the figure, the correct threshold is the one in the text. We corrected the figure.
-
The continuous dynamics part is very concise. I wonder if the method can be applied to a continuous asymmetric spin model? Could the authors give a concrete experiment?
The scope of this section was to show how, at difference with the transient analysis of [10-12], being an equation that describes the full distribution of trajectories at the steady state trough a "single time" set of parameters (the tensor A), it applies directly also to $\Delta t << 1$, without suffering from an explosion of the calculations with the number of timesteps going to infinity as $1/\Delta t$. It can indeed be applied to an asymmetric spin model, but we chose to compare with the continuous-time SIS model, which has similar characteristics and is extremely standard. Note also that an analytic $\Delta t\to 0$ limit of the equations is in principle possible and desirable but leads to continuous matrix products which require different optimization methods and involve certain technical challenges. See for instance [r1] below. We added this explanation to the text.
Referee 2
-
After eq(10), please make clear why complex conjugation (*) is used to define inner products, given that all messages (as probabilities) are real - is the idea to use the method also for complex measures as in calculation of spectral densities?
The referee is perfectly right, the conjugation is superfluous as the tensors we are using are real. However, we prefer to keep it for consistence with the literature (in particular for the truncation methods). We added a comment on this on the manuscript below Eq. 10.
-
Please comment (at least briefly in the main text, otherwise in an appendix) how the optimisation in (10) is carried out, e.g. is it done by brute force optimisation over A or is there a more efficient method; similarly please comment on how the actual objective function in (10) is evaluated.
Optimization of (10) is done using the VUMPS algorithm by solving iteratively the set of equations that guarantee stationarity of the fidelity with respect to the matrix A, which in turn involves the repeated solution of two local eigenvalue problems. We added a small comment on this, but refer to [22,24,25] for details.
-
In discussion of continuous time dynamics, please comment on whether the limit \Delta t -> 0 can be taken in the EDC equations (and if not, why not)
This is in principle possible but leads to continuous matrix products which require careful definitions and different optimization methods for truncation that involve several technical challenges. See for instance [r1] below. We added this explanation to the text.
-
Please fix typos: - Abstract: we apply? this approach - p7 princip_al_ eigenvalues - Caption fig 6a refers to an error of 0.005, while text says 10^{-3} - After (C3b), w -> W - App D: an_ iMP distribution (5)
We thank the referee for these corrections. The correct threshold is the one in the text, we corrected the axis and caption of Fig 6.
-
[r1] Haegeman, J., Cirac, J. I., Osborne, T. J., & Verstraete, F. (2013). Calculus of continuous matrix product states. Physical Review B—Condensed Matter and Materials Physics, 88(8), 085118.
List of changes
- We clarified the relation between the matrix-valued function interpretation and the tensor definition below (5) in page 3.
- Below Eq. 7, we clarified that the tensor product used in Eq. 7 is Kronecker product.
- We clarified the relation between equilibrium statistics and parallel update statistics in footnote [28].
- We corrected the axis of Fig. 4.
- We added a comment on the continuous dynamics and the challenges involved when taking the continuous time limit explicitly. We added reference [32] ([r1] in the response).
- Below equation (10), we clarified the use of complex conjugation in (10) and clarified that the optimization of (10) is performed by the iterative VUMPS method, referring to [22,24,25] for details.
- We corrected the caption of Fig 6.
Published as SciPost Phys. 19, 045 (2025)
