title: Geometric Pricing: How Low Dimensionality Helps in Approximability

abstract: Consider the following toy problem. There are $m$ rectangles and $n$ points on the plane. Each rectangle $R$ is a consumer with budget $B_R$, who is interested in purchasing the cheapest item (point) inside R, given that she has enough budget. Our job is to price the items to maximize the revenue. This problem can also be defined on higher dimensions. We call this problem the geometric pricing problem. In this paper, we study a new class of problems arising from a geometric aspect of the pricing problem. It intuitively captures typical real-world assumptions that have been widely studied in marketing research, healthcare economics, etc. It also helps classify other well-known pricing problems, such as the highway pricing problem and the graph vertex pricing problem on planar and bipartite graphs. Moreover, this problem turns out to have close connections to other natural geometric problems such as the geometric versions of the unique coverage and maximum feasible subsystem problems. We show that the low dimensionality arising in this pricing problem does lead to improved approximation ratios, by presenting sublinear-approximation algorithms for two central versions of the problem: unit-demand uniform-budget min-buying and single-minded pricing problems. Our algorithm is obtained by combining algorithmic pricing and geometric techniques. These results suggest that considering geometric aspect might be a promising research direction in obtaining improved approximation algorithms for such pricing problems. To the best of our knowledge, this is one of very few problems in the intersection between geometry and algorithmic pricing areas. Thus its study may lead to new algorithmic techniques that could benefit both areas.


title: Restrictions on the lifetime of sterile neutrinos from primordial nucleosynthesis

abstract: We analyze the influence of decaying sterile neutrinos with the masses in the range 1-140 MeV on the primordial Helium-4 abundance, explicitly solving the Boltzmann equations for all particle species, taking into account neutrino flavour oscillations, and paying special attention to systematic uncertainties. We show that the Helium abundance depends only on the sterile neutrino lifetime and not on the way the active-sterile mixing is distributed between flavours, and derive an upper bound on the lifetime. We also demonstrate that the recent results of Izotov & Thuan [arXiv:1001.4440], who find 2sigma higher than predicted by the standard primordial nucleosynthesis value of Helium-4 abundance, are consistent with the presence in the plasma of sterile neutrinos with the lifetime 0.01-2 seconds. The decay of these particles perturbs the spectra of (decoupled) neutrinos and heats photons, changing the ratio of neutrino to photon energy density, that can be interpreted as extra neutrino species at the recombination epoch.


title: Linear stability analysis of transverse dunes

abstract: Sand-moving winds blowing from a constant direction in an area of high sand availability form transverse dunes, which have a fixed profile in the direction orthogonal to the wind. Here we show, by means of a linear stability analysis, that transverse dunes are intrinsically unstable. Any along-axis perturbation on a transverse dune amplify in the course of dune migration due to the combined effect of two main factors, namely: the lateral transport through avalanches along the dune's slip-face, and the scaling of dune migration velocity with the inverse of the dune height. Our calculations provide a quantitative explanation for recent observations from experiments and numerical simulations, which showed that transverse dunes moving on the bedrock cannot exist in a stable form and decay into a chain of crescent-shaped barchans.


title: Proton Spin Structure from Measurable Parton Distributions

abstract: We present a systematic study of the proton spin structure in terms of measurable parton distributions. For a transversely-polarizedproton, we derive a polarization sum rule from the leading generalized parton distributions appearing in hard exclusive processes. For a longitudinally-polarized proton, we obtain a helicity decomposition from well-known quark and gluon helicity distributions and orbital angular-momentum contributions. The latter is shown to be related to measurable subleading generalized parton distributions and quantum-phase space Wigner distributions.


title: A uniform asteroseismic analysis of 22 solar-type stars observed by Kepler

abstract: Asteroseismology with the Kepler space telescope is providing not only an improved characterization of exoplanets and their host stars, but also a new window on stellar structure and evolution for the large sample of solar-type stars in the field. We perform a uniform analysis of 22 of the brightest asteroseismic targets with the highest signal-to-noise ratio observed for 1 month each during the first year of the mission, and we quantify the precision and relative accuracy of asteroseismic determinations of the stellar radius, mass, and age that are possible using various methods. We present the properties of each star in the sample derived from an automated analysis of the individual oscillation frequencies and other observational constraints using the Asteroseismic Modeling Portal (AMP), and we compare them to the results of model-grid-based methods that fit the global oscillation properties. We find that fitting the individual frequencies typically yields asteroseismic radii and masses to \sim1% precision, and ages to \sim2.5% precision (respectively 2, 5, and 8 times better than fitting the global oscillation properties). The absolute level of agreement between the results from different approaches is also encouraging, with model-grid-based methods yielding slightly smaller estimates of the radius and mass and slightly older values for the stellar age relative to AMP, which computes a large number of dedicated models for each star. The sample of targets for which this type of analysis is possible will grow as longer data sets are obtained during the remainder of the mission.


title: Supersymmetry breaking induced by radiative corrections

abstract: We show that simultaneous gauge and supersymmetry breaking can be induced by radiative corrections, a la Coleman-Weinberg. When a certain correlation among the superpotential parameters is present, a local supersymmetry-breaking minimum is found in the effective potential of a gauge non-singlet field, in a region where the tree-level potential is almost flat. Supersymmetry breaking is then transmitted to the MSSM through gauge and chiral messenger loops, thus avoiding the suppression of gaugino masses characteristic of direct gauge mediation models. The use of a single field ensures that no dangerous tachyonic scalar masses are generated at the one-loop level. We illustrate this mechanism with an explicit example based on an SU(5) model with a single adjoint. An interesting feature of the scenario is that the GUT scale is increased with respect to standard unification, thus allowing for a larger colour Higgs triplet mass, as preferred by the experimental lower bound on the proton lifetime.


title: On the Spectral Asymptotics of Operators on Manifolds with Ends

abstract: We deal with the asymptotic behaviour for $\lambda\to+\infty$ of the counting function $N_P(\lambda)$ of certain positive selfadjoint operators $P$ with double order $(m,\mu)$, $m,\mu>0$, $m\not=\mu$, defined on a manifold with ends $M$. The structure of this class of noncompact manifolds allows to make use of calculi of pseudodifferential operators and Fourier Integral Operators associated with weighted symbols globally defined on $\mathbb{R}^n$. By means of these tools, we improve known results concerning the remainder terms of the Weyl Formulae for $N_P(\lambda)$ and show how their behaviour depends on the ratio $\frac{m}{\mu}$ and the dimension of $M$.


title: Parity violation of primordial magnetic fields in the CMB bispectrum

abstract: We study the parity violation in the cosmic microwave background (CMB) bispectrum induced by primordial magnetic fields (PMFs). Deriving a general formula for the CMB bispectrum generated from not only non-helical but also helical PMFs, we find that helical PMFs produce characteristic signals, which disappear in parity-conserving cases, such as the intensity-intensity-intensity bispectra arising from $\sum_{n=1}^3 \ell_n = {\rm odd}$. For fast numerical calculation of the CMB bispectrum, we reduce the one-loop formula to the tree-level one by using the so-called pole approximation. Then, we show that the magnetic anisotropic stress, which depends quadratically on non-helical and helical PMFs and acts as a source of the CMB fluctuation, produces the local-type non-Gaussianity. Comparing the CMB bispectra composed of the scalar and tensor modes with the noise spectra, we find that assuming the generation of the nearly scale-invariant non-helical and helical PMFs from the grand unification energy scale ($10^{14} {\rm GeV}$) to the electroweak one ($10^{3} {\rm GeV}$), the intensity-intensity-intensity bispectrum for $\sum_{n=1}^3 \ell_n = {\rm odd}$ can be observed by the WMAP experiment under the condition that $B_{1 \rm Mpc}^{2/3} {\cal B}_{1 \rm Mpc}^{1/3} > 2.7 - 4.5 {\rm nG}$ with $B_{1 \rm Mpc}$ and ${\cal B}_{1 \rm Mpc}$ being the non-helical and helical PMF strengths smoothed on 1 Mpc, respectively.


title: Dense Electron-Positron Plasmas and Ultra-Intense Bursts of Gamma-Rays from Laser-Irradiated Solids

abstract: In simulations of a 10PW laser striking a solid we demonstrate the possibility of producing a pure electron-positron plasma by the same processes as those thought to operate in high-energy astrophysical environments. A maximum positron density of 10^26/m^3 is achieved, seven orders of magnitude greater than achieved in previous experiments. Additionally, 35% of the laser energy is converted to a burst of gamma-rays of intensity 10^22W/cm^2, potentially the most intense gamma-ray source available in the laboratory. This absorption results in a strong feedback between both pair and gamma-ray production and classical plasma physics in the new `QED-plasma' regime.


title: Nearly Optimal Change-Point Detection with an Application to Cybersecurity

abstract: We address the sequential change-point detection problem for the Gaussian model where baseline distribution is Gaussian with variance \sigma^2 and mean \mu such that \sigma^2=a\mu, where a>0 is a known constant; the change is in \mu from one known value to another. First, we carry out a comparative performance analysis of four detection procedures: the CUSUM procedure, the Shiryaev-Roberts (SR) procedure, and two its modifications - the Shiryaev-Roberts-Pollak and Shiryaev-Roberts-r procedures. The performance is benchmarked via Pollak's maximal average delay to detection and Shiryaev's stationary average delay to detection, each subject to a fixed average run length to false alarm. The analysis shows that in practically interesting cases the accuracy of asymptotic approximations is "reasonable" to "excellent". We also consider an application of change-point detection to cybersecurity - for rapid anomaly detection in computer networks. Using real network data we show that statistically traffic's intensity can be well-described by the proposed Gaussian model with \sigma^2=a\mu instead of the traditional Poisson model, which requires \sigma^2=\mu. By successively devising the SR and CUSUM procedures to "catch" a low-contrast network anomaly (caused by an ICMP reflector attack), we then show that the SR rule is quicker. We conclude that the SR procedure is a better cyber "watch dog" than the popular CUSUM procedure.


title: Collisional excitation of far-infrared line emissions from warm interstellar carbon monoxide (CO)

abstract: Motivated by recent observations with Herschel/PACS, and the availability of new rate coefficients for the collisional excitation of CO (Yang et al. 2010), the excitation of warm astrophysical CO is revisited with the use of numerical and analytic methods. For the case of an isothermal medium, results have been obtained for a wide range of gas temperatures (100 to 5000 K) and H2 densities (1E+3 to 1E+9 cm-3), and presented in the form of rotational diagrams, in which the logarithm of the column density per magnetic substate, log (N[J]/g[J]), is plotted for each state, as a function of its energy, E[J]. For rotational transitions in the wavelength range accessible to Herschel/PACS, such diagrams are nearly linear when n(H2) > 1E+8 cm-3. When log10(n[H2]) = 6.8 to 8, they exhibit significant negative curvature, whereas when log10(n[H2]) < 4.8 the curvature is uniformly positive throughout the PACS-accessible range. Thus, the observation of a positively-curved CO rotational diagram does not NECESSARILY require the presence of multiple temperature components. Indeed, for some sources observed with Herschel/PACS, the CO rotational diagrams show a modest positive curvature that can be explained by a single isothermal component. Typically, the required physical parameters are H2 densities in the 1E+4 to 1E+5 cm-3 range and temperatures, T, close to the maximum at which CO can survive. Other sources exhibit rotational diagrams with more curvature than can be accounted for by a single temperature component. For the case of a medium with a power-law distribution of gas temperatures, with dN/dT proportional to T to the power -b, results have been obtained for H2 densities 1E+3 to 1E+9 cm-3 and power-law indices, b, in the range 1 to 5; such a medium can account for a CO rotational diagram that is more positively curved than any resulting from an isothermal medium.


title: Quantifying the Universality of the Stellar Initial Mass Function in Old Star Clusters

abstract: We present a new technique to quantify cluster-to-cluster variations in the observed present-day stellar mass functions of a large sample of star clusters. Our method quantifies these differences as a function of both the stellar mass and the total cluster mass, and offers the advantage that it is insensitive to the precise functional form of the mass function. We applied our technique to data taken from the ACS Survey for Globular Clusters, from which we obtained completeness-corrected stellar mass functions in the mass range 0.25-0.75 M$_{\odot}$ for a sample of 27 clusters. The results of our observational analysis were then compared to Monte Carlo simulations for globular cluster evolution spanning a range of initial mass functions, total numbers of stars, concentrations, and virial radii. We show that the present-day mass functions of the clusters in our sample can be reproduced by assuming an universal initial mass function for all clusters, and that the cluster-to-cluster differences are consistent with what is expected from two-body relaxation. A more complete exploration of the initial cluster conditions will be needed in future studies to better constrain the precise functional form of the initial mass function. This study is a first step toward using our technique to constrain the dynamical histories of a large sample of old Galactic star clusters and, by extension, star formation in the early Universe.


title: Constraints on scalar and tensor perturbations in phenomenological and two-field inflation models: Bayesian evidences for primordial isocurvature and tensor modes

abstract: We constrain cosmological models where the primordial perturbations have both an adiabatic and a (possibly correlated) cold dark matter (CDM) or baryon isocurvature component. We use both a phenomenological approach, where the primordial power spectra are parametrized with amplitudes and spectral indices, and a slow-roll two-field inflation approach where slow-roll parameters are used as primary parameters. In the phenomenological case, with CMB data, the upper limit to the CDM isocurvature fraction is \alpha<6.4% at k=0.002Mpc^{-1} and 15.4% at k=0.01Mpc^{-1}. The median 95% range for the non-adiabatic contribution to the CMB temperature variance is -0.030<\alpha_T<0.049. Including the supernova (or large-scale structure, LSS) data, these limits become: \alpha<7.0%, 13.7%, and -0.048<\alpha_T< 0.042 (or \alpha<10.2%, 16.0%, and -0.071<\alpha_T<0.024). The CMB constraint on the tensor-to-scalar ratio, r<0.26 at k=0.01Mpc^{-1}, is not affected by the nonadiabatic modes. In the slow-roll two-field inflation approach, the spectral indices are constrained close to 1. This leads to tighter limits on the isocurvature fraction, with the CMB data \alpha<2.6% at k=0.01Mpc^{-1}, but the constraint on \alpha_T is not much affected, -0.058<\alpha_T<0.045. Including SN (or LSS) data, these limits become: \alpha< 3.2% and -0.056<\alpha_T<0.030 (or \alpha<3.4% and -0.063<\alpha_T<-0.008). When all spectral indices are close to each other the isocurvature fraction is somewhat degenerate with the tensor-to-scalar ratio. In addition to the generally correlated models, we study also special cases where the perturbation modes are uncorrelated or fully (anti)correlated. We calculate Bayesian evidences (model probabilities) in 21 different cases for our nonadiabatic models and for the corresponding adiabatic models, and find that in all cases the data support the pure adiabatic model.


title: Special and General Relativistic Effects in Galactic Rotation Curves

abstract: The observed flat rotation curves of galaxies require either the presence of dark matter in Newtonian gravitational potentials or a significant modification to the theory of gravity at galactic scales. Detecting relativistic Doppler shifts and gravitational effects in the rotation curves offers a tool for distinguishing between predictions of gravity theories that modify the inertia of particles and those that modify the field equations. These higher-order effects also allow us in principle, to test whether dark matter particles obey the equivalence principle. We calculate here the magnitudes of the relativistic Doppler and gravitational shifts expected in realistic models of galaxies in a general metric theory of gravity. We identify a number of observable quantities that measure independently the special- and general-relativistic effects in each galaxy and suggest that both effects might be detected in a statistical sense by combining appropriately the rotation curves of a large number of galaxies.


title: The Gemini NICI Planet-Finding Campaign: Discovery of a Multiple System Orbiting the Young A Star HD 1160

abstract: We report the discovery by the Gemini NICI Planet-Finding Campaign of two low-mass companions to the young A0V star HD 1160 at projected separations of 81 +/- 5 AU (HD 1160 B) and 533 +/- 25 AU (HD 1160 C). VLT images of the system taken over a decade for the purpose of using HD 1160 A as a photometric calibrator confirm that both companions are physically associated. By comparing the system to members of young moving groups and open clusters with well-established ages, we estimate an age of 50 (+50,-40) Myr for HD 1160 ABC. While the UVW motion of the system does not match any known moving group, the small magnitude of the space velocity is consistent with youth. Near-IR spectroscopy shows HD 1160 C to be an M3.5 +/- 0.5 star with an estimated mass of 0.22 (+0.03,-0.04) M_Sun, while NIR photometry of HD 1160 B suggests a brown dwarf with a mass of 33 (+12,-9) M_Jup. The very small mass ratio (0.014) between the A and B components of the system is rare for A star binaries, and would represent a planetary-mass companion were HD 1160 A to be slightly less massive than the Sun.


title: On the evolutionary and pulsation mass of Classical Cepheids: III. the case of the eclipsing binary Cepheid CEP0227 in the Large Magellanic Cloud

abstract: We present a new Bayesian approach to constrain the intrinsic parameters (stellar mass, age) of the eclipsing binary system CEP0227 in the LMC. We computed evolutionary models covering a broad range in chemical compositions and in stellar mass. Independent sets of models were constructed either by neglecting or by including a moderate convective core overshooting (beta=0.2) during central H-burning phases. Models were also constructed either by neglecting or by assuming a canonical (eta=0.4,0.8) or an enhanced (eta=4) mass loss rate. The solutions were computed in three different planes: luminosity-temperature, mass-radius and gravity-temperature. By using the Bayes Factor, we found that the most probable solutions were obtained in the gravity-temperature plane with a Gaussian mass prior distribution. The evolutionary models constructed by assuming a moderate convective core overshooting (beta=0.2) and a canonical mass loss rate (eta=0.4) give stellar masses for the primary Cepheid M=4.14^{+0.04}_{-0.05} M_sun and for the secondary M=4.15^{+0.04}_{-0.05} M_sun that agree at the 1% level with dynamical measurements. Moreover, we found ages for the two components and for the combined system t=151^{+4}_{-3} Myr that agree at the 5% level. The solutions based on evolutionary models that neglect the mass loss attain similar parameters, while those ones based on models that either account for an enhanced mass loss or neglect convective core overshooting have lower Bayes Factors and larger confidence intervals. The dependence on the mass loss rate might be the consequence of the crude approximation we use to mimic this phenomenon. By using the isochrone of the most probable solution and a Gaussian prior on the LMC distance, we found a distance modulus 18.53^{+0.02}_{-0.02} mag and a reddening value E(B-V)= 0.142^{+0.005}_{-0.010} mag that agree well with literature estimates.


title: Anisotropies in the diffuse gamma-ray background measured by the Fermi LAT

abstract: The contribution of unresolved sources to the diffuse gamma-ray background could induce anisotropies in this emission on small angular scales. We analyze the angular power spectrum of the diffuse emission measured by the Fermi LAT at Galactic latitudes |b| > 30 deg in four energy bins spanning 1 to 50 GeV. At multipoles \ell \ge 155, corresponding to angular scales \lesssim 2 deg, angular power above the photon noise level is detected at >99.99% CL in the 1-2 GeV, 2-5 GeV, and 5-10 GeV energy bins, and at >99% CL at 10-50 GeV. Within each energy bin the measured angular power takes approximately the same value at all multipoles \ell \ge 155, suggesting that it originates from the contribution of one or more unclustered source populations. The amplitude of the angular power normalized to the mean intensity in each energy bin is consistent with a constant value at all energies, C_P/<I>^2 = 9.05 +/- 0.84 x 10^{-6} sr, while the energy dependence of C_P is consistent with the anisotropy arising from one or more source populations with power-law photon spectra with spectral index \Gamma_s = 2.40 +/- 0.07. We discuss the implications of the measured angular power for gamma-ray source populations that may provide a contribution to the diffuse gamma-ray background.


title: The clustering of galaxies as a function of their photometrically-estimated atomic gas content

abstract: We introduce a new photometric estimator of the HI mass fraction (M_HI/M_*) in local galaxies, which is a linear combination of four parameters: stellar mass, stellar surface mass density, NUV-r colour, and g-i colour gradient. It is calibrated using samples of nearby galaxies (0.025<z<0.05) with HI line detections from the GASS and ALFALFA surveys, and it is demonstrated to provide unbiased M_HI/M_* estimates even for HI-rich galaxies. We apply this estimator to a sample of ~24,000 galaxies from the SDSS/DR7 in the same redshift range. We then bin these galaxies by stellar mass and HI mass fraction and compute projected two point cross-correlation functions with respect to a reference galaxy sample. Results are compared with predictions from current semi-analytic models of galaxy formation. The agreement is good for galaxies with stellar masses larger than 10^10 M_sun, but not for lower mass systems. We then extend the analysis by studying the bias in the clustering of HI-poor or HI-rich galaxies with respect to galaxies with normal HI content on scales between 100 kpc and ~5 Mpc. For the HI-deficient population, the strongest bias effects arise when the HI-deficiency is defined in comparison to galaxies of the same stellar mass and size. This is not reproduced by the semi-analytic models, where the quenching of star formation in satellites occurs by "starvation" and does not depend on their internal structure. HI-rich galaxies with masses greater than 10^10 M_sun are found to be anti-biased compared to galaxies with "normal" HI content. Interestingly, no such effect is found for lower mass galaxies.


title: The inner structure of haloes in Cold+Warm dark matter models

abstract: We analyze the properties of dark matter halos in the cold-plus-warm dark matter cosmologies (CWDM). We study their dependence on the fraction and velocity dispersion of the warm particle, keeping the free-streaming scale fixed. To this end we consider three models with the same free-streaming: (1) a mixture of 90% of CDM and 10% of WDM with the mass 1 keV; (2) a mixture of 50% of CDM and 50% of WDM with the mass 5 keV; and (3) pure WDM with the mass 10 keV. "Warm" particles have rescaled Fermi-Dirac spectrum of primordial velocities (as non-resonantly produced sterile neutrinos would have). We compare the properties of halos among these models and with a LCDM with the same cosmological parameters. We demonstrate, that although these models have the same free-streaming length and the suppression of matter spectra are similar at scales probed by the Lyman-alpha forest comoving wave-numbers k<3-5 h/Mpc), the resulting properties of halos with masses below 1e11 Msun are different due to the different behaviour of matter power spectra at smaller scales. In particular, we find that while the number of galaxies remains the same as in LCDM case, their density profiles become much less concentrated, and hence in better agreement with current observational constraints. Our results imply that a single parameter (e.g. free streaming length) description of these models is not enough to fully capture their effects on the structure formation process.


title: The Role of Thermohaline Mixing in Intermediate- and Low-Metallicity Globular Clusters

abstract: It is now widely accepted that globular cluster red giant branch stars owe their strange abundance patterns to a combination of pollution from progenitor stars and in situ extra mixing. In this hybrid theory a first generation of stars imprint abundance patterns into the gas from which a second generation forms. The hybrid theory suggests that extra mixing is operating in both populations and we use the variation of [C/Fe] with luminosity to examine how efficient this mixing is. We investigate the observed red giant branches of M3, M13, M92, M15 and NGC 5466 as a means to test a theory of thermohaline mixing. The second parameter pair M3 and M13 are of intermediate metallicity and our models are able to account for the evolution of carbon along the RGB in both clusters. Although, in order to fit the most carbon-depleted main-sequence stars in M13 we require a model whose initial [C/Fe] abundance leads to a carbon abundance lower than is observed. Furthermore our results suggest that stars in M13 formed with some primary nitrogen (higher C+N+O than stars in M3). In the metal-poor regime only NGC 5466 can be tentatively explained by thermohaline mixing operating in multiple populations. We find thermohaline mixing unable to model the depletion of [C/Fe] with magnitude in M92 and M15. It appears as if extra mixing is occurring before the luminosity function bump in these clusters. To reconcile the data with the models would require first dredge-up to be deeper than found in extant models.


title: Typical density profile for warm dark matter haloes

abstract: Using the model for (bottom-up) hierarchical halo growth recently developed by Salvador-Sol\'e et al. (2012), we derive the typical spherically averaged density profile for haloes with several relevant masses in the concordant warm dark matter (\Lambda WDM) cosmology with non-thermal sterile neutrinos of two different masses. The predicted density profiles become flat at small radii, as expected from the effects of the spectrum cutoff. The core cannot be resolved, however, because the non-null particle velocity yields the fragmentation of minimum mass protohaloes in small nodes, which invalidates the model at the corresponding radii.


title: Optimal filters for detecting cosmic bubble collisions

abstract: A number of well-motivated extensions of the LCDM concordance cosmological model postulate the existence of a population of sources embedded in the cosmic microwave background (CMB). One such example is the signature of cosmic bubble collisions which arise in models of eternal inflation. The most unambiguous way to test these scenarios is to evaluate the full posterior probability distribution of the global parameters defining the theory; however, a direct evaluation is computationally impractical on large datasets, such as those obtained by the Wilkinson Microwave Anisotropy Probe (WMAP) and Planck. A method to approximate the full posterior has been developed recently, which requires as an input a set of candidate sources which are most likely to give the largest contribution to the likelihood. In this article, we present an improved algorithm for detecting candidate sources using optimal filters, and apply it to detect candidate bubble collision signatures in WMAP 7-year observations. We show both theoretically and through simulations that this algorithm provides an enhancement in sensitivity over previous methods by a factor of approximately two. Moreover, no other filter-based approach can provide a superior enhancement of these signatures. Applying our algorithm to WMAP 7-year observations, we detect eight new candidate bubble collision signatures for follow-up analysis.


title: Turbulent molecular gas and star formation in the shocked intergalactic medium of Stephan's Quintet

abstract: We report on single-dish radio CO observations towards the inter-galactic medium (IGM) of the Stephan's Quintet (SQ) group of galaxies. Extremely bright mid-IR H2 rotational line emission from warm molecular gas has been detected by Spitzer in the kpc-scale shock created by a galaxy collision. We detect in the IGM CO(1-0), (2-1) and (3-2) line emission with complex profiles, spanning a velocity range of 1000 km/s. The spectra exhibit the pre-shock recession velocities of the two colliding gas systems (5700 and 6700 km/s), but also intermediate velocities. This shows that much of the molecular gas has formed out of diffuse gas accelerated by the galaxy-tidal arm collision. A total H2 mass of 5x10^9 Msun is detected in the shock. The molecular gas carries a large fraction of the gas kinetic energy involved in the collision, meaning that this energy has not been thermalized yet. The turbulent kinetic energy of the H2 gas is at least a factor of 5 greater than the thermal energy of the hot plasma heated by the collision. The ratio between the warm H2 mass derived from Spitzer IRS spectroscopy and the H2 mass derived from CO fluxes is ~0.3 in the IGM of SQ, which is 10-100 times higher than in star-forming galaxies. In the shocked region, the ratio of the PAH-to-CO surface luminosities, commonly used to measure the star formation efficiency of the H2 gas, is lower (up to a factor 75) than the observed values in star-forming galaxies. We suggest that turbulence fed by the galaxy-tidal arm collision maintains a high heating rate within the H2 gas. This interpretation implies that the velocity dispersion on the scale of giant molecular clouds in SQ is one order of magnitude larger than the Galactic value. The high amplitude of turbulence may explain why this gas is not forming stars efficiently. [abridged version]


title: Seiberg duality versus hidden local symmetry

abstract: It is widely believed that the emergent magnetic gauge symmetry of SQCD is analogous to a hidden local symmetry (HLS). We explore this idea in detail, deriving the entire (spontaneously broken) magnetic theory by applying the HLS formalism to spontaneously broken SU(N) SQCD. We deduce the K\"ahler potential in the HLS description, and show that gauge and flavour symmetry are smoothly restored along certain scaling directions in moduli space. We propose that it is these symmetry restoring directions, associated with the R-symmetry of the theory, that allow full Seiberg duality. Reconsidering the origin of the magnetic gauge bosons as the rho-mesons of the electric theory, colour-flavour locking allows a simple determination of the parameter "a". Its value continuously interpolates between a=2 on the baryonic branch of moduli space - corresponding to "vector meson dominance" - and a=1 on the mesonic branch. Both limiting values are consistent with previous results in the literature. The HLS formalism is further applied to SO and Sp groups, where the usual Seiberg duals are recovered, as well as adjoint SQCD. Finally we discuss some possible future applications, including (naturally) the unitarisation of composite W scattering, blended Higgs/technicolour models, real world QCD and non-supersymmetric dualities.


title: General Relativistic Modeling of Magnetized Jets from Accreting Black Holes

abstract: Recent advances in general relativistic magnetohydrodynamic modeling of jets offer unprecedented insights into the inner workings of accreting black holes that power the jets in active galactic nuclei (AGN) and other accretion systems. I will present the results of recent studies that determine spin-dependence of jet power and discuss the implications for the AGN radio loud/quiet dichotomy and recent observations of high jet power in a number of AGN.


title: A Flux-Limited Sample of z~1 Ly-alpha Emitting Galaxies in the CDFS

abstract: We describe a method for obtaining a flux-limited sample of Ly-alpha emitters from GALEX grism data. We show that the multiple GALEX grism images can be converted into a three-dimensional (two spatial axes and one wavelength axis) data cube. The wavelength slices may then be treated as narrowband images and searched for emission-line galaxies. For the GALEX NUV grism data, the method provides a Ly-alpha flux-limited sample over the redshift range z=0.67-1.16. We test the method on the Chandra Deep Field South field, where we find 28 Ly-alpha emitters with faint continuum magnitudes (NUV>22) that are not present in the GALEX pipeline sample. We measure the completeness by adding artificial emitters and measuring the fraction recovered. We find that we have an 80% completeness above a Ly-alpha flux of 10^-15 erg/cm^2/s. We use the UV spectra and the available X-ray data and optical spectra to estimate the fraction of active galactic nuclei in the selection. We report the first detection of a giant Ly-alpha blob at z<1, though we find that these objects are much less common at z=1 than at z=3. Finally, we compute limits on the z~1 Ly-alpha luminosity function and confirm that there is a dramatic evolution in the luminosity function over the redshift range z=0-1.


title: New Physics Models of Direct CP Violation in Charm Decays

abstract: In view of the recent LHCb measurement of Delta A_CP, the difference between the time-integrated CP asymmetries in D --> K+K- and D --> pi+pi- decays, we perform a comparative study of the possible impact of New Physics degrees of freedom on the direct CP asymmetries in singly Cabibbo suppressed D meson decays. We systematically discuss scenarios with a minimal set of new degrees of freedom that have renormalizable couplings to the SM particles and that are heavy enough such that their effects on the D meson decays can be described by local operators. We take into account both constraints from low energy flavor observables, in particular D0-D0bar mixing, and from direct searches. While models that explain the large measured value for Delta A_CP with chirally enhanced chromomagnetic penguins are least constrained, we identify a few viable models that contribute to the D meson decays at tree level or through loop induced QCD penguins. We emphasize that such models motivate direct searches at the LHC.


title: Limits on the extragalactic background light in the Fermi era

abstract: Very high energy (VHE, energy $E \gtrsim 100$\,GeV) \gamma-rays from cosmological sources are attenuated due to the interaction with photons of the extragalactic background light (EBL) in the ultraviolet to infrared wavelength band. The EBL, thus, leaves an imprint on the observed energy spectra of these objects. In the last four years, the number of extragalactic VHE sources discovered with imaging atmospheric Cherenkov telescopes (IACTs), such as MAGIC, H.E.S.S., and VERITAS, has doubled. Furthermore, the measurements of the \emph{Fermi} satellite brought new insights into the intrinsic spectra of the sources at GeV energies. In this paper, upper limits on the EBL intensity are derived by considering the most extensive VHE source sample ever used in this context. This is accomplished by constructing a large number of generic EBL shapes and combining spectral informations from \emph{Fermi} and IACTs together with minimal assumptions about the source physics at high and very high \gamma-ray energies. The evolution of the EBL with redshift is accounted for and the possibility of the formation of an electromagnetic cascade and the implications on the upper limits are explored. The EBL density at $z=0$ is constrained over a broad wavelength range between 0.4 and 100\,\mu m. At optical wavelengths, the EBL density is constrained below 24\,nW\,m$^{-2}$\,sr$^{-1}$ and below 5\,nW\,m$^{-2}$\,sr$^{-1}$ between 8\,\mu m and 31\,\mu m.


title: Visual definition of procedures for automatic virtual scene generation

abstract: With more and more digital media, especially in the field of virtual reality where detailed and convincing scenes are much required, procedural scene generation is a big helping tool for artists. A problem is that defining scene descriptions through these procedures usually requires a knowledge in formal language grammars, programming theory and manually editing textual files using a strict syntax, making it less intuitive to use. Luckily, graphical user interfaces has made a lot of tasks on computers easier to perform and out of the belief that creating computer programs can also be one of them, visual programming languages (VPLs) have emerged. The goal in VPLs is to shift more work from the programmer to the integrated development environment (IDE), making programming an user-friendlier task. In this thesis, an approach of using a VPL for defining procedures that automatically generate virtual scenes is presented. The methods required to build a VPL are presented, including a novel method of generating readable code in a structured programming language. Also, the methods for achieving basic principles of VPLs will be shown -- suitable visual presentation of information and guiding the programmer in the right direction using constraints. On the other hand, procedural generation methods are presented in the context of visual programming -- adapting the application programming interface (API) of these methods to better serve the user. The main focus will be on the methods for urban modeling, such as building, city layout and details generation with random number generation used to create non-deterministic scenes.


title: Indirect Dark Matter Detection in the Light of Sterile Neutrinos

abstract: The recent global fit of short baseline neutrino oscillation data favors the presence of one (or more) sterile neutrino state which leads to new mass splitting \Delta m^2 ~1 eV^2. We consider the effect of this new states on the evolution of neutrinos from the dark matter annihilation inside the Sun. We show that neutrinos with energy E_\nu > 100 GeV undergo resonant active-sterile oscillation which depletes the flux of neutrinos arriving at the Earth. As an example of this effect, we present the oscillation probabilities for the case of monochromatic neutrinos from the direct annihilation of dark matter particles to neutrinos and the depletion due to the presence of sterile neutrinos.

categories: hep-ph astro-ph.EP astro-ph.HE astro-ph.SR


title: Emergence of Superlattice Dirac Points in Graphene on Hexagonal Boron Nitride

abstract: The Schr\"odinger equation dictates that the propagation of nearly free electrons through a weak periodic potential results in the opening of band gaps near points of the reciprocal lattice known as Brillouin zone boundaries. However, in the case of massless Dirac fermions, it has been predicted that the chirality of the charge carriers prevents the opening of a band gap and instead new Dirac points appear in the electronic structure of the material. Graphene on hexagonal boron nitride (hBN) exhibits a rotation dependent Moir\'e pattern. In this letter, we show experimentally and theoretically that this Moir\'e pattern acts as a weak periodic potential and thereby leads to the emergence of a new set of Dirac points at an energy determined by its wavelength. The new massless Dirac fermions generated at these superlattice Dirac points are characterized by a significantly reduced Fermi velocity. The local density of states near these Dirac cones exhibits hexagonal modulations indicating an anisotropic Fermi velocity.


title: An experimental and theoretical guide to strongly interacting Rydberg gases

abstract: We review experimental and theoretical tools to excite, study and understand strongly interacting Rydberg gases. The focus lies on the excitation of dense ultracold atomic samples close to, or within quantum degeneracy, to high lying Rydberg states. The major part is dedicated to highly excited S-states of Rubidium, which feature an isotropic van-der-Waals potential. Nevertheless, the setup and the methods presented are also applicable to other atomic species used in the field of laser cooling and atom trapping.


title: Gas-grain models for interstellar anion chemistry

abstract: Long-chain hydrocarbon anions CnH- (n=4, 6, 8) have recently been found to be abundant in a variety of interstellar clouds. In order to explain their large abundances in the denser (prestellar/protostellar) environments, new chemical models are constructed that include gas-grain interactions. Models including accretion of gas-phase species onto dust grains and cosmic-ray-induced desorption of atoms are able to reproduce the observed anion-to-neutral ratios, as well as the absolute abundances of anionic and neutral carbon chains, with a reasonable degree of accuracy. Due to their destructive effects, the depletion of oxygen atoms onto dust results in substantially greater polyyne and anion abundances in high-density gas (with n_{H_2} >~ 10^5 cm^{-3}). The large abundances of carbon-chain-bearing species observed in the envelopes of protostars such as L1527 can thus be explained without the need for warm carbon-chain chemistry. The C6H- anion-to-neutral ratio is found to be most sensitive to the atomic O and H abundances and the electron density. Therefore, as a core evolves, falling atomic abundances and rising electron densities are found to result in increasing anion-to-neutral ratios. Inclusion of cosmic-ray desorption of atoms in high-density models delays freeze-out, which results in a more temporally-stable anion-to-neutral ratio, in better agreement with observations. Our models include reactions between oxygen atoms and carbon-chain anions to produce carbon-chain-oxide species C6O, C7O, HC6O and HC7O, the abundances of which depend on the assumed branching ratios for associative electron detachment.


title: Estimating the Star Formation Rate at 1 kpc Scales in Nearby Galaxies

abstract: Using combinations of H\alpha, ultraviolet (UV), and infrared (IR) emission, we estimate the star formation rate (SFR) surface density, \Sigma_SFR, at 1 kpc resolution for 30 disk galaxies that are targets of the IRAM HERACLES CO survey. We present a new physically-motivated IR spectral energy distribution-based approach to account for possible contributions to 24\mum emission not associated with recent star formation. Considering a variety of "reference" SFRs from the literature, we revisit the calibration of the 24\mum term in hybrid (UV+IR or H\alpha+IR) tracers. We show that the overall calibration of this term remains uncertain at the factor of two level because of the lack of wide-field, robust reference SFR estimates. Within this uncertainty, published calibrations represent a reasonable starting point for 1 kpc-wide areas of star-forming disk galaxies but we re-derive and refine the calibration of the IR term in these tracers to match our resolution and approach to 24\mum emission. We compare a large suite of \Sigma_SFR estimates and find that above \Sigma_SFR \sim 10^-3 M_\odot yr^-1 kpc^-2 the systematic differences among tracers are less than a factor of two across two orders of magnitude dynamic range. We caution that methodology and data both become serious issues below this level. We note from simple model considerations that focusing on a part of a galaxy dominated by a single stellar population the intrinsic uncertainty in H\alpha and FUV-based SFRs are \sim 0.3 and \sim 0.5 dex.


title: Propagation of Ultra-High-Energy Cosmic Ray Nuclei in Cosmic Magnetic Fields and Implications for Anisotropy Measurements

abstract: (Abridged) Recent results from the Pierre Auger Observatory (PAO) indicate that the composition of ultra-high-energy cosmic rays (UHECRs) with energies above $10^{19}$ eV may be dominated by heavy nuclei. An important question is whether the distribution of arrival directions for such UHECR nuclei can exhibit observable anisotropy or positional correlations with their astrophysical source objects despite the expected strong deflections by intervening magnetic fields. For this purpose, we have simulated the propagation of UHECR nuclei including models for both the extragalactic magnetic field and the Galactic magnetic field. Assuming that only iron nuclei are injected steadily from sources with equal luminosity and spatially distributed according to the observed large scale structure in the local Universe, at the number of events published by the PAO so far, the arrival distribution of UHECRs would be consistent with no auto-correlation at 95% confidence if the mean number density of UHECR sources $n_s >~ 10^{-6}$ Mpc$^{-3}$, and consistent with no cross-correlation with sources within 95% errors for $n_s >~ 10^{-5}$ Mpc$^{-3}$. On the other hand, with 1000 events above $5.5 \times 10^{19}$ eV in the whole sky, next generation experiments can reveal auto-correlation with more than 99% probability even for $n_s <~ 10^{-3}$ Mpc$^{-3}$, and cross-correlation with sources with more than 99% probability for $n_s <~ 10^{-4}$ Mpc$^{-3}$. In addition, we find that the contribution of Centaurus A is required to reproduce the currently observed UHECR excess in the Centaurus region. Secondary protons generated by photodisintegration of primary heavy nuclei during propagation play a crucial role in all cases, and the resulting anisotropy at small angular scales should provide a strong hint of the source location if the maximum energies of the heavy nuclei are sufficiently high.


title: Uplink Performance Analysis of Multicell MU-MIMO Systems with ZF Receivers

abstract: We consider the uplink of a multicell multiuser multiple-input multiple-output system where the channel experiences both small and large-scale fading. The data detection is done by using the linear zero-forcing technique, assuming the base station (BS) has perfect channel state information. We derive new, exact closed-form expressions for the uplink rate, symbol error rate, and outage probability per user, as well as a lower bound on the achievable rate. This bound is very tight and becomes exact in the large-number-of-antennas limit. We further study the asymptotic system performance in the regimes of high signal-to-noise ratio (SNR), large number of antennas, and large number of users per cell. We show that at high SNRs, the system is interference-limited and hence, we cannot improve the system performance by increasing the transmit power of each user. Instead, by increasing the number of BS antennas, the effects of interference and noise can be reduced, thereby improving the system performance. We demonstrate that, with very large antenna arrays at the BS, the transmit power of each user can be made inversely proportional to the number of BS antennas while maintaining a desired quality-of-service. Numerical results are presented to verify our analysis.


title: The Gorenstein defect category

abstract: We consider the homotopy category of complexes of projective modules over a Noetherian ring. Truncation at degree zero induces a fully faithful triangle functor from the totally acyclic complexes to the stable derived category. We show that if the ring is either Artin or commutative Noetherian local, then the functor is dense if and only if the ring is Gorenstein. Motivated by this, we define the Gorenstein defect category of the ring, a category which in some sense measures how far the ring is from being Gorenstein.


title: Improving the Price of Anarchy for Selfish Routing via Coordination Mechanisms

abstract: We reconsider the well-studied Selfish Routing game with affine latency functions. The Price of Anarchy for this class of games takes maximum value 4/3; this maximum is attained already for a simple network of two parallel links, known as Pigou's network. We improve upon the value 4/3 by means of Coordination Mechanisms. We increase the latency functions of the edges in the network, i.e., if $\ell_e(x)$ is the latency function of an edge $e$, we replace it by $\hat{\ell}_e(x)$ with $\ell_e(x) \le \hat{\ell}_e(x)$ for all $x$. Then an adversary fixes a demand rate as input. The engineered Price of Anarchy of the mechanism is defined as the worst-case ratio of the Nash social cost in the modified network over the optimal social cost in the original network. Formally, if $\CM(r)$ denotes the cost of the worst Nash flow in the modified network for rate $r$ and $\Copt(r)$ denotes the cost of the optimal flow in the original network for the same rate then [\ePoA = \max_{r \ge 0} \frac{\CM(r)}{\Copt(r)}.] We first exhibit a simple coordination mechanism that achieves for any network of parallel links an engineered Price of Anarchy strictly less than 4/3. For the case of two parallel links our basic mechanism gives 5/4 = 1.25. Then, for the case of two parallel links, we describe an optimal mechanism; its engineered Price of Anarchy lies between 1.191 and 1.192.


title: The weak convergence of regenerative processes using some excursion path decompositions

abstract: We consider regenerative processes with values in some Polish space. We define their \epsilon-big excursions as excursions e such that f(e)>\epsilon, where f is some given functional on the space of excursions which can be thought of as, e.g., the length or the height of e. We establish a general condition that guarantees the convergence of a sequence of regenerative processes involving the convergence of \epsilon-big excursions and of their endpoints, for all \epsilon in a countable set whose closure contains 0. Finally, we provide various sufficient conditions on the excursion measures of this sequence for this general condition to hold and discuss possible generalizations of our approach to processes that can be written as the concatenation of i.i.d. paths.


title: On the Ruderman-Kittel-Kasuya-Yosida interaction in graphene

abstract: The two dimensionality plus the linear band structure of graphene leads to new behavior of the Ruderman-Kittel-Kasuya-Yosida (RKKY) interaction, which is the interaction between two magnetic moments mediated by the electrons of the host crystal. We study this interaction from linear response theory. There are two equivalent methods both of which may be used for the calculation of the susceptibility, one involving the integral over a product of two Green's functions and the second that involves the excitations between occupied and unoccupied states, which was followed in the original work of Ruderman and Kittel. Unlike the $J \propto (2k_FR)^{-2} \sin (2k_FR) $ behavior of an ordinary two-dimensional (2D) metal, $J$ in graphene falls off as $1/R^3$, shows the $1 + \cos ((\bm{K}-\bm{K'}).\bm{R})$-type of behavior, which contains an interference term between the two Dirac cones, and it oscillates for certain directions and not for others. Quite interestingly, irrespective of any oscillations, the RKKY interaction in graphene is always ferromagnetic for moments located on the same sublattice and antiferromagnetic for moments on the opposite sublattices, a result that follows from particle-hole symmetry.


title: Approximate Recall Confidence Intervals

abstract: Recall, the proportion of relevant documents retrieved, is an important measure of effectiveness in information retrieval, particularly in the legal, patent, and medical domains. Where document sets are too large for exhaustive relevance assessment, recall can be estimated by assessing a random sample of documents; but an indication of the reliability of this estimate is also required. In this article, we examine several methods for estimating two-tailed recall confidence intervals. We find that the normal approximation in current use provides poor coverage in many circumstances, even when adjusted to correct its inappropriate symmetry. Analytic and Bayesian methods based on the ratio of binomials are generally more accurate, but are inaccurate on small populations. The method we recommend derives beta-binomial posteriors on retrieved and unretrieved yield, with fixed hyperparameters, and a Monte Carlo estimate of the posterior distribution of recall. We demonstrate that this method gives mean coverage at or near the nominal level, across several scenarios, while being balanced and stable. We offer advice on sampling design, including the allocation of assessments to the retrieved and unretrieved segments, and compare the proposed beta-binomial with the officially reported normal intervals for recent TREC Legal Track iterations.


title: A stochastic network with mobile users in heavy traffic

abstract: We consider a stochastic network with mobile users in a heavy-traffic regime. We derive the scaling limit of the multi-dimensional queue length process and prove a form of spatial state space collapse. The proof exploits a recent result by Lambert and Simatos which provides a general principle to establish scaling limits of regenerative processes based on the convergence of their excursions. We also prove weak convergence of the sequences of stationary joint queue length distributions and stationary sojourn times.


title: On the characterisation of honest times that avoid all stopping times

abstract: We present a short and self-contained proof of the following result: a random time is an honest time that avoids all stopping times if and only if it coincides with the (last) time of maximum of a nonnegative local martingale with zero terminal value and no jumps while at its running supremum, where the latter running supremum process is continuous. Illustrative examples involving local martingales with discontinuous paths are provided.


title: High-pressure neutron study of the morphotropic PZT: phase transitions in a two-phase system

abstract: In piezoelectric ceramics the changes in the phase stabilities versus stress and temperature in the vicinity of the phase boundary play a central role. The present study was dedicated to the classical piezoelectric, lead-zirconate-titanate (PZT) ceramic with composition Pb(Zr$_{0.54}$Ti$_{0.46}$)O$_3$ at the Zr-rich side of the morphotropic phase boundary at which both intrinsic and extrinsic contributions to piezoelectricity are significant. The pressure-induced changes in this two-phase (rhombohedral $R3c$+monoclinic $Cm$ at room temperature and $R3c+P4mm$ above 1 GPa pressures) system were studied by high-pressure neutron powder diffraction technique. The experiments show that applying pressure favors the $R3c$ phase, whereas the $Cm$ phase transforms continuously to the $P4mm$, which is favored at elevated temperatures due to the competing entropy term. The $Cm\rightarrow R3c$ phase transformation is discontinuous. The transformation contributes to the extrinsic piezoelectricity. An important contribution to the intrinsic piezoelectricity was revealed: a large displacement of the $B$ cations (Zr and Ti) with respect to the oxygen anions is induced by pressure. Above 600 K a phase transition to a cubic phase took place. Balance between the competing terms dictates the curvature of the phase boundary. After high-pressure experiments the amount of rhombohedral phase was larger than initially, suggesting that on the Zr-rich side of the phase boundary the monoclinic phase is metastable.


title: Joint Ly{\alpha} emitters - quasars reionization constraints

abstract: We present a novel method to investigate cosmic reionization, using joint spectral information on high redshift Lyman Alpha Emitters (LAE) and quasars (QSOs). Although LAEs have been proposed as reionization probes, their use is hampered by the fact their Ly{\alpha} line is damped not only by intergalactic HI but also internally by dust. Our method allows to overcome such degeneracy. First, we carefully calibrate a reionization simulation with QSO absorption line experiments. Then we identify LAEs in two simulation boxes at z=5.7 and z=6.6 and we build synthetic images/spectra of a prototypical LAE. At redshift 5.7, we find that the Ly{\alpha} transmissivity (T_LAE) ~ 0.25, almost independent of the halo mass. This constancy arises from the conspiracy of two effects: (i) the intrinsic Ly{\alpha} line width and (ii) the infall peculiar velocity. At higher redshift, z=6.6, where the transmissivity is instead largely set by the local HI abundance and LAE transmissivity consequently increases with halo mass from 0.15 to 0.3. Although outflows are present, they are efficiently pressure-confined by infall in a small region around the LAE; hence they only marginally affect transmissivity. Finally, we cast LOS originating from background QSOs passing through foreground LAEs at different impact parameters, and compute the quasar transmissivity (T_QSO). At smaller impact parameters, d < 1 cMpc, a positive correlation between T_QSO and halo mass is found at z = 5.7, which tends to become less pronounced (i.e. flatter) at larger distances. By cross-correlating T_LAE and T_QSO, we can obtain a HI density estimate unaffected by dust. At z= 5.7, the cross-correlation is relatively weak,whereas at z = 6.6 we find a clear positive correlation. We conclude by briefly discussing the perspectives for the application of the method to existing and forthcoming data.


title: Inertial Frames and Clock Rates

abstract: This article revisits the historiography of the problem of inertial frames. Specifically, the case of the twins in the clock paradox is considered to see that some resolutions implicitly assume inertiality for the non-accelerating twin. If inertial frames are explicitly identified by motion with respect to the large scale structure of the universe, it makes it possible to consider the relative inertiality of different frames.


title: Graphene-on-Diamond Devices with Enhanced Current-Carrying Capacity: Carbon sp2-on-sp3 Technology

abstract: Graphene demonstrated potential for practical applications owing to its excellent electronic and thermal properties. Typical graphene field-effect transistors and interconnects built on conventional SiO2/Si substrates reveal the breakdown current density on the order of 1 uA/nm2 (i.e. 10^8 A/cm2) which is ~100\times larger than the fundamental limit for the metals but still smaller than the maximum achieved in carbon nanotubes. We show that by replacing SiO2 with synthetic diamond one can substantially increase the current-carrying capacity of graphene to as high as ~18 uA/nm2 even at ambient conditions. Our results indicate that graphene's current-induced breakdown is thermally activated. We also found that the current carrying capacity of graphene can be improved not only on the single-crystal diamond substrates but also on an inexpensive ultrananocrystalline diamond, which can be produced in a process compatible with a conventional Si technology. The latter was attributed to the decreased thermal resistance of the ultrananocrystalline diamond layer at elevated temperatures. The obtained results are important for graphene's applications in high-frequency transistors, interconnects, transparent electrodes and can lead to the new planar sp2-on-sp3 carbon-on-carbon technology.


title: Semi-Quantitative Group Testing

abstract: We consider a novel group testing procedure, termed semi-quantitative group testing, motivated by a class of problems arising in genome sequence processing. Semi-quantitative group testing (SQGT) is a non-binary pooling scheme that may be viewed as a combination of an adder model followed by a quantizer. For the new testing scheme we define the capacity and evaluate the capacity for some special choices of parameters using information theoretic methods. We also define a new class of disjunct codes suitable for SQGT, termed SQ-disjunct codes. We also provide both explicit and probabilistic code construction methods for SQGT with simple decoding algorithms.


title: Exploiting the `Web of Trust' to improve efficiency in collaborative networks

abstract: Maintaining high quality content is one of the foremost objectives of any web-based collaborative service that depends on a large number of users. In such systems, it is nearly impossible for automated scripts to judge semantics as it is to expect all editors to review the content. This catalyzes the need for trust-based mechanisms to ensure quality of an article immediately after an edit. In this paper, we build on previous work and develop a framework based on the `web of trust' concept to calculate satisfaction scores for all users without the need for perusing the article. We derive some bounds for systems based on our mechanism and show that the optimization problem of selecting the best users to review an article is NP-Hard. Extensive simulations validate our model and results, and show that trust-based mechanisms are essential to improve efficiency in any online collaborative editing platform.


title: Cosmological parameters constraints from galaxy cluster mass function measurements in combination with other cosmological data

abstract: We present the cosmological parameters constraints obtained from the combination of galaxy cluster mass function measurements (Vikhlinin et al., 2009a,b) with new cosmological data obtained during last three years: updated measurements of cosmic microwave background anisotropy with Wilkinson Microwave Anisotropy Probe (WMAP) observatory, and at smaller angular scales with South Pole Telescope (SPT), new Hubble constant measurements, baryon acoustic oscillations and supernovae Type Ia observations. New constraints on total neutrino mass and effective number of neutrino species are obtained. In models with free number of massive neutrinos the constraints on these parameters are notably less strong, and all considered cosmological data are consistent with non-zero total neutrino mass \Sigma m_\nu \approx 0.4 eV and larger than standard effective number of neutrino species, N_eff \approx 4. These constraints are compared to the results of neutrino oscillations searches at short baselines. The updated dark energy equation of state parameters constraints are presented. We show that taking in account systematic uncertainties, current cluster mass function data provide similarly powerful constraints on dark energy equation of state, as compared to the constraints from supernovae Type Ia observations.


title: On the structure of critical energy levels for the cubic focusing NLS on star graphs

abstract: We provide information on a non trivial structure of phase space of the cubic NLS on a three-edge star graph. We prove that, contrarily to the case of the standard NLS on the line, the energy associated to the cubic focusing Schr\"odinger equation on the three-edge star graph with a free (Kirchhoff) vertex does not attain a minimum value on any sphere of constant $L^2$-norm. We moreover show that the only stationary state with prescribed L^2-norm is indeed a saddle point.


title: A descent map for curves with totally degenerate semi-stable reduction

abstract: Let $K$ be a local field of residue characteristic $p$. Let $C$ be a curve over $K$ whose minimal proper regular model has totally degenerate semi-stable reduction. Under certain hypotheses, we compute the prime-to-$p$ rational torsion subgroup on the Jacobian of $C$. We also determine divisibility of line bundles on $C$, including rationality of theta characteristics and higher spin structures. These computations utilize arithmetic on the special fiber of $C$.


title: Recommender System Based on Algorithm of Bicluster Analysis RecBi

abstract: In this paper we propose two new algorithms based on biclustering analysis, which can be used at the basis of a recommender system for educational orientation of Russian School graduates. The first algorithm was designed to help students make a choice between different university faculties when some of their preferences are known. The second algorithm was developed for the special situation when nothing is known about their preferences. The final version of this recommender system will be used by Higher School of Economics.


title: Spacetime Symmetries and Kepler's Third Law

abstract: The curved spacetime geometry of a system of two point masses moving on a circular orbit has a helical symmetry. We show how Kepler's third law for circular motion, and its generalization in post-Newtonian theory, can be recovered from a simple, covariant condition on the norm of the associated helical Killing vector field. This unusual derivation can be used to illustrate some concepts of prime importance in a general relativity course, including those of Killing field, covariance, coordinate dependence, and gravitational redshift.


title: Light dark matter and $Z'$ dark force at colliders

abstract: Light Dark Matter, $<10$ GeV, with sizable direct detection rate is an interesting and less explored scenario. Collider searches can be very powerful, such as through the channel in which a pair of dark matter particle are produced in association with a jet. It is a generic possibility that the mediator of the interaction between DM and the nucleus will also be accessible at the Tevatron and the LHC. Therefore, collider search of the mediator can provide a more comprehensive probe of the dark matter and its interactions. In this article, to demonstrate the complementarity of these two approaches, we focus on the possibility of the mediator being a new $U(1)'$ gauge boson, which is probably the simplest model which allows a large direct detection cross section for a light dark matter candidate. We combine searches in the monojet+MET channel and dijet resonance search for the mediator. We find that for the mass of $Z'$ between 250 GeV and 4 TeV, resonance searches at the colliders provide stronger constraints on this model than the monojet+MET searches.


abstract: Concept Relation Discovery and Innovation Enabling Technology (CORDIET), is a toolbox for gaining new knowledge from unstructured text data. At the core of CORDIET is the C-K theory which captures the essential elements of innovation. The tool uses Formal Concept Analysis (FCA), Emergent Self Organizing Maps (ESOM) and Hidden Markov Models (HMM) as main artifacts in the analysis process. The user can define temporal, text mining and compound attributes. The text mining attributes are used to analyze the unstructured text in documents, the temporal attributes use these document's timestamps for analysis. The compound attributes are XML rules based on text mining and temporal attributes. The user can cluster objects with object-cluster rules and can chop the data in pieces with segmentation rules. The artifacts are optimized for efficient data analysis; object labels in the FCA lattice and ESOM map contain an URL on which the user can click to open the selected document.


title: Simultaneous deformations and Poisson geometry

abstract: We consider the problem of deforming simultaneously a pair of given structures. We show that such deformations are governed by an L-infinity algebra, which we construct explicitly. Our machinery is based on Th. Voronov's derived bracket construction. In this paper we consider only geometric applications, including deformations of coisotropic submanifolds in Poisson manifolds, of twisted Poisson structures, and of complex structures within generalized complex geometry. These applications can not be, to our knowledge, obtained by other methods such as operad theory.


title: Internal Stellar Kinematics of M32 from the SPLASH Survey: Dark Halo Constraints and the Formation of Compact Elliptical Galaxies

abstract: As part of the SPLASH survey of the Andromeda galaxy (M31) and its neighbors, we have obtained Keck/DEIMOS spectra of the compact elliptical (cE) satellite M32. This is the first resolved-star kinematical study of any cE galaxy. In contrast to previous studies that extended out to r<30"~1Re~100pc, we measure the rotation curve and velocity dispersion profile out to r~250" and higher order Gauss-Hermite moments out to r~70". We achieve this by combining integrated-light spectroscopy at small radii (where crowding/blending are severe) with resolved stellar spectroscopy at larger radii, using spatial and kinematical information to statistically account for M31 contamination. The rotation curve and velocity dispersion profile extend well beyond the radius (r~150") where the isophotes are distorted. Unlike NGC 205, another close dwarf companion of M31, M32's kinematic are regular and symmetric and do not show obvious sharp gradients across the region of isophotal elongation and twists. We interpret M32's kinematics using three-integral axisymmetric dynamical equilibrium models constructed using Schwarzschild's orbit superposition technique. Models with a constant M/L can fit the data remarkably well. However, since such a model requires an increasing tangential anisotropy with radius, invoking the presence of an extended dark halo may be more plausible. Such an extended dark halo is definitely required to bind a half-dozen fast-moving stars observed at the largest radii, but these stars may not be an equilibrium component of M32. The observed regularity of the stellar kinematics, as well as the possible detection of an extended dark halo, are unexpected if M31 tides are significant at large radii. While these findings by themselves do not rule out tidal models for cE formation, they suggest that tidal stripping may not be as significant for shaping cE galaxies as has often been argued.


title: Orthogonal Laurent polynomials in unit circle, extended CMV ordering and 2D Toda type integrable hierarchies

abstract: Orthogonal Laurent polynomials in the unit circle and the theory of Toda-like integrable systems are connected using the Gauss--Borel factorization of a Cantero-Moral-Velazquez moment matrix, which is constructed in terms of a complex quasi-definite measure supported in the unit circle. The factorization of the moment matrix leads to orthogonal Laurent polynomials in the unit circle and the corresponding second kind functions. Jacobi operators, 5-term recursion relations and Christoffel-Darboux kernels, projecting to particular spaces of truncated Laurent polynomials, and corresponding Christoffel-Darboux formulae are obtained within this point of view in a completely algebraic way. Cantero-Moral-Velazquez sequence of Laurent monomials is generalized and recursion relations, Christoffel-Darboux kernels, projecting to general spaces of truncated Laurent polynomials and corresponding Christoffel-Darboux formulae are found in this extended context. Continuous deformations of the moment matrix are introduced and is shown how they induce a time dependant orthogonality problem related to a Toda-type integrable system, which is connected with the well known Toeplitz lattice. Using the classical integrability theory tools the Lax and Zakharov-Shabat equations are obtained. The dynamical system associated with the coefficients of the orthogonal Laurent polynomials is explicitly derived and compared with the classical Toeplitz lattice dynamical system for the Verblunsky coefficients of Szeg\H{o} polynomials for a positive measure. Discrete flows are introduced and related to Darboux transformations. Finally, the representation of the orthogonal Laurent polynomials (and its second kind functions), using the formalism of Miwa shifts, in terms of $\tau$-functions is presented and bilinear equations are derived.


title: Detailed abundances in stars belonging to ultra-faint dwarf spheroidal galaxies

abstract: We report preliminary results concerning the detailed chemical composition of metal poor stars belonging to close ultra-faint dwarf galaxies (hereafter UfDSphs). The abundances have been determined thanks to spectra obtained with X-Shooter, a high efficiency spectrograph installed on one of the ESO VLT units. The sample of ultra-faint dwarf spheroidal stars have abundance ratios slightly lower to what is measured in field halo star of the same metallicity.We did not find extreme abundances in our Hercules stars as the one found by Koch for his 2 Hercules stars. The synthesis of the neutron capture elements Ba and Sr seems to originate from the same nucleosynthetic process in operation during the early stages of the galactic evolution.


title: On the topology of the inverse limit of a branched covering over a Riemann surface

abstract: We introduce the Plaque Topology on the inverse limit of a branched covering self-map of a Riemann surface of a finite degree greater than one. We present the notions of regular and irregular points in the setting of this Plaque Inverse Limit and study its local topological properties at the irregular points. We construct certain Boolean Algebra and certain sigma-lattice, derived from it, and use them to compute local topological invariants of the Plaque Inverse Limit. Finally, we obtain several results interrelating the dynamics of the forward iterations of the self-map and the topology of the Plaque Inverse Limit.


title: Magnetic bit stability: Competition between domain-wall and monodomain switching

abstract: We numerically study the thermal stability properties of computer memory storage realized by a magnetic ellipse. In the case of practical magnetic random-access memory devices, the bit can form a spin texture during switching events. To study the energy barrier for thermally-induced switching, we develop a variational procedure to force the bit to traverse a smooth path through configuration space between the points of stability. We identify textured configurations realizing domain-wall propagation, which may have an energy barrier less than that of the corresponding monodomain model. We contrast the emergence of such micromagnetic effects in thermal versus field-induced switching.


title: Regularization Techniques for PSF-Matching Kernels. I. Choice of Kernel Basis

abstract: We review current methods for building PSF-matching kernels for the purposes of image subtraction or coaddition. Such methods use a linear decomposition of the kernel on a series of basis functions. The correct choice of these basis functions is fundamental to the efficiency and effectiveness of the matching - the chosen bases should represent the underlying signal using a reasonably small number of shapes, and/or have a minimum number of user-adjustable tuning parameters. We examine methods whose bases comprise multiple Gauss-Hermite polynomials, as well as a form free basis composed of delta-functions. Kernels derived from delta-functions are unsurprisingly shown to be more expressive; they are able to take more general shapes and perform better in situations where sum-of-Gaussian methods are known to fail. However, due to its many degrees of freedom (the maximum number allowed by the kernel size) this basis tends to overfit the problem, and yields noisy kernels having large variance. We introduce a new technique to regularize these delta-function kernel solutions, which bridges the gap between the generality of delta-function kernels, and the compactness of sum-of-Gaussian kernels. Through this regularization we are able to create general kernel solutions that represent the intrinsic shape of the PSF-matching kernel with only one degree of freedom, the strength of the regularization lambda. The role of lambda is effectively to exchange variance in the resulting difference image with variance in the kernel itself. We examine considerations in choosing the value of lambda, including statistical risk estimators and the ability of the solution to predict solutions for adjacent areas. Both of these suggest moderate strengths of lambda between 0.1 and 1.0, although this optimization is likely dataset dependent.


title: Scaling Laws in Human Language

abstract: Zipf's law on word frequency is observed in English, French, Spanish, Italian, and so on, yet it does not hold for Chinese, Japanese or Korean characters. A model for writing process is proposed to explain the above difference, which takes into account the effects of finite vocabulary size. Experiments, simulations and analytical solution agree well with each other. The results show that the frequency distribution follows a power law with exponent being equal to 1, at which the corresponding Zipf's exponent diverges. Actually, the distribution obeys exponential form in the Zipf's plot. Deviating from the Heaps' law, the number of distinct words grows with the text length in three stages: It grows linearly in the beginning, then turns to a logarithmical form, and eventually saturates. This work refines previous understanding about Zipf's law and Heaps' law in language systems.


title: An analytic approximation to the Diffusion Coefficient for the periodic Lorentz Gas

abstract: An approximate stochastic model for the topological dynamics of the periodic triangular Lorentz gas is constructed. The model, together with an extremum principle, is used to find a closed form approximation to the diffusion coefficient as a function of the lattice spacing. This approximation is superior to the popular Machta and Zwanzig result and agrees well with a range of numerical estimates.


title: Molecular beam growth of graphene nanocrystals on dielectric substrates

abstract: We demonstrate the growth of graphene nanocrystals by molecular beam methods that employ a solid carbon source, and that can be used on a diverse class of large area dielectric substrates. Characterization by Raman and Near Edge X-ray Absorption Fine Structure spectroscopies reveal a sp2 hybridized hexagonal carbon lattice in the nanocrystals. Lower growth rates favor the formation of higher quality, larger size multi-layer graphene crystallites on all investigated substrates. The surface morphology is determined by the roughness of the underlying substrate and graphitic monolayer steps are observed by ambient scanning tunneling microscopy.


title: Intrinsic localized modes in coupled DNLS equations from the anti-continuum limit

abstract: In the present work, we generalize earlier considerations for intrinsic localized modes consisting of a few excited sites, as developed in the one-component discrete nonlinear Schrodinger equation model, to the case of two-component systems. We consider all the different combinations of "up" (zero phase) and "down" ({\pi} phase) site excitations and are able to compute not only the corresponding existence curves, but also the eigenvalue dependences of the small eigenvalues potentially responsible for instabilities, as a function of the nonlinear parameters of the model representing the self/cross phase modulation in optics and the scattering length ratios in the case of matter waves in optical lattices. We corroborate these analytical predictions by means of direct numerical computations. We infer that all the modes which bear two adjacent nodes with the same phase are unstable in the two component case and the only solutions that may be linear stable are ones where each set of adjacent nodes, in each component is out of phase.


title: The weight Enumerator of some irreducible cyclic codes

abstract: Irreducible cyclic codes are one of the largest known classes of block codes which have been investigated for a long time. However, their weight distributions are known only for a few cases. In this paper, a class of irreducible cyclic codes are studied and their weight distributions are determined. Moreover, all codewords of some irreducible cyclic codes are obtained through programming in order to explain their distributions. The number of distinct nonzero weights in these codes dealt with in this paper varies among 1,2,3,6,8.


title: Geometric gauge potentials and forces in low-dimensional scattering systems

abstract: We introduce and analyze several low-dimensional scattering systems that exhibit geometric phase phenomena. The systems are fully solvable and we compare exact solutions of them with those obtained in a Born-Oppenheimer projection approximation. We illustrate how geometric magnetism manifests in them, and explore the relationship between solutions obtained in the diabatic and adiabatic pictures. We provide an example, involving a neutral atom dressed by an external field, in which the system mimics the behavior of a charged particle that interacts with, and is scattered by, a ferromagnetic material. We also introduce a similar system that exhibits Aharonov-Bohm scattering. We propose some practical applications. We provide a theoretical approach that underscores universality in the appearance of geometric gauge forces. We do not insist on degeneracies in the adiabatic Hamiltonian, and we posit that the emergence of geometric gauge forces is a consequence of symmetry breaking in the latter.


title: Low-Energy Effective Hamiltonian and the Surface States of Ca_3PbO

abstract: The band structure of Ca_3PbO, which possesses a three-dimensional massive Dirac electron at the Fermi energy, is investigated in detail. Analysis of the orbital weight distributions on the bands obtained in the first-principles calculation reveals that the bands crossing the Fermi energy originate from the three Pb-p orbitals and three Ca-dx2y2 orbitals. Taking these Pb-p and Ca-dx2y2 orbitals as basis wave functions, a tight-binding model is constructed. With the appropriate choice of the hopping integrals and the strength of the spin-orbit coupling, the constructed model sucessfully captures important features of the band structure around the Fermi energy obtained in the first-principles calculation. By applying the suitable basis transformation and expanding the matrix elements in the series of the momentum measured from a Dirac point, the low-energy effective Hamiltonian of this model is explicitely derived and proved to be a Dirac Hamiltonain. The origin of the mass term is also discussed. It is shown that the spin-orbit coupling and the orbitals other than Pb-p and Ca-dx2y2 orbitals play important roles in making the mass term finite. Finally, the surface band structures of Ca_3PbO for several types of surfaces are investigated using the constructed tight-binding model. We find that there appear nontrivial surface states that cannot be explained as the bulk bands projected on the surface Brillouin zone. The relation to the topological insulator is also discussed.


title: Revolutionaries and spies: Spy-good and spy-bad graphs

abstract: We study a game on a graph $G$ played by $r$ {\it revolutionaries} and $s$ {\it spies}. Initially, revolutionaries and then spies occupy vertices. In each subsequent round, each revolutionary may move to a neighboring vertex or not move, and then each spy has the same option. The revolutionaries win if $m$ of them meet at some vertex having no spy (at the end of a round); the spies win if they can avoid this forever. Let $\sigma(G,m,r)$ denote the minimum number of spies needed to win. To avoid degenerate cases, assume $|V(G)|\ge r-m+1\ge\floor{r/m}\ge 1$. The easy bounds are then $\floor{r/m}\le \sigma(G,m,r)\le r-m+1$. We prove that the lower bound is sharp when $G$ has a rooted spanning tree $T$ such that every edge of $G$ not in $T$ joins two vertices having the same parent in $T$. As a consequence, $\sigma(G,m,r)\le\gamma(G)\floor{r/m}$, where $\gamma(G)$ is the domination number; this bound is nearly sharp when $\gamma(G)\le m$. For the random graph with constant edge-probability $p$, we obtain constants $c$ and $c'$ (depending on $m$ and $p$) such that $\sigma(G,m,r)$ is near the trivial upper bound when $r<c\ln n$ and at most $c'$ times the trivial lower bound when $r>c'\ln n$. For the hypercube $Q_d$ with $d\ge r$, we have $\sigma(G,m,r)=r-m+1$ when $m=2$, and for $m\ge 3$ at least $r-39m$ spies are needed. For complete $k$-partite graphs with partite sets of size at least $2r$, the leading term in $\sigma(G,m,r)$ is approximately $\frac{k}{k-1}\frac{r}{m}$ when $k\ge m$. For $k=2$, we have $\sigma(G,2,r)=\bigl\lceil{\frac{\floor{7r/2}-3}5}\bigr\rceil$ and $\sigma(G,3,r)=\floor{r/2}$, and in general $\frac{3r}{2m}-3\le \sigma(G,m,r)\le\frac{(1+1/\sqrt3)r}{m}$.


title: Embedding of Analytic Quasi-Periodic Cocycles into Analytic Quasi-Periodic Linear Systems and its Applications

abstract: In this paper, we prove that any analytic quasi-periodic cocycle close to constant is the Poincar\'{e} map of an analytic quasi-periodic linear system close to constant. With this local embedding theorem, we get fruitful new results. We show that the almost reducibility of an analytic quasi-periodic linear system is equivalent to the almost reducibility of its corresponding Poincar\'e cocycle. By the local embedding theorem and the equivalence, we transfer the recent local almost reducibility results of quasi-periodic linear systems \cite{HoY} to quasi-periodic cocycles, and the global reducibility results of quasi-periodic cocycles \cite{A,AFK} to quasi-periodic linear systems. Finally, we give a positive answer to a question of \cite{AFK} and use it to prove Anderson localization results for long-range quasi-periodic operator with Liouvillean frequency, which gives a new proof of \cite{AJ05,AJ08,BJ02}. The method developed in our paper can also be used to prove some nonlinear local embedding results.


title: On the structure of almost Einstein manifolds

abstract: In this paper, we study the structure of the limit space of a sequence of almost Einstein manifolds, which are generalizations of Einstein manifolds. Roughly speaking, such manifolds are the initial manifolds of some normalized Ricci flows whose scalar curvatures are almost constants over space-time in the $L^1$-sense, Ricci curvatures are bounded from below at the initial time. Under the non-collapsed condition, we show that the limit space of a sequence of almost Einstein manifolds has most properties which is known for the limit space of Einstein manifolds. As applications, we can apply our structure results to study the properties of K\"ahler manifolds.


title: Distorted Kagome Lattice Generated by a Unique Orbital Arrangement in the Copper Mineral KCu3As2O7(OH)3

abstract: We study polycrystalline samples of KCu3As2O7(OH)3, a new candidate spin-1/2 kagome antiferromagnet, by magnetic susceptibility and heat capacity measurements above 2 K. The unique arrangement of the 3z2 - r2 and x2 - y2 orbitals on the Cu2+ kagome net is noted and compared to the orbital patterns found in other kagome minerals. It is suggested that this orbital arrangement gives rise to one antiferromagnetic and two ferromagnetic interactions on isosceles triangles forming a highly distorted kagome lattice. KCu3As2O7(OH)3 is found to show an antiferromagnetic long-range order at T_N = 7.2 K. Remarkably, a spin entropy is more gradually released upon cooling below T_N compared with a conventional magnetic long-range order, which may originate from the geometrical frustration still present in this highly distorted kagome lattice.


title: On Effectiveness of Backlog Bounds Using Stochastic Network Calculus in 802.11

abstract: Network calculus is a powerful methodology of characterizing queueing processes and has wide applications, but few works on applying it to 802.11 by far. In this paper, we take one of the first steps to analyze the backlog bounds of an 802.11 wireless LAN using stochastic network calculus. In particular, we want to address its effectiveness on bounding backlogs. We model a wireless node as a single server with impairment service based on two best-known models in stochastic network calculus: Jiang's and Ciucu's. Interestingly, we find that the two models can derive equivalent stochastic service curves and backlog bounds in our studied case. We prove that the network-calculus bounds imply stable backlogs as long as the average rate of traffic arrival is less than that of service, indicating the theoretical effectiveness of stochastic network calculus in bounding backlogs. From A. Kumar's 802.11 model, we derive the concrete stochastic service curve of an 802.11 node and its backlog bounds. We compare the derived bounds with ns-2 simulations and find that the former are very loose and we discuss the reasons. And we show that the martingale and independent case analysis techniques can improve the bounds significantly. Our work offers a good reference to applying stochastic network calculus to practical scenarios.


title: An Estimate on the Number of Eigenvalues of a Quasiperiodic Jacobi Matrix of Size $n$ Contained in an Interval of Size $n^{-C}$

abstract: We consider infinite quasi-periodic Jacobi self-adjoint matrices for which the three main diagonals are given via values of real analytic functions on the trajectory of the shift $x\rightarrow x+\omega$. We assume that the Lyapunov exponent $L(E_{0})$ of the corresponding Jacobi cocycle satisfies $L(E_{0})\ge\gamma>0$. In this setting we prove that the number of eigenvalues $E_{j}^{(n)}(x)$ of a submatrix of size $n$ contained in an interval $I$ centered at $E_{0}$ with $|I|=n^{-C_{1}}$ does not exceed $(\log n)^{C_{0}}$ for any $x$. Here $n\ge n_{0}$, and $n_{0}$, $C_{0}$, $C_{1}$ are constants depending on $\gamma$ (and the other parameters of the problem).


title: Reply to Comment on "Superradiant Phase Transitions and the Standard Description of Circuit QED"

abstract: A Reply to the Comment by C. Ciuti and P. Nataf [arXiv:1112.0986v1] on our Letter "Superradiant Phase Transitions and the Standard Description of Circuit QED" [Phys. Rev. Lett. 107, 113602 (2011)].


title: Parametric Compositional Data Types

abstract: In previous work we have illustrated the benefits that compositional data types (CDTs) offer for implementing languages and in general for dealing with abstract syntax trees (ASTs). Based on Swierstra's data types \'a la carte, CDTs are implemented as a Haskell library that enables the definition of recursive data types and functions on them in a modular and extendable fashion. Although CDTs provide a powerful tool for analysing and manipulating ASTs, they lack a convenient representation of variable binders. In this paper we remedy this deficiency by combining the framework of CDTs with Chlipala's parametric higher-order abstract syntax (PHOAS). We show how a generalisation from functors to difunctors enables us to capture PHOAS while still maintaining the features of the original implementation of CDTs, in particular its modularity. Unlike previous approaches, we avoid so-called exotic terms without resorting to abstract types: this is crucial when we want to perform transformations on CDTs that inspect the recursively computed CDTs, e.g. constant folding.


title: Step-Indexed Normalization for a Language with General Recursion

abstract: The Trellys project has produced several designs for practical dependently typed languages. These languages are broken into two fragments-a_logical_fragment where every term normalizes and which is consistent when interpreted as a logic, and a_programmatic_fragment with general recursion and other convenient but unsound features. In this paper, we present a small example language in this style. Our design allows the programmer to explicitly mention and pass information between the two fragments. We show that this feature substantially complicates the metatheory and present a new technique, combining the traditional Girard-Tait method with step-indexed logical relations, which we use to show normalization for the logical fragment.


title: An Investigation of the Laws of Traversals

abstract: Traversals of data structures are ubiquitous in programming. Consequently, it is important to be able to characterise those structures that are traversable and understand their algebraic properties. Traversable functors have been characterised by McBride and Paterson as those equipped with a distributive law over arbitrary applicative functors; however, laws that fully capture the intuition behind traversals are missing. This article is an attempt to remedy this situation by proposing laws for characterising traversals that capture the intuition behind them. To support our claims, we prove that finitary containers are traversable in our sense and argue that elements in a traversable structure are visited exactly once.


title: A Formal Comparison of Approaches to Datatype-Generic Programming

abstract: Datatype-generic programming increases program abstraction and reuse by making functions operate uniformly across different types. Many approaches to generic programming have been proposed over the years, most of them for Haskell, but recently also for dependently typed languages such as Agda. Different approaches vary in expressiveness, ease of use, and implementation techniques. Some work has been done in comparing the different approaches informally. However, to our knowledge there have been no attempts to formally prove relations between different approaches. We thus present a formal comparison of generic programming libraries. We show how to formalise different approaches in Agda, including a coinductive representation, and then establish theorems that relate the approaches to each other. We provide constructive proofs of inclusion of one approach in another that can be used to convert between approaches, helping to reduce code duplication across different libraries. Our formalisation also helps in providing a clear picture of the potential of each approach, especially in relating different generic views and their expressiveness.


title: Evaluation strategies for monadic computations

abstract: Monads have become a powerful tool for structuring effectful computations in functional programming, because they make the order of effects explicit. When translating pure code to a monadic version, we need to specify evaluation order explicitly. Two standard translations give call-by-value and call-by-name semantics. The resulting programs have different structure and types, which makes revisiting the choice difficult. In this paper, we translate pure code to monadic using an additional operation malias that abstracts out the evaluation strategy. The malias operation is based on computational comonads; we use a categorical framework to specify the laws that are required to hold about the operation. For any monad, we show implementations of malias that give call-by-value and call-by-name semantics. Although we do not give call-by-need semantics for all monads, we show how to turn certain monads into an extended monad with call-by-need semantics, which partly answers an open question. Moreover, using our unified translation, it is possible to change the evaluation strategy of functional code translated to the monadic form without changing its structure or types.


title: Tracing monadic computations and representing effects

abstract: In functional programming, monads are supposed to encapsulate computations, effectfully producing the final result, but keeping to themselves the means of acquiring it. For various reasons, we sometimes want to reveal the internals of a computation. To make that possible, in this paper we introduce monad transformers that add the ability to automatically accumulate observations about the course of execution as an effect. We discover that if we treat the resulting trace as the actual result of the computation, we can find new functionality in existing monads, notably when working with non-terminating computations.


title: Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems

abstract: We present a full-spectrum dependently typed core language which includes both nontermination and computational irrelevance (a.k.a. erasure), a combination which has not been studied before. The two features interact: to protect type safety we must be careful to only erase terminating expressions. Our language design is strongly influenced by the choice of CBV evaluation, and by our novel treatment of propositional equality which has a heterogeneous, completely erased elimination form.


title: From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine

abstract: This paper presents the derivation of an executable Krivine abstract machine from a small step interpreter for the simply typed lambda calculus in the dependently typed programming language Agda.


title: Spaser chains

abstract: We show that depending on the values of the coupling constants, two different scenarios for the stationary behavior of a chain of interacting spasers may be realized: (1) all the spasers are synchronized and oscillate with a unique phase and (2) a nonlinear autowave travels along the chain. In the latter scenario, the traveling wave is harmonic unlike excitations in other known nonlinear systems. The amplitude of this wave is determined by pumping and the wavenumber is determined by the coupling constants. Due to the nonlinear nature of the system, any initial distribution of spasers' states evolves into one of these steady states.