title: Penalty logic and its Link with Dempster-Shafer Theory

abstract: Penalty logic, introduced by Pinkas, associates to each formula of a knowledge base the price to pay if this formula is violated. Penalties may be used as a criterion for selecting preferred consistent subsets in an inconsistent knowledge base, thus inducing a non-monotonic inference relation. A precise formalization and the main properties of penalty logic and of its associated non-monotonic inference relation are given in the first part. We also show that penalty logic and Dempster-Shafer theory are related, especially in the infinitesimal case.


title: Value of Evidence on Influence Diagrams

abstract: In this paper, we introduce evidence propagation operations on influence diagrams and a concept of value of evidence, which measures the value of experimentation. Evidence propagation operations are critical for the computation of the value of evidence, general update and inference operations in normative expert systems which are based on the influence diagram (generalized Bayesian network) paradigm. The value of evidence allows us to compute directly an outcome sensitivity, a value of perfect information and a value of control which are used in decision analysis (the science of decision making under uncertainty). More specifically, the outcome sensitivity is the maximum difference among the values of evidence, the value of perfect information is the expected value of the values of evidence, and the value of control is the optimal value of the values of evidence. We also discuss an implementation and a relative computational efficiency issues related to the value of evidence and the value of perfect information.


title: Conditional Independence in Possibility Theory

abstract: Possibilistic conditional independence is investigated: we propose a definition of this notion similar to the one used in probability theory. The links between independence and non-interactivity are investigated, and properties of these relations are given. The influence of the conjunction used to define a conditional measure of possibility is also highlighted: we examine three types of conjunctions: Lukasiewicz - like T-norms, product-like T-norms and the minimum operator.


title: Backward Simulation in Bayesian Networks

abstract: Backward simulation is an approximate inference technique for Bayesian belief networks. It differs from existing simulation methods in that it starts simulation from the known evidence and works backward (i.e., contrary to the direction of the arcs). The technique's focus on the evidence leads to improved convergence in situations where the posterior beliefs are dominated by the evidence rather than by the prior probabilities. Since this class of situations is large, the technique may make practical the application of approximate inference in Bayesian belief networks to many real-world problems.


title: Learning Gaussian Networks

abstract: We describe algorithms for learning Bayesian networks from a combination of user knowledge and statistical data. The algorithms have two components: a scoring metric and a search procedure. The scoring metric takes a network structure, statistical data, and a user's prior knowledge, and returns a score proportional to the posterior probability of the network structure given the data. The search procedure generates networks for evaluation by the scoring metric. Previous work has concentrated on metrics for domains containing only discrete variables, under the assumption that data represents a multinomial sample. In this paper, we extend this work, developing scoring metrics for domains containing all continuous variables or a mixture of discrete and continuous variables, under the assumption that continuous data is sampled from a multivariate normal distribution. Our work extends traditional statistical approaches for identifying vanishing regression coefficients in that we identify two important assumptions, called event equivalence and parameter modularity, that when combined allow the construction of prior distributions for multivariate normal parameters from a single prior Bayesian network specified by a user.


title: On Testing Whether an Embedded Bayesian Network Represents a Probability Model

abstract: Testing the validity of probabilistic models containing unmeasured (hidden) variables is shown to be a hard task. We show that the task of testing whether models are structurally incompatible with the data at hand, requires an exponential number of independence evaluations, each of the form: "X is conditionally independent of Y, given Z." In contrast, a linear number of such evaluations is required to test a standard Bayesian network (one per vertex). On the positive side, we show that if a network with hidden variables G has a tree skeleton, checking whether G represents a given probability model P requires the polynomial number of such independence evaluations. Moreover, we provide an algorithm that efficiently constructs a tree-structured Bayesian network (with hidden variables) that represents P if such a network exists, and further recognizes when such a network does not exist.


title: Epsilon-Safe Planning

abstract: We introduce an approach to high-level conditional planning we call epsilon-safe planning. This probabilistic approach commits us to planning to meet some specified goal with a probability of success of at least 1-epsilon for some user-supplied epsilon. We describe several algorithms for epsilon-safe planning based on conditional planners. The two conditional planners we discuss are Peot and Smith's nonlinear conditional planner, CNLP, and our own linear conditional planner, PLINTH. We present a straightforward extension to conditional planners for which computing the necessary probabilities is simple, employing a commonly-made but perhaps overly-strong independence assumption. We also discuss a second approach to epsilon-safe planning which relaxes this independence assumption, involving the incremental construction of a probability dependence model in conjunction with the construction of the plan graph.


title: Generating Bayesian Networks from Probability Logic Knowledge Bases

abstract: We present a method for dynamically generating Bayesian networks from knowledge bases consisting of first-order probability logic sentences. We present a subset of probability logic sufficient for representing the class of Bayesian networks with discrete-valued nodes. We impose constraints on the form of the sentences that guarantee that the knowledge base contains all the probabilistic information necessary to generate a network. We define the concept of d-separation for knowledge bases and prove that a knowledge base with independence conditions defined by d-separation is a complete specification of a probability distribution. We present a network generation algorithm that, given an inference problem in the form of a query Q and a set of evidence E, generates a network to compute P(Q|E). We prove the algorithm to be correct.


title: Abstracting Probabilistic Actions

abstract: This paper discusses the problem of abstracting conditional probabilistic actions. We identify two distinct types of abstraction: intra-action abstraction and inter-action abstraction. We define what it means for the abstraction of an action to be correct and then derive two methods of intra-action abstraction and two methods of inter-action abstraction which are correct according to this criterion. We illustrate the developed techniques by applying them to actions described with the temporal action representation used in the DRIPS decision-theoretic planner and we describe how the planner uses abstraction to reduce the complexity of planning.


title: On Modal Logics for Qualitative Possibility in a Fuzzy Setting

abstract: Within the possibilistic approach to uncertainty modeling, the paper presents a modal logical system to reason about qualitative (comparative) statements of the possibility (and necessity) of fuzzy propositions. We relate this qualitative modal logic to the many--valued analogues MVS5 and MVKD45 of the well known modal logics of knowledge and belief S5 and KD45 respectively. Completeness results are obtained for such logics and therefore, they extend previous existing results for qualitative possibilistic logics in the classical non-fuzzy setting.


title: A New Look at Causal Independence

abstract: Heckerman (1993) defined causal independence in terms of a set of temporal conditional independence statements. These statements formalized certain types of causal interaction where (1) the effect is independent of the order that causes are introduced and (2) the impact of a single cause on the effect does not depend on what other causes have previously been applied. In this paper, we introduce an equivalent a temporal characterization of causal independence based on a functional representation of the relationship between causes and the effect. In this representation, the interaction between causes and effect can be written as a nested decomposition of functions. Causal independence can be exploited by representing this decomposition in the belief network, resulting in representations that are more efficient for inference than general causal models. We present empirical results showing the benefits of a causal-independence representation for belief-network inference.


title: Learning Bayesian Networks: The Combination of Knowledge and Statistical Data

abstract: We describe algorithms for learning Bayesian networks from a combination of user knowledge and statistical data. The algorithms have two components: a scoring metric and a search procedure. The scoring metric takes a network structure, statistical data, and a user's prior knowledge, and returns a score proportional to the posterior probability of the network structure given the data. The search procedure generates networks for evaluation by the scoring metric. Our contributions are threefold. First, we identify two important properties of metrics, which we call event equivalence and parameter modularity. These properties have been mostly ignored, but when combined, greatly simplify the encoding of a user's prior knowledge. In particular, a user can express her knowledge-for the most part-as a single prior Bayesian network for the domain. Second, we describe local search and annealing algorithms to be used in conjunction with scoring metrics. In the special case where each node has at most one parent, we show that heuristic search can be replaced with a polynomial algorithm to identify the networks with the highest score. Third, we describe a methodology for evaluating Bayesian-network learning algorithms. We apply this approach to a comparison of metrics and search procedures.


title: A Decision-Based View of Causality

abstract: Most traditional models of uncertainty have focused on the associational relationship among variables as captured by conditional dependence. In order to successfully manage intelligent systems for decision making, however, we must be able to predict the effects of actions. In this paper, we attempt to unite two branches of research that address such predictions: causal modeling and decision analysis. First, we provide a definition of causal dependence in decision-analytic terms, which we derive from consequences of causal dependence cited in the literature. Using this definition, we show how causal dependence can be represented within an influence diagram. In particular, we identify two inadequacies of an ordinary influence diagram as a representation for cause. We introduce a special class of influence diagrams, called causal influence diagrams, which corrects one of these problems, and identify situations where the other inadequacy can be eliminated. In addition, we describe the relationships between Howard Canonical Form and existing graphical representations of cause.


title: Probabilistic Description Logics

abstract: On the one hand, classical terminological knowledge representation excludes the possibility of handling uncertain concept descriptions involving, e.g., "usually true" concept properties, generalized quantifiers, or exceptions. On the other hand, purely numerical approaches for handling uncertainty in general are unable to consider terminological knowledge. This paper presents the language ACP which is a probabilistic extension of terminological logics and aims at closing the gap between the two areas of research. We present the formal semantics underlying the language ALUP and introduce the probabilistic formalism that is based on classes of probabilities and is realized by means of probabilistic constraints. Besides inferring implicitly existent probabilistic relationships, the constraints guarantee terminological and probabilistic consistency. Altogether, the new language ALUP applies to domains where both term descriptions and uncertainty have to be handled.


title: An Experimental Comparison of Numerical and Qualitative Probabilistic Reasoning

abstract: Qualitative and infinitesimal probability schemes are consistent with the axioms of probability theory, but avoid the need for precise numerical probabilities. Using qualitative probabilities could substantially reduce the effort for knowledge engineering and improve the robustness of results. We examine experimentally how well infinitesimal probabilities (the kappa-calculus of Goldszmidt and Pearl) perform a diagnostic task - troubleshooting a car that will not start by comparison with a conventional numerical belief network. We found the infinitesimal scheme to be as good as the numerical scheme in identifying the true fault. The performance of the infinitesimal scheme worsens significantly for prior fault probabilities greater than 0.03. These results suggest that infinitesimal probability methods may be of substantial practical value for machine diagnosis with small prior fault probabilities.


title: An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics

abstract: Possibilistic logic, an extension of first-order logic, deals with uncertainty that can be estimated in terms of possibility and necessity measures. Syntactically, this means that a first-order formula is equipped with a possibility degree or a necessity degree that expresses to what extent the formula is possibly or necessarily true. Possibilistic resolution yields a calculus for possibilistic logic which respects the semantics developed for possibilistic logic. A drawback, which possibilistic resolution inherits from classical resolution, is that it may not terminate if applied to formulas belonging to decidable fragments of first-order logic. Therefore we propose an alternative proof method for possibilistic logic. The main feature of this method is that it completely abstracts from a concrete calculus but uses as basic operation a test for classical entailment. We then instantiate possibilistic logic with a terminological logic, which is a decidable subclass o f first-order logic but nevertheless much more expressive than propositional logic. This yields an extension of terminological logics towards the representation of uncertain knowledge which is satisfactory from a semantic as well as algorithmic point of view.


title: Possibilistic Conditioning and Propagation

abstract: We give an axiomatization of confidence transfer - a known conditioning scheme - from the perspective of expectation-based inference in the sense of Gardenfors and Makinson. Then, we use the notion of belief independence to "filter out" different proposal s of possibilistic conditioning rules, all are variations of confidence transfer. Among the three rules that we consider, only Dempster's rule of conditioning passes the test of supporting the notion of belief independence. With the use of this conditioning rule, we then show that we can use local computation for computing desired conditional marginal possibilities of the joint possibility satisfying the given constraints. It turns out that our local computation scheme is already proposed by Shenoy. However, our intuitions are completely different from that of Shenoy. While Shenoy just defines a local computation scheme that fits his framework of valuation-based systems, we derive that local computation scheme from II(,8) = tI(,8 I a) * II(a) and appropriate independence assumptions, just like how the Bayesians derive their local computation scheme.


title: The Automated Mapping of Plans for Plan Recognition

abstract: To coordinate with other agents in its environment, an agent needs models of what the other agents are trying to do. When communication is impossible or expensive, this information must be acquired indirectly via plan recognition. Typical approaches to plan recognition start with a specification of the possible plans the other agents may be following, and develop special techniques for discriminating among the possibilities. Perhaps more desirable would be a uniform procedure for mapping plans to general structures supporting inference based on uncertain and incomplete observations. In this paper, we describe a set of methods for converting plans represented in a flexible procedural language to observation models represented as probabilistic belief networks.


title: A Logic for Default Reasoning About Probabilities

abstract: A logic is defined that allows to express information about statistical probabilities and about degrees of belief in specific propositions. By interpreting the two types of probabilities in one common probability space, the semantics given are well suited to model the influence of statistical information on the formation of subjective beliefs. Cross entropy minimization is a key element in these semantics, the use of which is justified by showing that the resulting logic exhibits some very reasonable properties.


title: Optimal Junction Trees

abstract: The paper deals with optimality issues in connection with updating beliefs in networks. We address two processes: triangulation and construction of junction trees. In the first part, we give a simple algorithm for constructing an optimal junction tree from a triangulated network. In the second part, we argue that any exact method based on local calculations must either be less efficient than the junction tree method, or it has an optimality problem equivalent to that of triangulation.


title: From Influence Diagrams to Junction Trees

abstract: We present an approach to the solution of decision problems formulated as influence diagrams. This approach involves a special triangulation of the underlying graph, the construction of a junction tree with special properties, and a message passing algorithm operating on the junction tree for computation of expected utilities and optimal decision policies.


title: Reduction of Computational Complexity in Bayesian Networks through Removal of Weak Dependencies

abstract: The paper presents a method for reducing the computational complexity of Bayesian networks through identification and removal of weak dependencies (removal of links from the (moralized) independence graph). The removal of a small number of links may reduce the computational complexity dramatically, since several fill-ins and moral links may be rendered superfluous by the removal. The method is described in terms of impact on the independence graph, the junction tree, and the potential functions associated with these. An empirical evaluation of the method using large real-world networks demonstrates the applicability of the method. Further, the method, which has been implemented in Hugin, complements the approximation method suggested by Jensen & Andersen (1990).


title: Using New Data to Refine a Bayesian Network

abstract: We explore the issue of refining an existent Bayesian network structure using new data which might mention only a subset of the variables. Most previous works have only considered the refinement of the network's conditional probability parameters, and have not addressed the issue of refining the network's structure. We develop a new approach for refining the network's structure. Our approach is based on the Minimal Description Length (MDL) principle, and it employs an adapted version of a Bayesian network learning algorithm developed in our previous work. One of the adaptations required is to modify the previous algorithm to account for the structure of the existent network. The learning algorithm generates a partial network structure which can then be used to improve the existent network. We also present experimental evidence demonstrating the effectiveness of our approach.


title: Syntax-based Default Reasoning as Probabilistic Model-based Diagnosis

abstract: We view the syntax-based approaches to default reasoning as a model-based diagnosis problem, where each source giving a piece of information is considered as a component. It is formalized in the ATMS framework (each source corresponds to an assumption). We assume then that all sources are independent and "fail" with a very small probability. This leads to a probability assignment on the set of candidates, or equivalently on the set of consistent environments. This probability assignment induces a Dempster-Shafer belief function which measures the probability that a proposition can be deduced from the evidence. This belief function can be used in several different ways to define a non-monotonic consequence relation. We study and compare these consequence relations. The -case of prioritized knowledge bases is briefly considered.


title: Induction of Selective Bayesian Classifiers

abstract: In this paper, we examine previous work on the naive Bayesian classifier and review its limitations, which include a sensitivity to correlated features. We respond to this problem by embedding the naive Bayesian induction scheme within an algorithm that c arries out a greedy search through the space of features. We hypothesize that this approach will improve asymptotic accuracy in domains that involve correlated features without reducing the rate of learning in ones that do not. We report experimental results on six natural domains, including comparisons with decision-tree induction, that support these hypotheses. In closing, we discuss other approaches to extending naive Bayesian classifiers and outline some directions for future research.


title: Fuzzy Geometric Relations to Represent Hierarchical Spatial Information

abstract: A model to represent spatial information is presented in this paper. It is based on fuzzy constraints represented as fuzzy geometric relations that can be hierarchically structured. The concept of spatial template is introduced to capture the idea of interrelated objects in two-dimensional space. The representation model is used to specify imprecise or vague information consisting in relative locations and orientations of template objects. It is shown in this paper how a template represented by this model can be matched against a crisp situation to recognize a particular instance of this template. Furthermore, the proximity measure (fuzzy measure) between the instance and the template is worked out - this measure can be interpreted as a degree of similarity. In this context, template recognition can be viewed as a case of fuzzy pattern recognition. The results of this work have been implemented and applied to a complex military problem from which this work originated.


title: Constructing Belief Networks to Evaluate Plans

abstract: This paper examines the problem of constructing belief networks to evaluate plans produced by an knowledge-based planner. Techniques are presented for handling various types of complicating plan features. These include plans with context-dependent consequences, indirect consequences, actions with preconditions that must be true during the execution of an action, contingencies, multiple levels of abstraction multiple execution agents with partially-ordered and temporally overlapping actions, and plans which reference specific times and time durations.


title: Operator Selection While Planning Under Uncertainty

abstract: This paper describes the best first search strategy used by U-Plan (Mansell 1993a), a planning system that constructs quantitatively ranked plans given an incomplete description of an uncertain environment. U-Plan uses uncertain and incomplete evidence de scribing the environment, characterizes it using a Dempster-Shafer interval, and generates a set of possible world states. Plan construction takes place in an abstraction hierarchy where strategic decisions are made before tactical decisions. Search through this abstraction hierarchy is guided by a quantitative measure (expected fulfillment) based on decision theory. The search strategy is best first with the provision to update expected fulfillment and review previous decisions in the light of planning developments. U-Plan generates multiple plans for multiple possible worlds, and attempts to use existing plans for new world situations. A super-plan is then constructed, based on merging the set of plans and appropriately timed knowledge acquisition operators, which are used to decide between plan alternatives during plan execution.


title: Model-Based Diagnosis with Qualitative Temporal Uncertainty

abstract: In this paper we describe a framework for model-based diagnosis of dynamic systems, which extends previous work in this field by using and expressing temporal uncertainty in the form of qualitative interval relations a la Allen. Based on a logical framework extended by qualitative and quantitative temporal constraints we show how to describe behavioral models (both consistency- and abductive-based), discuss how to use abstract observations and show how abstract temporal diagnoses are computed. This yields an expressive framework, which allows the representation of complex temporal behavior allowing us to represent temporal uncertainty. Due to its abstraction capabilities computation is made independent of the number of observations and time points in a temporal setting. An example of hepatitis diagnosis is used throughout the paper.


title: Incremental Dynamic Construction of Layered Polytree Networks

abstract: Certain classes of problems, including perceptual data understanding, robotics, discovery, and learning, can be represented as incremental, dynamically constructed belief networks. These automatically constructed networks can be dynamically extended and modified as evidence of new individuals becomes available. The main result of this paper is the incremental extension of the singly connected polytree network in such a way that the network retains its singly connected polytree structure after the changes. The algorithm is deterministic and is guaranteed to have a complexity of single node addition that is at most of order proportional to the number of nodes (or size) of the network. Additional speed-up can be achieved by maintaining the path information. Despite its incremental and dynamic nature, the algorithm can also be used for probabilistic inference in belief networks in a fashion similar to other exact inference algorithms.


title: Models of Consensus for Multiple Agent Systems

abstract: Models of consensus are used to manage multiple agent systems in order to choose between different recommendations provided by the system. It is assumed that there is a central agent that solicits recommendations or plans from other agents. That agent the n determines the consensus of the other agents, and chooses the resultant consensus recommendation or plan. Voting schemes such as this have been used in a variety of domains, including air traffic control. This paper uses an analytic model to study the use of consensus in multiple agent systems. The binomial model is used to study the probability that the consensus judgment is correct or incorrect. That basic model is extended to account for both different levels of agent competence and unequal prior odds. The analysis of that model is critical in the investigation of multiple agent systems, since the model leads us to conclude that in some cases consensus judgment is not appropriate. In addition, the results allow us to determine how many agents should be used to develop consensus decisions, which agents should be used to develop consensus decisions and under which conditions the consensus model should be used.


title: A Probabilistic Calculus of Actions

abstract: We present a symbolic machinery that admits both probabilistic and causal information about a given domain and produces probabilistic statements about the effect of actions and the impact of observations. The calculus admits two types of conditioning operators: ordinary Bayes conditioning, P(y|X = x), which represents the observation X = x, and causal conditioning, P(y|do(X = x)), read the probability of Y = y conditioned on holding X constant (at x) by deliberate action. Given a mixture of such observational and causal sentences, together with the topology of the causal graph, the calculus derives new conditional probabilities of both types, thus enabling one to quantify the effects of actions (and policies) from partially specified knowledge bases, such as Bayesian networks in which some conditional probabilities may not be available.


title: Robust Planning in Uncertain Environments

abstract: This paper describes a novel approach to planning which takes advantage of decision theory to greatly improve robustness in an uncertain environment. We present an algorithm which computes conditional plans of maximum expected utility. This algorithm relies on a representation of the search space as an AND/OR tree and employs a depth-limit to control computation costs. A numeric robustness factor, which parameterizes the utility function, allows the user to modulate the degree of risk-aversion employed by the planner. Via a look-ahead search, the planning algorithm seeks to find an optimal plan using expected utility as its optimization criterion. We present experimental results obtained by applying our algorithm to a non-deterministic extension of the blocks world domain. Our results demonstrate that the robustness factor governs the degree of risk embodied in the conditional plans computed by our algorithm.


title: Anytime Decision Making with Imprecise Probabilities

abstract: This paper examines methods of decision making that are able to accommodate limitations on both the form in which uncertainty pertaining to a decision problem can be realistically represented and the amount of computing time available before a decision must be made. The methods are anytime algorithms in the sense of Boddy and Dean 1991. Techniques are presented for use with Frisch and Haddawy's [1992] anytime deduction system, with an anytime adaptation of Nilsson's [1986] probabilistic logic, and with a probabilistic database model.


title: Three Approaches to Probability Model Selection

abstract: This paper compares three approaches to the problem of selecting among probability models to fit data (1) use of statistical criteria such as Akaike's information criterion and Schwarz's "Bayesian information criterion," (2) maximization of the posterior probability of the model, and (3) maximization of an effectiveness ratio? trading off accuracy and computational cost. The unifying characteristic of the approaches is that all can be viewed as maximizing a penalized likelihood function. The second approach with suitable prior distributions has been shown to reduce to the first. This paper shows that the third approach reduces to the second for a particular form of the effectiveness ratio, and illustrates all three approaches with the problem of selecting the number of components in a mixture of Gaussian distributions. Unlike the first two approaches, the third can be used even when the candidate models are chosen for computational efficiency, without regard to physical interpretation, so that the likelihood and the prior distribution over models cannot be interpreted literally. As the most general and computationally oriented of the approaches, it is especially useful for artificial intelligence applications.


title: Knowledge Engineering for Large Belief Networks

abstract: We present several techniques for knowledge engineering of large belief networks (BNs) based on the our experiences with a network derived from a large medical knowledge base. The noisyMAX, a generalization of the noisy-OR gate, is used to model causal in dependence in a BN with multi-valued variables. We describe the use of leak probabilities to enforce the closed-world assumption in our model. We present Netview, a visualization tool based on causal independence and the use of leak probabilities. The Netview software allows knowledge engineers to dynamically view sub-networks for knowledge engineering, and it provides version control for editing a BN. Netview generates sub-networks in which leak probabilities are dynamically updated to reflect the missing portions of the network.


title: Solving Asymmetric Decision Problems with Influence Diagrams

abstract: While influence diagrams have many advantages as a representation framework for Bayesian decision problems, they have a serious drawback in handling asymmetric decision problems. To be represented in an influence diagram, an asymmetric decision problem must be symmetrized. A considerable amount of unnecessary computation may be involved when a symmetrized influence diagram is evaluated by conventional algorithms. In this paper we present an approach for avoiding such unnecessary computation in influence diagram evaluation.


title: Belief Maintenance in Bayesian Networks

abstract: Bayesian Belief Networks (BBNs) are a powerful formalism for reasoning under uncertainty but bear some severe limitations: they require a large amount of information before any reasoning process can start, they have limited contradiction handling capabilities, and their ability to provide explanations for their conclusion is still controversial. There exists a class of reasoning systems, called Truth Maintenance Systems (TMSs), which are able to deal with partially specified knowledge, to provide well-founded explanation for their conclusions, and to detect and handle contradictions. TMSs incorporating measure of uncertainty are called Belief Maintenance Systems (BMSs). This paper describes how a BMS based on probabilistic logic can be applied to BBNs, thus introducing a new class of BBNs, called Ignorant Belief Networks, able to incrementally deal with partially specified conditional dependencies, to provide explanations, and to detect and handle contradictions.


title: Belief Updating by Enumerating High-Probability Independence-Based Assignments

abstract: Independence-based (IB) assignments to Bayesian belief networks were originally proposed as abductive explanations. IB assignments assign fewer variables in abductive explanations than do schemes assigning values to all evidentially supported variables. We use IB assignments to approximate marginal probabilities in Bayesian belief networks. Recent work in belief updating for Bayes networks attempts to approximate posterior probabilities by finding a small number of the highest probability complete (or perhaps evidentially supported) assignments. Under certain assumptions, the probability mass in the union of these assignments is sufficient to obtain a good approximation. Such methods are especially useful for highly-connected networks, where the maximum clique size or the cutset size make the standard algorithms intractable. Since IB assignments contain fewer assigned variables, the probability mass in each assignment is greater than in the respective complete assignment. Thus, fewer IB assignments are sufficient, and a good approximation can be obtained more efficiently. IB assignments can be used for efficiently approximating posterior node probabilities even in cases which do not obey the rather strict skewness assumptions used in previous research. Two algorithms for finding the high probability IB assignments are suggested: one by doing a best-first heuristic search, and another by special-purpose integer linear programming. Experimental results show that this approach is feasible for highly connected belief networks.


title: Global Conditioning for Probabilistic Inference in Belief Networks

abstract: In this paper we propose a new approach to probabilistic inference on belief networks, global conditioning, which is a simple generalization of Pearl's (1986b) method of loopcutset conditioning. We show that global conditioning, as well as loop-cutset conditioning, can be thought of as a special case of the method of Lauritzen and Spiegelhalter (1988) as refined by Jensen et al (199Oa; 1990b). Nonetheless, this approach provides new opportunities for parallel processing and, in the case of sequential processing, a tradeoff of time for memory. We also show how a hybrid method (Suermondt and others 1990) combining loop-cutset conditioning with Jensen's method can be viewed within our framework. By exploring the relationships between these methods, we develop a unifying framework in which the advantages of each approach can be combined successfully.


title: Belief Induced by the Partial Knowledge of the Probabilities

abstract: We construct the belief function that quantifies the agent, beliefs about which event of Q will occurred when he knows that the event is selected by a chance set-up and that the probability function associated to the chance set up is only partially known.


title: Ignorance and the Expressiveness of Single- and Set-Valued Probability Models of Belief

abstract: Over time, there have hen refinements in the way that probability distributions are used for representing beliefs. Models which rely on single probability distributions depict a complete ordering among the propositions of interest, yet human beliefs are sometimes not completely ordered. Non-singleton sets of probability distributions can represent partially ordered beliefs. Convex sets are particularly convenient and expressive, but it is known that there are reasonable patterns of belief whose faithful representation require less restrictive sets. The present paper shows that prior ignorance about three or more exclusive alternatives and the emergence of partially ordered beliefs when evidence is obtained defy representation by any single set of distributions, but yield to a representation baud on several uts. The partial order is shown to be a partial qualitative probability which shares some intuitively appealing attributes with probability distributions.


title: A Probabilistic Approach to Hierarchical Model-based Diagnosis

abstract: Model-based diagnosis reasons backwards from a functional schematic of a system to isolate faults given observations of anomalous behavior. We develop a fully probabilistic approach to model based diagnosis and extend it to support hierarchical models. Our scheme translates the functional schematic into a Bayesian network and diagnostic inference takes place in the Bayesian network. A Bayesian network diagnostic inference algorithm is modified to take advantage of the hierarchy to give computational gains.


title: Semigraphoids Are Two-Antecedental Approximations of Stochastic Conditional Independence Models

abstract: The semigraphoid closure of every couple of CI-statements (GI=conditional independence) is a stochastic CI-model. As a consequence of this result it is shown that every probabilistically sound inference rule for CI-model, having at most two antecedents, is derivable from the semigraphoid inference rules. This justifies the use of semigraphoids as approximations of stochastic CI-models in probabilistic reasoning. The list of all 19 potential dominant elements of the mentioned semigraphoid closure is given as a byproduct.


title: Exceptional Subclasses in Qualitative Probability

abstract: System Z+ [Goldszmidt and Pearl, 1991, Goldszmidt, 1992] is a formalism for reasoning with normality defaults of the form "typically if phi then + (with strength cf)" where 6 is a positive integer. The system has a critical shortcoming in that it does not sanction inheritance across exceptional subclasses. In this paper we propose an extension to System Z+ that rectifies this shortcoming by extracting additional conditions between worlds from the defaults database. We show that the additional constraints do not change the notion of the consistency of a database. We also make comparisons with competing default reasoning systems.


title: A Defect in Dempster-Shafer Theory

abstract: By analyzing the relationships among chance, weight of evidence and degree of beliefwe show that the assertion "probability functions are special cases of belief functions" and the assertion "Dempster's rule can be used to combine belief functions based on distinct bodies of evidence" together lead to an inconsistency in Dempster-Shafer theory. To solve this problem, we must reject some fundamental postulates of the theory. We introduce a new approach for uncertainty management that shares many intuitive ideas with D-S theory, while avoiding this problem.


title: State-space Abstraction for Anytime Evaluation of Probabilistic Networks

abstract: One important factor determining the computational complexity of evaluating a probabilistic network is the cardinality of the state spaces of the nodes. By varying the granularity of the state spaces, one can trade off accuracy in the result for computational efficiency. We present an anytime procedure for approximate evaluation of probabilistic networks based on this idea. On application to some simple networks, the procedure exhibits a smooth improvement in approximation quality as computation time increases. This suggests that state-space abstraction is one more useful control parameter for designing real-time probabilistic reasoners.


title: General Belief Measures

abstract: Probability measures by themselves, are known to be inappropriate for modeling the dynamics of plain belief and their excessively strong measurability constraints make them unsuitable for some representational tasks, e.g. in the context of firstorder knowledge. In this paper, we are therefore going to look for possible alternatives and extensions. We begin by delimiting the general area of interest, proposing a minimal list of assumptions to be satisfied by any reasonable quasi-probabilistic valuation concept. Within this framework, we investigate two particularly interesting kinds of quasi-measures which are not or much less affected by the traditional problems. * Ranking measures, which generalize Spohn-type and possibility measures. * Cumulative measures, which combine the probabilistic and the ranking philosophy, allowing thereby a fine-grained account of static and dynamic belief.


title: Generating Graphoids from Generalised Conditional Probability

abstract: We take a general approach to uncertainty on product spaces, and give sufficient conditions for the independence structures of uncertainty measures to satisfy graphoid properties. Since these conditions are arguably more intuitive than some of the graphoid properties, they can be viewed as explanations why probability and certain other formalisms generate graphoids. The conditions include a sufficient condition for the Intersection property which can still apply even if there is a strong logical relations hip between the variables. We indicate how these results can be used to produce theories of qualitative conditional probability which are semi-graphoids and graphoids.


title: On Axiomatization of Probabilistic Conditional Independencies

abstract: This paper studies the connection between probabilistic conditional independence in uncertain reasoning and data dependency in relational databases. As a demonstration of the usefulness of this preliminary investigation, an alternate proof is presented for refuting the conjecture suggested by Pearl and Paz that probabilistic conditional independencies have a complete axiomatization.


title: Evidential Reasoning with Conditional Belief Functions

abstract: In the existing evidential networks with belief functions, the relations among the variables are always represented by joint belief functions on the product space of the involved variables. In this paper, we use conditional belief functions to represent such relations in the network and show some relations of these two kinds of representations. We also present a propagation algorithm for such networks. By analyzing the properties of some special evidential networks with conditional belief functions, we show that the reasoning process can be simplified in such kinds of networks.


title: Inter-causal Independence and Heterogeneous Factorization

abstract: It is well known that conditional independence can be used to factorize a joint probability into a multiplication of conditional probabilities. This paper proposes a constructive definition of inter-causal independence, which can be used to further factorize a conditional probability. An inference algorithm is developed, which makes use of both conditional independence and inter-causal independence to reduce inference complexity in Bayesian networks.


title: Constructing Complicated Spheres

abstract: Fast and efficient homology algorithms are in demand in the applied sciences for analyzing solid materials and proteins, processing digital imaging data, or pattern classification among others. Recent advances employ discrete Morse theory as a preprocessor. Research in this area has lead to the need to find complicated test examples. We present an infinite series of examples that have been constructed to test some of the latest algorithms under development. This family of 4-spheres (known as the Akbulut-Kirby spheres) is based on a handlebody construction via finitely presented groups.


title: Interpretation of the X(3872) as a charmonium state plus an extra component due to the coupling to the meson-meson continuum

abstract: We present a quark model calculation of the charmonium spectrum with self energy corrections due to the coupling to the meson-meson continuum. The bare masses used in the calculation are computed within the relativized quark model by Godfrey and Isgur. The strong decay widths of 3S, 2P, 1D and 2D $c \bar c$ states are also calculated, in order to set the values of the $^3P_0$ pair-creation model's parameters we use to compute the vertex functions of the loop integrals. Finally, the nature of the X(3872) resonance is analyzed and the main possibilities ($c \bar c$ state or $D \bar D^*$ molecule) are discussed. According to our results, the X(3872) is compatible with the meson $\chi_{c1}(2P)$, with $J^{PC} = 1^{++}$, and is thus interpreted as a $c \bar c$ core plus higher Fock components due to the coupling to the meson-meson continuum. These $J^{PC} = 1^{++}$ quantum numbers are in agreement with the experimental results found by the LHCb collaboration. In our view, the X(3872)'s mass is lower than the quark model's predictions because of self energy shifts.


title: Estimations of the magnetic field strength in the torus of AGN using near-infrared polarimetry

abstract: An optically and geometrically thick torus obscures the central engine of Active Galactic Nuclei (AGN) from some lines of sight. From a magnetohydrodynamical framework, the torus can be considered to be a particular region of clouds surrounding the central engine where the clouds are dusty and optically thick. In this framework, the magnetic field plays an important role in the creation, morphology and evolution of the torus. If the dust grains within the clouds are assumed to be aligned by paramagnetic alignment, then the ratio of the intrinsic polarisation and visual extinction, P(%)/Av, is a function of the magnetic field strength. To estimate the visual extinction through the torus and constrain the polarisation mechanisms in the nucleus of AGN, we developed a polarisation model to fit both the total and polarised flux in a 1.2" (~263pc) aperture of the type 2 AGN, IC5063. The polarisation model is consistent with the nuclear polarisation observed at K being produced by dichroic absorption from aligned dust grains with a visual extinction through the torus of 48$\pm$2 mag. We estimated the intrinsic polarisation arising from dichroic absorption to be P$_{K}^{dic}$=12.5$\pm$2.7%. We consider the physical conditions and environment of the gas and dust for the torus of IC5063. Then, through paramagnetic alignment, we estimate a magnetic field strength in the range of 12-128mG in the NIR emitting regions of the torus of IC5063. Alternatively, we estimate the magnetic field strength in the plane of the sky using the Chandrasekhar-Fermi method. The minimum magnetic field strength in the plane of the sky is estimated to be 13 and 41 mG depending of the conditions within the torus of IC5063. These techniques afford the chance to make a survey of AGN, to investigate the effects of magnetic field strength on the torus, accretion, and interaction to the host galaxy.


title: Walking signals in Nf=8 QCD on the lattice

abstract: We investigate chiral and conformal properties of the lattice QCD with eight flavors (Nf=8) through meson spectrum using the Highly Improved Staggered Quark (HISQ) action. We also compare our results with those of Nf=12 and Nf=4 which we study on the same systematics. We find that the decay constant F_pi of the pseudoscalar meson "pion" is non-zero, with its mass M_pi consistent with zero, both in the chiral limit extrapolation of the chiral perturbation theory (ChPT). We also measure other quantities which we find are in accord with the pi data results: The rho meson mass is consistent with non-zero in the chiral limit, and so is the chiral condensate, with its value neatly coinciding with that from the Gell-Mann-Oakes-Renner relation in the chiral limit. Thus our data for the Nf=8 QCD are consistent with the spontaneously broken chiral symmetry. Remarkably enough, while the Nf=8 data near the chiral limit are well described by the ChPT, those for the relatively large fermion bare mass m_f away from the chiral limit actually exhibit a finite-size hyperscaling relation, suggesting a large anomalous dimension gamma_m ~ 1. This implies that there exists a remnant of the infrared conformality, and suggests that a typical technicolor ("one-family model") as modeled by the Nf=8 QCD can be a walking technicolor theory having an approximate scale invariance with large anomalous dimension gamma_m ~ 1.


title: Classical and quantum Big Brake cosmology for scalar field and tachyonic models

abstract: We study a relation between the cosmological singularities in classical and quantum theory, comparing the classical and quantum dynamics in some models possessing the Big Brake singularity - the model based on a scalar field and two models based on a tachyon-pseudo-tachyon field . It is shown that the effect of quantum avoidance is absent for the soft singularities of the Big Brake type while it is present for the Big Bang and Big Crunch singularities. Thus, there is some kind of a classical - quantum correspondence, because soft singularities are traversable in classical cosmology, while the strong Big Bang and Big Crunch singularities are not traversable.


title: The effect of quantum fluctuations on the coloring of random graphs

abstract: We present a study of the coloring problem (antiferromagnetic Potts model) of random regular graphs, submitted to quantum fluctuations induced by a transverse field, using the quantum cavity method and quantum Monte-Carlo simulations. We determine the order of the quantum phase transition encountered at low temperature as a function of the transverse field and discuss the structure of the quantum spin glass phase. In particular, we conclude that the quantum adiabatic algorithm would fail to solve efficiently typical instances of these problems because of avoided level crossings within the quantum spin glass phase, caused by a competition between energetic and entropic effects.

categories: cond-mat.stat-mech cond-mat.dis-nn cs.CC quant-ph


title: Application of equivalence method to Monge-Amp\`ere equations: Elliptic case

abstract: The application of equivalence method to classify Monge-Amp\`ere system leads to three orbits, parabolic case, hyperbolic case and elliptic case wich correspond to three types of Monge-Amp\`ere systems. In this paper we will study the elliptic case and give a presentation of the group as a complex group.


title: Kernelization Using Structural Parameters on Sparse Graph Classes

abstract: Meta-theorems for polynomial (linear) kernels have been the subject of intensive research in parameterized complexity. Heretofore, meta-theorems for linear kernels exist on graphs of bounded genus, $H$-minor-free graphs, and $H$-topological-minor-free graphs. To the best of our knowledge, no meta-theorems for polynomial kernels are known for any larger sparse graph classes; e.g., for classes of bounded expansion or for nowhere dense ones. In this paper we prove such meta-theorems for the two latter cases. More specifically, we show that graph problems that have finite integer index (FII) have linear kernels on graphs of bounded expansion when parameterized by the size of a modulator to constant-treedepth graphs. For nowhere dense graph classes, our result yields almost-linear kernels. While our parameter may seem rather strong, we argue that a linear kernelization result on graphs of bounded expansion with a weaker parameter (than treedepth modulator) would fail to include some of the problems covered by our framework. Moreover, we only require the problems to have FII on graphs of constant treedepth. This allows us to prove linear kernels for problems such as Longest Path/Cycle, Exact $s,t$-Path, Treewidth, and Pathwidth, which do not have FII on general graphs (and the first two not even on bounded treewidth graphs).


title: Equivariant Jeffrey-Kirwan localization theorem in non-compact setting

abstract: We generalize the Jeffrey-Kirwan localization theorem for non-compact symplectic and hyperKahler quotients. Similarly to the circle compact integration of Hausel and Proudfoot we define equivariant integrals on non-compact manifolds using the Atiyah-Bott-Berline-Vergne localization formula as formal definition. We introduce a so called equivariant Jeffrey-Kirwan residue and we show that it shares similar properties as the usual one. Our localization formula has the same structure as the usual Jeffrey-Kirwan formula, but it uses formal integration and equivariant residue. We also give a version for hyperKahler quotients. Finally, we apply our formula to compute the equivariant cohomology ring of Hilbert scheme of points on the plane constructed as a hyperKahler quotient.


title: Non-Abelian dual superconductivity and Gluon propagators in the deep IR region for SU(3) Yang-Mills theory

abstract: We have proposed the non-Abelian dual superconductivity picture for quark confinement in the SU(3) Yang-Mills (YM) theory, and have given numerical evidences for the restricted-field dominance and the non-Abelian magnetic monopole dominance in the string tension by applying a new formulation of the YM theory on a lattice. To establish the non-Abelian dual superconductivity picture for quark confinement, we have observed the non-Abelian dual Meissner effect in the SU(3) Yang-Mills theory by measuring the chromoelectric flux created by the quark-antiquark source, and the non-Abelian magnetic monopole currents induced around the flux. We conclude that the dual superconductivity of the SU(3) Yang-Mills theory is strictly the type I and that this type of dual superconductivity is reproduced by the restricted field and the non-Abelian magnetic monopole part, in sharp contrast to the SU(2) case: the border of type I and type II.


title: Vandermonde-subspace Frequency Division Multiplexing for Two-Tiered Cognitive Radio Networks

abstract: Vandermonde-subspace frequency division multiplexing (VFDM) is an overlay spectrum sharing technique for cognitive radio. VFDM makes use of a precoder based on a Vandermonde structure to transmit information over a secondary system, while keeping an orthogonal frequency division multiplexing (OFDM)-based primary system interference-free. To do so, VFDM exploits frequency selectivity and the use of cyclic prefixes by the primary system. Herein, a global view of VFDM is presented, including also practical aspects such as linear receivers and the impact of channel estimation. We show that VFDM provides a spectral efficiency increase of up to 1 bps/Hz over cognitive radio systems based on unused band detection. We also present some key design parameters for its future implementation and a feasible channel estimation protocol. Finally we show that, even when some of the theoretical assumptions are relaxed, VFDM provides non-negligible rates while protecting the primary system.


title: Interplay between Kondo suppression and Lifshitz transitions in YbRh$_2$Si$_2$ at high magnetic fields

abstract: We investigate the magnetic field dependent thermopower, thermal conductivity, resistivity and Hall effect in the heavy fermion metal YbRh2Si2. In contrast to reports on thermodynamic measurements, we find in total three transitions at high fields, rather than a single one at 10 T. Using the Mott formula together with renormalized band calculations, we identify Lifshitz transitions as their origin. The predictions of the calculations show that all experimental results rely on an interplay of a smooth suppression of the Kondo effect and the spin splitting of the flat hybridized bands.


title: A study on the conditioning of finite element equations with arbitrary anisotropic meshes via a density function approach

abstract: The linear finite element approximation of a general linear diffusion problem with arbitrary anisotropic meshes is considered. The conditioning of the resultant stiffness matrix and the Jacobi preconditioned stiffness matrix is investigated using a density function approach proposed by Fried in 1973. It is shown that the approach can be made mathematically rigorous for general domains and used to develop bounds on the smallest eigenvalue and the condition number that are sharper than existing estimates in one and two dimensions and comparable in three and higher dimensions. The new results reveal that the mesh concentration near the boundary has less influence on the condition number than the mesh concentration in the interior of the domain. This is especially true for the Jacobi preconditioned system where the former has little or almost no influence on the condition number. Numerical examples are presented.


title: Lie monads and dualities

abstract: We study dualities between Lie algebras and Lie coalgebras, and their respective (co)representations. To allow a study of dualities in an infinite-dimensional setting, we introduce the notions of Lie monads and Lie comonads, as special cases of YB-Lie algebras and YB-Lie coalgebras in additive monoidal categories. We show that (strong) dualities between Lie algebras and Lie coalgebras are closely related to (iso)morphisms between associated Lie monads and Lie comonads. In the case of a duality between two Hopf algebras -in the sense of Takeuchi- we recover a duality between a Lie algebra and a Lie coalgebra -in the sense defined in this note- by computing the primitive and the indecomposables elements, respectively.


title: Bernoulli and self-destructive percolation on non-amenable graphs

abstract: In this note we study some properties of infinite percolation clusters on non-amenable graphs. In particular, we study the percolative properties of the complement of infinite percolation clusters. An approach based on mass-transport is adapted to show that for a large class of non-amenable graphs, the graph obtained by removing each site contained in an infinite percolation cluster has critical percolation threshold which can be arbitrarily close to the critical threshold for the original graph, almost surely, as p approaches p_c. Closely related is the self-destructive percolation process, introduced by J. van den Berg and R. Brouwer, for which we prove that an infinite cluster emerges for any small reinforcement.


title: Spectral Study of the HESS J1745-290 Gamma-Ray Source as Dark Matter Signal

abstract: We study the main spectral features of the gamma-ray fluxes observed by the High Energy Stereoscopic System (HESS) from the J1745-290 Galactic Center source during the years 2004, 2005 and 2006. In particular, we show that these data are well fitted as the secondary gamma-rays photons generated from dark matter annihilating into Standard Model particles in combination with a simple power law background. We present explicit analyses for annihilation in a single standard model particle-antiparticle pair. In this case, the best fits are obtained for the u and d quark-antiquark channels and for the WW and ZZ gauge bosons, with background spectral index compatible with the Fermi-Large Area Telescope (LAT) data from the same region. The fits return a heavy WIMP, with a mass above 10 TeV approximately, but well below the unitarity limit for thermal relic annihilation.


title: Seven-dimensional forest fires

abstract: We show that in high dimensional Bernoulli percolation, removing from a thin infinite cluster a much thinner infinite cluster leaves an infinite component. This observation has implications for the van den Berg-Brouwer forest fire process, also known as self-destructive percolation, for dimension high enough.


title: Quasipolar Subrings of $3\times 3$ Matrix Rings

abstract: An element $a$ of a ring $R$ is called \emph{quasipolar} provided that there exists an idempotent $p\in R$ such that $p\in comm^2(a)$, $a+p\in U(R)$ and $ap\in R^{qnil}$. A ring $R$ is \emph{quasipolar} in case every element in $R$ is quasipolar. In this paper, we determine conditions under which subrings of $3\times 3$ matrix rings over local rings are quasipolar. Namely, if $R$ is a bleached local ring, then we prove that $\mathcal{T}_3(R)$ is quasipolar if and only if $R$ is uniquely bleached. Furthermore, it is shown that $T_n(R)$ is quasipolar if and only if $T_n\big(R[[x]]\big)$ is quasipolar for any positive integer $n$.


title: Prime injections and quasipolarities

abstract: Let $p$ be a prime number. Consider the injection \[ \iota:\mathbb{Z}/n\mathbb{Z}\to\mathbb{Z}/pn\mathbb{Z}:x\mapsto px, \] and the elements $e^{u}.v:=(u,v)\in \mathbb{Z}/n\mathbb{Z}\rtimes \mathbb{Z}/n\mathbb{Z}^{\times}$ and $e^{w}.r:=(w,r)\in \mathbb{Z}_{p n}\rtimes \mathbb{Z}_{p n}^{\times}$. Suppose $e^{u}.v\in \mathbb{Z}/n\mathbb{Z}\rtimes \mathbb{Z}/n\mathbb{Z}^{\times}$ is seen as an automorphism of $\mathbb{Z}/n\mathbb{Z}$ by $e^{u}.v(x)=vx+u$; then $e^{u}.v$ is a quasipolarity if it is an involution without fixed points. In this brief note give an explicit formula for the number of quasipolarites of $\mathbb{Z}/n\mathbb{Z}$ in terms of the prime decomposition of $n$, and we prove sufficient conditions such that $(e^{w}.r)\circ \iota =\iota\circ (e^{u}.v)$, where $e^{w}.r$ and $e^{u}.v$ are quasipolarities.


title: Geometrical pumping in spin coupled double quantum dots

abstract: We analytically investigate the non-equilibrium pumping for a double quantum dots system on the basis of the quantum master equation (QME), where the double quantum dots are connected to two external leads by the spin coupling. Each of leads has two tunable parameters, temperature and chemical potential. Using QME formalism, we obtain an analytical expression of the Berry-like phase for eigenstate of the QME in the parameter space. We show that the Berry-like curvature is non zero in the whole region in the parameter space. We also show that the Berry-like curvature vanishes in the case of single quantum dot and the case of isolated two dots.


title: Systematics of Evaluated Half-Lives of Double-Beta Decay

abstract: A new evaluation of 2beta-decay half lives and their systematics is presented. These data extend the previous evaluation and include the analysis of all recent measurements. The nuclear matrix elements for 2beta-decay transitions in 12 nuclei have been extracted. The recommended values are compared with the large-scale shell-model, QRPA calculations, and experimental data. A T2nu 1/2 ~ 1/E8 systematic trend has been observed for recommended 128,130Te values. This trend indicates similarities for nuclear matrix elements in Te nuclei and was predicted for 2beta(2nu)-decay mode. The complete list of results is available online at http://www.nndc.bnl.gov/bbdecay/.


title: Precursor superconducting diamagnetism in YBa2Cu3O7-d with in-plane or intercalated magnetic impurities

abstract: The magnetization around the superconducting transition was measured in YBa2Cu3O7-d with magnetic impurities in the CuO2 layers (Cu substituted by Zn or Ni) or between them (Y substituted by Gd or Pr). While some of these impurities have an important effect on the superconducting transition temperature (Tc), the precursor diamagnetism observed above Tc is not appreciably affected. This result contrasts with recent observations in a conventional BCS superconductor (La), in which the precursor diamagnetism was found to increase several orders of magnitude with the addition of a small amount (a few atomic percent) of Gd or Pr magnetic impurities.


title: Highly Fluorinated Graphene

abstract: We give the results of density functional calculations for graphene with a widely varying fluorine adsorptions. We give a systematic analysis of the adsorption energies, lattice constants, bulk modulus, bandgap openings, and magnetic properties. We find that a number of different adsorption geometries and a range of physical properties can occur for each adsorbate coverage. The systems are found to range from metallic to semiconducting with widely vary band gaps, and a number of interesting magnetic phases are found. We expect that many of these structures may occur in real materials systems. Further that a listing of the properties found here may help in determining what fluorinated graphenes are produced experimentally.


title: On singular Bosonic linear channels

abstract: Properties of Bosonic linear (quasi-free) channels, in particular, Bosonic Gaussian channels with two types of degeneracy are considered. The first type of degeneracy can be interpreted as existence of noise-free canonical variables (for Gaussian channels it means that $\det\alpha=0$). It is shown that this degeneracy implies existence of (infinitely many) "direct sum decompositions" of Bosonic linear channel, which clarifies reversibility properties of this channel (described in arXiv:1212.2354) and provides explicit construction of reversing channels. The second type of degeneracy consists in rank deficiency of the operator describing transformations of canonical variables. It is shown that this degeneracy implies existence of (infinitely many) decompositions of input space into direct sum of orthogonal subspaces such that the restriction of Bosonic linear channel to each of these subspaces is a discrete classical-quantum channel.


title: Dynamical phase transitions in supercooled liquids: interpreting measurements of dynamical activity

abstract: We study dynamical phase transitions in a model supercooled liquid. These transitions occur in ensembles of trajectories that are biased towards low (or high) dynamical activity. We compare two different measures of activity that were introduced in recent papers and we find that they are anti-correlated with each other. To interpret this result, we show that the two measures couple to motion on different length and time scales. We find that inactive states with very slow structural relaxation nevertheless have increased molecular motion on short scales. We discuss these results in terms of the potential energy landscape of the system and in terms of the liquid structure in active/inactive states.


title: B(E2) Evaluation for 0+ to 2+ Transitions in Even-Even Nuclei

abstract: A collaborative study by Brookhaven-McMaster-Central Michigan is underway to evaluate B(E2)$\uparrow$ for 0$^{+}_{1}$ $\rightarrow$ 2$^{+}_{1}$ transitions. This work is a continuation of a previous USNDP evaluation and has been motivated by a large number of recent measurements and nuclear theory developments. It includes an extended compilation, data evaluation procedures and shell model calculations. The subset of B(E2)$\uparrow$ recommended values for nuclei of relevance to the double-beta decay problem is presented, and evaluation policies of experimental data and systematics are discussed. Future plans for completion of the B(E2;0$^{+}_{1}$ $\rightarrow$ 2$^{+}_{1}$) evaluation project are also described.


title: Selecting microscopic Equations of State

abstract: We compare a set of equations of state derived within microscopic many-body approaches, and study their predictions as far as phenomenological data on nuclei from heavy ion collisions, and astrophysical observations on neutron stars are concerned. We find that all the data, taken together, put strong constraints not easy to be fulfilled accurately. However, no major discrepancies are found among the selected equations of state and with respect to the data. The results provide an estimate of the uncertainty on the theoretical prediction at a microscopic level of the nuclear equation of state.


title: Nuclear Science References Database

abstract: The Nuclear Science References (NSR) database together with its associated Web interface, is the world's only comprehensive source of easily accessible low- and intermediate-energy nuclear physics bibliographic information for more than 210,000 articles since the beginning of nuclear science. The weekly-updated NSR database provides essential support for nuclear data evaluation, compilation and research activities. The principles of the database and Web application development and maintenance are described. Examples of nuclear structure, reaction and decay applications are specifically included. The complete NSR database is freely available at the websites of the National Nuclear Data Center http://www.nndc.bnl.gov/nsr and the International Atomic Energy Agency http://www-nds.iaea.org/nsr.


title: Resonantly damped oscillations of elliptically shaped stratified emerging coronal loops

abstract: The effects of both elliptical shape and stage of emergence of the coronal loop on the resonant absorption of standing kink oscillations are studied. To do so, a typical coronal loop is modeled as a zero-beta longitudinally stratified cylindrical magnetic flux tube. We developed the connection formulae for the resonant absorption of standing transversal oscillations of a coronal loop with an elliptical shape, at various stages of its emergence. Using the connection formulae, the dispersion relation is derived and solved numerically to obtain the frequencies and damping rates of the fundamental and first-overtone kink modes. Our numerical results show that both the elliptical shape and stage of emergence of the loop alter the frequencies and damping rates of the tube as well as the ratio of frequencies of the fundamental and its first-overtone modes. However, the ratio of the oscillation frequency to the damping rate is not affected by the tube shape and stage of its emergence and also is independent of the density stratification parameter.


title: Numerical analysis of topological characteristics of three-dimensional geological models of oil and gas fields

abstract: We discuss the study of topological characteristics of random fields that are used for numerical simulation of oil and gas reservoirs and numerical algorithms (see arXiv:1302.3669), for computing such characteristics, for which we demonstrate results of their applications.


title: When metal organic frameworks turn into linear magnets

abstract: We investigate the existence of linear magnetism in the metal organic framework materials MOF-74-Fe, MOF-74-Co, and MOF-74-Ni, using first-principles density functional theory. MOF-74 displays regular quasi-linear chains of open-shell transition metal atoms, which are well separated. Our results show that within these chains-for all three materials-ferromagnetic coupling of significant strength occurs. In addition, the coupling in-between chains is at least one order of magnitude smaller, making these materials almost perfect 1D magnets at low temperature. The inter-chain coupling is found to be anti-ferromagnetic, in agreement with experiments. While some quasi-1D materials exist that exhibit linear magnetism-mostly complex oxides, polymers, and a few other rare material-they are typically very difficult to synthesize. The significance of our finding is that MOF-74 is very easy to synthesize and it is likely the simplest realization of the 1D Ising model in nature. MOF-74 could thus be used in future experiments to study 1D magnetism at low temperature.


title: Soliton surfaces and generalized symmetries of integrable systems

abstract: In this paper, we discuss some specific features of symmetries of integrable systems which can be used to contruct the Fokas-Gel'fand formula for the immersion of 2D-soliton surfaces, associated with such systems, in Lie algebras. We establish the sufficient condition for the applicability of this formula. This condition requires the existence of two vector fields which generate a common symmetry of the initial system and its corresponding linear spectral problem. This means that these two fields have to be group-related and we determine an explicit form of this relation. It provides a criterion for the selection of symmetries suitable for the use of the Fokas-Gel'fand formula. We include some examples illustrating its application.


title: Ways to resolve Selleri's paradox

abstract: Selleri's paradox, based on an analysis of rotating frames, appears to show that the speed of light in an inertial system is not normally isotropic. This in turn seems at odds with the second postulate of special relativity requiring a universal light speed in inertial systems. First, it is demonstrated how to circumvent Selleri's argument using Einstein synchronization in rotating frames. Then the nature of Selleri's result is exposed: it simply corresponds to the adoption of a synchronization procedure different from Einstein's. In this scheme, anisotropic one-way speeds of light by no means contradict special relativity.


title: Octet to decuplet electromagnetic transition in a relativistic quark model

abstract: We study the octet to decuplet baryon electromagnetic transitions using the covariant spectator quark model, and predict the transition magnetic dipole form factors for those involving the strange baryons. Utilizing SU(3) symmetry, the valence quark contributions are supplemented by the pion cloud dressing based on the one estimated in the $\gamma^\ast N \to \Delta$ reaction. Although the valence quark contributions are dominant in general, the pion cloud effects turn out to be very important to describe the experimental data. We also show that, other mesons besides the pion in particular the kaon, may be relevant for some reactions such as $\gamma^\ast \Sigma^+ \to \Sigma^{*+}$, based on our analysis for the radiative decay widths of the strange decuplet baryons.


title: A Graphical Language for Proof Strategies

abstract: Complex automated proof strategies are often difficult to extract, visualise, modify, and debug. Traditional tactic languages, often based on stack-based goal propagation, make it easy to write proofs that obscure the flow of goals between tactics and are fragile to minor changes in input, proof structure or changes to tactics themselves. Here, we address this by introducing a graphical language called PSGraph for writing proof strategies. Strategies are constructed visually by "wiring together" collections of tactics and evaluated by propagating goal nodes through the diagram via graph rewriting. Tactic nodes can have many output wires, and use a filtering procedure based on goal-types (predicates describing the features of a goal) to decide where best to send newly-generated sub-goals. In addition to making the flow of goal information explicit, the graphical language can fulfil the role of many tacticals using visual idioms like branching, merging, and feedback loops. We argue that this language enables development of more robust proof strategies and provide several examples, along with a prototype implementation in Isabelle.


title: Fluctuations in Shear-Jammed States: A Statistical Ensemble Approach

abstract: Granular matter exists out of thermal equilibrium, i.e. it is athermal. While conventional equilibrium statistical mechanics is not useful for characterizing granular materials, the idea of constructing a statistical ensemble analogous to its equilibrium counterpart to describe static granular matter was proposed by Edwards and Oakshott more than two decades ago. Recent years have seen several implementations of this idea. One of these is the stress ensemble, which is based on properties of the force moment tensor, and applies to frictional and frictionless grains. We demonstrate the full utility of this statistical framework in shear jammed (SJ) experimental states [1,2], a special class of granular solids created by pure shear, which is a strictly non-equilbrium protocol for creating solids. We demonstrate that the stress ensemble provides an excellent quantitative description of fluctuations in experimental SJ states. We show that the stress fluctuations are controlled by a single tensorial quantity: the angoricity of the system, which is a direct analog of the thermodynamic temperature. SJ states exhibit significant correlations in local stresses and are thus inherently different from density-driven, isotropically jammed (IJ) states.


title: Selection theory of free dendritic growth in a potential flow

abstract: The Kruskal-Segur approach to selection theory in diffusion-limited or Laplacian growth is extended via combination with the Zauderer decomposition scheme. This way nonlinear bulk equations become tractable. To demonstrate the method, we apply it to two-dimensional crystal growth in a potential flow. We omit the simplifying approximations used in a preliminary calculation for the same system [T. Fischaleck, K. Kassner, EPL 81, 54004 (2008)], thus exhibiting the capability of the method to extend mathematical rigor to more complex problems than hitherto accessible.


title: Characterizing entanglement in pulsed parametric downconversion using chronocyclic Wigner functions

abstract: Pulsed parametric downconversion (PDC) processes generate photon pairs with a rich spectral-temporal structure, which offer an attractive potential for quantum information and communication applications. In this paper, we investigate the four-dimensional chronocyclic Wigner function of the PDC state, which naturally lends itself to the pulsed characteristics of these states. From this function we derive the conditioned time-bandwidth product of one of the pair photons, a quantity which is not only a valid measure of entanglement between the PDC photons but also allows to highlight a remarkable link between the discrete and continuous variable descriptions of PDC. We numerically analyze PDC processes with different conditions to demonstrate the versatility of our approach, which is applicable to a large number of current PDC sources.


title: Spin-velocity correlations of optically pumped atoms

abstract: We present efficient theoretical tools for describing the optical pumping of atoms by light propagating at arbitrary directions with respect to an external magnetic field, at buffer-gas pressures that are small enough for velocity-selective optical pumping (VSOP) but large enough to cause substantial collisional relaxation of the velocities and the spin. These are the conditions for the sodium atoms at an altitude of about 100 km that are used as guidestars for adaptive optics in modern ground-based telescopes to correct for aberrations due to atmospheric turbulence. We use spin and velocity relaxation modes to describe the distribution of atoms in spin space (including both populations and coherences) and velocity space. Cusp kernels are used to describe velocity-changing collisions. Optical pumping operators are represented as a sum of poles in the complex velocity plane. Signals simulated with these methods are in excellent agreement with previous experiments and with preliminary experiments in our laboratory.


title: A Semiclassical Heat Kernel Proof of the Poincar\'e-Hopf Theorem

abstract: We treat the Witten operator on the de Rham complex with semiclassical heat kernel methods to derive the Poincar\'e-Hopf theorem and degenerate generalizations of it. Thereby, we see how the semiclassical asymptotics of the Witten heat kernel are related to approaches using the Thom form of Mathai and Quillen.


title: Adaptive Finite Element Approximations for Kohn-Sham Models

abstract: The Kohn-Sham equation is a powerful, widely used approach for computation of ground state electronic energies and densities in chemistry, materials science, biology, and nanosciences. In this paper, we study the adaptive finite element approximations for the Kohn-Sham model. Based on the residual type a posteriori error estimators proposed in this paper, we introduce an adaptive finite element algorithm with a quite general marking strategy and prove the convergence of the adaptive finite element approximations. Using D{\" o}rfler's marking strategy, we then get the convergence rate and quasi-optimal complexity. We also carry out several typical numerical experiments that not only support our theory,but also show the robustness and efficiency of the adaptive finite element computations in electronic structure calculations.


title: The AD775 cosmic event revisited: the Sun is to blame

abstract: Miyake et al. (henceforth M12) recently reported, based on 14C data, an extreme cosmic event ca. AD775. Using a simple model, M12 claimed that the event was too strong to be caused by a solar flare within the standard theory. This implied a new paradigm of either an impossibly strong solar flare or a very strong cosmic ray event of unknown origin occurred ca. AD775. We show that the strength of the event was significantly overestimated by M12. Several subsequent works have attempted to find a possible exotic source for such an event, but they are all based on incorrect estimates by M12. We revisit this event with analysis of new datasets and consistent theoretical modelling. We verified the experimental result for the AD775 event using independent datasets including 10Be series and newly measured 14C annual data. We surveyed available historical chronicles for astronomical observations for the AD770s to identify potential sightings of aurorae or supernovae. We interpreted the 14C measurements using an appropriate carbon cycle model. We show that: (1) The reality of the AD775 event is confirmed by new measurements of 14C; (2) by using an inappropriate carbon cycle model, M12 strongly overestimated the event's strength; (3) The revised magnitude of the event is consistent with different independent datasets (14C, 10Be, 36Cl) and can be associated with a strong, but not inexplicably strong, SEP event (or a sequence of events), and provides the first evidence for an event of this magnitude (the fluence >30 MeV was about 4.5*10^{10} /cm2) in multiple datasets; (4) This is in agreement with increased auroral activity identified in historical chronicles. This point to the likely solar origin of the event, which is the greatest solar event on a multi-millennial time scale, placing a strong observational constraint on the theory of explosive energy releases on the Sun and cool stars.


title: High-energy emission of variable objects in the OMC--VAR catalogue

abstract: OMC-VAR is the first catalogue of variable sources observed by the Optical Monitoring Camera (OMC) on board INTEGRAL. It includes photometry and variability data for more than 5000 sources of very different nature. In order to study the multi-wavelength similarities and differences of the engines powering AGN and X-ray binaries, especially those powered by a black hole, we have searched for counterparts in several high-energy and infrared catalogues, including the 4th IBIS/ISGRI soft gamma-ray survey catalogue, the XMM-Newton Serendipitous Source catalogue, the 2MASS All-Sky catalogue of Point Sources, the 2MASS Extended Source Catalog and the WISE All-Sky Data Release. Preliminary multiwavelength results for the IBIS counterparts are presented and discussed.


title: Contraction and stability analysis of steady-states for open quantum systems described by Lindblad differential equations

abstract: For discrete-time systems, governed by Kraus maps, the work of D. Petz has characterized the set of universal contraction metrics. In the present paper, we use this characterization to derive a set of quadratic Lyapunov functions for continuous-time systems, governed by Lindblad differential equations, that have a steady-state with full rank. An extremity of this set is given by the Bures metric, for which the quadratic Lyapunov function is obtained by inverting a Sylvester equation. We illustrate the method by providing a strict Lyapunov function for a Lindblad equation designed to stabilize a quantum electrodynamic "cat" state by reservoir engineering. In fact we prove that any Lindblad equation on the Hilbert space of the (truncated) harmonic oscillator, which has a full-rank equilibrium and which has, among its decoherence channels, a channel corresponding to the photon loss operator, globally converges to that equilibrium.


title: Exploiting Independent Subformulas: A Faster Approximation Scheme for #k-SAT

abstract: We present an improvement on Thurley's recent randomized approximation scheme for #k-SAT where the task is to count the number of satisfying truth assignments of a Boolean function {\Phi} given as an n-variable k-CNF. We introduce a novel way to identify independent substructures of {\Phi} and can therefore reduce the size of the search space considerably. Our randomized algorithm works for any k. For #3-SAT, it runs in time O(\epsilon^{-2}*1.51426^n), for #4-SAT, it runs in time O(\epsilon^{-2}*1.60816^n), with error bound \epsilon.


title: Ferromagnetic to antiferromagnetic transition of one-dimensional spinor Bose gases with spin-orbit coupling

abstract: We have analytically solved one-dimensional interacting two-component bosonic gases with spin-orbit (SO) coupling by the Bethe-ansatz method. Through a gauge transformation, the effect of SO coupling is incorporated into a spin-dependent twisted boundary condition. Our result shows that the SO coupling can influence the eigenenergy in a periodical pattern. The interplay between interaction and SO coupling may induce the energy level crossing for the ground state, which leads to a transition from the ferromagnetic to antiferromagnetic state.


title: Quantitative Mode Stability for the Wave Equation on the Kerr Spacetime

abstract: We give a quantitative refinement and simple proofs of mode stability type statements for the wave equation on Kerr backgrounds in the full sub-extremal range (|a| < M). As an application, we are able to quantitatively control the energy flux along the horizon and null infinity and establish integrated local energy decay for solutions to the wave equation in any bounded-frequency regime.


title: An extension of Nunokawa lemma and its example

abstract: For analytic functions p(z) in the open unit disk U with p(0)=1, Nunokwa has given a result which called Nunokawa lemma (Proc. Japan Acad., Ser. A 68 (1992)). By studying Nunokawa lemma, we obtain this expansion. In this paper, we introduce this result and its example.


title: Calculating conjugacy classes in Sylow p-subgroups of finite Chevalley groups of rank six and seven

abstract: Let G(q) be a finite Chevalley group, where q is a power of a good prime p, and let U(q) be a Sylow p-subgroup of G(q). Then a generalized version of a conjecture of Higman asserts that the number k(U(q)) of conjugacy classes in U(q) is given by a polynomial in q with integer coefficients. In an earlier paper, the first and the third authors developed an algorithm to calculate the values of k(U(q)). By implementing it into a computer program using GAP, they were able to calculate k(U(q)) for G of rank at most 5, thereby proving that for these cases k(U(q)) is given by a polynomial in q. In this paper we present some refinements and improvements of the algorithm that allow us to calculate the values of k(U(q)) for finite Chevalley groups of rank six and seven, except E_7. We observe that k(U(q)) is a polynomial, so that the generalized Higman conjecture holds for these groups. Moreover, if we write k(U(q)) as a polynomial in q-1, then the coefficients are non-negative. Under the assumption that k(U(q)) is a polynomial in q-1, we also give an explicit formula for the coefficients of k(U(q)) of degrees zero, one and two.


title: Weak magnetic transitions in pyrochlore Bi2Ir2O7

abstract: Muon spin relaxation measurements on Bi2Ir2O7 show that it undergoes a bulk magnetic transition at 1.84(3) K. This is accompanied by increases in the muon spin relaxation rate and the amplitude of the non-relaxing part of the signal. The magnetic field experienced by muons is estimated to be 0.7 mT at low-temperature, around two orders of magnitude smaller than that in other pyrochlore iridates. These results suggest that the low-temperature state represents ordering of exceptionally small magnetic moments with persistent weak dynamics. The relaxation rate increases further below 0.23(4) K, coincident with a growth in the specific heat, suggesting the existence of a second low-temperature magnetic transition.


title: Tradition and Innovation in Scientists' Research Strategies

abstract: What factors affect a scientist's choice of research problem? Qualitative research in the history, philosophy, and sociology of science suggests that this choice is shaped by an "essential tension" between the professional demand for productivity and a conflicting drive toward risky innovation. We examine this tension empirically in the context of biomedical chemistry. We use complex networks to represent the evolving state of scientific knowledge, as expressed in publications. We then define research strategies relative to these networks. Scientists can introduce novel chemicals or chemical relationships--or delve deeper into known ones. They can consolidate existing knowledge clusters, or bridge distant ones. Analyzing such choices in aggregate, we find that the distribution of strategies remains remarkably stable, even as chemical knowledge grows dramatically. High-risk strategies, which explore new chemical relationships, are less prevalent in the literature, reflecting a growing focus on established knowledge at the expense of new opportunities. Research following a risky strategy is more likely to be ignored but also more likely to achieve high impact and recognition. While the outcome of a risky strategy has a higher expected reward than the outcome of a conservative strategy, the additional reward is insufficient to compensate for the additional risk. By studying the winners of 137 different prizes in biomedicine and chemistry, we show that the occasional "gamble" for extraordinary impact is the most plausible explanation for observed levels of risk-taking. Our empirical demonstration and unpacking of the "essential tension" suggests policy interventions that may foster more innovative research.


title: Thermostated Hamiltonian dynamics with log-oscillators

abstract: With this work we present two new methods for the generation of thermostated, manifestly Hamiltonian dynamics and provide corresponding illustrations. The basis for this new class of thermostats are the peculiar thermodynamics as exhibited by logarithmic oscillators. These two schemes are best suited when applied to systems with a small number of degrees of freedom.


title: Extensions of Nunokawa lemma for argument properties

abstract: Let H[a_0,n] be the class of functions p(z)=a_0+a_nz^n+... which are analytic in the open unit disk U. For p(z)in H[1,2], M. Nunokawa, S. Owa, N. Uyanik and H. Shiraishi (Math. Comput. Modelling. 55 (2012), 1245-1250) have shown some theorems for argument properties. The object of the present paper is to discuss some extensions of Nnnokawa lemma and its applications for argument properties.


title: SVZ + 1/q2 expansion versus some QCD holographic Models

abstract: Considering the classical two-point correlators built from (axial)-vector, scalar \bar qq and gluonium currents, we confront results obtained using the SVZ + 1/q^2 expansion to the ones from some QCD holographic models in the Euclidian region and with negative dilaton \Phi_i(z)=- |c_i^2| z^2. We conclude that the presence of the 1/q^2-term in the SVZ-expansion due to a tachyonic gluon mass appears naturally in the Minimum Soft Wall (MSW) and the Gauge/String Dual (GSD) models which can also reproduce semi-quantitatively some of the higher dimension condensate contributions appearing in the OPE. The Hard-Wall model shows a large departure from the SVZ + 1/q^2 expansion in the vector, scalar and gluonium channels due to the absence of any power corrections. The equivalence of the MSW and GSD models is manifest in the vector channel through the relation of the dilaton parameter with the tachyonic gluon mass. For approximately reproducing the phenomenological values of the dimension d=4,6 condensates, the holographic models require a tachyonic gluon mass (\alpha_s/\pi)\lambda^2= -(0.12- 0.14) GeV^2, which is about twice the fitted phenomenological value from e^+e^- data. The relation of the inverse length parameter c_i to the tachyonic gluon mass also shows that c_i is channel dependent but not universal for a given holographic model. Using the MSW model and M_\rho=0.78 GeV as input, we predict a scalar \bar qq mass M_S=(0.95-1.10) GeV and a scalar gluonium mass M_G= (1.1- 1.3) GeV.


title: Pawel Max Maksym (1983-2013) Polish Astronomer and Film-maker

abstract: The sudden and untimely death of Pawel Max Maksym will not diminish his contributions to the field of occultation astronomy, and to Polish society in general. Founder of the Pope Silvester II Observatory in Bukowiec, he was also writing a book to introduce children to astronomy. Graduating in Geography with an experimental thesis in Lunar Occultations at Lodz University, Pawel earned a diploma from the prestigious National Film School in Lodz. An expert observer, he mastered the technique of stellar occultations, fostering the scientific activity of the Observatory. A review of his publications in Minor Planet Circulars and on YouTube is presented here.


title: Using Virtual Addresses with Communication Channels

abstract: While for single processor and SMP machines, memory is the allocatable quantity, for machines made up of large amounts of parallel computing units, each with its own local memory, the allocatable quantity is a single computing unit. Where virtual address management is used to keep memory coherent and allow allocation of more than physical memory is actually available, virtual communication channel references can be used to make computing units stay connected across allocation and swapping.


title: Magnetic Hyperthermia with Fe3O4 nanoparticles: the Influence of Particle Size on Energy Absorption

abstract: We have studied the magnetic and power absorption properties of a series of magnetic nanoparticles (MNPs) of Fe3O4 with average sizes <d> ranging from 3 to 26 nm. Heating experiments as a function of particle size revealed a strong increase in the specific power absorption (SPA) values for particles with <d> = 25-30 nm. On the other side saturation magnetization MS values of these MNPs remain essentially constant for particles with <d> above 10 nm, suggesting that the absorption mechanism is not determined by MS. The largest SPA value obtained was 130 W/g, corresponding to a bimodal particle distribution with average size values of 17 and 26 nm.


title: A Mathematical Model for an Hourglass Magnetic Field

abstract: Starting with a mathematical boundary value problem for the magnetic vector potential in an axisymmetric cylindrical coordinate system, we derive a general solution for any arbitrary current distribution using the method of Green's functions. We use this to derive an analytic form for an hourglass magnetic field pattern created by electrical currents that are concentrated near (but not confined within) the equatorial plane of a cylindrical coordinate system. Our solution is not characterized by a cusp at the equatorial plane, as in previous solutions based on a current sheet. The pattern we derive provides a very good fit to hourglass magnetic field patterns emerging from three-dimensional numerical simulations of core formation, and can in principle be used for source-fitting of observed magnetic hourglass patterns.


title: The Fresh-Finger Property

abstract: The unified property roughly states that searching for an element is fast when the current access is close to a recent access. Here, "close" refers to rank distance measured among all elements stored by the dictionary. We show that distance need not be measured this way: in fact, it is only necessary to consider a small working-set of elements to measure this rank distance. This results in a data structure with access time that is an improvement upon those offered by the unified property for many query sequences.


title: The IBIS / ISGRI Source Location Accuracy

abstract: We present here results on the source location accuracy of the INTEGRAL IBIS/ISGRI coded mask telescope, based on ten years of INTEGRAL data and on recent developments in the data analysis procedures. Data were selected and processed with the new Off-line Scientific Analysis pipeline (OSA10.0) that benefits from the most accurate background corrections, the most performing coding noise cleaning and sky reconstruction algorithms available. We obtained updated parameters for the evaluation of the point source location error from the source signal to noise ratio. These results are compared to previous estimates and to theoretical expectations. Also thanks to a new fitting procedure the typical error at 90% confidence level for a source at a signal to noise of 10 is now estimated to be 1.5 arcmin. Prospects for future analysis on the Point Spread Function fitting procedure and on the evaluation of residual biases are also presented. The new consolidated parameters describing the source location accuracy that will be derived in the near future using the whole INTEGRAL database, the new fitting technique and the bias correction, will be included in future versions of OSA.