Open Access Article
Cai
Dieball
a,
Yasamin
Mohebi Satalsari
b,
Angel B.
Zuccolotto-Bernez
b,
Stefan U.
Egelhaaf
b,
Manuel A.
Escobedo-Sánchez
*b and
Aljaž
Godec
*a
aMathematical bioPhysics Group, Max Planck Institute for Multidisciplinary Sciences, 37077 Göttingen, Germany. E-mail: agodec@mpinat.mpg.de
bCondensed Matter Physics Laboratory, Heinrich Heine University Düsseldorf, 40225, Düsseldorf, Germany. E-mail: escobedo@hhu.de
First published on 14th February 2025
We investigate path-wise observables in experiments on driven colloids in a periodic light field to dissect selected intricate transport features, kinetics, and transition-path time statistics out of thermodynamic equilibrium. These observables directly reflect the properties of individual paths in contrast to the properties of an ensemble of particles, such as radial distribution functions or mean-squared displacements. In particular, we present two distinct albeit equivalent formulations of the underlying stochastic equation of motion, highlight their respective practical relevance, and show how to interchange between them. We discuss conceptually different notions of local velocities and interrogate one- and two-sided first-passage and transition-path time statistics in and out of equilibrium. Our results reiterate how path-wise observables may be employed to systematically assess the quality of experimental data and demonstrate that, given sufficient control and sampling, one may quantitatively verify subtle theoretical predictions.
Despite decades of intensive research leading to numerous significant discoveries, the potential of driven and controlled colloids to reveal fundamental physical laws remains far from exhausted. On the one hand, this may be because advances in abstract theory (e.g., functional fluctuation relations,39,41,42 speed limits,43–46 thermodynamic uncertainty relations45,47–56) do not so easily proliferate to experiments or require excellent statistics. On the other hand, reciprocal-space-based techniques (e.g., dynamic light scattering, neutron or X-ray scattering, differential dynamic microscopy and variants)57–60 are only beginning to be considered in the theory of stochastic thermodynamics.46
To go beyond the state-of-the-art in particle-tracking analysis we focus on path-wise observables that directly reflect properties of entire individual paths rather than properties of the probability density of an ensemble of particles, such as radial distribution functions or mean-squared displacements. Path-wise refers to those functionals of particular realizations of trajectories that map entire trajectories (Xτ)0≤τ≤t or large parts of them to some f[(Xτ)0≤τ≤t], as opposed to observables depending only on the value at some fixed set of times, e.g., f(Xτ1,Xτ2). A particular class of insightful path-wise observables is first-passage time,61,62 which is the stochastic time it takes for a trajectory to reach a prescribed target (position) for the first time, e.g., f[(Xτ)0≤τ≤t] = arg min0≤τ≤∞(Xτ = a) for a target at a. For example, first-passage time statistics have been shown to provide a deeper understanding of the origin of sub-diffusion than mean-squared displacements.63 Moreover, they can distinguish processes with equal transition probability densities,64 unravel the number of intermediate states,28 and reveal fractal dynamics of colloids.8 Related, albeit quite different, path-wise observables are transition-path times defined as the stochastic duration of successful transitions, whereby “successful” reflects that the particle does not return to its original position before arriving at a predefined target point.65–68 Under typical conditions, transition-path times obey a surprising symmetry,65 and violations of this symmetry may be used to gain intriguing insights.31
The “inherent” sensitivity of the selected observables is such that they can be systematically used to assess and critically verify the quality of experimental data. In this study, we conduct precise experiments on colloids driven through a periodic light field to investigate fundamental and complex aspects of transport, along with first-passage and transition-path times in out-of-equilibrium conditions. Our results reiterate how given sufficient control and sampling even the most subtle theoretical predictions may be verified quantitatively, which will hopefully reinforce the motivation in the field of experimental soft matter to test and further increase the quality of experimental data.
000 images per measurement. This corresponds to a total measurement duration of 1 hour. We conducted several experiments that reached a total collection of 1224 trajectories. We used modified MATLAB-based particle tracking routines based on those of D. Blair and E. Dufresne71 to accurately determine the position of the colloids. Additionally, by following the Michalet algorithm,72 we estimated the localization uncertainty to be ±2 nm. For a direct comparison to the driven state experiments, we treated the 1224 trajectories as 2448 trajectories with a duration of 30 minutes each.
500 steps, with a 40 ms pause between each step. Optimizing these values allowed us to drag the sample cell at a controlled velocity of v0 = (0.053 ± 0.002) μm s−1. We recorded images at 25 frames per second, each measurement containing 45
000 images, for a total measurement time of 30 minutes. In total, we acquired 1168 trajectories.
![]() | (1) |
As mentioned in Section 2, in this study, the potential U(x) is periodic in the x-direction with a period L. An experimental trajectory is shown in Fig. 2. Note that the motion in the y-direction will only correspond to a free Brownian motion, as there is no force coming from U(x) in this direction. The latter is illustrated in Fig. 2(a) where the effect of U(x) constrains the movement in the x-direction, contrary to the y-direction where it is allowed to move freely.
In Fig. 2(b) and (c), we therefore focus onXt, where in (c) we show xt which is defined as Xt projected onto a single period [0,L), i.e., xt ≡ Xt
mod
L. Accordingly, for U(x) = U(x + L) we may view eqn (1) as L-periodic dynamics for xt, i.e.,
with the definition xt+dt ≡ (xt + dxt)
mod
L ensuring that xt remains confined to [0,L).
If projected on [0,L), the system settles into a Boltzmann equilibrium density peq(x) ∝ exp(−U(x)/kBT).73
More generally, not all systems settle into equilibrium steady states. For sufficiently confined systems and drifts without an explicit time dependence, a steady state is approached for t → ∞. Similarly, for space-periodic dynamics treated as if they evolve in a single period, i.e., projected onto a single period, a steady state is approached for long times, assuming no explicit time dependence in the drift and diffusion. However, here, a stationary current emerges if the system is driven out of equilibrium by a non-conservative drift; see below.
![]() | (2) |
In the experiments, v0 is introduced by dragging the sample cell with a constant velocity −v0 along the periodic direction of U(x) using the piezo nanopositioner stage. For a sample trajectory in this driven setting, see Fig. 3. Note that, as before, the motion in the x- and y-directions decouples and that the motion in the y-directions remains equilibrium Brownian motion only, see Fig. 3(a).
![]() | ||
| Fig. 3 Example of a trajectory that is driven by ν0, see eqn (2), (a), and corresponding projection onto the x-axis (b) and (c) where time runs from dark to bright. (c) The period is always chosen as L = 4.135 μm. The dataset comprises 1168 such trajectories. | ||
What can we say about the driven dynamics? First, the dynamics projected onto a single period, see Fig. 3(c), still settles into a steady state—a non-equilibrium steady state (NESS)—with density ps(x), which, however, no longer has a Boltzmann form. Instead, the shape of ps(x) is skewed in the direction of sign (v0).
The first question that arises is, given eqn (2), what is ps(x) for a given bare velocity v0 ≠ 0? The second question refers to the movement (i.e., probability current) of the driven particle; see Fig. 3(b). This question is non-trivial, and compared to the bare velocity v0, the particle is expected to slow down by the barriers of U(x). Thus, one naturally wonders what theoretical velocity is implied by the equation of motion in eqn (2).
Both questions can be answered by rewriting eqn (2) into an alternative form
![]() | (3) |
In the following subsection, we will show how to derive it. First, we will discuss the properties and usefulness of this rewriting. Here, js is the steady-state probability current and νs(x) ≡ js/ps(x) is the “local mean velocity”.22 The latter has to fulfill ∂x[νs(x)ps(x)] = 0 to ensure that ps(x) is indeed the steady state density, which is seen by requiring that ∂tp(x,t) = 0 for p(x,t) = ps(x), where p(x,t) is the probability density goverend by the Fokker–Planck equation,73,74
| ∂tp(x,t) = −∂x{[−D∂xU(x)/kBT + v0 − D∂x]p(x,t)} |
= −∂x{[D∂xln p(x,t) + ν(x,t) − D∂x]p(x,t)} |
| = −∂x[ν(x,t)p(x,t)]. | (4) |
In one-dimensional space, this directly implies that there is a constant probability current js with νs(x) = js/ps(x). For equilibrium dynamics v0 = 0, js = 0, and thus both presentations eqn (2) and (3) agree, since for the equilibrium density peq(x) we have ∂xln
peq(x) = −∂xU(x)/kBT. Thus, both can be seen as a direct extension of eqn (1).
Eqn (3) is particularly insightful when considering microscopic reversibility (i.e., detailed balance) and its generalizations. Namely, if we let Gνs(x,t|x0) denote the two-point conditional probability density of xt (which is the Green's function of the Fokker–Planck eqn (4), i.e., ∂tGνs = −∂x[−D∂xln
ps(x) + νs(x)]Gνs with Gνs(x,0|x0) = δ(x − x0)), then detailed balance corresponds to
| G0(x,t|x0)ps(x0) = G0(x0,t|x)ps(x). | (5) |
This indeed holds if and only if νs(x) = 0 (i.e., js = 0). In contrast, the generalization of eqn (5)–the so-called “dual reversal” symmetry-corresponds to40
| Gνs(x,t|x0)ps(x0) = G−νs(x0,t|x)ps(x). | (6) |
Note that the dual reversal symmetry eqn (6) and symmetries of dynamical functionals of xt (see ref. 40) are only applicable to the steady-state local mean velocity νs(x) in eqn (3) but not to the bare velocity v0 in eqn (2). On the other hand, the potential U(x) that enters thermodynamic potentials only appears in the first form (2). The main difference between the representations eqn (2) and (3) is that the additional term νs(x) = js/ps(x) (unlike v0) does not alter the steady-state density ps(x), irrespective of the value of the constant steady-state current js.
When discussing the velocity of the driven system, we must note that ẋt does not exist in a mathematical sense for overdamped motion as in eqn (2) and (3) [technically Prob(|ẋt| < C) = 0 for all C < ∞] and that there are, in fact, different notions of velocity. The bare velocity v0 and the drift velocity vdrift(x) (where 〈·|xτ = x〉 denotes the average conditioned on xτ = x for any τ ∈ [0,t]),
![]() | (7) |
,![]() | (8) |
as t → ∞. Moreover, note that for a periodic U(x) (with known period L), the mean velocity is equivalently characterized by the following expressions (recall that Xτ is the full dynamics and xτ ≡ Xτ
mod
L),![]() | (9) |
to show 〈vdrift(xτ)〉s = 〈νs(xτ)〉s as well as
(see, e.g., ref. 40 for details). The term τ(x → x + L) in eqn (9) denotes the first-passage time from x to x + L, i.e., the (stochastic) time that a trajectory (Xτ)0≤τ≤t starting at position x takes to reach position x + L for the first time, see also Fig. 7. The last equality in eqn (9) is shown in ref. 69 and will be revisited later in this work. Before we demonstrate and verify the different notions of velocities from the experimental data, we first need to find a way to swap between the representations, that is, from eqn (2) to eqn (3) and vice versa.
Define the auxiliary function ψ(x) (here 0 is the left side of the periodic interval, and x ∈ [0,L]) as
![]() | (10) |
The result for ps(x) is
| ps(x) = ps(0)ψ(x)(1 − r(x)[1 − ψ(L)−1]), | (11) |
![]() | (12) |
As a consistency check, we note that for v0 = 0 we should recover the Boltzmann distribution, and indeed we find ψ(x) = exp([U(0) − U(x)]/kBT) such that ψ(L) = e0 = 1 and ps(x)/ps(0) =ψ(x) provides it. Additionally, in Fig. 4(a), we also verify eqn (3) as its resulting ps (dashed line) overlaps with the ps measured from a histogram of the driven dynamics (red line) with experimental data.
![]() | ||
Fig. 4 (a) ps(x) in eqn (11) inferred from equilibrium (passive) experiments and using the value ν0= 0.053 μm s−1 of the experimentally fixed velocity, where we deduced U(x)/kBT up to a constant offset from ln peq, where peq was estimated as a histogram of the equilibrium dynamics with 60 bins in [0,L) (setting a limited spatial resolution for the rest of the analysis). Note that for our experimental setting, U is technically known but involves a convolution with a Bessel function75,76 and is prone to experimental inaccuracies. We thus prefer to infer U directly from the equilibrium data. The diffusion coefficient D = 0.04 μm2 s−1 was fitted from var(dxτ)/2dτ averaged over [0,t] and over all trajectories, see eqn (14). The equilibrium density peq is only shown for comparison and we stress that it, as expected, does not agree with ps(x). (b) Probability current inferred from the equilibrium data using the value ν0 = 0.053 μm s−1 of the experimentally prescribed velocity as described in eqn (13) and below. The comparison to the measured value in the driven data, see eqn (15), shows slight deviations. | ||
To obtain the representation in eqn (3) in full, we are also required to fit the constant js = νs(x)ps(x). This may be done either from
![]() | (13) |
in eqn (3). With ps and js (eqn (11) and (13)) we can finally transform eqn (2) into eqn (3), as done for the experimental data in Fig. 4. We stress again that this transformation was only analytically feasible since we deal with a one-dimensional system and a constant bare velocity v0. While the inferred density ps (x) in Fig. 4(a) fits the measurement very well, there are slight deviations between the current js in Fig. 4(b) inferred from the equilibrium measurements using the input value of v0 (orange line) compared to the driven measurement (red line) or to inferring the current by equating the drifts in eqn (2) and (3) using the input v0 and peq(x) and ps(x) as in Fig. 4(a) (blue line in Fig. 4(b); note that the blue line should, in principle, be constant). We speculate that the deviations may be due to very slight imperfections in the periodicity L that become amplified since the field of view comprises many periods (about 60L, see Fig. 10 in the appendix).
As for peq(x) in the equilibrium setting before, we estimate ps(x) from an ensemble of NESS trajectories as a histogram with 60 bins, and the diffusion coefficient D from the short-time fluctuations
![]() | (14) |
It turns out (at least from our trajectories length) that the easiest and most reliable way to obtain js from NESS trajectories appears to be to use [see eqn (9)]
![]() | (15) |
![]() | (16) |
Now, we can obtain the potential (up to an additive constant) from its derivative [obtained by equating drift terms in eqn (2) and (3)]
![]() | (17) |
This way, one can transform back from eqn (3) to eqn (2). In practice, this allows us to check whether the driving v0 introduced in the experiment is what we expected (i.e., it serves as another consistency check in addition to Fig. 4). The potential U(x) [we set the additive constant to zero, i.e., we chose minU(x) = 0] and v0 computed this way are compared to the measured equilibrium (i.e., v0 = 0) and the results are shown in Fig. 5. As before, we observed slight deviations in velocity and current, probably connected to slightly washed-out barriers over the large field of view in the experiment (a tiny error in the value of L can become relevant when projecting on [0,L) via xτ = Xt
mod
L since the range of Xτ comprises a range of about 60L, see Fig. 10 in the Appendix. However, in general the consistency check gives excellent results.
![]() | ||
Fig. 5 (a) Inferred ν0 from driven experimental data compared to the desired input value ν0. Though there are some statistical deviations in the values for ν0 (related to Fig. 4(b)), both obtained values for ν0 are well distinguishable from the mean velocity (grey line). (b) The potential U(x) inferred from the driven data viaeqn (17) (black line) matches the potential measured from the equilibrium data projected on one period [0,L) using U(x) = −ln(peq(x)) − const. (red line) quite well. The barrier height (difference between minimum and maximum) is 2.76kBT in the red line and 2.65kBT in the black line, respectively. It deviates from − log(ps) (grey line) since the driven data set does not obey a Boltzmann density [see eqn (2) and (3)]. | ||
= 〈Xt − X0〉s/t in eqn (9) from the measured trajectories of the driven system. The results are shown in Fig. 6.
![]() | ||
Fig. 6 (a) Different space-dependent and constant velocities in the NESS. See eqn (9) for different representations of the mean velocity . In equilibrium, only νdrift(x) deviates from zero. Quantities denoted by averages over xτ are independent of τ in the steady state and are here, for practical reasons to improve statistics, averaged over all τ ∈ [0,t]. (b) While = 〈xτ+Δτ−xτ〉s/Δτ for all τ and Δτ, see eqn (9), the approximation of this quantity over the finite number of trajectories N = 1168 as a function of τ, as expected, exhibits large fluctuations for small Δτ. | ||
As mentioned above, two constants constitute a notion of velocity: the bare velocity ν0 and the mean velocity
, see eqn (9). In addition, there are also local, x-dependent notions like the local mean velocity νs(x), as well as the drift velocity vdrift(x) = 〈dxt|xt = x〉/dt, see eqn (7). In equilibrium, only the drift velocity vdrift(x) deviates from 0. The mean velocity
can be computed in different ways; see eqn (9), some of which are also equivalent from a practical/numerical point of view (depending on how we choose to infer js). Note that generally, νs(x) ≠ 〈νs(xt)〉s ≠ vdrift(x) ≠ 〈vdrift(xt)〉s, that is, the different kinds of velocities indeed have a quite strikingly different meaning, which must be taken into account when characterizing and comparing transport properties.
Here we focus on two particular first-passage observables, namely the mean-first passage to transverse a distance equal to the period length L, 〈τ(x → x + L)〉 and the two-sided mean exit time from the interval [x − L,x + L], 〈τE(x ± L)〉. Note that we do not consider periodic boundary conditions here, i.e., we consider trajectories (Xτ)0≤τ≤t which evolve on the entire space and not only on [0,L). The chosen first-passage observables have two advantages. First, for a periodic potential U(x), they are independent of the initial position x,69 making them very practical to infer from experimental data. Second, the mean of its one-sided version, 〈τ(x → x + L)〉s is directly related to the mean velocity 〈τ(x → x + L)〉s = L/
, see eqn (9).
To recapitulate where the independence comes from, consider τ(0 → L) and τ(x→x + L) for some x∈ [0,L]. Since we have one-dimensional trajectories, x is necessarily crossed in the transition 0 → L, and by the renewal theorem78,79 (note that we are dealing with a time-homogeneous Markov process with continuous paths) we immediately have statistical equality on the level of τ for τ(0 → L) = τ(0 → x) + τ(x → L). Moreover, by periodicity we obtain τ(0 → x) + τ(x → L) = τ(L → x + L) + τ(x → L) = τ(x → L) + τ(L → x + L) = τ(x → x + L), therefore τ(x → x + L) (and therefore 〈τ(x → x + L)〉) is independent of x, and similarly for τE(x ± L). We will exploit this in the notation and drop the dependence on x, i.e., 〈τ(x → x + L)〉 → 〈τ(L)〉.
The x-invariance helps to check the data for short-time bias due to under-sampling (see Appendix of ref. 8). Namely, whenever we infer τ from finite trajectories, say of duration t, starting at an arbitrary point x0, we estimate a conditional mean first-passage/exit time, 〈τ(L)|τ(L)<t〉,8i.e.,
![]() | (18) |
is the probability density of τ(L), and the same holds for the two-sided exit time 〈τE(L)|τE(L) < t〉. Obviously,
. For a periodic U(x) in the equilibrium setting ν0 = 0, 〈τ(L)〉 unlike the exit time 〈τE(L)〉 < ∞ is infinite, 〈τ(L)〉 = ∞ since the particle can escape to −∞ and thereby may not reach the target at any finite time. However, by the fundamental property of Brownian motion, in the equilibrium setting all trajectories eventually hit the target. Moreover, in the driven setting, we consider a bias towards the target, such that almost all trajectories reach the target in a finite time. Hence, we expect 〈τ(L)〉s < ∞61 (this would, of course, not be the case of a particle biased away from the target).
Any substantial deviations between the conditional and unconditioned first-passage (and exit times, respectively) reflect that a significant fraction of trajectories did not yet cross the barrier to the right of the initial condition and that the estimated mean first-passage time is statistically unreliable. The manifestation of this short-time bias in the equilibrium and driven setting is demonstrated in Fig. 8, where we mimic the effect of a progressively larger measurement time t in the experiment by disregarding long-time data. We find substantial effects of a finite duration of trajectories. In the equilibrium case, both the mean first-passage and the exit time increase with the duration t of trajectories, while in the driven case, the mean first-passage time is progressively approaching the predicted value. Based on the Langevin dynamics in eqn (2) or (3), the one-sided mean first-passage time (blue line) is known to diverge as t → ∞ in the equilibrium setting [see, e.g.,
→ 0 in eqn (9)], while the two-sided version (orange line) must converge. In the non-equilibrium setting (green line), the mean first-passage time must converge, and we observe a quantitative agreement with the theoretical prediction L/
in eqn (9) (grey line), where the equality 〈τ(L)〉s = L/
is approached for large t. If the deviation of the green and grey dashed line in Fig. 8(a), does not (approximately) vanish. We could immediately infer that the measurement time is too short. Equivalently, the fraction of successful trajectories (see Fig. 8(b)) ought to converge to 1 for the exit from the interval and generally for the driven setting (and asymptotically approach 1 for the one-sided first-passage in the equilibrium setting) if we are to infer a reliable estimate for 〈τ(L)〉. However, note that the additional test with the mean velocity
may still be meaningful even if the fraction is already one (e.g., if one has a limited number of trajectories available or if one puts in the requirement of crossing the barrier as an additional condition).
![]() | ||
| Fig. 8 (a) Conditional mean first-passage times (mFPT) and (b) fraction of trajectories where the barrier crossing event was realized conditioned on times until t (i.e., we cut the data at time t to mimic shorter measurements). The green line approaches 148.8 s, which roughly agrees with the grey line at 146.4 s, confirming the last equality in eqn (9). Shaded regions show the sample standard deviation over the 11 (equilibrium “EQ”) or 13 (NESS) data sets. | ||
Note that a short-time bias is, in fact, typical. Specifically, whenever not (almost) all observed trajectories reach the target, the estimated mean first-passage time (or its inverse, the rate) will suffer from this bias. This occurs because the first-passage and the exit time are controlled (essentially dominated) by the long-time behaviour of
.61,80,81
from a point A to a point B in (here considered in one-dimensional space) is defined as the time span between the last time that a trajectory (xτ)τ≥0 hits A before hitting B for the first time, see Fig. 7(b). This observable is deeply related to the concept of mile-stoning (see, e.g., ref. 68,83–86) and Fig. 7(b), (where the crosses indicate hits of the milestones). The important difference to first-passage times τ(A → B) is thus that the transition time
does not contain the dwell time around A (see, e.g., ref. 68 for details). A practical difference for our analysis is that we had 0 or 1 samples per trajectory for the first-passage time (since we always started at t = 0) while a single trajectory may contain several transitions A → B and B → A, see Fig. 7. Moreover, we again consider the periodicity in space for the transition times.
Transition-path times encode subtle and important information about violations of the Markov property31,67,68 and are essential for consistent thermodynamics of non-Markovian processes.31,68,85,86 A particularly subtle, and at first glance surprising, property of transition-path times is the forward–backward symmetry for reversible Markov dynamics discovered in ref. 65 (for extensions, see ref. 32,68,87,88). It states that for a Markov process obeying detailed balance, we have the equality in time-distribution of transition paths,
. The surprising aspect is that if A is located in a potential minimum and B on a potential barrier, the duration of transition paths “uphill”' and “downhill” are statistically identical for any potential. Note that this symmetry does not hold for first-passage times (since the dwell times in A and B can be arbitrarily different).
The transition-path time symmetry has seemingly not yet been experimentally verified (although its violations in multidimensional non-equilibrium systems have already been observed experimentally31 and by computer simulations88). Here we evaluate the transition times between two milestones (here points) A and B (see Fig. 9(a) and (e)) and evaluate frequency histograms of transition-path times as an estimator of their probability density for equilibrium (see Fig. 9(a)–(d)) and NESS dynamics (see Fig. 9(e)–(h)). Note that since the original transition-path time symmetry does not concern periodic systems, it only holds for transitions A → B and B → A either passing through the middle (around x = 2 μm) or passing through the periodic boundary (x = 0 μm), see overlap of blue and orange in Fig. 9(c) and (d), respectively. Note that the symmetry is equally expected to hold in one-dimensional NESS,87 as confirmed in Fig. 9(g) and (h) (it only breaks down in multidimensional NESS, see ref. 31). Nevertheless, we see in Fig. 9(b) that the symmetry also holds for “mixed”' transitions between A and B, i.e., if we consider all transitions indifferent to whether they do or do not make use of the periodic boundary. This is generally the case for periodic equilibrium dynamics (given 1d Markov) since orange and blue in Fig. 9(b) are a weighted average of orange and blue in Fig. 9(c) and (d) where both colours are weighted with the same proportions [different weights cannot occur in equilibrium since this would lead to a contraction as it implies directed motion (js ≠ 0)]. The symmetry is violated for mixed transitions in Fig. 9(f), since the weighting of Fig. 9(g) and (h) to obtain Fig. 9(f) is not the same for orange and blue.
To summarize, Fig. 9 demonstrates the validity of the predicted transition-path time symmetry between two milestones (Fig. 9(c), (d), (g) and (h)). While the transition-path time symmetry does not apply to periodic NESS dynamics (Fig. 9(f)), it holds true (in addition to the “unmixed” transitions in Fig. 9(c), (d), (g) and (h)) for periodic equilibrium dynamics (Fig. 9(b)).
Beyond the previous analyses of first-passage observables in experimental data8,28 we compared the mean particle velocity with the corresponding first-passage result69 to check for short-time biases in non-equilibrium steady states. Despite the measurement time being long enough for trajectories to equilibrate within one period [0,L), we illustrate that observables, such as the one-sided mean first-passage time in equilibrium, (have not yet converged, highlighting the intricate features of first-passage times and more generally, path-based observables). That is, small statistical fluctuations (i.e., small error bars) do not necessarily imply a sufficient quality of data as exemplified by the short-time biases in Fig. 8. From a practical perspective, our results show that first-passage analysis can be used to systematically test experimental data for short-time biases.
Moreover, we verify and extend predicted symmetries for the more subtle transition-path times. By showing that the symmetry persists in effectively one-dimensional non-equilibrium systems, we underscore the usefulness of violations of the transition-path-time symmetry to infer simultaneously broken time-reversal symmetry and the presence of multiple transition pathways.31,87
We also highlighted two well-established but distinct, yet mathematically equivalent, formulations of the Langevin equation of motion for colloidal particles. Notably, the second formulation, while less commonly employed in experiments, provides a more thermodynamically expressive framework. We hope this will encourage further integration between soft-matter experiments and stochastic thermodynamics, particularly in advancing thermodynamic inference using speed limits and thermodynamic uncertainty relations.
mod
L over the left and right half, respectively, of particles in the field of view. The chosen value correct value of L was optimized such that the two histograms optimally agree. While this does not rely on any assumptions about the exact shape of the potential (the shape was only later inferred from histograms; we only assumed that there is one barrier per period to remove ambiguity, since any L-periodic system is, e.g., also 2L-periodic), this procedure may generally only serve as a fine-tuning for the value for L. Therefore, we here also present an alternative, more systematic, approach to infer L using an approximation for the shape of U(x). Moreover, while the theory and inference of U(x) in the main part of the paper address general periodic potentials, the experimentally realized U(x) is well approximated by a cosine. To elaborate on the discussion of the inference of U(x), and to show the spatial variation that is not investigated in the paper (since it is lost after projecting onto one period; as done, e.g., to arrive at Fig. 5(b)), in this Appendix we also show a complementary approach, where we assume a cosine-shape and infer the amplitude and its spatial variation. Following earlier experiments with comparable setups, we assume that the effective potential induced by the periodic light field can be well approximated by,2,70U(x) = U0cos(kx) + Ubg, with k = 2π/L, U0 the potential amplitude and Ubg a constant background contribution. The potential background Ubg becomes irrelevant as it is neglected by the derivative in eqn (1). Over the whole field of view, particle density profiles ρ(x) for the equilibrium trajectories were analyzed to extract the periodicity and amplitude of an underlying potential via ρ(x) ∝ exp[−U(x)/kBT]. The natural logarithm of the density, ln(ρ(x)), was evaluated, and its derivative,
, to remove any background contributions. We used a sinusoidal function to fit the derivative for a window consisting of two periods and performed the same analysis for the entire dataset, covering 30 windows. Averaging the results across all windows we estimate the periodicity and potential amplitude of the light field. The insets in Fig. 10 show histograms of the periodicity and amplitude values, with the frequency count plotted versus the extracted periodicity and amplitude for all measurements. The red curve represents a Gaussian fit to the histogram. This allows for a statistical summary with the mean and standard deviation extracted from the fit, and in particular shows the spatial variation. The error bars in the plot represent the standard deviation of the extracted periodicity values within each window. The results of the inference of L in Fig. 10(a), based on approximating U as a cosine, are in excellent agreement with the value L = 4.135 μm chosen in the main part by matching histograms in different parts in the field of view without assuming the shape of U(x). Moreover, the amplitude inferred in Fig. 10(b) match closely with the barrier heights of 2.76kBT and 2.65kBT in Fig. 5(b), keeping in mind that the barrier (difference of maximum and minimum) in the cosine potential is 2V0.
| This journal is © The Royal Society of Chemistry 2025 |