{
  "schema": "AN02-L150-exact-figure-geometry163/v1",
  "figure_A": {
    "polynomial": "P(z)=(z-a)^2; Q(z)=(z+a)^2",
    "a": [
      1,
      0.5
    ],
    "reflected_a": [
      -1,
      -0.5
    ],
    "tube_r": 0.8,
    "density_s": 0.5,
    "cutoff_one_distance": 0.5,
    "derivative_support_inner": 0.5,
    "derivative_support_outer": 0.7000000000000001,
    "indicator_radius": 0.6000000000000001,
    "convolution_radius": 0.1,
    "phase_vector": "(-sin(theta),-cos(theta))",
    "phase_arrows_are_samples": true,
    "proof_locators": [
      "NV23-NV24",
      "NV40-NV42",
      "L150.1-L150.4"
    ]
  },
  "figure_B": {
    "Q": "z^2-1",
    "real_jet_T": 2,
    "J_T_squared": "|z^2-1|^2+4|z|^2*(T^2+eta^2)+4*(T^2+eta^2)^2",
    "ratio": "(1+eta^2)^(3/4)/(T^2+eta^2)",
    "normalized_ratio": "(q^2+T^(-2))^(3/4)/(1+q^2)",
    "proved_upper": "2^(3/4)",
    "exact_peaks": [
      {
        "T": 2,
        "eta": 2.8284271247461903,
        "q": 1.4142135623730951,
        "normalized_ratio": 0.6123724356957946
      },
      {
        "T": 8,
        "eta": 13.711309200802088,
        "q": 1.713913650100261,
        "normalized_ratio": 0.5721248424548514
      },
      {
        "T": 32,
        "eta": 55.389529696504916,
        "q": 1.7309228030157786,
        "normalized_ratio": 0.5700159792885893
      }
    ],
    "displayed_T_are_not_claimed_general_admissible_constants": true,
    "proof_locators": [
      "NV8-NV11",
      "NV20-NV21",
      "L150.5-L150.10"
    ]
  },
  "figures_are_original": true,
  "protected_book_media_used": false,
  "Blender_use": "Planar complex-frequency geometry and exact scalar comparisons need no 3D model."
}