On Fluxed Instantons and Moduli Stabilisation in IIB Orientifolds and F-theory

We study the superpotential induced by Euclidean D3-brane instantons carrying instanton flux, with special emphasis on its significance for the stabilisation of Kahler moduli and Neveu-Schwarz axions in Type IIB orientifolds. Quite generally, once a chiral observable sector is included in the compactification, arising on intersecting D7-branes with world-volume flux, resulting charged instanton zero modes prevent a class of instantons from participating in moduli stabilisation. We show that instanton flux on Euclidean D3-branes can remove these extra zero modes and helps in reinstating full moduli stabilisation within a geometric regime. We comment also on the F-theoretic description of this effect of alleviating the general tension between moduli stabilisation and chirality. In addition we propose an alternative solution to this problem based on dressing the instantons with charged matter fields which is unique to F-theory and cannot be realised in the weak coupling limit.Comment: 9 pages in 2-column format; v2: refs adde

De Finetti's construction as a categorical limit

This paper reformulates a classical result in probability theory from the 1930s in modern categorical terms: de Finetti's representation theorem is redescribed as limit statement for a chain of finite spaces in the Kleisli category of the Giry monad. This new limit is used to identify among exchangeable coalgebras the final one.Comment: In proceedings of CMCS 202

Probabilistic Bisimulation: Naturally on Distributions

In contrast to the usual understanding of probabilistic systems as stochastic processes, recently these systems have also been regarded as transformers of probabilities. In this paper, we give a natural definition of strong bisimulation for probabilistic systems corresponding to this view that treats probability distributions as first-class citizens. Our definition applies in the same way to discrete systems as well as to systems with uncountable state and action spaces. Several examples demonstrate that our definition refines the understanding of behavioural equivalences of probabilistic systems. In particular, it solves a long-standing open problem concerning the representation of memoryless continuous time by memory-full continuous time. Finally, we give algorithms for computing this bisimulation not only for finite but also for classes of uncountably infinite systems

Fluxes and Warping for Gauge Couplings in F-theory

We compute flux-dependent corrections in the four-dimensional F-theory effective action using the M-theory dual description. In M-theory the 7-brane fluxes are encoded by four-form flux and modify the background geometry and Kaluza-Klein reduction ansatz. In particular, the flux sources a warp factor which also depends on the torus directions of the compactification fourfold. This dependence is crucial in the derivation of the four-dimensional action, although the torus fiber is auxiliary in F-theory. In M-theory the 7-branes are described by an infinite array of Taub-NUT spaces. We use the explicit metric on this geometry to derive the locally corrected warp factor and M-theory three-from as closed expressions. We focus on contributions to the 7-brane gauge coupling function from this M-theory back-reaction and show that terms quadratic in the internal seven-brane flux are induced. The real part of the gauge coupling function is modified by the M-theory warp factor while the imaginary part is corrected due to a modified M-theory three-form potential. The obtained contributions match the known weak string coupling result, but also yield additional terms suppressed at weak coupling. This shows that the completion of the M-theory reduction opens the way to compute various corrections in a genuine F-theory setting away from the weak string coupling limit.Comment: 46 page

Yukawa couplings and masses of non-chiral states for the Standard Model on D6-branes on T6/Z6'

The perturbative leading order open string three-point couplings for the Standard Model with hidden USp(6) on fractional D6-branes on T6/Z6' from arXiv:0806.3039 [hep-th], arXiv:0910.0843 [hep-th] are computed. Physical Yukawa couplings consisting of holomorphic Wilsonian superpotential terms times a non-holomorphic prefactor involving the corresponding classical open string Kaehler metrics are given, and mass terms for all non-chiral matter states are derived. The lepton Yukawa interactions are at leading order flavour diagonal, while the quark sector displays a more intricate pattern of mixings. While N=2 supersymmetric sectors acquire masses via only two D6-brane displacements - which also provide the hierarchies between up- and down-type Yukawas within one quark or lepton generation -, the remaining vector-like states receive masses via perturbative three-point couplings to some Standard Model singlet fields with vevs along flat directions. Couplings to the hidden sector and messengers for supersymmetry breaking are briefly discussed.Comment: 52 pages (including 8p. appendix); 5 figures; 14 tables; v2: discussion in section 4.1.3 extended, footnote 5 added, typos corrected, accepted by JHE

The effective action of D6-branes in N=1 type IIA orientifolds

We use a Kaluza-Klein reduction to compute the low-energy effective action for the massless modes of a spacetime-filling D6-brane wrapped on a special Lagrangian 3-cycle of a type IIA Calabi-Yau orientifold. The modifications to the characteristic data of the N=1 bulk orientifold theory in the presence of a D6-brane are analysed by studying the underlying Type IIA supergravity coupled to the brane worldvolume in the democratic formulation and performing a detailed dualisation procedure. The N=1 chiral coordinates are found to be in agreement with expectations from mirror symmetry. We work out the Kahler potential for the chiral superfields as well as the gauge kinetic functions for the bulk and the brane gauge multiplets including the kinetic mixing between the two. The scalar potential resulting from the dualisation procedure can be formally interpreted in terms of a superpotential. Finally, the gauging of the Peccei-Quinn shift symmetries of the complex structure multiplets reproduces the D-term potential enforcing the calibration condition for special Lagrangian 3-cycles.Comment: 48 pages, v2: typos corrected, references adde

Massive Abelian Gauge Symmetries and Fluxes in F-theory

F-theory compactified on a Calabi-Yau fourfold naturally describes non-Abelian gauge symmetries through the singularity structure of the elliptic fibration. In contrast Abelian symmetries are more difficult to study because of their inherently global nature. We argue that in general F-theory compactifications there are massive Abelian symmetries, such as the uplift of the Abelian part of the U(N) gauge group on D7-branes, that arise from non-Kahler resolutions of the dual M-theory setup. The four-dimensional F-theory vacuum with vanishing expectation values for the gauge fields corresponds to the Calabi-Yau limit. We propose that fluxes that are turned on along these U(1)s are uplifted to non-harmonic four-form fluxes. We derive the effective four-dimensional gauged supergravity resulting from F-theory compactifications in the presence of the Abelian gauge factors including the effects of possible fluxes on the gauging, tadpoles and matter spectrum.Comment: 49 page

Cellular IAPs inhibit a cryptic CD95-induced cell death by limiting RIP1 kinase recruitment

cIAPs keep RIP1 from getting to the DISC complex and complex II; when cIAPs are repressed, signaling is modulated by the cFLIP isoform