REVIEW 2 major objections 4 minor 26 references
The paper establishes that every three-dimensional Bravais lattice has a well-defined Baldereschi point: the single wavevector at which smooth, symmetric functions of wavevector are, on average, closest to their Brillouin-zone mean, and tab
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-01 19:23 UTC pith:QSWASEKD
load-bearing objection A clean, parameter-free tabulation of Baldereschi points for all 14 Bravais lattices, with a known gap in the reducibility test that is unlikely to matter in practice. the 2 major comments →
Baldereschi mean value points for three-dimensional Bravais lattices
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that for any Bravais lattice, the Baldereschi point is determined purely by the lattice through the star functions A_n(k) = sum of exp(i k·R) over the nth shell of lattice points, and that the previously incomplete set of known points can be completed. By constructing a hierarchy of target star functions — first those whose union spans three-dimensional space, then the shortest stars that cannot be written as combinations of already-chosen targets — the paper derives the point for all fourteen Bravais lattices. In the cubic, tetragonal, orthorhombic, monoclinic, and triclinic families the point often has a simple rational form such as (1/4, 1/4, 1/4) in reciprocal lattic
What carries the argument
The mechanism is the star-function hierarchy. A star function A_n(k) is the sum of plane waves over a complete shell of symmetry-related lattice vectors; these functions form an orthogonal basis for symmetric periodic functions. The Baldereschi point is found by zeroing or minimizing the first few target star functions in order of radius, under the constraint that a star whose representation is reducible into lower-radius stars cannot be varied independently. Equation (4) — (2 r_n)^2 = sum (n_i r_i)^2 — is the test that decides whether a star carries an independent irreducible component; the algorithm in appendix A uses it to build the target list, and the numerical scheme solves the resulti
Load-bearing premise
The load-bearing premise is that equation (4) reliably detects when a star function cannot be varied independently; if an accidental degeneracy or an accidentally satisfied radius relation makes that test fail, the corresponding table entry is not the true Baldereschi point.
What would settle it
For a lattice parameter ratio near a predicted crossover (for example rhombohedral c/a = sqrt(6) or sqrt(3/2)), compute the ensemble-averaged squared deviation sum_n s_n^2 A_n(k)^2 over a fine grid of k in the Brillouin zone and compare its global minimum with the table's point; any mismatch, or any non-unique minimum, would falsify that entry. Alternatively, test a hexagonal lattice with c=a, where the paper notes equation (4) can be invalidated, and check whether the reported point still minimizes the deviation.
If this is right
- For insulating crystals, a QMC calculation at the tabulated Baldereschi twist should reproduce twist-averaged energies to within a small fraction of the spread across twists, eliminating the need for multiple twist calculations in most cases.
- The tables resolve prior inconsistencies in the literature: the orthorhombic Baldereschi point is exactly (1/4,1/4,1/4), and the rhombohedral point has different intermediate-angle behavior than an earlier report.
- The target-star algorithm applies beyond the fourteen lattices, so Baldereschi points can be generated for arbitrary lattice geometries, supercells, or lower-dimensional systems by running the same identification procedure.
- The free-electron-gas test shows that Baldereschi twists reduce momentum-quantization shell oscillations by about an order of magnitude relative to Gamma twists, though twist averaging remains necessary in metals.
- Because the point depends only on the Bravais lattice, the tables apply to any crystal or supercell with a given lattice, irrespective of atomic basis.
Where Pith is reading between the lines
- The same hierarchical construction could be extended to define Baldereschi sets — small sets of k-points that jointly minimize the ensemble-averaged deviation — which might outperform existing special-point grids for intermediate-size twist sets.
- The reliance on equation (4) could be made rigorous by replacing the radius test with an explicit decomposition of each star under the lattice point group; this would remove the residual accidental-degeneracy caveat.
- For metallic systems, the Baldereschi point's role as the single best twist for wave-function optimization suggests a combined protocol: optimize at the Baldereschi point, then twist-average the final energy — a scheme the paper motivates but does not test directly.
- If the target-star algorithm is implemented for a specific material, the resulting point can be checked by computing the DFT band-structure energy at nearby k-points and confirming it sits at a local minimum of the mean-squared deviation, a quick validation for any code.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines the Baldereschi mean-value point of a 3D Bravais lattice as the wavevector obtained by hierarchically zeroing or minimizing the first few star functions of the lattice-point Fourier expansion, and it presents a general algorithm for identifying the target stars. Closed-form tables are given for all fourteen 3D Bravais lattices, with piecewise parameter ranges where the target-star ordering changes. The authors cross-check their analytic results with a numerical program, and they validate the practical value of the points on hBN (DFT), monolayer graphene (QMC), and the free electron gas (analytical).
Significance. If correct, the tables would provide a standard reference for choosing a single representative twist in QMC supercell calculations for any 3D lattice geometry. The derivation of the star-function minimization procedure (§3.1–3.3) is clean and parameter-free, and the tabulated points are derived from the definition rather than fitted. The external validations in §5 give concrete evidence that the points are effective in practice. However, the correctness of every table entry rests on the reducibility test of Eq. (4), which is used as a biconditional but for which only necessity is proved; this is the main correctness risk.
major comments (2)
- [§3.2, Eq. (4); Appendix A, step 4(b)] The algorithm treats Eq. (4) as a sufficient test for whether a star carries a reducible representation: if (2rn)^2 = Σ (nt rt)^2 for some integers, the star is assumed reducible and is not selected as a target. The derivation of Eq. (4) only gives necessity. The paper acknowledges accidental degeneracies (e.g., hexagonal c=a) and states that they do not appear to be a problem in numerical tests, but this is a spot-check, not a proof or an exhaustive scan. Because every table entry is determined by the target-star identification, a single misclassification would change the reported point. The authors should either prove sufficiency for the finite set of low-radius stars occurring in the 14 lattice types, or provide an exhaustive case analysis (e.g., by direct decomposition of the permutation representation for each star), or explicitly restrict the central claim to generic parameters.
- [§4, Table 1, rhombohedral rows] The rhombohedral tables are piecewise with strict inequalities, excluding c/a = √6, √(3/2), 1 and the corresponding rhombohedral angles α = π/3, π/2, α_d, 2π/3. At these values the lattice has higher symmetry (e.g., bcc, fcc, simple-cubic-like limits), and the two adjacent piecewise expressions may not agree in the limit, so the Baldereschi point at the degenerate ratio is left undefined. The abstract's claim that all fourteen Bravais lattices are tabulated is therefore not literally satisfied for these measure-zero but physically realizable parameter values. The authors should either give the points at the degenerate ratios (possibly as limits, if they are unique) or state clearly that the tables cover only nondegenerate ratios and explain how to handle the special cases.
minor comments (4)
- [§3.3, after Eq. (1)] The text introduces the hexagonal lattice with lattice vectors (a,0,0), (−a/2,√3a/2,0), (0,0,c), but the displayed A1(k) and A2(k) are for the alternative basis (a,0,0), (a/2,√3a/2,0), (0,0,c). This switch is easy for a reader to miss, and it is the source of the two distinct hexagonal rows in Table 1. Please label the two conventions explicitly.
- [Figure 1] The caption says 'Baldereschi points' (plural) but the text refers to a single Baldereschi point; the figure appears to show symmetry-equivalent copies. A short phrase stating that symmetry-equivalent points are shown would avoid confusion.
- [Table 1 caption, At3 column] The meaning of the At3(kb) column is not defined in the caption. It is apparently the value of the third target star function when it is minimized (or 0 when it is set to zero). Please state this explicitly, since the same column contains numerical values (e.g., 4.404, −1.608, −3) and zeros.
- [§3.1, Eq. (2) and following] The claim that the Baldereschi point minimizes the mean-squared deviation for sufficiently large λ is presented as intuitive; a formal statement (e.g., uniform convergence of the minimizer as λ→∞ under the stated conditions) would strengthen the definition.
Circularity Check
No significant circularity: the tabulated Baldereschi points are computed from the definition via star-function targets, with only peripheral self-citations; the Eq. (4) caveat is a correctness risk, not circularity.
full rationale
The paper's central claim — the tabulated Baldereschi points for all fourteen 3D Bravais lattices — is produced by applying its own definition: minimize the ensemble-averaged mean-squared deviation (Eq. 2) by identifying target star functions (Appendix A) and solving A_t1 = A_t2 = 0 while zeroing or minimizing A_t3 (Section 3.4). These quantities are computed from lattice geometry and symmetry alone; no fitted parameters or data-dependent inputs feed into the table values. The Section 5 validation (hBN DFT, graphene DMC, free electron gas) is external to the derivation and checks rather than defines the points. Self-citations (e.g., Refs. [12], [18], [19], [25]) appear in peripheral methodological or software contexts and are not load-bearing for the target-star identification or the tabulated wavevectors. The acknowledged caveat in Section 3.2 — that Eq. (4) may be accidentally satisfied under special lattice-parameter ratios — is a robustness/completeness limitation, not a circular step, because the derivation does not assume the target result as an input. Overall, no specific reduction of the claimed output to its inputs by construction is present.
Axiom & Free-Parameter Ledger
axioms (5)
- domain assumption The mean squared deviation of a symmetric periodic function from its BZ mean is exponentially dominated by the first star function for sufficiently large λ (Eq. 2), justifying the hierarchical zeroing/minimization of star functions.
- domain assumption Equation (4): a star carries a reducible representation of the point group iff its radius satisfies (2r_n)^2 = Σ n_i^2 r_i^2 against already-identified target stars.
- domain assumption In insulators, QMC observables are smooth functions of the twist k_s; in metals, occupancy changes create discontinuities.
- standard math Star functions form an orthogonal basis for symmetric functions and carry point-group representations; stars spanning independent subspaces can be varied independently.
- domain assumption Newton-Raphson/BFGS, started from Sobol'-sampled initial points, converge to the global constrained minimum rather than a spurious stationary point.
read the original abstract
The Baldereschi point of a crystal is a wavevector in the Brillouin zone at which every smooth periodic function of wavevector lies close to its mean value. Although originally introduced in the context of one-electron methods, mean-value points are ideal for explicitly correlated many-electron methods such as quantum Monte Carlo simulations, which can only use a single Bloch wavevector in the Brillouin zone of a simulation supercell. We have therefore evaluated and tabulated the Baldereschi mean-value points of all fourteen three-dimensional Bravais lattices.
Figures
Reference graph
Works this paper leans on
-
[1]
Baldereschi A 1973 Phys. Rev. B 7(12) 5212–5215 URL https://link.aps.org/doi/10.1103/PhysRevB.7.5212
-
[2]
Status Solidi B 119 9–40 URL https://onlinelibrary.wiley.com/doi/abs/10.1002/pssb.2221190102
Evarestov R A and Smirnov V P 1983 Phys. Status Solidi B 119 9–40 URL https://onlinelibrary.wiley.com/doi/abs/10.1002/pssb.2221190102
-
[3]
Monkhorst H J and Pack J D 1976 Phys. Rev. B 13(12) 5188–5192 URL https://link.aps.org/doi/10.1103/PhysRevB.13.5188
-
[4]
Rajagopal G, Needs R J, Kenny S, Foulkes W M C and James A 1994 Phys. Rev. Lett. 73(14) 1959–1962 URL https://link.aps.org/doi/10.1103/PhysRevLett.73.1959
-
[5]
Rajagopal G, Needs R J, James A, Kenny S D and Foulkes W M C 1995 Phys. Rev. B 51(16) 10591–10600 URL https://link.aps.org/doi/10.1103/PhysRevB.51.10591
-
[6]
Lin C, Zong F H and Ceperley D M 2001 Phys. Rev. E 64(1) 016702 URL https://link.aps.org/doi/10.1103/PhysRevE.64.016702
-
[7]
Cunningham S L 1974 Phys. Rev. B 10(12) 4988–4994 URL https://link.aps.org/doi/10.1103/PhysRevB.10.4988
-
[8]
Status Solidi B 80 K89–K93 URL https://onlinelibrary.wiley.com/doi/abs/10.1002/pssb.2220800239
Bashenov V K, Bardashova M and Mutal A M 1977 Phys. Status Solidi B 80 K89–K93 URL https://onlinelibrary.wiley.com/doi/abs/10.1002/pssb.2220800239
-
[9]
Stevanovic V 2024 A Python code for calculating the mean-value (Baldereschi’s) point for any crystal structure URL https://arxiv.org/abs/2405.00925
Pith/arXiv arXiv 2024
-
[10]
Fraser L M, Foulkes W M C, Rajagopal G, Needs R J, Kenny S D and Williamson A J 1996 Phys. Rev. B 53(4) 1814–1832 URL https://link.aps.org/doi/10.1103/PhysRevB.53.1814
-
[11]
Chiesa S, Ceperley D M, Martin R M and Holzmann M 2006 Phys. Rev. Lett. 97(7) 076404 URL https://link.aps.org/doi/10.1103/PhysRevLett.97.076404
-
[12]
Drummond N D, Needs R J, Sorouri A and Foulkes W M C 2008 Phys. Rev. B 78(12) 125106 URL https://link.aps.org/doi/10.1103/PhysRevB.78.125106
-
[13]
Azadi S and Foulkes W M C 2015 J. Chem. Phys. 143 102807 ISSN 0021-9606 URL https://doi.org/10.1063/1.4922619
-
[14]
Helfrich B 1985 Theor. Comp. Sci. 41 125–139 ISSN 0304-3975 URL https://www.sciencedirect.com/science/article/pii/0304397585900672
arXiv 1985
-
[15]
Chadi D J and Cohen M L 1973 Phys. Rev. B 8(12) 5747–5753 URL https://link.aps.org/doi/10.1103/PhysRevB.8.5747
-
[16]
Sobol I 1976 USSR Comp. Math. Math. Phys. 16 236–242 ISSN 0041-5553 URL https://www.sciencedirect.com/science/article/pii/0041555376901543
arXiv 1976
-
[17]
Bratley P and Fox B L 1988 ACM Trans. Math. Softw. 14 88–100 ISSN 0098-3500 URL https://doi.org/10.1145/42288.214372 13 IOP Publishing Journal vv (yyyy) aaaaaa Author et al
arXiv 1988
-
[18]
Needs R J, Towler M D, Drummond N D, López Ríos P and Trail J R 2020 J. Chem. Phys. 152 154106 ISSN 0021-9606 URL https://doi.org/10.1063/1.5144288
-
[19]
The casino program is available to download for academic use, worldwide, free of cost
Needs R J, Towler M D, Drummond N D and López Ríos P 2026 Casino quantum Monte Carlo software. The casino program is available to download for academic use, worldwide, free of cost. For commercial use of the software, please discuss with the authors. Access to casino’s Git repository is available for academic use on request to the authors. The program for...
2026
-
[20]
Chulkov E V and Psakh’e S G 1979 Sov. Phys. J. 22 1237–1238 ISSN 1573-9228 URL https://doi.org/10.1007/BF00894985
-
[21]
Lynch R W and Drickamer H G 1966 J. Chem. Phys. 44 181–184 ISSN 0021-9606 URL https://doi.org/10.1063/1.1726442
-
[22]
Kristallogr
Clark S J, Segall M D, Pickard C J, Hasnip P J, Probert M I J, Refson K and Payne M C 2005 Z. Kristallogr. 220 567–570 URL http://www.degruyter.com/view/j/zkri.2005.220. issue-5-6-2005/zkri.220.5.567.65075/zkri.220.5.567.65075.xml
2005
-
[23]
Trail J R and Needs R J 2005 J. Chem. Phys. 122 014112 URL http://scitation.aip.org/content/aip/journal/jcp/122/1/10.1063/1.1829049
-
[24]
Trail J R and Needs R J 2005 J. Chem. Phys. 122 174109 URL http://scitation.aip.org/content/aip/journal/jcp/122/17/10.1063/1.1888569
-
[25]
Drummond N D, Towler M D and Needs R J 2004 Phys. Rev. B 70(23) 235119 URL https://link.aps.org/doi/10.1103/PhysRevB.70.235119
-
[26]
Umrigar C J, Toulouse J, Filippi C, Sorella S and Hennig R G 2007 Phys. Rev. Lett. 98(11) 110201 URL http://link.aps.org/doi/10.1103/PhysRevLett.98.110201 14
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.