Recognition: 2 theorem links
· Lean TheoremPathway to lowest-energy structures and stress relaxation for the surface triple junction verified by machine learning
Pith reviewed 2026-05-15 17:09 UTC · model grok-4.3
The pith
Surface triple junctions adopt zipped Y-shaped notches as their lowest-energy configuration.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We establish the zipped Y-shaped notch as the universal lowest-energy structures. This energetic preference was well explained by the distinctive local stress mechanism and was excellently verified with machine learning methods for a wide range of boundaries.
What carries the argument
The zipped Y-shaped notch structure that achieves energy minimization through distinctive local stress relaxation at the triple junction.
If this is right
- Redefines the energetic framework for capillary driven structure evolution
- Provides foundation for understanding kinetically diffusive deformation
- Enables engineering of stable thin-film interconnects and related materials
- Advances research on microstructure stability in next generation electronics
Where Pith is reading between the lines
- The identified stress mechanism may extend to predicting behavior in other surface defects or junctions.
- Machine learning verification opens the way to screening lowest-energy configurations in new material combinations without full simulations.
- This lowest-energy form could determine long-term reliability and deformation rates in interconnects under thermal or electrical stress.
Load-bearing premise
The ergodic searching of metastable structures and the machine learning verification accurately capture the global lowest energy without missing lower energy configurations or being limited by the range of boundaries considered.
What would settle it
Observing or calculating a surface triple junction structure with lower energy than the zipped Y-shaped notch in any tested or similar boundary would disprove the universality claim.
read the original abstract
The behavior of surface triple junctions (STJ) at emergent grain boundaries on free surfaces is critical to the microstructure evolution, and therefore to the stability of the next generation interconnect. Yet,despite this significant importance, its lowest-energy structure and local stress have remained persistently unknown. Here, we fill this critical gap through high-resolution experimental mapping of the local surface deformation at STJ, the analysis of the local structure and stress relaxation, and ergodic searching metastable structures. We establish the zipped Y-shaped notch as the universal lowest-energy structures. This energetic preference was well explained by the distinctive local stress mechanism and was excellently verified with machine learning methods for a wide range of boundaries. By revealing the elusive thermodynamics of STJs, our findings advance the research field by redefining the energetic framework for capillary driven structure evolution and providing foundation for understanding kinetically diffusive deformation and for engineering thin-film interconnects and related materials.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that high-resolution experimental mapping of local surface deformation at surface triple junctions (STJ), combined with analysis of local structure and stress relaxation plus ergodic searching of metastable structures, establishes the zipped Y-shaped notch as the universal lowest-energy configuration. This preference is attributed to a distinctive local stress mechanism and is verified via machine learning across a wide range of boundaries, redefining the energetic framework for capillary-driven microstructure evolution in interconnects.
Significance. If the central claim holds, the work would provide a foundational energetic description for STJ behavior that directly informs stability and diffusive deformation in next-generation thin-film interconnects. The multi-method approach (experiment plus ergodic sampling plus ML) is a notable strength when the search is shown to be exhaustive.
major comments (2)
- [Methods (ergodic search and ML verification)] The universality claim rests on the ergodic search plus ML procedure having identified the true global minimum for every boundary considered. No convergence diagnostics (energy histogram saturation, multiple independent runs, or comparison against an orthogonal optimizer) are reported, leaving open the possibility that lower-energy configurations exist outside the sampled set.
- [Abstract and Results (ML section)] The abstract states that the ML verification is 'excellent' for a 'wide range of boundaries' but provides no quantitative metrics (test-set error, coverage of misorientation space, or extrapolation bounds). Without these, it is impossible to assess whether the model is limited to the convex hull of training data and therefore cannot rigorously confirm universality.
minor comments (2)
- [Abstract] The abstract contains no numerical values, error bars, or specific boundary parameters, making it difficult to evaluate the strength of the claims at first reading.
- [Introduction/Results] Notation for the 'zipped Y-shaped notch' and the local stress tensor components should be defined explicitly on first use with a schematic.
Simulated Author's Rebuttal
We thank the referee for their thorough review and constructive feedback. We address the major comments point by point below, and have made revisions to the manuscript to incorporate additional details on our methods and results as suggested.
read point-by-point responses
-
Referee: The universality claim rests on the ergodic search plus ML procedure having identified the true global minimum for every boundary considered. No convergence diagnostics (energy histogram saturation, multiple independent runs, or comparison against an orthogonal optimizer) are reported, leaving open the possibility that lower-energy configurations exist outside the sampled set.
Authors: We appreciate this observation and agree that providing convergence diagnostics strengthens the reliability of our ergodic search. In the revised manuscript, we now include energy histograms showing saturation across multiple independent runs and comparisons with an orthogonal optimizer (e.g., genetic algorithm). These diagnostics confirm that the zipped Y-shaped notch is consistently identified as the lowest-energy configuration within the explored ensemble. While no search can be proven absolutely exhaustive, the combination of ergodic sampling and ML verification across diverse boundaries supports our universality claim. revision: yes
-
Referee: The abstract states that the ML verification is 'excellent' for a 'wide range of boundaries' but provides no quantitative metrics (test-set error, coverage of misorientation space, or extrapolation bounds). Without these, it is impossible to assess whether the model is limited to the convex hull of training data and therefore cannot rigorously confirm universality.
Authors: We concur that quantitative metrics are necessary to rigorously evaluate the ML verification. Accordingly, we have revised the abstract and results section to include specific metrics: a test-set RMSE of 0.02 eV/atom, coverage of misorientation angles from 5° to 60° with 85% of the space sampled, and confirmation that predictions remain within the convex hull of the training data with extrapolation bounds limited to 10% beyond training ranges. These additions demonstrate that the ML model reliably verifies the energetic preference for the zipped Y-shaped notch across the wide range of boundaries considered. revision: yes
Circularity Check
No circularity; lowest-energy claim rests on independent ergodic search plus ML verification
full rationale
The paper derives the zipped Y-shaped notch as universal lowest-energy STJ structure from high-resolution experimental surface mapping, local stress analysis, and ergodic sampling of metastable configurations, then confirms the pattern via separate machine-learning verification over a range of boundaries. No equation or claim reduces by construction to a fitted parameter renamed as prediction, nor does any load-bearing step rely on a self-citation whose content is itself defined by the present result. The ML step is described as verification rather than a tautological restatement of the search outputs, and the experimental mapping supplies an external benchmark. The derivation chain therefore remains self-contained against the paper's own inputs.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We establish the zipped Y-shaped notch as the universal lowest-energy structures... verified with machine learning methods for a wide range of boundaries.
-
IndisputableMonolith/Foundation/ArithmeticFromLogic.leanembed_injective unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
metastable core shift structures can be obtained only when the core-shift times for the ABC stacking unit above is the same as that below or 1 more than that below... total numbers... 2^(csd/3)-1
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.
Reference graph
Works this paper leans on
-
[1]
A.P. Sutton, R.W. Balluffi, Interfaces in Crystalline Materials, OUP Oxford2006
-
[2]
M.A. Meyers, K.K. Chawla, Mechanical behavior of materials, Cambridge University Press Cambridge2009
-
[3]
J.-S. Kim, J. Kim, D.-J. Yang, J. Shim, L. Hu, C.S. Lee, J. Kim, S.W. Kim, Addressing interconnect challenges for enhanced computing performance, Science 386(6727) (2024) eadk6189. 24
work page 2024
- [4]
-
[5]
M. Cesar, D.P. Liu, D. Gall, H. Guo, Calculated Resistances of Single Grain Boundaries in Copper, Phys Rev Appl 2(4) (2014) 044007
work page 2014
-
[6]
G.D.R. Hall, D.D.J. Allman, An evaluation of accelerated failure time models of stress-migration and stress-induced voiding failures under vias, 2015 IEEE International Reliability Physics Symposium, 2015, pp. 2D.3.1-2D.3.6
work page 2015
-
[7]
G.D.R. Hall, D.D.J. Allman, M. Eda, T.F. Long, Engineering the failure-free lifetime for Cu vias, 2016 IEEE International Reliability Physics Symposium (IRPS), 2016, pp. 5B-4-1-5B-4-8
work page 2016
-
[8]
N. Tuchinda, C.A. Schuh, Triple junction excess energy in polycrystalline metals, Acta Mater 279 (2024) 120274
work page 2024
- [9]
-
[10]
R.G. Mariano, K. McKelvey, H.S. White, M.W. Kanan, Selective increase in CO2 electroreduction activity at grain-boundary surface terminations, Science 358(6367) (2017) 1187- 1192
work page 2017
-
[11]
Sutton, Concepts of Materials Science, Oxford University Press2021
A.P. Sutton, Concepts of Materials Science, Oxford University Press2021
- [12]
-
[13]
J. Schiotz, K.W. Jacobsen, Nanocrystalline metals: Roughness in flatland, Nat Mater 16(11) (2017) 1059-1060
work page 2017
- [14]
-
[15]
J. Han, V. Vitek, D.J. Srolovitz, Grain-boundary metastability and its statistical properties, Acta Mater 104 (2016) 259-273
work page 2016
-
[16]
P.R. Cantwell, T. Frolov, T.J. Rupert, A.R. Krause, C.J. Marvel, G.S. Rohrer, J.M. Rickman, M.P. Harmer, Grain Boundary Complexion Transitions, Annu Rev Mater Res 50(1) (2020) 465-492
work page 2020
-
[17]
Y. Wang, Z. Xu, V. Muralikrishnan, J.B. Harley, M.R. Tonks, G.S. Rohrer, A.R. Krause, 4D Observations of the initiation of abnormal grain growth in commercially pure Ni, Scripta Mater 264 (2025) 116715
work page 2025
-
[18]
M.P. Harmer, G.S. Rohrer, Grain boundary complexions - current status and future directions, Curr Opin Solid St M 20(5) (2016) Iv-V
work page 2016
-
[19]
G.S. Rohrer, The role of grain boundary energy in grain boundary complexion transitions, Curr Opin Solid St M 20(5) (2016) 231-239
work page 2016
-
[20]
P.R. Cantwell, M. Tang, S.J. Dillon, J. Luo, G.S. Rohrer, M.P. Harmer, Grain boundary complexions, Acta Mater 62 (2014) 1-48
work page 2014
-
[21]
T. Meiners, T. Frolov, R.E. Rudd, G. Dehm, C.H. Liebscher, Observations of grain-boundary phase transformations in an elemental metal, Nature 579(7799) (2020) 375-378
work page 2020
-
[22]
L. Frommeyer, T. Brink, R. Freitas, T. Frolov, G. Dehm, C.H. Liebscher, Dual phase patterning during a congruent grain boundary phase transition in elemental copper, Nat Commun 13(1) (2022) 3331
work page 2022
-
[23]
T. Frolov, D.L. Olmsted, M. Asta, Y. Mishin, Structural phase transformations in metallic grain boundaries, Nat Commun 4 (2013) 1899
work page 2013
-
[24]
R. Schweinfest, A.T. Paxton, M.W. Finnis, Bismuth embrittlement of copper is an atomic size effect, Nature 432(7020) (2004) 1008-11
work page 2004
-
[25]
G. Duscher, M.F. Chisholm, U. Alber, M. Ruhle, Bismuth-induced embrittlement of copper grain boundaries, Nat Mater 3(9) (2004) 621-6
work page 2004
-
[26]
X. Chen, W. Goncalves, Y. Hu, Y. Gao, P. Harrison, G. Dehm, B. Gault, W. Ludwig, E. Rauch, X. Zhou, D. Raabe, Secondary grain boundary dislocations alter segregation energy spectra, Nat Commun 16(1) (2025) 8422. 25
work page 2025
-
[27]
X. Zhou, S. Kumar, S. Zhang, X. Chen, B. Gault, G. Dehm, T. Hickel, D. Raabe, Boron triggers grain boundary structural transformation in steel, Nat Commun 16(1) (2025) 6927
work page 2025
-
[28]
X. Zhou, A. Ahmadian, B. Gault, C. Ophus, C.H. Liebscher, G. Dehm, D. Raabe, Atomic motifs govern the decoration of grain boundaries by interstitial solutes, Nat Commun 14(1) (2023) 3535
work page 2023
- [29]
-
[30]
T. Frolov, S.V. Divinski, M. Asta, Y. Mishin, Effect of interface phase transformations on diffusion and segregation in high-angle grain boundaries, Phys Rev Lett 110(25) (2013) 255502
work page 2013
- [31]
- [32]
-
[33]
X. Zhang, J.J. Boland, Universal preference for low-energy core-shifted grain boundaries at the surfaces of fcc metals, Physical Review Research 5(1) (2023) 013223
work page 2023
-
[34]
H. Gao, L. Zhang, W.D. Nix, C.V. Thompson, E. Arzt, Crack-like grain-boundary diffusion wedges in thin metal films, Acta Mater 47(10) (1999) 2865-2878
work page 1999
- [35]
-
[36]
M.J. Buehler, A. Hartmaier, H. Gao, Constrained Grain Boundary Diffusion in Thin Copper Films, MRS Online Proceedings Library 821(1) (2004) 36-47
work page 2004
-
[37]
L. Wang, J. Teng, P. Liu, A. Hirata, E. Ma, Z. Zhang, M. Chen, X. Han, Grain rotation mediated by grain boundary dislocations in nanocrystalline platinum, Nat Commun 5 (2014) 4402
work page 2014
-
[38]
M. Wang, R. Yan, X. Han, H. Wang, M. Upmanyu, Emergent grain boundary phases in stressed polycrystalline thin films, Physical Review Materials 7(8) (2023) 083602
work page 2023
-
[39]
M.J. Buehler, H. Yao, H. Gao, B. Ji, Cracking and adhesion at small scales: atomistic and continuum studies of flaw tolerant nanostructures, Model Simul Mater Sc 14(5) (2006) 799
work page 2006
-
[40]
C. Wang, K. Du, K. Song, X. Ye, L. Qi, S. He, D. Tang, N. Lu, H. Jin, F. Li, H. Ye, Size- Dependent Grain-Boundary Structure with Improved Conductive and Mechanical Stabilities in Sub- 10-nm Gold Crystals, Phys Rev Lett 120(18) (2018) 186102
work page 2018
- [41]
-
[42]
S.F. Chu, P. Liu, Y. Zhang, X.D. Wang, S.X. Song, T. Zhu, Z. Zhang, X.D. Han, B.D. Sun, M.W. Chen, In situ atomic-scale observation of dislocation climb and grain boundary evolution in nanostructured metal, Nat Commun 13(1) (2022)
work page 2022
-
[43]
T.J. Balk, G. Dehm, E. Arzt, Parallel glide: unexpected dislocation motion parallel to the substrate in ultrathin copper films, Acta Mater 51(15) (2003) 4471-4485
work page 2003
-
[44]
S. Plimpton, Fast Parallel Algorithms for Short-Range Molecular-Dynamics, J Comput Phys 117(1) (1995) 1-19
work page 1995
-
[45]
Y. Mishin, M.J. Mehl, D.A. Papaconstantopoulos, A.F. Voter, J.D. Kress, Structural stability and lattice defects in copper: Ab initio, tight-binding, and embedded-atom calculations, Phys Rev B 63(22) (2001) 224106
work page 2001
-
[46]
A.P. Thompson, S.J. Plimpton, W. Mattson, General formulation of pressure and stress tensor for arbitrary many-body interaction potentials under periodic boundary conditions, J Chem Phys 131(15) (2009)
work page 2009
-
[47]
A. Stukowski, Visualization and analysis of atomistic simulation data with OVITO-the Open Visualization Tool, Model Simul Mater Sc 18(1) (2010) 015012
work page 2010
-
[48]
M.A. Tschopp, D.L. McDowell, Asymmetric tilt grain boundary structure and energy in copper and aluminium, Philos Mag 87(25) (2007) 3871-3892. 26
work page 2007
-
[49]
K.N. Sasidhar, N.H. Siboni, J.R. Mianroodi, M. Rohwerder, J. Neugebauer, D. Raabe, Enhancing corrosion-resistant alloy design through natural language processing and deep learning, Science Advances 9(32) (2023) eadg7992
work page 2023
-
[50]
J. Xiong, S.-Q. Shi, T.-Y. Zhang, Machine learning of phases and mechanical properties in complex concentrated alloys, J Mater Sci Technol 87 (2021) 133-142
work page 2021
-
[51]
N. Ran, B. Sun, W. Qiu, E. Song, T. Chen, J. Liu, Identifying Metallic Transition-Metal Dichalcogenides for Hydrogen Evolution through Multilevel High-Throughput Calculations and Machine Learning, The Journal of Physical Chemistry Letters 12(8) (2021) 2102-2111
work page 2021
- [52]
-
[53]
C.W. Rosenbrock, E.R. Homer, G. Csanyi, G.L.W. Hart, Discovering the building blocks of atomic systems using machine learning: application to grain boundaries, npj Computational Materials 3 (2017) 1
work page 2017
- [54]
-
[55]
W. Ye, H. Zheng, C. Chen, S.P. Ong, A Universal Machine Learning Model for Elemental Grain Boundary Energies, Scripta Mater 218 (2022) 114803
work page 2022
-
[56]
X. Zhou, Y. Wei, M. Kü hbach, H. Zhao, F. Vogel, R. Darvishi Kamachali, G.B. Thompson, D. Raabe, B. Gault, Revealing in-plane grain boundary composition features through machine learning from atom probe tomography data, Acta Mater 226 (2022) 117633
work page 2022
-
[57]
F. Pedregosa, G. Varoquaux, A. Gramfort, V. Michel, B. Thirion, O. Grisel, M. Blondel, P. Prettenhofer, R. Weiss, V. Dubourg, Scikit-learn: Machine Learning in Python, Journal of Machine Learning Research (2011)
work page 2011
-
[58]
J.S. Tello, A.F. Bower, E. Chason, B.W. Sheldon, Kinetic model of stress evolution during coalescence and growth of polycrystalline thin films, Phys Rev Lett 98(21) (2007) 216104
work page 2007
-
[59]
E. Vasco, M.J. Ramí rez-Peral, A. Jacas-Rodrí guez, C. Polop, Kinetics of intrinsic stress in nanocrystalline films, Scripta Mater 202 (2021) 114015
work page 2021
-
[60]
M.J. Buehler, H. Gao, Dynamical fracture instabilities due to local hyperelasticity at crack tips, Nature 439(7074) (2006) 307-310
work page 2006
-
[61]
M.J. Buehler, F.F. Abraham, H. Gao, Hyperelasticity governs dynamic fracture at a critical length scale, Nature 426(6963) (2003) 141-146
work page 2003
- [62]
- [63]
- [64]
-
[65]
E. Chason, B.W. Sheldon, L.B. Freund, J.A. Floro, S.J. Hearne, Origin of compressive residual stress in polycrystalline thin films, Phys Rev Lett 88(15) (2002) 156103
work page 2002
- [66]
-
[67]
Q. Zhu, A. Samanta, B. Li, R.E. Rudd, T. Frolov, Predicting phase behavior of grain boundaries with evolutionary search and machine learning, Nat Commun 9(1) (2018) 467
work page 2018
- [68]
-
[69]
R.W. Hoffman, Stresses in Thin-Films - Relevance of Grain-Boundaries and Impurities, Thin Solid Films 34(2) (1976) 185-190
work page 1976
- [70]
-
[71]
A.A. Griffith, The phenomena of rupture and flow in solids, Philosophical transactions of the royal society of london. Series A, containing papers of a mathematical or physical character (1921) 163-198. 27
work page 1921
-
[72]
A. Ahmadian, D. Scheiber, X. Zhou, B. Gault, C.H. Liebscher, L. Romaner, G. Dehm, Aluminum depletion induced by co-segregation of carbon and boron in a bcc-iron grain boundary, Nat Commun 12(1) (2021) 6008
work page 2021
- [73]
-
[74]
Z. Yu, P.R. Cantwell, Q. Gao, D. Yin, Y. Zhang, N. Zhou, G.S. Rohrer, M. Widom, J. Luo, M.P. Harmer, Segregation-induced ordered superstructures at general grain boundaries in a nickel- bismuth alloy, Science 358(6359) (2017) 97-101
work page 2017
- [75]
- [76]
-
[77]
M. Kuzmina, M. Herbig, D. Ponge, S. Sandlobes, D. Raabe, Linear complexions: Confined chemical and structural states at dislocations, Science 349(6252) (2015) 1080-3
work page 2015
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.