REVIEW 4 major objections 5 minor 39 references
Divisible and indivisible Stochastic-Quantum dynamics
T0 review · 4 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read For two-configuration systems, divisibility of a stochastic evolution is fully fixed by cone-shaped regions in the space of transition matrices; any continuous curve crossing the determinant-zero line is indivisible.
desk verdict A genuinely new geometric criterion for 2-state stochastic divisibility, but the derivation of the central inequalities is missing; worth refereeing if the author supplies the algebra. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the parametrisation of a $2\times 2$ stochastic matrix by its diagonal entries, identified with the point $(p,q)$ in the unit square. The argument then works with the coordinates $X=p-q$ and $T=1-(p+q)$, in which the determinant is simply $-T$, the identity sits at $T=-1$, the permutation at $T=1$, and matrix multiplication takes the compact form $(X,T)(\chi,\tau)=(X-\chi T,-T\tau)$. The cone inequalities (24)-(25) are obtained by imposing that $\Gamma(t\leftarrow t')=\Gamma(t)\Gamma^{-1}(t')$ in equation (23) be entrywise non-negative, which splits according to the sign of $\det\Gamma(t')=r+s-1$. This machinery converts the existence problem of a divisibility equation into checking whether a point lies in an explicit convex region, and it reveals the $T$ axis as an information-erasure time direction.
What would settle it
Build a continuous curve in the unit square starting at the identity $(1,1)$ that crosses the secondary diagonal $p+q=1$, and check numerically whether every point $(p(t'),q(t'))$ with $0\le t'\le t$ satisfies the divisibility inequalities (24)-(25); the paper's criterion predicts that no such fully divisible crossing curve exists, so finding one would falsify the central claim.
Extended reading notes
Core claim
On the paper's own terms, the discovery is a necessary and sufficient geometric criterion for divisibility of two-configuration stochastic dynamics. Writing the transition matrix as $\Gamma(t)$ with diagonal entries $(p,q)$ in the unit square, the paper proves that a hypothetical intermediate matrix $\Gamma(t')=(r,s)$ can appear in a division $\Gamma(t)=\Gamma(t\leftarrow t')\Gamma(t')$ if and only if $(r,s)$ lies in the gray regions defined by inequalities (24) and (25), with the corresponding $\Gamma(t\leftarrow t')$ lying in the associated blue regions of Figure 5. The criterion holds for open and closed systems under only the assumptions that there are two configurations, that initial probabilities can be freely ascribed, and that later probabilities are linear functions of the initial ones. A central corollary is that any continuous curve in the square that crosses the secondary diagonal $p+q=1$, where the determinant vanishes, corresponds to an indivisible stochastic dynamics. The paper also derives the reachable-future region, relates the geometry to the information-decrease criterion for divisibility, and gives examples of discontinuous dynamics whose divisible blocks are not themselves divisible, contrasting with quantum channels.
Load-bearing premise
The cone test itself requires only freely ascribable initial probabilities and a linear relation between initial and later probabilities; the quantum reading of the title rests on the imported Stochastic-Quantum Correspondence, which the paper shows is not a strict equivalence because division events can occur while the associated density matrix still has nonzero coherences.
Editorial extensions
If this is right
- A continuous stochastic evolution can be divisible for the whole path from the identity only while it stays in the closed gray region containing the identity; once it crosses the determinant-zero line, it is indivisible for the remainder of the path.
- Divisibility at a time $t'$ for a given $\Gamma(t)$ becomes a membership test: $\Gamma(t')$ must lie in the gray cone, and $\Gamma(t\leftarrow t')$ in the blue cone, with the two regions related by the permutation symmetry.
- Divisible dynamics have a defined arrow of time in matrix space, pointing toward the erasure line $T=0$; indivisible dynamics either move against that arrow or behave tachyonic relative to the cones.
- Discontinuous stochastic dynamics can possess divisible blocks of evolution that are not themselves divisible at the block boundaries, a behaviour the paper contrasts with strictly bidivisible quantum channels.
- For any number of configurations, continuity restricts allowed symmetry transformations of a stochastic dynamics to relabellings of the configurations, and each pair of divisors generates $N!$ further pairs via permutation.
Reading between the lines
- The cone picture suggests a natural quantitative measure of indivisibility: the distance of a point $(p(t),q(t))$ from the closest allowed past cone, which could be compared with existing non-Markovianity and channel-divisibility quantifiers.
- The two-configuration criterion is likely the lowest layer of a hierarchy for $N\ge 3$ inside the Birkhoff polytope; the paper's coarse-graining and dilation results imply that indivisibility of a large system can survive or disappear under coarse graining, so higher-dimensional cone structures will have to be stated relative to a chosen coarse graining.
- A testable experimental corollary is that any two-level system whose transition probabilities trace a continuous curve across the secondary diagonal must contain an indivisible epoch, regardless of whether its density matrix shows coherences; this could be checked in any platform with single-shot state preparation and measurement.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies divisibility of stochastic time-evolution for systems with two configurations. It parametrizes 2x2 left-stochastic matrices by diagonal entries (p,q), and asks, for a given pair Γ(t) and Γ(t'), whether a stochastic transition matrix Γ(t←t') exists with Γ(t)=Γ(t←t')Γ(t'). The central claim is a complete geometric criterion: for fixed Γ(t)=(p,q), the possible past matrices Γ(t')=(r,s) form two gray cone regions described by inequalities (24)-(25), the associated transition matrices form corresponding blue regions, and the possible futures under a division event at t are described by the region (29). The paper also shows that any continuous curve crossing the secondary diagonal p+q=1 must stop being divisible, introduces coordinates (X,T)=(p-q,1-p-q) in which the multiplication of stochastic matrices is (X,T)(χ,τ)=(X-χT,-Tτ), and interprets divisibility as progress toward the information-erasure line T=0. The last sections discuss symmetries, coarse graining and dilations, and applications to the Stochastic-Quantum Correspondence.
Significance. If the central inequalities are rigorously established, the paper provides a genuinely explicit necessary and sufficient condition for divisibility of two-configuration stochastic dynamics, with a clean geometric interpretation that is likely to be useful for non-Markovianity and for comparing classical and quantum evolution. The manuscript contains several checkable algebraic identities, notably the multiplication law (43), the oscillator example (59)-(60), and the coarse-graining formulas of Section VI, which are strengths. The main limitations are that the central cone inequalities are asserted rather than derived, the treatment of boundary and degenerate cases is informal, and the advertised quantum conclusions depend on an externally imported correspondence that the paper itself shows to be non-equivalent in an important sense.
major comments (4)
- [III A, Eqs. (23)-(25)] The central theorem is not proved in the manuscript. After Eq. (23), the text states that the four column-sum-reduced positivity inequalities split according to the sign of r+s-1 and then simply lists (24)-(25). No derivation is shown that reduces the entrywise positivity of (23) to the max/min form, and no systematic treatment is given of the boundary cases p=0, p=1, q=0, q=1, r+s=1, or p+q=1, even though the gray regions are later used as closed regions including those boundaries. Since the claimed complete characterization and all subsequent results (the future cone, the continuity criterion, and the information-time picture) rest on these inequalities, the paper needs a full derivation, ideally in an appendix, together with a boundary-case lemma.
- [III A, Eq. (29)] The future-cone region □Γ(t) is introduced by the same method, but Eq. (29) is again presented without derivation, with only the remark that the inequalities are the reverse of (24)-(25). The derivation requires Γ(t) to be invertible, and the exact form of the region for detΓ(t)>0 and detΓ(t)<0, including the boundary cases used in the examples of Figure 8, should be stated and proved. As it stands, the future cone is as much an assumption as the past cone.
- [V B, Eq. (56)] The displayed equality appears to be incorrect as written. Taking p=q=0.4 and θ=0 in (54), one has Θ unitary, det(Θ⊙Θ*)=detΓ=-0.2, and det(ΘΘ*)=1, so the left-hand side equals -0.2, while the right-hand side equals 1. The claimed relation with Birkhoff's contraction coefficient should therefore be rederived and corrected; this is important because the section advertises new connections between the SQC and classical contraction coefficients.
- [V and Abstract/Title] The advertised quantum-level conclusions are conditional on the Stochastic-Quantum Correspondence of Refs. [5,6], which is imported from external work and not proved here. Section V C itself shows that, under the SQC prescription, a stochastic evolution can have division events at times when the density matrix has nonzero coherences, so stochastic divisibility is not equivalent to the usual quantum decoherence or channel-divisibility picture. To make the title and abstract claims defensible, the paper should either prove the needed SQC statement for the two-configuration case or explicitly present the main theorem as a theorem about stochastic matrices, with the quantum statements clearly flagged as conditional on the SQC.
minor comments (5)
- [III A, after Eq. (29)] The sentence "These inequalities are simple the reverse of inequalities (24) and (24)" should cite (24) and (25), not (24) twice.
- [III A, Eq. (28) and Figure 6] The symbol □ is used for the unit square, for the map H→HΓ(t), and for the set □Γ(t); the notation should be defined explicitly to avoid confusion.
- [III, statement near Figure 2] The sentence "Any continuous curve crossing the secondary diagonal ... corresponds to an indivisible stochastic dynamics" is too strong as worded: a continuous curve starting from the identity is divisible before the crossing and becomes indivisible only after it. The later discussion in III B is more careful, but the earlier statement should be rephrased.
- [IV A, Eq. (46)] The example is described as "right continuous with left limits, or càdlàg, continuous, divisible and information-decreasing almost everywhere"; càdlàg functions are not continuous, so the wording should be corrected to avoid the apparent contradiction.
- [Throughout] There are several typographical errors, including "past past" in the caption of Figure 5, "he evolution" in the caption of Figure 6, "explanains" in Section III C, and "closed to the center" in Section III C. The references [5,6] are arXiv preprints; if published versions exist, they should be cited.
Circularity Check
No circularity found: the cone characterization is derived from the definition of divisibility and stochasticity; the SQC is an external assumption, not a self-citation, and does not carry the geometric derivation.
full rationale
The paper's central claim is the geometric characterization of divisible stochastic dynamics for two configurations. The derivation chain starts from the definition of divisibility at time t' (Eq. (9), Γ(t)=Γ(t←t')Γ(t')), with Γ(t) and Γ(t') prescribed by the evolution. For invertible Γ(t'), the candidate transition matrix is Γ(t←t')=Γ(t)Γ^{-1}(t') (Eq. (21)), and the requirement that this be stochastic is exactly the requirement that the entries of the matrix in Eq. (23) lie in [0,1]. The paper states that this yields, after using column-stochasticity and splitting by the sign of det Γ(t')=r+s−1, the inequalities (24) and (25). While the algebra is compressed, this is a direct consequence of the definition and of matrix stochasticity, not an assumption of the conclusion. The future-cone and information-time statements in Section IV follow from the same divisibility equation through the multiplication law (43) and the determinant expression (42); in particular |T| cannot increase under a stochastic transition, so divisible evolution moves toward T=0. The 'continuous curve crossing the secondary diagonal is indivisible' criterion is likewise a corollary of the cones and the continuity requirement, not an input. The quantum-oriented claims in Section V are the only place where an external construction (the Stochastic-Quantum Correspondence of Barandes) is imported, and that construction is cited from other authors rather than from the present author's prior work. Moreover, the paper explicitly qualifies the SQC connection in Section V C, noting that division events can occur while the SQC density matrix has non-zero coherences. Thus the imported SQC is not used to derive the geometric characterization, and no self-citation chain carries the central argument. Any concern that inequalities (24)-(25) are insufficiently derived or contain an algebra slip is a correctness risk, not a circularity.
Assumptions & free parameters
assumptions (5)
- domain assumption The system has exactly two configurations and probabilities at later times are linear functions of the initial probabilities via a left-stochastic matrix (Eqs. 1, 6, 7).
- domain assumption A division event exists at t=0, i.e., Γ(0) is the identity and the initial probabilities are freely assignable.
- domain assumption When continuity is imposed, the curve Γ(t) must be continuous in all entries; differentiability is not required.
- domain assumption For the quantum interpretation, the Stochastic-Quantum Correspondence prescription (Eqs. 47-53 and [5,6]) maps stochastic dynamics to density matrices with initially diagonal states.
- standard math All entries of a stochastic matrix are real, nonnegative, and columns sum to one; determinant identities and matrix multiplication are used freely.
Cite this review
Pith. "Pith review of Divisible and indivisible Stochastic-Quantum dynamics." pith.science (2026). https://pith.science/paper/UPN65CPM
@misc{pith2026250508785,
author = {Pith},
title = {Pith review of: Divisible and indivisible Stochastic-Quantum dynamics},
year = {2026},
howpublished = {\url{https://pith.science/paper/UPN65CPM}},
note = {Machine review of arXiv:2505.08785}
}
read the original abstract
This work presents a complete geometrical characterisation of divisible and indivisible time-evolution at the level of probabilities for systems with two configurations, open or closed. Our new geometrical construction in the space of stochastic matrices shows the existence of conical bounds separating divisible and indivisible dynamics, bearing analogy with the relativistic causal structure, with an emerging time pointing towards information erasure when the dynamics are divisible. Indivisible dynamics, which include quantum dynamics, are characterised by a time-flow against the information-erasure time coordinate or by being tachyonic with respect to the cones in the stochastic matrix space. This provides a geometric counterpart of other results in the literature, such as the equivalence between information-decreasing and divisible processes. The results apply under minimal assumptions: (i) the system has two configurations, (ii) one can freely ascribe initial probabilities to both and (iii) probabilities at other times are linearly related to the initial ones through conditional probabilities. The optional assumption of (iv) continuity places further constraints on the system, removing one of the past cones. Discontinuous stochastic dynamics in continuous time include cases with divisible blocks of evolution which are not themselves divisible. We show that the connection between continuity and multiplicity of divisors holds for any dimension. We extend methods of coarse graining and dilations by incorporating dynamics and uncertainty, connecting them with divisibility criteria. This is a first step towards a full geometric characterisation of indivisible stochastic dynamics for any number of configurations which, as they cannot at the level of probabilities be reduced to a composition of evolution operators, constitute fundamental elements of probabilistic time-evolution.
Figures
Figures from the paper (13 more)
Reference graph
Works this paper leans on
-
[1]
Aristotle, Metaphysics, Books [Gamma], [Delta] and [Epsilon], translated with Notes by Christopher Kirwan, Clarendon Press, Oxford (1971)
work page 1971
-
[2]
A. A. Markov, Generalization of the law of large numbers to de- pendent quantities, (In Russian.) Izvestiia Fiz. Mat. Obschestva Kazan Univ., 2nd. Ser. 15 135. [Also in Markov (1951), pp. 339.] as cited in Seneta (2013)
work page 1951
-
[3]
E. Seneta, Markov and the Birth of Chain Dependence The- ory, International Statistical Review / Revue Internationale de Statistique, Vol. 64, No. 3 (Dec., 1996), p. 255
work page 1996
-
[4]
M. M. Wolf and J. I. Cirac, Dividing Quantum Channels, Com- mun. Math. Phys. 279, no.1, 147-168 (2008)
work page 2008
-
[5]
J. A. Barandes, The Stochastic-Quantum Correspondence , [ArXiv:2302.10778][quant-ph]
-
[6]
Figure 7 illustrates continuous three curves which coincide at time𝑡1 but only𝛾1 is associated with a divisible evolution. Consider the situation from the point of view of the transition matrix Γ(𝑡← 𝑡′) using figure 5b where (𝑝,𝑞) is below the secondary diagonal, i.e., detΓ(𝑡)= 𝑝+𝑞− 1< 0. Divisibility at 𝑡′ implies the existence of Γ(𝑡 ← 𝑡′). Taking 𝑡′ to...
- [7]
-
[8]
J. A. Barandes, The Stochastic-Quantum Theorem , [ArXiv:2309.03085][quant-ph]
Show all 39 references
-
[9]
Buscemi and N
F. Buscemi and N. Datta, Equivalence between divisibility and monotonic decrease of information in classical and quan- tum stochastic processes , Phys. Rev. A 93, 012101 (2016), [ArXiv:1408.7062][quant-ph]
2016 arXiv
-
[10]
Breuer, E.-M
H.-P. Breuer, E.-M. Laine, J. Piilo, and B. Vacchini,Colloquium: Non-Markovian dynamics in open quantum systems, Rev. Mod. Phys. 88, 021002 (2016), [ArXiv:1505.01385][quant-ph]
2016 arXiv
-
[11]
L. Li, M. J. W. Hall and H. M. Wiseman, Concepts of quantum non-Markovianity: A hierarchy, Phys. Rept. 759, 1 (2018)
2018
-
[12]
David Davalos, Mario Ziman, Carlos Pineda, Divisibility of qubit channels and dynamical maps , Quantum 3, 144 (2019), [ArXiv:1812.11437][quant-ph]
2019 arXiv
-
[13]
F. v. Ende, A Sufficient Criterion for Divisibility of Quantum Channels, [ArXiv:2407.17103][quant-ph]
-
[14]
Chru ´sci´nski, Dynamical maps beyond Markovian regime , Phys
D. Chru ´sci´nski, Dynamical maps beyond Markovian regime , Phys. Rept. 992, 1 (2022), [ArXiv:2209.14902][quant-ph]
2022 arXiv
-
[15]
vom Ende and F
F. vom Ende and F. Shahbeigi, Generating Sets of Stochastic Matrices, [ArXiv:2411.18946][math.RA]
-
[16]
R. Nery, N. K. Bernardes, D. Cavalcanti, R. Chaves and C. Duarte, Efficient and operational quantifier of nondivisibil- ity in terms of channel discrimination , Phys. Rev. A 111, no.2, 022206 (2025) [ArXiv:2405.19108][quant-ph]
2025 arXiv
-
[17]
Barbour and N
J. Barbour and N. O. Murchadha, Conformal Super- space: The Configuration space of general relativity , [ArXiv:1009.3559][gr-qc]
-
[18]
N. G. van Kampen, Remarks on Non-Markov Processes, Braz. J. Phys. 28, no.2 (1998)
1998
-
[19]
interacting
and to show that every indivisible stochastic dynamics can be described as the dynamics of a subsystem where the larger system evolves unitarily. This is the content of the Stochastic- Quantum Theorem [6]: every generalised stochastic system can be seen as a subsystem of a qua...
-
[20]
Schmidt, Dilation of stochastic matrices by coarse grain- ing, [ArXiv:2106.03513][math-ph]
H.-J. Schmidt, Dilation of stochastic matrices by coarse grain- ing, [ArXiv:2106.03513][math-ph]
-
[21]
W. F. Stinespring, Positive functions on C ∗-algebras, Proc. Amer. Math. Soc. 6 (1955), 211-216
1955
-
[22]
J. A. Barandes, New Prospects for a Causally Local Formulation of Quantum Theory, [ArXiv:2402.16935][quant-ph]
-
[23]
J. S. Bell, On the Einstein-Podolsky-Rosen para- dox, Physics Physique Fizika 1, 195 (1964), doi:10.1103/PhysicsPhysiqueFizika.1.195
1964 doi
-
[24]
J. S. Bell, The Theory of Local Beables, Dialectica39, 86 (1985), CERN-TH-2053
1985
-
[25]
Kraus, General state changes in quantum theory , Annals Phys
K. Kraus, General state changes in quantum theory , Annals Phys. 64, 311 (1971)
1971
-
[26]
M. B. Plenio and V. Vitelli, The physics of forgetting: Lan- dauer’s erasure principle and information theory , Contempo- rary Physics 42, 25 (2001), [ArXiv:0103108][quant-ph]
2001
-
[27]
R. E. Kastner and A. Schlatter, Entropy cost of ”Erasure” in Physically Irreversible Processes , Mathematics 2024, 12(2), 206; 08 Jan 2024, [ArXiv:2307.02643][quant-ph]
2024 arXiv
-
[28]
J. E. Cohen, Y. Iwasa, Gh. Rautu, M. B. Ruskai, E. Seneta, Gh. Zbaganu, Relative entropy under mappings by stochastic matrices, Linear Algebra and its Applications 179, 211 (1993)
1993
-
[29]
Davalos and M
D. Davalos and M. Ziman, Quantum Dynamics is Not Strictly Bidivisible, Phys. Rev. Lett. 130, no.8, 080801 (2023) [ArXiv:2203.13451][quant-ph]
2023 arXiv
-
[30]
Friederich and P
S. Friederich and P. W. Evans, Retrocausality in Quantum Me- chanics, The Stanford Encyclopedia of Philosophy (Winter 2023 Edition), Edward N. Zalta & Uri Nodelman (eds.)
2023
-
[31]
Fedullo, On the existence of a Hilbert-space model for finite- valued observables, Il Nuovo Cimento B
A. Fedullo, On the existence of a Hilbert-space model for finite- valued observables, Il Nuovo Cimento B. 107 (12). Springer: 1413 (1992), ISSN 1826-9877
1992
-
[32]
Jarlskog, Commutator of the Quark Mass Matrices in the Standard Electroweak Model and a Measure of Maximal CP Nonconservation, Phys
C. Jarlskog, Commutator of the Quark Mass Matrices in the Standard Electroweak Model and a Measure of Maximal CP Nonconservation, Phys. Rev. Lett.55, 1039 (1985)
1985
-
[33]
Rajchel-Mieldzio ´c, K
G. Rajchel-Mieldzio ´c, K. Korzekwa, Z. Pucha la and K. ˙Zyczkowski, Algebraic and geometric structures inside the Birkhoff polytope , J. Math. Phys. 63, no.1, 012202 (2022), [ArXiv:2101.11288/[quant-ph]]
2022 arXiv
-
[34]
Watanabe, Symmetry of physical laws
S. Watanabe, Symmetry of physical laws. Part III. Prediction and retrodiction, Reviews of Modern Physics. 27 (2): 179 (1955)
1955
-
[35]
Aharonov, P
Y. Aharonov, P. G. Bergmann and J. L. Lebowitz,Time Symme- try in the Quantum Process of Measurement , Physical Review. 134 (6B), B1410 (1964). 25
1964
-
[36]
Duarte, G
C. Duarte, G. D. Carvalho, N. K. Bernardes, F. de Melo,Emerg- ing dynamics arising from coarse-grained quantum systems , Phys. Rev. A 96, 032113 (2017), [ArXiv:1705.01604][quant- ph]
2017 arXiv
-
[37]
S. E. Venegas-Andraca, Quantum walks: a comprehen- sive review , Quant. Inf. Proc. 11, 1015-1106 (2012), [ArXiv:1201.4780][quant-ph]
2012 arXiv
-
[38]
Bausch, T
J. Bausch, T. Cubitt, Linear Algebra and its Applications The complexity of divisibility , Linear Algebra and its Applications 504, 64 (2016)
2016
-
[39]
Aguiar, F
M. Aguiar, F. Ardila, Hopf monoids and generalized permuta- hedra, [ArXiv:1709.07504][math.CO]
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.