Manuscript Oai227-A@1 · Oai227-A.tex · section · 7f45f607

Freeze the complete finite instance

Stage 6: the one explicit finite certificate › Freeze the complete finite instance · lines 1204–1230

Oai227-A@1#eq:certificate-data

We choose

n = 2, β = 1, v = 2^{1/3}, T = 2^{2/3}, K = [4, 5] \times [1, 2], ε_{cert} = \frac{1}{65536} .

The single coupling $J = J_{12}$ is arbitrary in $R$ . Write

κ = \frac{J}{2}, a = tanh κ, b = \frac{1 - a}{2}, c = \frac{1 + a}{2} .

In particular, $- 1 < a < 1$ .

Displayed formulas in this passage

Oai227-A@1#eq:certificate-data · line 1207
$n = 2, β = 1, v = 2^{1/3}, T = 2^{2/3}, K = [4, 5] \times [1, 2], ε_{cert} = \frac{1}{65536} .$
unlabeled · line 1220
$κ = \frac{J}{2}, a = tanh κ, b = \frac{1 - a}{2}, c = \frac{1 + a}{2} .$