Damped Lyman alpha absorber and the faint end of the galaxy luminosity function at high redshift

We combine predictions for several hierarchical cosmogonies with observational evidence on damped Lyman alpha systems to establish a correspondence between the high redshift galaxy population and the properties of damped Lyman alpha systems. We assume that high redshift galaxies and damped Lyman alpha systems are hosted by the same dark matter halos and require consistency between the predicted halo space density, the rate of incidence and the velocity width distribution of damped Lyman alpha systems, and the observed galaxy luminosity function at the bright end. We arrive at the following results: (1) predicted impact parameters between the damped absorption system and the luminous part of the absorbing galaxy are expected to be very small (0.3 - 1arcsec) for most galaxies; (2) luminosities of galaxies causing damped absorption are generally fainter than m_R = 25 and damped Lyman alpha systems are predicted to sample preferentially the outer regions of galaxies at the faint end of the galaxy luminosity function at high redshift. Therefore, DLAS should currently provide the best probe of the progenitors of normal present-day galaxies.Comment: 4 pages, LaTeX, emulateapj, 4 postscript figures included, submitted to Ap

Systematic construction of natural deduction systems for many-valued logics

A construction principle for natural deduction systems for arbitrary, finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent calculi, which in turn can be automatically extracted from the truth tables of the logics under consideration. Soundness and cut-free completeness of these sequent calculi translate into soundness, completeness, and normal-form theorems for natural deduction systems

A Novel (2+1)-Dimensional Model of Chiral Symmetry Breaking

We propose a new model of flavour chiral symmetry breaking in a (2+1)-dimensional defect gauge theory of strongly coupled fermions by introducing probe D5/anti-D5-flavour branes on the conifold. After working out the flavour brane embeddings at zero temperature, we thoroughly investigate the spectra of small fluctuations on the world volume of the flavour branes (meson spectrum) and conclude that they are free of tachyons. Thus the proposed probe brane embedding is stable. Moreover, we introduce finite temperature and an external magnetic field and study the thermodynamics of the resulting configurations. Namely, we compute the free energies, entropies, heat capacities and magnetisations. The results are used to establish a detailed phase diagram of the model. We find that the effect of magnetic catalysis of chiral symmetry breaking is realised in our model and show that the meson-melting phase transition coincides with the chiral symmetry breaking phase transition. Furthermore, we show that the model is in a diamagnetic phase.Comment: 1+28 pages, 23 figures, PDFTeX, v2: comments and refs. added, version accepted for publication by JHE

Reconstructing the intermittent dynamics of the torque in wind turbines

We apply a framework introduced in the late nineties to analyze load measurements in off-shore wind energy converters (WEC). The framework is borrowed from statistical physics and properly adapted to the analysis of multivariate data comprising wind velocity, power production and torque measurements, taken at one single WEC. In particular, we assume that wind statistics drives the fluctuations of the torque produced in the wind turbine and show how to extract an evolution equation of the Langevin type for the torque driven by the wind velocity. It is known that the intermittent nature of the atmosphere, i.e. of the wind field, is transferred to the power production of a wind energy converter and consequently to the shaft torque. We show that the derived stochastic differential equation quantifies the dynamical coupling of the measured fluctuating properties as well as it reproduces the intermittency observed in the data. Finally, we discuss our approach in the light of turbine monitoring, a particular important issue in off-shore wind farms.Comment: 8 pages, 6 figures, for Conference paper of TORQUE 2014 proceeding

Elimination of Cuts in First-order Finite-valued Logics

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information

Dual Systems of Sequents and Tableaux for Many-Valued Logics

The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and the exclusion of the opposite truth value describe the same situation.

Higgsing the stringy higher spin symmetry

It has recently been argued that the symmetric orbifold theory of T4 is dual to string theory on AdS3 x S3 x T4 at the tensionless point. At this point in moduli space, the theory possesses a very large symmetry algebra that includes, in particular, a $W_\infty$ algebra capturing the gauge fields of a dual higher spin theory. Using conformal perturbation theory, we study the behaviour of the symmetry generators of the symmetric orbifold theory under the deformation that corresponds to switching on the string tension. We show that the generators fall nicely into Regge trajectories, with the higher spin fields corresponding to the leading Regge trajectory. We also estimate the form of the Regge trajectories for large spin, and find evidence for the familiar logarithmic behaviour, thereby suggesting that the symmetric orbifold theory is dual to an AdS background with pure RR flux.Comment: 27 pages, 1 figure, note added in version

The effective action of warped M-theory reductions with higher-derivative terms - Part II

We study the three-dimensional effective action obtained by reducing eleven-dimensional supergravity with higher-derivative terms on a background solution including a warp-factor, an eight-dimensional compact manifold, and fluxes. The dynamical fields are K\"ahler deformations and vectors from the M-theory three-form. We show that the potential is only induced by fluxes and the naive contributions obtained from higher-curvature terms on a Calabi-Yau background vanish once the back-reaction to the full solution is taken into account. For the resulting three-dimensional action we analyse the K\"ahler potential and complex coordinates and show compatibility with N=2 supersymmetry. We argue that the higher-order result is also compatible with a no-scale condition. We find that the complex coordinates should be formulated as divisor integrals for which a non-trivial interplay between the warp-factor terms and the higher-curvature terms allow a derivation of the moduli space metric. This leads us to discuss higher-derivative corrections to the M5-brane action.Comment: 26 page