← Mathematical handbook

The exact integer junction coordinates in Remark 2.2

noncomputable def Papers.AnsariRockelSteinmassl2026RhoGamma.junctionKappa : ℝ

Equations

• Papers.AnsariRockelSteinmassl2026RhoGamma.junctionKappa = (2 + √3) / 4

theorem Papers.AnsariRockelSteinmassl2026RhoGamma.thetaAlpha_integer (N : ℕ) (hN : 0 < N) : thetaAlpha ↑N = junctionKappa

The normalized splitting root is the same kappa at every positive integer theta.

theorem Papers.AnsariRockelSteinmassl2026RhoGamma.theta_integer_coordinates (N : ℕ) (hN : 0 < N) : thetaG ↑N = 1 - (2 * junctionKappa ^ 2 + ↑N / 2) / (↑N + junctionKappa) ^ 2 ∧ thetaP ↑N = 1 - (2 * junctionKappa ^ 3 + 3 * ↑N / 8) / (↑N + junctionKappa) ^ 3

Remark 2.2: both closed coordinate formulas at every integer theta=N>=1.