Pith. sign in

REVIEW 4 major objections 4 minor 3 cited by

Symbolic Approximations to Ricci-flat Metrics Via Extrinsic Symmetries of Calabi-Yau Hypersurfaces

T0 review · 4 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

Pith's one-line read The paper claims that Ricci-flat Kähler potentials on Fermat Calabi–Yau hypersurfaces are governed by extrinsic symmetries of the ambient space, so the potential depends only on coordinate absolute values and the flat metric is fixed…

desk verdict A genuinely new symmetry idea for Fermat CY metrics, but the central claim is an unproved conjecture and the numerical evidence is suggestive rather than conclusive. read the letter →

arxiv 2412.19778 v2 pith:55KMBBE7 submitted 2024-12-27 hep-th cs.LGmath.AGmath.DG

classification hep-thcs.LGmath.AGmath.DG MSC 14J3232Q2553C5568T07
keywords Calabi-YaumanifoldsRicci-flatmetricsextrinsicsymmetriesKählerpotentialMonge-AmpèreequationFermathypersurfacesneuralnetworkapproximationssymbolicregression
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper tries to turn Yau's non-constructive existence theorem for Ricci-flat metrics on Calabi–Yau manifolds into explicit analytic and symbolic control on the Fermat family. The central conjecture is that the Kähler potential $\phi$ extends from the hypersurface to the whole projective space with exactly the symmetries of $\|\nabla Q\|$, the gradient length of the defining polynomial. If this conjecture holds, a coordinate appearing only as $Z_i^{n+1}$ in $Q$ enters $\phi$ only through $|Z_i|$, and on the equimodular locus the flat metric is exactly $(n+1)\pi\lambda\,\iota^*g_{FS}$. This matters because it would give physicists and geometers concrete, checkable expressions for a metric that has been known to exist for half a century but never explicitly constructed.

What carries the argument

The load-bearing object is the extrinsic symmetry group $\mathrm{Sym}(\|\nabla Q\|)$ of the ambient gradient-length function, together with the conjecture that the Kähler potential extends to an ambient function $\phi_P$ with exactly that symmetry group. Because $\|\nabla Q\|$ forgets phases of coordinates that occur only as pure powers, this group can be continuous even when the Calabi–Yau itself has only discrete isometries. The machinery converts metric information into a finite set of invariant features: for Fermat hypersurfaces these are the normalised power sums $s_k=\sum_i|Z_i|^{2k}/(\sum_i|Z_i|^2)^k$, which the paper feeds to a neural network called ModNet and to symbolic-regression distillation. The same ambient extension also lifts the integration weights through the identity $w=\|Z\|^{2n}/\|\nabla Q\|^2$, connecting the Monge–Ampère normalisation of the flat metric to the gradient norm that defines the symmetry.

What would settle it

On the Fermat quintic, fix all $|Z_i|$ and all phases except $\arg Z_1$, and compute the Monge–Ampère-optimized $\phi$ while rotating $\arg Z_1$; a measurable variation of $\phi$ would falsify the phase-independence predicted by Conjecture 3.2. A second check is to construct an explicit ambient extension $\phi_P$ and compare $\mathrm{Sym}(\phi_P)$ with $\mathrm{Sym}(\|\nabla Q\|)$ directly.

Watch

Extended reading notes

Core claim

Working in the PhiModel representation $g^\flat=\iota^*(g_{FS}+\partial\bar\partial\phi)$, the paper's central claim is that the correction scalar $\phi$ carries more symmetry than the Calabi–Yau manifold itself. Conjecture 3.2 states that for a hypersurface defined by $Q=0$ there is an ambient function $\phi_P$ agreeing with $\phi$ on the hypersurface and satisfying $\mathrm{Sym}(\phi_P)=\mathrm{Sym}(\|\nabla Q\|)$, a group that can be strictly larger than the isometry group of the Calabi–Yau. From this, Proposition 3.3 derives a coordinate-wise $U(1)$ invariance: whenever $Z_i$ appears in $Q$ only as $Z_i^{n+1}$, the potential is independent of $\arg Z_i$ and depends on $|Z_i|$ alone; Proposition 4.1 upgrades this to the full Fermat family. On the equimodular locus, Proposition 6.5 turns the same symmetry into an exact identity $g^\flat|_X=(n+1)\pi\lambda\,\iota^*g_{FS}$, where $\lambda$ is fixed by the volume normalisation, so a positive-codimension sublocus of the flat metric is known analytically. The paper argues that these consequences are strongly supported by neural-network salience experiments and by distilled closed-form approximations that keep the same loss with far fewer parameters.

Load-bearing premise

Everything hinges on Conjecture 3.2: that the Kähler potential can be extended off the Calabi–Yau to the ambient projective space so that it has exactly the symmetries of the gradient-length function of the defining polynomial; if no such extension exists, the phase-independence reduction and the exact locus formulas lose their foundation.

Editorial extensions

If this is right

  • On every Fermat Calabi–Yau, the correction $\phi$ is a function of $|Z_1|,\dots,|Z_n|$ alone, so future metric computations can discard all phase information in the coordinates without losing expressive power.
  • The flat metric on the equimodular locus is known in closed form, $g^\flat|_X=(n+1)\pi\lambda\,\iota^*g_{FS}$, giving an analytic target that numerical approximations can be tested against.
  • Distilled symbolic formulas such as $\mathrm{poly}(s_i)^{1/\pi}$ match the $\sigma$-loss of large neural networks, about $10^{-3}$ on the quintic, with only a handful of fitted parameters.
  • The integration-weight identity $w=\|Z\|^{2n}/\|\nabla Q\|^2$ makes the global 0-form $w$ computable from ambient data, simplifying curvature integrals and Monte-Carlo sampling.
  • For the 0–1 mixed family, the symmetry argument predicts that only the $Z_0$–$Z_1$ mixed feature survives, and the paper's salience experiments confirm that prediction.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • An extension the authors leave implicit is that the same phase-independence should hold on any hypersurface whose defining polynomial is a sum of pure powers, so the results would transfer to non-Fermat but monomial-defined Calabi–Yau hypersurfaces.
  • The empirical relation $\phi^{-1}\sim\|\nabla\phi\|_1$ points toward a first-order PDE distinct from Monge–Ampère; proving such a PDE could provide an independent route to Conjecture 3.2 and explain the recurring corner structure in the plots.
  • The cross-dimensional self-similarity suggests a dimension-independent master potential; if real, it would allow formulas derived on the torus to be lifted directly to higher-dimensional Fermat manifolds.
  • The observed near-zero upper range of the third Chern form suggests a pointwise curvature bound $c_3\le 0$ for the flat metric; confirming this numerically on the sextic would test the same structural hypothesis in a new dimension.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 4 minor

Summary. The paper studies Ricci-flat Kähler metrics on Fermat Calabi–Yau hypersurfaces. It introduces Conjecture 3.2 ('extrinsic symmetries'), which asserts the existence of an ambient extension of the Kähler potential whose symmetry group equals that of ||∇Q||. Under this conjecture, the paper proves that φ depends only on coordinate moduli (Props. 3.3 and 4.1), derives an exact proportionality g♭ = (n+1)πλ ι*g_FS on the equimodular locus (Prop. 6.5), and gives a pseudo-origin formula (Prop. 6.4). The paper also presents salience analyses of neural-network approximations, a new model (ModNet) built from symmetric polynomials in |Z_i|, and symbolic distillations of φ, including a compressed form with exponent 1/π. All main theoretical consequences are explicitly conditional on Conjecture 3.2, which is not proved in any special case.

Significance. The cleanest rigorous result is Theorem 3.4, an analytic identity for the integration weights; its proof in Appendix A is complete and checkable. If Conjecture 3.2 holds, the equimodular formula of Prop. 6.5 is a rare exact statement about a Calabi–Yau Ricci-flat metric, and the feature reduction behind ModNet is well motivated. The authors are transparent about the surrogate nature of the σ-loss (Sec. 2.3, App. C). However, the central conjecture is unproved, and the empirical support is indirect: salience measures properties of one trained network, and low σ-loss does not certify exact phase invariance. The paper is honest about these limitations, and the computational improvements are suggestive, but the significance of the theoretical claims is conditional.

major comments (4)
  1. [Sec. 3.3, Props. 3.3, 4.1, 6.5] Conjecture 3.2 is the load-bearing premise for the main theoretical results, and no nontrivial case of the conjecture is proved. The supporting evidence is indirect: salience plots (Figs. 5, 7, 8) and low σ-loss of ModNet (Table 1) are consistent with approximate phase-independence, but salience is a property of one trained model and the σ-measure is a surrogate loss (Sec. 2.3). A direct test would substantially strengthen the paper: train an unconstrained high-capacity model with phase-dependent features on the Fermat quintic, and report the maximum deviation |φ(Z)−φ(e^{iθ}Z)| over the manifold as a function of training loss and network capacity. Without such a test, Proposition 6.5 remains a consequence of an unverified conjecture.
  2. [Appendix A.2, Prop. 4.2] The counterexample in the proof of Proposition 4.2 is invalid as written. The locus is stated to satisfy Σ Z_k^n = 0, but the Fermat hypersurface is defined by Σ Z_k^{n+1} = 0 (Eqs. 2.1 and 2.2). Moreover, the test function cos(n arg Z_1) is invariant only under n-th root phase rotations of Z_1, not under the full toric symmetry group Z_{n+1}^{n-1} of the Fermat hypersurface. Therefore the construction does not demonstrate that a generic Isom(CY)-invariant 0-form can depend on phases. Since the proposition is used to argue that |Z_i|-dependence is a novel consequence of Conjecture 3.2, the proof must be corrected or replaced.
  3. [Tables 1 and 2, Sec. 4.1.1] The numerical claims, including the assertion that ModNet 'beats previous ML approaches with respect to every metric' (Table 2), are reported without error bars, seeds, or code. Several comparison entries in Table 1 are explicitly inferred from figures in prior work. For a paper in which numerical evidence supports the central conjecture, the authors should report standard deviations over multiple training seeds and specify all hyperparameters, data splits, and hardware/software versions. This is needed to assess whether the improvements over prior models are significant.
  4. [Prop. 6.5] The proof of Proposition 6.5 is only a sketch. The key step — that, under Conjecture 3.2, the chain rule and permutation symmetry imply ∂∂φ|_X = aI + bZ†⊗Z on the equimodular locus — is not shown, and the derivation of the coefficient (n+1)πλ from det g♭ = κΩ∧Ω̄ is not displayed. Since this is one of the central exact results, the proof should be expanded to the same level of detail as Lemma A.3 so that the constant is verifiable.
minor comments (4)
  1. [Eq. (2.6)] The denominator in the σ-measure is written as κΩΩ; this should be κ Ω∧Ω̄ (or the text should clarify the notation for the volume form).
  2. [Appendix A.2] The notation Z^{n-1}_n for the toric symmetry should read Z_{n+1}^{n-1} for the Fermat hypersurface; as printed it is inconsistent with the degree of the defining polynomial.
  3. [Conjecture 6.3] The remark that ∂iφ/Zi and ∂i∂jφ/(ZiZj) are real under Conjecture 3.2 appears to be false: if φ depends only on |Z_i|, the quantity ∂iφ/Zi acquires a phase factor ar Z_i/Z_i under independent U(1) rotations, so it is not invariant. The inequalities need to be reformulated, for example in terms of moduli of the derivatives.
  4. [Sec. 5.1] The exponent 1/π in Eq. (5.2) is described as determined empirically; the authors should state explicitly that this is a fit parameter and that the quoted σ-loss corresponds to the fitted value, not to a derived constant.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the paper's central results are explicitly conditional on a labeled conjecture, and the empirical checks are falsifiable rather than forced by construction.

full rationale

The only apparent loop is that Conjecture 3.2 motivates the |Z_i|-only feature set of ModNet, and ModNet's low sigma-loss is later cited as evidence for the conjecture. This is an inductive, abductive loop, not a formal circularity: the restricted model could have underperformed the general spectral models, and the salience analysis is run on a model that includes off-diagonal features, so the observation that phase-dependent features carry no attribution is not forced by the construction. All formal statements (Prop 3.3, Prop 4.1, Prop 6.5) are explicitly conditional on Conjecture 3.2, which is labelled a conjecture; the paper does not claim to prove the conjecture from the numerics. The symbolic formulae in Section 5 are explicitly fit: coefficients via least squares and the 1/pi exponent via PySR fits, and the paper states that these are empirical and not a priori predictions. Prop 6.4 is an unconditional fixed-point computation, while Prop 6.5 is a conditional derivation using the Monge-Ampere equation, not a re-labelling of an input. The integration weights identity is proved from the matrix determinant lemma and Euler's homogeneous function theorem. The paper's own warnings that sigma-loss is a surrogate and that low sigma-loss does not certify Ricci-flatness are correctness caveats, not circularity. Self-citations (e.g., [21], [37], [46]) provide tooling and baselines but not a load-bearing uniqueness argument. No specific reduction of a prediction to its own input by construction was found.

Assumptions & free parameters 3 free parameters · 4 assumptions · 1 invented entities

The paper rests on one central unproved conjecture (Conjecture 3.2), a strong computability assumption (6.1), and standard background (Yau's theorem, Monge-Ampère equation). The symbolic formulas introduce fitted coefficients and an empirically chosen exponent.

free parameters (3)
  • Symbolic coefficients c_ij = See Appendix B, Tables 5-6
    Least-squares fit of Eq. (5.1) to ModNet output; central to the low-loss claim.
  • Compressed polynomial coefficients = Table 4 values, e.g. 0.00501, 0.01102, -0.00157 for d=1
    Non-linear least-squares fit of Eq. (5.2) to ModNet output.
  • Exponent 1/π in Eq. (5.2) = 1/π ≈ 0.3183
    Determined empirically via PySR on the torus, manually extended to higher dimensions; no theoretical derivation.
assumptions (4)
  • ad hoc to paper Conjecture 3.2: There exists an ambient extension φ_P of φ with Sym(φ_P) = Sym(∥∇Q∥) ≥ Sym(Q).
    Unproved; the paper's central premise. Used to derive Proposition 3.3 (U(1) symmetry of φ), Proposition 4.1, and Proposition 6.5.
  • ad hoc to paper Assumption 6.1: All numbers in exact formulae must be computable up to a shared constant.
    Restricts the search for closed-form metrics; excludes fitted coefficients.
  • standard math Yau's theorem: existence and uniqueness of Ricci-flat Kähler metric in each Kähler class.
    Background for g♭ and the Monge-Ampère equation.
  • domain assumption Monge-Ampère equation det g♭ = κ Ω Ω̄ is equivalent to Ricci-flatness for Kähler metrics.
    Used to define the σ-measure and to derive Propositions 6.4 and 6.5.
invented entities (1)
  • Extrinsic symmetry group Sym(φ_P)
    purpose: Formalizes additional symmetries of the flat metric's Kähler potential in the ambient space, beyond isometries of the CY itself.
    Conjectured to equal Sym(∥∇Q∥); no independent falsifiable handle outside this paper, though the conjecture's consequences are tested empirically.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Symbolic Approximations to Ricci-flat Metrics Via Extrinsic Symmetries of Calabi-Yau Hypersurfaces." pith.science (2026). https://pith.science/paper/55KMBBE7

@misc{pith2026241219778,
  author       = {Pith},
  title        = {Pith review of: Symbolic Approximations to Ricci-flat Metrics Via Extrinsic Symmetries of Calabi-Yau Hypersurfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/55KMBBE7}},
  note         = {Machine review of arXiv:2412.19778}
}
read the original abstract

Ever since Yau's non-constructive existence proof of Ricci-flat metrics on Calabi-Yau manifolds, finding their explicit construction remains a major obstacle to development of both string theory and algebraic geometry. Recent computational approaches employ machine learning to create novel neural representations for approximating these metrics, offering high accuracy but limited interpretability. In this paper, we analyse machine learning approximations to flat metrics of Fermat Calabi-Yau n-folds and some of their one-parameter deformations in three dimensions in order to discover their new properties. We formalise cases in which the flat metric has more symmetries than the underlying manifold, and prove that these symmetries imply that the flat metric admits a surprisingly compact representation for certain choices of complex structure moduli. We show that such symmetries uniquely determine the flat metric on certain loci, for which we present an analytic form. We also incorporate our theoretical results into neural networks to reduce Ricci curvature for multiple Calabi--Yau manifolds compared to previous machine learning approaches. We conclude by distilling the ML models to obtain for the first time closed form expressions for Kahler metrics with near-zero scalar curvature.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Dimensional Reduction and K\"ahler Metric for Metric Moduli in Imaginary Self-Dual Flux

    hep-th 2025-01 conditional novelty 7.0 of 10

    A 10D supergravity reduction derives the 4D moduli space metric for Kähler moduli and, for the first time, for complex structure flat directions in warped type IIB flux compactifications.

  2. Interpretable Analytic Calabi-Yau Metrics via Symbolic Distillation

    cs.LG 2026-02 conditional novelty 5.0 of 10

    The Ricci-flat metric's determinant ratio on the Dwork quintic is reproduced to R²=0.9994 by a five-term symbolic formula in two symmetric invariants, with moduli entering only through fitted coefficients.

  3. What to do with a Ricci-flat Calabi--Yau metric?

    hep-th 2026-05 unverdicted novelty 3.0 of 10

    Numerical Ricci-flat Calabi–Yau metrics turn string compactifications from topological existence statements into computable geometries, unlocking normalized couplings, spectra, and metric-level tests of mirror symmetry.

Reference graph

Works this paper leans on

65 extracted references · 35 canonical work pages · cited by 3 Pith papers

  1. [1]

    On the ricci curvature of a compact k¨ ahler manifold and the complex monge-amp´ ere equation, I

    S.-T. Yau. “On the ricci curvature of a compact k¨ ahler manifold and the complex monge-amp´ ere equation, I”. en. In:Communications on Pure and Applied Mathematics 31.3 (1978), pp. 339–411. doi: 10.1002/cpa.3160310304

  2. [2]

    Scalar Curvature and Projective Embeddings, I

    S. K. Donaldson. “Scalar Curvature and Projective Embeddings, I”. In: Journal of Differential Geometry 59.3 (Nov. 2001), pp. 479–522. doi: 10.4310/jdg/1090349449

  3. [3]

    Some Numerical Results in Complex Differential Geometry

    S. K. Donaldson. “Some Numerical Results in Complex Differential Geometry”. EN. In: Pure and Applied Mathematics Quarterly 5.2 (2005), pp. 571–618. doi: 10.4310/PAMQ.2009.v5.n2.a2

  4. [4]

    Headrick and A

    M. Headrick and A. Nassar. Energy functionals for Calabi-Yau metrics . Feb. 2010

  5. [5]

    C. H. Ek, O. Kim, and C. Mishra. Calabi-Yau metrics through Grassmannian learning and Donaldson’s algorithm . Oct. 2024

  6. [6]

    A pair of Calabi-Yau manifolds as an exactly soluble superconformal theory

    P. Candelas, X. C. De La Ossa, P. S. Green, and L. Parkes. “A pair of Calabi-Yau manifolds as an exactly soluble superconformal theory”. In: Nuclear Physics B 359.1 (July 1991), pp. 21–74. doi: 10.1016/0550-3213(91)90292-6

  7. [7]

    Calabi-Yau metrics for quotients and complete intersections

    V. Braun, T. Brelidze, M. R. Douglas, and B. A. Ovrut. “Calabi-Yau metrics for quotients and complete intersections”. en. In: Journal of High Energy Physics 2008.05 (May 2008), pp. 080–080. doi: 10.1088/1126-6708/2008/05/080

  8. [8]

    A three-generation Calabi-Yau manifold with small Hodge numbers

    V. Braun, P. Candelas, and R. Davies. “A three-generation Calabi-Yau manifold with small Hodge numbers”. en. In: Fortschritte der Physik 58.4-5 (2010), pp. 467–502. doi: 10.1002/prop.200900106

Show all 65 references
  1. [9]

    Calabi-Yau threefolds and heterotic string compactification

    R. Davies. “Calabi-Yau threefolds and heterotic string compactification”. PhD Thesis. Oxford U., 2010

  2. [10]

    On free quotients of complete intersection Calabi-Yau manifolds

    V. Braun. “On free quotients of complete intersection Calabi-Yau manifolds”. en. In: Journal of High Energy Physics 2011.4 (Apr. 2011), p. 5. doi: 10.1007/JHEP04(2011) 005

  3. [11]

    Calabi-Yau manifolds, discrete symmetries and string theory

    C. Mishra. “Calabi-Yau manifolds, discrete symmetries and string theory”. English. PhD Thesis. University of Oxford, 2017

  4. [12]

    Calabi-Yau Threefolds with Small Hodge Numbers

    P. Candelas, A. Constantin, and C. Mishra. “Calabi-Yau Threefolds with Small Hodge Numbers”. en. In: Fortschritte der Physik 66.6 (2018), p. 1800029. doi: 10.1002/ prop.201800029

  5. [13]

    Discrete Symmetries of Complete Intersection Calabi–Yau Manifolds

    A. Lukas and C. Mishra. “Discrete Symmetries of Complete Intersection Calabi–Yau Manifolds”. en. In: Communications in Mathematical Physics 379.3 (Nov. 2020), pp. 847–865. doi: 10.1007/s00220-020-03838-6

  6. [14]

    Heterotic and M-theory compactifications for string phenomenology

    L. B. Anderson. “Heterotic and M-theory compactifications for string phenomenology”. eng. PhD thesis. University of Oxford, 2008

  7. [15]

    Constantin, C

    A. Constantin, C. S. Fraser-Taliente, T. R. Harvey, L. T. Y. Leung, and A. Lukas. Fermion Masses and Mixing in String-Inspired Models . en. Oct. 2024. doi: 10.48550/ arXiv.2410.17704. – 36 –

  8. [16]

    Discrete gauge symmetries and the origin of baryon and lepton number conservation in supersymmetric versions of the standard model

    L. E. Ibanez and G. G. Ross. “Discrete gauge symmetries and the origin of baryon and lepton number conservation in supersymmetric versions of the standard model”. In: Nuclear Physics B 368.1 (1992), pp. 3–37

  9. [17]

    New Calabi-Yau manifolds with small Hodge numbers

    P. Candelas and R. Davies. “New Calabi-Yau manifolds with small Hodge numbers”. en. In: Fortschritte der Physik 58.4-5 (2010), pp. 383–466. doi: 10.1002/prop.200900105

  10. [18]

    Highly Symmetric Quintic Quotients

    P. Candelas and C. Mishra. “Highly Symmetric Quintic Quotients”. en. In:Fortschritte der Physik 66.4 (2018), p. 1800017. doi: 10.1002/prop.201800017

  11. [19]

    Hodge numbers for CICYs with sym- metries of order divisible by 4

    P. Candelas, A. Constantin, and C. Mishra. “Hodge numbers for CICYs with sym- metries of order divisible by 4”. In: Fortschritte der Physik 64.6-7 (2016), pp. 463– 509

  12. [20]

    The family problem: hints from heterotic line bundle models

    A. Constantin, A. Lukas, and C. Mishra. “The family problem: hints from heterotic line bundle models”. In: Journal of High Energy Physics 2016.3 (2016), pp. 1–17

  13. [21]

    Neural network approximations for Calabi- Yau metrics

    V. Jejjala, D. K. M. Pe˜ na, and C. Mishra. “Neural network approximations for Calabi- Yau metrics”. en. In: Journal of High Energy Physics 2022.8 (Aug. 2022), p. 105. doi: 10.1007/JHEP08(2022)105

  14. [22]

    M. M. Bronstein, J. Bruna, T. Cohen, and P. Veliˇ ckovi´ c.Geometric Deep Learning: Grids, Groups, Graphs, Geodesics, and Gauges . May 2021

  15. [23]

    Approximation by superpositions of a sigmoidal function

    G. Cybenko. “Approximation by superpositions of a sigmoidal function”. en. In: Mathematics of Control, Signals and Systems 2.4 (Dec. 1989), pp. 303–314. doi: 10.1007/BF02551274

  16. [24]

    Multilayer feedforward networks are universal approximators

    K. Hornik, M. Stinchcombe, and H. White. “Multilayer feedforward networks are universal approximators”. In: Neural Networks 2.5 (Jan. 1989), pp. 359–366. doi: 10.1016/0893-6080(89)90020-8

  17. [25]

    Approximation capabilities of multilayer feedforward networks

    K. Hornik. “Approximation capabilities of multilayer feedforward networks”. In: Neural Netw. 4.2 (Mar. 1991), pp. 251–257. doi: 10.1016/0893-6080(91)90009-T

  18. [26]

    K. Xu, W. Hu, J. Leskovec, and S. Jegelka. How Powerful are Graph Neural Networks? en. Feb. 2019

  19. [27]

    Raissi, P

    M. Raissi, P. Perdikaris, and G. E. Karniadakis. Physics Informed Deep Learning (Part I): Data-driven Solutions of Nonlinear Partial Differential Equations . en. Nov. 2017

  20. [28]

    Physics-informed neural networks: A deep learning framework for solving forward and inverse problems involving nonlinear partial differential equations

    M. Raissi, P. Perdikaris, and G. E. Karniadakis. “Physics-informed neural networks: A deep learning framework for solving forward and inverse problems involving nonlinear partial differential equations”. In: Journal of Computational Physics 378 (Feb. 2019), pp. 686–707. doi: 1...

  21. [29]

    Vacuum configurations for superstrings

    P. Candelas, G. T. Horowitz, A. Strominger, and E. Witten. “Vacuum configurations for superstrings”. In: Nuclear Physics B 258 (Jan. 1985), pp. 46–74. doi: 10.1016/ 0550-3213(85)90602-9

  22. [30]

    Distributions of flux vacua

    F. Denef and M. R. Douglas. “Distributions of flux vacua”. In: Journal of High Energy Physics 2004.05 (May 2004), pp. 072–072. doi: 10.1088/1126-6708/2004/05/072. – 37 –

  23. [31]

    Candelas and X

    P. Candelas and X. de la Ossa. Lectures on Complex Manifolds . Aug. 1987

  24. [32]

    H¨ ubsch.Calabi-Yau Manifolds: A Bestiary for Physicists

    T. H¨ ubsch.Calabi-Yau Manifolds: A Bestiary for Physicists . en. World Scientific, 1994

  25. [33]

    Numerical Calabi-Yau metrics

    M. R. Douglas, R. L. Karp, S. Lukic, and R. Reinbacher. “Numerical Calabi-Yau metrics”. In: Journal of Mathematical Physics 49.3 (Mar. 2008), p. 032302. doi: 10.1063/1.2888403

  26. [34]

    Numerical solution to the hermitian Yang-Mills equation on the Fermat quintic

    M. R. Douglas, R. L. Karp, S. Lukic, and R. Reinbacher. “Numerical solution to the hermitian Yang-Mills equation on the Fermat quintic”. en. In: Journal of High Energy Physics 2007.12 (Dec. 2007), pp. 083–083. doi: 10.1088/1126-6708/2007/12/083

  27. [35]

    Larfors, A

    M. Larfors, A. Lukas, F. Ruehle, and R. Schneider. Learning Size and Shape of Calabi-Yau Spaces. Nov. 2021

  28. [36]

    Hendi, M

    Y. Hendi, M. Larfors, and M. Walden. Learning Group Invariant Calabi-Yau Metrics by Fundamental Domain Projections . en. July 2024

  29. [37]

    Berglund, G

    P. Berglund, G. Butbaia, T. H¨ ubsch, V. Jejjala, D. M. Pe˜ na, C. Mishra, and J. Tan. Machine Learned Calabi-Yau Metrics and Curvature . Feb. 2023. doi: 10 .48550/ arXiv.2211.09801

  30. [38]

    Machine learning Calabi-Yau metrics

    A. Ashmore, Y. -H. He, and B. Ovrut. “Machine learning Calabi-Yau metrics”. In: Fortschritte der Physik 68.9 (Sept. 2020), p. 2000068. doi: 10.1002/prop.202000068

  31. [39]

    Gerdes and S

    M. Gerdes and S. Krippendorf. CYJAX: A package for Calabi-Yau metrics with JAX . Nov. 2022. doi: 10.48550/arXiv.2211.12520

  32. [40]

    Numerical Ricci-flat metrics on K3

    M. Headrick and T. Wiseman. “Numerical Ricci-flat metrics on K3”. en. In: Classical and Quantum Gravity 22.23 (Dec. 2005), pp. 4931–4960. doi: 10.1088/0264-9381/ 22/23/002

  33. [41]

    L. B. Anderson, J. Gray, and M. Larfors. Lectures on Numerical and Machine Learning Methods for Approximating Ricci-flat Calabi-Yau Metrics . Dec. 2023. doi: 10.48550/arXiv.2312.17125

  34. [42]

    Butbaia, D

    G. Butbaia, D. M. Pe˜ na, J. Tan, P. Berglund, T. H¨ ubsch, V. Jejjala, and C. Mishra. Physical Yukawa Couplings in Heterotic String Compactifications . May 2024. doi: 10.48550/arXiv.2401.15078

  35. [43]

    Symmetry breaking patterns in superstring models

    E. Witten. “Symmetry breaking patterns in superstring models”. In: Nuclear Physics B 258 (Jan. 1985), pp. 75–100. doi: 10.1016/0550-3213(85)90603-0

  36. [44]

    Moduli-dependent Calabi-Yau and SU(3)-structure metrics from machine learning

    L. B. Anderson, M. Gerdes, J. Gray, S. Krippendorf, N. Raghuram, and F. Ruehle. “Moduli-dependent Calabi-Yau and SU(3)-structure metrics from machine learning”. en. In: Journal of High Energy Physics 2021.5 (May 2021), p. 13. doi: 10.1007/ JHEP05(2021)013

  37. [45]

    Kachru, A

    S. Kachru, A. Tripathy, and M. Zimet. K3 metrics . Oct. 2020. doi: 10.48550/arXiv. 2006.02435. – 38 –

  38. [46]

    Berglund, G

    P. Berglund, G. Butbaia, T. H¨ ubsch, V. Jejjala, C. Mishra, D. M. Pe˜ na, and J. Tan. cymyc – Calabi-Yau Metrics, Yukawas, and Curvature . Oct. 2024. doi: 10.48550/ arXiv.2410.19728

  39. [47]

    Z. Liu, Y. Wang, S. Vaidya, F. Ruehle, J. Halverson, M. Soljaˇ ci´ c, T. Y. Hou, and M. Tegmark. KAN: Kolmogorov-Arnold Networks. June 2024. doi: 10.48550/arXiv. 2404.19756

  40. [48]

    On the Representation of Continuous Functions of Several Variables by Superposition of Continuous Functions of One Variable and Addition

    A. K. Kolmogorov. “On the Representation of Continuous Functions of Several Variables by Superposition of Continuous Functions of One Variable and Addition”. In: Doklady Akademii Nauk SSSR 114 (1957), pp. 369–373

  41. [49]

    Representation of continuous functions of three variables by the superposition of continuous functions of two variables

    “Representation of continuous functions of three variables by the superposition of continuous functions of two variables”. en. In: Collected Works: Representations of Functions, Celestial Mechanics and KAM Theory, 1957–1965 . Ed. by V. I. Arnold, A. B. Givental, B. A. Khesin, ...

  42. [50]

    Discovering Symbolic Models from Deep Learning with Inductive Biases

    M. Cranmer, A. Sanchez-Gonzalez, P. Battaglia, R. Xu, K. Cranmer, D. Spergel, and S. Ho. “Discovering Symbolic Models from Deep Learning with Inductive Biases”. In: NeurIPS 2020 (2020)

  43. [51]

    M. Cranmer. Interpretable Machine Learning for Science with PySR and SymbolicRe- gression.jl. May 2023. doi: 10.48550/arXiv.2305.01582

  44. [52]

    Axiomatic attribution for deep networks

    M. Sundararajan, A. Taly, and Q. Yan. “Axiomatic attribution for deep networks”. In: Proceedings of the 34th International Conference on Machine Learning - Volume

  45. [53]

    Layer-Wise Relevance Propagation: An Overview

    G. Montavon, A. Binder, S. Lapuschkin, W. Samek, and K. -R. M¨ uller. “Layer-Wise Relevance Propagation: An Overview”. en. In:Explainable AI: Interpreting, Explaining and Visualizing Deep Learning . Ed. by W. Samek, G. Montavon, A. Vedaldi, L. K. Hansen, and K. -R. M¨ uller. C...

  46. [54]

    Advancing mathematics by guiding human intuition with AI

    A. Davies, P. Veliˇ ckovi´ c, L. Buesing, S. Blackwell, D. Zheng, N. Tomaˇ sev, R. Tanburn, P. Battaglia, C. Blundell, A. Juh´ asz, M. Lackenby, G. Williamson, D. Hassabis, and P. Kohli. “Advancing mathematics by guiding human intuition with AI”. en. In: Nature 600.7887 (Dec. ...

  47. [55]

    Villar, D

    S. Villar, D. W. Hogg, K. Storey-Fisher, W. Yao, and B. Blum-Smith. Scalars are universal: Equivariant machine learning, structured like classical physics . en. Feb. 2023

  48. [56]

    H. Weyl. The Classical Groups: Their Invariants and Representations . en. Princeton University Press, 1946

  49. [57]

    Herstellung von Graphen mit vorgegebener abstrakter Gruppe

    R. Frucht. “Herstellung von Graphen mit vorgegebener abstrakter Gruppe”. German. In: Compositio Mathematica 6 (1938), pp. 239–250. – 39 –

  50. [58]

    Isometries, Local Isometries, Riemannian Coverings and Submersions, and Killing Vector Fields

    J. Gallier and J. Quaintance. “Isometries, Local Isometries, Riemannian Coverings and Submersions, and Killing Vector Fields”. en. In: Differential Geometry and Lie Groups: A Computational Perspective . Ed. by J. Gallier and J. Quaintance. Cham: Springer International Publishi...

  51. [59]

    Bradbury, R

    J. Bradbury, R. Frostig, P. Hawkins, M. J. Johnson, C. Leary, D. Maclaurin, G. Necula, A. Paszke, J. VanderPlas, S. Wanderman-Milne, and Q. Zhang. JAX: composable transformations of Python+NumPy programs . 2018

  52. [60]

    M. R. Douglas, S. Lakshminarasimhan, and Y. Qi. Numerical Calabi-Yau metrics from holomorphic networks . May 2021. doi: 10.48550/arXiv.2012.04797

  53. [61]

    Bouchard

    V. Bouchard. Lectures on complex geometry, Calabi-Yau manifolds and toric geometry . Feb. 2007. doi: 10.48550/arXiv.hep-th/0702063

  54. [62]

    Catanese

    F. Catanese. Kummer quartic surfaces, strict self-duality, and more . en. May 2021. doi: 10.48550/arXiv.2101.10501

  55. [63]

    IEEE Standard for Floating-Point Arithmetic

    “IEEE Standard for Floating-Point Arithmetic”. In: IEEE Std 754-2019 (Revision of IEEE 754-2008) (July 2019), pp. 1–84. doi: 10.1109/IEEESTD.2019.8766229. – 40 –

  56. [70]

    Sydney, NSW, Australia: JMLR.org, Aug

    ICML’17. Sydney, NSW, Australia: JMLR.org, Aug. 2017, pp. 3319–3328

  57. [209]

    doi: 10.1007/978-3-030-28954-6_10

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.