title: Reachability Analysis of Time Basic Petri Nets: a Time Coverage Approach

abstract: We introduce a technique for reachability analysis of Time-Basic (TB) Petri nets, a powerful formalism for real- time systems where time constraints are expressed as intervals, representing possible transition firing times, whose bounds are functions of marking's time description. The technique consists of building a symbolic reachability graph relying on a sort of time coverage, and overcomes the limitations of the only available analyzer for TB nets, based in turn on a time-bounded inspection of a (possibly infinite) reachability-tree. The graph construction algorithm has been automated by a tool-set, briefly described in the paper together with its main functionality and analysis capability. A running example is used throughout the paper to sketch the symbolic graph construction. A use case describing a small real system - that the running example is an excerpt from - has been employed to benchmark the technique and the tool-set. The main outcome of this test are also presented in the paper. Ongoing work, in the perspective of integrating with a model-checking engine, is shortly discussed.


title: Asymptotic expansion of beta matrix models in the one-cut regime

abstract: We prove the existence of a 1/N expansion to all orders in beta matrix models with a confining, off-critical potential corresponding to an equilibrium measure with a connected support. Thus, the coefficients of the expansion can be obtained recursively by the "topological recursion" of Chekhov and Eynard. Our method relies on the combination of a priori bounds on the correlators and the study of Schwinger-Dyson equations, thanks to the uses of classical complex analysis techniques. These a priori bounds can be derived following Boutet de Monvel, Pastur and Shcherbina, or for strictly convex potentials by using concentration of measure. Doing so, we extend the strategy of Guionnet and Maurel-Segala, from the hermitian models (beta = 2) and perturbative potentials, to general beta models. The existence of the first correction in 1/N has been considered previously by Johansson and more recently by Kriecherbauer and Shcherbina. Here, by taking similar hypotheses, we extend the result to all orders in 1/N.


title: Generalised Poincar\'e series and embedded resolution of curves

abstract: The purpose of this paper is to extend the notions of generalised Poincar\'e series and divisorial generalised Poincar\'e series (of motivic nature) introduced by Campillo, Delgado and Gusein-Zade for complex curve singularities to curves defined over perfect fields, as well as to express them in terms of an embedded resolution of curves.


title: Disclination Loops, Hedgehogs, and All That

abstract: The homotopy theory of topological defects is a powerful tool for organizing and unifying many ideas across a broad range of physical systems. Recently, experimental progress has been made in controlling and measuring colloidal inclusions in liquid crystalline phases. The topological structure of these systems is quite rich but, at the same time, subtle. Motivated by experiment and the power of topological reasoning, we review and expound upon the classification of defects in uniaxial nematic liquid crystals. Particular attention is paid to the ambiguities that arise in these systems, which have no counterpart in the much-storied XY model or the Heisenberg ferromagnet.


title: d-Representability of simplicial complexes of fixed dimension

abstract: Let K be a simplicial complex with vertex set V = {v_1,..., v_n}. The complex K is d-representable if there is a collection {C_1,...,C_n} of convex sets in R^d such that a subcollection {C_{i_1},...,C_{i_j}} has a nonempty intersection if and only if {v_{i_1},...,v_{i_j}} is a face of K. In 1967 Wegner proved that every simplicial complex of dimension d is (2d+1)-representable. He also suggested that his bound is the best possible, i.e., that there are $d$-dimensional simplicial complexes which are not 2d-representable. However, he was not able to prove his suggestion. We prove that his suggestion was indeed right. Thus we add another piece to the puzzle of intersection patterns of convex sets in Euclidean space.


title: A note on the computation of the Frobenius number of a numerical semigroup

abstract: In this note we observe that the Frobenius number and therefore the conductor of a numerical semigroup can be obtained from the maximal socle degree of the quotient of the corresponding semigroup algebra by the ideal generated by the biggest generator of the semigroup.


title: Spectral and stochastic properties of the $f$-Laplacian, solutions of PDE's at infinity, and geometric applications

abstract: The aim of this paper is to suggest a new viewpoint to study qualitative properties of solutions of semilinear elliptic PDE's defined outside a compact set. The relevant tools come from spectral theory and from a combination of stochastic properties of the relevant differential operators. Possible links between spectral and stochastic properties are analyzed in detail.


title: Poincar\'e series for plane curve singularities and their behaviour under projections

abstract: Our purpose is to investigate all defined Poincar\'e series associated with multi-index filtrations and value semigroups of curve singularities---not necessarily complex---with regard to the property of forgetting variables, i.e., by making variables of the series to be 1. Generalised Poincar\'e series of motivic nature will be also considered.


title: Scaling properties and universality of first-passage time probabilities in financial markets

abstract: Financial markets provide an ideal frame for the study of crossing or first-passage time events of non-Gaussian correlated dynamics mainly because large data sets are available. Tick-by-tick data of six futures markets are herein considered resulting in fat tailed first-passage time probabilities. The scaling of the return with the standard deviation collapses the probabilities of all markets examined, and also for different time horizons, into single curves, suggesting that first-passage statistics is market independent (at least for high-frequency data). On the other hand, a very closely related quantity, the survival probability, shows, away from the center and tails of the distribution, a hyperbolic $t^{-1/2}$ decay typical of a Markovian dynamics albeit the existence of memory in markets. Modifications of the Weibull and Student distributions are good candidates for the phenomenological description of first-passage time properties under certain regimes. The scaling strategies shown may be useful for risk control and algorithmic trading.

categories: q-fin.ST math-ph math.MP physics.data-an


title: Tagged-particle motion in glassy systems under shear: Comparison of mode coupling theory and Brownian Dynamics simulations

abstract: We study the dynamics of a tagged particle in a glassy system under shear. The recently developed integration through transients approach based on mode coupling theory, is continued to arrive at the equations for the tagged particle correlators and the mean squared displacements. The equations are solved numerically for a two dimensional system, including a nonlinear stability analysis of the glass solution, the so called beta-analysis. We perform Brownian Dynamics simulations in 2-D and compare with theory. After switch on, transient glassy correlation functions show strong fingerprints of the stress overshoot scenario, including, additionally to previously studied superexponential decay, a shoulder-like slowing down after the overshoot. We also find a new type of Taylor dispersion in glassy states which has intriguing similarity to the known low density case. The theory qualitatively captures most features of the simulations with quantitative deviations concerning the shear induced timescales. We attribute these deviations to an underestimation of the overshoot scenario in the theory.


title: Light propagation and the average expansion rate in near-FRW universes

abstract: We consider universes that are close to Friedmann-Robertson-Walker in the sense that metric perturbations, their time derivatives and first spatial derivatives are small, but second spatial derivatives are not constrained. We show that if we in addition assume that the observer four-velocity is close to its background value and close to the four-velocity which defines the hypersurface of averaging, the redshift and the average expansion rate remain close to the FRW case. However, this is not true for the angular diameter distance. The four-velocity assumption implies certain conditions on second derivatives of the metric and/or the matter content.


title: Not So Easy Problems for Tree Decomposable Graphs

abstract: We consider combinatorial problems that can be solved in polynomial time for graphs of bounded treewidth but where the order of the polynomial that bounds the running time is expected to depend on the treewidth bound. First we review some recent results for problems regarding list and equitable colorings, general factors, and generalized satisfiability. Second we establish a new hardness result for the problem of minimizing the maximum weighted outdegree for orientations of edge-weighted graphs of bounded treewidth.


title: Fast Timing Analysis of Cygnus X-1 using SPI on board INTEGRAL

abstract: For the very first time, we report the high frequency analysis of Cyg X-1 up to hard X-ray using SPI on-board INTEGRAL. After analyzing the possible contribution fromthe background, and using INTEGRAL archive from March 2005 to May 2008, Power Density Spectra (PDS) were obtained until 130 keV. First, we show that their overall shape is very similar to that observed at lower energies, as they are well described by sets of Lorentzians. The strength of this fast variability (up to 40 Hz) does not drop at high energy since we show that it remains at ~25% rms, even in the highest energy bands. Second, the hard X-ray variability patterns of Cyg X-1 are state dependent: the softer the spectrum (or the lower the hardness ratio), the lower the total fractional variability and the higher the typical frequencies observed. The strength of total variability as a function of energy and state is then investigated. By comparison with simultaneous and published RXTE/PCA data, we showed that in the hard state, it remains quite constant in the 2-130 keV energy range. In our softer state, it is also flat until 50 keV and may increase at higher energy. The implications of this behavior on the models are then discussed.


title: Solution algebras of differential equations and quasi-homogeneous varieties: a new differential Galois correspondence

abstract: We develop a new connection between Differential Algebra and Geometric Invariant Theory, based on an anti-equivalence of categories between solution algebras associated to a linear differential equation (i.e. differential algebras generated by finitely many polynomials in a fundamental set of solutions), and affine quasi-homogeneous varieties (over the constant field) for the differential Galois group of the equation. Solution algebras can be associated to any connection over a smooth affine variety. It turns out that he spectrum of a solution algebra is an algebraic fiber space over the base variety, with quasi-homogeneous fiber. We discuss the relevance of this result to Transcendental Number Theory.


title: Complexity measures, emergence, and multiparticle correlations

abstract: We study correlation measures for complex systems. First, we investigate some recently proposed measures based on information geometry. We show that these measures can increase under local transformations as well as under discarding particles, thereby questioning their interpretation as a quantifier for complexity or correlations. We then propose a refined definition of these measures, investigate its properties and discuss its numerical evaluation. As an example, we study coupled logistic maps and study the behavior of the different measures for that case. Finally, we investigate other local effects during the coarse graining of the complex system.


title: Mergers of black-hole binaries with aligned spins: Waveform characteristics

abstract: We conduct a descriptive analysis of the multipolar structure of gravitational-radiation waveforms from equal-mass aligned-spin mergers, following an approach first presented in the complementary context of nonspinning black holes of varying mass ratio [J.G. Baker et al. Phys. Rev. D 78 044046 (2008)]. We find that, as with the nonspinning mergers, the dominant waveform mode phases evolve together in lock-step through inspiral and merger, supporting the previous waveform description in terms of an adiabatically rigid rotator driving gravitational-wave emission-an implicit rotating source. We further apply the late-time merger-ringdown model for the rotational frequency introduced in [J.G. Baker et al. Phys. Rev. D 78 044046 (2008)], along with an improved amplitude model appropriate for the dominant (2, \pm2) modes. This provides a quantitative description of the merger-ringdown waveforms, and suggests that the major features of these waveforms can be described with reference only to the intrinsic parameters associated with the state of the final black hole formed in the merger. We provide an explicit model for the merger-ringdown radiation, and demonstrate that this model agrees to fitting factors better than 95% with the original numerical waveforms for system masses above \sim150M\odot. This model may be directly applicable to gravitational-wave detection of intermediate-mass black-hole mergers.


title: Upper Bounds for the Number of Number Fields with Alternating Galois Group

abstract: We study the number $N(n, A_n, X)$ of number fields of degree $n$ whose Galois closure has Galois group $A_n$ and whose discriminant is bounded by $X$. By a conjecture of Malle, we expect that $N(n, A_n, X) \sim C_n X^{1/2} (\log X)^{b_n}$, for constants $b_n$ and $C_n$. For $5 < n < 84394$, the best known upper bound is $N(n, A_n, X) \ll X^{\frac{n + 2}{4}}$; this bound follows from Schmidt's Theorem, which implies there are $\ll X^{\frac{n + 2}{4}}$ number fields of degree $n$. (For $n > 84393$, there are better bounds due to Ellenberg and Venkatesh.) We show, using the important work of Pila on counting integral points on curves, that $N(n, A_n, X) \ll X^{\frac{n^2 - 2}{4(n - 1)}+\epsilon}$, thereby improving the best previous exponent by approximately 1/4 for $5 < n < 84394$.


title: Interaction of Moving Branes with Background Massless and Tachyon Fields in Superstring Theory

abstract: Using the boundary state formalism we study a moving D$p$-brane in a partially compact spacetime in the presence of the background fields: Kalb-Ramond $B_{\mu\nu}$, a U(1) gauge field $A_{\alpha}$ and the tachyon field. The boundary state enables us to obtain interaction amplitude of two branes with above background fields. The branes are parallel or perpendicular to each other. Presence of the background fields, compactification of some directions of the spacetime, motion of the branes and arbitrariness of the branes' dimensions give a general feature to the system. Due to the tachyon fields and velocities of the branes, the behavior of the interaction amplitude reveals obvious differences from what is conventional.


title: On the tensor rank of multiplication in finite extensions of finite fields

abstract: In this paper, we give a survey of the known results concerning the tensor rank of the multiplication in finite fields and we establish new asymptotical and not asymptotical upper bounds about it.


title: Dust around R Coronae Borealis stars: I. Spitzer/IRS observations

abstract: Spitzer/IRS spectra from 5 to 37 um for a complete sample of 31 R Coronae Borealis stars (RCBs) are presented. These spectra are combined with optical and near-infrared photometry of each RCB at maximum light to compile a spectral energy distribution (SED). The SEDs are fitted with blackbody flux distributions and estimates made of the ratio of the infrared flux from circumstellar dust to the flux emitted by the star. Comparisons for 29 of the 31 stars are made with the IRAS fluxes from three decades earlier: Spitzer and IRAS fluxes at 12 um and 25 um are essentially equal for all but a minority of the sample. For this minority, the IRAS to Spitzer flux ratio exceeds a factor of three. The outliers are suggested to be stars where formation of a dust cloud or dust puff is a rare event. A single puff ejected prior to the IRAS observations may have been reobserved by Spitzer as a cooler puff at a greater distance from the RCB. RCBs which experience more frequent optical declines have, in general, a circumstellar environment containing puffs subtending a larger solid angle at the star and a quasi-constant infrared flux. Yet, the estimated subtended solid angles and the blackbody temperatures of the dust show a systematic evolution to lower solid angles and cooler temperatures in the interval between IRAS and Spitzer. Dust emission by these RCBs and those in the LMC is similar in terms of total 24 um luminosity and [8.0]-[24.0] color index.


title: Universal Amplitude Ratios in the Ising Model in Three Dimensions

abstract: We use a high-precision Monte Carlo simulation to determine the universal specific-heat amplitude ratio A+/A- in the three-dimensional Ising model via the impact angle \phi of complex temperature zeros. We also measure the correlation-length critical exponent \nu from finite-size scaling, and the specific-heat exponent \alpha through hyperscaling. Extrapolations to the thermodynamic limit yield \phi = 59.2(1.0) degrees, A+/A- = 0.56(3), \nu = 0.63048(32) and \alpha = 0.1086(10). These results are compatible with some previous estimates from a variety of sources and rule out recently conjectured exact values.


title: Scaling behaviour of lattice animals at the upper critical dimension

abstract: We perform numerical simulations of the lattice-animal problem at the upper critical dimension d=8 on hypercubic lattices in order to investigate logarithmic corrections to scaling there. Our stochastic sampling method is based on the pruned-enriched Rosenbluth method (PERM), appropriate to linear polymers, and yields high statistics with animals comprised of up to 8000 sites. We estimate both the partition sums (number of different animals) and the radii of gyration. We re-verify the Parisi-Sourlas prediction for the leading exponents and compare the logarithmic-correction exponents to two partially differing sets of predictions from the literature. Finally, we propose, and test, a new Parisi-Sourlas-type scaling relation appropriate for the logarithmic-correction exponents.


title: Bose-Hubbard model in a ring-shaped optical lattice with high filling factors

abstract: The high-barrier quantum tunneling regime of a Bose-Einstein condensate confined in a ring-shaped optical lattice is investigated. By means of a change of basis transformation, connecting the set of `vortex' Bloch states and a Wannier-like set of localized wave functions, we derive a generalized Bose-Hubbard Hamiltonian. In addition to the usual hopping rate terms, such a Hamiltonian takes into account interaction-driven tunneling processes, which are shown to play a principal role at high filling factors, when the standard hopping rate parameter turns out to be negative. By calculating the energy and atomic current of a Bloch state, we show that such a hopping rate must be replaced by an effective hopping rate parameter containing the additional contribution an interaction-driven hopping rate. Such a contribution turns out to be crucial at high filling factors, since it preserves the positivity of the effective hopping rate parameter. Level crossings between the energies per particle of a Wannier-like state and the superfluid ground state are interpreted as a signature of the transition to configurations with macroscopically occupied states at each lattice site.


title: Monte Carlo simulations of radio pulses in atmospheric showers using ZHAireS

abstract: We present predictions for the radio pulses emitted by extensive air showers using ZHAireS, an AIRES-based Monte Carlo code that takes into account the full complexity of ultra-high energy cosmic-ray induced shower development in the atmosphere, and allows the calculation of the electric field in both the time and frequency domains. We do not presuppose any emission mechanism, but our results are compatible with a superposition of geomagnetic and charge excess radio emission effects. We investigate the polarization of the electric field as well as the effects of the refractive index n and shower geometry on the radio pulses. We show that geometry, coupled to the relativistic effects that appear when using a realistic n>1, play a prominent role on the radio emission of air showers.


title: Optimal Quantum States for Image Sensing in Loss

abstract: We consider a general image sensing framework that includes many quantum sensing problems by an appropriate choice of image set, prior probabilities, and cost function. For any such problem, in the presence of loss and a signal energy constraint, we show that a pure input state of light with the signal modes in a mixture of number states minimizes the cost among all ancilla-assisted parallel strategies. Lossy binary phase discrimination with a peak photon number constraint and general lossless image sensing are considered as examples.


title: Particle acceleration by circularly and elliptically polarised dispersive Alfven waves in a transversely inhomogeneous plasma in the inertial and kinetic regimes

abstract: Dispersive Alfven waves (DAWs) offer, an alternative to magnetic reconnection, opportunity to accelerate solar flare particles. We study the effect of DAW polarisation, L-, R-, circular and elliptical, in different regimes inertial and kinetic on the efficiency of particle acceleration. We use 2.5D PIC simulations to study how particles are accelerated when DAW, triggered by a solar flare, propagates in transversely inhomogeneous plasma that mimics solar coronal loop. (i) In inertial regime, fraction of accelerated electrons (along the magnetic field), in density gradient regions is ~20% by the time when DAW develops 3 wavelengths and is increasing to ~30% by the time DAW develops 13 wavelengths. In all considered cases ions are heated in transverse to the magnetic field direction and fraction of the heated particles is ~35%. (ii) The case of R-circular, L- and R- elliptical polarisation DAWs, with the electric field in the non-ignorable transverse direction exceeding several times that of in the ignorable direction, produce more pronounced parallel electron beams and transverse ion beams in the ignorable direction. In the inertial regime such polarisations yield the fraction of accelerated electrons ~20%. In the kinetic regime this increases to ~35%. (iii) The parallel electric field that is generated in the density inhomogeneity regions is independent of m_i/m_e and exceeds the Dreicer value by 8 orders of magnitude. (iv) Electron beam velocity has the phase velocity of the DAW. Thus electron acceleration is via Landau damping of DAWs. For the Alfven speeds of 0.3c the considered mechanism can accelerate electrons to energies circa 20 keV. (v) The increase of mass ratio from m_i/m_e=16 to 73.44 increases the fraction of accelerated electrons from 20% to 30-35% (depending on DAW polarisation). For the mass ratio m_i/m_e=1836 the fraction of accelerated electrons would be >35%.


title: Spin-Split Conduction band in \eb\ and Tuning of Half-Metallicity with External Stimuli

abstract: We report Eu L3-edge resonant inelastic x-ray scattering (RIXS) investigation of the electronic structure of EuB6. We observe that the RIXS spectral weight around 1.1 eV increases dramatically when the system is cooled below the ferromagnetic ordering temperature and follows the magnetic order parameter. This spectral feature is attributed to the inter-site excitation from the local 4f orbital to the spin-split 5d orbital on the neighboring site, illustrating the essential role of exchange splitting of the conducting electrons. Based on our density functional theory calculations, the RIXS data suggest that EuB6 at low temperature can be consistently described with a semi-metallic electronic structure with incomplete spin-polarization. We propose routes to achieve half-metallicity in EuB6, which utilize the strong tunability of the electronic structure against gate voltage, strain, and magnetic field.


title: Na-Au intermetallic compounds formed under high pressure at room temperature

abstract: High-pressure powder x-ray diffraction experiments have revealed that sodium and gold react at room temperature and form new Na-Au intermetallic compounds under high pressure. We have identified four intermetallic phases up to 60 GPa. The first phase (phase I) is the known Na2Au with the tetragonal CuAl2-type structure. It changed to the second phase (phase II) at about 0.8 GPa, which has the composition Na3Au with the trigonal Cu3As-type or hexagonal Cu3P-type structure. Phase II further transformed to phase III at 3.6 GPa. Phase III has the same composition Na3Au with the cubic BiF3-type structure. Finally, phase III changed to phase IV at around 54 GPa. Phase IV gives broad diffraction peaks, indicating large structural disorder.


title: Particle tracking for polydisperse sedimenting droplets in phase separation

abstract: When a binary fluid demixes under a slow temperature ramp, nucleation, coarsening and sedimentation of droplets lead to an oscillatory evolution of the phase separating system. The advection of the sedimenting droplets is found to be chaotic. The flow is driven by density differences between the two phases. Here, we show how image processing can be combined with particle tracking to resolve droplet size and velocity simultaneously. Droplets are used as tracer particles, and the sedimentation velocity is determined. Taking these effects into account, droplets with radii in the range of 4 -- 40 micrometers are detected and tracked. Based on this data we resolve the oscillations in the droplet size distribution which are coupled to the convective flow.


title: On the bulk viscosity of anisotropically expanding hot QCD plasma

abstract: The bulk viscosity, $\zeta$ and its ratio with the shear viscosity, $\zeta/\eta$ have been studied in an anisotropically expanding pure glue plasma in the presence of turbulent color fields. It has been shown that the anisotropy in the momentum distribution function of gluons, which has been determined from a linearized transport equation eventually leads to the bulk viscosity. For the isotropic (equilibrium) state, a recently proposed quasi-particle model of pure SU(3) lattice QCD equation of state has been employed where the interactions are encoded in the effective fugacity. It has been argued that the interactions present in the equation of state, significantly contribute to the bulk viscosity. Its ratio with the shear viscosity is significant even at $1.5 T_c$. Thus, one needs to take in account the effects of the bulk viscosity while studying the hydrodynamic expansion of QGP in RHIC and LHC.


title: Quantum phase transition in Bose-Fermi mixtures

abstract: We study a quantum Bose-Fermi mixture near a broad Feshbach resonance at zero temperature. Within a quantum field theoretical model a two-step Gaussian approximation allows to capture the main features of the quantum phase diagram. We show that a repulsive boson-boson interaction is necessary for thermodynamic stability. The quantum phase diagram is mapped in chemical potential and density space, and both first and second order quantum phase transitions are found. We discuss typical characteristics of the first order transition, such as hysteresis or a droplet formation of the condensate which may be searched for experimentally.


title: Instrumentation2: Other instruments, ghost/satellite bunch monitoring, halo, emittance, new developments

abstract: In order to estimate in absolute terms the luminosity of LHC certain beam parameters have to be measured very accurately. In particular the total beam current and the relative distribution of the charges around the ring, the transverse size of the beams at the interaction points and the relative position of the beams at the interaction point. The experiments can themselves measure several of these parameters very accurately thanks to the versatility of their detectors, other parameters need however to be measured using the monitors installed on the machine. The beam instrumentation is usually built for the purpose of aiding the operation team in setting up and optimizing the beams, often this only requires precise relative measurements and therefore the absolute scale is usually not very precisely calibrated. The luminosity calibration requires several machine-side instruments to be pushed beyond their initial scope.


title: QuantUM: Quantitative Safety Analysis of UML Models

abstract: When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable. In spite of the plethora of available formal quantitative analysis methods it is still difficult for software and system architects to integrate these techniques into their every day work. This is mainly due to the lack of methods that can be directly applied to architecture level models, for instance given as UML diagrams. Also, it is necessary that the description methods used do not require a profound knowledge of formal methods. Our approach bridges this gap and improves the integration of quantitative safety analysis methods into the development process. All inputs of the analysis are specified at the level of a UML model. This model is then automatically translated into the analysis model, and the results of the analysis are consequently represented on the level of the UML model. Thus the analysis model and the formal methods used during the analysis are hidden from the user. We illustrate the usefulness of our approach using an industrial strength case study.


title: Two-Player Reachability-Price Games on Single-Clock Timed Automata

abstract: We study two player reachability-price games on single-clock timed automata. The problem is as follows: given a state of the automaton, determine whether the first player can guarantee reaching one of the designated goal locations. If a goal location can be reached then we also want to compute the optimum price of doing so. Our contribution is twofold. First, we develop a theory of cost functions, which provide a comprehensive methodology for the analysis of this problem. This theory allows us to establish our second contribution, an EXPTIME algorithm for computing the optimum reachability price, which improves the existing 3EXPTIME upper bound.


title: Time Delays in Membrane Systems and Petri Nets

abstract: Timing aspects in formalisms with explicit resources and parallelism are investigated, and it is presented a formal link between timed membrane systems and timed Petri nets with localities. For both formalisms, timing does not increase the expressive power; however both timed membrane systems and timed Petri nets are more flexible in describing molecular phenomena where time is a critical resource. We establish a link between timed membrane systems and timed Petri nets with localities, and prove an operational correspondence between them.


title: Real-Reward Testing for Probabilistic Processes (Extended Abstract)

abstract: We introduce a notion of real-valued reward testing for probabilistic processes by extending the traditional nonnegative-reward testing with negative rewards. In this richer testing framework, the may and must preorders turn out to be inverses. We show that for convergent processes with finitely many states and transitions, but not in the presence of divergence, the real-reward must-testing preorder coincides with the nonnegative-reward must-testing preorder. To prove this coincidence we characterise the usual resolution-based testing in terms of the weak transitions of processes, without having to involve policies, adversaries, schedulers, resolutions, or similar structures that are external to the process under investigation. This requires establishing the continuity of our function for calculating testing outcomes.


title: A Stochastic Broadcast Pi-Calculus

abstract: In this paper we propose a stochastic broadcast PI-calculus which can be used to model server-client based systems where synchronization is always governed by only one participant. Therefore, there is no need to determine the joint synchronization rates. We also take immediate transitions into account which is useful to model behaviors with no impact on the temporal properties of a system. Since immediate transitions may introduce non-determinism, we will show how these non-determinism can be resolved, and as result a valid CTMC will be obtained finally. Also some practical examples are given to show the application of this calculus.


title: Improvements for Free

abstract: "Theorems for Free!" (Wadler, FPCA 1989) is a slogan for a technique that allows to derive statements about functions just from their types. So far, the statements considered have always had a purely extensional flavor: statements relating the value semantics of program expressions, but not statements relating their runtime (or other) cost. Here we study an extension of the technique that allows precisely statements of the latter flavor, by deriving quantitative theorems for free. After developing the theory, we walk through a number of example derivations. Probably none of the statements derived in those simple examples will be particularly surprising to most readers, but what is maybe surprising, and at the very least novel, is that there is a general technique for obtaining such results on a quantitative level in a principled way. Moreover, there is good potential to bring that technique to bear on more complex examples as well. We turn our attention to short-cut fusion (Gill et al., FPCA 1993) in particular.


title: Analysis of Non-Linear Probabilistic Hybrid Systems

abstract: This paper shows how to compute, for probabilistic hybrid systems, the clock approximation and linear phase-portrait approximation that have been proposed for non probabilistic processes by Henzinger et al. The techniques permit to define a rectangular probabilistic process from a non rectangular one, hence allowing the model-checking of any class of systems. Clock approximation, which applies under some restrictions, aims at replacing a non rectangular variable by a clock variable. Linear phase-approximation applies without restriction and yields an approximation that simulates the original process. The conditions that we need for probabilistic processes are the same as those for the classic case.


title: Distances for Weighted Transition Systems: Games and Properties

abstract: We develop a general framework for reasoning about distances between transition systems with quantitative information. Taking as starting point an arbitrary distance on system traces, we show how this leads to natural definitions of a linear and a branching distance on states of such a transition system. We show that our framework generalizes and unifies a large variety of previously considered system distances, and we develop some general properties of our distances. We also show that if the trace distance admits a recursive characterization, then the corresponding branching distance can be obtained as a least fixed point to a similar recursive characterization. The central tool in our work is a theory of infinite path-building games with quantitative objectives.


title: Computing Distances between Probabilistic Automata

abstract: We present relaxed notions of simulation and bisimulation on Probabilistic Automata (PA), that allow some error epsilon. When epsilon is zero we retrieve the usual notions of bisimulation and simulation on PAs. We give logical characterisations of these notions by choosing suitable logics which differ from the elementary ones, L with negation and L without negation, by the modal operator. Using flow networks, we show how to compute the relations in PTIME. This allows the definition of an efficiently computable non-discounted distance between the states of a PA. A natural modification of this distance is introduced, to obtain a discounted distance, which weakens the influence of long term transitions. We compare our notions of distance to others previously defined and illustrate our approach on various examples. We also show that our distance is not expansive with respect to process algebra operators. Although L without negation is a suitable logic to characterise epsilon-(bi)simulation on deterministic PAs, it is not for general PAs; interestingly, we prove that it does characterise weaker notions, called a priori epsilon-(bi)simulation, which we prove to be NP-difficult to decide.


title: Nice labeling problem for event structures: a counterexample

abstract: In this note, we present a counterexample to a conjecture of Rozoy and Thiagarajan from 1991 (called also the nice labeling problem) asserting that any (coherent) event structure with finite degree admits a labeling with a finite number of labels, or equivalently, that there exists a function $f: \mathbb{N} \mapsto \mathbb{N}$ such that an event structure with degree $\le n$ admits a labeling with at most $f(n)$ labels. Our counterexample is based on the Burling's construction from 1965 of 3-dimensional box hypergraphs with clique number 2 and arbitrarily large chromatic numbers and the bijection between domains of event structures and median graphs established by Barth\'elemy and Constantin in 1993.


title: Microscopic Mechanism of Specific Peptide Adhesion to Semiconductor Substrates

abstract: The design of hybrid peptide-solid interfaces for nanotechnological applications such as biomolecular nanoarrays requires a deep understanding of the basic mechanisms of peptide binding and assembly at solid substrates. Here we show by means of experimental and computational analyses that the adsorption properties of mutated synthetic peptides at semiconductors exhibit a clear sequence-dependent adhesion specificity. Our simulations of a novel hybrid peptide-substrate model reveal the correspondence between proline mutation and binding affinity to a clean silicon substrate. After synthesizing theoretically suggested amino-acid sequences with different binding behavior, we confirm the relevance of the selective mutations upon adhesion in our subsequent atomic force microscopy experiments.

categories: cond-mat.mes-hall cond-mat.soft cond-mat.stat-mech q-bio.BM


title: PTF1 J071912.13+485834.0: An outbursting AM CVn system discovered by a synoptic survey

abstract: We present extensive photometric and spectroscopic observations of PTF1 J071912.13+485834.0, an outbursting AM CVn system discovered by the Palomar Transient Factory (PTF). AM CVn systems are stellar binaries with some of the smallest separations known and orbital periods ranging from 5 to 65 minutes. They are believed to be composed of a white dwarf accretor and a (semi)-degenerate He-rich donor and are considered to be the helium equivalents of Cataclysmic Variables. We have spectroscopically and photometrically identified an orbital period of 26.77 \pm 0.02 minutes for PTF1 J071912.13+485834.0 and found a super-outburst recurrence time of greater than 65 days along with the presence of "normal" outbursts - rarely seen in AM CVn systems but well known in super-outbursting Cataclysmic Variables. We present a long-term light curve over two super-cycles as well as high cadence photometry of both outburst and quiescent stages, both of which show clear variability. We also compare both the outburst and quiescent spectra of PTF1 J071912.13+485834.0 to other known AM CVn systems, and use the quiescent phase-resolved spectroscopy to determine the origin of the photometric variability. Finally, we draw parallels between the different subclasses of SU UMa-type Cataclysmic Variables and outbursting AM CVn systems. We conclude by predicting that the Palomar Transient Factory may more than double the number of outbursting AM CVn systems known, which would greatly increase our understanding of AM CVn systems.


title: The Kauffman polynomial and trivalent graphs

abstract: We construct a state model for the two-variable Kauffman polynomial using planar trivalent graphs. We also use this model to obtain a polynomial invariant for a certain type of trivalent graphs embedded in three-dimensional space.


title: Isocurvature modes and Baryon Acoustic Oscillations II: gains from combining CMB and Large Scale Structure

abstract: We consider cosmological parameters estimation in the presence of a non-zero isocurvature contribution in the primordial perturbations. A previous analysis showed that even a tiny amount of isocurvature perturbation, if not accounted for, could affect standard rulers calibration from Cosmic Microwave Background observations such as those provided by the Planck mission, affect Baryon Acoustic Oscillations interpretation and introduce biases in the recovered dark energy properties that are larger than forecasted statistical errors from future surveys. Extending on this work, here we adopt a general fiducial cosmology which includes a varying dark energy equation of state parameter and curvature. Beside Baryon Acoustic Oscillations measurements, we include the information from the shape of the galaxy power spectrum and consider a joint analysis of a Planck-like Cosmic Microwave Background probe and a future, space-based, Large Scale Structure probe not too dissimilar from recently proposed surveys. We find that this allows one to break the degeneracies that affect the Cosmic Microwave Background and Baryon Acoustic Oscillations combination. As a result, most of the cosmological parameter systematic biases arising from an incorrect assumption on the isocurvature fraction parameter $f_{iso}$, become negligible with respect to the statistical errors. We find that the Cosmic Microwave Background and Large Scale Structure combination gives a statistical error $\sigma(f_{iso}) \sim 0.008$, even when curvature and a varying dark energy equation of state are included, which is smaller than the error obtained from Cosmic Microwave Background alone when flatness and cosmological constant are assumed. These results confirm the synergy and complementarity between Cosmic Microwave Background and Large Scale Structure, and the great potential of future and planned galaxy surveys.


title: An analytical model of Faraday rotation in hot alkali metal vapours

abstract: We report a thorough investigation into the absorptive and dispersive properties of hot caesium vapour, culminating in the development of a simple analytical model for off-resonant Faraday rotation. The model, applicable to all hot alkali metal vapours, is seen to predict the rotation observed in caesium, at temperatures as high as 115 $^{\circ}$C, to within 1% accuracy for probe light detuned by greater than 2 GHz from the $D_{2}$ lines. We also demonstrate the existence of a weak probe intensity limit, below which the effect of hyperfine pumping is negligible. Following the identification of this regime we validate a more comprehensive model for the absorption and dispersion in the vicinity of the $D_{2}$ lines, implemented in the form of a computer code. We demonstrate the ability of this model to predict Doppler-broadened spectra to within 0.5% rms deviation for temperatures up to 50 $^{\circ}$C.


title: Leptogenesis by curvature coupling of heavy neutrinos

abstract: We introduce a CP violating coupling between the Ricci curvature and the heavy right handed neutrinos. This splits the Majorana masses of the left and the right handed heavy neutrinos. When the heavy neutrinos decay, their decay rates are different into left and right chirality light neutrinos. A time varying non-zero Ricci curvature can give rise to a net lepton asymmetry. The source of a non-zero curvature in a radiation era is the quantum fluctations of primordial fields.


title: A review of Monte Carlo simulations of polymers with PERM

abstract: In this review, we describe applications of the pruned-enriched Rosenbluth method (PERM), a sequential Monte Carlo algorithm with resampling, to various problems in polymer physics. PERM produces samples according to any given prescribed weight distribution, by growing configurations step by step with controlled bias, and correcting "bad" configurations by "population control". The latter is implemented, in contrast to other population based algorithms like e.g. genetic algorithms, by depth-first recursion which avoids storing all members of the population at the same time in computer memory. The problems we discuss all concern single polymers (with one exception), but under various conditions: Homopolymers in good solvents and at the $\Theta$ point, semi-stiff polymers, polymers in confining geometries, stretched polymers undergoing a forced globule-linear transition, star polymers, bottle brushes, lattice animals as a model for randomly branched polymers, DNA melting, and finally -- as the only system at low temperatures, lattice heteropolymers as simple models for protein folding. PERM is for some of these problems the method of choice, but it can also fail. We discuss how to recognize when a result is reliable, and we discuss also some types of bias that can be crucial in guiding the growth into the right directions.


title: Hidden asymmetry and long range rapidity correlations

abstract: Interpretation of long-range rapidity correlations in terms of the fluctuating rapidity density distribution of the system created in high-energy collisions is proposed. When applied to recent data of the STAR coll., it shows a substantial asymmetric component in the shape of this system in central Au-Au collisions, implying that boost invariance is violated on the event-by-event basis even at central rapidity. This effect may seriously influence the hydrodynamic expansion of the system.


title: B->tau nu in multi-Higgs models with MFV

abstract: We analyse the $B \rightarrow \tau \nu$ decay in a generic two-Higgs doublet model satisfying the MFV hypothesis. In particular, we analyse under which conditions $\BR(B \rightarrow \tau \nu)$ can be substantially enhanced over its SM value, taking into account the constraints of $K \rightarrow \mu\nu$, $B \rightarrow X_s \gamma$, and $B_s \rightarrow \mu^+ \mu^-$. We find that for large $\tan\beta$ values and Peccei-Quinn symmetry breaking terms of $\cO(1/\tan\beta)$ a sizable ($\sim 50%$) enhancement of $\BR(B \rightarrow \tau \nu)$ is possible, even for $m_H \sim 1$ TeV.


title: Families of exact solutions to Vasiliev's 4D equations with spherical, cylindrical and biaxial symmetry

abstract: We provide Vasiliev's four-dimensional bosonic higher-spin gravities with six families of exact solutions admitting two commuting Killing vectors. Each family contains a subset of generalized Petrov Type-D solutions in which one of the two so(2) symmetries enhances to either so(3) or so(2,1). In particular, the spherically symmetric solutions are static and we expect one of them to be gauge-equivalent to the extremal Didenko-Vasiliev solution given in arXiv:0906.3898. The solutions activate all spins and can be characterized either via generalized electric and magnetic charges defined asymptotically in weak-field regions or via the values of fully higher-spin gauge-invariant observables given by on-shell closed zero-forms. The solutions are obtained by combining the gauge-function method with separation of variables in twistor space via expansion of the Weyl zero-form in Di-Rac supersingleton projectors times deformation parameters in a fashion that is suggestive of a generalized electromagnetic duality.


title: Convex hyperspaces of probability measures and extensors in the asymptotic category

abstract: The objects of the Dranishnikov asymptotic category are proper metric spaces and the morphisms are asymptotically Lipschitz maps. In this paper we provide an example of an asymptotically zero-dimensional space (in the sense of Gromov) whose space of compact convex subsets of probability measures is not an absolute extensor in the asymptotic category in the sense of Dranishnikov.


title: Large matchings in uniform hypergraphs and the conjectures of Erdos and Samuels

abstract: In this paper we study conditions which guarantee the existence of perfect matchings and perfect fractional matchings in uniform hypergraphs. We reduce this problem to an old conjecture by Erd\H{o}s on estimating the maximum number of edges in a hypergraph when the (fractional) matching number is given, which we are able to solve in some special cases using probabilistic techniques. Based on these results, we obtain some general theorems on the minimum $d$-degree ensuring the existence of perfect (fractional) matchings. In particular, we asymptotically determine the minimum vertex degree which guarantees a perfect matching in 4-uniform and 5-uniform hypergraphs. We also discuss an application to a problem of finding an optimal data allocation in a distributed storage system.


title: Stationary Nonlinear Schr\"odinger Equation on Simplest Graphs: Boundary conditions and exact solutions

abstract: We treat the stationary (cubic) nonlinear Schr\"odinger equation (NSLE) on simplest graphs. Formulation of the problem and exact analytical solutions of NLSE are presented for star graphs consisting of three bonds. It is shown that the method can be extended for the case of arbitrary number of bonds of star graphs and for other simplest topologies such as tree and loop graphs. The case of repulsive and attractive nonlinearities are treated separately.

categories: nlin.SI cond-mat.mes-hall math-ph math.MP


title: Finiteness of K3 surfaces and the Tate conjecture

abstract: Given a finite field k of characteristic at least 5, we show that the Tate conjecture holds for K3 surfaces defined over the algebraic closure of k if and only if there are only finitely many K3 surfaces over each finite extension of k.


title: On the information-theoretic structure of distributed measurements

abstract: The internal structure of a measuring device, which depends on what its components are and how they are organized, determines how it categorizes its inputs. This paper presents a geometric approach to studying the internal structure of measurements performed by distributed systems such as probabilistic cellular automata. It constructs the quale, a family of sections of a suitably defined presheaf, whose elements correspond to the measurements performed by all subsystems of a distributed system. Using the quale we quantify (i) the information generated by a measurement; (ii) the extent to which a measurement is context-dependent; and (iii) whether a measurement is decomposable into independent submeasurements, which turns out to be equivalent to context-dependence. Finally, we show that only indecomposable measurements are more informative than the sum of their submeasurements.

categories: cs.IT cs.DC cs.NE math.CT math.IT nlin.CG


title: Absence of spontaneous magnetic order of lattice spins coupled to itinerant interacting electrons in one and two dimensions

abstract: We extend the Mermin-Wagner theorem to a system of lattice spins which are spin-coupled to itinerant and interacting charge carriers. We use the Bogoliubov inequality to rigorously prove that neither (anti-) ferromagnetic nor helical long-range order is possible in one and two dimensions at any finite temperature. Our proof applies to a wide class of models including any form of electron-electron and single-electron interactions that are independent of spin. In the presence of Rashba or Dresselhaus spin-orbit interactions (SOI) magnetic order is allowed and intimately connected to equilibrium spin currents. However, in the special case when Rashba and Dresselhaus SOIs are tuned to be equal, magnetic order is excluded again. This opens up a new possibility to control magnetism in magnetic semiconductors electrically.


title: Massive star formation around I05345+3157 -- I. The dense gas

abstract: We present observations of the intermediate to massive star-forming region I05345+3157 using the molecular line tracer CS(2-1) with CARMA to reveal the properties of the dense gas cores. Seven gas cores are identified in the integrated intensity map of CS(2-1). Among these, core 1 and core 3 have counterparts in the 2.7 millimeter continuum data. We suggest that core 1 and core 3 are star-forming cores that may already or will very soon harbor young massive protostars. The total masses of core 1 estimated from the LTE method and dust emission by assuming a gas-to-dust ratio are 5 +- 1 solar masses and 18 +- 6 solar masses, and that of core 3 are 15 +- 7 solar masses and 11 +- 3 solar masses. The spectrum of core 3 shows blue-skewed self-absorption, which suggests gas infall -- a collapsing core. The observed broad linewidths of the seven gas cores indicate non-thermal motions. These non-thermal motions can be interactions with nearby outflows or due to the initial turbulence; the former is observed, while the role of initial turbulence is less certain. Finally, the virial masses of the gas cores are larger than the LTE masses, which for a bound core implies a requirement on the external pressure of ~ 10^8 K/cm^3. The cores have the potential to further form massive stars.


title: Comment on "Nuclear structure corrections in muonic deuterium"

abstract: A recent letter [1] investigated the effects of deuteron polarizability in the mu D atom. The importance of understanding this atom has been heightened because of the possible light it could shed on the proton radius puzzle. Here we confirm, clarify, and emphasize the significance of the result [1] that the effects of the third Zemach moment are canceled by part of the deuteron polarizability effects. 1. K. Pachucki, Phys. Rev. Lett. 106, 193007 (2011)


title: Recurrence of the $ \mathbb{Z}^d$-valued infinite snake via unimodularity

abstract: We use the concept of unimodular random graph to show that the branching simple random walk on $\mathbb{Z}^{d}$ indexed by a critical geometric Galton-Watson tree conditioned to survive is recurrent if and only if $d \leq 4$.


title: Homotopy categories and idempotent completeness, weight structures and weight complex functors

abstract: This article provides some basic results on weight structures, weight complex functors and homotopy categories. We prove that the full subcategories K(A)^{w < n}, K(A)^{w > n}, K(A)^- and K(A)^+ (of objects isomorphic to suitably bounded complexes) of the homotopy category K(A) of an additive category A are idempotent complete, which confirms that (K(A)^{w <= 0}, K(A)^{w >= 0}) is a weight structure on K(A). We discuss weight complex functors and provide full details of an argument sketched by M. Bondarko, which shows that if w is a bounded weight structure on a triangulated category T that has a filtered triangulated enhancement T' then there exists a strong weight complex functor T -> K(heart(w))^{anti}. Surprisingly, in order to carry out the proof, we need to impose an additional axiom on the filtered triangulated category T' which seems to be new.


title: SO(10) Yukawa Unification with mu < 0

abstract: We consider the low energy implications including particle spectroscopy of SO(10) inspired t-b-tau Yukawa coupling unification with mu < 0, where mu is the coefficient of the bilinear Higgs mixing term of the minimal supersymmetric standard model (MSSM). We imploy non-universal MSSM gaugino masses induced by SO(10) invariant dimension five operators, such that the total number of fundamental parameters is precisely the same as in Yukawa unified supersymmetric SO(10) models with universal gaugino masses and mu > 0. We find that t-b-tau Yukawa unification with mu < 0 is compatible with the current experimental bounds, including the WMAP bound on neutralino dark matter and the measured value of the muon anomalous magnetic moment. We present a variety of benchmark points which include relatively light squarks (~ TeV) of the first two families and an example in which the bottom and top squarks are lighter than the gluino. This is quite distinct from Yukawa unification with mu > 0 and universal gaugino masses in which the gluino is the lightest colored sparticle and the sqaurks of the first two families have masses in the multi-TeV range.


title: Characteristic Characteristics

abstract: While five-factor models of personality are widespread, there is still not universal agreement on this as a structural framework. Part of the reason for the lingering debate is its dependence on factor analysis. In particular, derivation or refutation of the model via other statistical means is a worthwhile project. In this paper we use the methodology of spectral clustering to articulate the structure in the dataset of responses of 20,993 subjects on a 300-item item version of the IPIP NEO personality questionnaire, and we compare our results to those obtained from a factor analytic solution. We found support for five- and six-cluster solutions. The five-cluster solution was similar to a conventional five-factor solution, but the six-cluster and six-factor solutions differed significantly, and only the six-cluster solution was readily interpretable: it gave a model similar to the HEXACO model. We suggest that spectral clustering provides a robust alternative view of personality data.


title: Convexity of Workload Autocorrelation in a Stationary Single Server Queue with Independent Increment Input

abstract: We propose a method based on probabilistic arguments to study the convexity of the autocorrelation function of processes associated with a single server queue. To illustrate the power of the method we apply it in two cases: to the workload process seen by the customers of a GI/GI/1 queue, and to the workload process of a fluid queue fed by a general L\'evy process.


title: Factors controlling the energetics of the oxygen reduction reaction on the Pd-Co electro-catalysts: Insight from first principles

abstract: We report here results of our density functional theory based computational studies of the electronic structure of the Pd-Co alloy electrocatalysts and energetics of the oxygen reduction reaction (ORR) on their surfaces. The calculations have been performed for the (111) surfaces of pure Pd, Pd0.75Co0.25 and Pd0.5Co0.5 alloys, as well as of the surface segregated Pd/Pd0.75Co0.25 alloy. We find the hybridization of dPd and dCo electronic states to be the main factor controlling the electrocatalytic properties of Pd/Pd0.75Co0.25. Namely the dPd - dCo hybridization causes low energy shift of the surface Pd d-band with respect to that for Pd(111). This shift weakens chemical bonds between the ORR intermediates and the Pd/Pd0.75Co0.25 surface, which is favorable for the reaction. Non-segregated Pd0.75Co0.25 and Pd0.5Co0.5 surfaces are found to be too reactive for ORR due to bonding of the intermediates to the surface Co atoms. Analysis of the ORR free energy diagrams, built for the Pd and Pd/Pd0.75Co0.25, shows that the co-adsorption of the ORR intermediates and water changes the ORR energetics significantly and makes ORR more favorable. We find the onset ORR potential estimated for the configurations with the O - OH and OH - OH co-adsorption to be in very good agreement with experiment. The relevance of this finding to the real reaction environment is discussed.


title: Triple product asymmetries in K, D_(s) and B_(s) decays

abstract: One distinguishes between "true" CP violating triple product (TP) asymmetries which require no strong phases and "fake" asymmetries which are due to strong phases but require no CP violation. So far a single true TP asymmetry has been measured in $K_L\to \pi^+\pi^- e^+e^-$. A general discussion is presented for T-odd TP asymmetries in four-body decays. It is shown that TP asymmetries vanish for two identical and kinematically indistinguishable particles in the final state. Two examples are $D^0\to K^-\pi^+\pi^-\pi^+$ and $D^+\to K^-\pi^+\pi^+\pi^0$. A non-zero TP asymmetry can be expected when non-trivial kinematic correlations exist, as in the decay $K_L \to e^+ e^- e^+ e^-$. Triple product asymmetries measured in charmed particle decays indicate an interesting pattern of final-state interactions. We reiterate a discussion of TP asymmetries in $B$ meson decays to two vector mesons each decaying to a pseudoscalar pair, extending results to decays where one vector meson decays into a lepton pair. We derive expressions for time-dependent TP asymmetries for neutral B decays to flavorless states in terms of the neutral $B$ mass difference $\Delta m$ and the width-difference $\Delta\Gamma$. Time-integrated true CP violating asymmetries, measurable for untagged $B_s$ decays, are shown to be suppressed by neither $\Gamma_s/\Delta m_s$ nor $\Delta\Gamma_s/\Gamma_s$ if transversity amplitudes for CP-even and CP-odd states involve different weak phases. In contrast, fake asymmetries require flavor tagging and are suppressed by the former ratio when time-integrated. We apply our results to $B\to K^*\phi$ and $B_s\to\phi\phi$ data and suggest an application for $B_s\to J/\psi\phi$.


title: HYPE with stochastic events

abstract: The process algebra HYPE was recently proposed as a fine-grained modelling approach for capturing the behaviour of hybrid systems. In the original proposal, each flow or influence affecting a variable is modelled separately and the overall behaviour of the system then emerges as the composition of these flows. The discrete behaviour of the system is captured by instantaneous actions which might be urgent, taking effect as soon as some activation condition is satisfied, or non-urgent meaning that they can tolerate some (unknown) delay before happening. In this paper we refine the notion of non-urgent actions, to make such actions governed by a probability distribution. As a consequence of this we now give HYPE a semantics in terms of Transition-Driven Stochastic Hybrid Automata, which are a subset of a general class of stochastic processes termed Piecewise Deterministic Markov Processes.


title: An asteroseismic membership study of the red giants in three open clusters observed by Kepler: NGC6791, NGC6819, and NGC6811

abstract: Studying star clusters offers significant advances in stellar astrophysics due to the combined power of having many stars with essentially the same distance, age, and initial composition. This makes clusters excellent test benches for verification of stellar evolution theory. To fully exploit this potential, it is vital that the star sample is uncontaminated by stars that are not members of the cluster. Techniques for determining cluster membership therefore play a key role in the investigation of clusters. We present results on three clusters in the Kepler field of view based on a newly established technique that uses asteroseismology to identify fore- or background stars in the field, which demonstrates advantages over classical methods such as kinematic and photometry measurements. Four previously identified seismic non-members in NGC6819 are confirmed in this study, and three additional non-members are found -- two in NGC6819 and one in NGC6791. We further highlight which stars are, or might be, affected by blending, which needs to be taken into account when analysing these Kepler data.


title: Homogeneous studies of transiting extrasolar planets. IV. Thirty systems with space-based light curves

abstract: I calculate the physical properties of 32 transiting extrasolar planet and brown dwarf systems from existing photometric observations and measured spectroscopic parameters. The systems studied include fifteen observed by CoRoT, ten by Kepler and five by the Deep Impact spacecraft. Inclusion of the objects studied in previous papers leads to a sample of 58 transiting systems with homogeneously measured properties. The Kepler data include observations from Quarter 2, and my analyses of several of the systems are the first to be based on short-cadence data from this satellite. The light curves are modelled using the JKTEBOP code, with attention paid to the treatment of limb darkening, contaminating light, eccentricity, correlated noise, and numerical integration over long exposure times. The physical properties are derived using constraints from five sets of theoretical stellar model predictions. An alternative approach using a calibration from eclipsing binary star systems is explored and found to give comparable numbers. My results are in good agreement with published properties for most of the transiting systems, but discrepancies are identified for CoRoT-5, CoRoT-8, CoRoT-13, Kepler-5 and Kepler-7. Many of the errorbars quoted in the literature are underestimated. Refined orbital ephemerides are given for CoRoT-8 and for the Kepler planets. Asteroseismic constraints on the density of the host stars are in good agreement with the photometric equivalents for HD 17156 and TrES-2, but not for HAT-P-7 and HAT-P-11. Complete error budgets are generated for each transiting system. Whilst most would benefit from further photometry and spectroscopy, HD 17156, HD 80606, HAT-P-7 and TrES-2 are now extremely well characterised. HAT-P-11 is an exceptional candidate for studying starspots. The orbital ephemerides of some transiting systems are becoming uncertain and they should be re-observed.


title: Evidence for mild deviation from power-law distribution of electrons in relativistic shocks: GRB 090902B

abstract: Many previous studies have determined that the long lasting emission at X-ray, optical and radio wavelengths from gamma-ray bursts (GRBs), called the afterglow, is likely produced by the external forward shock model. In this model, the GRB jet interacts with the circum-stellar medium and drives a shock that heats the medium, which radiates via synchrotron emission. In this work, we carried out a detailed analysis of the late time afterglow data of GRB 090902B using a very careful accounting of the Inverse Compton losses. We find that in the context of the external forward shock model, the only viable option to explain the X-ray and optical data of GRB 090920B is to have the electron energy distribution deviate from a power-law shape and exhibit some slight curvature immediately downstream of the shock front (we explored other models that rely on a single power-law assumption, but they all fail to explain the observations). We find the fraction of the energy of shocked plasma in magnetic field to be ~10^{-6} using late time afterglow data, which is consistent with the value obtained using early gamma-ray data. Studies like the present one might be able to provide a link between GRB afterglow modeling and numerical simulations of particle acceleration in collisionless shocks. We also provide detailed calculations for the early (< 10^3 s) high energy (> 100 MeV) emission and confirm that it is consistent with origin in the external forward shock. We investigated the possibility that the ~10 keV excess observed in the spectrum during the prompt phase also has its origin in the external shock and found the answer to be negative.


title: Host Galaxy Properties of the Swift BAT Ultra Hard X-ray Selected AGN

abstract: We have assembled the largest sample of ultra hard X-ray selected (14-195 keV) AGN with host galaxy optical data to date, with 185 nearby (z<0.05), moderate luminosity AGN from the Swift BAT sample. The BAT AGN host galaxies have intermediate optical colors (u-r and g-r) that are bluer than a comparison sample of inactive galaxies and optically selected AGN from the Sloan Digital Sky Survey (SDSS) which are chosen to have the same stellar mass. Based on morphological classifications from the RC3 and the Galaxy Zoo, the bluer colors of BAT AGN are mainly due to a higher fraction of mergers and massive spirals than in the comparison samples. BAT AGN in massive galaxies (log M_*>10.5) have a 5 to 10 times higher rate of spiral morphologies than in SDSS AGN or inactive galaxies. We also see enhanced far-IR emission in BAT AGN suggestive of higher levels of star formation compared to the comparison samples. BAT AGN are preferentially found in the most massive host galaxies with high concentration indexes indicative of large bulge-to-disk ratios and large supermassive black holes. The narrow-line BAT AGN have similar intrinsic luminosities as the SDSS NL Seyferts based on measurements of [O III]. There is also a correlation between the stellar mass and X-ray emission. The BAT AGN in mergers have bluer colors and greater ultra hard X-ray emission compared to the BAT sample as whole. In agreement with the Unified Model of AGN, and the relatively unbiased nature of the BAT sources, the host galaxy colors and morphologies are independent of measures of obscuration such as X-ray column density or Seyfert type. The high fraction of massive spiral galaxies and galaxy mergers in BAT AGN suggest that host galaxy morphology is related to the activation and fueling of local AGN.


title: Orbit-Based Dynamical Models of the Sombrero Galaxy (NGC 4594)

abstract: We present axisymmetric, orbit-based models to study the central black hole, stellar mass-to-light ratio, and dark matter halo of NGC 4594 (M104, the Sombrero Galaxy). For stellar kinematics, we use published high-resolution kinematics of the central region taken with the Hubble Space Telescope, newly obtained Gemini long-slit spectra of the major axis, and integral field kinematics from the SAURON instrument. At large radii, we use globular cluster kinematics to trace the mass profile and apply extra leverage to recovering the dark matter halo parameters. We find a black hole of mass M_{\bullet}=(6.6 +/- 0.4) x 10^8 M_{\odot}, and determine the stellar M/L_I=3.4 +/- 0.05 (uncertainties are the 68% confidence band marginalized over the other parameters). Our best fit dark matter halo is a cored logarithmic model with asymptotic circular speed V_c=376 +/- 12 km/s and core radius r_c= 4.7 +/- 0.6 kpc. The fraction of dark to total mass contained within the half-light radius is 0.52. Taking the bulge and disk components into account in our calculation of \sigma_e puts NGC 4594 squarely on the M-\sigma relation. We also determine that NGC 4594 lies directly on the M-L relation.


title: The Great Escape: How Exoplanets and Smaller Bodies Desert Dying Stars

abstract: Mounting discoveries of extrasolar planets orbiting post-main sequence stars motivate studies aimed at understanding the fate of these planets. In the traditional "adiabatic" approximation, a secondary's eccentricity remains constant during stellar mass loss. Here, we remove this approximation, investigate the full two-body point-mass problem with isotropic mass loss, and illustrate the resulting dynamical evolution. The magnitude and duration of a star's mass loss combined with a secondary's initial orbital characteristics might provoke ejection, modest eccentricity pumping, or even circularisation of the orbit. We conclude that Oort clouds and wide-separation planets may be dynamically ejected from 1-7 Solar-mass parent stars during AGB evolution. The vast majority of planetary material which survives a supernova from a 7-20 Solar-mass progenitor will be dynamically ejected from the system, placing limits on the existence of first-generation pulsar planets. Planets around >20 Solar-mass black hole progenitors may easily survive or readily be ejected depending on the core collapse and superwind models applied. Material ejected during stellar evolution might contribute significantly to the free-floating planetary population.


title: Negative Refractive Index in Hydrodynamical Systems

abstract: We discuss the presence of exotic electromagnetic phenomena in systems with finite charge density which are described by hydrodynamics. We show that such systems generically have negative refractive index for low frequency electromagnetic waves, i.e. the energy flux and the phase velocity of the wave propagate in opposite directions. We comment on possible phenomenological applications, focusing on the Quark Gluon Plasma.

categories: hep-th hep-ph physics.optics physics.plasm-ph


title: General conditions for scale-invariant perturbations in an expanding universe

abstract: We investigate the general properties of expanding cosmological models which generate scale-invariant curvature perturbations in the presence of a variable speed of sound. We show that in an expanding universe, generation of a super-Hubble, nearly scale-invariant spectrum of perturbations over a range of wavelengths consistent with observation requires at least one of three conditions: (1) accelerating expansion, (2) a speed of sound faster than the speed of light, or (3) super-Planckian energy density.


title: Negative Refraction and Superconductivity

abstract: We discuss exotic properties of charged hydrodynamical systems, in the broken superconducting phase, probed by electromagnetic waves. Motivated by general arguments from hydrodynamics, we observe that negative refraction, namely the propagation in opposite directions of the phase velocities and of the energy flux, is expected for low enough frequencies. We corroborate this general idea by analyzing a holographic superconductor in the AdS/CFT correspondence, where the response functions can be explicitly computed. We study the dual gravitational theory both in the probe and in the backreacted case. We find that, while in the first case the refractive index is positive at every frequency, in the second case there is negative refraction at low enough frequencies. This is in agreement with hydrodynamic considerations.


title: The Interaction of Cosmic Rays with Diffuse Clouds

abstract: We study the change in cosmic-ray pressure, the change in cosmic-ray density, and the level of cosmic-ray induced heating via Alfven-wave damping when cosmic rays move from a hot ionized plasma to a cool cloud embedded in that plasma. The general analysis method outlined here can apply to diffuse clouds in either the ionized interstellar medium or in galactic winds. We introduce a general-purpose model of cosmic-ray diffusion building upon the hydrodynamic approximation for cosmic rays (from McKenzie & Voelk and Breitschwerdt and collaborators). Our improved method self-consistently derives the cosmic-ray flux and diffusivity under the assumption that the streaming instability is the dominant mechanism for setting the cosmic-ray flux and diffusion. We find that, as expected, cosmic rays do not couple to gas within cool clouds (cosmic rays exert no forces inside of cool clouds), that the cosmic-ray density does not increase within clouds (it may slightly decrease in general, and decrease by an order of magnitude in some cases), and that cosmic-ray heating (via Alfven-wave damping and not collisional effects as for ~10 MeV cosmic rays) is only important under the conditions of relatively strong (10 micro-Gauss) magnetic fields or high cosmic-ray pressure (~10^{-11} ergs cm^{-3}).


title: Dimer Models and Integrable Systems

abstract: We explore various aspects of the correspondence between dimer models and integrable systems recently introduced by Goncharov and Kenyon. Dimer models give rise to relativistic integrable systems that match those arising from 5d N=1 gauge theories studied by Nekrasov. We apply the correspondence to dimer models associated to the Y^{p,0} geometries, showing that they give rise to the relativistic generalization of the periodic Toda chain originally studied by Ruijsenaars. The correspondence reduces the calculation of all conserved charges to a straightforward combinatorial problem of enumerating non-intersecting paths in the dimer model. We show how the usual periodic Toda chain emerges in the non-relativistic limit and how the Lax operator corresponds to the Kasteleyn matrix of the dimer model. We discuss how the dimer models for general Y^{p,q} manifolds give rise to other relativistic integrable systems, generalizing the periodic Toda chain and construct the integrable systems for general Y^{p,p} explicitly. The impurities introduced in the construction of Y^{p,q} quivers are identified with impurities in twisted sl(2) XXZ spin chains. Finally we discuss how the physical concept of higgsing a dimer model provides an efficient method for producing new integrable systems starting from known ones. We illustrate this idea by constructing the integrable systems for higgsings of Y^{4,0}.


title: Phase Diagram of the Kane-Mele-Hubbard model

abstract: Motivated by recent numerical results, we study the phase diagram of the Kane-Mele-Hubbard (KHM) model, especially the nature of its quantum critical points. The phase diagram of the Kane-Mele-Hubbard model can be understood by breaking the SO(4) symmetry of our previous work down to U(1)_spin x U(1)_charge x PH symmetry. The vortices of the inplane Neel phase carry charge, and the proliferation of the charged magnetic vortex drives the transition between the inplane Neel phase and the QSH insulator phase; this transition belongs to the 3d XY universality class. The transition between the liquid phase and the inplane Neel phase is an anisotropic O(4) transition, which eventually becomes first order due to quantum fluctuation. The liquid-QSH transition is predicted to be first order based on a 1/N calculation.


title: Resistance jumps and the nature of the finite-flux normal phase in ultra-thin superconducting cylinders

abstract: Recent observations have revealed the emergence of an unusual normal phase when a magnetic flux threads an ultra-thin superconducting cylinder. Moreover, with increasing temperature, the resistance rises in a series of abrupt jumps. These phenomena are explained using a novel approach, which allows calculation of the resistance in the presence of amplitude and phase fluctuations of the superconducting order parameter, and at the same time introduces a local probe of the current and chemical potential. It is demonstrated that phase fluctuations lead to the sequential breakdown of local superconducting phase correlations, resulting in the formation of normal weak links, which give rise to the emergence of the normal phase is a stepwise manner. Finally, specific predictions are made on how the experimental observations change with the cylinder geometry.


title: Potential "ways of thinking" about the shear-banding phenomenon

abstract: Shear-banding is a curious but ubiquitous phenomenon occurring in soft matter. The phenomenological similarities between the shear-banding transition and phase transitions has pushed some researchers to adopt a 'thermodynamical' approach, in opposition to the more classical 'mechanical' approach to fluid flows. In this heuristic review, we describe why the apparent dichotomy between those approaches has slowly faded away over the years. To support our discussion, we give an overview of different interpretations of a single equation, the diffusive Johnson-Segalman (dJS) equation, in the context of shear-banding. We restrict ourselves to dJS, but we show that the equation can be written in various equivalent forms usually associated with opposite approaches. We first review briefly the origin of the dJS model and its initial rheological interpretation in the context of shear-banding. Then we describe the analogy between dJS and reaction-diffusion equations. In the case of anisotropic diffusion, we show how the dJS governing equations for steady shear flow are analogous to the equations of the dynamics of a particle in a quartic potential. Going beyond the existing literature, we then draw on the Lagrangian formalism to describe how the boundary conditions can have a key impact on the banding state. Finally, we reinterpret the dJS equation again and we show that a rigorous effective free energy can be constructed, in the spirit of early thermodynamic interpretations or in terms of more recent approaches exploiting the language of irreversible thermodynamics.


title: Dissipative dynamics in semiconductors at low temperature

abstract: A mathematical model is introduced which describes the dissipation of electrons in lightly doped semi-conductors. The dissipation operator is proved to be densely defined and positive and to generate a Markov semigroup of operators. The spectrum of the dissipation operator is studied and it is shown that zero is a simple eigenvalue, which makes the equilibrium state unique. Also it is shown that there is a gap between zero and the rest of its spectrum which makes the return to equilibrium exponentially fast in time.


title: Integral Bases for the Universal Enveloping Algebras of Map Algebras

abstract: Given a finite-dimensional, complex simple Lie algebra we exhibit an integral form for the universal enveloping algebra of its map algebra, and an explicit integral basis for this integral form. We also produce explicit commutation formulas in the universal enveloping algebras of the map algebras of sl_2 that allow us to write certain elements in Poincare-Birkhoff-Witt order.


title: Simple counterterms for asymptotically AdS spacetimes in Lovelock gravity

abstract: Although gravitational actions diverge in asymptotically AdS spacetimes, boundary counterterms can be added in order to cancel out those divergences; such counterterms are known in general to third order in the Riemann tensor for the Einstein-Hilbert action. Considering foliations of AdS with an $S^m \times H^{d-m}$ boundary, we discuss a simple algorithm which we use to generate counterterms up to sixth order in the Riemann tensor, for the Einstein-Hilbert, Gauss-Bonnet and third-order-Lovelock Lagrangians. We also comment on other theories such as $F(R)$ gravity.


title: Excursion Set Halo Mass Function and Bias in a Stochastic Barrier Model of Ellipsoidal Collapse

abstract: We use the Excursion Set formalism to compute the properties of the halo mass distribution for a stochastic barrier model which encapsulates the main features of the ellipsoidal collapse of dark matter halos. Non-markovian corrections due to the sharp filtering of the linear density field in real space are computed with the path-integral technique introduced by Maggiore & Riotto (2010). Here, we provide a detailed derivation of the results presented in Corasaniti & Achitouv (2011) and extend the mass function analysis to higher redshift. We also derive an analytical expression for the linear halo bias. We find the analytically derived mass function to be in remarkable agreement with N-body simulation data from Tinker et al. (2008) with differences smaller than ~5% over the range of mass probed by the simulations. The excursion set solution from Monte Carlo generated random walks shows the same level of agreement, thus confirming the validity of the path-integral approach for the barrier model considered here. Similarly the analysis of the linear halo bias shows deviations no greater than 20%. Overall these results indicate that the Excursion Set formalism in combination with a realistic modeling of the conditions of halo collapse can provide an accurate description of the halo mass distribution.


title: Next-to-leading and resummed BFKL evolution with saturation boundary

abstract: We investigate the effects of the saturation boundary on small-x evolution at the next-to-leading order accuracy and beyond. We demonstrate that the instabilities of the next-to-leading order BFKL evolution are not cured by the presence of the nonlinear saturation effects, and a resummation of the higher order corrections is therefore needed for the nonlinear evolution. The renormalization group improved resummed equation in the presence of the saturation boundary is investigated, and the corresponding saturation scale is extracted. A significant reduction of the saturation scale is found, and we observe that the onset of the saturation corrections is delayed to higher rapidities. This seems to be related to the characteristic feature of the resummed splitting function which at moderately small values of x possesses a minimum.


title: Cold flows and the first quasars

abstract: Observations of the most distant bright quasars imply that billion solar mass supermassive black holes (SMBH) have to be assembled within the first eight hundred million years. Under our standard galaxy formation scenario such fast growth implies large gas densities providing sustained accretion at critical or supercritical rates onto an initial black hole seed. It has been a long standing question whether and how such high black hole accretion rates can be achieved and sustained at the centers of early galaxies. Here we use our new cosmological hydrodynamic simulation (MassiveBlack) covering a volume (0.75 \Gpc)^3 appropriate for studying the rare first quasars to show that steady high density cold gas flows responsible for assembling the first galaxies produce the high gas densities that lead to sustained critical accretion rates and hence rapid growth commensurate with the existence of ~10^9 solar mass black holes as early as z~7. We find that under these conditions quasar feedback is not effective at stopping the cold gas from penetrating the central regions and hence cannot quench the accretion until the host galaxy reaches M_halo > 10^{12} solar masses. This cold-flow driven scenario for the formation of quasars implies that they should be ubiquitous in galaxies in the early universe and that major (proto)galaxy mergers are not a requirement for efficient fuel supply and growth, particularly for the earliest SMBHs.


title: Early Black Holes in Cosmological Simulations: Luminosity Functions and Clustering Behaviour

abstract: We examine predictions for the quasar luminosity functions (QLF) and quasar clustering at high redshift (z > 4.75) using MassiveBlack, our new hydrodynamic cosmological simulation which includes a self-consistent model for black hole growth and feedback. We show that the model reproduces the Sloan QLF within observational constraints at z >= 5. We find that the high-z QLF is consistent with a redshift-independent occupation distribution of BHs among dark matter halos (which we provide) such that the evolution of the QLF follows that of the halo mass function. The sole exception is the bright-end at z=6 and 7, where BHs in high-mass halos tend to be unusually bright due to extended periods of Eddington growth caused by high density cold flows into the halo center. We further use these luminosity functions to make predictions for the number density of quasars in upcoming surveys, predicting there should be ~119+-28 (~87+-28) quasars detectable in the F125W band of the WIDE (DEEP) fields of the Cosmic Assembly Near-infrared Deep Extragalactic Legacy Survey (CANDELS) from z=5-6, ~19+-7 (~18+-9) from z=6-7, and ~1.7+-1.5 (~1.5+-1.5) from z=7-8. We also investigate quasar clustering, finding that the correlation length is fully consistent with current constraints for Sloan quasars (r_0~17 h^{-1} Mpc at z=4 for quasars above m_i = 20.2), and grows slowly with redshift up to z=6 (r_0~22 h^{-1} Mpc). Finally, we note that the quasar clustering strength depends weakly on luminosity for low L_BH, but gets stronger at higher L_BH as the BHs are found in higher mass halos.


title: Terapixel imaging of cosmological simulations

abstract: The increasing size of cosmological simulations has led to the need for new visualization techniques. We focus on Smoothed Particle Hydrodynamical (SPH) simulations run with the GADGET code and describe methods for visually accessing the entire simulation at full resolution. The simulation snapshots are rastered and processed on supercomputers into images that are ready to be accessed through a web interface (GigaPan). This allows any scientist with a web-browser to interactively explore simulation datasets in both in spatial and temporal dimensions, datasets which in their native format can be hundreds of terabytes in size or more. We present two examples, the first a static terapixel image of the MassiveBlack simulation, a P-GADGET SPH simulation with 65 billion particles, and the second an interactively zoomable animation of a different simulation with more than one thousand frames, each a gigapixel in size. Both are available for public access through the GigaPan web interface. We also make our imaging software publicly available.


title: Distance determination for RAVE stars using stellar models III: The nature of the RAVE survey and Milky Way chemistry

abstract: We apply the method of Burnett & Binney (2010) for the determination of stellar distances and parameters to the internal catalogue of the Radial Velocity Experiment (Steinmetz et al. 2006). Subsamples of stars that either have Hipparcos parallaxes or belong to well-studied clusters, inspire confidence in the formal errors. Distances to dwarfs cooler than ~6000 K appear to be unbiased, but those to hotter dwarfs tend to be too small by ~10% of the formal errors. Distances to giants tend to be too large by about the same amount. The median distance error in the whole sample of 216,000 stars is 28% and the error distribution is similar for both giants and dwarfs. Roughly half the stars in the RAVE survey are giants. The giant fraction is largest at low latitudes and in directions towards the Galactic Centre. Near the plane the metallicity distribution is remarkably narrow and centred on [M/H]-0.04 dex; with increasing |z| it broadens out and its median moves to [M/H] ~ -0.5. Mean age as a function of distance from the Galactic centre and distance |z| from the Galactic plane shows the anticipated increase in mean age with |z|.


title: Evidence-Based Filters for Signal Detection: Application to Evoked Brain Responses

abstract: Template-based signal detection most often relies on computing a correlation, or a dot product, between an incoming data stream and a signal template. Such a correlation results in an ongoing estimate of the magnitude of the signal in the data stream. However, it does not directly indicate the presence or absence of the signal. The problem is really one of model-testing, and the relevant quantity is the Bayesian evidence (marginal likelihood) of the signal model. Given a signal template and an ongoing data stream, we have developed an evidence-based filter that computes the Bayesian evidence that a signal is present in the data. We demonstrate this algorithm by applying it to brain-machine interface (BMI) data obtained by recording human brain electrical activity, or electroencephalography (EEG). A very popular and effective paradigm in EEG-based BMI is based on the detection of the P300 evoked brain response which is generated in response to particular sensory stimuli. The goal is to detect the presence of a P300 signal in ongoing EEG activity as accurately and as fast as possible. Our algorithm uses a subject-specific P300 template to compute the Bayesian evidence that a applying window of EEG data contains the signal. The efficacy of this algorithm is demonstrated by comparing receiver operating characteristic (ROC) curves of the evidence-based filter to the usual correlation method. Our results show a significant improvement in single-trial P300 detection. The evidence-based filter promises to improve the accuracy and speed of the detection of evoked brain responses in BMI applications as well the detection of template signals in more general signal processing applications


title: Space Reddenings for Fifteen Galactic Cepheids

abstract: Space reddenings are derived for 15 Galactic Cepheids from dereddening CCD BVRIc data for AF-type stars in the immediate vicinities of the variables, in conjunction with 2MASS reddenings for BAF-type stars in the same fields. Potential reddening solutions were analyzed using the variable-extinction method to identify stars sharing potentially similar distances and reddenings to the Cepheids, several of which have large color excesses. The intrinsic BVRIc color relation for AF dwarfs was modified slightly in the analysis in order to describe better the colors observed for unreddened stars in the samples.


title: Implications of first LHC results

abstract: We discuss implications of first LHC results for models motivated by the hierarchy problem: large extra dimensions and supersymmetry. We present bounds, global fits and implications for naturalness.


title: Membrane paradigm for Einstein-Gauss-Bonnet gravity

abstract: We construct the membrane paradigm for black objects in Einstein-Gauss-Bonnet gravity in spacetime dimensions $ \ge 5$. As in the case of general relativity, the horizon can be modeled as a membrane endowed with fluidlike properties. We derive the stress tensor for this membrane fluid and study the perturbation around static backgrounds with constant curvature horizon cross section, for which the stress tensor can be regularized with the usual redshift factor, and expressed in the form of a Newtonian viscous fluid with pressure, shear viscosity and bulk viscosity. We evaluate the transport coefficients for black holes with constant curvature horizons and negative or zero cosmological constant. For the black brane geometry our result for the ratio of shear viscosity to entropy density agrees with that obtained previously in different frameworks.


title: Keck Spectroscopy of Faint 3<z<8 Lyman Break Galaxies:- Evidence for a Declining Fraction of Emission Line Sources In the Redshift Range 6<z<8

abstract: Using deep Keck spectroscopy of Lyman break galaxies selected from infrared imaging data taken with WFC3/IR onboard the Hubble Space Telescope, we present new evidence for a reversal in the redshift-dependent fraction of star forming galaxies with detectable Lyman alpha emission in the redshift range 6.3 < z < 8.8. Our earlier surveys with the DEIMOS spectrograph demonstrated a significant increase with redshift in the fraction of line emitting galaxies over the interval 4 < z < 6, particularly for intrinsically faint systems which dominate the luminosity density. Using the longer wavelength sensitivities of LRIS and NIRSPEC, we have targeted 19 Lyman break galaxies selected using recent WFC3/IR data whose photometric redshifts are in the range 6.3 < z < 8.8 and which span a wide range of intrinsic luminosities. Our spectroscopic exposures typically reach a 5-sigma sensitivity of < 50 A for the rest-frame equivalent width (EW) of Lyman alpha emission. Despite the high fraction of emitters seen only a few hundred million years later, we find only 2 convincing and 1 possible line emitter in our more distant sample. Combining with published data on a further 7 sources obtained using FORS2 on the ESO VLT, and assuming continuity in the trends found at lower redshift, we discuss the significance of this apparent reversal in the redshift-dependent Lyman alpha fraction in the context of our range in continuum luminosity. Assuming all the targeted sources are at their photometric redshift and our assumptions about the Lyman alpha EW distribution are correct, we would expect to find so few emitters in less than 1% of the realizations drawn from our lower redshift samples. Our new results provide further support for the suggestion that, at the redshifts now being probed spectroscopically, we are entering the era where the intergalactic medium is partially neutral.


title: Echelon modification of vector bundles

abstract: We study a filtered generalization of the operation of elementary modification of vector bundles. The generalization is motivated by applications to the degeneration theory of linear systems.


title: A survey on hyperbolicity of projective hypersurfaces

abstract: These are lecture notes of a course held at IMPA, Rio de Janiero, in september 2010: the purpose was to present recent results on Kobayashi hyperbolicity in complex geometry. Our ultimate goal is to describe the results obtained on questions related to the geometry of entire curves traced in generic complex projective hypersurfaces of high degree. For the convenience of the reader, this survey tries to be as self contained as possible.


title: Dynamical effects in proton breakup from exotic nuclei

abstract: We study dynamical effects in proton breakup from a weakly bound state in an exotic nucleus on a heavy target. The Coulomb interactions between the proton and the core and the proton and the target are treated to all orders, including also the full multipole expansion of the Coulomb potential. The dynamics of proton nuclear and Coulomb breakup is compared to that of an equiva- lent neutron of larger binding energy in order to elucidate the differences with the well understood neutron breakup mechanism. A number of experimentally measurable observables such as parallel momentum distributions, proton angular distributions and total breakup cross sections are calculated. With respect to nuclear breakup it is found that a proton behaves exactly as a neutron of larger binding energy. The extra 'effective energy' is due to the combined core-target Coulomb barrier. In Coulomb breakup we distinguish the effect of the core-target Coulomb potential (called recoil effect), with respect to which the proton behaves again as a more bound neutron, from the direct proton-target Coulomb potential. The latter gives cross sections about an order of magnitude larger than the recoil term. The two effects give rise to complicated interferences in the parallel momentum distributions. They are instead easily separable in the proton angular distributions which are therefore suggested as a very useful observable for future experimental studies.


title: Lift-and-Project Integrality Gaps for the Traveling Salesperson Problem

abstract: We study the lift-and-project procedures of Lov{\'a}sz-Schrijver and Sherali-Adams applied to the standard linear programming relaxation of the traveling salesperson problem with triangle inequality. For the asymmetric TSP tour problem, Charikar, Goemans, and Karloff (FOCS 2004) proved that the integrality gap of the standard relaxation is at least 2. We prove that after one round of the Lov{\'a}sz-Schrijver or Sherali-Adams procedures, the integrality gap of the asymmetric TSP tour problem is at least 3/2, with a small caveat on which version of the standard relaxation is used. For the symmetric TSP tour problem, the integrality gap of the standard relaxation is known to be at least 4/3, and Cheung (SIOPT 2005) proved that it remains at least 4/3 after $o(n)$ rounds of the Lov{\'a}sz-Schrijver procedure, where $n$ is the number of nodes. For the symmetric TSP path problem, the integrality gap of the standard relaxation is known to be at least 3/2, and we prove that it remains at least 3/2 after $o(n)$ rounds of the Lov{\'a}sz-Schrijver procedure, by a simple reduction to Cheung's result.