title: Generalized Semi-Holographic Universe

abstract: We study the semi-holographic idea in context of decaying dark components. The energy flow between dark energy and the compensating dark matter is thermodynamically generalized to involve a particle number variable dark component with non-zero chemical potential. It's found that, unlike the original semi-holographic model, no cosmological constant is needed for a dynamical evolution of the universe. A transient phantom phase appears while a non-trivial dark energy-dark matter scaling solution keeps at late time, which evades the big-rip and helps to resolve the coincidence problem. For reasonable parameters, the deceleration parameter is well consistent with current observations. The original semi-holographic model is extended and it also suggests that the concordance model may be reconstructed from the semi-holographic idea.


title: Lie-point symmetries of the Lagrangian system on time scales

abstract: This letter investigates the Lie point symmetries and conserved quantities of the Lagrangian systems on time scales, which unify the Lie symmetries of the two cases for the continuous and the discrete Lagrangian systems. By defining the infinitesimal transformations' generators and using the invariance of differential equations under infinitesimal transformations, the determining equations of the Lie symmetries on time scales are established. Then the structure equations and the form of conserved quantities with delta derivatives are obtained. The letter also gives brief discussion on the Lie symmetries for the discrete systems. Finally, several examples are designed to illustrate these results.


title: Discrete symmetries in the Kaluza-Klein-like theories

abstract: In theories of the Kaluza-Klein kind there are spins or total angular moments in higher dimensions which manifest as charges in the observable $d=(3+1)$. The charge conjugation requirement, if following the prescription in ($3+1$), would transform any particle state out of the Dirac sea into the hole in the Dirac sea, which manifests as an anti-particle having all the spin degrees of freedom in $d$, except $S^{03}$, the same as the corresponding particle state. This is in contradiction with what we observe for the anti-particle. In this paper we redefine the discrete symmetries so that we stay within the subgroups of the starting group of symmetries, while we require that the angular moments in higher dimensions manifest as charges in $d=(3+1)$. We pay attention on spaces with even $d$.


title: Spin torque due to diffusive spin current in magnetic texture

abstract: We present a microscopic theory of spin torque due to diffusive spin currents induced by spin accumulation. The obtained expression is a natural extension of the existing one due to 'local' spin currents associated with ordinary electric currents, and is the reciprocal of the spin motive force which induces charge accumulation as studied recently [J. Shibata and H. Kohno, Phys. Rev. B84, 184408 (2011)]. The result is applied to a domain wall motion in a nonlocal spin injection system, and the torque and force due to diffusive spin current are evaluated.


title: Density of rational points on del Pezzo surfaces of degree one

abstract: We state conditions under which the set S(k) of k-rational points on a del Pezzo surface S of degree 1 over an infinite field k of characteristic not equal to 2 or 3 is Zariski dense. For example, it suffices to require that the elliptic fibration over the projective line induced by the anticanonical map has a nodal fiber over a k-rational point. It also suffices to require the existence of a point in S(k) that does not lie on six exceptional curves of S and that has order 3 on its fiber of the elliptic fibration. This allows us to show that within a parameter space for del Pezzo surfaces of degree 1 over the field of real numbers, the set of surfaces S defined over the field Q of rational numbers for which the set S(Q) is Zariski dense, is dense with respect to the real analytic topology. We also include conditions that may be satisfied for every del Pezzo surface S and that can be verified with a finite computation for any del Pezzo surface S that does satisfy them.


title: The neutron-proton charge-exchange amplitudes measured in the dp -> ppn reaction

abstract: The unpolarised differential cross section and the two deuteron tensor analysing powers A_{xx} and A_{yy} of the pol{d}p -> (pp)n charge-exchange reaction have been measured with the ANKE spectrometer at the COSY storage ring. Using deuteron beams with energies 1.2, 1.6, 1.8, and 2.27 GeV, data were obtained for small momentum transfers to a (pp) system with low excitation energy. The results at the three lower energies are consistent with impulse approximation predictions based upon the current knowledge of the neutron-proton amplitudes. However, at 2.27GeV, where these amplitudes are far more uncertain, agreement requires a reduction in the overall double-spin-flip contribution, with an especially significant effect in the longitudinal direction. These conclusions are supported by measurements of the deuteron-proton spin-correlation parameters C_{x,x} and C_{y,y} that were carried out in the pol{d}pol{p} -> (pp)n reaction at 1.2 and 2.27GeV. The values obtained for the proton analysing power also suggest the need for a radical re-evaluation of the neutron-proton elastic scattering amplitudes at the higher energy. It is therefore clear that such measurements can provide a valuable addition to the neutron-proton database in the charge-exchange region.


title: Comment on "New probing techniques of radiative shocks, by C.Stehle et al"

abstract: In this comment, we discuss the possibility of imaging the radiative precursor of a strong shock with a 21.2 nm soft x-ray laser probe and we analyze the data presented in C.Stehle et al "New probing techniques of radiative shocks", (Optics Communications 285, 64, 2012) in order to derive some estimation of the achieved resolution. We show that the presented results are inconclusive for the existence of a radiative precursor. Furthermore, our best estimation of cold and warm Xenon VUV opacities tells that 21.2 nm backlighting would not be able to probe this radiative precursor.


title: Is \gamma-ray emission from novae affected by interference effects in the 18F(p,\alpha)15O reaction?

abstract: The 18F(p,\alpha)15O reaction rate is crucial for constraining model predictions of the \gamma-ray observable radioisotope 18F produced in novae. The determination of this rate is challenging due to particular features of the level scheme of the compound nucleus, 19Ne, which result in interference effects potentially playing a significant role. The dominant uncertainty in this rate arises from interference between J\pi=3/2+ states near the proton threshold (Sp = 6.411 MeV) and a broad J\pi=3/2+ state at 665 keV above threshold. This unknown interference term results in up to a factor of 40 uncertainty in the astrophysical S-factor at nova temperatures. Here we report a new measurement of states in this energy region using the 19F(3He,t)19Ne reaction. In stark contrast with previous assumptions we find at least 3 resonances between the proton threshold and Ecm=50 keV, all with different angular distributions. None of these are consistent with J\pi= 3/2+ angular distributions. We find that the main uncertainty now arises from the unknown proton-width of the 48 keV resonance, not from possible interference effects. Hydrodynamic nova model calculations performed indicate that this unknown width affects 18F production by at least a factor of two in the model considered.


title: Equilibrium Points and Zero Velocity Surfaces in the Restricted Four Body Problem with Solar Wind Drag

abstract: We have analyzed the motion of an infinitesimal mass in the restricted four body problem with solar wind drag. It is assumed that forces which govern the motion are mutual gravitational attractions of the primaries, radiation pressure force and solar wind drag. We have derived the equations of motion and find the Jacobi integral, zero velocity surfaces and particular solutions of the system. It is found that three collinear points are real when radiation factor $0<\beta<0.1$ whereas only one real point obtained when $0.125<\beta<0.2$. Again, stability property of the system is examined with the help of Poincar\'{e} surface of section (PSS) and Lyapunov characteristic exponents (LCEs). It is found that in presence of drag forces LCE is negative for a specific initial condition, hence the corresponding trajectory is regular whereas regular islands in the PSS are expanded.


title: Parameters of rotating neutron stars with and without hyperons

abstract: The discovery of a 2 Msun neutron star provided a robust constraint for the theory of exotic dense matter, bringing into question the existence of strange baryons in the interiors of neutron stars. Although many theories fail to reproduce this observational result, several equations of state containing hyperons are consistent with it. We study global properties of stars using equations of state containing hyperons, and compare them to those without hyperons to find similarities, differences, and limits that can be compared with the astrophysical observations. Rotating, axisymmetric, and stationary stellar configurations in general relativity are obtained, and their global parameters are studied. Approximate formulae describing the behavior of the maximum and minimum stellar mass, compactness, surface redshifts, and moments of inertia as functions of spin frequency are provided. We also study the thin disk accretion and compare the spin-up evolution of stars with different moments of inertia.


title: Families of spinors in $d=(1+5)$ with zweibein and two kinds of spin connection fields on an almost $S^2$

abstract: We studied (arxiv: 1001.4679, 1205.1714) properties of spinors in a toy model in $d=(1+5)$ as a step towards realistic Kaluza-Klein (like) theories in non compact spaces. ${\cal M}^{(5+1)}$ was assumed to break to an infinite disc with a zweibein which makes a disc curved on $S^2$ and with a spin connection field which allows on such a sphere only one massless spinor state. This time we are taking into account families of spinors interacting with several spin connection fields, as required for this toy model by the spin-charge-family theory We are studying possible masslesness of families of spinors: Spinors regroup into subgroups of an even number of families.


title: The Effect of Probe Dynamics on Galactic Exploration Timescales

abstract: The travel time required for one civilisation to explore the Milky Way using probes is a crucial component of Fermi's Paradox. Previous attempts to estimate this travel time have assumed that the probe's motion is simple, moving at a constant maximum velocity, with powered flight producing the necessary change in velocity required at each star to complete its chosen trajectory. This approach ignores lessons learned from interplanetary exploration, where orbital slingshot maneouvres can provide significant velocity boosts at little to no fuel cost. It is plausible that any attempt to explore the Galaxy would utilise such economising techniques, despite there being an upper limit to these velocity boosts, related to the escape velocity of the object being used to provide the slingshot. In order to investigate the effects of these techniques, we present multiple realisations of single probes exploring a small patch of the Milky Way. We investigate 3 separate scenarios, studying the slingshot effect on trajectories defined by simple heuristics. These scenarios are: i) standard powered flight to the nearest unvisited star without using slingshot techniques; ii) flight to the nearest unvisited star using slingshot techniques, and iii) flight to the next unvisited star which provides the maximal velocity boost under a slingshot trajectory. We find that adding slingshot velocity boosts can decrease the travel time by up to two orders of magnitude over simple powered flight. In the third case, selecting a route which maximises velocity boosts also reduces the travel time relative to powered flight, but by a much reduced factor. From these simulations, we suggest that adding realistic probe trajectories tends to strengthen Fermi's Paradox.


title: The effect of stellar limb darkening values on the accuracy of the planet radii derived from photometric transit observations

abstract: We study how the precision of the exoplanet radius determination is affected by our present knowledge of limb darkening in two cases: when we fix the limb darkening coefficients and when we adjust them. We also investigate the effects of spots in one-colour photometry. We study the effect of limb darkening on the planetary radius determination both via analytical expressions and by numerical experiments. We also compare some of the existing limb darkening tables. When stellar spots affect the fit, we replace the limb darkening coefficients, calculated for the unspotted cases, with effective limb darkening coefficients to describe the effect of the spots. There are two important cases. (1) When one fixes the limb darkening values according to some theoretical predictions, the inconsistencies of the tables do not allow us to reach accuracy in the planetary radius of better than 1-10% (depending on the impact parameter) if the host star's surface effective temperature is higher than 5000 K. Below 5000 K the radius ratio determination may contain even 20% error. (2) When one allows adjustment of the limb darkening coefficients, the a/Rs ratio, the planet-to-stellar radius ratio, and the impact parameter can be determined with sufficient accuracy (<1%), if the signal-to-noise ratio is high enough. However, the presence of stellar spots and faculae can destroy the agreement between the limb darkening tables and the fitted limb darkening coefficients, but this does not affect the precision of the planet radius determination. We also find that it is necessary to fit the contamination factor, too. We conclude that the present inconsistencies of theoretical stellar limb darkening tables suggests one should not fix the limb darkening coefficients. When one allows them to be adjusted, then the planet radius, impact parameter, and the a/Rs can be obtained with the required precision.


title: Muckenhoupt inequality with three measures and applications to Sobolev orthogonal polynomials

abstract: We generalize the classical Muckenhoupt inequality with two measures to three under appropriate conditions. As a consequence, we prove a simple characterization of the undedness of the multiplication operator and thus of the boundedness of the zeros and the asymptotic behavior of the Sobolev orthogonal polynomials, for a large class of measures which includes the most usual examples in the literature.


title: Massless solutions for families of spinors for the toy model in $d=(1+5)$

abstract: Massless solutions for four coupled first order differential equations for functions representing families of spinors on the infinite disc curled into an almost $S^2$ are presented and normalizability conditions discussed. Spinors interact with two kinds of spin connection fields of particular coordinate dependence. This is the solution of equations of motion used in "Families of spinors in $d=(1+5)$ with zweibein and two kinds of spin connection fields on an almost $S^2$".


title: The Characterization of Radial Subspaces of Besov- and Lizorkin-Triebel Spaces by Differences

abstract: We continue our earlier investigations of radial subspaces of Besov and Lizorkin-Triebel spaces on $\R^d$. This time we study characterizations of these subspaces by differences.


title: Riemannian Calculus of Variations using Strongly Typed Tensor Calculus

abstract: In this paper, the notion of strongly typed language will be borrowed from the field of computer programming to introduce a calculational framework for linear algebra and tensor calculus for the purpose of detecting errors resulting from inherent misuse of objects and for finding natural formulations of various objects. A tensor bundle formalism, crucially relying on the notion of pullback bundle, will be used to create a rich type system with which to distinguish objects. The type system and relevant notation is designed to "telescope" to accomodate a level of detail appropriate to a set of calculations. Various techniques using this formalism will be developed and demonstrated with the goal of providing a relatively complete and uniform method of coordinate-free computation. The calculus of variations pertaining to maps between Riemannian manifolds will be formulated using the strongly typed tensor formalism and associated techniques. Energy functionals defined in terms of first order Lagrangians are the focus of the second half of this paper, in which in the first variation, the Euler-Lagrange equations, and the second variation of such functionals will be derived.


title: Micro-origin of Macro-strength: Friction

abstract: This paper presents an analytical study about the behavior of arbitrary shaped and sized non-cohesive two-dimensional granular materials. Several mechanical properties and relations are unraveled by connecting micro and macro scales in an explicit fashion that, at the same time, provides the basis of an analytical-theoretical framework for the development of new multi-scale techniques. Furthermore, the work herein presented is based on three main ideas that are developed and connected progressively; namely, the obtention of explicit expressions that enable us to relate micro-scale parameters, such as contact forces and fabric, to stress as a macro (continuum) physical property. Then, with these powerful tools, physical connections and relations between the mentioned micro-parameters and macro-constitutive parameters, in specific, Mohr-Coulomb's mobilized internal friction angle, are established. Finally, a non-linear optimization problem, which includes physical constraints at the contact point level, is proposed and solved in order to find the limit (maximum) internal friction angle in terms of the aforementioned micro-parameters. Thus, throughout this theoretical study, some important features about strength, anisotropy, contact buckling, and non-uniqueness of systems of contact forces are extracted, allowing us to have a deeper insight, as well as, a better understanding of the mechanical behavior of such complex-to-model materials.

categories: physics.geo-ph math-ph math.MP physics.class-ph


title: 1, 2, and 6 qubits, and the Ramanujan-Nagell theorem

abstract: A conjecture of Ramanujan that was later proved by Nagell is used to show on the basis of matching dimensions that only three $n$-qubit systems, for $n=1, 2, 6$, can share an isomorphism of their symmetry groups with the rotation group of corresponding dimensions $3, 6, 91$. Topological analysis, however, rules out the last possibility.


title: The Physics of Quantum Information: Complementarity, Uncertainty, and Entanglement

abstract: The overarching goal of this thesis is to demonstrate that complementarity is at the heart of quantum information theory, that it allows us to make (some) sense of just what information "quantum information" refers to, and that it is useful in understanding and constructing quantum information processing protocols. The detailed research results which form the basis of these claims are to be found in the included papers, and the aim here is to present an overview comprehensible to a more general audience.


title: Proliferation of observables and measurement in quantum-classical hybrids

abstract: Following a review of quantum-classical hybrid dynamics, we discuss the ensuing proliferation of observables and relate it to measurements of (would-be) quantum mechanical degrees of freedom performed by (would-be) classical ones (if they were separable). -- Hybrids consist in coupled classical ("CL") and quantum mechanical ("QM") objects. Numerous consistency requirements for their description have been discussed and are fulfilled here. We summarize a representation of quantum mechanics in terms of classical analytical mechanics which is naturally extended to QM-CL hybrids. This framework allows for superposition, separable, and entangled states originating in the QM sector, admits experimenter's "Free Will", and is local and non-signalling. -- Presently, we study the set of hybrid observables, which is larger than the Cartesian product of QM and CL observables of its components; yet it is smaller than a corresponding product of all-classical observables. Thus, quantumness and classicality infect each other.


title: The 2.35 year itch of Cyg OB2 #9. II. Radio monitoring

abstract: Cyg OB2 #9 is one of a small set of non-thermal radio emitting massive O-star binaries. The non-thermal radiation is due to synchrotron emission in the colliding-wind region. Cyg OB2 #9 was only recently discovered to be a binary system and a multi-wavelength campaign was organized to study its 2011 periastron passage. We report here on the results of the radio observations obtained in this monitoring campaign. We used the Expanded Very Large Array (EVLA) radio interferometer to obtain 6 and 20 cm continuum fluxes. The observed radio light curve shows a steep drop in flux sometime before periastron. The fluxes drop to a level that is comparable to the expected free-free emission from the stellar winds, suggesting that the non-thermal emitting region is completely hidden at that time. After periastron passage, the fluxes slowly increase. We introduce a simple model to solve the radiative transfer in the stellar winds and the colliding-wind region, and thus determine the expected behaviour of the radio light curve. From the asymmetry of the light curve, we show that the primary has the stronger wind. This is somewhat unexpected if we use the astrophysical parameters based on theoretical calibrations. But it becomes entirely feasible if we take into account that a given spectral type - luminosity class combination covers a range of astrophysical parameters. The colliding-wind region also contributes to the free-free emission, which can help to explain the high values of the spectral index seen after periastron passage. Combining our data with older Very Large Array (VLA) data allows us to derive a period P = 860.0 +- 3.7 days for this system. With this period, we update the orbital parameters that were derived in the first paper of this series.


title: A reversible optical memory for twisted photons

abstract: We report on an experiment in which orbital angular momentum of light is mapped at the single-photon level into and out of a cold atomic ensemble. Based on the dynamic electromagnetically-induced transparency protocol, the demonstrated optical memory enables the reversible mapping of Laguerre-gaussian modes with preserved handedness of the helical phase structure. The demonstrated capability opens the possibility to the storage of qubits encoded as superpositions of orbital angular momentum states and to multi-dimensional light-matter interfacing.


title: Generalized dimensions of images of measures under Gaussian processes

abstract: We show that for certain Gaussian random processes and fields X:R^N to R^d, D_q(mu_X) = min{d, D_q(mu)/alpha} a.s. for an index alpha which depends on Holder properties and strong local nondeterminism of X, where q>1, where D_q denotes generalized q-dimension and where mu_X is the image of the measure mu under X. In particular this holds for index-alpha fractional Brownian motion, for fractional Riesz-Bessel motions and for certain infinity scale fractional Brownian motions.


title: Mode visibilities in rapidly rotating stars

abstract: Context: Mode identification is a crucial step to comparing observed frequencies with theoretical ones, but has proven to be difficult in rapidly rotating stars. Aims: To further constrain mode identification, we aim to accurately calculate mode visibilities and amplitude ratios in rapid rotators. Methods: We derive the relevant equations for calculating mode visibilities in different photometric bands while fully taking into account the geometric distortion from both the centrifugal deformation and the pulsation modes, the variations in effective gravity, and an approximate treatment of the temperature variations. These equations are then applied to 2D oscillation modes, calculated using the TOP code, in fully distorted 2D models based on the SCF method. The specific intensities come from a grid of Kurucz atmospheres, thereby taking into account limb and gravity darkening. Results: We obtain mode visibilities and amplitude ratios for 2 M_{\odot} models rotating at 0 to 80 % of the critical rotation rate. These calculations confirm previous results, such as the increased visibility of chaotic modes, the simpler frequency spectra of pole-on stars, or the dependence of amplitude ratios on inclination and azimuthal order. In addition, the geometric shape of the star reduces the contrast between pole-on and equator-on visibilities of island modes. We also show that modes with similar (ell, |m|) values frequently have similar amplitude ratios, even in the most rapidly rotating models.


title: Piecing together the puzzle of NGC 5253: abundances, kinematics and WR stars

abstract: We present Gemini-S/GMOS-IFU optical spectroscopy of four regions near the centre of the nearby (3.8 Mpc) dwarf starburst galaxy NGC 5253. This galaxy is famous for hosting a radio supernebula containing two deeply embedded massive super star clusters, surrounded by a region of enhanced nitrogen abundance that has been linked to the presence of WR stars. We detected 11 distinct sources of red WR bump (CIV) emission over a 20" (~350 pc) area, each consistent with the presence of ~1 WCE-type star. WC stars are not found coincident with the supernebula, although WN stars have previously been detected here. We performed a multi-component decomposition of the H\alpha\ line across all four fields and mapped the kinematics of the narrow and broad (FWHM = 100-250 km/s) components. These maps paint a picture of localised gas flows, as part of multiple overlapping bubbles and filaments driven by the star clusters throughout the starburst. We confirm the presence of a strong H\alpha\ velocity gradient over ~4.5" (~80 pc) coincident with the region of N/O enhancement, and high gas density known from previous study, and interpret this as an accelerating ionized gas outflow from the supernebula clusters. We measure the ionized gas abundances in a number of regions in the outer IFU positions and combine these with measurements from the literature to assess the radial abundance distribution. We find that the O/H and N/H profiles are consistent with being flat. Only the central 50 pc exhibits the well-known N/O enhancement, and we propose that the unusually high densities/pressures in the supernebula region have acted to impede the escape of metal-enriched hot winds from the star clusters and allow them to mix with the cooler phases, thus allowing these freshly processed chemicals to be seen in the optical.


title: Reconstruction of Integers from Pairwise Distances

abstract: Given a set of integers, one can easily construct the set of their pairwise distances. We consider the inverse problem: given a set of pairwise distances, find the integer set which realizes the pairwise distance set. This problem arises in a lot of fields in engineering and applied physics, and has confounded researchers for over 60 years. It is one of the few fundamental problems that are neither known to be NP-hard nor solvable by polynomial-time algorithms. Whether unique recovery is possible also remains an open question. In many practical applications where this problem occurs, the integer set is naturally sparse (i.e., the integers are sufficiently spaced), a property which has not been explored. In this work, we exploit the sparse nature of the integer set and develop a polynomial-time algorithm which provably recovers the set of integers (up to linear shift and reversal) from the set of their pairwise distances with arbitrarily high probability if the sparsity is $O(n^{1/2-\eps})$. Numerical simulations verify the effectiveness of the proposed algorithm.


title: Superfluidity and Stabilities of a Bose-Einstein condensate with periodically modulated interatomic interaction

abstract: We study theoretically the superfluidity and stability of a Bose-Einstein condensate (BEC) whose interatomic scattering length is periodically modulated with optical Feshbach resonance. Our numerical study finds that the properties of this periodic BEC are strongly influenced by the modulation strength. When the modulation strength is small, only the Bloch waves close to the Brillouin zone edge suffer both Landau and dynamical instabilities. When the modulation strength is strong enough, all Bloch waves become dynamically unstable. In other words, the periodic BEC loses its superfluidity completely.


title: Communication Complexity Reduction from Globally Uncorrelated States

abstract: Bell inequality violating entangled states are the working horse for many potential quantum information processing applications, including secret sharing, cryptographic key distribution and communication complexity reduction in distributed computing. Here we explicitly demonstrate the power of certain multi-qubit states to improve the efficiency of partners in joint computation of some multi-qubit function, despite the fact that there could be no correlations between all distributed particles. It is important to stress that the class of functions that can be computed more efficiently is widened, as compared with the standard Bell inequalities.


title: Role of electronic excitations in magneto-Raman spectra of graphene

abstract: We investigate the signature of the low-energy electronic excitations in the Raman spectrum of monolayer and bilayer graphenes. The dominant contribution to the Raman spectra is due to the interband electron-hole pairs, which belong to the irreducible representation A$_2$ of the point group C$_{6v}$ of the graphene lattice, and are characterised by crossed polarisation of incoming and outgoing photons. At high magnetic fields, this is manifested by the excitation of electron-hole (e-h) inter-Landau-level transitions with selection rule $n^-\to n^+$. Weaker Raman-active inter-Landau-level modes also exist. One of those has a selection rule similar to the infrared absorption process, $n^-\to(n\pm1)^+$, but the created e-h excitation belongs to the irreducible representation E$_2$ (rather than E$_1$) and couples to the optical phonon mode, thus undergoing an anticrossing with the optical phonon G-line in Raman in strong magnetic field. The fine structure of acquired by the G-line due to such anticrossing depends on the carrier density, inhomogeneity of doping, and presence of inhomogeneous strain in the sample.


title: On the complexity of learning a language: An improvement of Block's algorithm

abstract: Language learning is thought to be a highly complex process. One of the hurdles in learning a language is to learn the rules of syntax of the language. Rules of syntax are often ordered in that before one rule can applied one must apply another. It has been thought that to learn the order of n rules one must go through all n! permutations. Thus to learn the order of 27 rules would require 27! steps or 1.08889x10^{28} steps. This number is much greater than the number of seconds since the beginning of the universe! In an insightful analysis the linguist Block ([Block 86], pp. 62-63, p.238) showed that with the assumption of transitivity this vast number of learning steps reduces to a mere 377 steps. We present a mathematical analysis of the complexity of Block's algorithm. The algorithm has a complexity of order n^2 given n rules. In addition, we improve Block's results exponentially, by introducing an algorithm that has complexity of order less than n log n.


title: On the FP7 BlackSeaHazNet project and its possible application for harmonic existence of the region

abstract: The FP7 IRSES BlackSeaHazNet project aims and some preliminary results are presented


title: The ultra-long Gamma-Ray Burst 111209A: the collapse of a blue supergiant?

abstract: We present optical, X-ray and gamma-ray observations of GRB 111209A, at a redshift of z = 0.677. We show that this event was active in its prompt phase for about 25000 seconds, making it the longest burst ever observed. This rare event could have been detected up to z ~ 1.4. Compared to other long GRBs, GRB 111209A is a clear outlier in the energy-fluence and duration plane. The high-energy prompt emission shows no sign of a strong black body component, as expected if the event was caused by a tidal disruption event or a supernova shock breakout. Given the extreme longevity of this event, and a lack of a supernova signature, we propose that GRB 111209A is a relatively rare stellar collapse of a low metallicity blue super giant star. Only this progenitor can supply mass to the central engine over a duration of thousands of seconds. Hence, GRB 111209A could have more in common with population III stellar explosions, rather than normal long gamma ray bursts.


title: Simulating the Continuation of a Time Series in R

abstract: The simulation of the continuation of a given time series is useful for many practical applications. But no standard procedure for this task is suggested in the literature. It is therefore demonstrated how to use the seasonal ARIMA process to simulate the continuation of an observed time series. The R-code presented uses well-known modeling procedures for ARIMA models and conditional simulation of a SARIMA model with known parameters. A small example demonstrates the correctness and practical relevance of the new idea.


title: Superfluid-insulator transition in weakly interacting disordered Bose gases: a kernel polynomial approach

abstract: An iterative scheme based on the kernel polynomial method is devised for the efficient computation of the one-body density matrix of weakly interacting Bose gases within Bogoliubov theory. This scheme is used to analyze the coherence properties of disordered bosons in one and two dimensions. In the one-dimensional geometry, we examine the quantum phase transition between superfluid and Bose glass at weak interactions, and we recover the scaling of the phase boundary that was characterized using a direct spectral approach by Fontanesi et al. [Phys. Rev. A 81, 053603 (2010)]. The kernel polynomial scheme is also used to study the disorder-induced condensate depletion in the two-dimensional geometry. Our approach paves the way for an analysis of coherence properties of Bose gases across the superfluid-insulator transition in two and three dimensions.


title: Pi^0_1 ordinal analysis beyond first order arithmetic

abstract: In this paper we give an overview of an essential part of a Pi^0_1 ordinal analysis of Peano Arithmetic (PA) as presented by Beklemishev. This analysis is mainly performed within the polymodal provability logic GLP. We reflect on ways of extending this analysis beyond PA. A main difficulty in this is to find proper generalizations of the so-called Reduction Property. The Reduction Property relates reflection principles to reflection rules. In this paper we prove a result that simplifies the reflection rules. Moreover, we see that for an ordinal analysis the full Reduction Property is not needed. This latter observation is also seen to open up ways for applications of ordinal analysis relative to some strong base theory.


title: Source Coding Problems with Conditionally Less Noisy Side Information

abstract: A computable expression for the rate-distortion (RD) function proposed by Heegard and Berger has eluded information theory for nearly three decades. Heegard and Berger's single-letter achievability bound is well known to be optimal for \emph{physically degraded} side information; however, it is not known whether the bound is optimal for arbitrarily correlated side information (general discrete memoryless sources). In this paper, we consider a new setup in which the side information at one receiver is \emph{conditionally less noisy} than the side information at the other. The new setup includes degraded side information as a special case, and it is motivated by the literature on degraded and less noisy broadcast channels. Our key contribution is a converse proving the optimality of Heegard and Berger's achievability bound in a new setting. The converse rests upon a certain \emph{single-letterization} lemma, which we prove using an information theoretic telescoping identity {recently presented by Kramer}. We also generalise the above ideas to two different successive-refinement problems.


title: Biexciton generation rates in CdSe nanorods are length independent

abstract: We study how shape affects multiexciton generation (MEG) rates in a semiconducting nanocrystal by considering CdSe nanorods with varying diameters and aspect ratios. The calculations employ an atomistic semiempirical pseudopotential model combined with an efficacious stochastic approach applied to systems containing up to 20,000 atoms. The effect of nanorod diameter and aspect ratio on multiexciton generation rates is analyzed in terms of the scaling of the density of trion states and the scaling of the Coulomb couplings. Both show distinct scaling from spherical nanocrystals leading to a surprising result where the multiexciton generation rates are roughly independent of the nanorod aspect ratio


title: An Information Theoretic Algorithm for Finding Periodicities in Stellar Light Curves

abstract: We propose a new information theoretic metric for finding periodicities in stellar light curves. Light curves are astronomical time series of brightness over time, and are characterized as being noisy and unevenly sampled. The proposed metric combines correntropy (generalized correlation) with a periodic kernel to measure similarity among samples separated by a given period. The new metric provides a periodogram, called Correntropy Kernelized Periodogram (CKP), whose peaks are associated with the fundamental frequencies present in the data. The CKP does not require any resampling, slotting or folding scheme as it is computed directly from the available samples. CKP is the main part of a fully-automated pipeline for periodic light curve discrimination to be used in astronomical survey databases. We show that the CKP method outperformed the slotted correntropy, and conventional methods used in astronomy for periodicity discrimination and period estimation tasks, using a set of light curves drawn from the MACHO survey. The proposed metric achieved 97.2% of true positives with 0% of false positives at the confidence level of 99% for the periodicity discrimination task; and 88% of hits with 11.6% of multiples and 0.4% of misses in the period estimation task.


title: Time scale separation and dynamic heterogeneity in the low temperature East model

abstract: We consider the non-equilibrium dynamics of the East model, a linear chain of 0-1 spins evolving under a simple Glauber dynamics in the presence of a kinetic constraint which forbids flips of those spins whose left neighbor is 1. We focus on the glassy effects caused by the kinetic constraint as $q\downarrow 0$, where $q$ is the equilibrium density of the 0's. In the physical literature this limit is equivalent to the zero temperature limit. We first prove that, for any given $L=O(1/q)$, the divergence as $q\downarrow 0$ of three basic characteristic time scales of the East process of length $L$ is the same. Then we examine the problem of dynamic heterogeneity, i.e. non-trivial spatio-temporal fluctuations of the local relaxation to equilibrium, one of the central aspects of glassy dynamics. For any mesoscopic length scale $L=O(q^{-\gamma})$, $\gamma<1$, we show that the characteristic time scale of two East processes of length $L$ and $\lambda L$ respectively are indeed separated by a factor $q^{-a}$, $a=a(\gamma)>0$, provided that $\lambda \geq 2$ is large enough (independent of $q$, $\lambda=2$ for $\gamma<1/2$). In particular, the evolution of mesoscopic domains, i.e. maximal blocks of the form $111..10$, occurs on a time scale which depends sharply on the size of the domain, a clear signature of dynamic heterogeneity. A key result for this part is a very precise computation of the relaxation time of the chain as a function of $(q,L)$, well beyond the current knowledge, which uses induction on length scales on one hand and a novel algorithmic lower bound on the other. Finally we show that no form of time scale separation occurs for $\gamma=1$, i.e. at the equilibrium scale $L=1/q$, contrary to what was assumed in the physical literature based on numerical simulations.

categories: math-ph cond-mat.stat-mech math.MP math.PR


title: Quantum models of classical world

abstract: This paper is a review of our recent work on three notorious problems of non-relativistic quantum mechanics: realist interpretation, quantum theory of classical properties and the problem of quantum measurement. A considerable progress has been achieved, based on four distinct new ideas. First, objective properties are associated with states rather than with values of observables. Second, all classical properties are selected properties of certain high entropy quantum states of macroscopic systems. Third, registration of a quantum system is strongly disturbed by systems of the same type in the environment. Fourth, detectors must be distinguished from ancillas and the states of registered systems are partially dissipated and lost in the detectors. The paper has two aims: a clear explanation of all new results and a coherent and contradiction-free account of the whole quantum mechanics including all necessary changes of its current textbook version.


title: The Surprising Absence of Absorption in the Far-Ultraviolet Spectrum of Mrk 231

abstract: Mrk 231, the nearest (z = 0.0422) quasar, hosts both a galactic-scale wind and a nuclear-scale iron low-ionization broad absorption line (FeLoBAL) outflow. We recently obtained a far-ultraviolet (FUV) spectrum of this object covering ~1150 - 1470 A with the Cosmic Origins Spectrograph on board the Hubble Space Telescope. This spectrum is highly peculiar, highlighted by the presence of faint (~< 2% of predictions based on H-alpha), broad (>~ 10,000 km/s at the base), and highly blueshifted (centroid at ~ -3500 km/s) Ly-alpha emission. The FUV continuum emission is slightly declining at shorter wavelengths (consistent with F_lambda ~ lambda^1.7) and does not show the presence of any obvious photospheric or wind stellar features. Surprisingly, the FUV spectrum also does not show any unambiguous broad absorption features. It thus appears to be dominated by the AGN, rather than hot stars, and virtually unfiltered by the dusty FeLoBAL screen. The observed Ly-alpha emission is best explained if it is produced in the outflowing BAL cloud system, while the Balmer lines arise primarily from the standard broad emission line region seen through the dusty (A_V ~ 7 mag.) broad absorption line region. Two possible geometric models are discussed in the context of these new results.


title: Mechanisms of Planetary and Stellar Dynamos

abstract: We review some of the recent progress on modeling planetary and stellar dynamos. Particular attention is given to the dynamo mechanisms and the resulting properties of the field. We present direct numerical simulations using a simple Boussinesq model. These simulations are interpreted using the classical mean-field formalism. We investigate the transition from steady dipolar to multipolar dynamo waves solutions varying different control parameters, and discuss the relevance to stellar magnetic fields. We show that owing to the role of the strong zonal flow, this transition is hysteretic. In the presence of stress-free boundary conditions, the bistability extends over a wide range of parameters.


title: Some infinite matrix analysis, a Trotter product formula for dissipative operators, and an algorithm for the incompressible Navier-Stokes equation

abstract: We introduce a global scheme on the n-torus of a controlled incompressible Navier-Stokes equation in terms of a coupled controlled infinite ODE-system of Fourier-modes with smooth data. We construct a scheme of global approximations related to linear partial integrodifferential equations in dual space which are uniformly bounded in dual Sobolev spaces with polynomially decaying modes. The scheme is based on some infinite matrix algebra related to weakly singular integrals, and a Trotter-product formula for dissipative operators which leads to rigorous existence results and a uniform bound for the solutions of the successive approximating linearized equations in dual space which may be otherwise represented as formal solutions in the sense of an iterated Dyson formalism.


title: A beaconing approach whith key exchange in vehicular ad hoc networks

abstract: Vehicular Ad-Hoc Networks (VANETs) are special forms of Mobile Ad-Hoc Networks (MANETs) that allows vehicles to communicate together in the absence of fixed infrastructure.In this type of network beaconing is the means used to discover the nodes in its eighborhood.For routing protocol successful delivery of beacons containing speed, direction and position of a car is extremely important.Otherwise, routing information should not be modified/manipulated during transmission without detection, in order to ensure the routing information, messages must be signed and provided with a certificate to attest valid network participants. In this work we present a beaconing protocol with key exchange to prepare the generation of a signature to protect the routing information protocol 'Greedy Perimeter Stateless Routing'.


title: Multiexciton generation in IV-VI nanocrystals: The role of carrier effective mass, band mixing, and phonon emission

abstract: We study the role of the effective mass, band mixing and phonon emission on multiexciton generation in IV-VI nanocrystals. A 4-band k dot p effective mass model, which allows for an independent variation of these parameters, is adopted to describe the electronic structure of the nanocrystals. Multiexciton generation efficiencies are calculated using a Green's function formalism, providing results that are numerically similar to impact excitation. We find that multiexciton generation efficiencies are maximized when the effective mass of the electron and hole are small and similar. Contact with recent experimental results for multiexciton generation in PbS and PbSe is made.


title: Unfolding Physics from the Algebraic Classification of Spinor Fields

abstract: After reviewing the Lounesto spinor field classification, according to the bilinear covariants associated to a spinor field, we call attention and unravel some prominent features involving unexpected properties about spinor fields under such classification. In particular, we pithily focus on the new aspects --- as well as current concrete possibilities. They mainly arise when we deal with some non-standard spinor fields concerning, in particular, their applications in physics.


title: A Cartesian Quasi-classical Model to Nonequilibrium Quantum Transport: The Anderson Impurity Model

abstract: We apply the recently proposed quasi-classical approach for a second quantized many-electron Hamiltonian in Cartesian coordinates [J. Chem. Phys. 137, 154107 (2012)] to correlated nonequilibrium quantum transport. The approach provides accurate results for the resonant level model for a wide range of temperatures, bias and gate voltages, correcting for the flaws of our recently proposed mapping using action-angle variables. When electron-electron interactions are included, higher order schemes are required to map the two-electron integrals, leading to semi-quantitative results for the Anderson impurity model. In particular, we show that the current mapping is capable of capturing qualitatively the Coulomb blockade effect.


title: A unified mode decomposition method for physical fields in homogeneous cosmology

abstract: The methods of mode decomposition and Fourier analysis of classical and quantum fields on curved spacetimes previously available mainly for the scalar field on Friedman- Robertson-Walker (FRW) spacetimes are extended to arbitrary vector bundle fields on general spatially homogeneous spacetimes. This is done by developing a rigorous unified framework which incorporates mode decomposition, harmonic analysis and Fourier anal- ysis. The limits of applicability and uniqueness of mode decomposition by separation of the time variable in the field equation are found. It is shown how mode decomposition can be naturally extended to weak solutions of the field equation under some analytical assumptions. It is further shown that these assumptions can always be fulfilled if the vector bundle under consideration is analytic. The propagator of the field equation is explicitly mode decomposed. A short survey on the geometry of the models considered in mathematical cosmology is given and it is concluded that practically all of them can be represented by a semidirect homogeneous vector bundle. Abstract harmonic analytical Fourier transform is introduced in semidirect homogeneous spaces and it is explained how it can be related to the spectral Fourier transform. The general form of invariant bi-distributions on semidirect homogeneous spaces is found in the Fourier space which generalizes earlier results for the homogeneous states of the scalar field on FRW spacetimes.


title: Unruh Effect and the Concept of Temperature

abstract: Based on a discussion of the concepts of temperature, passivity and efficiency in the framework of quantum field theory, the physical interpretation of the Unruh effect is reviewed PACS: 03.70.+k, 04.70.Dy


title: Insights into thermonuclear supernovae from the incomplete silicon burning process

abstract: Type Ia supernova (SNIa) explosions synthesize a few tenths to several tenths of a solar mass, whose composition is the result of incomplete silicon burning that reaches peak temperatures of 4 GK to 5 GK. The elemental abundances are sensitive to the physical conditions in the explosion, making their measurement a promising clue to uncovering the properties of the progenitor star and of the explosion itself. Using a parameterized description of the thermodynamic history of matter undergoing incomplete silicon burning, we computed the final composition for a range of parameters wide enough to encompass current models of SNIa. Then, we searched for combinations of elemental abundances that trace the parameters values and are potentially measurable. For this purpose, we divide the present study into two epochs of SNIa, namely the optical epoch, from a few weeks to several months after the explosion, and the X-ray epoch, which refers to the time period in which the supernova remnant is young, starting one or two hundred years age and ending a thousand years after the event. During the optical epoch, the only SNIa property that can be extracted from the detection of incomplete silicon burning elements is the neutron excess of the progenitor white dwarf at thermal runaway, which can be determined through measuring the ratio of the abundance of manganese to that of titanium, chromium, or vanadium. Conversely, in the X-ray epoch, any abundance ratio built using a couple of elements from titanium, vanadium, chromium, or manganese may constrain the initial neutron excess. Furthermore, measuring the ratio of the abundances of vanadium to manganese in the X-ray might shed light on the timescale of the thermonuclear explosion.


title: Lepton Mixing Patterns from a Scan of Finite Discrete Groups

abstract: The recent discovery of a non-zero value of the mixing angle theta_13 has ruled out tri-bimaximal mixing as the correct lepton mixing pattern generated by some discrete flavor symmetry (barring large next-to-leading order corrections in concrete models). In this work we assume that neutrinos are Majorana particles and perform a general scan of all finite discrete groups with order less than 1536 to obtain their predictions for lepton mixing angles. To our surprise, the scan of over one million groups only yields 3 interesting groups that give lepton mixing patterns which lie within 3-sigma of the current best global fit values. A systematic way to categorize such groups and the implications for flavor symmetry are discussed.


title: The regular state in higher-order gravity

abstract: We consider the higher-order gravity theory derived from the quadratic lagrangian $R+\epsilon R^2$ in vacuum as a first-order (ADM-type) system with constraints, and build time developments of solutions of an initial value formulation of the theory. We show that all such solutions, if analytic, contain the right number of free functions to qualify as general solutions of the theory. We further show that any regular analytic solution which satisfies the constraints and the evolution equations can be given in the form of an asymptotic formal power series expansion.


title: An erratum to "Property (RD) for Hecke pairs"

abstract: We correct an error in the article "Property (RD) for Hecke pairs".


title: Mining Techniques in Network Security to Enhance Intrusion Detection Systems

abstract: In intrusion detection systems, classifiers still suffer from several drawbacks such as data dimensionality and dominance, different network feature types, and data impact on the classification. In this paper two significant enhancements are presented to solve these drawbacks. The first enhancement is an improved feature selection using sequential backward search and information gain. This, in turn, extracts valuable features that enhance positively the detection rate and reduce the false positive rate. The second enhancement is transferring nominal network features to numeric ones by exploiting the discrete random variable and the probability mass function to solve the problem of different feature types, the problem of data dominance, and data impact on the classification. The latter is combined to known normalization methods to achieve a significant hybrid normalization approach. Finally, an intensive and comparative study approves the efficiency of these enhancements and shows better performance comparing to other proposed methods.


title: Robust Face Recognition using Local Illumination Normalization and Discriminant Feature Point Selection

abstract: Face recognition systems must be robust to the variation of various factors such as facial expression, illumination, head pose and aging. Especially, the robustness against illumination variation is one of the most important problems to be solved for the practical use of face recognition systems. Gabor wavelet is widely used in face detection and recognition because it gives the possibility to simulate the function of human visual system. In this paper, we propose a method for extracting Gabor wavelet features which is stable under the variation of local illumination and show experiment results demonstrating its effectiveness.


title: Recent results from the ANTARES deep sea neutrino telescope

abstract: The ANTARES deep sea neutrino telescope has acquired over four years of high quality data. This data has been used to measure the oscillation parameters of atmospheric neutrinos and also to search for neutrinos of a non-terrestrial origin. Competitive upper limits on the fluxes of neutrinos from dark matter annihilation in the Sun, a variety of Galactic and extra-galactic sources, both steady and transient, are presented.


title: Associated production of $\Upsilon(1S)W$ at LHC in next-to-leading order QCD

abstract: We investigate the complete next-to-leading order (NLO) QCD corrections to $\Upsilon(1S) +W$ production at the LHC, and predict theoretically the distribution of the $\Upsilon(1S)$ transverse momentum. We analyse the contributions from different components up to the QCD NLO in the \ppUW process. Our results show that the \ppUW process has a large production rate and could be potentially detected at the LHC. We see that the differential cross section for the $\Upsilon(1S)$ direct-production at the LO is significantly enhanced by the QCD corrections, and the $b\bar{b} [ ^3S_1^{(8)} ]$ contribution component dominates in the whole plotted $p_T^{\Upsilon(1S)}$ region. We have also calculated the $\Upsilon(1S)$ meson indirect-productions via feed-down decays of $\Upsilon(2S)$, $\Upsilon(3S)$, $\chi_{b1}(1P)$, $\chi_{b2}(1P)$, $\chi_{b1}(2P)$, and $\chi_{b2}(2P)$ mesons. We find that the $\Upsilon(1S)$ indirect-productions can give important contributions to the distribution of $p_T^{\Upsilon(1S)}$ for the \ppUW process at the NLO. We conclude that the studying the $\Upsilon(1S)+W$ production at the LHC could provide an interesting opportunity in testing the nonrelativistic QCD factorization formalism.


title: Quantum simulation of open-system dynamical maps with trapped ions

abstract: Dynamical maps describe general transformations of the state of a physical system, and their iteration can be interpreted as generating a discrete time evolution. Prime examples include classical nonlinear systems undergoing transitions to chaos. Quantum mechanical counterparts show intriguing phenomena such as dynamical localization on the single particle level. Here we extend the concept of dynamical maps to an open-system, many-particle context: We experimentally explore the stroboscopic dynamics of a complex many-body spin model by means of a universal quantum simulator using up to five ions. In particular, we generate long-range phase coherence of spin by an iteration of purely dissipative quantum maps. We also demonstrate the characteristics of competition between combined coherent and dissipative non-equilibrium evolution. This opens the door for studying many-particle non-equilibrium physics and associated dynamical phase transitions with no immediate counterpart in equilibrium condensed matter systems. An error detection and reduction toolbox that facilitates the faithful quantum simulation of larger systems is developed as a first step in this direction.


title: An all-order proof of the equivalence between Gribov's no-pole and Zwanziger's horizon conditions

abstract: The quantization of non-Abelian gauge theories is known to be plagued by Gribov copies. Typical examples are the copies related to zero modes of the Faddeev-Popov operator, which give rise to singularities in the ghost propagator. In this work we present an exact and compact expression for the ghost propagator as a function of external gauge fields, in SU(N) Yang-Mills theory in the Landau gauge. It is shown, to all orders, that the condition for the ghost propagator not to have a pole, the so-called Gribov's no-pole condition, can be implemented by demanding a nonvanishing expectation value for a functional of the gauge fields that turns out to be Zwanziger's horizon function. The action allowing to implement this condition is the Gribov-Zwanziger action. This establishes in a precise way the equivalence between Gribov's no-pole condition and Zwanziger's horizon condition.


title: Coordinates changed random fields on the sphere

abstract: We construct time dependent random fields on the sphere through coordinates change and subordination and we study the associated angular power spectrum. Some of this random fields arise naturally as solutions of partial differential equations with random initial condition represented by a Gaussian random field.


title: Radio fiber bursts and fast magnetoacoustic wave trains

abstract: We present a model for dm-fiber bursts that is based on assuming fast sausage magnetoacoustic wave trains that propagate along a dense vertical filament or current sheet. Eight groups of dm-fiber bursts that were observed during solar flares were selected and analyzed by the wavelet analysis method. To model these fiber bursts we built a semi-empirical model. We also did magnetohydrodynamic simulations of a propagation of the magnetoacoustic wave train in a vertical and gravitationally stratified current sheet. In the wavelet spectra of the fiber bursts computed at different radio frequencies we found the wavelet tadpoles, whose head maxima have the same frequency drift as the drift of fiber bursts. It indicates that the drift of these fiber bursts can be explained by the propagating fast sausage magnetoacoustic wave train. Using new semi-empirical and magnetohydrodynamic models with a simple radio emission model we generated the artificial radio spectra of the fiber bursts, which are similar to the observed ones.


title: New experimental limits on the alpha decays of lead isotopes

abstract: For the first time a PbWO4 crystal was grown using ancient Roman lead and it was run as a cryogenic detector. Thanks to the simultaneous and independent read-out of heat and scintillation light, the detector was able to discriminate beta/gamma interactions with respect to alpha particles down to low energies. New more stringent limits on the alpha decays of the lead isotopes are presented. In particular a limit of T_{1/2} > 1.4*10^20 y at a 90% C.L. was evaluated for the alpha decay of 204Pb to 200Hg.


title: Spatial correlations of Rydberg excitations in optically driven atomic ensembles

abstract: We study the emergence of many-body correlations in the stationary state of continuously-driven, strongly-interacting dissipative system. Specifically, we examine resonant optical excitations of Rydberg states of atoms interacting via long-range dipole-dipole and van der Waals potentials employing exact numerical solutions of the density matrix equations and Monte-Carlo simulations. Collection of atoms within a blockade distance form a "superatom" that can accommodate at most one Rydberg excitation. The superatom excitation probability saturates to 1/2 for coherently driven atoms, but is significantly higher for incoherent driving, approaching unity as the number of atoms increases. In the steady state of uniformly-driven, extended one-dimensional system, the saturation of superatoms leads to quasi-crystallization of Rydberg excitations whose correlations exhibit damped spatial oscillations. The behavior of the system under the van der Waals interaction potential can be approximated by an analytically soluble model based on a "hard-rod" interatomic potential.


title: The VLT-FLAMES Tarantula Survey X: Evidence for a bimodal distribution of rotational velocities for the single early B-type stars

abstract: Aims: Projected rotational velocities (\vsini) have been estimated for 334 targets in the VLT-FLAMES Tarantula survey that do not manifest significant radial velocity variations and are not supergiants. They have spectral types from approximately O9.5 to B3. The estimates have been analysed to infer the underlying rotational velocity distribution, which is critical for understanding the evolution of massive stars. Methods: Projected rotational velocities were deduced from the Fourier transforms of spectral lines, with upper limits also being obtained from profile fitting. For the narrower lined stars, metal and non-diffuse helium lines were adopted, and for the broader lined stars, both non-diffuse and diffuse helium lines; the estimates obtained using the different sets of lines are in good agreement. The uncertainty in the mean estimates is typically 4% for most targets. The iterative deconvolution procedure of Lucy has been used to deduce the probability density distribution of the rotational velocities. Results: Projected rotational velocities range up to approximately 450 \kms and show a bi-modal structure. This is also present in the inferred rotational velocity distribution with 25% of the sample having $0\leq$\ve$\leq$100\,\kms and the high velocity component having \ve$\sim 250$\,\kms. There is no evidence from the spatial and radial velocity distributions of the two components that they represent either field and cluster populations or different episodes of star formation. Be-type stars have also been identified. Conclusions: The bi-modal rotational velocity distribution in our sample resembles that found for late-B and early-A type stars. While magnetic braking appears to be a possible mechanism for producing the low-velocity component, we can not rule out alternative explanations.


title: Multi-layered Social Networks

abstract: It is quite obvious that in the real world, more than one kind of relationship can exist between two actors and that those ties can be so intertwined that it is impossible to analyse them separately [Fienberg 85], [Minor 83], [Szell 10]. Social networks with more than one type of relation are not a completely new concept [Wasserman 94] but they were analysed mainly at the small scale, e.g. in [McPherson 01], [Padgett 93], and [Entwisle 07]. Just like in the case of regular single-layered social network there is no widely accepted definition or even common name. At the beginning such networks have been called multiplex network [Haythornthwaite 99], [Monge 03]. The term is derived from communications theory which defines multiplex as combining multiple signals into one in such way that it is possible to separate them if needed [Hamill 06]. Recently, the area of multi-layered social network has started attracting more and more attention in research conducted within different domains [Kazienko 11a], [Szell 10], [Rodriguez 07], [Rodriguez 09], and the meaning of multiplex network has expanded and covers not only social relationships but any kind of connection, e.g. based on geography, occupation, kinship, hobbies, etc. [Abraham 12]. This essay aims to summarize existing knowledge about one concept which has many different names i.e. the concept of Multi-layered Social Network also known as Layered social network, Multi-relational social network, Multidimensional social network, Multiplex social network


title: Molecular simulation of surface reorganization and wetting in crystalline cellulose I and II

abstract: Cellulose is one of the most versatile substances in the world. Its immense variety of applications was in recent years complemented by interesting nanotechnological applications. The fabrication of complex cellulose-based materials asks for thorough understanding of the surface structure and its interactions with adsorbates. In this study we investigate several surface model systems of nanotechnological interest, which are obtained by reorganization of the cellulose-vacuum or cellulose-water interfaces of slabs of crystalline cellulose. To do this, we constructed supercells from crystallographic data, and then optimized the interface structures. From the bulk and surface systems we calculated structural properties such as unit cell parameters, dihedral conformation distributions, density profiles and hydrogen bonding. The results suggest that no overall geometrical restructuring occurs at the interface. However, the hydrogen bond network is strongly reconstructed, as is inferred from the dihedral conformations and hydrogen bond occurrences, although only within the first few layers. This holds for low index close packed structures as well as for high index loosely packed surfaces. Replacing the vacuum by ambient pressure water molecules we find less rearrangements of the cellulose surface, because the water allows formation of hydrogen bonds similar to those in the bulk phase. The water near the cellulose surface shows, however, strong structural changes. We observe reduced mobility of the water molecules, which corresponds to a cooling of water by about 30 degrees, in a slab that is about 10 \AA\ thick. Although structuring and adsorption is observed on all surfaces, no actual penetration of water into the cellulose structure could be observed. This suggests that pure water is not sufficient to produce cellulose swelling at mesoscopic timescales.


title: Quantum discord in nuclear magnetic resonance systems at room temperature

abstract: We review the theoretical and the experimental aspects regarding the quantification and identification of quantum correlations in liquid-state nuclear magnetic resonance (NMR) systems at room temperature. We start by introducing a formal method to obtain the quantum discord and its classical counterpart in systems described by a deviation matrix. Next, we apply such a method to experimentally demonstrate that the peculiar dynamics, with a sudden change behaviour, of quantum discord under decoherence, theoretically predicted only for phase-noise channels, is also present even under the effect of a thermal environment. This result shows that such a phenomena are much stronger than we could think, at principle. Walking through a different path, we discuss an observable witness for the quantumness of correlations in two-qubit systems and present the first experimental implementation of such a quantity in a NMR setup. Such a witness could be very useful in situations were the knowledge of the nature of correlations (in contrast of how much correlations) presented in a given state is enough.


title: Comparison of invariant functions on strongly pseudoconvex domains

abstract: It is shown that the Carath\'eodory distance and the Lempert function are almost the same on any strongly pseudoconvex domain in $\C^n;$ in addition, if the boundary is $C^{2+\eps}$-smooth, then $\sqrt{n+1}$ times one of them almost coincides with the Bergman distance.


title: Fractional Flux Quantization in Loops of Unconventional Superconductors

abstract: The magnetic flux threading a conventional superconducting ring is typically quantized in units of $\Phi_0=hc/2e$. The factor 2 in the denominator of $\Phi_0$ originates from the existence of two different types of pairing states with minima of the free energy at even and odd multiples of $\Phi_0$. Here we show that spatially modulated pairing states exist with energy minima at fractional flux values, in particular at multiples of $\Phi_0/2$. In such states condensates with different center-of-mass momenta of the Cooper pairs coexist. The proposed mechanism for fractional flux quantization is discussed in the context of cuprate superconductors, where $hc/4e$ flux periodicities as well as uniaxially modulated superconducting states were observed.


title: Theoretical calculations of phase diagrams and self-assembly in patchy colloids

abstract: Review paper. Chapter 6 in Janus Particles Synthesis, Self-Assembly, and Applications pages 108-137, Edited by Steve Granick and Shan Jiang (RCS Publishing 2012) http://www.rsc.org/Shop/books/2012/9781849734233.asp


title: Hadron Formation in Relativistic Nuclear Collisions and the QCD Phase Diagram

abstract: We analyze hadrochemical freeze-out in central Pb+Pb collisions at CERN SPS and LHC energies. We determine the effects of baryon and antibaryon annihilation and/or regeneration occurring during the final cascade expansion stage of the collisions by deriving "survival factors" for each hadronic species and all energies considered by employing the UrQMD hybrid model. These survival factors are shown to resemble the pattern of data deviation from the statistical equilibrium calculations with the statistical model. We apply them in the SM data analysis, obtaining new points in the $T-\mu_B$ plane which follow closely the parton-hadron phase boundary predicted by lattice QCD.


title: Approximation Method for the Relaxed Covariant Form of the Gravitational Field Equations for Particles

abstract: We present a study of the so called relaxed field equations of general relativity in terms of a decomposition of the metric; which is designed to deal with the notion of particles. Several known results are generalized to a coordinate free covariant discussion. We apply our techniques to the study of a particle up to second order.


title: Processing Quantum Information in Hybrid Topological Qubit and Superconducting Flux Qubit System

abstract: A composite system of Majorana-hosted semiconductor nanowire and superconducting flux qubit is inves- tigated. It is found that the coupling between these two subsystems can be controlled electrically, supplying a convenient method to implement {\pi}/8 phase gate of a Majorana-based topological qubit. We also present a scheme to transfer information from the flux qubit to the topological qubit using Landau-Zener transition. In addition, a structure named top-flux-flux is proposed to retrieve the information stored in the topological qubit. With the demonstration of the entanglement of two topological qubits, it is very promising to do quantum information process with this hybrid system.


title: Explicit expressions for optical scalars in gravitational lensing from general matter sources

abstract: We present explicit expressions for the optical scalars and the deection angle in terms of the energymomentum tensor components of matter distributions. Our work generalizes standard references in the literature where normally stringent assumptions are made on the sources.


title: Stabilizing transverse ablative Rayleigh Taylor like instability by using elliptically polarized laser pulses in the hole-boring radiation pressure acceleration regime

abstract: It is shown that the transverse Rayleigh Taylor like instability can be well stabilized by using elliptically polarized laser in the hole boring radiation pressure acceleration regime. The $\bm{J}\times\bm{B}$ effect of the laser will thermalize the local electrons and support a transverse diffusion mechanism of the ions, resulting in the stabilization of the short wavelength perturbations, which is quite similar to the ablative Rayleigh Taylor instability in the initial confinement fusion research. The proper range of polarization ratio is obtained from a theoretical model for the given laser intensity and plasma density. The stabilization mechanism is well confirmed by two dimensional Particle-in-Cell simulations, and the ion beam driven by the elliptically polarized laser is more concentrated and intense compared with that of the circularly polarized laser.


title: An $xp$ model on $AdS_2$ spacetime

abstract: In this paper we formulate the $xp$ model on the AdS$_2$ spacetime. We find that the spectrum of the Hamiltonian has positive and negative eigenvalues, whose absolute values are given by a harmonic oscillator spectrum, which in turn coincides with that of a massive Dirac fermion in AdS$_2$. We extend this result to generic $xp$ models which are shown to be equivalent to a massive Dirac fermion on spacetimes whose metric depend of the $xp$ Hamiltonian. Finally, we construct the generators of the isometry group SO(2,1) of the AdS$_2$ spacetime, and discuss the relation with conformal quantum mechanics.


title: Nuclear Field Theory predictions for 11Li and 12Be: shedding light on the origin of pairing in nuclei

abstract: Recent data resulting from studies of two-nucleon transfer reaction on 11Li, analyzed through a unified nuclear-structure-direct-reaction theory have provided strong direct as well as indirect confirmation, through the population of the first excited state of 9Li and of the observation of a strongly quenched ground state transition, of the prediction that phonon mediated pairing interaction is the main mechanism binding the neutron halo of the 8.5 ms-lived 11Li nucleus. In other words, the ground state of 11Li can be viewed as a neutron Cooper pair bound to the 9Li core, mainly through the exchange of collective vibration of the core and of the pigmy resonance arizing from the sloshing back and forth of the neutron halo against the protons of the core, the mean field leading to unbound two particle states, a situation essentially not altered by the bare nucleon-nucleon interaction acting between the halo neutrons. Two-neutron pick-up data, together with (t,p) data on 7Li, suggest the existence of a pairing vibrational band based on 9Li, whose members can be excited with the help of inverse kinematic experiments as was done in the case of 11Li(p,t)9Li reaction. The deviation from harmonicity can provide insight into the workings of medium polarization effects on Cooper pair nuclear pairing, let alone specific information concering the "rigidity" of the N=6 shell closure. Further information concerning these questions is provided by the predicted absolute differential cross sections associated with the reactions 12Be(p,t)10Be(gs) and 12Be(p,t)10Be(pv)(~10Be(p,t)8Be(gs)). In particular, concerning this last reaction, predictions of \sigma_{abs} can change by an order of magnitude depending on whether the halo properties associated with the d_{5/2} orbital are treated selfconsistently in calculating the ground state correlations of the (pair removal) mode, or not.


title: Model-order reduction of biochemical reaction networks

abstract: In this paper we propose a model-order reduction method for chemical reaction networks governed by general enzyme kinetics, including the mass-action and Michaelis-Menten kinetics. The model-order reduction method is based on the Kron reduction of the weighted Laplacian matrix which describes the graph structure of complexes in the chemical reaction network. We apply our method to a yeast glycolysis model, where the simulation result shows that the transient behaviour of a number of key metabolites of the reduced-order model is in good agreement with those of the full-order model.

categories: cs.SY cs.SE math.DS physics.chem-ph q-bio.MN


title: Analysis of patent activity in the field of quantum information processing

abstract: This paper provides an analysis of patent activity in the field of quantum information processing. Data from the PatentScope database from the years 1993-2011 was used. In order to predict the future trends in the number of filed patents time series models were used.


title: Production of Bound States with Hidden Charm at J-PARC and JLab

abstract: The cross sections of the production of bound states with hidden charm in reactions induced by pions and photons are presented. To facilitate the experimental efforts to determine the $J/\Psi$-N interactions, we present results for $J/\Psi$ production on the deuteron.


title: Evidence for Time-Reversal-Symmetry-Broken Superconductivity in Locally Noncentrosymmetric SrPtAs

abstract: We report the magnetic and superconducting properties of locally noncentrosymmetric SrPtAs obtained by muon-spin-rotation/relaxation (muSR) measurements. Zero-field muSR reveals the occurrence of small spontaneous static magnetic fields with the onset of superconductivity. This finding suggests that the superconducting state of SrPtAs breaks time-reversal symmetry. The superfluid density as determined by transverse field muSR is nearly flat approaching T = 0 K proving the absence of extended nodes in the gap function. By symmetry, several superconducting states supporting time-reversal symmetry breaking in SrPtAs are allowed. Out of these, a dominantly d + id (chiral d-wave) order parameter is most consistent with our experimental data.


title: Active Collaborative Filtering

abstract: Collaborative filtering (CF) allows the preferences of multiple users to be pooled to make recommendations regarding unseen products. We consider in this paper the problem of online and interactive CF: given the current ratings associated with a user, what queries (new ratings) would most improve the quality of the recommendations made? We cast this terms of expected value of information (EVOI); but the online computational cost of computing optimal queries is prohibitive. We show how offline prototyping and computation of bounds on EVOI can be used to dramatically reduce the required online computation. The framework we develop is general, but we focus on derivations and empirical study in the specific case of the multiple-cause vector quantization model.


title: Cooperative Negotiation in Autonomic Systems using Incremental Utility Elicitation

abstract: Decentralized resource allocation is a key problem for large-scale autonomic (or self-managing) computing systems. Motivated by a data center scenario, we explore efficient techniques for resolving resource conflicts via cooperative negotiation. Rather than computing in advance the functional dependence of each element's utility upon the amount of resource it receives, which could be prohibitively expensive, each element's utility is elicited incrementally. Such incremental utility elicitation strategies require the evaluation of only a small set of sampled utility function points, yet they find near-optimal allocations with respect to a minimax regret criterion. We describe preliminary computational experiments that illustrate the benefit of our approach.


title: On revising fuzzy belief bases

abstract: We look at the problem of revising fuzzy belief bases, i.e., belief base revision in which both formulas in the base as well as revision-input formulas can come attached with varying truth-degrees. Working within a very general framework for fuzzy logic which is able to capture a variety of types of inference under uncertainty, such as truth-functional fuzzy logics and certain types of probabilistic inference, we show how the idea of rational change from 'crisp' base revision, as embodied by the idea of partial meet revision, can be faithfully extended to revising fuzzy belief bases. We present and axiomatise an operation of partial meet fuzzy revision and illustrate how the operation works in several important special instances of the framework.


title: Upgrading Ambiguous Signs in QPNs

abstract: WA qualitative probabilistic network models the probabilistic relationships between its variables by means of signs. Non-monotonic influences have associated an ambiguous sign. These ambiguous signs typically lead to uninformative results upon inference. A non-monotonic influence can, however, be associated with a, more informative, sign that indicates its effect in the current state of the network. To capture this effect, we introduce the concept of situational sign. Furthermore, if the network converts to a state in which all variables that provoke the non-monotonicity have been observed, a non-monotonic influence reduces to a monotonic influence. We study the persistence and propagation of situational signs upon inference and give a method to establish the sign of a reduced influence.


title: Parametric Dependability Analysis through Probabilistic Horn Abduction

abstract: Dependability modeling and evaluation is aimed at investigating that a system performs its function correctly in time. A usual way to achieve a high reliability, is to design redundant systems that contain several replicas of the same subsystem or component. State space methods for dependability analysis may suffer of the state space explosion problem in such a kind of situation. Combinatorial models, on the other hand, require the simplified assumption of statistical independence; however, in case of redundant systems, this does not guarantee a reduced number of modeled elements. In order to provide a more compact system representation, parametric system modeling has been investigated in the literature, in such a way that a set of replicas of a given subsystem is parameterized so that only one representative instance is explicitly included. While modeling aspects can be suitably addressed by these approaches, analytical tools working on parametric characterizations are often more difficult to be defined and the standard approach is to 'unfold' the parametric model, in order to exploit standard analysis algorithms working at the unfolded 'ground' level. Moreover, parameterized combinatorial methods still require the statistical independence assumption. In the present paper we consider the formalism of Parametric Fault Tree (PFT) and we show how it can be related to Probabilistic Horn Abduction (PHA). Since PHA is a framework where both modeling and analysis can be performed in a restricted first-order language, we aim at showing that converting a PFT into a PHA knowledge base will allow an approach to dependability analysis directly exploiting parametric representation. We will show that classical qualitative and quantitative dependability measures can be characterized within PHA. Furthermore, additional modeling aspects (such as noisy gates and local dependencies) as well as additional reliability measures (such as posterior probability analysis) can be naturally addressed by this conversion. A simple example of a multi-processor system with several replicated units is used to illustrate the approach.


title: Bayesian Hierarchical Mixtures of Experts

abstract: The Hierarchical Mixture of Experts (HME) is a well-known tree-based model for regression and classification, based on soft probabilistic splits. In its original formulation it was trained by maximum likelihood, and is therefore prone to over-fitting. Furthermore the maximum likelihood framework offers no natural metric for optimizing the complexity and structure of the tree. Previous attempts to provide a Bayesian treatment of the HME model have relied either on ad-hoc local Gaussian approximations or have dealt with related models representing the joint distribution of both input and output variables. In this paper we describe a fully Bayesian treatment of the HME model based on variational inference. By combining local and global variational methods we obtain a rigourous lower bound on the marginal probability of the data under the model. This bound is optimized during the training phase, and its resulting value can be used for model order selection. We present results using this approach for a data set describing robot arm kinematics.


title: On Triangulating Dynamic Graphical Models

abstract: This paper introduces new methodology to triangulate dynamic Bayesian networks (DBNs) and dynamic graphical models (DGMs). While most methods to triangulate such networks use some form of constrained elimination scheme based on properties of the underlying directed graph, we find it useful to view triangulation and elimination using properties only of the resulting undirected graph, obtained after the moralization step. We first briefly introduce the Graphical model toolkit (GMTK) and its notion of dynamic graphical models, one that slightly extends the standard notion of a DBN. We next introduce the 'boundary algorithm', a method to find the best boundary between partitions in a dynamic model. We find that using this algorithm, the notions of forward- and backward-interface become moot - namely, the size and fill-in of the best forward- and backward- interface are identical. Moreover, we observe that finding a good partition boundary allows for constrained elimination orders (and therefore graph triangulations) that are not possible using standard slice-by-slice constrained eliminations. More interestingly, with certain boundaries it is possible to obtain constrained elimination schemes that lie outside the space of possible triangulations using only unconstrained elimination. Lastly, we report triangulation results on invented graphs, standard DBNs from the literature, novel DBNs used in speech recognition research systems, and also random graphs. Using a number of different triangulation quality measures (max clique size, state-space, etc.), we find that with our boundary algorithm the triangulation quality can dramatically improve.


title: An Empirical Study of w-Cutset Sampling for Bayesian Networks

abstract: The paper studies empirically the time-space trade-off between sampling and inference in a sl cutset sampling algorithm. The algorithm samples over a subset of nodes in a Bayesian network and applies exact inference over the rest. Consequently, while the size of the sampling space decreases, requiring less samples for convergence, the time for generating each single sample increases. The w-cutset sampling selects a sampling set such that the induced-width of the network when the sampling set is observed is bounded by w, thus requiring inference whose complexity is exponential in w. In this paper, we investigate performance of w-cutset sampling over a range of w values and measure the accuracy of w-cutset sampling as a function of w. Our experiments demonstrate that the cutset sampling idea is quite powerful showing that an optimal balance between inference and sampling benefits substantially from restricting the cutset size, even at the cost of more complex inference.


title: A possibilistic handling of partially ordered information

abstract: In a standard possibilistic logic, prioritized information are encoded by means of weighted knowledge base. This paper proposes an extension of possibilistic logic for dealing with partially ordered information. We Show that all basic notions of standard possibilitic logic (sumbsumption, syntactic and semantic inference, etc.) have natural couterparts when dealing with partially ordered information. We also propose an algorithm which computes possibilistic conclusions of a partial knowledge base of a partially ordered knowlege base.


title: RSAED: Robust and Secure Aggregation of Encrypted Data in Wireless Sensor Networks

abstract: Recently, secure in-network aggregation in wireless sensor networks becomes a challenge issue, there is an extensive research on this area due to the large number of applications where the sensors are deployed and the security needs. In the last few years, aggregation of encrypted data has been proposed in order to maintain secrecy between the sensors and the sink, so the end-to-end data confidentiality is provided. However, the data integrity was not addressed. In this paper, we propose RSAED that allows integrity verification at intermediate nodes, ensures the base station to receive ciphertexts which come only from legitimate nodes and also improves the efficiency. Through implementation results, we evaluate our scheme using computation and communication overhead.


title: Value Elimination: Bayesian Inference via Backtracking Search

abstract: Backtracking search is a powerful algorithmic paradigm that can be used to solve many problems. It is in a certain sense the dual of variable elimination; but on many problems, e.g., SAT, it is vastly superior to variable elimination in practice. Motivated by this we investigate the application of backtracking search to the problem of Bayesian inference (Bayes). We show that natural generalizations of known techniques allow backtracking search to achieve performance guarantees similar to standard algorithms for Bayes, and that there exist problems on which backtracking can in fact do much better. We also demonstrate that these ideas can be applied to implement a Bayesian inference engine whose performance is competitive with standard algorithms. Since backtracking search can very naturally take advantage of context specific structure, the potential exists for performance superior to standard algorithms on many problems.


title: Web-Based Question Answering: A Decision-Making Perspective

abstract: We describe an investigation of the use of probabilistic models and cost-benefit analyses to guide resource-intensive procedures used by a Web-based question answering system. We first provide an overview of research on question-answering systems. Then, we present details on AskMSR, a prototype web-based question answering system. We discuss Bayesian analyses of the quality of answers generated by the system and show how we can endow the system with the ability to make decisions about the number of queries issued to a search engine, given the cost of queries and the expected value of query results in refining an ultimate answer. Finally, we review the results of a set of experiments.


title: The Clique Density Theorem

abstract: Tur\'{a}n's theorem is a cornerstone of extremal graph theory. It asserts that for any integer $r \geq 2$ every graph on $n$ vertices with more than ${\tfrac{r-2}{2(r-1)}\cdot n^2}$ edges contains a clique of size $r$, i.e., $r$ mutually adjacent vertices. The corresponding extremal graphs are balanced $(r-1)$-partite graphs. The question as to how many such $r$-cliques appear at least in any $n$-vertex graph with $\gamma n^2$ edges has been intensively studied in the literature. In particular, Lov\'{a}sz and Simonovits conjectured in the 1970s that asymptotically the best possible lower bound is given by the complete multipartite graph with $\gamma n^2$ edges in which all but one vertex class is of the same size while the remaining one may be smaller. Their conjecture was recently resolved for $r=3$ by Razborov and for $r=4$ by Nikiforov. In this article, we prove the conjecture for all values of $r$.


title: New Advances in Inference by Recursive Conditioning

abstract: Recursive Conditioning (RC) was introduced recently as the first any-space algorithm for inference in Bayesian networks which can trade time for space by varying the size of its cache at the increment needed to store a floating point number. Under full caching, RC has an asymptotic time and space complexity which is comparable to mainstream algorithms based on variable elimination and clustering (exponential in the network treewidth and linear in its size). We show two main results about RC in this paper. First, we show that its actual space requirements under full caching are much more modest than those needed by mainstream methods and study the implications of this finding. Second, we show that RC can effectively deal with determinism in Bayesian networks by employing standard logical techniques, such as unit resolution, allowing a significant reduction in its time requirements in certain cases. We illustrate our results using a number of benchmark networks, including the very challenging ones that arise in genetic linkage analysis.


title: Incremental Compilation of Bayesian networks

abstract: Most methods of exact probability propagation in Bayesian networks do not carry out the inference directly over the network, but over a secondary structure known as a junction tree or a join tree (JT). The process of obtaining a JT is usually termed {sl compilation}. As compilation is usually viewed as a whole process; each time the network is modified, a new compilation process has to be carried out. The possibility of reusing an already existing JT, in order to obtain the new one regarding only the modifications in the network has received only little attention in the literature. In this paper we present a method for incremental compilation of a Bayesian network, following the classical scheme in which triangulation plays the key role. In order to perform incremental compilation we propose to recompile only those parts of the JT which can have been affected by the networks modifications. To do so, we exploit the technique OF maximal prime subgraph decomposition in determining the minimal subgraph(s) that have to be recompiled, and thereby the minimal subtree(s) of the JT that should be replaced by new subtree(s).We focus on structural modifications : addition and deletion of links and variables.


title: Structure-Based Causes and Explanations in the Independent Choice Logic

abstract: This paper is directed towards combining Pearl's structural-model approach to causal reasoning with high-level formalisms for reasoning about actions. More precisely, we present a combination of Pearl's structural-model approach with Poole's independent choice logic. We show how probabilistic theories in the independent choice logic can be mapped to probabilistic causal models. This mapping provides the independent choice logic with appealing concepts of causality and explanation from the structural-model approach. We illustrate this along Halpern and Pearl's sophisticated notions of actual cause, explanation, and partial explanation. This mapping also adds first-order modeling capabilities and explicit actions to the structural-model approach.


title: Inference in Polytrees with Sets of Probabilities

abstract: Inferences in directed acyclic graphs associated with probability sets and probability intervals are NP-hard, even for polytrees. In this paper we focus on such inferences, and propose: 1) a substantial improvement on Tessems A / R algorithm FOR polytrees WITH probability intervals; 2) a new algorithm FOR direction - based local search(IN sets OF probability) that improves ON existing methods; 3) a collection OF branch - AND - bound algorithms that combine the previous techniques.The first two techniques lead TO approximate solutions, WHILE branch - AND - bound procedures can produce either exact OR approximate solutions.We report ON dramatic improvements ON existing techniques FOR inference WITH probability sets AND intervals, IN SOME cases reducing the computational effort BY many orders OF magnitude.


title: Symbolic Generalization for On-line Planning

abstract: Symbolic representations have been used successfully in off-line planning algorithms for Markov decision processes. We show that they can also improve the performance of on-line planners. In addition to reducing computation time, symbolic generalization can reduce the amount of costly real-world interactions required for convergence. We introduce Symbolic Real-Time Dynamic Programming (or sRTDP), an extension of RTDP. After each step of on-line interaction with an environment, sRTDP uses symbolic model-checking techniques to generalizes its experience by updating a group of states rather than a single state. We examine two heuristic approaches to dynamic grouping of states and show that they accelerate the planning process significantly in terms of both CPU time and the number of steps of interaction with the environment.


title: The Information Bottleneck EM Algorithm

abstract: Learning with hidden variables is a central challenge in probabilistic graphical models that has important implications for many real-life problems. The classical approach is using the Expectation Maximization (EM) algorithm. This algorithm, however, can get trapped in local maxima. In this paper we explore a new approach that is based on the Information Bottleneck principle. In this approach, we view the learning problem as a tradeoff between two information theoretic objectives. The first is to make the hidden variables uninformative about the identity of specific instances. The second is to make the hidden variables informative about the observed attributes. By exploring different tradeoffs between these two objectives, we can gradually converge on a high-scoring solution. As we show, the resulting, Information Bottleneck Expectation Maximization (IB-EM) algorithm, manages to find solutions that are superior to standard EM methods.