Fano interference effect on the transition spectrum of single electron transistors

We theoretically study the intraband transition spectrum of single electron transistors (SETs) composed of individual self-assembled quantum dots. The polarization of SETs is obtained by using the nonequilibrium Green's function technique and the Anderson model with three energy levels. Owing to nonradiative coupling between two excited states through the continuum of electrodes, the Fano interference effect significantly influences the peak position and intensity of infrared wavelength single-photon spectrum.Comment: 4 pages, 5 figure

Lattices of quasi-equational theories as congruence lattices of semilattices with operators, Part I

We show that for every quasivariety K of structures (where both functions and relations are allowed) there is a semilattice S with operators such that the lattice of quasi-equational theories of K (the dual of the lattice of sub-quasivarieties of K) is isomorphic to Con(S,+,0,F). As a consequence, new restrictions on the natural quasi-interior operator on lattices of quasi-equational theories are found.Comment: Presented on International conference "Order, Algebra and Logics", Vanderbilt University, 12-16 June, 2007 25 pages, 2 figure

Spherically Symmetric solutions in Multidimensional Gravity with the SU(2) Gauge Group as the Extra Dimensions

The multidimensional gravity on the principal bundle with the SU(2) gauge group is considered. The numerical investigation of the spherically symmetric metrics with the center of symmetry is made. The solution of the gravitational equations depends on the boundary conditions of the ``SU(2) gauge potential'' (off-diagonal metric components) at the symmetry center and on the type of symmetry (symmetrical or antisymmetrical) of these potentials. In the chosen range of the boundary conditions it is shown that there are two types of solutions: wormhole-like and flux tube. The physical application of such kind of solutions as quantum handles in a spacetime foam is discussed.Comment: misprints are correcte

Towards the Formal Specification and Verification of Maple Programs

In this paper, we present our ongoing work and initial results on the formal specification and verification of MiniMaple (a substantial subset of Maple with slight extensions) programs. The main goal of our work is to find behavioral errors in such programs w.r.t. their specifications by static analysis. This task is more complex for widely used computer algebra languages like Maple as these are fundamentally different from classical languages: they support non-standard types of objects such as symbols, unevaluated expressions and polynomials and require abstract computer algebraic concepts and objects such as rings and orderings etc. As a starting point we have defined and formalized a syntax, semantics, type system and specification language for MiniMaple

Discretized vs. continuous models of p-wave interacting fermions in 1D

We present a general mapping between continuous and lattice models of Bose- and Fermi-gases in one dimension, interacting via local two-body interactions. For s-wave interacting bosons we arrive at the Bose-Hubbard model in the weakly interacting, low density regime. The dual problem of p-wave interacting fermions is mapped to the spin-1/2 XXZ model close to the critical point in the highly polarized regime. The mappings are shown to be optimal in the sense that they produce the least error possible for a given discretization length. As an application we examine the ground state of a interacting Fermi gas in a harmonic trap, calculating numerically real-space and momentum-space distributions as well as two-particle correlations. In the analytically known limits the convergence of the results of the lattice model to the continuous one is shown.Comment: 7 pages, 5 figure

Measurement of the energy dependence of phase relaxation by single electron tunneling

Single electron tunneling through a single impurity level is used to probe the fluctuations of the local density of states in the emitter. The energy dependence of quasi-particle relaxation in the emitter can be extracted from the damping of the fluctuations of the local density of states (LDOS). At larger magnetic fields Zeeman splitting is observed.Comment: 2 pages, 4 figures; 25th International Conference on the Physics of Semiconductors, Osaka, Japan, September 17-22, 200

Measurement of spark probability of GEM detector for CBM muon chamber (MUCH)

The stability of triple GEM detector setups in an environment of high energetic showers is studied. To this end the spark probability in a shower environment is compared to the spark probability in a pion beam.Comment: 5 pages, 10 figure