title: Cloud-based Privacy Preserving Image Storage, Sharing and Search

abstract: High-resolution cameras produce huge volume of high quality images everyday. It is extremely challenging to store, share and especially search those huge images, for which increasing number of cloud services are presented to support such functionalities. However, images tend to contain rich sensitive information (\eg, people, location and event), and people's privacy concerns hinder their readily participation into the services provided by untrusted third parties. In this work, we introduce PIC: a Privacy-preserving large-scale Image search system on Cloud. Our system enables efficient yet secure content-based image search with fine-grained access control, and it also provides privacy-preserving image storage and sharing among users. Users can specify who can/cannot search on their images when using the system, and they can search on others' images if they satisfy the condition specified by the image owners. Majority of the computationally intensive jobs are outsourced to the cloud side, and users only need to submit the query and receive the result throughout the entire image search. Specially, to deal with massive images, we design our system suitable for distributed and parallel computation and introduce several optimizations to further expedite the search process. We implement a prototype of PIC including both cloud side and client side. The cloud side is a cluster of computers with distributed file system (Hadoop HDFS) and MapReduce architecture (Hadoop MapReduce). The client side is built for both Windows OS laptops and Android phones. We evaluate the prototype system with large sets of real-life photos. Our security analysis and evaluation results show that PIC successfully protect the image privacy at a low cost of computation and communication.


title: Source plane reconstruction of the giant gravitational arc in Abell 2667: a candidate Wolf-Rayet galaxy at z~1

abstract: We present a new analysis of HST, Spitzer telescope imaging and VLT imaging and spectroscopic data of a bright lensed galaxy at $z$=1.0334 in the lensing cluster Abell~2667. Using this high-resolution imaging we present an updated lens model that allows us to fully understand the lensing geometry and reconstruct the lensed galaxy in the source plane. This giant arc gives a unique opportunity to peer into the structure of a high-redshift disk galaxy. We find that the lensed galaxy of Abell 2667 is a typical spiral galaxy with morphology similar to the structure of its counterparts at higher redshift $z\sim 2$. The surface brightness of the reconstructed source galaxy in the z$_{850}$ band reveals the central surface brightness $I(0)=20.28\pm0.22$ mag arcsec$^{-2}$ and the characteristic radius $r_s=2.01\pm0.16$ kpc at redshift $z \sim 1$. The morphological reconstruction in different bands shows obvious negative radial color gradients for this galaxy. Moreover, the redder central bulge tends to contain a metal-rich stellar population, rather than being heavily reddened by dust due to high and patchy obscuration. We analyze the VIMOS/IFU spectroscopic data and find that, in the given wavelength range ($\sim 1800-3200$ \AA), the combined arc spectrum of the source galaxy is characterized by a strong continuum emission with strong UV absorption lines (FeII and MgII) and shows the features of a typical starburst Wolf-Rayet galaxy NGC5253. More specifically, we have measured the EWs of FeII and MgII lines in the Abell 2667 spectrum, and obtained similar values for the same wavelength interval of the NGC5253 spectrum. Marginal evidence for CIII] 1909 emission at the edge of the grism range further confirms our expectation.


title: Spin-orbit coupled transport in a curved quantum wire

abstract: We study the interplay of both Rashba and Dresselhaus spin-orbit couplings (SOCs) and a uniform perpendicular magnetic field $\textbf{B}$ on the transport of a spin-polarized electron along a curved quantum wire. Eigenenergies and eigenfunctions of the system were analytically solved in the presence of both SOCs for a confinement radius $R$. From the transmission coefficients, the spin transport properties such as spin polarization, probability current density and spin conductance were computed numerically to determine their dependence on the SOCs, $\textbf{B}$ and $R$. We find the condition for $\textbf{B}$ that if it is beyond $R^{1/3}$, no spin reversal will occur. Our results show that for a sufficiently large SOC strength, regardless of its inversion asymmetry origin, the effect of the external magnetic field is reduced. Finding the optimal effective SOC strength is essential in achieving suitable magneto-transport properties for possible spintronic device applications.


title: On fixed points of multivalued mappings

abstract: The paper discusses the conditions for the existence of fixed points of multivalued mappings that are not based on the linear structure of the set. The descriptions for the sets of fixed points for mappings with closed graph in compact Hausdorff spaces and in metrizable spaces, as well as for continuous functions in spaces with convergence (Frechet topology) and in spaces with Scott topology are provided. Applications to the problem of the equilibrium are given: the sets of saddle points and of Nash equilibria for compact Hausdorff and metrizable spaces of strategies of players are described.


title: The Void Galaxy Survey: Galaxy Evolution and Gas Accretion in Voids

abstract: Voids represent a unique environment for the study of galaxy evolution, as the lower density environment is expected to result in shorter merger histories and slower evolution of galaxies. This provides an ideal opportunity to test theories of galaxy formation and evolution. Imaging of the neutral hydrogen, central in both driving and regulating star formation, directly traces the gas reservoir and can reveal interactions and signs of cold gas accretion. For a new Void Galaxy Survey (VGS), we have carefully selected a sample of 59 galaxies that reside in the deepest underdensities of geometrically identified voids within the SDSS at distances of ~100 Mpc, and pursued deep UV, optical, Halpha, IR, and HI imaging to study in detail the morphology and kinematics of both the stellar and gaseous components. This sample allows us to not only examine the global statistical properties of void galaxies, but also to explore the details of the dynamical properties. We present an overview of the VGS, and highlight key results on the HI content and individually interesting systems. In general, we find that the void galaxies are gas rich, low luminosity, blue disk galaxies, with optical and HI properties that are not unusual for their luminosity and morphology. We see evidence of both ongoing assembly, through the gas dynamics between interacting systems, and significant gas accretion, seen in extended gas disks and kinematic misalignments. The VGS establishes a local reference sample to be used in future HI surveys (CHILES, DINGO, LADUMA) that will directly observe the HI evolution of void galaxies over cosmic time.


title: Magnetic Excitations in the Spin-Spiral State of TbMnO$_3$ and DyMnO$_3$

abstract: We calculate spectra of magnetic excitations in the spin-spiral state of perovskite manganates. The spectra consist of several branches corresponding to different polarizations and different ways of diffraction from the static magnetic order. Goldstone modes and opening of gaps at zero and non-zero energies due to the crystal field and the Dzyaloshinski-Moriya anisotropies are discussed. Comparing results of the calculation with available experimental data we determine values of effective exchange parameters and anisotropies. To simplify the spin-wave calculation and to get a more clear physical insight in the structure of excitations we use the {\sigma}-model-like effective field theory to analyze the Heisenberg Hamiltonian and to derive the spectra.


title: Modeling-based determination of physiological parameters of systemic VOCs by breath gas analysis: a pilot study

abstract: In this paper we develop a simple two compartment model which extends the Farhi equation to the case when the inhaled concentration of a volatile organic compound (VOC) is not zero. The model connects the exhaled breath concentration of systemic VOCs with physiological parameters such as endogenous production rates and metabolic rates. Its validity is tested with data obtained for isoprene and inhaled deuterated isoprene-D5.


title: Surface properties and scaling behavior of a generalized ballistic deposition model in (1+1)-dimension

abstract: The surface exponents, the scaling behavior and the bulk porosity of a generalized ballistic deposition (GBD) model are studied. In nature, there exist particles with varying degrees of stickiness ranging from completely non-sticky to fully sticky. Such particles may adhere to any one of the successively encountered surfaces, depending on a sticking probability %should have the possibility of sticking to any of the %allowed points of contact on the surface with a sticking probability that is governed by the underlying stochastic mechanism. The microscopic configurations possible in this model are much larger than those allowed in existing models of ballistic deposition and competitive growth models that seek to mix ballistic and random deposition processes. In this article, we find the scaling exponents for surface width and porosity for the proposed GBD model. In terms of scaled width $\widetilde{W}$ and scaled time $\tilde{t}$, the numerical data collapse on to a single curve, demonstrating successful scaling with sticking probability p and system size L. Similar scaling behavior is also found for the porosity.


title: Unimodality, log-concavity, real-rootedness and beyond

abstract: This is a survey on recent developments on unimodality, log-concavity and real-rootedness in combinatorics. Stanley and Brenti have written extensive surveys of various techniques that can be used to prove real-rootedness, log-concavity or unimodality. After a brief introduction, we will complement these surveys with a survey over some new techniques that have been developed, as well as problems and conjectures that have been solved. This is a draft of a chapter to appear in Handbook of Enumerative Combinatorics, published by CRC Press.


title: Investigation of the crystal and magnetic structures of the trigonal multiferroic iron-boracite Fe3B7O13(OH)

abstract: We have investigated the crystal and magnetic structures of the trigonal iron-boracite Fe3B7O13X with X = OH by neutron diffraction. Neutron diffraction enables us to locate the hydrogen atom of the hydroxyl group and determine the magnetic ground state of this member of the multiferroic boracite family. No evidence was found for a monoclinic distortion in the magnetic ordered state. The magnetic symmetry allows for magnetoelectric and ferroelectric properties. The N/'eel tempera- ture TN of 4.86(4) K confirms the general trends within the boracites that TN decreases from X = I > Br > Cl > OH. Surprisingly while Fe3B7O13OH exhibits the largest frustration with $|\theta/T_N| = 5.6$ within the Fe3B7O13X series, no reduction of the magnetic moment is found using neutron diffraction.


title: Kinetic Energy Transport in Rayleigh--B\'enard Convection

abstract: The kinetic energy balance in Rayleigh--B\'{e}nard convection is investigated for the Prandtl number range $0.01\le Pr \le 150$ and for fixed Rayleigh number $Ra=5\cdot10^{6}$. The kinetic energy balance is divided into a dissipation, a production and a flux term. We discuss profiles of all terms and find that the different contributions to the energy balance can be spatially separated into regions where kinetic energy is produced and where kinetic energy is dissipated. Analysing the Prandtl number dependence of the kinetic energy balance, we show that the height-dependence of the mean viscous dissipation is closely related to the flux of kinetic energy. We show that the flux of kinetic energy can be divided into four additive contributions, each representing a different elementary physical process (advection, buoyancy, normal viscous stresses and viscous shear stresses). The behaviour of these individual flux contributions is found to be surprisingly rich and exhibits a pronounced Prandtl number dependence. Different flux contributions dominate the kinetic energy transport at different depth, such that a comprehensive discussion requires a decomposition of the domain into a considerable number of sub-layers. On a less detailed level, our results reveal that advective kinetic energy fluxes play a key role in balancing the near-wall dissipation at low Prandtl number, whereas normal viscous stresses are particularly important at high Prandtl number. Finally, our work reveals that classical velocity boundary layers are deeply connected to the kinetic energy transport, but fail to correctly represent regions of enhanced viscous dissipation.


title: Median Selection Subset Aggregation for Parallel Inference

abstract: For massive data sets, efficient computation commonly relies on distributed algorithms that store and process subsets of the data on different machines, minimizing communication costs. Our focus is on regression and classification problems involving many features. A variety of distributed algorithms have been proposed in this context, but challenges arise in defining an algorithm with low communication, theoretical guarantees and excellent practical performance in general settings. We propose a MEdian Selection Subset AGgregation Estimator (message) algorithm, which attempts to solve these problems. The algorithm applies feature selection in parallel for each subset using Lasso or another method, calculates the `median' feature inclusion index, estimates coefficients for the selected features in parallel for each subset, and then averages these estimates. The algorithm is simple, involves very minimal communication, scales efficiently in both sample and feature size, and has theoretical guarantees. In particular, we show model selection consistency and coefficient estimation efficiency. Extensive experiments show excellent performance in variable selection, estimation, prediction, and computation time relative to usual competitors.


title: Memory effect from spinning unbound binaries

abstract: We present a recently developed prescription to obtain ready-to-use gravitational wave (GW) polarization states for spinning compact binaries on hyperbolic orbits. We include leading order spin-orbit interactions, invoking 1.5PN-accurate quasi-Keplerian parametrization for the radial part of the orbital dynamics. We also include radiation reaction effects on $h_+$ and $h_{\times}$ during the interaction. In the GW signals from spinning binaries there is evidence of the memory effect in both polarizations, in contrast to the non-spinning case, where only the cross polarizations exhibits non-vanishing amplitudes at infinite time. We also compute 1PN-accurate GW polarization states for non-spinning compact binaries in unbound orbits in a fully parametric way, and compare them with existing waveforms.


title: The remains of a spinning, hyperbolic encounter

abstract: We review a recently proposed approach to construct gravitational wave (GW) polarization states of unbound spinning compact binaries. Through this rather simple method, we are able to include corrections due to the dominant order spin-orbit interactions, in the quadrupolar approximation and in a semi-analytic way. We invoke the 1.5 post-Newtonian (PN) accurate quasi-Keplerian parametrization for the radial part of the dynamics and impose its temporal evolution in the PN accurate polarization states equations. Further, we compute 1PN accurate amplitude corrections for the polarization states of non-spinning compact binaries on hyperbolic orbits. As an interesting application, we perform comparisons with previously available results for both the GW signals in the case of non-spinning binaries and the theoretical prediction for the amplitude of the memory effect on the metric after the hyperbolic passage.


title: Non-perturbative Renormalization of Four-Fermion Operators Relevant to $B_K$ with Staggered Quarks

abstract: We present preliminary results of matching factors of the four-fermion operators relevant to $B_K$, which are obtained using the non-perturbative renormalization (NPR) method in the RI-MOM scheme with HYP-smeared improved staggered fermions. We use the MILC asqtad coarse ($a \cong 0.12\,$fm) ensembles with $20^3 \times 64$ geometry and $am_{\ell}/am_s = 0.01/0.05$. We compare NPR results with those of one-loop perturbative matching.


title: Effect of shape biaxiality on the phase behavior of colloidal liquid-crystal monolayers

abstract: We extend our previous work on monolayers of uniaxial particles [J. Chem. Phys. 140, 204906 (2014)] to study the effect of particle biaxiality on the phase behavior of liquid-crystal monolayers. Particles are modelled as board-like hard bodies with three different edge lengths $\sigma_1\geq\sigma_2\geq\sigma_3$, and use is made of the restricted-orientation approximation (Zwanzig model). A density-functional formalism based on the fundamental-measure theory is used to calculate phase diagrams for a wide range of values of the largest aspect ratio ($\kappa_1=\sigma_1/\sigma_3\in[1,100]$). We find that particle biaxiality in general destabilizes the biaxial nematic phase already present in monolayers of uniaxial particles. While plate-like particles exhibit strong biaxial ordering, rod-like ones with $\kappa_1>21.34$ exhibit reentrant uniaxial and biaxial phases. As particle geometry is changed from uniaxial- to increasingly biaxial-rod-like, the region of biaxiality is reduced, eventually ending in a critical-end point. For $\kappa_1>60$, a density gap opens up in which the biaxial nematic phase is stable for any particle biaxiality. Regions of the phase diagram where packing-fraction inversion occurs (i.e. packing fraction is a decreasing function of density) are found. Our results are compared with the recent experimental studies on nematic phases of magnetic nanorods.


title: Parallel Multiphysics Simulations of Charged Particles in Microfluidic Flows

abstract: The article describes parallel multiphysics simulations of charged particles in microfluidic flows with the waLBerla framework. To this end, three physical effects are coupled: rigid body dynamics, fluid flow modelled by a lattice Boltzmann algorithm, and electric potentials represented by a finite volume discretisation. For solving the finite volume discretisation for the electrostatic forces, a cell-centered multigrid algorithm is developed that conforms to the lattice Boltzmann meshes and the parallel communication structure of waLBerla. The new functionality is validated with suitable benchmark scenarios. Additionally, the parallel scaling and the numerical efficiency of the algorithms are analysed on an advanced supercomputer.


title: Dust in brown dwarfs and extra-solar planets IV. Assessing TiO2 and SiO nucleation for cloud formation modeling

abstract: Clouds form in atmospheres of brown dwarfs and planets. The cloud particle formation processes are similar to the dust formation process studied in circumstellar shells of AGB stars and in Supernovae. Cloud formation modelling in substellar objects requires gravitational settling and element replenishment in addition to element depletion. All processes depend on the local conditions, and a simultaneous treatment is required. We apply new material data in order to assess our cloud formation model results regarding the treatment of the formation of condensation seeds. We re-address the question of the primary nucleation species in view of new (TiO2)_N-cluster data and new SiO vapour pressure data. We apply the density functional theory using the computational chemistry package Gaussian 09 to derive updated thermodynamical data for (TiO2)_N-clusters as input for our TiO2 seed formation model. We test different nucleation treatments and their effect on the overall cloud structure by solving a system of dust moment equations and element conservation or a pre-scribed Drift-Phoenix atmosphere structure. Updated Gibbs free energies for the (TiO2)_N-clusters are presented, and a slightly temperature dependent surface tension for T=500 ... 2000K with an average value of sigma_infty = 480.6 erg 1/cm2. The TiO2-seed formation rate changes only slightly with the updated cluster data. A considerably larger effect on the rate of seed formation, and hence on grain size and dust number density, results from a switch to SiO-nucleation. Despite the higher abundance of SiO over TiO2 in the gas phase, TiO2 remains considerably more efficient in forming condensation seeds by homogeneous nucleation followed by heterogeneous grain growth. The paper discussed the effect on the cloud structure in more detail.

categories: astro-ph.SR astro-ph.EP physics.ao-ph physics.atm-clus physics.comp-ph


title: Anomalous compressibility behavior of chromium monoaresenide under high pressure

abstract: CrAs was firstly observed possessing the bulk superconductivity (Tc~2 K) under high pressure (0.8 GPa) in the very recent work (Wei Wu, et al. Nature Communications 5, 5508 (2014)). To explore the correlation between the structure and the superconductivity, the high-pressure structure evolution of CrAs was investigated using angle dispersive X-ray diffraction (XRD) method with small steps of ~0.1 GPa in a diamond anvil cell (DAC) up to 1.8 GPa. In the pressure range covered by our current experiment, the structure of CrAs keeps stable. However, the lattice parameters exhibit anomalous compression behaviors. With the pressure increasing, the lattice parameters a and c both show a process of first increasing and then decreasing, and the lattice parameter b goes through a quick contract at 0.35 GPa, which suggests a pressure-induced isostructural phase transition occurs in CrAs around this pressure point. Above the phase transition pressure, the axial compressibilities of CrAs present remarkable anisotropy. The compressibilities along the a- and c-axis are about an order of magnitude smaller than that along the b-axis, which is closely related to the different stacking modes in CrAs6 octahedron along different crystallographic axes. A schematic band model was used for addressing above anomalous compression behavior in CrAs.


title: The effect of uu diquark suppression in proton splitting in Monte Carlo event generators

abstract: Monte Carlo event generators assume that protons split into (uu)-diquarks and d-quarks with a probability of 1/3 in strong interactions. It is shown in this paper that using a value of 1/6 for the probability allows one to describe at a semi-quantitative level the NA49 Collaboration data for $p+p\rightarrow p+X$ reactions at 158 GeV/c. The Fritiof (FTF) model of Geant4 was used to simulate the reactions. The reduced weight of the (uu)-diquarks in protons is expected in the instanton model.


title: On the dynamics of clouds in the broad-line region of AGNs with an ADAF atmosphere

abstract: We investigate orbital motion of spherical, pressure-confined clouds in the broad-line region (BLR) of active galactic nuclei (AGN). The combined influence of gravity of the central object and the non-isotropic radiation of the central source are taking into account. While most of the previous studies assume that the pressure of the intercloud gaseous component is proportional to a power-law function of the radial coordinate, we generalize it to a case where the external pressure depends on both the radial distance and the latitudinal angle. Our prescribed pressure profile determines the radius and the column density of BLR clouds as a function of their location. We also discuss about stability of the orbits and a condition for the existence of bound orbits is obtained. We found that BLR clouds tend to populate the equatorial regions more than other parts simply because of the stability considerations. Although this finding is obtained for a particular pressure profile, we think, this result is valid as long as the pressure distribution of the intercloud medium decreases from the equator to the pole.


title: Laser Heater and seeded Free Electron Laser

abstract: In this paper we consider the effect of laser heater on a seeded Free Electron Laser. We develop a model embedding the effect of the energy modulation induced by the heater with those due to the seeding. The present analysis is compatible with the experimental results obtained at FERMI displaying secondary maxima with increasing heater intensity. The treatment developed in the paper confirms and extends previous analyses and put in evidence further effects which can be tested in future experiments.


title: Longitudinal target-spin asymmetries for deeply virtual Compton scattering

abstract: A measurement of the electroproduction of photons off protons in the deeply inelastic regime was performed at Jefferson Lab using a nearly 6-GeV electron beam, a longitudinally polarized proton target and the CEBAF Large Acceptance Spectrometer. Target-spin asymmetries for $ep\to e'p'\gamma$ events, which arise from the interference of the deeply virtual Compton scattering and the Bethe-Heitler processes, were extracted over the widest kinematics in $Q^2$, $x_B$, $t$ and $\phi$, for 166 four-dimensional bins. In the framework of Generalized Parton Distributions (GPDs), at leading twist the $t$ dependence of these asymmetries provides insight on the spatial distribution of the axial charge of the proton, which appears to be concentrated in its center. These results also bring important and necessary constraints for the existing parametrizations of chiral-even GPDs.


title: Anti-holomorphic involutive isometry of hyper-K\"ahler manifolds and branes

abstract: We study complex Lagrangian submanifolds of a compact hyper-K\"ahler manifold and prove two results: (a) that an involution of a hyper-K\"ahler manifold which is antiholomorphic with respect to one complex structure and which acts non-trivially on the corresponding symplectic form always has a fixed point locus which is complex Lagrangian with respect to one of the other complex structures, and (b) there exist Lagrangian submanifolds which are complex with respect to one complex structure and are not the fixed point locus of any involution which is anti-holomorphic with respect to one of the other complex structures.


title: Defect propagation in one-, two-, and three-dimensional compounds doped by magnetic atoms

abstract: Inelastic neutron scattering experiments were performed to study manganese(II) dimer excitations in the diluted one-, two-, and three-dimensional compounds CsMn(x)Mg(1-x)Br(3), K(2)Mn(x)Zn(1-x)F(4), and KMn(x)Zn(1-x)F(3) (x<0.10), respectively. The transitions from the ground-state singlet to the excited triplet, split into a doublet and a singlet due to the single-ion anisotropy, exhibit remarkable fine structures. These unusual features are attributed to local structural inhomogeneities induced by the dopant Mn atoms which act like lattice defects. Statistical models support the theoretically predicted decay of atomic displacements according to 1/r**2, 1/r, and constant (for three-, two-, and one-dimensional compounds, respectively) where r denotes the distance of the displaced atoms from the defect. The observed fine structures allow a direct determination of the local exchange interactions J, and the local intradimer distances R can be derived through the linear law dJ/dR.


title: Prospects of determination of reheating temperature after inflation by DECIGO

abstract: If the tensor-to-scalar ratio $r$ of cosmological perturbations takes a large value $r\sim 0.1$, which may be inferred by recent BICEP2 result, we can hope to determine thermal history, in particular, the reheating temperature, $T_R$, after inflation by space-based laser interferometers. It is shown that upgraded and upshifted versions of DECIGO may be able to determine $T_R$ if it lies in the range $6\times 10^6< T_R < 5\times 10^7$GeV and $3\times 10^7<T_R<2\times 10^8$GeV, respectively. Although these ranges include predictions of some currently plausible inflation models, since each specification can probe $T_R$ of at most a decade range, we should determine the specifications of DECIGO with full account of constraints on inflation models to be obtained by near-future observations of temperature anisotropy and B-model polarization of the cosmic microwave background radiation.


title: Probing the epoch of pre-reionization by cross-correlating cosmic microwave and infrared background anisotropies

abstract: The epoch of first star formation and the state of the intergalactic medium (IGM) at that time are not directly observable with current telescopes. The radiation from those early sources is now part of the Cosmic Infrared Background (CIB) and, as these sources ionize the gas around them, the IGM plasma would produce faint temperature anisotropies in the Cosmic Microwave Background (CMB) via the thermal Sunyaev-Zeldovich (TSZ) effect. While these TSZ anisotropies are too faint to be detected, we show that the cross-correlation of maps of source-subtracted CIB fluctuations from {\it Euclid}, with suitably constructed microwave maps at different frequencies can probe the physical state of the gas during reionization and test/constrain models of the early CIB sources. We identify the frequency-combined CMB-subtracted microwave maps from space and ground-based instruments to show that they can be cross-correlated with the forthcoming all-sky {\it Euclid} CIB maps to detect the cross-power at scales $\sim 5'-60'$ with the signal/noise of up to $S/N\sim 4-8$ depending on the contribution to the Thomson optical depth during those pre-reionization epochs ($\Delta \tau\simeq 0.05$) and the temperature of IGM (up to $\sim10^4$K). Such a measurement would offer a new window to explore emergence and physical properties of these first light sources.


title: On the smallness of the cosmological constant

abstract: In N=1 supergravity the scalar potential of the hidden sector may have degenerate supersymmetric (SUSY) and non-supersymmetric Minkowski vacua. In this case local SUSY in the second supersymmetric Minkowski phase can be broken dynamically. Assuming that such a second phase and the phase associated with the physical vacuum are exactly degenerate, we estimate the value of the cosmological constant. We argue that the observed value of the dark energy density can be reproduced if in the second vacuum local SUSY breaking is induced by gaugino condensation at a scale which is just slightly lower than \Lambda_{QCD} in the physical vacuum. The presence of a third degenerate vacuum, in which local SUSY and electroweak (EW) symmetry are broken near the Planck scale, may lead to small values of the quartic Higgs self--coupling and the corresponding beta function at the Planck scale in the phase in which we live.


title: Some Combinatorial Problems on Halin Graphs

abstract: Let $T$ be a tree with no degree 2 vertices and $L(T)=\{l_1,\ldots,l_r\}, r \geq 2$ denote the set of leaves in $T$. An Halin graph $G$ is a graph obtained from $T$ such that $V(G)=V(T)$ and $E(G)=E(T) \cup \{\{l_i,l_{i+1}\} ~|~ 1 \leq i \leq r-1\} \cup \{l_1,l_r\}$. In this paper, we investigate combinatorial problems such as, testing whether a given graph is Halin or not, chromatic bounds, an algorithm to color Halin graphs with the minimum number of colors. Further, we present polynomial-time algorithms for testing and coloring problems.


title: On a new transformation for generalised porous medium equations: from weak solutions to classical

abstract: It is well-known that solutions for generalised porous medium equations are, in general, only H\"older continuous. In this note, we propose a new variable substitution for such equations which transforms weak solutions into classical.


title: Position probability density function for a system of mutually exclusive particles in one dimension

abstract: Position probability distribution of a set of massive mutually exclusive particles in one dimension has been defined. Examples with a given two mutually exclusive particles system are considered. It is emphasized that quantum particles at finite potentials can not be regarded as a mutually exclusive system or they are indistinguishable. Afterward, it is attempted to ascribe a mutually exclusive system to continuous mass densities of a rigid body to calculate average values. We do this by applying correspondence principle with regard to probability densities.


title: Unification of Coupling Constants, Dimension six Operators and the Spectral Action

abstract: We investigate whether inclusion of dimension six terms in the Standard Model lagrangean may cause the unification of the coupling constants at a scale comprised between 10^14 and 10^17 GeV. Particular choice of the dimension 6 couplings is motivated by the spectral action. Given the theoretical and phenomenological constraints, as well as recent data on the Higgs mass, we find that the unification is indeed possible, with a lower unification scale slightly favoured.

categories: hep-ph gr-qc hep-th math-ph math.MP math.QA


title: Partner selection supports reputation-based cooperation in a Public Goods Game

abstract: In dyadic models of indirect reciprocity, the receivers' history of giving has a significant impact on the donor's decision. When the interaction involves more than two agents things become more complicated, and in large groups cooperation can hardly emerge. In this work we use a Public Goods Game to investigate whether publicly available reputation scores may support the evolution of cooperation and whether this is affected by the kind of network structure adopted. Moreover, if agents interact on a bipartite graph with partner selection cooperation can thrive in large groups and in a small amount of time.


title: The Kerr-Newman metric: A Review

abstract: The Kerr-Newman metric describes a very special rotating, charged mass and is the most general of the asymptotically flat stationary 'black hole' solutions to the Einstein-Maxwell equations of general relativity. We review the derivation of this metric from the Reissner-Nordstrom solution by means of a complex transformation algorithm and provide a brief overview of its basic geometric properties. We also include some discussion of interpretive issues, related metrics, and higher-dimensional analogues.


title: Reengineering GSM/GPRS Towards a Dedicated Network for Massive Smart Metering

abstract: GSM is a synonym for a major success in wireless technology, achieving widespread use and high technology ma- turity. However, its future is questionable, as many stakeholders indicate that the GSM spectrum should be refarmed for LTE. On the other hand, the advent of smart grid and the ubiquity of smart meters will require reliable, long-lived wide area connections. This motivates to investigate the potential of GSM to be evolved into a dedicated network for smart metering. We introduce simple mechanisms to reengineer the access control in GSM. The result is a system that offers excellent support for smart metering, as well as the other massive machine-to-machine traffic patterns that are envisioned in 3GPP.


title: Efficient LTE Access with Collision Resolution for Massive M2M Communications

abstract: LTE random access procedure performs satisfactorily in case of asynchronous, uncorrelated traffic arrivals. However, when the arrivals are correlated and arrive synchronously, the performance of the random access channel (RACH) is drastically reduced, causing a large number of devices to experience outage. In this work we propose a LTE RACH scheme tailored for delay-sensitive M2M services with synchronous traffic arrivals. The key idea is, upon detection of a RACH overload, to apply a collision resolution algorithm based on splitting trees. The solution is implemented on top of the existing LTE RACH mechanism, requiring only minor modifications of the protocol operation and not incurring any changes to the physical layer. The results are very promising, outperforming the related solutions by a wide margin. As an illustration, the proposed scheme can resolve 30k devices with an average of 5 preamble transmissions and delay of 1.2 seconds, under a realistic probability of transmissions error both in the downlink and in the uplink.


title: That Ain't You: Detecting Spearphishing Emails Before They Are Sent

abstract: One of the ways in which attackers try to steal sensitive information from corporations is by sending spearphishing emails. This type of emails typically appear to be sent by one of the victim's coworkers, but have instead been crafted by an attacker. A particularly insidious type of spearphishing emails are the ones that do not only claim to come from a trusted party, but were actually sent from that party's legitimate email account that was compromised in the first place. In this paper, we propose a radical change of focus in the techniques used for detecting such malicious emails: instead of looking for particular features that are indicative of attack emails, we look for possible indicators of impersonation of the legitimate owners. We present IdentityMailer, a system that validates the authorship of emails by learning the typical email-sending behavior of users over time, and comparing any subsequent email sent from their accounts against this model. Our experiments on real world e-mail datasets demonstrate that our system can effectively block advanced email attacks sent from genuine email accounts, which traditional protection systems are unable to detect. Moreover, we show that it is resilient to an attacker willing to evade the system. To the best of our knowledge, IdentityMailer is the first system able to identify spearphishing emails that are sent from within an organization, by a skilled attacker having access to a compromised email account.


title: Comparison of computer-algebra strong-coupling perturbation theory and dynamical mean-field theory for the Mott-Hubbard insulator in high dimensions

abstract: We present a large-scale combinatorial-diagrammatic computation of high-order contributions to the strong-coupling Kato-Takahashi perturbation series for the Hubbard model in high dimensions. The ground-state energy of the Mott-insulating phase is determined exactly up to the 15-th order in 1/U. The perturbation expansion is extrapolated to infinite order and the critical behavior is determined using the Domb-Sykes method. We compare the perturbative results with two dynamical mean-field theory (DMFT) calculations using a quantum Monte Carlo method and a density-matrix renormalization group method as impurity solvers. The comparison demonstrates the excellent agreement and accuracy of both extrapolated strong-coupling perturbation theory and quantum Monte Carlo based DMFT, even close to the critical coupling where the Mott insulator becomes unstable.


title: On a class of stochastic transport equations for L2loc vector fields

abstract: We study in this article the existence and uniqueness of solutions to a class of stochastic transport equations with irregular coefficients. Asking only boundedness of the divergence of the coefficients (a classical condition in both the deterministic and stochastic setting), we can lower the integrability regularity required in known results on the coefficients themselves and on the initial condition, and still prove uniqueness of solutions.


title: Thermalization and breakdown of thermalization in photon condensates

abstract: We examine in detail the mechanisms behind thermalization and Bose-Einstein condensation of a gas of photons in a dye-filled microcavity. We derive a microscopic quantum model, based on that of a standard laser, and show how this model can reproduce the behavior of recent experiments. Using the rate equation approximation of this model, we show how a thermal distribution of photons arises. We go on to describe how the non-equilibrium effects in our model can cause thermalization to break down as one moves away from the experimental parameter values. In particular, we examine the effects of changing cavity length, and of altering the vibrational spectrum of the dye molecules. We are able to identify two measures which quantify whether the system is in thermal equilibrium. Using these we plot "phase diagrams" distinguishing BEC and standard lasing regimes. Going beyond the rate equation approximation, our quantum model allows us to investigate both the second order coherence, $g^{(2)}$, and the linewidth of the emission from the cavity. We show how the linewidth collapses as the system transitions to a Bose condensed state, and compare the results to the Schawlow--Townes linewidth.


title: Evolution of induced earthquakes from dimensionless scaling

abstract: Event counts are a powerful diagnostic for earthquake analysis. We report on a bimodal distribution of earthquake event counts in the U.S. since 2013. The new peak is about a magnitude M1 with a distribution very similar to that of induced earthquakes in Groningen, The Netherlands, characterized by exponential growth in event count since 2001. The latter shows a doubling time of 6.24 years with a relatively constant rate of land subsidence. We model its internal shear stresses as a function of dimensionless curvature and illustrate the resulting exponential growth in a tabletop crack formation experiment. Our study proposes a new method of parameter-free statistical forecasting of induced events, that circumvents the need for a magnitude cut-off in the Gutenberg-Richter relationship.


title: Duplicity: its part in the AGB's downfall

abstract: Half or more of stars more massive than our Sun are orbited by a companion star in a binary system. Many binaries have short enough orbits that the evolution of both stars is greatly altered by an exchange of mass and angular momentum between the stars. Such mass transfer is highly likely on the asymptotic giant branch (AGB) because this is when a star is both very large and has strong wind mass loss. Direct mass transfer truncates the AGB, and its associated nucleosynthesis, prematurely compared to in a single star. In wide binaries we can probe nucleosynthesis in the long-dead AGB primary star by today observing its initially lower-mass companion. The star we see now may be polluted by ejecta from the primary either through a wind or Roche-lobe overflow. We highlight recent quantitative work on nucleosynthesis in (ex-)AGB mass-transfer systems, such as carbon and barium stars, the link between binary stars and planetary nebulae, and suggest AGB stars as a possible source of the enigmatic element, lithium.


title: On potential spaces related to Jacobi expansions

abstract: We investigate potential spaces associated with Jacobi expansions. We prove structural and Sobolev-type embedding theorems for these spaces. We also establish their characterizations in terms of suitably defined fractional square functions. Finally, we present sample applications of the Jacobi potential spaces connected with a PDE problem.


title: Conformally flat polytropes for anisotropic matter

abstract: We analyze in detail conformally flat spherically symmetric fluid distributions, satisfying a polytropic equation of state. Among the two possible families of relativistic polytropes, only one contains models which satisfy all the required physical conditions. The ensuing configurations are necessarily anisotropic and show interesting physical properties. Prospective applications of the presented models to the study of super-Chandrasekhar white dwarfs, are discussed.


title: An Exact Formulation of the Time-Ordered Exponential using Path-Sums

abstract: We present the path-sum formulation for $\mathsf{OE}[\mathsf{H}](t',t)=\mathcal{T}\,\text{exp}\big(\int_{t}^{t'}\!\mathsf{H}(\tau)\,d\tau\big)$, the time-ordered exponential of a time-dependent matrix $\mathsf{H}(t)$. The path-sum formulation gives $\mathsf{OE}[\mathsf{H}]$ as a branched continued fraction of finite depth and breadth. The terms of the path-sum have an elementary interpretation as self-avoiding walks and self-avoiding polygons on a graph. Our result is based on a representation of the time-ordered exponential as the inverse of an operator, the mapping of this inverse to sums of walks on graphs and the algebraic structure of sets of walks. We give examples demonstrating our approach. We establish a super-exponential decay bound for the magnitude of the entries of the time-ordered exponential of sparse matrices. We give explicit results for matrices with commonly encountered sparse structures.


title: Zero Mode Tunnelling in a Fractional Quantum Hall Device

abstract: Tunnelling measurements on fractional quantum Hall systems are continuing to increase in popularity since they provide a method to probe the non-Fermi liquid behaviour of fractionally charged excitations occupying the edge states of a quantum Hall system. When considering tunnelling one must resort to an effective theory and typically a phenomenological tunnelling Hamiltonian is used analogous to that used for a conventional Luttinger liquid. It is the form of this tunnelling Hamiltonian that is investigated in this work by making a comparison to an exact microscopic calculation of the zero mode tunnelling matrix elements. The computation is performed using Monte Carlo and results were obtained for various system sizes for the $\nu=1/3$ Laughlin state. Here we also present a solution to overcome the phase problem experienced in Monte Carlo calculations using Laughlin-type wavefunctions. Comparing the system size dependence of the microscopic and phenomenological calculations for the tunnelling matrix elements, it was found that only for a particular type of operator ordering in the tunnelling Hamiltonian was it possible to make a good match to the numerical calculations. From the Monte Carlo data it is also clear that for any system size the electron tunnelling is always less relevant than the quasiparticle tunnelling process, supporting the idea that when considering tunnelling at a weak barrier, the electron tunnelling process can be neglected.


title: Chiral thermoelectrics with quantum Hall edge states

abstract: The thermoelectric properties of a three-terminal quantum Hall conductor are investigated. We identify a contribution to the thermoelectric response that relies on the chirality of the carrier motion rather than on spatial asymmetries. The Onsager matrix becomes maximally asymmetric with configurations where either the Seebeck or the Peltier coefficients are zero while the other one remains finite. Reversing the magnetic field direction exchanges these effects, which originate from the chiral nature of the quantum Hall edge states. The possibility to generate spin-polarized currents in quantum spin Hall samples is discussed.


title: Origin of the ionized wind in MWC 349A

abstract: The UC-HII region of MWC 349A is the prototype of an ionized wind driven by a massive star surrounded by a disk. Recent high angular resolution observations of the millimeter recombination lines have shown that the disk rotates with a Keplerian law in its outer parts. However, the kinematics of innermost regions in the UC-HII region of MWC 349A is still unknown, in particular the radius where the wind is launched from the disk. We performed hydrogen recombination line observations with the Heterodyne Instrument for the Far Infrared (HIFI) onboard the Herschel Space Observatory to study the kinematics of its innermost regions by studying their spectral features. In addition to the two laser peaks, we report the first detection of two new components that are blueshifted with respect to the laser peaks for all the recombination lines with principal quantum number n<22. These new spectral features originate from the region where the wind is ejected from the disk. We used our 3D non-LTE radiative transfer model for recombination lines (MORELI) to show that these features are consistent with the wind being ejected at a radius of about 24 AU from the star, which supports magnetohydrodynamic wind models.


title: Partial Optimality by Pruning for MAP-Inference with General Graphical Models

abstract: We consider the energy minimization problem for undirected graphical models, also known as MAP-inference problem for Markov random fields which is NP-hard in general. We propose a novel polynomial time algorithm to obtain a part of its optimal non-relaxed integral solution. Our algorithm is initialized with variables taking integral values in the solution of a convex relaxation of the MAP-inference problem and iteratively prunes those, which do not satisfy our criterion for partial optimality. We show that our pruning strategy is in a certain sense theoretically optimal. Also empirically our method outperforms previous approaches in terms of the number of persistently labelled variables. The method is very general, as it is applicable to models with arbitrary factors of an arbitrary order and can employ any solver for the considered relaxed problem. Our method's runtime is determined by the runtime of the convex relaxation solver for the MAP-inference problem.


title: Electronic stopping power in a narrow band gap semiconductor from first principles

abstract: The direction and impact parameter dependence of electronic stopping power, along with its velocity threshold behavior, is investigated in a prototypical small band gap semiconductor. We calculate the electronic stopping power of H in Ge, a semiconductor with relatively low packing density, using time-evolving time-dependent density-functional theory. The calculations are carried out in channeling conditions with different impact parameters and in different crystal directions, for projectile velocities ranging from 0.05 to 0.6 atomic units. The satisfactory comparison with available experiments supports the results and conclusions beyond experimental reach. The calculated electronic stopping power is found to be different in different crystal directions; however, strong impact parameter dependence is observed only in one of these directions. The distinct velocity threshold observed in experiments is well reproduced, and its non-trivial relation with the band gap follows a perturbation theory argument surprisingly well. This simple model is also successful in explaining why different density functionals give the same threshold even with substantially different band gaps.


title: On the proper meaning of the curvature tensor and its general framework

abstract: We make evident a curvature tensor for every vector sub-bundle of an arbitrary manifold tangent bundle which reduces to the curvature tensor of an Ehresmann connection in the case of the horizontal sub-bundle of the tangent bundle to the total space of the nonlinear fiber bundle on which the connection is defined. Then the classical theorem of Frobenius would characterize the complete integrability of a vector sub-bundle of the tangent bundle by a zero curvature tensor in the sense of our definition here. A basic tool is a result about the curvature tensor of the natural lift of the vector sub-bundle to a manifold of maps with values in the base of that sub-bundle. Another is a localization property for a Lie algebra of vector fields over this manifold of maps.These allow to prove an additive formula for the curvature tensors of two supplementary sub-bundles. The main result consists in identifying a natural linear parallel transport on a supplementary vector sub-bundle along any tangent path to the vector sub-bundle under study, which is the right generalization of a linear connection parallel transport on a vector bundle along the projection in the base of that path. Then we derive the differential equation of the quotient of respective parallel transport operators induced by two different supplementary sub-bundles to the sub-bundle in question in terms of its curvature. Using this we obtain the equation of the infinitesimal variation of tangent paths to a vector sub-bundle, defined by its curvature, that appears as the root for the Jacobi equation of the infinitesimal variation of geodesics.


title: Multi-frequency modes in superconducting resonators: Bridging frequency gaps in off-resonant couplings

abstract: A Superconducting Quantum Interference Device (SQUID) inserted in a superconducting waveguide resonator imposes current and voltage boundary conditions that makes it suitable as a tuning element for the resonator modes. If such a SQUID element is subject to a periodically varying magnetic flux, the resonator modes acquire frequency side bands. In this work we calculate the multi-frequency eigenmodes of resonators coupled to periodically driven SQUIDs and we use the Lagrange formalism to propose a theory for their quantization. The elementary excitations of a multi-frequency mode can couple resonantly to physical systems with different transition frequencies and this makes the resonator an efficient quantum bus for state transfer and coherent quantum operations in hybrid quantum systems. As an example of the application of our multi-frequency modes, we determine their coupling to transmon qubits with different frequencies and we present a bi-chromatic scheme for entanglement and gate operations.


title: Periodic Homogenization of Schr\"odinger type equations with rapidly oscillating potential

abstract: This paper is devoted to the homogenization of Shr\"odinger type equations with periodically oscillating coefficients of the diffusion term, and a rapidly oscillating periodic time-dependent potential. One convergence theorem is proved and we derive the macroscopic homogenized model. Our approach is the well known two-scale convergence method.


title: Stock fluctuations are correlated and amplified across networks of interlocking directorates

abstract: Traded corporations are required by law to have a majority of outside directors on their board. This requirement allows the existence of directors who sit on the board of two or more corporations at the same time, generating what is commonly known as interlocking directorates. While research has shown that networks of interlocking directorates facilitate the transmission of information between corporations, little is known about the extent to which such interlocking networks can explain the fluctuations of stock price returns. Yet, this is a special concern since the risk of amplifying stock fluctuations is latent. To answer this question, here we analyze the board composition, traders' perception, and stock performance of more than 1500 US traded corporations from 2007-2011. First, we find that the fewer degrees of separation between two corporations in the interlocking network, the stronger the temporal correlation between their stock price returns. Second, we find that the centrality of traded corporations in the interlocking network correlates with the frequency at which financial traders talk about such corporations, and this frequency is in turn proportional to the corresponding traded volume. Third, we show that the centrality of corporations was negatively associated with their stock performance in 2008, the year of the big financial crash. These results suggest that the strategic decisions made by interlocking directorates are strongly followed by stock analysts and have the potential to correlate and amplify the movement of stock prices during financial crashes. These results may have relevant implications for scholars, investors, and regulators.


title: Pulse propagation, population transfer and light storage in five-level media

abstract: We consider adiabatic interaction of five-level atomic systems and their media with four short laser pulses under the condition of all two-photon detunings being zero. We derive analytical expressions for eigenvalues of the system's Hamiltonian and determine conditions of adiabaticity for both the atom and the medium. We analyse, in detail, the system's behaviour when the eigenvalue with non-vanishing energy is realized. As distinct from the usual dark state of a five-level system (corresponding to zero eigenvalue), which is a superposition of three states, in our case the superposition of four states does work. This seemingly unfavourable case is nevertheless demonstrated to imitate completely a three-level system not only for a single atom but also in the medium, since the propagation equations are also split into those for three- and two-level media separately. We show that, under certain conditions, all the coherent effects observed in three-level media, such as population transfer, light slowing, light storage, and so on, may efficiently be realized in five-level media. This has an important advantage that the light storage can be performed twice in the same medium, i.e., the second pulse can be stored without retrieving the first one, and then the two pulses can be retrieved in any desired sequence.


title: A Van Benthem Theorem for Modal Team Semantics

abstract: The famous van Benthem theorem states that modal logic corresponds exactly to the fragment of first-order logic that is invariant under bisimulation. In this article we prove an exact analogue of this theorem in the framework of modal dependence logic MDL and team semantics. We show that modal team logic MTL, extending MDL by classical negation, captures exactly the FO-definable bisimulation invariant properties of Kripke structures and teams. We also compare the expressive power of MTL to most of the variants and extensions of MDL recently studied in the area.


title: The quantum optical description of three experiments involving non-linear optics using a graphical method

abstract: In this paper we describe and thoroughly discuss three reported experiments in quantum optics (QO) involving interferometers and non-linear crystals. We show that by using a graphical method and an over-simplified model of the parametric down-conversion process, we arrive to explain all the important results reported in the respective papers. Indistinguishability is discussed in the case of separable/non-separable (i.e. entangled) quantum systems and our interpretation is sometimes at variance with the one given by the authors reporting the experiments.


title: H I Kinematics of the Large Magellanic Cloud revisited : Evidence of possible infall and outflow

abstract: The neutral atomic Hydrogen (H I) kinematics of the Large Magellanic Cloud (LMC) is revisited in light of two new proper motion estimates. We analysed the intensity weighted H I velocity maps of the ATCA/Parkes and GASS data sets. We corrected the line of sight velocity field for the systemic, transverse, precession, and nutation motions of the disk using two recent proper motion estimates, and estimated the kinematic parameters of the H I disk. The value of position angle (PA) of kinematic major axis estimated using ATCA/Parkes data is found to be similar to the recent estimate of the PA using stellar tracers. The effect of precession and nutation in the estimation of PA is found to be significant. Using ATCA/Parkes data, most of the H I gas in the LMC is found to be located in the disk. We detected 12.1% of the data points as kinematic outliers. We identified the well-known Arm E, Arm S, Arm W, Arm B and a new stream, Outer Arm, as part of outlier components. The GASS data analysis brings out the velocity details of the Magellanic Bridge (MB) and its connection to the LMC disk. We find that the Arm B and the Outer Arm are connected to the MB. We detect high velocity gas in the western disk of the LMC and the south-west and southern parts of the MB. We proposed two models (in plane and out of plane) to explain the outlier gas. We suggest that the Arm B could be an infall feature, originating from the inner MB. The Arm E could be an outflow feature. We suggest possible outflows from the western LMC disk and south and south western MB, which could be due to ram pressure. The velocity pattern observed in the MB suggests that it is being sheared. We suggest that the various outliers identified in this study may be caused by a combination of tidal effects and hydrodynamical effect due to the motion of the LMC in the Milky Way (MW) halo.


title: ASTOR: Evolutionary Automatic Software Repair for Java

abstract: Context: During last years, many automatic software repair approaches have been presented by the software engineering research community. According to the corresponding papers, these approaches are able to repair real defects from open source projects. Problematic: Some previous publications in the automatic repair field do not provide the implementation of theirs approaches. Consequently, it is not possible for the research community to re-execute the original evaluation, to set up new evaluations (for example, to evaluate the performance against new defects) or to compare approaches against each others. Solution: We propose a publicly available automatic software repair tool called Astor. It implements three state-of-the-art automatic software repair approaches in the context of Java programs (including GenProg and a subset of PAR's templates). The source code of Astor is licensed under the GNU General Public Licence (GPL v2).


title: Nested Sequents for Provability Logic GLP

abstract: We present a proof system for the provability logic GLP in the formalism of nested sequents and prove the cut elimination theorem for it. As an application, we obtain the reduction of GLP to its important fragment called J syntactically.


title: Are Spine--Sheath Polarization Structures in the Jets of Active Galactic Nuclei Associated with Helical Magnetic Fields?

abstract: One possible origin for polarization structures across jets of Active Galactic Nuclei (AGNs) with a central "spine" of orthogonal magnetic field and a "sheath" of longitudinal magnetic field along one or both edges of the jet is the presence of a helical jet magnetic field. Simultaneous Very Long Baseline Array (VLBA) polarization observations of AGN displaying partial or full spine--sheath polarization structures were obtained at 4.6, 5.0, 7.9, 8.9, 12.9 and 15.4 GHz, in order to search for additional evidence for helical jet magnetic fields, such as transverse Faraday rotation gradients (due to the systematic change in the line-of-sight magnetic-field component across the jet). Results for eight sources displaying monotonic transverse Faraday rotation gradients with significances $\geq 3\sigma$ are presented here. Reversals in the directions of the transverse RM gradients with distance from the core or with time are detected in three of these AGNs. These can be interpreted as evidence for a nested helical magnetic field structure, with different directions for the azimuthal field component in the inner and outer regions of helical field. The results presented here support the idea that many spine--sheath polarization structures reflect the presence of helical magnetic fields being carried by these jets.


title: New method for precise determination of top quark mass at LHC

abstract: A new method to measure the mass of the top quark at the LHC is presented. This method uses lepton energy distribution and ideally does not depend on the velocity distribution of the top quark. We perform a simulation analysis of the top quark mass reconstruction using this method at the leading order, taking account of experimental circumstances. We estimate the sensitivity of the mass determination. The results show that this method is viable in realistic experimental conditions and has a possibility to achieve a good accuracy in determining a theoretically well-defined top quark mass by including higher-order corrections.


title: Which connected spaces have a quotient homeomorphic to an arc

abstract: We announce and examine the conjecture that each infinite connected normal Hausdorff space has a quotient homeomorphic to the unit interval, shown to be true with the additional assumption of compactness or local connectedness. Some connected subsets of the plane are considered to show the difficulties involved in developing a general argument.


title: StegExpose - A Tool for Detecting LSB Steganography

abstract: Steganalysis tools play an important part in saving time and providing new angles of attack for forensic analysts. StegExpose is a solution designed for use in the real world, and is able to analyse images for LSB steganography in bulk using proven attacks in a time efficient manner. When steganalytic methods are combined intelligently, they are able generate even more accurate results. This is the prime focus of StegExpose.


title: On the $\ell^s$-boundedness of a family of integral operators

abstract: In this paper we prove an $\ell^s$-boundedness result for integral operators with operator-valued kernels. The proofs are based on extrapolation techniques with weights due to Rubio de Francia. The results will be applied by the first and third author in a subsequent paper where a new approach to maximal $L^p$-regularity for parabolic problems with time-dependent generator is developed.


title: Schmidt modes in the angular spectrum of bright squeezed vacuum

abstract: We study the spatial properties of high-gain parametric down-conversion (PDC). From the Hamiltonian we find the Schmidt modes, apply the Bloch-Messiah reduction, and calculate analytically the measurable quantities, such as the angular distributions of photon numbers and photon-number correlations. Our approach shows that the Schmidt modes of PDC radiation can be considered the same as for the low-gain (biphoton) case while the Schmidt eigenvalues strongly depend on the parametric gain. Its validity is confirmed by comparison with several experimental results, obtained by us and by other groups.


title: Thermal and radiative AGN feedback : weak impact on star formation in high-redshift disk galaxy simulations

abstract: Active Galactic Nuclei (AGNs) release huge amounts of energy in their host galaxies, which, if the coupling is sufficient, can affect the interstellar medium (ISM). We use a high-resolution simulation ($\sim6$ pc) of a z $\sim2$ star-forming galaxy hosting an AGN, to study this not yet well-understood coupling. In addition to the often considered small-scale thermal energy deposition by the AGN, which is implemented in the simulation, we model long-range photo-ionizing AGN radiation in post-processing, and quantify the impact of AGN feedback on the ability of the gas to form stars. Surprisingly, even though the AGN generates powerful outflows, the impact of AGN heating and photo-ionization on instantaneous star formation is weak: the star formation rate decreases by a few percent at most, even in a quasar regime ($L_{bol}=10^{46.5}$ erg s$^{-1}$). Furthermore, the reservoirs of atomic gas that are expected to form stars on a 100 - 200 Myrs time scale are also marginally affected. Therefore, while the AGN-driven outflows can remove substantial amounts of gas in the long term, the impact of AGN feedback on the star formation efficiency in the ISM of high-redshift galaxies is marginal, even when long-range radiative effects are taken into account.


title: Bound and resonance states of the dipolar anion of hydrogen cyanide: competition between threshold effects and rotation in an open quantum system

abstract: Bound and resonance states of the dipole-bound anion of hydrogen cyanide HCN$^-$ are studied using a non-adiabatic pseudopotential method and the Berggren expansion technique involving bound states, decaying resonant states, and non-resonant scattering continuum. We devise an algorithm to identify the resonant states in the complex energy plane. To characterize spatial distributions of electronic wave functions, we introduce the body-fixed density and use it to assign families of resonant states into collective rotational bands. We find that the non-adiabatic coupling of electronic motion to molecular rotation results in a transition from the strong-coupling to weak-coupling regime. In the strong coupling limit, the electron moving in a subthreshold, spatially extended halo state follows the rotational motion of the molecule. Above the ionization threshold, electron's motion in a resonance state becomes largely decoupled from molecular rotation. Widths of resonance-band members depend primarily on the electron orbital angular momentum.


title: Non standard finite difference scheme preserving dynamical properties

abstract: We study the construction of a non-standard finite differences numerical scheme for a general class of two dimensional differential equations including several models in population dynamics using the idea of non-local approximation introduced by R. Mickens. We prove the convergence of the scheme, the unconditional, with respect to the discretisation parameter, preservation of the fixed points of the continuous system and the preservation of their stability nature. Several numerical examples are given and comparison with usual numerical scheme (Euler, Runge-Kutta of order 2 or 4) are detailed.


title: PyNeb: a new tool for analyzing emission lines. I. Code description and validation of results

abstract: Analysis of emission lines in gaseous nebulae yields direct measures of physical conditions and chemical abundances and is the cornerstone of nebular astrophysics. Although the physical problem is conceptually simple, its practical complexity can be overwhelming since the amount of data to be analyzed steadily increases; furthermore, results depend crucially on the input atomic data, whose determination also improves each year. To address these challenges we created PyNeb, an innovative code for analyzing emission lines. PyNeb computes physical conditions and ionic and elemental abundances, and produces both theoretical and observational diagnostic plots. It is designed to be portable, modular, and largely customizable in aspects such as the atomic data used, the format of the observational data to be analyzed, and the graphical output. It gives full access to the intermediate quantities of the calculation, making it possible to write scripts tailored to the specific type of analysis one wants to carry out. In the case of collisionally excited lines, PyNeb works by solving the equilibrium equations for an n-level atom; in the case of recombination lines, it works by interpolation in emissivity tables. The code offers a choice of extinction laws and ionization correction factors, which can be complemented by user-provided recipes. It is entirely written in the python programming language and uses standard python libraries. It is fully vectorized, making it apt for analyzing huge amounts of data. The code is stable and has been benchmarked against IRAF/NEBULAR. It is public, fully documented, and has already been satisfactorily used in a number of published papers.


title: Computing an Evolutionary Ordering is Hard

abstract: We prove that computing an evolutionary ordering of a family of sets, i.e. an ordering where each set intersects with --but is not included in-- the union earlier sets, is NP-hard.


title: Progress in Double Parton Scattering Studies

abstract: An overview of theoretical and experimental progress in double parton scattering (DPS) is presented. The theoretical topics cover factorization in DPS, models for double parton distributions and DPS in charm production and nuclear collisions. On the experimental side, CMS results for dijet and double J/\psi\ production, in light of DPS, as well as first results for the 4-jet channel are presented. ALICE reports on a study of open charm and J/\psi\ multiplicity dependence.


title: Spontaneous supersymmetry breaking in the two-dimensional N=1 Wess-Zumino model

abstract: We study the phase diagram of the two-dimensional N=1 Wess-Zumino model on the lattice using Wilson fermions and the fermion loop formulation. We give a complete nonperturbative determination of the ground state structure in the continuum and infinite volume limit. We also present a determination of the particle spectrum in the supersymmetric phase, in the supersymmetry broken phase and across the supersymmetry breaking phase transition. In the supersymmetry broken phase we observe the emergence of the Goldstino particle.


title: k.p theory for two-dimensional transition metal dichalcogenide semiconductors

abstract: We present $\mathbf{k}\cdotp\mathbf{p}$ Hamiltonians parametrised by {\it ab initio} density functional theory calculations to describe the dispersion of the valence and conduction bands at their extrema (the $K$, $Q$, $\Gamma$, and $M$ points of the hexagonal Brillouin zone) in atomic crystals of semiconducting monolayer transition metal dichalcogenides. We review the parametrisation of the essential parts of the $\mathbf{k}\cdotp\mathbf{p}$ Hamiltonians for MoS$_2$, MoSe$_2$, WS$_2$, and WSe$_2$, including the spin-splitting and spin-polarisation of the bands, and we discuss the vibrational properties of these materials. We then use $\mathbf{k}\cdotp\mathbf{p}$ theory to analyse optical transitions in two-dimensional transition metal dichalcogenides over a broad spectral range that covers the Van Hove singularities in the band structure (the $M$ points). We also discuss the visualisation of scanning tunnelling microscopy maps.


title: Self-starting stable coherent mode-locking in a two-section laser

abstract: Coherent mode-locking (CML) uses self-induced transparency (SIT) soliton formation to achieve, in contrast to conventional schemes based on absorption saturation, the pulse durations below the limit allowed by the gain line width. Despite of the great promise it is difficult to realize it experimentally because a complicated setup is required. In all previous theoretical considerations CML is believed to be non-self-starting. In this article we show that if the cavity length is selected properly, a very stable (CML) regime can be realized in an elementary two-section ring-cavity geometry, and this regime is self-developing from the non-lasing state. The stability of the pulsed regime is the result of a dynamical stabilization mechanism arising due to finite-cavity-size effects.


title: $DK$ and $D^* K$ scattering near threshold

abstract: We study the three $D_s$ quantum channels $J^P = 0^+$, $1^+$ and $2^+$ where experiments have identified the charm-strange states $D^*_{s0} (2317)$, $D_{s1}(2460)$, $D_{s1}(2536)$ near the $DK$ and $D^*K$ thresholds, and $D^*_{s2}(2573)$. We consider correlation functions for sets of $\overline q q$ operators and, for $J^P = 0^+$, $1^+$, also the $DK$ and $D^*K$ meson-meson interpolators and determine for these cases values of the elastic scattering amplitude. Constructing the full set of correlators requires propagators which connect any pair of lattice sites. For one ensemble of gauge configurations ($32^3\times 64$, $m_\pi\approx 156$ MeV) a stochastic distillation variant is employed and for another ensemble ($16^3\times 32$, $m_\pi\approx 266$ MeV) we use the full distillation method. Both, $D^*_{s0} (2317)$ and $D_{s1}(2460)$, are found as bound states below threshold, whereas $D_{s1}(2536)$, and $D^*_{s2}(2573)$ are identified as narrow resonances close to the experimental masses.


title: Analyzing the Fault-Containment Time of Self-Stabilizing Algorithms - A Case Study for Graph Coloring

abstract: The paper presents techniques to derive upper bounds for the mean time to recover from a single fault for self-stabilizing algorithms in the message passing model. For a new Delta+1-coloring algorithm we analytically derive a bound for the mean time to recover and show that the variance is bounded by a small constant independent of the network's size. For the class of bounded-independence graphs (e.g. unit disc graphs) all containment metrics are in O(1).


title: Carrier multiplication in graphene under Landau quantization

abstract: Carrier multiplication is a many-particle process giving rise to the generation of multiple electron-hole pairs. This process holds the potential to increase the power conversion efficiency of photovoltaic devices. In graphene, carrier multiplication has been theoretically predicted and recently experimentally observed. However, due to the absence of a bandgap and competing phonon-induced electron-hole recombination, the extraction of charge carriers remains a substantial challenge. Here we present a new strategy to benefit from the gained charge carriers by introducing a Landau quantization that offers a tunable bandgap. Based on microscopic calculations within the framework of the density matrix formalism, we report a significant carrier multiplication in graphene under Landau quantization. Our calculations reveal a high tunability of the effect via externally accessible pump fluence, temperature, and the strength of the magnetic field.


title: Augmenting Ordered Binary Decision Diagrams with Conjunctive Decomposition

abstract: This paper augments OBDD with conjunctive decomposition to propose a generalization called OBDD[$\wedge$]. By imposing reducedness and the finest $\wedge$-decomposition bounded by integer $i$ ($\wedge_{\widehat{i}}$-decomposition) on OBDD[$\wedge$], we identify a family of canonical languages called ROBDD[$\wedge_{\widehat{i}}$], where ROBDD[$\wedge_{\widehat{0}}$] is equivalent to ROBDD. We show that the succinctness of ROBDD[$\wedge_{\widehat{i}}$] is strictly increasing when $i$ increases. We introduce a new time-efficiency criterion called rapidity which reflects that exponential operations may be preferable if the language can be exponentially more succinct, and show that: the rapidity of each operation on ROBDD[$\wedge_{\widehat{i}}$] is increasing when $i$ increases; particularly, the rapidity of some operations (e.g., conjoining) is strictly increasing. Finally, our empirical results show that: a) the size of ROBDD[$\wedge_{\widehat{i}}$] is normally not larger than that of the equivalent \ROBDDC{\widehat{i+1}}; b) conjoining two ROBDD[$\wedge_{\widehat{1}}$]s is more efficient than conjoining two ROBDD[$\wedge_{\widehat{0}}$]s in most cases, where the former is NP-hard but the latter is in P; and c) the space-efficiency of ROBDD[$\wedge_{\widehat{\infty}}$] is comparable with that of d-DNNF and that of another canonical generalization of \ROBDD{} called SDD.


title: Rectification of radio frequency current in giant magnetoresistance spin valve

abstract: We report on a highly efficient spin diode effect in an exchange-biased spin-valve giant magnetoresistance (GMR) strips. In such multilayer structures, symmetry of the current distribution along the vertical direction is broken and, as a result, a non-compensated Oersted field acting on the magnetic free layer appears. This field, in turn, is a driving force of magnetization precessions. Due to the GMR effect, resistance of the strip oscillates following the magnetization dynamics. This leads to rectification of the applied radio frequency current and induces a direct current voltage $V_{DC}$. We present a theoretical description of this phenomenon and calculate the spin diode signal, $V_{DC}$, as a function of frequency, external magnetic field, and angle at which the external field is applied. A satisfactory quantitative agreement between theoretical predictions and experimental data has been achieved. Finally, we show that the spin diode signal in GMR devices is significantly stronger than in the anisotropic magnetoresistance permalloy-based devices.


title: Core-level spectra from graphene

abstract: We calculate core-level spectra for pristine and doped free-standing graphene sheets. Instructions for how to perform the calculations are given in detail. Although pristine graphene is not metallic the core-level spectrum presents low-energy tailing which is characteristic of metallic systems. The peak shapes vary with doping level in a characteristic way. The spectra are compared to experiments and show good agreement. We compare to two different pristine samples and to one doped sample. The pristine samples are one with quasi-free-standing epitaxial graphene on SiC obtained by hydrogen intercalation and one with a suspended graphene sheet. The doped sample is a gold supported graphene sheet. The gold substrate acts as an acceptor so the graphene sheet gets p-doped.


abstract: This is the Proceedings of the Third Workshop on Mobile Security Technologies (MoST) 2014, held in San Jose, CA, USA, on May 17, 2014. The workshop was held as part of the IEEE Computer Society Security and Privacy Workshops, in conjunction with the IEEE Symposium on Security and Privacy.


title: Local Conformal Symmetry: the Missing Symmetry Component for Space and Time

abstract: Local conformal symmetry is usually considered to be an approximate symmetry of nature, which is explicitly and badly broken. Arguments are brought forward here why it has to be turned into an exact symmetry that is spontaneously broken. As in the B.E.H. mechanism in Yang-Mills theories, we then will have a mechanism for disclosing the small-distance structure of the gravitational force. The symmetry could be as fundamental as Lorentz invariance, and guide us towards a complete understanding of physics at the Planck scale.


title: Magnetic field instability in a neutron star driven by the electroweak electron-nucleon interaction versus the chiral magnetic effect

abstract: We show that the Standard Model electroweak interaction of ultrarelativistic electrons with nucleons ($eN$ interaction) in a neutron star (NS) permeated by a seed large-scale helical magnetic field provides its growth up to $\gtrsim 10^{15}\thinspace\text{G}$ during a time comparable with the ages of young magnetars $\sim 10^4\thinspace\text{yr}$. The magnetic field instability originates from the parity violation in the $eN$ interaction entering the generalized Dirac equation for right and left massless electrons in an external uniform magnetic field. We calculate the averaged electric current given by the solution of the modified Dirac equation containing an extra current for right and left electrons (positrons), which turns out to be directed along the magnetic field. Such current includes both a changing chiral imbalance of electrons and the $eN$ potential given by a constant neutron density in NS. Then we derive the system of the kinetic equations for the chiral imbalance and the magnetic helicity which accounts for the $eN$ interaction. By solving this system, we show that a sizable chiral imbalance arising in a neutron protostar due to the Urca-process $e^-_\mathrm{L} + p\to N + \nu_\mathrm{eL}$ diminishes very rapidly because of a huge chirality flip rate. Thus the $eN$ term prevails the chiral effect providing a huge growth of the magnetic helicity and the helical magnetic field.


title: M3D: a kernel-based test for shape changes in methylation profiles

abstract: DNA methylation is an intensely studied epigenetic mark implicated in many biological processes of direct clinical relevance. While sequencing based technologies are increasingly allowing high resolution measurements of DNA methylation, statistical modelling of such data is still challenging. In particular, statistical identification of differentially methylated regions across different conditions poses unresolved challenges in accounting for spatial correlations within the statistical testing procedure. We propose a non-parametric, kernel-based method, M3D, to detect higher-order changes in methylation profiles, such as shape, across pre-defined regions. The test statistic explicitly accounts for differences in coverage levels between samples, thus handling in a principled way a major confounder in the analysis of methylation data. Empirical tests on real and simulated data sets show an increased power compared to established methods, as well as considerable robustness with respect to coverage and replication levels. Code is implemented in R, and is freely available via Bioconductor package M3D.


title: New look at black holes: Existence of universal horizons

abstract: In this paper, we study the existence of universal horizons in a given static spacetime, and find that the test khronon field can be solved explicitly when its velocity becomes infinitely large, at which point the universal horizon coincides with the sound horizon of the khronon. Choosing the timelike coordinate aligned with the khronon, the static metric takes a simple form, from which it can be seen clearly that the metric is free of singularity at the Killing horizon, but becomes singular at the universal horizon. Applying such developed formulas to three well-known black hole solutions, the Schwarzschild, Schwarzschild anti-de Sitter, and Reissner-Nordstr\"om, we find that in all these solutions universal horizons exist and are always inside the Killing horizons. In particular, in the Eddington-Finkelstein and Painleve-Gullstrand coordinates, in which the metrics are not singular when crossing both of the Killing and universal horizons, the peeling-off behavior of the khronon is found only at the universal horizons, whereby we show that the values of surface gravity of the universal horizons calculated from the peeling-off behavior of the khronon match with those obtained from the covariant definition given recently by Cropp, Liberati, Mohd and Visser.


title: Search for a standard model-like Higgs boson in the mu+ mu- and e+ e- decay channels at the LHC

abstract: A search is presented for a standard model-like Higgs boson decaying to muon pair or electron pair final states based on proton-proton collisions recorded by the CMS experiment at the CERN LHC. The data correspond to integrated luminosities of 5.0 inverse femtobarns at a centre-of-mass energy of 7 TeV and 19.7 inverse femtobarns at 8 TeV for the muon search, and of 19.7 inverse femtobarns at 8 TeV for the electron search. Upper limits on the production cross section times branching fraction at the 95% confidence level are reported for Higgs boson masses in the range from 120 to 150 GeV. For a Higgs boson with a mass of 125 GeV decaying to muons, the observed (expected) upper limit on the production rate is found to be 7.4 (6.5 +2.8 -1.9) times the standard model value. This corresponds to an upper limit on the branching fraction of 0.0016. Similarly, for electrons, an upper limit of 0.0019 is placed on the branching fraction, which is about 3.7 E5 times the standard model value. These results, together with recent evidence of the 125 GeV boson coupling to tau-leptons with a larger branching fraction consistent with the standard model, confirm that the leptonic couplings of the new boson are not flavour-universal.


title: Load & Backhaul Aware Decoupled Downlink/Uplink Access in 5G Systems

abstract: Until the 4th Generation (4G) cellular 3GPP systems, a user equipment's (UE) cell association has been based on the downlink received power from the strongest base station. Recent work has shown that - with an increasing degree of heterogeneity in emerging 5G systems - such an approach is dramatically suboptimal, advocating for an independent association of the downlink and uplink where the downlink is served by the macro cell and the uplink by the nearest small cell. In this paper, we advance prior art by explicitly considering the cell-load as well as the available backhaul capacity during the association process. We introduce a novel association algorithm and prove its superiority w.r.t. prior art by means of simulations that are based on Vodafone's small cell trial network and employing a high resolution pathloss prediction and realistic user distributions. We also study the effect that different power control settings have on the performance of our algorithm.


title: GPS Timing and Control System of the HAWC Detector

abstract: The design and performance of the GPS Timing and Control (GTC) System of the High Altitude Water Cerenkov (HAWC) gamma ray observatory is described. The GTC system provides a GPS synchronized absolute timestamp, with an accuracy better than 1$\mu$s, for each recorded event in HAWC. In order to avoid any slack between the recorded data and the timestamp, timestamps are injected to the main data acquisition (DAQ) system after the Front-end Electronic Boards (FEBs). When HAWC is completed, the HAWC main DAQ will use 10 time to digital converters (TDCs). In order to keep all the TDCs in sync, the GTC system provides a synchronized clock signal, coordinated trigger signal, and control signals to all TDCs.


title: SQUID-based Resonant Detection of Axion Dark Matter

abstract: A new method for searching for Dark Matter axions is proposed. It is shown that a two-contact SQUID can detect oscillating magnetic perturbations induced by the axions in a strong inhomogeneous magnetic field. A resonant signal is a steplike response in the SQUID current-voltage characteristic at a voltage corresponding to the axion mass with a height depending on the axion energy density near the Earth. The proposed experimental technique appears to be sensitive to the axions with masses $m_a\lesssim 10^{-4}$ eV, which is well-motivated by current researches both in cosmology and in particle physics.


title: Investigating the origin of time with trapped ions

abstract: Even though quantum systems in energy eigenstates do not evolve in time, they can exhibit correlations between internal degrees of freedom in such a way that one of the internal degrees of freedom behaves like a clock variable, and thereby defines an internal time, that parametrises the evolution of the other degrees of freedom. This situation is of great interest in quantum cosmology where the invariance under reparametrisation of time implies that the temporal coordinate dissapears and is replaced by the Wheeler-DeWitt constraint. Here we show that this paradox can be investigated experimentally using the exquisite control now available on moderate size quantum systems. We describe in detail how to implement such an experimental demonstration using the spin and motional degrees of freedom of a single trapped ion.


title: Decay Constants of Beauty Mesons from QCD Sum Rules

abstract: Our recently completed analysis of the decay constants of both pseudoscalar and vector beauty mesons reveals that in the bottom-quark sector two specific features of the sum-rule predictions show up: (i) For the input value of the bottom-quark mass in the $\overline{\rm MS}$ scheme $\overline{m}_b(\overline{m}_b)\approx4.18\;\mbox{GeV},$ the sum-rule result $f_B\approx210$-$220\;\mbox{MeV}$ for the $B$ meson decay constant is substantially larger than the recent lattice-QCD finding $f_B\approx190\;\mbox{MeV}.$ Requiring QCD sum rules to reproduce the lattice-QCD value of $f_B$ yields a significantly larger $b$-quark mass: $\overline{m}_b(\overline{m}_b)=4.247\;\mbox{GeV}.$ (ii) Whereas QCD sum-rule predictions for the charmed-meson decay constants $f_D,$ $f_{D_s},$ $f_{D^*}$ and $f_{D_s^*}$ are practically independent of the choice of renormalization scale, in the beauty sector the results for the decay constants - and especially for the ratio $f_{B^*}/f_B$ - prove to be very sensitive to the specific scale setting.


title: Contract-Based General-Purpose GPU Programming

abstract: Using GPUs as general-purpose processors has revolutionized parallel computing by offering, for a large and growing set of algorithms, massive data-parallelization on desktop machines. An obstacle to widespread adoption, however, is the difficulty of programming them and the low-level control of the hardware required to achieve good performance. This paper suggests a programming library, SafeGPU, that aims at striking a balance between programmer productivity and performance, by making GPU data-parallel operations accessible from within a classical object-oriented programming language. The solution is integrated with the design-by-contract approach, which increases confidence in functional program correctness by embedding executable program specifications into the program text. We show that our library leads to modular and maintainable code that is accessible to GPGPU non-experts, while providing performance that is comparable with hand-written CUDA code. Furthermore, runtime contract checking turns out to be feasible, as the contracts can be executed on the GPU.


title: QCD Phenomenology

abstract: Quantum Chromodynamics is the most successful theory in particle physics. The understanding of all different signals at hadron colliders have been achieved due to the correct interpretation of the theory. In this paper we review some basic features of the theory of strong interactions and how it could be used in order to provide phenomenological distributions for the Large Hadron Collider. The main results presented in here can be found in Ref [1].


title: A Time Domain Waveform for Testing General Relativity

abstract: Gravitational-wave parameter estimation is only as good as the theory the waveform generation models are based upon. It is therefore crucial to test General Relativity (GR) once data becomes available. Many previous works, such as studies connected with the ppE framework by Yunes and Pretorius, rely on the stationary phase approximation (SPA) to model deviations from GR in the frequency domain. As Fast Fourier Transform algorithms have become considerably faster and in order to circumvent possible problems with the SPA, we test GR with corrected time domain waveforms instead of SPA waveforms. Since a considerable amount of work has been done already in the field using SPA waveforms, we establish a connection between leading-order-corrected waveforms in time and frequency domain, concentrating on phase-only corrected terms. In a Markov Chain Monte Carlo study, whose results are preliminary and will only be available later, we will assess the ability of the eLISA detector to measure deviations from GR for signals coming from supermassive black hole inspirals using these corrected waveforms.


title: Magnetization, crystal structure and anisotropic thermal expansion of single-crystal SrEr2O4

abstract: The magnetization, crystal structure, and thermal expansion of a nearly stoichiometric Sr$_{1.04(3)}$Er$_{2.09(6)}$O$_{4.00(1)}$ single crystal have been studied by PPMS measurements and in-house and high-resolution synchrotron X-ray powder diffraction. No evidence was detected for any structural phase transitions even up to 500 K. The average thermal expansions of lattice constants and unit-cell volume are consistent with the first-order Gr\"uneisen approximations taking into account only the phonon contributions for an insulator, displaying an anisotropic character along the crystallographic \emph{a}, \emph{b}, and \emph{c} axes. Our magnetization measurements indicate that obvious magnetic frustration appears below $\sim$15 K, and antiferromagnetic correlations may persist up to 300 K.


title: Antiproton signatures from astrophysical and dark matter sources at the galactic center

abstract: The center of our Galaxy is a complex region characterized by extreme phenomena. The presence of the supermassive Sagittarius A* black hole, a high Dark Matter density and an even higher baryonic density are able to produce very energetic processes. Indeed, high energetic gamma rays have been observed by different telescopes, although its origin is not clear. In this work, we constrain the possible antiproton flux component associated to this signal. The expected secondary astrophysical antiproton background already saturates the observed data. It implies that any other important astrophysical source leads to an inconsistent excess, since the theoretical uncertainties corresponding to the mentioned background are small. The constraints depend on the diffusion model and the spectral features of the source. In particular, we consider antiproton spectra described by a power-law, a monochromatic signal and a Standard Model particle-antiparticle channel production.


title: On the Complexity of Optimization Problems based on Compiled NNF Representations

abstract: Optimization is a key task in a number of applications. When the set of feasible solutions under consideration is of combinatorial nature and described in an implicit way as a set of constraints, optimization is typically NP-hard. Fortunately, in many problems, the set of feasible solutions does not often change and is independent from the user's request. In such cases, compiling the set of constraints describing the set of feasible solutions during an off-line phase makes sense, if this compilation step renders computationally easier the generation of a non-dominated, yet feasible solution matching the user's requirements and preferences (which are only known at the on-line step). In this article, we focus on propositional constraints. The subsets L of the NNF language analyzed in Darwiche and Marquis' knowledge compilation map are considered. A number of families F of representations of objective functions over propositional variables, including linear pseudo-Boolean functions and more sophisticated ones, are considered. For each language L and each family F, the complexity of generating an optimal solution when the constraints are compiled into L and optimality is to be considered w.r.t. a function from F is identified.