title: Towards a General-Purpose Belief Maintenance System

abstract: There currently exists a gap between the theories proposed by the probability and uncertainty and the needs of Artificial Intelligence research. These theories primarily address the needs of expert systems, using knowledge structures which must be pre-compiled and remain static in structure during runtime. Many Al systems require the ability to dynamically add and remove parts of the current knowledge structure (e.g., in order to examine what the world would be like for different causal theories). This requires more flexibility than existing uncertainty systems display. In addition, many Al researchers are only interested in using "probabilities" as a means of obtaining an ordering, rather than attempting to derive an accurate probabilistic account of a situation. This indicates the need for systems which stress ease of use and don't require extensive probability information when one cannot (or doesn't wish to) provide such information. This paper attempts to help reconcile the gap between approaches to uncertainty and the needs of many AI systems by examining the control issues which arise, independent of a particular uncertainty calculus. when one tries to satisfy these needs. Truth Maintenance Systems have been used extensively in problem solving tasks to help organize a set of facts and detect inconsistencies in the believed state of the world. These systems maintain a set of true/false propositions and their associated dependencies. However, situations often arise in which we are unsure of certain facts or in which the conclusions we can draw from available information are somewhat uncertain. The non-monotonic TMS 12] was an attempt at reasoning when all the facts are not known, but it fails to take into account degrees of belief and how available evidence can combine to strengthen a particular belief. This paper addresses the problem of probabilistic reasoning as it applies to Truth Maintenance Systems. It describes a belief Maintenance System that manages a current set of beliefs in much the same way that a TMS manages a set of true/false propositions. If the system knows that belief in fact is dependent in some way upon belief in fact2, then it automatically modifies its belief in facts when new information causes a change in belief of fact2. It models the behavior of a TMS, replacing its 3-valued logic (true, false, unknown) with an infinite valued logic, in such a way as to reduce to a standard TMS if all statements are given in absolute true/false terms. Belief Maintenance Systems can, therefore, be thought of as a generalization of Truth Maintenance Systems, whose possible reasoning tasks are a superset of those for a TMS.


title: Planning, Scheduling, and Uncertainty in the Sequence of Future Events

abstract: Scheduling in the factory setting is compounded by computational complexity and temporal uncertainty. Together, these two factors guarantee that the process of constructing an optimal schedule will be costly and the chances of executing that schedule will be slight. Temporal uncertainty in the task execution time can be offset by several methods: eliminate uncertainty by careful engineering, restore certainty whenever it is lost, reduce the uncertainty by using more accurate sensors, and quantify and circumscribe the remaining uncertainty. Unfortunately, these methods focus exclusively on the sources of uncertainty and fail to apply knowledge of the tasks which are to be scheduled. A complete solution must adapt the schedule of activities to be performed according to the evolving state of the production world. The example of vision-directed assembly is presented to illustrate that the principle of least commitment, in the creation of a plan, in the representation of a schedule, and in the execution of a schedule, enables a robot to operate intelligently and efficiently, even in the presence of considerable uncertainty in the sequence of future events.


title: Deriving And Combining Continuous Possibility Functions in the Framework of Evidential Reasoning

abstract: To develop an approach to utilizing continuous statistical information within the Dempster- Shafer framework, we combine methods proposed by Strat and by Shafero We first derive continuous possibility and mass functions from probability-density functions. Then we propose a rule for combining such evidence that is simpler and more efficiently computed than Dempster's rule. We discuss the relationship between Dempster's rule and our proposed rule for combining evidence over continuous frames.


title: Non-Monotonicity in Probabilistic Reasoning

abstract: We start by defining an approach to non-monotonic probabilistic reasoning in terms of non-monotonic categorical (true-false) reasoning. We identify a type of non-monotonic probabilistic reasoning, akin to default inheritance, that is commonly found in practice, especially in "evidential" and "Bayesian" reasoning. We formulate this in terms of the Maximization of Conditional Independence (MCI), and identify a variety of applications for this sort of default. We propose a formalization using Pointwise Circumscription. We compare MCI to Maximum Entropy, another kind of non-monotonic principle, and conclude by raising a number of open questions


title: Information and Multi-Sensor Coordination

abstract: The control and integration of distributed, multi-sensor perceptual systems is a complex and challenging problem. The observations or opinions of different sensors are often disparate incomparable and are usually only partial views. Sensor information is inherently uncertain and in addition the individual sensors may themselves be in error with respect to the system as a whole. The successful operation of a multi-sensor system must account for this uncertainty and provide for the aggregation of disparate information in an intelligent and robust manner. We consider the sensors of a multi-sensor system to be members or agents of a team, able to offer opinions and bargain in group decisions. We will analyze the coordination and control of this structure using a theory of team decision-making. We present some new analytic results on multi-sensor aggregation and detail a simulation which we use to investigate our ideas. This simulation provides a basis for the analysis of complex agent structures cooperating in the presence of uncertainty. The results of this study are discussed with reference to multi-sensor robot systems, distributed Al and decision making under uncertainty.


title: Flexible Interpretations: A Computational Model for Dynamic Uncertainty Assessment

abstract: The investigations reported in this paper center on the process of dynamic uncertainty assessment during interpretation tasks in real domain. In particular, we are interested here in the nature of the control structure of computer programs that can support multiple interpretation and smooth transitions between them, in real time. Each step of the processing involves the interpretation of one input item and the appropriate re-establishment of the system's confidence of the correctness of its interpretation(s).


title: The Myth of Modularity in Rule-Based Systems

abstract: In this paper, we examine the concept of modularity, an often cited advantage of the ruled-based representation methodology. We argue that the notion of modularity consists of two distinct concepts which we call syntactic modularity and semantic modularity. We argue that when reasoning under certainty, it is reasonable to regard the rule-based approach as both syntactically and semantically modular. However, we argue that in the case of plausible reasoning, rules are syntactically modular but are rarely semantically modular. To illustrate this point, we examine a particular approach for managing uncertainty in rule-based systems called the MYCIN certainty factor model. We formally define the concept of semantic modularity with respect to the certainty factor model and discuss logical consequences of the definition. We show that the assumption of semantic modularity imposes strong restrictions on rules in a knowledge base. We argue that such restrictions are rarely valid in practical applications. Finally, we suggest how the concept of semantic modularity can be relaxed in a manner that makes it appropriate for plausible reasoning.


title: An Axiomatic Framework for Belief Updates

abstract: In the 1940's, a physicist named Cox provided the first formal justification for the axioms of probability based on the subjective or Bayesian interpretation. He showed that if a measure of belief satisfies several fundamental properties, then the measure must be some monotonic transformation of a probability. In this paper, measures of change in belief or belief updates are examined. In the spirit of Cox, properties for a measure of change in belief are enumerated. It is shown that if a measure satisfies these properties, it must satisfy other restrictive conditions. For example, it is shown that belief updates in a probabilistic context must be equal to some monotonic transformation of a likelihood ratio. It is hoped that this formal explication of the belief update paradigm will facilitate critical discussion and useful extensions of the approach.


title: Imprecise Meanings as a Cause of Uncertainty in Medical Knowledge-Based Systems

abstract: There has been a considerable amount of work on uncertainty in knowledge-based systems. This work has generally been concerned with uncertainty arising from the strength of inferences and the weight of evidence. In this paper we discuss another type of uncertainty: that which is due to imprecision in the underlying primitives used to represent the knowledge of the system. In particular, a given word may denote many similar but not identical entities. Such words are said to be lexically imprecise. Lexical imprecision has caused widespread problems in many areas. Unless this phenomenon is recognized and appropriately handled, it can degrade the performance of knowledge-based systems. In particular, it can lead to difficulties with the user interface, and with the inferencing processes of these systems. Some techniques are suggested for coping with this phenomenon.


title: Evidence as Opinions of Experts

abstract: We describe a viewpoint on the Dempster/Shafer 'Theory of Evidence', and provide an interpretation which regards the combination formulas as statistics of the opinions of "experts". This is done by introducing spaces with binary operations that are simpler to interpret or simpler to implement than the standard combination formula, and showing that these spaces can be mapped homomorphically onto the Dempster/Shafer theory of evidence space. The experts in the space of "opinions of experts" combine information in a Bayesian fashion. We present alternative spaces for the combination of evidence suggested by this viewpoint.


title: Decision Under Uncertainty in Diagnosis

abstract: This paper describes the incorporation of uncertainty in diagnostic reasoning based on the set covering model of Reggia et. al. extended to what in the Artificial Intelligence dichotomy between deep and compiled (shallow, surface) knowledge based diagnosis may be viewed as the generic form at the compiled end of the spectrum. A major undercurrent in this is advocating the need for a strong underlying model and an integrated set of support tools for carrying such a model in order to deal with uncertainty.


title: Knowledge and Uncertainty

abstract: One purpose -- quite a few thinkers would say the main purpose -- of seeking knowledge about the world is to enhance our ability to make good decisions. An item of knowledge that can make no conceivable difference with regard to anything we might do would strike many as frivolous. Whether or not we want to be philosophical pragmatists in this strong sense with regard to everything we might want to enquire about, it seems a perfectly appropriate attitude to adopt toward artificial knowledge systems. If is granted that we are ultimately concerned with decisions, then some constraints are imposed on our measures of uncertainty at the level of decision making. If our measure of uncertainty is real-valued, then it isn't hard to show that it must satisfy the classical probability axioms. For example, if an act has a real-valued utility U(E) if the event E obtains, and the same real-valued utility if the denial of E obtains, so that U(E) = U(-E), then the expected utility of that act must be U(E), and that must be the same as the uncertainty-weighted average of the returns of the act, p-U(E) + q-U('E), where p and q represent the uncertainty of E and-E respectively. But then we must have p + q = 1.


title: An Application of Non-Monotonic Probabilistic Reasoning to Air Force Threat Correlation

abstract: Current approaches to expert systems' reasoning under uncertainty fail to capture the iterative revision process characteristic of intelligent human reasoning. This paper reports on a system, called the Non-monotonic Probabilist, or NMP (Cohen, et al., 1985). When its inferences result in substantial conflict, NMP examines and revises the assumptions underlying the inferences until conflict is reduced to acceptable levels. NMP has been implemented in a demonstration computer-based system, described below, which supports threat correlation and in-flight route replanning by Air Force pilots.


title: Bayesian Inference for Radar Imagery Based Surveillance

abstract: We are interested in creating an automated or semi-automated system with the capability of taking a set of radar imagery, collection parameters and a priori map and other tactical data, and producing likely interpretations of the possible military situations given the available evidence. This paper is concerned with the problem of the interpretation and computation of certainty or belief in the conclusions reached by such a system.


title: Evidential Reasoning in Parallel Hierarchical Vision Programs

abstract: This paper presents an efficient adaptation and application of the Dempster-Shafer theory of evidence, one that can be used effectively in a massively parallel hierarchical system for visual pattern perception. It describes the techniques used, and shows in an extended example how they serve to improve the system's performance as it applies a multiple-level set of processes.


title: Computing Reference Classes

abstract: For any system with limited statistical knowledge, the combination of evidence and the interpretation of sampling information require the determination of the right reference class (or of an adequate one). The present note (1) discusses the use of reference classes in evidential reasoning, and (2) discusses implementations of Kyburg's rules for reference classes. This paper contributes the first frank discussion of how much of Kyburg's system is needed to be powerful, how much can be computed effectively, and how much is philosophical fat.


title: An Uncertainty Management Calculus for Ordering Searches in Distributed Dynamic Databases

abstract: MINDS is a distributed system of cooperating query engines that customize, document retrieval for each user in a dynamic environment. It improves its performance and adapts to changing patterns of document distribution by observing system-user interactions and modifying the appropriate certainty factors, which act as search control parameters. It argued here that the uncertainty management calculus must account for temporal precedence, reliability of evidence, degree of support for a proposition, and saturation effects. The calculus presented here possesses these features. Some results obtained with this scheme are discussed.


title: An Explanation Mechanism for Bayesian Inferencing Systems

abstract: Explanation facilities are a particularly important feature of expert system frameworks. It is an area in which traditional rule-based expert system frameworks have had mixed results. While explanations about control are well handled, facilities are needed for generating better explanations concerning knowledge base content. This paper approaches the explanation problem by examining the effect an event has on a variable of interest within a symmetric Bayesian inferencing system. We argue that any effect measure operating in this context must satisfy certain properties. Such a measure is proposed. It forms the basis for an explanation facility which allows the user of the Generalized Bayesian Inferencing System to question the meaning of the knowledge base. That facility is described in detail.


title: Distributed Revision of Belief Commitment in Multi-Hypothesis Interpretations

abstract: This paper extends the applications of belief-networks to include the revision of belief commitments, i.e., the categorical acceptance of a subset of hypotheses which, together, constitute the most satisfactory explanation of the evidence at hand. A coherent model of non-monotonic reasoning is established and distributed algorithms for belief revision are presented. We show that, in singly connected networks, the most satisfactory explanation can be found in linear time by a message-passing algorithm similar to the one used in belief updating. In multiply-connected networks, the problem may be exponentially hard but, if the network is sparse, topological considerations can be used to render the interpretation task tractable. In general, finding the most probable combination of hypotheses is no more complex than computing the degree of belief for any individual hypothesis. Applications to medical diagnosis are illustrated.


title: Learning Link-Probabilities in Causal Trees

abstract: A learning algorithm is presented which given the structure of a causal tree, will estimate its link probabilities by sequential measurements on the leaves only. Internal nodes of the tree represent conceptual (hidden) variables inaccessible to observation. The method described is incremental, local, efficient, and remains robust to measurement imprecisions.


title: Approximate Deduction in Single Evidential Bodies

abstract: Results on approximate deduction in the context of the calculus of evidence of Dempster-Shafer and the theory of interval probabilities are reported. Approximate conditional knowledge about the truth of conditional propositions was assumed available and expressed as sets of possible values (actually numeric intervals) of conditional probabilities. Under different interpretations of this conditional knowledge, several formulas were produced to integrate unconditioned estimates (assumed given as sets of possible values of unconditioned probabilities) with conditional estimates. These formulas are discussed together with the computational characteristics of the methods derived from them. Of particular importance is one such evidence integration formulation, produced under a belief oriented interpretation, which incorporates both modus ponens and modus tollens inferential mechanisms, allows integration of conditioned and unconditioned knowledge without resorting to iterative or sequential approximations, and produces elementary mass distributions as outputs using similar distributions as inputs.


title: The Rational and Computational Scope of Probabilistic Rule-Based Expert Systems

abstract: Belief updating schemes in artificial intelligence may be viewed as three dimensional languages, consisting of a syntax (e.g. probabilities or certainty factors), a calculus (e.g. Bayesian or CF combination rules), and a semantics (i.e. cognitive interpretations of competing formalisms). This paper studies the rational scope of those languages on the syntax and calculus grounds. In particular, the paper presents an endomorphism theorem which highlights the limitations imposed by the conditional independence assumptions implicit in the CF calculus. Implications of the theorem to the relationship between the CF and the Bayesian languages and the Dempster-Shafer theory of evidence are presented. The paper concludes with a discussion of some implications on rule-based knowledge engineering in uncertain domains.


title: A Causal Bayesian Model for the Diagnosis of Appendicitis

abstract: The causal Bayesian approach is based on the assumption that effects (e.g., symptoms) that are not conditionally independent with respect to some causal agent (e.g., a disease) are conditionally independent with respect to some intermediate state caused by the agent, (e.g., a pathological condition). This paper describes the development of a causal Bayesian model for the diagnosis of appendicitis. The paper begins with a description of the standard Bayesian approach to reasoning about uncertainty and the major critiques it faces. The paper then lays the theoretical groundwork for the causal extension of the Bayesian approach, and details specific improvements we have developed. The paper then goes on to describe our knowledge engineering and implementation and the results of a test of the system. The paper concludes with a discussion of how the causal Bayesian approach deals with the criticisms of the standard Bayesian model and why it is superior to alternative approaches to reasoning about uncertainty popular in the Al community.


title: A Backwards View for Assessment

abstract: Much artificial intelligence research focuses on the problem of deducing the validity of unobservable propositions or hypotheses from observable evidence.! Many of the knowledge representation techniques designed for this problem encode the relationship between evidence and hypothesis in a directed manner. Moreover, the direction in which evidence is stored is typically from evidence to hypothesis.


title: DAVID: Influence Diagram Processing System for the Macintosh

abstract: Influence diagrams are a directed graph representation for uncertainties as probabilities. The graph distinguishes between those variables which are under the control of a decision maker (decisions, shown as rectangles) and those which are not (chances, shown as ovals), as well as explicitly denoting a goal for solution (value, shown as a rounded rectangle.


title: Propagation of Belief Functions: A Distributed Approach

abstract: In this paper, we describe a scheme for propagating belief functions in certain kinds of trees using only local computations. This scheme generalizes the computational scheme proposed by Shafer and Logan1 for diagnostic trees of the type studied by Gordon and Shortliffe, and the slightly more general scheme given by Shafer for hierarchical evidence. It also generalizes the scheme proposed by Pearl for Bayesian causal trees (see Shenoy and Shafer). Pearl's causal trees and Gordon and Shortliffe's diagnostic trees are both ways of breaking the evidence that bears on a large problem down into smaller items of evidence that bear on smaller parts of the problem so that these smaller problems can be dealt with one at a time. This localization of effort is often essential in order to make the process of probability judgment feasible, both for the person who is making probability judgments and for the machine that is combining them. The basic structure for our scheme is a type of tree that generalizes both Pearl's and Gordon and Shortliffe's trees. Trees of this general type permit localized computation in Pearl's sense. They are based on qualitative judgments of conditional independence. We believe that the scheme we describe here will prove useful in expert systems. It is now clear that the successful propagation of probabilities or certainty factors in expert systems requires much more structure than can be provided in a pure production-system framework. Bayesian schemes, on the other hand, often make unrealistic demands for structure. The propagation of belief functions in trees and more general networks stands on a middle ground where some sensible and useful things can be done. We would like to emphasize that the basic idea of local computation for propagating probabilities is due to Judea Pearl. It is a very innovative idea; we do not believe that it can be found in the Bayesian literature prior to Pearl's work. We see our contribution as extending the usefulness of Pearl's idea by generalizing it from Bayesian probabilities to belief functions. In the next section, we give a brief introduction to belief functions. The notions of qualitative independence for partitions and a qualitative Markov tree are introduced in Section III. Finally, in Section IV, we describe a scheme for propagating belief functions in qualitative Markov trees.


title: Appropriate and Inappropriate Estimation Techniques

abstract: Mode {also called MAP} estimation, mean estimation and median estimation are examined here to determine when they can be safely used to derive {posterior) cost minimizing estimates. (These are all Bayes procedures, using the mode. mean. or median of the posterior distribution). It is found that modal estimation only returns cost minimizing estimates when the cost function is 0-t. If the cost function is a function of distance then mean estimation only returns cost minimizing estimates when the cost function is squared distance from the true value and median estimation only returns cost minimizing estimates when the cost function ts the distance from the true value. Results are presented on the goodness or modal estimation with non 0-t cost functions


title: Estimating Uncertain Spatial Relationships in Robotics

abstract: In this paper, we describe a representation for spatial information, called the stochastic map, and associated procedures for building it, reading information from it, and revising it incrementally as new information is obtained. The map contains the estimates of relationships among objects in the map, and their uncertainties, given all the available information. The procedures provide a general solution to the problem of estimating uncertain relative spatial relationships. The estimates are probabilistic in nature, an advance over the previous, very conservative, worst-case approaches to the problem. Finally, the procedures are developed in the context of state-estimation and filtering theory, which provides a solid basis for numerous extensions.


title: A VLSI Design and Implementation for a Real-Time Approximate Reasoning

abstract: The role of inferencing with uncertainty is becoming more important in rule-based expert systems (ES), since knowledge given by a human expert is often uncertain or imprecise. We have succeeded in designing a VLSI chip which can perform an entire inference process based on fuzzy logic. The design of the VLSI fuzzy inference engine emphasizes simplicity, extensibility, and efficiency (operational speed and layout area). It is fabricated in 2.5 um CMOS technology. The inference engine consists of three major components; a rule set memory, an inference processor, and a controller. In this implementation, a rule set memory is realized by a read only memory (ROM). The controller consists of two counters. In the inference processor, one data path is laid out for each rule. The number of the inference rule can be increased adding more data paths to the inference processor. All rules are executed in parallel, but each rule is processed serially. The logical structure of fuzzy inference proposed in the current paper maps nicely onto the VLSI structure. A two-phase nonoverlapping clocking scheme is used. Timing tests indicate that the inference engine can operate at approximately 20.8 MHz. This translates to an execution speed of approximately 80,000 Fuzzy Logical Inferences Per Second (FLIPS), and indicates that the inference engine is suitable for a demanding real-time application. The potential applications include decision-making in the area of command and control for intelligent robot systems, process control, missile and aircraft guidance, and other high performance machines.


title: A General Purpose Inference Engine for Evidential Reasoning Research

abstract: The purpose of this paper is to report on the most recent developments in our ongoing investigation of the representation and manipulation of uncertainty in automated reasoning systems. In our earlier studies (Tong and Shapiro, 1985) we described a series of experiments with RUBRIC (Tong et al., 1985), a system for full-text document retrieval, that generated some interesting insights into the effects of choosing among a class of scalar valued uncertainty calculi. [n order to extend these results we have begun a new series of experiments with a larger class of representations and calculi, and to help perform these experiments we have developed a general purpose inference engine.


title: Generalizing Fuzzy Logic Probabilistic Inferences

abstract: Linear representations for a subclass of boolean symmetric functions selected by a parity condition are shown to constitute a generalization of the linear constraints on probabilities introduced by Boole. These linear constraints are necessary to compute probabilities of events with relations between the. arbitrarily specified with propositional calculus boolean formulas.


title: Qualitative Probabilistic Networks for Planning Under Uncertainty

abstract: Bayesian networks provide a probabilistic semantics for qualitative assertions about likelihood. A qualitative reasoner based on an algebra over these assertions can derive further conclusions about the influence of actions. While the conclusions are much weaker than those computed from complete probability distributions, they are still valuable for suggesting potential actions, eliminating obviously inferior plans, identifying important tradeoffs, and explaining probabilistic models.


title: Experimentally Comparing Uncertain Inference Systems to Probability

abstract: This paper examines the biases and performance of several uncertain inference systems: Mycin, a variant of Mycin. and a simplified version of probability using conditional independence assumptions. We present axiomatic arguments for using Minimum Cross Entropy inference as the best way to do uncertain inference. For Mycin and its variant we found special situations where its performance was very good, but also situations where performance was worse than random guessing, or where data was interpreted as having the opposite of its true import We have found that all three of these systems usually gave accurate results, and that the conditional independence assumptions gave the most robust results. We illustrate how the Importance of biases may be quantitatively assessed and ranked. Considerations of robustness might be a critical factor is selecting UlS's for a given application.


title: Evaluation of Uncertain Inference Models I: PROSPECTOR

abstract: This paper examines the accuracy of the PROSPECTOR model for uncertain reasoning. PROSPECTOR's solutions for a large number of computer-generated inference networks were compared to those obtained from probability theory and minimum cross-entropy calculations. PROSPECTOR's answers were generally accurate for a restricted subset of problems that are consistent with its assumptions. However, even within this subset, we identified conditions under which PROSPECTOR's performance deteriorates.


title: On Implementing Usual Values

abstract: In many cases commonsense knowledge consists of knowledge of what is usual. In this paper we develop a system for reasoning with usual information. This system is based upon the fact that these pieces of commonsense information involve both a probabilistic aspect and a granular aspect. We implement this system with the aid of possibility-probability granules.


title: On the Combinality of Evidence in the Dempster-Shafer Theory

abstract: In the current versions of the Dempster-Shafer theory, the only essential restriction on the validity of the rule of combination is that the sources of evidence must be statistically independent. Under this assumption, it is permissible to apply the Dempster-Shafer rule to two or mere distinct probability distributions.


title: GUI Database for the Equipment Store of the Department of Geomatic Engineering, KNUST

abstract: The geospatial analyst is required to apply art, science, and technology to measure relative positions of natural and man-made features above or beneath the earths surface, and to present this information either graphically or numerically. The reference positions for these measurements need to be well archived and managed to effectively sustain the activities in the spatial industry. The research herein described highlights the need for an information system for the Land Surveyors Equipment Store. Such a system is a database management system with a user friendly graphical interface. This paper describes one such system that has been developed for the Equipment Store of the Department of Geomatic Engineering, Kwame Nkrumah University of Science and Technology, Ghana. The system facilitates efficient management and location of instruments, as well as easy location of beacons together with their attribute information, it provides multimedia information about instruments in an Equipment Store. Digital camera was used capture the pictorial descriptions of the beacons. Geographic Information System software was employed to visualize the spatial location of beacons and to publish the various layers for the Graphical User Interface. The aesthetics of the interface was developed with user interface design tools and coded by programming. The developed Suite, powered by a reliable and fully scalable database, provides an efficient way of booking and analyzing transactions in an Equipment Store.


title: Decomposing Petri nets

abstract: In recent work, the second and third authors introduced a technique for reachability checking in 1-bounded Petri nets, based on wiring decompositions, which are expressions in a fragment of the compositional algebra of nets with boundaries. Here we extend the technique to the full algebra and introduce the related structural property of decomposition width on directed hypergraphs. Small decomposition width is necessary for the applicability of the reachability checking algorithm. We give examples of families of nets with constant decomposition width and develop the underlying theory of decompositions.


title: Planck 2013 results support the cyclic universe

abstract: We show that results from the Planck satellite reported in 2013 are consistent with the simplest cyclic models for natural parameter ranges i.e., order unity dimensionless coefficients, assuming the standard entropic mechanism for generating curvature perturbations. With improved precision, forthcoming results from Planck and other experiments should be able to test the parameter ranges by confirming or refuting the core predictions - i.e., no observable primordial B-mode polarization and detectable local non-gaussianity. A new prediction, given the Planck 2013 constraints on the bispectrum, is a sharp constraint on the local trispectrum parameter g_{NL}; namely, the simplest models predict it is negative, with g_{NL} < -1700.


title: The binary companion mass ratio distribution: an imprint of the star formation process?

abstract: We explore the effects of dynamical evolution in dense clusters on the companion mass ratio distribution (CMRD) of binary stars. Binary systems are destroyed by interactions with other stars in the cluster, lowering the total binary fraction and significantly altering the initial semi-major axis distribution. However, the shape of the CMRD is unaffected by dynamics; an equal number of systems with high mass ratios are destroyed compared to systems with low mass ratios. We might expect a weak dependence of the survivability of a binary on its mass ratio because its binding energy is proportional to both the primary and secondary mass components of the system. However, binaries are broken up by interactions in which the perturbing star has a significantly higher energy (by a factor of >10, depending on the particular binary properties) than the binding energy of the binary, or through multiple interactions in the cluster. We therefore suggest that the shape of the observed binary CMRD is an outcome of the star formation process, and should be measured in preference to the distributions of orbital parameters, such as the semi-major axis distribution.


title: The impact of global environment on galaxy mass functions at low redshift

abstract: We study the galaxy stellar mass function in different environments in the local Universe, considering both the total mass function and that of individual galaxy morphological types. We compare the mass functions of galaxies with $\rm log_{10} M_{\star}/M_{\odot} \geq 10.25$ in the general field and in galaxy groups, binary and single galaxy systems from the Padova-Millennium Galaxy and Group Catalogue at $z=0.04-0.1$ with the mass function of galaxy clusters of the WIde-field Nearby Galaxy-Cluster Survey at $z=0.04-0.07$. Strikingly, the variations of the mass function with global environment, overall, are small and subtle. The shapes of the mass functions of the general field and clusters are indistinguishable, and only small, statistically insignificant variations are allowed in groups. Only the mass function of our single galaxies, representing the least massive haloes and comprising less than a third of the general field population, is proportionally richer in low-mass galaxies than other environments. The most notable environmental effect is a progressive change in the upper galaxy mass, with very massive galaxies found only in the most massive environments. This environment-dependent mass cut-off is unable to affect the Schechter parameters and the K-S test, and can only be revealed by an ad-hoc analysis. Finally, we show how, in each given environment, the mass function changes with morphological type, and that galaxies of the same morphological type can have different mass functions in different environments.


title: Debris discs around M stars: non-existence versus non-detection

abstract: Motivated by the reported dearth of debris discs around M stars, we use survival models to study the occurrence of planetesimal discs around them. These survival models describe a planetesimal disc with a small number of parameters, determine if it may survive a series of dynamical processes and compute the associated infrared excess. For the WISE satellite, we demonstrate that the dearth of debris discs around M stars may be attributed to the small semi-major axes generally probed if either: 1. the dust grains behave like blackbodies emitting at a peak wavelength coincident with the observed one; 2. or the grains are hotter than predicted by their blackbody temperatures and emit at peak wavelengths that are shorter than the observed one. At these small distances from the M star, planetesimals are unlikely to survive or persist for time scales of 300 Myr or longer if the disc is too massive. Conversely, our survival models allow for the existence of a large population of low-mass debris discs that are too faint to be detected with current instruments. However, our interpretation becomes less clear and large infrared excesses are allowed if only one of these scenarios holds: 3. the dust grains are hotter than blackbody and predominantly emit at the observed wavelength; 4. or are blackbody in nature and emit at peak wavelengths longer than the observed one. Both scenarios imply that the parent planetesimals reside at larger distances from the star than inferred if the dust grains behaved like blackbodies. In all scenarios, we show that the infrared excesses detected at 22 and 70 microns from AU Mic are easily reconciled with its young age. We elucidate the conditions under which stellar wind drag may be neglected when considering dust populations around M stars. The WISE satellite should be capable of detecting debris discs around young M stars with ages on the order of 10 Myr.


title: Towards Holographic Spintronics

abstract: We study transport phenomena of total angular momentum in holography, as a first step toward holographic understanding of spin transport phenomena. Spin current, which has both the local Lorentz index for spins and the space-time vector index for current, couples naturally to the bulk spin connection. Therefore the bulk spin connection becomes the source for the boundary spin current. This allows us to evaluate the spin current holographically, with a relation to the stress tensor and metric fluctuations in the bulk. We examine the spin transport coefficients and the thermal spin Hall conductivity in a simple holographic setup.


title: A New Approach to Identifying the Most Powerful Gravitational Lensing Telescopes

abstract: The best gravitational lenses for detecting distant galaxies are those with the largest mass concentrations and the most advantageous configurations of that mass along the line of sight. Our new method for finding such gravitational telescopes uses optical data to identify projected concentrations of luminous red galaxies (LRGs). LRGs are biased tracers of the underlying mass distribution, so lines of sight with the highest total luminosity in LRGs are likely to contain the largest total mass. We apply this selection technique to the Sloan Digital Sky Survey and identify the 200 fields with the highest total LRG luminosities projected within a 3.5' radius over the redshift range 0.1 < z < 0.7. The redshift and angular distributions of LRGs in these fields trace the concentrations of non-LRG galaxies. These fields are diverse; 22.5% contain one known galaxy cluster and 56.0% contain multiple known clusters previously identified in the literature. Thus, our results confirm that these LRGs trace massive structures and that our selection technique identifies fields with large total masses. These fields contain 2-3 times higher total LRG luminosities than most known strong-lensing clusters and will be among the best gravitational lensing fields for the purpose of detecting the highest redshift galaxies.


title: Star Formation & Dust Heating in the FIR Bright Sources of M83

abstract: We investigate star formation and dust heating in the compact FIR bright sources detected in the Herschel maps of M83. We use the source extraction code GETSOURCES to detect and extract sources in the FIR, as well as their photometry in the MIR and H{\alpha}. By performing infrared SED fitting and applying an H{\alpha} based star formation rate (SFR) calibration, we derive the dust masses and temperatures, SFRs, gas masses and star formation efficiencies (SFEs). The detected sources lie exclusively on the spiral arms and represent giant molecular associations (GMAs), with gas masses and sizes of 10^6-10^8 solar masses and 200-300 pc, respectively. The inferred parameters show little to no radial dependence and there is only a weak correlation between the SFRs and gas masses, which suggests that more massive clouds are less efficient at forming stars. Dust heating is mainly due to local star formation. However, although the sources are not optically thick, the total intrinsic young stellar population luminosity can almost completely account for the dust luminosity. This suggests that other radiation sources contribute to the dust heating as well and approximately compensate for the unabsorbed fraction of UV light.


title: Folding defect affine Toda field theories

abstract: A folding process is applied to fused a^(1)_r defects to construct defects for the non-simply laced affine Toda field theories of c^(1)_n, d^(2)_n and a^(2)_2n at the classical level. Support for the hypothesis that these defects are integrable in the folded theories is provided by the observation that transmitted solitons retain their form. Further support is given by the demonstration that energy and momentum are conserved.


title: Striped Order in AdS/CFT

abstract: We study the formation of inhomogeneous order in the Einstein-Maxwell-axion system, dual to a 2+1 dimensional field theory that exhibits a spontaneously generated current density, momentum density and modulated scalar operator. Below the critical temperature, the Reissner-Nordstrom-AdS black hole becomes unstable and stripes form in the bulk and on the boundary. The bulk geometry possesses striking geometrical features, including a modulated horizon that tends to pinch off as T -> 0. On a domain of fixed length, we find a second order phase transition to the striped solution in each of the grand canonical, canonical and microcanonical ensembles, with modulated charges that grow and saturate as we lower the temperature and descend into the inhomogeneous phase. For the black hole on an infinite domain, a similar second order transition occurs, and the width of the dominant stripe increases in the zero temperature limit.


title: The Effects of Radiative Transfer on the PDFs of Molecular MHD Turbulence

abstract: We study the effects of radiative transfer on the Probability Distribution Functions (PDFs) of simulations of magnetohydrodynamic turbulence in the widely studied $^{13}$CO 2-1 transition. We find that the integrated intensity maps generally follow a log-normal distribution, with the cases that have $\tau \approx 1$ best matching the PDF of the column density. We fit a 2D variance-sonic Mach number relationship to our logarithmic PDFs of the form $\sigma_{ln(\Sigma/\Sigma_0)}^2=A\times ln(1+b^2{\cal M}_s^2)$ and find that, for parameter $b=1/3$, parameter $A$ depends on the radiative transfer environment. We also explore the variance, skewness, and kurtosis of the linear PDFs finding that higher moments reflect both higher sonic Mach number and lower optical depth. Finally, we apply the Tsallis incremental PDF function and find that the fit parameters depend on both Mach numbers, but also are sensitive to the radiative transfer parameter space, with the $\tau \approx 1$ case best fitting the incremental PDF of the true column density. We conclude that, for PDFs of low optical depth cases, part of the gas is always sub-thermally excited so that the spread of the line intensities exceeds the spread of the underlying column densities and hence the PDFs do not reflect the true column density. Similarly, PDFs of optically thick cases are dominated by the velocity dispersion and therefore do not represent the true column density PDF. Thus, in the case of molecules like carbon monoxide, the dynamic range of intensities, structures observed and consequently, the observable PDFs, are less determined by turbulence and more-often determined by radiative transfer effects.


title: The de Rham cohomology of Drinfeld's half space

abstract: Let X be Drinfeld's half space over a p-adic field K. The de Rham cohomology of X was first computed by Schneider and Stuhler. Afterwards there were given different proofs by Alon, de Shalit, Iovita and Spiess. This paper presents yet another approach for the determination of these invariants by analysing the de Rham complex of X from the viewpoint of recent results by the author.


title: Reconnection Diffusion, Star Formation and Numerical Simulations

abstract: We consider fast magnetic reconnection that takes place within turbulent magnetic flux and show that the process results in diffusion of magnetic fields and matter, which we term reconnection diffusion. The process of reconnection diffusion is based on the model of 3D reconnection of weakly turbulent magnetic fields and is applicable to both fully ionized and partially ionized gas. The rate of reconnection diffusion does not depend on the level of ionization and therefore the usually employed ambipolar diffusion idea gets irrelevant for magnetic field transport in turbulent fluids. We claim that the reconnection diffusion process is a manifestation of the violation of flux conservation in highly conducting turbulent fluids. We discuss the consequences of reconnection diffusion for star formation and stress. We show that reconnection diffusion on large scales is independent of small scale magnetic field dynamics of magnetic fields. We conclude that numerical simulations correctly represents the diffusion of actual astrophysical magnetic fields in flows with substantially larger Lundquist numbers if these simulated regions regions are turbulent.

categories: astro-ph.GA astro-ph.SR physics.plasm-ph physics.space-ph


title: TCLOUD: Challenges and Best Practices for Cloud Computing

abstract: Cloud computing has achieved an unbelievable adoption response rate but still its infancy stage is not over. It is an emerging paradigm and amazingly gaining popularity. The size of the market shared of the applications provided by cloud computing is still not much behind the expectations. It provides the organizations with great potential to minimize the cost and maximizes the overall operating effectiveness of computing required by an organization. Despite its growing popularity, still it is faced with security, privacy, and portability issues, which in one or the other way create hurdles in the fast acceptance of this new technology for the computing community. This paper provides a concise all around analysis of the challenges faced by cloud computing community and also presents the solutions available to these challenges.


title: Maximizing Matching in Double-sided Auctions

abstract: In this paper, we introduce a novel, non-recursive, maximal matching algorithm for double auctions, which aims to maximize the amount of commodities to be traded. It differs from the usual equilibrium matching, which clears a market at the equilibrium price. We compare the two algorithms through experimental analyses, showing that the maximal matching algorithm is favored in scenarios where trading volume is a priority and that it may possibly improve allocative efficiency over equilibrium matching as well. A parameterized algorithm that incorporates both maximal matching and equilibrium matching as special cases is also presented to allow flexible control on how much to trade in a double auction.


title: Effective Congruences for Mock Theta Functions

abstract: Let M(q)=\sum c(n) q^n be one of Ramanujan's mock theta functions. We establish the existence of infinitely many linear congruences of the form c(An+B) \equiv 0 (mod \ell^j), where A is a multiple of \ell and an auxiliary prime p. Moreover, we give an effectively computable upper bound on the smallest such p for which these congruences hold. The effective nature of our results is based on prior works of Lichtenstein and Treneer.


title: Higher-derivative couplings in string theory: dualities and the B-field

abstract: The first quantum correction to the IIA string effective action arises at the eight-derivative level and takes the schematic form (t_8 t_8 - 1/8 \epsilon\epsilon)R^4 + B_2 \wedge X_8. This correction, however, cannot be complete by itself, as it is neither supersymmetric nor T-duality covariant. We reexamine these eight-derivative couplings and conjecture that the simple replacement R -> R(\Omega_+), where \Omega_+ = \Omega + 1/2 H is the connection with torsion, nearly completely captures their dependence on the B-field. The exception is in the odd-odd spin structure sector, where additional terms are needed. We present here a complete result at the level of the five-point function and a partial one for the six-point function. Further evidence for this conjecture comes from considering T-duality as well as heterotic/IIA duality beyond leading order. Finally, we discuss the eleven-dimensional lift of the modified one-loop type IIA couplings.


title: Sustainable Cooperative Coevolution with a Multi-Armed Bandit

abstract: This paper proposes a self-adaptation mechanism to manage the resources allocated to the different species comprising a cooperative coevolutionary algorithm. The proposed approach relies on a dynamic extension to the well-known multi-armed bandit framework. At each iteration, the dynamic multi-armed bandit makes a decision on which species to evolve for a generation, using the history of progress made by the different species to guide the decisions. We show experimentally, on a benchmark and a real-world problem, that evolving the different populations at different paces allows not only to identify solutions more rapidly, but also improves the capacity of cooperative coevolution to solve more complex problems.


title: The Complexity of Approximating Vertex Expansion

abstract: We study the complexity of approximating the vertex expansion of graphs $G = (V,E)$, defined as \[ \Phi^V := \min_{S \subset V} n \cdot \frac{|N(S)|}{|S| |V \backslash S|}. \] We give a simple polynomial-time algorithm for finding a subset with vertex expansion $O(\sqrt{OPT \log d})$ where $d$ is the maximum degree of the graph. Our main result is an asymptotically matching lower bound: under the Small Set Expansion (SSE) hypothesis, it is hard to find a subset with expansion less than $C\sqrt{OPT \log d}$ for an absolute constant $C$. In particular, this implies for all constant $\epsilon > 0$, it is SSE-hard to distinguish whether the vertex expansion $< \epsilon$ or at least an absolute constant. The analogous threshold for edge expansion is $\sqrt{OPT}$ with no dependence on the degree; thus our results suggest that vertex expansion is harder to approximate than edge expansion. In particular, while Cheeger's algorithm can certify constant edge expansion, it is SSE-hard to certify constant vertex expansion in graphs. Our proof is via a reduction from the {\it Unique Games} instance obtained from the \SSE hypothesis to the vertex expansion problem. It involves the definition of a smoother intermediate problem we call {\sf Analytic Vertex Expansion} which is representative of both the vertex expansion and the conductance of the graph. Both reductions (from the UGC instance to this problem and from this problem to vertex expansion) use novel proof ideas.


title: On PROGRESS Operation. How to Make Object-Oriented Programming System More Object-Oriented (DRAFT)

abstract: A system, which implements persistent objects, has to provide different opportunities to change the objects in arbitrary ways during their existence. A traditional realization of OO paradigm in modern programming systems has fundamental drawbacks which complicate an implementation of persistent modifiable objects considerably. There is alternative realization that does not have these drawbacks. In the article the PROGRESS operation is offered, which modify existing object within an existing inheritance hierarchy.


title: Advanced holographic nondestructive testing system for residual stress analysis

abstract: The design and operating of a portable holographic interferometer for residual stress analysis by creating a small scratch along with a new mathematical algorithm of calculations are discussed. Preliminary data of the stress investigations on aluminum and steel alloys have been obtained by the automatic processing of the interference pattern using a notebook computer. A phase-shift compensation technique in real-time reflection interferometry is used to measure the out-of-plane stress release surface displacement surrounding a small scratch (25 um depth and 0.5 mm width) in a plate with residual stress of around 50 MPa. Comparison between theoretical models for a rectangular and triangular shaped scratch with the experimental data are presented.


title: The Lick-Index Calibration of the GEMINI Multi-Object Spectrographs

abstract: We present the calibration of the spectroscopic Lick/IDS standard line-index system for measurements obtained with the Gemini Multi-Object Spectrographs known as GMOS-North and GMOS- South. We provide linear correction functions for each of the 25 standard Lick line indices for the B600 grism and two instrumental setups, one with 0.5 arcsecond slit width and 1x1 CCD pixel binning (corresponding to ~2.5 Angstroem spectral resolution) and the other with 0.75 arcsecond slit width and 2x2 binning (~4 Angstroem). We find small and well-defined correction terms for the set of Balmer indices Hbeta, HgammaA, and HdeltaA along with the metallicity sensitive indices Fe5015, Fe5270, Fe5335, Fe5406, Mg2 and Mgb that are widely used for stellar population diagnostics of distant stellar systems. We find other indices that sample molecular absorption bands, such as TiO1 and TiO2, with very wide wavelength coverage or indices that sample very weak molecular and atomic absorption features, such as Mg1, as well as indices with particularly narrow passband definitions, such as Fe4384, Ca4455, Fe4531, Ca4227, and Fe5782, less robustly calibrated. These indices should be used with caution.


title: A Novel Construction of Complex-valued Gaussian Processes with Arbitrary Spectral Densities and its Application to Excitation Energy Transfer

abstract: The recent experimental discoveries about excitation energy transfer (EET) in light harvesting antenna (LHA) attract a lot of interest. As an open non-equilibrium quantum system, the EET demands more rigorous theoretical framework to understand the interaction between system and environment and therein the evolution of reduced density matrix. A phonon is often used to model the fluctuating environment and convolutes the reduced quantum system temporarily. In this paper, we propose a novel way to construct complex-valued Gaussian processes to describe thermal quantum phonon bath exactly by converting the convolution of influence functional into the time correlation of complex Gaussian random field. Based on the construction, we propose a rigorous and efficient computational method, the covariance decomposition (CD) and conditional propagation scheme, to simulate the temporarily entangled reduced system. The new method allows us to study the non-Markovian effect without perturbation under the influence of different spectral densities of the linear system-phonon coupling coefficients. Its application in the study of EET in the Fenna-Matthews-Olson (FMO) model Hamiltonian under four different spectral densities is discussed. Since the scaling of our algorithm is linear due to its Monte Carlo nature, the future application of the method for large LHA systems is attractive. In addition, this method can be used to study the effect of correlated initial condition on the reduced dynamics in the future.


title: Logical Probability Preferences

abstract: We present a unified logical framework for representing and reasoning about both probability quantitative and qualitative preferences in probability answer set programming, called probability answer set optimization programs. The proposed framework is vital to allow defining probability quantitative preferences over the possible outcomes of qualitative preferences. We show the application of probability answer set optimization programs to a variant of the well-known nurse restoring problem, called the nurse restoring with probability preferences problem. To the best of our knowledge, this development is the first to consider a logical framework for reasoning about probability quantitative preferences, in general, and reasoning about both probability quantitative and qualitative preferences in particular.


title: Exact Algorithms for Weighted and Unweighted Borda Manipulation Problems

abstract: Both weighted and unweighted Borda manipulation problems have been proved $\mathcal{NP}$-hard. However, there is no exact combinatorial algorithm known for these problems. In this paper, we initiate the study of exact combinatorial algorithms for both weighted and unweighted Borda manipulation problems. More precisely, we propose $O^*((m\cdot 2^m)^{t+1})$time and $O^*(t^{2m})$time\footnote{$O^*()$ is the $O()$ notation with suppressed factors polynomial in the size of the input.} combinatorial algorithms for weighted and unweighted Borda manipulation problems, respectively, where $t$ is the number of manipulators and $m$ is the number of candidates. Thus, for $t=2$ we solve one of the open problems posted by Betzler et al. [IJCAI 2011]. As a byproduct of our results, we show that the {{unweighted Borda manipulation}} problem admits an algorithm of running time $O^*(2^{9m^2\log{m}})$, based on an integer linear programming technique. Finally, we study the {{unweighted Borda manipulation}} problem under single-peaked elections and present polynomial-time algorithms for the problem in the case of two manipulators, in contrast to the $\mathcal{NP}$-hardness of this case in general settings.


title: Standardized network reconstruction of CHO cell metabolism

abstract: We have created a genome-scale network reconstruction of chinese hamster ovary (CHO) cell metabolism. Existing reconstructions were improved in terms of annotation standards, to facilitate their subsequent use in dynamic modelling. The resultant network is available from ChoNet (http://cho.sf.net/).


title: Packing and Self-assembly of Truncated Triangular Bipyramids

abstract: Motivated by breakthroughs in the synthesis of faceted nano- and colloidal particles, as well as theoretical and computational studies of their packings, we investigate a family of truncated triangular bipyramids. We report dense periodic packings with small unit cells that were obtained via numerical and analytical optimization. The maximal packing fraction $\phi_{\max}$ changes continuously with the truncation parameter $t$. Eight distinct packings are identified based on discontinuities in the first and second derivatives of $\phi_{\max}(t)$. These packings differ in the number of particles in the fundamental domain (unit cell) and the type of contacts between the particles. In particular, we report two packings with four particles in the unit cell for which both $\phi_{\max}(t)$ and $\phi'_{\max}(t)$ are continuous and the discontinuity occurs in the second derivative only. In the self-assembly simulations that we perform for larger boxes with 2048 particles, only one out of eight packings is found to assemble. In addition, the degenerate quasicrystal reported previously for triangular bipyramids without truncation [{http://prl.aps.org/abstract/PRL/v107/i21/e215702}{Haji-Akbari \emph{et al.}, \emph{Phys. Rev. Lett.} \textbf{107}: 215702 (2011)}] assembles for truncations as high as 0.45. The self-assembly propensities for the structures formed in the thermodynamic limit are explained using the isoperimetric quotient of the particles and the coordination number in the disordered fluid and in the assembled structure.


title: A Toolkit of the Stop Search via the Chargino Decay

abstract: The top squark (stop) may dominantly decay to a bottom quark and a chargino if the mass difference between the stop and the lightest neutralino is comparable or less than the top quark mass. Such a moderately compressed spectrum is a challenging scenario for the stop search at the Large Hadron Collider, because it is difficult to separate the signals from the top and anti-top background. In this paper we focus on the di-leptonic decay channel, and consider many kinematic variables as possible discriminators. These include several MT2 variables and new "compatible-masses" variables which fully utilize all kinematic information of the background. We use several sample spectra with different characteristics to study the efficiencies of these variables in distinguishing the signal from the background. The finding is that different combinations of variables or strategies should be used for different spectra to maximally enhance the signal significance and expand the reach of the stop search in this scenario. The new variables that we proposed in this paper are also useful for other new physics searches with di-leptonic top and anti-top events as the dominant background.


title: Counting bats

abstract: We demonstrate an algorithm that reconstructs the number of walkers in an unknown graph from observations of their returns to a fixed point.


title: On the $L^p$-estimates of Riesz transforms on forms over complete Riemanian manifolds

abstract: In our previous paper \cite{Li2010}, we proved a martingale transform representation formula for the Riesz transforms on forms over complete Riemannian manifolds, and proved some explicit $L^p$-norm estimates for the Riesz transforms on complete Riemannian manifolds with suitable curvature conditions. In this paper we correct a gap contained in \cite{Li2010} and prove that the main result obtained in \cite{Li2010} on the $L^p$-norm estimates for the Riesz transforms on forms remain valid. Moreover, we prove a time reversal martingale transform representation formula for the Riesz transforms on forms. Finally, we extend our approach and result to the Riesz transforms acting on Euclidean vector bundles over complete Riemannian manifolds with suitable curvature conditions.


title: Solar Cycle Propagation, Memory, and Prediction: Insights from a Century of Magnetic Proxies

abstract: The solar cycle and its associated magnetic activity are the main drivers behind changes in the interplanetary environment and the Earth's upper atmosphere (commonly referred to as space weather). These changes have a direct impact on the lifetime of space-based assets and can create hazards to astronauts in space. In recent years there has been an effort to develop accurate solar cycle predictions (with aims at predicting the long-term evolution of space weather), leading to nearly a hundred widely spread predictions for the amplitude of solar cycle 24. A major contributor to the disagreement is the lack of direct long-term databases covering different components of the solar magnetic field (toroidal vs.\ poloidal). Here we use sunspot area and polar faculae measurements spanning a full century (as our toroidal and poloidal field proxies), to study solar cycle propagation, memory, and prediction. Our results substantiate predictions based on the polar magnetic fields, whereas we find sunspot area to be uncorrelated to cycle amplitude unless multiplied by area-weighted average tilt. This suggests that the joint assimilation of tilt and sunspot area is a better choice (with aims to cycle prediction) than sunspot area alone, and adds to the evidence in favor of active region emergence and decay as the main mechanism of poloidal field generation (i.e. the Babcock-Leighton mechanism). Finally, by looking at the correlation between our poloidal and toroidal proxies across multiple cycles, we find solar cycle memory to be limited to only one cycle.


title: Greatly Enhanced Eccentricity Oscillations in Quadruple Systems Composed of Two Binaries: Implications for Stars, Planets, and Transients

abstract: We study the orbital evolution of hierarchical quadruple systems composed of two binaries on a long mutual orbit, where each binary acts as a Kozai-Lidov (KL) perturber on the other. We find that the coupling between the two binaries qualitatively changes the behavior of their KL cycles. The binaries can experience coherent eccentricity oscillations as well as excursions to very high eccentricity that occur over a much larger fraction of the parameter space than in triple systems. For a ratio of outer to inner semi-major axes of 10 to 20, about 30 to 50% of equal-mass quadruples reach eccentricity 1-e < 10^{-3} in one of the binaries. This is about 4 to 12 times more than for triples with equivalent parameters. Orbital "flips" and collisions without previous tidal interaction are similarly enhanced in quadruples relative to triples. We argue that the frequency of evolutionary paths influenced by KL cycles is comparable in the triple and quadruple populations even though field quadruples are a factor of ~5 less frequent than triples. Additionally, quadruples might be a non-negligible source of triples and provide fundamentally new evolutionary outcomes involving close binaries, mergers, collisions, and associated transients, which occur without any fine tuning of parameters. Finally, we study the perturbations to a planetary orbit due to a distant binary and we find that the fraction of orbital flips is a factor of 3 to 4 higher than for the corresponding triple system given our fiducial parameters with implications for hot Jupiters and star-planet collisions.


title: R-matrix analysis of reactions in the 9B compound system

abstract: Recent activity in solving the 'lithium problem' in big bang nucleosynthesis has focused on the role that putative resonances may play in resonance-enhanced destruction of 7Li. Particular attention has been paid to the reactions involving the 9B compound nuclear system, d+7Be->9B. These reactions are analyzed via the multichannel, two-body unitary R-matrix method using code (EDA) developed by Hale and collaborators. We employ much of the known elastic and reaction data, in a four-channel treatment. The data include elastic 3He+6Li differential cross sections from 0.7 to 2.0 MeV, integrated reaction cross sections for energies from 0.7 to 5.0 MeV for 6Li(3He,p)8Be* and from 0.4 to 5.0 MeV for the 6Li(3He,d)7Be reaction. Capture data have been added to an earlier analysis with integrated cross section measurements from 0.7 to 0.825 MeV for 6Li(3He,gamma)9B. The resulting resonance parameters are compared with tabulated values, and previously unidentified resonances are noted. Our results show that there are no near d+7Be threshold resonances with widths that are 10's of keV and reduce the likelihood that a resonance-enhanced mass-7 destruction mechanism, as suggested in recently published work, can explain the 7Li problem.


title: An infinite cardinal version of Gallai's Theorem for colorings of the plane

abstract: We generalize a result of Tibor Gallai as follows: for any finite set of points $\mathcal{S}$ in the plane, if the plane is colored in finitely many colors, then there exist $2^{\aleph_0}$ monochromatic subsets of the plane homothetic to $\mathcal{S}$. Furthermore, we prove an even stronger result for $n$-dimensional Euclidean space.


title: The Superluminal Tunneling Story

abstract: Since 1992 experimental evidence of superluminal (faster than light, FTL) signals are causing much excitement in the physical community and in the media. Superluminal signal velocity and zero time tunneling was first observed in an analog tunneling experiment with microwaves. Recently, the conjectured zero time of electron was claimed to be observed in ionizing helium. The FTL signal velocity was reproduced with infrared light and with various tunneling barriers in several laboratories worldwide. Remarkable, it was shown that the tunneling time is a universal quantity for elastic and for electromagnetic fields. Many theoretical physicists predicted this FTL nature of the tunneling process. However, even with this background many members of the physics community did not accept the superluminal signal velocity interpretation of the experimental results and they also ignored the universal tunneling time. The predicted and measured zero tunneling time was taken as a fantastic nonsense. A brief explanation of the misleading theoretical approaches against FTL signals due to the tunneling process is presented eventually.


title: Data Secrecy in Distributed Storage Systems under Exact Repair

abstract: The problem of securing data against eavesdropping in distributed storage systems is studied. The focus is on systems that use linear codes and implement exact repair to recover from node failures.The maximum file size that can be stored securely is determined for systems in which all the available nodes help in repair (i.e., repair degree $d=n-1$, where $n$ is the total number of nodes) and for any number of compromised nodes. Similar results in the literature are restricted to the case of at most two compromised nodes. Moreover, new explicit upper bounds are given on the maximum secure file size for systems with $d<n-1$. The key ingredients for the contribution of this paper are new results on subspace intersection for the data downloaded during repair. The new bounds imply the interesting fact that the maximum data that can be stored securely decreases exponentially with the number of compromised nodes.


title: Analysis of Citizens Acceptance for E-government Services: Applying the UTAUT Model

abstract: E-government services aims to provide citizens with more accessible, accurate, real-time and high quality services and information. Although the public sectors in Kingdom of Saudi Arabia (KSA) have promoted their e-Government services for many years, its uses and achievements are few. Therefore, this paper explores the key factors of Saudi citizens acceptance through a research survey and by gathering empirical evidence based on the Unified Theory of Acceptance and the Use of Technology (UTAUT). Survey Data collected from 400 respondents was examined using structural equation modelling (SEM) technique and utilized AMOS tools. The study results explored the factors that affect the acceptance of e-government services in KSA based on UTAUT model. Moreover, as a result of this study an amended UTAUT model was proposed. Such a model contributes to the discussion and development of adoption models for technology.


title: Quotients of Gaussian primes

abstract: It has been observed many times, both in the Monthly and elsewhere, that the set of all quotients of prime numbers is dense in the positive real numbers. In this short note we answer the related question: "Is the set of all quotients of Gaussian primes dense in the complex plane?"


title: Efficient Solution of Backward Jump-Diffusion PIDEs with Splitting and Matrix Exponentials

abstract: We propose a new, unified approach to solving jump-diffusion partial integro-differential equations (PIDEs) that often appear in mathematical finance. Our method consists of the following steps. First, a second-order operator splitting on financial processes (diffusion and jumps) is applied to these PIDEs. To solve the diffusion equation, we use standard finite-difference methods, which for multi-dimensional problems could also include splitting on various dimensions. For the jump part, we transform the jump integral into a pseudo-differential operator. Then for various jump models we show how to construct an appropriate first and second order approximation on a grid which supersets the grid that we used for the diffusion part. These approximations make the scheme to be unconditionally stable in time and preserve positivity of the solution which is computed either via a matrix exponential, or via P{\'a}de approximation of the matrix exponent. Various numerical experiments are provided to justify these results.


title: The influence of relatives on the efficiency and error rate of familial searching

abstract: We investigate the consequences of adopting the criteria used by the state of California, as described by Myers et al. (2011), for conducting familial searches. We carried out a simulation study of randomly generated profiles of related and unrelated individuals with 13-locus CODIS genotypes and YFiler Y-chromosome haplotypes, on which the Myers protocol for relative identification was carried out. For Y-chromosome sharing first degree relatives, the Myers protocol has a high probability (80 - 99%) of identifying their relationship. For unrelated individuals, there is a low probability that an unrelated person in the database will be identified as a first-degree relative. For more distant Y-haplotype sharing relatives (half-siblings, first cousins, half-first cousins or second cousins) there is a substantial probability that the more distant relative will be incorrectly identified as a first-degree relative. For example, there is a 3 - 18% probability that a first cousin will be identified as a full sibling, with the probability depending on the population background. Although the California familial search policy is likely to identify a first degree relative if his profile is in the database, and it poses little risk of falsely identifying an unrelated individual in a database as a first-degree relative, there is a substantial risk of falsely identifying a more distant Y-haplotype sharing relative in the database as a first-degree relative, with the consequence that their immediate family may become the target for further investigation. This risk falls disproportionately on those ethnic groups that are currently overrepresented in state and federal databases.


title: Large enhancement of transport critical current density of ex-situ PIT Ag/(Ba,K)Fe2As2 tapes achieved by applying cycles of cold deformation and heat treatment

abstract: We report that high transport critical current density exceeding 104 A/cm2 at 4.2 K and 10 T can be obtained with good reproducibility for Ag sheathed (Ba,K)Fe2As2 (Ba 122) tapes by modifying the ex-situ powder-in-tube (PIT) method. The process involves cycles of the cold deformation and subsequent heat treatment. The intermediate cycles of flat rolling and heat treatment produce uniform fine-grained structure, resulting in an enhancement of transport Jc in applied magnetic fields. However, the rolled tapes contain cracks running traverse to the tape axis, which still limit the current pass along the tape axis. We found that the application of uniaxial pressing with small reduction rate at the final stage is very effective to heal those cracks, resulting in an extraordinary increase of the transport Jc. We achieved the highest Jc (at 4.2 K and 10 T) of 2.1x104 A/cm2 among the PIT processed Fe based wires and tapes reported so far. The Jc-H curves measured at higher temperatures maintains a small filed dependence up to around 20 K, suggesting that the tapes are promising for applications at higher temperatures as well as in liquid helium.


title: Principal Component Analysis and Higher Correlations for Distributed Data

abstract: We consider algorithmic problems in the setting in which the input data has been partitioned arbitrarily on many servers. The goal is to compute a function of all the data, and the bottleneck is the communication used by the algorithm. We present algorithms for two illustrative problems on massive data sets: (1) computing a low-rank approximation of a matrix $A=A^1 + A^2 + \ldots + A^s$, with matrix $A^t$ stored on server $t$ and (2) computing a function of a vector $a_1 + a_2 + \ldots + a_s$, where server $t$ has the vector $a_t$; this includes the well-studied special case of computing frequency moments and separable functions, as well as higher-order correlations such as the number of subgraphs of a specified type occurring in a graph. For both problems we give algorithms with nearly optimal communication, and in particular the only dependence on $n$, the size of the data, is in the number of bits needed to represent indices and words ($O(\log n)$).


title: On piecewise smooth cohomology of locally trivial Lie groupoids

abstract: Mishchenko-Oliveira proved the piecewise smooth cohomology and Lie algebroid cohomology of a Lie algebroid on a combinatorial compact manifold are isomorphic. In this paper, we describe an application of that result locally trivial Lie groupoids on combinatorial manifolds to obtain an isomorphism between de Rham cohomology and piecewise de Rham cohomology of left invariants forms.


title: Effect of anisotropic Fermi surface on the flux-flow resistivity under rotating magnetic field

abstract: We numerically investigate the effect of in-plane anisotropic Fermi surface (FS) on the flux-flow resistivity $\rho_{\rm f}$ under rotating magnetic field on the basis of the quasiclassical Green's function method. We demonstrate that one can detect the phase in pairing potential of Cooper pair through the field-angular dependence of $\rho_{\rm f}$ even if the FS has in-plane anisotropy. In addition, we point out one can detect the gap-node directions irrespective of the FS anisotropy by measuring $\rho_{\rm f}$ under rotating field.


title: Photometric variability in a warm, strongly magnetic DQ white dwarf, SDSS J103655.39+652252.2

abstract: We present the discovery of photometric variability in the DQ white dwarf SDSS J103655.39+652252.2 (SDSS J1036+6522). Time-series photometry reveals a coherent monoperiodic modulation at a period of 1115.64751(67) s with an amplitude of 0.442% +/- 0.024%; no other periodic modulations are observed with amplitudes >~0.13%. The period, amplitude, and phase of this modulation are constant within errors over 16 months. The spectrum of SDSS J1036+6522 shows magnetic splitting of carbon lines, and we use Paschen-Back formalism to develop a grid of model atmospheres for mixed carbon and helium atmospheres. Our models, while reliant on several simplistic assumptions, nevertheless match the major spectral and photometric properties of the star with a self-consistent set of parameters: Teff~15,500 K, log g ~9, log(C/He)=-1.0, and a mean magnetic field strength of 3.0 +/- 0.2 MG. The temperature and abundances strongly suggest that SDSS J1036+6522 is a transition object between the hot, carbon-dominated DQs and the cool, He-dominated DQs. The variability of SDSS J1036+6522 has characteristics similar to those of the variable hot carbon-atmosphere white dwarfs (DQVs), however, its temperature is significantly cooler. The pulse profile of SDSS J1036+6522 is nearly sinusoidal, in contrast with the significantly asymmetric pulse shapes of the known magnetic DQVs. If the variability in SDSS J1036+6522 is due to the same mechanism as other DQVs, then the pulse shape is not a definitive diagnostic on the absence of a strong magnetic field in DQVs. It remains unclear whether the root cause of the variability in SDSS J1036+6522 and the other hot DQVs is the same.


title: Quantum Storage and Retrieval of Light by Sweeping the Atomic Frequency

abstract: We propose a quantum memory protocol based on dynamically changing the resonance frequency of an ensemble of two-level atoms. By sweeping the atomic frequency in an adiabatic fashion, photons are reversibly transferred into atomic coherences. We present a polaritonic description for this type of storage, which shares some similarities with Electromagnetically Induced Transparency (EIT) based quantum memories. On the other hand the proposed memory is also linked to the Gradient Echo Memory (GEM) due to the effective spatial gradient that pulses experience in the medium. We discuss a possible implementation of the protocol in hollow-core photonic crystal fibers.


title: Dynamics of the solar tachocline III: Numerical solutions of the Gough and McIntyre model

abstract: We present the first numerical simulations of the solar interior to exhibit a tachocline consistent with the Gough and McIntyre (1998) model. We find nonlinear, axisymmetric, steady-state numerical solutions in which: (1) a large-scale primordial field is confined within the radiation zone by downwelling meridional flows that are gyroscopically pumped in the convection zone (2) the radiation zone is in almost-uniform rotation, with a rotation rate consistent with observations (3) the bulk of the tachocline is magnetic free, in thermal-wind balance and in thermal equilibrium and (4) the interaction between the field and the flows takes place within a very thin magnetic boundary layer, the tachopause, located at the bottom of the tachocline. We show that the thickness of the tachocline scales with the amplitude of the meridional flows exactly as predicted by Gough and McIntyre. We also determine the parameter conditions under which such solutions can be obtained, and provide a simple explanation for the failure of previous numerical attempts at reproducing the Gough and McIntyre model. Finally, we discuss the implications of our findings for future numerical models of the solar interior, and for future observations of the Sun and other stars.


title: Powering of cool filaments in cluster cores by buoyant bubbles. I. Qualitative model

abstract: Cool-core clusters (e.g., Perseus or M87) often possess a network of bright gaseous filaments, observed in radio, infrared, optical and X-ray bands. We propose that these filaments are powered by the reconnection of the magnetic field in the wakes of buoyant bubbles. AGN-inflated bubbles of relativistic plasma rise buoyantly in the cluster atmosphere, stretching and amplifying the field in the wake to values of $\displaystyle \beta =8\pi P_{gas}/B^2\sim 1$. The field lines in the wake have opposite directions and are forced together as the bubble motion stretches the filament. This setup bears strong similarity to the coronal loops on the Sun or to the Earth's magneto-tail. The reconnection process naturally explains both the required level of local dissipation rate in filaments and the overall luminosity of filaments. The original source of power for the filaments is the potential energy of buoyant bubbles, inflated by the central AGN.


title: The Computational Complexity of Random Serial Dictatorship

abstract: In social choice settings with linear preferences, random dictatorship is known to be the only social decision scheme satisfying strategyproofness and ex post efficiency. When also allowing indifferences, random serial dictatorship (RSD) is a well-known generalization of random dictatorship that retains both properties. RSD has been particularly successful in the special domain of random assignment where indifferences are unavoidable. While executing RSD is obviously feasible, we show that computing the resulting probabilities is #P-complete and thus intractable, both in the context of voting and assignment.


title: The generalized Kupershmidt deformation for constructing new discrete integrable systems

abstract: KdV6 equation can be described as the Kupershmidt deformation of the KdV equation (see 2008, Phys. Lett. A 372: 263). In this paper, starting from the bi-Hamiltonian structure of the discrete integrable system, we propose a generalized Kupershmidt deformation to construct new discrete integrable systems. Toda hierarchy, Kac-van Moerbeke hierarchy and Ablowitz-Ladik hierarchy are considered. The Lax representations for these new deformed systems are presented. The generalized Kupershmidt deformation for the discrete integrable systems provides a new way to construct new discrete integrable systems.


title: Exploring the Interstellar Media of Optically Compact Dwarf Galaxies

abstract: We present new Very Large Array HI spectral line, archival Sloan Digital Sky Survey, and archival Spitzer Space Telescope imaging of eight star-forming blue compact dwarf galaxies that were selected to be optically compact (optical radii less than 1 kpc). These systems have faint blue absolute magnitudes (M_B >= -17), ongoing star formation (based on emission-line selection by the H alpha or [OIII] lines), and are nearby (mean velocity = 3315 km/s = 45 Mpc). One galaxy in the sample, ADBS 113845+2008, is found to have an HI halo that extends 58 r-band scale lengths from its stellar body. In contrast, the rest of the sample galaxies have HI radii to optical-scale-length ratios ranging from 9.3 to 26. The size of the HI disk in the "giant disk" dwarf galaxy ADBS 113845+2008 appears to be unusual as compared to similarly compact stellar populations.


title: Buffer Management of Multi-Queue QoS Switches with Class Segregation

abstract: In this paper, we focus on buffer management of multi-queue QoS switches in which packets of different values are segregated in different queues. Our model consists of $m$ queues and $m$ packet values $0 < v_{1} < v_{2} < ... < v_{m}$. Recently, Al-Bawani and Souza [IPL 113(4), pp.145-150, 2013] presented an online algorithm GREEDY for buffer management of multi-queue QoS switches with class segregation and showed thatif $m$ queues have the same size, then the competitive ratio of GREEDY is $1+r$, where $r=\max_{1 \leq i \leq m-1} v_{i}/v_{i+1}$. In this paper, we precisely analyze the behavior of GREEDY and show that it is $(1+r)$-competitive for the case that $m$ queues do not necessarily have the same size.


title: Influence of secondary gas on control characteristics of ICP-RF plasma torches

abstract: Thermal plasma characteristics inside an atmospheric pressure Radio-Frequency Argon plasma torch have been studied by numerically solving axis-symmetric 2-D Magnetohydrodynamics equations, energy transport equations and species conservation equation coupled with 2D Maxwell equations in the vector potential form. A renormalization group k - epsilon model was employed to study the turbulence within the torch. Helium is mixed with Argon for injection as the sheath gas, and its effect on the control characteristics of the torch has been studied. A control volume approach and semi-implicit pressure linked equations revised (SIMPLER) algorithm was used to solve the above set of equations to obtain the flow, temperature, turbulence and EM source fields within the torch. Finally, a comparison of the results obtained in our present calculation has been made with other works of similar nature. The torch geometry, flow rates and power dissipation values used in the present calculation are similar to the standard ones available in literature.


title: The LAMOST Survey of Background Quasars in the Vicinity of the Andromeda and Triangulum Galaxies -- II. Results from the Commissioning Observations and the Pilot Surveys

abstract: We present new quasars discovered in the vicinity of the Andromeda and Triangulum galaxies with the LAMOST during the 2010 and 2011 observational seasons. Quasar candidates are selected based on the available SDSS, KPNO 4 m telescope, XSTPS optical, and WISE near infrared photometric data. We present 509 new quasars discovered in a stripe of ~135 sq. deg from M31 to M33 along the Giant Stellar Stream in the 2011 pilot survey datasets, and also 17 new quasars discovered in an area of ~100 sq. deg that covers the central region and the southeastern halo of M31 in the 2010 commissioning datasets. These 526 new quasars have i magnitudes ranging from 15.5 to 20.0, redshifts from 0.1 to 3.2. They represent a significant increase of the number of identified quasars in the vicinity of M31 and M33. There are now 26, 62 and 139 known quasars in this region of the sky with i magnitudes brighter than 17.0, 17.5 and 18.0 respectively, of which 5, 20 and 75 are newly-discovered. These bright quasars provide an invaluable collection with which to probe the kinematics and chemistry of the ISM/IGM in the Local Group of galaxies. A total of 93 quasars are now known with locations within 2.5 deg of M31, of which 73 are newly discovered. Tens of quasars are now known to be located behind the Giant Stellar Stream, and hundreds behind the extended halo and its associated substructures of M31. The much enlarged sample of known quasars in the vicinity of M31 and M33 can potentially be utilized to construct a perfect astrometric reference frame to measure the minute PMs of M31 and M33, along with the PMs of substructures associated with the Local Group of galaxies. Those PMs are some of the most fundamental properties of the Local Group.


title: Microscopic optical potential from chiral nuclear forces

abstract: The energy- and density-dependent single-particle potential for nucleons is constructed in a medium of infinite isospin-symmetric nuclear matter starting from realistic nuclear interactions derived within the framework of chiral effective field theory. The leading-order terms from both two- and three-nucleon forces give rise to real, energy-independent contributions to the nucleon self-energy. The Hartree-Fock contribution from the two-nucleon force is attractive and strongly momentum dependent, in contrast to the contribution from the three-nucleon force which provides a nearly constant repulsive mean field that grows approximately linearly with the nuclear density. Together, the leading-order perturbative contributions yield an attractive single-particle potential that is however too weak compared to phenomenology. Second-order contributions from two- and three-body forces then provide the additional attraction required to reach the phenomenological depth. The imaginary part of the optical potential, which is positive (negative) for momenta below (above) the Fermi momentum, arises at second-order and is nearly inversion-symmetric about the Fermi surface when two-nucleon interactions alone are present. The imaginary part is strongly absorptive and requires the inclusion of an effective mass correction as well as self-consistent single-particle energies to attain qualitative agreement with phenomenology.


title: Comparing gravitational waves from nonprecessing and precessing black hole binaries in the corotating frame

abstract: Previous analytic and numerical calculations suggest that, at each instant, the emission from a precessing black hole binary closely resembles the emission from a nonprecessing analog. In this paper we quantitatively explore the validity and limitations of that correspondence, extracting the radiation from a large collection of roughly two hundred generic black hole binary merger simulations both in the simulation frame and in a corotating frame that tracks precession. To a first approximation, the corotating-frame waveforms resemble nonprecessing analogs, based on similarity over a band-limited frequency interval defined using a fiducial detector (here, advanced LIGO) and the source's total mass $M$. By restricting attention to masses $M\in 100, 1000 M_\odot$, we insure our comparisons are sensitive only to our simulated late-time inspiral, merger, and ringdown signals. In this mass region, every one of our precessing simulations can be fit by some physically similar member of the \texttt{IMRPhenomB} phenomenological waveform family to better than 95%; most fit significantly better. The best-fit parameters at low and high mass correspond to natural physical limits: the pre-merger orbit and post-merger perturbed black hole. Our results suggest that physically-motivated synthetic signals can be derived by viewing radiation from suitable nonprecessing binaries in a suitable nonintertial reference frame. While a good first approximation, precessing systems have degrees of freedom (i.e., the transverse spins) which a nonprecessing simulation cannot reproduce. We quantify the extent to which these missing degrees of freedom limit the utility of synthetic precessing signals for detection and parameter estimation.


title: On the Relation between Context-Free Grammars and Parsing Expression Grammars

abstract: Context-Free Grammars (CFGs) and Parsing Expression Grammars (PEGs) have several similarities and a few differences in both their syntax and semantics, but they are usually presented through formalisms that hinder a proper comparison. In this paper we present a new formalism for CFGs that highlights the similarities and differences between them. The new formalism borrows from PEGs the use of parsing expressions and the recognition-based semantics. We show how one way of removing non-determinism from this formalism yields a formalism with the semantics of PEGs. We also prove, based on these new formalisms, how LL(1) grammars define the same language whether interpreted as CFGs or as PEGs, and also show how strong-LL(k), right-linear, and LL-regular grammars have simple language-preserving translations from CFGs to PEGs.


title: XYZ quantum Heisenberg models with p-orbital bosons

abstract: We demonstrate how the spin-1/2 XYZ quantum Heisenberg model can be realized with bosonic atoms loaded in the p band of an optical lattice in the Mott regime. The combination of Bose statistics and the symmetry of the p-orbital wave functions leads to a nonintegrable Heisenberg model with antiferromagnetic couplings. Moreover, the sign and relative strength of the couplings characterizing the model are shown to be experimentally tunable. We display the rich phase diagram in the one-dimensional case and discuss finite size effects relevant for trapped systems. Finally, experimental issues related to preparation, manipulation, detection, and imperfections are considered.


title: Joint Precoding and Multivariate Backhaul Compression for the Downlink of Cloud Radio Access Networks

abstract: This work studies the joint design of precoding and backhaul compression strategies for the downlink of cloud radio access networks. In these systems, a central encoder is connected to multiple multi-antenna base stations (BSs) via finite-capacity backhaul links. At the central encoder, precoding is followed by compression in order to produce the rate-limited bit streams delivered to each BS over the corresponding backhaul link. In current state-of-the-art approaches, the signals intended for different BSs are compressed independently. In contrast, this work proposes to leverage joint compression, also referred to as multivariate compression, of the signals of different BSs in order to better control the effect of the additive quantization noises at the mobile stations (MSs). The problem of maximizing the weighted sum-rate with respect to both the precoding matrix and the joint correlation matrix of the quantization noises is formulated subject to power and backhaul capacity constraints. An iterative algorithm is proposed that achieves a stationary point of the problem. Moreover, in order to enable the practical implementation of multivariate compression across BSs, a novel architecture is proposed based on successive steps of minimum mean-squared error (MMSE) estimation and per-BS compression. Robust design with respect to imperfect channel state information is also discussed. From numerical results, it is confirmed that the proposed joint precoding and compression strategy outperforms conventional approaches based on the separate design of precoding and compression or independent compression across the BSs.


title: Unification and refinements of Jordan, Adamovi\'c-Mitrinovi\'cand and Cusa's inequalities

abstract: In this paper, we find some new sharp bounds for $\left(\sin x\right) /x$, which unify and refine Jordan, Adamovi\'{c}-Mitrinovi\'{c}and and Cusa's inequalities. As applications of main results, some new Shafer-Fink type inequalities for arc sine function and ones for certain bivariate means are established, and a simpler but more accurate estimate for sine integral is derived.


title: Noether current from surface term, Virasoro algebra and black hole entropy in bigravity

abstract: We consider the static, spherically symmetric black hole solutions in bigravity theory for minimal model with a condition $f_{\mu \nu} = C^{2} g_{\mu \nu}$ and evaluate the entropy for black holes. In this condition, we show that there exists the Schwarzschild solution for $C^{2} = 1$, which is unique consistent solution. We examine how the massive spin-2 field contributes and affects to the Bekenstein-Hawking entropy corresponding to Einstein gravity. In order to obtain the black hole entropy, we use a recently proposed approach which use Virasoro algebra and central charge corresponding to surface term in the gravitational action.