We consider a static, spherically symmetric system of a Dirac particle in a classical gravitational and SU (2) Yang-Mills field. We prove that the only black-hole solutions of the corresponding Einstein-Dirac-Yang/Mills equations are the Bartnik-McKinnon black-hole solutions of the SU (2) Einstein-Yang/Mills equations; thus the spinors must vanish identically. This indicates that the Dirac particles must either disappear into the black-hole or escape to infinity.

The original motivation for solving of the Einstein equation is to understand space-time in the absence of matter; see the essay by Tod in this volume for an overview of the mathematics of general relativity. The equation governs the manner in which space-time is inuenced by the sole force of gravity. As is well known, singularities such as black holes can occur. The study of the vacuum Einstein equations is a difficult problem in nonlinear hyperbolic systems; see the essay by Christodoulou in this volume. Complete space-times with nontrivial gravitational radiation are not well understood.

We study SYZ mirror symmetry in the context of non-Khler CalabiYau manifolds. In particular, we study the six-dimensional Type II supersymmetric <i>SU</i>(3) systems with RamondRamond fluxes, and generalize them to higher dimensions. We show that FourierMukai transform provides the mirror map between these Type IIA and Type IIB supersymmetric systems in the semi-flat setting. This is concretely exhibited by nilmanifolds.

In this paper we study the birational geometry of HyperKaehler manifolds by combining the method of minimal model program and the traditional approach of symplectic geometry.

Redundant via insertion is highly recommended for improving chip yield and reliability. In this paper, we study the problem of double via insertion with wire bending (DVI/WB) in a post-routing stage, where a single via can have at most one redundant via inserted next to it. Aside from this, we are allowed to bend existing signal wires for enhancing the insertion rate of double vias. The goal of DVI/WB is to primarily insert as many double vias as possible and to minimize the amount of layout perturbation as the secondary objective. We formulate the DVI/WB problem as that of finding a minimum-weight maximum independent set (mWMIS) on an enhanced conflict graph. We propose algorithms to perform wire bending and to construct the enhanced conflict graph from a given design. Moreover, we also propose a zero-one integer linear program (0-1 ILP) based approach to solve mWMIS. Experimental results show that