{
  "bump": "exp(1-1/(1-16*x^2)) for |x|<1/4, zero otherwise",
  "moving_profiles": [
    {
      "j": 1,
      "center": 1.5,
      "amplitude": 0.5,
      "weighted_supremum": 1
    },
    {
      "j": 3,
      "center": 3.5,
      "amplitude": 0.125,
      "weighted_supremum": 1
    },
    {
      "j": 5,
      "center": 5.5,
      "amplitude": 0.03125,
      "weighted_supremum": 1
    }
  ],
  "coefficient": "rho_0=sum_j>=1 2^j chi(x-j-1/2); chi=1 on [-1/4,1/4], support(-2/5,2/5)",
  "selected_profiles_do_not_replace_infinite_locally_finite_family": true,
  "contour": {
    "z": "xi+i*R*log(2+xi^2)",
    "complex_jacobian": "1+i*2*R*xi/(2+xi^2)",
    "R_values": [
      0.3,
      0.7,
      1.3
    ],
    "height_at_zero": "R*log(2)",
    "integration_uses_complex_differential_not_arc_length": true
  },
  "seed": {
    "a": 2,
    "t": 4096,
    "support_interval": [
      -1,
      1
    ],
    "s": "t^2+eta^2",
    "q": "t^2/s",
    "correction": "sqrt(t^2+eta^2)/sqrt(t)-(t^2+eta^2)^(1/4)",
    "exact_normalized_Levi": "(q^(3/4)+1/4-3*q/4)/4-(a/sqrt(t))*q^(5/4)",
    "lower_bound": "1/32",
    "classical_part_off_eta_zero": true,
    "support_corner_contributes_positive_distributional_measure": true
  },
  "exact_proof_locators": [
    "TP11-TP16",
    "TP26-TP31",
    "L153.1-L153.9"
  ],
  "human_source": "Lars Hormander, Analysis of Linear Partial Differential Operators II, Theorems15.4.1-15.4.3",
  "original_sources": true,
  "blender_useful": false,
  "blender_reason": "These exact one-dimensional profiles, complex contours and scalar curvature bounds are fully displayed by scientific plots."
}