von Neuman algebras of strongly connected higher-rank graphs

We investigate the factor types of the extremal KMS states for the preferred dynamics on the Toeplitz algebra and the Cuntz--Krieger algebra of a strongly connected finite $k$-graph. For inverse temperatures above 1, all of the extremal KMS states are of type I$_\infty$. At inverse temperature 1, there is a dichotomy: if the $k$-graph is a simple $k$-dimensional cycle, we obtain a finite type I factor; otherwise we obtain a type III factor, whose Connes invariant we compute in terms of the spectral radii of the coordinate matrices and the degrees of cycles in the graph.Comment: 16 pages; 1 picture prepared using TikZ. Version 2: this version to appear in Math. An

Greybody Factors and Charges in Kerr/CFT

We compute greybody factors for near extreme Kerr black holes in D=4 and D=5. In D=4 we include four charges so that our solutions can be continuously deformed to the BPS limit. In D=5 we include two independent angular momenta so Left-Right symmetry is incorporated. We discuss the CFT interpretation of our emission amplitudes, including the overall frequency dependence and the dependence on all black hole parameters. We find that all additional parameters can be incorporated Kerr/CFT, with central charge independent of U(1) charges.Comment: 27 pages. v2: typos fixed, references adde

Young and intermediate-age massive star clusters

An overview of our current understanding of the formation and evolution of star clusters is given, with main emphasis on high-mass clusters. Clusters form deeply embedded within dense clouds of molecular gas. Left-over gas is cleared within a few million years and, depending on the efficiency of star formation, the clusters may disperse almost immediately or remain gravitationally bound. Current evidence suggests that a few percent of star formation occurs in clusters that remain bound, although it is not yet clear if this fraction is truly universal. Internal two-body relaxation and external shocks will lead to further, gradual dissolution on timescales of up to a few hundred million years for low-mass open clusters in the Milky Way, while the most massive clusters (> 10^5 Msun) have lifetimes comparable to or exceeding the age of the Universe. The low-mass end of the initial cluster mass function is well approximated by a power-law distribution, dN/dM ~ M^{-2}, but there is mounting evidence that quiescent spiral discs form relatively few clusters with masses M > 2 x 10^5 Msun. In starburst galaxies and old globular cluster systems, this limit appears to be higher, at least several x 10^6 Msun. The difference is likely related to the higher gas densities and pressures in starburst galaxies, which allow denser, more massive giant molecular clouds to form. Low-mass clusters may thus trace star formation quite universally, while the more long-lived, massive clusters appear to form preferentially in the context of violent star formation.Comment: 21 pages, 3 figures. To appear as invited review article in a special issue of the Phil. Trans. Royal Soc. A: Ch. 9 "Star clusters as tracers of galactic star-formation histories" (ed. R. de Grijs). Fully peer reviewed. PDFLaTeX, requires rspublic.cls style fil

Competing superconducting and magnetic order parameters and field-induced magnetism in electron doped Ba(Fe1−x_{1-x}Cox_{x})2_{2}As2_{2}

We have studied the magnetic and superconducting properties of Ba(Fe$_{0.95}$Co$_{0.05}$)$_{2}$As$_{2}$ as a function of temperature and external magnetic field using neutron scattering and muon spin rotation. Below the superconducting transition temperature the magnetic and superconducting order parameters coexist and compete. A magnetic field can significantly enhance the magnetic scattering in the superconducting state, roughly doubling the Bragg intensity at 13.5 T. We perform a microscopic modelling of the data by use of a five-band Hamiltonian relevant to iron pnictides. In the superconducting state, vortices can slow down and freeze spin fluctuations locally. When such regions couple they result in a long-range ordered antiferromagnetic phase producing the enhanced magnetic elastic scattering in agreement with experiments.Comment: 9 pages, 6 figure

Structural Refinement for the Modal nu-Calculus

We introduce a new notion of structural refinement, a sound abstraction of logical implication, for the modal nu-calculus. Using new translations between the modal nu-calculus and disjunctive modal transition systems, we show that these two specification formalisms are structurally equivalent. Using our translations, we also transfer the structural operations of composition and quotient from disjunctive modal transition systems to the modal nu-calculus. This shows that the modal nu-calculus supports composition and decomposition of specifications.Comment: Accepted at ICTAC 201

Structure and Mass of a Young Globular Cluster in NGC 6946

Using the Wide Field Planetary Camera 2 on board the Hubble Space Telescope, we have imaged a luminous young star cluster in the nearby spiral galaxy NGC 6946. The cluster has an absolute visual magnitude M(V)=-13.2, comparable to the brightest young `super-star clusters' in the Antennae merger galaxy. UBV colors indicate an age of about 15 Myr. The cluster has a compact core (core radius = 1.3 pc), surrounded by an extended envelope. We estimate that the effective radius (Reff) = 13 pc, but this number is uncertain because the outer parts of the cluster profile gradually merge with the general field. Combined with population synthesis models, the luminosity and age of the cluster imply a mass of 8.2x10^5 Msun for a Salpeter IMF extending down to 0.1 Msun, or 5.5x10^5 Msun if the IMF is log-normal below 0.4 Msun. Depending on model assumptions, the central density of the cluster is between 5300 Msun pc^-3 and 17000 Msun pc^-3, comparable to other high-density star forming regions. We also estimate a dynamical mass for the cluster, using high-dispersion spectra from the HIRES spectrograph on the Keck I telescope. The velocity dispersion is 10.0 +/- 2.7 km/s, implying a total cluster mass within 65 pc of (1.7 +/- 0.9) x 10^6 Msun. Comparing the dynamical mass with the mass estimates based on the photometry and population synthesis models, the mass-to-light ratio is at least as high as for a Salpeter IMF extending down to 0.1 Msun, although a turn-over in the IMF at 0.4 Msun is still possible within the errors. The cluster will presumably remain bound, evolving into a globular cluster-like object.Comment: 33 pages, including 10 figures and 3 tables. Accepted for publication in the Astrophysical Journa

Spectroscopic Constraints on the Form of the Stellar Cluster Mass Function

This contribution addresses the question of whether the initial cluster mass function (ICMF) has a fundamental limit (or truncation) at high masses. The shape of the ICMF at high masses can be studied using the most massive young (<10 Myr) clusters, however this has proven difficult due to low-number statistics. In this contribution we use an alternative method based on the luminosities of the brightest clusters, combined with their ages. If a truncation is present, a generic prediction (nearly independent of the cluster disruption law adopted) is that the median age of bright clusters should be younger than that of fainter clusters. In the case of an non-truncated ICMF, the median age should be independent of cluster luminosity. Here, we present optical spectroscopy of twelve young stellar clusters in the face-on spiral galaxy NGC 2997. The spectra are used to estimate the age of each cluster, and the brightness of the clusters is taken from the literature. The observations are compared with the model expectations of Larsen (2009) for various ICMF forms and both mass dependent and mass independent cluster disruption. While there exists some degeneracy between the truncation mass and the amount of mass independent disruption, the observations favour a truncated ICMF. For low or modest amounts of mass independent disruption, a truncation mass of 5-6*10^5 Msun is estimated, consistent with previous determinations. Additionally, we investigate possible truncations in the ICMF in the spiral galaxy M83, the interacting Antennae galaxies, and the collection of spiral and dwarf galaxies present in Larsen (2009) based on photometric catalogues taken from the literature, and find that all catalogues are consistent with having a (environmentally dependent) truncation in the cluster mass functions.Comment: 6 pages, 5 figures, in press, A&A Research Note

Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory

There are two fundamentally different approaches to specifying and verifying properties of systems. The logical approach makes use of specifications given as formulae of temporal or modal logics and relies on efficient model checking algorithms; the behavioural approach exploits various equivalence or refinement checking methods, provided the specifications are given in the same formalism as implementations. In this paper we provide translations between the logical formalism of Hennessy-Milner logic with greatest fixed points and the behavioural formalism of disjunctive modal transition systems. We also introduce a new operation of quotient for the above equivalent formalisms, which is adjoint to structural composition and allows synthesis of missing specifications from partial implementations. This is a substantial generalisation of the quotient for deterministic modal transition systems defined in earlier papers

A Few Considerations on Structural and Logical Composition in Specification Theories

Over the last 20 years a large number of automata-based specification theories have been proposed for modeling of discrete,real-time and probabilistic systems. We have observed a lot of shared algebraic structure between these formalisms. In this short abstract, we collect results of our work in progress on describing and systematizing the algebraic assumptions in specification theories.Comment: In Proceedings FIT 2010, arXiv:1101.426

A Cosmological Three Level Neutrino Laser

We present a calculation of a neutrino decay scenario in the early Universe. The specific decay is \nu_{2} \to \nu_{1} + \phi, where \phi is a boson. If there is a neutrino mass hierarchy, m_{\nu_{e}} < m_{\nu_{\mu}} < m_{\nu_{\tau}}, we show that it is possible to generate stimulated decay and effects similar to atomic lasing without invoking new neutrinos, even starting from identical neutrino distributions. Under the right circumstances the decay can be to very low momentum boson states thereby producing something similar to a Bose condensate, with possible consequences for structure formation. Finally, we argue that this type of decay may also be important other places in early Universe physics.Comment: 7 pages, RevTex, due for publication in Phys. Rev. D, April 15 issu