String theoretic QCD axion with stabilized saxion and the pattern of supersymmetry breaking

String theoretic axion is a prime candidate for the QCD axion solving thestrong CP problem. For a successful realization of the QCD axion in stringtheory, one needs to stabilize moduli including the scalar partner (saxion) ofthe QCD axion, while keeping the QCD axion unfixed until the low energy QCDinstanton effects are turned on. We note that a simple generalization of KKLTmoduli stabilization provides such set-up realizing the axion solution to thestrong CP problem. Although some details of moduli stabilization are differentfrom the original KKLT scenario, this set-up leads to the mirage mediationpattern of soft SUSY breaking terms as in the KKLT case, preserving flavor andCP as a consequence of approximate scaling and axionic shift symmetries. Theset-up also gives an interesting pattern of moduli masses which might avoid thecosmological moduli, gravitino and axion problems.Comment: JHEP style, 21 pages, 3 figures; typos correcte