title: OSS (Outer Solar System): A fundamental and planetary physics mission to Neptune, Triton and the Kuiper Belt

abstract: The present OSS mission continues a long and bright tradition by associating the communities of fundamental physics and planetary sciences in a single mission with ambitious goals in both domains. OSS is an M-class mission to explore the Neptune system almost half a century after flyby of the Voyager 2 spacecraft. Several discoveries were made by Voyager 2, including the Great Dark Spot (which has now disappeared) and Triton's geysers. Voyager 2 revealed the dynamics of Neptune's atmosphere and found four rings and evidence of ring arcs above Neptune. Benefiting from a greatly improved instrumentation, it will result in a striking advance in the study of the farthest planet of the Solar System. Furthermore, OSS will provide a unique opportunity to visit a selected Kuiper Belt object subsequent to the passage of the Neptunian system. It will consolidate the hypothesis of the origin of Triton as a KBO captured by Neptune, and improve our knowledge on the formation of the Solar system. The probe will embark instruments allowing precise tracking of the probe during cruise. It allows to perform the best controlled experiment for testing, in deep space, the General Relativity, on which is based all the models of Solar system formation. OSS is proposed as an international cooperation between ESA and NASA, giving the capability for ESA to launch an M-class mission towards the farthest planet of the Solar system, and to a Kuiper Belt object. The proposed mission profile would allow to deliver a 500 kg class spacecraft. The design of the probe is mainly constrained by the deep space gravity test in order to minimise the perturbation of the accelerometer measurement.


title: A graph theoretic approach to graded identities for matrices

abstract: We consider the algebra M_k(C) of k-by-k matrices over the complex numbers and view it as a crossed product with a group G of order k by embedding G in the symmetric group S_k via the regular representation and embedding S_k in M_k(C) in the usual way. This induces a natural G-grading on M_k(C) which we call a crossed product grading. This grading is the so called elementary grading defined by any k-tuple (g_1,g_2,..., g_k) of distinct elements g_i in G. We study the graded polynomial identities for M_k(C) equipped with a crossed product grading. To each multilinear monomial in the free graded algebra we associate a directed labeled graph. This approach allows us to give new proofs of known results of Bahturin and Drensky on the generators of the T-ideal of identities and the Amitsur-Levitsky Theorem. Our most substantial new result is the determination of the asymptotic formula for the G-graded codimension of M_k(C).


title: ProDiGe: PRioritization Of Disease Genes with multitask machine learning from positive and unlabeled examples

abstract: Elucidating the genetic basis of human diseases is a central goal of genetics and molecular biology. While traditional linkage analysis and modern high-throughput techniques often provide long lists of tens or hundreds of disease gene candidates, the identification of disease genes among the candidates remains time-consuming and expensive. Efficient computational methods are therefore needed to prioritize genes within the list of candidates, by exploiting the wealth of information available about the genes in various databases. Here we propose ProDiGe, a novel algorithm for Prioritization of Disease Genes. ProDiGe implements a novel machine learning strategy based on learning from positive and unlabeled examples, which allows to integrate various sources of information about the genes, to share information about known disease genes across diseases, and to perform genome-wide searches for new disease genes. Experiments on real data show that ProDiGe outperforms state-of-the-art methods for the prioritization of genes in human diseases.


title: Toute forme mod\'er\'ement ramifi\'ee d'un polydisque ouvert est triviale

abstract: Let k be a complete, non-Archimedean field and let X be a k-analytic space ; assume that there exists a tamely ramified finite extension L/k such that X_L is isomorphic to an open polydisc over L ; we prove that X is itself isomorphic to an open polydisc over k. The proof consists in using the {\em graded} reduction (a notion which is due to Temkin) of the algebra of functions on $X$, together with some graded counterparts of classical commutative algebra results: Nakayama's lemma, going-up theorem, basic notions about \'etale algebras, etc.


title: Mapping Clouds and Terrain of Earth-like Planets from Photometric Variability: Demonstration with Planets in Face-on Orbits

abstract: We develop an inversion technique of annual scattered light curves to sketch a two-dimensional albedo map of exoplanets in face-on orbits. As a test-bed for future observations of extrasolar terrestrial planets, we apply this mapping technique to simulated light curves of a mock Earth-twin at a distance of 10 pc in a face-on circular orbit. A primary feature in recovered albedo maps traces the annual mean distribution of clouds. To extract information of other surface types, we attempt to reduce the cloud signal by taking difference of two bands. We find that the inversion of reflectivity difference between 0.8-0.9 and 0.4-0.5 micron bands roughly recover the continental distribution, except for high latitude regions persistently covered with clouds and snow. The inversion of the reflectivity difference across the red edge (0.8-0.9 and 0.6-0.7 micron) emphasizes the vegetation features near the equator. The planetary obliquity and equinox can be estimated simultaneously with the mapping under the presence of clouds. We conclude that the photometric variability of the scattered light will be a powerful means for exploring the habitat of a second Earth.


title: Optimal error estimates and energy conservation identities of the ADI-FDTD scheme on staggered grids for 3D Maxwell's equations

abstract: This paper is concerned with the optimal error estimates and energy conservation properties of the alternating direction implicit finite-difference time-domain (ADI-FDTD) method which is a popular scheme for solving the 3D Maxwell equations. Precisely, for the case with a perfectly electric conducting (PEC) boundary condition we establish the optimal second-order error estimates in both space and time in the discrete $H^1$-norm for the ADI-FDTD scheme and prove the approximate divergence preserving property that if the divergence of the initial electric and magnetic fields are zero then the discrete $L^2$-norm of the discrete divergence of the ADI-FDTD solution is approximately zero with the second-order accuracy in both space and time. A key ingredient is two new discrete energy norms which are second-order in time perturbations of two new energy conservation laws for the Maxwell equations introduced in this paper. Furthermore, we prove that, in addition to two known discrete energy identities which are second-order in time perturbations of two known energy conservation laws, the ADI-FDTD scheme also satisfies two new discrete energy identities which are second-order in time perturbations of the two new energy conservation laws. This means that the ADI-FDTD scheme is unconditionally stable under the four discrete energy norms. Experimental results are presented which confirm the theoretical results.


title: Markovian and non-Markovian dynamics in quantum and classical systems

abstract: We discuss the conceptually different definitions used for the non-Markovianity of classical and quantum processes. The well-established definition for non-Markovianity of a classical stochastic process represents a condition on the Kolmogorov hierarchy of the n-point joint probability distributions. Since this definition cannot be transferred to the quantum regime, quantum non-Markovianity has recently been defined and quantified in terms of the underlying quantum dynamical map, using either its divisibility properties or the behavior of the trace distance between pairs of initial states. Here, we investigate and compare these definitions and their relations to the classical notion of non-Markovianity by employing a large class of non-Markovian processes, known as semi-Markov processes, which admit a natural extension to the quantum case. A number of specific physical examples is constructed which allow to study the basic features of the classical and the quantum definitions and to evaluate explicitly the measures for quantum non-Markovianity. Our results clearly demonstrate several fundamental distinctions between the classical and the quantum notion of non-Markovianity, as well as between the various quantum measures for non-Markovianity.


title: Quark Wigner Distributions and Orbital Angular Momentum

abstract: We study the Wigner functions of the nucleon which provide multidimensional images of the quark distributions in phase space. These functions can be obtained through a Fourier transform in the transverse space of the generalized transverse-momentum dependent parton distributions. They depend on both the transverse position and the three-momentum of the quark relative to the nucleon, and therefore combine in a single picture all the information contained in the generalized parton distributions and the transverse-momentum dependent parton distributions. We focus the discussion on the distributions of unpolarized/longitudinally polarized quark in an unpolarized/longitudinally polarized nucleon. In this way, we can study the role of the orbital angular momentum of the quark in shaping the nucleon and its correlations with the quark and nucleon polarizations. The quark orbital angular momentum is also calculated from its phase-space average weighted with the Wigner distribution of unpolarized quarks in a longitudinally polarized nucleon. The corresponding results obtained within different light-cone quark models are compared with alternative definitions of the quark orbital angular momentum, as given in terms of generalized parton distributions and transverse-momentum dependent parton distributions.


title: All-optical quantum computing with a hybrid solid-state processing unit

abstract: We develop an architecture of hybrid quantum solid-state processing unit for universal quantum computing. The architecture allows distant and nonidentical solid-state qubits in distinct physical systems to interact and work collaboratively. All the quantum computing procedures are controlled by optical methods using classical fields and cavity QED. Our methods have prominent advantage of the insensitivity to dissipation process benefiting from the virtual excitation of subsystems. Moreover, the QND measurements and state transfer for the solid-state qubits are proposed. The architecture opens promising perspectives for implementing scalable quantum computation in a broader sense that different solid-state systems can merge and be integrated into one quantum processor afterwards.


title: Counting or producing all fixed cardinality transversals

abstract: An algorith to count, or alternatively generate, all k-element transversals of a set system is presented and compared with three known methods. For special cases it works in output-linear time.


title: Effect of detuning on the phonon induced dephasing of optically driven InGaAs/GaAs quantum dots

abstract: Recently, longitudinal acoustic phonons have been identified as the main source of the intensity damping observed in Rabi rotation measurements of the ground-state exciton of a single InAs/GaAs quantum dot. Here we report experiments of intensity damped Rabi rotations in the case of detuned laser pulses, the results have implications for the coherent optical control of both excitons and spins using detuned laser pulses.


title: Dynamic modeling of gene expression in prokaryotes: application to glucose-lactose diauxie in Escherichia coli

abstract: Coexpression of genes or, more generally, similarity in the expression profiles poses an unsurmountable obstacle to inferring the gene regulatory network (GRN) based solely on data from DNA microarray time series. Clustering of genes with similar expression profiles allows for a course-grained view of the GRN and a probabilistic determination of the connectivity among the clusters. We present a model for the temporal evolution of a gene cluster network which takes into account interactions of gene products with genes and, through a non-constant degradation rate, with other gene products. The number of model parameters is reduced by using polynomial functions to interpolate temporal data points. In this manner, the task of parameter estimation is reduced to a system of linear algebraic equations, thus making the computation time shorter by orders of magnitude. To eliminate irrelevant networks, we test each GRN for stability with respect to parameter variations, and impose restrictions on its behavior near the steady state. We apply our model and methods to DNA microarray time series' data collected on Escherichia coli during glucose-lactose diauxie and infer the most probable cluster network for different phases of the experiment.


title: Monotone Operator Methods for Nash Equilibria in Non-Potential Games

abstract: We observe that a significant class of Nash equilibrium problems in non-potential games can be associated with monotone inclusion problems. We propose splitting techniques to solve such problems and establish their convergence. Applications to generalized Nash equilibria, zero-sum games, and cyclic proximity problems are demonstrated.


title: Enhancement of the Curie temperature in small particles of weak itinerant ferromagnets

abstract: Self consistent renormalization theory of itinerant ferromagnets is used to calculate the Curie temperature of clusters down to approximately 100 atoms in size. In these clusters the electrons responsible for the magnetic properties are assumed to be (weakly) itinerant. It is shown that the Curie temperature can be larger than in the bulk. The effect originates from the phenomenon of level repulsion in chaotic quantum systems, which suppresses spin fluctuations. Since the latter destroy the magnetic order the resulting Curie temperature increases, contrary to expectations of the naive Stoner picture. The calculations are done assuming that the energy levels of the cluster are described by the Gaussian Orthogonal Ensemble of random matrix theory.


title: Direct Photon Production in Proton-Nucleus and Nucleus-Nucleus Collisions

abstract: Prompt photons produced in a hard reaction are not accompanied with any final state interaction, either energy loss or absorption. Therefore, besides the Cronin enhancement at medium transverse momenta pT and small isotopic corrections at larger pT, one should not expect any nuclear effects. However, data from PHENIX experiment exhibit a significant large-pT suppression in central d+Au and Au+Au collisions that cannot be accompanied by coherent phenomena. We demonstrate that such an unexpected result is subject to the energy sharing problem near the kinematic limit and is universally induced by multiple initial state interactions. We describe production of photons in the color dipole approach and find a good agreement with available data in p+p collisions. Besides explanation of large-pT nuclear suppression at RHIC we present for the first time predictions for expected nuclear effects also in the LHC energy range at different rapidities. We include and analyze also a contribution of gluon shadowing as a leading twist shadowing correction modifying nuclear effects at small and medium pT.


title: On an algebraic formula and applications to group action on manifolds

abstract: We consider a purely algebraic result. Then given a circle or cyclic group of prime order action on a manifold, we will use it to estimate the lower bound of the number of fixed points. We also give an obstruction to the existence of $\mathbb{Z}_p$ action on manifolds with isolated fixed points when $p$ is a prime.


title: Enhancement of magnetic anisotropy barrier in long range interacting spin systems

abstract: Magnetic materials are usually characterized by anisotropy energy barriers which dictate the time scale of the magnetization decay and consequently the magnetic stability of the sample. Here we present a unified description, which includes coherent rotation and nucleation, for the magnetization decay in generic anisotropic spin systems. In particular, we show that, in presence of long range exchange interaction, the anisotropy energy barrier grows as the volume of the particle for on site anisotropy, while it grows even faster than the volume for exchange anisotropy, with an anisotropy energy barrier proportional to $V^{2-\alpha/d}$, where $V$ is the particle volume, $\alpha \leq d $ is the range of interaction and $d$ is the embedding dimension. These results shows a relevant enhancement of the anisotropy energy barrier w.r.t. the short range case, where the anisotropy energy barrier grows as the particle cross sectional area for large particle size or large particle aspect ratio.


title: Tits compact CAT(0) spaces

abstract: We investigate CAT(0) metric spaces whose associated Tits boundary is compact. Prominent examples of such spaces are of course the euclidean ones. However there exist non trivial geodesically complete CAT(0) spaces with compact Tits boundary that are far from being flat. We show that if the isometry group of such a space acts cocompactly, then the space is "as flat as possible", i.e. the boundary minimal subspace must be flat. Our result relies on the existence of hyperbolic isometries, which is a problem itself. We hence add the proof of the following existence proposition: a cocompact CAT(0) space either admits a hyperbolic isometry or a convex embedded flat plane.


title: Local Entropy Theory of a Random Dynamical System

abstract: In this paper we extend the notion of a continuous bundle random dynamical system to the setting where the action of $\R$ or $\N$ is replaced by the action of an infinite countable discrete amenable group. Given such a system, and a monotone sub-additive invariant family of random continuous functions, we introduce the concept of local fiber topological pressure and establish an associated variational principle, relating it to measure-theoretic entropy. We also discuss some variants of this variational principle. We introduce both topological and measure-theoretic entropy tuples for continuous bundle random dynamical systems, and apply our variational principles to obtain a relationship between these of entropy tuples. Finally, we give applications of these results to general topological dynamical systems, recovering and extending many recent results in local entropy theory.


title: Algorithm 916: computing the Faddeyeva and Voigt functions

abstract: We present a MATLAB function for the numerical evaluation of the Faddeyeva function w(z). The function is based on a newly developed accurate algorithm. In addition to its higher accuracy, the software provides a flexible accuracy vs efficiency trade-off through a controlling parameter that may be used to reduce accuracy and computational time and vice versa. Verification of the flexibility, reliability and superior accuracy of the algorithm is provided through comparison with standard algorithms available in other libraries and software packages.


title: Vesta and Ceres: crossing the history of the Solar System

abstract: The evolution of the Solar System can be schematically divided into three different phases: the Solar Nebula, the Primordial Solar System and the Modern Solar System. These three periods were characterized by very different conditions, both from the point of view of the physical conditions and from that of the processes there were acting through them. Across the Solar Nebula phase, planetesimals and planetary embryos were forming and differentiating due to the decay of short-lived radionuclides. At the same time, giant planets formed their cores and accreted the nebular gas to reach their present masses. After the gas dispersal, the Primordial Solar System began its evolution. In the inner Solar System, planetary embryos formed the terrestrial planets and, in combination with the gravitational perturbations of the giant planets, depleted the residual population of planetesimals. In the outer Solar System, giant planets underwent a violent, chaotic phase of orbital rearrangement which caused the Late Heavy Bombardment. Then the rapid and fierce evolution of the young Solar System left place to the more regular secular evolution of the Modern Solar System. Vesta, through its connection with HED meteorites, and plausibly Ceres too were between the first bodies to form in the history of the Solar System. Here we discuss the timescale of their formation and evolution and how they would have been affected by their passage through the different phases of the history of the Solar System, in order to draw a reference framework to interpret the data that Dawn mission will supply on them.


title: A recursive approach to the O(n) model on random maps via nested loops

abstract: We consider the O(n) loop model on tetravalent maps and show how to rephrase it into a model of bipartite maps without loops. This follows from a combinatorial decomposition that consists in cutting the O(n) model configurations along their loops so that each elementary piece is a map that may have arbitrary even face degrees. In the induced statistics, these maps are drawn according to a Boltzmann distribution whose parameters (the face weights) are determined by a fixed point condition. In particular, we show that the dense and dilute critical points of the O(n) model correspond to bipartite maps with large faces (i.e. whose degree distribution has a fat tail). The re-expression of the fixed point condition in terms of linear integral equations allows us to explore the phase diagram of the model. In particular, we determine this phase diagram exactly for the simplest version of the model where the loops are "rigid". Several generalizations of the model are discussed.


title: Breathers and solitons of generalized nonlinear Schr\"odinger equations as degenerations of algebro-geometric solutions

abstract: We present new solutions in terms of elementary functions of the multi-component nonlinear Schr\"odinger equations and known solutions of the Davey-Stewartson equations such as multi-soliton, breather, dromion and lump solutions. These solutions are given in a simple determinantal form and are obtained as limiting cases in suitable degenerations of previously derived algebro-geometric solutions. In particular we present for the first time breather and rational breather solutions of the multi-component nonlinear Schr\"odinger equations.


title: Colourful FKS subtraction

abstract: I formulate in a colour-friendly way the FKS method for the computation of QCD cross sections at the next-to-leading order accuracy. This is achieved through the definition of subtraction terms for squared matrix elements, constructed with single colour-dressed or pairs of colour-ordered amplitudes. The latter approach relies on the use of colour flows, is exact to all orders in $N$, and is thus particularly suited to being organized as a systematic expansion in 1/N.


title: Three Body Resonance Overlap in Closely Spaced Multiple Planet Systems

abstract: We compute the strengths of zero-th order (in eccentricity) three-body resonances for a co-planar and low eccentricity multiple planet system. In a numerical integration we illustrate that slowly moving Laplace angles are matched by variations in semi-major axes among three bodies with the outer two bodies moving in the same direction and the inner one moving in the opposite direction, as would be expected from the two quantities that are conserved in the three-body resonance. A resonance overlap criterion is derived for the closely and equally spaced, equal mass system with three-body resonances overlapping when interplanetary separation is less than an order unity factor times the planet mass to the one quarter power. We find that three-body resonances are sufficiently dense to account for wander in semi-major axis seen in numerical integrations of closely spaced systems and they are likely the cause of instability of these systems. For interplanetary separations outside the overlap region, stability timescales significantly increase. Crudely estimated diffusion coefficients in eccentricity and semi-major axis depend on a high power of planet mass and interplanetary spacing. An exponential dependence previously fit to stability or crossing timescales is likely due to the limited range of parameters and times possible in integration and the strong power law dependence of the diffusion rates on these quantities.


title: Adsorption component of the disjoining pressure in thin liquid films

abstract: The disjoining pressure isotherm in foam films is theoretically studied and an important contribution of adsorption is discovered. On the basis of the interfacial thermodynamics an adsorption disjoining pressure component is derived, which is repulsive and exponentially decaying by the film thickness. Expressions for its magnitude and decay length are derived in terms of well-known thermodynamic characteristics such as the partial Gibbs elasticity and adsorption length. Several adsorption isotherms are considered and the corresponding adsorption disjoining pressure components are calculated. An important coupling between the interfacial layer phases and wetting transitions is discussed as well.


title: Possible mechanism responsible for observed impurity outward flow under radio frequency heating

abstract: The effect of poloidal asymmetry of impurities on impurity transport driven by electrostatic turbulence in tokamak plasmas is analyzed. It is found that in the presence of in-out asymmetric impurity populations the zero-flux impurity density gradient (the so-called peaking factor) is significantly reduced. A sign change in the impurity flux may occur if the asymmetry is sufficiently large. This may be a contributing reason for the observed outward convection of impurities in the presence of radio frequency heating. The effect of in-out asymmetry is most significant in regions with low temperature gradients. In the trapped electron mode dominated case also an up-down asymmetry can lead to a sign change in the peaking factor from positive to negative. The effect of ion parallel compressibility on the peaking factor is significant, and leads to positive peaking factors in regions with high temperature gradients, even in the presence of in-out asymmetry.


title: Parallel Spherical Harmonic Transforms on heterogeneous architectures (GPUs/multi-core CPUs)

abstract: Spherical Harmonic Transforms (SHT) are at the heart of many scientific and practical applications ranging from climate modelling to cosmological observations. In many of these areas new, cutting-edge science goals have been recently proposed requiring simulations and analyses of experimental or observational data at very high resolutions and of unprecedented volumes. Both these aspects pose formidable challenge for the currently existing implementations of the transforms. This paper describes parallel algorithms for computing SHT with two variants of intra-node parallelism appropriate for novel supercomputer architectures, multi-core processors and Graphic Processing Units (GPU). It also discusses their performance, alone and embedded within a top-level, MPI-based parallelisation layer ported from the S2HAT library, in terms of their accuracy, overall efficiency and scalability. We show that our inverse SHT run on GeForce 400 Series GPUs equipped with latest CUDA architecture ("Fermi") outperforms the state of the art implementation for a multi-core processor executed on a current Intel Core i7-2600K. Furthermore, we show that an MPI/CUDA version of the inverse transform run on a cluster of 128 Nvidia Tesla S1070 is as much as 3 times faster than the hybrid MPI/OpenMP version executed on the same number of quad-core processors Intel Nahalem for problem sizes motivated by our target applications. Performance of the direct transforms is however found to be at the best comparable in these cases. We discuss in detail the algorithmic solutions devised for major steps involved in the transforms calculation, emphasising those with a major impact on their overall performance, and elucidates the sources of the dichotomy between the direct and the inverse operations.

categories: cs.DC astro-ph.CO physics.ao-ph physics.comp-ph physics.geo-ph


title: From QCD color coherence to inclusive distributions and correlations in jets

abstract: In this paper we briefly review some examples of inclusive energy-momentum distributions and correlations in QCD intra-jet cascades. Emphasis is given to the role of gluon coherence effects in final states hadron spectra. These observables provide tests of the Local Parton Hadron Duality (LPHD) hypothesis.


title: Ferromagnetic and antiferromagnetic dimer splittings in LaMn0.1Ga0.9O3

abstract: Inelastic neutron scattering was employed to study the magnetic excitations of Mn3+ dimers in LaMn0.1Ga0.9O3. The nearest-neighbor interaction of Mn3+ ions is ferromagnetic in the basal (a,b)-plane, but antiferromagnetic along the c-direction, thus two different types of dimer excitations are simultaneously present in the experiments. From the observed energy spectra we derive Heisenberg-type exchange interactions Jab=0.210(4) meV and Jc=-0.285(5) meV as well as an axial anisotropy parameter D=0.036(6) meV. These parameters considerably differ from those derived for the isostructural parent compound LaMnO3 due to structural effects.


title: Filling boundaries of coarse manifolds in semisimple and solvable arithmetic groups

abstract: We provide partial results towards a conjectural generalization of a theorem of Lubotzky-Mozes-Raghunathan for arithmetic groups (over number fields or function fields) that implies, in low dimensions, both polynomial isoperimetric inequalities and finiteness properties. As a tool in our proof, we establish polynomial isoperimetric inequalities and finiteness properties for certain solvable groups that appear as subgroups of parabolic groups in semisimple groups, thus generalizing a theorem of Bux. We also develop a precise version of reduction theory for arithmetic groups whose proof is, for the most part, independent of whether the underlying global field is a number field or a function field.


title: $Z'$ Phenomenology: A Model-independent Analysis and Fit in Combination of Chiral Effective Theory and Anomaly Cancellation

abstract: To investigate $Z'$ phenomenology model-independent, we combine chiral effective theory with anomaly cancellation conditions without any other model input. We focus on $Z'$ mixings with $\gamma-Z$ in both mass and kinetic parts and calculate contributions to oblique $S,T,U$. The three sets of anomaly-free fermion $U(1)'$ charges parameterize the $Z'$ interactions with fermions. The cancellation of the $[U(1)']^3$ anomaly and mixing gravitational-gauge anomaly determines the number of right-handed neutrinos. We also find a novel relation between the charge assignments and Stueckelberg coupling in terms of the renormalized electromagnetic current. A global fit to the electroweak precise observables shows that typical values for the mixing parameters are of order $10^{-3}$. In spite of this strict limit, we obtain a negative $S$ parameter contribution.


title: The variable Crab Nebula

abstract: The remarkable Crab Nebula is powered by an energetic pulsar whose relativistic wind interacts with the inner parts of the Supernova Remnant SN1054. Despite low-intensity optical and X-ray variations in the inner Nebula, the Crab has been considered until now substantially stable at X-ray and gamma-ray energies. This paradigm has been shattered by the AGILE discovery in September 2010 of a very intense transient gamma-ray flare of nebular origin. For the first time, the Crab Nebula was "caught in the act" of accelerating particles up to 10^15 eV within the shortest timescale ever observed in a cosmic nebula (1 day or less). Emission between 50 MeV and a few GeV was detected with a quite hard spectrum within a short timescale. Additional analysis and recent Crab Nebula data lead to identify a total of four major flaring gamma-ray episodes detected by AGILE and Fermi during the period mid-2007/mid-2011. These observations challenge emission models of the pulsar wind interaction and particle acceleration processes. Indeed, the discovery of fast and efficient gamma-ray transient emission from the Crab leads to substantially revise current models of particle acceleration.


title: Stationarity and Geometric Ergodicity of BEKK Multivariate GARCH Models

abstract: Conditions for the existence of strictly stationary multivariate GARCH processes in the so-called BEKK parametrisation, which is the most general form of multivariate GARCH processes typically used in applications, and for their geometric ergodicity are obtained. The conditions are that the driving noise is absolutely continuous with respect to the Lebesgue measure and zero is in the interior of its support and that a certain matrix built from the GARCH coefficients has spectral radius smaller than one. To establish the results semi-polynomial Markov chains are defined and analysed using algebraic geometry.


title: On the Tree-Level Structure of Scattering Amplitudes of Massless Particles

abstract: We provide a new set of on-shell recursion relations for tree-level scattering amplitudes, which are valid for any non-trivial theory of massless particles. In particular, we reconstruct the scattering amplitudes from (a subset of) their poles and zeroes. The latter determine the boundary term arising in the BCFW-representation when the amplitudes do not vanish as some momenta are taken to infinity along some complex direction. Specifically, such a boundary term can be expressed as a sum of products of two on-shell amplitudes with fewer external states and a factor dependent on the location of the relevant zeroes and poles. This allows us to recast the amplitudes to have the standard BCFW-structure, weighted by a simple factor dependent on a subset of zeroes and poles of the amplitudes. We further comment on the physical interpretation of the zeroes as a particular kinematic limit in the complexified momentum space. The main implication of the existence of such recursion relations is that the tree-level approximation of any consistent theory of massless particles can be fully determined just by the knowledge of the corresponding three-particle amplitudes.


title: Low-Temperature Light Detectors: Neganov-Luke Amplification and Calibration

abstract: The simultaneous measurement of phonons and scintillation light induced by incident particles in a scintillating crystal such as CaWO4 is a powerful technique for the active rejection of background induced by gamma's and beta's and even neutrons in direct Dark Matter searches. However, less than ~1% of the energy deposited in a CaWO4 crystal is detected as light. Thus, very sensitive light detectors are needed for an efficient event-by-event background discrimination. Due to the Neganov-Luke effect, the threshold of low-temperature light detectors based on semiconducting substrates can be improved significantly by drifting the photon-induced electron-hole pairs in an applied electric field. We present measurements with low-temperature light detectors based on this amplification mechanism. The Neganov-Luke effect makes it possible to improve the signal-to-noise ratio of our light detectors by a factor of ~9 corresponding to an energy threshold of ~21 eV. We also describe a method for an absolute energy calibration using a light-emitting diode.


title: Innovative observing strategy and orbit determination for Low Earth Orbit Space Debris

abstract: We present the results of a large scale simulation, reproducing the behavior of a data center for the build-up and maintenance of a complete catalog of space debris in the upper part of the low Earth orbits region (LEO). The purpose is to determine the performances of a network of advanced optical sensors, through the use of the newest orbit determination algorithms developed by the Department of Mathematics of Pisa (DM). Such a network has been proposed to ESA in the Space Situational Awareness (SSA) framework by Carlo Gavazzi Space SpA (CGS), Istituto Nazionale di Astrofisica (INAF), DM, and Istituto di Scienza e Tecnologie dell'Informazione (ISTI-CNR). The conclusion is that it is possible to use a network of optical sensors to build up a catalog containing more than 98% of the objects with perigee height between 1100 and 2000 km, which would be observable by a reference radar system selected as comparison. It is also possible to maintain such a catalog within the accuracy requirements motivated by collision avoidance, and to detect catastrophic fragmentation events. However, such results depend upon specific assumptions on the sensor and on the software technologies.


title: Generic approximation of functions by their Pad\'{e} approximants

abstract: Generic approximation of entire functions by their Pad\'{e} approximants has been achieved in the past (\cite{3}). In the present article we obtain generic approximation of holomorphic functions on arbitrary open sets by sequences of their Pad\'{e} approximants. Similar results hold with functions smooth on the boundary of their domain of definition. In addition, the approximation is valid simultaneously with respect to all centers of expansion.


title: Bias-Controlled Selective Excitation of Vibrational Modes in Molecular Junctions: A Route Towards Mode-Selective Chemistry

abstract: We show that individual vibrational modes in single-molecule junctions with asymmetric molecule-lead coupling can be selectively excited by applying an external bias voltage. Thereby, a non-statistical distribution of vibrational energy can be generated, that is, a mode with a high frequency can be stronger excited than a mode with a lower frequency. This is of particular interest in the context of mode-selective chemistry, where one aims to break specific (not necessarily the weakest) chemical bond in a molecule. Such mode-selective vibrational excitation is demonstrated for two generic model systems representing asymmetric molecular junctions and/or scanning tunneling microscopy experiments. To this end, we employ two complementary theoretical approaches, a nonequilibrium Green's function approach and a master equation approach. The comparison of both methods reveals good agreement in describing resonant electron transport through a single-molecule contact, but also highlights the role of non-resonant transport processes, in particular co-tunneling and off-resonant electron-hole pair creation processes.


title: Proposal of Pattern Recognition as a necessary and sufficient Principle to Cognitive Science

abstract: Despite the prevalence of the Computational Theory of Mind and the Connectionist Model, the establishing of the key principles of the Cognitive Science are still controversy and inconclusive. This paper proposes the concept of Pattern Recognition as Necessary and Sufficient Principle for a general cognitive science modeling, in a very ambitious scientific proposal. A formal physical definition of the pattern recognition concept is also proposed to solve many key conceptual gaps on the field.


title: Cosmic Bounces and Cyclic Universes

abstract: Cosmological models involving a bounce from a contracting to an expanding universe can address the standard cosmological puzzles and generate "primordial" density perturbations without the need for inflation. Some such models, in particular the ekpyrotic and cyclic models that we focus on, fit rather naturally into string theory. We discuss a number of topics related to these models: the reasoning that leads to the ekpyrotic phase, the predictions for upcoming observations, the differences between singular and non-singular models of the bounce as well as the predictive and explanatory power offered by these models.


title: Dirac fermions in strong gravitational fields

abstract: We discuss the dynamics of the Dirac fermions in the general strong gravitational and electromagnetic fields. We derive the general Hermitian Dirac Hamiltonian and transform it to the Foldy-Wouthuysen representation for the spatially isotropic metric. The quantum operator equations of motion are obtained and the semiclassical limit is analyzed. The comparison of the quantum mechanical and classical equations shows their complete agreement. The helicity dynamics in strong fields is discussed. Squaring the covariant Dirac equation explicitly shows a similarity of the interactions of electromagnetic and gravitational fields with a charged and spinning particle.


title: A heterogeneous zero-range process related to a two-dimensional walk model

abstract: We have considered a disordered driven-diffusive system defined on a ring. This system can be mapped onto a heterogeneous zero-range process. We have shown that the grand-canonical partition function of this process can be obtained using a matrix product formalism and that it is exactly equal to the partition function of a two-dimensional walk model. The canonical partition function of this process is also calculated. Two simple examples are presented in order to confirm the results.


title: The Fermi view of gamma-ray bursts

abstract: Since its successful launch in June 2008, the {\it Fermi} Gamma-ray Space Telescope has made important breakthroughs in the understanding of the Gamma-Ray Burst (GRB) phenomemon. The combination of the GBM and the LAT instruments onboard the {\it Fermi} observatory has provided a wealth of information from its observations of GRBs over seven decades in energy. We present brief descriptions of the {\it Fermi} instruments and their capabilities for GRB science, and report highlights from {\it Fermi} observations of high-energy prompt and extended GRB emission. The main physical implications of these results are discussed, along with open questions regarding GRB modelling. We emphasize future synergies with ground-based \v{C}erenkov telescopes at the time of the SVOM mission.


title: Coupling between switching regulation and torque generation in bacterial flagellar motor

abstract: The bacterial flagellar motor plays a crucial role in both bacterial locomotion and chemotaxis. Recent experiments reveal that the switching dynamics of the motor depends on the motor rotation speed, and thus the motor torque, non-monotonically. Here we present a unified mathematical model which models motor torque generation based on experimental torque-speed curves and torque-dependent switching based on the conformational spread model. The model successfully reproduces the observed switching rate as a function of the rotation speed, and provides a generic physical explanation independent of most details. A stator affects the switching dynamics through two mechanisms: accelerating the conformation flipping rates of individual rotor switching units, which favours slower motor speed and thus increasing torque; and affecting more switching units within unit time, which favours faster speed. Consequently, the switching rate shows a maximum at intermediate speed. Our model predicts that a motor switches more often with more stators. The load-switching relation may serve as a mechanism for sensing the physical environment, similar to the chemotaxis system for sensing the chemical environment. It may also coordinate the switch dynamics of motors within a cell.


title: Quantum Optimal Control Theory in the Linear Response Formalism

abstract: Quantum optimal control theory (QOCT) aims at finding an external field that drives a quantum system in such a way that optimally achieves some predefined target. In practice this normally means optimizing the value of some observable, a so called merit function. In consequence, a key part of the theory is a set of equations, which provides the gradient of the merit function with respect to parameters that control the shape of the driving field. We show that these equations can be straightforwardly derived using the standard linear response theory, only requiring a minor generalization -- the unperturbed Hamiltonian is allowed to be time-dependent. As a result, the aforementioned gradients are identified with certain response functions. This identification leads to a natural reformulation of QOCT in term of the Keldysh contour formalism of the quantum many-body theory. In particular, the gradients of the merit function can be calculated using the diagrammatic technique for non-equilibrium Green's functions, which should be helpful in the application of QOCT to computationally difficult many-electron problems.


title: Achievable Rates of MIMO Systems with Linear Precoding and Iterative LMMSE Detection

abstract: We establish area theorems for iterative detection over coded linear systems (including multiple-input multipleoutput (MIMO) channels, inter-symbol-interference (ISI) channels, and orthogonal frequency-division multiplexing (OFDM) systems). We propose a linear precoding technique that asymptotically ensures the Gaussianness of the messages passed in iterative detection, as the transmission block length tends to infinity. We show that the proposed linear precoding scheme with iterative linear minimum mean-square error (LMMSE) detection is potentially information lossless, under various assumptions on the availability of channel state information at the transmitter (CSIT). Numerical results are provided to verify our analysis.


title: Spatially Resolved Dynamic Structure Factor of Finite Systems from MD Simulations

abstract: The dynamical response of metallic clusters up to $10^3$ atoms is investigated using the restricted molecular dynamics simulations scheme. Exemplarily, sodium like material is considered. Correlation functions are evaluated to investigate the spatial structure of collective electron excitations and optical response of laser excited clusters. In particular, the spectrum of bi-local correlation functions shows resonances representing different modes of collective excitations inside the nano plasma. The spatial structure, the resonance energy and width of the eigenmodes have been investigated for various values of electron density, temperature, cluster size and ionization degree. Comparison with bulk properties is performed and the dispersion relation of collective excitations is discussed.


title: Three Nucleon Force Effects in Intermediate Energy Deuteron Analyzing Powers for dp Elastic Scattering

abstract: A complete high precision set of deuteron analyzing powers for elastic deuteron-proton ($dp$) scattering at 250 MeV/nucleon (MeV/N) has been measured. The new data are presented together with data from previous measurements at 70, 100, 135 and 200 MeV/N. They are compared with the results of three-nucleon (3N) Faddeev calculations based on modern nucleon-nucleon (NN) potentials alone or combined with two models of three nucleon forces (3NFs): the Tucson-Melbourne 99 (TM99) and Urbana IX. At 250 MeV/N large discrepancies between pure NN models and data, which are not resolved by including 3NFs, were found at c.m.\ backward angles of $\theta_{\rm c.m.}\gtrsim 120^\circ$ for almost all the deuteron analyzing powers. These discrepancies are quite similar to those found for the cross section at the same energy. We found small relativistic effects that cannot resolve the discrepancies with the data indicating that other, short-ranged 3NFs are required to obtain a proper description of the data.


title: The ground state phase diagram of the diluted ferromagnetic Kondo-lattice model

abstract: We investigate the existence of several (anti-)ferromagnetic phases in the diluted ferromagnetic Kondo-lattice model, i.e. ferromagnetic coupling of local moment and electron spin. To do this we use a coherent potential approximation (CPA) with a dynamical alloy analogy. For the CPA we need effective potentials, which we get first from a mean-field approximation. To improve this treatment we use in the next step a more appropriate moment conserving decoupling approach and compare both methods. The different magnetic phases are modelled by defining two magnetic sublattices. As a result we present zero-temperature phase diagrams according to the important model parameters and different dilutions.


title: The Distribution of the Elements in the Galactic Disk II. Azimuthal and Radial Variation in Abundances from Cepheids

abstract: This paper reports on the spectroscopic investigation of 101 Cepheids in the Carina region. These Cepheids extend previous samples by about 35% in number and increase the amount of the galactic disk coverage especially in the direction of l \approx 270{\deg}. The new Cepheids do not add much information to the radial gradient, but provide a substantial increase in azimuthal coverage. We find no azimuthal dependence in abundance over an 80{\deg} angle from the galactic center in an annulus of 1 kpc depth centered on the Sun. A simple linear fit to the Cepheid data yields a gradient d[Fe/H]/dRG = -0.055 \pm 0.003 dex/kpc which is somewhat shallower than found from our previous, smaller Cepheid sample.


title: Laser emission with excitonic gain in a ZnO planar microcavity

abstract: The lasing operation of a ZnO planar microcavity under optical pumping is demonstrated from T=80 K to 300 K. At the laser threshold, the cavity switches from the strong coupling to the weak coupling regime. A gain-related transition, which appears while still observing polariton branches and, thus, with stable excitons, is observed below 240K. This shows that exciton scattering processes, typical of II-VI semiconductors, are involved in the gain process.


title: Detection of the Pulsar Wind Nebula HESS J1825-137 with the Fermi Large Area Telescope

abstract: We announce the discovery of 1 - 100 GeV gamma-ray emission from the archetypal TeV pulsar wind nebula HESS J1825-137 using 20 months of survey data from the Fermi Large Area Telescope (LAT). The gamma-ray emission detected by the LAT is significantly spatially extended, with a best-fit rms extension of sigma = 0.56{\deg} $\pm$ 0.07{\deg} for an assumed Gaussian model. The 1 - 100 GeV LAT spectrum of this source is well described by a power-law with a spectral index of 1.38 $\pm$ 0.12 $\pm$ 0.16 and an integral flux above 1 GeV of (6.50 $\pm$ 0.21 $\pm$ 3.90) x 10^{-9} cm^{-2} s^{-1}. The first errors represent the statistical errors on the fit parameters, while the second ones are the systematic uncertainties. Detailed morphological and spectral analyses bring new constraints on the energetics and magnetic field of the pulsar wind nebula system. The spatial extent and hard spectrum of the GeV emission are consistent with the picture of an inverse Compton origin of the GeV-TeV emission in a cooling-limited nebula powered by the pulsar PSR J1826-1334.


title: Spinless bosons embedded in a vector Duffin-Kemmer-Petiau oscillator

abstract: Some properties of minimal and nonminimal vector interactions in the Duffin-Kemmer-Petiau (DKP) formalism are discussed. The conservation of the total angular momentum for spherically symmetric nonminimal potentials is derived from its commutation properties with each term of the DKP equation and the proper boundary conditions on the spinors are imposed. It is shown that the space component of the nonminimal vector potential plays a crucial role for the confinement of bosons. The exact solutions for the vector DKP oscillator (nonminimal vector coupling with a linear potential which exhibits an equally spaced energy spectrum in the weak-coupling limit) for spin-0 bosons are presented in a closed form and it is shown that the spectrum exhibits an accidental degeneracy.


title: The central point source in G76.9+1.0

abstract: We describe the serendipitous discovery of a radio point source in a 618 MHz image of the supernova remnant(SNR) G76.9+1.0. The SNR has a bipolar structure and the point source is located near a faint bridge of emission joining the two lobes of emission. The point source was also detected in follow-up higher frequency(1170 MHz) observations. The spectral index for the point source obtained from the GMRT observations is alpha = -2.1. The steep spectrum, as well as the location of the point source near the centre of the SNR establish the fact that it is indeed the pulsar J2022+3842 associated with this SNR. Consistent with this, subsequent analysis of archival Chandra X-ray data shows a point source coincident with the radio point source, as well as diffuse extended X-ray emission surrounding the unresolved source. However, no pulsed emission was detected despite deep searches at both 610 MHz and 1160 MHz although pulsed emission has been seen at 2 GHz with the GBT. It appears that the most likely reason for not detecting the pulsed signal at the GMRT is temporal broadening: for the estimated DM towards this SNR, the pulse broadening time could be as large as tens of milliseconds. The diffuse X-ray emission is elongated along the same direction as the bipolar structure seen in the radio. We interpret the radio lobes as having been formed from an equatorial wind. Although direct detection of pulsed signal has not been possible, we show convincingly that sensitive, high-resolution, radio imaging at multiple frequencies is a useful method to search for pulsar candidates.


title: Thomas-Fermi approximation to pairing in finite Fermi systems. The weak coupling regime

abstract: We present a new semiclassical theory for describing pairing in finite Fermi systems. It is based on taking the $\hbar \to 0$, i.e. Thomas-Fermi, limit of the gap equation written in the basis of the mean field (weak coupling). In addition to the position dependence of the Fermi momentum, the size dependence of the pairing force is also taken into account in this theory. Along isotopic chains the Thomas-Fermi gaps average the well known arch structure shown by the quantal gaps. This structure can be almost recovered in our formalism if some shell fluctuations are included in the level density. We point out that at the drip line nuclear pairing is strongly reduced. This fact is illustrated with the behavior of the gap in the inner crust of neutron stars.


title: Exploring the thermodynamics of a two-dimensional Bose gas

abstract: Using \emph{in situ} measurements on a quasi two-dimensional, harmonically trapped $^{87}$Rb gas, we infer various equations of state for the equivalent homogeneous fluid. From the dependence of the total atom number and the central density of our clouds with the chemical potential and temperature, we obtain the equations of state for the pressure and the phase-space density. Then using the approximate scale invariance of this two-dimensional system, we determine the entropy per particle. We measure values as low as $0.06\,\kB$ in the strongly degenerate regime, which shows that a 2D Bose gas can constitute an efficient coolant for other quantum fluids. We also explain how to disentangle the various contributions (kinetic, potential, interaction) to the energy of the trapped gas using a time-of-flight method, from which we infer the reduction of density fluctuations in a non fully coherent cloud.


title: A correlation between host star activity and planet mass for close-in extrasolar planets?

abstract: The activity levels of stars are influenced by several stellar properties, such as stellar rotation, spectral type and the presence of stellar companions. In analogy to binaries, planetary companions are also thought to be able to cause higher activity levels in their host stars, although at lower levels. Especially in X-rays, such influences are hard to detect because coronae of cool stars exhibit a considerable amount of intrinsic variability. Recently, a correlation between the mass of close-in exoplanets and their host star's X-ray luminosity has been detected, based on archival X-ray data from the ROSAT All-Sky Survey. This finding has been interpreted as evidence for Star-Planet Interactions. We show in our analysis that this correlation is caused by selection effects due to the flux limit of the X-ray data used and due to the intrinsic planet detectability of the radial velocity method, and thus does not trace possible planet-induced effects. We also show that the correlation is not present in a corresponding complete sample derived from combined XMM-Newton and ROSAT data.


title: Evolution of Things

abstract: Evolution is one of the major omnipresent powers in the universe that has been studied for about two centuries. Recent scientific and technical developments make it possible to make the transition from passively understanding to actively mastering evolution. As of today, the only area where human experimenters can design and manipulate evolutionary processes in full is that of Evolutionary Computing, where evolutionary processes are carried out in a digital space, inside computers, in simulation. We argue that in the near future it will be possible to move evolutionary computing outside such imaginary spaces and make it physically embodied. In other words, we envision the "Evolution of Things", rather than just the evolution of code, leading to a new field of Embodied Artificial Evolution (EAE). The main objective of the present paper is to offer an umbrella term and vision in order to aid the development of this high potential research area. To this end, we introduce the notion of EAE, discuss a few examples and applications, and elaborate on the expected benefits as well as the grand challenges this developing field will have to address.


title: Topology on rational points over higher local fields

abstract: We develop a sequential-topological study of rational points of schemes of finite type over local rings typical in higher dimensional number theory and algebraic geometry. These rings are certain types of multidimensional complete fields and their rings of integers and include higher local fields. Our results extend the constructions of Weil over (one-dimensional) local fields. We establish the existence of an appropriate topology on the set of rational points of schemes of finite type over any of the rings considered, study the functoriality of this construction and deduce several properties.


title: The almost sure behavior of certain spatial repartitions of local empirical processes indexed by functions

abstract: We investigate a particular form of weak convergence of the local empirical process.


title: Production of Triply Heavy Baryons at LHC

abstract: Triply heavy baryons are very interesting hadrons to be explored for they provide particular information about strong interactions, hadron structures, and weak decays of heavy baryons. We calculate the hadronic production cross sections of the \Omega_{ccc} and the \Omega_{ccb}, which are dominated by the gg fusion subprocesses containing 4362 and 1454 Feynman diagrams, respectively. A method for generating and calculating tree level Feynman diagrams automatically is developed to deal with complicated processes containing so many diagrams. Our results show that 10^4-10^5 events of triply heavy baryons can be accumulated for 10 fb^{-1} integrated luminosity at LHC. Signatures of the triply heavy baryons are pointed out, with emphasis on the decay modes \Omega_{ccc} -> \Omega_{sss} + 3 \pi^+ and \Omega_{ccb} -> \Omega_{sss} + 3 \pi^+ +\pi^-. We conclude that it is quite promising to discover them at LHC.


title: On the orbital parameters of Be/X-ray binaries in the Small Magellanic Cloud

abstract: The orbital motion of a neutron star about its optical companion presents a window through which to study the orbital parameters of that binary system. This has been used extensively in the Milky Way to calculate these parameters for several high-mass X-ray binaries. Using several years of RXTE PCA data, we derive the orbital parameters of four Be/X-ray binary systems in the SMC, increasing the number of systems with orbital solutions by a factor of three. We find one new orbital period, confirm a second and discuss the parameters with comparison to the Galactic systems. Despite the low metallicity in the SMC, these binary systems sit amongst the Galactic distribution of orbital periods and eccentricities, suggesting that metallicity may not play an important role in the evolution of high-mass X-ray binary systems. A plot of orbital period against eccentricity shows that the supergiant, Be and low eccentricity OB transient systems occupy separate regions of the parameter space; akin to the separated regions on the Corbet diagram. Using a Spearman's rank correlation test, we also find a possible correlation between the two parameters. The mass functions, inclinations and orbital semimajor axes are derived for the SMC systems based on the binary parameters and the spectral classification of the optical counterpart. As a by-product of our work, we present a catalogue of the orbital parameters for every high-mass X-ray binary in the Galaxy and Magellanic Clouds for which they are known.


title: Scaling theory of continuum dislocation dynamics in three dimensions: Self-organized fractal pattern formation

abstract: We focus on mesoscopic dislocation patterning via a continuum dislocation dynamics theory (CDD) in three dimensions (3D). We study three distinct physically motivated dynamics which consistently lead to fractal formation in 3D with rather similar morphologies, and therefore we suggest that this is a general feature of the 3D collective behavior of geometrically necessary dislocation (GND) ensembles. The striking self-similar features are measured in terms of correlation functions of physical observables, such as the GND density, the plastic distortion, and the crystalline orientation. Remarkably, all these correlation functions exhibit spatial power-law behaviors, sharing a single underlying universal critical exponent for each type of dynamics.


title: Highly lopsided information and the Borel hierarchy

abstract: In a game where both contestants have perfect information, there is a strict limit on how perfect that information can be. By contrast, when one player is deprived of all information, the limit on the other player's information disappears, admitting a hierarchy of levels of lopsided perfection of information. We turn toward the question of when the player with super-perfect information has a winning strategy, and we exactly answer this question for a specific family of lopsided-information games which we call guessing games.


title: 2XMM Ultraluminous X-Ray Source Candidates in Nearby Galaxies

abstract: Ultraluminous X-ray sources (ULXs) are some of the most enigmatic X-ray bright sources known to date. It is generally accepted that they cannot host black holes as large as those associated with active galaxies, but they appear to be significantly more luminous than their better understood Galactic X-ray binary (XRB) cousins, while displaying an intriguing combination of differences and similarities with them. Through studying large, representative samples of these sources we may hope to enhance our understanding of them. To this end, we derive a large catalogue of 650 X-ray detections of 470 ULX candidates, located in 238 nearby galaxies, by cross correlating the 2XMM Serendipitous Survey with the Third Reference Catalogue of Bright Galaxies. The presented dedicated catalogue offers a significant improvement over those previously published both in terms of number and the contribution of background contaminants, e.g. distant quasars, which we estimate to be at most 24 per cent, but more likely ~17 per cent. To undertake population studies, we define a `complete' sub-sample of sources compiled from observations of galaxies with sensitivity limits below 10^39 erg/s. The luminosity function of this sample is consistent with a simple power-law. Although we do not find any statistical requirement for a high luminosity cut-off, as has been reported previously, we are not able to rule out its presence. Also, we find that the number of ULXs per unit galaxy mass decreases with increasing galaxy mass for ULXs associated with spiral galaxies, in broad agreement with previous results, but is consistent with being constant with galaxy mass for sources associated with elliptical galaxies.


title: Analytic evaluation of diffuse fluence error in multi-layer scattering media with discontinuous refractive index

abstract: A simple analytic method of estimating the error involved in using an approximate boundary condition for diffuse radiation in two adjoining scattering media with differing refractive index is presented. The method is based on asymptotic planar fluences and enables the relative error to be readily evaluated without recourse to Monte Carlo simulation. Three examples of its application are considered: (1) evaluating the error in calculating the diffuse fluences at a boundary between two media with differing refractive index and dissimilar scattering properties (2) the dependence of the relative error in a multilayer medium with discontinuous refractive index on the ratio of the reduced scattering coefficient to the absorption coefficient ms'/ma (3) the parametric dependence of the error in the radiant flux Js at the surface of a three-layer medium. The error is significant for strongly forward biased scattering media with non-negligible absorption and is cumulative in multi-layered media with refractive index increments between layers.


title: Bose-Einstein Condensate in a light-induced vector potential using the 1064 $nm$ optical dipole trap lasers

abstract: We present a simple experiment of creating an effective vector gauge potential for Bose-Einstein condensed $^{87}$Rb in the F=2 hyperfine ground state using two crossed 1064 $nm$ optical dipole trap lasers as the Raman beams. Due to the far-detuning from the single-photon resonance with the electronically excited state, the spontaneous emission is strongly reduced, at the same time, the moderate strength of the Raman coupling still can be achieved. The atoms at the far detuning of the Raman coupling are loaded adiabatically into the dressed states by ramping the homogeneous bias magnetic field to resonance and the different energy dressed states are studied. This experiment is easily extended to produce synthetic magnetic or electric field from a spatial or time dependence of the effective vector potential.


title: Hausdorff dimension of visibility sets for well-behaved continuum percolation in the hyperbolic plane

abstract: Let Z be a so-called well-behaved percolation, i.e. a certain random closed set in the hyperbolic plane, whose law is invariant under all isometries; for example the covered region in a Poisson Boolean model. The Hausdorff-dimension of the set of directions is determined in terms of the $\alpha$-value of Z in which visibility from a fixed point to the ideal boundary of the hyperbolic plane is possible within Z. Moreover, the Hausdorff-dimension of the set of (hyperbolic) lines through a fixed point contained in Z is calculated. Thereby several conjectures raised by Benjamini, Jonasson, Schramm and Tykesson are confirmed.


title: Probability distribution function for a solid with vacancies

abstract: Expression for probability distribution is got taking into account a presence and removal of degeneracy on the microstates. Its application allows to describe the process of melting of solids, as saltatory phase transition of the first kind without bringing in of concept of the order parameter.


title: Imprinting interference fringes in massive optomechanical systems

abstract: An interferometric scheme for the creation of momentum superposition states of mechanical oscillators, using a quantum mirror kicked by free photons is analyzed. The scheme features ultra-fast preparation with immediate detection and should allow for the observation of signatures of momentum superpositions in a massive macroscopic system at non-zero temperatures. It is robust against thermalized initial states, displacement and movement, mirror imperfections, and the measurements' back-actions.


title: On discrete fractional integral operators and related Diophantine equations

abstract: We study discrete versions of fractional integral operators along curves and surfaces. $l^p \to l^q$ estimates are obtained from upper bounds of the number of solutions of associated Diophantine systems. In particular, this relates the discrete fractional integral along the curve $\gamma(m) = (m,m^2,...,m^k)$ to Vinogradov's mean value theorem. Sharp $l^p \to l^q$ estimates of the discrete fractional integral along the hyperbolic paraboloid in $\mathbf{Z}^3$ are also obtained except for endpoints.


title: Landau Quantization in Twisted Bilayer Graphenes: the Dirac Comb

abstract: We study the Landau quantization of the electronic spectrum for graphene bilayers that are rotationally faulted to produce periodic superlattices. Commensurate twisted bilayers exist in two families distinguished by their sublattice exchange parity. We show that these two families exhibit distinct Landau quantized spectra distinguished both by the interlayer coupling of their zero modes and by an amplitude modulation of their spectra at energies above their low energy interlayer coherence scales. These modulations can provide a powerful experimental probe of the magnitude of a weak coherence splitting in a bilayer and its low energy mass structure.


title: Generators and dimensions of derived categories

abstract: Several years ago, Bondal, Rouquier and Van den Bergh introduced the notion of the dimension of a triangulated category, and Rouquier proved that the bounded derived category of coherent sheaves on a separated scheme of finite type over a perfect field has finite dimension. In this paper, we study the dimension of the bounded derived category of finitely generated modules over a commutative Noetherian ring. The main result of this paper asserts that it is finite over a complete local ring containing a field with perfect residue field. Our methods also give a ring-theoretic proof of the affine case of Rouquier's theorem.


title: Magnetic Exchange Interactions in BaMn2As2: A Case Study of the J1-J2-Jc Heisenberg Model

abstract: BaMn2As2 is unique among BaT2As2 compounds crystallizing in the body-centered-tetragonal ThCr2Si2 structure, which contain stacked square lattices of 3d transition metal T atoms, since it has an insulating large-moment (3.9 muB/Mn) G-type (checkerboard) antiferromagnetic AF ground state. We report measurements of the anisotropic magnetic susceptibility chi versus temperature T from 300 to 1000 K of single crystals of BaMn2As2, and magnetic inelastic neutron scattering measurements at 8 K and 75As NMR measurements from 4 to 300 K of polycrystalline samples. The Neel temperature determined from the chi(T) measurements is TN = 618(3) K. The measurements are analyzed using the J1-J2-Jc Heisenberg model. Linear spin wave theory for G-type AF ordering and classical and quantum Monte Carlo simulations and molecular field theory calculations of chi(T) and of the magnetic heat capacity Cmag(T) are presented versus J1, J2 and Jc. We also obtain band theoretical estimates of the exchange couplings in BaMn2As2. From analyses of our chi(T), NMR, neutron scattering, and previously published heat capacity data for BaMn2As2 on the basis of the above theories for the J1-J2-Jc Heisenberg model and our band-theoretical results, our best estimates of the exchange constants in BaMn2As2 are J1 = 13 meV, J2/J1 = 0.3 and Jc/J1 = 0.1, which are all antiferromagnetic. From our classical Monte Carlo simulations of the G-type AF ordering transition, these exchange parameters predict TN = 640 K for spin S = 5/2, in close agreement with experiment. Using spin wave theory, we also utilize these exchange constants to estimate the suppression of the ordered moment due to quantum fluctuations for comparison with the observed value and again obtain S = 5/2 for the Mn spin.


title: Log canonical thresholds, F-pure thresholds, and non-standard extensions

abstract: We present a new relation between an invariant of singularities in characteristic zero (the log canonical threshold) and an invariant of singularities defined via the Frobenius morphism in positive characteristic (the F-pure threshold). We show that the set of limit points of sequences of the form (c_p), where c_p is the F-pure threshold of an ideal on an n-dimensional smooth variety in characteristic p, coincides with the set of log canonical thresholds of ideals on n-dimensional smooth varieties in characteristic zero. We prove this by combining results of Hara and Yoshida with non-standard constructions.


title: Measurement of the Inclusive Jet Cross Section in pp Collisions at sqrt(s) = 7 TeV

abstract: The inclusive jet cross section is measured in pp collisions with a center-of-mass energy of 7 TeV at the LHC using the CMS experiment. The data sample corresponds to an integrated luminosity of 34 inverse picobarns. The measurement is made for jet transverse momenta in the range 18-1100 GeV and for absolute values of rapidity less than 3. The measured cross section extends to the highest values of jet pT ever observed and, within the experimental and theoretical uncertainties, is generally in agreement with next-to-leading-order perturbative QCD predictions.


title: AEGIS at CERN: Measuring Antihydrogen Fall

abstract: The main goal of the AEGIS experiment at the CERN Antiproton Decelerator is the test of fundamental laws such as the Weak Equivalence Principle (WEP) and CPT symmetry. In the first phase of AEGIS, a beam of antihydrogen will be formed whose fall in the gravitational field is measured in a Moire' deflectometer; this will constitute the first test of the WEP with antimatter.

categories: hep-ph gr-qc physics.atom-ph physics.ins-det


title: Modular invariant Frobenius algebras from ribbon Hopf algebra automorphisms

abstract: For any finite-dimensional factorizable ribbon Hopf algebra H and any ribbon automorphism omega of H, we establish the existence of the following structure: an H-bimodule F_omega and a bimodule morphism Z_omega from Lyubashenko's Hopf algebra object K for the bimodule category to F_omega. This morphism is invariant under the natural action of the mapping class group of the one-punctured torus on the space of bimodule morphisms from K to F_omega. We further show that the bimodule F_omega can be endowed with a natural structure of a commutative symmetric Frobenius algebra in the monoidal category of H-bimodules, and that it is a special Frobenius algebra iff H is semisimple. The bimodules K and F_omega can both be characterized as coends of suitable bifunctors. The morphism Z_omega is obtained by applying a monodromy operation to the coproduct of F_omega; a similar construction for the product of F_omega exists as well. Our results are motivated by the quest to understand the bulk state space and the bulk partition function in two-dimensional conformal field theories with chiral algebras that are not necessarily semisimple.


title: A note on geodesic connectedness of G\"odel type spacetimes

abstract: In this note we reduce the problem of geodesic connectedness in a wide class of G\"odel type spacetimes to the search of critical points of a functional naturally involved in the study of geodesics in standard static spacetimes. Then, by using some known accurate results on the latter, we improve previous results on the former.


title: Dual doubled geometry

abstract: We probe doubled geometry with dual fundamental branes, i.e. solitons. Restricting ourselves first to solitonic branes with more than two transverse directions we find that the doubled geometry requires an effective wrapping rule for the solitonic branes which is dual to the wrapping rule for fundamental branes. This dual wrapping rule can be understood by the presence of Kaluza-Klein monopoles. Extending our analysis to supersymmetric solitonic branes with less than or equal to two transverse directions we show that such solitons are precisely obtained by applying the same dual wrapping rule to these cases as well. This extended wrapping rule can not be explained by the standard Kaluza-Klein monopole alone. Instead, it suggests the existence of a class of generalized Kaluza-Klein monopoles in ten-dimensional string theory.


title: BMS charge algebra

abstract: The surface charges associated with the symmetries of asymptotically flat four dimensional spacetimes at null infinity are constructed. They realize the symmetry algebra in general only up to a field-dependent central extension that satisfies a suitably generalized cocycle condition. This extension vanishes when using the globally well defined BMS algebra. For the Kerr black hole and the enlarged BMS algebra with both supertranslations and superrotations, some of the supertranslations charges diverge whereas there are no divergences for the superrotation charges. The central extension is proportional to the rotation parameter and involves divergent integrals on the sphere.


title: Poisson Yang-Baxter maps with binomial Lax matrices

abstract: A construction of multidimensional parametric Yang-Baxter maps is presented. The corresponding Lax matrices are the symplectic leaves of first degree matrix polynomials equipped with the Sklyanin bracket. These maps are symplectic with respect to the reduced symplectic structure on these leaves and provide examples of integrable mappings. An interesting family of quadrirational symplectic YB maps on $\mathbb{C}^4 \times \mathbb{C}^4$ with $3\times 3$ Lax matrices is also presented.


title: Multi-terminal magneto-transport in an interacting fractal network: a mean field study

abstract: Magneto-transport of interacting electrons in a Sierpinski gasket fractal is studied within a mean field approach. We work out the three-terminal transport and study the interplay of the magnetic flux threading the planar gasket and the dephasing effect introduced by the third lead. For completeness we also provide results of the two-terminal transport in presence of electron-electron interaction. It is observed that dephasing definitely reduces the transport, while the magnetic field generates a continuum in the transmission spectrum signaling a band of extended eigenstates in this non-translationally invariant fractal structure. The Hubbard interaction and the dephasing introduced by the third lead play their parts in reducing the average transmission, and opens up gaps in the spectrum, but can not destroy the continuum in the spectrum.


title: Algorithms for Low-Dimensional Topology

abstract: In this article, we re-introduce the so called "Arkaden-Faden-Lage" (AFL for short) representation of knots in 3 dimensional space introduced by Kurt Reidemeister and show how it can be used to develop efficient algorithms to compute some important topological knot structures. In particular, we introduce an efficient algorithm to calculate holonomic representation of knots introduced by V. Vassiliev and give the main ideas how to use the AFL representations of knots to compute the Kontsevich Integral. The methods introduced here are to our knowledge novel and can open new perspectives in the development of fast algorithms in low dimensional topology.


title: Using Lotkaian Informetrics for Ranking in Digital Libraries

abstract: The purpose of this paper is to propose the use of models, theories and laws in bibliometrics and scientometrics to enhance information retrieval processes, especially ranking. A common pattern in many man-made data sets is Lotka's Law which follows the well-known power-law distributions. These informetric distributions can be used to give an alternative order to large and scattered result sets and can be applied as a new ranking mechanism. The polyrepresentation of information in Digital Library systems is used to enhance the retrieval quality, to overcome the drawbacks of the typical term-based ranking approaches and to enable users to explore retrieved document sets from a different perspective.


title: The Good Old Davis-Putnam Procedure Helps Counting Models

abstract: As was shown recently, many important AI problems require counting the number of models of propositional formulas. The problem of counting models of such formulas is, according to present knowledge, computationally intractable in a worst case. Based on the Davis-Putnam procedure, we present an algorithm, CDP, that computes the exact number of models of a propositional CNF or DNF formula F. Let m and n be the number of clauses and variables of F, respectively, and let p denote the probability that a literal l of F occurs in a clause C of F, then the average running time of CDP is shown to be O(nm^d), where d=-1/log(1-p). The practical performance of CDP has been estimated in a series of experiments on a wide variety of CNF formulas.


title: Identifying Mislabeled Training Data

abstract: This paper presents a new approach to identifying and eliminating mislabeled training instances for supervised learning. The goal of this approach is to improve classification accuracies produced by learning algorithms by improving the quality of the training data. Our approach uses a set of learning algorithms to create classifiers that serve as noise filters for the training data. We evaluate single algorithm, majority vote and consensus filters on five datasets that are prone to labeling errors. Our experiments illustrate that filtering significantly improves classification accuracy for noise levels up to 30 percent. An analytical and empirical evaluation of the precision of our approach shows that consensus filters are conservative at throwing away good data at the expense of retaining bad data and that majority filters are better at detecting bad data at the expense of throwing away good data. This suggests that for situations in which there is a paucity of data, consensus filters are preferable, whereas majority vote filters are preferable for situations with an abundance of data.


title: Committee-Based Sample Selection for Probabilistic Classifiers

abstract: In many real-world learning tasks, it is expensive to acquire a sufficient number of labeled examples for training. This paper investigates methods for reducing annotation cost by `sample selection'. In this approach, during training the learning program examines many unlabeled examples and selects for labeling only those that are most informative at each stage. This avoids redundantly labeling examples that contribute little new information. Our work follows on previous research on Query By Committee, extending the committee-based paradigm to the context of probabilistic classification. We describe a family of empirical methods for committee-based sample selection in probabilistic classification models, which evaluate the informativeness of an example by measuring the degree of disagreement between several model variants. These variants (the committee) are drawn randomly from a probability distribution conditioned by the training set labeled so far. The method was applied to the real-world natural language processing task of stochastic part-of-speech tagging. We find that all variants of the method achieve a significant reduction in annotation cost, although their computational efficiency differs. In particular, the simplest variant, a two member committee with no parameters to tune, gives excellent results. We also show that sample selection yields a significant reduction in the size of the model used by the tagger.


title: Evolutionary Algorithms for Reinforcement Learning

abstract: There are two distinct approaches to solving reinforcement learning problems, namely, searching in value function space and searching in policy space. Temporal difference methods and evolutionary algorithms are well-known examples of these approaches. Kaelbling, Littman and Moore recently provided an informative survey of temporal difference methods. This article focuses on the application of evolutionary algorithms to the reinforcement learning problem, emphasizing alternative policy representations, credit assignment methods, and problem-specific genetic operators. Strengths and weaknesses of the evolutionary approach to reinforcement learning are presented, along with a survey of representative applications.


title: Markov Localization for Mobile Robots in Dynamic Environments

abstract: Localization, that is the estimation of a robot's location from sensor data, is a fundamental problem in mobile robotics. This papers presents a version of Markov localization which provides accurate position estimates and which is tailored towards dynamic environments. The key idea of Markov localization is to maintain a probability density over the space of all locations of a robot in its environment. Our approach represents this space metrically, using a fine-grained grid to approximate densities. It is able to globally localize the robot from scratch and to recover from localization failures. It is robust to approximate models of the environment (such as occupancy grid maps) and noisy sensors (such as ultrasound sensors). Our approach also includes a filtering technique which allows a mobile robot to reliably estimate its position even in densely populated environments in which crowds of people block the robot's sensors for extended periods of time. The method described here has been implemented and tested in several real-world applications of mobile robots, including the deployments of two mobile robots as interactive museum tour-guides.


title: Decentralized Markets versus Central Control: A Comparative Study

abstract: Multi-Agent Systems (MAS) promise to offer solutions to problems where established, older paradigms fall short. In order to validate such claims that are repeatedly made in software agent publications, empirical in-depth studies of advantages and weaknesses of multi-agent solutions versus conventional ones in practical applications are needed. Climate control in large buildings is one application area where multi-agent systems, and market-oriented programming in particular, have been reported to be very successful, although central control solutions are still the standard practice. We have therefore constructed and implemented a variety of market designs for this problem, as well as different standard control engineering solutions. This article gives a detailed analysis and comparison, so as to learn about differences between standard versus agent approaches, and yielding new insights about benefits and limitations of computational markets. An important outcome is that "local information plus market communication produces global control".


title: Reasoning about Minimal Belief and Negation as Failure

abstract: We investigate the problem of reasoning in the propositional fragment of MBNF, the logic of minimal belief and negation as failure introduced by Lifschitz, which can be considered as a unifying framework for several nonmonotonic formalisms, including default logic, autoepistemic logic, circumscription, epistemic queries, and logic programming. We characterize the complexity and provide algorithms for reasoning in propositional MBNF. In particular, we show that entailment in propositional MBNF lies at the third level of the polynomial hierarchy, hence it is harder than reasoning in all the above mentioned propositional formalisms for nonmonotonic reasoning. We also prove the exact correspondence between negation as failure in MBNF and negative introspection in Moore's autoepistemic logic.


title: Randomized Algorithms for the Loop Cutset Problem

abstract: We show how to find a minimum weight loop cutset in a Bayesian network with high probability. Finding such a loop cutset is the first step in the method of conditioning for inference. Our randomized algorithm for finding a loop cutset outputs a minimum loop cutset after O(c 6^k kn) steps with probability at least 1 - (1 - 1/(6^k))^c6^k, where c > 1 is a constant specified by the user, k is the minimal size of a minimum weight loop cutset, and n is the number of vertices. We also show empirically that a variant of this algorithm often finds a loop cutset that is closer to the minimum weight loop cutset than the ones found by the best deterministic algorithms known.


title: Remarkable paramagnetic features of Fermi-Dirac plasmas

abstract: In this paper by using the relativistic magnetic susceptibility of a Fermi-Dirac (relativistically degenerate) plasma, quantum magnetohydrodynamics (QMHD) model is used to investigate the propagation of spin-induced (SI) magnetosonic nonlinear excitations in a normally and relativistically degenerate dense electron-ion plasma in the presence of the spin magnetization effect. Based on the conventional pseudopotential method the matching criterion for the evolution of SI solitary structures is evaluated. It is found that, the plasma mass density and strength of the magnetic field have significant effects on excitation and evolution of magnetosonic nonlinear structures in Fermi-Dirac plasmas. Only rarefactive SI magnetosonic solitary structures are found to excite in such plasmas. Furthermore, fundamental differences are shown to exist in magnetosonic soliton dynamics in the two distinct plasma degeneracy regimes, which is due to interplay between the negative spin paramagnetism pressure-like and positive relativistic degeneracy pressure of electrons. Current investigation can help better understand the electron spin effects on nonlinear wave propagations in strongly magnetized dense astrophysical objects such as white dwarfs and pulsar magnetospheres.


title: Identical temperature dependence of the time scales of several linear-response functions of two glass-forming liquids

abstract: The frequency-dependent dielectric constant, shear and adiabatic bulk moduli, longitudinal thermal expansion coefficient, and longitudinal specific heat have been measured for two van der Waals glass-forming liquids, tetramethyl-tetraphenyl-trisiloxane (DC704) and 5-polyphenyl-4-ether. Within the experimental uncertainties the loss-peak frequencies of the measured response functions have identical temperature dependence over a range of temperatures, for which the Maxwell relaxation time varies more than nine orders of magnitude. The time scales are ordered from fastest to slowest as follows: Shear modulus, adiabatic bulk modulus, dielectric constant, longitudinal thermal expansion coefficient, longitudinal specific heat. The ordering is discussed in light of the recent conjecture that van der Waals liquids are strongly correlating, i.e., approximate single-parameter liquids.


title: Statistical Analysis of an AGN sample with Simultaneous UV and X-ray Observations with Swift

abstract: I report on the statistical analysis of a sample of about 100 AGN with simultaneous UV and X-ray observations with Swift. I found clear correlations between the X-ray spectral slope alpha-X, the UV slope alpha-UV, and the optical-to-x-ray spectral slope alpha-ox with the Eddington ratio L/Ledd. I also report on the bolometric corrections for L(0.2-2.0 keV) and L(5100A). A major aspect of the statistical analysis is multi-variate analysis statistical tools such as the Principal Component Analysis (PCA) and cluster analysis. This analysis shows that the main driver of the AGN properties in this sample is the Eddington ratio L/Ledd. Although separating Seyfert 1s into NLS1s and BLS1s is a good classification, with the 2000 km/s cutoff line it is still arbitrary. A better classification scheme may be to separate AGN into low and highL/Ledd AGN as suggested from the cluster analysis.


title: OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains

abstract: Recently model checking representation and search techniques were shown to be efficiently applicable to planning, in particular to non-deterministic planning. Such planning approaches use Ordered Binary Decision Diagrams (OBDDs) to encode a planning domain as a non-deterministic finite automaton and then apply fast algorithms from model checking to search for a solution. OBDDs can effectively scale and can provide universal plans for complex planning domains. We are particularly interested in addressing the complexities arising in non-deterministic, multi-agent domains. In this article, we present UMOP, a new universal OBDD-based planning framework for non-deterministic, multi-agent domains. We introduce a new planning domain description language, NADL, to specify non-deterministic, multi-agent domains. The language contributes the explicit definition of controllable agents and uncontrollable environment agents. We describe the syntax and semantics of NADL and show how to build an efficient OBDD-based representation of an NADL description. The UMOP planning system uses NADL and different OBDD-based universal planning algorithms. It includes the previously developed strong and strong cyclic planning algorithms. In addition, we introduce our new optimistic planning algorithm that relaxes optimality guarantees and generates plausible universal plans in some domains where no strong nor strong cyclic solution exists. We present empirical results applying UMOP to domains ranging from deterministic and single-agent with no environment actions to non-deterministic and multi-agent with complex environment actions. UMOP is shown to be a rich and efficient planning system.


title: Planning Graph as a (Dynamic) CSP: Exploiting EBL, DDB and other CSP Search Techniques in Graphplan

abstract: This paper reviews the connections between Graphplan's planning-graph and the dynamic constraint satisfaction problem and motivates the need for adapting CSP search techniques to the Graphplan algorithm. It then describes how explanation based learning, dependency directed backtracking, dynamic variable ordering, forward checking, sticky values and random-restart search strategies can be adapted to Graphplan. Empirical results are provided to demonstrate that these augmentations improve Graphplan's performance significantly (up to 1000x speedups) on several benchmark problems. Special attention is paid to the explanation-based learning and dependency directed backtracking techniques as they are empirically found to be most useful in improving the performance of Graphplan.


title: Raman scattering study of Spin-Density-Wave order and electron-phonon coupling in Ba(Fe$_{1-x}$Co$_x$)$_2$As$_2$

abstract: We report Raman scattering measurements on iron-pnictide superconductor Ba(Fe$_{1-x}$Co$_x$)$_2$As$_2$ single crystals with varying cobalt $x$ content. The electronic Raman continuum shows a strong spectral weight redistribution upon entering the magnetic phase induced by the opening of the Spin Density Wave (SDW) gap. It displays two spectral features that weaken with doping, which are assigned to two SDW induced electronic transitions. Raman symmetry arguments are discussed to identify the origin of these electronic transitions in terms of orbital ordering in the magnetic phase. Our data do not seem consistent with an orbital ordering scenario and advocate for a more conventional band-folding picture with two types of electronic transitions in the SDW state, a high energy transition between two anti-crossed SDW bands and a lower energy transition involving a folded band that do not anti-cross in the SDW state. The latter transition could be linked to the presence of Dirac cones in the electronic dispersion of the magnetic state. The spectra in the SDW state also show significant coupling between the arsenide optical phonon and the electronic continuum. The symmetry dependence of the arsenide phonon intensity indicates a strong in-plane anisotropy of the dielectric susceptibility in the magnetic state.


title: Real and Virtual Compton Scattering: the nucleon polarisabilities

abstract: We give an overview of low-energy Compton scattering (gamma^(*) p --> gamma p) with a real or virtual incoming photon. These processes allow the investigation of one of the fundamental properties of the nucleon, i.e. how its internal structure deforms under an applied static electromagnetic field. Our knowledge of nucleon polarisabilities and their generalization to non-zero four-momentum transfer will be reviewed, including the presently ongoing experiments and future perspectives.


title: Space Efficiency of Propositional Knowledge Representation Formalisms

abstract: We investigate the space efficiency of a Propositional Knowledge Representation (PKR) formalism. Intuitively, the space efficiency of a formalism F in representing a certain piece of knowledge A, is the size of the shortest formula of F that represents A. In this paper we assume that knowledge is either a set of propositional interpretations (models) or a set of propositional formulae (theorems). We provide a formal way of talking about the relative ability of PKR formalisms to compactly represent a set of models or a set of theorems. We introduce two new compactness measures, the corresponding classes, and show that the relative space efficiency of a PKR formalism in representing models/theorems is directly related to such classes. In particular, we consider formalisms for nonmonotonic reasoning, such as circumscription and default logic, as well as belief revision operators and the stable model semantics for logic programs with negation. One interesting result is that formalisms with the same time complexity do not necessarily belong to the same space efficiency class.


title: Value-Function Approximations for Partially Observable Markov Decision Processes

abstract: Partially observable Markov decision processes (POMDPs) provide an elegant mathematical framework for modeling complex decision and planning problems in stochastic domains in which states of the system are observable only indirectly, via a set of imperfect or noisy observations. The modeling advantage of POMDPs, however, comes at a price -- exact methods for solving them are computationally very expensive and thus applicable in practice only to very simple problems. We focus on efficient approximation (heuristic) methods that attempt to alleviate the computational problem and trade off accuracy for speed. We have two objectives here. First, we survey various approximation methods, analyze their properties and relations and provide some new insights into their differences. Second, we present a number of new approximation methods and novel refinements of existing techniques. The theoretical results are supported by experiments on a problem from the agent navigation domain.