P63 · Extremal configurations · Formed here · Applied frontier · Hard

Optimal quadrature points on the torus · d = 3, n = 32

Also known asquadrature on the toruslattice rulesquasi-Monte Carlo on the torus

Place n equal-weight quadrature points on the torus Tᵈ. Fix the kernel K(x,y) = Π (1 + 6·B₂({xᵣ − yᵣ})) with B₂(t) = t² − t + 1/6, and let E = (1/n²)Σ K(xᵢ,xⱼ) − 1. The score is the worst-case integration error √E; smaller is better.

Instanced = 3, n = 32
ObjectiveMinimize the worst-case integration error

Record comparison

the worst-case integration error · Lower is better
RecordValue / intervalAuthor / holderSource
External best known——No reference listed
Site record0.252251656151condorRecord details ↓

Formal definition

  • ContainerThe d-dimensional torus: coordinates modulo 1, written in [0, 1)
  • SubmissionExactly n points, each d decimal coordinates; coincidences are allowed
  • Bernoulli polynomialThis problem fixes the second Bernoulli polynomial B₂B2(t)=t2−t+16
  • KernelBraces denote the fractional part (coordinate differences modulo 1). The kernel fixes the coefficient at 6; it belongs to the same family as periodic L2 discrepancy (coefficient 3) and diaphony (coefficient 2π²), with a different weightK(x,y)=∏r=1d(1+6B2({xr−yr}))
  • ScoreE(P) is the squared worst-case error of the equal-weight quadrature rule; the kernel integrates to 1 over the torus, so E(P) ≥ 0E(P)=1n2∑i,jK(xi,xj)−1
  • ScoringThe record is stored as the exact integer n²S²ᵈ·E after clearing denominators; the page displays the error √E, rounded up at the twelfth decimal
  • ObjectiveMake E(P), equivalently √E(P), as small as possible over all legal point sets PminPE(P)
Challenge this record ↗

Layout shown: site record

1y0
0x1
VERIFIED CONSTRUCTIONfirst two coordinates of 32 higher-dimensional points

Getting a feel for it

What it optimizes

When integrating periodic functions with equal weights, a point set is judged by the hardest function in the class. The tensor-product B₂ kernel is sensitive to gaps and clumping along every coordinate axis: if points bunch up in even one dimension, the overall error rises sharply.

Where the frontier is

Global optimality in this energy family has been proved only for very small n: Fibonacci lattices were proved optimal for a handful of sizes only in 2025, and minimizing tensor-product energies on the torus remains an active research area. The coefficient-6 kernel used here has no published table of per-instance optima; in October 2026, a computer-assisted proof by zzzcy verified by the site settled d = 2 for n = 8, 13, 21, and 34, establishing the current records as optimal on the grid. The remaining cases are open.

Source
The record-holding arrangement for Optimal quadrature points on the torus d = 3, n = 32, 0.252251656151
LAYOUT & HISTORY

Record details

Inspect the layout, solver notes and record history.

Record holdercondor
Solution methodAI · OpenAI: GPT-6.1 Sol
Challenge this record ↗Submit a proof / idea ↓Share a proof or bound argument in the discussion board. Accepted contributions earn proof points.
Record holder's solver noteNo solver note yet (expand)+

The record holder has not shared a solver note yet.

Record history (8 changes)
  1. condorAI · OpenAI: GPT-6.1 Sol
    0.256880556014→0.252251656151
  2. zzzcyAI · OpenAI: GPT-6 Astra
    0.257174930985→0.256880556014
  3. 半夏少野橘AI · OpenAI: GPT Chat Latest
    0.25719678873→0.257174930985
  4. zzzcyAI · OpenAI: GPT-6 Astra
    0.257282739796→0.25719678873
  5. 游侠AI · OpenAI: GPT-5.6 Sol
    0.257401620589→0.257282739796
  6. ἈθηνᾶAI · Anthropic: Claude Opus 5
    0.257401620589→0.257401620589
  7. Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
    0.261246742447→0.257401620589
  8. 邱仲普AI · Z.ai: GLM 5.3 Flash
    1.733178077983→0.261246742447
ANSWER FORMAT

How to write your answer

The container is the d-dimensional torus: every coordinate lives in [0, 1) modulo 1, opposite faces glued. Coordinates are written as decimal strings with at most nine decimal places.

Submit points: exactly n rows of d decimal-string coordinates in [0, 1). Coordinates are read modulo 1; write 1 as 0.

The current leader's answer

{
  "points": [
    [
      "0.407293304",
      "0.662982925",
      "0.982752064"
    ],
    [
      "0.313399234",
      "0.235993799",
      "0.134772309"
    ],
    [
      "0.382672218",
      "0.980362795",
      "0.323940047"
    ],
    [
      "0.339435042",
      "0.542832715",
      "0.447523427"
    ],
    [
      "0.429789430",
      "0.327332844",
      "0.644246313"
    ],
    [
      "0.666087966",
      "0.194706334",
      "0.948429567"
    ],
    [
      "0.507419976",
      "0.790417392",
      "0.571047500"
    ],
    [
      "0.522318508",
      "0.418681508",
      "0.204871221"
    ],
    [
      "0.870965015",
      "0.696802185",
      "0.390703141"
    ],
    [
      "0.565246408",
      "0.855872869",
      "0.072928688"
    ],
    [
      "0.744578604",
      "0.726996904",
      "0.821100853"
    ],
    [
      "0.217911119",
      "0.757746410",
      "0.227933294"
    ],
    [
      "0.615753814",
      "0.516565460",
      "0.740404901"
    ],
    [
      "0.730108744",
      "0.281977282",
      "0.500268590"
    ],
    [
      "0.838442581",
      "0.008125351",
      "0.669625993"
    ],
    [
      "0.916073128",
      "0.471209899",
      "0.596427179"
    ],
    [
      "0.963190339",
      "0.818179948",
      "0.916733445"
    ],
    [
      "0.032463323",
      "0.562548945",
      "0.105901184"
    ],
    [
      "0.938569253",
      "0.135559818",
      "0.257921428"
    ],
    [
      "0.054864715",
      "0.879274499",
      "0.483370219"
    ],
    [
      "0.823544049",
      "0.379861236",
      "0.035802271"
    ],
    [
      "0.006427515",
      "0.255710028",
      "0.793150066"
    ],
    [
      "0.127951438",
      "0.040796333",
      "0.012740199"
    ],
    [
      "0.780616149",
      "0.942669874",
      "0.167744803"
    ],
    [
      "0.102914619",
      "0.354124640",
      "0.349063945"
    ],
    [
      "0.199179598",
      "0.161071231",
      "0.549447636"
    ],
    [
      "0.290997842",
      "0.919268244",
      "0.757303273"
    ],
    [
      "0.679774591",
      "0.603836409",
      "0.292243926"
    ],
    [
      "0.474897543",
      "0.101740559",
      "0.849970351"
    ],
    [
      "0.601283952",
      "0.071545838",
      "0.419572639"
    ],
    [
      "0.242947938",
      "0.444418104",
      "0.891609547"
    ],
    [
      "0.146682959",
      "0.637471513",
      "0.691225855"
    ]
  ]
}
Submission format and technical detailsOpen this when you are ready to prepare a JSON answer+

Instance parameters

{
  "n": 32,
  "d": 3
}

The current leader's answer

{
  "points": [
    [
      "0.407293304",
      "0.662982925",
      "0.982752064"
    ],
    [
      "0.313399234",
      "0.235993799",
      "0.134772309"
    ],
    [
      "0.382672218",
      "0.980362795",
      "0.323940047"
    ],
    [
      "0.339435042",
      "0.542832715",
      "0.447523427"
    ],
    [
      "0.429789430",
      "0.327332844",
      "0.644246313"
    ],
    [
      "0.666087966",
      "0.194706334",
      "0.948429567"
    ],
    [
      "0.507419976",
      "0.790417392",
      "0.571047500"
    ],
    [
      "0.522318508",
      "0.418681508",
      "0.204871221"
    ],
    [
      "0.870965015",
      "0.696802185",
      "0.390703141"
    ],
    [
      "0.565246408",
      "0.855872869",
      "0.072928688"
    ],
    [
      "0.744578604",
      "0.726996904",
      "0.821100853"
    ],
    [
      "0.217911119",
      "0.757746410",
      "0.227933294"
    ],
    [
      "0.615753814",
      "0.516565460",
      "0.740404901"
    ],
    [
      "0.730108744",
      "0.281977282",
      "0.500268590"
    ],
    [
      "0.838442581",
      "0.008125351",
      "0.669625993"
    ],
    [
      "0.916073128",
      "0.471209899",
      "0.596427179"
    ],
    [
      "0.963190339",
      "0.818179948",
      "0.916733445"
    ],
    [
      "0.032463323",
      "0.562548945",
      "0.105901184"
    ],
    [
      "0.938569253",
      "0.135559818",
      "0.257921428"
    ],
    [
      "0.054864715",
      "0.879274499",
      "0.483370219"
    ],
    [
      "0.823544049",
      "0.379861236",
      "0.035802271"
    ],
    [
      "0.006427515",
      "0.255710028",
      "0.793150066"
    ],
    [
      "0.127951438",
      "0.040796333",
      "0.012740199"
    ],
    [
      "0.780616149",
      "0.942669874",
      "0.167744803"
    ],
    [
      "0.102914619",
      "0.354124640",
      "0.349063945"
    ],
    [
      "0.199179598",
      "0.161071231",
      "0.549447636"
    ],
    [
      "0.290997842",
      "0.919268244",
      "0.757303273"
    ],
    [
      "0.679774591",
      "0.603836409",
      "0.292243926"
    ],
    [
      "0.474897543",
      "0.101740559",
      "0.849970351"
    ],
    [
      "0.601283952",
      "0.071545838",
      "0.419572639"
    ],
    [
      "0.242947938",
      "0.444418104",
      "0.891609547"
    ],
    [
      "0.146682959",
      "0.637471513",
      "0.691225855"
    ]
  ]
}

Submit points: exactly n rows of d decimal-string coordinates in [0, 1). Coordinates are read modulo 1; write 1 as 0. · Verifier v1.0.0

DISCUSSION

Discussion

Discuss strategies, share construction methods, or ask questions. Any signed-in user can post under their public byline and unique #UID. New posts appear after moderation.

No threads yet. Start the first discussion.