title: Out-of-equilibrium dynamics in systems with long-range interactions: characterizing quasi-stationary states

abstract: Systems with long-range interactions (LRI) display unusual thermodynamical and dynamical properties that stem from the non-additive character of the interaction potential. We focus in this work on the lack of relaxation to thermal equilibrium when a LRI system is started out-of-equilibrium. Several attempts have been made at predicting the so-called quasi-stationary state (QSS) reached by the dynamics and at characterizing the resulting transition between magnetized and non-magnetized states. We review in this work recent theories and interpretations about the QSS. Several theories exist but none of them has provided yet a full account of the dynamics found in numerical simulations.


title: On the geometric structure of fMRI searchlight-based information maps

abstract: Information mapping is a popular application of Multivoxel Pattern Analysis (MVPA) to fMRI. Information maps are constructed using the so called searchlight method, where the spherical multivoxel neighborhood of every voxel (i.e., a searchlight) in the brain is evaluated for the presence of task-relevant response patterns. Despite their widespread use, information maps present several challenges for interpretation. One such challenge has to do with inferring the size and shape of a multivoxel pattern from its signature on the information map. To address this issue, we formally examined the geometric basis of this mapping relationship. Based on geometric considerations, we show how and why small patterns (i.e., having smaller spatial extents) can produce a larger signature on the information map as compared to large patterns, independent of the size of the searchlight radius. Furthermore, we show that the number of informative searchlights over the brain increase as a function of searchlight radius, even in the complete absence of any multivariate response patterns. These properties are unrelated to the statistical capabilities of the pattern-analysis algorithms used but are obligatory geometric properties arising from using the searchlight procedure.


title: Braneworld solutions from scalar field in bimetric theory

abstract: We investigate the presence of braneworld solutions in a bimetric theory, with gravity and the scalar field coupling differently. We consider a non-standard model, with a Cuscuton-like scalar field, and we show how to generate braneworld solutions in this new scenario. In particular, we found no gravitational instabilities for the braneworld solutions.


title: Pyroelectric origin of the carrier density modulation at graphene-ferroelectric interface

abstract: Using continuous approximation we study the static and high-frequency heat dissipation in multi-layer graphene on a ferroelectric. We demonstrate that the Joule heating effect, caused by a high-frequency ac electric current in graphene, creates a pronounced temperature gradient in a ferroelectric substrate. The pyroelectric effect transforms the gradient into the spontaneous polarization gradient.. Therefore, the high-frequency depolarizing electric field occurs and penetrates in the multi-layer graphene. Free charges in graphene immediately screen the electric field and thus their density oscillates at high-frequency. Performed calculations had proved that the pyroelectric effect can modify essentially the free carrier density at the graphene-ferroelectric interface and consequently the conductivity of multi-layer graphene channel. So, pyroelectric mechanism can be critical for understanding of the complex physical thermal and electrical processes taking place across and along graphene-ferroelectric interfaces at terahertz frequencies.


title: p-wave Pairing in Two-Component Fermi System with Unequal Population: Weak Coupling BCS to Strong Coupling BEC Regimes

abstract: We study p-wave pairing in a two-component Fermi system with unequal population across weak-coupling BCS to strong-coupling BEC regimes. We find a rich $m_s=0$ spin triplet p-wave superfluid ground state structure as a function of population imbalance. Under a phase stability condition, the "global" energy minimum is given by a multitude of "mixed" SF states formed of linear combinations of $m=\pm1,0$ sub-states of the $\ell=1$ orbital angular momentum state. Except for the "pure" SF states, ($\ell=1, m=\pm1$), other states exhibit oscillation in energy with the relative phase between the constituent gap amplitudes. We also find states with "local" energy minimum that can be stable at higher polarizations, suggesting a quantum phase transition between the "global" and "local" minima phases driven by polarization. The local and global minimum states may be associated with Morse and non-Morse critical points. We discuss possible consequences for experiments.


title: High quality topic extraction from business news explains abnormal financial market volatility

abstract: Understanding the mutual relationships between information flows and social activity in society today is one of the cornerstones of the social sciences. In financial economics, the key issue in this regard is understanding and quantifying how news of all possible types (geopolitical, environmental, social, financial, economic, etc.) affect trading and the pricing of firms in organized stock markets. In this article, we seek to address this issue by performing an analysis of more than 24 million news records provided by Thompson Reuters and of their relationship with trading activity for 206 major stocks in the S&P US stock index. We show that the whole landscape of news that affect stock price movements can be automatically summarized via simple regularized regressions between trading activity and news information pieces decomposed, with the help of simple topic modeling techniques, into their "thematic" features. Using these methods, we are able to estimate and quantify the impacts of news on trading. We introduce network-based visualization techniques to represent the whole landscape of news information associated with a basket of stocks. The examination of the words that are representative of the topic distributions confirms that our method is able to extract the significant pieces of information influencing the stock market. Our results show that one of the most puzzling stylized fact in financial economies, namely that at certain times trading volumes appear to be "abnormally large," can be partially explained by the flow of news. In this sense, our results prove that there is no "excess trading," when restricting to times when news are genuinely novel and provide relevant financial information.

categories: stat.ML cs.LG cs.SI physics.soc-ph q-fin.ST


title: Seismology of active stars

abstract: In this review we will discuss the current standing and open questions of seismology in active stars. With the longer photometric timeseries data that are --and will become-- available from space-missions such as Kepler we foresee significant progress in our understanding of stellar internal structures and processes --including interactions between them-- taking place in active stars in the next few years.


title: Stable pairs and the HOMFLY polynomial

abstract: Given a planar curve singularity, we prove a conjecture of Oblomkov-Shende, relating the geometry of its Hilbert scheme of points to the HOMFLY polynomial of the associated algebraic link. More generally, we prove an extension of this conjecture, due to Diaconescu-Hua-Soibelman, relating stable pair invariants on the conifold to the colored HOMFLY polynomial of the algebraic link. Our proof uses wall-crossing techniques to prove a blowup identity on the algebro-geometric side. We prove a matching identity for the colored HOMFLY polynomials of a link using skein-theoretic techniques.


title: Signatures of Fermion Pairing with Unconventional Symmetry around BCS-BEC Crossover in a Quasi-2D Lattice

abstract: We consider fermions on a 2D square lattice with a finite-range pairing interaction, and obtain signatures for unconventional pair-symmetry states, $d_{x^2-y^2}$ and extended-s ($s^*$), in the BCS-BEC crossover region. We find that the fermion momentum distribution function, $v_k^2$, the ratio of the Bogoliubov coefficients, $v_k/u_k$, and the Fourier transform of $v_k^2$ are strikingly different for $d$- and $s^*$ symmetries in the crossover region. The chemical potential and the gaps functions for both pairing symmetries show several interesting features as a function of interaction. Fermionic atoms in 2D optical lattices may provide a way to test these signatures. We discuss current generation cold atom experiments that may be utilized.


title: On the Kotani-Last and Schrodinger conjectures

abstract: In the theory of ergodic one-dimensional Schrodinger operators, ac spectrum has been traditionally expected to be very rigid. Two key conjectures in this direction state, on one hand, that ac spectrum demands almost periodicity of the potential, and, on the other hand, that the eigenfunctions are almost surely bounded in the essential suport of the ac spectrum. We show how the repeated slow deformation of periodic potentials can be used to break rigidity, and disprove both conjectures.


title: A Spectral Multiplier Theorem associated with a Schr\"odinger Operator

abstract: We establish a spectral multiplier theorem associated with a Schr\"odinger operator H=-\Delta+V(x) in \mathbb{R}^3. We present a new approach employing the Born series expansion for the resolvent. This approach provides an explicit integral representation for the difference between a spectral multiplier and a Fourier multiplier, and it allows us to treat a large class of Schr\"odinger operators without Gaussian heat kernel estimates. As an application to nonlinear PDEs, we show the local-in-time well-posedness of a 3d quintic nonlinear Schr\"odinger equation with a potential.


title: Improved Measurement of Electron Antineutrino Disappearance at Daya Bay

abstract: We report an improved measurement of the neutrino mixing angle $\theta_{13}$ from the Daya Bay Reactor Neutrino Experiment. We exclude a zero value for $\sin^22\theta_{13}$ with a significance of 7.7 standard deviations. Electron antineutrinos from six reactors of 2.9 GW$_{\rm th}$ were detected in six antineutrino detectors deployed in two near (flux-weighted baselines of 470 m and 576 m) and one far (1648 m) underground experimental halls. Using 139 days of data, 28909 (205308) electron antineutrino candidates were detected at the far hall (near halls). The ratio of the observed to the expected number of antineutrinos assuming no oscillations at the far hall is $0.944\pm 0.007({\rm stat.}) \pm 0.003({\rm syst.})$. An analysis of the relative rates in six detectors finds $\sin^22\theta_{13}=0.089\pm 0.010({\rm stat.})\pm0.005({\rm syst.})$ in a three-neutrino framework.


title: Maximum likelihood estimator consistency for ballistic random walk in a parametric random environment

abstract: We consider a one dimensional ballistic random walk evolving in an i.i.d. parametric random environment. We provide a maximum likelihood estimation procedure of the environment parameters based on a single observation of the path till the time it reaches a distant site, and prove that this estimator is consistent as the distant site tends to infinity. We also explore the numerical performances of our estimation procedure.


title: Interplay of charge and heat transport in a nano-junction in the out-of-equilibrium cotunneling regime

abstract: We study the charge transport and the heat transfer through a nano-junction composed of a small metallic grain weakly coupled to two metallic leads. We focus on the cotunneling regime out-of-equilibrium, where the bias voltage and the temperature gradient between the leads strongly drive electron and phonon degrees of freedom in the grain that in turn have a strong feedback on the transport through the grain. We derive and solve coupled kinetic equations for electron and phonon degrees of freedom in the grain. We obtain the heat fluxes between cotunneling electrons, bosonic electron-hole excitations in the grain, and phonons, and self-consistently find the current-voltage characteristics. We demonstrate that the transport in the nano-junction is very sensitive to the spectrum of the bosonic modes in the grain.


title: Strongly anisotropic diffusion problems; asymptotic analysis

abstract: The subject matter of this paper concerns anisotropic diffusion equations: we consider heat equations whose diffusion matrix have disparate eigenvalues. We determine first and second order approximations, we study the well-posedness of them and establish convergence results. The analysis relies on averaging techniques, which have been used previously for studying transport equations whose advection fields have disparate components.


title: Redshift drift in a pressure-gradient cosmology

abstract: We derive a redshift drift formula for the spherically symmetric inhomogeneous pressure Stephani universes which are complementary to the spherically symmetric inhomogeneous density Lema\^itre-Tolman-Bondi models. We show that there is a clear difference between redshift drift predictions for these two models as well as between the Stephani models and the standard $\Lambda$CDM Friedmann models. The Stephani models have positive drift values at small redshift and behave qualitatively (but not quantitatively) as the $\Lambda$CDM models at large redshift, while the drift for LTB models is always negative. This prediction may perhaps be tested in future telescopes such as European Extremely Large Telescope (EELT), Thirty Meter Telescope (TMT), Giant Magellan Telescope (GMT), and especially, in gravitational wave interferometers DECi-Hertz Interferometer Gravitational Wave Observatory and Big Bang Observer (DECIGO/BBO), which aim at low redshift.


title: Formation of the planet orbiting the millisecond pulsar J1719-1438

abstract: In 2011, Bailes et al. reported on the discovery of a detached companion in a 131 minute orbit around PSR J1719-1438, a 173 Hz millisecond pulsar. The combination of the very low mass function and such a short orbital period is unique. The discoverers suggested that the progenitor system could be an ultracompact X-ray binary (UCXB), which is a binary with a sub-hour orbital period in which a (semi-)degenerate donor fills its Roche lobe and transfers mass to a neutron star. The standard gravitational-wave driven UCXB scenario, however, cannot produce a system like PSR J1719-1438 as it would take longer than the age of the Universe to reach an orbital period of 131 min. We investigate two modifications to the standard UCXB evolution that may resolve this discrepancy. The first involves significant heating and bloating of the donor by pulsar irradiation, and in the second modification the system loses orbital angular momentum via a fast stellar wind from the irradiated donor, additional to the losses via the usual gravitational wave radiation. In particular a donor wind is effective in accelerating orbital expansion, and even a mild wind could produce the 131 minute period within the age of the Universe. We note that UCXBs could be an important class of progenitors of solitary millisecond radio pulsars.


title: Late-time evolution of ultracompact X-ray binaries

abstract: Ultracompact X-ray binaries (UCXBs) have orbital periods shorter than about 80 minutes and typically consist of a neutron star that accretes hydrogen-poor matter from a white dwarf companion. Angular momentum loss via gravitational wave radiation drives mass transfer via Roche-lobe overflow. The late-time evolution of UCXBs is poorly understood -- all 13 known systems are relatively young and it is not clear why. One question is whether old UCXBs actually still exist, or have they become disrupted at some point? Alternatively they may be simply too faint to see. To investigate this, we apply the theories of dynamical instability, the magnetic propeller effect, and evaporation of the donor, to the UCXB evolution. We find that both the propeller effect and evaporation are promising explanations for the absence of observed long-period UCXBs.


title: Resilient Source Coding

abstract: This paper provides a source coding theorem for multi-dimensional information signals when, at a given instant, the distribution associated with one arbitrary component of the signal to be compressed is not known and a side information is available at the destination. This new framework appears to be both of information-theoretical and game-theoretical interest: it provides a new type of constraints to compress an information source; it is useful for designing certain types of mediators in games and characterize utility regions for games with signals. Regarding the latter aspect, we apply the derived source coding theorem to the prisoner's dilemma and the battle of the sexes.


title: Euler's idoneal numbers and an inequality concerning minimal graphs with a prescribed number of spanning trees

abstract: Let $\alpha(n)$ be the least number $k$ for which there exists a simple graph with $k$ vertices having precisely $n \geq 3$ spanning trees. Similarly, define $\beta(n)$ as the least number $k$ for which there exists a simple graph with $k$ edges having precisely $n \geq 3$ spanning trees. As an $n$-cycle has exactly $n$ spanning trees, it follows that $\alpha(n),\beta(n) \leq n$. In this paper, we show that $\alpha(n) \leq \frac{n+4}{3}$ and $\beta(n) \leq \frac{n+7}{3} $ if and only if $n \notin {3,4,5,6,7,9,10,13,18,22}$, which is a subset of Euler's idoneal numbers. Moreover, if $n \not \equiv 2 \pmod{3}$ and $n \not = 25$ we show that $\alpha(n) \leq \frac{n+9}{4}$ and $\beta(n) \leq \frac{n+13}{4}.$ This improves some previously known bounds.


title: A Characterization of a New Type of Strong Law of Large Numbers

abstract: By applying results obtained from the new versions of the classical Levy, Ottaviani, and Hoffmann-Jorgensen (1974) inequalities proved by Li and Rosalsky(2013) and by using techniques developed by Hechner and Heinkel (2010), we provide a characterization of a new type of strong law of large numbers for independent and identically distributed real-valued random variables. Versions of this strong law of large numbers are also presented in a Banach space setting.


title: Reconciling the nonrelativistic QCD prediction and the $J/\psi\to 3\gamma$ data

abstract: It has been a long-standing problem that the rare electromagnetic decay process $J/\psi\to 3\gamma$ is plagued with both large and negative radiative and relativistic corrections. To date it remains futile to make a definite prediction to confront with the branching fraction of $J/\psi\to 3\gamma$ recently measured by the \textsf{CLEO-c} and \textsf{BESIII} Collaborations. In this work, we investigate the joint perturbative and relativistic correction (i.e. the ${\mathcal O}(\alpha_s v^2)$ correction, where $v$ denotes the characteristic velocity of the charm quark inside the $J/\psi$) for this decay process, which turns out to be very significant. After incorporating the contribution from this new ingredient, with the reasonable choice of the input parameters, we are able to account for the measured decay rates in a satisfactory degree.


title: A Ternary Digital to Analog Converter with High Power Output and 170-dB Dynamic Range

abstract: A prototype of a very high dynamic range 32-bits Digital to Analog Converter (DAC) was designed and built for the purpose of direct auditory stimulus generation. It provides signals from less than 100 nV up to 50 Watts peak power output, driving a 32-Ohms earphone or speaker. The use of ternary cells makes possible a 170 dB dynamic range that is basically limited by thermal noise only.


title: High-order sideband generation in bulk GaAs

abstract: When an intense THz field at frequency f_THz is applied to excitons resonantly created in bulk GaAs by a near IR laser at frequency f_NIR, sidebands are observed at frequencies f_sideband = f_NIR + 2nf_THz, where n is an integer. At temperature T=10 K, sidebands of order -4 {greater than or equal to} 2n {greater than or equal to} 16 are observed. Sidebands up to 10th order persist at 170 K.


title: Sharp upper and lower bounds on the number of spanning trees in Cartesian product of graphs

abstract: Let $G_1$ and $G_2$ be simple graphs and let $n_1 = |V(G_1)|$, $m_1 = |E(G_1)|$, $n_2 = |V(G_2)|$ and $m_2 = |E(G_2)|.$ In this paper we derive sharp upper and lower bounds for the number of spanning trees $\tau$ in the Cartesian product $G_1 \square G_2$ of $G_1$ and $G_2$. We show that: $$ \tau(G_1 \square G_2) \geq \frac{2^{(n_1-1)(n_2-1)}}{n_1n_2} (\tau(G_1) n_1)^{\frac{n_2+1}{2}} (\tau(G_2)n_2)^{\frac{n_1+1}{2}}$$ and $$\tau(G_1 \square G_2) \leq \tau(G_1)\tau(G_2) [\frac{2m_1}{n_1-1} + \frac{2m_2}{n_2-1}]^{(n_1-1)(n_2-1)}.$$ We also characterize the graphs for which equality holds. As a by-product we derive a formula for the number of spanning trees in $K_{n_1} \square K_{n_2}$ which turns out to be $n_{1}^{n_1-2}n_2^{n_2-2}(n_1+n_2)^{(n_1-1)(n_2-1)}.$


title: An Achievable Rate Region for the Broadcast Wiretap Channel with Asymmetric Side Information

abstract: The communication scenario under consideration in this paper corresponds to a multiuser channel with side information and consists of a broadcast channel with two legitimate receivers and an eavesdropper. Mainly, the results obtained are as follows. First, an achievable rate region is provided for the (general) case of discrete-input discrete-output channels, generalizing existing results. Second, the obtained theorem is used to derive achievable transmission rates for two practical cases of Gaussian channels. It is shown that known perturbations can enlarge the rate region of broadcast wiretap channels with side information and having side information at the decoder as well can increase the secrecy rate of channels with side information. Third, we establish for the first time an explicit connection between multiuser channels and observation structures in dynamic games. In this respect, we show how to exploit the proved achievability theorem (discrete case) to derive a communication-compatible upper bound on the minmax level of a player.


title: Moore graphs and cycles are extremal graphs for convex cycles

abstract: Let $\rho(G)$ denote the number of convex cycles of a simple graph G of order n, size m, and girth 3 <= g <=n. It is proved that $\rho(G) \leq \frac{n}{g}(m-n+1)$ and that equality holds if and only if G is an even cycle or a Moore graph. The equality also holds for a possible Moore graph of diameter 2 and degree 57 thus giving a new characterization of Moore graphs.


title: A Necessary Solution Condition for Sudoku

abstract: We develop a new discrete mathematical model which includes the classical Sudoku puzzle, Latin Squares and gerechte designs. This problem is described by integer equations and a special type of inequality constraint. We consider solutions of this generalized problem and derive a necessary condition on these solutions. The results are illustrated with examples.


title: Neutral current (anti)neutrino scattering: relativistic mean field and superscaling predictions

abstract: We evaluate the neutral current quasi-elastic neutrino cross section within two nuclear models: the SuSA model, based on the superscaling behavior of electron scattering data, and the RMF model, based on relativistic mean field theory. We also estimate the ratio $(\nu p \to \nu p)/(\nu N \to \nu N)$ and compare with the MiniBooNE experimental data, performing a fit of the parameters $M_A$ and $g_A^{(s)}$ within the two models. Finally, we present our predictions for antineutrino scattering.


title: Antenna Showers with Hadronic Initial States

abstract: We present an antenna shower formalism including contributions from initial-state partons and corresponding backwards evolution. We give a set of phase-space maps and antenna functions for massless partons which define a complete shower formalism suitable for computing observables with hadronic initial states. We focus on the initial-state components: initial-initial and initial-final antenna configurations. The formalism includes comprehensive possibilities for uncertainty estimates. We report on some preliminary results obtained with an implementation in the Vincia antenna-shower framework.


title: Singularity free stars in (2+1) dimensions

abstract: We present some new types of non-singular model for anisotropic stars with constant $\Lambda $ and variable $\Lambda$ based on the Krori and Barua (KB) metric in $(2+1)$ dimensions. The solutions obtained here satisfy all the regularity conditions and its simple analytical form helps us to study the various physical properties of the configuration.


title: Modeling Mid-Infrared Diagnostics of Obscured Quasars and Starbursts

abstract: We analyze the link between active galactic nuclei (AGN) and mid-infrared flux using dust radiative transfer calculations of starbursts realized in hydrodynamical simulations. Focusing on the effects of galaxy dust, we evaluate diagnostics commonly used to disentangle AGN and star formation in ultraluminous infrared galaxies (ULIRGs). We examine these quantities as a function of time, viewing angle, dust model, AGN spectrum, and AGN strength in merger simulations representing two possible extremes of the ULIRG population: one is a typical gas-rich merger at z ~ 0, and the other is characteristic of extremely obscured starbursts at z ~ 2 to 4. This highly obscured burst begins star-formation-dominated with significant PAH emission, and ends with a ~10^9 yr period of red near-IR colors. At coalescence, when the AGN is most luminous, dust obscures the near-infrared AGN signature, reduces the relative emission from polycyclic aromatic hydrocarbons (PAHs), and enhances the 9.7 micron absorption by silicate grains. Although generally consistent with previous interpretations, our results imply none of these indicators can unambiguously estimate the AGN luminosity fraction in all cases. Motivated by the simulations, we show that a combination of the extinction feature at 9.7 micron, the PAH strength, and a near-infrared slope can simultaneously constrain the AGN fraction and dust grain distribution for a wide range of obscuration. We find that this indicator, accessible to the James Webb Space Telescope, may estimate the AGN power as tightly as the hard X-ray flux alone, thereby providing a valuable future cross-check and constraint for large samples of distant ULIRGs.


title: Black Holes, Information, and Hilbert Space for Quantum Gravity

abstract: A coarse-grained description for the formation and evaporation of a black hole is given within the framework of a unitary theory of quantum gravity preserving locality, without dropping the information that manifests as macroscopic properties of the state at late times. The resulting picture depends strongly on the reference frame one chooses to describe the process. In one description based on a reference frame in which the reference point stays outside the black hole horizon for sufficiently long time, a late black hole state becomes a superposition of black holes in different locations and with different spins, even if the back hole is formed from collapsing matter that had a well-defined classical configuration with no angular momentum. The information about the initial state is partly encoded in relative coefficients---especially phases---of the terms representing macroscopically different geometries. In another description in which the reference point enters into the black hole horizon at late times, an S-matrix description in the asymptotically Minkowski spacetime is not applicable, but it sill allows for an "S-matrix" description in the full quantum gravitational Hilbert space including singularity states. Relations between different descriptions are given by unitary transformations acting on the full Hilbert space, and they in general involve superpositions of "distant" and "infalling" descriptions. Despite the intrinsically quantum mechanical nature of the black hole state, measurements performed by a classical physical observer are consistent with those implied by general relativity. In particular, the recently-considered firewall phenomenon can occur only for an exponentially fine-tuned (and intrinsically quantum mechanical) initial state, analogous to an entropy decreasing process in a system with large degrees of freedom.


title: Physical Conditions in Molecular Clouds in the Arm and Interarm Regions of M51

abstract: We report systematic variations in the CO(2-1)/CO(1-0) line ratio (R) in M51. The ratio shows clear evidence for the evolution of molecular gas from the upstream interarm regions, passage into the spiral arms and back into the downstream interarm regions. In the interarm regions, R is typically low <0.7 (and often 0.4-0.6); this is similar to the ratios observed in Galactic giant molecular clouds (GMCs) with low far-IR luminosities. However, the ratio rises to >0.7 (often 0.8-1.0) in the spiral arms, particularly at their leading (downstream) edge. R is also high, 0.8-1.0, in the central region. An LVG calculation provides insight into the changes in the gas physical conditions between the arm and interarm regions: cold and low density gas (~10K, ~300cm-3) is required for the interarm GMCs, but this gas must become warmer and/or denser in the more active star forming spiral arms. R is higher in areas of high 24micron brightness (an approximate tracer of star formation rate surface density) and high CO(1-0) integrated intensity (a well-calibrated tracer of total molecular gas surface density). The systematic enhancement of the CO(2-1) line relative to CO(1-0) in luminous star forming regions suggests that some caution is needed when using CO(2-1) as a tracer of bulk molecular gas mass.


title: Dark Radiation Confronting LHC in Z' Models

abstract: Recent cosmological data favour additional relativistic degrees of freedom beyond the three active neutrinos and photons, often referred to as "dark radiation". Extensions of the SM involving TeV-scale Z' gauge bosons generically contain superweakly interacting light right-handed neutrinos which can constitute this dark radiation. In this letter we confront the requirement on the parameters of the E6 Z' models to account for the present evidence of dark radiation with the already existing constraints from searches for new neutral gauge bosons at LHC7.


title: Successes and Failures of a More Comprehensive Hard Wall AdS/QCD

abstract: We explore corrections to the "hard wall" gravity dual of QCD with two-form tensor fields. These fields correspond to a dimension three quark bilinear in QCD, which generates states with 1(--) and 1(+-) quantum numbers, or omega/rho-like and h1/b1-like mesons, respectively. We include new interaction terms, which render the model complete up to dimension six. We find that breaking chiral symmetry induces modifications to the spectrum, by mixing the vector current and the new two-tensor operator. This breaks the degeneracy of the 1(--) and 1(+-) spectra. We also compute the (b1->omega + pi) decay rate and D/S ratio, and the couplings of excited rho states to two pions. We then perform a comprehensive new fit to QCD data. We obtain a value for the magnetic susceptibility of the QCD quark condensate which is consistent with phenomenological estimates. These results allow us to evaluate the success of dimension counting and UV matching in this model.


title: Axionic field theory of (3+1)-dimensional Weyl semi-metals

abstract: From a direct calculation of the anomalous Hall conductivity and an effective electromagnetic action obtained via Fujikawa's chiral rotation technique, we conclude that an axionic field theory with a non-quantized coefficient describes the electromagnetic response of the $(3+1)$-dimensional Weyl semi-metal. The coefficient is proportional to the momentum space separation of the Weyl nodes. Akin to the Chern-Simons field theory of quantum Hall effect, the axion field theory violates gauge invariance in the presence of the boundary, which is cured by the chiral anomaly of the surface states via the Callan-Harvey mechanism. This provides a unique solution for the radiatively induced CPT-odd term in the electromagnetic polarization tensor of the Lorentz violating spinor electrodynamics, where the source of the Lorentz violation is a constant axial four vector term for the Dirac fermion. A direct linear response calculation also establishes anomalous thermal Hall effect and a Wiedemann-Franz law, but thermal Hall conductivity does not directly follow from the well known formula for the gravitational chiral anomaly.


title: Supernova Remnant Progenitor Masses in M31

abstract: Using HST photometry, we age-date 59 supernova remnants (SNRs) in the spiral galaxy M31 and use these ages to estimate zero-age main sequence masses (MZAMS) for their progenitors. To accomplish this, we create color-magnitude diagrams (CMDs) and use CMD fitting to measure the recent star formation history (SFH) of the regions surrounding cataloged SNR sites. We identify any young coeval population that likely produced the progenitor star and assign an age and uncertainty to that population. Application of stellar evolution models allows us to infer the MZAMS from this age. Because our technique is not contingent on precise location of the progenitor star, it can be applied to the location of any known SNR. We identify significant young SF around 53 of the 59 SNRs and assign progenitor masses to these, representing a factor of 2 increase over currently measured progenitor masses. We consider the remaining 6 SNRs as either probable Type Ia candidates or the result of core-collapse progenitors that have escaped their birth sites. The distribution of recovered progenitor masses is bottom heavy, showing a paucity of the most massive stars. If we assume a single power law distribution, dN/dM proportional to M^alpha, we find a distribution that is steeper than a Salpeter IMF (alpha=-2.35). In particular, we find values of alpha outside the range -2.7 to -4.4 inconsistent with our measured distribution at 95% confidence. If instead we assume a distribution that follows a Salpeter IMF up to some maximum mass, we find that values of M_max greater than 26 Msun are inconsistent with the measured distribution at 95% confidence. In either scenario, the data suggest that some fraction of massive stars may not explode. The result is preliminary and requires more SNRs and further analysis. In addition, we use our distribution to estimate a minimum mass for core collapse between 7.0 and 7.8 Msun.


title: Lensing Noise in mm-wave Galaxy Cluster Surveys

abstract: We study the effects of gravitational lensing by galaxy clusters of the background of dusty star-forming galaxies (DSFGs) and the Cosmic Microwave Background (CMB), and examine the implications for Sunyaev-Zel'dovich-based (SZ) galaxy cluster surveys. At the locations of galaxy clusters, gravitational lensing modifies the probability distribution of the background flux of the DSFGs as well as the CMB. We find that, in the case of a single-frequency 150 GHz survey, lensing of DSFGs leads to both a slight increase (~10%) in detected cluster number counts (due to a ~ 50% increase in the variance of the DSFG background, and hence an increased Eddington bias), as well as to a rare (occurring in ~2% of clusters) "filling-in" of SZ cluster signals by bright strongly lensed background sources. Lensing of the CMB leads to a ~55% reduction in CMB power at the location of massive galaxy clusters in a spatially-matched single-frequency filter, leading to a net decrease in detected cluster number counts. We find that the increase in DSFG power and decrease in CMB power due to lensing at cluster locations largely cancel, such that the net effect on cluster number counts for current SZ surveys is sub-dominant to Poisson errors.


title: Hofstadter problem in higher dimensions

abstract: We investigate some generalizations of the Hofstadter problem to higher dimensions with Abelian and non-Abelian gauge field configurations. We numerically show the hierarchical structure in the energy spectra with several lattice models. It is also pointed out the equivalence betwee the \pi-flux state and the staggered formalism of Dirac fermion.


title: Bloch Model Wavefunctions and Pseudopotentials for All Fractional Chern Insulators

abstract: We introduce a Bloch-like basis in a C-component lowest Landau level fractional quantum Hall (FQH) effect, which entangles the real and internal degrees of freedom and preserves an Nx x Ny full lattice translational symmetry. We implement the Haldane pseudopotential Hamiltonians in this new basis. Their ground states are the model FQH wave functions, and our Bloch basis allows for a mutatis mutandis transcription of these model wave functions to the fractional Chern insulator of arbitrary Chern number C, obtaining wave functions different from all previous proposals. For C > 1, our wave functions are related to color-dependent magnetic-flux inserted versions of Halperin and non-Abelian color-singlet states. We then provide large-size numerical results for both the C = 1 and C = 3 cases. This new approach leads to improved overlaps compared to previous proposals. We also discuss the adiabatic continuation from the fractional Chern insulator to the FQH in our Bloch basis, both from the energy and the entanglement spectrum perspectives.


title: QCD Phase Diagram with 2-flavor Lattice Fermion Formulations

abstract: We propose a new framework for investigating two-flavor lattice QCD with finite temperature and density by applying the Karsten-Wilczek lattice fermion, in which a species-dependent imaginary chemical potential can reduce the number of species to two without losing chiral symmetry. This lattice discretization is useful for study on finite-(T,\mu) QCD since its discrete symmetries are appropriate for the case. To show its applicability, we study strong-coupling lattice QCD with temperature and chemical potential. We derive the effective potential of the scalar meson field and obtain a critical line of the chiral phase transition, which is qualitatively consistent with the phenomenologically expected phase diagram.


title: Rhapsody. II. Subhalo Properties and the Impact of Tidal Stripping From a Statistical Sample of Cluster-Size Halos

abstract: We discuss the properties of subhalos in cluster-size halos, using a high-resolution statistical sample: the Rhapsody simulations introduced in Wu et al. (2012). We demonstrate that the criteria applied to select subhalos have significant impact on the inferred properties of the sample, including the scatter in the number of subhalos, the correlation between the subhalo number and formation time, and the shape of subhalos' spatial distribution and velocity structure. We find that the number of subhalos, when selected using the peak maximum circular velocity in their histories (a property expected to be closely related to the galaxy luminosity), is uncorrelated with the formation time of the main halo. This is in contrast to the previously reported correlation from studies where subhalos are selected by the current maximum circular velocity; we show that this difference is a result of the tidal stripping of the subhalos. We also find that the dominance of the main halo and the subhalo mass fraction are strongly correlated with halo concentration and formation history. These correlations are important to take into account when interpreting results from cluster samples selected with different criteria. Our sample also includes a fossil cluster, which is presented separately and placed in the context of the rest of the sample.


title: Weighted $L^p$-estimates for elliptic equations with measurable coefficients in nonsmooth domains

abstract: We obtain a global weighted $L^p$ estimate for the gradient of the weak solutions to divergence form elliptic equations with measurable coefficients in a nonsmooth bounded domain. The coefficients are assumed to be merely measurable in one variable and to have small BMO semi-norms in the remaining variables, while the boundary of the domain is supposed to be Reifenberg flat, which goes beyond the category of domains with Lipschitz continuous boundaries. As consequence of the main result, we derive global gradient estimate for the weak solution in the framework of the Morrey spaces which implies global Hoelder continuity of the solution.


title: Detection of Low Mass-ratio Stellar Binary Systems

abstract: O- and B-type stars are often found in binary systems, but the low binary mass-ratio regime is relatively unexplored due to observational difficulties. Binary systems with low mass-ratios may have formed through fragmentation of the circumstellar disk rather than molecular cloud core fragmen- tation. We describe a new technique sensitive to G- and K-type companions to early B stars, a mass-ratio of roughly 0.1, using high-resolution, high signal-to-noise spectra. We apply this technique to a sample of archived VLT/CRIRES observations of nearby B-stars in the CO bandhead near 2300 nm. While there are no unambiguous binary detections in our sample, we identify HIP 92855 and HIP 26713 as binary candidates warranting follow-up observations. We use our non-detections to determine upper limits to the frequency of FGK stars orbiting early B-type primaries.


title: The Herschel view of the environment of the radio galaxy 4C+41.17 at z = 3.8

abstract: We present Herschel observations at 70, 160, 250, 350 and 500 micron of the environment of the radio galaxy 4C+41.17 at z = 3.792. About 65% of the extracted sources are securely identified with mid-IR sources observed with the Spitzer Space Telescope at 3.6, 4.5, 5.8, 8 and 24 micron. We derive simple photometric redshifts, also including existing 850 micron and 1200 micron data, using templates of AGN, starburst-dominated systems and evolved stellar populations. We find that most of the Herschel sources are foreground to the radio galaxy and therefore do not belong to a structure associated with 4C+41.17. We do, however, find that the SED of the closest (~ 25" offset) source to the radio galaxy is fully consistent with being at the same redshift as 4C+41.17. We show that finding such a bright source that close to the radio galaxy at the same redshift is a very unlikely event, making the environment of 4C+41.17 a special case. We demonstrate that multi-wavelength data, in particular on the Rayleigh-Jeans side of the spectral energy distribution, allow us to confirm or rule out the presence of protocluster candidates that were previously selected by single wavelength data sets.


title: Identifying Elusive Electromagnetic Counterparts to Gravitational Wave Mergers: an end-to-end simulation

abstract: Combined gravitational-wave (GW) and electromagnetic (EM) observations of compact binary mergers should enable detailed studies of astrophysical processes in the strong-field gravity regime. Networks of GW interferometers have poor angular resolution on the sky and their EM signatures are predicted to be faint. Therefore, a challenging goal will be to unambiguously pinpoint the EM counterparts to GW mergers. We perform the first comprehensive end-to-end simulation that focuses on: i) GW sky localization, distance measures and volume errors with two compact binary populations and four different GW networks, ii) subsequent detectability by a slew of multiwavelength telescopes and, iii) final identification of the merger counterpart amidst a sea of possible astrophysical false-positives. First, we find that double neutron star (NS) binary mergers can be detected out to a maximum distance of 400 Mpc (or 750 Mpc) by three (or five) detector GW networks respectively. NS -- black-hole (BH) mergers can be detected a factor of 1.5 further out. The sky localization uncertainties for NS-BH mergers are 50--170 sq. deg. (or 6--65 sq. deg.) for a three (or five detector) GW network respectively. Second, we quantify relative fractions of optical counterparts that are detectable by different size telescopes. Third, we present five case studies to illustrate the diversity of challenges in secure identification of the EM counterpart at low and high Galactic latitudes. For the first time, we demonstrate how construction of low-latency GW volumes in conjunction with local universe galaxy catalogs can help solve the problem of false positives.

categories: astro-ph.HE astro-ph.CO astro-ph.GA gr-qc


title: Orbifold completion of defect bicategories

abstract: Orbifolds of two-dimensional quantum field theories have a natural formulation in terms of defects or domain walls. This perspective allows for a rich generalisation of the orbifolding procedure, which we study in detail for the case of topological field theories. Namely, a TFT with defects gives rise to a pivotal bicategory of "worldsheet phases" and defects between them. We develop a general framework which takes such a bicategory B as input and returns its "orbifold completion" B_orb. The completion satisfies the natural properties B \subset B_orb and (B_orb)_orb = B_orb, and it gives rise to various new equivalences and nondegeneracy results. When applied to TFTs, the objects in B_orb correspond to generalised orbifolds of the theories in B. In the example of Landau-Ginzburg models we recover and unify conventional equivariant matrix factorisations, prove when and how (generalised) orbifolds again produce open/closed TFTs, and give nontrivial examples of new orbifold equivalences.


title: Quermassintegrals of quasi-concave functions and generalized Pr\'ekopa-Leindler inequalities

abstract: We extend to a functional setting the concept of quermassintegrals, well-known within the Minkowski theory of convex bodies. We work in the class of quasi-concave functions defined on the Euclidean space, and with the hierarchy of their subclasses given by $\alpha$-concave functions. In this setting, we investigate the most relevant features of functional quermassintegrals, and we show they inherit the basic properties of their classical geometric counterpart. As a first main result, we prove a Steiner-type formula which holds true by choosing a suitable functional equivalent of the unit ball. Then, we establish concavity inequalities for quermassintegrals and for other general hyperbolic functionals, which generalize the celebrated Pr\'ekopa-Leindler and Brascamp-Lieb inequalities. Further issues that we transpose to this functional setting are: integral-geometric formulae of Cauchy-Kubota type, valuation property and isoperimetric/Uryshon-like inequalities.


title: The price of re-establishing perfect, almost perfect or public monitoring in games with arbitrary monitoring

abstract: This paper establishes a connection between the notion of observation (or monitoring) structure in game theory and the one of communication channels in Shannon theory. One of the objectives is to know under which conditions an arbitrary monitoring structure can be transformed into a more pertinent monitoring structure. To this end, a mediator is added to the game. The objective of the mediator is to choose a signalling scheme that allows the players to have perfect, almost perfect or public monitoring and all of this, at a minimum cost in terms of signalling. Graph coloring, source coding, and channel coding are exploited to deal with these issues. A wireless power control game is used to illustrate these notions but the applicability of the provided results and, more importantly, the framework of transforming monitoring structures go much beyond this example.


title: On the Summability of Bivariate Rational Functions

abstract: We present criteria for deciding whether a bivariate rational function in two variables can be written as a sum of two (q-)differences of bivariate rational functions. Using these criteria, we show how certain double sums can be evaluated, first, in terms of single sums and, finally, in terms of values of special functions.


title: Quantum de Finetti Theorems under Local Measurements with Applications

abstract: Quantum de Finetti theorems are a useful tool in the study of correlations in quantum multipartite states. In this paper we prove two new quantum de Finetti theorems, both showing that under tests formed by local measurements one can get a much improved error dependence on the dimension of the subsystems. We also obtain similar results for non-signaling probability distributions. We give the following applications of the results: We prove the optimality of the Chen-Drucker protocol for 3-SAT, under the exponential time hypothesis. We show that the maximum winning probability of free games can be estimated in polynomial time by linear programming. We also show that 3-SAT with m variables can be reduced to obtaining a constant error approximation of the maximum winning probability under entangled strategies of O(m^{1/2})-player one-round non-local games, in which the players communicate O(m^{1/2}) bits all together. We show that the optimization of certain polynomials over the hypersphere can be performed in quasipolynomial time in the number of variables n by considering O(log(n)) rounds of the Sum-of-Squares (Parrilo/Lasserre) hierarchy of semidefinite programs. As an application to entanglement theory, we find a quasipolynomial-time algorithm for deciding multipartite separability. We consider a result due to Aaronson -- showing that given an unknown n qubit state one can perform tomography that works well for most observables by measuring only O(n) independent and identically distributed (i.i.d.) copies of the state -- and relax the assumption of having i.i.d copies of the state to merely the ability to select subsystems at random from a quantum multipartite state. The proofs of the new quantum de Finetti theorems are based on information theory, in particular on the chain rule of mutual information.


title: Our astrochemical heritage

abstract: Our Sun and planetary system were born about 4.5 billion years ago. How did this happen and what is our heritage from these early times? This review tries to address these questions from an astrochemical point of view. On the one hand, we have some crucial information from meteorites, comets and other small bodies of the Solar System. On the other hand, we have the results of studies on the formation process of Sun-like stars in our Galaxy. These results tell us that Sun-like stars form in dense regions of molecular clouds and that three major steps are involved before the planet formation period. They are represented by the pre-stellar core, protostellar envelope and protoplanetary disk phases. Simultaneously with the evolution from one phase to the other, the chemical composition gains increasing complexity. In this review, we first present the information on the chemical composition of meteorites, comets and other small bodies of the Solar System, which is potentially linked to the first phases of the Solar System's formation. Then we describe the observed chemical composition in the pre-stellar core, protostellar envelope and protoplanetary disk phases, including the processes that lead to them. Finally, we draw together pieces from the different objects and phases to understand whether and how much we inherited chemically from the time of the Sun's birth.


title: Long-lived heavy quarks : a review

abstract: We review the theoretical and experimental situation for long-lived heavy quarks, or bound states thereof, arising in simple extensions of the Standard Model. If these particles propagate large distances before their decay, they give rise to specific signatures requiring dedicated analysis methods. In particular, vector-like quarks with negligible couplings to the three known families could have eluded the past experimental searches. While most analyses assume prompt decays at the production vertex, novel heavy quarks might lead to signatures involving displaced vertices, new hadronic bound states, or decays happening outside of the detector acceptance. We perform reinterpretations of existing searches for short- and long-lived particles, and give suggestions on how to extend their reach to long-lived heavy quarks.


title: "To sense" or "not to sense" in energy-efficient power control games

abstract: A network of cognitive transmitters is considered. Each transmitter has to decide his power control policy in order to maximize energy-efficiency of his transmission. For this, a transmitter has two actions to take. He has to decide whether to sense the power levels of the others or not (which corresponds to a finite sensing game), and to choose his transmit power level for each block (which corresponds to a compact power control game). The sensing game is shown to be a weighted potential game and its set of correlated equilibria is studied. Interestingly, it is shown that the general hybrid game where each transmitter can jointly choose the hybrid pair of actions (to sense or not to sense, transmit power level) leads to an outcome which is worse than the one obtained by playing the sensing game first, and then playing the power control game. This is an interesting Braess-type paradox to be aware of for energy-efficient power control in cognitive networks.


title: Quantum Correlations and the Measurement Problem

abstract: The transition from classical to quantum mechanics rests on the recognition that the structure of information is not what we thought it was: there are operational, i.e., phenomenal, probabilistic correlations that lie outside the polytope of local correlations. Such correlations cannot be simulated with classical resources, which generate classical correlations represented by the points in a simplex, where the vertices of the simplex represent joint deterministic states that are the common causes of the correlations. The `no go' hidden variable theorems tell us that we can't shoe-horn correlations outside the local polytope into a classical simplex by supposing that something has been left out of the story. The replacement of the classical simplex by the quantum convex set as the structure representing probabilistic correlations is the analogue for quantum mechanics of the replacement of Newton's Euclidean space and time by Minkowski spacetime in special relativity. The nonclassical features of quantum mechanics, including the irreducible information loss on measurement, are generic features of correlations that lie outside the local correlation polytope. This paper is an elaboration of these ideas, and its consequences for the measurement problem of quantum mechanics. A large part of the difficulty is removed by seeing that the inconsistency in reconciling the entangled state at the end of a quantum measurement process with the definiteness of the macroscopic pointer reading and the definiteness of the correlated value of the measured micro-observable is only apparent and depends on a stipulation that is not required by the structure of the quantum possibility space. Replacing this stipulation by an alternative consistent stipulation resolves the problem.


title: Optimal execution and block trade pricing: a general framework

abstract: In this article, we develop a general framework to study optimal execution and to price block trades. We prove existence of optimal liquidation strategies and we provide regularity results for optimal strategies under very general hypotheses. We exhibit a Hamiltonian characterization for the optimal strategy that can be used for numerical approximation. We also focus on the important topic of block trade pricing and we propose a methodology to give a price to financial (il)liquidity. In particular, we provide a closed-form formula for the price of a block trade when there is no time constraint to liquidate.


title: Impact of the various spin and orbital ordering processes on multiferroic properties of orthovanadate DyVO3

abstract: The orthovanadate DyVO3 crystal, known to exhibit multiple structural, spin and orbital ordering transitions, is presently investigated on the basis of magnetization, heat capacity, resistivity, dielectric and polarization measurements. Our main result is experimental evidence for the existence of multiferroicity below a high TC of 108 K over a wide temperature range including different spin-orbital ordered states. The onset of ferroelectricity is found to coincide with the antiferromagnetic C-type spin ordering transition taking place at 108 K, which indicates that DyVO3 belongs to type II multiferroics exhibiting a coupling between magnetism and ferroelectricity. Some anomalies detected on the temperature dependence of electric polarization are discussed with respect to the nature of the spin-orbital ordered states of the V sublattice and the degree of spin alignment in the Dy sublattice. The orthovanadates RVO3 (R = rare earth or Y) form an important new category for searching for high-TC multiferroics.


title: Incoherent Excitation of Thermally Equilibrated Open Quantum Systems

abstract: Under natural conditions, excitation of biological molecules, which display non-unitary open system dynamics, occurs via incoherent processes such as temperature changes or irradiation by sunlight/moonlight. The dynamics of such processes is explored analytically in a non-Markovian generic model. Specifically, a system S in equilibrium with a thermal bath TB is subjected to an external incoherent perturbation BB (such as sunlight) or another thermal bath TB', which induces time evolution in (S+TB). Particular focus is on (i) the extent to which the resultant dynamics is coherent, and (ii) the role of "stationary coherences", established in the (S+TB) equilibration, in the response to the second incoherent perturbation. Results for systems with parameters analogous to those in light harvesting molecules in photosynthesis show that the resultant dynamical behaviour is incoherent beyond a very short response to the turn-on of the perturbation.


title: Statefinder diagnostic of logarithmic entropy corrected holographic dark energy with Granda-Oliveros IR cut-off

abstract: In this work, we have studied the logarithmic entropy corrected holographic dark energy (LECHDE) model with Granda-Oliveros (G-O) IR cutoff. The evolution of dark energy (DE) density $\Omega'_D$, the deceleration parameter, $q$, and equation of state parameter (EoS), $\omega_{\Lambda}$, are calculated. We show that the phantom divide may be crossed by choosing proper model parameters, even in absence of any interaction between dark energy and dark matter. By studying the statefinder diagnostic and $\omega_{\Lambda}-\omega_{\Lambda}^{\prime}$ analysis, the pair parameters $\{r,s\}$ and $(\omega_{\Lambda}-\omega_{\Lambda}^{\prime})$ is calculated for flat GO-LECHDE universe. At present time, the pair $\{r,s\}$ can mimic the $\Lambda$CDM scenario for a value of $\alpha/\beta\simeq 0.87$, which is lower than the corresponding one for observational data ($\alpha/\beta=1.76$) and for Ricci scale ($\alpha/\beta=2$). We find that at present, by taking the various values of ($\alpha/\beta$), the different points in $r-s$ and $(\omega_{\Lambda}-\omega_{\Lambda}^{\prime})$ plans are given. Moreover, in the limiting case for a flat dark dominated universe at infinity ($t\rightarrow \infty$), we calculate $\{r,s\}$ at G-O scale. For Ricci scale ($\alpha = 2$, $\beta = 1$) we obtain $\{r=0,s=2/3\}$.


title: H1 photonic crystal cavitites for hybrid quantum information protocols

abstract: Hybrid quantum information protocols are based on local qubits, such as trapped atoms, NV centers, and quantum dots, coupled to photons. The coupling is achieved through optical cavities. Here we demonstrate far-field optimized H1 photonic crystal membrane cavities combined with an additional back reflection mirror below the membrane that meet the optical requirements for implementing hybrid quantum information protocols. Using numerical optimization we find that 80% of the light can be radiated within an objective numerical aperture of 0.8, and the coupling to a single-mode fiber can be as high as 92%. We experimentally prove the unique external mode matching properties by resonant reflection spectroscopy with a cavity mode visibility above 50%.


title: Spectrum of the unresolved cosmic X ray background: what is unresolved 50 years after its discovery

abstract: We study the spectral properties of the unresolved cosmic X-ray background (CXRB) in the 1.5-7.0 keV energy band with the aim of providing an observational constraint on the statistical properties of those sources that are too faint to be individually probed. We made use of the Swift X-ray observation of the Chandra Deep Field South complemented by the Chandra data. Exploiting the lowest instrument background (Swift) together with the deepest observation ever performed (Chandra) we measured the unresolved emission at the deepest level and with the best accuracy available today. We find that the unresolved CXRB emission can be modeled by a single power law with a very hard photon index Gamma=0.1+/-0.7 and a flux of 5(+/-3)E-12 cgs in the 2.0-10 keV energy band (1 sigma error). Thanks to the low instrument background of the Swift-XRT, we significantly improved the accuracy with respect to previous measurements. These results point towards a novel ingredient in AGN population synthesis models, namely a positive evolution of the Compton-thick AGN population from local Universe to high redshift.


title: Efficient algorithms for tandem queueing system simulation

abstract: Serial and parallel algorithms for simulation of tandem queueing systems with infinite buffers are presented, and their performance is examined. It is shown that the algorithms which are based on a simple computational procedure involve low time and memory requirements.


title: Adaptable processes

abstract: We propose the concept of adaptable processes as a way of overcoming the limitations that process calculi have for describing patterns of dynamic process evolution. Such patterns rely on direct ways of controlling the behavior and location of running processes, and so they are at the heart of the adaptation capabilities present in many modern concurrent systems. Adaptable processes have a location and are sensible to actions of dynamic update at runtime; this allows to express a wide range of evolvability patterns for concurrent processes. We introduce a core calculus of adaptable processes and propose two verification problems for them: bounded and eventual adaptation. While the former ensures that the number of consecutive erroneous states that can be traversed during a computation is bound by some given number k, the latter ensures that if the system enters into a state with errors then a state without errors will be eventually reached. We study the (un)decidability of these two problems in several variants of the calculus, which result from considering dynamic and static topologies of adaptable processes as well as different evolvability patterns. Rather than a specification language, our calculus intends to be a basis for investigating the fundamental properties of evolvable processes and for developing richer languages with evolvability capabilities.


title: Matroid and Tutte-connectivity in infinite graphs

abstract: We relate matroid connectivity to Tutte-connectivity in an infinite graph. Moreover, we show that the two cycle matroids, the finite-cycle matroid and the cycle matroid, in which also infinite cycles are taken into account, have the same connectivity function. As an application we re-prove that, also for infinite graphs, Tutte-connectivity is invariant under taking dual graphs.


title: Validation of density functionals for transition metals and intermetallics using data from quantitative electron diffraction

abstract: Accurate low-order structure factors (Fg) measured by quantitative convergent beam electron diffraction (QCBED) were used for validation of different density functional theory (DFT) approximations. 23 low-order Fg were measured by QCBED for the transition metals Cr, Fe, Co, Ni, and Cu, and the transition metal based intermetallic phases {\gamma}-TiAl, {\beta}-NiAl and {\gamma}1-FePd using a multi-beam off-zone axis (MBOZA) method and then compared with Fg calculated ab-initio by DFT using the local spin density approximation (LDA) and LDA+U, and different generalized gradient approximations (GGA) functionals. Different functionals perform very differently for different materials and crystal structures. Among the GGA functionals, PW91 and EV93 achieve the best overall agreement with the experimentally determined low-order Fg for the five metals, while PW91 performs the best for the three intermetallics. The LDA+U approach, through careful selection of U, achieves excellent matches with the experimentally measured Fg for all the metallic systems investigated in this paper. Similar to the band gap for semiconductors, it is proposed that experimentally determined low-order Fg can be used to tune the U term in LDA+U method DFT calculations for metals and intermetallics.


title: Data Survivability in Networks of Mobile Robots in Urban Disaster Environments

abstract: Mobile multi-robot teams deployed for monitoring or search-and-rescue missions in urban disaster areas can greatly improve the quality of vital data collected on-site. Analysis of such data can identify hazards and save lives. Unfortunately, such real deployments at scale are cost prohibitive and robot failures lead to data loss. Moreover, scaled-down deployments do not capture significant levels of interaction and communication complexity. To tackle this problem, we propose novel mobility and failure generation frameworks that allow realistic simulations of mobile robot networks for large scale disaster scenarios. Furthermore, since data replication techniques can improve the survivability of data collected during the operation, we propose an adaptive, scalable data replication technique that achieves high data survivability with low overhead. Our technique considers the anticipated robot failures and robot heterogeneity to decide how aggressively to replicate data. In addition, it considers survivability priorities, with some data requiring more effort to be saved than others. Using our novel simulation generation frameworks, we compare our adaptive technique with flooding and broadcast-based replication techniques and show that for failure rates of up to 60% it ensures better data survivability with lower communication costs.


title: Combining Riesz bases

abstract: We show that any finite union of intervals supports a Riesz basis of exponentials


title: A Distributed Transportation Simplex Applied to a Content Distribution Network Problem

abstract: A Content Distribution Network (CDN) can be defined as an overlay system that replicates copies of contents at multiple points of a network, close to the final users, with the objective of improving data access. CDN technology is widely used for the distribution of large-sized contents, like in video streaming. In this paper we address the problem of finding the best server for each customer request in CDNs, in order to minimize the overall cost. We consider the problem as a transportation problem and a distributed algorithm is proposed to solve it. The algorithm is composed of two independent phases: a distributed heuristic finds an initial solution that may be later improved by a distributed transportation simplex algorithm. It is compared with the sequential version of the transportation simplex and with an auction-based distributed algorithm. Computational experiments carried out on a set of instances adapted from the literature revealed that our distributed approach has a performance similar to its sequential counterpart, in spite of not requiring global information about the contents requests. Moreover, the results also showed that the new method outperforms the based-auction distributed algorithm.


title: Automated family-based naming of small RNAs for next generation sequencing data using a modified MD5-digest algorithm

abstract: We developed NameMyGene, a web tool and a stand alone program to easily generate putative family-based names for small RNA sequences so that laboratories can easily organize, analyze, and observe patterns from, the massive amount of data generated by next-generation sequencers. NameMyGene, also applicable to other emerging methods such as RNA-Seq, and Chip-Seq, solely uses the input small RNA sequence and does not require any additional data such as other sequence data sets. The web server and software is freely available (http://www.johnlab.org/NameMyGene) and is based on Java to ensure platform independency.


title: Splitting of resonance excitations in nearly optimally doped Ba(Fe0.94Co0.06)2As2: an inelastic neutron scattering study with polarization analysis

abstract: Magnetic excitations in Ba(Fe0.94Co0.06)2As2 are studied by polarized inelastic neutron scattering (INS) above and below the superconducting transition. In the superconducting state we find clear evidence for two resonance-like excitations. At a higher energy of about 8 meV there is an isotropic resonance mode with weak dispersion along the c-direction. In addition we find a lower excitation at 4 meV that appears only in the c-polarized channel and whose intensity strongly varies with the L-component of the scattering vector. These resonance excitations behave remarkably similar to the gap modes in the antiferromagnetic phase of the parent compound BaFe2As2.


title: New Hubble Space Telescope Observations of Heavy Elements in Four Metal-Poor Stars

abstract: Elements heavier than the iron group are found in nearly all halo stars. A substantial number of these elements, key to understanding neutron-capture nucleosynthesis mechanisms, can only be detected in the near-ultraviolet. We report the results of an observing campaign using the Space Telescope Imaging Spectrograph on board the Hubble Space Telescope to study the detailed heavy element abundance patterns in four metal-poor stars. We derive abundances or upper limits from 27 absorption lines of 15 elements produced by neutron-capture reactions, including seven elements (germanium, cadmium, tellurium, lutetium, osmium, platinum, and gold) that can only be detected in the near-ultraviolet. We also examine 202 heavy element absorption lines in ground-based optical spectra obtained with the Magellan Inamori Kyocera Echelle Spectrograph on the Magellan-Clay Telescope at Las Campanas Observatory and the High Resolution Echelle Spectrometer on the Keck I Telescope on Mauna Kea. We have detected up to 34 elements heavier than zinc. The bulk of the heavy elements in these four stars are produced by r-process nucleosynthesis. These observations affirm earlier results suggesting that the tellurium found in metal-poor halo stars with moderate amounts of r-process material scales with the rare earth and third r-process peak elements. Cadmium often follows the abundances of the neighboring elements palladium and silver. We identify several sources of systematic uncertainty that must be considered when comparing these abundances with theoretical predictions. We also present new isotope shift and hyperfine structure component patterns for Lu II and Pb I lines of astrophysical interest.


title: D+s production at central rapidity in Pb Pb collisions at sqrt{s_NN} = 2.76 TeV with the ALICE detector

abstract: We present the measurement of the D+s production in pp collisions at sqrt{s} = 7 TeV and in Pb Pb collisions at sqrt{s_NN} =2.76 TeV performed with the ALICE detector at central rapidity through the reconstruction of the hadronic decay channel D+s-> K+K-pi+. The preliminary results of the D+s nuclear modification factor will be presented.


title: The SDSS-III Baryon Oscillation Spectroscopic Survey: The Quasar Luminosity Function from Data Release Nine

abstract: We present a new measurement of the optical Quasar Luminosity Function (QLF), using data from the Sloan Digital Sky Survey-III: Baryon Oscillation Spectroscopic Survey (SDSS-III: BOSS). From the SDSS-III Data Release Nine (DR9), we select a uniform sample of 22,301 i<=21.8 quasars over an area of 2236 sq. deg with confirmed spectroscopic redshifts between 2.2<z<3.5, filling in a key part of the luminosity-redshift plane for optical quasar studies. We derive the completeness of the survey through simulated quasar photometry, and check this completeness estimate using a sample of quasars selected by their photometric variability within the BOSS footprint. We investigate the level of systematics associated with our quasar sample using the simulations, in the process generating color-redshift relations and a new quasar k-correction. We probe the faint end of the QLF to M_i(z=2.2) = -24.5 and see a clear break in the QLF at all redshifts up to z=3.5. We find that a log-linear relation (in log[Phi*] - M*) for a luminosity and density evolution (LEDE) model adequately describes our data within the range 2.2<z<3.5; across this interval the break luminosity increases by a factor of ~2.3 while Phi* declines by a factor of ~6. At z<2.2 our data is reasonably well fit by a pure luminosity evolution (PLE) model. We see only a weak signature of "AGN downsizing", in line with recent studies of the hard X-ray luminosity function. We compare our measured QLF to a number of theoretical models and find that models making a variety of assumptions about quasar triggering and halo occupation can fit our data over a wide range of redshifts and luminosities.


title: Elaborating Inductive Definitions

abstract: We present an elaboration of inductive definitions down to a universe of datatypes. The universe of datatypes is an internal presentation of strictly positive families within type theory. By elaborating an inductive definition -- a syntactic artifact -- to its code -- its semantics -- we obtain an internalized account of inductives inside the type theory itself: we claim that reasoning about inductive definitions could be carried in the type theory, not in the meta-theory as it is usually the case. Besides, we give a formal specification of that elaboration process. It is therefore amenable to formal reasoning too. We prove the soundness of our translation and hint at its correctness with respect to Coq's Inductive definitions. The practical benefits of this approach are numerous. For the type theorist, this is a small step toward bootstrapping, ie. implementing the inductive fragment in the type theory itself. For the programmer, this means better support for generic programming: we shall present a lightweight deriving mechanism, entirely definable by the programmer and therefore not requiring any extension to the type theory.


title: Derivation of effective macroscopic Stokes-Cahn-Hilliard equations for periodic immiscible flows in porous media

abstract: Using thermodynamic and variational principles we examine a basic phase field model for a mixture of two incompressible fluids in strongly perforated domains. With the help of the multiple scale method with drift and our recently introduced splitting strategy for Ginzburg-Landau/Cahn-Hilliard-type equations [Schmuck et al., Proc. R. Soc. A 468:3705-3724, 2012.], we rigorously derive an effective macroscopic phase field formulation under the assumption of periodic flow and a sufficiently large P\'eclet number. As for classical convection-diffusion problems, we obtain systematically diffusion-dispersion relations (including Taylor-Aris-dispersion). Our results also provide a convenient analytical and computational framework to macroscopically track interfaces in porous media. In view of the well-known versatility of phase field models, our study proposes a promising model for many engineering and scientific applications such as multiphase flows in porous media, microfluidics, and fuel cells.

categories: math-ph math.MP physics.class-ph physics.comp-ph physics.flu-dyn


title: The role of $f_0(1710)$ in the $\phi \omega$ threshold peak of $J/\Psi \to \gamma \phi \omega$

abstract: We study the process $J/\Psi \to \gamma \phi \omega$, measured by the BES experiment, where a neat peak close to the $\phi \omega$ threshold is observed and is associated to a scalar meson resonance around 1800 MeV. We make the observation that a scalar resonance coupling to $\phi \omega$ unavoidably couples strongly to $K \bar K$, but no trace of a peak is seen in the $K \bar K$ spectrum of the $J/\Psi \to \gamma K \bar K$ at this energy. This serves us to rule out the interpretation of the observed peak as a signal of a new resonance. After this is done, a thorough study is performed on the production of a pair of vector mesons and how its interaction leads necessarily to a peak in the $J/\Psi \to \gamma \phi \omega$ reaction close to the $\phi \omega$ threshold, due to the dynamical generation of the $f_0(1710)$ resonance by the vector-vector interaction. We then show that both the shape obtained for the $\phi \omega$ mass distribution, as well as the strength are naturally reproduced by this mechanism. The work also explains why the $\phi\omega$ peak is observed in the BES experiment and not in other reactions, like $B^\pm\to K^\pm \phi\omega$ of Belle.


title: Disorder induced field effect transistor in bilayer and trilayer graphene

abstract: We propose use of disorder to produce a field effect transistor (FET) in biased bilayer and trilayer graphene. Modulation of the bias voltage can produce large variations in the conductance when the disorder's effects are confined to only one of the graphene layers. This effect is based on the bias voltage's ability to select which of the graphene layers carries current, and is not tied to the presence of a gap in the density of states. In particular, we demonstrate this effect in models of gapless ABA-stacked trilayer graphene, gapped ABC-stacked trilayer graphene, and gapped bilayer graphene.


title: Type 1 AGN at low z. III. The optical narrow line ratios

abstract: We present the optical narrow line ratios in an SDSS based sample of 3,175 broad Ha selected type 1 AGN, and explore their positions in the BPT diagrams as a function of the AGN and the host properties. We find the following: 1. The luminosities of all measured narrow lines (Ha, Hb, [OIII], [NII], [SII], [OI]) show a Baldwin relation relative to the broad Ha luminosity L_bHa, with slopes in the range of 0.53-0.72. 2. About 20% of the type 1 AGN reside within the `Composite' and `SF' regions of the BPT diagrams. These objects also show excess narrow Ha and UV luminosities, for their L_bHa, consistent with contribution from star formation which dominates the narrow lines emission, as expected from their positions in the BPT diagrams. 3. The type 1 which reside within the AGN region in the BPT diagrams, are offset to lower [SII]/Ha and [NII]/Ha luminosity ratios, compared to type 2 AGN. This offset is a selection effect, related to the lower AGN/host luminosity selection of the type 2 AGN selected from the SDSS galaxy sample. 4. The [NII]/Ha and [NII]/[SII] ratios in type 1 AGN increase with the host mass, as expected if the mass-metallicity relation of quiescent galaxies holds for the AGN narrow line region. 5. The broad lines optical FeII is higher for a higher [NII]/Ha, at a fixed L_Bol and Eddington ratio L/L_Edd. This suggests that the broad line region metallicity is also related to the host mass. 6. The fraction of AGN which are LINERs increases sharply with decreasing L/L_Edd. This fraction is the same for type 1 and type 2 AGN. 7. The BPT position is unaffected by the amount of dust extinction of the optical-UV continuum, which suggests the extincting dust resides on scales larger than the NLR.


title: Diversity Limits of Compact Broadband Multi-Antenna Systems

abstract: In order to support multiple antennas on compact wireless devices, transceivers are often designed with matching networks that compensate for mutual coupling. Some works have suggested that when optimal matching is applied to such a system, performance at the center frequency can be improved at the expense of an apparent reduction in the system bandwidth. This paper addresses the question of how coupling impacts bandwidth in the context of circular arrays. It will be shown that mutual coupling creates eigen-modes (virtual antennas) with diverse frequency responses, using the standard matching techniques. We shall also demonstrate how common communications techniques such as Diversity-OFDM would need to be optimized in order to compensate for these effects.


title: Finite-dimensional Pointed or Copointed Hopf algebras over affine racks

abstract: We study the pointed or copointed liftings of Nichols algebras associated to affine racks and constant cocycles for any finite group admitting a principal YD-realization of these racks. In the copointed case we complete the classification for the six affine racks whose Nichols algebra is known to be of finite dimension. In the pointed case our method allows us to finish four of them. In all of the cases the Hopf algebras obtained turn out to be cocycle deformations of their associated graded Hopf algebras. All of them are new examples of finite-dimensional copointed or pointed Hopf algebras over non-abelian groups.


title: Nonadiabatic Time-Dependent Spin-Density Functional Theory for strongly correlated systems

abstract: We propose a nonadiabatic time-dependent spin-density functional theory (TDSDFT) approach for studying the single-electron excited states and the ultrafast response of systems with strong electron correlations. The correlations are described by the correlation part of the nonadiabatic exchange-correlation (XC) kernel, which is constructed by using some exact results for the Hubbard model of strongly correlated electrons. We demonstrate that the corresponding nonadiabatic XC kernel reproduces main features of the spectrum of the Hubbard dimer and infinite-dimensional Hubbard model, some of which are impossible to obtain within the adiabatic approach. The theory may be applied for DFT study of strongly correlated electron systems in- and out-of-equilibrium, including the important case of nanostructures, for which it leads to a dramatic reduction of necessary computational power.


title: Implicit cooperation in distributed energy-efficient networks

abstract: We consider the problem of cooperation in distributed wireless networks of selfish and free transmitters aiming at maximizing their energy-efficiency. The strategy of each transmitter consists in choosing his power control (PC) policy. Two scenarios are considered: the case where transmitters can update their power levels within time intervals less than the channel coherence time (fast PC) and the case where it is updated only once per time interval (slow PC). One of our objectives is to show how cooperation can be stimulated without assuming cooperation links between the transmitters but only by repeating the corresponding PC game and by signals from the receiver. In order to design efficient PC policies, standard and stochastic repeated games are respectively exploited to analyze the fast and slow PC problems. In the first case a cooperation plan between transmitters, that is both efficient and relies on mild information assumptions, is proposed. In the second case, the region of equilibrium utilities is derived from very recent and powerful results in game theory.


title: Quantum Matrices by Paths

abstract: We study, from a combinatorial viewpoint, the quantized coordinate ring of mxn matrices over an infinite field K (also called quantum matrices) and its torus-invariant prime ideals. The first part of this paper shows that this algebra, traditionally defined by generators and relations, can be seen as subalgebra of a quantum torus by using paths in a certain directed graph. Roughly speaking, we view each generator of quantum matrices as a sum over paths in the graph, each path being assigned an element of the quantum torus. The quantum matrices relations then arise naturally by considering intersecting paths. This viewpoint is closely related to Cauchon's deleting-derivations algorithm. The second part of this paper is to apply the paths viewpoint to the theory of torus-invariant prime ideals of quantum matrices. We prove a conjecture of Goodearl and Lenagan that all such prime ideals, when the quantum parameter q is a non-root of unity, have generating sets consisting of quantum minors. Previously, this result was known to hold only for char(K)=0 and q transcendental over Q. Our strategy is to show that the quantum minors in a given torus-invariant ideal form a Grobner basis.


title: Exponential sums and finite field $A$-hypergeometric functions

abstract: We define finite field $A$-hypergeometric functions and show that they are Fourier expansions of families of exponential sums on the torus. For an appropriate choice of $A$, our finite field $A$-hypergeometric function can be specialized to the finite field ${}_kF_{k-1}$-hypergeometric function defined by McCarthy.


title: A cycle decomposition and entropy production for circulant quantum Markov semigroups

abstract: We propose a definition of cycle representation for quantum Markov semigroups (qms) and quantum entropy production rate (qepr) in terms of the $\rho$-adjoint. We introduce the class of circulant qms, which admit non-equilibrium steady states but exhibit symmetries that allow us to compute explicitly the qepr, gain a deeper insight into the notion of cycle decomposition and prove that quantum detailed balance holds if and only if the qepr equals zero.


title: g-Tensor Control in Bent Carbon Nanotube Quantum Dots

abstract: We demonstrate gate control of the electronic g-tensor in single and double quantum dots formed along a bend in a carbon nanotube. From the dependence of the single-dot excitation spectrum on magnetic field magnitude and direction, we extract spin-orbit coupling, valley coupling, spin and orbital magnetic moments. Gate control of the g-tensor is measured using the splitting of the Kondo peak in conductance as a sensitive probe of Zeeman energy. In the double quantum dot regime, the magnetic field dependence of the position of cotunneling lines in the two dimensional charge stability diagram is used to infer the positions of the two dots along the nanotube.


title: A Derivative-Free CoMirror Algorithm

abstract: We consider $\min\{f(x):g(x) \le 0, ~x\in X\},$ where $X$ is a compact convex subset of $\RR^m$, and $f$ and $g$ are continuous convex functions defined on an open neighbourhood of $X$. We work in the setting of derivative-free optimization, assuming that $f$ and $g$ are available through a black-box that provides only function values for a lower-$\mathcal{C}^2$ representation of the functions. We present a derivative-free optimization variant of the $\eps$-comirror algorithm \cite{BBTGBT2010}. Algorithmic convergence hinges on the ability to accurately approximate subgradients of lower-$\mathcal{C}^2$ functions, which we prove is possible through linear interpolation. We provide convergence analysis that quantifies the difference between the function values of the iterates and the optimal function value. We find that the DFO algorithm we develop has the same convergence result as the original gradient-based algorithm. We present some numerical testing that demonstrate the practical feasibility of the algorithm, and conclude with some directions for further research.


title: NSV 11749: Symbiotic Nova, Not a Born-Again Red Giant

abstract: NSV 11749 is a little-studied variable star, discovered by W. J. Luyten, which had a long-duration outburst around the year 1903, reaching blue magnitude 12.5 at maximum. Following the outburst, it has apparently been quiescent at about blue magnitude 17 for the past century. It was recently suggested that NSV 11749 may have been a low- or intermediate-mass star that underwent a final helium shell flash, making it temporarily a "born-again" red giant. If so, it would be only the fourth known member of this class, along with V605 Aql, FG Sge, and V4334 Sgr. However, our newly obtained optical and near-IR spectra of the object show that it is instead a symbiotic binary, with strong Balmer and He I-II emission lines, combined with a cool red-giant companion of spectral type M1-2 III. The 1903 outburst was most likely a symbiotic nova event, of which less than a dozen are known at present.


title: In-plane superfluid density and microwave conductivity of the organic superconductor \kappa-(BEDT-TTF)2Cu[N(CN)2]Br: evidence for d-wave pairing and resilient quasiparticles

abstract: We report the in-plane microwave surface impedance of a high quality single crystal of \kappa-(BEDT-TTF)2Cu[N(CN)2]Br. In the superconducting state, we find three independent signatures of d-wave pairing: i) a strong, linear temperature dependence of superfluid density; ii) deep in the superconducting state the quasiparticle scattering rate \Gamma ~ T^3; and iii) no BCS coherence peak is observed in the quasiparticle conductivity. Above T_c, the Kadowaki-Woods ratio and the temperature dependence of the in-plane conductivity show that the normal state is a Fermi liquid below ~ 23 K, yet resilient quasiparticles dominate the transport up to ~ 50 K.


title: Strongly Stable Automorphisms of the Categories of the Finitely Generated Free Algebras of the some Varieties of Linear Algebras

abstract: In this paper we consider some classical varieties of linear algebras over the field which has characteristic 0. For every considered variety we take a category of the finite generated free algebras of this variety. And for every this category we calculate the quotient group of the group of the all automorphisms of this category over the subgroup of the all inner automorphisms. This quotient group measures difference between the geometric equivalence and automorphic equivalence of algebras from this variety.


title: Individual-Ion Addressing with Microwave Field Gradients

abstract: Individual-qubit addressing is a prerequisite for many instances of quantum information processing. We demonstrate this capability on trapped-ion qubits with microwave near-fields delivered by electrode structures integrated into a microfabricated surface-electrode trap. We describe four approaches that may be used in quantum information experiments with hyperfine levels as qubits. We implement individual control on two 25Mg+ ions separated by 4.3 micrometer and find spin-flip crosstalk errors on the order of 10^(-3).


title: Scattering of atomic dark-bright solitons from narrow impurities

abstract: In this work, we study the collision of an atomic dark-bright soliton, in a two-component Bose-Einstein condensate, with a Gaussian barrier or well. First, we present the results of an experiment, illustrating the classical particle phenomenology (transmission or reflection) in the case of an equal barrier or well in both components. Then, motivated by the experimental observations, we perform systematic simulations considering not only the case of equal heights, but also the considerably more complex setting, where the potential affects only one of the two components. We systematically classify the ensuing cases within a two-parameter diagram of barrier amplitudes in the two components, and provide intuitive explanations for the resulting observations, as well as of their variations as the size of the barrier changes.


title: Hydrogen volume densities in nearby galaxies I - an automated approach

abstract: Using a simple model of photodissociated atomic hydrogen on a galactic scale, it is possible to derive total hydrogen volume densities. These densities, obtained through a combination of atomic hydrogen, far-ultraviolet and metallicity data, provide an independent probe of the combined atomic and molecular hydrogen gas in galactic disks. We present a new, flexible and fully automated procedure using this simple model. This automated method will allow us to take full advantage of a host of available data on galaxies in order to calculate total hydrogen volume densities of giant molecular clouds surrounding sites of recent star formation. So far this was only possible on a galaxy-by-galaxy basis using by-eye analysis of candidate photodissociation regions. We test the automated method by adopting different models for the dust-to-gas ratio and comparing the resulting densities for M74, including a new metallicity map of M74 produced by integral field spectroscopy. We test the procedure against previously published M83 volume densities based on the same method and find no significant differences. The range of total hydrogen volume densities obtained for M74 is approximately 5-700 cm-3 . Different dust-to-gas ratio models do not result in measurably different densities. The cloud densities presented here add M74 to the list of galaxies analyzed using the assumption of photodissociated atomic hydrogen occurring near sites of recent star formation and further solidify the method. For the first time, full metallicity maps were included in the analysis as opposed to metallicity gradients. The results will need to be compared to other tracers of the interstellar medium and photodissociation regions, such as CO and CII, in order to test our basic assumptions, specifically, our assumption that the HI we detect originates in photodissociation regions.


title: Free resolutions of orbit closures for the representations associated to gradings on Lie algebras of type $E_6$, $F_4$ and $G_2$

abstract: The irreducible representations of complex semisimple algebraic groups with finitely many orbits are parametrized by graded simple Lie algebras. For the exceptional Lie algebras, Kraskiewicz and Weyman exhibit the Hilbert polynomials and the expected minimal free resolutions of the normalization of the orbit closures. We present an interactive method to construct explicitly these and related resolutions in Macaulay2. The method is then used in the cases of the Lie algebras of type $E_6$, $F_4$ and $G_2$, to confirm the shape of the expected resolutions as well as some geometric properties of the orbit closures.


title: A structural analysis of the A5/1 state transition graph

abstract: We describe efficient algorithms to analyze the cycle structure of the graph induced by the state transition function of the A5/1 stream cipher used in GSM mobile phones and report on the results of the implementation. The analysis is performed in five steps utilizing HPC clusters, GPGPU and external memory computation. A great reduction of this huge state transition graph of 2^64 nodes is achieved by focusing on special nodes in the first step and removing leaf nodes that can be detected with limited effort in the second step. This step does not break the overall structure of the graph and keeps at least one node on every cycle. In the third step the nodes of the reduced graph are connected by weighted edges. Since the number of nodes is still huge an efficient bitslice approach is presented that is implemented with NVIDIA's CUDA framework and executed on several GPUs concurrently. An external memory algorithm based on the STXXL library and its parallel pipelining feature further reduces the graph in the fourth step. The result is a graph containing only cycles that can be further analyzed in internal memory to count the number and size of the cycles. This full analysis which previously would take months can now be completed within a few days and allows to present structural results for the full graph for the first time. The structure of the A5/1 graph deviates notably from the theoretical results for random mappings.


title: A Comparison of Sequential and GPU Implementations of Iterative Methods to Compute Reachability Probabilities

abstract: We consider the problem of computing reachability probabilities: given a Markov chain, an initial state of the Markov chain, and a set of goal states of the Markov chain, what is the probability of reaching any of the goal states from the initial state? This problem can be reduced to solving a linear equation Ax = b for x, where A is a matrix and b is a vector. We consider two iterative methods to solve the linear equation: the Jacobi method and the biconjugate gradient stabilized (BiCGStab) method. For both methods, a sequential and a parallel version have been implemented. The parallel versions have been implemented on the compute unified device architecture (CUDA) so that they can be run on a NVIDIA graphics processing unit (GPU). From our experiments we conclude that as the size of the matrix increases, the CUDA implementations outperform the sequential implementations. Furthermore, the BiCGStab method performs better than the Jacobi method for dense matrices, whereas the Jacobi method does better for sparse ones. Since the reachability probabilities problem plays a key role in probabilistic model checking, we also compared the implementations for matrices obtained from a probabilistic model checker. Our experiments support the conjecture by Bosnacki et al. that the Jacobi method is superior to Krylov subspace methods, a class to which the BiCGStab method belongs, for probabilistic model checking.


title: Graph Subsumption in Abstract State Space Exploration

abstract: In this paper we present the extension of an existing method for abstract graph-based state space exploration, called neighbourhood abstraction, with a reduction technique based on subsumption. Basically, one abstract state subsumes another when it covers more concrete states; in such a case, the subsumed state need not be included in the state space, thus giving a reduction. We explain the theory and especially also report on a number of experiments, which show that subsumption indeed drastically reduces both the state space and the resources (time and memory) needed to compute it.