Recognition: 2 theorem links
· Lean TheoremWater adsorption on a model silicate surface: wollastonite (100)
Pith reviewed 2026-05-11 01:31 UTC · model grok-4.3
The pith
Above four water molecules per unit cell on wollastonite (100), water-water interactions dominate and clusters form.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Incremental dosing of water at low temperature on the wollastonite (100) surface produces coverage-dependent overlayers. Two water molecules per unit cell follow the lattice as surface interactions dominate. At higher densities complex patterns coexist due to hydrogen bonding competition, and above four per unit cell water clusters emerge as water-water interactions prevail. Observed symmetries from microscopy constrain the possible models identified in calculations.
What carries the argument
Coverage-dependent competition between water-surface and water-water interactions, mapped by matching non-contact atomic force microscopy images to density functional theory structures.
If this is right
- Water follows surface lattice at two molecules per unit cell
- Complex coexisting patterns appear as intermolecular bonding competes
- Clusters form above critical density of four water molecules per unit cell
- Small energy differences between structures are resolved by experimental symmetries
- Atomic-scale understanding is provided for water on calcium silicate surfaces
Where Pith is reading between the lines
- Similar cluster formation thresholds could apply to other calcium silicates in natural and industrial settings
- The findings may help refine simulations of cement hydration by incorporating the observed transition point
- Extending the approach to room temperature or liquid water could reveal dynamic behaviors not captured here
- This framework might aid in predicting how impurities or defects alter water structuring on silicate surfaces
Load-bearing premise
The microscope images directly correspond to the proposed water arrangements without significant distortions from the tip or imaging conditions.
What would settle it
Observation of water clusters forming at a coverage other than four molecules per unit cell or persistence of lattice-ordered structures at higher coverages would challenge the critical density claim.
read the original abstract
Water adsorption on silicate surfaces is a critical yet poorly understood process relevant to, e.g., mineral weathering and cement hydration. This study investigates the structure of water overlayers on a model calcium silicate, the lowest-energy (100) surface of wollastonite (CaSiO3). It combines atomically resolved non-contact atomic force microscopy (nc-AFM), acquired with qPlus sensors and functionalized tips in ultrahigh vacuum (UHV), with density functional theory (DFT) calculations employing the metaGGA r2SCAN+rVV10 functional. Adding incremental doses of water to the sample at cryogenic temperatures produces distinct structures governed by the competition between water-surface and water-water interactions. With two water molecules per surface unit cell, water-surface interactions dominate: In line with previous theoretical predictions, adsorbates follow the surface lattice. As the coverage increases, intermolecular hydrogen bonding competes with bonding to the surface, leading to the emergence of complex, coexisting patterns. While their small energy differences prevent an unambiguous identification of the most stable structure by DFT, the experimentally observed symmetries help constrain plausible structural models. Above a critical density of four water molecules per unit cell, water-water interactions prevail, and water clusters are formed. The results provide an atomic-scale framework for understanding water interactions with calcium silicate surfaces.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript investigates water adsorption on the wollastonite (100) surface using nc-AFM with qPlus sensors and functionalized tips combined with DFT calculations at the r2SCAN+rVV10 level. Incremental cryogenic dosing reveals coverage-dependent structures: at two H2O per unit cell, adsorbates follow the surface lattice due to dominant water-surface bonding; above a critical density of four H2O per unit cell, water-water hydrogen bonding prevails, producing clusters. Small DFT energy differences among candidate overlayers are resolved by invoking experimentally observed AFM symmetries to constrain the models.
Significance. If the structural assignments from AFM symmetries are robust, the work supplies an atomic-scale framework for water-calcium silicate interactions relevant to cement hydration and mineral weathering. The incremental-dosing protocol and explicit recognition that DFT alone cannot distinguish structures constitute genuine strengths; the combination of high-resolution experiment with meta-GGA DFT is a positive methodological advance.
major comments (2)
- [Results section on high-coverage structures and abstract] The headline claim of a sharp transition at exactly four water molecules per unit cell, with water clusters forming thereafter, rests on the assertion that nc-AFM symmetries unambiguously select among DFT models whose energies differ by only a few meV. The abstract states that 'experimentally observed symmetries help constrain plausible structural models,' yet no quantitative AFM image simulations under the reported tip conditions (functionalized qPlus, oscillation amplitude, short-range forces) are described. Without such simulations, tip convolution or multiple stable tip states could produce apparent lattice symmetries unrelated to the true adsorbate arrangement, rendering the coverage-dependent assignment under-constrained.
- [Experimental results on incremental dosing] The manuscript invokes 'incremental dosing data' to support the central coverage-dependent transition, but the provided text does not detail the error analysis on coverage calibration, image statistics, or how coexisting patterns at intermediate coverages were quantified. This information is required to substantiate that the transition is sharp rather than gradual.
minor comments (2)
- [Figure captions] Figure captions should explicitly state the nominal coverage (molecules per unit cell) and the proposed structural model for each panel to facilitate direct comparison with the text.
- [Methods and results] Clarify the precise definition of 'unit cell' used for coverage normalization and confirm that all reported coverages are normalized to the same surface unit cell throughout the manuscript.
Simulated Author's Rebuttal
We thank the referee for the constructive comments and positive assessment of the work's significance. We address the two major comments point by point below, indicating where revisions will be made to strengthen the manuscript.
read point-by-point responses
-
Referee: [Results section on high-coverage structures and abstract] The headline claim of a sharp transition at exactly four water molecules per unit cell, with water clusters forming thereafter, rests on the assertion that nc-AFM symmetries unambiguously select among DFT models whose energies differ by only a few meV. The abstract states that 'experimentally observed symmetries help constrain plausible structural models,' yet no quantitative AFM image simulations under the reported tip conditions (functionalized qPlus, oscillation amplitude, short-range forces) are described. Without such simulations, tip convolution or multiple stable tip states could produce apparent lattice symmetries unrelated to the true adsorbate arrangement, rendering the coverage-dependent assignment under-constrained.
Authors: We acknowledge that the absence of quantitative AFM image simulations leaves the symmetry-based assignments somewhat under-constrained, as tip effects could in principle influence apparent contrast. Our assignments rely on direct visual matching of experimental nc-AFM symmetries (e.g., lattice-following vs. clustered motifs) to the DFT-relaxed geometries for the low-energy candidates, which is standard when energy differences are only a few meV. To address this, we will add a dedicated paragraph in the revised results section discussing the limitations of symmetry matching without simulations and explicitly note that future work could include such simulations under the reported qPlus conditions. We do not claim the transition is proven solely by symmetry; the incremental dosing provides supporting evidence. revision: partial
-
Referee: [Experimental results on incremental dosing] The manuscript invokes 'incremental dosing data' to support the central coverage-dependent transition, but the provided text does not detail the error analysis on coverage calibration, image statistics, or how coexisting patterns at intermediate coverages were quantified. This information is required to substantiate that the transition is sharp rather than gradual.
Authors: We agree that additional experimental details are needed to substantiate the sharpness of the transition. In the revised manuscript we will expand the methods and results sections to include: (i) the coverage calibration procedure and associated error estimates (based on integrated dosing times and cross-checked against saturation coverage), (ii) the number of independent images and surface regions analyzed for each coverage, and (iii) a quantitative description of how coexisting patterns were identified and their relative areas estimated at intermediate coverages. These additions will clarify that the change from lattice-following to clustered structures occurs above four molecules per unit cell. revision: yes
Circularity Check
No significant circularity; experimental dosing and imaging independently ground coverage-dependent claims
full rationale
The paper's chain proceeds from controlled incremental water dosing in UHV, direct nc-AFM observation of evolving patterns at successive coverages, and DFT energy calculations for candidate structures. Where DFT energies differ by only a few meV, the text explicitly uses observed symmetries to narrow models rather than the reverse. The critical density of four molecules per unit cell is identified from the dosing sequence and appearance of clusters in images, not from any fitted parameter or self-referential loop. No equations, predictions, or uniqueness claims reduce by construction to inputs; no self-citation is load-bearing for the central transition. The derivation remains self-contained against external experimental benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption r2SCAN+rVV10 metaGGA functional accurately ranks water adsorption energies on silicate surfaces
- domain assumption nc-AFM images with functionalized tips faithfully reflect adsorbate positions and symmetries without major tip-induced distortions
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Above a critical density of four water molecules per unit cell, water-water interactions prevail, and water clusters are formed.
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
While their small energy differences prevent an unambiguous identification of the most stable structure by DFT, the experimentally observed symmetries help constrain plausible structural models.
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]
G. Franceschi, A. Conti, L. Lezuo, R. Abart, F. Mittendorfer, M. Schmid and U. Diebold, J. Phys. Chem. Lett., 2024, 15, 15–22
work page 2024
-
[2]
R. C. Longo, K. Cho, P. Brüner, A. Welle, A. Gerdes and P. Thissen, ACS Appl. Mater. Interfaces, 2015, 7, 4706–4712
work page 2015
-
[3]
P. Thissen, C. Natzeck, N. Giraudo, P. Weidler and C. Wöll, Chem. - Eur. J., 2018, 24, 8603– 8608
work page 2018
-
[4]
M. J. Gillan, D. Alfè and A. Michaelides, J. Chem. Phys., 2016, 144, 130901
work page 2016
- [5]
-
[6]
N. I. Demidenko and A. P. Stetsovskii, Glass Ceram., 2003, 60, 217–218
work page 2003
-
[7]
H. Nagabhushana, B. M. Nagabhushana, M. Kumar, H. B. Premkumar, C. Shivakumara and R. P. S. Chakradhar, Philos. Mag., 2010, 90, 3567–3579
work page 2010
-
[8]
K. Röttger, A. Endriss, J. Ihringer, S. Doyle and W. F. Kuhs, Acta Cryst. B, 1994, 50, 644–648
work page 1994
-
[9]
J. I. Hütner, A. Conti, D. Kugler, F. Sabath, K. N. Dreier, H.-G. Stammler, F. Mittendorfer, A. Kühnle, M. Schmid, U. Diebold and J. Balajka, Sci. Adv., 2025, 11, eaea2378
work page 2025
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.