title: Collective modes in free plasmas subjected to a radiation field

abstract: In this study we report the effects of an external electromagnetic field on the collective properties of unmagnetized plasmas. The calculations are carried out in the semi-classical approximation, i.e., the electromagnetic field is treated classically and the electrons from a quantum mechanical viewpoint. The results show that the collective modes are damped away more smoothly and in a smaller frequency range than those reported by previous studies. An exponential-like decay of the plasmon frequencies as a function of the external field amplitude is readily observed. We successfully recreate the results of previous studies. We also find that the single photon processes has a pronounced effect on the decrease of the frequency range of modulation.


title: Spontaneous ferromagnetism in the spinor Bose gas with Rashba spin-orbit coupling

abstract: We show that in the two-component Bose gas with Rashba spin-orbit coupling an arbitrarily small attractive interaction between bosons with opposite spin induces spontaneous ferromagnetism below a finite critical temperature $T_c$. In the ferromagnetic phase the single-particle spectrum exhibits a unique minimum in momentum space in the direction of the magnetization. For sufficiently small temperatures below $T_c$ the bosons eventually condense into the unique state at the bottom of the spectrum, forming a ferromagnetic Bose-Einstein condensate.


title: Thermal Phase Transition in the SO(5) x U(1) Gauge-Higgs Unification with 126GeV Higgs

abstract: We study the phase structure of the gauge theories in the space-time with one compact dimension, where the gauge symmetry can be broken by the Hosotani mechanism. As the extra dimension, we consider the SO(5) x U(1) gauge-Higgs unification in the Randall-Sundrum space-time which reproduce the 126 GeV Higgs mass. It is found that the thermal phase transition of the electroweak symmetry is almost second order and the critical temperature is around 160 GeV for z_L < 10^7 and n_F=3.


title: The existence and uniqueness result for Quasilinear Stochastic PDEs with Obstacle under weaker integrability conditions

abstract: We prove an existence and uniqueness result for quasilinear Stochastic PDEs with Obstacle (in short OSPDE) under a weaker integrability condition on the coefficient and the barrier.


title: Discovery of a superhard iron tetraboride superconductor

abstract: Single crystals of novel orthorhombic (space group Pnnm) iron tetraboride FeB4 were synthesised at pressures above 8 GPa and high temperatures. Magnetic susceptibility measurements demonstrated bulk superconductivity below 2.9 K. The putative isotope effect on the superconducting critical temperature indicates that FeB4 is likely a phonon-mediated superconductor, which is unexpected in the light of previous knowledge on Fe-based superconductors. The discovered iron tetraboride is highly incompressible and has the nanoindentation hardness of 65(5) GPa, thus, it opens a new class of highly desirable materials combining advanced mechanical properties and superconductivity.


title: Comparing journals from different fields of Science and Social Science through a JCR Subject Categories Normalized Impact Factor

abstract: The journal Impact Factor (IF) is not comparable among fields of Science and Social Science because of systematic differences in publication and citation behaviour across disciplines. In this work, a decomposing of the field aggregate impact factor into five normally distributed variables is presented. Considering these factors, a Principal Component Analysis is employed to find the sources of the variance in the JCR subject categories of Science and Social Science. Although publication and citation behaviour differs largely across disciplines, principal components explain more than 78% of the total variance and the average number of references per paper is not the primary factor explaining the variance in impact factors across categories. The Categories Normalized Impact Factor (CNIF) based on the JCR subject category list is proposed and compared with the IF. This normalization is achieved by considering all the indexing categories of each journal. An empirical application, with one hundred journals in two or more subject categories of economics and business, shows that the gap between rankings is reduced around 32% in the journals analyzed. This gap is obtained as the maximum distance among the ranking percentiles from all categories where each journal is included.


title: Tilting bundles and the "missing part" on the weighted projective line of type $(2, 2, n)$

abstract: This paper classifies all the tilting bundles in the category of coherent sheaves on the weighted projective line of weight type $(2, 2, n)$, and investigates the abelianness of the "missing part" from the category of coherent sheaves to the category of finitely generated right modules on the associated tilted algebra for each tilting bundle.


title: Kadanoff Sand Pile Model. Avalanche Structure and Wave Shape

abstract: Sand pile models are dynamical systems describing the evolution from $N$ stacked grains to a stable configuration. It uses local rules to depict grain moves and iterate it until reaching a fixed configuration from which no rule can be applied. Physicists L. Kadanoff {\em et al} inspire KSPM, extending the well known {\em Sand Pile Model} (SPM). In KSPM($D$), we start from a pile of $N$ stacked grains and apply the rule: $D\!-\!1$ grains can fall from column $i$ onto columns $i+1,i+2,\dots,i+D\!-\!1$ if the difference of height between columns $i$ and $i\!+\!1$ is greater or equal to $D$. Toward the study of fixed points (stable configurations on which no grain can move) obtained from $N$ stacked grains, we propose an iterative study of KSPM evolution consisting in the repeated addition of one grain on a heap of sand, triggering an avalanche at each iteration. We develop a formal background for the study of avalanches, resumed in a finite state word transducer, and explain how this transducer may be used to predict the form of fixed points. Further precise developments provide a plain formula for fixed points of KSPM(3), showing the emergence of a wavy shape.


title: Central indexes to the citation distribution: A complement to the h-index

abstract: The citation distribution of a researcher shows the impact of their production and determines the success of their scientific career. However, its application in scientific evaluation is difficult due to the bi-dimensional character of the distribution. Some bibliometric indexes that try to synthesize in a numerical value the principal characteristics of this distribution have been proposed recently. In contrast with other bibliometric measures, the biases that the distribution tails provoke, are reduced by the h-index. However, some limitations in the discrimination among researchers with different publication habits are presented in this index. This index penalizes selective researchers, distinguished by the large number of citations received, as compared to large producers. In this work, two original sets of indexes, the central area indexes and the central interval indexes, that complement the h-index to include the central shape of the citation distribution, are proposed and compared.


title: Combined neutron reflectometry and rheology

abstract: We have combined neutron reflectometry with rheology in order to investigate the solid boundary of liquids and polymers under shear deformation. Our approach allows one to apply a controlled stress to a material while resolving the structural arrangements on the sub nanometer length scale with neutron reflectivity, off-specular and small angle scattering at the same time. The specularly reflected neutron intensity of a 20 % by weight solution of the Pluronic F127 in deuterated water is evaluated. We find pronounced changes in the near interface structure under applied deformation for surfaces with different surface energies, which are correlated with changes in the storage and loss modulus.


title: Simplifying Generalized Belief Propagation on Redundant Region Graphs

abstract: The cluster variation method has been developed into a general theoretical framework for treating short-range correlations in many-body systems after it was first proposed by Kikuchi in 1951. On the numerical side, a message-passing approach called generalized belief propagation (GBP) was proposed by Yedidia, Freeman and Weiss about a decade ago as a way of computing the minimal value of the cluster variational free energy and the marginal distributions of clusters of variables. However the GBP equations are often redundant, and it is quite a non-trivial task to make the GBP iteration converges to a fixed point. These drawbacks hinder the application of the GBP approach to finite-dimensional frustrated and disordered systems. In this work we report an alternative and simple derivation of the GBP equations starting from the partition function expression. Based on this derivation we propose a natural and systematic way of removing the redundance of the GBP equations. We apply the simplified generalized belief propagation (SGBP) equations to the two-dimensional and the three-dimensional ferromagnetic Ising model and Edwards-Anderson spin glass model. The numerical results confirm that the SGBP message-passing approach is able to achieve satisfactory performance on these model systems. We also suggest that a subset of the SGBP equations can be neglected in the numerical iteration process without affecting the final results.


title: A note on weak convergence of the sequential multivariate empirical process under strong mixing

abstract: This article investigates weak convergence of the sequential $d$-dimensional empirical process under strong mixing. Weak convergence is established for mixing rates $\alpha_n = O(n^{-a})$, where $a>1$, which slightly improves upon existing results in the literature that are based on mixing rates depending on the dimension $d$.


title: Critical Point Wedge Filling

abstract: We present results of a microscopic density functional theory study of wedge filling transitions, at a right-angle wedge, in the presence of dispersion-like wall-fluid forces. Far from the corner the walls of the wedge show a first-order wetting transition at a temperature $T_w$ which is progressively closer to the bulk critical temperature $T_c$ as the strength of the wall forces is reduced. In addition, the meniscus formed near the corner undergoes a filling transition at a temperature $T_f<T_w$, the value of which is found to be in excellent agreement with macroscopic predictions. We show that the filling transition is {\it first-order} if it occurs far from the critical point but is {\it continuous} if $T_f$ is close to $T_c$ even though the walls still show first-order wetting behaviour. For this continuous transition the distance of the meniscus from the apex grows as $\ell_w\approx (T_f-T)^{-\beta_w}$ with critical exponent $\beta_w\approx 0.46 \pm 0.05$ in good agreement with the phenomenological effective Hamiltonian prediction. Our results suggest that critical filling transitions, with accompanying large scale universal interfacial fluctuation effects, are more generic than thought previously, and are experimentally accessible.


title: Hadron energy response of the Iron Calorimeter detector at the India-based Neutrino Observatory

abstract: The results of a Monte Carlo simulation study of the hadron energy response for the magnetized Iron CALorimeter detector, ICAL, proposed to be located at the India-based Neutrino Observatory (INO) is presented. Using a GEANT4 modeling of the detector ICAL, interactions of atmospheric neutrinos with target nuclei are simulated. The detector response to hadrons propagating through it is investigated using the hadron hit multiplicity in the active detector elements. The detector response to charged pions of fixed energy is studied first, followed by the average response to the hadrons produced in atmospheric neutrino interactions using events simulated with the NUANCE event generator. The shape of the hit distribution is observed to fit the Vavilov distribution, which reduces to a Gaussian at high energies. In terms of the parameters of this distribution, we present the hadron energy resolution as a function of hadron energy, and the calibration of hadron energy as a function of the hit multiplicity. The energy resolution for hadrons is found to be in the range 85% (for 1GeV) -- 36% (for 15 GeV).


title: Experimental evidence for the coupling of Li-motion and structural distortions in LiMnPO$_4$

abstract: We present a detailed $^7$Li- and $^{31}$P-NMR study on single crystalline LiMnPO$_4$ in the paramagnetic and antiferromagnetic phase (AFM, $T_N \sim$ 34 K). This allows us to determine the spin directions in the field-induced spin-flop phase. In addition, the anisotropic dipolar hyperfine coupling tensor of the $^7$Li- and $^{31}$P-nuclei is also fully determined by orientation and temperature dependent NMR experiments and compared to the calculated values from crystal structure data. Deviations of the experimental values from the theoretical ones are discussed in terms of Mn disorder which is induced by Li-disorder. In fact, the disorder in the Mn-sublattice is directly revealed by our diffuse x-ray scattering data. The present results provide experimental evidence for the Li-diffusion strongly coupling to structural distortions within the MnPO$_4$ host, which is expected to significantly affect the Li-mobility as well as the performance of batteries based on this material.


title: Splitting a single Cooper-pair with microwave light

abstract: We measure an aluminum superconducting double quantum dot and find that its electrical impedance, specifically its quantum capacitance, depends on whether or not it contains a single broken Cooper pair. In this way we are able to observe, in real time, the thermally activated breaking and recombination of Cooper pairs. Furthermore, we apply external microwave light and break single Cooper pairs by the absorption of single microwave photons.


title: Higher-nodal collective modes in a resonantly interacting Fermi gas

abstract: We report on experimental investigations of longitudinal collective oscillations in a highly elongated, harmonically trapped two-component Fermi gas with resonantly tuned s-wave interactions ('unitary Fermi gas'). We focus on higher-nodal axial modes, which in contrast to the elementary modes have received little attention so far. We show how these modes can be efficiently excited using a resonant local excitation scheme and sensitively analyzed by a Fourier transformation of the detected time evolution of the axial density profile. We study the temperature dependence of the mode frequencies across the superfluid phase transition. The behavior is qualitatively different from the elementary modes, where the mode frequencies are independent of the temperature as long as the gas stays in the hydrodynamic regime. Our results are compared to theoretical predictions based on Landau's two-fluid theory and available experimental knowledge of the equation of state. The comparison shows excellent agreement and thus both represents a sensitive test for the validity of the theoretical approach and provides an independent test of the equation of state. The present results obtained on modes of first-sound character represent benchmarks for the observation of second-sound propagation and corresponding oscillation modes.


title: Complementarity of direct and indirect Dark Matter detection experiments

abstract: We investigate the prospects for reconstructing the mass, spin-independent and spin-dependent cross-sections of Dark Matter particles with a combination of future direct detection experiments such as XENON1T, and the IceCube neutrino telescope in the 86-string configuration including the DeepCore array. We quantify the degree of complementarity between the two experiments by adopting realistic values for their exposure, energy threshold and resolution. Starting from benchmark models arising from a supersymmetric model with 25 free parameters, we show that despite the stringent constraints set by the run with 79 strings, IceCube can help break the degeneracies in the Dark Matter cross-section parameter space, even in the unfortunate case where it fails to discover high energy neutrinos from the Sun. We also discuss how the reconstruction of the Dark Matter particle parameters from the combined data sets is affected by the uncertainties associated with the nuclear structure of the target material in case of spin-dependent scattering and those associated with astrophysical quantities such as the Dark Matter density and velocity distribution.


title: Study of piN->pipiN processes on polarized targets: Quantum environment and its dephasing interaction with particle scattering

abstract: Unitary evolution law describes isolated particle scattering processes in an empty Minkowski spacetime. We put forward a hypothesis that the physical Universe includes a quantum environment that interacts with particle scattering processes. While the scattering process is governed by the S-matrix the interaction evolves the produced state rho_f(S) to observed state rho_f(O). To be consistent with the Standard Model this new interaction must be a pure dephasing interaction governed by a non-unitary evolution law modifying the phases of the amplitudes. We present the first test of the unitary evolution law in particle scattering. The unitary evolution law evolves pure initial states into pure final states in exclusive processes. This fact leads to 9 independent constraints on 16 components of angular intensities in piN->pipiN processes. When expressed in terms of P-parity conserving transversity amplitudes all 9 constraints are identities provided a single constrain on the transversity amplitudes holds true. The constraint implies that the relative phases between transverity amplitudes of the same naturality and transversity must be 0 or +/- pi. All previous amplitude analyses of the piN->pipiN processes found non-unitary relative phases in an apparent violation of the unitary evolution law. The contrast between the predicted and the observed relative phases presents an unambigous evidence for the existence of the quantum environment and its pure dephasing interaction with particle scattering processes.


title: Properties and composition of the $f_0(500)$ resonance

abstract: In this talk we review our recent developments on the understanding of the nature of the f_0(500) resonance---or sigma meson---coming from the N_c expansion, dispersion relations with Chiral Perturbation Theory, as well as finite energy sum rules and semi-local duality.


title: Boundedness of a class of bi-parameter square functions in the upper half-space

abstract: We consider a class of bi-parameter kernels and related square functions in the upper half-space, and give an efficient proof of a boundedness criterion for them. The proof uses modern probabilistic averaging methods and is based on controlling double Whitney averages over good cubes.


title: Carbon Impurities on Graphene Synthesized by Chemical Vapor Deposition on Platinum

abstract: We report nanocrystalline carbon impurities coexisting with graphene synthesized via chemical vapor deposition (CVD) on platinum. We observe micron-size island-like impurity layers, which can easily be mistaken for second graphene layers in optical microscopy or secondary electron microscopy (SEM). The island orientation depends on the crystalline orientation of the Pt, as shown by electron backscatter diffraction(EBSD), indicating growth of amorphous carbon below graphene. Dark-field TEM indicates that in addition to uniform single-crystal graphene, our sample is decorated with nanocrystalline carbon impurities with a spatially inhomogeneous distribution. Raman spectra show a large D peak, however electrical characterization shows high mobility (~6,000 cm2/Vs), indicating a limitation for Raman spectroscopy in characterizing the electronic quality of graphene.


title: Spectral gap for the Kac model with hard sphere collisions

abstract: We prove the analog of the Kac conjecture for hard sphere collisions


title: Simulation Study of Ge p-type Nanowire Schottky Barrier MOSFETs

abstract: Ambipolar currents in Germanium p-type nanowire Schottky barrier MOSFETs were calculated fully quantum-mechanically by using the multi-band k.p method and the non-equilibrium Green's function approach. We investigated the performance of devices with 100, 110, and 111 channel orientations, respectively, by varying the nanowire width, Schottky barrier height, and EOT. The 111 oriented devices showed the best performance. In comparison to Si as a channel material, Ge is more desirable because more current can be injected into the channel, resulting in steeper subthreshold slope and higher on-state current. Our calculations predict that the Ge channel devices should have an EOT gain of 0.2-0.5 nm over Si channel devices.


title: Linear relation for wind-blown bubble sizes of main-sequence OB stars in a molecular environment and implication for supernova progenitors

abstract: We find a linear relationship between the size of a massive star's main-sequence bubble in a molecular environment and the star's initial mass: R_b \approx 1.22M/Msun - 9.16 pc, assuming a constant interclump pressure. Since stars in the mass range of 8 to 25-30 Msun will end their evolution in the red supergiant phase without launching a Wolf-Rayet wind, the main-sequence wind-blown bubbles are mainly responsible for the extent of molecular gas cavities, while the effect of the photoionization is comparatively small. This linear relation can thus be used to infer the masses of the massive star progenitors of supernova remnants (SNRs) that are discovered to evolve in molecular cavities, while few other means are available for inferring properties of SNR progenitors. We have used this method to estimate the initial masses of the progenitors of eight SNRs: Kes 69, Kes 75, Kes 78, 3C 396, 3C 397, HC 40, Vela, and RX J1713-3946.


title: The Dark Matter Halo of the Milky Way, AD 2013

abstract: We derive the mass model of the Milky Way (MW) using a cored dark matter (DM) halo profile and recent data. The method used consists in fitting a spherically symmetric model of the Galaxy with a Burkert DM halo profile to available data: MW terminal velocities in the region inside the solar circle, circular velocity as recently estimated from maser star forming regions at intermediate radii, and velocity dispersions of stellar halo tracers for the outermost Galactic region. The latter are reproduced by integrating the Jeans equation for every modeled mass distribution, and by allowing for different velocity anisotropies for different tracer populations. For comparison we also consider a Navarro-Frenk-White profile. We find that the cored profile is the preferred one, with a shallow central density of rho_H~4x10^7M_s/kpc^3 and a large core radius R_H~10 kpc, as observed in external spirals and in agreement with the mass model underlying the Universal Rotation Curve of spirals. We describe also the derived model uncertainties, which are crucially driven by the poorly constrained velocity dispersion anisotropies of halo tracers. The emerging cored DM distribution has implications for the DM annihilation angular profile, which is much less boosted in the Galactic center direction with respect to the case of the standard \Lambda CDM, NFW profile. Using the derived uncertainties we discuss finally the limitations and prospects to discriminate between cored and cusped DM profile with a possible observed diffuse DM annihilation signal. The present mass model aims to characterize the present-day description of the distribution of matter in our Galaxy, which is needed to frame current crucial issues of Cosmology, Astrophysics and Elementary Particles.


title: Tomographic reconstruction of molecular orbitals with twofold mirror antisymmetry: overcoming the nodal plane problem

abstract: We propose a new method to overcome the nodal plane problem for the tomographic reconstruction of molecular orbitals with twofold mirror antisymmetry in the length form based on high-order harmonic generation. It is shown that, by carrying out the reconstruction procedure in the rotating laboratory frame using the component of the dipole moment parallel to the electron recollision direction, the nodal plane problem is avoided and the target orbital is successfully reconstructed. Moreover, it is found that, the proposed method can completely avoid the additional artificial lobes found in the results from the traditional method in the velocity form and therefore provides a more reliable reproduction of the target orbital.


title: Alloying effect on the ideal tensile strength of ferromagnetic and paramagnetic bcc iron

abstract: Using \emph{ab initio} alloy theory formulated within the exact muffin-tin orbitals theory in combination with the coherent potential approximation, we investigate the ideal tensile strength (ITS) in the $[001]$ direction of bcc ferro-/ferrimagnetic (FFM) and paramagnetic (PM) Fe$_{1-x}M_{x}$ ($M=$ Al, V, Cr, Mn, Co, or Ni) random alloys. The ITS of ferromagnetic (FM) Fe is calculated to be $12.6$\,GPa, in agreement with available data, while the PM phase turns out to posses a significantly lower value of $0.7\,$GPa. Alloyed to the FM matrix, we predict that V, Cr, and Co increase the ITS of Fe, while Al and Ni decrease it. Manganese yields a weak non-monotonic alloying behavior. In comparison to FM Fe, the alloying effect of Al and Co to PM Fe is reversed and the relative magnitude of the ITS can be altered more strongly for any of the solutes. All considered binaries are intrinsically brittle and fail by cleavage of the $(001)$ planes under uniaxial tensile loading in both magnetic phases. We show that the previously established ITS model based on structural energy differences proves successful in the PM Fe-alloys but is of limited use in the case of the FFM Fe-based alloys. The different performance is attributed to the specific interplay between magnetism and volume change in response to uniaxial tension. We establish a strong correlation between the compositional effect on the ITS and the one on the shear elastic constant $C'$ for the PM alloys and briefly discuss the relation between hardenability and the ITS.


title: Non-Stationarity in Financial Time Series and Generic Features

abstract: Financial markets are prominent examples for highly non-stationary systems. Sample averaged observables such as variances and correlation coefficients strongly depend on the time window in which they are evaluated. This implies severe limitations for approaches in the spirit of standard equilibrium statistical mechanics and thermodynamics. Nevertheless, we show that there are similar generic features which we uncover in the empirical return distributions for whole markets. We explain our findings by setting up a random matrix model.


title: Bounds on the Principal Frequency of the $p$-Laplacian

abstract: This paper is concerned with the lower bounds for the principal frequency of the $p$-Laplacian on $n$-dimensional Euclidean domains. In particular, we extend the classical results involving the inner radius of a domain and the first eigenvalue of the Laplace operator to the case $p\neq2$. As a by-product, we obtain a lower bound on the size of the nodal set of an eigenfunction of the $p$-Laplacian on planar domains.


title: Intermittency in relation with 1/f noise and stochastic differential equations

abstract: One of the models of intermittency is on-off intermittency, arising due to time-dependent forcing of a bifurcation parameter through a bifurcation point. For on-off intermittency the power spectral density of the time-dependent deviation from the invariant subspace in a low frequency region exhibits 1/\sqrt{f} power-law noise. Here we investigate a mechanism of intermittency, similar to the on-off intermittency, occurring in nonlinear dynamical systems with invariant subspace. In contrast to the on-off intermittency, we consider the case where the transverse Lyapunov exponent is zero. We show that for such nonlinear dynamical systems the power spectral density of the deviation from the invariant subspace can have 1/f^\beta form in a wide range of frequencies. That is, such nonlinear systems exhibit 1/f noise. The connection with the stochastic differential equations generating 1/f^\beta noise is established and analyzed, as well.


title: Leggett-Garg Inequalities

abstract: In contrast to the spatial Bell's inequalities, which probe entanglement between spatially-separated systems, the Leggett-Garg inequalities test the correlations of a single system measured at different times. Violation of a genuine Leggett-Garg test implies either the absence of a realistic description of the system or the impossibility of measuring the system without disturbing it. Quantum mechanics violates the inequalities on both accounts and the original motivation for these inequalities was as a test for quantum coherence in macroscopic systems. The last few years has seen a number of experimental tests and violations of these inequalities in a variety of microscopic systems such as superconducting qubits, nuclear spins, and photons. In this article, we provide an introduction to the Leggett-Garg inequalities and review these latest experimental developments. We discuss important topics such as the significance of the non-invasive measurability assumption, the clumsiness loophole, and the role of weak measurements. Also covered are some recent theoretical proposals for the application of Leggett-Garg inequalities in quantum transport, quantum biology and nano-mechanical systems.


title: Characterization of fiducial states in prime dimensions via mutually unbiased bases

abstract: In this work we present some new properties of fiducial states in prime dimensions. We parameterize fiducial operators on eigenvectors bases of displacement operators, which allows us to find a manifold $\Omega$ of hermitian operators satisfying $\mathrm{Tr}(\rho)=\mathrm{Tr}(\rho^2)=1$ for any $\rho$ in $\Omega$. This manifold contains the complete set of fiducial pure states in every prime dimension. Indeed, any quantum state $\rho\geq0$ belonging to $\Omega$ is a fiducial pure state. Also, we present an upper bound for every probability associated to mutually unbiased decomposition of fiducial states. This bound allows us to prove that every fiducial state tends to be mutually unbiased to the maximal set of mutually unbiased bases in higher prime dimensions. Finally, we show that any $\rho$ in $\Omega$ minimizes an entropic uncertainty principle related to the second order R\'enyi entropy.


title: Polish G-spaces and continuous logic

abstract: We analyse logic actions of Polish groups which arise in continuous logic. We extend the generalised model theory of H.Becker to the case of Polish G-spaces when G is an arbitrary Polish group.


title: Properties of dense cores in clustered massive star-forming regions at high angular resolution

abstract: We aim at characterising dense cores in the clustered environments associated with massive star-forming regions. For this, we present an uniform analysis of VLA NH3(1,1) and (2,2) observations towards a sample of 15 massive star-forming regions, where we identify a total of 73 cores, classify them as protostellar, quiescent starless, or perturbed starless, and derive some physical properties. The average sizes and ammonia column densities are 0.06 pc and 10^15 cm^-2, respectively, with no significant differences between the starless and protostellar cores, while the linewidth and rotational temperature of quiescent starless cores are smaller, 1.0 km/s and 16 K, than those of protostellar (1.8 km/s, 21 K), and perturbed starless (1.4 km/s, 19 K) cores. Such linewidths and temperatures for these quiescent starless cores in the surroundings of massive stars are still significantly larger than the typical values measured in starless cores of low-mass star-forming regions, implying an important non-thermal component. We confirm at high angular resolutions the correlations previously found with single-dish telescopes between the linewidth, the temperature of the cores, and the bolometric luminosity. In addition, we find a correlation between the temperature of each core and the incident flux from the most massive star in the cluster, suggesting that the large temperatures measured in the starless cores of our sample could be due to heating from the nearby massive star. A simple virial equilibrium analysis seems to suggest a scenario of a self-similar, self-graviting, turbulent, virialised hierarchy of structures from clumps (0.1-10 pc) to cores (0.05 pc). A closer inspection of the dynamical state taking into account external pressure effects, reveal that relatively strong magnetic field support may be needed to stabilise the cores, or that they are unstable and thus on the verge of collapse.


title: On instanton homology of corks W_n

abstract: We consider a family of corks, denoted $W_n$, constructed by Akbulut and Yasui. Each cork gives rise to an exotic structure on a smooth 4-manifold via a twist $\tau$ on its boundary $\Sigma_n = \partial W_n$. We compute the instanton Floer homology of $\Sigma_n$ and show that the map induced on the instanton Floer homology by $\tau: \Sigma_n \rightarrow \Sigma_n$ is non-trivial.


title: Photon counting by inertial and accelerated detectors

abstract: Bases of exactly localized Minkowski and Rindler states on spacelike hypersurfaces are used to describe inertial and accelerated photon counting devices. It is found that the spacetime coordinates of photons absorbed by a pair of counteraccelerating detectors in causally disconnected Rindler wedges are correlated. If a photon is absorbed by a single accelerated detector the Minkowski vacuum collapses to a state containing at least one photon and that photon can be absorbed by an inertial detector.


title: Properties of pulsed-laser deposited nanocomposite NiO:Au thin films for gas sensing applications

abstract: Nanocomposite thin films formed by gold nanoparticles embedded in a nickel oxide matrix have been synthesized by a new variation of the pulsed laser deposition technique. Two actively synchronized laser sources, a KrF excimer laser at 248 nm and an Nd:YAG laser at 355 nm, were used for the simultaneous ablation of nickel and gold targets in oxygen ambient. The structural, morphological, and electrical properties of the obtained nanocomposite films were investigated in relation to the fluence of the laser irradiating the gold target. The nanocomposite thin films were tested as electrochemical hydrogen sensors. It was found that the addition of the gold nanoparticles increased the sensor sensitivity significantly.


title: MinMax-Profiles: A Unifying View of Common Intervals, Nested Common Intervals and Conserved Intervals of K Permutations

abstract: Common intervals of K permutations over the same set of n elements were firstly investigated by T. Uno and M.Yagiura (Algorithmica, 26:290:309, 2000), who proposed an efficient algorithm to find common intervals when K=2. Several particular classes of intervals have been defined since then, e.g. conserved intervals and nested common intervals, with applications mainly in genome comparison. Each such class, including common intervals, led to the development of a specific algorithmic approach for K=2, and - except for nested common intervals - for its extension to an arbitrary K. In this paper, we propose a common and efficient algorithmic framework for finding different types of common intervals in a set P of K permutations, with arbitrary K. Our generic algorithm is based on a global representation of the information stored in P, called the MinMax-profile of P, and an efficient data structure, called an LR-stack, that we introduce here. We show that common intervals (and their subclasses of irreducible common intervals and same-sign common intervals), nested common intervals (and their subclass of maximal nested common intervals) as well as conserved intervals (and their subclass of irreducible conserved intervals) may be obtained by appropriately setting the parameters of our algorithm in each case. All the resulting algorithms run in O(Kn+N)-time and need O(n) additional space, where N is the number of solutions. The algorithms for nested common intervals and maximal nested common intervals are new for K>2, in the sense that no other algorithm has been given so far to solve the problem with the same complexity, or better. The other algorithms are as efficient as the best known algorithms.


title: Single-electron Double Quantum Dot Dipole-coupled to a Single Photonic Mode

abstract: We have realized a hybrid solid-state quantum device in which a single-electron semiconductor double quantum dot is dipole coupled to a superconducting microwave frequency transmission line resonator. The dipolar interaction between the two entities manifests itself via dispersive and dissipative effects observed as frequency shifts and linewidth broadenings of the photonic mode respectively. A Jaynes-Cummings Hamiltonian master equation calculation is used to model the combined system response and allows for determining both the coherence properties of the double quantum dot and its interdot tunnel coupling with high accuracy. The value and uncertainty of the tunnel coupling extracted from the microwave read-out technique are compared to a standard quantum point contact charge detection analysis. The two techniques are found to be consistent with a superior precision for the microwave experiment when tunneling rates approach the resonator eigenfrequency. Decoherence properties of the double dot are further investigated as a function of the number of electrons inside the dots. They are found to be similar in the single-electron and many-electron regimes suggesting that the density of the confinement energy spectrum plays a minor role in the decoherence rate of the system under investigation.


title: Fourier coefficients of invariant random fields on homogeneous spaces of compact groups

abstract: Let $T$ be a random field invariant under the action of a compact group $G$. In the line of previous work we investigate properties of the Fourier coefficients as orthogonality and Gaussianity. In particular we give conditions ensuring that independence of the random Fourier coefficients implies Gaussianity. As a consequence, in general, it is not possible to simulate a non-Gaussian invariant random field through its Fourier expansion using independent coefficients.


title: Instability crossover of helical shear flow in segregated Bose-Einstein condensates

abstract: We theoretically study the instability of helical shear flows, in which one fluid component flows along the vortex core of the other, in phase-separated two-component Bose-Einstein condensates at zero temperature. The helical shear flows are hydrodynamically classified into two regimes: (1) a helical vortex sheet, where the vorticity is localized on the cylindrical interface and the stability is described by an effective theory for ripple modes, and (2) a core-flow vortex with the vorticity distributed in the vicinity of the vortex core, where the instability phenomena are dominated only by the vortex-characteristic modes: Kelvin and varicose modes. The helical shear-flow instability shows remarkable competition among different types of instabilities in the crossover regime between the two regimes.


title: Locally normal subgroups of totally disconnected groups. Part I: General theory

abstract: Let G be a totally disconnected, locally compact group. A closed subgroup of G is locally normal if its normaliser is open in G. We begin an investigation of the structure of the family of closed locally normal subgroups of G. Modulo commensurability, this family forms a modular lattice, called the structure lattice of G. We show that G admits a canonical maximal quotient H for which the quasi-centre and the abelian locally normal subgroups are trivial. In this situation the structure lattice of H has a canonical subset called the centraliser lattice, forming a Boolean algebra whose elements correspond to centralisers of locally normal subgroups. If H is second-countable and acts faithfully on its centraliser lattice, we show that the topology of H is determined by its algebraic structure (and thus invariant by every abstract group automomorphism), and also that the action on the Stone space of the centraliser lattice is universal for a class of actions on profinite spaces. Most of the material is developed in the more general framework of Hecke pairs.


title: A theoretical framework of vorticity dynamics for two dimensional flows on fixed smooth surfaces

abstract: Two dimensional flows on fixed smooth surfaces have been studied in the point of view of vorticity dynamics. Firstly, the related deformation theory including kinematics and kinetics is developed. Secondly, some primary relations in vorticity dynamics have been extended to two dimensional flows on fixed smooth surface through which a theoretical framework of vorticity dynamics have been set up, mainly including governing equation of vorticity, Lagrange theorem on vorticity, Caswell formula on strain tensor and stream function & vorticity algorithm with pressure Possion equation for incompressible flows. The newly developed theory is characterized by the appearances of surface curvatures in some primary relations and governing equations.


title: Multiplicative sub-Hodge structures of conjugate varieties

abstract: For any subfield K of the complex numbers which is not contained in an imaginary quadratic number field, we construct conjugate varieties whose algebras of K-rational (p,p)-classes are not isomorphic. This compares to the Hodge conjecture which predicts isomorphisms when K is contained in an imaginary quadratic number field; additionally, it shows that the complex Hodge structure on the complex cohomology algebra is not invariant under the Aut(\C)-action on varieties. In our proofs, we find simply connected conjugate varieties whose multilinear intersection forms on their second real cohomology groups are not (weakly) isomorphic. Using these, we detect non-homeomorphic conjugate varieties for any fundamental group and in any birational equivalence class of dimension at least 10.


title: Removability of time-dependent singularities in the heat equation

abstract: We consider solutions of the linear heat equation with time-dependent singularities. It is shown that if a singularity is weaker than the order of the fundamental solution of the Laplace equation, then it is removable. We also consider the removability of higher dimensional singular sets. An example of a non-removable singularity is given, which implies the optimality of the condition for removability.


title: AC loss calculation in coated conductor coils with a large number of turns

abstract: For superconducting coils with many turns, it is widely believed that the magnetic field from magnetization currents is negligible compared to the one generated by the whole coil. This article shows that this is not true for coils with a considerably large number of turns (up to thousands). We introduce a method to accurately calculate the AC loss in coils with virtually any number of turns that takes the magnetization currents into account. The current density and AC loss is analyzed for two windings made of coated conductor consisting of 32 pancake coils totaling 768 and 6400 turns, respectively.


title: Assignment Games with Conflicts: Price of Total Anarchy and Convergence Results via Semi-Smoothness

abstract: We study assignment games in which jobs select machines, and in which certain pairs of jobs may conflict, which is to say they may incur an additional cost when they are both assigned to the same machine, beyond that associated with the increase in load. Questions regarding such interactions apply beyond allocating jobs to machines: when people in a social network choose to align themselves with a group or party, they typically do so based upon not only the inherent quality of that group, but also who amongst their friends (or enemies) choose that group as well. We show how semi-smoothness, a recently introduced generalization of smoothness, is necessary to find tight or near-tight bounds on the price of total anarchy, and thus on the quality of correlated and Nash equilibria, for several natural job-assignment games with interacting jobs. For most cases, our bounds on the price of total anarchy are either exactly 2 or approach 2. We also prove new convergence results implied by semi-smoothness for our games. Finally we consider coalitional deviations, and prove results about the existence and quality of Strong equilibrium.


title: The Least Degraded and the Least Upgraded Channel with respect to a Channel Family

abstract: Given a family of binary-input memoryless output-symmetric (BMS) channels having a fixed capacity, we derive the BMS channel having the highest (resp. lowest) capacity among all channels that are degraded (resp. upgraded) with respect to the whole family. We give an explicit characterization of this channel as well as an explicit formula for the capacity of this channel.


title: Highly Eccentric Kozai Mechanism and Gravitational-Wave Observation for Neutron Star Binaries

abstract: The Kozai mechanism for a hierarchical triple system could reduce the merger time of inner eccentric binary emitting gravitational waves (GWs), and has been qualitatively explained with the secular theory that is derived by averaging short-term orbital revolutions. However, with the secular theory, the minimum value of the inner pericenter distance could be excessively limited by the averaging operation. Compared with traditional predictions, the actual evolution of an eccentric inner binary could be accompanied by (i) a higher characteristic frequency of the pulse-like GWs around its pericenter passages, and (ii) a larger residual eccentricity at its final inspiral phase. These findings would be important for GW astronomy with the forthcoming advanced detectors.


title: Blow up and Blur constructions in Algebraic Logic

abstract: The idea in the title is to blow up a finite structure, replacing each 'colour or atom' by infinitely many, using blurs to represent the resulting term algebra, but the blurs are not enough to blur the structure of the finite structure in the complex algebra. Then, the latter cannot be representable due to a {finite- infinite} contradiction. This structure can be a finite clique in a graph or a finite relation algebra or a finite cylindric algebra. This theme gives examples of weakly representable atom structures that are not strongly representable. Many constructions existing in the literature are placed in a rigorous way in such a framework, properly defined. This is the essence too of construction of Monk like-algebras, one constructs graphs with finite colouring (finitely many blurs), converging to one with infinitely many, so that the original algebra is also blurred at the complex algebra level, and the term algebra is completey representable, yielding a representation of its completion the complex algebra. A reverse of this process exists in the literature, it builds algebras with infinite blurs converging to one with finite blurs. This idea due to Hirsch and Hodkinson, uses probabilistic methods of Erdos to construct a sequence of graphs with infinite chromatic number one that is 2 colourable. This construction, which works for both relation and cylindric algebras, further shows that the class of strongly representable atom structures is not elementary.


title: A composition theorem for bisimulation functions

abstract: The standard engineering approach to modelling of complex systems is highly compositional. In order to be able to understand (or to control) the behavior of a complex dynamical systems, it is often desirable, if not necessary, to view this system as an interconnection of smaller interacting subsystems, each of these subsystems having its own functionalities. In this paper, we propose a compositional approach to the computation of bisimulation functions for dynamical systems. Bisimulation functions are quantitative generalizations of the classical bisimulation relations. They have been shown useful for simulation-based verification or for the computation of approximate symbolic abstractions of dynamical systems. In this technical note, we present a constructive result for the composition of bisimulation functions. For a complex dynamical system consisting of several interconnected subsystems, it allows us to compute a bisimulation function from the knowledge of a bisimulation function for each of the subsystem.


title: Uncovering multiple Wolf-Rayet star-clusters and the ionized ISM in Mrk178: the closest metal-poor Wolf-Rayet HII galaxy

abstract: New integral field spectroscopy (IFS) has been obtained for the nearby metal-poor WR galaxy Mrk178 to examine the spatial correlation between its WR stars and the neighbouring ionized ISM. The strength of the broad WR features and its low metallicity make Mrk178 an intriguing object. We have detected the blue and red WR bumps in different locations across the FOV (~ 300 pc x 230 pc) in Mrk178. The study of the WR content has been extended, for the first time, beyond its brightest star-forming knot uncovering new WR star-clusters. Using SMC/LMC-template WR stars we empirically estimate a minimum of ~ 20 WR stars within the region sampled. Maps of the spatial distribution of the emission-lines and of the physical-chemical properties of the ionized ISM have been created and analyzed. Here we refine the statistical methodology by Perez-Montero et al.(2011) to probe the presence of variations in the ISM properties. An error-weighted mean of 12+log(O/H)=7.72 +/- 0.01 is taken as the representative oxygen abundance for Mrk178. A localized N and He enrichment, spatially correlated with WR stars, is suggested by this analysis. Nebular HeII4686 emission is shown to be spatially extended reaching well beyond the location of the WR stars. This spatial offset between WRs and HeII emission can be explained based on the mechanical energy input into the ISM by the WR star winds, and does not rule out WR stars as the HeII ionization source. We study systematic aperture effects on the detection and measurement of the WR features, using SDSS spectra combined with the power of IFS. In this regard, the importance of targeting low metallicity nearby systems is discussed.


title: A beyond-mean-field example with zero-range effective interactions in infinite nuclear matter

abstract: Zero-range effective interactions are commonly used in nuclear physics to describe a many-body system in the mean-field framework. If they are employed in beyond- mean-field models, an artificial ultraviolet divergence is generated by the zero-range of the interaction. We analyze this problem in symmetric nuclear matter with the t0-t3 Skyrme model. In this case, the second-order energy correction diverges linearly with the momentum cutoff. After that, we extend the work to the case of nuclear matter with the full Skyrme interaction. A strong divergence related to the velocity-dependent terms of the interaction is obtained. Moreover, a global fit can be simultaneously performed for both symmetric and nuclear matter with different neutron-to-proton ratios. These results pave the way for applications to finite nuclei in the framework of beyond mean-field theories.


title: Option pricing, Bayes risks and Applications

abstract: A statistical decision problem is hidden in the core of option pricing. A simple form for the price C of a European call option is obtained via the minimum Bayes risk, R_B, of a 2-parameter estimation problem, thus justifying calling C Bayes (B-)price. The result provides new insight in option pricing, among others obtaining C for some stock-price models using the underlying probability instead of the risk neutral probability and giving R_B an economic interpretation. When logarithmic stock prices follow Brownian motion, discrete normal mixture and hyperbolic Levy motion the obtained B-prices are "fair" prices. A new expression for the price of American call option is also obtained and statistical modeling of R_B can be used when pricing European and American call options.


title: Mass-Radius Relationships for Very Low Mass Gaseous Planets

abstract: Recently, the Kepler spacecraft has detected a sizable aggregate of objects, characterized by giant-planet-like radii and modest levels of stellar irradiation. With the exception of a handful of objects, the physical nature, and specifically the average densities, of these bodies remain unknown. Here, we propose that the detected giant planet radii may partially belong to planets somewhat less massive than Uranus and Neptune. Accordingly, in this work, we seek to identify a physically sound upper limit to planetary radii at low masses and moderate equilibrium temperatures. As a guiding example, we analyze the interior structure of the Neptune-mass planet Kepler-30d and show that it is acutely deficient in heavy elements, especially compared with its solar system counterparts. Subsequently, we perform numerical simulations of planetary thermal evolution and in agreement with previous studies, show that generally, 10 - 20 Earth mass, multi-billion year old planets, composed of high density cores and extended H/He envelopes can have radii that firmly reside in the giant planet range. We subject our results to stability criteria based on extreme ultraviolet radiation, as well as Roche-lobe overflow driven mass-loss and construct mass-radius relationships for the considered objects. We conclude by discussing observational avenues that may be used to confirm or repudiate the existence of putative low mass, gas-dominated planets.


title: A Partition Temperley-Lieb Algebra

abstract: We introduce a generalization of the Temperley--Lieb algebra. This generalization is defined by adding certain relations to the algebra of braids and ties. A specialization of this last algebra corresponds to one small Ramified Partition algebra, this fact is the motivation for the name of our generalization.


title: Interactive POMDP Lite: Towards Practical Planning to Predict and Exploit Intentions for Interacting with Self-Interested Agents

abstract: A key challenge in non-cooperative multi-agent systems is that of developing efficient planning algorithms for intelligent agents to interact and perform effectively among boundedly rational, self-interested agents (e.g., humans). The practicality of existing works addressing this challenge is being undermined due to either the restrictive assumptions of the other agents' behavior, the failure in accounting for their rationality, or the prohibitively expensive cost of modeling and predicting their intentions. To boost the practicality of research in this field, we investigate how intention prediction can be efficiently exploited and made practical in planning, thereby leading to efficient intention-aware planning frameworks capable of predicting the intentions of other agents and acting optimally with respect to their predicted intentions. We show that the performance losses incurred by the resulting planning policies are linearly bounded by the error of intention prediction. Empirical evaluations through a series of stochastic games demonstrate that our policies can achieve better and more robust performance than the state-of-the-art algorithms.


title: Infinitely Log-monotonic Combinatorial Sequences

abstract: We introduce the notion of infinitely log-monotonic sequences. By establishing a connection between completely monotonic functions and infinitely log-monotonic sequences, we show that the sequences of the Bernoulli numbers, the Catalan numbers and the central binomial coefficients are infinitely log-monotonic. In particular, if a sequence $\{a_n\}_{n\geq 0}$ is log-monotonic of order two, then it is ratio log-concave in the sense that the sequence $\{a_{n+1}/a_{n}\}_{n\geq 0}$ is log-concave. Furthermore, we prove that if a sequence $\{a_n\}_{n\geq k}$ is ratio log-concave, then the sequence $\{\sqrt[n]{a_n}\}_{n\geq k}$ is strictly log-concave subject to a certain initial condition. As consequences, we show that the sequences of the derangement numbers, the Motzkin numbers, the Fine numbers, the central Delannoy numbers, the numbers of tree-like polyhexes and the Domb numbers are ratio log-concave. For the case of the Domb numbers $D_n$, we confirm a conjecture of Sun on the log-concavity of the sequence $\{\sqrt[n]{D_n}\}_{n\geq 1}$.


title: Security of Decoy-State Protocols for General Photon-Number-Splitting Attacks

abstract: Decoy-state protocols provide a way to defeat photon-number splitting attacks in quantum cryptography implemented with weak coherent pulses. We point out that previous security analyses of such protocols relied on assumptions about eavesdropping attacks that considered treating each pulse equally and independently. We give an example to demonstrate that, without such assumptions, the security parameters of previous decoy-state implementations could be worse than the ones claimed. Next we consider more general photon-number splitting attacks, which correlate different pulses, and give an estimation procedure for the number of single photon signals with rigorous security statements. The impact of our result is that previous analyses of the number of times a decoy-state quantum cryptographic system can be reused before it makes a weak key must be revised.


title: Elastic and Proton-Dissociative Photoproduction of J/psi Mesons at HERA

abstract: Cross sections for elastic and proton-dissociative photoproduction of J/psi mesons are measured with the H1 detector in positron-proton collisions at HERA. The data were collected at $ep$ centre-of-mass energies sqrt{s} approx 318 GeV and sqrt{s} approx 225 GeV, corresponding to integrated luminosities of L = 130 pb^{-1} and L = 10.8 pb^{-1}, respectively. The cross sections are measured as a function of the photon-proton centre-of-mass energy in the range 25< Wgp < 110 GeV. Differential cross sections $\mathrm{d}\sigma / \mathrm{d}t$, where $t$ is the squared four-momentum transfer at the proton vertex, are measured in the range $|t| < 1.2 \, \gevsq$ for the elastic process and $|t| < 8 \, \gevsq$ for proton dissociation. The results are compared to other measurements. The $\Wgp$ and $t$-dependences are parametrised using phenomenological fits.


title: Demonstrating that chlorine dioxide is a size-selective antimicrobial agent and high purity ClO2 can be used as a local antiseptic

abstract: Background / Aims ClO2, the so-called "ideal biocide", could also be applied as an antiseptic if it was understood why the solution's rapid killing of microbes does not cause any harm to humans or to animals. Our aim was to study both theoretically and experimentally its reaction-diffusion mechanism to find the source of that selectivity. Methods ClO2 permeation measurements through protein membranes were performed and the time delay of ClO2 transport due to reaction and diffusion was determined. To calculate ClO2 penetration depths and estimate bacterial killing times, approximate solutions of the reaction-diffusion equation were derived. Additionally, as a preliminary test, three patients with infected wounds were treated with a 300 ppm high purity ClO2 solution and the healing process was documented. Results The rate law of the reaction-diffusion model predicts that the killing time is proportional to the square of the characteristic size (e.g. diameter) of a body, thus, small ones will be killed extremely fast. For example, the killing time for a bacterium is on the order of milliseconds in a 300 ppm ClO2 solution. Thus, the few minutes of contact time (owing to the volatility of ClO2) is quite enough to kill all bacteria, but short enough to keep ClO2 penetration into the living tissues safely below 0.1 mm, minimizing cytotoxic effects. Pictures of successful wound healings confirm these considerations. Various properties of ClO2, advantageous for an antiseptic, are also discussed. Most importantly, bacteria are not able to develop resistance against ClO2 as it reacts with biological thiols which play a vital role in all living organisms. Conclusion Selectivity of ClO2 between humans and bacteria is based not on their different biochemistry, but on their different size. Preliminary clinical results encourage further research with this promising local antiseptic.


title: Dequantizing read-once quantum formulas

abstract: Quantum formulas, defined by Yao [FOCS '93], are the quantum analogs of classical formulas, i.e., classical circuits in which all gates have fanout one. We show that any read-once quantum formula over a gate set that contains all single-qubit gates is equivalent to a read-once classical formula of the same size and depth over an analogous classical gate set. For example, any read-once quantum formula over Toffoli and single-qubit gates is equivalent to a read-once classical formula over Toffoli and NOT gates. We then show that the equivalence does not hold if the read-once restriction is removed. To show the power of quantum formulas without the read-once restriction, we define a new model of computation called the one-qubit model and show that it can compute all boolean functions. This model may also be of independent interest.


title: The Hasse principle for systems of diagonal cubic forms

abstract: We establish the Hasse Principle for systems of r simultaneous diagonal cubic equations whenever the number of variables exceeds 6r and the associated coefficient matrix contains no singular r x r submatrix, thereby achieving the theoretical limit of the circle method for such systems.


title: A Primordial Origin for Misalignments Between Stellar Spin Axes and Planetary Orbits

abstract: The presence of gaseous giant planets whose orbits lie in extreme proximity to their host stars ("hot Jupiters"), can largely be accounted for by planetary migration, associated with viscous evolution of proto-planetary nebulae. Recently, observations of the Rossiter-McLaughlin effect during planetary transits have revealed that a considerable fraction of detected hot Jupiters reside on orbits that are misaligned with respect to the spin-axes of their host stars. This observational fact has cast significant doubts on the importance of disk-driven migration as a mechanism for production of hot Jupiters, thereby reestablishing the origins of close-in planetary orbits as an open question. Here we show that misaligned orbits can be a natural consequence of disk migration. Our argument rests on an enhanced abundance of binary stellar companions in star formation environments, whose orbital plane is uncorrelated with the spin axes of the individual stars. We analyze the dynamical evolution of idealized proto-planetary disks under perturbations from massive distant bodies and demonstrate that the resulting gravitational torques act to misalign the orbital planes of the disks relative to the spin poles of their host stars. As a result, we predict that in the absence of strong disk-host star angular momentum coupling or sufficient dissipation that acts to realign the stellar spin axis and the planetary orbits, the fraction of planetary systems (including systems of hot Neptunes and Super-Earths), whose angular momentum vectors are misaligned with respect to their host-stars should be commensurate with the rate of primordial stellar multiplicity.


title: Chiral Y-junction of Luttinger liquid wires at strong coupling: fermionic representation

abstract: We calculate the conductances of a three-terminal junction set-up of spinless Luttinger liquid wires threaded by a magnetic flux, allowing for different interaction strength g_3 != g in the third wire. We employ the fermionic representation in the scattering state picture, allowing for a direct calculation of the linear response conductances, without the need of introducing contact resistances at the connection points to the outer ideal leads. The matrix of conductances is parametrized by three variables. For these we derive coupled renormalization group (RG) equations, by summing up infinite classes of contributions in perturbation theory. The resulting general structure of the RG equations may be employed to describe junctions with an arbitrary number of wires and arbitrary interaction strength in each wire. The fixed point structure of these equations (for the chiral Y-junction) is analyzed in detail. For repulsive interaction (g,g_3>0) there is only one stable fixed point, corresponding to the complete separation of the wires. For attractive interaction (g<0 and/or g_3<0) four fixed points are found, the stability of which depends on the interaction strength. We confirm our previous weak-coupling result of lines of fixed points for special values of the interaction parameters reaching into the strong coupling domain. We find new fixed points not discussed before, even at the symmetric line g=g_3, at variance with the results of Oshikawa et al. The pair tunneling phenomenon conjectured by the latter authors is not found by us.


title: Image Retrieval based on Bag-of-Words model

abstract: This article gives a survey for bag-of-words (BoW) or bag-of-features model in image retrieval system. In recent years, large-scale image retrieval shows significant potential in both industry applications and research problems. As local descriptors like SIFT demonstrate great discriminative power in solving vision problems like object recognition, image classification and annotation, more and more state-of-the-art large scale image retrieval systems are trying to rely on them. A common way to achieve this is first quantizing local descriptors into visual words, and then applying scalable textual indexing and retrieval schemes. We call this model as bag-of-words or bag-of-features model. The goal of this survey is to give an overview of this model and introduce different strategies when building the system based on this model.


title: Moment growth bounds on continuous time Markov processes on non-negative integer lattices

abstract: We consider Markov processes in continuous time with state space $\posint^N$ and provide two sufficient conditions and one necessary condition for the existence of moments $E(\|X(t)\|^r)$ of all orders $r \in \nat$ for all $t \geq 0$. The sufficient conditions also guarantee an exponential in time growth bound for the moments. The class of processes studied have finitely many state independent jumpsize vectors $\nu_1,\dots,\nu_M$. This class of processes arise naturally in many applications such as stochastic models of chemical kinetics, population dynamics and queueing theory for example. We also provide a necessary and sufficient condition for stochiometric boundedness of species in terms of $\nu_j$.


title: Scissors Modes: The elusive breathing overtone

abstract: The Two-Rotor Model predicts two levels above the Scissors Modes with degenerate intrinsic energy. They have $J^{\pi}= 0^+,2^+$ and are referred to as overtones. Their energy is below threshold for nucleon emission, which should make them observable. The $J^{\pi}=0^+$ overtone, that has the structure of an isovector breathing mode, has vanishing $E0$ amplitude so that cannot be directly excited, but it could be reached in the decay of the $J=2^+$ overtone. We discuss such a process and evaluate the $B(E2)$ strength, which, however, turns out to be very small.


title: LHC SUSY searches after the Higgs discovery: respecting the muon g-2

abstract: SUSY searches at the LHC as well as the 126 GeV Higgs boson indicate that superparticles, especially squarks and gluinos, are not so light as we expected. It is important to investigate SUSY searches which do not rely on the colored superparticles. As a clue for the investigation, we focus on the muon g-2 anomaly, which can be explained by the SUSY contributions if some of neutralinos, charginos, and sleptons are as light as of order 100 GeV. We propose the muon-(g-2)-motivated MSSM as a benchmark model, where squarks are decoupled but the superparticles corresponding to the muon g-2 are light enough to explain the anomaly. We also interpret the up-to-date results of LHC SUSY searches, and obtain experimental constraints on the model. We show searches for direct production of charginos and neutralinos work very well against the scenario, but several regions are not only remain uncovered but even found challenging to be searched for at the LHC. It is ascertained that, in order to draw out latent potential of the LHC, strategies to attack these regions should be developed.


title: Holographic isotropization linearized

abstract: The holographic isotropization of a highly anisotropic, homogeneous, strongly coupled, non-Abelian plasma was simplified in arXiv:1202.0981 by linearizing Einstein's equations around the final, equilibrium state. This approximation reproduces the expectation value of the boundary stress tensor with a 20% accuracy. Here we elaborate on these results and extend them to observables that are directly sensitive to the bulk interior, focusing for simplicity on the entropy production on the event horizon. We also consider next-to-leading-order corrections and show that the leading terms alone provide a better description of the isotropization process for the states that are furthest from equilibrium.


title: Partition regularity with congruence conditions

abstract: An infinite integer matrix A is called image partition regular if, whenever the natural numbers are finitely coloured, there is an integer vector x such that Ax is monochromatic. Given an image partition regular matrix A, can we also insist that each variable x_i is a multiple of some given d_i? This is a question of Hindman, Leader and Strauss. Our aim in this short note is to show that the answer is negative. As an application, we disprove a conjectured equivalence between the two main forms of partition regularity, namely image partition regularity and kernel partition regularity.


title: Complete spatial characterization of an optical wavefront using a variable-separation pinhole pair

abstract: We present a technique for measuring the transverse spatial properties of an optical wavefront. Intensity and phase profiles are recovered by analysis of a series of interference patterns produced by the combination of a scanning X-shaped slit and a static horizontal slit; the spatial coherence may be found from the same data. We demonstrate the technique by characterizing high harmonic radiation generated in a gas cell, however the method could be extended to a wide variety of light sources.


title: The Timepix Telescope for High Performance Particle Tracking

abstract: The Timepix particle tracking telescope has been developed as part of the LHCb VELO Upgrade project, supported by the Medipix Collaboration and the AIDA framework. It is a primary piece of infrastructure for the VELO Upgrade project and is being used for the development of new sensors and front end technologies for several upcoming LHC trackers and vertexing systems. The telescope is designed around the dual capability of the Timepix ASICs to provide information about either the deposited charge or the timing information from tracks traversing the 14 x 14mm matrix of 55 x 55 um pixels. The rate of reconstructed tracks available is optimised by taking advantage of the shutter driven readout architecture of the Timepix chip, operated with existing readout systems. Results of tests conducted in the SPS North Area beam facility at CERN show that the telescope typically provides reconstructed track rates during the beam spills of between 3.5 and 7.5 kHz, depending on beam conditions. The tracks are time stamped with 1 ns resolution with an efficiency of above 98% and provide a pointing resolution at the centre of the telescope of 1.6 um . By dropping the time stamping requirement the rate can be increased to 15 kHz, at the expense of a small increase in background. The telescope infrastructure provides CO2 cooling and a flexible mechanical interface to the device under test, and has been used for a wide range of measurements during the 2011-2012 data taking campaigns.


title: Femtosecond Time-resolved MeV Electron Diffraction

abstract: We report the experimental demonstration of femtosecond electron diffraction using high-brightness MeV electron beams. High-quality, single-shot electron diffraction patterns for both polycrystalline aluminum and single-crystal 1T-TaS2 are obtained utilizing a 5 femto-Coulomb (~3x10^4 electrons) pulse of electrons at 2.8 MeV. The high quality of the electron diffraction patterns confirm that electron beam has a normalized emittance of ~50 nm-rad. The corresponding transverse and longitudinal coherence length are ~11 nm and ~2.5 nm, respectively. The timing jitter between the pump laser and probe electron beam was found to be ~ 100 fs (rms). The temporal resolution is demonstrated by observing the evolution of Bragg and superlattice peaks of 1T-TaS2 following an 800 nm optical pump and was found to be 130 fs. Our results demonstrate the advantages of MeV electron diffraction: such as longer coherent lengths, large scattering cross-section and larger signal-to-noise ratio, and the feasibility of ultimately realizing 10 fs time-resolved electron diffraction.


title: Breathing synchronization in interconnected networks

abstract: Global synchronization in a complex network of oscillators emerges from the interplay between its topology and the dynamics of the pairwise interactions among its numerous components. When oscillators are spatially separated, however, a time delay appears in the interaction which might obstruct synchronization. Here we study the synchronization properties of interconnected networks of oscillators with a time delay between networks and analyze the dynamics as a function of the couplings and communication lag. We discover a new breathing synchronization regime, where two groups appear in each network synchronized at different frequencies. Each group has a counterpart in the opposite network, one group is in phase and the other in anti-phase with their counterpart. For strong couplings, instead, networks are internally synchronized but a phase shift between them might occur. The implications of our findings on several socio-technical and biological systems are discussed.


title: Cosmological models with multiple dark matter species and long-range scalar interactions

abstract: In this talk, I have discussed the implications of a multi-component nature of cosmic Dark Matter for the observational bounds on possible long-range fifth-forces mediated by a Dark Energy scalar field. By assuming a simple internal symmetry of the Dark Matter component associated to opposite coupling "charges" of two different particle species, the effects of Dark Energy interactions on both the background and linear perturbations evolution are strongly suppressed during the whole matter dominated phase, thereby relaxing present bounds on the coupling strength. The associated attractive and repulsive fifth-forces, however, might still have a very significant impact on the nonlinear dynamics of collapsed structures. I have also described how some of these nonlinear effects are identified through dedicated cosmological N-body simulations as i) a possible fragmentation of bound Dark Matter halos into smaller objects, and ii) a consequent suppression of the nonlinear matter power at small scales. Both effects are potentially observable and might allow to further constrain the model.


title: Scattering a quantum particle on the potential step: Characteristic times for transmission and reflection

abstract: We present a new model of scattering a quantum particle on the potential step, which reconstructs the prehistory of the subensembles of transmitted and reflected particles by their final states. Unlike the conventional one this model predicts the existence of a transitional spatial region behind the potential step where the probability to find reflected particles is nonzero and the average velocity of transmitted particles monotonously varies between asymptotic values. For both subprocesses we define the dwell and asymptotic group times.


title: Compressive X-ray phase tomography based on the transport of intensity equation

abstract: We develop and implement a compressive reconstruction method for tomographic recovery of refractive index distribution for weakly attenuating objects in a microfocus X-ray system. This is achieved through the development of a discretized operator modeling both the transport of intensity equation and X-ray transform that is suitable for iterative reconstruction techniques.


title: Comparative Study of Simulation for Vehicular Ad-hoc Network

abstract: In this paper we have discussed about the number of automobiles that has been increased on the road in the past few years. Due to high density of vehicles, the potential threats and road accident is increasing. Wireless technology is aiming to equip technology in vehicles to reduce these factors by sending messages to each other. The vehicular safety application should be thoroughly tested before it is deployed in a real world to use. Simulator tool has been preferred over out door experiment because it simple, easy and cheap. VANET requires that a traffic and network simulator should be used together to perform this test. Many tools exist for this purpose but most of them have the problem with the proper interaction. Simulating vehicular networks with external stimulus to analyze its effect on wireless communication but to do this job a good simulator is also needed.


title: Inhomogeneities and impurities in a dense one-dimensional Rydberg lattice gas

abstract: We consider a dense one-dimensional laser-driven Rydberg lattice gas with perfect nearest-neighbor blockade. The ground state of this system can be found analytically in certain parameter regimes even when the applied fields are inhomogeneous in space. We will use this unique feature to investigate the effect of an impurity - introduced by the local variation of the laser parameters - on the correlations of the many-body ground state. Moreover, we explore the role of a staggered laser field which alternates from site to site thereby breaking the sublattice symmetry. We demonstrate that this technique, which can be applied experimentally, reveals insights into the role of long-range interactions on the critical properties of a Rydberg gas. Our work highlight novel possibilities for the exploration of many-body physics in Rydberg lattice gases based on locally tuneable laser fields.


title: Second-order asymptotics for the block counting process in a class of regularly varying $\Lambda$-coalescents

abstract: Consider a standard ${\Lambda }$-coalescent that comes down from infinity. Such a coalescent starts from a configuration consisting of infinitely many blocks at time $0$, but its number of blocks $N_t$ is a finite random variable at each positive time $t$. Berestycki et al. [Ann. Probab. 38 (2010) 207-233] found the first-order approximation $v$ for the process $N$ at small times. This is a deterministic function satisfying $N_t/v_t\to1$ as $t\to0$. The present paper reports on the first progress in the study of the second-order asymptotics for $N$ at small times. We show that, if the driving measure $\Lambda$ has a density near zero which behaves as $x^{-\beta}$ with $\beta\in(0,1)$, then the process $(\varepsilon^{-1/(1+\beta)}(N_{\varepsilon t}/v_{\varepsilon t}-1))_{t\ge0}$ converges in law as $\varepsilon\to0$ in the Skorokhod space to a totally skewed $(1+\beta)$-stable process. Moreover, this process is a unique solution of a related stochastic differential equation of Ornstein-Uhlenbeck type, with a completely asymmetric stable L\'{e}vy noise.


title: Gr\"obner-Shirshov bases for the non-symmetric operads of dendriform algebras and quadri-algebras (unabridged version)

abstract: In this paper we use the operadic framework to find Gr\"obner-Shirshov bases for the free quadri-algebra. We perform computations using the representation of the nonsymmetric operad by planar rooted trees in a very intuitive way. Gr\"obner-Shirshov bases for the free dendriform algebra are also found with this technique, simplifying the work by Chen and Wang in 2010.


title: Temporal Description Logic for Ontology-Based Data Access (Extended Version)

abstract: Our aim is to investigate ontology-based data access over temporal data with validity time and ontologies capable of temporal conceptual modelling. To this end, we design a temporal description logic, TQL, that extends the standard ontology language OWL 2 QL, provides basic means for temporal conceptual modelling and ensures first-order rewritability of conjunctive queries for suitably defined data instances with validity time.


title: Experimental Realization of Non-Abelian Geometric Gates

abstract: The geometric aspects of quantum mechanics are underlined most prominently by the concept of geometric phases, which are acquired whenever a quantum system evolves along a closed path in Hilbert space. The geometric phase is determined only by the shape of this path and is -- in its simplest form -- a real number. However, if the system contains degenerate energy levels, matrix-valued geometric phases, termed non-abelian holonomies, can emerge. They play an important role for the creation of synthetic gauge fields in cold atomic gases and the description of non-abelian anyon statistics. Moreover, it has been proposed to exploit non-abelian holonomic gates for robust quantum computation. In contrast to abelian geometric phases, non-abelian ones have been observed only in nuclear quadrupole resonance experiments with a large number of spins and without fully characterizing the geometric process and its non-commutative nature. Here, we realize non-abelian holonomic quantum operations on a single superconducting artificial three-level atom by applying a well controlled two-tone microwave drive. Using quantum process tomography, we determine fidelities of the resulting non-commuting gates exceeding 95 %. We show that a sequence of two paths in Hilbert space traversed in different order yields inequivalent transformations, which is an evidence for the non-abelian character of the implemented holonomic quantum gates. In combination with two-qubit operations, they form a universal set of gates for holonomic quantum computation.


title: Phase transitions of magnetic AdS4 black holes with scalar hair

abstract: We determine the thermodynamic properties of a class of spherically symmetric and static black holes in AdS4 with magnetic charges and scalar hair. These black holes are solutions in 4d N=2 gauged supergravity that can arise from eleven-dimensional supergravity compactified on S^7. At zero temperature, they preserve supersymmetry and hence are stable. At non-zero temperatures, we explore in detail the canonical ensemble and stability of solutions and find a first order phase transition between small and large hairy black holes. The transition emerges as a liquid-gas phase transition in the dual three-dimensional field theory on R x S^2 with magnetic flux through S^2.


title: Generalized Multiscale Finite Element Methods. Nonlinear Elliptic Equations

abstract: In this paper we use the GeneralizedMultiscale Finite ElementMethod (GMsFEM) framework, introduced in [20], in order to solve nonlinear elliptic equations with high-contrast coefficients. The proposed solution method involves linearizing the equation so that coarse-grid quantities of previous solution iterates can be regarded as auxiliary parameters within the problem formulation. With this convention, we systematically construct respective coarse solution spaces that lend themselves to either continuous Galerkin (CG) or discontinuous Galerkin (DG) global formulations. Here, we use Symmetric Interior Penalty Discontinuous Galerkin approach. Both methods yield a predictable error decline that depends on the respective coarse space dimension, and we illustrate the effectiveness of the CG and DG formulations by offering a variety of numerical examples.


title: Mobility Models for Vehicular Ad-hoc Network Simulation

abstract: One of the emerging applications that belong to ambient systems is to transparently and directly interconnect vehicles on roads, making an ad hoc network that enables a variety of applications through distributed software without the need of any fixed and dedicated infrastructure. The network as well as the embedded computers and sensors in the vehicle will be invisible to the driver, who will get the required services during his journey. New type of ad hoc network is the Vehicular Ad hoc Network, in which vehicles constitute the mobile nodes in the network. Due to the prohibitive cost of deploying and implementing such as system in a real world, most research work in VANET relies on simulations for evaluation purpose. The key concept for VANET simulations is a real world vehicular mobility model which will ensures conclusions drawn from simulation experiments will carry through to real world deployments. In this paper we present a tool SUMO, MOVE that allows users to easily generate real world mobility models for VANET simulations. MOVE tool is built on top of SUMO which is open source micro traffic simulator. Output of MOVE is a real world mobility model and can used by NS-2 and Qual-net simulator. In this paper we evaluate and compare ad hoc routing performance for vehicular nodes using MOVE, which is using random way point model. The simulation results are obtained when nodes are moving according to a real world mobility model which is significantly different from that of the generally used random way point model.


title: DEMO: Simulation of Realistic Mobility Model and Implementation of 802.11p (DSRC) for Vehicular Networks (VANET)

abstract: An ad hoc network of vehicles (VANET) consists of vehicles that exchange information via radio in order to improve road safety, traffic management and do better distribution of traffic load in time and space. Along with this it allows Internet access for passengers and users of vehicles. A significant characteristic while studying VANETs is the requirement of having a mobility model that gives aspects of real vehicular traffic. These scenarios play an important role in performance of VANETs. In our paper we have demonstration and description of generating realistic mobility model using various tools such as eWorld, OpenStreetMap, SUMO and TraNS. Generated mobility scenario is added to NS-2.34 (Network Simulator) for analysis of DSR and AODV routing protocol under 802.11p (DSRC/WAVE) and 802.11a. Results after analysis shows 802.11p is more suitable than 802.11a for VANET.


title: The 22-Year Hale Cycle in Cosmic Ray Flux - Evidence for Direct Heliospheric Modulation

abstract: The ability to predict times of greater galactic cosmic ray (GCR) fluxes is important for reducing the hazards caused by these particles to satellite communications, aviation, or astronauts. The 11-year solar cycle variation in cosmic rays is highly correlated with the strength of the heliospheric magnetic field. Differences in GCR flux during alternate solar cycles yield a 22-year cycle, known as the Hale Cycle, which is thought to be due to different particle drift patterns when the northern solar pole has predominantly positive (denoted a qA>0 cycle) or negative (qA<0) polarities. This results in the onset of the peak cosmic ray flux at Earth occurring earlier during qA>0 cycles than for qA<0 cycles and hence the peak being more domed for qA>0 and more sharply peaked for qA<0. In this study, we demonstrate that properties of the large-scale heliospheric magnetic field are different during the declining phase of the qA<0 and qA>0 solar cycles, when the difference in GCR flux is most apparent. This suggests that particle drifts may not be the sole mechanism responsible for the Hale Cycle in GCR flux at Earth. However, it is also demonstrated that these polarity-dependent heliospheric differences are evident during the space-age but much less clear in earlier data: using geomagnetic reconstructions, it is shown that for the period of 1905 - 1965, alternate polarities do not give as significant a difference during the declining phase of the solar cycle. Thus we suggest that the 22-year cycle in cosmic ray flux is at least partly the result of direct modulation by the heliospheric magnetic field and that this effect may be primarily limited to the grand solar maximum of the space-age.


title: Higher order corrections to the Grimus-Stockinger formula

abstract: For the Grimus-Stockinger formula the same dimensionless parameter of asymptotic expansion is found by several ways of calculations. This parameter strongly depends on the width of wave packet.


title: Acoustic emission from magnetic flux tubes in the solar network

abstract: We present the results of three-dimensional numerical simulations to investigate the excitation of waves in the magnetic network of the Sun due to footpoint motions of a magnetic flux tube. We consider motions that typically mimic granular buffeting and vortex flows and implement them as driving motions at the base of the flux tube. The driving motions generates various MHD modes within the flux tube and acoustic waves in the ambient medium. The response of the upper atmosphere to the underlying photospheric motion and the role of the flux tube in channeling the waves is investigated. We compute the acoustic energy flux in the various wave modes across different boundary layers defined by the plasma and magnetic field parameters and examine the observational implications for chromospheric and coronal heating.


title: Transchromatic twisted character maps

abstract: Refinements of the transchromatic generalized character maps are constructed by taking into account the torus action on the inertia groupoid (also known as the Fix functor). The relationship between this construction and the geometry of p-divisible groups is made precise.


title: The magnetization plateaus of the ferro and anti-ferro spin-1 classical models with $S_z^2$ term

abstract: We study in detail the exact thermodynamics of the one-dimensional standard and staggered spin-1 Ising models with a single-ion anisotropy term in the presence of a longitudinal magnetic field at low temperatures. The results are valid for the ferromagnetic and anti-ferromagnetic (AF) models and for positive and negative values of the crystal field for $T>0$. Although the excited states of the ferro and anti-ferro models are highly degenerate, we show that the temperature required for reaching the first excited state in the classical spin-1 ferro model gives a scale of temperature that permits fitting the z-component of the magnetization only by the contribution of two ground states of the model. This approximation is not true for the equivalent AF function due to the fact that the AF model is gapless along the lines separating the phases in its phase diagram at T=0. We relate the number of plateaus in the magnetization of each model to their respective phase diagrams at T=0. The specific heat per site of the AF model distinguishes, at low temperature, the transitions $\mbox{A} \rightleftharpoons \mbox{E}$ and $\mbox{G} \rightleftharpoons \mbox{E}$ as the external magnetic field is varied. The exact Helmholtz free energy of the classical spin-1 model is mapped onto the equivalent function of the ionic limit of the 1D extended Hubbard model by proper transformations.


title: Dicke Quantum Spin and Photon Glass in Optical Cavities: Non-equilibrium theory and experimental signatures

abstract: In the context of ultracold atoms in multimode optical cavities, the appearance of a quantum-critical glass phase of atomic spins has been predicted recently. Due to the long-range nature of the cavity-mediated interactions, but also the presence of a driving laser and dissipative processes such as cavity photon loss, the quantum optical realization of glassy physics has no analog in condensed matter, and could evolve into a "cavity glass microscope" for frustrated quantum systems out-of-equilibrium. Here we develop the non-equilibrium theory of the multimode Dicke model with quenched disorder and Markovian dissipation. Using a unified Keldysh path integral approach, we show that the defining features of a low temperature glass, representing a critical phase of matter with algebraically decaying temporal correlation functions, are seen to be robust against the presence of dissipation due to cavity loss. The universality class however is modified due to the Markovian bath. The presence of strong disorder leads to an enhanced equilibration of atomic and photonic degrees of freedom, including the emergence of a common low-frequency effective temperature. The imprint of the atomic spin glass physics onto a "photon glass" makes it possible to detect the glass state by standard experimental techniques of quantum optics. We provide an unambiguous characterization of the superradiant and glassy phases in terms of fluorescence spectroscopy, homodyne detection, and the temporal photon correlation function $g^{(2)}(\tau)$.


title: Ball-Larus Path Profiling Across Multiple Loop iterations

abstract: Identifying the hottest paths in the control flow graph of a routine can direct optimizations to portions of the code where most resources are consumed. This powerful methodology, called path profiling, was introduced by Ball and Larus in the mid 90s and has received considerable attention in the last 15 years for its practical relevance. A shortcoming of Ball-Larus path profiling was the inability to profile cyclic paths, making it difficult to mine interesting execution patterns that span multiple loop iterations. Previous results, based on rather complex algorithms, have attempted to circumvent this limitation at the price of significant performance losses already for a small number of iterations. In this paper, we present a new approach to multiple iterations path profiling, based on data structures built on top of the original Ball-Larus numbering technique. Our approach allows it to profile all executed paths obtained as a concatenation of up to k Ball-Larus acyclic paths, where k is a user-defined parameter. An extensive experimental investigation on a large variety of Java benchmarks on the Jikes RVM shows that, surprisingly, our approach can be even faster than Ball-Larus due to fewer operations on smaller hash tables, producing compact representations of cyclic paths even for large values of k.


title: Spectral Analysis by the Method of Consistent Constraints

abstract: Two major challenges of numeric analytic continuation---restoring the spectral density, $s(\omega)$, from the corresponding Matsubara correlator, $g(\tau)$---are (i) producing the most smooth/featureless answer for $s(\omega)$ without compromising the error bars on $g(\tau)$ and (ii) quantifying possible deviations of the produced result from the actual answer. We introduce the method of consistent constraints that solves both problems.


title: Some approximations in Model Checking and Testing

abstract: Model checking and testing are two areas with a similar goal: to verify that a system satisfies a property. They start with different hypothesis on the systems and develop many techniques with different notions of approximation, when an exact verification may be computationally too hard. We present some notions of approximation with their logic and statistics backgrounds, which yield several techniques for model checking and testing: Bounded Model Checking, Approximate Model Checking, Approximate Black-Box Checking, Approximate Model-based Testing and Approximate Probabilistic Model Checking. All these methods guarantee some quality and efficiency of the verification.


title: Spontaneous Peierls dimerization and emergent bond order in one-dimensional dipolar gases

abstract: We investigate the effect of dipolar interactions in one-dimensional systems in connection with the possibility of observing exotic many-body effects with trapped atomic and molecular dipolar gases. By combining analytical and numerical methods, we show how the competition between short- and long-range interactions gives rise to frustrating effects which lead to the stabilization of spontaneously dimerized phases characterized by a bond-ordering. This genuine quantum order is sharply distinguished from Mott and spin-density wave phases, and can be unambiguously probed by measuring non local order parameters in-situ imaging techniques.


title: Mean field games with nonlinear mobilities in pedestrian dynamics

abstract: In this paper we present an optimal control approach modeling fast exit scenarios in pedestrian crowds. In particular we consider the case of a large human crowd trying to exit a room as fast as possible. The motion of every pedestrian is determined by minimizing a cost functional, which depends on his/her position, velocity, exit time and the overall density of people. This microscopic setup leads in the mean-field limit to a parabolic optimal control problem. We discuss the modeling of the macroscopic optimal control approach and show how the optimal conditions relate to Hughes model for pedestrian flow. Furthermore we provide results on the existence and uniqueness of minimizers and illustrate the behavior of the model with various numerical results.


title: Update on Minimal Supersymmetric Hybrid Inflation in Light of PLANCK

abstract: The minimal supersymmetric (or F-term) hybrid inflation is defined by a unique renormalizable superpotential, fixed by a $U(1)$ R-symmetry, and it employs a canonical K\"{a}hler potential. The inflationary potential takes into account both radiative and supergravity corrections, as well as an important soft supersymmetry breaking term, with a mass coefficient in the range $(0.1 - 10)~{\rm TeV}$. The latter term assists in obtaining a scalar spectral index $n_s$ close to $0.96$, as strongly suggested by the PLANCK and WMAP-9yr measurements. The minimal model predicts that the tensor-to-scalar $r$ is extremely tiny, of order $10^{-12}$, while the spectral index running, $|dn_{\rm s}/d\ln k| \sim 10^{-4}$. If inflation is associated with the breaking of a local $U(1)_{B-L}$ symmetry, the corresponding symmetry breaking scale $M$ is $(0.7 - 1.6)\cdot10^{15}~{\rm GeV}$ with $n_{\rm s} \simeq 0.96$. This scenario is compatible with the bounds on $M$ from cosmic strings, formed at the end of inflation from $B-L$ symmetry breaking. We briefly discuss non-thermal leptogenesis which is readily implemented in this class of models.