Strong normalization for System F by HOAS on top of FOAS

We present a point of view concerning HOAS (Higher-Order Abstract Syntax) and an extensive exercise in HOAS along this point of view. The point of view is that HOAS can be soundly and fruitfully regarded as a definitional extension on top of FOAS (First-Order Abstract Syntax). As such, HOAS is not only an encoding technique, but also a higher-order view of a first-order reality. A rich collection of concepts and proof principles is developed inside the standard mathematical universe to give technical life to this point of view. The exercise consists of a new proof of Strong Normalization for System F. The concepts and results presented here have been formalized in the theorem prover Isabelle/HOL

Dust effects on the derived Sersic indexes of disks and bulges in spiral galaxies

We present a theoretical study that quantifies the effect of dust on the derived Sersic indexes of disks and bulges. The changes in the derived parameters from their intrinsic values (as seen in the absence of dust) were obtained by fitting Sersic distributions on simulated images of disks and bulges produced using radiative transfer calculations and the model of Popescu et al. 2011. We found that dust has the effect of lowering the measured Sersic index in most cases, with stronger effects for disks and bulges seen through more optically thick lines of sight.Comment: 3 pages, 2 figures, to appear in the Proceedings of the IAU Symposium No.284, "The Spectral Energy Distribution of Galaxies", 5-9 sept. 2011, editors Richard J. Tuffs and Cristina C. Popesc

The Crossover from Impurity to Valence Band in Diluted Magnetic Semiconductors: The Role of the Coulomb Attraction by Acceptor

The crossover between an impurity band (IB) and a valence band (VB) regime as a function of the magnetic impurity concentration in models for diluted magnetic semiconductors (DMS) is studied systematically by taking into consideration the Coulomb attraction between the carriers and the magnetic impurities. The density of states and the ferromagnetic transition temperature of a Spin-Fermion model applied to DMS are evaluated using Dynamical Mean-Field Theory (DMFT) and Monte Carlo (MC) calculations. It is shown that the addition of a square-well-like attractive potential can generate an IB at small enough Mn doping $x$ for values of the $p-d$ exchange $J$ that are not strong enough to generate one by themselves. We observe that the IB merges with the VB when $x >= x_c$ where $x_c$ is a function of $J$ and the Coulomb attraction strength $V$. Using MC calculations, we demonstrate that the range of the Coulomb attraction plays an important role. While the on-site attraction, that has been used in previous numerical simulations, effectively renormalizes $J$ for all values of $x$, an unphysical result, a nearest-neighbor range attraction renormalizes $J$ only at very low dopings, i.e., until the bound holes wave functions start to overlap. Thus, our results indicate that the Coulomb attraction can be neglected to study Mn doped GaSb, GaAs, and GaP in the relevant doping regimes, but it should be included in the case of Mn doped GaN that is expected to be in the IB regime.Comment: 8 pages, 4 Postscript figures, RevTex

Scalar and tensorial topological matter coupled to (2+1)-dimensional gravity:A.Classical theory and global charges

We consider the coupling of scalar topological matter to (2+1)-dimensional gravity. The matter fields consist of a 0-form scalar field and a 2-form tensor field. We carry out a canonical analysis of the classical theory, investigating its sectors and solutions. We show that the model admits both BTZ-like black-hole solutions and homogeneous/inhomogeneous FRW cosmological solutions.We also investigate the global charges associated with the model and show that the algebra of charges is the extension of the Kac-Moody algebra for the field-rigid gauge charges, and the Virasoro algebrafor the diffeomorphism charges. Finally, we show that the model can be written as a generalized Chern-Simons theory, opening the perspective for its formulation as a generalized higher gauge theory.Comment: 40 page

Jamming non-local quantum correlations

We present a possible scheme to tamper with non-local quantum correlations in a way that is consistent with relativistic causality, but goes beyond quantum mechanics. A non-local ``jamming" mechanism, operating within a certain space-time window, would not violate relativistic causality and would not lead to contradictory causal loops. The results presented in this Letter do not depend on any model of how quantum correlations arise and apply to any jamming mechanism.Comment: 10 pp, LaTe

Can Virialization Shocks be Detected Around Galaxy Clusters Through the Sunyaev-Zel'dovich Effect?

In cosmological structure formation models, massive non-linear objects in the process of formation, such as galaxy clusters, are surrounded by large-scale shocks at or around the expected virial radius. Direct observational evidence for such virial shocks is currently lacking, but we show here that their presence can be inferred from future, high resolution, high-sensitivity observations of the Sunyaev-Zel'dovich (SZ) effect in galaxy clusters. We study the detectability of virial shocks in mock SZ maps, using simple models of cluster structure (gas density and temperature distributions) and noise (background and foreground galaxy clusters projected along the line of sight, as well as the cosmic microwave background anisotropies). We find that at an angular resolution of 2'' and sensitivity of 10 micro K, expected to be reached at ~ 100 GHz frequencies in a ~ 20 hr integration with the forthcoming ALMA instrument, virial shocks associated with massive M ~ 10^15 M_Sun clusters will stand out from the noise, and can be detected at high significance. More generally, our results imply that the projected SZ surface brightness profile in future, high-resolution experiments will provide sensitive constraints on the density profile of cluster gas.Comment: 15 pages, submitted to Ap

Temporal and Spatial Dependence of Quantum Entanglement from a Field Theory Perspective

We consider the entanglement dynamics between two Unruh-DeWitt detectors at rest separated at a distance $d$. This simple model when analyzed properly in quantum field theory shows many interesting facets and helps to dispel some misunderstandings of entanglement dynamics. We find that there is spatial dependence of quantum entanglement in the stable regime due to the phase difference of vacuum fluctuations the two detectors experience, together with the interference of the mutual influences from the backreaction of one detector on the other. When two initially entangled detectors are still outside each other's light cone, the entanglement oscillates in time with an amplitude dependent on spatial separation $d$. When the two detectors begin to have causal contact, an interference pattern of the relative degree of entanglement (compared to those at spatial infinity) develops a parametric dependence on $d$. The detectors separated at those $d$ with a stronger relative degree of entanglement enjoy longer disentanglement times. In the cases with weak coupling and large separation, the detectors always disentangle at late times. For sufficiently small $d$, the two detectors can have residual entanglement even if they initially were in a separable state, while for $d$ a little larger, there could be transient entanglement created by mutual influences. However, we see no evidence of entanglement creation outside the light cone for initially separable states.Comment: 21 pages, 8 figures. Minor changes. Some plots are re-expressed in logarithmic negativity. No change in the overall result