Coulombically Interacting Electrons in a One-dimensional Quantum Dot

The spectral properties of up to four interacting electrons confined within a quasi one--dimensional system of finite length are determined by numerical diagonalization including the spin degree of freedom. The ground state energy is investigated as a function of the electron number and of the system length. The limitations of a description in terms of a capacitance are demonstrated. The energetically lowest lying excitations are physically explained as vibrational and tunneling modes. The limits of a dilute, Wigner-type arrangement of the electrons, and a dense, more homogeneous charge distribution are discussed.Comment: 10 pages (excl. Figures), Figures added in POSTSCRIPT, LaTe

Multiband theory of quantum-dot quantum wells: Dark excitons, bright excitons, and charge separation in heteronanostructures

Electron, hole, and exciton states of multishell CdS/HgS/CdS quantum-dot quantum well nanocrystals are determined by use of a multiband theory that includes valence-band mixing, modeled with a 6-band Luttinger-Kohn Hamiltonian, and nonparabolicity of the conduction band. The multiband theory correctly describes the recently observed dark-exciton ground state and the lowest, optically active, bright-exciton states. Charge separation in pair states is identified. Previous single-band theories could not describe these states or account for charge separation.Comment: 10 pages of ReVTex, 6 ps figures, submitted to Phys. Rev.

On the absence of BPS preonic solutions in IIA and IIB supergravities

We consider the present absence of 31 out of 32 supersymmetric solutions in supergravity i.e., of solutions describing BPS preons. A recent result indicates that (bosonic) BPS preonic solutions do not exist in type IIB supergravity. We reconsider this analysis by using the G-frame method, extend it to the IIA supergravity case, and show that there are no (bosonic) preonic solutions for type IIA either. For the classical D=11 supergravity no conclusion can be drawn yet, although the negative IIA results permit establishing the conditions that preonic solutions would have to satisfy. For supergravities with `stringy' corrections, the existence of BPS preonic solutions remains fully open.Comment: plain latex, 12 pages Minor misprints corrected. Published in JHEP 09 (2006) 00

Willmore Surfaces of Constant Moebius Curvature

We study Willmore surfaces of constant Moebius curvature $K$ in $S^4$. It is proved that such a surface in $S^3$ must be part of a minimal surface in $R^3$ or the Clifford torus. Another result in this paper is that an isotropic surface (hence also Willmore) in $S^4$ of constant $K$ could only be part of a complex curve in $C^2\cong R^4$ or the Veronese 2-sphere in $S^4$. It is conjectured that they are the only examples possible. The main ingredients of the proofs are over-determined systems and isoparametric functions.Comment: 16 pages. Mistakes occured in the proof to the main theorem (Thm 3.6) has been correcte

Closed forms and multi-moment maps

We extend the notion of multi-moment map to geometries defined by closed forms of arbitrary degree. We give fundamental existence and uniqueness results and discuss a number of essential examples, including geometries related to special holonomy. For forms of degree four, multi-moment maps are guaranteed to exist and are unique when the symmetry group is (3,4)-trivial, meaning that the group is connected and the third and fourth Lie algebra Betti numbers vanish. We give a structural description of some classes of (3,4)-trivial algebras and provide a number of examples.Comment: 36 page

The spinorial geometry of supersymmetric heterotic string backgrounds

We determine the geometry of supersymmetric heterotic string backgrounds for which all parallel spinors with respect to the connection $\hat\nabla$ with torsion $H$, the NS$\otimes$NS three-form field strength, are Killing. We find that there are two classes of such backgrounds, the null and the timelike. The Killing spinors of the null backgrounds have stability subgroups K\ltimes\bR^8 in $Spin(9,1)$, for $K=Spin(7)$, SU(4), $Sp(2)$, $SU(2)\times SU(2)$ and $\{1\}$, and the Killing spinors of the timelike backgrounds have stability subgroups $G_2$, SU(3), SU(2) and $\{1\}$. The former admit a single null $\hat\nabla$-parallel vector field while the latter admit a timelike and two, three, five and nine spacelike $\hat\nabla$-parallel vector fields, respectively. The spacetime of the null backgrounds is a Lorentzian two-parameter family of Riemannian manifolds $B$ with skew-symmetric torsion. If the rotation of the null vector field vanishes, the holonomy of the connection with torsion of $B$ is contained in $K$. The spacetime of time-like backgrounds is a principal bundle $P$ with fibre a Lorentzian Lie group and base space a suitable Riemannian manifold with skew-symmetric torsion. The principal bundle is equipped with a connection $\lambda$ which determines the non-horizontal part of the spacetime metric and of $H$. The curvature of $\lambda$ takes values in an appropriate Lie algebra constructed from that of $K$. In addition $dH$ has only horizontal components and contains the Pontrjagin class of $P$. We have computed in all cases the Killing spinor bilinears, expressed the fluxes in terms of the geometry and determine the field equations that are implied by the Killing spinor equations.Comment: 73pp. v2: minor change

Area-Constrained Planar Elastica

We determine the equilibria of a rigid loop in the plane, subject to the constraints of fixed length and fixed enclosed area. Rigidity is characterized by an energy functional quadratic in the curvature of the loop. We find that the area constraint gives rise to equilibria with remarkable geometrical properties: not only can the Euler-Lagrange equation be integrated to provide a quadrature for the curvature but, in addition, the embedding itself can be expressed as a local function of the curvature. The configuration space is shown to be essentially one-dimensional, with surprisingly rich structure. Distinct branches of integer-indexed equilibria exhibit self-intersections and bifurcations -- a gallery of plots is provided to highlight these findings. Perturbations connecting equilibria are shown to satisfy a first order ODE which is readily solved. We also obtain analytical expressions for the energy as a function of the area in some limiting regimes.Comment: 23 pages, several figures. Version 2: New title. Changes in the introduction, addition of a new section with conclusions. Figure 14 corrected and one reference added. Version to appear in PR

Sigref – A Symbolic Bisimulation Tool Box

We present a uniform signature-based approach to compute the most popular bisimulations. Our approach is implemented symbolically using BDDs, which enables the handling of very large transition systems. Signatures for the bisimulations are built up from a few generic building blocks, which naturally correspond to efficient BDD operations. Thus, the definition of an appropriate signature is the key for a rapid development of algorithms for other types of bisimulation. We provide experimental evidence of the viability of this approach by presenting computational results for many bisimulations on real-world instances. The experiments show cases where our framework can handle state spaces efficiently that are far too large to handle for any tool that requires an explicit state space description. This work was partly supported by the German Research Council (DFG) as part of the Transregional Collaborative Research Center “Automatic Verification and Analysis of Complex Systems” (SFB/TR 14 AVACS). See www.avacs.org for more information