{
  "translation": {
    "s": "1/4",
    "theta_s_f": "f(q-s)"
  },
  "trace": "tau(f) = (1/(2*pi))*integral exp(-q)*f(q) dq",
  "strips": "[2n,2n+s) union [2n+1,2n+1+s), n in Z",
  "exact_mass": "m_n(s)=(1+exp(-1))*(1-exp(-s))*exp(-2*n)/(2*pi)",
  "finite_display_indices": [
    -3,
    -2,
    -1,
    0,
    1
  ],
  "display_masses": [
    19.427567677010572,
    2.6292353741666874,
    0.35582831405857,
    0.04815612566672294,
    0.006517222906683864
  ],
  "proved_divergence": "m_{-k}(s) tends to infinity for fixed 0<s<1; see MG14-MG15",
  "claim_boundary": "Finite plot illustrates exact formula; it is not numerical proof of an infinite sum."
}