Contribution of thermal noise to frequency stability of rigid optical cavity via Hertz-linewidth lasers | Synapse