Core Formation in Dwarf Halos with Self Interacting Dark Matter: No Fine-Tuning Necessary

We investigate the effect of self-interacting dark matter (SIDM) on the density profiles of $V_{\rm max} \simeq 40~km~s^{-1}$ isolated dwarf dark matter halos -- the scale of relevance for the too big to fail problem (TBTF) -- using very high-resolution cosmological zoom simulations. Each halo has millions of particles within its virial radius. We find that SIDM models with cross sections per unit mass spanning the range \sigma/m = $0.5 - 50$ $cm^2~g^{-1}$ alleviate TBTF and produce constant density cores of size 300-1000 pc, comparable to the half-light radii of $M_\star$ ~ $10^{5-7}$ $M_\odot$ dwarfs. The largest, lowest density cores develop for cross sections in the middle of this range, \sigma/m ~ $5-10~cm^2~g^{-1}$. Our largest SIDM cross section run (\sigma/m = $50~cm^2~g^{-1}$) develops a slightly denser core owing to mild core-collapse behavior, but it remains less dense than the CDM case and retains a constant density core profile. Our work suggests that SIDM cross sections as large or larger than $50~cm^2~g^{-1}$ remain viable on velocity scales of dwarf galaxies ($v_{\rm rms}$ ~ $40~km~s^{-1}$). The range of SIDM cross sections that alleviate TBTF and the cusp/core problem spans at least two orders of magnitude and therefore need not be particularly fine-tuned.Comment: 9 pages, 7 figure

Strongly coupled matter near phase transition

In the Hartree approximation of Cornwall-Jackiw-Tomboulis (CJT) formalism of the real scalar field theory, we show that for the strongly coupled scalar system near phase transition, the shear viscosity over entropy density is small, however, the bulk viscosity over entropy density is large. The large bulk viscosity is related to the highly nonconformal equation of state. It is found that the square of the sound velocity near phase transition is much smaller than the conformal value 1/3, and the trace anomaly at phase transition deviates far away from 0. These results agree well with the lattice results of the complex QCD system near phase transition.Comment: 6 pages, 2 figures, 1 table, contributed to the International Conference on Strangeness in Quark Matter 2008, Beijing, China, 6-10 October 200

Evaporation of large black holes in AdS: greybody factor and decay rate

We consider a massless, minimally coupled scalar field propagating through the geometry of a black 3-brane in an asymptotically $AdS_5 \times S^5$ space. The wave equation for modes traveling purely in the holographic direction reduces to a Heun equation and the corresponding greybody factor is obtained numerically. Approximations valid in the low- and high-frequency regimes are also obtained analytically. The greybody factor is then used to determine the rate of evaporation of these large black holes in the context of the evaporon model proposed in \cite{Rocha:2008fe}. This setting represents the evolution of a black hole under Hawking evaporation with a known CFT dual description and is therefore unitary. Information must then be preserved under this evaporation process.Comment: 20 pages, 2 figures; v2: added references, published versio

Rewriting Logic Semantics of a Plan Execution Language

The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA to support autonomous spacecraft operations. In this paper, we propose a rewriting logic semantics of PLEXIL in Maude, a high-performance logical engine. The rewriting logic semantics is by itself a formal interpreter of the language and can be used as a semantic benchmark for the implementation of PLEXIL executives. The implementation in Maude has the additional benefit of making available to PLEXIL designers and developers all the formal analysis and verification tools provided by Maude. The formalization of the PLEXIL semantics in rewriting logic poses an interesting challenge due to the synchronous nature of the language and the prioritized rules defining its semantics. To overcome this difficulty, we propose a general procedure for simulating synchronous set relations in rewriting logic that is sound and, for deterministic relations, complete. We also report on two issues at the design level of the original PLEXIL semantics that were identified with the help of the executable specification in Maude

Studies of CMB structure at Dec=40. II: Analysis and cosmological interpretation

We present a detailed analysis of the cosmic microwave background structure in the Tenerife Dec=+40 degrees data. The effect of local atmospheric contributions on the derived fluctuation amplitude is considered, resulting in an improved separation of the intrinsic CMB signal from noise. Our analysis demonstrates the existence of common structure in independent data scans at 15 and 33 GHz. For the case of fluctuations described by a Gaussian auto-correlation function, a likelihood analysis of our combined results at 15 and 33 GHz implies an intrinsic rms fluctuation level of 48^{+21}_{-15} uK on a coherence scale of 4 degrees; the equivalent analysis for a Harrison-Zel'dovitch model gives a power spectrum normalisation of Q_{rms-ps} = 22^{+10}_{-6} uK. The fluctuation amplitude is seen to be consistent at the 68% confidence level with that reported for the COBE two-year data for primordial fluctuations described by a power law model with a spectral index in the range 1.0 \le n \le 1.6. This limit favours the large scale CMB anisotropy being dominated by scalar fluctuations rather than tensor modes from a gravitational wave background. The large scale Tenerife and COBE results are considered in conjunction with observational results from medium scale experiments in order to place improved limits on the fluctuation spectral index; we find n=1.10 +/- 0.10 assuming standard CDM with H_{0}=50 kms^{-1}Mpc^{-1}.Comment: 10 pages LaTeX, including 8 PostScript figures. Accepted for publication in MNRA

The quadratic spinor Lagrangian, axial torsion current, and generalizations

We show that the Einstein-Hilbert, the Einstein-Palatini, and the Holst actions can be derived from the Quadratic Spinor Lagrangian (QSL), when the three classes of Dirac spinor fields, under Lounesto spinor field classification, are considered. To each one of these classes, there corresponds a unique kind of action for a covariant gravity theory. In other words, it is shown to exist a one-to-one correspondence between the three classes of non-equivalent solutions of the Dirac equation, and Einstein-Hilbert, Einstein-Palatini, and Holst actions. Furthermore, it arises naturally, from Lounesto spinor field classification, that any other class of spinor field (Weyl, Majorana, flagpole, or flag-dipole spinor fields) yields a trivial (zero) QSL, up to a boundary term. To investigate this boundary term we do not impose any constraint on the Dirac spinor field, and consequently we obtain new terms in the boundary component of the QSL. In the particular case of a teleparallel connection, an axial torsion 1-form current density is obtained. New terms are also obtained in the corresponding Hamiltonian formalism. We then discuss how these new terms could shed new light on more general investigations.Comment: 9 pages, RevTeX, to be published in Int.J.Mod.Phys.D (2007

Noether's Symmetry Theorem for Variational and Optimal Control Problems with Time Delay

We extend the DuBois-Reymond necessary optimality condition and Noether's symmetry theorem to the time delay variational setting. Both Lagrangian and Hamiltonian versions of Noether's theorem are proved, covering problems of the calculus of variations and optimal control with delays.Comment: This is a preprint of a paper whose final and definite form will appear in the international journal Numerical Algebra, Control and Optimization (NACO). Paper accepted for publication 15-March-201