Theoretical evidence and chemical origin of the magnetism-dependent electrostructural coupling in La2NiMnO6

Using first-principles density-functional calculations, we determine and analyze the Born effective charges Z(*) that describe the coupling between electric field and atomic displacements for ferromagnetic double-perovskite compound, La2NiMnO6. We find that th Born effective charge matrix of Ni in La2NiMnO6, has an anomalously large antisymmetric component, whose magnitude reduces substantially upon change in the magnetic ordering between Ni and Mn, showing it to be a magnetism-dependent electrostructural coupling. We use a local picture of the electronic structure obtained with Wannier functions, along with its band-by-band decomposition to determine its electronic origin.

Representation of functional dependencies in relational databases using linear graphs

Functional dependencies in relational databases are investigated. Eight binary relations, viz., (1) dependency relation, (2) equipotence relation, (3) dissidence relation, (4) completion relation, and dual relations of each of them are described. Any one of these eight relations can be used to represent the functional dependencies in a database. Results from linear graph theory are found helpful in obtaining these representations. The dependency relation directly gives the functional dependencies. The equipotence relation specifies the dependencies in terms of attribute sets which functionally determine each other. The dissidence relation specifies the dependencies in terms of saturated sets in a very indirect way. Completion relation represents the functional dependencies as a function, the range of which turns out to be a lattice. Depletion relation which is the dual of the completion relation can also represent functional dependencies and similarly can the duals of dependency, equipotence, and dissidence relations. The class of depleted sets, which is the dual of saturated sets, is defined and used in the study of depletion relations.

Theoretical description of time-resolved pump/probe photoemission in TaS2: a single-band DFT+DMFT(NRG) study within the quasiequilibrium approximation

In this work, we theoretically examine recent pump/probe photoemission experiments on the strongly correlated charge-density-wave insulator TaS2.We describe the general nonequilibrium many-body formulation of time-resolved photoemission in the sudden approximation, and then solve the problem using dynamical mean-field theory with the numerical renormalization group and a bare density of states calculated from density functional theory including the charge-density-wave distortion of the ion cores and spin-orbit coupling. We find a number of interesting results: (i) the bare band structure actually has more dispersion in the perpendicular direction than in the two-dimensional planes; (ii) the DMFT approach can produce upper and lower Hubbard bands that resemble those in the experiment, but the upper bands will overlap in energy with other higher energy bands; (iii) the effect of the finite width of the probe pulse is minimal on the shape of the photoemission spectra; and (iv) the quasiequilibrium approximation does not fully describe the behavior in this system.

Truth, Proof and Gödelian Arguments : A Defence of Tarskian Truth in Mathematics

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion.

Large carrier mobilities in octathio[8]circulene crystals: a theoretical study

The electron and hole mobilities of octathio[8]circulene (sulflower) crystal have been calculated using quantum chemical methods, with accurate determination of reorganization energies and the rate of charge transfer, the key parameters controlling the charge carriers conductance. We find this molecular crystal to be an excellent conductor with large mobilities for both the charge carriers. Moreover, the hole mobility is found to be slightly larger than the electron mobility. Such an ambipolar organic crystal with substantial carrier mobilities shows possibilities of sophisticated device fabrication in advanced electronics.

Investigating the effectiveness of an ecological approach to learning design in a first year mathematics for engineering unit

This is presentation of the refereed paper accepted for the Conferences' proceedings. The presentation was given on Tuesday, 1 December 2015.

Theoretical studies on magnetic superconductors

The discovery of magnetic superconductors has posed the problem of the coexistence of two kinds of orders (magnetic and superconducting) in some temperature intervals in these systems. New microscopic mechanisms developed by us to explain the coexistence and reentrant behaviour are reported. The mechanism for antiferromagnetic superconductors which shows enhancement of superconductivity below the magnetic transition is found relevant for rare-earth systems having less than half-filled f-atomic shells. The theory will be compared with the experimental results of SmRh4B4 system. A phenomenological treatment based on a generalized Ginzburg-Landau approach will also be presented to explain the anomalous behaviour of the second critical field in some antiferromagnetic superconductors. These magnetic superconductors provide two kinds of Bose fields, namely, phonons and magnons which interact with each other and also with the conduction electrons. Theoretical studies of the effects of the excitations of these modes on superconducting pairing and magnetic ordering in these systems will be discussed.

Post-industrial Intervention : An Activity-Theoretical Expedition Tracing the Proximal Development of Forms of Conducting Interventions

Ei saatavilla

Mathematics, programming, and STEM

Learning mathematics is a complex and dynamic process. In this paper, the authors adopt a semiotic framework (Yeh & Nason, 2004) and highlight programming as one of the main aspects of the semiosis or meaning-making for the learning of mathematics. During a 10-week teaching experiment, mathematical meaning-making was enriched when primary students wrote Logo programs to create 3D virtual worlds. The analysis of results found deep learning in mathematics, as well as in technology and engineering areas. This prompted a rethinking about the nature of learning mathematics and a need to employ and examine a more holistic learning approach for the learning in science, technology, engineering, and mathematics (STEM) areas.

A Theoretical Investigation of the Ni(II)-Catalyzed Hydrovinylation of Styrene

We report a detailed and full computational investigation on the hydrovinylation reaction of styrene with the Ni(II)-phospholane catalytic system, which was originally presumed to proceed through a cationic mechanism involving a nickel hydride intermediate. The following general features emerge from this study on a specific catalyst complex that was found to give quantitative yield and moderate selectivity: (a) the activation barrier for the initiation (18.8 kcal/mol) is higher than that for the reaction due to a low-lying square-planar pentenyl chelate intermediate originating from a Ni(II)-allyl catalyst precursor. Consequently there is an induction period for the catalysis; (b) the exit of product from the catalyst is via a β-H-transfer step instead of the usual β-H elimination pathway, which has a very high activation energy due to a trans effect of the phospholane ligand; (c) the turnover-limiting and enantio- determining transition state is also the β-H-transfer; (d) because of the absence of a hydride intermediate, the unwanted isomerization of the product is prevented; (e) since the enantio-discrimination is decided at the H-transfer stage itself, the configuration of the product in a catalytic cycle influences the enantioselectivity in the subsequent cycle; (f) the trans effect of the sole strong ligand in the d8 square-planar Ni(II), the stability of the η3-benzyl intermediate, and the availability of three coordination sites enable regioselective hydrovinylation over the possible oligomerization/polymerization of the olefin substrates and linear hydrovinylation. This work has also confirmed the previously recognized role of the hemilabile group at various stages in the mechanism.

Boundaries in Action : An Activity-theoretical Study of Development, Learning, and Change in Health Care Organization for Patients with Multiple and Chronic Illnesses

This study examines boundaries in health care organizations. Boundaries are sometimes considered things to be avoided in everyday living. This study suggests that boundaries can be important temporally and spatially emerging locations of development, learning, and change in inter-organizational activity. Boundaries can act as mediators of cultural and social formations and practices. The data of the study was gathered in an intervention project during the years 2000-2002 in Helsinki in which the care of 26 patients with multiple and chronic illnesses was improved. The project used the Change Laboratory method that represents a research assisted method for developing work. The research questions of the study are: (1) What are the boundary dynamics of development, learning, and change in health care for patients with multiple and chronic illnesses? (2) How do individual patients experience boundaries in their health care? (3) How are the boundaries of health care constructed and reconstructed in social interaction? (4) What are the dynamics of boundary crossing in the experimentation with the new tools and new practice? The methodology of the study, the ethnography of the multi-organizational field of activity, draws on cultural-historical activity theory and anthropological methods. The ethnographic fieldwork involves multiple research techniques and a collaborative strategy for raising research data. The data of this study consists of observations, interviews, transcribed intervention sessions, and patients' health documents. According to the findings, the care of patients with multiple and chronic illnesses emerges as fragmented by divisions of a patient and professionals, specialties of medicine and levels of health care organization. These boundaries have a historical origin in the Finnish health care system. As an implication of these boundaries, patients frequently experience uncertainty and neglect in their care. However, the boundaries of a single patient were transformed in the Change Laboratory discussions among patients, professionals and researchers. In these discussions, the questioning of the prevailing boundaries was triggered by the observation of gaps in inter-organizational care. Transformation of the prevailing boundaries was achieved in implementation of the collaborative care agreement tool and the practice of negotiated care. However, the new tool and practice did not expand into general use during the project. The study identifies two complementary models for the development of health care organization in Finland. The 'care package model', which is based on productivity and process models adopted from engineering and the 'model of negotiated care', which is based on co-configuration and the public good.