Verifier-guided discovery of exact high-order mimetic operators with large language models
Designing a high-order structure-preserving discretization is a constrained mathematical search: conservation, a positive discrete inner product, physical spectral behavior, boundary accuracy, bandwidth, and partial differential equation (PDE) error must hold simultaneously. We test whether large language models (LLMs) can help while remaining non-authoritative. The motivating MOLE implementation of the Corbino-Castillo staggered operators satisfies a general discrete Gauss identity and conserves exactly, yet its order-six and order-eight Dirichlet blocks develop four non-real…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.27922
curl -X POST /api/v1/records/arxiv/2609.27922/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.27922/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'