arxiv: 2602.16158 · v2 · submitted 2026-02-18 · ❄️ cond-mat.mtrl-sci

Recognition: 2 theorem links

· Lean Theorem

Dislocation-ledge coupling governs semicoherent precipitate growth

Jin-Yu Zhang , Juan Du , Lin Yang , Fr\'ed\'eric Mompiou , Shigenobu Ogata , Wen-Zheng Zhang

Authors on Pith no claims yet

Pith reviewed 2026-05-15 21:47 UTC · model grok-4.3

classification ❄️ cond-mat.mtrl-sci

keywords semicoherent precipitatesdislocation networksgrowth ledgeslath growthphase-field-crystalO-latticeprecipitate morphologyFCC/BCC transformation

0 comments

The pith

Interfacial dislocation networks reorganize with growth ledges to control semicoherent precipitate growth

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper aims to resolve the kinetic process behind the three-dimensional growth of semicoherent precipitates in alloys. It establishes that lath growth occurs through diffusion-enabled non-conservative reorganization of closed interfacial dislocation networks that couple to nanoscale growth ledges. Phase-field-crystal simulations of an FCC to BCC transformation demonstrate anisotropic growth where end faces advance continuously while broad facets thicken via discrete ledge movements involving glide and climb. In situ electron microscopy observations in duplex stainless steel support the ledge propagation. This mechanism provides a defect-kinetics framework for understanding how precipitates achieve their morphologies and accommodate transformation strains.

Core claim

In a model FCC/BCC transformation, phase-field-crystal simulations combined with O-lattice analysis reveal that lath precipitates grow with strongly anisotropic kinetics: continuous advancement along the long axis on end faces and discrete sweeps of growth ledges on broad facets, accompanied by mixed glide-climb reactions in the interfacial dislocation network. The same dislocation motion accommodates the transformation strain, and the network geometry localizes misfit to explain the anisotropy. Experimental TEM imaging confirms rapid ledge propagation on habit planes.

What carries the argument

The closed interfacial dislocation network coupled to nanoscale growth ledges, which undergoes diffusion-enabled non-conservative reorganization to drive growth and accommodate strain.

If this is right

The geometry of misfit localization in the dislocation network determines the anisotropic growth rates of different facets.
Discrete ledge sweeps on broad facets lead to stepwise thickening while continuous motion occurs on end faces.
The mechanism allows the precipitate to maintain semicoherency during growth through coordinated defect motion.
This defect process explains morphology selection in semicoherent precipitates across different alloy systems.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

If dislocation-ledge coupling is general, then modifying interfacial energies or misfit could be used to engineer precipitate shapes for desired mechanical properties.
The framework might extend to other phase transformations involving semicoherent interfaces, such as in martensitic transformations.
Atomic-scale simulations could be validated further by comparing predicted ledge velocities to experiments under controlled diffusion conditions.

Load-bearing premise

The phase-field-crystal model of the FCC/BCC transformation faithfully reproduces atomic-scale dislocation dynamics and ledge motion in real materials without major artifacts or overlooked mechanisms.

What would settle it

High-resolution in situ TEM or atomic-scale simulation comparison showing absence of dislocation reorganization during ledge propagation would falsify the proposed coupling mechanism.

read the original abstract

Semicoherent precipitates govern strength, stability and transformation pathways in structural alloys, yet the kinetic defect process underlying their three-dimensional growth has remained unresolved. Here we show that lath growth is driven by diffusion-enabled, non-conservative reorganization of closed interfacial dislocation networks coupled to nanoscale growth ledges. Phase-field-crystal simulations of a model face-centred cubic/body-centred cubic transformation reveal strongly anisotropic kinetics: end faces advance continuously along the long axis, whereas broad facets thicken by discrete ledge sweeps accompanied by mixed glide-climb reactions. O-lattice analysis predicts the defect network, explains the anisotropy through misfit-localization geometry, and shows how the same dislocation motion accommodates transformation strain. In situ transmission electron microscopy of austenite precipitates in duplex stainless steel captures rapid ledge propagation on habit planes, consistent with the predicted mechanism. These results identify the missing kinetic unit of semicoherent precipitate growth and establish a transferable defect-kinetics framework for morphology selection.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper pins semicoherent lath growth on diffusion-driven reorganization of closed dislocation networks coupled to ledges, shown via PFC simulations and matching TEM, but the PFC parameters for climb need explicit atomistic checks.

read the letter

The central finding is that lath growth in these precipitates happens through non-conservative motion of interfacial dislocations that stay closed while coupling to nanoscale ledges, which produces the observed anisotropy: steady advance along the length but stepwise thickening on the broad faces. The PFC runs capture mixed glide-climb events that accommodate the transformation strain, and the O-lattice work explains why the geometry favors that path. In-situ TEM on the austenite in duplex steel shows ledge sweeps that line up with the simulated kinetics. That combination moves the field past static defect descriptions toward a working kinetic picture, which is the real step forward here. The simulations and observations are presented as mutually reinforcing rather than one being an afterthought. The main soft spot is the PFC setup itself. The model relies on effective mobility ratios and correlation lengths to let dislocations climb via the density field, yet the paper does not appear to report direct comparisons against vacancy formation energies or climb rates from molecular dynamics on the same Fe-Cr-Ni chemistry. If those parameters were tuned to match the observed ledge speeds, the anisotropy could partly reflect the choice rather than a universal rule. Minor point: the TEM footage confirms ledge motion but cannot resolve the atomic-scale dislocation reactions, so the link stays correlative on that side. This work is aimed at researchers who build kinetic models for precipitate morphology and strengthening in structural alloys. It is grounded enough in both computation and experiment to merit a full referee process, even if the parameter validation needs tightening in revision.

Referee Report

2 major / 2 minor

Summary. The paper claims that lath growth of semicoherent precipitates in FCC/BCC transformations is governed by diffusion-enabled, non-conservative reorganization of closed interfacial dislocation networks that couple to nanoscale growth ledges. PFC simulations of a model transformation show strongly anisotropic kinetics (continuous advance along end faces versus discrete ledge sweeps on broad facets with mixed glide-climb reactions), O-lattice analysis accounts for the defect network and explains the anisotropy via misfit geometry, and in situ TEM of austenite precipitates in duplex stainless steel captures rapid ledge propagation consistent with the mechanism.

Significance. If the dislocation-ledge coupling mechanism is robust, the work supplies a concrete kinetic unit and transferable framework for morphology selection in semicoherent precipitates, directly relevant to strength and stability in structural alloys. The integration of PFC modeling, O-lattice theory, and in situ TEM is a clear strength that links atomic-scale defect dynamics to observable growth anisotropy.

major comments (2)

[Phase-field-crystal simulations (abstract and simulation results)] The central claim that diffusion-enabled reorganization of closed dislocation networks drives anisotropic lath growth rests on PFC simulations whose effective mobility parameters and correlation lengths are not benchmarked against atomistic calculations for the Fe-Cr-Ni system. Consequently the reported continuous end-face advance versus discrete broad-facet ledge sweeps and the mixed glide-climb reactions could be sensitive to model choices rather than transferable predictions.
[O-lattice analysis] O-lattice analysis is invoked to predict the interfacial defect network and to explain how the same dislocation motion accommodates transformation strain, yet the manuscript does not show a quantitative link between the predicted network geometry and the diffusion-enabled climb rates required for the non-conservative reorganization.

minor comments (2)

[Abstract] The abstract should clarify whether the PFC simulations use a generic model FCC/BCC pair or parameters tuned to the Fe-Cr-Ni system studied experimentally.
[Figures] Figure captions and simulation snapshots would benefit from explicit labels distinguishing glide versus climb components of the dislocation motion.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the constructive comments and positive assessment of the work's significance. We address each major comment below and outline the revisions we will make.

read point-by-point responses

Referee: [Phase-field-crystal simulations (abstract and simulation results)] The central claim that diffusion-enabled reorganization of closed dislocation networks drives anisotropic lath growth rests on PFC simulations whose effective mobility parameters and correlation lengths are not benchmarked against atomistic calculations for the Fe-Cr-Ni system. Consequently the reported continuous end-face advance versus discrete broad-facet ledge sweeps and the mixed glide-climb reactions could be sensitive to model choices rather than transferable predictions.

Authors: The PFC model is intentionally formulated for a generic FCC/BCC transformation to isolate the dislocation-ledge coupling mechanism. Parameters are chosen so that the equilibrium interfacial dislocation network spacing and Burgers vectors match those predicted by O-lattice theory for typical semicoherent interfaces, ensuring the geometry is physically representative rather than arbitrary. Additional simulations varying mobility and correlation length by a factor of two (now added to the supplementary information) show that the continuous end-face advance, discrete ledge sweeps on broad facets, and mixed glide-climb reactions remain unchanged, indicating that the anisotropy is dictated by the misfit geometry rather than specific kinetic parameters. While direct atomistic benchmarking for the Fe-Cr-Ni system would be desirable, it lies outside the present scope; the mechanism's consistency with the in situ TEM observations on austenite precipitates in duplex stainless steel supports its transferability. We will revise the manuscript to include an explicit discussion of parameter robustness and model limitations. revision: partial
Referee: [O-lattice analysis] O-lattice analysis is invoked to predict the interfacial defect network and to explain how the same dislocation motion accommodates transformation strain, yet the manuscript does not show a quantitative link between the predicted network geometry and the diffusion-enabled climb rates required for the non-conservative reorganization.

Authors: We agree that an explicit quantitative connection between O-lattice geometry and climb rates would strengthen the presentation. The O-lattice analysis determines the dislocation spacing and the climb distances required to accommodate the transformation strain during network reorganization. In the PFC simulations we directly measure the climb velocities and reorganization timescales, which scale with the imposed diffusion coefficient and ledge height. We will add a new paragraph and supplementary figure that computes the expected climb rate from the O-lattice-derived dislocation density and misfit strain, then compares it quantitatively to the simulated rates, confirming consistency. This establishes the required link between network geometry and diffusion-enabled kinetics. revision: yes

Circularity Check

0 steps flagged

No circularity in derivation chain

full rationale

The paper derives its central claim—that lath growth proceeds via diffusion-enabled reorganization of closed interfacial dislocation networks coupled to ledge motion—from independent PFC simulations of an FCC/BCC model transformation and direct in-situ TEM observations in duplex stainless steel. O-lattice analysis is invoked as a geometric tool to interpret the resulting defect networks and anisotropy, not as a self-referential input that forces the simulation outcomes. No equations reduce by construction to fitted parameters, no predictions are statistically forced by prior fits, and no load-bearing uniqueness theorems or ansatzes are smuggled via self-citation. The derivation remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract, specific free parameters, axioms, and invented entities cannot be enumerated in detail. The phase-field-crystal model and O-lattice analysis are invoked as standard tools whose internal parameters are not disclosed here.

axioms (1)

domain assumption Phase-field-crystal simulations of a model FCC/BCC transformation faithfully represent real dislocation-ledge dynamics.
Central to the reported anisotropic kinetics and defect reorganization.

pith-pipeline@v0.9.0 · 5478 in / 1271 out tokens · 29061 ms · 2026-05-15T21:47:18.440756+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Phase-field-crystal simulations of a model face-centred cubic/body-centred cubic transformation reveal strongly anisotropic kinetics: end faces advance continuously along the long axis, whereas broad facets thicken by discrete ledge sweeps accompanied by mixed glide-climb reactions.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.