title: Volume Density Thresholds for Overall Star Formation imply Mass-Size Thresholds for Massive Star Formation

abstract: We aim at understanding the massive star formation (MSF) limit $m(r) = 870 M_{\odot} (r/pc)^{1.33}$ in the mass-size space of molecular structures recently proposed by Kauffmann & Pillai (2010). As a first step, we build on the hypothesis of a volume density threshold for overall star formation and the model of Parmentier (2011) to establish the mass-radius relations of molecular clumps containing given masses of star-forming gas. Specifically, we relate the mass $m_{clump}$, radius $r_{clump}$ and density profile slope $-p$ of molecular clumps which contain a mass $m_{th}$ of gas denser than a volume density threshold $\rho_{th}$. In a second step, we use the relation between the mass of embedded-clusters and the mass of their most-massive star to estimate the minimum mass of star-forming gas needed to form a $10\,M_{\odot}$ star. Assuming a star formation efficiency of $SFE \simeq 0.30$, this gives $m_{th,crit} \simeq 150 M_{\odot}$. In a third step, we demonstrate that, for sensible choices of the clump density index ($p \simeq 1.7$) and of the cluster formation density threshold ($n_{th} \simeq 10^4\,cm^{-3}$), the line of constant $m_{th,crit} \simeq 150 M_{\odot}$ in the mass-radius space of molecular structures equates with the MSF limit for spatial scales larger than 0.3\,pc. Hence, the observationally inferred MSF limit of Kauffmann & Pillai is consistent with a threshold in star-forming gas mass beyond which the star-forming gas reservoir is large enough to allow the formation of massive stars. For radii smaller than 0.3\,pc, the MSF limit is shown to be consistent with the formation of a $10\,M_{\odot}$ star out of its individual pre-stellar core of density threshold $n_{th} \simeq 10^5\,cm^{-3}$. The inferred density thresholds for the formation of star clusters and individual stars within star clusters match those previously suggested in the literature.


title: The KK-Monopole/NS5-Brane in Doubled Geometry

abstract: The Kaluza-Klein monopole has been recognized as a string background with significant non-geometric features: it must appear "localized" to winding strings to match the NS5-brane's localization on the T-dual circle. In this work, we explicitly construct this T-dual system in the doubled geometry formalism, which proves to successfully describe the duality despite a broken isometry on one side of the duality pair. We further suggest an extension of the doubled formalism to the gauged linear sigma models describing this system (both bosonic and supersymmetric) and show that previous calculations of worldsheet instanton effects are best understood in this doubled form.


title: Future Boundary Conditions in De Sitter Space

abstract: We consider asymptotically future de Sitter spacetimes endowed with an eternal observatory. In the conventional descriptions, the conformal metric at the future boundary I^+ is deformed by the flux of gravitational radiation. We however impose an unconventional future "Dirichlet" boundary condition requiring that the conformal metric is flat everywhere except at the conformal point where the observatory arrives at I^+. This boundary condition violates conventional causality, but we argue the causality violations cannot be detected by any experiment in the observatory. We show that the bulk-to-bulk two-point functions obeying this future boundary condition are not realizable as operator correlation functions in any de Sitter invariant vacuum, but they do agree with those obtained by double analytic continuation from anti-de Sitter space.


title: The collapse of the wave function in the joint metric-matter quantization for inflation

abstract: It has been argued that the standard inflationary scenario suffers from a serious deficiency as a model for the origin of the seeds of cosmic structure: it can not truly account for the transition from an early homogeneous and isotropic stage to another one lacking such symmetries. The issue has often been thought as a standard instance of the "quantum measurement problem", but as has been recently argued by some of us the situation reaches a critical level in the cosmological context of interest here. This has lead to a proposal in which the standard paradigm is supplemented by a hypothesis concerning the self-induced dynamical collapse of the wave function, as representing the physical mechanism through which such change of symmetry is brought forth. This proposal was formulated within the context of semiclassical gravity. Here we investigate an alternative realization of such idea implemented directly within the standard analysis in terms of a quantum field jointly describing the inflaton and metric perturbations, the so called Mukhanov-Sasaki variable. We show that even though the prescription is quite different, the theoretical predictions include some deviations from the standard ones, which are indeed very similar to those found in the early studies. We briefly discuss the differences between the two at both, the conceptual and practical levels.


title: The impact of gas inflows on star formation rates and metallicities in barred galaxies

abstract: The star formation rates (SFRs) and metallicities of a sample of 294 galaxies with visually classified, strong, large-scale bars are compared to a control sample of unbarred disk galaxies selected from the Sloan Digital Sky Survey Data Release 4. The fibre (inner few kpc) metallicities of barred galaxies are uniformly higher (at a given mass) than the unbarred sample by ~0.06 dex. However, the fibre SFRs of the visually classified barred galaxies are higher by about 60% only in the galaxies with total stellar mass log M > 10. The metal enhancement at log M<10 without an accompanying increase in the SFR may be due to a short-lived phase of early bar-triggered star formation in the past, compared to on-going star formation rate enhancements in higher mass barred galaxies. There is no correlation between bar length or bar axial ratio with the enhancement of the star formation rate. In order to assess the relative importance of star formation triggered by bars and galaxy-galaxy interactions, SFRs are also determined for a sample of close galaxy pairs. Both mechanisms appear to be similarly effective at triggering central star formation for galaxies with log M>10. However, due to the much lower fraction of pairs than bars, bars account for ~3.5 times more triggered central star formation than interactions.


title: Reducing low signal-to-noise FUSE spectra: confirmation of Lyman continuum escape from Haro 11

abstract: Galaxies are believed to be the main providers of Lyman continuum (LyC) photons during the early phases of the cosmic reionization. Little is known however, when it comes to escape fractions and the mechanisms behind the leakage. To learn more one may look at local objects, but so far only one low-z galaxy has shown any sign of emitting LyC radiation. With data from the Far Ultraviolet Spectroscopic Explorer (FUSE), Bergvall et al. (2006) found an absolute escape fraction of ionizing photons (f_esc) of 4-10% for the blue compact galaxy Haro 11. However, using a newer version of the reduction pipeline on the same data set, Grimes et al. (2007) could not confirm this and derived an upper limit of f_esc \leq 2%. Here, using the last version of the pipeline CalFUSE v3.2, we aim at settling the question if Haro 11 is emitting ionizing radiation to a significant level or not. We also investigate the performance of the reduction pipeline for faint targets such as Haro 11. At these faint flux levels both FUSE and CalFUSE are pushed to their limits, and a detailed analysis was undertaken. We show that non-simultaneous background estimates are insuffient when working with low signal-to-noise data, and a new background model was developed based on a direct fit to the detector response. Applying the new background fit, a significant signal in the LyC emerged in both detector segments covering these wavelengths. Thus, the leakage is confirmed with a flux density of f_900=4.0 *10^{-15} erg/s/cm^2/{\AA} (S/N=4.6), measured on the airglow free regions in the LyC for the night only data. This corresponds to an absolute escape fraction of ionizing photons for Haro 11 of f_esc=3.3 \pm 0.7%. The results were confirmed by investigating the 2D data, the count rates and the residual flux in CII(1036{\AA}).


title: Fuzzy Geometry via the Spinor Bundle, with Applications to Holographic Space-time and Matrix Theory

abstract: We present a new framework for defining fuzzy approximations to geometry in terms of a cutoff on the spectrum of the Dirac operator, and a generalization of it that we call the Dirac-Flux operator. This framework does not require a symplectic form on the manifold, and is completely rotation invariant on an arbitrary n-sphere. The framework is motivated by the formalism of Holographic Space-Time (HST), whose fundamental variables are sections of the spinor bundle over a compact Euclidean manifold. The strong holographic principle (SHP) requires the space of these sections to be finite dimensional. We discuss applications of fuzzy spinor geometry to HST and to Matrix Theory.


title: A systematic search for massive black hole binaries in SDSS spectroscopic sample

abstract: We present the results of a systematic search for massive black hole binaries in the Sloan Digital Sky Survey spectroscopic database. We focus on bound binaries, under the assumption that one of the black holes is active. In this framework, the broad lines associated to the accreting black hole are expected to show systematic velocity shifts with respect to the narrow lines, which trace the rest-frame of the galaxy. For a sample of 54586 quasars and 3929 galaxies at redshifts 0.1<z<1.5 we brute-force model each spectrum as a mixture of two quasars at two different redshifts. The spectral model is a data-driven dimensionality reduction of the SDSS quasar spectra based on a matrix factorization. We identified 32 objects with peculiar spectra. Nine of them can be interpreted as black hole binaries. This doubles the number of known black hole binary candidates. We also report on the discovery of a new class of extreme double-peaked emitters with exceptionally broad and faint Balmer lines. For all the interesting sources, we present detailed analysis of the spectra, and discuss possible interpretations.


title: Global mass segregation in hydrodynamical simulations of star formation

abstract: Recent analyses of mass segregation diagnostics in star forming regions invite a comparison with the output of hydrodynamic simulations of star formation. In this work we investigate the state of mass segregation of 'stars' (i.e. sink particles in the simulations) in the case of hydrodynamical simulations which omit feedback. We first discuss methods to quantify mass segregation in substructured regions, either based on the minimum spanning tree (Allison's Lambda), or through analysis of correlations between stellar mass and local stellar surface number densities. We find that the presence of even a single 'outlier' (i.e. a massive object far from other stars) can cause the Allison Lambda method to describe the system as inversely mass segregated, even where in reality the most massive sink particles are overwhelmingly in the centres of the subclusters. We demonstrate that a variant of the Lambda method is less susceptible to this tendency but also argue for an alternative representation of the data in the plane of stellar mass versus local surface number density. The hydrodynamical simulations show global mass segregation from very early times which continues throughout the simulation, being only mildly influenced during sub-cluster merging. We find that up to approx. 2-3% of the "massive" sink particles (m > 2.5 Msun) are in relative isolation because they have formed there, although other sink particles can form later in their vicinity. Ejections of massive sinks from subclusters do not contribute to the number of isolated massive sink particles, as the gravitational softening in the calculation suppresses this process.


title: Condensate cosmology in O'Raifeartaigh models

abstract: Flat directions charged under an R-symmetry are a generic feature of O'Raifeartaigh models. Non-topological solitons associated with this symmetry, R-balls, are likely to form through the fragmentation of a condensate, itself created by soft terms induced during inflation. In gravity mediated SUSY breaking R-balls decay to gravitinos, reheating the universe. For gauge mediation R-balls can provide a good dark matter candidate. Alternatively they can decay, either reheating or cooling the universe. Conserved R-symmetry permits decay to gravitinos or gauginos, whereas spontaneously broken R-symmetry results in decay to visible sector gauge bosons.


title: The generalized evolution of linear bias: a tool to test gravity

abstract: We derive an exact analytical solution for the redshift evolution of linear and scale-independent bias, by solving a second order differential equation based on linear perturbation theory. This bias evolution model is applicable to all different types of dark energy and modified gravity models. We propose that the combination of the current bias evolution model with data on the bias of extragalactic mass tracers could provide an efficient way to discriminate between "geometrical" dark energy models and dark energy models that adhere to general relativity.


title: Compact groups in theory and practice -- IV. The connection to large-scale structure

abstract: We investigate the properties of photometrically-selected compact groups (CGs) in the Sloan Digital Sky Survey. In this paper, the fourth in a series, we focus on understanding the characteristics of our observed CG sample with particular attention paid to quantifying and removing contamination from projected foreground or background galaxies. Based on a simple comparison of pairwise redshift likelihoods, we find that approximately half of compact groups in the parent sample contain one or more projected (interloping) members; our final clean sample contains 4566 galaxies in 1086 compact groups. We show that half of the remaining CGs are associated with rich groups (or clusters), i.e. they are embedded sub-structure. The other half have spatial distributions and number-density profiles consistent with the interpretation that they are either independently distributed structures within the field (i.e. they are isolated) or associated with relatively poor structures. Comparisons of late-type and red-sequence fractions in radial annuli show that galaxies around apparently isolated compact groups resemble the field population by 300 to 500 kpc from the group centre. In contrast, the galaxy population surrounding embedded compact groups appears to remain distinct from the field out beyond 1 to 2 Mpc, consistent with results for rich groups. We take this as additional evidence that the observed distinction between compact groups, i.e. isolated vs. embedded, is a separation between different host environments.


title: Interplay of quark and meson degrees of freedom in a near-threshold resonance: multi-channel case

abstract: We investigate the interplay of quark and meson degrees of freedom in a physical state representing a near-threshold resonance for the case of multiple continuum channels. The aim is to demonstrate the full complexity of near-threshold phenomena. It turns out that those are especially rich, if both quark and meson dynamics generate simultaneously weakly coupled near-threshold poles in the S-matrix. We study the properties of this scenario in detail, such as t-matrix and production amplitude zeros, as well as various effects of the continuum channels interplay.


title: The impact of evolving infrared spectral energy distributions of galaxies on star formation rate estimates

abstract: We combine Herschel-PACS data from the PEP program with Spitzer 24 um and 16 um photometry and ultra deep IRS mid-infrared spectra, to measure the mid- to far-infrared spectral energy distribution (SED) of 0.7<z<2.5 normal star forming galaxies around the main sequence (the redshift-dependent relation of star formation rate and stellar mass). Our deep data confirm from individual far-infrared detections that z~2 star formation rates are overestimated if based on 24 um fluxes and SED templates that are calibrated via local trends with luminosity. Galaxies with similar ratios of rest-frame nuLnu(8) to 8-1000 um infrared luminosity (LIR) tend to lie along lines of constant offset from the main sequence. We explore the relation between SED shape and offset in specific star formation rate (SSFR) from the redshift-dependent main sequence. Main sequence galaxies tend to have a similar nuLnu(8)/LIR regardless of LIR and redshift, up to z~2.5, and nuLnu(8)/LIR decreases with increasing offset above the main sequence in a consistent way at the studied redshifts. We provide a redshift-independent calibration of SED templates in the range of 8--60 um as a function of log(SSFR) offset from the main sequence. Redshift dependency enters only through the evolution of the main sequence with time. Ultra deep IRS spectra match these SED trends well and verify that they are mostly due to a change in ratio of PAH to LIR rather than continua of hidden AGN. Alternatively, we discuss the dependence of nuLnu(8)/LIR on LIR. Same nuLnu(8)/LIR is reached at increasingly higher LIR at higher redshift, with shifts relative to local by 0.5 and 0.8 dex in log(LIR) at redshifts z~1 and z~2. Corresponding SED template calibrations are provided for use if no stellar masses are in hand. For most of those z~2 star forming galaxies that also host an AGN, the mid-infrared is dominated by the star forming component.


title: Chiral Enhancement in the MSSM -- An Overview

abstract: In this article I review the origin and the effects of chirally enhanced loop-corrections in the MSSM based on Refs. [1-3]. Chiral enhancement is related to fermion-Higgs couplings (or self-energies when the Higgs field is replaced by its vev). I describe the resummation of these chirally-enhanced corrections to all orders in perturbation theory and the calculation of the effective fermion-Higgs and gaugino(higgsino)-fermion vertices. As an application a model with radiative flavor-violation is discussed which can solve the SUSY-CP and the SUSY-flavor problem while it is still capable of explaining the observed deviation from the SM in the Bs mixing phase.


title: Divisibility Properties of Coefficients of Level $p$ Modular Functions for Genus Zero Primes

abstract: Lehner's 1949 results on the $j$-invariant showed high divisibility of the function's coefficients by the primes $p\in\{2,3,5,7\}$. Expanding his results, we examine a canonical basis for the space of level $p$ modular functions holomorphic at the cusp 0. We show that the Fourier coefficients of these functions are often highly divisible by these same primes.


title: Variations of the Ramanujan polynomials and remarks on $\zeta(2j+1)/\pi^{2j+1}$

abstract: We observe that five polynomial families have all of their zeros on the unit circle. We prove the statements explicitly for four of the polynomial families. The polynomials have coefficients which involve Bernoulli numbers, Euler numbers, and the odd values of the Riemann zeta function. These polynomials are closely related to the Ramanujan polynomials, which were recently introduced by Murty, Smyth and Wang. Our proofs rely upon theorems of Schinzel, and Lakatos and Losonczi and some generalizations.


title: Tutorial: The trapped-ion qubit toolbox

abstract: In this tutorial we review the basic building blocks of Quantum Information Processing with cold trapped atomic-ions. We mainly focus on methods to implement single-qubit rotations and two-qubit entangling gates, which form a universal set of quantum gates. Different ion qubit choices and their respective gate implementations are described.


title: Specialization to the tangent cone and Whitney Equisingularity

abstract: Let (X,0) be a reduced, equidimensional germ of analytic singularity with reduced tangent cone (C_{X,0},0). We prove that the absence of exceptional cones is a necessary and sufficient condition for the smooth part \X^0 of the specialization to the tangent cone \phi: \X \to \C to satisfy Whitney's conditions along the parameter axis Y. This result is a first step in generalizing to higher dimensions L\^e and Teissier's result for hypersurfaces of \C^3 which establishes the Whitney equisingularity of X and its tangent cone under this conditions.


title: Smooth approximation of bi-Lipschitz orientation-preserving homeomorphisms

abstract: We show that a planar bi-Lipschitz orientation-preserving homeomorphism can be approximated in the $W^{1,p}$ norm, together with its inverse, with an orientation-preserving homeomorphism which is piecewise affine or smooth.


title: Detection of correlations

abstract: We consider the hypothesis testing problem of deciding whether an observed high-dimensional vector has independent normal components or, alternatively, if it has a small subset of correlated components. The correlated components may have a certain combinatorial structure known to the statistician. We establish upper and lower bounds for the worst-case (minimax) risk in terms of the size of the correlated subset, the level of correlation, and the structure of the class of possibly correlated sets. We show that some simple tests have near-optimal performance in many cases, while the generalized likelihood ratio test is suboptimal in some important cases.


title: Constructing Runge-Kutta Methods with the Use of Artificial Neural Networks

abstract: A methodology that can generate the optimal coefficients of a numerical method with the use of an artificial neural network is presented in this work. The network can be designed to produce a finite difference algorithm that solves a specific system of ordinary differential equations numerically. The case we are examining here concerns an explicit two-stage Runge-Kutta method for the numerical solution of the two-body problem. Following the implementation of the network, the latter is trained to obtain the optimal values for the coefficients of the Runge-Kutta method. The comparison of the new method to others that are well known in the literature proves its efficiency and demonstrates the capability of the network to provide efficient algorithms for specific problems.


title: The Curious Case of Lemaitre's Equation No. 24

abstract: The 1927 discovery of the expansion of the Universe by Lemaitre was published in French in a low-impact journal. In the 1931 high-impact English translation of this article a critical equation was changed by omitting reference to what is now known as the Hubble constant. That the section of the text of this paper dealing with the expansion of the Universe was also deleted from that English translation suggests a deliberate omission by the unknown translator.


title: O-minimalism

abstract: An ordered structure is called o-minimalistic if it has all the first-order features of an o-minimal structure. We propose a theory, DCTC (Definable Completeness/Type Completeness), that describes many properties of o-minimalistic structures (dimension theory, monotonicity, Hardy structures, quasi-cell decomposition). Failure of cell decomposition leads to the related notion of a tame structure, and we give a criterium for an o-minimalistic structure to be tame. To any o-minimalistic structure, we can associate its Grothendieck ring, which in the non-o-minimal case is a non-trivial invariant. To study this invariant, we identify a third o-minimalistic property, the Discrete Pigeonhole Principle, which in turn allows us to define discretely valued Euler characteristics.


title: Measurements of $A_{CP}(B^0\rightarrow K^+ \pi^-)$ and $A_{CP}(B_s\rightarrow \pi^+ K^-)$ at LHCb

abstract: The LHCb experiment is designed to perform flavour physics measurements at the Large Hadron Collider. Using data collected during the 2010 run, we reconstruct a sample of $H_b\rightarrow h^+h'^-$ decays, where $H_b$ can be either a $B^0$ meson, a $B_s^0$ meson or a $\Lambda_b$ baryon, while $h$ and $h^\prime$ stand for $\pi$, $K$ or $p$. We provide preliminary values of the direct $\mathcal{CP}$ asymmetries of the neutral $B^0$ and $B_s^0$ mesons $A_{CP} (B^0\rightarrow K^+\pi^-) = -0.074 \pm 0.033\mathrm{(stat.)} \pm 0.008\mathrm{(syst.)}$ and $A_{CP}(B_s^0\rightarrow\pi^+K^-)=0.15 \pm 0.19\mathrm{(stat.)} \pm 0.02\mathrm{(syst.)}$.


title: Finally, results from Gravity Probe-B

abstract: Nearly fifty years after its inception, the Gravity Probe B satellite mission delivers the first measurements of how a spinning gyroscope precesses in the gravitational warping of spacetime.


title: Open-loop multi-channel inversion of room impulse response

abstract: This paper considers methods for audio display in a CAVE-type virtual reality theater, a 3 m cube with displays covering all six rigid faces. Headphones are possible since the user's headgear continuously measures ear positions, but loudspeakers are preferable since they enhance the sense of total immersion. The proposed solution consists of open-loop acoustic point control. The transfer function, a matrix of room frequency responses from the loudspeakers to the ears of the user, is inverted using multi-channel inversion methods, to create exactly the desired sound field at the user's ears. The inverse transfer function is constructed from impulse responses simulated by the image source method. This technique is validated by measuring a 2x2 matrix transfer function, simulating a transfer function with the same geometry, and filtering the measured transfer function through the inverse of the simulation. Since accuracy of the image source method decreases with time, inversion performance is improved by windowing the simulated response prior to inversion. Parameters of the simulation and inversion are adjusted to minimize residual reverberant energy; the best-case dereverberation ratio is 10 dB.


title: Brane embeddings in sphere submanifolds

abstract: Wrapping a D(8-p)-brane on AdS_2 times a submanifold of S^{8-p} introduces point-like defects in the context of AdS/CFT correspondence for a Dp-brane background. We classify and work out the details in all possible cases with a single embedding angular coordinate. Brane embeddings of the temperature and beta-deformed near horizon D3-brane backgrounds are also examined. We comment on the relevance of our results to holographic lattices and dimers.


title: The Young Planet-mass Object 2M1207b: a cool, cloudy, and methane-poor atmosphere

abstract: The properties of 2M1207b, a young (~ 8 Myr) planet-mass companion, have lacked a satisfactory explanation for some time. The combination of low luminosity, red near-IR colors, and L-type near-IR spectrum (previously consistent with Teff ~ 1600K) implies an abnormally small radius. Early explanations for the apparent underluminosity of 2M1207b invoked an edge-on disk or the remnant of a recent protoplanetary collision. The discovery of a second planet-mass object (HR8799b) with similar luminosity and colors as 2M1207b indicates that a third explanation, one of a purely atmospheric nature, is more likely. By including clouds, non-equilibrium chemistry, and low-gravity, an atmosphere with effective temperature consistent with evolution cooling-track predictions is revealed. Consequently, 2M1207b, and others like it, requires no new physics to explain nor do they belong to a new class of objects. Instead they most likely represent the natural extension of cloudy substellar atmospheres down to low Teff and log(g). If this atmosphere only explanation for 2M1207b is correct, then very young planet-mass objects with near-IR spectra similar to field T dwarfs may be rare.


title: Large-scale defect accumulations in Czochralski-grown silicon

abstract: Czochralski-grown silicon crystals were studied by the techniques of the low-angle mid-IR-light scattering and electron-beam-induced current. The large-scale accumulations of electrically-active impurities detected in this material were found to be different in their nature and formation mechanisms from the well-known impurity clouds in a FZ-grown silicon. A classification of the large-scale impurity accumulations in CZ Si is made and point centers constituting them are analyzed in this paper. A model of the large-scale impurity accumulations in CZ-grown Si is also proposed. In addition, the images of the large-scale impurity accumulations obtained by means of the scanning mid-IR-laser microscopy are demonstrated.


title: Efficient resistive memory effect on SrTiO3 by ionic-bombardment

abstract: SrTiO3 is known to exhibit resistive memory effect either with cation-doping or with high-temperature thermal reduction. Here, we add another scheme, ionic-bombardment, to the list of tools to create resistive memory effect on SrTiO3 (STO). In an Ar-bombarded STO crystal, two orders of resistance difference was observed between the high and low resistive states, which is an order of magnitude larger than those achieved by the conventional thermal reduction process. One of the advantages of this new scheme is that it can be easily combined with lithographic processes to create spatially-selective memory effect.


title: Two-Photon Exchange Effect Studied with Neural Networks

abstract: An approach to the extraction of the two-photon exchange (TPE) correction from elastic $ep$ scattering data is presented. The cross section, polarization transfer (PT), and charge asymmetry data are considered. It is assumed that the TPE correction to the PT data is negligible. The form factors and TPE correcting term are given by one multidimensional function approximated by the feed forward neural network (NN). To find a model-independent approximation the Bayesian framework for the NNs is adapted. A large number of different parametrizations is considered. The most optimal model is indicated by the Bayesian algorithm. The obtained fit of the TPE correction behaves linearly in epsilon but it has a nontrivial Q2 dependence. A strong dependence of the TPE fit on the choice of parametrization is observed.


title: Discovery Of Cold, Pristine Gas Possibly Accreting Onto An Overdensity Of Star-Forming Galaxies At Redshift z ~ 1.6

abstract: We report the discovery of large amounts of cold (T ~ 10^4 K), chemically young gas in an overdensity of galaxies at redshift z ~ 1.6 in the Great Observatories Origins Deep Survey southern field (GOODS-S). The gas is identified thanks to the ultra-strong Mg II absorption features it imprints in the rest-frame UV spectra of galaxies in the background of the overdensity. There is no evidence that the optically-thick gas is part of any massive galaxy (i.e. M_star > 4x10^9 M_sun), but rather is associated with the overdensity; less massive and fainter galaxies (25.5 < z_850 < 27.5 mag) have too large an impact parameter to be causing ultra-strong absorption systems, based on our knowledge of such systems. The lack of corresponding Fe II absorption features, not detected even in co-added spectra, suggests that the gas is chemically more pristine than the ISM and outflows of star-forming galaxies at similar redshift, including those in the overdensity itself, and comparable to the most metal-poor stars in the Milky Way halo. A crude estimate of the projected covering factor of the high-column density gas (N_H >~ 10^20 cm-2) based on the observed fraction of galaxies with ultra-strong absorbers is C_F ~ 0.04. A broad, continuum absorption profile extending to the red of the interstellar Mg II absorption line by <~ 2000 km/s is possibly detected in two independent co-added spectra of galaxies of the overdensity, consistent with a large-scale infall motion of the gas onto the overdensity and its galaxies. Overall, these findings provides the first tentative evidence of accretion of cold, chemically young gas onto galaxies at high redshift, possibly feeding their star formation activity. The fact that the galaxies are members of a large structure, as opposed to field galaxies, might play a significant role in our ability to detect the accreting gas.


title: Ab initio study of structural stability of small 3$d$ late transition metal clusters : Interplay of magnetization and hybridization

abstract: Using first-principles density functional theory based calculations, we analyze the structural stability of small clusters of 3$d$ late transition metals. We consider the relative stability of the two structures - layer-like structure with hexagonal closed packed stacking and more compact structure of icosahedral symmetry. We find that the Co clusters show an unusual stability in hexagonal symmetry compared to the small clusters of other members which are found to stabilize in icosahedral symmetry based structure. Our study reveals that this is driven by the interplay between the magnetic energy gain and the gain in covalency through $s$-$d$ hybridization effect. Although we have focused our study primarily on clusters of size 19 atoms, we find that this behavior to be general for clusters having sizes between 15 and 20.


title: Stability Analysis of Linear Time-Invariant Distributed-Order Systems

abstract: Bounded-input bounded-output stability condition of linear time invariant (LTI) distributed-order system over integral interval $(0,1)$ has been established for the first time. Two cases about weighting function of the distributed order are investigated, and sufficient and necessary conditions of stability for these two types of distributed-order systems are derived. Based on the complex integration analysis, time-domain responses of distributed-order systems are also given by analytical method, and numerical examples are presented to illustrate the proposed conditions.


title: Increasing Entanglement by Separable Operations and New Monotones for W-type Entanglement

abstract: The class of local operations and classical communication (LOCC) pertains to an important measurement scenario in many quantum communication schemes. While LOCC belongs to the more general class of separable operations (SEP), the exact difference between the two remains a challenging open problem. In this article, we seek to better understand the structure of LOCC and its relationship to SEP by comparing their respective abilities for distilling EPR entanglement from one copy of an $N$-qubit W-class state (i.e. that of the form $\sqrt{x_0}\ket{00...0}+\sqrt{x_1}\ket{10...0}+...+\sqrt{x_n}\ket{00...1}$). In terms of transformation success probability, we are able to quantify a gap as large as 37% between the two classes. Our work involves constructing new analytic entanglement monotones for W-class states which can increase on average by separable operations. Additionally, we are able to show that the set of LOCC operations, considered as a subset of the most general quantum measurements, is not closed.


title: Randomly distilling W-class states into general configurations of two-party entanglement

abstract: In this article we obtain new results for the task of converting a \textit{single} $N$-qubit W-class state (of the form $\sqrt{x_0}\ket{00...0}+\sqrt{x_1}\ket{10...0}+...+\sqrt{x_N}\ket{00...1}$) into maximum entanglement shared between two random parties. Previous studies in random distillation have not considered how the particular choice of target pairs affects the transformation, and here we develop a strategy for distilling into \textit{general} configurations of target pairs. We completely solve the problem of determining the optimal distillation probability for all three qubit configurations and most four qubit configurations when $x_0=0$. Our proof involves deriving new entanglement monotones defined on the set of four qubit W-class states. As an additional application of our results, we present new upper bounds for converting a generic W-class state into the standard W state $\ket{W_N}=\sqrt{\frac{1}{N}}(\ket{10...0}+...+\ket{00...1})$.


title: TeV and Multi-wavelength Observations of Mrk 421 in 2006-2008

abstract: We report on TeV gamma-ray observations of the blazar Mrk 421 (redshift of 0.031) with the VERITAS observatory and the Whipple 10m Cherenkov telescope. The excellent sensitivity of VERITAS allowed us to sample the TeV gamma-ray fluxes and energy spectra with unprecedented accuracy where Mrk 421 was detected in each of the pointings. A total of 47.3 hrs of VERITAS and 96 hrs of Whipple 10m data were acquired between January 2006 and June 2008. We present the results of a study of the TeV gamma-ray energy spectra as a function of time, and for different flux levels. On May 2nd and 3rd, 2008, bright TeV gamma-ray flares were detected with fluxes reaching the level of 10 Crab. The TeV gamma-ray data were complemented with radio, optical, and X-ray observations, with flux variability found in all bands except for the radio waveband. The combination of the RXTE and Swift X-ray data reveal spectral hardening with increasing flux levels, often correlated with an increase of the source activity in TeV gamma-rays. Contemporaneous spectral energy distributions were generated for 18 nights, each of which are reasonably described by a one-zone SSC model.


title: Stability of fractional-order linear time-invariant system with noncommensurate orders

abstract: Bounded-input bounded-output stability conditions for fractional-order linear time-invariant (LTI) system with multiple noncommensurate orders have been established in this paper. The orders become noncommensurate orders when they do not have a common divisor. Sufficient and necessary conditions of stability for this kind of fractional-order LTI system with multiple noncommensurate orders. Based on the numerical inverse Laplace transform technique, time-domain responses for a fractional-order system with double noncommensurate orders are presented to illustrate the obtained stability results.


title: HAT-P-32b and HAT-P-33b: Two Highly Inflated Hot Jupiters Transiting High-Jitter Stars

abstract: We report the discovery of two exoplanets transiting high-jitter stars. HAT-P-32b orbits the bright V=11.289 star GSC 3281-00800, with a period P = 2.150008 d. The stellar and planetary masses and radii depend on the eccentricity of the system, which is poorly constrained due to the high velocity jitter (~80m/s). Assuming a circular orbit, the star has a mass of 1.16+-0.04 M_sun, and radius of 1.22+-0.02 R_sun, while the planet has a mass of 0.860+-0.164 MJ, and a radius of 1.789+-0.025 RJ. When the eccentricity is allowed to vary, the best-fit model results in a planet which is close to filling its Roche Lobe. Including the constraint that the planet cannot exceed its Roche Lobe results in the following best-fit parameters: e = 0.163+-0.061, Mp = 0.94+-0.17 MJ, Rp = 2.04+-0.10 RJ, Ms = 1.18+0.04-0.07 M_sun and Rs = 1.39+-0.07 R_sun. The second planet, HAT-P-33b, orbits the bright V=11.188 star GSC 2461-00988, with a period P = 3.474474 d. As for HAT-P-32, the stellar and planetary masses and radii of HAT-P-33 depend on the eccentricity, which is poorly constrained due to the high jitter (~50m/s). In this case spectral line bisector spans are significantly anti-correlated with the radial velocity residuals, and we use this correlation to reduce the residual rms to ~35m/s. We find the star has a mass of either 1.38+-0.04 M_sun or 1.40+-0.10 M_sun, and a radius of either 1.64+-0.03 R_sun or 1.78+-0.28 R_sun, while the planet has a mass of either 0.762+-0.101 MJ or 0.763+-0.117 MJ, and a radius of either 1.686+-0.045 RJ or 1.827+-0.290 RJ, for an assumed circular orbit or for the best-fit eccentric orbit respectively. Due to the large bisector span variations exhibited by both stars we rely on detailed modeling of the photometric light curves to rule out blend scenarios. Both planets are among the largest radii transiting planets discovered to date.


title: The Challenge of Unconventional Superconductivity

abstract: During the past few decades, several new classes of superconductors have been discovered. Most of these do not appear to be related to traditional superconductors. As a consequence, it is felt by many that for these materials, superconductivity arises from a different source than the electron-ion interactions that are at the heart of conventional superconductivity. Developing a rigorous theory for any of these classes of materials has proven to be a difficult challenge, and will continue to be one of the major problems in physics in the decades to come.


title: Galaxy Formation in Heavily Overdense Regions at z~10: the Prevalence of Disks in Massive Halos

abstract: Using a high-resolution cosmological numerical simulation, we have analyzed the evolution of galaxies at z~10 in a highly overdense region of the universe. These objects could represent the high redshift galaxies recently observed by the Hubble's WFC3, and be as well possible precursors of QSOs at z~6-7. To overcome the sampling and resolution problems in cosmological simulations, we have used the Constrained Realizations method. Our main result for z~10 shows the region of 3.5h^{-1}Mpc radius in comoving coordinates completely dominated by disk galaxies in the total mass range of >=10^9h^{-1}Mo. We have verified that the gaseous and stellar disks we identify are robust morphological features, capable of surviving the ongoing merger process at these redshifts. Below this mass range, we find a sharp decline in the disk fraction to negligible numbers. At this redshift, the disks appear to be gas-rich and the dark matter halos baryon-rich, by a factor of ~2-3 above the average fraction of baryons in the universe. The prevalence of disk galaxies in the high density peaks during the epoch of reionization is contrary to the morphology-density trend observed at low redshifts.


title: Metastable state in a shape-anisotropic single-domain nanomagnet subjected to spin-transfer-torque

abstract: We predict the existence of a new metastable magnetization state in a single-domain nanomagnet with uniaxial shape anisotropy. It emerges when a spin-polarized current, delivering a spin-transfer-torque, is injected into the nanomagnet. It can trap the magnetization vector and prevent spin-transfer-torque from switching the magnetization from one stable state along the easy axis to the other. Above a certain threshold current, the metastable state no longer appears. This has important technological consequences for spin-transfer-torque based magnetic memory and logic systems.


title: Using More Data to Speed-up Training Time

abstract: In many recent applications, data is plentiful. By now, we have a rather clear understanding of how more data can be used to improve the accuracy of learning algorithms. Recently, there has been a growing interest in understanding how more data can be leveraged to reduce the required training runtime. In this paper, we study the runtime of learning as a function of the number of available training examples, and underscore the main high-level techniques. We provide some initial positive results showing that the runtime can decrease exponentially while only requiring a polynomial growth of the number of examples, and spell-out several interesting open problems.


title: A high dynamic range data acquisition system for a solid-state electron Electric Dipole Moment experiment

abstract: We have built a high precision (24-bit) data acquisition (DAQ) system with eight simultaneously sampling input channels for the measurement of the electric dipole moment (EDM) of the electron. The DAQ system consists of two main components, a master board and eight individual analog-to-digital converter (ADC) boards. This custom DAQ system provides galvanic isolation, with fiber optic communication, between the master board and each ADC board to reduce the possibility of ground loop pickups. In addition, each ADC board is enclosed in its own heavy-duty radio frequency shielding enclosure and powered by DC batteries, to attain the ultimate low levels of channel cross-talk. In this paper, we describe the implementation of the DAQ system and scrutinize its performance.


title: A New Model for Gamma-Ray Cascades in Extragalactic Magnetic Fields

abstract: Very-high-energy (VHE, E \gtrsim 100 GeV) gamma rays emitted by extragalactic sources, such as blazars, initiate electromagnetic cascades in the intergalactic medium. The cascade photons arrive at the earth with angular and temporal distributions correlated with the extragalactic magnetic field (EGMF). We have developed a new semi-analytical model of the cascade properties which is more accurate than previous analytic approaches and faster than full Monte Carlo simulations. Within its range of applicability, our model can quickly generate cascade spectra for a variety of source emission models, EGMF strengths, and assumptions about the source livetime. In this Letter, we describe the properties of the model and demonstrate its utility by exploring the gamma-ray emission from the blazar RGB J0710+591. In particular, we predict, under various scenarios, the VHE and high-energy (HE, 100 MeV \lesssim E \lesssim 300 GeV) fluxes detectable with the VERITAS and Fermi Large Area Telescope (LAT) observatories. We then develop a systematic framework for comparing the predictions to published results, obtaining constraints on the EGMF strength. At a confidence level of 95%, we find the lower limit on the EGMF strength to be ~ 2 \times 10^{-16} Gauss if no limit is placed on the livetime of the source or ~ 3 \times 10^{-18} Gauss if the source livetime is limited to the past ~ 3 years during which Fermi observations have taken place.


title: Strong-coupling lattice study for QCD phase diagram including both chiral and deconfinement dynamics

abstract: We investigate the QCD phase diagram by using the strong-coupling expansion of the lattice QCD with one species of staggered fermion and the Polyakov loop effective action at finite temperature (T) and quark chemical potential (mu). We derive an analytic expression of effective potential Feff including both the chiral (U(1)) and the deconfinement (Z_Nc) dynamics with finite coupling effects in the mean-field approximation. The Polyakov loop increasing rate (dl/dT) is found to have two peaks as a function of T for small quark masses. One of them is the chiral-induced peak associated with the rapid decrease of the chiral condensate. The temperature of the other peak is almost independent of the quark mass or chemical potential, and this peak is interpreted as the Z_Nc-induced peak.


title: Impulse response of a generalized fractional second order filter

abstract: The impulse response of a generalized fractional second order filter of the form ${{({{s}^{2\alpha}}+a{{s}^{\alpha}}+b)}^{-\gamma}}$ is derived, where $0<\alpha \le 1$, $0<\gamma <2$. The asymptotic properties of the impulse responses are obtained for two cases, and the two cases show the similar properties for the changing of $\gamma$ values. It is shown that only when ${{({{s}^{2\alpha}}+a{{s}^{\alpha}}+b)}^{-1}}$ has the critical stability, the generalized fractional second order filter ${{({{s}^{2\alpha}}+a{{s}^{\alpha}}+b)}^{-\gamma}}$ has different properties as we change the value of $\gamma$. Finally, numerical examples to illustrate the impulse response are provided to verify the proposed concepts.


title: Comprehensive understanding of size-, shape-, and composition-dependent polarizabilities of SimCn (m, n = 1-4) clusters

abstract: We theoretically investigate the size-, shape-, and composition-dependent polarizabilities of the SimCn (m, n = 1 - 4) clusters by using the density functional based coupled perturbed Hartree-Fock method. The size-dependence of the polarizabilities of the SimCn (m, n = 1 - 4) clusters is more complicated than that of pure Sim and Cn (m, n = 1 - 8) clusters because for a given cluster size the heteroatomic clusters have more isomers than the homoatomic ones. For the shape-dependence, we consider three kinds of shape, linear (chain), prolate, and compact. For most clusters, we can clearly observe orders of {\alpha}(linear) > {\alpha}(prolate) and {\alpha}(prolate) > {\alpha}(compact) for a given composition. The composition-dependence of polarizabilities reveals that the linear clusters have an obvious larger polarizability than both the prolate and the compact clusters especially for a given m/n value. The shape effect makes a main contribution to determine the size of the polarizability. To understand the size of polarizability and the evolution of polarizability, we have tried many factors, such as the energy gap and binding energy, and defined a new parameter ({\Delta}q) that characterizes the redistribution of charge in cluster. We find that both the binding energy and the {\Delta}q are more available than the energy gap for reflecting the evolution of polarizabilities provided that both the cluster shape and one of the components in cluster are fixed. The correlation between the polarizability and the energy gap is poor, in agreement with the previous results.


title: Applications of Classical Scaling Symmetry

abstract: Any symmetry reduces a second-order differential equation to a first-order equation: variational symmetries of the action (exemplified by central field dynamics) lead to conservation laws, but symmetries of only the equations of motion (exemplified by scale-invariant hydrostatics), yield first-order {\em non-conservation laws} between invariants. We obtain these conservation laws by extending Noether's Theorem to non-variational symmetries, and present a variational formulation of spherical adiabatic hydrostatics. For scale-invariant hydrostatics, we directly recover all the published properties of polytropes and define a {\em core radius}, a new measure of mass concentration in polytropes of index n. The Emden solutions (regular solutions of the Lane-Emden equation) are finally obtained, along with useful approximations. An appendix discusses the special n=3 polytrope, emphasizing how the same mechanical structure allows different {\em thermostatic} structures in relativistic degenerate white dwarfs and and zero age main sequence stars.


title: Electron fractionalization and unconventional order parameters of the t-J model

abstract: In the $t-J$ model, the electron fractionalization is unique due to the non-perturbative phase string effect. We formulated a lattice field theory taking this effect into full account. Basing on this field theory, we introduced a pair of Wilson loops which constitute a complete set of order parameters determining the phase diagram in the underdoped regime. We also established a general composition rule for electric transport expressing the electric conductivity in terms of the spinon and the holon conductivities. The general theory is applied to studies of the quantum phase diagram. We found that the antiferromagnetic and the superconducting phases are dual: in the former, holons are confined while spinons are deconfined, and {\it vice versa} in the latter. These two phases are separated by a novel phase, the so-called Bose-insulating phase, where both holons and spinons are deconfined and the system is electrically insulating.


title: Robust stability for fractional-order systems with structured and unstructured uncertainties

abstract: The issues of robust stability for two types of uncertain fractional-order systems of order $\alpha \in (0,1)$ are dealt with in this paper. For the polytope-type uncertainty case, a less conservative sufficient condition of robust stability is given; for the norm-bounded uncertainty case, a sufficient and necessary condition of robust stability is presented. Both of these conditions can be checked by solving sets of linear matrix inequalities. Two numerical examples are presented to confirm the proposed conditions.


title: Anomalous scaling and generic structure function in turbulence

abstract: We discuss on an example a general mechanism of apparition of anomalous scaling in scale invariant systems via zero modes of a scale invariant operator. We discuss the relevance of such mechanism in turbulence, and point out a peculiarity of turbulent flows, due to the existence of both forcing and dissipation. Following these considerations, we show that if this mechanism of anomalous scaling is operating in turbulence, the structure functions can be constructed by simple symmetry considerations. We find that the generical scale behavior of structure functions in the inertial range is not self-similar $S_n(\ell)\propto \ell^{\zeta_n}$ but includes an "exponential self-similar" behavior $S_n(\ell) \propto \exp[\zeta_n\alpha^{-1} \ell^{\alpha}]$ where $\alpha$ is a parameter proportional to the inverse of the logarithm of the Reynolds number. The solution also follows exact General Scaling and approximate Extended Self-Similarity.


title: Sufficient and Necessary Condition of Admissibility for Fractional-order Singular System

abstract: This paper has been withdrawn. This paper focuses on the admissibility condition for fractional-order singular system with order $\alpha \in (0,1)$. The definitions of regularity, impulse-free and admissibility are given first, then a sufficient and necessary condition of admissibility for fractional-order singular system is established. A numerical example is included to illustrate the proposed condition.


title: Horizontally oriented plates in clouds

abstract: Horizontally oriented plates in clouds generate a sharp specular reflectance signal in the glint direction, often referred to as "subsun". This signal (amplitude and width) may be used to analyze the relative area fraction of oriented plates in the cloud top layer and their characteristic tilt angle to the horizontal. We make use of spaceborne measurements from the POLDER instrument to provide a statistical analysis of these parameters. More than half of the clouds show a detectable maximum reflectance in the glint direction, although this maximum may be rather faint. The typical effective fraction (area weighted) of oriented plates in clouds lies between 10-3 and 10-2. For those oriented plates, the characteristic tilt angle is less than 1 degree in most cases. These low fractions imply that the impact of oriented plates on the cloud albedo is insignificant. The largest proportion of clouds with horizontally oriented plates is found in the range 500-700 hPa, in agreement with typical in situ observation of plates in clouds. We propose a simple aerodynamic model that accounts for the orienting torque of the flow as the plate falls under its own gravity and the disorienting effects of Brownian motion and atmospheric turbulence. The model indicates that the horizontal plate diameters are in the range 0.1 to a few millimeters. For such sizes, Brownian forces have a negligible impact on the plate orientation. On the other hand, typical levels of atmospheric turbulence lead to tilt angles that are similar to those estimated from the glint observation.


title: Synthesis from Recursive-Components Libraries

abstract: Synthesis is the automatic construction of a system from its specification. In classical synthesis algorithms it is always assumed that the system is "constructed from scratch" rather than composed from reusable components. This, of course, rarely happens in real life. In real life, almost every non-trivial commercial software system relies heavily on using libraries of reusable components. Furthermore, other contexts, such as web-service orchestration, can be modeled as synthesis of a system from a library of components. In 2009 we introduced LTL synthesis from libraries of reusable components. Here, we extend the work and study synthesis from component libraries with "call and return"' control flow structure. Such control-flow structure is very common in software systems. We define the problem of Nested-Words Temporal Logic (NWTL) synthesis from recursive component libraries, where NWTL is a specification formalism, richer than LTL, that is suitable for "call and return" computations. We solve the problem, providing a synthesis algorithm, and show the problem is 2EXPTIME-complete, as standard synthesis.


title: Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations

abstract: Symbolic model checking by using BDDs has greatly improved the applicability of model checking. Nevertheless, BDD based symbolic model checking can still be very memory and time consuming. One main reason is the complex transition relation of systems. Sometimes, it is even not possible to generate the transition relation, due to its exhaustive memory requirements. To diminish this problem, the use of partitioned transition relations has been proposed. However, there are still systems which can not be verified at all. Furthermore, if the granularity of the partitions is too fine, the time required for verification may increase. In this paper we target the symbolic verification of asynchronous concurrent systems. For such systems we present an approach which uses similarities in the transition relation to get further memory reductions and runtime improvements. By applying our approach, even the verification of systems with an previously intractable transition relation becomes feasible.


title: Computing the Reveals Relation in Occurrence Nets

abstract: Petri net unfoldings are a useful tool to tackle state-space explosion in verification and related tasks. Moreover, their structure allows to access directly the relations of causal precedence, concurrency, and conflict between events. Here, we explore the data structure further, to determine the following relation: event a is said to reveal event b iff the occurrence of a implies that b inevitably occurs, too, be it before, after, or concurrently with a. Knowledge of reveals facilitates in particular the analysis of partially observable systems, in the context of diagnosis, testing or verification; it can also be used to generate more concise representations of behaviours via abstractions. The reveals relation was previously introduced in the context of fault diagnosis, where it was shown that the reveals relation was decidable: for a given pair a,b in the unfolding U of a safe Petri net N, a finite prefix P of U is sufficient to decide whether or not a reveals b. In this paper, we first considerably improve the bound on |P|. We then show that there exists an efficient algorithm for computing the relation on a given prefix. We have implemented the algorithm and report on experiments.


title: Automated Analysis of MUTEX Algorithms with FASE

abstract: In this paper we study the liveness of several MUTEX solutions by representing them as processes in PAFAS s, a CCS-like process algebra with a specific operator for modelling non-blocking reading behaviours. Verification is carried out using the tool FASE, exploiting a correspondence between violations of the liveness property and a special kind of cycles (called catastrophic cycles) in some transition system. We also compare our approach with others in the literature. The aim of this paper is twofold: on the one hand, we want to demonstrate the applicability of FASE to some concrete, meaningful examples; on the other hand, we want to study the impact of introducing non-blocking behaviours in modelling concurrent systems.


title: A reduction from parity games to simple stochastic games

abstract: Games on graphs provide a natural model for reactive non-terminating systems. In such games, the interaction of two players on an arena results in an infinite path that describes a run of the system. Different settings are used to model various open systems in computer science, as for instance turn-based or concurrent moves, and deterministic or stochastic transitions. In this paper, we are interested in turn-based games, and specifically in deterministic parity games and stochastic reachability games (also known as simple stochastic games). We present a simple, direct and efficient reduction from deterministic parity games to simple stochastic games: it yields an arena whose size is linear up to a logarithmic factor in size of the original arena.


title: Opacity Issues in Games with Imperfect Information

abstract: We study in depth the class of games with opacity condition, which are two-player games with imperfect information in which one of the players only has imperfect information, and where the winning condition relies on the information he has along the play. Those games are relevant for security aspects of computing systems: a play is opaque whenever the player who has imperfect information never "knows" for sure that the current position is one of the distinguished "secret" positions. We study the problems of deciding the existence of a winning strategy for each player, and we call them the opacity-violate problem and the opacity-guarantee problem. Focusing on the player with perfect information is new in the field of games with imperfect-information because when considering classical winning conditions it amounts to solving the underlying perfect-information game. We establish the EXPTIME-completeness of both above-mentioned problems, showing that our winning condition brings a gap of complexity for the player with perfect information, and we exhibit the relevant opacity-verify problem, which noticeably generalizes approaches considered in the literature for opacity analysis in discrete-event systems. In the case of blindfold games, this problem relates to the two initial ones, yielding the determinacy of blindfold games with opacity condition and the PSPACE-completeness of the three problems.


title: Type Inference for Bimorphic Recursion

abstract: This paper proposes bimorphic recursion, which is restricted polymorphic recursion such that every recursive call in the body of a function definition has the same type. Bimorphic recursion allows us to assign two different types to a recursively defined function: one is for its recursive calls and the other is for its calls outside its definition. Bimorphic recursion in this paper can be nested. This paper shows bimorphic recursion has principal types and decidable type inference. Hence bimorphic recursion gives us flexible typing for recursion with decidable type inference. This paper also shows that its typability becomes undecidable because of nesting of recursions when one removes the instantiation property from the bimorphic recursion.


title: A Decidable Extension of Data Automata

abstract: Data automata on data words is a decidable model proposed by Boja\'nczyk et al. in 2006. Class automata, introduced recently by Boja\'nczyk and Lasota, is an extension of data automata which unifies different automata models on data words. The nonemptiness of class automata is undecidable, since class automata can simulate two-counter machines. In this paper, a decidable model called class automata with priority class condition, which restricts class automata but strictly extends data automata, is proposed. The decidability of this model is obtained by establishing a correspondence with priority multicounter automata. This correspondence also completes the picture of the links between various class conditions of class automata and various models of counter machines. Moreover, this model is applied to extend a decidability result of Alur, Cern\'y and Weinstein on the algorithmic analysis of array-accessing programs.


title: Connectivity Games over Dynamic Networks

abstract: A game-theoretic model for the study of dynamic networks is analyzed. The model is motivated by communication networks that are subject to failure of nodes and where the restoration needs resources. The corresponding two-player game is played between "Destructor" (who can delete nodes) and "Constructor" (who can restore or even create nodes under certain conditions). We also include the feature of information flow by allowing Constructor to change labels of adjacent nodes. As objective for Constructor the network property to be connected is considered, either as a safety condition or as a reachability condition (in the latter case starting from a non-connected network). We show under which conditions the solvability of the corresponding games for Constructor is decidable, and in this case obtain upper and lower complexity bounds, as well as algorithms derived from winning strategies. Due to the asymmetry between the players, safety and reachability objectives are not dual to each other and are treated separately.


title: Optimal Bounds in Parametric LTL Games

abstract: We consider graph games of infinite duration with winning conditions in parameterized linear temporal logic, where the temporal operators are equipped with variables for time bounds. In model checking such specifications were introduced as "PLTL" by Alur et al. and (in a different version called "PROMPT-LTL") by Kupferman et al.. We present an algorithm to determine optimal variable valuations that allow a player to win a game. Furthermore, we show how to determine whether a player wins a game with respect to some, infinitely many, or all valuations. All our algorithms run in doubly-exponential time; so, adding bounded temporal operators does not increase the complexity compared to solving plain LTL games.


title: The T2K Experiment

abstract: The T2K experiment is a long-baseline neutrino oscillation experiment. Its main goal is to measure the last unknown lepton sector mixing angle {\theta}_{13} by observing {\nu}_e appearance in a {\nu}_{\mu} beam. It also aims to make a precision measurement of the known oscillation parameters, {\Delta}m^{2}_{23} and sin^{2} 2{\theta}_{23}, via {\nu}_{\mu} disappearance studies. Other goals of the experiment include various neutrino cross section measurements and sterile neutrino searches. The experiment uses an intense proton beam generated by the J-PARC accelerator in Tokai, Japan, and is composed of a neutrino beamline, a near detector complex (ND280), and a far detector (Super-Kamiokande) located 295 km away from J-PARC. This paper provides a comprehensive review of the instrumentation aspect of the T2K experiment and a summary of the vital information for each subsystem.


title: New results on pushdown module checking with imperfect information

abstract: Model checking of open pushdown systems (OPD) w.r.t. standard branching temporal logics (pushdown module checking or PMC) has been recently investigated in the literature, both in the context of environments with perfect and imperfect information about the system (in the last case, the environment has only a partial view of the system's control states and stack content). For standard CTL, PMC with imperfect information is known to be undecidable. If the stack content is assumed to be visible, then the problem is decidable and 2EXPTIME-complete (matching the complexity of PMC with perfect information against CTL). The decidability status of PMC with imperfect information against CTL restricted to the case where the depth of the stack content is visible is open. In this paper, we show that with this restriction, PMC with imperfect information against CTL remains undecidable. On the other hand, we individuate an interesting subclass of OPDS with visible stack content depth such that PMC with imperfect information against the existential fragment of CTL is decidable and in 2EXPTIME. Moreover, we show that the program complexity of PMC with imperfect information and visible stack content against CTL is 2EXPTIME-complete (hence, exponentially harder than the program complexity of PMC with perfect information, which is known to be EXPTIME-complete).


title: Reactive Safety

abstract: The distinction between safety and liveness properties is a fundamental classification with immediate implications on the feasibility and complexity of various monitoring, model checking, and synthesis problems. In this paper, we revisit the notion of safety for reactive systems, i.e., for systems whose behavior is characterized by the interplay of uncontrolled environment inputs and controlled system outputs. We show that reactive safety is a strictly larger class of properties than standard safety. We provide algorithms for checking if a property, given as a temporal formula or as a word or tree automaton, is a reactive safety property and for translating such properties into safety automata. Based on this construction, the standard verification and synthesis algorithms for safety properties immediately extend to the larger class of reactive safety.


title: An Optimal Decision Procedure for MPNL over the Integers

abstract: Interval temporal logics provide a natural framework for qualitative and quantitative temporal reason- ing over interval structures, where the truth of formulae is defined over intervals rather than points. In this paper, we study the complexity of the satisfiability problem for Metric Propositional Neigh- borhood Logic (MPNL). MPNL features two modalities to access intervals "to the left" and "to the right" of the current one, respectively, plus an infinite set of length constraints. MPNL, interpreted over the naturals, has been recently shown to be decidable by a doubly exponential procedure. We improve such a result by proving that MPNL is actually EXPSPACE-complete (even when length constraints are encoded in binary), when interpreted over finite structures, the naturals, and the in- tegers, by developing an EXPSPACE decision procedure for MPNL over the integers, which can be easily tailored to finite linear orders and the naturals (EXPSPACE-hardness was already known).


title: Separation of Test-Free Propositional Dynamic Logics over Context-Free Languages

abstract: For a class L of languages let PDL[L] be an extension of Propositional Dynamic Logic which allows programs to be in a language of L rather than just to be regular. If L contains a non-regular language, PDL[L] can express non-regular properties, in contrast to pure PDL. For regular, visibly pushdown and deterministic context-free languages, the separation of the respective PDLs can be proven by automata-theoretic techniques. However, these techniques introduce non-determinism on the automata side. As non-determinism is also the difference between DCFL and CFL, these techniques seem to be inappropriate to separate PDL[DCFL] from PDL[CFL]. Nevertheless, this separation is shown but for programs without test operators.


title: On P-transitive graphs and applications

abstract: We introduce a new class of graphs which we call P-transitive graphs, lying between transitive and 3-transitive graphs. First we show that the analogue of de Jongh-Sambin Theorem is false for wellfounded P-transitive graphs; then we show that the mu-calculus fixpoint hierarchy is infinite for P-transitive graphs. Both results contrast with the case of transitive graphs. We give also an undecidability result for an enriched mu-calculus on P-transitive graphs. Finally, we consider a polynomial time reduction from the model checking problem on arbitrary graphs to the model checking problem on P-transitive graphs. All these results carry over to 3-transitive graphs.


title: A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems

abstract: Physical systems can fail. For this reason the problem of identifying and reacting to faults has received a large attention in the control and computer science communities. In this paper we study the fault diagnosis problem for hybrid systems from a game-theoretical point of view. A hybrid system is a system mixing continuous and discrete behaviours that cannot be faithfully modeled neither by using a formalism with continuous dynamics only nor by a formalism including only discrete dynamics. We use the well known framework of hybrid automata for modeling hybrid systems, and we define a Fault Diagnosis Game on them, using two players: the environment and the diagnoser. The environment controls the evolution of the system and chooses whether and when a fault occurs. The diagnoser observes the external behaviour of the system and announces whether a fault has occurred or not. Existence of a winning strategy for the diagnoser implies that faults can be detected correctly, while computing such a winning strategy corresponds to implement a diagnoser for the system. We will show how to determine the existence of a winning strategy, and how to compute it, for some decidable classes of hybrid automata like o-minimal hybrid automata.


title: Deciding Reachability for 3-Dimensional Multi-Linear Systems

abstract: This paper deals with the problem of point-to-point reachability in multi-linear systems. These systems consist of a partition of the Euclidean space into a finite number of regions and a constant derivative assigned to each region in the partition, which governs the dynamical behavior of the system within it. The reachability problem for multi-linear systems has been proven to be decidable for the two-dimensional case and undecidable for the dimension three and higher. Multi-linear systems however exhibit certain properties that make them very suitable for topological analysis. We prove that reachability can be decided exactly in the 3-dimensional case when systems satisfy certain conditions. We show with experiments that our approach can be orders of magnitude more efficient than simulation.


title: Towards Efficient Exact Synthesis for Linear Hybrid Systems

abstract: We study the problem of automatically computing the controllable region of a Linear Hybrid Automaton, with respect to a safety objective. We describe the techniques that are needed to effectively and efficiently implement a recently-proposed solution procedure, based on polyhedral abstractions of the state space. Supporting experimental results are presented, based on an implementation of the proposed techniques on top of the tool PHAVer.


title: Exposed faces for decomposable positive linear maps arising from completely positive maps

abstract: Let $D$ be a space of $2\times n$ matrices. Then the face of the cone of all completely positive maps from $M_2$ into $M_n$ given by $D$ is an exposed face of the bigger cone of all decomposable positive linear maps if and only if the set of all rank one matrices in $D$ forms a subspace of $D$ together with zero and $D^\perp$ is spanned by rank one matrices.


title: Magnetic Properties of Spinel FeCr$_{2}$S$_{4}$ in High Magnetic Field

abstract: We studied temperature and magnetic field dependence of magnetization, $M(T)$ and $M(B)$, on thiospinel FeCr$_{2}$S$_{4}$. We observed a step-like anomaly at $T_{OO} \sim$ 9 K for $M$($T$) attributed to an orbital order transition in magnetic field 0 $< B \leq$ 7 T. Furthermore, also for $M$($B$), an step-like anomaly appears at $B_{c} \sim$ 5.5 T below $T_{OO}$. This suggests an existence of a magnetic phase boundary at $B_{c}$ in $T < T_{OO}$. Because the anomaly at $B_{c}$ of $M(B)$ exists in the orbital ordered phase, the spin structure of FeCr$_{2}$S$_{4}$ in $T\ <\ T_{OO}$ is strongly coupled with the lattice of the system.


title: Obstruction-flat asymptotically locally Euclidean metrics

abstract: We show that any asymptotically locally Euclidean (ALE) metric which is obstruction-flat or extended obstruction-flat must be ALE of a certain optimal order. Moreover, our proof applies to very general elliptic systems and in any dimension $n \geq 3$. The proof is based on the technique of Cheeger-Tian for Ricci-flat metrics. We also apply this method to obtain a singularity removal theorem for (extended) obstruction-flat metrics with isolated $C^0$-orbifold singular points.


title: Optimal Repair of MDS Codes in Distributed Storage via Subspace Interference Alignment

abstract: It is well known that an (n,k) code can be used to store 'k' units of information in 'n' unit-capacity disks of a distributed data storage system. If the code used is maximum distance separable (MDS), then the system can tolerate any (n-k) disk failures, since the original information can be recovered from any k surviving disks. The focus of this paper is the design of a systematic MDS code with the additional property that a single disk failure can be repaired with minimum repair bandwidth, i.e., with the minimum possible amount of data to be downloaded for recovery of the failed disk. Previously, a lower bound of (n-1)/(n-k) units has been established by Dimakis et. al, on the repair bandwidth for a single disk failure in an (n,k) MDS code . Recently, the existence of asymptotic codes achieving this lower bound for arbitrary (n,k) has been established by drawing connections to interference alignment. While the existence of asymptotic constructions achieving this lower bound have been shown, finite code constructions achieving this lower bound existed in previous literature only for the special (high-redundancy) scenario where $k \leq \max(n/2,3)$. The question of existence of finite codes for arbitrary values of (n,k) achieving the lower bound on the repair bandwidth remained open. In this paper, by using permutation coding sub-matrices, we provide the first known finite MDS code which achieves the optimal repair bandwidth of (n-1)/(n-k) for arbitrary (n,k), for recovery of a failed systematic disk. We also generalize our permutation matrix based constructions by developing a novel framework for repair-bandwidth-optimal MDS codes based on the idea of subspace interference alignment - a concept previously introduced by Suh and Tse the context of wireless cellular networks.


title: Casimir interaction between a cylinder and a plate at finite temperature: Exact results and comparison to proximity force approximation

abstract: We study the finite temperature Casimir interaction between a cylinder and a plate using the exact formula derived from the Matsubara representation and the functional determinant representation. We consider the scalar field with Dirichlet and Neumann boundary conditions. The asymptotic expansions of the Casimir energy and the Casimir force when the separation $a$ between the cylinder and the plate is small are derived. As in the zero temperature case, it is found that the leading terms of the Casimir energy and the Casimir force agree with those derived from the proximity force approximation when $rT\gg 1$, where $r$ is the radius of the cylinder. When $aT\ll 1\ll rT$ (the medium temperature region), the leading term of the Casimir energy is of order $T^{5/2}$ whereas for the Casimir force, it is of order $T^{7/2}$. In this case, the leading terms are independent of the separation $a$. When $1\ll aT\ll rT$ (the high temperature region), the dominating terms of the Casimir energy and the Casimir force come from the zeroth Matsubara frequency. In this case, the leading terms are linear in $T$, but for the energy, it is inversely proportional to $a^{3/2}$, whereas for the force, it is inversely proportional to $a^{5/2}$. The first order corrections to the proximity force approximations in different temperature regions are computed using perturbation approach. In the zero temperature case, the results agree with those derived in [Bordag, Phys. Rev. D \textbf{73}, 125018 (2006)].


title: Tidally enhanced stellar wind: a way to make the symbiotic channel to Type Ia supernova viable

abstract: In the symbiotic (or WD+RG) channel of the single degenerate scenario for type Ia supernovae (SNe Ia) the explosions occur a relatively long time after star formation. The birthrate from this channel would be too low to account for all observed SNe Ia were it not for some mechanism to enhance the rate of accretion on to the white dwarf. A tidally enhanced stellar wind, of the type which has been postulated to explain many phenomena related to giant star evolution in binary systems, can do this. Compared to mass-stripping this model extends the space of SNe Ia progenitors to longer orbital periods and hence increases the birthrate to about $0.0069\,{\rm yr^{-1}}$ for the symbiotic channel. Two symbiotic stars, T CrB and RS Oph, considered to be the most likely progenitors of SNe Ia through the symbiotic channel, are well inside the period--companion mass space predicted by our models.


title: A New Proposal for the Picture Changing Operators in the Minimal Pure Spinor Formalism

abstract: Using a new proposal for the "picture lowering" operators, we compute the tree level scattering amplitude in the minimal pure spinor formalism by performing the integration over the pure spinor space as a multidimensional Cauchy-type integral. The amplitude will be written in terms of the projective pure spinor variables, which turns out to be useful to relate rigorously the minimal and non-minimal versions of the pure spinor formalism. The natural language for relating these formalisms is the Cech-Dolbeault isomorphism. Moreover, the Dolbeault cocycle corresponding to the tree-level scattering amplitude must be evaluated in SO(10)/SU(5) instead of the whole pure spinor space, which means that the origin is removed from this space. Also, the Cech-Dolbeault language plays a key role for proving the invariance of the scattering amplitude under BRST, Lorentz and supersymmetry transformations, as well as the decoupling of unphysical states. We also relate the Green's function for the massless scalar field in ten dimensions to the tree-level scattering amplitude and comment about the scattering amplitude at higher orders. In contrast with the traditional picture lowering operators, with our new proposal the tree level scattering amplitude is independent of the constant spinors introduced to define them and the BRST exact terms decouple without integrating over these constant spinors.


title: Quantum Theory without Quantization

abstract: The only evidence we have for a discrete reality comes from quantum measurements; without invoking these measurements, quantum theory describes continuous entities. This seeming contradiction can be resolved via analysis that treats measurements as boundary constraints. It is well-known that boundaries can induce apparently-discrete behavior in continuous systems, and strong analogies can be drawn to the case of quantum measurement. If quantum discreteness arises in this manner, this would not only indicate an analog reality, but would also offer a solution to the so-called "measurement problem".


title: Connectivity of Kronecker products by K2

abstract: Let $\kappa(G)$ be the connectivity of $G$. The Kronecker product $G_1\times G_2$ of graphs $G_1$ and $G_2$ has vertex set $V(G_1\times G_2)=V(G_1)\times V(G_2)$ and edge set $E(G_1\times G_2)=\{(u_1,v_1)(u_2,v_2):u_1u_2\in E(G_1),v_1v_2\in E(G_2)\}$. In this paper, we prove that $\kappa(G\times K_2)=\textup{min}\{2\kappa(G), \textup{min}\{|X|+2|Y|\}\}$, where the second minimum is taken over all disjoint sets $X,Y\subseteq V(G)$ satisfying (1)$G-(X\cup Y)$ has a bipartite component $C$, and (2) $G[V(C)\cup \{x\}]$ is also bipartite for each $x\in X$.


title: Angular Momentum and Vortex Formation in Bose-Einstein-Condensed Cold Dark Matter Haloes

abstract: (Abridged) Extensions of the standard model of particle physics predict very light bosons, ranging from about 10^{-5} eV for the QCD axion to 10^{-33} eV for ultra-light particles, which could be the cold dark matter (CDM) in the Universe. If so, their phase-space density must be high enough to form a Bose-Einstein condensate (BEC). The fluid-like nature of BEC-CDM dynamics differs from that of standard collisionless CDM (sCDM), so observations of galactic haloes may distinguish them. sCDM has problems with galaxy observations on small scales, which BEC-CDM may overcome for a large range of particle mass m and self-interaction strength g. For quantum-coherence on galactic scales of radius R and mass M, either the de-Broglie wavelength lambda_deB <~ R, requiring m >~ m_H \cong 10^{-25}(R/100 kpc)^{-1/2}(M/10^{12} M_solar)^{-1/2} eV, or else lambda_deB << R but self-interaction balances gravity, requiring m >> m_H and g >> g_H \cong 2 x 10^{-64} (R/100 kpc)(M/10^{12} M_solar)^{-1} eV cm^3. Here we study the largely-neglected effects of angular momentum. Spin parameters lambda \cong 0.05 are expected from tidal-torquing by large-scale structure, just as for sCDM. Since lab BECs develop quantum vortices if rotated rapidly enough, we ask if this angular momentum is sufficient to form vortices in BEC haloes, affecting their structure with potentially observable consequences. The minimum angular momentum for this, L_{QM} = $\hbar M/m$, requires m >= 9.5 m_H for lambda = 0.05, close to the particle mass required to influence structure on galactic scales. We study the equilibrium of self-gravitating, rotating BEC haloes which satisfy the Gross-Pitaevskii-Poisson equations, to calculate if and when vortices are energetically favoured. Vortices form as long as self-interaction is strong enough, which includes a large part of the range of m and g of interest for BEC-CDM haloes.

categories: astro-ph.CO astro-ph.GA cond-mat.quant-gas hep-ph


title: Random Distances Associated with Rhombuses

abstract: Parallelograms are one of the basic building blocks in two-dimensional tiling. They have important applications in a wide variety of science and engineering fields, such as wireless communication networks, urban transportation, operations research, etc. Different from rectangles and squares, the coordinates of a random point in parallelograms are no longer independent. As a case study of parallelograms, the explicit probability density functions of the random Euclidean distances associated with rhombuses are given in this report, when both endpoints are randomly distributed in 1) the same rhombus, 2) two parallel rhombuses sharing a side, and 3) two rhombuses having a common diagonal, respectively. The accuracy of the distance distribution functions is verified by simulation, and the correctness is validated by a recursion and a probabilistic sum. The first two statistical moments of the random distances, and the polynomial fit of the density functions are also given in this report for practical uses.


title: Sharp upper bound for the rainbow connection number of a graph with diameter 2

abstract: Let $G$ be a connected graph. The \emph{rainbow connection number $rc(G)$} of a graph $G$ was recently introduced by Chartrand et al. Li et al. proved that for every bridgeless graph $G$ with diameter 2, $rc(G)\leq 5$. They gave examples for which $rc(G)\leq 4$. However, they could not show that the upper bound 5 is sharp. It is known that for a graph $G$ with diameter 2, to determine $rc(G)$ is NP-hard. So, it is interesting to know the best upper bound of $rc(G)$ for such a graph $G$. In this paper, we use different way to obtain the same upper bound, and moreover, examples are given to show that the upper is best possible.


title: The canonical genus for Whitehead doubles of a family of alternating knots

abstract: For any given integer $r \geq 1$ and a quasitoric braid $\beta_r=(\sigma_r^{-\epsilon} \sigma_{r-1}^{\epsilon}...$ $ \sigma_{1}^{(-1)^{r}\epsilon})^3$ with $\epsilon=\pm 1$, we prove that the maximum degree in $z$ of the HOMFLYPT polynomial $P_{W_2(\hat\beta_r)}(v,z)$ of the doubled link $W_2(\hat\beta_r)$ of the closure $\hat\beta_r$ is equal to $6r-1$. As an application, we give a family $\mathcal K^3$ of alternating knots, including $(2,n)$ torus knots, 2-bridge knots and alternating pretzel knots as its subfamilies, such that the minimal crossing number of any alternating knot in $\mathcal K^3$ coincides with the canonical genus of its Whitehead double. Consequently, we give a new family $\mathcal K^3$ of alternating knots for which Tripp's conjecture holds.


title: Do we live in the universe successively dominated by matter and antimatter?

abstract: We wonder if a cyclic universe may be dominated alternatively by matter and antimatter. Such a scenario demands a mechanism for transformation of matter to antimatter (or antimatter to matter) during the final stage of a big crunch. By giving an example, we have shown that in principle such a mechanism is possible. Our mechanism is based on a hypothetical repulsion between matter and antimatter, existing at least deep inside the horizon of a black hole. When universe is reduced to a supermassive black hole of a small size, a very strong field of the conjectured force might create (through a Schwinger type mechanism) particle-antiparticle pairs from the quantum vacuum. The amount of antimatter created from the vacuum is equal to the decrease of mass of the black hole and violently repelled from it. When the size of the black hole is sufficiently small, the creation of antimatter may become so fast, that matter of our Universe might be transformed to antimatter in a fraction of second. Such a fast conversion of matter into antimatter may look as a Big Bang. Our mechanism prevents a singularity; a new cycle might start with an initial size more than 30 orders of magnitude greater than the Planck length, suggesting that there is no need for inflationary scenario in Cosmology. In addition, there is no need to invoke CP violation for explanation of matter-antimatter asymmetry. Simply, our present day Universe is dominated by matter, because the previous universe was dominated by antimatter.


title: Entangled Network and Quantum Communication

abstract: A theoretical scheme is introduced to generate entangled network via Dzyaloshinskii- Moriya (DM)interaction. The dynamics of entanglement generated between different nodes by direct or indirect interaction is investigated. It is shown that, the direction of (DM) interaction and the location of the nodes have a sensational effect on the degree of entanglement. We quantify the minimum entanglement generated between all the nodes. The upper and lower bound of the entanglement of the generated network depends on the direction of DM interaction and the repetition of the behavior depends on the strength of DM. The generated entangled nodes are used as quantum channel to perform quantum teleportation, where we show that the fidelity of teleporting unknown information between the network members depends on the location of the members.


title: Seebeck effect in dilute two-dimensional electron systems: temperature dependencies of diffusion and phonon-drag thermoelectric powers

abstract: Considering screeening of electron scattering interactions in terms of the finite-temperature STLS theory and solving the linearized Boltzmann equation (with no appeal to a relaxation time approximation), we present a theoretical analysis of the low-temperature Seebeck effect in two-dimensional semiconductors with dilute electron densities. We find that the temperature ($T$) dependencies of the diffusion and phonon-drag thermoelectric powers ($S_d$ and $S_g$) can no longer be described by the conventional simple power-laws. As temperature increases, $|S_d|/T$ decreases when $T\gtrsim 0.1 \epsilon_F$ ($\epsilon_F$ is the Fermi energy), while $|S_g|$ first increases and then falls, resulting a peak located at a temperature between Bloch-Gr\"uneisen temperature and $\epsilon_F$.


title: Recovery of Dirac system from the rectangular Weyl matrix function

abstract: Weyl theory for Dirac systems with rectangular matrix potentials is non-classical. The corresponding Weyl functions are rectangular matrix functions. Furthermore, they are non-expansive in the upper semi-plane. Inverse problems are treated for such Weyl functions, and some results are new even for the square Weyl functions. High energy asymptotics of Weyl functions and Borg-Marchenko type uniqueness results are derived too.


title: Notes on the post-Newtonian limit of massive Brans-Dicke theory

abstract: We consider the Post-Newtonian limit of massive Brans-Dicke theory and we make some notes about the Post-Newtonian limit of the case $\omega=0$. This case is dynamically equivalent to the metric $f(R)$ theory. It is known that this theory can be compatible with the solar system tests if Chameleon mechanism occurs. Also, it is known that this mechanism is because of the non-linearity in the field equations produced by the largeness of the local curvature relative to the background curvature. Thus, the linearization of the field equations breaks down. On the other hand we know that Chameleon mechanism exists when a coupling between the matter and the scalar field exists. In the Jordan frame of Brans-Dicke theory, we have not such a coupling. But in the Einstein frame this theory behaves like a Chameleon scalar field. By confining ourselves to the case $\omega=0$, we show that "Chameleon-like" behavior can exist also in the Jordan frame but it has an important difference compared with the Chameleon mechanism. Also we show that the conditions which lead to the existence of "Chameleon-like" mechanism are consistent with the conditions in the Post-Newtonian limit which correspond to a heavy scalar filed at the cosmological scale and a small effective cosmological constant. Thus, one can linearize field equations to the Post-Newtonian order and this linearization has not any contradiction with the existence of "Chameleon-like" behavior.


title: Modelling Complexity: the case of Climate Science

abstract: We briefly review some of the scientific challenges and epistemological issues related to climate science. We discuss the formulation and testing of theories and numerical models, which, given the presence of unavoidable uncertainties in observational data, the non-repeatability of world-experiments, and the fact that relevant processes occur in a large variety of spatial and temporal scales, require a rather different approach than in other scientific contexts. A brief discussion of the intrinsic limitations of geo-engineering solutions to global warming is presented, and a framework of investigation based upon non-equilibrium thermodynamics is proposed. We also critically discuss recently proposed perspectives of development of climate science based purely upon massive use of supercomputer and centralized planning of scientific priorities.

categories: physics.hist-ph physics.ao-ph physics.class-ph physics.soc-ph


title: Testing for homogeneity of variance in the wavelet domain

abstract: The danger of confusing long-range dependence with non-stationarity has been pointed out by many authors. Finding an answer to this difficult question is of importance to model time-series showing trend-like behavior, such as river run-off in hydrology, historical temperatures in the study of climates changes, or packet counts in network traffic engineering. The main goal of this paper is to develop a test procedure to detect the presence of non-stationarity for a class of processes whose $K$-th order difference is stationary. Contrary to most of the proposed methods, the test procedure has the same distribution for short-range and long-range dependence covariance stationary processes, which means that this test is able to detect the presence of non-stationarity for processes showing long-range dependence or which are unit root. The proposed test is formulated in the wavelet domain, where a change in the generalized spectral density results in a change in the variance of wavelet coefficients at one or several scales. Such tests have been already proposed in \cite{whitcher:2001}, but these authors do not have taken into account the dependence of the wavelet coefficients within scales and between scales. Therefore, the asymptotic distribution of the test they have proposed was erroneous; as a consequence, the level of the test under the null hypothesis of stationarity was wrong. In this contribution, we introduce two test procedures, both using an estimator of the variance of the scalogram at one or several scales. The asymptotic distribution of the test under the null is rigorously justified. The pointwise consistency of the test in the presence of a single jump in the general spectral density is also be presented. A limited Monte-Carlo experiment is performed to illustrate our findings.


title: Chameleon stars

abstract: We consider a gravitating spherically symmetric configuration consisting of a scalar field non-minimally coupled to ordinary matter in the form of a perfect fluid. For this system we find static, regular, asymptotically flat solutions for both relativistic and non-relativistic cases. It is shown that the presence of the non-minimal interaction leads to substantial changes both in the radial matter distribution of the star and in the star's total mass. A simple stability test indicates that, for the choice of parameters used in the paper, the solutions are unstable.


title: A Natural Seismic Isolating System: The Buried Mangrove Effects

abstract: The Belleplaine test site, located in the island of Guadeloupe (French Lesser Antilles) includes a three-accelerometer vertical array, designed for liquefac- tion studies. The seismic response of the soil column at the test site is computed using three methods: the spectral ratio method using the vertical array data, a numerical method using the geotechnical properties of the soil column, and an operative fre- quency domain decomposition (FDD) modal analysis method. The Belleplaine test site is characterized by a mangrove layer overlaid by a stiff sandy deposit. This con- figuration is widely found at the border coast of the Caribbean region, which is exposed to high seismic hazard. We show that the buried mangrove layer plays the role of an isolation system equivalent to those usually employed in earthquake engineering aimed at reducing the seismic shear forces by reducing the internal stress within the structure. In our case, the flexibility of the mangrove layer reduces the distortion and the stress in the sandy upper layer, and consequently reduces the potential of liquefaction of the site.


title: Effect of Zn substitution on morphology and magnetic properties of copper ferrite nanofibers

abstract: Spinel ferrite Cu1-xZnxFe2O4 nanofibers over a compositional range 0 < x < 1 were prepared by electrospinning combined with sol-gel method. The influence of Zn2+ ions substitution on morphology, structure, and magnetic properties of copper ferrite has been investigated. The results show that surface of CuFe2O4 nanofibers consists of small open porosity, while surface of doped nanofibers reveals smooth and densified nature. With increasing Zn substitution, saturation magnetization initially increases and then decreases with a maximum value of 58.4 emu/g at x = 0.4, coercivity and square ratio all decrease. The influence of substitution on magnetic properties is related with the cation distraction and exchange interactions between spinel lattices.