F-Theory GUT Vacua on Compact Calabi-Yau Fourfolds

We present compact three-generation F-theory GUT models meeting in particular the constraints of D3-tadpole cancellation and D-term supersymmetry. To this end we explicitly construct elliptically fibered Calabi-Yau fourfolds as complete intersections in a toric ambient space. Toric methods enable us to control the singular geometry of the SU(5) GUT model. The GUT brane wraps a non-generic del Pezzo surface admitting GUT symmetry breaking via hypercharge flux. It is contractible to a curve and we demonstrate the existence of a consistent decoupling limit. We compute the Euler characteristic of the singular Calabi-Yau fourfold to show that our three-generation flux solutions obtained via the spectral cover construction are consistent with D3-tadpole cancellation.Comment: 22+12 pages; v2: minor clarifications on decoupling limi

MITK-ModelFit: A generic open-source framework for model fits and their exploration in medical imaging -- design, implementation and application on the example of DCE-MRI

Many medical imaging techniques utilize fitting approaches for quantitative parameter estimation and analysis. Common examples are pharmacokinetic modeling in DCE MRI/CT, ADC calculations and IVIM modeling in diffusion-weighted MRI and Z-spectra analysis in chemical exchange saturation transfer MRI. Most available software tools are limited to a special purpose and do not allow for own developments and extensions. Furthermore, they are mostly designed as stand-alone solutions using external frameworks and thus cannot be easily incorporated natively in the analysis workflow. We present a framework for medical image fitting tasks that is included in MITK, following a rigorous open-source, well-integrated and operating system independent policy. Software engineering-wise, the local models, the fitting infrastructure and the results representation are abstracted and thus can be easily adapted to any model fitting task on image data, independent of image modality or model. Several ready-to-use libraries for model fitting and use-cases, including fit evaluation and visualization, were implemented. Their embedding into MITK allows for easy data loading, pre- and post-processing and thus a natural inclusion of model fitting into an overarching workflow. As an example, we present a comprehensive set of plug-ins for the analysis of DCE MRI data, which we validated on existing and novel digital phantoms, yielding competitive deviations between fit and ground truth. Providing a very flexible environment, our software mainly addresses developers of medical imaging software that includes model fitting algorithms and tools. Additionally, the framework is of high interest to users in the domain of perfusion MRI, as it offers feature-rich, freely available, validated tools to perform pharmacokinetic analysis on DCE MRI data, with both interactive and automatized batch processing workflows.Comment: 31 pages, 11 figures URL: http://mitk.org/wiki/MITK-ModelFi

Semantic 3D-aware Portrait Synthesis and Manipulation Based on Compositional Neural Radiance Field

Recently 3D-aware GAN methods with neural radiance field have developed rapidly. However, current methods model the whole image as an overall neural radiance field, which limits the partial semantic editability of synthetic results. Since NeRF renders an image pixel by pixel, it is possible to split NeRF in the spatial dimension. We propose a Compositional Neural Radiance Field (CNeRF) for semantic 3D-aware portrait synthesis and manipulation. CNeRF divides the image by semantic regions and learns an independent neural radiance field for each region, and finally fuses them and renders the complete image. Thus we can manipulate the synthesized semantic regions independently, while fixing the other parts unchanged. Furthermore, CNeRF is also designed to decouple shape and texture within each semantic region. Compared to state-of-the-art 3D-aware GAN methods, our approach enables fine-grained semantic region manipulation, while maintaining high-quality 3D-consistent synthesis. The ablation studies show the effectiveness of the structure and loss function used by our method. In addition real image inversion and cartoon portrait 3D editing experiments demonstrate the application potential of our method.Comment: Accepted by AAAI2023 Ora

Lectures on F-theory compactifications and model building

These lecture notes are devoted to formal and phenomenological aspects of F-theory. We begin with a pedagogical introduction to the general concepts of F-theory, covering classic topics such as the connection to Type IIB orientifolds, the geometry of elliptic fibrations and the emergence of gauge groups, matter and Yukawa couplings. As a suitable framework for the construction of compact F-theory vacua we describe a special class of Weierstrass models called Tate models, whose local properties are captured by the spectral cover construction. Armed with this technology we proceed with a survey of F-theory GUT models, aiming at an overview of basic conceptual and phenomenological aspects, in particular in connection with GUT breaking via hypercharge flux.Comment: Invited contribution to the proceedings of the CERN Winter School on Supergravity, Strings and Gauge Theory 2010, to appear in Classical and Quantum Gravity; 63 pages; v2: references added, typos correcte