arxiv: v1 [cond-mat.stat-mech] 23 Jun 2016

Transcription

1 Order and symmetry-breaking in the fluctuations of driven systems arxiv:66.757v [cond-mat.stat-mech] 23 Jun 26 N. Tizón-Escamilla,, C. Pérez-Espigares, 2, 3, P.L. Garrido,, and P.I. Hurtado, Departamento de Electromagnetismo y Física de la Materia, and Institute Carlos I for Theoretical and Computational Physics, Universidad de Granada, Granada 87, Spain 2 University of Modena and Reggio Emilia, via G. Campi 23/b, 425 Modena, Italy 3 School of Physics and Astronomy, University of Nottingham, Nottingham, NG7 2RD, UK (Dated: June 27, 26 Dynamic phase transitions (DPTs at the fluctuating level are one of the most intriguing phenomena of nonequilibrium physics, but their nature in realistic high-dimensional systems remains puzzling. Here we observe for the first time a DPT in the current statistics of an archetypal two-dimensional (2d driven diffusive system, and characterize its properties using macroscopic fluctuation theory. The complex interplay among the external field, anisotropy and currents in 2d leads to a rich phase diagram, with different symmetry-broken fluctuation phases separated by lines of st - and 2 nd -order DPTs. Order in the form of coherent jammed states emerges to hinder transport for low-current fluctuations, revealing a deep connection between rare events and self-organized structures which enhance their probability, an observation of broad implications. PACS numbers: 5.4. a,.3.qc, 66..C The theory of critical phenomena is a cornerstone of modern theoretical physics [, 2]. Indeed, phase transitions of all sorts appear ubiquitously in most domains of physics, from cosmological scales to the quantum realm of elementary particles. In a typical (2 nd -order phase transition order emerges abruptly, as captured by an order parameter, signaling the spontaneous breaking of a symmetry and an associated non-analyticity of the relevant thermodynamic potential []. In recent years these ideas have been extended to the realm of fluctuations, where dynamic phase transitions have been identified in some models of transport, both classical [3 8] and quantum [9 2]. In particular, the large deviation functions (LDFs controlling the statistics of macroscopic fluctuations [3] have been shown to exhibit non-analyticities reminiscent of standard critical phenomena, accompanied by emergent order and symmetry-breaking phenomena in the optimal pathways responsible for a given fluctuation. This is a breakthrough of crucial importance in our understanding of nonequilibrium physics, as these LDFs play a role akin to the equilibrium thermodynamic potentials for nonequilibrium systems, where no bottomup approach exists yet connecting microscopic dynamics with macroscopic properties [3, 4]. Moreover, the emergence of coherent structures associated to rare fluctuations imply in turn that these extreme events are far more probable than previously anticipated, a finding of broad implications [4, 5]. However, the discovery of DPTs has been restricted to toy d systems, and the challenge remains to bridge the gap between these oversimplified models and more realistic d > driven diffusive media of technological and theoretical interest. tizon@onsager.ugr.es carlos.perez-espigares@nottingham.ac.uk garrido@onsager.ugr.es phurtado@onsager.ugr.es In this paper we address these questions and report compelling evidences of a complex DPT in the current statistics of an archetypal 2d driven diffusive system, the weakly asymmetric simple exclusion process (WASEP [6]. To crack this problem, we use massive cloning Monte Carlo simulations for rare event statistics [7 9], together with macroscopic fluctuation theory (MFT to understand the fluctuation phase diagram [3]. We find a 2 nd -order DPT between a homogeneous fluctuation phase with Gaussian current statistics, and a symmetry-broken non-gaussian phase for small currents characterized by the emergence of coherent jammed states in the form of traveling waves. Such jammed states hamper the flow of particles, enhancing the probability of low-current fluctuations [8]. Interestingly, for mild or no anisotropy, different symmetry-broken phases appear depending on the current separated by lines of st -order DPTs, a degeneracy which disappears beyond a critical anisotropy, see Fig.. Crucially, the richness of the fluctuation phase diagram stems from the relevance of structured current fields at the fluctuating level, a feature reminiscent of the weak additivity principle recently introduced to understand current statistics in open d-dimensional systems [2]. The 2d-WASEP belongs to a broad family of systems [3, 4, 5] characterized at the mesoscopic level by a locally-conserved density field ρ(r, t which evolves according to a continuity equation t ρ + j =, with j(r, t ˆD(ρ ρ + ˆσ(ρE + ξ a fluctuating current field. Here ξ(r, t is a weak Gaussian white noise of amplitude L, E is an external field driving the system out of equilibrium, ˆD(ρ D(ρ and ˆσ(ρ = σ(ρâ are the diffusivity and mobility matrices, respectively, and  is a diagonal anisotropy matrix with components Âαβ = a α δ αβ = ( ± ɛδ αβ, α, β [, d], with ɛ an anisotropy parameter. For a closed system with periodic boundaries (our case here, the system nonequilibrium steady state is homogeneous with constant (and conserved density ρ

2 2 and average current q = ˆσ E, with ˆσ ˆσ(ρ. We are interested in the statistics of the spacetime-averaged empirical current q = τ τ dt drj(r, t flowing through the system during a long time τ. For long times the probability of observing a current q peaks around q as P τ (q exp[+τl 2 G(q], and G(q defines the current LDF [3, 4, 5]. A related, interesting function is the scaled cumulant generating function (SCGF associated to P τ (q, defined as µ(λ lim t t ln e tλ q or equivalently as the Legendre transform of the current LDF, µ(λ = max q [G(q + λ q]. As described in detail in the Appendix, MFT [3] offers precise variational expressions for these two key functions starting from the above fluctuating hydrodynamics equations, using a path integral formalism and with the only input of two transport coefficients, which for WASEP are D(ρ = /2 and σ(ρ = ρ( ρ [3, 4]. The optimal density and current fields solution of this variational problem define the path that the system follows in mesoscopic phase space to sustain a given current fluctuation q. As shown in the Appendix, small fluctuations of the empirical current, q q, typically result from weakly-correlated local events which sum incoherently, so the optimal density and current fields associated to these small fluctuations are still homogeneous, as the stationary ones, leading to a quadratic current LDF G G (q = (q ˆσ E ˆσ (q ˆσ E/2 or equivalently µ G (z = (z ˆσ z E ˆσ E/2, with z λ + E, correspondig to Gaussian current statistics. However, a local stability analysis (see Appendix proves that this Gaussian, homogeneous regime eventually becomes unstable against small but otherwise arbitrary spatiotemporal perturbations. For WASEP, this happens for currents q  q σξ 2 c, or equivalently z Âz Ξ c, see Fig., where Ξ c Σ c + E ÂE, with Σ c 8π 2 Da 2 min /(σ σ, D D(ρ, σ σ(ρ and a min = min(a x, a y, provided that E ÂE Σ c (note that Σ c since σ < for WASEP. This transition can be shown to be of 2 nd -order type as z 2 µ(z is discontinuous at the critical line, see Fig..g. Interestingly, the dominant perturbation immediately after the instability kicks in takes the form of a density traveling wave with structure only along one-dimension (d, either x or y, which breaks the system spatiotemporal translation symmetry by localizing particles in a jammed region to facilitate a low-current fluctuation. This solution can be extended to all currents below the critical line, and we find that different d density waves dominate different subcritical current regimes, depending on the anisotropy parameter ɛ, see Fig..a-c, with lines of st -order DPTs separating both symmetry-broken phases, see Fig..h, and a critical anisotropy ɛ c.35 beyond which only one symmetrybroken phase appears. Remarkably, this enriching degeneracy stems from a structured divergence-free vector field coupled to the current, see Appendix, an offspring of the high-dimensional character of the problem [2, 2] which does not appear in the simpler d models studied before [5, 7, 8, 5]. We further stress that particu- y t (a (b (c (g x (d (e (f E FIG.. (Color online A rich phase diagram. Top: Scaled cumulant generating function for the current of the 2d-WASEP in an external field E = (,, as derived from MFT, in the case of (a no anisotropy, ɛ =, (b mild anisotropy, < ɛ < ɛ c, and (c strong anisotropy, ɛ > ɛ c. A DPT appears between a Gaussian phase (light gray with homogeneous optimal configurational pathways, see (d, and two different non-gaussian symmetry-broken phases for low currents characterized by traveling-wave jammed states with structure along the minimum blue and (e or maximum red and (f anisotropy direction. The first DPT is 2 nd -order, see (g, while the two symmetry-broken phases are separated by lines of st -order DPTs, see (h. lar 2d traveling-wave minimizers of the MFT action do not improve the current LDF when compared to their d counterparts, although we cannot discard exotic 2d solutions not yet explored. However, simulation results below strongly support our analysis. To search for this DPT, we explored the whole current fluctuation spectrum of the 2d-WASEP using massive cloning Monte Carlo simulations [7 9]. Microscopically, this model is defined on a 2d square lattice of size N = L L with periodic boundaries where M N particles evolve, so the global density is ρ = M/N. Each lattice site may contain at most one particle, so the state of the system is defined by an occupation vector n {n ij =, ; i, j [, L]}, with M = L i,j= n ij. Particles perform stochastic jumps to neighboring empty sites at a rate r± α exp[±e α /L]/2 for jumps along the ±α-direction, α = x, y, with E = (E x, E y the external field. For large E and moderate system sizes, the field per unit length E/L is strong enough to induce an effective anisotropy in the medium [22], enhancing diffusivity and mobility along the field direction, an effect that can be accounted for in our theory by an effective anisotropy parameter ɛ. In particular, we simulated systems with global density ρ =.3, several system sizes up to N = 44, and a strong external field E = (, beyond the MFT critical field for the DPT to appear (see Appendix. The cloning Monte Carlo method relies on a controlled modification of the system stochastic dynamics so that the rare events responsible for a given (h

3 3 µ(z,φ N N c =4 3 N =36 N N c =.6 4 =64 N N = c =.28 5 N c = N =44,N c =5.2 5 N c z µ(z,φ µ(z,φ = z φ = π 2 φ = π 4 φ = φ π/2 π 3π/2 2π FIG. 2. (Color online Main: Measured µ(λ vs z = λ + E for N = 44, N c = and different φ = tan (z y/z x, together with MFT predictions for anisotropy ɛ =.38. A DPT from a Gaussian regime (light-gray ribbon to a symmetry-broken, non-gaussian phase (blue ribbon is apparent upon crossing z c(φ, with z c Âzc = Ξc (green vertical stripe. Different φ correspond to different MFT lines within the shaded ribbons. Top inset: Convergence to the φ = MFT prediction (blue line for N = 44 as N c increases ( and for optimal N c as N increases (. Bottom inset: Angular dependence of µ(z = 4, φ for N =, N c = ( and N = 44, N c = (, together with MFT prediction (full line. fluctuation are no longer rare, and involves the parallel simulation of multiple copies of the system [7 9]. The number of clones needed to observe a given rare event grows exponentially with the system size, all the more the rarer the event is [23, 24]. In particular, to pick up and characterize reliably the DPT in the 2d-WASEP we needed the extraordinary number of N c = clones evolving in parallel for a long time, a feat of unprecedented scale. According to MFT, Gaussian current statistics corresponding to a quadratic SCGF µ G (z are expected for z Âz Ξ c, see Fig. and discussion above. This is fully confirmed in Fig. 2, which shows the measured µ(z for N = 44 as a function of z = z for different current orientations φ. This confirms that mild current fluctuations stem from the random superposition of weakly-correlated, localized events which sum up incoherently to yield Gaussian statistics in agreement with the central limit theorem. Interestingly, we find a weak dependence of µ(z on φ in this Gaussian regime, see Fig. 2 and inset to Fig. 3, a clear hallmark of the effective (strong field anisotropy mentioned above. Indeed, this φ-dependence can be used to estimate that ɛ.38 properly describes the observed weak anisotropy, see inset to Fig. 3. This effective anisotropy is slightly bigger than the critical anisotropy ɛ c beyond which a single symmetry-broken phase dominates the non-gaussian regime, see Fig..c and Appendix, an observation consistent with additional results below. Interestingly, current fluctuations in the Gaussian regime obey an anisotropic version of the Isometric Fluctuation Theorem [25 27], α (z,φ x z y µ(z,φ φ = φ = π 4 φ = π z FIG. 3. (Color online Tomographic α-coherences, with α = x, y, as a function of z for different current angles φ measured for N = and E = (,. Inset: SCGF µ(z vs z in the Gaussian regime for φ =, π/4, see Fig. 2. Full (dashed lines are MFT predictions with anisotropy ɛ =.38 (ɛ =. which links in simple terms the probability of two different but Â-isometric current vector fluctuations. In particular, lim τ τ L d ln[p τ (q/p τ (q ] = E (q q q, q in the Gaussian regime such that q Âq = q Âq, see Appendix. The Gaussian, incoherent fluctuation regime ends up for z Âz < Ξ c, where clear deviations from the quadratic form µ G (z become apparent, see Fig. 2. This change of behavior, in excellent agreement with MFT predictions, signals the onset of the DPT to a symmetry-broken phase characterized by non-gaussian current fluctuations. A clear convergence to the MFT prediction is observed in the Gaussian and non-gaussian regimes as both N and the number of clones N c increase, see top inset in Fig. 2. Remarkably, even the fine angular structure of the SCGF µ(z at constant z deep in the symmetry-broken phase is clearly observed for large enough N and N c, see bottom inset in Fig. 2. As opposed to the Gaussian regime, the origin of this angular dependence resides not only in the system effective anisotropy ɛ, but also in the presence of structured divergence-free current fields at the fluctuating level, see Appendix, a result reminiscent of the weak additivity principle recently introduced to understand current fluctuations in open d-dimensional driven diffusive systems [2]. The smoking gun of any continuous phase transition, such as the DPT here reported, is a sharp change in an order parameter []. From our MFT analysis, order is expected to emerge across the DPT in the form of coherent traveling waves which jam particle flow thus facilitating low-current deviations. The interplay among the external field, anisotropy and currents opens the door to different, competing symmetry-broken phases, see Fig., and we now determine which ones do emerge in our simulations with an appropriate order parameter based on a tomographic analysis. In particular we take a microscopic particle configuration, n {n ij ; i, j [, L]}

4 4 ω(y φ = y Simulation Theory φ =π/ y FIG. 4. (Color online Density wave profile along the y- direction for z = 2 and φ =, π/2, measured for N = and E = (,. Lines correspond to MFT predictions. and slice it along one of the principal axes, say x, defining n j {n ij ; i [, L]}, with M j = L i= n ij and M = L j= M j. To properly take into account the periodic boundaries (i.e. the system torus topology, we consider each j-slice as a d ring of fixed radius embeded in 2d where each site i [, L] is assigned an angle θ i = 2πi/L, and compute the angular position of the center of mass for the j-slice, θ cm (j tan (S j /C j with S j M L j i= n ij sin θ i and C j M L j i= n ij cos θ i. Clearly, a small dispersion of the angular centers of mass across the different slices will signal the formation of a coherent jam along the x-direction and the associated density wave in the orthogonal direction, see Fig..e. In this way, we write σx 2 (θ cm (j 2 x θ cm (j 2 x, with f j x = L L j= f j, and define the tomographic x- coherence as x (λ σx 2 λ, where the average λ is taken over the biased λ-ensemble (i.e. over the histories statistically relevant for a rare event of fixed λ [5, 9]. We can define in an equivalent way the tomographic y-coherence y (λ, and Fig. 3 shows these two order parameters measured across the DPT. Remarkably, x (z increases steeply for z Âz Ξ c and all angles φ of the current vector, while y (z remains small and does not change appreciably across the DPT, clearly indicating that a coherent particle jam emerges along the x- direction in all cases. This means that only one of the two possible symmetry-broken phases appear in our simulations (regardless of the current vector orientation, as expected from MFT in the supercritical anisotropy regime ɛ > ɛ c, see Fig..c, and consistent with the measured effective anisotropy ɛ.38 > ɛ c, see inset in Fig. 3. Note also that the behavior of both α (α = x, y across the DPT is consistent with the emergence of a traveling wave with structure in d and not in 2d, as in the latter case both α should increase upon crossing z c (φ. Moreover, the sharp but continuous change of x (z across the DPT is consistent with a second-order transition, in agreement with MFT. We also measured the average density profile along the y-direction, i.e. orthogonal to the jam direction, associated to a given current fluctuation deep in the symmetry broken phase, see Fig. 4. In order not to blurr away the structure of the moving density wave, we performed profile averages around the instantaneous angular center of mass, shifting it to the origin before averaging. Fig. 4 shows the highly-nonlinear density profile ω(y of the traveling wave so obtained for current fluctuations with z = 2 and φ =, π/2, together with MFT predictions, and the agreement is remarkable in both cases. In particular, note that the traveling wave has structure along the y-axis in both cases, as expected from the analysis of Fig. 3 and consistent with the supercritical anisotropy scenario ɛ > ɛ c, see Fig..c,e. In summary, we have presented compelling evidences of a complex dynamic phase transition in the current statistics of a paradigmatic model of transport in 2d, characterizing its properties with the tools of macroscopic fluctuation theory. Our analysis of MFT equations predicts a rich phase diagram for the current fluctuations of arbitrary d-dimensional driven diffusive systems, with non-analiticities of st - and 2 nd -order type in the current large deviation functions, accompanied by emergent order in different symmetry-broken phases characterized by traveling density waves. This richness, fully confirmed in cutting-edge simulations, is aided by the complex interplay among anisotropy, external field and currents in d >, a key feature missing in the simpler d transport models studied in the past. Interestingly, our results show that order and coherence may emerge out of an unlikely fluctuation, proving the deep connection between rare events and self-organized structures which enhance their probability. This is expected to be a general feature of many complex dynamical systems [4]. ACKNOWLEDGMENTS Financial support from Spanish projects FIS P (MINECO and FPU3/5633, Italian Research Funding Agency (MIUR through FIRB project grant RBFRN9W, Italian INdAM Francesco Severi, University of Granada, Junta de Andalucía project P9- FQM4682 and GENIL PYR-24-3 project is acknowledged. [] J. J. Binney, N. J. Dowrick, A. J. Fisher, and M. Newman, The Theory of Critical Phenomena: An Introduction to the Renormalization Group (Oxford University Press, Inc., New York, NY, USA, 992. [2] J. Zinn-Justin, Quantum Field Theory and Critical Phenomena; 4th ed., Internat. Ser. Mono. Phys. (Clarendon Press, Oxford, 22. [3] L. Bertini, A. De Sole, D. Gabrielli, G. Jona-Lasinio, and C. Landim, Macroscopic fluctuation theory, Rev. Modern Phys. 87, (25.

5 5 [4] B. Derrida, Non-equilibrium steady states: fluctuations and large deviations of the density and of the current, J. Stat. Mech. P723 (27. [5] T. Bodineau and B. Derrida, Distribution of current in nonequilibrium diffusive systems and phase transitions, Phys. Rev. E 72, 66 (25. [6] L. Bertini, A. De Sole, D. Gabrielli, G. Jona-Lasinio, and C. Landim, Non equilibrium current fluctuations in stochastic lattice gases, J. Stat. Phys. 23, (26. [7] P. I. Hurtado and P. L. Garrido, Spontaneous Symmetry Breaking at the Fluctuating level, Phys. Rev. Lett. 7, 86 (2. [8] C. Pérez-Espigares, P. L. Garrido, and P. I. Hurtado, Dynamical phase transition for current statistics in a simple driven diffusive system, Phys. Rev. E 87, 325 (23. [9] J. P. Garrahan and I. Lesanovsky, Thermodynamics of Quantum Jump trajectories, Phys. Rev. Lett. 4, 66 (2. [] C. Ates, B. Olmos, J. P. Garrahan, and I. Lesanovsky, Dynamical phases and intermittency of the dissipative quantum Ising model, Phys. Rev. A 85, 4362 (22. [] I. Lesanovsky, M. van Horssen, M. Guta, and J. P. Garrahan, Characterization of Dynamical Phase Transitions in Quantum Jump Trajectories Beyond the Properties of the Stationary state, Phys. Rev. Lett., 54 (23. [2] D. Manzano and P. I. Hurtado, Symmetry and the thermodynamics of currents in open quantum systems, Phys. Rev. B 9, 2538 (24. [3] H. Touchette, The large deviation approach to statistical mechanics, Phys. Rep. 478, 69 (29. [4] K. D. N. T. Lam, J. Kurchan, and D. Levine, Order in Extremal trajectories, J. Stat. Phys. 37, (29. [5] P. I. Hurtado, C. P. Espigares, J. J. del Pozo, and P. L. Garrido, Thermodynamics of Currents in Nonequilibrium Diffusive Systems: Theory and simulation, J. Stat. Phys. 54, (24. [6] B. Derrida, An exactly soluble non-equilibrium system: The asymmetric simple exclusion process, Phys. Rep. 3, (998. [7] C. Giardinà, J. Kurchan, and L. Peliti, Direct evaluation of large-deviation functions, Phys. Rev. Lett. 96, 263 (26. [8] V. Lecomte and J. Tailleur, A numerical approach to large deviations in continuous time, J. Stat. Mech. P34 (27. [9] C. Giardinà, J. Kurchan, V. Lecomte, and J. Tailleur, Simulating Rare Events in Dynamical processes, J. Stat. Phys. 45, (2. [2] C. Pérez-Espigares, P. L. Garrido, and P. I. Hurtado, Weak additivity principle for current statistics in d dimensions, Phys. Rev. E 93, 43 (26. [2] R. Villavicencio-Sanchez and R. J. Harris, Local structure of current fluctuations in diffusive systems beyond one dimension, Phys. Rev. E 93, 3234 (26. [22] The rates r± α exp[±e α/l]/2 converge for large L to the standard ones found in literature [4, 5], namely 2 ( ± Eα/L, but avoid problems with negative rates for small L. Indeed, the hydrodynamic description of both variants of the model is identical in the thermodynamic limit. However, for finite, moderate values of L the field per unit length (E/L is too strong, leading to an effective anisotropy in the system. In fact, by expanding the microscopic transition rate r α ± to second order in the field per unit length, i.e. r α ± 2 [ ± Eα/L + 2 (Eα/L2 ] + O[(E α/l 3 ], it is easy to show using a simple random walk argument that the second-order perturbation results in an effective increase of diffusivity and mobility along the field direction, and an associated decrease in the orthogonal direction. [23] P. I. Hurtado and P. L. Garrido, Current fluctuations and statistics during a large deviation event in an exactly solvable transport model, J. Stat. Mech. P232 (29. [24] T. Nemoto, F. Bouchet, R. L. Jack, and V. Lecomte, Population dynamics method with a multi-canonical feedback control, Phys. Rev. E 93, 6223 (26. [25] P. I. Hurtado, C. Pérez-Espigares, J. J. del Pozo, and P. L. Garrido, Symmetries in fluctuations far from equilibrium, Proc. Natl. Acad. Sci. USA 8, (2. [26] R. Villavicencio-Sanchez, R. J. Harris, and H. Touchette, Fluctuation relations for anisotropic systems, Europhys. Lett. 5, 39 (24. [27] C. Pérez-Espigares, F. Redig, and C. Giardinà, Spatial fluctuation theorem, J. Phys. A 48, 35FT (25.

6 6 Appendix A: Dynamic phase transitions in current statistics from macroscopic fluctuation theory In this appendix we analyze the equations of macroscopic fluctuation theory (MFT for the current statistics of arbitrary driven diffusive systems, with special emphasis on the MFT predictions regarding the existence and nature of dynamic phase transitions (DPTs in some regimes of current fluctuations. In particular, we consider a broad class of d-dimensional anisotropic driven diffusive systems characterized by a locally-conserved density field ρ(r, t which evolves in time according to the following fluctuating hydrodynamics equation [ 3] ( t ρ(r, t + ˆD(ρ ρ(r, t + ˆσ(ρE + ξ(r, t =, (A with E the external field driving the system out of equilibrium and r [, ] d. The field j(r, t ˆD(ρ ρ(r, t+ ˆσ(ρE+ξ(r, t is the fluctuating current, with ˆD(ρ D(ρ and ˆσ(ρ = σ(ρâ the diffusivity and mobility matrices, respectively, and  a diagonal anisotropy matrix with components Âαβ = a α δ αβ, α, β [, d]. The noise term ξ(r, t is Gaussian and white with zero average, ξ(r, t =, and variance ξ α (r, tξ β (r, t = L d σ(ρa α δ αβ δ(r r δ(t t, (A2 with L the system size in natural units. This (conserved noise term accounts for the many fast microscopic degrees of freedom which are averaged out in the coarse-graining procedure resulting in Eq. (A. The diffusion and mobility transport matrices fully characterize the macroscopic fluctuation properties of the model at hand, being related via a local Einstein relation ˆD(ρ = f (ρˆσ(ρ, with f (ρ the equilibrium free energy of the system. To completely define the problem, the evolution equation (A must be supplemented with appropriate boundary conditions, which in this case are simply periodic along all d directions. The probability of observing a given history {ρ(r, t, j(r, t} τ of duration τ for the density and current fields can be written using path integrals as [] ( P ({ρ, j} τ exp + L d I τ [ρ, j], (A3 with an action I τ [ρ, j] = τ dt dr (j ( + 2σ(ρ D(ρ ρ σ(ρâe  j + D(ρ ρ σ(ρâe, (A4 where the fields ρ(r, t and j(r, t are coupled via the continuity equation, see Eq. (A, t ρ(r, t + j(r, t =. (A5 In any other case I τ [ρ, j]. Moreover, the system of interest is isolated so that the total mass is conserved, ρ = dr ρ(r, t. (A6 The probability P τ (q of observing a space- and time-averaged empirical current q, defined as q = τ dt dr j(r, t, τ scales for long times as P τ (q exp[+τl d G(q], and the current large deviation function (LDF G(q can be related to I τ [ρ, j] via a simple saddle-point calculation in the long-time limit, (A7 G(q = lim τ τ max I τ [ρ, j], {ρ,j} τ (A8 subject to constraints (A5, (A6 and (A7. The density and current fields solution of this variational problem, denoted here as ρ q (r, t and j q (r, t, correspond to the optimal path the system follows in mesoscopic phase space to sustain a long-time current fluctuation q. This path may be in general time-dependent, and the associated general variational problem is remarkably hard. This problem becomes simpler however in different limiting cases. For instance, in the steady state the system exhibits translation symmetry with an homogeneous stationary density profile ρ st (r = ρ and a constant average

7 current j st (r = q = σ ÂE, where we have defined σ σ(ρ. Now, small fluctuations of the empirical current q away from the average behavior q will typically result from weakly-correlated local events in different parts of the system which add up incoherently to yield the desired q. Thus, the optimal density field associated to these small fluctuations still corresponds to the homogeneous, stationary one, i.e. ρ q (r, t = ρ for q q, while the optimal current field is constant, j q (r, t = q, leading to a quadratic current LDF corresponding to Gaussian current statistics, G G (q = ( ( q σ ÂE  q σ ÂE, (A9 2σ as indeed corroborated in our simulations for a broad range of q s. As an interesting by-product, note that current fluctuations in this Gaussian regime obey an anisotropic version of the Isometric Fluctuation Theorem [4, 5], which links in simple terms the probability of two different but Â-isometric current vector fluctuations. In particular, [ ] lim τ τl d ln Pτ (q P τ (q = E (q q, (A q, q in the Gaussian regime such that q Âq = q Âq. Interestingly, the above flat profiles remain a solution of the full variational problem q, but the question remains as to whether other solutions with more complex spatiotemporal structure may yield a better maximizer of the MFT action (A8 for currents. To address this question, we now perturb the above flat solution with small but otherwise arbitrary functions of space and time, and study the local stability of the homogeneous solution against such perturbations. In particular, we ask whether the perturbed fields yield in some case a larger G(q. With this aim in mind, we write ρ(r, t = ρ + δρ(r, t, j(r, t = q + δj(r, t, (A where both ρ(r, t and j(r, t remain constrained by Eqs. (A5, (A6 and (A7. Inserting these expressions in Eq. (A8 and expanding to second order in the perturbations, we obtain the leading correction to the quadratic form G G (q of Eq. (A9 (termed here O2 O2 = 2τ where we have defined ( σ 2 A(ρ, q = σ 3 σ 2σ 2 τ dt dr { A(ρ, qδρ 2 + δρ ˆB(ρ } δρ + δj Ĉ(ρ δj + δj F(ρ, qδρ q  q + σ E ÂE, ˆB(ρ = D2 σ Â, Ĉ(ρ = Â, F(ρ, q = σ  q, σ σ 2 7, (A2 with denoting derivative with respect to the argument, and D D(ρ. We next expand the perturbations δρ(r, t and δj(r, t in Fourier series, taking advantage of the spatial periodic boundary conditions, and imposing explicitly along the way the constraints (A5, (A6 and (A7. For simplicity we particularize hereafter our results for dimension two, d = 2, though the generalization to arbitrary d is straightforward. The O2 correction above is of course a quadratic form of the perturbations with constant coefficients, so that the different Fourier modes decouple simplifying the problem. In this way the stability analysis melts down as usual to an eigenvalue problem, which in this case splits into different problems for only temporal modes, spatiotemporal modes with structure along just one dimension, x or y, and fully 2d spatiotemporal modes, which can be analyzed separately [6]. This straightfoward but lengthy calculation leads to the following conclusion: the flat solution corresponding to Gaussian current statistics remains stable (i.e. the O2 correction is negative whenever the following conditions hold, (A3 a min kn 2 D 2 + H(E, q > σ a max km 2 D 2 + H(E, q > (A4 σ ( amin kn 2 + a max km 2 D 2 + H(E, q >, σ with k n = 2πn and k m = 2πm the different spatial modes associated to each perturbation along either direction, a min = min{a α, α [, d]} and a max = max{a α, α [, d]}, and ( H(E, q = σ E ÂE σ 2 2 q  q (A5 A number of important conclusions can be directly derived from this set of conditions, namely:

8 8 (i The first mode to become unstable (if any is always the fundamental mode k = 2π. (ii For any value of the anisotropy, the first perturbations to become unstable are those with structure along one spatial dimension, x or y. (iii For anisotropic systems, a min < a max, the leading unstable perturbation has structure in the direction of minimum anisotropy. (iv For isotropic systems, a min = a max a, both one-dimensional perturbations trigger the instability of the flat solution at the same point. In this case, the orientation of the current vector q determines the most probable profile immediately after the instability kicks in, with structure only along the x- or y-direction, as dictated by the term proportional to F(ρ, q in the O2 correction, see Eq. (A2. Therefore there exists a line of critical values for the current q c at which the instability appears, given by ( q c  q c = σ 2 E ÂE + 8π 2 D 2 a min σ σ σξ 2 c. For systems with σ > (as e.g. the Kipnis-Marchioro-Presutti model of heat transport [3, 4, 7], the instability appears always, regardless of the value of the external field (even for E =, separating a regime of Gaussian current statistics for q  q σξ 2 c and a non-gaussian region for q  q > σξ 2 c. On the other hand, for systems with σ < (as the weakly asymmetric simple exclusion process WASEP studied in this paper [8 ] a line of critical values of the external field exists, defined by (A6 E c ÂE c = 8π 2 a min D 2 σ σ Σ c. (A7 beyond which the instability appears, E ÂE Σ c. In this strong field case, Gaussian statistics are expected for all currents except for a region around q =, defined by q  q σξ 2 c, where current fluctuations are non-gaussian. For weak external fields, E ÂE < Σ c, only Gaussian statistics are observed. Whenever the instability emerges, the first two frequencies to become unstable are ν c = ±2πq σ /σ, with q the component of the current vector along the direction of structure formation (that we denote here as x. It can be then easily proved [6] that, immediately after the instability kicks in, the perturbation of the density profile takes the form of a one-dimensional traveling wave [ ( δρ(x, t = A sin 2π x x q σ ], (A8 σ with A and x two arbitrary constants. With this result in mind, we consider now that the relevant density fields well below the instability conserve a traveling-wave structure, i.e. ρ(r, t = ω(r vt which, taking into account constraints (A5, (A6 and (A7, implies current fields of the form j(r, t = q v [ρ ω(r vt] + φ(r vt (A9 where φ(r vt is a possibly structured but divergence-free vector field with zero integral. Hence, under these assumptions, the current LDF of Eq. (A8 can now be written, after a change of variables (r vt r, as G(q = min dr ω,φ,v 2σ(ω J q(ω, φ, v  J q (ω, φ, v, (A2 with the definition J q (ω, φ, v q v [ρ ω(r] + φ(r + D(ω ω σ(ωâe, (A2 and with the additional constraints ρ = ω(r dr φ(r dr = φ(r = (A22 (A23 (A24

9 The optimal fields and velocity solution of this complex variational problem, denoted as ω q (r, φ q (r, and v q, obey the following system of coupled equations, [ ] [ (D(ωq vq σ(ω q σ (ω q 2σ(ω q 2 j q  2 ] j q ω q + D(ω q 2 2σ(ω q σ(ω q  ω q + 2 σ (ω q E ÂE ζ = 9 D(ω q ω q +  j q + σ(ω q [κ Ψ] =, dr ( ωq ρ  j q =, σ(ω q (A25 (A26 where we have defined j q (r q v q [ρ ω q (r] + φ q (r for simplicity in notation, and ζ, κ and Ψ(r are Lagrange multipliers associated to the constraints (A22, (A23 and (A24, respectively. As discussed above, our local stability analysis shows that whenever the transition is unleashed, the leading instability is a density wave with structure in one dimension only, determined either by the minimum-anisotropy direction, see condition (iii above, or by the orientation of the current vector for isotropic systems, see (iv. Such a d traveling wave will dominate the optimal solution of our variational problem at least in a finite region below the transition line, so we now assume d optimal traveling-wave fields of the form ω q (x and φ q (x (recall that we denote as x the direction of structure formation, and x the orthogonal, structureless direction. Next we decompose the optimal vector field φ q along the - and -directions, φ q (x = [φ q(x, φ q (x ]. The divergence-free and zero-integral constraints on φ q, see Eqs. (A23 and (A24 above, thus immediately imply that φ q(x =, while Eq. (A25 leads to φ q (x = a max κσ[ω q (x ], where κ is a constant which comprises in this simplified d problem both Lagrange multipliers κ and Ψ(r. In this situation, the system of coupled integro-differential equations for the optimal fields is ( 2 dωq X(ω q Y (ω q + dx Kω q (x K =, (A27 dx [ω q (x ρ ] a min σ(ω q [ q v (ρ ω q (x ] =, (A28 ρ = ω q (x dx, (A29 with K and K two constants to be specified below, and where we have defined X(ω D(ω2 2σ(ω a min, (A3 Y (ω = σ(ω 2 ( E ÂE + [q v (ρ ω] 2 a min σ(ω 2 q 2 a max ( σ(ωdx 2. (A3 In order to solve this system of equations, we now introduce a reparametrization which simplifies the numerical evaluation of the optimal d density wave profile and thus of the current LDF G(q. First note that, in our geometry, Eq. (A27 leads to a periodic optimal profile symmetric around x = /2 (recall that x [, ], i.e. with reflection symmetry x x. Next we consider the possible maxima and minima of the optimal density wave. For models with a quadratic mobility transport coefficient σ(ω, as the WASEP and KMP models typically studied in literature, the number of possible maxima ω + and minima ω of the curve ω q (x is rather restricted, see Eq. (A27 once particularized for ω q(x =. In the simplest case [3, 6, ], a single maximum ω + = ω q (x + and minimum ω = ω q (x will appear, such that the position of two consecutive extrema x+ and x is such that x + (k x (k = /2n, with n the number of cycles in the unit interval. One can then study numerically the dependence of the current LDF on the number n of cycles, finding that n = is the optimal case. We hence restrict

10 hereafter to d density waves with a single maximum and minimum with n =. As a result, we can express now the constants K and K of Eq. (A27 in terms of these extrema Y (ω ± = Kω ± K. (A32 The values of these extrema ω ± can be obtained from the constraints on the distance between them and the total density of the system. In particular, the first constraint leads to the following equation, ω+ dω ω+ q = dx = 2 ω ω q = 2 f(ω q dω q (A33 ω with X(ω q f(ω q Y (ω q Kω q + K (A34 as derived from Eq. (A27, while the constraint on the total density leads to ρ = ω+ ω ω+ q ω q (x dx = 2 ω ω q dω q = 2 ω q f(ω q dω q. (A35 ω Note that the unknown variables ω ± appear as integration limits in Eqs. (A33 and (A35, difficulting the numerical solution of this problem. However, a suitable change of variables allows to drop this dependence. In particular, we write now ω q (Ω ω + Ω(ω + ω, with Ω [, ], and define h(ω (ω + ω f[ω + Ω(ω + ω ]. With this choice, constraints (A33 and (A35, together with Eq. (A28 for the velocity, now read ρ 2 = 2 = h(ω dω, ω q (Ωh(Ω dω, (A36 (A37 h(ω [ω q(ω ρ ] [ q v (ρ ω q (Ω ] dω =. (A38 a min σ[ω q (Ω] The solution of this three integral equations for a particular model and a given current vector q leads to particular values of the parameters ω, ω + and v, which can be used in turn to solve numerically the differential equation for the optimal density wave profile [3, 6, ] and thus obtain the current LDF G(q. A related, interesting function is the scaled cumulant generating function (SCGF associated to the current probability distribution P τ (q, defined as µ(λ lim t t ln e tλ q or equivalently as the Legendre transform of the current LDF, µ(λ = max[g(q + λ q]. (A39 q The above MFT analysis of the dynamic phase transition can be developed also in terms of µ(λ [6], and this allows a direct comparison with the results of numerical experiments based on the cloning Monte Carlo method, see main text. In particular, defining z λ + E, it can be shown that a line of critical values z c exists at which the instability appears, defined by the equation z c Âz c = Ξ c, with Ξ c the critical threshold defined in Eq. (A6 above. This critical line separates a phase of Gaussian current statistics and homogeneous optimal profiles, corresponding to a quadratic SCGF µ G (z = σ (z Âz E ÂE/2, see Eq. (A9, and the non-gaussian, traveling-wave phase. As before, for systems with σ > (as the KMP model the Gaussian regime dominates for z Âz Ξ c while the traveling-wave region appears for z Âz > Ξ c and E. On the other hand, for systems with σ < (as the WASEP studied here a line of critical values of the external field exist, defined by Eq. (A7, beyond which the instability appears, E ÂE Σ c. In this strong field case, Gaussian statistics are expected z except for a region defined by z Âz Ξ c, where current fluctuations are non-gaussian. In this paper we are interested in the current statistics of the 2d anisotropic weakly asymmetric simple exclusion process (WASEP, see the main text. At the macroscopic level this model is defined by a diffusivity and mobility

11 (a (b (c FIG. 5. (Color online Scaled cumulant generating function of the current for the 2d-WASEP in an external field E = (, along the x-direction, as derived from MFT in the case of (a no anisotropy, ɛ =, (b mild anisotropy, < ɛ < ɛ c, and (c strong anisotropy, ɛ > ɛ c. A DPT appears between a Gaussian phase (light gray with homogeneous optimal pathways, see sketch in Fig. 6.a representing a typical configuration history in this case, and two different non-gaussian symmetry-broken phases for low currents characterized by traveling-wave jammed states along the field direction, blue and Fig. 6.b, or orthogonal to E, red and Fig. 6.c. The first DPT is 2 nd -order while the two symmetry-broken phases are separated by lines of st -order DPTs, see Fig. 7 below. matrices ˆD(ρ = D(ρ and ˆσ(ρ = σ(ρâ, respectively, with D(ρ = /2 and σ(ρ = ρ( ρ (note that σ (ρ <. The diagonal anisotropy matrix  has components Âαβ = a α δ αβ, with α, β = x or y. In particular, we consider systems such that a x = + ɛ and a y = ɛ, with ɛ an anisotropy parameter. The reason behind this choice is that, for finite lattice systems of moderate size L as the one we can simulate effectively using the cloning method, a strong external field E induces an effective anisotropy in the medium, enhancing diffusivity and mobility along the field direction. This effect is modeled in our case, with E in the x-direction, with a parameter ɛ so that the direction of minimum anisotropy (if any is y. Using these definitions, one can particularize the previous theoretical framework for the 2d anisotropic WASEP and proceed to solve numerically the variational problem for the current SCGF µ(λ and the optimal profiles [6]. The solution of this problem shows that the interplay between the external field, the current and the anisotropy leads to a rich phase diagram for current fluctuations. Fig. 5 shows µ(λ, as derived from our MFT calculations, for three different values of the anisotropy ɛ. In all cases, the dynamic phase transition (DPT between the Gaussian (light gray and non-gaussian (dark colors phases appears for z c Âz c = Ξ c. Fig. 6 shows raster plots sketching typical configuration histories for WASEP in the Gaussian current fluctuation phase, and in the two different non-gaussian symmetry-broken phases which appear for low currents. In general, we find numerically that different traveling wave structures dominate different parts of the symmetry-broken, non-gaussian phase, see Fig. 5. For isotropic systems, ɛ =, the optimal density traveling wave for subcritical vectors z = (z x, z y with z x > z y ( z x < z y has structure along the y-direction (x-direction, preserving deep into the non-gaussian phase the result derived from our local stability analysis right below the transition line, see item (iv above. On the other hand, for anisotropic systems (ɛ > the transition triggers the formation of a density traveling wave with structure only along the minimum anisotropy, y-direction, see Figs. 5.b-c and 6.b, in agreement with item (iii above. However, for mild anisotropy we find deep into the non-gaussian regime two pockets of the second symmetry-broken phase, i.e. the one with structure along the maximum anisotropy axis, see Figs. 5.b and 6.c. These two patches decrease with increasing ɛ, up to a critical anisotropy ɛ c.35 beyond which only the minimum-anisotropy density wave appears in the non-gaussian regime, see Fig. 5.c. Next, we investigate the order of the different DPT s showing up in the current statistics of this model. We first focus on the DPT from the Gaussian to the non-gaussian phase at z c Âz c = Ξ c. Left panel in Fig. 7 shows µ(z as a function of z = z for a current angle φ = in the isotropic case (ɛ =, as well as its first and second partial derivatives with respect to z at constant φ. Clearly, the scaled cumulant generating function exhibits a kink in its first derivative and a related discontinuity in the second derivative, a hallmark of a second-order phase transition. Similar discontinuities in 2 zµ(z, φ appear at z c (φ φ [, 2π]. Therefore, as happens also in the simpler DPT s already described and observed in d oversimplified transport models [, ], the DPT from the Gaussian, homogeneous phase and the non-gaussian, traveling-wave phases is of second order type. On the other hand, the DPT between different symmetry-broken phases for z c Âz c < Ξ c and mild or no anisotropy, see Fig. 5.a-b, is clearly discontinuous. Indeed, right panel in Fig. 7 shows µ(z as a function of the angle φ [, π/2] for z = 3 (deep into the symmetry-broken phase in the isotropic case ɛ =, see Fig. 5.a, as well as its first derivative with respect to φ at constant z. The vertical dotted line in this plot signals the DPT separating the two distinct non-gaussian symmetry-broken phases with traveling jammed states along the field direction (φ < π/4 or orthogonal

12 2 t (a (b (c y x E FIG. 6. (Color online Raster plots of typical configuration histories for the anisotropic 2d WASEP in the Gaussian current fluctuation phase (a, and in the two different non-gaussian symmetry-broken phases for low currents, (b and (c, see also Fig. 5. These two novel phases are characterized by traveling density waves which jam particle flow along the field direction, (b and blue phase in Fig. 5, or along the direction orthogonal to E, (c and red phase Fig. 5. FIG. 7. (Color online Left: Scaled cumulant generating function for the current µ(z, φ, with z = λ + E, as a function of z = z for φ = in the isotropic case (ɛ =, see Fig. 5.a, as well as its first and second partial derivative with respect to z. Note that µ(z, φ has been shifted vertically for the sake of clarity. The vertical dotted line signals the DPT between the Gaussian, homogeneous current fluctuation phase (z > z c(φ and the non-gaussian, symmetry broken phase (z < z c(φ with jammed density waves along the field direction, see Fig. 6.b. The scaled cumulant generating function exhibits a kink in its first derivative and an associated discontinuity in the second derivative, a hallmark of a second-order phase transition. Similar discontinuities in 2 zµ(z, φ appear at z c(φ φ [, 2π]. Right: µ(z, φ vs φ for φ [, π/2] and z = 3 in the isotropic case (ɛ =, see Fig. 5.a, as well as its first derivative with respect to φ. As before, µ(z, φ has been shifted vertically for clarity. The vertical dotted line signals the DPT separating the two distinct non-gaussian symmetry-broken phases with jammed states along the field direction (φ < π/4 or orthogonal to it (φ > π/4. While µ(z = 3, φ is continuous across the transition, it exhibits a kink at φ c = π/4 and an associated discontinuity in φ µ(z = 3, φ, signaling the first-order character of this DPT between the two symmetry-broken non-gaussian phases. to it (φ > π/4. While µ(z = 3, φ is continuous across the transition, it exhibits a kink at φ c = π/4 and an associated discontinuity in φ µ(z = 3, φ, signaling the first-order character of this DPT between the two symmetry-broken non-gaussian phases. Something similar happens for all other subcritical z and ɛ < ɛ c. Interestingly, along these st -order DPT lines, both traveling wave solutions are equally probable, giving rise to a coexistence of two different dynamic fluctuating phases very much reminiscent of standard first-order critical phenomena. To end this appendix we note that, even though our local stability analysis shows that the dominant perturbations immediately beyond the instability line are one-dimensional traveling waves, in principle one could expect more complex two-dimensional (traveling-wave patterns to emerge deeper into the symmetry-broken phase. In this case, the equations defining the form of the optimal profiles are partial differential equations, see e.g. Eq. (A25, and the uniqueness of their solution is in general unknown. However, one can find some particular solutions which are local maximizers of the MFT action for currents. The particular 2d solutions we have explored numerically do not improve the current LDF when compared to their d counterparts described above. In any case, we cannot discard exotic 2d solutions not yet explored, though our simulation results in the main text strongly support that d traveling waves are the global optimal solutions in all cases.

13 [] L. Bertini, A. De Sole, D. Gabrielli, G. Jona-Lasinio and C. Landim, Macroscopic fluctuation theory, Rev. Mod. Phys. 87, 593 (25. [2] B. Derrida, Non-equilibrium steady states: fluctuations and large deviations of the density and of the current, J. Stat. Mech. P723 (27. [3] P.I. Hurtado, C. Pérez-Espigares, J.J. del Pozo, and P.L. Garrido, Thermodynamics of currents in nonequilibrium diffusive systems: theory and simulation, J. Stat. Phys. 54, (24. [4] P.I. Hurtado, C. Pérez-Espigares, J.J. del Pozo, and P.L. Garrido, Symmetries in fluctuations far from equilibrium, Proc. Natl. Acad. Sci. USA 8, (2. [5] R. Villavicencio-Sánchez, R.J. Harris, and H. Touchette, Fluctuation relations for anisotropic systems, Europhys. Lett. 5, 39 (24. [6] N. Tizón-Escamilla, P.L. Garrido, and P.I. Hurtado, in preparation (26. [7] C. Kipnis, C. Marchioro and E. Presutti, Heat flow in an exactly solvable model, J. Stat. Phys. 27, 6574 (982. [8] B. Derrida, An exactly soluble non-equilibrium system: The asymmetric simple exclusion process, Phys. Rep. 3, 6583 (998. [9] T. Bodineau and B. Derrida, Distribution of current in nonequilibrium diffusive systems and phase transitions, Phys. Rev. E 72, 66 (25. [] C. Pérez-Espigares, P.L. Garrido, and P.I. Hurtado, Dynamical phase transition for current statistics in a simple driven diffusive system, Phys. Rev. E 87, 325 (23. [] P.I. Hurtado and P.L. Garrido, Spontaneous symmetry breaking at the fluctuating level, Phys. Rev. Lett. 7, 86 (2. 3