Society by Numbers : Studies on Model-Based Explanations in the Social Sciences

The aim of this dissertation is to provide conceptual tools for the social scientist for clarifying, evaluating and comparing explanations of social phenomena based on formal mathematical models. The focus is on relatively simple theoretical models and simulations, not statistical models. These studies apply a theory of explanation according to which explanation is about tracing objective relations of dependence, knowledge of which enables answers to contrastive why and how-questions. This theory is developed further by delineating criteria for evaluating competing explanations and by applying the theory to social scientific modelling practices and to the key concepts of equilibrium and mechanism. The dissertation is comprised of an introductory essay and six published original research articles. The main theses about model-based explanations in the social sciences argued for in the articles are the following. 1) The concept of explanatory power, often used to argue for the superiority of one explanation over another, compasses five dimensions which are partially independent and involve some systematic trade-offs. 2) All equilibrium explanations do not causally explain the obtaining of the end equilibrium state with the multiple possible initial states. Instead, they often constitutively explain the macro property of the system with the micro properties of the parts (together with their organization). 3) There is an important ambivalence in the concept mechanism used in many model-based explanations and this difference corresponds to a difference between two alternative research heuristics. 4) Whether unrealistic assumptions in a model (such as a rational choice model) are detrimental to an explanation provided by the model depends on whether the representation of the explanatory dependency in the model is itself dependent on the particular unrealistic assumptions. Thus evaluating whether a literally false assumption in a model is problematic requires specifying exactly what is supposed to be explained and by what. 5) The question of whether an explanatory relationship depends on particular false assumptions can be explored with the process of derivational robustness analysis and the importance of robustness analysis accounts for some of the puzzling features of the tradition of model-building in economics. 6) The fact that economists have been relatively reluctant to use true agent-based simulations to formulate explanations can partially be explained by the specific ideal of scientific understanding implicit in the practise of orthodox economics.

Jumping numbers of a simple complete ideal in a two-dimensional regular local ring

The multiplier ideals of an ideal in a regular local ring form a family of ideals parametrized by non-negative rational numbers. As the rational number increases the corresponding multiplier ideal remains unchanged until at some point it gets strictly smaller. A rational number where this kind of diminishing occurs is called a jumping number of the ideal. In this manuscript we shall give an explicit formula for the jumping numbers of a simple complete ideal in a two dimensional regular local ring. In particular, we obtain a formula for the jumping numbers of an analytically irreducible plane curve. We then show that the jumping numbers determine the equisingularity class of the curve.

A Decentralized Session Management Framework for Heterogeneous Ad-Hoc and Fixed Networks

Wireless technologies are continuously evolving. Second generation cellular networks have gained worldwide acceptance. Wireless LANs are commonly deployed in corporations or university campuses, and their diffusion in public hotspots is growing. Third generation cellular systems are yet to affirm everywhere; still, there is an impressive amount of research ongoing for deploying beyond 3G systems. These new wireless technologies combine the characteristics of WLAN based and cellular networks to provide increased bandwidth. The common direction where all the efforts in wireless technologies are headed is towards an IP-based communication. Telephony services have been the killer application for cellular systems; their evolution to packet-switched networks is a natural path. Effective IP telephony signaling protocols, such as the Session Initiation Protocol (SIP) and the H 323 protocol are needed to establish IP-based telephony sessions. However, IP telephony is just one service example of IP-based communication. IP-based multimedia sessions are expected to become popular and offer a wider range of communication capabilities than pure telephony. In order to conjoin the advances of the future wireless technologies with the potential of IP-based multimedia communication, the next step would be to obtain ubiquitous communication capabilities. According to this vision, people must be able to communicate also when no support from an infrastructured network is available, needed or desired. In order to achieve ubiquitous communication, end devices must integrate all the capabilities necessary for IP-based distributed and decentralized communication. Such capabilities are currently missing. For example, it is not possible to utilize native IP telephony signaling protocols in a totally decentralized way. This dissertation presents a solution for deploying the SIP protocol in a decentralized fashion without support of infrastructure servers. The proposed solution is mainly designed to fit the needs of decentralized mobile environments, and can be applied to small scale ad-hoc networks or also bigger networks with hundreds of nodes. A framework allowing discovery of SIP users in ad-hoc networks and the establishment of SIP sessions among them, in a fully distributed and secure way, is described and evaluated. Security support allows ad-hoc users to authenticate the sender of a message, and to verify the integrity of a received message. The distributed session management framework has been extended in order to achieve interoperability with the Internet, and the native Internet applications. With limited extensions to the SIP protocol, we have designed and experimentally validated a SIP gateway allowing SIP signaling between ad-hoc networks with private addressing space and native SIP applications in the Internet. The design is completed by an application level relay that permits instant messaging sessions to be established in heterogeneous environments. The resulting framework constitutes a flexible and effective approach for the pervasive deployment of real time applications.

Living on voles - plastic life of the Ural owl

Individuals face variable environmental conditions during their life. This may be due to migration, dispersion, environmental changes or, for example, annual variation in weather conditions. Genetic adaptation to a novel environment happens through natural selection. Phenotypic plasticity allows, however, a quick individual response to a new environment. Phenotypic plasticity may also be beneficial for individual if the environment is highly variable. For example, eggs are costly to produce. If the food conditions vary significantly between breeding seasons it is useful to be able to adjust the clutch and egg size according to the food abundance. In this thesis I use Ural owl vole system to study phenotypic plasticity and natural selection using a number of reproduction related traits. The Ural owl (Strix uralensis) is a long-lived and sedentary species. The reproduction and survival of the Ural owl, in fact their whole life, is tied to the dramatically fluctuating vole densities. Ural owls do not cause vole cycles but they have to adjust their behaviour to the rather predictable population fluctuations of these small mammals. Earlier work with this system has shown that Ural owl laying date and clutch size are plastic in relation to vole abundance. Further, individual laying date clutch size reaction norms have been shown to vary in the amount of plasticity. My work extends the knowledge of natural selection and phenotypic plasticity in traits related to reproduction. I show that egg size, timing of the onset of incubation and nest defense aggressiveness are plastic traits with fitness consequences for the Ural owl. Although egg size is in general thought to be a fixed characteristic of an individual, this highly heritable trait in the Ural owl is also remarkably plastic in relation to the changes in vole numbers, Ural owls are laying the largest eggs when their prey is most abundant. Timing of the onset of incubation is an individual-specific property and plastic in relation to clutch size. Timing of incubation is an important underlying cause for asynchronous hatching in birds. Asynchronous hatching is beneficial to offspring survival in Ural owl. Hence, timing of the onset of incubation may also be under natural selection. Ural owl females also adjust their nest defense aggressiveness according to the vole dynamics, being most aggressive in years when they produce the largest broods. Individual females show different levels of nest defense aggressiveness. Aggressiveness is positively correlated with the phenotypic plasticity of aggressiveness. As elevated nest defense aggressiveness is selected for, it may promote the plasticity of aggressive nest defense behaviour. All the studied traits are repeatable or heritable on individual level, and their expression is either directly or indirectly sensitive to changes in vole numbers. My work considers a number of important fitness-related traits showing phenotypic plasticity in all of them. Further, in two chapters I show that there is individual variation in the amount of plasticity exhibited. These findings on plasticity in reproduction related traits suggest that variable environments indeed promote plasticity.

The effects of low-intensity ultrasound in bioabsorbable self-reinforced poly-L-lactide -fixed cancellous bone fracture

The purpose of the present study was to investigate the effects of low-intensity ultrasound on bioabsorbable self-reinforced poly-L-lactide (SR-PLLA) screws and on fracture healing after SR-PLLA device fixation in experimental and clinical cancellous bone fracture. In the first experimental study, the assessment of the mechanical strengths of the SR-PLLA screws was performed after 12 weeks of daily 20-minute ultrasound exposure in vitro. In the second experimental study, 32 male Wistar rats with an experimental distal femur osteotomy fixed with an SR-PLLA rod were exposed for daily low-intensity ultrasound treatment for 21 days. The effects on the healing bone were assessed. The clinical studies consist of three prospective, randomized, and placebo-controlled series of dislocated lateral malleolar fractures fixed with one SR-PLLA screw. The total number of the patients in these series was 52. Half of the patients were provided randomly with a sham ultrasound device. The patients underwent ultrasound therapy 20 minutes daily for six weeks. Radiological bone healing was assessed both by radiographs at two, six, nine, and 12 weeks and by multidetector computed tomography (MDCT) scans at two weeks, nine weeks, and 18 months. Bone mineral density was assessed by dual-energy X-ray absorptiometry (DXA). The clinical outcome was assessed by both Olerud-Molander scoring and clinical examination of the ankle. Low-intensity ultrasound had no effects on the mechanical properties and degradation behaviour of the SR-PLLA screws in vitro. There were no obvious signs of low-intensity ultrasound-induced enhancement in the bone healing in SR-PLLA-rod-fixed metaphyseal distal femur osteotomy in rats. The biocompatibility of low-intensity ultrasound treatment and SR-PLLA was found to be good. In the clinical series low-intensity ultrasound was observed to have no obvious effects on the bone mineral density of the fractured lateral malleolus. There were no obvious differences in the radiological bone healing times of the SR-PLLA-screw-fixed lateral malleolar fractures after low-intensity ultrasound treatment. Low-intensity ultrasound did not have any effects on radiological bone morphology, bone mineral density or clinical outcome 18 months after the injury. There were no obvious findings in the present study to support the hypothesis that low-intensity pulsed ultrasound enhances bone healing in SR-PLLA-rod-fixed experimental metaphyseal distal femur osteotomy in rats or in clinical SR-PLLA-screw-fixed lateral malleolar fractures. It is important to limit the conclusions of the present set of studies only to lateral malleolar fractures fixed with an SR-PLLA screw.

Playing Games on Sets and Models

The most prominent objective of the thesis is the development of the generalized descriptive set theory, as we call it. There, we study the space of all functions from a fixed uncountable cardinal to itself, or to a finite set of size two. These correspond to generalized notions of the universal Baire space (functions from natural numbers to themselves with the product topology) and the Cantor space (functions from natural numbers to the {0,1}-set) respectively. We generalize the notion of Borel sets in three different ways and study the corresponding Borel structures with the aims of generalizing classical theorems of descriptive set theory or providing counter examples. In particular we are interested in equivalence relations on these spaces and their Borel reducibility to each other. The last chapter shows, using game-theoretic techniques, that the order of Borel equivalence relations under Borel reduciblity has very high complexity. The techniques in the above described set theoretical side of the thesis include forcing, general topological notions such as meager sets and combinatorial games of infinite length. By coding uncountable models to functions, we are able to apply the understanding of the generalized descriptive set theory to the model theory of uncountable models. The links between the theorems of model theory (including Shelah's classification theory) and the theorems in pure set theory are provided using game theoretic techniques from Ehrenfeucht-Fraïssé games in model theory to cub-games in set theory. The bottom line of the research declairs that the descriptive (set theoretic) complexity of an isomorphism relation of a first-order definable model class goes in synch with the stability theoretical complexity of the corresponding first-order theory. The first chapter of the thesis has slightly different focus and is purely concerned with a certain modification of the well known Ehrenfeucht-Fraïssé games. There we (me and my supervisor Tapani Hyttinen) answer some natural questions about that game mainly concerning determinacy and its relation to the standard EF-game

Magnetorotational instability driven dynamos at low magnetic Prandtl numbers

Numerical simulations of the magnetorotational instability (MRI) with zero initial net flux in a non-stratified isothermal cubic domain are used to demonstrate the importance of magnetic boundary conditions. In fully periodic systems the level of turbulence generated by the MRI strongly decreases as the magnetic Prandtl number (Pm), which is the ratio of kinematic viscosity and magnetic diffusion, is decreased. No MRI or dynamo action below Pm=1 is found, agreeing with earlier investigations. Using vertical field conditions, which allow magnetic helicity fluxes out of the system, the MRI is found to be excited in the range 0.1