title: A combinatorial formula for fusion coefficient

abstract: Using the expansion of the inverse of the Kostka matrix in terms of tabloids as presented by Egecioglu and Remmel, we show that the fusion coefficients can be expressed as an alternating sum over cylindric tableaux. Cylindric tableaux are skew tableaux with a certain cyclic symmetry. When the skew shape of the tableau has a cutting point, meaning that the cylindric skew shape is not connected, or if its weight has at most two parts, we give a positive combinatorial formula for the fusion coefficients. The proof uses a slight modification of a sign-reversing involution introduced by Remmel and Shimozono. We discuss how this approach may work in general.


title: Conformal field theory of Painlev\'e VI

abstract: Generic Painlev\'e VI tau function \tau(t) can be interpreted as four-point correlator of primary fields of arbitrary dimensions in 2D CFT with c=1. Using AGT combinatorial representation of conformal blocks and determining the corresponding structure constants, we obtain full and completely explicit expansion of \tau(t) near the singular points. After a check of this expansion, we discuss examples of conformal blocks arising from Riccati, Picard, Chazy and algebraic solutions of Painlev\'e VI.


title: On generalized terminal state constraints for model predictive control

abstract: This manuscript contains technical results related to a particular approach for the design of Model Predictive Control (MPC) laws. The approach, named "generalized" terminal state constraint, induces the recursive feasibility of the underlying optimization problem and recursive satisfaction of state and input constraints, and it can be used for both tracking MPC (i.e. when the objective is to track a given steady state) and economic MPC (i.e. when the objective is to minimize a cost function which does not necessarily attains its minimum at a steady state). It is shown that the proposed technique provides, in general, a larger feasibility set with respect to existing approaches, given the same computational complexity. Moreover, a new receding horizon strategy is introduced, exploiting the generalized terminal state constraint. Under mild assumptions, the new strategy is guaranteed to converge in finite time, with arbitrarily good accuracy, to an MPC law with an optimally-chosen terminal state constraint, while still enjoying a larger feasibility set. The features of the new technique are illustrated by three examples.


title: Bifurcation currents in holomorphic families of rational maps

abstract: The aim of these lectures is the study of bifurcations within holomorphic families of polynomials or rational maps by mean of ergodic and pluripotential theoretic tools.


title: Collaborative Applications over Peer-to-Peer Systems - Challenges and Solutions

abstract: Emerging collaborative Peer-to-Peer (P2P) systems require discovery and utilization of diverse, multi-attribute, distributed, and dynamic groups of resources to achieve greater tasks beyond conventional file and processor cycle sharing. Collaborations involving application specific resources and dynamic quality of service goals are stressing current P2P architectures. Salient features and desirable characteristics of collaborative P2P systems are highlighted. Resource advertising, selecting, matching, and binding, the critical phases in these systems, and their associated challenges are reviewed using examples from distributed collaborative adaptive sensing systems, cloud computing, and mobile social networks. State-of-the-art resource discovery/aggregation solutions are compared with respect to their architecture, lookup overhead, load balancing, etc., to determine their ability to meet the goals and challenges of each critical phase. Incentives, trust, privacy, and security issues are also discussed, as they will ultimately determine the success of a collaborative P2P system. Open issues and research opportunities that are essential to achieve the true potential of collaborative P2P systems are discussed.


title: A possibility of persistent voltage observation in a system of asymmetric superconducting rings

abstract: A possibility to observe the persistent voltage in a superconducting ring of different widths of the arms is experimentally investigated. It was earlier found that switching of the arms between superconducting and normal states by ac current induces the dc voltage oscillation in magnetic field with a period corresponding to the flux quantum inside the ring. We use systems with a large number of asymmetric rings connected in series in order to investigate the possibility to observe this quantum phenomenon near the superconducting transition where thermal fluctuations switch ring segments without external influence and the persistent current is much smaller than in the superconducting state.


title: The Classical Electromagnetic Modes of a Rectangular Resonant Cavity with particular reference to the text Quantum Physics by R. Eisberg and R. Resnick

abstract: Three approaches to the derivation of the classical electromagnetic modes of a rectangular cavity are described. In so doing, some apparent errors in a widely-used physics text are pointed out.


title: Position Measurements in the de Broglie - Bohm Interpretation of Quantum Mechanics

abstract: The de Broglie - Bohm Interpretation of Quantum Mechanics assigns positions and trajectories to particles. We analyze the validity of a formula for the velocities of Bohmian particles which makes the analysis of these trajectories particularly simple. We apply it to four different types of particle detectors and show that three types of the detectors lead to "surrealistic trajectories", i.e., leave a trace where the Bohmian particle was not present.


title: Interstitial diffusion of ion-implanted boron in crystalline silicon

abstract: Modeling of the long-range migration of boron interstitials during low temperature annealing of ion-implanted silicon crystals has been carried out.


title: H$\alpha$ spectral monitoring of epsilon Aurigae 2009-2011 eclipse

abstract: We present and analyze epsilon Aurigae data concerning the evolution of the H$\alpha$ line on the occasion of the 2009 International observation campaign launched to cover the eclipse of this object. About 250 high resolution spectra of the H$\alpha$ line were obtained by amateur covering the three years around eclipse. We visually inspect the dynamical spectrum constructed from the data and analyze the evolution with time of the radial velocity and of EW (Equivalent Width) vs V mag. The spectroscopic data reveal many details which confirm the complexity of the Aurigae system. The object is far from being understood. In particular, according to our measurements, the eclipse duration has been underestimated and key dates were defined. A complete analysis of details revealed by our data would require much time and effort. Observers are encouraged to continue monitoring the H$\alpha$ line out of eclipse in the hope that it will provide further important information.


title: Lifshitz Transition in the Two Dimensional Hubbard Model

abstract: Using large-scale dynamical cluster quantum Monte Carlo simulations, we study the Lifshitz transition of the two dimensional Hubbard model with next-nearest-neighbor hopping ($t'$), chemical potential and temperature as control parameters. At $t'\le0$, we identify a line of Lifshitz transition points associated with a change of the Fermi surface topology at zero temperature. In the overdoped region, the Fermi surface is complete and electron-like; across the Lifshitz transition, the Fermi surface becomes hole-like and develops a pseudogap. At (or very close to) the Lifshitz transition points, a van Hove singularity in the density of states crosses the Fermi level. The van Hove singularity occurs at finite doping due to correlation effects, and becomes more singular when $t'$ becomes more negative. The resulting temperature dependence on the bare d-wave pairing susceptibility close to the Lifshitz points is significantly different from that found in the traditional van Hove scenarios. Such unambiguous numerical observation of the Lifshitz transition at $t'\le0$ extends our understanding of the quantum critical region in the phase diagram, and shines lights on future investigations of the nature of the quantum critical point in the two dimensional Hubbard model.


title: On the canonical form of scale mixtures of skew-normal distributions

abstract: The canonical form of scale mixtures of multivariate skew-normal distribution is defined, emphasizing its role in summarizing some key properties of this class of distributions. It is also shown that the canonical form corresponds to an affine invariant co-ordinate system as defined in Tyler \emph{et} al. (2009), and a method for obtaining the linear transform that converts a scale mixture of multivariate skew-normal distribution into a canonical form is presented. Related results, where the particular case of the multivariate skew $t$ distribution is considered in greater detail, are the general expression of the Mardia indices of multivariate skewness and kurtosis and the reduction of dimensionality in calculating the mode.


title: Testing Minimal Universal Extra Dimensions Using Higgs Boson Searches at the LHC

abstract: Large Hadron Collider (LHC) searches for the SM Higgs boson provide a powerful limit on models involving Universal Extra Dimensions (UED) where the Higgs production is enhanced. We have evaluated all one-loop diagrams for Higgs production from gluon fusion and decay to two photons within "minimal" UED (mUED), independently confirming previous results, and we have evaluated enhancement factors for Higgs boson production and decay over the mUED parameter space. Using these we have derived limits on the parameter space, combining data from both ATLAS and CMS collaborations for the most recent 7 TeV and 8 TeV LHC data. We have performed a rigorous statistical combination of several Higgs boson search channels which is important because mUED signatures from the Higgs boson are not universally enhanced. We have found that 1/R < 500 GeV is excluded at 95% CL, while for larger 1/R only a very narrow (\pm1-4 GeV) mass window around m_h = 125 GeV and another window (up to 2 GeV wide for 1/R > 1000 GeV) around m_h = 118 GeV are left. The latter is likely to be excluded as more data becomes available whereas the region around 125 GeV is where the recently discovered Higgs-like particle was observed and therefore where the exclusion limit is weaker. It is worth stressing that mUED predicts an enhancement for all channels for Higgs production by gluon fusion and decay while the vector boson fusion process WW/ZZ -> h -> AA is generically suppressed and WW/ZZ -> h -> WW*/ZZ* is standard. Therefore, as more 8 TeV LHC data becomes available, the information on individual Higgs boson production and decay processes provided by the CMS and ATLAS experiments can be effectively used to favour mUED or exclude it further.


title: On the effect of the Delta(1232) in hypernuclear non-mesonic weak decay: a microscopic approach

abstract: The non-mesonic weak decay of $\Lambda$-hypernuclei is studied within a microscopic diagrammatic approach which includes, for the first time, the effect or the $\Delta$-baryon resonance. We adopt a nuclear matter formalism extended to finite nuclei via the local density approximation, a one-meson exchange weak transition potential, a Bonn nucleon-nucleon strong potential and a $\Delta N\to NN$ strong potential based on the Landau-Migdal theory. Ground state correlations and final state interactions (FSI), at second order in the baryon-baryon strong interaction, are introduced on the same footing for all the isospin channels of one- and two-nucleon induced decays. Weak decay rates and single and double-coincidence nucleon spectra are predicted for $^{12}_\Lambda$C and compared with recent KEK and FINUDA data. The $\Delta(1232)$ introduces new FSI-induced decay mechanisms which lead to an improvement when comparing the obtained nucleon spectra with data, while it turns out to have a negligible effect on the decay rates. Discrepancies with experiment remain only for emission spectra involving protons, but are mostly restricted to double-nucleon correlations in the non-back-to-back kinematics.


title: Illuminating the 130 GeV Gamma Line with Continuum Photons

abstract: There is evidence for a 130 GeV gamma-ray line at the Galactic Center in the Fermi Large Area Telescope data. Dark matter candidates that explain this feature should also annihilate to Standard Model particles, resulting in a continuous spectrum of photons. To study this continuum, we analyze the Fermi data down to 5 GeV, restricted to the inner 3 degrees of the Galaxy. We place a strong bound on the ratio of continuum photons to monochromatic line photons that is independent of uncertainties in the dark matter density profile. The derived constraints exclude neutralino dark matter as an explanation for the line.


title: The strongest gravitational lenses: II. Is the large Einstein radius of MACS J0717.5+3745 in conflict with LCDM?

abstract: Can the standard cosmological model be questioned on the basis of a single observed extreme galaxy cluster? Usually, the word extreme refers directly to cluster mass, which is not a direct observable and thus subject to substantial uncertainty. Hence, it is desirable to extend studies of extreme clusters to direct observables, such as the Einstein radius (ER). We aim to evaluate the occurrence probability of the large observed ER of MACS J0717.5 within the standard LCDM cosmology. In particular, we want to model the distribution function of the single largest ER in a given cosmological volume and to study which underlying assumptions and effects have the strongest impact on the results. We obtain this distribution by a Monte Carlo approach, based on the semi-analytic modelling of the halo population on the past lightcone. After sampling the distribution, we fit the results with the general extreme value (GEV) distribution which we use for the subsequent analysis. We find that the distribution of the maximum ER is particularly sensitive to the precise choice of the halo mass function, lens triaxiality, the inner slope of the halo density profile and the mass-concentration relation. Using the distributions so obtained,we study the occurrence probability of the large ER of MACS J0717.5, finding that this system is not in tension with LCDM. We also find that the GEV distribution can be used to fit very accurately the sampled distributions and that all of them can be described by a Frechet distribution. With a multitude of effects that strongly influence the distribution of the single largest ER, it is more than doubtful that the standard LCDM cosmology can be ruled out on the basis of a single observation. If, despite the large uncertainties in the underlying assumptions, one wanted to do so, a much larger ER (> 100 arcsec) than that of MACS J0717.5 would have to be observed.


title: Properties of 125 GeV Higgs boson in non-decoupling MSSM scenarios

abstract: Tantalizing hints of the Higgs boson of mass around 125 GeV have been reported at the LHC. We explore the MSSM parameter space in which the 125 GeV state is identified as the heavier of the CP even Higgs bosons, and study two scenarios where the two photon production rate can be significantly larger than the standard model (SM). In one scenario, $\Gamma(H\to \gamma\gamma)$ is enhanced by a light stau contribution, while the $WW^{\ast}$ ($ZZ^{\ast}$) rate stays around the SM rate. In the other scenario, $\Gamma(H\to b\bar{b})$ is suppressed and not only the $\gamma\gamma$ but also the $WW^{\ast}$ ($ZZ^{\ast}$) rates should be enhanced. The $\tau\bar{\tau}$ rate can be significantly larger or smaller than the SM rate in both scenarios. Other common features of the scenarios include top quark decays into charged Higgs boson, single and pair production of all Higgs bosons in $e^+e^-$ collisions at $\sqrt{s}\lesssim 300$ GeV.


title: Photophilic Higgs from sgoldstino mixing

abstract: The spontaneous breaking of linearly realized N=1 supersymmetry implies the existence of a pseudo-Goldstone fermion, the goldstino, and of its complex scalar superpartner, the sgoldstino. The latter has generically sizable tree-level couplings to Standard Model gauge bosons while its couplings to SM fermions are suppressed. We consider a light sgoldstino, with a mass around 1 TeV, that mixes with a SM-like Higgs scalar at around 125 GeV. We show that such a mixing can enhance the Higgs to di-photon signal rate while evading all the relevant experimental bounds and without significantly affecting the other decay channels.


title: Quantum measurements are physical processes. Comment on "Consciousness and the double-slit interference pattern: Six experiments," By Dean Radin et al. [Physics Essays 25, 2 (2012)]

abstract: The validity of the assertion that some recent double-slit interference experiments, conducted by Radin et al., would have tested the possible role of the experimenter's mind in the collapse of the quantum wave function, is questioned. It is emphasized that quantum mechanics doesn't need any psychophysical ingredient to explain the measurement processes, and therefore parapsychologists shouldn't resort to the latter to support the possibility of psychokinesis, but search for more convincing explanations.


title: Anatomical Structure Segmentation in Liver MRI Images

abstract: Segmentation of medical images is a challenging task owing to their complexity. A standard segmentation problem within Magnetic Resonance Imaging (MRI) is the task of labeling voxels according to their tissue type. Image segmentation provides volumetric quantification of liver area and thus helps in the diagnosis of disorders, such as Hepatitis, Cirrhosis, Jaundice, Hemochromatosis etc.This work deals with comparison of segmentation by applying Level Set Method,Fuzzy Level Information C-Means Clustering Algorithm and Gradient Vector Flow Snake Algorithm.The results are compared using the parameters such as Number of pixels correctly classified, and percentage of area segmented.


title: Generation of Efficient Key Bit-Streams Using Sparse Matrix-Vector Multiplication

abstract: The contribution of Stream ciphers to cryptography is immense. For fast encryption, stream ciphers are preferred to block ciphers due to their XORing operation, which is easier and faster to implement. In this paper we present a matrix based stream cipher, in which a m x n binary matrix single handedly performs the work of m parallel LFSRs. The resistivity of the proposed stream cipher to various possible attacks are analyzed. Interestingly the output of the matrix multiplication can otherwise be used as a parallel bit/byte generator, useful for encrypting video streams.


title: Bipartite Field Theories: from D-Brane Probes to Scattering Amplitudes

abstract: We introduce and initiate the investigation of a general class of 4d, N=1 quiver gauge theories whose Lagrangian is defined by a bipartite graph on a Riemann surface, with or without boundaries. We refer to such class of theories as Bipartite Field Theories (BFTs). BFTs underlie a wide spectrum of interesting physical systems, including: D3-branes probing toric Calabi-Yau 3-folds, their mirror configurations of D6-branes, cluster integrable systems in (0+1) dimensions and leading singularities in scattering amplitudes for N=4 SYM. While our discussion is fully general, we focus on models that are relevant for scattering amplitudes. We investigate the BFT perspective on graph modifications, the emergence of Calabi-Yau manifolds (which arise as the master and moduli spaces of BFTs), the translation between square moves in the graph and Seiberg duality and the identification of dual theories by means of the underlying Calabi-Yaus, the phenomenon of loop reduction and the interpretation of the boundary operator for cells in the positive Grassmannian as higgsing in the BFT. We develop a technique based on generalized Kasteleyn matrices that permits an efficient determination of the Calabi-Yau geometries associated to arbitrary graphs. Our techniques allow us to go beyond the planar limit by both increasing the number of boundaries of the graphs and the genus of the underlying Riemann surface. Our investigation suggests a central role for Calabi-Yau manifolds in the context of leading singularities, whose full scope is yet to be uncovered.


title: Stellar Intensity Interferometry: Prospects for sub-milliarcsecond optical imaging

abstract: Using kilometric arrays of air Cherenkov telescopes, intensity interferometry may increase the spatial resolution in optical astronomy by an order of magnitude, enabling images of rapidly rotating stars with structures in their circumstellar disks and winds, or mapping out patterns of nonradial pulsations across stellar surfaces. Intensity interferometry (pioneered by Hanbury Brown and Twiss) connects telescopes only electronically, and is practically insensitive to atmospheric turbulence and optical imperfections, permitting observations over long baselines and through large airmasses, also at short optical wavelengths. The required large telescopes with very fast detectors are becoming available as arrays of air Cherenkov telescopes, distributed over a few square km. Digital signal handling enables very many baselines to be synthesized, while stars are tracked with electronic time delays, thus synthesizing an optical interferometer in software. Simulated observations indicate limiting magnitudes around m(v)=8, reaching resolutions ~30 microarcsec in the violet. The signal-to-noise ratio favors high-temperature sources and emission-line structures, and is independent of the optical passband, be it a single spectral line or the broad spectral continuum. Intensity interferometry provides the modulus (but not phase) of any spatial frequency component of the source image; for this reason image reconstruction requires phase retrieval techniques, feasible if sufficient coverage of the interferometric (u,v)-plane is available. Experiments are in progress; test telescopes have been erected, and trials in connecting large Cherenkov telescopes have been carried out. This paper reviews this interferometric method in view of the new possibilities offered by arrays of air Cherenkov telescopes, and outlines observational programs that should become realistic already in the rather near future.


title: A filament of dark matter between two clusters of galaxies

abstract: It is a firm prediction of the concordance Cold Dark Matter (CDM) cosmological model that galaxy clusters live at the intersection of large-scale structure filaments. The thread-like structure of this "cosmic web" has been traced by galaxy redshift surveys for decades. More recently the Warm-Hot Intergalactic Medium (WHIM) residing in low redshift filaments has been observed in emission and absorption. However, a reliable direct detection of the underlying Dark Matter skeleton, which should contain more than half of all matter, remained elusive, as earlier candidates for such detections were either falsified or suffered from low signal-to-noise ratios and unphysical misalignements of dark and luminous matter. Here we report the detection of a dark matter filament connecting the two main components of the Abell 222/223 supercluster system from its weak gravitational lensing signal, both in a non-parametric mass reconstruction and in parametric model fits. This filament is coincident with an overdensity of galaxies and diffuse, soft X-ray emission and contributes mass comparable to that of an additional galaxy cluster to the total mass of the supercluster. Combined with X-ray observations, we place an upper limit of 0.09 on the hot gas fraction, the mass of X-ray emitting gas divided by the total mass, in the filament.


title: Use of event-level neutrino telescope data in global fits for theories of new physics

abstract: We present a fast likelihood method for including event-level neutrino telescope data in parameter explorations of theories for new physics, and announce its public release as part of DarkSUSY 5.0.6. Our construction includes both angular and spectral information about neutrino events, as well as their total number. We also present a corresponding measure for simple model exclusion, which can be used for single models without reference to the rest of a parameter space. We perform a number of supersymmetric parameter scans with IceCube data to illustrate the utility of the method: example global fits and a signal recovery in the constrained minimal supersymmetric standard model (CMSSM), and a model exclusion exercise in a 7-parameter phenomenological version of the MSSM. The final IceCube detector configuration will probe almost the entire focus-point region of the CMSSM, as well as a number of MSSM-7 models that will not otherwise be accessible to e.g. direct detection. Our method accurately recovers the mock signal, and provides tight constraints on model parameters and derived quantities. We show that the inclusion of spectral information significantly improves the accuracy of the recovery, providing motivation for its use in future IceCube analyses.

categories: hep-ph astro-ph.CO hep-ex physics.data-an


title: Network and Seiberg Duality

abstract: We define and study a new class of 4d N=1 superconformal quiver gauge theories associated with a planar bipartite network. While UV description is not unique due to Seiberg duality, we can classify the IR fixed points of the theory by a permutation, or equivalently a cell of the totally non-negative Grassmannian. The story is similar to a bipartite network on the torus classified by a Newton polygon. We then generalize the network to a general bordered Riemann surface and define IR SCFT from the geometric data of a Riemann surface. We also comment on IR R-charges and superconformal indices of our theories.


title: Effects of Quark Spin Flip on the Collins Fragmentation Function in a Toy Model

abstract: The recent extension of the NJL-jet model to hadronization of transversely polarized quarks allowed the study of the Collins fragmentation function. Both favored and unfavored Collins fragmentation functions were generated, the latter purely by multiple hadron emissions, with 1/2 moments of opposite sign in the region of the light-cone momentum fraction $z$ accessible in current experiments. Hints of such behavior has been seen in the measurements in several experiments. Also, in the transverse momentum dependent (TMD) hadron emission probabilities, modulations of up to fourth order in sine of the polar angle were observed, while the Collins effect describes just the linear modulations. A crucial part of the extended model was the calculation of the quark spin flip probability after each hadron emission in the jet. Here we study the effects of this probability on the resulting unfavored and favored Collins functions by setting it as a constant and use a toy model for the elementary single hadron emission probabilities. The results of the Monte Carlo simulations showed that preferential quark spin flip in the elementary hadron emission is needed to generate the favored and unfavored Collins functions with opposite sign 1/2 moments. For the TMD hadron emission modulations, we showed that the model quark spin flip probabilities are a partial source of the higher rode modulations, while the other source is the Collins modulation of the remnant quark from the hadron emission recoil.


title: Search of sub-parsec massive binary black holes through line diagnosis II

abstract: Massive black hole binaries at sub-parsec separations may display in their spectra anomalously small flux ratios between the MgII and CIV broad emission lines, i.e. F_MgII/F_CIV <~ 0.1, due to the erosion of the broad line region around the active, secondary black hole, by the tidal field of the primary. In Paper I by Montuori et al. (2011), we focussed on broad lines emitted by gas bound to the lighter accreting member of a binary when the binary is at the center of a hollow density region (the gap) inside a circum-binary disc. The main aim of this new study is at exploring the potential contribution to the broad line emission by the circum-binary disc and by gaseous streams flowing toward the black hole through the gap. We carry out a post-process analysis of data extracted from a SPH simulation of a circum-binary disc around a black hole binary. Our main result is that the MgII to CIV flux ratio can be reduced to ~ 0.1 within an interval of sub-pc binary separations of the order of a ~ (0.01-0.2)(f_Edd/0.1)^(1/2) pc corresponding to orbital periods of ~ (20-200) (f_Edd/0.1)^(3/4) years for a secondary BH mass in the range M_2 ~ 10^7-10^9 M_sun and a binary mass ratio of 0.3. At even closer separations this ratio returns to increase to values that are indistinguishable from the case of a single AGN (typically F_MgII/F_CIV ~ 0.3-0.4) because of the contribution to the MgII line from gas in the circum-binary disc.


title: Fractional branes, warped compactifications and backreacted orientifold planes

abstract: The standard extremal p-brane solutions in supergravity are known to allow for a generalisation which consists of adding a linear dependence on the world-volume coordinates to the usual harmonic function. In this note we demonstrate that remarkably this generalisation goes through in exactly the same way for p-branes with fluxes added to it that correspond to fractional p-branes. We relate this to warped orientifold compactifications by trading the Dp-branes for Op-planes that solve the RR tadpole condition. This allows us to interpret the worldvolume dependence as due to lower-dimensional scalars that flow along the massless directions in the no-scale potential. Depending on the details of the fluxes these flows can be supersymmetric domain wall flows. Our solutions provide explicit examples of backreacted orientifold planes in compactifications with non-constant moduli.


title: Universal contributions to scalar masses from five dimensional supergravity

abstract: We compute the effective Kahler potential for matter fields in warped compactifications, starting from five dimensional gauged supergravity, as a function of the matter fields localization. We show that truncation to zero modes is inconsistent and the tree-level exchange of the massive gravitational multiplet is needed for consistency of the four-dimensional theory. In addition to the standard Kahler coming from dimensional reduction, we find the quartic correction coming from integrating out the gravity multiplet. We apply our result to the computation of scalar masses, by assuming that the SUSY breaking field is a bulk hypermultiplet. In the limit of extreme opposite localization of the matter and the spurion fields, we find zero scalar masses, consistent with sequestering arguments. Surprisingly enough, for all the other cases the scalar masses are tachyonic. This suggests the holographic interpretation that a CFT sector always generates operators contributing in a tachyonic way to scalar masses. Viability of warped su- persymmetric compactifications necessarily asks then for additional contributions. We discuss the case of additional bulk vector multiplets with mixed boundary conditions, which is a partic- ularly simple and attractive way to generate large positive scalar masses. We show that in this case successful fermion mass matrices implies highly degenerate scalar masses for the first two generations of squarks and sleptons.


title: The pseudo-evolution of halo mass

abstract: A dark matter halo is commonly defined as a spherical overdensity of matter with respect to a reference density, such as the critical density or the mean matter density of the Universe. Such definitions can lead to a spurious pseudo-evolution of halo mass simply due to redshift evolution of the reference density, even if its physical density profile remains constant over time. We estimate the amount of such pseudo-evolution of mass between z=1 to 0 for halos identified in a large N-body simulation, and show that it accounts for almost the entire mass evolution of the majority of halos with M200 of about 1E12 solar masses and can be a significant fraction of the apparent mass growth even for cluster-sized halos. We estimate the magnitude of the pseudo-evolution assuming that halo density profiles remain static in physical coordinates, and show that this simple model predicts the pseudo-evolution of halos identified in numerical simulations to good accuracy, albeit with significant scatter. We discuss the impact of pseudo-evolution on the evolution of the halo mass function and show that the non-evolution of the low-mass end of the halo mass function is the result of a fortuitous cancellation between pseudo-evolution and the absorption of small halos into larger hosts. We also show that the evolution of the low mass end of the concentration-mass relation observed in simulations is almost entirely due to the pseudo-evolution of mass. Finally, we discuss the implications of our results for the interpretation of the evolution of various scaling relations between the observable properties of galaxies and galaxy clusters and their halo masses.


title: A Calibrated Measurement of the Near-IR Continuum Sky Brightness Using Magellan/FIRE

abstract: We characterize the near-IR sky background from 308 observations with the FIRE spectrograph at Magellan. A subset of 105 observations selected to minimize lunar and thermal effects gives a continuous, median spectrum from 0.83 to 2.5 microns which we present in electronic form. The data are used to characterize the broadband continuum emission between atmospheric OH features and correlate its properties with observing conditions such as lunar angle and time of night. We find that the moon contributes significantly to the inter-line continuum in the Y and J bands whereas the observed H band continuum is dominated by the blended Lorentzian wings of multiple OH line profiles even at R=6000. Lunar effects may be mitigated in Y and J through careful scheduling of observations, but the most ambitious near-IR programs will benefit from allocation during dark observing time if those observations are not limited by read noise. In Y and J our measured continuum exceeds space-based average estimates of the Zodiacal light, but it is not readily identified with known terrestrial foregrounds. If further measurements confirm such a fundamental background, it would impact requirements for OH-suppressed instruments operating in this regime.


title: Two 'b's in the Beehive: The Discovery of the First Hot Jupiters in an Open Cluster

abstract: We present the discovery of two giant planets orbiting stars in Praesepe (also known as the Beehive Cluster). These are the first known hot Jupiters in an open cluster and the only planets known to orbit Sun-like, main-sequence stars in a cluster. The planets are detected from Doppler shifted radial velocities; line bisector spans and activity indices show no correlation with orbital phase, confirming the variations are caused by planetary companions. Pr0201b orbits a V=10.52 late F dwarf with a period of 4.4264 +/- 0.0070 days and has a minimum mass of 0.540 +/- 0.039 Mjup, and Pr0211b orbits a V=12.06 late G dwarf with a period of 2.1451 +/- 0.0012 days and has a minimum mass of 1.844 +/- 0.064 Mjup. The detection of 2 planets among 53 single members surveyed establishes a lower limit on the hot Jupiter frequency of 3.8 (+5.0)(-2.4) % in this metal-rich open cluster. Given the precisely known age of the cluster, this discovery also demonstrates that, in at least 2 cases, giant planet migration occurred within 600 Myr after formation. As we endeavor to learn more about the frequency and formation history of planets, environments with well-determined properties -- such as open clusters like Praesepe -- may provide essential clues to this end.


title: Physical Response Functions of Strongly Coupled Massive Quantum Liquids

abstract: We study physical properties of strongly coupled massive quantum liquids from their spectral functions using the AdS/CFT correspondence. The generic model that we consider is dense, heavy fundamental matter coupled to SU(N_c) super Yang-Mills theory at finite temperature above the deconfinement phase transition but below the scale set by the baryon number density. In this setup, we study the current-current correlators of the baryon number density using new techniques that employ a scaling behavior in the dual geometry. Our results, the AC conductivity, the quasi-particle spectrum and the Drude-limit parameters like the relaxation time are simple temperature-independent expressions that depend only on the mass-squared to density ratio and display a crossover between a baryon- and meson-dominated regime. We concentrated on the (2+1)-dimensional defect case, but in principle our results can also be generalized straightforwardly to other cases.


title: Topological jamming of spontaneously knotted polyelectrolyte chains driven through a nanopore

abstract: The advent of solid state nanodevices allows for interrogating the physico-chemical properties of a polyelectrolyte chain by electrophoretically driving it through a nanopore. Salient dynamical aspects of the translocation process have been recently characterized by theoretical and computational studies of model polymer chains free from self-entanglement. However, sufficiently long equilibrated chains are necessarily knotted. The impact of such topological "defects" on the translocation process is largely unexplored, and is addressed in this study. By using Brownian dynamics simulations on a coarse-grained polyelectrolyte model we show that knots, despite being trapped at the pore entrance, do not "per se" cause the translocation process to jam. Rather, knots introduce an effective friction that increases with the applied force, and practically halts the translocation above a threshold force. The predicted dynamical crossover, which is experimentally verifiable, is of relevance in applicative contexts, such as DNA nanopore sequencing.


title: BPS States, Refined Indices, and Quiver Invariants

abstract: For D=4 BPS state construction, counting, and wall-crossing thereof, quiver quantum mechanics offers two alternative approaches, the Coulomb phase and the Higgs phase, which sometimes produce inequivalent counting. The authors have proposed, in arXiv:1205.6511, two conjectures on the precise relationship between the two, with some supporting evidences. Higgs phase ground states are naturally divided into the Intrinsic Higgs sector, which is insensitive to wall-crossings and thus an invariant of quiver, plus a pulled-back ambient cohomology, conjectured to be an one-to-one image of Coulomb phase ground states. In this note, we show that these conjectures hold for all cyclic quivers with Abelian nodes, and further explore angular momentum and R-charge content of individual states. Along the way, we clarify how the protected spin character of BPS states should be computed in the Higgs phase, and further determine the entire Hodge structure of the Higgs phase cohomology. This shows that, while the Coulomb phase states are classified by angular momentum, the Intrinsic Higgs states are classified by R-symmetry.


title: The influence of rotation on optical emission profiles of O stars

abstract: We study the formation of photospheric emission lines in O stars and show that the rectangular profiles, sometimes double peaked, that are observed for some stars are a direct consequence of rotation, and it is unnecessary to invoke an enhanced density structure in the equatorial regions. Emission lines, such as N IV 4058 and the N III 4634-4640-4642 multiplet, exhibit non-standard "limb darkening" laws. The lines can be in absorption for rays striking the center of the star and in emission for rays near the limb. Weak features in the flux spectrum do not necessarily indicate an intrinsically weak feature -- instead the feature can be weak because of cancellation between absorption in "core" rays and emission from rays near the limb. Rotation also modifies line profiles of wind diagnostics such as He II 4686 and Halpha and should not be neglected when inferring the actual stratification, level and nature of wind structures.


title: The Higgs Boson and New Physics at the TeV Scale

abstract: In this Thesis two different parts can be distinguished. In the first one, after a review of the SM Higgs sector, I describe some scenarios for new physics such as Little Higgs and Supersymmetry and discuss our contributions in each of them. In the second part I focus on one of the most interesting experimental hints of new physics, the forward-backward asymmetry in top-pair production measured at the Tevatron, analyzing in detail its possible implications at the LHC.


title: The Gaussian semiclassical soliton ensemble and numerical methods for the focusing nonlinear Schr\"odinger equation

abstract: We report on a number of careful numerical experiments motivated by the semiclassical (zero-dispersion, \epsilon\downarrow 0) limit of the focusing nonlinear Schr\"odinger equation. Our experiments are designed to study the evolution of a particular family of perturbations of the initial data. These asymptotically small perturbations are precisely those that result from modifying the initial-data by using formal approximations to the spectrum of the associated spectral problem; such modified data has always been a standard part of the analysis of zero-dispersion limits of integrable systems. However, in the context of the focusing nonlinear Schr\"odinger equation, the ellipticity of the Whitham equations casts some doubt on the validity of this procedure. To carry out our experiments, we introduce an implicit finite difference scheme for the partial differential equation, and we validate both the proposed scheme and the standard split-step scheme against a numerical implementation of the inverse scattering transform for a special case in which the scattering data is known exactly. As part of this validation, we also investigate the use of the Krasny filter which is sometimes suggested as appropriate for nearly ill-posed problems such as we consider here. Our experiments show that that the O(\epsilon) rate of convergence of the modified data to the true data is propagated to positive times including times after wave breaking.


title: Measurement of CP-violation asymmetries in D0 to Ks pi+ pi-

abstract: We report a measurement of time-integrated CP-violation asymmetries in the resonant substructure of the three-body decay D0 to Ks pi+ pi- using CDF II data corresponding to 6.0 invfb of integrated luminosity from Tevatron ppbar collisions at sqrt(s) = 1.96 TeV. The charm mesons used in this analysis come from D*+(2010) to D0 pi+ and D*-(2010) to D0bar pi-, where the production flavor of the charm meson is determined by the charge of the accompanying pion. We apply a Dalitz-amplitude analysis for the description of the dynamic decay structure and use two complementary approaches, namely a full Dalitz-plot fit employing the isobar model for the contributing resonances and a model-independent bin-by-bin comparison of the D0 and D0bar Dalitz plots. We find no CP-violation effects and measure an asymmetry of ACP = (-0.05 +- 0.57 (stat) +- 0.54 (syst))% for the overall integrated CP-violation asymmetry, consistent with the standard model prediction.


title: First demonstration of a Compton gamma imager based on silicon photomultipliers

abstract: We are developing a rugged and person-transportable Compton gamma imager for use in security investigations of radioactive materials, and for radiological incident remediation. The imager is composed of layers of scintillator with light collection for the forward layers provided by silicon photomultipliers and for the rear layer by photomultiplier tubes. As a first step, we have developed a 1/5th-scale demonstration unit of the final imager. We present the imaging performance of this demonstration unit for Cs-137 at angles of up to 30 degrees off-axis. Results are also presented for Sn-113 and Na-22. This represents the first demonstration of the use of silicon photomultipliers as an embedded component for light collection in a Compton gamma imager.


title: On $\infty$-convex sets in spaces of scatteredly continuous functions

abstract: Given a topological space $X$, we study the structure of $\infty$-convex subsets in the space $SC_p(X)$ of scatteredly continuous functions on $X$. Our main result says that for a topological space $X$ with countable strong fan tightness, each potentially bounded $\infty$-convex subset $F\subset SC_p(X)$ is weakly discontinuous in the sense that each non-empty subset $A\subset X$ contains an open dense subset $U\subset A$ such that each function $f|U$, $f\in F$, is continuous. This implies that $F$ has network weight $nw(F)\le nw(X)$.


title: Complex symmetry of Composition operators induced by involutive Ball automorphisms

abstract: Suppose $\mathcal{H}$ is a weighted Hardy space of analytic functions on the unit ball $\mathbb{B}_n\subset\mathbb{C}^n$ such that the composition operator $C_\psi$ defined by $C_{\psi}f=f\circ\psi$ is bounded on $\mathcal{H}$ whenever $\psi$ is a linear fractional self-map of $\mathbb{B}_n$. If $\varphi$ is an involutive Moebius automorphism of $\mathbb{B}_n$, we find a conjugation operator $\mathcal{J}$ on $\mathcal{H}$ such that $C_{\varphi}=\mathcal{J} C^*_{\varphi}\mathcal{J}$. The case $n=1$ answers a question of Garcia and Hammond.


title: Exchange engineering in 3d chains adsorbed on Cu$_2$N/Cu(001)

abstract: Covalent substrates can give rise to a variety of magnetic interaction mechanisms among adsorbed transition metal atoms building atomic nanostructures. We show this by calculating the ground state magnetic configuration of monoatomic 3d chains deposited on a monolayer of Cu$_2$N grown on Cu(001) as a function of $d$ filling and of adsorption sites of the one dimensional nanostructures.


title: Early discovery of top partners and test of the Higgs nature

abstract: Top partners from a new strong sector can be discovered soon, at the 8 TeV LHC, by analyzing their single production, which exhibits a large enhancement in the cross section compared to the analogous productions of bottom partners and exotic quarks. We analyze the subsequent decay of the top partners into a 125 GeV Higgs. This channel proves to be very promising for both the discovery of top partners and a test of the Higgs sector. For a reference value $\lambda_{\tilde{T}}=3$ of the Higgs coupling to the top partner, we could have a discovery (observation) at the 8 TeV LHC, with 30 fb$^{-1}$, for top partner masses up to 760 (890) GeV. If the LHC and Tevatron excesses near 125 GeV are really due to a composite Higgs, naturalness arguments demand top partners below $\sim 1$ TeV. Our results highlight thus that the 8 TeV LHC already has a large sensitivity on probing the composite Higgs hypothesis. The LHC reach is even wider at $\sqrt{s}=14$ TeV. With $\lambda_{\tilde{T}}=3$ the LHC with 100 fb$^{-1}$ can observe (at 5$\sigma$) a Higgs from a top partner decay for masses of this latter up to $\simeq 1450$ GeV. In the case the top partner was as light as $\simeq 500$ GeV, the 14 TeV LHC would be sensitive to the measure of the $\lambda_{\tilde{T}}$ coupling in basically the full range $\lambda_{\tilde{T}}>1$ predicted by the theory.


title: Multiwavelength campaign on Mrk 509: Reverberation of the Fe Kalpha line

abstract: We report on a detailed study of the Fe K emission/absorption complex in the nearby, bright Seyfert 1 galaxy Mrk 509. The study is part of an extensive XMM-Newton monitoring consisting of 10 pointings (~60 ks each) about once every four days, and includes also a reanalysis of previous XMM-Newton and Chandra observations. Mrk 509 shows a clear (EW=58 eV) neutral Fe Kalpha emission line that can be decomposed into a narrow (sigma=0.027 keV) component (found in the Chandra HETG data) plus a resolved (sigma=0.22 keV) component. We find the first successful measurement of a linear correlation between the intensity of the resolved line component and the 3-10 keV flux variations on time-scales of years down to a few days. The Fe Kalpha reverberates the hard X-ray continuum without any measurable lag, suggesting that the region producing the resolved Fe Kalpha component is located within a few light days-week (r<~10^3 rg) from the Black Hole (BH). The lack of a redshifted wing in the line poses a lower limit of >40 rg for its distance from the BH. The Fe Kalpha could thus be emitted from the inner regions of the BLR, i.e. within the ~80 light days indicated by the Hbeta line measurements. In addition to these two neutral Fe Kalpha components, we confirm the detection of weak (EW~8-20 eV) ionised Fe K emission. This ionised line can be modeled with either a blend of two narrow FeXXV and FeXXVI emission lines or with a single relativistic line produced, in an ionised disc, down to a few rg from the BH. Finally, we observe a weakening/disappearing of the medium and high velocity high ionisation Fe K wind features found in previous XMM-Newton observations. This campaign has made possible the first reverberation measurement of the resolved component of the Fe Kalpha line, from which we can infer a location for the bulk of its emission at a distance of r~40-1000 rg from the BH.


title: Properties of pedestrians walking in line: Stepping behavior

abstract: In human crowds, interactions among individuals give rise to a variety of self-organized collective motions that help the group to effectively solve the problem of coordination. However, it is still not known exactly how humans adjust their behavior locally, nor what are the direct consequences on the emergent organization. One of the underlying mechanisms of adjusting individual motions is the stepping dynamics. In this paper, we present first quantitative analysis on the stepping behavior in a one-dimensional pedestrian flow studied under controlled laboratory conditions. We find that the step length is proportional to the velocity of the pedestrian, and is directly related to the space available in front of him, while the variations of the step duration are much smaller. This is in contrast with locomotion studies performed on isolated pedestrians and shows that the local density has a direct influence on the stepping characteristics. Furthermore, we study the phenomena of synchronization -walking in lockstep- and show its dependence on flow densities. We show that the synchronization of steps is particularly important at high densities, which has direct impact on the studies of optimizing pedestrians flow in congested situations. However, small synchronization and antisynchronization effects are found also at very low densities, for which no steric constraints exist between successive pedestrians, showing the natural tendency to synchronize according to perceived visual signals.


title: Relational Data Mining Through Extraction of Representative Exemplars

abstract: With the growing interest on Network Analysis, Relational Data Mining is becoming an emphasized domain of Data Mining. This paper addresses the problem of extracting representative elements from a relational dataset. After defining the notion of degree of representativeness, computed using the Borda aggregation procedure, we present the extraction of exemplars which are the representative elements of the dataset. We use these concepts to build a network on the dataset. We expose the main properties of these notions and we propose two typical applications of our framework. The first application consists in resuming and structuring a set of binary images and the second in mining co-authoring relation in a research team.


title: Tractrices, Bicycle Tire Tracks, Hatchet Planimeters, and a 100-year-old Conjecture

abstract: Geometry of the tracks left by a bicycle is closely related with the so-called Prytz planimeter and with linear fractional transformations of the complex plane. We describe these relations, along with the history of the problem, and give a proof of a conjecture made by Menzin in 1906.


title: Linear kernels and single-exponential algorithms via protrusion decompositions

abstract: A \emph{$t$-treewidth-modulator} of a graph $G$ is a set $X \subseteq V(G)$ such that the treewidth of $G-X$ is at most some constant $t-1$. In this paper, we present a novel algorithm to compute a decomposition scheme for graphs $G$ that come equipped with a $t$-treewidth-modulator. This decomposition, called a \emph{protrusion decomposition}, is the cornerstone in obtaining the following two main results. We first show that any parameterized graph problem (with parameter $k$) that has \emph{finite integer index} and is \emph{treewidth-bounding} admits a linear kernel on $H$-topological-minor-free graphs, where $H$ is some arbitrary but fixed graph. A parameterized graph problem is called treewidth-bounding if all positive instances have a $t$-treewidth-modulator of size $O(k)$, for some constant $t$. This result partially extends previous meta-theorems on the existence of linear kernels on graphs of bounded genus [Bodlaender et al., FOCS 2009] and $H$-minor-free graphs [Fomin et al., SODA 2010]. Our second application concerns the Planar-$\mathcal{F}$-Deletion problem. Let $\mathcal{F}$ be a fixed finite family of graphs containing at least one planar graph. Given an $n$-vertex graph $G$ and a non-negative integer $k$, Planar-$\mathcal{F}$-Deletion asks whether $G$ has a set $X\subseteq V(G)$ such that $|X|\leq k$ and $G-X$ is $H$-minor-free for every $H\in \mathcal{F}$. Very recently, an algorithm for Planar-$\mathcal{F}$-Deletion with running time $2^{O(k)} n \log^2 n$ (such an algorithm is called \emph{single-exponential}) has been presented in [Fomin et al., FOCS 2012] under the condition that every graph in $\mathcal{F}$ is connected. Using our algorithm to construct protrusion decompositions as a building block, we get rid of this connectivity constraint and present an algorithm for the general Planar-$\mathcal{F}$-Deletion problem running in time $2^{O(k)} n^2$.


title: Searching for the first Near-Earth Object family

abstract: We report on our search for genetically related asteroids amongst the near-Earth object (NEO) population - families of NEOs akin to the well known main belt asteroid families. We used the technique proposed by Fu et al. (2005) supplemented with a detailed analysis of the statistical significance of the detected clusters. Their significance was assessed by comparison to identical searches performed on 1,000 'fuzzy-real' NEO orbit distribution models that we developed for this purpose. The family-free 'fuzzy-real' NEO models maintain both the micro and macro distribution of 5 orbital elements (ignoring the mean anomaly). Three clusters were identified that contain four or more NEOs but none of them are statistically significant at \geq 3{\sigma}. The most statistically significant cluster at the \sim 2{\sigma} level contains 4 objects with H < 20 and all members have long observational arcs and concomitant good orbital elements. Despite the low statistical significance we performed several other tests on the cluster to determine if it is likely a genetic family. The tests included examining the cluster's taxonomy, size-frequency distribution, consistency with a family-forming event during tidal disruption in a close approach to Mars, and whether it is detectable in a proper element cluster search. None of these tests exclude the possibility that the cluster is a family but neither do they confirm the hypothesis. We conclude that we have not identified any NEO families.


title: Low temperature crystallization of diamond-like carbon films to graphene by low energy plasma surface treatment

abstract: Plasma surface modification was used to fabricate graphene on the top of insulating diamond-like carbon films. It is shown that by a combination of pulsed argon plasma treatment and thermal annealing at 350\degreeC is possible to achieve partial crystallization of amorphous carbon to graphene. The observed Raman spectra are typical for defected graphene - splitted D- and G-peaks and a broad 2D-peak. This result is very encouraging and we hope that by improving this technology it will be possible to fabricate defect-free graphene, which can be used in electronics without transfer to other substrates.


title: Slice knots which bound punctured Klein bottles

abstract: We investigate the properties of knots in S^3 which bound Klein bottles, such that a pushoff of the knot has zero linking number with the knot, i.e. has zero framing. This is motivated by the many results in the literature regarding slice knots of genus one, for example, the existence of homologically essential zero self-linking simple closed curves on genus one Seifert surfaces for algebraically slice knots. Given a knot K bounding a Klein bottle F with zero framing, we show that J, the core of the orientation-preserving band in any disk-band form of F, has zero self-linking. We prove that such a K is slice in a Z[1/2]-homology 4-ball if and only if J is as well, a stronger result than what is currently known for genus one slice knots. As an application, we prove that given knots K and J and any odd integer p, the (2, p) cables of K and J are Z[1/2]-concordant if and only if K and J are Z[1/2]-concordant. In particular, if the (2,1)-cable of a knot K is slice, K is slice in a Z[1/2]-homology ball.


title: Distribution function approach to redshift space distortions. Part IV: perturbation theory applied to dark matter

abstract: We develop a perturbative approach to redshift space distortions (RSD) using the phase space distribution function approach and apply it to the dark matter redshift space power spectrum and its moments. RSD can be written as a sum over density weighted velocity moments correlators, with the lowest order being density, momentum density and stress energy density. We use standard and extended perturbation theory (PT) to determine their auto and cross correlators, comparing them to N-body simulations. We show which of the terms can be modeled well with the standard PT and which need additional terms that include higher order corrections which cannot be modeled in PT. Most of these additional terms are related to the small scale velocity dispersion effects, the so called finger of god (FoG) effects, which affect some, but not all, of the terms in this expansion, and which can be approximately modeled using a simple physically motivated ansatz such as the halo model. We point out that there are several velocity dispersions that enter into the detailed RSD analysis with very different amplitudes, which can be approximately predicted by the halo model. In contrast to previous models our approach systematically includes all of the terms at a given order in PT and provides a physical interpretation for the small scale dispersion values. We investigate RSD power spectrum as a function of \mu, the cosine of the angle between the Fourier mode and line of sight, focusing on the lowest order powers of \mu and multipole moments which dominate the observable RSD power spectrum. Overall we find considerable success in modeling many, but not all, of the terms in this expansion.


title: On Rainbow Cycles and Paths

abstract: In a properly edge colored graph, a subgraph using every color at most once is called rainbow. In this thesis, we study rainbow cycles and paths in proper edge colorings of complete graphs, and we prove that in every proper edge coloring of K_n, there is a rainbow path on (3/4-o(1))n vertices, improving on the previously best bound of (2n+1)/3 from Gyarfas and Mhalla. Similarly, a k-rainbow path in a proper edge coloring of K_n is a path using no color more than k times. We prove that in every proper edge coloring of K_n, there is a k-rainbow path on (1-2/(k+1)!)n vertices.


title: Entropic force approach in a noncommutative charged black hole and the equivalence principle

abstract: Recently, Verlinde has suggested a novel model of duality between thermodynamics and gravity which leads to an emergent phenomenon for the origin of gravity and general relativity. In this paper, we investigate some features of this model in the presence of noncommutative charged black hole by performing the method of coordinate coherent states representing smeared structures. We derive several quantities, e.g. temperature, energy and entropic force. Our approach clearly exhibits that the entropic force on a smallest fundamental cell of holographic surface with radius $r_0$ is halted. Accordingly, we can conclude that the black hole remnants are absolutely inert without gravitational interactions. So, the equivalence principle of general relativity is contravened due to the fact that it is now possible to find a difference between the gravitational and inertial mass. In other words, the gravitational mass in the remnant size does not emit any gravitational field, therefore it is experienced to be zero, contrary to the inertial mass. This phenomenon illustrates a good example for a feasible experimental confirmation to the entropic picture of Newton's Second law in very short distances.


title: On Gaps Between Primitive Roots in the Hamming Metric

abstract: We consider a modification of the classical number theoretic question about the gaps between consecutive primitive roots modulo a prime $p$, which by the well-known result of Burgess are known to be at most $p^{1/4+o(1)}$. Here we measure the distance in the Hamming metric and show that if $p$ is a sufficiently large $r$-bit prime, then for any integer $n \in [1,p]$ one can obtain a primitive root modulo $p$ by changing at most $0.11002786...r$ binary digits of $n$. This is stronger than what can be deduced from the Burgess result. Experimentally, the number of necessary bit changes is very small. We also show that each Hilbert cube contained in the complement of the primitive roots modulo $p$ has dimension at most $O(p^{1/5+\epsilon})$, improving on previous results of this kind.


title: A new look at short-term implied volatility in asset price models with jumps

abstract: We analyse the behaviour of the implied volatility smile for options close to expiry in the exponential L\'evy class of asset price models with jumps. We introduce a new renormalisation of the strike variable with the property that the implied volatility converges to a non-constant limiting shape, which is a function of both the diffusion component of the process and the jump activity (Blumenthal-Getoor) index of the jump component. Our limiting implied volatility formula relates the jump activity of the underlying asset price process to the short end of the implied volatility surface and sheds new light on the difference between finite and infinite variation jumps from the viewpoint of option prices: in the latter, the wings of the limiting smile are determined by the jump activity indices of the positive and negative jumps, whereas in the former, the wings have a constant model-independent slope. This result gives a theoretical justification for the preference of the infinite variation L\'evy models over the finite variation ones in the calibration based on short-maturity option prices.


title: Integrating Numerical Computation into the Modeling Instruction Curriculum

abstract: We describe a way to introduce physics high school students with no background in programming to computational problem-solving experiences. Our approach builds on the great strides made by the Modeling Instruction reform curriculum. This approach emphasizes the practices of "Developing and using models" and "Computational thinking" highlighted by the NRC K-12 science standards framework. We taught 9th-grade students in a Modeling-Instruction-based physics course to construct computational models using the VPython programming environment. Numerical computation within the Modeling Instruction curriculum provides coherence among the curriculum's different force and motion models, links the various representations which the curriculum employs, and extends the curriculum to include real-world problems that are inaccessible to a purely analytic approach.


title: Acoustophoresis in Variously Shaped Liquid Droplets

abstract: The ability to precisely trap, transport and manipulate micrometer-sized objects, including biological cells, DNA-coated microspheres and microorganisms, is very important in life science studies and biomedical applications. In this study, acoustic radiation force in an ultrasonic standing wave field is used for micro-objects manipulation, a technique termed as acoustophoresis. Free surfaces of liquid droplets are used as sound reflectors to confine sound waves inside the droplets. Two techniques were developed for precise control of droplet shapes: edge pinning and hydrophilic/hydrophobic interface pinning. For all tested droplet shapes, including circular, annular and rectangular, our experiments show that polymer micro particles can be manipulated by ultrasound and form into a variety of patterns, for example, concentric rings and radial lines in an annular droplet. The complexity of the pattern increases with increasing frequency, and the observations are in line with simulation results. The acoustic manipulation technique developed here has the potential to be integrated into a more complex on-chip microfluidic circuit. Especially because our method is well compatible with electrowetting technology, which is a powerful tool for manipulating droplets with free surfaces, the combination of the two methods can provide more versatile manipulation abilities and may bring a wealth of novel applications. In the end, we demonstrate for the first time that acoustophoresis can be used for manipulating Caenorhabditis elegans.


title: Entangled states of trapped ions allow measuring the magnetic field gradient of a single atomic spin

abstract: Using trapped ions in an entangled state we propose detecting a magnetic dipole of a single atom at distance of a few $\mu$m. This requires a measurement of the magnetic field gradient at a level of about 10$^{-13}$ Tesla/$\mu$m. We discuss applications e.g. in determining a wide variation of ionic magnetic moments, for investigating the magnetic substructure of ions with a level structure not accessible for optical cooling and detection,and for studying exotic or rare ions, and molecular ions. The scheme may also be used for measureing spin imbalances of neutral atoms or atomic ensembles trapped by optical dipole forces. As the proposed method relies on techniques well established in ion trap quantum information processing it is within reach of current technology.


title: Memristor-based mono-stable oscillator

abstract: In this letter, a reactance-less mono-stable oscillator is introduced for the first time using memristors. By replacing bulky inductors and capacitors with memristors, the novel mono-stable oscillator can be an area-efficient solution for on-chip fully integrated systems. The proposed circuit is described, mathematically analysed and verified by circuit simulations.


title: Freezing of a Liquid Marble

abstract: In this study, we present for the first time the observations of a freezing liquid marble. In the experiment, liquid marbles are gently placed on the cold side of a Thermo-Electric Cooler (TEC) and the morphological changes are recorded and characterized thereafter. These liquid marbles are noticed to undergo a shape transition from a spherical to a flying-saucer shaped morphology. The freezing dynamics of liquid marbles is observed to be very different from that of a freezing water droplet on a superhydrophobic surface. For example, the pointy tip appearing on a frozen water drop could not be observed for a frozen liquid marble. In the end, we highlight a possible explanation for the observed morphology.


title: Liquid marbles as thermally robust droplets: coating-assisted Leidenfrost-like effect

abstract: The Leidenfrost effect-prolonged evaporation of droplets on a superheated surface-happens only when the surface temperature is above a certain transitional value. Here, we show that specially engineered droplets - liquid marbles - can exhibit similar effect at any superheated temperatures (up to 465 oC tested in our experiment) without a transition. Very possibly, this phenomenon is due to the fact that liquid marbles are droplets coated with microparticles and these microparticles help levitate the liquid core and maintain an insulation layer between the liquid and the superheated surface.


title: On the Cusp Forms of Congruence Subgroups of an almost Simple Lie group

abstract: In this paper we address the issue of existence of cusp forms for almost simple Lie groups using the approach of the second author combined with local information on supercuspidal representations for $p$-adic groups known by the first author. We pay special attention to the case of $SL_M(\Bbb R)$ where we prove various existence results for principal congruence subgroups.


title: Simple graphene chemiresistors as pH sensors: fabrication and characterization

abstract: We report the fabrication and characterization of a simple gate-free graphene device as a pH sensor. The graphene sheets are made by mechanical exfoliation. Platinum contact electrodes are fabricated with a mask-free process using focused ion beam, and then expanded by silver paint. Annealing is used to improve the electrical contact. The experiment on the fabricated graphene device shows that the resistance of the device decreases linearly with increasing pH values (in the range of 4-10)in the surrounding liquid environment. The resolution achieved in our experiments is approximately 0.3 pH in alkali environment. The sensitivity of the device is calculated as approximately 2 k\Omega /pH. The simple configuration, miniaturized size and the integration ability make graphene-based sensors promising candidates for future micro/nano applications.


title: Counter-Factual Reinforcement Learning: How to Model Decision-Makers That Anticipate The Future

abstract: This paper introduces a novel framework for modeling interacting humans in a multi-stage game. This "iterated semi network-form game" framework has the following desirable characteristics: (1) Bounded rational players, (2) strategic players (i.e., players account for one another's reward functions when predicting one another's behavior), and (3) computational tractability even on real-world systems. We achieve these benefits by combining concepts from game theory and reinforcement learning. To be precise, we extend the bounded rational "level-K reasoning" model to apply to games over multiple stages. Our extension allows the decomposition of the overall modeling problem into a series of smaller ones, each of which can be solved by standard reinforcement learning algorithms. We call this hybrid approach "level-K reinforcement learning". We investigate these ideas in a cyber battle scenario over a smart power grid and discuss the relationship between the behavior predicted by our model and what one might expect of real human defenders and attackers.


title: Geophysical and geochemical constraints on geoneutrino fluxes from Earth's mantle

abstract: Knowledge of the amount and distribution of radiogenic heating in the mantle is crucial for understanding the dynamics of the Earth, including its thermal evolution, the style and planform of mantle convection, and the energetics of the core. Although the flux of heat from the surface of the planet is robustly estimated, the contributions of radiogenic heating and secular cooling remain poorly defined. Constraining the amount of heat-producing elements in the Earth will provide clues to understanding nebula condensation and planetary formation processes in early Solar System. Mantle radioactivity supplies power for mantle convection and plate tectonics, but estimates of mantle radiogenic heat production vary by a factor of more than 20. Recent experimental results demonstrate the potential for direct assessment of mantle radioactivity through observations of geoneutrinos, which are emitted by naturally occurring radionuclides. Predictions of the geoneutrino signal from the mantle exist for several established estimates of mantle composition. Here we present novel analyses, illustrating surface variations of the mantle geoneutrino signal for models of the deep mantle structure, including those based on seismic tomography. These variations have measurable differences for some models, allowing new and meaningful constraints on the dynamics of the planet. An ocean based geoneutrino detector deployed at several strategic locations will be able to discriminate between competing compositional models of the bulk silicate Earth.


title: CROSS-MBCR: Exact Minimum Bandwith Coordinated Regenerating Codes

abstract: We study the exact and optimal repair of multiple failures in codes for distributed storage. More particularly, we provide an explicit construction of exact minimum bandwidth coordinated regenerating codes (MBCR) for n=d+t,k,d >= k,t >= 1. Our construction differs from existing constructions by allowing both t>1 (i.e., repair of multiple failures) and d>k (i.e., contacting more than k devices during repair).


title: An Exploratory Study of Forces and Frictions affecting Large-Scale Model-Driven Development

abstract: In this paper, we investigate model-driven engineering, reporting on an exploratory case-study conducted at a large automotive company. The study consisted of interviews with 20 engineers and managers working in different roles. We found that, in the context of a large organization, contextual forces dominate the cognitive issues of using model-driven technology. The four forces we identified that are likely independent of the particular abstractions chosen as the basis of software development are the need for diffing in software product lines, the needs for problem-specific languages and types, the need for live modeling in exploratory activities, and the need for point-to-point traceability between artifacts. We also identified triggers of accidental complexity, which we refer to as points of friction introduced by languages and tools. Examples of the friction points identified are insufficient support for model diffing, point-to-point traceability, and model changes at runtime.


title: The unusual smoothness of the extragalactic unresolved radio background

abstract: If the radio background is coming from cosmological sources, there should be some amount of clustering due to the large scale structure in the universe. Simple models for the expected clustering combined with the recent measurement by ARCADE-2 of the mean extragalactic temperature lead to predicted clustering levels that are substantially above upper limits from searches for anisotropy on arcminute scales using ATCA and the VLA. The rms temperature variations in the cosmic radio background appear to be more than a factor of 10 smaller (in temperature) than the fluctuations in the cosmic infrared background. It is therefore extremely unlikely that this background comes from galaxies, galaxy clusters, or any sources that trace dark matter halos at z<5, unless typical sources are smooth on arcminute scales, requiring typical sizes of several Mpc.


title: Possibility of Gravitational Tempering in Colloidal Epitaxy to Obtain a Perfect Crystal

abstract: We have performed Monte Carlo simulations of hard spheres on a pattern under gravity. We have found that a crystal formed at a moderate gravity strength contains essentially no defects while one formed at a higher strength gravity contains a significant amount of defects. This result suggests the possibility of using gravitational-tempering in a colloidal epitaxy to reduce the number of defects in colloidal crystals. Moreover, we wish to emphasize the possibility to obtain a perfect crystal.


title: Violation of the Robertson-Schr\"odinger uncertainty principle and non-commutative quantum mechanics

abstract: We show that a possible violation of the Robertson-Schr\"odinger uncertainty principle may signal the existence of a deformation of the Heisenberg-Weyl algebra. More precisely, we prove that any Gaussian in phase-space (even if it violates the Robertson-Schr\"odinger uncertainty principle) is always a quantum state of an appropriate non-commutative extension of quantum mechanics. Conversely, all canonical non-commutative extensions of quantum mechanics display states that violate the Robertson-Schr\"odinger uncertainty principle.


title: L^2-Theory for non-symmetric Ornstein-Uhlenbeck semigroups on domains

abstract: We present some new results on analytic Ornstein-Uhlenbeck semigroups and use them to extend recent work of Da Prato and Lunardi for Ornstein-Uhlenbeck semigroups on open domains O to the non-symmetric case. Denoting the generator of the semigroup by L_O, we obtain sufficient conditions in order that the domain Dom(\sqrt{-L_O}) be a first order Sobolev space.


title: A homotopy theory of weak {\omega}-categories

abstract: In this paper, we consider the model structure on the category of cellular sets originally conjectured by Cisinski and Joyal to give a model for the homotopy theory of weak (\omega)-categories. We demonstrate first that any (\Theta)-localizer containing the spine inclusions (\iota: \Sp[t] \hookrightarrow \Theta[t]) must also contain the maps (X\times \iota: X\times \Sp[t] \hookrightarrow X\times \Theta[t]) for all objects ([t]) of (\Theta) and all cellular sets (X). This implies in particular that a cellular set (S) is local with respect to the set of spine inclusions if and only if it is Cartesian-local. However, we show that the minimal localizer containing the spine inclusions is not stable under two-point suspension, which implies that the equivalences between objects fibrant for this model structure only depend on their height-(0) and height-(1) structure. We then try to see if adopting an approach similar to Rezk's, namely looking at all of the suspensions of the inclusion of a point into a freestanding isomorphism. We call the fibrant objects for this model structure \dfn{isostable Joyal-fibrant} cellular sets. We understand the resulting model structure to be conjectured by a few mathematicians to give a model structure for a category of weak (\omega)-categories. However, we make short work of this claim by producing an explicit example of a nontrivial contractible cofibrant strict (\omega)-category (with respect to the folk model structure) and showing that it is, first, not trivially fibrant, and second, proving that it is fibrant with respect to the isomorphism-stable Joyal model structure. We then speculate on a few of the possible ways to construct a localizer that does actually have our desired properties, leaving this question open for a future revision.


title: Silo collapse under granular discharge

abstract: We investigate, at a laboratory scale, the collapse of cylindrical shells of radius $R$ and thickness $t$ induced by a granular discharge. We measure the critical filling height for which the structure fails upon discharge. We observe that the silos sustain filling heights significantly above an estimation obtained by coupling standard shell-buckling and granular stress distribution theories. Two effects contribute to stabilize the structure: (i) below the critical filling height, a dynamical stabilization due to granular wall friction prevents the localized shell-buckling modes to grow irreversibly; (ii) above the critical filling height, collapse occurs before the downward sliding motion of the whole granular column sets in, such that only a partial friction mobilization is at play. However, we notice also that the critical filling height is reduced as the grain size, $d$, increases. The importance of grain size contribution is controlled by the ratio $d/\sqrt{R t}$. We rationalize these antagonist effects with a novel fluid/structure theory both accounting for the actual status of granular friction at the wall and the inherent shell imperfections mediated by the grains. This theory yields new scaling predictions which are compared with the experimental results.


title: Time Evolution within a Comoving Window: Scaling of signal fronts and magnetization plateaus after a local quench in quantum spin chains

abstract: We present a modification of Matrix Product State time evolution to simulate the propagation of signal fronts on infinite one-dimensional systems. We restrict the calculation to a window moving along with a signal, which by the Lieb-Robinson bound is contained within a light cone. Signal fronts can be studied unperturbed and with high precision for much longer times than on finite systems. Entanglement inside the window is naturally small, greatly lowering computational effort. We investigate the time evolution of the transverse field Ising (TFI) model and of the S=1/2 XXZ antiferromagnet in their symmetry broken phases after several different local quantum quenches. In both models, we observe distinct magnetization plateaus at the signal front for very large times, resembling those previously observed for the particle density of tight binding (TB) fermions. We show that the normalized difference to the magnetization of the ground state exhibits similar scaling behaviour as the density of TB fermions. In the XXZ model there is an additional internal structure of the signal front due to pairing, and wider plateaus with tight binding scaling exponents for the normalized excess magnetization. We also observe parameter dependent interaction effects between individual plateaus, resulting in a slight spatial compression of the plateau widths. In the TFI model, we additionally find that for an initial Jordan-Wigner domain wall state, the complete time evolution of the normalized excess longitudinal magnetization agrees exactly with the particle density of TB fermions.


title: Abelian Vortices with Singularities

abstract: Let L --> X be a complex line bundle over a compact connected Riemann surface. We consider the abelian vortex equations on L when the metric on the surface has finitely many point degeneracies or conical singularities and the line bundle has parabolic structure. These conditions appear naturally in the study of vortex configurations with constraints, or configurations invariant under the action of a finite group. We first show that the moduli space of singular vortex solutions is the same as in the regular case. Then we compute the total volume and total scalar curvature of the moduli space singular vortex solutions. These numbers differ from the case of regular vortices by a very natural term. Finally we exhibit explicit non-trivial vortex solutions over the thrice punctured hyperbolic sphere.


title: Fermionic Dark Matter in Radiative Inverse Seesaw Model with U(1)_{B-L}

abstract: We construct a radiative inverse seesaw model with local B-L symmetry, and investigate the flavor structure of the lepton sector and the fermionic Dark Matter. Neutrino masses are radiatively generated through a kind of inverse seesaw framework. The PMNS matrix is derived from each mixing matrix of the neutrino and charged lepton sector with large Dirac CP phase. We show that the annihilation processes via the interactions with Higgses which are independent on the lepton flavor violation, have to be dominant in order to satisfy the observed relic abundance by WMAP. The new interactions with Higgses allow us to be consistent with the direct detection result reported by XENON100, and it is possible to verify the model by the exposure of XENON100 (2012).


title: Asymptotic normality of maximum likelihood and its variational approximation for stochastic blockmodels

abstract: Variational methods for parameter estimation are an active research area, potentially offering computationally tractable heuristics with theoretical performance bounds. We build on recent work that applies such methods to network data, and establish asymptotic normality rates for parameter estimates of stochastic blockmodel data, by either maximum likelihood or variational estimation. The result also applies to various sub-models of the stochastic blockmodel found in the literature.


title: Variability monitoring of the hydroxyl maser emission in G12.889+0.489

abstract: Through a series of observations with the Australia Telescope Compact Array we have monitored the variability of ground-state hydroxyl maser emission from G12.889+0.489 in all four Stokes polarisation products. These observations were motivated by the known periodicity in the associated 6.7-GHz methanol maser emission. A total of 27 epochs of observations were made over 16 months. No emission was seen from either the 1612 or 1720 MHz satellite line transitions (to a typical five sigma upper limit of 0.2 Jy). The peak flux densities of the 1665 and 1667 MHz emission were observed to vary at a level of ~20% (with the exception of one epoch which dropped by <40%). There was no distinct flaring activity at any epoch, but there was a weak indication of periodic variability, with a period and phase of minimum emission similar to that of methanol. There is no significant variation in the polarised properties of the hydroxyl, with Stokes Q and U flux densities varying in accord with the Stokes I intensity (linear polarisation, P, varying by <20%) and the right and left circularly polarised components varying by <33% at 1665-MHz and <38% at 1667-MHz. These observations are the first monitoring observations of the hydroxyl maser emission from G12.889+0.489.


title: Sparse Positional Strategies for Safety Games

abstract: We consider the problem of obtaining sparse positional strategies for safety games. Such games are a commonly used model in many formal methods, as they make the interaction of a system with its environment explicit. Often, a winning strategy for one of the players is used as a certificate or as an artefact for further processing in the application. Small such certificates, i.e., strategies that can be written down very compactly, are typically preferred. For safety games, we only need to consider positional strategies. These map game positions of a player onto a move that is to be taken by the player whenever the play enters that position. For representing positional strategies compactly, a common goal is to minimize the number of positions for which a winning player's move needs to be defined such that the game is still won by the same player, without visiting a position with an undefined next move. We call winning strategies in which the next move is defined for few of the player's positions sparse. Unfortunately, even roughly approximating the density of the sparsest strategy for a safety game has been shown to be NP-hard. Thus, to obtain sparse strategies in practice, one either has to apply some heuristics, or use some exhaustive search technique, like ILP (integer linear programming) solving. In this paper, we perform a comparative study of currently available methods to obtain sparse winning strategies for the safety player in safety games. We consider techniques from common knowledge, such as using ILP or SAT (satisfiability) solving, and a novel technique based on iterative linear programming. The results of this paper tell us if current techniques are already scalable enough for practical use.


title: Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs

abstract: We present a framework that takes a concurrent program composed of unsynchronized processes, along with a temporal specification of their global concurrent behaviour, and automatically generates a concurrent program with synchronization ensuring correct global behaviour. Our methodology supports finite-state concurrent programs composed of processes that may have local and shared variables, may be straight-line or branching programs, may be ongoing or terminating, and may have program-initialized or user-initialized variables. The specification language is an extension of propositional Computation Tree Logic (CTL) that enables easy specification of safety and liveness properties over control and data variables. The framework also supports synthesis of synchronization at different levels of abstraction and granularity.


title: Theory and Techniques for Synthesizing a Family of Graph Algorithms

abstract: Although Breadth-First Search (BFS) has several advantages over Depth-First Search (DFS) its prohibitive space requirements have meant that algorithm designers often pass it over in favor of DFS. To address this shortcoming, we introduce a theory of Efficient BFS (EBFS) along with a simple recursive program schema for carrying out the search. The theory is based on dominance relations, a long standing technique from the field of search algorithms. We show how the theory can be used to systematically derive solutions to two graph algorithms, namely the Single Source Shortest Path problem and the Minimum Spanning Tree problem. The solutions are found by making small systematic changes to the derivation, revealing the connections between the two problems which are often obscured in textbook presentations of them.


title: Measuring Progress of Probabilistic LTL Model Checking

abstract: Recently, Zhang and Van Breugel introduced the notion of a progress measure for a probabilistic model checker. Given a linear-time property P and a description of the part of the system that has already been checked, the progress measure returns a real number in the unit interval. The real number captures how much progress the model checker has made towards verifying P. If the progress is zero, no progress has been made. If it is one, the model checker is done. They showed that the progress measure provides a lower bound for the measure of the set of execution paths that satisfy P. They also presented an algorithm to compute the progress measure when P is an invariant. In this paper, we present an algorithm to compute the progress measure when P is a formula of a positive fragment of linear temporal logic. In this fragment, we can express invariants but also many other interesting properties. The algorithm is exponential in the size of P and polynomial in the size of that part of the system that has already been checked. We also present an algorithm to compute a lower bound for the progress measure in polynomial time.


title: Quantitative Information Flow as Safety and Liveness Hyperproperties

abstract: We employ Clarkson and Schneider's "hyperproperties" to classify various verification problems of quantitative information flow. The results of this paper unify and extend the previous results on the hardness of checking and inferring quantitative information flow. In particular, we identify a subclass of liveness hyperproperties, which we call "k-observable hyperproperties", that can be checked relative to a reachability oracle via self composition.


title: Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems

abstract: Differential privacy is a modern approach in privacy-preserving data analysis to control the amount of information that can be inferred about an individual by querying a database. The most common techniques are based on the introduction of probabilistic noise, often defined as a Laplacian parametric on the sensitivity of the query. In order to maximize the utility of the query, it is crucial to estimate the sensitivity as precisely as possible. In this paper we consider relational algebra, the classical language for queries in relational databases, and we propose a method for computing a bound on the sensitivity of queries in an intuitive and compositional way. We use constraint-based techniques to accumulate the information on the possible values for attributes provided by the various components of the query, thus making it possible to compute tight bounds on the sensitivity.


title: Hybrid performance modelling of opportunistic networks

abstract: We demonstrate the modelling of opportunistic networks using the process algebra stochastic HYPE. Network traffic is modelled as continuous flows, contact between nodes in the network is modelled stochastically, and instantaneous decisions are modelled as discrete events. Our model describes a network of stationary video sensors with a mobile ferry which collects data from the sensors and delivers it to the base station. We consider different mobility models and different buffer sizes for the ferries. This case study illustrates the flexibility and expressive power of stochastic HYPE. We also discuss the software that enables us to describe stochastic HYPE models and simulate them.


title: Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes

abstract: We have recently defined a weak Markovian bisimulation equivalence in an integrated-time setting, which reduces sequences of exponentially timed internal actions to individual exponentially timed internal actions having the same average duration and execution probability as the corresponding sequences. This weak Markovian bisimulation equivalence is a congruence for sequential processes with abstraction and turns out to induce an exact CTMC-level aggregation at steady state for all the considered processes. However, it is not a congruence with respect to parallel composition. In this paper, we show how to generalize the equivalence in a way that a reasonable tradeoff among abstraction, compositionality, and exactness is achieved for concurrent processes. We will see that, by enhancing the abstraction capability in the presence of concurrent computations, it is possible to retrieve the congruence property with respect to parallel composition, with the resulting CTMC-level aggregation being exact at steady state only for a certain subset of the considered processes.


title: Feathering Instability of Spiral Arms. I: Formulation of the Problem

abstract: In this paper we study the feathering substructures along spiral arms by considering the perturbational gas response to a spiral shock. Feathers are density fluctuations that jut out from the spiral arm to the inter-arm region at pitch angles given by the quantum numbers of the doubly-periodic structure. In a localized asymptotic approximation, related to the shearing sheet except that the inhomogeneities occur in space rather than in time, we derive the linearized perturbation equations for a razor-thin disk with turbulent interstellar gas, frozen-in magnetic field, and gaseous self-gravity. Apart from the modal quantum numbers, the individual normal modes of the system depend on seven dimensionless quantities that characterize the underlying time-independent axisymmetric state plus its steady, nonlinear, two-armed spiral-shock (TASS) response to a hypothesized background density-wave supported by the disk stars of the galaxy. We show that some of these normal modes have positive growth rates. Their over-density contours in the post-shock region are very reminiscent of observed feathering substructures in full magnetohydrodynamic (MHD) simulations. The feathering substructures are parasitic instabilities intrinsic to the system; thus, their study not only provides potential diagnostics for important parameters that characterize the interstellar medium of external galaxies, but also yields a deeper understanding of the basic mechanism that drives the formation of the giant molecular clouds (GMCs) and the OB stars that outline observed grand-design spirals.


title: Gravitational Waves in a Spatially Closed deSitter Spacetime

abstract: Perturbation of gravitational fields may be decomposed into scalar,vector and tensor components.In this paper we concern with the evolution of tensor mode perturbations in a spatially closed deSitter background of RW form. It may be thought as gravitional waves in a classical description. The chosen background has the advantage of to be maximally extended and symmetric. The spatially flat models commonly emerge from inflationary scenarios are not completely extended.We first derive the general weak field equations.Then the form of the field equations in two special cases, planar and spherical waves are obtained and their solutions are presented. We conclued with discussing the significance of the results and their implications.


title: Exchanging Third-Party Information with Minimum Transmission Cost

abstract: In this paper, we consider the problem of minimizing the total transmission cost for exchanging channel state information. We proposed a network coded cooperative data exchange scheme, such that the total transmission cost is minimized while each client can decode all the channel information held by all other clients. In this paper, we first derive a necessary and sufficient condition for a feasible transmission. Based on the derived condition, there exists a feasible code design to guarantee that each client can decode the complete information. We further formulate the problem of minimizing the total transmission cost as an integer linear programming. Finally, we discuss the probability that each client can decode the complete information with distributed random linear network coding.


title: Measurement of the Bs effective lifetime in the J/psi f0(980) final state

abstract: The effective lifetime of the Bs meson in the decay mode Bs->J/\psi f0(980) is measured using 1.0/fb of data collected in pp collisions at sqrt(s) = 7 TeV with the LHCb detector. The result is 1.700 +/- 0.040 +/- 0.026 ps where the first uncertainty is statistical and the second systematic. As the final state is CP-odd, and CP violation in this mode is measured to be small, the lifetime measurement can be translated into a measurement of the decay width of the heavy Bs mass eigenstate, \Gamma_H = (0.588 +/- 0.014 +/- 0.009)/ps.


title: Exact Cooperative Regenerating Codes with Minimum-Repair-Bandwidth for Distributed Storage

abstract: We give an explicit construction of exact cooperative regenerating codes at the MBCR (minimum bandwidth cooperative regeneration) point. Before the paper, the only known explicit MBCR code is given with parameters $n=d+r$ and $d=k$, while our construction applies to all possible values of $n,k,d,r$. The code has a brief expression in the polynomial form and the data reconstruction is accomplished by bivariate polynomial interpolation. It is a scalar code and operates over a finite field of size $q\geq n$. Besides, we establish several subspace properties for linear exact MBCR codes. Based on these properties we prove that linear exact MBCR codes cannot achieve repair-by-transfer.