{
  "schema": "AN02-angular-Fourier-exact-geometry/v1",
  "line_model": {
    "dimension": 2,
    "unit_v": [
      "3/5",
      "4/5"
    ],
    "unit_w": [
      "-4/5",
      "3/5"
    ],
    "source": "u(phi)=integral_R s^3 phi(sv) ds",
    "source_degree": 2,
    "k": -4,
    "angular_T": "delta_v-delta_minus_v",
    "full_transform": "-2*pi*i*delta'''(v dot xi) tensor 1 in w coordinate",
    "frequency_support": "v dot xi=0",
    "diagram_kind": "exact support and angular-point diagram; distribution amplitudes specified by formulas",
    "proof_locator": "formal Theorem4.1,learner Solution4"
  },
  "Gaussian_model": {
    "dimension": 2,
    "b": 1,
    "phi": "exp(-|xi|^2)",
    "unit_omega": [
      "3/5",
      "4/5"
    ],
    "slice_t": "4/5",
    "hyperplane_average": "sqrt(pi)*exp(-t^2)",
    "sigma_pairings": {
      "k=-1": "sqrt(pi)",
      "k=0": "0",
      "k=1": "sqrt(pi)/2"
    },
    "proof_locator": "formal Lemma3.1,learner Solution3"
  }
}