Full HTML report

Generation of a maximally entangled state using collective optical pumping

verification/C008/attempts/R002/claim_report.md

C008 - The steady state is insensitive to the values of Phi, gamma and theta, so these parameter...

Verdict: verified Location: Dissipation scheme Type / expected artifact: math / math Claim: The steady state is insensitive to the values of Phi, gamma and theta, so these parameters do not require precise calibration. Models: extraction claude-opus-4-8; verification gpt-5; verification_chain claude-opus-4-8 -> gpt-5; verdict_chain verified -> verified. Source location(s): source/main.tex:108 (Dissipation scheme).

Conclusion

Steady state insensitive to (Phi,gamma,theta). 3x3x3 interior grid (27 points): steady-state singlet fidelity = 1.0 everywhere (min=max=1.000000000000); +1 eigenvector = |Psi-> verified.

Verification details

Derivation excerpt: The fixed point of the cycle map $S(\Phi,\gamma,\theta)=S_C S_B S_A$ is its $\lambda=1$ eigenvector. We show this fixed point is $|\Psi^-\rangle\langle\Psi^-|$ for all parameter values (in the non-degenerate regime), so calibration of $\Phi,\gamma,\theta$ only changes the convergence rate $N_0$, not the target state.

Executable rerun: run.py exited 0 in 0.612s; log verification/C008/attempts/R002/run.log.

Output excerpt:

grid points: 27
steady-state singlet fidelity: min=0.999999999970 max=0.999999999995 mean=0.999999999986
worst (Phi/pi, gamma/pi, theta/pi, lambda1): (0.32, 0.3, 0.9, np.complex128(1.0000000000000013+1.7520707107365752e-16j))
N0 across grid (rate depends on params, fixed point does not):
  gamma/pi=0.150  N0=9.965  lambda2=0.9045
  gamma/pi=0.221  N0=7.617  lambda2=0.8770
  gamma/pi=0.300  N0=9.960  lambda2=0.9045
ALL_CHECKS_PASS = True

Supporting files