title: Double core hole production in N2: Beating the Auger clock

abstract: We investigate the creation of double K-shell holes in N2 molecules via sequential absorption of two photons on a timescale shorter than the core-hole lifetime by using intense x-ray pulses from the Linac Coherent Light Source free electron laser. The production and decay of these states is characterized by photoelectron spectroscopy and Auger electron spectroscopy. In molecules, two types of double core holes are expected, the first with two core holes on the same N atom, and the second with one core hole on each N atom. We report the first direct observations of the former type of core hole in a molecule, in good agreement with theory, and provide an experimental upper bound for the relative contribution of the latter type.


title: On Squeezed Limits in Single-Field Inflation - Part I

abstract: The n-point correlation functions in single-field inflation obey a set of consistency conditions in the exact squeezed limit which are not present in multi-field models, and thus are powerful tools to distinguish between the two. However, these consistency conditions may be violated for a finite range of scales in single-field models, for example by departures from the Bunch-Davies state. These it excited states may be the consequence of interactions during inflation, or may be a remnant of the era that preceded inflation. In this paper we analyze the bispectrum, and show that in the regime of theoretical control the resulting signal in the squeezed limit remains undetectably small in all known models which continuously excite the state. We also show that the signal remains undetectably small if the initial state is related to the Bunch-Davies state by a Bogoliubov transformation and the energy density in the state is small enough so that the usual slow-roll conditions are obeyed. Bogoliubov states that lead to violations of the slow-roll conditions, as well as more general excited states, require more careful treatment and will be discussed in a separate publication.


title: Atmospheric leptons, the search for a prompt component

abstract: The flux of high-energy (>GeV) neutrinos consists primarily of those produced by cosmic-ray interactions in the atmosphere. The contribution from extraterrestrial sources is still unknown. Current limits suggest that the observed spectrum is dominated by atmospheric neutrinos up to at least 100 TeV. The contribution of charmed hadrons to the flux of atmospheric neutrinos is important in the context of the search for astrophysical neutrinos because the spectrum of such "prompt" neutrinos is harder than that of "conventional" neutrinos from decay of pions and kaons. The prompt component therefore becomes increasingly important as energy increases. This paper reviews the status of the search for prompt muons and neutrinos with emphasis on the complementary aspects of muons, electron neutrinos and muon neutrinos.


title: Towards a replicator dynamics model of age structured populations

abstract: In this paper we present a new modelling framework combining replicator dynamics (which is the standard model of frequency dependent selection) with the model of an age-structured population. The new framework allows for the modelling of populations consisting of competing strategies carried by individuals who change across their life cycle. Firstly the discretization of the McKendrick von Foerster model is derived. It is shown that the Euler--Lotka equation is satisfied when the new model reaches a steady state (i.e. stable frequencies between the age classes). This discretization consists of the unit age classes and the timescale is chosen that only a fraction of individuals play single game round. This implies linear dynamics within single time unit when individuals not killed during game round are moved from one age class to another. Since its local linear behaviour the system is equivalent to large Bernadelli-Lewis-Leslie matrix. Then the methodology of multipopulation games is used for the derivation of two, mutually equivalent systems of equations. The first contains equations describing the evolution of the strategy frequencies in the whole population completed by subsystems of equations describing the evolution of the age structure for each strategy. The second system contains equations describing the changes of the general population's age structure, completed with subsystems of equations describing the selection of the strategies within each age class. Then the obtained system of replicator dynamics is presented in the form of the mixed ODE-PDE system. The obtained results are illustrated by example of the sex ratio model which shows that when different mortalities of both sexes are assumed, the sex ratio of 0.5 is obtained but that Fisher's mechanism driven by the reproductive value of the different sexes is not in equilibrium.


title: Helioseismology of Pre-Emerging Active Regions I: Overview, Data, and Target Selection Criteria

abstract: This first paper in a series describes the design of a study testing whether pre-appearance signatures of solar magnetic active regions were detectable using various tools of local helioseismology. The ultimate goal is to understand flux-emergence mechanisms by setting observational constraints on pre-appearance subsurface changes, for comparison with results from simulation efforts. This first paper provides details of the data selection and preparation of the samples, each containing over 100 members, of two populations: regions on the Sun that produced a numbered NOAA active region, and a "control" sample of areas that did not. The seismology is performed on data from the GONG network; accompanying magnetic data from SOHO/MDI are used for co-temporal analysis of the surface magnetic field. Samples are drawn from 2001 -- 2007, and each target is analyzed for 27.7 hr prior to an objectively determined time of emergence. The results of two analysis approaches are published separately: one based on averages of the seismology- and magnetic-derived signals over the samples, another based on Discriminant Analysis of these signals, for a statistical test of detectable differences between the two populations. We include here descriptions of a new potential-field calculation approach and the algorithm for matching sample distributions over multiple variables. We describe known sources of bias and the approaches used to mitigate them. We also describe unexpected bias sources uncovered during the course of the study and include a discussion of refinements that should be included in future work on this topic.


title: Inequality and Network Formation Games

abstract: This paper addresses the matter of inequality in network formation games. We employ a quantity that we are calling the Nash Inequality Ratio (NIR), defined as the maximal ratio between the highest and lowest costs incurred to individual agents in a Nash equilibrium strategy, to characterize the extent to which inequality is possible in equilibrium. We give tight upper bounds on the NIR for the network formation games of Fabrikant et al. (PODC '03) and Ehsani et al. (SPAA '11). With respect to the relationship between equality and social efficiency, we show that, contrary to common expectations, efficiency does not necessarily come at the expense of increased inequality.


title: Nonparametric functionals as generalized functions

abstract: The paper considers probability distribution, density, conditional distribution and density and conditional moments as well as their kernel estimators in spaces of generalized functions. This approach does not require restrictions on classes of distributions common in nonparametric estimation. Density in usual function spaces is not well-posed; this paper establishes existence and well-posedness of the generalized density function. It also demonstrates root-n convergence of the kernel density estimator in the space of generalized functions. It is shown that the usual kernel estimator of the conditional distribution converges at a parametric rate as a random process in the space of generalized functions to a limit Gaussian process regardless of pointwise existence of the conditional distribution. Conditional moments such as conditional mean are also be characterized via generalized functions. Convergence of the kernel estimators to the limit Gaussian process is shown to hold as long as the appropriate moments exist.


title: Concepts and a case study for a flexible class of graphical Markov models

abstract: With graphical Markov models, one can investigate complex dependences, summarize some results of statistical analyses with graphs and use these graphs to understand implications of well-fitting models. The models have a rich history and form an area that has been intensively studied and developed in recent years. We give a brief review of the main concepts and describe in more detail a flexible subclass of models, called traceable regressions. These are sequences of joint response regressions for which regression graphs permit one to trace and thereby understand pathways of dependence. We use these methods to reanalyze and interpret data from a prospective study of child development, now known as the Mannheim Study of Children at Risk. The two related primary features concern cognitive and motor development, at the age of 4.5 and 8 years of a child. Deficits in these features form a sequence of joint responses. Several possible risks are assessed at birth of the child and when the child reached age 3 months and 2 years.


title: Dark signal correction for a lukecold frame transfer CCD. Application to the SODISM solar telescope on board the PICARD space mission

abstract: When Charge Coupled Devices are used for scientific observations, their dark signal is a hindrance. In their pristine state, most CCD pixels are `cool'; they exhibit low, quasi uniform dark current, which can be estimated and corrected for. In space, after having been hit by an energetic particle, pixels can turn `hot'. They start delivering excessive, less predictable, dark current. The hot pixels need therefore to be flagged so that subsequent analysis may ignore them. The image data of the PICARD SODISM solar telescope (Meftah et al. 2013) require dark signal correction and hot pixel identification. Its frame transfer E2V 42-80 CCD operates at -7{\deg}C. Both image and memory zones thus accumulate dark current during, respectively, integration and readout time. These two components must be separated to estimate the dark signal for any observation. This is the purpose of the Dark Signal Model presented in this paper. The dark signal time series of every pixel is processed by the Unbalanced Haar Technique (Fryzlewicz 2007) in order to timestamp when its dark signal is expected to change. In-between those instants, both components are assumed constant and a robust linear regression vs. integration time provides first estimates and a quality coefficient. The latter serves to assign definitive estimates. Our model is part of the SODISM Level 1 data production scheme. To check its reliability, we verify on dark frames that it leaves a negligible residual bias (5 e-), and generates a small RMS error (25 e- rms). The cool pixel level is found to be 4 e-/pxl/s, in agreement with the predicted value. The emergence rate of hot pixels is investigated too. It legitimates a threshold criterion at 50 e-/pxl/s. The growth rate is found to be 4% of the frame area per year. Aspects of the method (adaptation of the Unbalanced Haar Technique, dedicated robust linear regression) have a generic interest.


title: ARPES: A probe of electronic correlations

abstract: Angle-resolved photoemission spectroscopy (ARPES) is one of the most direct methods of studying the electronic structure of solids. By measuring the kinetic energy and angular distribution of the electrons photoemitted from a sample illuminated with sufficiently high-energy radiation, one can gain information on both the energy and momentum of the electrons propagating inside a material. This is of vital importance in elucidating the connection between electronic, magnetic, and chemical structure of solids, in particular for those complex systems which cannot be appropriately described within the independent-particle picture. Among the various classes of complex systems, of great interest are the transition metal oxides, which have been at the center stage in condensed matter physics for the last four decades. Following a general introduction to the topic, we will lay the theoretical basis needed to understand the pivotal role of ARPES in the study of such systems. After a brief overview on the state-of-the-art capabilities of the technique, we will review some of the most interesting and relevant case studies of the novel physics revealed by ARPES in 3d-, 4d- and 5d-based oxides.


title: Inclusive and exclusive dilepton photoproduction at high energies

abstract: In this work we investigate the inclusive and exclusive photoproduction of dileptons, which is relevant for the physics programme to be studied in the proposed electron-proton collider, the LHeC. In the inclusive case, the process is sensitive to the parton distribution functions in the photon whereas the exclusive channel is connected to the small-$x$ QCD dynamics. For the latter, we investigate the role played by saturation physics at a very high energy scenario. The estimates for production cross sections and the number of events are presented.


title: Non-Gaussianity from Excited Initial Inflationary States

abstract: We study squeezed limit $f_{NL}$ generation by excited initial inflationary states in a model independent way. We restrict "excited" to mean a Bogoliubov transformation of the Bunch Davies state. We simultaneously impose the constraints that the observable power spectrum is nearly scale invariant over at least three decades and that the observable modes today be subhorizon at the beginning of inflation while not causing significant backreaction. We show that most excited initial inflationary states for single field inflationary models with negligible superhorizon evolution do not produce an observable squeezed limit $f_{NL}$. The case in which one mode is in the Bunch Davies state while the other two modes are in an excited state with $0.01<|\beta_k|\leq0.1$ may generate a squeezed limit $f_{NL}$ which is detectable with future experiments.


title: A Hybrid Approach to Extract Keyphrases from Medical Documents

abstract: Keyphrases are the phrases, consisting of one or more words, representing the important concepts in the articles. Keyphrases are useful for a variety of tasks such as text summarization, automatic indexing, clustering/classification, text mining etc. This paper presents a hybrid approach to keyphrase extraction from medical documents. The keyphrase extraction approach presented in this paper is an amalgamation of two methods: the first one assigns weights to candidate keyphrases based on an effective combination of features such as position, term frequency, inverse document frequency and the second one assign weights to candidate keyphrases using some knowledge about their similarities to the structure and characteristics of keyphrases available in the memory (stored list of keyphrases). An efficient candidate keyphrase identification method as the first component of the proposed keyphrase extraction system has also been introduced in this paper. The experimental results show that the proposed hybrid approach performs better than some state-of-the art keyphrase extraction approaches.


title: Surveillance of the Incidence of Noncommunicable Diseases (NCDs) with Prevalence Data: Theory and Application to Diabetes in Denmark

abstract: Secular trends of the incidence of NCDs are especially important as they indicate changes of the risk profile of a population. The article describes a method for detecting secular trends in the incidence from a series of prevalence data - without requiring costly follow-up studies or running a register. After describing the theory, the method is applied to the incidence of diabetes in Denmark.


title: Extended global symmetries for 4d N=1 SQCD theories

abstract: In arXiv:0811.1909 Spiridonov and Vartanov, using the superconformal index technique, found that 4-dimensional N=1 SQCD theory with SU(2) gauge group and four flavors has 72 dual representations. Recently in arXiv:1209.1404 the authors showed that these dual theories, when coupled to 5d hypermultiplets with specific boundary conditions have an extended E_7 global symmetry. In this work we find that for a reduced theory with 3 flavors the explicit SU(6) global symmetry is enhanced to an E_6 symmetry in the presence of 5d hypermultiplets. We also show connections between indices of different theories in 3 and 4 dimensions.


title: The Black Hole Quantum Entropy and Its Minimal Value

abstract: In the paper it is demonstrated that the Schwarzschild black-hole quantum entropy computed within the scope of the Generalized Uncertainty Principle has a nonzero minimum under the assumption that for a radius of the black hole the lower limit is placed, whose value is twice the minimal length. Such a limit is quite natural when using, as a proper deformation parameter in a quantum theory with a minimal length, the dimensionless small parameter introduced previously by one of the authors in co-authorship with his colleagues and caused by modification of the density matrix at Planck scales. The results obtained have been compared to the results of other authors and analyzed from the viewpoint of their compatibility with the well-known facts and the holographic principle in particular.


title: Constrained Willmore Tori and Elastic Curves in 2-Dimensional Space Forms

abstract: In this paper we consider two special classes of constrained Willmore tori in the 3-sphere. The first class is given by the rotation of closed elastic curves in the upper half plane - viewed as the hyperbolic plane - around the x-axis. The second is given as the preimage of closed constrained elastic curves, i.e., elastic curve with enclosed area constraint, in the round 2-sphere under the Hopf fibration. We show that all conformal types can be isometrically immersed into S^3 as constrained Willmore (Hopf) tori and write down all constrained elastic curves in H^2 and S^2 in terms of the Weierstrass elliptic functions. Further, we determine the closing condition for the curves and compute the Willmore energy and the conformal type of the resulting tori.


title: Phase diagram of doped BaFe$_2$As$_2$ superconductor under broken $C_4$ symmetry

abstract: We develop a minimal multiorbital tight-binding model with realistic hopping parameters. The model breaks the symmetry of the tetragonal point group by lowering it from $C_4$ to $D_{2d}$, which accurately describes the Fermi surface evolution of the electron-doped BaFe$_{2-x}$Co$_x$As$_2$ and hole-doped Ba$_{1-y}$K$_y$Fe$_2$As$_2$ compounds. An investigation of the phase diagram with a mean-field $t$-$U$-$V$ Bogoliubov-de Gennes Hamiltonian results in agreement with the experimentally observed electron- and hole-doped phase diagram with only one set of $t$, $U$ and $V$ parameters. Additionally, the self-consistently calculated superconducting order parameter exhibits $s^\pm$-wave pairing symmetry with a small d-wave pairing admixture in the entire doping range, % The superconducting $s^\pm + d$-wave order parameter which is the subtle result of the weakly broken symmetry and competing interactions in the multiorbital mean-field Hamiltonian.


title: Restoring Unitarity in the q-Deformed World-Sheet S-Matrix

abstract: The world-sheet S-matrix of the string in AdS5 x S5 has been shown to admit a q-deformation that relates it to the S-matrix of a generalization of the sine-Gordon theory, which arises as the Pohlmeyer reduction of the superstring. Whilst this is a fascinating development the resulting S-matrix is not explicitly unitary. The problem has been known for a long time in the context of S-matrices related to quantum groups. A braiding relation often called "unitarity" actually only corresponds to quantum field theory unitarity when the S-matrix is Hermitian analytic and quantum group S-matrices manifestly violate this. On the other hand, overall consistency of the S-matrix under the bootstrap requires that the deformation parameter is a root of unity and consequently one is forced to perform the "vertex" to IRF, or SOS, transformation on the states to truncate the spectrum consistently. In the IRF formulation unitarity is now manifest and the string S-matrix and the S-matrix of the generalised sine-Gordon theory are recovered in two different limits. In the latter case, expanding the Yang-Baxter equation we find that the tree-level S-matrix of the Pohlmeyer-reduced string should satisfy a modified classical Yang-Baxter equation explaining the apparent anomaly in the perturbative computation. We show that the IRF form of the S-matrix meshes perfectly with the bootstrap equations.


title: Minimal models, GT-action and formality of the little disk operad

abstract: We give a new proof of formality of the operad of little disks. The proof makes use of an operadic version of a simple formality criterion for commutative differential graded algebras due to Sullivan. We see that formality is a direct consequence of the fact that the Grothendieck-Teichm\"uller group operates on the chain operad of little disks.


title: Hybrid r-Vacua in N=2 Supersymmetric QCD: Universal Condensate Formula

abstract: We derive an exact unified formula for all condensates (quark and monopole) in the hybrid r vacua in N=2 supersymmetric QCD slightly deformed by a \mu A^2 term. The gauge group is assumed to be U(N) and the number of the quark flavors N_f subject to the condition N< N_f < 2N. In the r vacua r quarks and N-r-1 monopoles from non-overlapping subgroups of U(N) develop vacuum expectation values (r<N). We then briefly review possible dynamical regimes (confinement, screening, and "instead of confinement") in the hybrid r vacua in \mu-deformed N=2 SQCD (the small-\mu limit).


title: Magnetic energy production by turbulence in binary neutron star mergers

abstract: The simultaneous detection of electromagnetic and gravitational wave emission from merging neutron star binaries would aid greatly in their discovery and interpretation. By studying turbulent amplification of magnetic fields in local high-resolution simulations of neutron star merger conditions, we demonstrate that magnetar-level (~10^16) G fields are present throughout the merger duration. We find that the small-scale turbulent dynamo converts 60% of the randomized kinetic energy into magnetic fields on a merger time scale. Since turbulent magnetic energy dissipates through reconnection events which accelerate relativistic electrons, turbulence may facilitate the conversion of orbital kinetic energy into radiation. If 10^-4 of the ~ 10^53 erg of orbital kinetic available gets processed through reconnection, and creates radiation in the 15-150 keV band, then the fluence at 200 Mpc would be 10^-7 erg/cm^2, potentially rendering most merging neutron stars in the advanced LIGO and Virgo detection volumes detectable by Swift BAT.


title: Nanotube Quantum Dot Transport With Spin-Orbit Coupling and Interacting Leads

abstract: We analyzed the effects of a spin voltage as well as a conventionally applied voltage in a QD system with a different number of quantum states in the dot region in presence of Coulombic interaction between the quantum dot and two leads. We extended the NEGF treatment developed for noninteracting leads onto the case of four quantum states $m =\{\sigma,\lambda\}=\{\pm,\pm\}$ interacting with leads. Our derivation is based on the equation-of-motion technique and Langreth's theorem. For a Coulombic repulsion between the contacts and QD we obtain an expression for the current through QD for the four quantum states. To determine the parameters of the model Hamiltonian we used our previous calculations [1] of the electronic properties of a symmetrical nanotube QD (5,5)/(10,0)\_1/(5,5) in a tight binding model, where \_1 denotes the length of the middle QD segment of a (10,0) zigzag nanotube. We calculated the density of electronic states with spin up and down for the case of a single QD without pseudospin states for an infinite Coulomb repulsion, in good agreement with the calculations of Yuan Li, et al. [2]. Our calculation showed that the position of the conductance peaks nearest to zero is not affected by the strength of the QD-lead Coulombic interaction parameters. We also demonstrated that this interaction shifts the density of states to higher energies. The interplay between the Kondo effect and the bias is highly temperature-dependent and becomes significant only at low temperatures. Lastly, we found that the existence of four quantum states $m=\{\sigma,\lambda\}$ leads to abrupt changes in the density of states. In this case the values of the current are approximately ten times lower than for QD with only two quantum states $m =\{\sigma\}=\{\pm\}$. However, in the case of a conventional bias the current amplitudes in both cases are approximately the same.


title: Baryon Asymmetry and Dark Matter Through the Vector-Like Portal

abstract: A possible connection between the cosmological baryon asymmetry, dark matter and vector-like fermions is investigated. In this scenario an asymmetry generated through baryogenesis or leptogenesis (in the vector-like matter sector) connects the baryon asymmetry to the dark matter density. We present explicit renormalizable models where this connection occurs. These models have asymmetric dark matter and a significant invisible Higgs decay width to dark matter particles is possible. We refer to this type of scenario as the vector-like portal. In some asymmetric dark matter models there are potential naturalness issues for the low energy effective theory. We address that issue in the models we consider by starting with a Lagrangian that is the most general renormalizable one consistent with the gauge (and discrete) symmetries and showing the low energy effective theory automatically has the required form as a consequence of the symmetries of the full theory. We show that the mass of the dark matter candidate is predicted in these scenarios.


title: Rate of tunneling nonequilibrium quasiparticles in superconducting qubits

abstract: In superconducting qubits the lifetime of quantum states cannot be prolonged arbitrarily by decreasing temperature. At low temperature quasiparticles tunneling between electromagnetic environment and superconducting islands takes the condensate state out of equilibrium due to charge imbalance. We obtain the tunneling rate from a phenomenological model of non-equilibrium, where nonequilibrium quasiparticle tunnelling stimulates a temperature-dependent chemical potential shift in superconductor. As a result we obtain a non-monotonic behavior for relaxation rate as function of temperature. Depending on the fabrication parameters for some qubits the lowest tunneling rate of nonequilibrium quasiparticles can take place only near the onset temperature below which nonequilibrium quasiparticles dominate over equilibrium one. Our theory also indicates that such tunnelings can influence the probability of transitions in qubits through a coupling to the zero-point energy of phase fluctuations.


title: Causality in Bayesian Belief Networks

abstract: We address the problem of causal interpretation of the graphical structure of Bayesian belief networks (BBNs). We review the concept of causality explicated in the domain of structural equations models and show that it is applicable to BBNs. In this view, which we call mechanism-based, causality is defined within models and causal asymmetries arise when mechanisms are placed in the context of a system. We lay the link between structural equations models and BBNs models and formulate the conditions under which the latter can be given causal interpretation.


title: From Conditional Oughts to Qualitative Decision Theory

abstract: The primary theme of this investigation is a decision theoretic account of conditional ought statements (e.g., "You ought to do A, if C") that rectifies glaring deficiencies in classical deontic logic. The resulting account forms a sound basis for qualitative decision theory, thus providing a framework for qualitative planning under uncertainty. In particular, we show that adding causal relationships (in the form of a single graph) as part of an epistemic state is sufficient to facilitate the analysis of action sequences, their consequences, their interaction with observations, their expected utilities and, hence, the synthesis of plans and strategies under uncertainty.


title: A Probabilistic Algorithm for Calculating Structure: Borrowing from Simulated Annealing

abstract: We have developed a general Bayesian algorithm for determining the coordinates of points in a three-dimensional space. The algorithm takes as input a set of probabilistic constraints on the coordinates of the points, and an a priori distribution for each point location. The output is a maximum-likelihood estimate of the location of each point. We use the extended, iterated Kalman filter, and add a search heuristic for optimizing its solution under nonlinear conditions. This heuristic is based on the same principle as the simulated annealing heuristic for other optimization problems. Our method uses any probabilistic constraints that can be expressed as a function of the point coordinates (for example, distance, angles, dihedral angles, and planarity). It assumes that all constraints have Gaussian noise. In this paper, we describe the algorithm and show its performance on a set of synthetic data to illustrate its convergence properties, and its applicability to domains such ng molecular structure determination.


title: A Study of Scaling Issues in Bayesian Belief Networks for Ship Classification

abstract: The problems associated with scaling involve active and challenging research topics in the area of artificial intelligence. The purpose is to solve real world problems by means of AI technologies, in cases where the complexity of representation of the real world problem is potentially combinatorial. In this paper, we present a novel approach to cope with the scaling issues in Bayesian belief networks for ship classification. The proposed approach divides the conceptual model of a complex ship classification problem into a set of small modules that work together to solve the classification problem while preserving the functionality of the original model. The possible ways of explaining sensor returns (e.g., the evidence) for some features, such as portholes along the length of a ship, are sometimes combinatorial. Thus, using an exhaustive approach, which entails the enumeration of all possible explanations, is impractical for larger problems. We present a network structure (referred to as Sequential Decomposition, SD) in which each observation is associated with a set of legitimate outcomes which are consistent with the explanation of each observed piece of evidence. The results show that the SD approach allows one to represent feature-observation relations in a manageable way and achieve the same explanatory power as an exhaustive approach.


title: Tradeoffs in Constructing and Evaluating Temporal Influence Diagrams

abstract: This paper addresses the tradeoffs which need to be considered in reasoning using probabilistic network representations, such as Influence Diagrams (IDs). In particular, we examine the tradeoffs entailed in using Temporal Influence Diagrams (TIDs) which adequately capture the temporal evolution of a dynamic system without prohibitive data and computational requirements. Three approaches for TID construction which make different tradeoffs are examined: (1) tailoring the network at each time interval to the data available (rather then just copying the original Bayes Network for all time intervals); (2) modeling the evolution of a parsimonious subset of variables (rather than all variables); and (3) model selection approaches, which seek to minimize some measure of the predictive accuracy of the model without introducing too many parameters, which might cause "overfitting" of the model. Methods of evaluating the accuracy/efficiency of the tradeoffs are proposed.


title: End-User Construction of Influence Diagrams for Bayesian Statistics

abstract: Influence diagrams are ideal knowledge representations for Bayesian statistical models. However, these diagrams are difficult for end users to interpret and to manipulate. We present a user-based architecture that enables end users to create and to manipulate the knowledge representation. We use the problem of physicians' interpretation of two-arm parallel randomized clinical trials (TAPRCT) to illustrate the architecture and its use. There are three primary data structures. Elements of statistical models are encoded as subgraphs of a restricted class of influence diagram. The interpretations of those elements are mapped into users' language in a domain-specific, user-based semantic interface, called a patient-flow diagram, in the TAPRCT problem. Pennitted transformations of the statistical model that maintain the semantic relationships of the model are encoded in a metadata-state diagram, called the cohort-state diagram, in the TAPRCT problem. The algorithm that runs the system uses modular actions called construction steps. This framework has been implemented in a system called THOMAS, that allows physicians to interpret the data reported from a TAPRCT.


title: On Considering Uncertainty and Alternatives in Low-Level Vision

abstract: In this paper we address the uncertainty issues involved in the low-level vision task of image segmentation. Researchers in computer vision have worked extensively on this problem, in which the goal is to partition (or segment) an image into regions that are homogeneous or uniform in some sense. This segmentation is often utilized by some higher level process, such as an object recognition system. We show that by considering uncertainty in a Bayesian formalism, we can use statistical image models to build an approximate representation of a probability distribution over a space of alternative segmentations. We give detailed descriptions of the various levels of uncertainty associated with this problem, discuss the interaction of prior and posterior distributions, and provide the operations for constructing this representation.


title: Forecasting Sleep Apnea with Dynamic Network Models

abstract: Dynamic network models (DNMs) are belief networks for temporal reasoning. The DNM methodology combines techniques from time series analysis and probabilistic reasoning to provide (1) a knowledge representation that integrates noncontemporaneous and contemporaneous dependencies and (2) methods for iteratively refining these dependencies in response to the effects of exogenous influences. We use belief-network inference algorithms to perform forecasting, control, and discrete event simulation on DNMs. The belief network formulation allows us to move beyond the traditional assumptions of linearity in the relationships among time-dependent variables and of normality in their probability distributions. We demonstrate the DNM methodology on an important forecasting problem in medicine. We conclude with a discussion of how the methodology addresses several limitations found in traditional time series analyses.


title: Normative Engineering Risk Management Systems

abstract: This paper describes a normative system design that incorporates diagnosis, dynamic evolution, decision making, and information gathering. A single influence diagram demonstrates the design's coherence, yet each activity is more effectively modeled and evaluated separately. Application to offshore oil platforms illustrates the design. For this application, the normative system is embedded in a real-time expert system.


title: Diagnosis of Multiple Faults: A Sensitivity Analysis

abstract: We compare the diagnostic accuracy of three diagnostic inference models: the simple Bayes model, the multimembership Bayes model, which is isomorphic to the parallel combination function in the certainty-factor model, and a model that incorporates the noisy OR-gate interaction. The comparison is done on 20 clinicopathological conference (CPC) cases from the American Journal of Medicine-challenging cases describing actual patients often with multiple disorders. We find that the distributions produced by the noisy OR model agree most closely with the gold-standard diagnoses, although substantial differences exist between the distributions and the diagnoses. In addition, we find that the multimembership Bayes model tends to significantly overestimate the posterior probabilities of diseases, whereas the simple Bayes model tends to significantly underestimate the posterior probabilities. Our results suggest that additional work to refine the noisy OR model for internal medicine will be worthwhile.


title: Additive Belief-Network Models

abstract: The inherent intractability of probabilistic inference has hindered the application of belief networks to large domains. Noisy OR-gates [30] and probabilistic similarity networks [18, 17] escape the complexity of inference by restricting model expressiveness. Recent work in the application of belief-network models to time-series analysis and forecasting [9, 10] has given rise to the additive belief network model (ABNM). We (1) discuss the nature and implications of the approximations made by an additive decomposition of a belief network, (2) show greater efficiency in the induction of additive models when available data are scarce, (3) generalize probabilistic inference algorithms to exploit the additive decomposition of ABNMs, (4) show greater efficiency of inference, and (5) compare results on inference with a simple additive belief network.


title: Parameter Adjustment in Bayes Networks. The generalized noisy OR-gate

abstract: Spiegelhalter and Lauritzen [15] studied sequential learning in Bayesian networks and proposed three models for the representation of conditional probabilities. A forth model, shown here, assumes that the parameter distribution is given by a product of Gaussian functions and updates them from the _ and _r messages of evidence propagation. We also generalize the noisy OR-gate for multivalued variables, develop the algorithm to compute probability in time proportional to the number of parents (even in networks with loops) and apply the learning model to this gate.


title: A fuzzy relation-based extension of Reggia's relational model for diagnosis handling uncertain and incomplete information

abstract: Relational models for diagnosis are based on a direct description of the association between disorders and manifestations. This type of model has been specially used and developed by Reggia and his co-workers in the late eighties as a basic starting point for approaching diagnosis problems. The paper proposes a new relational model which includes Reggia's model as a particular case and which allows for a more expressive representation of the observations and of the manifestations associated with disorders. The model distinguishes, i) between manifestations which are certainly absent and those which are not (yet) observed, and ii) between manifestations which cannot be caused by a given disorder and manifestations for which we do not know if they can or cannot be caused by this disorder. This new model, which can handle uncertainty in a non-probabilistic way, is based on possibility theory and so-called twofold fuzzy sets, previously introduced by the authors.


title: Dialectic Reasoning with Inconsistent Information

abstract: From an inconsistent database non-trivial arguments may be constructed both for a proposition, and for the contrary of that proposition. Therefore, inconsistency in a logical database causes uncertainty about which conclusions to accept. This kind of uncertainty is called logical uncertainty. We define a concept of "acceptability", which induces a means for differentiating arguments. The more acceptable an argument, the more confident we are in it. A specific interest is to use the acceptability classes to assign linguistic qualifiers to propositions, such that the qualifier assigned to a propositions reflects its logical uncertainty. A more general interest is to understand how classes of acceptability can be defined for arguments constructed from an inconsistent database, and how this notion of acceptability can be devised to reflect different criteria. Whilst concentrating on the aspects of assigning linguistic qualifiers to propositions, we also indicate the more general significance of the notion of acceptability.


title: Causal Independence for Knowledge Acquisition and Inference

abstract: I introduce a temporal belief-network representation of causal independence that a knowledge engineer can use to elicit probabilistic models. Like the current, atemporal belief-network representation of causal independence, the new representation makes knowledge acquisition tractable. Unlike the atemproal representation, however, the temporal representation can simplify inference, and does not require the use of unobservable variables. The representation is less general than is the atemporal representation, but appears to be useful for many practical applications.


title: Utility-Based Abstraction and Categorization

abstract: We take a utility-based approach to categorization. We construct generalizations about events and actions by considering losses associated with failing to distinguish among detailed distinctions in a decision model. The utility-based methods transform detailed states of the world into more abstract categories comprised of disjunctions of the states. We show how we can cluster distinctions into groups of distinctions at progressively higher levels of abstraction, and describe rules for decision making with the abstractions. The techniques introduce a utility-based perspective on the nature of concepts, and provide a means of simplifying decision models used in automated reasoning systems. We demonstrate the techniques by describing the capabilities and output of TUBA, a program for utility-based abstraction.


title: Sensitivity Analysis for Probability Assessments in Bayesian Networks

abstract: When eliciting probability models from experts, knowledge engineers may compare the results of the model with expert judgment on test scenarios, then adjust model parameters to bring the behavior of the model more in line with the expert's intuition. This paper presents a methodology for analytic computation of sensitivity values to measure the impact of small changes in a network parameter on a target probability value or distribution. These values can be used to guide knowledge elicitation. They can also be used in a gradient descent algorithm to estimate parameter values that maximize a measure of goodness-of-fit to both local and holistic probability assessments.


title: Causal Modeling

abstract: Causal Models are like Dependency Graphs and Belief Nets in that they provide a structure and a set of assumptions from which a joint distribution can, in principle, be computed. Unlike Dependency Graphs, Causal Models are models of hierarchical and/or parallel processes, rather than models of distributions (partially) known to a model builder through some sort of gestalt. As such, Causal Models are more modular, easier to build, more intuitive, and easier to understand than Dependency Graph Models. Causal Models are formally defined and Dependency Graph Models are shown to be a special case of them. Algorithms supporting inference are presented. Parsimonious methods for eliciting dependent probabilities are presented.


title: Some Complexity Considerations in the Combination of Belief Networks

abstract: One topic that is likely to attract an increasing amount of attention within the Knowledge-base systems research community is the coordination of information provided by multiple experts. We envision a situation in which several experts independently encode information as belief networks. A potential user must then coordinate the conclusions and recommendations of these networks to derive some sort of consensus. One approach to such a consensus is the fusion of the contributed networks into a single, consensus model prior to the consideration of any case-specific data (specific observations, test results). This approach requires two types of combination procedures, one for probabilities, and one for graphs. Since the combination of probabilities is relatively well understood, the key barriers to this approach lie in the realm of graph theory. This paper provides formal definitions of some of the operations necessary to effect the necessary graphical combinations, and provides complexity analyses of these procedures. The paper's key result is that most of these operations are NP-hard, and its primary message is that the derivation of ?good? consensus networks must be done heuristically.


title: Deriving a Minimal I-map of a Belief Network Relative to a Target Ordering of its Nodes

abstract: This paper identifies and solves a new optimization problem: Given a belief network (BN) and a target ordering on its variables, how can we efficiently derive its minimal I-map whose arcs are consistent with the target ordering? We present three solutions to this problem, all of which lead to directed acyclic graphs based on the original BN's recursive basis relative to the specified ordering (such a DAG is sometimes termed the boundary DAG drawn from the given BN relative to the said ordering [5]). Along the way, we also uncover an important general principal about arc reversals: when reordering a BN according to some target ordering, (while attempting to minimize the number of arcs generated), the sequence of arc reversals should follow the topological ordering induced by the original belief network's arcs to as great an extent as possible. These results promise to have a significant impact on the derivation of consensus models, as well as on other algorithms that require the reconfiguration and/or combination of BN's.


title: Probabilistic Conceptual Network: A Belief Representation Scheme for Utility-Based Categorization

abstract: Probabilistic conceptual network is a knowledge representation scheme designed for reasoning about concepts and categorical abstractions in utility-based categorization. The scheme combines the formalisms of abstraction and inheritance hierarchies from artificial intelligence, and probabilistic networks from decision analysis. It provides a common framework for representing conceptual knowledge, hierarchical knowledge, and uncertainty. It facilitates dynamic construction of categorization decision models at varying levels of abstraction. The scheme is applied to an automated machining problem for reasoning about the state of the machine at varying levels of abstraction in support of actions for maintaining competitiveness of the plant.


title: Reasoning about the Value of Decision-Model Refinement: Methods and Application

abstract: We investigate the value of extending the completeness of a decision model along different dimensions of refinement. Specifically, we analyze the expected value of quantitative, conceptual, and structural refinement of decision models. We illustrate the key dimensions of refinement with examples. The analyses of value of model refinement can be used to focus the attention of an analyst or an automated reasoning system on extensions of a decision model associated with the greatest expected value.


title: Mixtures of Gaussians and Minimum Relative Entropy Techniques for Modeling Continuous Uncertainties

abstract: Problems of probabilistic inference and decision making under uncertainty commonly involve continuous random variables. Often these are discretized to a few points, to simplify assessments and computations. An alternative approximation is to fit analytically tractable continuous probability distributions. This approach has potential simplicity and accuracy advantages, especially if variables can be transformed first. This paper shows how a minimum relative entropy criterion can drive both transformation and fitting, illustrating with a power and logarithm family of transformations and mixtures of Gaussian (normal) distributions, which allow use of efficient influence diagram methods. The fitting procedure in this case is the well-known EM algorithm. The selection of the number of components in a fitted mixture distribution is automated with an objective that trades off accuracy and computational cost.


title: Valuation Networks and Conditional Independence

abstract: Valuation networks have been proposed as graphical representations of valuation-based systems (VBSs). The VBS framework is able to capture many uncertainty calculi including probability theory, Dempster-Shafer's belief-function theory, Spohn's epistemic belief theory, and Zadeh's possibility theory. In this paper, we show how valuation networks encode conditional independence relations. For the probabilistic case, the class of probability models encoded by valuation networks includes undirected graph models, directed acyclic graph models, directed balloon graph models, and recursive causal graph models.


title: Relevant Explanations: Allowing Disjunctive Assignments

abstract: Relevance-based explanation is a scheme in which partial assignments to Bayesian belief network variables are explanations (abductive conclusions). We allow variables to remain unassigned in explanations as long as they are irrelevant to the explanation, where irrelevance is defined in terms of statistical independence. When multiple-valued variables exist in the system, especially when subsets of values correspond to natural types of events, the over specification problem, alleviated by independence-based explanation, resurfaces. As a solution to that, as well as for addressing the question of explanation specificity, it is desirable to collapse such a subset of values into a single value on the fly. The equivalent method, which is adopted here, is to generalize the notion of assignments to allow disjunctive assignments. We proceed to define generalized independence based explanations as maximum posterior probability independence based generalized assignments (GIB-MAPs). GIB assignments are shown to have certain properties that ease the design of algorithms for computing GIB-MAPs. One such algorithm is discussed here, as well as suggestions for how other algorithms may be adapted to compute GIB-MAPs. GIB-MAP explanations still suffer from instability, a problem which may be addressed using ?approximate? conditional independence as a condition for irrelevance.


title: A Generalization of the Noisy-Or Model

abstract: The Noisy-Or model is convenient for describing a class of uncertain relationships in Bayesian networks [Pearl 1988]. Pearl describes the Noisy-Or model for Boolean variables. Here we generalize the model to nary input and output variables and to arbitrary functions other than the Boolean OR function. This generalization is a useful modeling aid for construction of Bayesian networks. We illustrate with some examples including digital circuit diagnosis and network reliability analysis.


title: Using First-Order Probability Logic for the Construction of Bayesian Networks

abstract: We present a mechanism for constructing graphical models, specifically Bayesian networks, from a knowledge base of general probabilistic information. The unique feature of our approach is that it uses a powerful first-order probabilistic logic for expressing the general knowledge base. This logic allows for the representation of a wide range of logical and probabilistic information. The model construction procedure we propose uses notions from direct inference to identify pieces of local statistical information from the knowledge base that are most appropriate to the particular event we want to reason about. These pieces are composed to generate a joint probability distribution specified as a Bayesian network. Although there are fundamental difficulties in dealing with fully general knowledge, our procedure is practical for quite rich knowledge bases and it supports the construction of a far wider range of networks than allowed for by current template technology.


title: Representing and Reasoning With Probabilistic Knowledge: A Bayesian Approach

abstract: PAGODA (Probabilistic Autonomous Goal-Directed Agent) is a model for autonomous learning in probabilistic domains [desJardins, 1992] that incorporates innovative techniques for using the agent's existing knowledge to guide and constrain the learning process and for representing, reasoning with, and learning probabilistic knowledge. This paper describes the probabilistic representation and inference mechanism used in PAGODA. PAGODA forms theories about the effects of its actions and the world state on the environment over time. These theories are represented as conditional probability distributions. A restriction is imposed on the structure of the theories that allows the inference mechanism to find a unique predicted distribution for any action and world state description. These restricted theories are called uniquely predictive theories. The inference mechanism, Probability Combination using Independence (PCI), uses minimal independence assumptions to combine the probabilities in a theory to make probabilistic predictions.


title: Graph-Grammar Assistance for Automated Generation of Influence Diagrams

abstract: One of the most difficult aspects of modeling complex dilemmas in decision-analytic terms is composing a diagram of relevance relations from a set of domain concepts. Decision models in domains such as medicine, however, exhibit certain prototypical patterns that can guide the modeling process. Medical concepts can be classified according to semantic types that have characteristic positions and typical roles in an influence-diagram model. We have developed a graph-grammar production system that uses such inherent interrelationships among medical terms to facilitate the modeling of medical decisions.


title: Using Causal Information and Local Measures to Learn Bayesian Networks

abstract: In previous work we developed a method of learning Bayesian Network models from raw data. This method relies on the well known minimal description length (MDL) principle. The MDL principle is particularly well suited to this task as it allows us to tradeoff, in a principled way, the accuracy of the learned network against its practical usefulness. In this paper we present some new results that have arisen from our work. In particular, we present a new local way of computing the description length. This allows us to make significant improvements in our search algorithm. In addition, we modify our algorithm so that it can take into account partial domain information that might be provided by a domain expert. The local computation of description length also opens the door for local refinement of an existent network. The feasibility of our approach is demonstrated by experiments involving networks of a practical size.


title: Minimal Assumption Distribution Propagation in Belief Networks

abstract: As belief networks are used to model increasingly complex situations, the need to automatically construct them from large databases will become paramount. This paper concentrates on solving a part of the belief network induction problem: that of learning the quantitative structure (the conditional probabilities), given the qualitative structure. In particular, a theory is presented that shows how to propagate inference distributions in a belief network, with the only assumption being that the given qualitative structure is correct. Most inference algorithms must make at least this assumption. The theory is based on four network transformations that are sufficient for any inference in a belief network. Furthermore, the claim is made that contrary to popular belief, error will not necessarily grow as the inference chain grows. Instead, for QBN belief nets induced from large enough samples, the error is more likely to decrease as the size of the inference chain increases.


title: An Algorithm for the Construction of Bayesian Network Structures from Data

abstract: Previous algorithms for the construction of Bayesian belief network structures from data have been either highly dependent on conditional independence (CI) tests, or have required an ordering on the nodes to be supplied by the user. We present an algorithm that integrates these two approaches - CI tests are used to generate an ordering on the nodes from the database which is then used to recover the underlying Bayesian network structure using a non CI based method. Results of preliminary evaluation of the algorithm on two networks (ALARM and LED) are presented. We also discuss some algorithm performance issues and open problems.


title: A Construction of Bayesian Networks from Databases Based on an MDL Principle

abstract: This paper addresses learning stochastic rules especially on an inter-attribute relation based on a Minimum Description Length (MDL) principle with a finite number of examples, assuming an application to the design of intelligent relational database systems. The stochastic rule in this paper consists of a model giving the structure like the dependencies of a Bayesian Belief Network (BBN) and some stochastic parameters each indicating a conditional probability of an attribute value given the state determined by the other attributes' values in the same record. Especially, we propose the extended version of the algorithm of Chow and Liu in that our learning algorithm selects the model in the range where the dependencies among the attributes are represented by some general plural number of trees.


title: Knowledge-Based Decision Model Construction for Hierarchical Diagnosis: A Preliminary Report

abstract: Numerous methods for probabilistic reasoning in large, complex belief or decision networks are currently being developed. There has been little research on automating the dynamic, incremental construction of decision models. A uniform value-driven method of decision model construction is proposed for the hierarchical complete diagnosis. Hierarchical complete diagnostic reasoning is formulated as a stochastic process and modeled using influence diagrams. Given observations, this method creates decision models in order to obtain the best actions sequentially for locating and repairing a fault at minimum cost. This method construct decision models incrementally, interleaving probe actions with model construction and evaluation. The method treats meta-level and baselevel tasks uniformly. That is, the method takes a decision-theoretic look at the control of search in causal pathways and structural hierarchies.


title: A Synthesis of Logical and Probabilistic Reasoning for Program Understanding and Debugging

abstract: We describe the integration of logical and uncertain reasoning methods to identify the likely source and location of software problems. To date, software engineers have had few tools for identifying the sources of error in complex software packages. We describe a method for diagnosing software problems through combining logical and uncertain reasoning analyses. Our preliminary results suggest that such methods can be of value in directing the attention of software engineers to paths of an algorithm that have the highest likelihood of harboring a programming error.


title: An Implementation of a Method for Computing the Uncertainty in Inferred Probabilities in Belief Networks

abstract: In recent years the belief network has been used increasingly to model systems in Al that must perform uncertain inference. The development of efficient algorithms for probabilistic inference in belief networks has been a focus of much research in AI. Efficient algorithms for certain classes of belief networks have been developed, but the problem of reporting the uncertainty in inferred probabilities has received little attention. A system should not only be capable of reporting the values of inferred probabilities and/or the favorable choices of a decision; it should report the range of possible error in the inferred probabilities and/or choices. Two methods have been developed and implemented for determining the variance in inferred probabilities in belief networks. These methods, the Approximate Propagation Method and the Monte Carlo Integration Method are discussed and compared in this paper.


title: Incremental Probabilistic Inference

abstract: Propositional representation services such as truth maintenance systems offer powerful support for incremental, interleaved, problem-model construction and evaluation. Probabilistic inference systems, in contrast, have lagged behind in supporting this incrementality typically demanded by problem solvers. The problem, we argue, is that the basic task of probabilistic inference is typically formulated at too large a grain-size. We show how a system built around a smaller grain-size inference task can have the desired incrementality and serve as the basis for a low-level (propositional) probabilistic representation service.


title: Deliberation Scheduling for Time-Critical Sequential Decision Making

abstract: We describe a method for time-critical decision making involving sequential tasks and stochastic processes. The method employs several iterative refinement routines for solving different aspects of the decision making problem. This paper concentrates on the meta-level control problem of deliberation scheduling, allocating computational resources to these routines. We provide different models corresponding to optimization problems that capture the different circumstances and computational strategies for decision making under time constraints. We consider precursor models in which all decision making is performed prior to execution and recurrent models in which decision making is performed in parallel with execution, accounting for the states observed during execution and anticipating future states. We describe algorithms for precursor and recurrent models and provide the results of our empirical investigations to date.


title: Intercausal Reasoning with Uninstantiated Ancestor Nodes

abstract: Intercausal reasoning is a common inference pattern involving probabilistic dependence of causes of an observed common effect. The sign of this dependence is captured by a qualitative property called product synergy. The current definition of product synergy is insufficient for intercausal reasoning where there are additional uninstantiated causes of the common effect. We propose a new definition of product synergy and prove its adequacy for intercausal reasoning with direct and indirect evidence for the common effect. The new definition is based on a new property matrix half positive semi-definiteness, a weakened form of matrix positive semi-definiteness.


title: Inference Algorithms for Similarity Networks

abstract: We examine two types of similarity networks each based on a distinct notion of relevance. For both types of similarity networks we present an efficient inference algorithm that works under the assumption that every event has a nonzero probability of occurrence. Another inference algorithm is developed for type 1 similarity networks that works under no restriction, albeit less efficiently.


title: Two Procedures for Compiling Influence Diagrams

abstract: Two algorithms are presented for "compiling" influence diagrams into a set of simple decision rules. These decision rules define simple-to-execute, complete, consistent, and near-optimal decision procedures. These compilation algorithms can be used to derive decision procedures for human teams solving time constrained decision problems.


title: An efficient approach for finding the MPE in belief networks

abstract: Given a belief network with evidence, the task of finding the I most probable explanations (MPE) in the belief network is that of identifying and ordering the I most probable instantiations of the non-evidence nodes of the belief network. Although many approaches have been proposed for solving this problem, most work only for restricted topologies (i.e., singly connected belief networks). In this paper, we will present a new approach for finding I MPEs in an arbitrary belief network. First, we will present an algorithm for finding the MPE in a belief network. Then, we will present a linear time algorithm for finding the next MPE after finding the first MPE. And finally, we will discuss the problem of finding the MPE for a subset of variables of a belief network, and show that the problem can be efficiently solved by this approach.


title: A Method for Planning Given Uncertain and Incomplete Information

abstract: This paper describes ongoing research into planning in an uncertain environment. In particular, it introduces U-Plan, a planning system that constructs quantitatively ranked plans given an incomplete description of the state of the world. U-Plan uses a DempsterShafer interval to characterise uncertain and incomplete information about the state of the world. The planner takes as input what is known about the world, and constructs a number of possible initial states with representations at different abstraction levels. A plan is constructed for the initial state with the greatest support, and this plan is tested to see if it will work for other possible initial states. All, part, or none of the existing plans may be used in the generation of the plans for the remaining possible worlds. Planning takes place in an abstraction hierarchy where strategic decisions are made before tactical decisions. A super-plan is then constructed, based on merging the set of plans and the appropriately timed acquisition of essential knowledge, which is used to decide between plan alternatives. U-Plan usually produces a super-plan in less time than a classical planner would take to produce a set of plans, one for each possible world.


title: The use of conflicts in searching Bayesian networks

abstract: This paper discusses how conflicts (as used by the consistency-based diagnosis community) can be adapted to be used in a search-based algorithm for computing prior and posterior probabilities in discrete Bayesian Networks. This is an "anytime" algorithm, that at any stage can estimate the probabilities and give an error bound. Whereas the most popular Bayesian net algorithms exploit the structure of the network for efficiency, we exploit probability distributions for efficiency; this algorithm is most suited to the case with extreme probabilities. This paper presents a solution to the inefficiencies found in naive algorithms, and shows how the tools of the consistency-based diagnosis community (namely conflicts) can be used effectively to improve the efficiency. Empirical results with networks having tens of thousands of nodes are presented.


title: GALGO: A Genetic ALGOrithm Decision Support Tool for Complex Uncertain Systems Modeled with Bayesian Belief Networks

abstract: Bayesian belief networks can be used to represent and to reason about complex systems with uncertain, incomplete and conflicting information. Belief networks are graphs encoding and quantifying probabilistic dependence and conditional independence among variables. One type of reasoning of interest in diagnosis is called abductive inference (determination of the global most probable system description given the values of any partial subset of variables). In some cases, abductive inference can be performed with exact algorithms using distributed network computations but it is an NP-hard problem and complexity increases drastically with the presence of undirected cycles, number of discrete states per variable, and number of variables in the network. This paper describes an approximate method based on genetic algorithms to perform abductive inference in large, multiply connected networks for which complexity is a concern when using most exact methods and for which systematic search methods are not feasible. The theoretical adequacy of the method is discussed and preliminary experimental results are presented.


title: Using Tree-Decomposable Structures to Approximate Belief Networks

abstract: Tree structures have been shown to provide an efficient framework for propagating beliefs [Pearl,1986]. This paper studies the problem of finding an optimal approximating tree. The star decomposition scheme for sets of three binary variables [Lazarsfeld,1966; Pearl,1986] is shown to enhance the class of probability distributions that can support tree structures; such structures are called tree-decomposable structures. The logarithm scoring rule is found to be an appropriate optimality criterion to evaluate different tree-decomposable structures. Characteristics of such structures closest to the actual belief network are identified using the logarithm rule, and greedy and exact techniques are developed to find the optimal approximation.


title: Using Potential Influence Diagrams for Probabilistic Inference and Decision Making

abstract: The potential influence diagram is a generalization of the standard "conditional" influence diagram, a directed network representation for probabilistic inference and decision analysis [Ndilikilikesha, 1991]. It allows efficient inference calculations corresponding exactly to those on undirected graphs. In this paper, we explore the relationship between potential and conditional influence diagrams and provide insight into the properties of the potential influence diagram. In particular, we show how to convert a potential influence diagram into a conditional influence diagram, and how to view the potential influence diagram operations in terms of the conditional influence diagram.


title: Deciding Morality of Graphs is NP-complete

abstract: In order to find a causal explanation for data presented in the form of covariance and concentration matrices it is necessary to decide if the graph formed by such associations is a projection of a directed acyclic graph (dag). We show that the general problem of deciding whether such a dag exists is NP-complete.


title: Incremental computation of the value of perfect information in stepwise-decomposable influence diagrams

abstract: To determine the value of perfect information in an influence diagram, one needs first to modify the diagram to reflect the change in information availability, and then to compute the optimal expected values of both the original diagram and the modified diagram. The value of perfect information is the difference between the two optimal expected values. This paper is about how to speed up the computation of the optimal expected value of the modified diagram by making use of the intermediate computation results obtained when computing the optimal expected value of the original diagram.


title: Argumentative inference in uncertain and inconsistent knowledge bases

abstract: This paper presents and discusses several methods for reasoning from inconsistent knowledge bases. A so-called argumentative-consequence relation taking into account the existence of consistent arguments in favor of a conclusion and the absence of consistent arguments in favor of its contrary, is particularly investigated. Flat knowledge bases, i.e. without any priority between their elements, as well as prioritized ones where some elements are considered as more strongly entrenched than others are studied under different consequence relations. Lastly a paraconsistent-like treatment of prioritized knowledge bases is proposed, where both the level of entrenchment and the level of paraconsistency attached to a formula are propagated. The priority levels are handled in the framework of possibility theory.


title: Argument Calculus and Networks

abstract: A major reason behind the success of probability calculus is that it possesses a number of valuable tools, which are based on the notion of probabilistic independence. In this paper, I identify a notion of logical independence that makes some of these tools available to a class of propositional databases, called argument databases. Specifically, I suggest a graphical representation of argument databases, called argument networks, which resemble Bayesian networks. I also suggest an algorithm for reasoning with argument networks, which resembles a basic algorithm for reasoning with Bayesian networks. Finally, I show that argument networks have several applications: Nonmonotonic reasoning, truth maintenance, and diagnosis.


title: Argumentation as a General Framework for Uncertain Reasoning

abstract: Argumentation is the process of constructing arguments about propositions, and the assignment of statements of confidence to those propositions based on the nature and relative strength of their supporting arguments. The process is modelled as a labelled deductive system, in which propositions are doubly labelled with the grounds on which they are based and a representation of the confidence attached to the argument. Argument construction is captured by a generalized argument consequence relation based on the ^,--fragment of minimal logic. Arguments can be aggregated by a variety of numeric and symbolic flattening functions. This approach appears to shed light on the common logical structure of a variety of quantitative, qualitative and defeasible uncertainty calculi.


title: On reasoning in networks with qualitative uncertainty

abstract: In this paper some initial work towards a new approach to qualitative reasoning under uncertainty is presented. This method is not only applicable to qualitative probabilistic reasoning, as is the case with other methods, but also allows the qualitative propagation within networks of values based upon possibility theory and Dempster-Shafer evidence theory. The method is applied to two simple networks from which a large class of directed graphs may be constructed. The results of this analysis are used to compare the qualitative behaviour of the three major quantitative uncertainty handling formalisms, and to demonstrate that the qualitative integration of the formalisms is possible under certain assumptions.


title: Qualitative Measures of Ambiguity

abstract: This paper introduces a qualitative measure of ambiguity and analyses its relationship with other measures of uncertainty. Probability measures relative likelihoods, while ambiguity measures vagueness surrounding those judgments. Ambiguity is an important representation of uncertain knowledge. It deals with a different, type of uncertainty modeled by subjective probability or belief.


title: A Bayesian Variant of Shafer's Commonalities For Modelling Unforeseen Events

abstract: Shafer's theory of belief and the Bayesian theory of probability are two alternative and mutually inconsistent approaches toward modelling uncertainty in artificial intelligence. To help reduce the conflict between these two approaches, this paper reexamines expected utility theory-from which Bayesian probability theory is derived. Expected utility theory requires the decision maker to assign a utility to each decision conditioned on every possible event that might occur. But frequently the decision maker cannot foresee all the events that might occur, i.e., one of the possible events is the occurrence of an unforeseen event. So once we acknowledge the existence of unforeseen events, we need to develop some way of assigning utilities to decisions conditioned on unforeseen events. The commonsensical solution to this problem is to assign similar utilities to events which are similar. Implementing this commonsensical solution is equivalent to replacing Bayesian subjective probabilities over the space of foreseen and unforeseen events by random set theory probabilities over the space of foreseen events. This leads to an expected utility principle in which normalized variants of Shafer's commonalities play the role of subjective probabilities. Hence allowing for unforeseen events in decision analysis causes Bayesian probability theory to become much more similar to Shaferian theory.


title: The Probability of a Possibility: Adding Uncertainty to Default Rules

abstract: We present a semantics for adding uncertainty to conditional logics for default reasoning and belief revision. We are able to treat conditional sentences as statements of conditional probability, and express rules for revision such as "If A were believed, then B would be believed to degree p." This method of revision extends conditionalization by allowing meaningful revision by sentences whose probability is zero. This is achieved through the use of counterfactual probabilities. Thus, our system accounts for the best properties of qualitative methods of update (in particular, the AGM theory of revision) and probabilistic methods. We also show how our system can be viewed as a unification of probability theory and possibility theory, highlighting their orthogonality and providing a means for expressing the probability of a possibility. We also demonstrate the connection to Lewis's method of imaging.


title: Possibilistic decreasing persistence

abstract: A key issue in the handling of temporal data is the treatment of persistence; in most approaches it consists in inferring defeasible confusions by extrapolating from the actual knowledge of the history of the world; we propose here a gradual modelling of persistence, following the idea that persistence is decreasing (the further we are from the last time point where a fluent is known to be true, the less certainly true the fluent is); it is based on possibility theory, which has strong relations with other well-known ordering-based approaches to nonmonotonic reasoning. We compare our approach with Dean and Kanazawa's probabilistic projection. We give a formal modelling of the decreasing persistence problem. Lastly, we show how to infer nonmonotonic conclusions using the principle of decreasing persistence.


title: Discounting and Combination Operations in Evidential Reasoning

abstract: Evidential reasoning is now a leading topic in Artificial Intelligence. Evidence is represented by a variety of evidential functions. Evidential reasoning is carried out by certain kinds of fundamental operation on these functions. This paper discusses two of the basic operations on evidential functions, the discount operation and the well-known orthogonal sum operation. We show that the discount operation is not commutative with the orthogonal sum operation, and derive expressions for the two operations applied to the various evidential function.


title: Probabilistic Assumption-Based Reasoning

abstract: The classical propositional assumption-based model is extended to incorporate probabilities for the assumptions. Then it is placed into the framework of evidence theory. Several authors like Laskey, Lehner (1989) and Provan (1990) already proposed a similar point of view, but the first paper is not as much concerned with mathematical foundations, and Provan's paper develops into a different direction. Here we thoroughly develop and present the mathematical foundations of this theory, together with computational methods adapted from Reiter, De Kleer (1987) and Inoue (1992). Finally, recently proposed techniques for computing degrees of support are presented.


title: Partially Specified Belief Functions

abstract: This paper presents a procedure to determine a complete belief function from the known values of belief for some of the subsets of the frame of discerment. The method is based on the principle of minimum commitment and a new principle called the focusing principle. This additional principle is based on the idea that belief is specified for the most relevant sets: the focal elements. The resulting procedure is compared with existing methods of building complete belief functions: the minimum specificity principle and the least commitment principle.


title: Jeffrey's rule of conditioning generalized to belief functions

abstract: Jeffrey's rule of conditioning has been proposed in order to revise a probability measure by another probability function. We generalize it within the framework of the models based on belief functions. We show that several forms of Jeffrey's conditionings can be defined that correspond to the geometrical rule of conditioning and to Dempster's rule of conditioning, respectively.


title: Inference with Possibilistic Evidence

abstract: In this paper, the concept of possibilistic evidence which is a possibility distribution as well as a body of evidence is proposed over an infinite universe of discourse. The inference with possibilistic evidence is investigated based on a unified inference framework maintaining both the compatibility of concepts and the consistency of the probability logic.


title: Constructing Lower Probabilities

abstract: An elaboration of Dempster's method of constructing belief functions suggests a broadly applicable strategy for constructing lower probabilities under a variety of evidentiary constraints.


title: Belief Revision in Probability Theory

abstract: In a probability-based reasoning system, Bayes' theorem and its variations are often used to revise the system's beliefs. However, if the explicit conditions and the implicit conditions of probability assignments `me properly distinguished, it follows that Bayes' theorem is not a generally applicable revision rule. Upon properly distinguishing belief revision from belief updating, we see that Jeffrey's rule and its variations are not revision rules, either. Without these distinctions, the limitation of the Bayesian approach is often ignored or underestimated. Revision, in its general form, cannot be done in the Bayesian approach, because a probability distribution function alone does not contain the information needed by the operation.


title: The Assumptions Behind Dempster's Rule

abstract: This paper examines the concept of a combination rule for belief functions. It is shown that two fairly simple and apparently reasonable assumptions determine Dempster's rule, giving a new justification for it.


title: A Belief-Function Based Decision Support System

abstract: In this paper, we present a decision support system based on belief functions and the pignistic transformation. The system is an integration of an evidential system for belief function propagation and a valuation-based system for Bayesian decision analysis. The two subsystems are connected through the pignistic transformation. The system takes as inputs the user's "gut feelings" about a situation and suggests what, if any, are to be tested and in what order, and it does so with a user friendly interface.


title: Energy Landscape of the Finite-Size Mean-field 3-Spin Spherical Model

abstract: We study the 3-spin spherical model with mean-field interactions and Gaussian random couplings. For moderate system sizes of up to 20 spins, we obtain all stationary points of the energy landscape by means of the numerical polynomial homotopy continuation method. On the basis of these stationary points, we analyze the complexity and other quantities related to the glass transition of the model and compare these finite-system quantities to their exact counterparts in the thermodynamic limit.


title: Double-Disk Dark Matter

abstract: Based on observational constraints on large scale structure and halo structure, dark matter is generally taken to be cold and essentially collisionless. On the other hand, given the large number of particles and forces in the visible world, a more complex dark sector could be a reasonable or even likely possibility. This hypothesis leads to testable consequences, perhaps portending the discovery of a rich hidden world neighboring our own. We consider a scenario that readily satisfies current bounds that we call Partially Interacting Dark Matter (PIDM). This scenario contains self-interacting dark matter, but it is not the dominant component. Even if PIDM contains only a fraction of the net dark matter density, comparable to the baryonic fraction, the subdominant component's interactions can lead to interesting and potentially observable consequences. Our primary focus will be the special case of Double-Disk Dark Matter (DDDM), in which self-interactions allow the dark matter to lose enough energy to lead to dynamics similar to those in the baryonic sector. We explore a simple model in which DDDM can cool efficiently and form a disk within galaxies, and we evaluate some of the possible observational signatures. The most prominent signal of such a scenario could be an enhanced indirect detection signature with a distinctive spatial distribution. Even though subdominant, the enhanced density at the center of the galaxy and possibly throughout the plane of the galaxy can lead to large boost factors, and could even explain a signature as large as the 130 GeV Fermi line. Such scenarios also predict additional dark radiation degrees of freedom that could soon be detectable and would influence the interpretation of future data, such as that from Planck and from the Gaia satellite. We consider this to be the first step toward exploring a rich array of new possibilities for dark matter dynamics.

categories: astro-ph.CO astro-ph.GA astro-ph.HE hep-ph


title: On RG Flow of tau_{RR} for Supersymmetric Field Theories in Three-Dimensions

abstract: The coefficient tau_{RR} of the two-point function of the superconformal U(1)_R currents of N=2 SCFTs in three-dimensions is recently shown to be obtained by differentiating the partition function on a squashed three-sphere with respect to the squashing parameter. With this method, we compute the tau_{RR} for N=2 Wess-Zumino models and SQCD numerically for small number of flavors and analytically in the large number limit. We study the behavior of tau_{RR} under an RG flow by adding superpotentials to the theories. While the tau_{RR} decreases for the gauge theories, we find an N=2 Wess-Zumino model whose tau_{RR} increases along the RG flow. Since tau_{RR} is proportional to the coefficient C_T of the two-point correlation function of the stress-energy tensors for N=2 superconformal field theories, this rules out the possibility of C_T being a measure of the degrees of freedom which monotonically decreases along RG flows in three-dimensions.


title: Inflation, Cosmic Perturbations and Non-Gaussianities

abstract: We review the theory of inflationary perturbations. Perturbations at both linear and nonlinear orders are reviewed. We also review a variety of inflation models, emphasizing their signatures on cosmic perturbations.


title: Anomalous Supercurrent from Majorana States in Topological Insulator Josephson Junctions

abstract: We propose a Josephson junction setup based on a topological insulator (TI) thin film to detect Majorana states, which exploits the unique helical and extended nature of the TI surface state. When the magnetic flux through the junction is close to an integer number of flux quanta, Majorana states, present on both surfaces of the film, give rise to a narrow peak-dip structure in the current- phase relation by hybridizing at the edge of the junction. Moreover, the maximal Majorana-state contribution to Josephson current takes a (nearly) universal value, approximately equal to the supercurrent capacity of a single quantum-channel. These features provide a characteristic signature of Majorana states based entirely on supercurrent.


title: The a theorem for Gauge-Yukawa theories beyond Banks-Zaks

abstract: We investigate the a theorem for nonsupersymmetric gauge-Yukawa theories beyond the leading order in perturbation theory. The exploration is first performed in a model-independent manner and then applied to a specific relevant example. Here, a rich fixed point structure appears including the presence of a merging phenomenon between non-trivial fixed points for which the a theorem has not been tested so far.


title: Modified Higgs Sectors and NLO Associated Production

abstract: Many beyond the Standard Model (BSM) scenarios involve Higgs couplings to additional electroweak fields. It is well established that these new fields may modify Higgs gamma-gamma and gamma-Z decays at one-loop. However, one unexplored aspect of such scenarios is that by electroweak symmetry one should also expect modifications to the Higgs Z-Z coupling at one-loop and, more generally, modifications to Higgs production and decay channels beyond tree-level. In this paper we investigate the full BSM modified electroweak corrections to associated Higgs production at both the LHC and a future lepton collider in two simple SM extensions. From both inclusive and differential NLO associated production cross sections we find BSM-NLO corrections can be as large as O(>10%) when compared to the SM expectation, consistent with other precision electroweak measurements, even in scenarios where modifications to the Higgs diphoton rate are not significant. At the LHC such corrections are comparable to the involved QCD uncertainties. At a lepton collider the Higgs associated production cross section can be measured to high accuracy (O(1%) independent of uncertainties in total width and other couplings), and such a deviation could be easily observed even if the new states remain beyond kinematic reach. This should be compared to the expected accuracy for a model-independent determination of the Higgs diphoton coupling at a lepton collider, which is O(15%). This work demonstrates that precision measurements of the Higgs associated production cross section constitute a powerful probe of modified Higgs sectors and will be valuable for indirectly exploring BSM scenarios.


title: Massive Nambu-Goldstone Bosons

abstract: Nicolis and Piazza have recently pointed out the existence of Nambu-Goldstone-like excitations in relativistic systems at finite density, whose gap is exactly determined by the chemical potential and the symmetry algebra. We show that the phenomenon is much more general than anticipated and demonstrate the presence of such modes in a number of systems from (anti)ferromagnets in magnetic field to superfluid phases of quantum chromodynamics. Furthermore, we prove a counting rule for these massive Nambu-Goldstone bosons and construct a low-energy effective Lagrangian that captures their dynamics.

categories: hep-th cond-mat.quant-gas cond-mat.stat-mech hep-ph


title: I-Love-Q Relations in Neutron Stars and their Applications to Astrophysics, Gravitational Waves and Fundamental Physics

abstract: The exterior gravitational field of a slowly-rotating neutron star can be characterized by its multipole moments, the first few being the neutron star mass, moment of inertia, and quadrupole moment to quadratic order in spin. In principle, all of these quantities depend on the neutron star's internal structure, and thus, on unknown nuclear physics at supra-nuclear energy densities. We here find relations between the moment of inertia, the Love numbers and the quadrupole moment (I-Love-Q relations) that do not depend sensitively on the neutron star's internal structure. Three important consequences derive from these I-Love-Q relations. On an observational astrophysics front, the measurement of a single member of the I-Love-Q trio would automatically provide information about the other two, even when the latter may not be observationally accessible. On a gravitational wave front, the I-Love-Q relations break the degeneracy between the quadrupole moment and the neutron-star spins in binary inspiral waveforms, allowing second-generation ground-based detectors to determine the (dimensionless) averaged spin to $\mathcal{O}(10)%$, given a sufficiently large signal-to-noise ratio detection. On a fundamental physics front, the I-Love-Q relations allow for tests of General Relativity in the neutron-star strong-field that are both theory- and internal structure-independent. As an example, by combining gravitational-wave and electromagnetic observations, one may constrain dynamical Chern-Simons gravity in the future by more than 6 orders of magnitude more stringently than Solar System and table-top constraints.


title: The Herschel and JCMT Gould Belt Surveys: Constraining Dust Properties in the Perseus B1 Clump with PACS, SPIRE, and SCUBA-2

abstract: We present Herschel observations from the Herschel Gould Belt Survey and SCUBA-2 science verification observations from the JCMT Gould Belt Survey of the B1 clump in the Perseus molecular cloud. We determined the dust emissivity index using four different techniques to combine the Herschel PACS+SPIRE data at 160 - 500 microns with the SCUBA-2 data at 450 microns and 850 microns. Of our four techniques, we found the most robust method was to filter-out the large-scale emission in the Herschel bands to match the spatial scales recovered by the SCUBA-2 reduction pipeline. Using this method, we find beta ~ 2 towards the filament region and moderately dense material and lower beta values (beta > 1.6) towards the dense protostellar cores, possibly due to dust grain growth. We find that beta and temperature are more robust with the inclusion of the SCUBA-2 data, improving estimates from Herschel data alone by factors of ~ 2 for beta and by ~ 40% for temperature. Furthermore, we find core mass differences of < 30% compared to Herschel-only estimates with an adopted beta = 2, highlighting the necessity of long wavelength submillimeter data for deriving accurate masses of prestellar and protostellar cores.


title: Analysis of Far-UV Data of Central Stars of Planetary Nebulae: Occurrence and Variability of Stellar Winds

abstract: The occurrence of stellar wind in central stars planetary nebulae (CSPNe) can be revealed by the presence of P Cygni profiles of high-excitation lines overimposed on the stellar continuum. We have examined the entire FUSE archive and merged all useful observations of CSPNe to produce the highest quality spectra that can be used to assess the occurrence of stellar winds. Furthermore, the individual spectra of each CSPN have been searched for variability in the P Cygni profile. P Cygni profiles of high-excitation lines have been found in 44 CSPNe, with a clear correlation between the line ionization potential and the star effective temperature. We introduce a prescription to derive the terminal wind velocity (v_inf) from saturated and unsaturated P Cygni profiles and provide new values of v_inf for these stars. Another 23 CSPNe do not show P Cygni profiles or their FUSE data are not conclusive to determine the occurrence of P Cygni profiles. Variability in the P Cygni profile of high-excitation far-UV lines is found for the first time in six CSPNe, namely Hen 2-131, NGC 40, NGC 1535, NGC 2392, Sp 3, and SwSt 1, increasing up to 13 the number of CSPNe with variable P Cygni profiles in the UV, including those previously reported using IUE or FUSE observations. Variability is seen preferentially in the unsaturated P V and Si IV lines, but also in saturated C III and O VI lines. The CSPNe with variable P Cygni profiles have similar stellar properties (relatively low log(g) and T_eff) that suggests they are less evolved CSPNe. Some of the CSPNe with variable P Cygni profiles show O VI lines, while their T_eff is insufficient to produce this ion. We suggest that such ion is produced by Auger ionization from X-rays associated to shocks in their stellar winds as is the case in massive OB stars of high ionization potential ions which cannot be abundantly produced by photoionizations.


title: PS1-10bzj: A Fast, Hydrogen-Poor Superluminous Supernova in a Metal Poor Host Galaxy

abstract: We present observations and analysis of PS1-10bzj, a superluminous supernova (SLSN) discovered in the Pan-STARRS Medium Deep Survey at a redshift z = 0.650. Spectroscopically, PS1-10bzj is similar to the hydrogen-poor SLSNe 2005ap and SCP 06F6, though with a steeper rise and lower peak luminosity (M_bol = -21.4 mag) than previous events. We construct a bolometric light curve, and show that while PS1-10bzj's energetics were less extreme than previous events, its luminosity still cannot be explained by radioactive nickel decay alone. We explore both a magnetar spin-down and circumstellar interaction scenario and find that either can fit the data. PS1-10bzj is located in the Extended Chandra Deep Field South and the host galaxy is imaged in a number of surveys, including with the Hubble Space Telescope. The host is a compact dwarf galaxy (M_B ~ -18 mag, diameter < 800 pc), with a low stellar mass (M_* ~ 2.4 * 10^7 M_sun), young stellar population (\tau_* ~ 5 Myr), and a star formation rate of ~ 2-3 M_sun/yr. The specific star formation rate is the highest seen in a SLSN host so far (~ 100 Gyr^{-1}). We detect the [O III]\lambda 4363 line, and find a low metallicity: 12+(O/H) = 7.8 +/- 0.2 (~ 0.1 Z_sun). Together, this indicates that at least some of the progenitors of SLSNe come from young, low-metallicity populations.


title: Superstring Amplitudes as a Mellin Transform of Supergravity

abstract: At the tree level, the maximally helicity violating amplitudes of N gauge bosons in open superstring theory and of N gravitons in supergravity are known to have simple representations in terms of tree graphs. For superstrings, the graphs encode integral representations of certain generalized Gaussian hypergeometric functions of kinematic invariants while for supergravity, they represent specific kinematic expressions constructed from spinor-helicity variables. We establish a superstring/supergravity correspondence for this class of amplitudes, by constructing a mapping between the positions of gauge boson vertices at the disk boundary and the helicity spinors associated to gravitons. After replacing vertex positions by a larger set of N(N-3)/2 coordinates, the superstring amplitudes become (multiple) Mellin transforms of supergravity amplitudes, from the projective space into the dual Mellin space of N(N-3)/2 kinematic invariants. Similarly, inverse Mellin transforms transmute open superstrings into supergravity. We elaborate on the properties of multiple Mellin and inverse Mellin transforms in the framework of superstring/supergravity correspondence.