{"id":"c38a0381-2e65-4098-a87b-7d949944545a","arxiv_id":"2501.09629","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"A synthesis of MFT current fluctuation theory, including a weak additivity principle for d>1 and a packing-field proposal for programmable time crystals.","lead":"These lecture notes collect the large-deviation theory of current fluctuations in driven diffusive systems, covering the additivity principle, dynamical phase transitions, and spectral signatures. They also propose a 'packing field' mechanism for building programmable time-crystal phases, which is the most forward-looking part.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The wAP architecture survives a singular ψ_q; the load-bearing gap is the unproven single-principal-direction and time-independence ansatz behind Eq (45).","rationale":"The reader's weakest assumption — C² smoothness of ψ_q — is a real but secondary gap: it affects only Eq (43). The central practical conclusions (structured nonlocal currents, wAP dominance over sAP) can be obtained without Eq (43) by direct variational minimization over current fields, provided the principal-direction and time-independence ansatz holds. Therefore C² smoothness is not the single most load-bearing condition; the unproved ansatz (44) is. Since the paper explicitly presents the wAP as a conjecture and the reader already assigned CONDITIONAL with high confidence, this concern does not change the verdict. A dedicated numerical test of transverse structure, either from existing 2D rare-event data or from a new full-MFT solver, would settle whether the wAP architecture is complete.","tokens_in":58877,"tokens_out":21298,"duration_ms":215442,"concrete_test":"Perform rare-event (cloning) simulations of the 2D WASEP with unequal boundary densities and a current fluctuation q = (q_∥, q_⊥) with q_⊥ ≠ 0. Measure the time-averaged density profile ⟨ρ(x,y)⟩_q and the empirical current field ⟨j(x,y)⟩_q. If ⟨ρ⟩_q or ⟨j⟩_q varies with the transverse coordinate y beyond statistical error, the principal-direction ansatz (44) is violated and the wAP predictions (46)-(49) are not guaranteed. Alternatively, numerically solve the MFT saddle-point equations (35)-(36) on a 2D grid without imposing single-direction or time-independence, and compare the resulting G(q) with the wAP prediction; a systematic excess would falsify the claim that wAP captures the optimal structured-current architecture.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 3.1 derives Eq (43) from the symmetry of the Hessian of ψ_q, requiring ψ_q to be C². The reader correctly flags this as a gap. However, Eq (45) — the nonlocal orthogonal current that underpins the weak additivity principle — follows directly from the variational equation (36) and the global current constraint, without invoking Eq (43) or Schwarz's theorem. For fields with structure only along x_∥, the transverse component of (36) gives j_⊥ = σ(λ_⊥ + E_⊥); imposing q_⊥ = (1/τ)∫∫ j_⊥ fixes λ_⊥ + E_⊥ and yields (45). Hence even a singular ψ_q does not threaten the wAP architecture. The genuinely load-bearing assumption is the ansatz (44) that optimal fields depend only on a single principal direction (plus time-independence in the additivity regime). This ansatz is asserted as 'typical', not derived. If the true optimum develops genuine d-dimensional structure — transverse density gradients or vortical currents — the wAP functional is not the correct variational bound, and the specific nonlocal form (45) fails. The paper offers no argument ruling out such optima, and its own 2D simulations are not analyzed for transverse structure of the optimal path.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"These lecture notes use macroscopic fluctuation theory and microscopic spectral methods to analyze large deviations of the time-averaged current in driven diffusive systems. After reviewing the 1d additivity principle, the author derives a symmetry constraint (Eq. 43) on the optimal current vector field in d>1, uses it to formulate the weak additivity principle with nonlocal orthogonal current components (Eqs. 45-49), and proves that this wAP dominates the strong additivity principle. The notes then analyze a Z2 symmetry-breaking dynamical phase transition in open particle-hole-symmetric systems via a Landau-like theory and joint mass-current LDF, conjecturing an instanton/Maxwell construction in the non-convex regime. They analyze a time-translation-breaking DPT in periodic systems (traveling waves), connect it to spectral degeneracies of the tilted/Doob generator, and propose a packing-field mechanism for programmable time crystals. Conjectural steps are explicitly flagged.","tokens_in":59205,"tokens_out":15192,"duration_ms":151921,"significance":"The central claim that current fluctuations in d>1 are carried by structured, mobility-coupled nonlocal current fields, rather than uniform ones, is important and, if correct, changes how current LDFs should be computed in higher dimensions. The proof that wAP dominates sAP (Eq. 52) is clean and the derivation of the critical thresholds in the stability analyses is internally consistent. The lecture notes are pedagogically valuable and unusually transparent: the C²-smoothness limitation on ψ_q and the conjectural status of the instanton (Section 4.4) and the traveling-wave ansatz (Section 5.2) are acknowledged. The spectral viewpoint of Section 6 provides a concrete microscopic mechanism for DPTs and leads to falsifiable predictions for programmable time crystals via the packing field of Section 7, which is a strength of the manuscript.","major_comments":[{"comment":"The derivation of Eq. (45) is presented as a consequence of Eq. (43), which holds only if the optimal multiplier ψ_q is twice continuously differentiable; the text itself acknowledges that singular ψ_q could violate Eq. (43). Because Eq. (45) is the quantitative core of the weak additivity principle, this smoothness assumption is load-bearing as written. The gap can be closed by deriving Eq. (45) directly from the variational equation (36) and the single-direction ansatz (44): under that ansatz the transverse component of Eq. (36) implies that j⊥,q/σq is constant, and the empirical-current constraint fixes that constant to q⊥/(τ^{-1}∫∫σ). The manuscript should present this direct route, or prove C² regularity, and remove the implication that the nonlocal structure of Eq. (45) rests on Schwarz's theorem.","section":"§3.1, Eq. (45)"},{"comment":"The wAP functional (49) and the dominance result (52) are derived under the ansatz that optimal fields have structure along a single principal direction and, for the wAP itself, are time-independent. This ansatz is asserted as 'typical' rather than derived. If the true MFT optimum develops genuine d-dimensional transverse structure or time dependence not captured by Eq. (44), then Eq. (45) and the wAP functional are not exact variational bounds. This is a load-bearing assumption for the central claim that wAP is the relevant simplifying principle in d>1. The manuscript should state this limitation wherever Eq. (45) is used and ideally provide a concrete test, for example by checking transverse gradients of the optimal density and current fields in the 2D simulations cited after Eq. (49).","section":"§3.1–3.2, Eqs. (44) and (49)"}],"minor_comments":[{"comment":"The word 'Aditivity' appears as a typo for 'additivity', and similar typos occur throughout ('excersise' near Eq. (14), 'constat' near Eq. (24), 'precission' in §3.3, 'assymetric' in §6.7).","section":"§3, opening paragraph"},{"comment":"The phrase 'to simplify the calculation the calculation' contains a duplicated word and should be corrected.","section":"§5.1, after Eq. (115)"},{"comment":"The caption reads 'eigenvertors' where 'eigenvectors' is intended; please correct this and similar spelling errors in the figure captions.","section":"Fig. 6 caption"},{"comment":"The numerical coefficient 1/10 in Eq. (174) is introduced from a fit to WASEP data at specific parameters, yet the text calls the expression 'quite generically'; either qualify this coefficient as model-dependent or provide a derivation.","section":"§7.2, Eq. (174)"},{"comment":"The jump from the linear instability threshold (Eq. (186)) to the claim of rotating multi-condensate states for all η>η_c^{(m)} goes beyond linear theory; the numerical solutions of Eq. (179) support the claim, but the text should explicitly mark this as a conjecture for the nonlinear regime.","section":"§7.4, after Eq. (186)"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is largely a synthesis of the author's previously published results (Refs. [27,50,52,53,71,101-103]). This is appropriate for a lecture-notes venue, but the editor may wish to confirm that the journal's policies on self-citation and prior publication are satisfied. The most original element, the packing-field mechanism for programmable time crystals, is clearly labeled as a proposal and is supported by an explicit linear-stability calculation."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know this is mostly a very well-written review. The author says up front that the material is largely published elsewhere, and the value is in the unified, self-contained presentation plus a speculative extension—the packing-field mechanism for programmable time crystals. That extension is clearly flagged as a proposal, which I appreciate.\n\nWhat it does well: the MFT derivations are careful and internally consistent, the spectral viewpoint on DPTs is nicely laid out, and the linear stability calculation for the packing-field threshold (Eq. 186) is clean. The author is honest about what is conjectural (the instanton in 4.4, the traveling-wave ansatz in 5.2, the empirical fit in Eq. 174).\n\nWhere the soft spots are: the weak additivity principle rests on the assumption that optimal fields have structure only along a single principal direction. That ansatz is asserted as 'typical' but never derived, and it is genuinely load-bearing. If the true optimum develops transverse density gradients or vortical currents, the wAP functional is only an upper bound and the specific nonlocal form (45) fails. The paper does not rule this out, and its own 2D simulations are not analyzed for transverse structure. The C^2 regularity concern the reader flagged is actually secondary: for periodic transverse boundary conditions, the principal-direction ansatz plus periodicity forces ∂⊥ψ = 0, so (45) follows without Schwarz's theorem. The stress-test note is right that the single-principal-direction issue is the real gap.\n\nAlso, the packing-field time-crystal proposal is suggestive but not established. The 1/10 coefficient in Eq. (174) is empirical, and the experimental outlook is speculative. These are not fatal for a lecture note, but they should be labeled as such more prominently.\n\nWho is this for: graduate students and researchers entering current large deviation theory, and experts wanting a convenient reference. It deserves a serious referee. A reviewer should ask the author to state explicitly that the principal-direction ansatz is a conjecture, and ideally to test it numerically in 2D by checking for transverse structure in the optimal path. With that clarified, it is a solid lecture note.\n\nMy recommendation: send it to peer review, not desk reject. It is honest, competently derived, and useful—conditional on the author tightening the ansatz caveat.","headline":"A clear, honest lecture-note synthesis of current large deviation theory, with a speculative packing-field proposal; the real caveat is the unproven single-principal-direction ansatz, not the flagged C^2 regularity issue.","tokens_in":59685,"tokens_out":6026,"would_cite":true,"duration_ms":65821,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"These lecture notes argue that in d>1 the optimal trajectory for a current fluctuation carries a mobility-weighted, curl-free structure (Eq.","keywords":["large deviations","macroscopic fluctuation theory","additivity principle","current fluctuations","dynamical phase transitions","traveling waves","time crystals","Doob transform"],"falsifier":"Take a d>1 driven diffusive model with density-dependent mobility (for example, two-dimensional WASEP or KMP on a ring with a current bias), compute the optimal trajectory numerically by action minimization or rare-event cloning, and measure the orthogonal current component $j_{\\perp,q}(x_\\parallel)$ along the optimal path. If $j_{\\perp,q}(x_\\parallel)$ is not proportional to $\\sigma[\\rho_q(x_\\parallel)]$ with the global normalization of Eq. (45), or if the Jacobian of $\\chi_q$ is not symmetric, the central theorem fails. A sharper test is to construct a regime with a known singular $\\psi_q$—for instance a boundary or constraint producing a shock in the multiplier field—and check whether Eq. (43) is violated at the singularity.","tokens_in":58666,"feed_emoji":"🌀","tokens_out":6862,"duration_ms":66923,"temperature":0.7,"pith_summary":"These lecture notes argue that the variational path sustaining a rare current fluctuation changes character when the system has more than one spatial dimension. In d>1, the optimal current vector field is forced by a mobility-weighted curl-free condition to develop structure in every component transverse to the driving direction, with that structure tied nonlocally to the mobility of the entire optimal density profile. Because a structured current field never costs more than a uniform one whenever the current has transverse components, the weak additivity principle strictly dominates the strong additivity principle. The notes also develop a unified picture of dynamical phase transitions: discrete particle-hole symmetry breaking in open channels and continuous time-translation breaking by traveling waves in periodic systems, both traced to an emergent degeneracy of the leading eigenspace of the biased generator. If correct, these results set the architecture that any theory or simulation of current fluctuations in d>1 must respect.","feed_headline":"Rare currents in 2D flow along nonlocal structured paths","feed_subtitle":"A mobility-weighted curl condition forces structured transverse currents, so weak additivity dominates strong in d>1.","key_machinery":"The load-bearing object is the reduced optimal excess current $\\chi_q\\equiv [j_q+D_q\\nabla\\rho_q-\\sigma_q E]/\\sigma_q$, whose Jacobian equals the Hessian of the Lagrange-multiplier field $\\psi_q$; Schwarz's theorem makes that Hessian symmetric when $\\psi_q$ is $C^2$, and the symmetry propagates to the mobility-weighted curl-free condition $\\partial_\\beta(j_{\\alpha,q}/\\sigma_q)=\\partial_\\alpha(j_{\\beta,q}/\\sigma_q)$ on the optimal current field. The second piece of machinery is the weak additivity principle, which assumes time-independent optimal paths with structure along one principal direction, a divergence-free current, and the nonlocal transverse-current formula (45) or (46). A comparison via the reverse Hölder inequality shows the weak-additivity functional always dominates the strong-additivity functional by $\\Delta F_q=\\frac{q_\\perp^2}{2}[\\int dx\\,\\sigma^{-1}-(\\int dx\\,\\sigma)^{-1}]\\geq 0$. The spectral machinery is the tilted or Doob-transformed generator: dynamical phase transitions appear as a closing of the spectral gap, with phase probability vectors built from the subleading eigenvectors of the degenerate leading eigenspace.","core_discovery":"The central claim is a structural theorem for optimal paths: for any d-dimensional driven diffusive system described by macroscopic fluctuation theory, the optimal current field $j_q(r,t)$ of a fluctuation $q$ satisfies $\\partial_\\beta(j_{\\alpha,q}/\\sigma_q)=\\partial_\\alpha(j_{\\beta,q}/\\sigma_q)$ for all $\\alpha,\\beta$ (Eq. 43), provided the optimal Lagrange-multiplier field $\\psi_q$ is twice continuously differentiable. For optimal paths with structure along one principal direction, this forces every orthogonal component to take the nonlocal form $j_{\\beta,q}(x_\\parallel,t)=q_\\beta\\,\\tau\\,\\sigma[\\rho_q(x_\\parallel,t)]/\\int_0^\\tau ds\\int_0^1 dy\\,\\sigma[\\rho_q(y,s)]$ (Eq. 45), so the transverse current is set by the space-time averaged mobility of the whole optimal density profile. Consequently, the correct d>1 extension of the additivity principle is the weak version, in which the optimal current is divergence-free and structured, and this strictly dominates the strong version whenever $q_\\perp\\neq 0$ and the mobility depends on density. The notes further establish that the dynamical phase transitions seen in these systems—Z2 particle-hole symmetry breaking in open channels and traveling-wave/time-crystal phases in periodic rings—share a common spectral origin: an emergent degeneracy of the leading eigenspace of the tilted generator, with the subleading eigenvectors carrying the symmetry-breaking structure.","pith_inferences":["A direct but unstated corollary is that rare-event simulation and path-contraction schemes in d>1 that parameterize optimal paths by spatially uniform currents are systematically biased away from the true minimizer; optimal biasing protocols should propose divergence-free structured currents of the mobility-weighted nonlocal form.","The same mobility-weighted curl-free argument should extend to fluctuations of several coupled conserved currents, where the optimal vector field of each current would be coupled to the mobility tensor of the whole set; this is a natural generalization the notes do not spell out.","The regularity caveat on $\\psi_q$ identifies a testable boundary: models with hard constraints, shocks, or singular optimal density profiles may realize the singular-$\\psi_q$ case, and in those models the claim that weak additivity always dominates strong additivity could fail.","The packing-field route to time crystals suggests experimental feedback protocols for colloidal or active-matter systems, where configuration-dependent fields can be imposed in real time; the notes only sketch this as a future direction."],"forward_implications":["For any d>1 driven diffusive system, the current large-deviation function must be computed from structured optimal current fields; the strong additivity principle is strictly suboptimal whenever the current has transverse components and the mobility depends on density.","During a fluctuation, every component of the optimal current orthogonal to the principal direction is slaved to the whole optimal density profile through Eq. (45), making current statistics in d>1 spatiotemporally nonlocal.","For currents with no transverse component, $q_\\perp=0$, the weak and strong additivity principles coincide, which reconciles apparently conflicting earlier results on the validity of additivity in higher dimensions.","Open and periodic driven systems both exhibit dynamical phase transitions at the fluctuation level: Z2 particle-hole symmetry breaking in open channels, and traveling-wave phases that break continuous time-translation symmetry in rings.","The microscopic signature of these transitions is an emergent degeneracy of the leading eigenspace of the tilted generator; in the traveling-wave case the degenerate eigenvalues form a band with constant imaginary spacing, giving time-crystal order that the Doob/packing-field mechanism can make programmable."],"supporting_citations":[{"why":"Provides the macroscopic fluctuation theory action and variational formulation on which the entire optimal-path analysis rests.","marker":"[2]"},{"why":"Introduces the additivity principle for one-dimensional current fluctuations that the notes extend to d>1.","marker":"[27]"},{"why":"Formulate the weak additivity principle and the nonlocal optimal-current structure in higher-dimensional driven systems.","marker":"[50, 53]"},{"why":"Establish the particle-hole symmetry-breaking dynamical phase transition in open systems and its Landau-like treatment.","marker":"[52, 71]"},{"why":"Establish traveling-wave dynamical phase transitions in periodic systems, providing the hydrodynamic benchmark for the spectral picture.","marker":"[14, 43]"},{"why":"Supplies the spectral mechanism linking dynamical phase transitions to degeneracy of the leading eigenspace, and the Doob-transform construction.","marker":"[102]"},{"why":"Identifies time-crystal signatures in the traveling-wave regime and introduces the packing-field mechanism.","marker":"[101]"},{"why":"Provides the two-dimensional anisotropic traveling-wave phase diagram that confirms the structured-current predictions.","marker":"[56]"}],"fun_headline_variants":["Optimal rare currents become nonlocal in higher dimensions","Weak additivity wins in higher-dimensional current fluctuations","Nonlocal optimal paths shape rare currents in higher dimensions","Time-crystal phases emerge in driven diffusive currents","How rare currents take nonlocal paths in driven media"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything rests on the optimal Lagrange-multiplier field $\\psi_q$ being twice continuously differentiable in space so that its Hessian is symmetric; if some driven system realizes a singular $\\psi_q$, the claimed mobility-weighted curl-free architecture of optimal currents can fail.","fun_headline_variants_meta":{"raw":{"variants":["Optimal rare currents become nonlocal in higher dimensions","Weak additivity wins in higher-dimensional current fluctuations","Nonlocal optimal paths shape rare currents in higher dimensions","Time-crystal phases emerge in driven diffusive currents","How rare currents take nonlocal paths in driven media"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000682,"raw_usage":{"total_tokens":3203,"prompt_tokens":1158,"completion_tokens":2045,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":774,"completion_tokens_details":{"reasoning_tokens":1970}},"tokens_in":774,"tokens_out":2045,"duration_ms":14664,"temperature":1.0,"reasoning_tokens":1970,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T19:49:19.626388+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a d>1 driven diffusive model with density-dependent mobility (for example, two-dimensional WASEP or KMP on a ring with a current bias), compute the optimal trajectory numerically by action minimization or rare-event cloning, and measure the orthogonal current component $j_{\\perp,q}(x_\\parallel)$ along the optimal path. If $j_{\\perp,q}(x_\\parallel)$ is not proportional to $\\sigma[\\rho_q(x_\\parallel)]$ with the global normalization of Eq. (45), or if the Jacobian of $\\chi_q$ is not symmetric, the central theorem fails. A sharper test is to construct a regime with a known singular $\\psi_q$—for instance a boundary or constraint producing a shock in the multiplier field—and check whether Eq. (43) is violated at the singularity.","supporting_citations":[{"cited_title":"Hurtado-Gutiérrez, F","cited_arxiv_id":null,"evidence_quote":"Identifies time-crystal signatures in the traveling-wave regime and introduces the packing-field mechanism."}],"review_version":1}