The independence of control structures in abstract programming systems

AbstractAn instance of a control structure is a mapping which takes one or more programs into a new program whose behavior is based on that of the original programs. An instance of a control structure is effective iff it is effectively computable. In order to study the interrelationships of control structures, . we consider abstract programming systems (numberings of the partial recursive functions) in which some control structures, effective or otherwise, are present, but others are not. This paper uses the techniques of recursive function theory, including recursion theorems and priority arguments to prove the independence of certain control structures in abstract programming systems. For example, we have obtained the following results. In effective numberings of the partial recursive functions, the one-one effective Kleene recursion theorem and the one-one effective (partial) if-then-else control structure are independent, but together, they yield all effective control structures. In any effective numbering, the effective Kleene form of the double recursion theorem yields all effective control structures

Tight bounds for parallel randomized load balancing

Given a distributed system of n balls and n bins, how evenly can we distribute the balls to the bins, minimizing communication? The fastest non-adaptive and symmetric algorithm achieving a constant maximum bin load requires Θ(loglogn) rounds, and any such algorithm running for r∈O(1) rounds incurs a bin load of Ω((logn/loglogn)1/r). In this work, we explore the fundamental limits of the general problem. We present a simple adaptive symmetric algorithm that achieves a bin load of 2 in log∗n+O(1) communication rounds using O(n) messages in total. Our main result, however, is a matching lower bound of (1−o(1))log∗n on the time complexity of symmetric algorithms that guarantee small bin loads. The essential preconditions of the proof are (i) a limit of O(n) on the total number of messages sent by the algorithm and (ii) anonymity of bins, i.e., the port numberings of balls need not be globally consistent. In order to show that our technique yields indeed tight bounds, we provide for each assumption an algorithm violating it, in turn achieving a constant maximum bin load in constant time.German Research Foundation (DFG, reference number Le 3107/1-1)Society of Swiss Friends of the Weizmann Institute of ScienceSwiss National Fun

New definitions in the theory of Type 1 computable topological spaces

Motivated by the two remarks, that the study of computability based on the use of numberings -- Type 1 computability -- does not have to be restricted to countable sets equipped with onto numberings, and that computable topologies have been in part developed with the implicit hypothesis that the considered spaces should be computably separable, we propose new definitions for Type 1 computable topological spaces. We define computable topological spaces without making reference to a basis. Following Spreen, we show that the use of a formal inclusion relation should be systematized, and that it cannot be avoided if we want computable topological spaces to generalize computable metric spaces. We also compare different notions of effective bases. The first one, introduced by Nogina, is based on an effective version of the statement "a set $O$ is open if for any point in $O$, there is a basic set containing that point and contained in $O$''. The second one, associated to Lacombe, is based on an effective version of "a set $O$ is open if it can be written as a union of basic open sets''. We show that neither of these notions of basis is completely satisfactory: Nogina bases do not permit to define computable topologies unless we restrict our attention to countable sets, and the conditions associated to Lacombe bases are too restrictive, and they do not apply to metric spaces unless we add effective separability hypotheses. We define a new notion of basis, based on an effective version of the Nogina statement, but adding to it several classically empty conditions, expressed in terms of formal inclusion relations. Finally, we obtain a new version of the theorem of Moschovakis which states that the Lacombe and Nogina approaches coincide on countable recursive Polish spaces, but which applies to sets equipped with non-onto numberings, and with effective separability as a sole hypothesis.Comment: 50 pages, 2 figure

On the Semantics of Intensionality and Intensional Recursion

Intensionality is a phenomenon that occurs in logic and computation. In the most general sense, a function is intensional if it operates at a level finer than (extensional) equality. This is a familiar setting for computer scientists, who often study different programs or processes that are interchangeable, i.e. extensionally equal, even though they are not implemented in the same way, so intensionally distinct. Concomitant with intensionality is the phenomenon of intensional recursion, which refers to the ability of a program to have access to its own code. In computability theory, intensional recursion is enabled by Kleene's Second Recursion Theorem. This thesis is concerned with the crafting of a logical toolkit through which these phenomena can be studied. Our main contribution is a framework in which mathematical and computational constructions can be considered either extensionally, i.e. as abstract values, or intensionally, i.e. as fine-grained descriptions of their construction. Once this is achieved, it may be used to analyse intensional recursion.Comment: DPhil thesis, Department of Computer Science & St John's College, University of Oxfor

On the application of discrete marginal graphical models

Graphical models are defined by general and possibly complex conditional independence assumptions and are well suited to model direct and indirect associations and effects that are of central importance in many problems of sociology. Such relevance is apparent in research on social mobility. This article provides a unified view of many of the graphical models discussed in a largely scattered literature. The marginal modeling framework proposed here relies on parameters that capture aspects of associations among the variables that are relevant for the graph and, depending on the substantive problem at hand, may lead to deeper insight than other approaches. In this context, model search, which uses a sequence of nested models, means the restriction of increasing subsets of parameters. As a special case, general path models for categorical data are introduced. These models are applied to the social status attainment process, generating substantive results and gaining new insights into the difference between liberal and conservative welfare systems. To help others use these models, all details of the analyses are posted on the Web site for this article at http://nemethr.web.elte.hu/discrete-graphical-models/. Researchers can thus easily modify the analyses to their own data and models

An extensive English language bibliography on graph theory and its applications, supplement 1

Graph theory and its applications - bibliography, supplement

Some general incompleteness results for partial correctness logics

AbstractIt is known that incompleteness of Hoare's logic relative to certain data type specifications can occur due to the ability of partial correctness assertions to code unsolvable problems; cf. Andréka, Németi, and Sain (1979, Lecture Notes in Computer Science Vol. 74, pp. 208–218, Springer-Verlag, New York/Berlin) and Bergstra and Tucker (1982, Theoret. Comput. Sci. 17, 303–315). We improve what we think are the main known theorems of this kind, showing that they depend only on very weak assumptions on the data type specification (ensuring the ability to simulate arbitrarily long finite initial segments of the natural numbers with successor), and pointing out that the recursion theoretic strength of the obtained results can be increased