Quantum Realization of Softmax Attention: Born-Rule Equivalence on the Probability Simplex

Exact quantum circuit implementing transformer softmax attention with rotation-gate parameters, machine-verified in Lean 4. Establishes cosine-squared/exponential softmax bijection and realizes temperature as measurement repetition—extending classical attention with hard-zero ...

#QuantumML #QuantumAlgorithms #Research #Informaq

https://iq.fp2.dev/e4vL5