Parity violation in molecular magnetic resonance properties

The Standard Model of particle physics consists of the quantum electrodynamics (QED) and the weak and strong nuclear interactions. The QED is the basis for molecular properties, and thus it defines much of the world we see. The weak nuclear interaction is responsible for decays of nuclei, among other things, and in principle, it should also effects at the molecular scale. The strong nuclear interaction is hidden in interactions inside nuclei. From the high-energy and atomic experiments it is known that the weak interaction does not conserve parity. Consequently, the weak interaction and specifically the exchange of the Z^0 boson between a nucleon and an electron induces small energy shifts of different sign for mirror image molecules. This in turn will make the other enantiomer of a molecule energetically favorable than the other and also shifts the spectral lines of the mirror image pair of molecules into different directions creating a split. Parity violation (PV) in molecules, however, has not been observed. The topic of this thesis is how the weak interaction affects certain molecular magnetic properties, namely certain parameters of nuclear magnetic resonance (NMR) and electron spin resonance (ESR) spectroscopies. The thesis consists of numerical estimates of NMR and ESR spectral parameters and investigations of the effects of different aspects of quantum chemical computations to them. PV contributions to the NMR shielding and spin-spin coupling constants are investigated from the computational point of view. All the aspects of quantum chemical electronic structure computations are found to be very important, which makes accurate computations challenging. Effects of molecular geometry are also investigated using a model system of polysilyene chains. PV contribution to the NMR shielding constant is found to saturate after the chain reaches a certain length, but the effects of local geometry can be large. Rigorous vibrational averaging is also performed for a relatively small and rigid molecule. Vibrational corrections to the PV contribution are found to be only a couple of per cents. PV contributions to the ESR g-tensor are also evaluated using a series of molecules. Unfortunately, all the estimates are below the experimental limits, but PV in some of the heavier molecules comes close to the present day experimental resolution.

Dependence Logic: Investigations into Higher-Order Semantics Defined on Teams

This thesis is a study of a rather new logic called dependence logic and its closure under classical negation, team logic. In this thesis, dependence logic is investigated from several aspects. Some rules are presented for quantifier swapping in dependence logic and team logic. Such rules are among the basic tools one must be familiar with in order to gain the required intuition for using the logic for practical purposes. The thesis compares Ehrenfeucht-Fraïssé (EF) games of first order logic and dependence logic and defines a third EF game that characterises a mixed case where first order formulas are measured in the formula rank of dependence logic. The thesis contains detailed proofs of several translations between dependence logic, team logic, second order logic and its existential fragment. Translations are useful for showing relationships between the expressive powers of logics. Also, by inspecting the form of the translated formulas, one can see how an aspect of one logic can be expressed in the other logic. The thesis makes preliminary investigations into proof theory of dependence logic. Attempts focus on finding a complete proof system for a modest yet nontrivial fragment of dependence logic. A key problem is identified and addressed in adapting a known proof system of classical propositional logic to become a proof system for the fragment, namely that the rule of contraction is needed but is unsound in its unrestricted form. A proof system is suggested for the fragment and its completeness conjectured. Finally, the thesis investigates the very foundation of dependence logic. An alternative semantics called 1-semantics is suggested for the syntax of dependence logic. There are several key differences between 1-semantics and other semantics of dependence logic. 1-semantics is derived from first order semantics by a natural type shift. Therefore 1-semantics reflects an established semantics in a coherent manner. Negation in 1-semantics is a semantic operation and satisfies the law of excluded middle. A translation is provided from unrestricted formulas of existential second order logic into 1-semantics. Also game theoretic semantics are considerd in the light of 1-semantics.

Service Composition on a Mobile Phone

With the recent increase in interest in service-oriented architectures (SOA) and Web services, developing applications with the Web services paradigm has become feasible. Web services are self-describing, platform-independent computational elements. New applications can be assembled from a set of previously created Web services, which are composed together to make a service that uses its components to perform a certain task. This is the idea of service composition. To bring service composition to a mobile phone, I have created Interactive Service Composer for mobile phones. With Interactive Service Composer, the user is able to build service compositions on his mobile phone, consisting of Web services or services that are available from the mobile phone itself. The service compositions are reusable and can be saved in the phone's memory. Previously saved compositions can also be used in new compositions. While developing applications for mobile phones has been possible for some time, the usability of the solutions is not the same as when developing for desktop computers. When developing for mobile phones, the developer has to more carefully consider the decisions he is going to make with the program he is developing. With the lack of processing power and memory, the applications cannot function as well as on desktop PCs. On the other hand, this does not remove the appeal of developing applications for mobile devices.

Kirkko, Kekkonen ja kommunismi poliittisina kriisivuosina 1958-1962

This study explores the relationship of the Evangelical Lutheran Church of Finland to communism and political power during the period of crises in Finnish foreign relations with the Soviet Union from 1958 to 1962. During this period the USSR repeatedly interfered in Finland´s domestic affairs and limited her foreign political freedom of action. The research subjects for this dissertation are the bishops of the Church of Finland and the newspaper Kotimaa, which can be regarded as the unofficial organ of the church at the time. A typical characteristic of the Church of Finland from the beginning of the twentieth century was patriotism. During the interwar years the church was strongly anti-communist and against the Soviet Union. This tendency was also evident during the Second World War. After the war the Finnish Church feared that the rise of the extreme left would jeopardize its position. The church, however, succeeded in maintaining its status as a state church throughout the critical years immediately following the war. This study indicates that, although the manner of expression altered, the political attitude of the church did not substantially change during the postwar period. In the late 1950s and early 1960s the church was still patriotic and fear of the extreme left was also evident among the leaders of the church. The victory of the Finnish People's Democratic League in the general election of 1958 was an unwelcome surprise to the church. This generated fear in the church that, with Soviet support, the Finnish communists might return to governmental power and the nation could become a people's democracy. Accordingly, the church tried to encourage other parties to set aside their disagreements and act together against the extreme left throughout the period under study. The main characteristics of the church´s political agenda during this period of crisis were to support the Finnish foreign policy led by the president of the republic, Urho Kekkonen, and to resist Finnish communism. The attitude of Finnish bishops and the newspaper Kotimaa to the Cold War in general was generally in agreement with the majority of western Christians. They feared communism, were afraid of the USSR, but supported peaceful co-existence because they did not want an open conflict with the Soviets. Because of uncertainties in Finland's international position the Finnish Church regarded it as necessary to support the Finnish policy of friendship towards the USSR. The Finnish Church considerer it unwise to openly criticize the Soviet Union, tried resist the spread of communism in Finnish domestic policy. This period of foreign policy crises was principally seen by the church as a time when there was a need to strengthen Finland's unstable national position.

The role of productivity in the ecological and evolutionary dynamics of predator-prey interaction

Productivity is predicted to drive the ecological and evolutionary dynamics of predator-prey interaction through changes in resource allocation between different traits. However, resources are seldom constantly available and thus temporal variation in productivity could have considerable effect on the species' potential to evolve. To study this, three long-term microbial laboratory experiments were established where Serratia marcescens prey bacteria was exposed to predation of protist Tetrahymena thermophila in different prey resource environments. The consequences of prey resource availability for the ecological properties of the predator-prey system, such as trophic dynamics, stability, and virulence, were determined. The evolutionary changes in species traits and prey genetic diversity were measured. The prey defence evolved stronger in high productivity environment. Increased allocation to defence incurred cost in terms of reduced prey resource use ability, which probably constrained prey evolution by increasing the effect of resource competition. However, the magnitude of this trade-off diminished when measured in high resource concentrations. Predation selected for white, non-pigmented, highly defensive prey clones that produced predation resistant biofilm. The biofilm defence was also potentially accompanied with cytotoxicity for predators and could have been traded off with high motility. Evidence for the evolution of predators was also found in one experiment suggesting that co-evolutionary dynamics could affect the evolution and ecology of predator-prey interaction. Temporal variation in resource availability increased variation in predator densities leading to temporally fluctuating selection for prey defences and resource use ability. Temporal variation in resource availability was also able to constrain prey evolution when the allocation to defence incurred high cost. However, when the magnitude of prey trade-off was small and the resource turnover was periodically high, temporal variation facilitated the formation of predator resistant biofilm. The evolution of prey defence constrained the transfer of energy from basal to higher trophic levels, decreasing the strength of top-down regulation on prey community. Predation and temporal variation in productivity decreased the stability of populations and prey traits in general. However, predation-induced destabilization was less pronounced in the high productivity environment where the evolution of prey defence was stronger. In addition, evolution of prey defence weakened the environmental variation induced destabilization of predator population dynamics. Moreover, protozoan predation decreased the S. marcescens virulence in the insect host moth (Parasemia plantaginis) suggesting that species interactions outside the context of host-pathogen relationship could be important indirect drivers for the evolution of pathogenesis. This thesis demonstrates that rapid evolution can affect various ecological properties of predator-prey interaction. The effect of evolution on the ecological dynamics depended on the productivity of the environment, being most evident in the constant environments with high productivity.

Farmland birds and habitat heterogeneity in intensively cultivated boreal agricultural landscapes

The biodiversity of farmland ecosystems has decreased remarkably during the latter half of the 20th century, and this development is due to intensive farming with its various environmental effects. In the countries of the EU the Common Agricultural Policy (CAP) is the main determinant affecting farmland biodiversity, since the agricultural policy defines guidelines of agricultural practices. In addition to policies promoting intensive farming, CAP also includes national agri-environment schemes (AES), in which a part of subsidies paid to farmers is directed to acts that are presumed to promote environmental protection and biodiversity. In order to shape AES into relevant and powerful tools for biodiversity protection, detailed studies on the effects of agriculture on species and species assemblages are needed. In my thesis I investigated the importance of habitat heterogeneity and effects of different habitat and landscape characteristics on farmland bird abundance and diversity in typical cereal cultivation-dominated southern Finnish agricultural environments. The extensive data used were collected by territory mapping. My two main study species were the drastically declined ortolan bunting (Emberiza hortulana) and the phenomenally increased tree sparrow (Passer montanus); in addition I studied assemblages of 20 species breeding in open arable and edge/bush habitats. In light of my results I discuss whether the Finnish AES take into account the habitat needs of farmland birds, and I provide suggestions for improvement of the future AES. My results show that heterogeneity of both uncultivated and cultivated habitats increases abundance and species richness among farmland birds, but in this respect the amount and diversity of uncultivated habitats are essential. Ditches in particular are a keystone structure for farmland birds in boreal landscapes. Ditches lined by trees or bushes increased ortolan bunting abundance. Loss of that kind of ditches (and clearance of forest and bush patches), reduced breeding ortolan buntings, mainly by decreasing availability of song-posts that are important for the breeding groups of the species. Heterogeneity of uncultivated habitats, most importantly open ditches and the habitat patch richness, increased densities and species richnesses of species assemblages of open arable and edge/bush habitats. Human impact (winter-feeding, nest-boxes) affected favourably the tree sparrow s rapid range expansion in southern Finland, but any habitat types had no significant effects. At the moment the Finnish agri-environmental policy does not conserve farmland ditches as a habitat type. Instead, sub-surface drainage is financially promoted. This is a fatal mistake as far as farmland biodiversity is concerned. In addition to the maintenance of ditches, at least the following aspects should be included more than is done previously in the measures of the future AES: 1) promotion of diverse crop rotation (especially by promoting animal husbandry), 2) maintenance of tree and bush vegetation in islets and along ditches, 3) promotion of organic farming.