# Amphicheiral knot polynomials KT-1-H0-to-H4

## Setting

You are solving a mathematical proof problem. Establish the stated target result. Check the hypotheses, logical steps, and quantifiers in your argument as a careful referee would. End with a clear proof, or identify any gap you cannot close.

## Problem

Prove H4: Identify \(S^3\) with \(\{(z_1,z_2)\in\mathbb C^2:|z_1|^2+|z_2|^2=1\}\). For integers \(a\ge2\) and odd \(c\), put
\[
\rho(z_1,z_2)=(e^{2\pi ic/2^a}z_1,\overline{z_2}),\qquad C=\{z_1=0\}.
\]
Let \(K\subset S^3\) be a smooth oriented knot disjoint from \(C\), with \(\rho(K)=K\), \(\rho|_K\) preserving orientation, and \(\operatorname{lk}(K,C)\) odd.
There exists \(Q\in\mathbb Z[U,V]\) such that
\[
\Delta_{K\cup C}(t,y)\doteq Q(t+t^{-1},y+y^{-1}).
\]
The variables \(t,y\) correspond to \(K,C\), respectively, and \(\doteq\) denotes equality up to a Laurent unit \(\pm t^iy^j\), \(i,j\in\mathbb Z\).

Write the full proof to answer.md in the workspace root. Write the statements and hypotheses of any external results you cite to cited_results.md; if none are used, write 'No external results cited.' Identify any gap you cannot close.