Locality and order-invariant logics

Malli on logiikassa käytetty abstraktio monille matemaattisille objekteille. Esimerkiksi verkot, ryhmät ja metriset avaruudet ovat malleja. Äärellisten mallien teoria on logiikan osa-alue, jossa tarkastellaan logiikkojen, formaalien kielten, ilmaisuvoimaa malleissa, joiden alkioiden lukumäärä on äärellinen. Rajoittuminen äärellisiin malleihin mahdollistaa tulosten soveltamisen teoreettisessa tietojenkäsittelytieteessä, jonka näkökulmasta logiikan kaavoja voidaan ajatella ohjelmina ja äärellisiä malleja niiden syötteinä. Lokaalisuus tarkoittaa logiikan kyvyttömyyttä erottaa toisistaan malleja, joiden paikalliset piirteet vastaavat toisiaan. Väitöskirjassa tarkastellaan useita lokaalisuuden muotoja ja niiden säilymistä logiikkoja yhdistellessä. Kehitettyjä työkaluja apuna käyttäen osoitetaan, että Gaifman- ja Hanf-lokaalisuudeksi kutsuttujen varianttien välissä on lokaalisuuskäsitteiden hierarkia, jonka eri tasot voidaan erottaa toisistaan kasvavaa dimensiota olevissa hiloissa. Toisaalta osoitetaan, että lokaalisuuskäsitteet eivät eroa toisistaan, kun rajoitutaan tarkastelemaan äärellisiä puita. Järjestysinvariantit logiikat ovat kieliä, joissa on käytössä sisäänrakennettu järjestysrelaatio, mutta sitä on käytettävä siten, etteivät kaavojen ilmaisemat asiat riipu valitusta järjestyksestä. Määritelmää voi motivoida tietojenkäsittelyn näkökulmasta: vaikka ohjelman syötteen tietojen järjestyksellä ei olisi odotetun tuloksen kannalta merkitystä, on syöte tietokoneen muistissa aina jossakin järjestyksessä, jota ohjelma voi laskennassaan hyödyntää. Väitöskirjassa tutkitaan minkälaisia lokaalisuuden muotoja järjestysinvariantit ensimmäisen kertaluvun predikaattilogiikan laajennukset yksipaikkaisilla kvanttoreilla voivat toteuttaa. Tuloksia sovelletaan tarkastelemalla, milloin sisäänrakennettu järjestys lisää logiikan ilmaisuvoimaa äärellisissä puissa.

On the Geometry of Infinite-Dimensional Grassmannian Manifolds and Gauge Theory

This PhD Thesis is about certain infinite-dimensional Grassmannian manifolds that arise naturally in geometry, representation theory and mathematical physics. From the physics point of view one encounters these infinite-dimensional manifolds when trying to understand the second quantization of fermions. The many particle Hilbert space of the second quantized fermions is called the fermionic Fock space. A typical element of the fermionic Fock space can be thought to be a linear combination of the configurations m particles and n anti-particles . Geometrically the fermionic Fock space can be constructed as holomorphic sections of a certain (dual)determinant line bundle lying over the so called restricted Grassmannian manifold, which is a typical example of an infinite-dimensional Grassmannian manifold one encounters in QFT. The construction should be compared with its well-known finite-dimensional analogue, where one realizes an exterior power of a finite-dimensional vector space as the space of holomorphic sections of a determinant line bundle lying over a finite-dimensional Grassmannian manifold. The connection with infinite-dimensional representation theory stems from the fact that the restricted Grassmannian manifold is an infinite-dimensional homogeneous (Kähler) manifold, i.e. it is of the form G/H where G is a certain infinite-dimensional Lie group and H its subgroup. A central extension of G acts on the total space of the dual determinant line bundle and also on the space its holomorphic sections; thus G admits a (projective) representation on the fermionic Fock space. This construction also induces the so called basic representation for loop groups (of compact groups), which in turn are vitally important in string theory / conformal field theory. The Thesis consists of three chapters: the first chapter is an introduction to the backround material and the other two chapters are individually written research articles. The first article deals in a new way with the well-known question in Yang-Mills theory, when can one lift the action of the gauge transformation group on the space of connection one forms to the total space of the Fock bundle in a compatible way with the second quantized Dirac operator. In general there is an obstruction to this (called the Mickelsson-Faddeev anomaly) and various geometric interpretations for this anomaly, using such things as group extensions and bundle gerbes, have been given earlier. In this work we give a new geometric interpretation for the Faddeev-Mickelsson anomaly in terms of differentiable gerbes (certain sheaves of categories) and central extensions of Lie groupoids. The second research article deals with the question how to define a Dirac-like operator on the restricted Grassmannian manifold, which is an infinite-dimensional space and hence not in the landscape of standard Dirac operator theory. The construction relies heavily on infinite-dimensional representation theory and one of the most technically demanding challenges is to be able to introduce proper normal orderings for certain infinite sums of operators in such a way that all divergences will disappear and the infinite sum will make sense as a well-defined operator acting on a suitable Hilbert space of spinors. This research article was motivated by a more extensive ongoing project to construct twisted K-theory classes in Yang-Mills theory via a Dirac-like operator on the restricted Grassmannian manifold.

On Games on Non-Wellfounded Sets and Stationary Sets

In this thesis we study a few games related to non-wellfounded and stationary sets. Games have turned out to be an important tool in mathematical logic ranging from semantic games defining the truth of a sentence in a given logic to for example games on real numbers whose determinacies have important effects on the consistency of certain large cardinal assumptions. The equality of non-wellfounded sets can be determined by a so called bisimulation game already used to identify processes in theoretical computer science and possible world models for modal logic. Here we present a game to classify non-wellfounded sets according to their branching structure. We also study games on stationary sets moving back to classical wellfounded set theory. We also describe a way to approximate non-wellfounded sets with hereditarily finite wellfounded sets. The framework used to do this is domain theory. In the Banach-Mazur game, also called the ideal game, the players play a descending sequence of stationary sets and the second player tries to keep their intersection stationary. The game is connected to precipitousness of the corresponding ideal. In the pressing down game first player plays regressive functions defined on stationary sets and the second player responds with a stationary set where the function is constant trying to keep the intersection stationary. This game has applications in model theory to the determinacy of the Ehrenfeucht-Fraisse game. We show that it is consistent that these games are not equivalent.

Performance of slotted ALOHA satellite channels with finite buffer

The behaviour of the slotted ALOHA satellite channel with a finite buffer at each of the user terminals is studied. Approximate relationships between the queuing delay, overflow probabilities and buffer size are derived as functions of the system input parameters (i.e. the number of users, the traffic intensity, the transmission and the retransmission probabilities) for two cases found in the literature: the symmetric case (same transmission and retransmission probabilities), and the asymmetric case (transmission probability far greater than the retransmission probability). For comparison, the channel performance with an infinite buffer is also derived. Additionally, the stability condition for the system is defined in the latter case. The analysis carried out in the paper reveals that the queuing delays are quite significant, especially under high traffic conditions.

Appearance of "Fragile" Fermi Liquids in Finite-Width Mott Insulators Sandwiched between Metallic Leads

Using inhomogeneous dynamical mean-field theory, we show that the normal-metal proximity effect could force any finite number of Mott-insulating "barrier" planes sandwiched between semi-infinite metallic leads to become "fragile" Fermi liquids. They are fully Fermi-liquid-like at T=0, leading to a restoration of lattice periodicity at zero frequency, with a well-defined Fermi surface, and perfect (ballistic) conductivity. However, the Fermi-liquid character can rapidly disappear at finite omega, V, T, disorder, or magnetism, all of which restore the expected quantum tunneling regime, leading to fascinating possibilities for nonlinear response in devices.

Finite element analysis of curved anisotropic laminated hollow bars

Curved hollow bars of laminated anisotropic construction are used as structural members in many industries. They are used in order to save weight without loss of stiffness in comparison with solid sections. In this paper are presented the details of the development of the stiffness matrices of laminated anisotropic curved hollow bars under line member assumptions for two typical sections, circular and square. They are 16dof elements which make use of one-dimensional first-order Hermite interpolation polynomials for the description of assumed displacement state. Problems for which analytical or other solutions are available are first solved using these elements. Good agreement was found between the results. In order to show the capability of the element, application is made to carbon fibre reinforced plastic layered anisotropic curved hollow bars.

Finite element analysis of laminated anisotropic beams of bimodulus materials

This paper presents finite element analysis of laminated anisotropic beams of bimodulus materials. The finite element has 16 d.o.f. and uses the displacement field in terms of first order Hermite interpolation polynomials. As the neutral axis position may change from point to point along the length of the beam, an iterative procedure is employed to determine the location of zero strain points along the length. Using this element some problems of laminated beams of bimodulus materials are solved for concentrated loads/moments perpendicular and parallel to the layering planes as well as combined loads.

Curriculum frames for two different groups of teachers in Indonesia

This paper reports on a study conducted in Indonesia at a time when two curricular reforms were underway. School-based curriculum was being implemented to allow Indonesian teachers more autonomy to develop curriculum to suit their local school community and its needs. Alongside this, the second concurrent reform introducing Character Education was more strongly prescriptive, requiring all teachers, including those working in language education, to address a particular set of stipulated values across all classes. The Indonesian schooling sector employs teachers at two different levels of professional status: civil servant teachers working in the higher status public sector and non-civil servant teachers who teach in the private Islamic Schools. Each level received different professional learning opportunities to prepare for the reforms. This study is interested in whether and how EFL teachers of different status exercised degrees of professionalism as they recontextualised these reforms in their classes. Nine teachers were interviewed and three of their classes were observed. This study found that the group of teachers with more professional learning could cope better with the weaker framing of school-based curriculum, while teachers with less professional learning reported disengagement with the reforms.

Non-diffusive classical transport in a medium with static randomness

The probability distribution for the displacement x of a particle moving in a one-dimensional continuum is derived exactly for the general case of combined static and dynamic gaussian randomness of the applied force. The dynamics of the particle is governed by the high-friction limit of Brownian motion discussed originally by Einstein and Smoluchowski. In particular, the mean square displacement of the particle varies as t2 for t to infinity . This ballistic motion induced by the disorder does not give rise to a 1/f power spectrum, contrary to recent suggestions based on the above dynamical model.

On the reactivity of carboxyl groups of ribonuclease-A in anhydrous methanol

The esterification of Ribonuclease-A in methanol/0.1 M hydrochloric acid has been studied by measuring the decrease in the number of titratable groups of the protein and estimating the amount of methanol incorporated. Esterification of nearly five of the 11 free carboxyl groups of the protein resulted in almost complete inactivation of the enzyme. The initial products of esterification have been chromatographed on Amberlite columns, and five partially active methyl ester derivatives of Ribonuclease-A have been isolated. The dimethyl ester, the initial product of esterification with reduced catalytic activity, has the carboxyl groups of Glu-49 and Asp-53 modified. Even in the non-aqueous solvent, as in the native structure of the protein in aqueous solution, these carboxyl groups are the fast reacting ones. Subsquently, the esterification reaction appears to proceed preferentially at the C-terminal region of the molecule. Comparison of the reactivities of carboxyl groups of Ribonuclease-A in acidic methanol to that known in aqueous solutions (with carbodiimides) suggests that the structure of Ribonuclease-A in the non-aqueous solvent resembles, at least in part, the structure in aqueous environment.

Purification and properties of Image -mandelate-4-hydroxylase from Pseudomonas convexa

An inducible Image -mandelate-4-hydroxylase has been partially purified from crude extracts of Pseudomonas convexa. This enzyme catalyzed the hydroxylation of Image -mandelic acid to 4-hydroxymandelic acid. It required tetrahydropteridine, NADPH, Fe2+, and O2 for its activity. The approximate molecular weight of the enzyme was assessed as 91,000 by gel filtration on Sephadex G-150. The enzyme was optimally active at pH 5.4 and 38 °C. A classical Michaelis-Menten kinetic pattern was observed with Image -mandelate, NADPH, and ferrous sulfate and Km values for these substrates were found to be 1 × 10−4, 1.9 × 10−4, and 4.7 × 10−5 Image , respectively. The enzyme is very specific for Image -mandelate as substrate. Thiol inhibitors inhibited the enzyme reaction, indicating that the sulfhydryl groups may be essential for the enzyme action. Treatment of the partially purified enzyme with denaturing agents inactivated the enzyme.

Inductor realisation using a finite gain differential amplifier

A finite gain differential amplifier is used along with a few passive RC elements to simulate an inductor. Methods for obtaining low Q inductance and frequency dependent high QI inductance are described. Sensitivity analysis when the gain varies is also included.

Synthesis of a one-dimensional coordination polymer containing pendant hydrosulfide groups

In view of the recent interest in compounds containing M-SH units, an organotin hydrosulfide compound, Me2Sn(SH)(O2CMe) (1) was prepared by controlled hydrolysis of the diorganotin thioacetate. Under similar mild hydrolytic conditions the corresponding benzoate could not be isolated. Instead, the thiobenzoate complex, Me2Sn(SOCPh)(2) (3) was obtained in excellent yields indicating that there was no hydrolysis. Both 1 and 3 were characterized by X-ray crystallography. Some properties of the polymeric compound 1, such as spectral, electrical conductivity and NLO response were also studied. The reactivity and properties were explained using density functional calculations.

Review of continuum, finite element and hybrid techniques in the analysis of stress concentrations in structures

When a uniform flow of any nature is interrupted, the readjustment of the flow results in concentrations and rare-factions, so that the peak value of the flow parameter will be higher than that which an elementary computation would suggest. When stress flow in a structure is interrupted, there are stress concentrations. These are generally localized and often large, in relation to the values indicated by simple equilibrium calculations. With the advent of the industrial revolution, dynamic and repeated loading of materials had become commonplace in engine parts and fast moving vehicles of locomotion. This led to serious fatigue failures arising from stress concentrations. Also, many metal forming processes, fabrication techniques and weak-link type safety systems benefit substantially from the intelligent use or avoidance, as appropriate, of stress concentrations. As a result, in the last 80 years, the study and and evaluation of stress concentrations has been a primary objective in the study of solid mechanics. Exact mathematical analysis of stress concentrations in finite bodies presents considerable difficulty for all but a few problems of infinite fields, concentric annuli and the like, treated under the presumption of small deformation, linear elasticity. A whole series of techniques have been developed to deal with different classes of shapes and domains, causes and sources of concentration, material behaviour, phenomenological formulation, etc. These include real and complex functions, conformal mapping, transform techniques, integral equations, finite differences and relaxation, and, more recently, the finite element methods. With the advent of large high speed computers, development of finite element concepts and a good understanding of functional analysis, it is now, in principle, possible to obtain with economy satisfactory solutions to a whole range of concentration problems by intelligently combining theory and computer application. An example is the hybridization of continuum concepts with computer based finite element formulations. This new situation also makes possible a more direct approach to the problem of design which is the primary purpose of most engineering analyses. The trend would appear to be clear: the computer will shape the theory, analysis and design.