Cristallochemical characterization of synthetic Zn-substituted maghemites (g-Fe2-xZn xO3)

Maghemite (g-Fe2O3) is the most usually found ferrimagnetic oxide in red basalt-derived soils. The variable degrees of ionic substitution of Fe3+ for different metals (e.g. Ti4+, Al3+, Mg2+, Zn2+, and Mn2+) and non-metals in the maghemite structure influence some cristallochemical features of this iron oxide. In this study, synthetic Zn-substituted maghemites were prepared by co-precipitation in alkaline aqueous media of FeSO4.7H2O with increasing amounts of ZnSO4.7H2O to obtain the following sequence of Fe3+ for Zn2+ substitutions: 0.0, 0.025, 0.05, 0.10, 0.15, 0.20, and 0.30 mol mol-1. The objective of this work was to evaluate the cristallochemical alterations of synthetic Zn-substituted maghemites. The dark black synthetic precipitated material was heated to 250 °C during 4 h forming a brownish maghemite that was characterized by chemical analysis as well as X ray diffraction (XRD), specific surface area and mass-specific magnetic susceptibility. The isomorphic substitution levels observed were of 0.0013, 0.0297, 0.0590, 0.1145, 0.1764, 0.2292 and 0.3404 mol mol-1, with the formation of a series of maghemites from Fe2Zn0O3 to Fe(1.49)Zn(0.770)O3 . The increase in Fe3+ for Zn2+ substitution, [Zn mol mol-1] increased the dimension a0 of the cubic unit cells of the studied maghemites according to the regression equation: a0 = 0.8343 + 0.02591Zn (R² = 0.98). On the other hand, the mean crystallite dimension and mass-specific magnetic susceptibility of the studied maghemites decreased with increasing isomorphic substitution.

Vertical Syndication-Proof Competitive Prices in Multilateral Markets

[eng] A multi-sided Böhm-Bawerk assignment game (Tejada, to appear) is a model for a multilateral market with a finite number of perfectly complementary indivisible commodities owned by different sellers, and inflexible demand and support functions. We show that for each such market game there is a unique vector of competitive prices for the commodities that is vertical syndication-proof, in the sense that, at those prices, syndication of sellers each owning a different commodity is neither beneficial nor detrimental for the buyers. Since, moreover, the benefits obtained by the agents at those prices correspond to the nucleolus of the market game, we provide a syndication-based foundation for the nucleolus as an appropriate solution concept for market games. For different solution concepts a syndicate can be disadvantageous and there is no escape to Aumman’s paradox (Aumann, 1973). We further show that vertical syndicationproofness and horizontal syndication-proofness – in which sellers of the same commodity collude – are incompatible requirements under some mild assumptions. Our results build on a self-interesting link between multi-sided Böhm-Bawerk assignment games and bankruptcy games (O’Neill, 1982). We identify a particular subset of Böhm-Bawerk assignment games and we show that it is isomorphic to the whole class of bankruptcy games. This isomorphism enables us to show the uniqueness of the vector of vertical syndication-proof prices for the whole class of Böhm-Bawerk assignment market using well-known results of bankruptcy problems.

New predictions for inclusive heavy-quarkonium P-wave decays

We show that some nonrelativistic quantum chromodynamics color-octet matrix elements can be written in terms of (derivatives of) wave functions at the origin and of nonperturbative universal constants once the factorization between the soft and ultrasoft scales is achieved by using an effective field theory where only ultrasoft degrees of freedom are kept as dynamical entities. This allows us to derive a new set of relations between inclusive heavy-quarkonium P-wave decays into light hadrons with different principal quantum numbers and with different heavy flavors. In particular, we can estimate the ratios of the decay widths of bottomonium P-wave states from charmonium data.

New predictions for inclusive heavy-quarkonium p-wave decays

We show that some nonrelativistic quantum chromodynamics color-octet matrix elements can be written in terms of (derivatives of) wave functions at the origin and of nonperturbative universal constants once the factorization between the soft and ultrasoft scales is achieved by using an effective field theory where only ultrasoft degrees of freedom are kept as dynamical entities. This allows us to derive a new set of relations between inclusive heavy-quarkonium P-wave decays into light hadrons with different principal quantum numbers and with different heavy flavors. In particular, we can estimate the ratios of the decay widths of bottomonium P-wave states from charmonium data.

Lead and zinc in the structure of organic and mineral soil components

In addition to the more reactive forms, metals can occur in the structure of minerals, and the sum of all these forms defines their total contents in different soil fractions. The isomorphic substitution of heavy metals for example alters the dimensions of the unit cell and mineral size. This study proposed a method of chemical fractionation of heavy metals, using more powerful extraction methods, to remove the organic and different mineral phases completely. Soil samples were taken from eight soil profiles (0-10, 10-20 and 20-40 cm) in a Pb mining and metallurgy area in Adrianópolis, Paraná, Brazil. The Pb and Zn concentrations were determined in the following fractions (complete phase removal in each sequential extraction): exchangeable; carbonates; organic matter; amorphous and crystalline Fe oxides; Al oxide, amorphous aluminosilicates and kaolinite; and residual fractions. The complete removal of organic matter and mineral phases in sequential extractions resulted in low participation of residual forms of Pb and Zn in the total concentrations of these metals in the soils: there was lower association of metals with primary and 2:1 minerals and refractory oxides. The powerful methods used here allow an identification of the complete metal-mineral associations, such as the occurrence of Pb and Zn in the structure of the minerals. The higher incidence of Zn than Pb in the structure of Fe oxides, due to isomorphic substitution, was attributed to a smaller difference between the ionic radius of Zn2+ and Fe3+.

Quantification of permanent and variable charges in reference soils of the State of Pernambuco, Brazil

The electrical charges in soil particles are divided into structural or permanent charges and variable charges. Permanent charges develop on the soil particle surface by isomorphic substitution. Variable charges arise from dissociation and association of protons (H+), protonation or deprotonation, and specific adsorption of cations and anions. The aim of this study was to quantify the permanent charges and variable charges of Reference Soils of the State of Pernambuco, Brazil. To do so, 24 subsurface profiles from different regions (nine in the Zona da Mata, eight in the Agreste, and seven in the Sertão) were sampled, representing approximately 80 % of the total area of the state. Measurements were performed using cesium chloride solution. Determination was made of the permanent charges and the charges in regard to the hydroxyl functional groups through selective ion exchange of Cs+ by Li+ and Cs+ by NH4+, respectively. All the soils analyzed exhibited variable cation exchange capacity, with proportions from 0.16 to 0.60 and an average of 0.40 when related to total cation exchange capacity.

Charged AdS black holes and catastrophic holography

We compute the properties of a class of charged black holes in antide Sitter space-time, in diverse dimensions. These black holes are solutions of consistent Einstein-Maxwell truncations of gauged supergravities, which are shown to arise from the inclusion of rotation in the transverse space. We uncover rich thermodynamic phase structures for these systems, which display classic critical phenomena, including structures isomorphic to the van der WaalsMaxwell liquid-gas system. In that case, the phases are controlled by the universal cusp and swallowtail shapes familiar from catastrophe theory. All of the thermodynamics is consistent with field theory interpretations via holography, where the dual field theories can sometimes be found on the world volumes of coincident rotating branes.

Vertical Syndication-Proof Competitive Prices in Multilateral Markets

[eng] A multi-sided Böhm-Bawerk assignment game (Tejada, to appear) is a model for a multilateral market with a finite number of perfectly complementary indivisible commodities owned by different sellers, and inflexible demand and support functions. We show that for each such market game there is a unique vector of competitive prices for the commodities that is vertical syndication-proof, in the sense that, at those prices, syndication of sellers each owning a different commodity is neither beneficial nor detrimental for the buyers. Since, moreover, the benefits obtained by the agents at those prices correspond to the nucleolus of the market game, we provide a syndication-based foundation for the nucleolus as an appropriate solution concept for market games. For different solution concepts a syndicate can be disadvantageous and there is no escape to Aumman’s paradox (Aumann, 1973). We further show that vertical syndicationproofness and horizontal syndication-proofness – in which sellers of the same commodity collude – are incompatible requirements under some mild assumptions. Our results build on a self-interesting link between multi-sided Böhm-Bawerk assignment games and bankruptcy games (O’Neill, 1982). We identify a particular subset of Böhm-Bawerk assignment games and we show that it is isomorphic to the whole class of bankruptcy games. This isomorphism enables us to show the uniqueness of the vector of vertical syndication-proof prices for the whole class of Böhm-Bawerk assignment market using well-known results of bankruptcy problems.

Ab Initio study of magnetic interactions in the KCuF3 and K2CuF4 low-dimensional Systems

The ab initio cluster model approach has been used to study the electronic structure and magnetic coupling of KCuF3 and K2CuF4 in their various ordered polytype crystal forms. Due to a cooperative Jahn-Teller distortion these systems exhibit strong anisotropies. In particular, the magnetic properties strongly differ from those of isomorphic compounds. Hence, KCuF3 is a quasi-one-dimensional (1D) nearest neighbor Heisenberg antiferromagnet whereas K2CuF4 is the only ferromagnet among the K2MF4 series of compounds (M=Mn, Fe, Co, Ni, and Cu) behaving all as quasi-2D nearest neighbor Heisenberg systems. Different ab initio techniques are used to explore the magnetic coupling in these systems. All methods, including unrestricted Hartree-Fock, are able to explain the magnetic ordering. However, quantitative agreement with experiment is reached only when using a state-of-the-art configuration interaction approach. Finally, an analysis of the dependence of the magnetic coupling constant with respect to distortion parameters is presented.

Institutionaaliset tekijätosuuskunnan johtamisessa ja hallinnoimisessa

Tutkimuksen tarkoituksena on osallistua omistajaohjauksen keskusteluun tuomalla esille institutionaalisen teorian tarjoamia mahdollisuuksia hah-mottaa ilmiötä. Tutkimuksen tavoitteena on ymmärtää ja kuvata sitä institu-tionaalista ympäristöä, jossa tuottaja- ja markkinointiosuuskunnat Suo-messa toimivat, selvittää millaisia vaikutuksia näillä ympäristön tekijöillä on osuuskunnan johtamiseen ja hallinnointiin sekä selvittää koetaanko toimin-taympäristön asettavan osuuskunnan toiminnalle pääomayhtiöistä poik-keavia paineita. Tutkimus on luonteeltaan laadullinen haastattelututkimus. Tutkimuksen empiirinen aineisto kerättiin haastattelemalla kolmea osuustoiminnan asi-antuntijaa sekä kuutta kohdeyritysten ylimmässä luottamusjohdossa ja operatiivisessa johdossa toimivaa henkilöä. Teemamuotoiset haastattelut suoritettiin marraskuun 2005 ja tammikuun 2006 välisenä aikana kohdeyri-tysten toimitiloissa. Tutkimustulokset osoittavat, että institutionaalisilla paineilla on vaikutuksia osuuskuntien omistajaohjaukseen. Osuuskuntien omistajaohjauksella on muista yritysmuodoista poikkeavia ominaispiirteitä erityisesti pääomaan ja johtamiseen liittyvissä institutionaalisissa tekijöissä. Osuuskuntien omista-jaohjauksen järjestelmät ovat toisaalta alttiina isomorfiselle muutokselle,jossa hallinnon rakenteet ja toimintamallit lähenevät erityisesti osakeyhti-öiden soveltamia rakenteita ja toimintamalleja.

A Topological Approach to Fuzzy Sets

This thesis presents a topological approach to studying fuzzy setsby means of modifier operators. Modifier operators are mathematical models, e.g., for hedges, and we present briefly different approaches to studying modifier operators. We are interested in compositional modifier operators, modifiers for short, and these modifiers depend on binary relations. We show that if a modifier depends on a reflexive and transitive binary relation on U, then there exists a unique topology on U such that this modifier is the closure operator in that topology. Also, if U is finite then there exists a lattice isomorphism between the class of all reflexive and transitive relations and the class of all topologies on U. We define topological similarity relation "≈" between L-fuzzy sets in an universe U, and show that the class LU/ ≈ is isomorphic with the class of all topologies on U, if U is finite and L is suitable. We consider finite bitopological spaces as approximation spaces, and we show that lower and upper approximations can be computed by means of α-level sets also in the case of equivalence relations. This means that approximations in the sense of Rough Set Theory can be computed by means of α-level sets. Finally, we present and application to data analysis: we study an approach to detecting dependencies of attributes in data base-like systems, called information systems.

A game theoretical approach to the algebraic counterpart of the Wagner hierarchy

La hiérarchie de Wagner constitue à ce jour la plus fine classification des langages ω-réguliers. Par ailleurs, l'approche algébrique de la théorie de langages formels montre que ces ensembles ω-réguliers correspondent précisément aux langages reconnaissables par des ω-semigroupes finis pointés. Ce travail s'inscrit dans ce contexte en fournissant une description complète de la contrepartie algébrique de la hiérarchie de Wagner, et ce par le biais de la théorie descriptive des jeux de Wadge. Plus précisément, nous montrons d'abord que le degré de Wagner d'un langage ω-régulier est effectivement un invariant syntaxique. Nous définissons ensuite une relation de réduction entre ω-semigroupes pointés par le biais d'un jeu infini de type Wadge. La collection de ces structures algébriques ordonnée par cette relation apparaît alors comme étant isomorphe à la hiérarchie de Wagner, soit un quasi bon ordre décidable de largeur 2 et de hauteur ω. Nous exposons par la suite une procédure de décidabilité de cette hiérarchie algébrique : on décrit une représentation graphique des ω-semigroupes finis pointés, puis un algorithme sur ces structures graphiques qui calcule le degré de Wagner de n'importe quel élément. Ainsi le degré de Wagner de tout langage ω-régulier peut être calculé de manière effective directement sur son image syntaxique. Nous montrons ensuite comment construire directement et inductivement une structure de n''importe quel degré. Nous terminons par une description détaillée des invariants algébriques qui caractérisent tous les degrés de cette hiérarchie. Abstract The Wagner hierarchy is known so far to be the most refined topological classification of ω-rational languages. Also, the algebraic study of formal languages shows that these ω-rational sets correspond precisely to the languages recognizable by finite pointed ω-semigroups. Within this framework, we provide a construction of the algebraic counterpart of the Wagner hierarchy. We adopt a hierarchical game approach, by translating the Wadge theory from the ω-rational language to the ω-semigroup context. More precisely, we first show that the Wagner degree is indeed a syntactic invariant. We then define a reduction relation on finite pointed ω-semigroups by means of a Wadge-like infinite two-player game. The collection of these algebraic structures ordered by this reduction is then proven to be isomorphic to the Wagner hierarchy, namely a well-founded and decidable partial ordering of width 2 and height $\omega^\omega$. We also describe a decidability procedure of this hierarchy: we introduce a graph representation of finite pointed ω-semigroups allowing to compute their precise Wagner degrees. The Wagner degree of every ω-rational language can therefore be computed directly on its syntactic image. We then show how to build a finite pointed ω-semigroup of any given Wagner degree. We finally describe the algebraic invariants characterizing every Wagner degree of this hierarchy.

A mathematical study of fuzzy logic; an algebraic approach

Fuzzy set theory and Fuzzy logic is studied from a mathematical point of view. The main goal is to investigatecommon mathematical structures in various fuzzy logical inference systems and to establish a general mathematical basis for fuzzy logic when considered as multi-valued logic. The study is composed of six distinct publications. The first paper deals with Mattila'sLPC+Ch Calculus. THis fuzzy inference system is an attempt to introduce linguistic objects to mathematical logic without defining these objects mathematically.LPC+Ch Calculus is analyzed from algebraic point of view and it is demonstratedthat suitable factorization of the set of well formed formulae (in fact, Lindenbaum algebra) leads to a structure called ET-algebra and introduced in the beginning of the paper. On its basis, all the theorems presented by Mattila and many others can be proved in a simple way which is demonstrated in the Lemmas 1 and 2and Propositions 1-3. The conclusion critically discusses some other issues of LPC+Ch Calculus, specially that no formal semantics for it is given.In the second paper the characterization of solvability of the relational equation RoX=T, where R, X, T are fuzzy relations, X the unknown one, and o the minimum-induced composition by Sanchez, is extended to compositions induced by more general products in the general value lattice. Moreover, the procedure also applies to systemsof equations. In the third publication common features in various fuzzy logicalsystems are investigated. It turns out that adjoint couples and residuated lattices are very often present, though not always explicitly expressed. Some minor new results are also proved.The fourth study concerns Novak's paper, in which Novak introduced first-order fuzzy logic and proved, among other things, the semantico-syntactical completeness of this logic. He also demonstrated that the algebra of his logic is a generalized residuated lattice. In proving that the examination of Novak's logic can be reduced to the examination of locally finite MV-algebras.In the fifth paper a multi-valued sentential logic with values of truth in an injective MV-algebra is introduced and the axiomatizability of this logic is proved. The paper developes some ideas of Goguen and generalizes the results of Pavelka on the unit interval. Our proof for the completeness is purely algebraic. A corollary of the Completeness Theorem is that fuzzy logic on the unit interval is semantically complete if, and only if the algebra of the valuesof truth is a complete MV-algebra. The Compactness Theorem holds in our well-defined fuzzy sentential logic, while the Deduction Theorem and the Finiteness Theorem do not. Because of its generality and good-behaviour, MV-valued logic can be regarded as a mathematical basis of fuzzy reasoning. The last paper is a continuation of the fifth study. The semantics and syntax of fuzzy predicate logic with values of truth in ana injective MV-algerba are introduced, and a list of universally valid sentences is established. The system is proved to be semanticallycomplete. This proof is based on an idea utilizing some elementary properties of injective MV-algebras and MV-homomorphisms, and is purely algebraic.

Sherali-Adams Relaxations and Indistinguishability in Counting Logics

Two graphs with adjacency matrices $\mathbf{A}$ and $\mathbf{B}$ are isomorphic if there exists a permutation matrix $\mathbf{P}$ for which the identity $\mathbf{P}^{\mathrm{T}} \mathbf{A} \mathbf{P} = \mathbf{B}$ holds. Multiplying through by $\mathbf{P}$ and relaxing the permutation matrix to a doubly stochastic matrix leads to the linear programming relaxation known as fractional isomorphism. We show that the levels of the Sherali--Adams (SA) hierarchy of linear programming relaxations applied to fractional isomorphism interleave in power with the levels of a well-known color-refinement heuristic for graph isomorphism called the Weisfeiler--Lehman algorithm, or, equivalently, with the levels of indistinguishability in a logic with counting quantifiers and a bounded number of variables. This tight connection has quite striking consequences. For example, it follows immediately from a deep result of Grohe in the context of logics with counting quantifiers that a fixed number of levels of SA suffice to determine isomorphism of planar and minor-free graphs. We also offer applications in both finite model theory and polyhedral combinatorics. First, we show that certain properties of graphs, such as that of having a flow circulation of a prescribed value, are definable in the infinitary logic with counting with a bounded number of variables. Second, we exploit a lower bound construction due to Cai, Fürer, and Immerman in the context of counting logics to give simple explicit instances that show that the SA relaxations of the vertex-cover and cut polytopes do not reach their integer hulls for up to $\Omega(n)$ levels, where $n$ is the number of vertices in the graph.

Geometric stopping of a random walk and its applications to valuing equity-linked death benefits

We study discrete-time models in which death benefits can depend on a stock price index, the logarithm of which is modeled as a random walk. Examples of such benefit payments include put and call options, barrier options, and lookback options. Because the distribution of the curtate-future-lifetime can be approximated by a linear combination of geometric distributions, it suffices to consider curtate-future-lifetimes with a geometric distribution. In binomial and trinomial tree models, closed-form expressions for the expectations of the discounted benefit payment are obtained for a series of options. They are based on results concerning geometric stopping of a random walk, in particular also on a version of the Wiener-Hopf factorization.