title: The importance of local measurements for cosmology

abstract: We explore how local, cosmology-independent measurements of the Hubble constant and the age of the Universe help to provide a powerful consistency check of the currently favored cosmological model (flat LambdaCDM) and model-independent constraints on cosmology. We use cosmic microwave background (CMB) data to define the model-dependent cosmological parameters, and add local measurements to assess consistency and determine whether extensions to the model are justified. At current precision, there is no significant tension between the locally measured Hubble constant and age of the Universe (with errors of 3% and 5% respectively) and the corresponding parameters derived from the CMB. However, if errors on the local measurements could be decreased by a factor of two, one could decisively conclude if there is tension or not. We also compare the local and CMB data assuming simple extensions of the flat, $\Lambda$CDM model (including curvature, dark energy with a constant equation of state parameter not equal to -1, non-zero neutrino masses and a non-standard number of neutrino families) and find no need for these extra parameters; in particular, we constrain the effective number of neutrino species to be Neff < 4 at 95% confidence. We show that local measurements provide constraints on the curvature and equation of state of dark energy nearly orthogonal to those of the CMB. We argue that cosmology-independent measurements of local quantities at the percent level would be very useful to explore cosmology in a model-independent way.


title: A case of mu-synthesis as a quadratic semidefinite program

abstract: We analyse a special case of the robust stabilization problem under structured uncertainty. We obtain a new criterion for the solvability of the spectral Nevanlinna-Pick problem, which is a special case of the $\mu$-synthesis problem of $H^\infty$ control in which $\mu$ is the spectral radius. Given $n$ distinct points $\la_1,\dots,\la_n$ in the unit disc and $2\times 2$ nonscalar complex matrices $W_1,\dots,W_n$, the problem is to determine whether there is an analytic $2\times 2$ matrix function $F$ on the disc such that $F(\la_j)=W_j$ for each $j$ and the supremum of the spectral radius of $F(\la)$ is less than 1 for $\la$ in the disc. The condition is that the minimum of a quadratic function of pairs of positive $3n$-square matrices subject to certain linear matrix inequalities in the data be attained and be zero.


title: Entanglement's Benefit Survives an Entanglement-Breaking Channel

abstract: Entanglement is essential to many quantum information applications, but it is easily destroyed by quantum decoherence arising from interaction with the environment. We report the first experimental demonstration of an entanglement-based protocol that is resilient to loss and noise which destroy entanglement. Specifically, despite channel noise 8.3 dB beyond the threshold for entanglement breaking, eavesdropping-immune communication is achieved between Alice and Bob when an entangled source is used, but no such immunity is obtainable when their source is classical. The results prove that entanglement can be utilized beneficially in lossy and noisy situations, i.e., in practical scenarios.


title: On the Brauer group of the product of a torus and a semisimple algebraic group

abstract: Let T be a torus (not assumed to be split) over a field F, and denote by $_n{H^{2}_{et}(X,Gm)}$ the subgroup of elements of exponent dividing n in the cohomological Brauer group of a scheme X over the field F. We provide conditions on X and n for which the pull-back homomorphism $_n{H^2_{et}(T,Gm)}\to_n{H^2_{et}(X\times T,Gm)}$ is an isomorphism. We apply this to compute the Brauer group of some reductive groups and of non singular affine quadrics. Apart from this, we investigate the p-torsion of the Azumaya algebra defined Brauer group of a regular affine scheme over a field F of characteristic p>0.


title: On the Nearby Binary Brown Dwarf WISE J104915.57-531906.1 (Luhman 16)

abstract: I report some observations and calculations related to the new nearby brown dwarf at d = 2 pc discovered by Luhman (2013, ApJ Letters, in press; arXiv:1303.2401). I report archival astrometry and photometry of the new object from IRAS (epoch 1983.5; IRAS Z10473-5303), AKARI (epoch 2007.0; AKARI J1049166-531907), and the Guide Star Catalog (epoch 1995.304; GSC2.2 S11132026703, GSC2.3 S4BM006703). A SuperCOSMOS scan of a plate taken with the ESO Schmidt Telescope (epoch 1984.169) shows the source as elongated (PA = 138 deg). Membership of the binary to any of the known nearby young groups within 100 pc appears unlikely based on the available astrometry and photometry. Based on the proper motion and parallax, a Monte Carlo simulation of thin disk/thick disk/halo stars is suggestive that the binary is, unsurprisingly, most likely a thin disk star (~96%), with a ~4% chance that it is a thick disk (and negligible chance that it is a halo star). I suggest that this important new nearby binary be called by either its provisional Washington Double Star catalog identifier ("Luhman 16"), or perhaps "Luhman-WISE 1", either of which is easier to remember than the WISE identifier.


title: Inverse-closed algebras of integral operators on locally compact groups

abstract: We construct some inverse-closed algebras of bounded integral operators with operator-valued kernels, acting in spaces of vector-valued functions on locally compact groups. To this end we make systematic use of covariance algebras associated to $C^*$-dynamical systems defined by the abelian $C^*$-algebras of right uniformly continuous functions with respect to the left regular representation.


title: Evolution of seismic velocities in heavy oil sand reservoirs during thermal recovery process

abstract: In thermally enhanced recovery processes like cyclic steam stimulation (CSS) or steam assisted gravity drainage (SAGD), continuous steam injection entails changes in pore fluid, pore pressure and temperature in the rock reservoir, that are most often unconsolidated or weakly consolidated sandstones. This in turn increases or decreases the effective stresses and changes the elastic properties of the rocks. Thermally enhanced recovery processes give rise to complex couplings. Numerical simulations have been carried out on a case study so as to provide an estimation of the evolution of pressure, temperature, pore fluid saturation, stress and strain in any zone located around the injector and producer wells. The approach of Ciz and Shapiro (2007) - an extension of the poroelastic theory of Biot-Gassmann applied to rock filled elastic material - has been used to model the velocity dispersion in the oil sand mass under different conditions of temperature and stress. A good agreement has been found between these predictions and some laboratory velocity measurements carried out on samples of Canadian oil sand. Results appear to be useful to better interpret 4D seismic data in order to locate the steam chamber.


title: On-sample water content measurement for a complete local monitoring in triaxial testing of unsaturated soils

abstract: To provide a complete local monitoring of the state of an unsaturated soil sample during triaxial testing, a local water content measurement device was adapted to a triaxial device comprising the measurement of local displacements (Hall effect transducers) and suction (High capacity transducer). Water content was locally monitored by means of a resistivity probe. The water content/resistivity calibration curves of an intact natural unsaturated loess from Northern France extracted by block sampling at two depths (1 and 3.3 m) were carefully determined, showing good accuracy and repeatability. The validity of two models giving the resistivity of unsaturated soils with respect to their water content was examined.


title: Critical Points of holomorphic sections of line bundles and a spherical Gauss-Lucas theorem

abstract: We study critical points of holomorphic sections of $\ocal(m)$ on $\CP^n$. For quadrics, we give a complete discription of their critical points. When $n=1$, we prove a spherical Gauss-Lucas theorem. For general situation, we prove that a general section has all its critical points isolated and non-degenerate.


title: Pattern Recognition on Oriented Matroids: Critical Committees and Distance Signals

abstract: If V(R) is the vertex sequence of a symmetric cycle R in the tope graph of a simple acyclic oriented matroid M on a t-element ground set, then the set min V(R) of minimal elements in the subposet V(R) of the tope poset of M, based at the positive tope, is a critical committee for M that votes for the base tope. We consider the sequence zR of poset ranks of the elements from the vertex sequence of R as a fragment of a signal with period 2t and relate the number of members of the committee min V(R) to the magnitudes of [t/2] components, with odd indices, of the discrete Fourier transform of the distance vector zR.


title: Visible sector inflation and the right thermal history in light of Planck data

abstract: Inflation creates perturbations for the large scale structures in the universe, but it also dilutes everything. Therefore it is pertinent that the end of inflation must explain how to excite the Standard Model {\it dof} along with the dark matter. In this paper we will briefly discuss the role of visible sector inflaton candidates which are embedded within the Minimal Supersymmetric Standard Model (MSSM) and discuss their merit on how well they match the current data from the Planck. Since the inflaton carries the Standard Model charges their decay naturally produces all the relevant {\it dof} with no {\it dark/hidden sector radiation} and no isocurvature fluctuations. We will first discuss a single supersymmetric flat direction model of inflation and demonstrate what parameter space is allowed by the Planck and the LHC. We will also consider where the perturbations are created by another light field which decays after inflation, known as a {\it curvaton}. The late decay of the curvaton can create observable non-Gaussianity. In the end we will discuss the role of a {\it spectator} field whose origin may not lie within the visible sector physics, but its sheer presence during inflation can still create all the perturbations responsible for the large scale structures including possible non-Gaussianity, while the inflaton is embedded within the visible sector which creates all the relevant matter including dark matter, but no dark radiation.


title: LaAlO3 stoichiometry found key to electron liquid formation at LaAlO3/SrTiO3 interfaces

abstract: Emergent phenomena, including superconductivity and magnetism, found in the two-dimensional electron liquid (2-DEL) at the interface between the insulators LaAlO3 and SrTiO3 distinguish this rich system from conventional two-dimensional electron gases at compound semiconductor interfaces. The origin of this 2-DEL, however, is highly debated with focus on the role of defects in the SrTiO3 while the LaAlO3 has been assumed perfect. Our experiments and first principles calculations show that the cation stoichiometry of the nominal LaAlO3 layer is key to 2-DEL formation: only Al-rich LaAlO3 results in a 2-DEL. While extrinsic defects including oxygen deficiency are known to render LaAlO3/SrTiO3 samples conducting, our results show that in the absence of such extrinsic defects, an interface 2-DEL can form. Its origin is consistent with an intrinsic electronic reconstruction occurring to counteract a polarization catastrophe. This work provides a roadmap for identifying other interfaces where emergent behaviors await discovery.


title: On refractive processes in strong laser field quantum electrodynamics

abstract: Refractive processes in strong-field QED are pure quantum processes, which involve only external photons and the background electromagnetic field. We show analytically that such processes occurring in a plane-wave field and involving external real photons are all characterized by a surprisingly modest net exchange of energy and momentum with the laser field, corresponding to a few laser photons, even in the limit of ultra-relativistic laser intensities. We obtain this result by a direct calculation of the transition matrix element of an arbitrary refractive QED process and accounting exactly for the background plane-wave field. A simple physical explanation of this modest net exchange of laser photons is provided, based on the fact that the laser field couples with the external photons only indirectly through virtual electron-positron pairs. For stronger and stronger laser fields, the pairs cover a shorter and shorter distance before they annihilate again, such that the laser can transfer to them an energy corresponding to only a few photons. These results can be relevant for future experiments aiming to test strong-field QED at present and next-generation facilities.


title: On the Detectability of 57Fe Axion-Photon Mode Conversion in the Sun

abstract: The purpose of this paper is to assess the feasibility of axion detection by X-ray spectroscopy of the sun. We review the theory of axion-photon mode conversion with special attention to axions emitted in the 14.4 keV M1 decay of 57Fe at the solar center. These then mode convert to photons in the outer layers of the solar envelope, and may in principle be detected subsequently as X-rays. For axion masses above about 10^-4 eV, resonant mode conversion at a layer where the axion mass matches the local electron plasma frequency is necessary. For axion masses above about 10^-2 eV, this mode conversion occurs too deep in the solar atmosphere for the resulting photon to escape the solar surface and be detected before Compton scattering obscures the line. At the (detectable) axion masses below this, the flux of mode converted photons predicted by axion models appears to be too low for detection to be feasible with current instrumentation. Nonresonant mode conversion for axion masses below 10^-4 eV is also plausible, but with still lower predicted fluxes, since the axion coupling constant is related to it mass. Prospects for meaningful constraints on massive axion parameters from X-ray observations of this transition from the Sun do not appear to be promising. However parameters for massless counterparts (e.g. the "arion") may still result from such observations. It may mode convert in the outer layers of the solar atmosphere, but is not restricted by this to have a small coupling constant.


title: Compact Gaussian quantum computation by multi-pixel homodyne detection

abstract: We study the possibility of producing and detecting continuous variable cluster states in an optical set-up in an extremely compact fashion. This method is based on a multi-pixel homodyne detection system recently demonstrated experimentally, which includes classical data post-processing. It allows to incorporate the linear optics network, usually employed in standard experiments for the production of cluster states, in the stage of the measurement. After giving an example of cluster state generation by this method, we further study how this procedure can be generalized to perform gaussian quantum computation.


title: Ice Dome Construction for Large Scale Habitats on Atmosphereless Bodies

abstract: One of the greatest difficulties that space exploration faces is the lack of technology necessary to establish large volumes of habitable spaces on site. Both transporting the pre-built enclosures or transporting the equipment necessary for building them on site from conventional materials face the same enormous problem: the need to transport huge quantities of material into space, which is technically close to impossible. The current paper, explores the possibility and one approach of building these large spaces from an alternative material, water ice, a material that is a prerequisite for any settlement. The feasibility of dome shaped, pressurized, water ice buildings is analyzed from a structural integrity point of view and the possibility of building them with a technique using water sublimation and deposition onto a thin plastic film, a process which requires extremely little construction equipment with respect to the resulting habitable space.


title: Global solutions for the gravity water waves system in 2d

abstract: We consider the gravity water waves system in the case of a one dimensional interface, for sufficiently smooth and localized initial data, and prove global existence of small solutions. This improves the almost global existence result of Wu \cite{WuAG}. We also prove that the asymptotic behavior of solutions as time goes to infinity is different from linear, unlike the three dimensional case \cite{GMS2,Wu3DWW}. In particular, we identify a suitable nonlinear logarithmic correction and show modified scattering. The solutions we construct in this paper appear to be the first global smooth nontrivial solutions of the gravity water waves system in 2d.


title: Spectra and eigenvectors of the Segre transformation

abstract: Given two sequences $\fa=(a_n)_{n\geq 0}$ and $\fb=(b_n)_{n\geq 0}$ of complex numbers such that their generating series are of the form $\sum_{n\geq 0}a_n t^n=\frac{\fh(\fa)(t)}{(1-t)^{d_{\fa}}}$ and $\sum_{n\geq 0}b_n t^n=\frac{\fh(\fb)(t)}{(1-t)^{d_{\fb}}}$, where $\fh(\fa)(t)$ and $\fh(\fb)(t)$ are polynomials, we consider their Segre product $\fa\ast\fb=(a_nb_n)_{n\geq 0}$. We are interested in the bilinear transformations that compute the coefficient sequence of $\fh(\fa\ast\fb)(t)$ from those of $\fh(\fa)(t)$ and $\fh(\fb)(t)$, where $\sum_{n\geq 0}a_nb_n t^n=\frac{\fh(\fa\ast\fb)(t)}{(1-t)^{d_{\fa}+d_{\fb}-1}}$. The motivation to study this problem comes from commutative algebra as the Hilbert series of the Segre product of two standard graded algebras equals the Segre product of the two individual Hilbert series. We provide an explicit description of these transformations and compute their spectra. In particular, we show that the transformation matrices are diagonalizable with integral eigenvalues. We also provide explicit formulae for the eigenvectors of the transformation matrices. Finally, we present a conjecture concerning the real-rootedness of $\fh(\fa^{\ast r})(t)$ if $r$ is large enough, where $\fa^{\ast r}=\fa\ast\cdots\ast \fa$ is the $r$\textsuperscript{th} Segre product of the sequence $\fa$ and the coefficients of $\fh(\fa)(t)$ are assumed to be non-negative.


title: Persistence of magnetic excitations in La2-xSrxCuO4 from the undoped insulator to the heavily overdoped non-superconducting metal

abstract: One of the most intensely studied scenarios of high-temperature superconductivity (HTS) postulates pairing by exchange of magnetic excitations [1]. Indeed, such excitations have been observed up to around optimal doping in the cuprates [2-7]. In the heavily overdoped regime neutron scattering measurements indicate that magnetic excitations have effectively disappeared [8-10], and this was argued to cause the demise of HTS with overdoping [1, 8, 10]. Here we use resonant inelastic x-ray scattering (RIXS), which is sensitive to complementary parts of reciprocal space, to measure the evolution of the magnetic excitations in La2-xSrxCuO4 across the entire phase diagram, from a strongly correlated insulator (x = 0) to a non-superconducting metal (x = 0.40). For x = 0, well-defined magnon excitations are observed [11]. These magnons broaden with doping, but they persist with a similar dispersion and comparable intensity all the way to the non-superconducting, heavily overdoped metallic phase. The destruction of HTS with overdoping is therefore caused neither by the general disappearance nor by the overall softening of magnetic excitations; other factor(s), such as the redistribution of spectral weight, must be considered.


title: Commutative law for products of infinitely large isotropic random matrices

abstract: Ensembles of isotropic random matrices are defined by the invariance of the probability measure under the left (and right) multiplication by an arbitrary unitary matrix. We show that the multiplication of large isotropic random matrices is spectrally commutative and self-averaging in the limit of infinite matrix size $N \rightarrow \infty$. The notion of spectral commutativity means that the eigenvalue density of a product ABC... of such matrices is independent of the order of matrix multiplication, for example the matrix ABCD has the same eigenvalue density as ADCB. In turn, the notion of self-averaging means that the product of n independent but identically distributed random matrices, which we symbolically denote by AAA..., has the same eigenvalue density as the corresponding power A^n of a single matrix drawn from the underlying matrix ensemble. For example, the eigenvalue density of ABCCABC is the same as of A^2B^2C^3. We also discuss the singular behavior of the eigenvalue and singular value densities of isotropic matrices and their products for small eigenvalues $\lambda \rightarrow 0$. We show that the singularities at the origin of the eigenvalue density and of the singular value density are in one-to-one correspondence in the limit $N \rightarrow \infty$: the eigenvalue density of an isotropic random matrix has a power law singularity at the origin $\sim |\lambda|^{-s}$ with a power $s \in (0,2)$ when and only when the density of its singular values has a power law singularity $\sim \lambda^{-\sigma}$ with a power $\sigma = s/(4-s)$. These results are obtained analytically in the limit $N \rightarrow \infty$. We supplement these results with numerical simulations for large but finite N and discuss finite size effects for the most common ensembles of isotropic random matrices.


title: The Planetary Nebula Spectrograph survey of S0 galaxy kinematics. Data and Overview

abstract: The origins of S0 galaxies remain obscure, with various mechanisms proposed for their formation, likely depending on environment. These mechanisms would imprint different signatures in the galaxies' stellar kinematics out to large radii, offering a method for distinguishing between them. We aim to study a sample of six S0 galaxies from a range of environments, and use planetary nebulae (PNe) as tracers of their stellar populations out to very large radii, to determine their kinematics in order to understand their origins. Using a special-purpose instrument, the Planetary Nebula Spectrograph, we observe and extract PNe catalogues for these six systems*. We show that the PNe have the same spatial distribution as the starlight, that the numbers of them are consistent with what would be expected in a comparable old stellar population in elliptical galaxies, and that their kinematics join smoothly onto those derived at smaller radii from conventional spectroscopy. The high-quality kinematic observations presented here form an excellent set for studying the detailed kinematics of S0 galaxies, in order to unravel their formation histories. We find that PNe are good tracers of stellar kinematics in these systems. We show that the recovered kinematics are largely dominated by rotational motion, although with significant random velocities in most cases.


title: Spike patterns in a reaction-diffusion-ode model with Turing instability

abstract: We explore a mechanism of pattern formation arising in processes described by a system of a single reaction-diffusion equation coupled with ordinary differential equations. Such systems of equations arise from the modeling of interactions between cellular processes and diffusing growth factors. We focused on the model of early carcinogenesis proposed by Marciniak-Czochra and Kimmel, which is an example of a wider class of pattern formation models with an autocatalytic non-diffusing component. We present a numerical study showing emergence of periodic and irregular spike patterns due to diffusion-driven instability. To control the accuracy of simulations, we develop a numerical code based on the finite element method and adaptive mesh. Simulations, supplemented by numerical analysis, indicate a novel pattern formation phenomenon based on the emergence of nonstationary structures tending asymptotically to the sum of Dirac deltas.


title: Lectures on integrable Hamiltonian systems

abstract: We consider integrable Hamiltonian systems in a general setting of invariant submanifolds which need not be compact. For instance, this is the case a global Kepler system, non-autonomous integrable Hamiltonian systems and integrable systems with time-dependent parameters.


title: Z-SEP: Zonal-Stable Election Protocol for Wireless Sensor Networks

abstract: Wireless Sensor Networks (WSNs) are comprised of thousands of sensor nodes, with restricted energy, that co-operate to accomplish a sensing task. Various routing Protocols are designed for transmission in WSNs. In this paper, we proposed a hybrid routing protocol: Zonal-Stable Election Protocol (Z-SEP) for heterogeneous WSNs. In this protocol, some nodes transmit data directly to base station while some use clustering technique to send data to base station as in SEP. We implemented Z-SEP and compared it with traditional Low Energy adaptive clustering hierarchy (LEACH) and SEP. Simulation results showed that Z-SEP enhanced the stability period and throughput than existing protocols like LEACH and SEP.


title: Improving Network Efficiency by Removing Energy Holes in WSNs

abstract: Cluster based Wireless Sensor Networks (WSNs) have been widely used for better performance in terms of energy efficiency. Efficient use of energy is challenging task of designing these protocols. Energy holedare created due to quickly drain the energy of a few nodes due to non-uniform distribution in the network. Normally, energy holes make the data routing failure when nodes transmit data back to the base station. We proposedEnergy-efficient HOleRemoving Mechanism (E-HORM) technique to remove energy holes. In this technique, we use sleep and awake mechanism for sensor nodes to save energy. This approach finds the maximum distance node to calculate the maximum energy for data transmission. We considered it as a threshold energy Eth. Every node first checks its energy level for data transmission. If the energy level is less than Eth, it cannot transmit data. We also explain mathematically the energy consumption and average energy saving of sensor nodes in each round. Extensive simulations showed that when use this approach for WSNs significantly helps to extend the network lifetime and stability period.


title: Gr\"obner-Shirshov bases and their calculation

abstract: In this survey, we formulate the Gr\"{o}bner-Shirshov bases theory for associative algebras and Lie algebras. Some new Composition-Diamond lemmas and applications are mentioned.


title: Taming the zoo - about algorithms implementation in the ecosystem of Apache Hadoop

abstract: Content Analysis System (CoAnSys) is a research framework for mining scientific publications using Apache Hadoop. This article describes the algorithms currently implemented in CoAnSys including classification, categorization and citation matching of scientific publications. The size of the input data classifies these algorithms in the range of big data problems, which can be efficiently solved on Hadoop clusters.


title: The strongest bounds on active-sterile neutrino mixing after Planck data

abstract: Light sterile neutrinos can be excited by oscillations with active neutrinos in the early universe. Their properties can be constrained by their contribution as extra-radiation, parameterized in terms of the effective number of neutrino species N_ eff, and to the universe energy density today \Omega_\nu h^2. Both these parameters have been measured to quite a good precision by the Planck satellite experiment. We use this result to update the bounds on the parameter space of (3+1) sterile neutrino scenarios, with an active-sterile neutrino mass squared splitting in the range (10^{-5} - 10^2 ) eV^2. We consider both normal and inverted mass orderings for the active and sterile states. For the first time we take into account the possibility of two non-vanishing active-sterile mixing angles. We find that the bounds are more stringent than those obtained in laboratory experiments. This leads to a strong tension with the short-baseline hints of light sterile neutrinos. In order to relieve this disagreement, modifications of the standard cosmological scenario, e.g. large primordial neutrino asymmetries, are required.


title: Conic and Quadric surfaces

abstract: There are two problems Analytical Geometry with facing anyone who studies this discipline: define the nature of the locus represented by the general equation 2do degree in two or three variables: That curve represents the plane? What surface is in space? These two problems are posed and solved by applying the study of matrices and spectral theory


title: XMM-Newton Observation of the {\alpha} Persei Cluster

abstract: We report on the analysis of an archival observation of part of the {\alpha} Persei cluster obtained with XMM-Newton. We detected 102 X-ray sources in the band 0.3-8.0 keV, of which 39 of them are associated with the cluster as evidenced by appropriate magnitudes and colors from 2MASS photometry. We extend the X-ray Luminosity Distribution (XLD) for M dwarfs, to add to the XLD found for hotter dwarfs from spatially extensive surveys of the whole cluster by ROSAT. Some of the hotter stars are identified as a background, possible slightly older group of stars at a distance of approximately 500 pc.


title: Directional dependence of LCDM cosmological parameters

abstract: We study hemispherical power asymmetry (Eriksen et. al. 2004, Hansen et. al. 2004, Hansen et. al. 2009) in the WMAP 9-year data. We analyse the combined V- and W-band sky maps, after application of the KQ85 mask, and find that the asymmetry is statistically significant at the 3.4sigma confidence level for ell=2-600, where the data is signal dominated, with a preferred asymmetry direction (l,b)=(227,-27). Individual asymmetry axes estimated from six independent multipole ranges are all consistent with this direction. Subsequently, we estimate cosmological parameters on different parts of the sky and show that the parameters A_s, n_s and Omega_b are the most sensitive to this power asymmetry. In particular, for the two opposite hemispheres aligned with the preferred asymmetry axis, we find n_s = 0.959 \pm 0.022 and n_s = 0.989 \pm 0.024, respectively.


title: Fractional and integer quantum Hall effects in the zeroth Landau level in graphene

abstract: Experiments on the fractional quantized Hall effect in the zeroth Landau level of graphene have revealed some striking differences between filling factors in the ranges 0<|\nu|<1 and 1<|\nu|<2. We argue that these differences can be largely understood as a consequence of the effects of terms in the Hamiltonian which break SU(2) valley symmetry, which we find to be important for |\nu|<1 but negligible for |\nu| >1. The effective absence of valley anisotropy for |\nu|>1 means that states with odd numerator, e.g. |\nu|=5/3 or 7/5 can accommodate charged excitations in the form of large valley skyrmions, which have a low energy cost, and may be easily induced by coupling to impurities. The absence of observed quantum Hall states at these fractions is likely due to the effects of valley skyrmions. For |\nu|<1, the anisotropy terms favor phases in which electrons occupy states with opposite spins, similar to the antiferromagnetic state previously hypothesized to be the ground state at \nu=0. The anisotropy and Zeeman energies suppress large-area skyrmions, so that quantized Hall states can be observable at a set of fractions similar to those in GaAs two-dimensional electron systems. In a perpendicular magnetic field B, the competition between the Coulomb energy, which varies as B^{1/2}, and the Zeeman energy, which varies as B, can explain the observation of apparent phase transitions as a function of B for fixed \nu, as transitions between states with different degrees of spin polarization. In addition to an analysis of various fractional states, and an examination of the effects of disorder on valley skyrmions, we present new experimental data for the energy gaps at integer fillings \nu=0 and \nu= -1, as a function of magnetic field, and we examine the possibility that valley-skyrmions may account for the smaller energy gaps observed at \nu= -1.


title: Zero-generic initial ideals

abstract: Given a homogeneous ideal I of a polynomial ring A=K[X_1,...,X_n] and a monomial order, we construct a new monomial ideal of A associated with I. We call it the zero-generic initial ideal of I with respect to the order and denote it with gin_0(I), or with Gin_0(I) whenever the order is the reverse-lexicographic order. When the characteristic of K is zero, a zero-generic initial ideal is the usual generic initial ideal. We show that Gin_0(I) is endowed with many interesting properties, some of which are easily seen, e.g., it is a strongly stable monomial ideal in any characteristic, and has the same Hilbert series as I; some other properties are less obvious: it shares with I the same Castelnuovo-Mumford regularity, projective dimension and extremal Betti numbers. Quite surprisingly, gin_0(I) also satisfies Green's Crystallization Principle, which is known to fail in positive characteristic. Thus, zero-generic initial ideals can be used as formal analogues of generic initial ideals computed in characteristic 0. We also prove the analogue for local cohomology of Pardue's Conjecture for Betti numbers: we show that the Hilbert functions of local cohomology modules of a quotient ring of a polynomial ring modulo a weakly stable ideal are independent of the characteristic of the coefficients field.


title: Implications of Planck results for models with local type non-Gaussianity

abstract: We discuss implications of Planck results for models with local type non-Gaussianity. In light of the recent results of the Planck satellite, we constrain model parameters of several representative models and give the prediction of trispectrum, in particular, gNL. We also consider interesting possibilities that trispectrum appears as the first signature of the non-Gaussianities of the curvature perturbations, that is, fNL is small while gNL can be significantly large.


title: Construction of the discrete hull for the combinatorics of a regular pentagonal tiling of the plane

abstract: The article 'A "regular" pentagonal tiling of the plane' by P. L. Bowers and K. Stephenson defines a conformal pentagonal tiling. This is a tiling of the plane with remarkable combinatorial and geometric properties. However, it doesn't have finite local complexity in any usual sense, and therefore we cannot study it with the usual tiling theory. The appeal of the tiling is that all the tiles are conformally regular pentagons. But conformal maps are not allowable under finite local complexity. On the other hand, the tiling can be described completely by its combinatorial data, which rather automatically has finite local complexity. In this paper we give a construction of the discrete hull just from the combinatorial data. The main result of this paper is that the discrete hull is a Cantor space.


title: Scalar field Hadamard renormalisation in $AdS_{n}$

abstract: We outline an analytic method for computing the renormalised vacuum expectation value of the quadratic fluctuations and stress-energy tensor associated with a quantised scalar field propagating on $AdS_{n}$. Explicit results have been obtained using Hadamard renormalisation in the case of a massive neutral scalar field with arbitrary coupling to the curvature, for $n=2$ to $n=11$ inclusive.


title: Anisotropic charge screening and supercell size convergence of defect formation energies

abstract: One of the main sources of error associated with the calculation of defect formation energies using plane-wave Density Functional Theory (DFT) is finite size error resulting from the use of relatively small simulation cells and periodic boundary conditions. Most widely-used methods for correcting this error, such as that of Makov and Payne, assume that the dielectric response of the material is isotropic and can be described using a scalar dielectric constant $\epsilon$. However, this is strictly only valid for cubic crystals, and cannot work in highly-anisotropic cases. Here we introduce a variation of the technique of extrapolation based on the Madelung potential, that allows the calculation of well converged dilute limit defect formation energies in non-cubic systems with highly anisotropic dielectric properties. As an example of the implementation of this technique we study a selection of defects in the ceramic oxide Li$_2$TiO$_3$ which is currently being considered as a lithium battery material and a breeder material for fusion reactors.


title: Hydrogen nanobubbles in a water solution of dietary supplement

abstract: Using gas chromatography, proton nuclear magnetic resonance and qualitative experiments, we demonstrate that a water solution of dissolved dietary supplement, creating negative redox potential, contains invisible hydrogen nano-bubbles, which remain in the solution for several hours.


title: New Light Species and the CMB

abstract: We consider the effects of new light species on the Cosmic Microwave Background. In the massless limit, these effects can be parameterized in terms of a single number, the relativistic degrees of freedom. We perform a thorough survey of natural, minimal models containing new light species and numerically calculate the precise contribution of each of these models to this number in the framework of effective field theory. After reviewing the relevant details of early universe thermodynamics, we provide a map between the parameters of any particular theory and the predicted effective number of degrees of freedom. We then use this map to interpret the recent results from the Cosmic Microwave Background survey done by the Planck satellite. Using this data, we present new constraints on the parameter space of several models containing new light species. Future measurements of the Cosmic Microwave Background can be used with this map to further constrain the parameter space of all such models.


title: Rapid cooling of the compact star in Cassiopea A as a phase transition in dense QCD

abstract: We present a model of the compact star in Cassiopea A that accounts for its unusually fast cooling behavior. This feature is interpreted as an enhancement in the neutrino emission triggered by a transition from a fully gapped, two-flavor, color-superconducting phase to a crystalline phase or an alternative gapless, color-superconducting phase. By fine-tuning a single parameter -- the temperature of this transition -- a specific cooling scenario can be selected that fits the Cas A data. Such a scenario requires a massive $M\sim 2M_{\odot}$ star and is, therefore, distinctive from models invoking canonical 1.4 $M_{\odot}$ mass star with nucleonic pairing alone.


title: Kernel-based Methods for Stochastic Partial Differential Equations

abstract: This article gives a new insight of kernel-based (approximation) methods to solve the high-dimensional stochastic partial differential equations. We will combine the techniques of meshfree approximation and kriging interpolation to extend the kernel-based methods for the deterministic data to the stochastic data. The main idea is to endow the Sobolev spaces with the probability measures induced by the positive definite kernels such that the Gaussian random variables can be well-defined on the Sobolev spaces. The constructions of these Gaussian random variables provide the kernel-based approximate solutions of the stochastic models. In the numerical examples of the stochastic Poisson and heat equations, we show that the approximate probability distributions are well-posed for various kinds of kernels such as the compactly supported kernels (Wendland functions) and the Sobolev-spline kernels (Mat\'ern functions).


title: Degree and algebraic properties of lattice and matrix ideals

abstract: We study the degree of non-homogeneous lattice ideals over arbitrary fields, and give formulae to compute the degree in terms of the torsion of certain factor groups of Z^s and in terms of relative volumes of lattice polytopes. We also study primary decompositions of lattice ideals over an arbitrary field using the Eisenbud-Sturmfels theory of binomial ideals over algebraically closed fields. We then use these results to study certain families of integer matrices (PCB, GPCB, CB, GCB matrices) and the algebra of their corresponding matrix ideals. In particular, the family of generalized positive critical binomial matrices (GPCB matrices) is shown to be closed under transposition, and previous results for PCB ideals are extended to GPCB ideals. Then, more particularly, we give some applications to the theory of 1-dimensional binomial ideals. If G is a connected graph, we show as a further application that the order of its sandpile group is the degree of the Laplacian ideal and the degree of the toppling ideal. We also use our earlier results to give a structure theorem for graded lattice ideals of dimension 1 in 3 variables and for homogeneous lattices in Z^3 in terms of critical binomial ideals (CB ideals) and critical binomial matrices, respectively, thus complementing a well-known theorem of Herzog on the toric ideal of a monomial space curve.


title: Large deviation principles for words drawn from correlated letter sequences

abstract: When an i.i.d.\ sequence of letters is cut into words according to i.i.d.\ renewal times, an i.i.d.\ sequence of words is obtained. In the \emph{annealed} LDP (large deviation principle) for the empirical process of words, the rate function is the specific relative entropy of the observed law of words w.r.t.\ the reference law of words. In Birkner, Greven and den Hollander \cite{BGdH10} the \emph{quenched} LDP (= conditional on a typical letter sequence) was derived for the case where the renewal times have an \emph{algebraic} tail. The rate function turned out to be a sum of two terms, one being the annealed rate function, the other being proportional to the specific relative entropy of the observed law of letters w.r.t.\ the reference law of letters, obtained by concatenating the words and randomising the location of the origin. The proportionality constant equals the tail exponent of the renewal process. The purpose of the present paper is to extend both LDP's to letter sequences that are not i.i.d. It is shown that both LDP's carry over when the letter sequence satisfies a mixing condition called \emph{summable variation}. The rate functions are again given by specific relative entropies w.r.t.\ the reference law of words, respectively, letters. But since neither of these reference laws is i.i.d., several approximation arguments are needed to obtain the extension.


title: On $l^p$ -multipliers of functions analytic in the disk

abstract: We consider bounded analytic functions in domains generated by sets that have Littlewood--Paley property. We show that each such function is an $l^p$ -multiplier.


title: On the Klainerman-Machedon Conjecture of the Quantum BBGKY Hierarchy with Self-interaction

abstract: We consider the 3D quantum BBGKY hierarchy which corresponds to the $N$-particle Schr\"{o}dinger equation. We assume the pair interaction is $N^{3\beta -1}V(N^{\beta}\bullet).$ For interaction parameter $\beta \in(0,\frac23)$, we prove that, as $N\rightarrow \infty ,$ the limit points of the solutions to the BBGKY hierarchy satisfy the space-time bound conjectured by Klainerman-Machedon in 2008. This allows for the application of the Klainerman-Machedon uniqueness theorem, and hence implies that the limit is uniquely determined as a tensor product of solutions to the Gross-Pitaevski equation when the $N$-body initial data is factorized. The first result in this direction in 3D was obtained by T. Chen and N. Pavlovi\'{c} (2011) for $\beta \in (0,\frac14)$ and subsequently by X. Chen (2012) for $\beta\in (0,\frac27]$. We build upon the approach of X. Chen but apply frequency localized Klainerman-Machedon collapsing estimates and the endpoint Strichartz estimate in the estimate of the potential part to extend the range to $\beta\in (0,\frac23)$. Overall, this provides an alternative approach to the mean-field program by Erd\"os-Schlein-Yau (2007), whose uniqueness proof is based upon Feynman diagram combinatorics.


title: Naturalness of Light Neutralino Dark Matter in pMSSM after LHC, XENON100 and Planck Data

abstract: We examine the possibility of a light (below 46 GeV) neutralino dark matter (DM) candidate within the 19-parameter phenomenological Minimal Supersymmetric Standard Model (pMSSM) in the light of various recent experimental results, especially from the LHC, XENON100, and Planck. We also study the extent of electroweak fine-tuning for such a light neutralino scenario in view of the null results from the searches for supersymmetry so far. Using a Markov Chain Monte Carlo likelihood analysis of the full pMSSM parameter space, we find that a neutralino DM with mass > 10 GeV can in principle still satisfy all the existing constraints. Our light neutralino solutions can be broadly divided into two regions: (i) The solutions in the 10 - 30 GeV neutralino mass range are highly fine-tuned and require the existence of light selectrons (below 100 GeV) in order to satisfy the observed DM relic density. We note that these are not yet conclusively ruled out by the existing LEP/LHC results, and a dedicated analysis valid for a non-unified gaugino mass spectrum is required to exclude this possibility. (ii) The solutions with low fine-tuning are mainly in the 30 - 46 GeV neutralino mass range. However, a major portion of it is already ruled out by the latest XENON100 upper limits on its spin-independent direct detection cross section, and the rest of the allowed points are within the XENON1T projected limit. Thus, we show that the allowed MSSM parameter space for a light neutralino DM below the LEP limit of 46 GeV, possible in supersymmetric models without gaugino mass unification, could be completely accessible in near future. This might be useful in view of the recent claims for positive hints of a DM signal in some direct detection experiments.


title: Adaptive High Order Sliding Mode Observer Based Fault Reconstruction for a Class of Nonlinear Uncertain Systems: Application to PEM Fuel Cell System

abstract: This paper focuses on observer based fault reconstruction for a class of nonlinear uncertain systems with Lipschitz nonlinearities. An adaptive-gain Super-Twisting (STW) observer is developed for observing the system states, where the adaptive law compensates the uncertainty in parameters. The inherent equivalent output error injection feature of STW algorithm is then used to reconstruct the fault signal. The performance of the proposed observer is validated through a Hardware-In-Loop (HIL) simulator which consists of a commercial twin screw compressor and a real time Polymer Electrolyte Membrane fuel cell emulation system. The simulation results illustrate the feasibility and effectiveness of the proposed approach for application to fuel cell systems.


title: Lower bounds for k-distance approximation

abstract: Consider a set P of N random points on the unit sphere of dimension $d-1$, and the symmetrized set S = P union (-P). The halving polyhedron of S is defined as the convex hull of the set of centroids of N distinct points in S. We prove that after appropriate rescaling this halving polyhedron is Hausdorff close to the unit ball with high probability, as soon as the number of points grows like $Omega(d log(d))$. From this result, we deduce probabilistic lower bounds on the complexity of approximations of the distance to the empirical measure on the point set by distance-like functions.


title: Lipschitz stability estimate in the inverse Robin problem for the Stokes system

abstract: We are interested in the inverse problem of recovering a Robin coefficient defined on some non accessible part of the boundary from available data on another part of the boundary in the nonstationary Stokes system. We prove a Lipschitz stability estimate under the \textit{a priori} assumption that the Robin coefficient lives in some compact and convex subset of a finite dimensional vectorial subspace of the set of continuous functions. To do so, we use a theorem proved by L. Bourgeois which establishes Lipschitz stability estimates for a class of inverse problems in an abstract framework.


title: Riemannian Geometry

abstract: These notes on Riemannian geometry use the bases bundle and frame bundle, as in Geometry of Manifolds, to express the geometric structures. It has more problems and omits the background material. It starts with the definition of Riemannian and semi-Riemannian structures on manifolds. Affine connections, geodesics, torsion and curvature, the exponential map, and the Riemannian connection follow quickly. The Taylor series for of the metric in normal coordinates is an unusual feature. The last third covers, first and second variation of energy, completeness, cut points, the Hadamard-Cartan theorem, and finishes with the use of matrix Riccati equations to prove the volume comparison theorem. There is a comprehensive index.


title: RES - a Relative Method for Evidential Reasoning

abstract: In this paper we describe a novel method for evidential reasoning [1]. It involves modelling the process of evidential reasoning in three steps, namely, evidence structure construction, evidence accumulation, and decision making. The proposed method, called RES, is novel in that evidence strength is associated with an evidential support relationship (an argument) between a pair of statements and such strength is carried by comparison between arguments. This is in contrast to the onventional approaches, where evidence strength is represented numerically and is associated with a statement.


title: Optimizing Causal Orderings for Generating DAGs from Data

abstract: An algorithm for generating the structure of a directed acyclic graph from data using the notion of causal input lists is presented. The algorithm manipulates the ordering of the variables with operations which very much resemble arc reversal. Operations are only applied if the DAG after the operation represents at least the independencies represented by the DAG before the operation until no more arcs can be removed from the DAG. The resulting DAG is a minimal l-map.


title: Modal Logics for Qualitative Possibility and Beliefs

abstract: Possibilistic logic has been proposed as a numerical formalism for reasoning with uncertainty. There has been interest in developing qualitative accounts of possibility, as well as an explanation of the relationship between possibility and modal logics. We present two modal logics that can be used to represent and reason with qualitative statements of possibility and necessity. Within this modal framework, we are able to identify interesting relationships between possibilistic logic, beliefs and conditionals. In particular, the most natural conditional definable via possibilistic means for default reasoning is identical to Pearl's conditional for e-semantics.


title: Structural Controllability and Observability in Influence Diagrams

abstract: Influence diagram is a graphical representation of belief networks with uncertainty. This article studies the structural properties of a probabilistic model in an influence diagram. In particular, structural controllability theorems and structural observability theorems are developed and algorithms are formulated. Controllability and observability are fundamental concepts in dynamic systems (Luenberger 1979). Controllability corresponds to the ability to control a system while observability analyzes the inferability of its variables. Both properties can be determined by the ranks of the system matrices. Structural controllability and observability, on the other hand, analyze the property of a system with its structure only, without the specific knowledge of the values of its elements (tin 1974, Shields and Pearson 1976). The structural analysis explores the connection between the structure of a model and the functional dependence among its elements. It is useful in comprehending problem and formulating solution by challenging the underlying intuitions and detecting inconsistency in a model. This type of qualitative reasoning can sometimes provide insight even when there is insufficient numerical information in a model.


title: Lattice-Based Graded Logic: a Multimodal Approach

abstract: Experts do not always feel very, comfortable when they have to give precise numerical estimations of certainty degrees. In this paper we present a qualitative approach which allows for attaching partially ordered symbolic grades to logical formulas. Uncertain information is expressed by means of parameterized modal operators. We propose a semantics for this multimodal logic and give a sound and complete axiomatization. We study the links with related approaches and suggest how this framework might be used to manage both uncertain and incomplere knowledge.


title: Dynamic Network Models for Forecasting

abstract: We have developed a probabilistic forecasting methodology through a synthesis of belief network models and classical time-series analysis. We present the dynamic network model (DNM) and describe methods for constructing, refining, and performing inference with this representation of temporal probabilistic knowledge. The DNM representation extends static belief-network models to more general dynamic forecasting models by integrating and iteratively refining contemporaneous and time-lagged dependencies. We discuss key concepts in terms of a model for forecasting U.S. car sales in Japan.


title: Reformulating Inference Problems Through Selective Conditioning

abstract: We describe how we selectively reformulate portions of a belief network that pose difficulties for solution with a stochastic-simulation algorithm. With employ the selective conditioning approach to target specific nodes in a belief network for decomposition, based on the contribution the nodes make to the tractability of stochastic simulation. We review previous work on BNRAS algorithms- randomized approximation algorithms for probabilistic inference. We show how selective conditioning can be employed to reformulate a single BNRAS problem into multiple tractable BNRAS simulation problems. We discuss how we can use another simulation algorithm-logic sampling-to solve a component of the inference problem that provides a means for knitting the solutions of individual subproblems into a final result. Finally, we analyze tradeoffs among the computational subtasks associated with the selective conditioning approach to reformulation.


title: Entropy and Belief Networks

abstract: The product expansion of conditional probabilities for belief nets is not maximum entropy. This appears to deny a desirable kind of assurance for the model. However, a kind of guarantee that is almost as strong as maximum entropy can be derived. Surprisingly, a variant model also exhibits the guarantee, and for many cases obtains a higher performance score than the product expansion.


title: Parallelizing Probabilistic Inference: Some Early Explorations

abstract: We report on an experimental investigation into opportunities for parallelism in beliefnet inference. Specifically, we report on a study performed of the available parallelism, on hypercube style machines, of a set of randomly generated belief nets, using factoring (SPI) style inference algorithms. Our results indicate that substantial speedup is available, but that it is available only through parallelization of individual conformal product operations, and depends critically on finding an appropriate factoring. We find negligible opportunity for parallelism at the topological, or clustering tree, level.


title: Objection-Based Causal Networks

abstract: This paper introduces the notion of objection-based causal networks which resemble probabilistic causal networks except that they are quantified using objections. An objection is a logical sentence and denotes a condition under which a, causal dependency does not exist. Objection-based causal networks enjoy almost all the properties that make probabilistic causal networks popular, with the added advantage that objections are, arguably more intuitive than probabilities.


title: A Symbolic Approach to Reasoning with Linguistic Quantifiers

abstract: This paper investigates the possibility of performing automated reasoning in probabilistic logic when probabilities are expressed by means of linguistic quantifiers. Each linguistic term is expressed as a prescribed interval of proportions. Then instead of propagating numbers, qualitative terms are propagated in accordance with the numerical interpretation of these terms. The quantified syllogism, modelling the chaining of probabilistic rules, is studied in this context. It is shown that a qualitative counterpart of this syllogism makes sense, and is relatively independent of the threshold defining the linguistically meaningful intervals, provided that these threshold values remain in accordance with the intuition. The inference power is less than that of a full-fledged probabilistic con-quaint propagation device but better corresponds to what could be thought of as commonsense probabilistic reasoning.


title: Possibilistic Assumption based Truth Maintenance System, Validation in a Data Fusion Application

abstract: Data fusion allows the elaboration and the evaluation of a situation synthesized from low level informations provided by different kinds of sensors. The fusion of the collected data will result in fewer and higher level informations more easily assessed by a human operator and that will assist him effectively in his decision process. In this paper we present the suitability and the advantages of using a Possibilistic Assumption based Truth Maintenance System (n-ATMS) in a data fusion military application. We first describe the problem, the needed knowledge representation formalisms and problem solving paradigms. Then we remind the reader of the basic concepts of ATMSs, Possibilistic Logic and 11-ATMSs. Finally we detail the solution to the given data fusion problem and conclude with the results and comparison with a non-possibilistic solution.


title: An Entropy-based Learning Algorithm of Bayesian Conditional Trees

abstract: This article offers a modification of Chow and Liu's learning algorithm in the context of handwritten digit recognition. The modified algorithm directs the user to group digits into several classes consisting of digits that are hard to distinguish and then constructing an optimal conditional tree representation for each class of digits instead of for each single digit as done by Chow and Liu (1968). Advantages and extensions of the new method are discussed. Related works of Wong and Wang (1977) and Wong and Poon (1989) which offer a different entropy-based learning algorithm are shown to rest on inappropriate assumptions.


title: Knowledge Integration for Conditional Probability Assessments

abstract: In the probabilistic approach to uncertainty management the input knowledge is usually represented by means of some probability distributions. In this paper we assume that the input knowledge is given by two discrete conditional probability distributions, represented by two stochastic matrices P and Q. The consistency of the knowledge base is analyzed. Coherence conditions and explicit formulas for the extension to marginal distributions are obtained in some special cases.


title: Integrating Model Construction and Evaluation

abstract: To date, most probabilistic reasoning systems have relied on a fixed belief network constructed at design time. The network is used by an application program as a representation of (in)dependencies in the domain. Probabilistic inference algorithms operate over the network to answer queries. Recognizing the inflexibility of fixed models has led researchers to develop automated network construction procedures that use an expressive knowledge base to generate a network that can answer a query. Although more flexible than fixed model approaches, these construction procedures separate construction and evaluation into distinct phases. In this paper we develop an approach to combining incremental construction and evaluation of a partial probability model. The combined method holds promise for improved methods for control of model construction based on a trade-off between fidelity of results and cost of construction.


title: Reasoning With Qualitative Probabilities Can Be Tractable

abstract: We recently described a formalism for reasoning with if-then rules that re expressed with different levels of firmness [18]. The formalism interprets these rules as extreme conditional probability statements, specifying orders of magnitude of disbelief, which impose constraints over possible rankings of worlds. It was shown that, once we compute a priority function Z+ on the rules, the degree to which a given query is confirmed or denied can be computed in O(log n`) propositional satisfiability tests, where n is the number of rules in the knowledge base. In this paper, we show that computing Z+ requires O(n2 X log n) satisfiability tests, not an exponential number as was conjectured in [18], which reduces to polynomial complexity in the case of Horn expressions. We also show how reasoning with imprecise observations can be incorporated in our formalism and how the popular notions of belief revision and epistemic entrenchment are embodied naturally and tractably.


title: A computational scheme for Reasoning in Dynamic Probabilistic Networks

abstract: A computational scheme for reasoning about dynamic systems using (causal) probabilistic networks is presented. The scheme is based on the framework of Lauritzen and Spiegelhalter (1988), and may be viewed as a generalization of the inference methods of classical time-series analysis in the sense that it allows description of non-linear, multivariate dynamic systems with complex conditional independence structures. Further, the scheme provides a method for efficient backward smoothing and possibilities for efficient, approximate forecasting methods. The scheme has been implemented on top of the HUGIN shell.


title: The Dynamic of Belief in the Transferable Belief Model and Specialization-Generalization Matrices

abstract: The fundamental updating process in the transferable belief model is related to the concept of specialization and can be described by a specialization matrix. The degree of belief in the truth of a proposition is a degree of justified support. The Principle of Minimal Commitment implies that one should never give more support to the truth of a proposition than justified. We show that Dempster's rule of conditioning corresponds essentially to the least committed specialization, and that Dempster's rule of combination results essentially from commutativity requirements. The concept of generalization, dual to thc concept of specialization, is described.


title: A Note on the Measure of Discord

abstract: A new entropy-like measure as well as a new measure of total uncertainty pertaining to the Dempster-Shafer theory are introduced. It is argued that these measures are better justified than any of the previously proposed candidates.


title: Semantics for Probabilistic Inference

abstract: A number of writers(Joseph Halpern and Fahiem Bacchus among them) have offered semantics for formal languages in which inferences concerning probabilities can be made. Our concern is different. This paper provides a formalization of nonmonotonic inferences in which the conclusion is supported only to a certain degree. Such inferences are clearly 'invalid' since they must allow the falsity of a conclusion even when the premises are true. Nevertheless, such inferences can be characterized both syntactically and semantically. The 'premises' of probabilistic arguments are sets of statements (as in a database or knowledge base), the conclusions categorical statements in the language. We provide standards for both this form of inference, for which high probability is required, and for an inference in which the conclusion is qualified by an intermediate interval of support.


title: Some Problems for Convex Bayesians

abstract: We discuss problems for convex Bayesian decision making and uncertainty representation. These include the inability to accommodate various natural and useful constraints and the possibility of an analog of the classical Dutch Book being made against an agent behaving in accordance with convex Bayesian prescriptions. A more general set-based Bayesianism may be as tractable and would avoid the difficulties we raise.


title: Bayesian Meta-Reasoning: Determining Model Adequacy from Within a Small World

abstract: This paper presents a Bayesian framework for assessing the adequacy of a model without the necessity of explicitly enumerating a specific alternate model. A test statistic is developed for tracking the performance of the model across repeated problem instances. Asymptotic methods are used to derive an approximate distribution for the test statistic. When the model is rejected, the individual components of the test statistic can be used to guide search for an alternate model.


title: The Bounded Bayesian

abstract: The ideal Bayesian agent reasons from a global probability model, but real agents are restricted to simplified models which they know to be adequate only in restricted circumstances. Very little formal theory has been developed to help fallibly rational agents manage the process of constructing and revising small world models. The goal of this paper is to present a theoretical framework for analyzing model management approaches. For a probability forecasting problem, a search process over small world models is analyzed as an approximation to a larger-world model which the agent cannot explicitly enumerate or compute. Conditions are given under which the sequence of small-world models converges to the larger-world probabilities.


title: Representing Context-Sensitive Knowledge in a Network Formalism: A Preliminary Report

abstract: Automated decision making is often complicated by the complexity of the knowledge involved. Much of this complexity arises from the context sensitive variations of the underlying phenomena. We propose a framework for representing descriptive, context-sensitive knowledge. Our approach attempts to integrate categorical and uncertain knowledge in a network formalism. This paper outlines the basic representation constructs, examines their expressiveness and efficiency, and discusses the potential applications of the framework.


title: A Probabilistic Network of Predicates

abstract: Bayesian networks are directed acyclic graphs representing independence relationships among a set of random variables. A random variable can be regarded as a set of exhaustive and mutually exclusive propositions. We argue that there are several drawbacks resulting from the propositional nature and acyclic structure of Bayesian networks. To remedy these shortcomings, we propose a probabilistic network where nodes represent unary predicates and which may contain directed cycles. The proposed representation allows us to represent domain knowledge in a single static network even though we cannot determine the instantiations of the predicates before hand. The ability to deal with cycles also enables us to handle cyclic causal tendencies and to recognize recursive plans.


title: Representing Heuristic Knowledge in D-S Theory

abstract: The Dempster-Shafer theory of evidence has been used intensively to deal with uncertainty in knowledge-based systems. However the representation of uncertain relationships between evidence and hypothesis groups (heuristic knowledge) is still a major research problem. This paper presents an approach to representing such heuristic knowledge by evidential mappings which are defined on the basis of mass functions. The relationships between evidential mappings and multi valued mappings, as well as between evidential mappings and Bayesian multi- valued causal link models in Bayesian theory are discussed. Following this the detailed procedures for constructing evidential mappings for any set of heuristic rules are introduced. Several situations of belief propagation are discussed.


title: The Topological Fusion of Bayes Nets

abstract: Bayes nets are relatively recent innovations. As a result, most of their theoretical development has focused on the simplest class of single-author models. The introduction of more sophisticated multiple-author settings raises a variety of interesting questions. One such question involves the nature of compromise and consensus. Posterior compromises let each model process all data to arrive at an independent response, and then split the difference. Prior compromises, on the other hand, force compromise to be reached on all points before data is observed. This paper introduces prior compromises in a Bayes net setting. It outlines the problem and develops an efficient algorithm for fusing two directed acyclic graphs into a single, consensus structure, which may then be used as the basis of a prior compromise.


title: Calculating Uncertainty Intervals From Conditional Convex Sets of Probabilities

abstract: In Moral, Campos (1991) and Cano, Moral, Verdegay-Lopez (1991) a new method of conditioning convex sets of probabilities has been proposed. The result of it is a convex set of non-necessarily normalized probability distributions. The normalizing factor of each probability distribution is interpreted as the possibility assigned to it by the conditioning information. From this, it is deduced that the natural value for the conditional probability of an event is a possibility distribution. The aim of this paper is to study methods of transforming this possibility distribution into a probability (or uncertainty) interval. These methods will be based on the use of Sugeno and Choquet integrals. Their behaviour will be compared in basis to some selected examples.


title: Sensor Validation Using Dynamic Belief Networks

abstract: The trajectory of a robot is monitored in a restricted dynamic environment using light beam sensor data. We have a Dynamic Belief Network (DBN), based on a discrete model of the domain, which provides discrete monitoring analogous to conventional quantitative filter techniques. Sensor observations are added to the basic DBN in the form of specific evidence. However, sensor data is often partially or totally incorrect. We show how the basic DBN, which infers only an impossible combination of evidence, may be modified to handle specific types of incorrect data which may occur in the domain. We then present an extension to the DBN, the addition of an invalidating node, which models the status of the sensor as working or defective. This node provides a qualitative explanation of inconsistent data: it is caused by a defective sensor. The connection of successive instances of the invalidating node models the status of a sensor over time, allowing the DBN to handle both persistent and intermittent faults.


title: Empirical Probabilities in Monadic Deductive Databases

abstract: We address the problem of supporting empirical probabilities in monadic logic databases. Though the semantics of multivalued logic programs has been studied extensively, the treatment of probabilities as results of statistical findings has not been studied in logic programming/deductive databases. We develop a model-theoretic characterization of logic databases that facilitates such a treatment. We present an algorithm for checking consistency of such databases and prove its total correctness. We develop a sound and complete query processing procedure for handling queries to such databases.


title: aHUGIN: A System Creating Adaptive Causal Probabilistic Networks

abstract: The paper describes aHUGIN, a tool for creating adaptive systems. aHUGIN is an extension of the HUGIN shell, and is based on the methods reported by Spiegelhalter and Lauritzen (1990a). The adaptive systems resulting from aHUGIN are able to adjust the C011ditional probabilities in the model. A short analysis of the adaptation task is given and the features of aHUGIN are described. Finally a session with experiments is reported and the results are discussed.


title: MESA: Maximum Entropy by Simulated Annealing

abstract: Probabilistic reasoning systems combine different probabilistic rules and probabilistic facts to arrive at the desired probability values of consequences. In this paper we describe the MESA-algorithm (Maximum Entropy by Simulated Annealing) that derives a joint distribution of variables or propositions. It takes into account the reliability of probability values and can resolve conflicts between contradictory statements. The joint distribution is represented in terms of marginal distributions and therefore allows to process large inference networks and to determine desired probability values with high precision. The procedure derives a maximum entropy distribution subject to the given constraints. It can be applied to inference networks of arbitrary topology and may be extended into a number of directions.


title: Decision Methods for Adaptive Task-Sharing in Associate Systems

abstract: This paper describes some results of research on associate systems: knowledge-based systems that flexibly and adaptively support their human users in carrying out complex, time-dependent problem-solving tasks under uncertainty. Based on principles derived from decision theory and decision analysis, a problem-solving approach is presented which can overcome many of the limitations of traditional expert-systems. This approach implements an explicit model of the human user's problem-solving capabilities as an integral element in the overall problem solving architecture. This integrated model, represented as an influence diagram, is the basis for achieving adaptive task sharing behavior between the associate system and the human user. This associate system model has been applied toward ongoing research on a Mars Rover Manager's Associate (MRMA). MRMA's role would be to manage a small fleet of robotic rovers on the Martian surface. The paper describes results for a specific scenario where MRMA examines the benefits and costs of consulting human experts on Earth to assist a Mars rover with a complex resource management decision.


title: Modeling Uncertain Temporal Evolutions in Model-Based Diagnosis

abstract: Although the notion of diagnostic problem has been extensively investigated in the context of static systems, in most practical applications the behavior of the modeled system is significantly variable during time. The goal of the paper is to propose a novel approach to the modeling of uncertainty about temporal evolutions of time-varying systems and a characterization of model-based temporal diagnosis. Since in most real world cases knowledge about the temporal evolution of the system to be diagnosed is uncertain, we consider the case when probabilistic temporal knowledge is available for each component of the system and we choose to model it by means of Markov chains. In fact, we aim at exploiting the statistical assumptions underlying reliability theory in the context of the diagnosis of timevarying systems. We finally show how to exploit Markov chain theory in order to discard, in the diagnostic process, very unlikely diagnoses.


title: Guess-And-Verify Heuristics for Reducing Uncertainties in Expert Classification Systems

abstract: An expert classification system having statistical information about the prior probabilities of the different classes should be able to use this knowledge to reduce the amount of additional information that it must collect, e.g., through questions, in order to make a correct classification. This paper examines how best to use such prior information and additional information-collection opportunities to reduce uncertainty about the class to which a case belongs, thus minimizing the average cost or effort required to correctly classify new cases.


title: R&D Analyst: An Interactive Approach to Normative Decision System Model Construction

abstract: This paper describes the architecture of R&D Analyst, a commercial intelligent decision system for evaluating corporate research and development projects and portfolios. In analyzing projects, R&D Analyst interactively guides a user in constructing an influence diagram model for an individual research project. The system's interactive approach can be clearly explained from a blackboard system perspective. The opportunistic reasoning emphasis of blackboard systems satisfies the flexibility requirements of model construction, thereby suggesting that a similar architecture would be valuable for developing normative decision systems in other domains. Current research is aimed at extending the system architecture to explicitly consider of sequential decisions involving limited temporal, financial, and physical resources.


title: Possibilistic Constraint Satisfaction Problems or "How to handle soft constraints?"

abstract: Many AI synthesis problems such as planning or scheduling may be modelized as constraint satisfaction problems (CSP). A CSP is typically defined as the problem of finding any consistent labeling for a fixed set of variables satisfying all given constraints between these variables. However, for many real tasks such as job-shop scheduling, time-table scheduling, design?, all these constraints have not the same significance and have not to be necessarily satisfied. A first distinction can be made between hard constraints, which every solution should satisfy and soft constraints, whose satisfaction has not to be certain. In this paper, we formalize the notion of possibilistic constraint satisfaction problems that allows the modeling of uncertainly satisfied constraints. We use a possibility distribution over labelings to represent respective possibilities of each labeling. Necessity-valued constraints allow a simple expression of the respective certainty degrees of each constraint. The main advantage of our approach is its integration in the CSP technical framework. Most classical techniques, such as Backtracking (BT), arcconsistency enforcing (AC) or Forward Checking have been extended to handle possibilistics CSP and are effectively implemented. The utility of our approach is demonstrated on a simple design problem.


title: Decision Making Using Probabilistic Inference Methods

abstract: The analysis of decision making under uncertainty is closely related to the analysis of probabilistic inference. Indeed, much of the research into efficient methods for probabilistic inference in expert systems has been motivated by the fundamental normative arguments of decision theory. In this paper we show how the developments underlying those efficient methods can be applied immediately to decision problems. In addition to general approaches which need know nothing about the actual probabilistic inference method, we suggest some simple modifications to the clustering family of algorithms in order to efficiently incorporate decision making capabilities.


title: Conditional Independence in Uncertainty Theories

abstract: This paper introduces the notions of independence and conditional independence in valuation-based systems (VBS). VBS is an axiomatic framework capable of representing many different uncertainty calculi. We define independence and conditional independence in terms of factorization of the joint valuation. The definitions of independence and conditional independence in VBS generalize the corresponding definitions in probability theory. Our definitions apply not only to probability theory, but also to Dempster-Shafer's belief-function theory, Spohn's epistemic-belief theory, and Zadeh's possibility theory. In fact, they apply to any uncertainty calculi that fit in the framework of valuation-based systems.


title: The Nature of the Unnormalized Beliefs Encountered in the Transferable Belief Model

abstract: Within the transferable belief model, positive basic belief masses can be allocated to the empty set, leading to unnormalized belief functions. The nature of these unnormalized beliefs is analyzed.


title: Intuitions about Ordered Beliefs Leading to Probabilistic Models

abstract: The general use of subjective probabilities to model belief has been justified using many axiomatic schemes. For example, ?consistent betting behavior' arguments are well-known. To those not already convinced of the unique fitness and generality of probability models, such justifications are often unconvincing. The present paper explores another rationale for probability models. ?Qualitative probability,' which is known to provide stringent constraints on belief representation schemes, is derived from five simple assumptions about relationships among beliefs. While counterparts of familiar rationality concepts such as transitivity, dominance, and consistency are used, the betting context is avoided. The gap between qualitative probability and probability proper can be bridged by any of several additional assumptions. The discussion here relies on results common in the recent AI literature, introducing a sixth simple assumption. The narrative emphasizes models based on unique complete orderings, but the rationale extends easily to motivate set-valued representations of partial orderings as well.


title: Expressing Relational and Temporal Knowledge in Visual Probabilistic Networks

abstract: Bayesian networks have been used extensively in diagnostic tasks such as medicine, where they represent the dependency relations between a set of symptoms and a set of diseases. A criticism of this type of knowledge representation is that it is restricted to this kind of task, and that it cannot cope with the knowledge required in other artificial intelligence applications. For example, in computer vision, we require the ability to model complex knowledge, including temporal and relational factors. In this paper we extend Bayesian networks to model relational and temporal knowledge for high-level vision. These extended networks have a simple structure which permits us to propagate probability efficiently. We have applied them to the domain of endoscopy, illustrating how the general modelling principles can be used in specific cases.


title: A Fuzzy Logic Approach to Target Tracking

abstract: This paper discusses a target tracking problem in which no dynamic mathematical model is explicitly assumed. A nonlinear filter based on the fuzzy If-then rules is developed. A comparison with a Kalman filter is made, and empirical results show that the performance of the fuzzy filter is better. Intensive simulations suggest that theoretical justification of the empirical results is possible.


title: Towards Precision of Probabilistic Bounds Propagation

abstract: The DUCK-calculus presented here is a recent approach to cope with probabilistic uncertainty in a sound and efficient way. Uncertain rules with bounds for probabilities and explicit conditional independences can be maintained incrementally. The basic inference mechanism relies on local bounds propagation, implementable by deductive databases with a bottom-up fixpoint evaluation. In situations, where no precise bounds are deducible, it can be combined with simple operations research techniques on a local scope. In particular, we provide new precise analytical bounds for probabilistic entailment.


title: An Algorithm for Deciding if a Set of Observed Independencies Has a Causal Explanation

abstract: In a previous paper [Pearl and Verma, 1991] we presented an algorithm for extracting causal influences from independence information, where a causal influence was defined as the existence of a directed arc in all minimal causal models consistent with the data. In this paper we address the question of deciding whether there exists a causal model that explains ALL the observed dependencies and independencies. Formally, given a list M of conditional independence statements, it is required to decide whether there exists a directed acyclic graph (dag) D that is perfectly consistent with M, namely, every statement in M, and no other, is reflected via dseparation in D. We present and analyze an effective algorithm that tests for the existence of such a day, and produces one, if it exists.


title: Generalizing Jeffrey Conditionalization

abstract: Jeffrey's rule has been generalized by Wagner to the case in which new evidence bounds the possible revisions of a prior probability below by a Dempsterian lower probability. Classical probability kinematics arises within this generalization as the special case in which the evidentiary focal elements of the bounding lower probability are pairwise disjoint. We discuss a twofold extension of this generalization, first allowing the lower bound to be any two-monotone capacity and then allowing the prior to be a lower envelope.


title: Interval Structure: A Framework for Representing Uncertain Information

abstract: In this paper, a unified framework for representing uncertain information based on the notion of an interval structure is proposed. It is shown that the lower and upper approximations of the rough-set model, the lower and upper bounds of incidence calculus, and the belief and plausibility functions all obey the axioms of an interval structure. An interval structure can be used to synthesize the decision rules provided by the experts. An efficient algorithm to find the desirable set of rules is developed from a set of sound and complete inference axioms.


title: Exploring Localization in Bayesian Networks for Large Expert Systems

abstract: Current Bayesian net representations do not consider structure in the domain and include all variables in a homogeneous network. At any time, a human reasoner in a large domain may direct his attention to only one of a number of natural subdomains, i.e., there is ?localization' of queries and evidence. In such a case, propagating evidence through a homogeneous network is inefficient since the entire network has to be updated each time. This paper presents multiply sectioned Bayesian networks that enable a (localization preserving) representation of natural subdomains by separate Bayesian subnets. The subnets are transformed into a set of permanent junction trees such that evidential reasoning takes place at only one of them at a time. Probabilities obtained are identical to those that would be obtained from the homogeneous network. We discuss attention shift to a different junction tree and propagation of previously acquired evidence. Although the overall system can be large, computational requirements are governed by the size of only one junction tree.


title: A Decision Calculus for Belief Functions in Valuation-Based Systems

abstract: Valuation-based system (VBS) provides a general framework for representing knowledge and drawing inferences under uncertainty. Recent studies have shown that the semantics of VBS can represent and solve Bayesian decision problems (Shenoy, 1991a). The purpose of this paper is to propose a decision calculus for Dempster-Shafer (D-S) theory in the framework of VBS. The proposed calculus uses a weighting factor whose role is similar to the probabilistic interpretation of an assumption that disambiguates decision problems represented with belief functions (Strat 1990). It will be shown that with the presented calculus, if the decision problems are represented in the valuation network properly, we can solve the problems by using fusion algorithm (Shenoy 1991a). It will also be shown the presented decision calculus can be reduced to the calculus for Bayesian probability theory when probabilities, instead of belief functions, are given.


title: Sidestepping the Triangulation Problem in Bayesian Net Computations

abstract: This paper presents a new approach for computing posterior probabilities in Bayesian nets, which sidesteps the triangulation problem. The current state of art is the clique tree propagation approach. When the underlying graph of a Bayesian net is triangulated, this approach arranges its cliques into a tree and computes posterior probabilities by appropriately passing around messages in that tree. The computation in each clique is simply direct marginalization. When the underlying graph is not triangulated, one has to first triangulated it by adding edges. Referred to as the triangulation problem, the problem of finding an optimal or even a ?good? triangulation proves to be difficult. In this paper, we propose to first decompose a Bayesian net into smaller components by making use of Tarjan's algorithm for decomposing an undirected graph at all its minimal complete separators. Then, the components are arranged into a tree and posterior probabilities are computed by appropriately passing around messages in that tree. The computation in each component is carried out by repeating the whole procedure from the beginning. Thus the triangulation problem is sidestepped.


title: Generalized Measures for the Evaluation of Community Detection Methods

abstract: Community detection can be considered as a variant of cluster analysis applied to complex networks. For this reason, all existing studies have been using tools derived from this field when evaluating community detection algorithms. However, those are not completely relevant in the context of network analysis, because they ignore an essential part of the available information: the network structure. Therefore, they can lead to incorrect interpretations. In this article, we review these measures, and illustrate this limitation. We propose a modification to solve this problem, and apply it to the three most widespread measures: purity, Rand index and normalized mutual information (NMI). We then perform an experimental evaluation on artificially generated networks with realistic community structure. We assess the relevance of the modified measures by comparison with their traditional counterparts, and also relatively to the topological properties of the community structures. On these data, the modified NMI turns out to provide the most relevant results.


title: Fractional Order Hybrid Systems and Their Stability

abstract: This paper deals with hybrid systems (HS) with fractional order dynamics and their stability. The stability of two particular types of fractional order hybrid systems (FOHS), i.e., switching and reset control systems, is studied. Common Lyapunov method, as well as its frequency domain equivalence, are generalized for the former systems and, for the latter, H$_{\beta}$-condition is used --frequency domain equivalence of Lyapunov-like method for reset control systems. The applicability and efficiency of the proposed methods are shown by some illustrative examples.


title: Toward a comprehensive model for feedback by active galactic nuclei: new insights from M87 observations by LOFAR, Fermi and H.E.S.S

abstract: Feedback by active galactic nuclei (AGNs) appears to be critical in balancing radiative cooling of the low-entropy gas at the centers of galaxy clusters and in mitigating the star formation of elliptical galaxies. New observations of M87 enable us to put forward a comprehensive model for the physical heating mechanism. Low-frequency radio observations by LOFAR revealed the absence of fossil cosmic-ray (CR) electrons in the radio halo surrounding M87. This puzzle can be resolved by accounting for the CR release from the radio cocoons and the subsequent mixing of CRs with the dense ambient intracluster gas, which thermalizes the electrons on a timescale similar to the radio halo age of 40 Myr. Hadronic interactions of similarly injected CR protons with the ambient gas should produce an observable gamma-ray signal in accordance with the steady emission of the low state of M87 detected by Fermi and H.E.S.S. Hence, we normalize the CR population to the gamma-ray emission, which shows the same spectral slope as the CR injection spectrum probed by LOFAR, thereby supporting a common origin. We show that CRs, which stream at the Alfven velocity with respect to the plasma rest frame, heat the surrounding thermal plasma at a rate that balances that of radiative cooling on average at each radius. However, the resulting global thermal equilibrium is locally unstable and allows for the formation of the observed cooling multi-phase medium through thermal instability. Provided that CR heating balances cooling during the emerging "cooling flow," the collapse of the majority of the gas is halted around 1 keV - in accordance with X-ray data. We show that both the existence of a temperature floor and the similar radial scaling of the heating and cooling rates are generic predictions of the CR heating model.


title: Breakdown of singlets and triplets in Sr2RuO4 revealed by spin-resolved ARPES

abstract: Spin-orbit coupling has been conjectured to play a key role in the low-energy electronic structure of Sr2RuO4. Using circularly polarized light combined with spin- and angle-resolved photoemission spectroscopy, we directly measure the value of the effective spin-orbit coupling to be 130 +/- 30 meV. This is even larger than theoretically predicted and comparable to the energy splitting of the dxy and dxz,yz orbitals around the Fermi surface, resulting in a strongly momentum-dependent entanglement of spin and orbital character. As demonstrated by the spin expectation value obtained for a pair of electrons with zero total momentum, the classification of the Cooper pairs in terms of pure singlets or triplets fundamentally breaks down, necessitating a description of the unconventional superconducting state of Sr2RuO4 in terms of these newly found spin-orbital entangled eigenstates.


title: Describing galaxy weak lensing measurements from tenths to tens of Mpc and up to z~0.6 with a single model

abstract: The clustering of galaxies and the matter distribution around them can be described using the halo model complemented with a realistic description of the way galaxies populate dark matter haloes. This has been used successfully to describe statistical properties of samples of galaxies at z<0.2. Without adjusting any model parameters, we compare the predicted weak lensing signal induced by Luminous Red Galaxies to measurements from SDSS DR7 on much larger scales (up to ~90 h_{70}^{-1} Mpc) and at higher redshift (z~0.4). We find excellent agreement, suggesting that the model captures the main properties of the galaxy-dark matter connection. To extend the comparison to lenses at even higher redshifts we complement the SDSS data with shape measurements from the deeper RCS2, resulting in precise lensing measurements for lenses up to z~0.6. These measurements are also well described using the same model. Considering solely these weak lensing measurements, we robustly assess that, up to z~0.6, the number of central galaxies as a function of halo mass is well described by a log-normal distribution with scatter $\sigma_{\log L_{\rm c}}=0.146\pm0.011$, in agreement with previous independent studies at lower redshift. Our results demonstrate the value of complementing the information about the properties of the (lens) galaxies provided by SDSS with deeper, high-quality imaging data.


title: Beyond Concordance Cosmology with Magnification of Gravitational-Wave Standard Sirens

abstract: We show how future gravitational-wave detectors would be able of discriminating between the concordance LCDM cosmological model and up-to-date competing alternatives, e.g. dynamical dark energy models (DE) or modified gravity theories (MG). Our method consists in using the weak-lensing magnification effect that affects a standard-siren signal because of its travelling trough the Universe's large-scale structure. As a demonstration, we present constraints on DE and MG from proposed gravitational-wave detectors, namely ET and DECIGO/BBO.


title: W and Z bosons in association with two jets using the POWHEG method

abstract: In this work we present the implementation of generators for W and Z bosons in association with two jets interfaced to parton showers using the POWHEG BOX. We incorporate matrix elements from the parton-level Monte Carlo program MCFM in the POWHEG BOX, allowing for a considerable improvement in speed compared to previous implementations. We address certain problems that arise when processes that are singular at the Born level are implemented in a shower framework using either a generation cut or a Born suppression factor to yield weighted events. In such a case, events with very large weights can be generated after the shower through a number of mechanisms. Events with very small transverse momentum at the Born level can develop large transverse momentum either after the hardest emission, after the shower, or after the inclusion of multi-parton interactions. We present a solution to this problem that can be easily implemented in the POWHEG BOX. We also show that a full solution to this problem can only be achieved if the generator maintains physical validity also when the transverse momentum of the emitted partons becomes unresolved. One such scheme is the recently-proposed MiNLO method for the choice of scale and the exponentiation of Sudakov form factors in NLO computations. We present a validation study of our generators, by comparing their output to available LHC data.


title: Enhancing the absorption of graphene in the terahertz range

abstract: We study graphene on a photonic crystal operating in the terahertz (THz) spectral range. We show that the absorption of graphene becomes a modulated function of frequency and can be enhanced by more than three times at specific frequency values, depending on the parameters of the system. The problem of a semi-infinite photonic crystal is also solved.


title: Doubly-Fluctuating BPS Solutions in Six Dimensions

abstract: We analyze the BPS solutions of minimal supergravity coupled to an anti-self-dual tensor multiplet in six dimensions and find solutions that fluctuate non-trivially as a function of two variables. We consider families of solutions coming from KKM monopoles fibered over Gibbons-Hawking metrics or, equivalently, non-trivial T^2 fibrations over an R3 base. We find smooth microstate geometries that depend upon many functions of one variable, but each such function depends upon a different direction inside the T^2 so that the complete solution depends non-trivially upon the whole T^2 . We comment on the implications of our results for the construction of a general superstratum.