Proof theory for lattice-ordered groups

Proof-theoretic methods are developed and exploited to establish properties of the variety of lattice-ordered groups. In particular, a hypersequent calculus with a cut rule is used to provide an alternative syntactic proof of the generation of the variety by the lattice-ordered group of automorphisms of the real number chain. Completeness is also established for an analytic (cut-free) hypersequent calculus using cut elimination and it is proved that the equational theory of the variety is co-NP complete.

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality

We study representations of MV-algebras -- equivalently, unital lattice-ordered abelian groups -- through the lens of Stone-Priestley duality, using canonical extensions as an essential tool. Specifically, the theory of canonical extensions implies that the (Stone-Priestley) dual spaces of MV-algebras carry the structure of topological partial commutative ordered semigroups. We use this structure to obtain two different decompositions of such spaces, one indexed over the prime MV-spectrum, the other over the maximal MV-spectrum. These decompositions yield sheaf representations of MV-algebras, using a new and purely duality-theoretic result that relates certain sheaf representations of distributive lattices to decompositions of their dual spaces. Importantly, the proofs of the MV-algebraic representation theorems that we obtain in this way are distinguished from the existing work on this topic by the following features: (1) we use only basic algebraic facts about MV-algebras; (2) we show that the two aforementioned sheaf representations are special cases of a common result, with potential for generalizations; and (3) we show that these results are strongly related to the structure of the Stone-Priestley duals of MV-algebras. In addition, using our analysis of these decompositions, we prove that MV-algebras with isomorphic underlying lattices have homeomorphic maximal MV-spectra. This result is an MV-algebraic generalization of a classical theorem by Kaplansky stating that two compact Hausdorff spaces are homeomorphic if, and only if, the lattices of continuous [0, 1]-valued functions on the spaces are isomorphic.

Finite dimensional ordered vector spaces with Riesz interpolation and Effros-Shen's unimodularity conjecture

Peer reviewed

Amalgamation and interpolation in ordered algebras

The first part of this paper provides a comprehensive and self-contained account of the interrelationships between algebraic properties of varieties and properties of their free algebras and equational consequence relations. In particular, proofs are given of known equivalences between the amalgamation property and the Robinson property, the congruence extension property and the extension property, and the flat amalgamation property and the deductive interpolation property, as well as various dependencies between these properties. These relationships are then exploited in the second part of the paper in order to provide new proofs of amalgamation and deductive interpolation for the varieties of lattice-ordered abelian groups and MV-algebras, and to determine important subvarieties of residuated lattices where these properties hold or fail. In particular, a full description is given of all subvarieties of commutative GMV-algebras possessing the amalgamation property.

Consideraciones sobre cuerpos ordenados y cuerpos reales maximales

El presente trabajo se puede considerar como prolongación del trabajo (I) del autor, se amplía un resultado de este último que era válido sólo en el caso metrizable, y aquí se estudia el caso general; se hace un estudio de los cuerpos reales maximales y completos, y, finalmente se da un apéndice sobre cuerpos reales contenidos en un cuerpo algebraicamente cerrado y de característica 0

Hydrothermal Microwave: A New Route to Obtain Photoluminescent Crystalline BaTiO3 Nanoparticles

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Microwave-hydrothermal synthesis of perovskite bismuth ferrite nanoparticles

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Microwave-hydrothermal synthesis of barium strontium titanate nanoparticles

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Toda lattice field theories, discrete W algebras, Toda lattice hierarchies and quantum groups

In analogy with the Liouville case we study the sl3 Toda theory on the lattice and define the relevant quadratic algebra and out of it we recover the discrete W3 algebra. We define an integrable system with respect to the latter and establish the relation with the Toda lattice hierarchy. We compute the relevant continuum limits. Finally we find the quantum version of the quadratic algebra.

Electrochemical generation of oxygen-containing groups in an ordered microporous zeolite-templated carbon

Zeolite templated carbon (ZTC) was electrochemically oxidized under various conditions, and its chemistry and structural evolution were compared to those produced by conventional chemical oxidation. In both oxidation methods, a general loss of the original structure regularity and high surface area was observed with increasing amount of oxidation. However, the electrochemical method showed much better controllability and enabled the generation of a large number of oxygen functional groups while retaining the original structure of the ZTC. Unlike chemical treatments, highly microporous carbons with an ordered 3-D structure, high surface area (ranging between 1900 and 3500 m2/g) and a large number of oxygen groups (O = 11,000–3300 μmol/g), have been prepared by the electrochemical method. Some insights into the electrooxidation mechanism of carbon materials are proposed from the obtained polarization curves, using ZTC as a model carbon material.

Phase transitions and spatially ordered counterion association in ionic-lipid membranes: A statistical model

We propose a statistical model to account for the gel-fluid anomalous phase transitions in charged bilayer- or lamellae-forming ionic lipids. The model Hamiltonian comprises effective attractive interactions to describe neutral-lipid membranes as well as the effect of electrostatic repulsions of the discrete ionic charges on the lipid headgroups. The latter can be counterion dissociated (charged) or counterion associated (neutral), while the lipid acyl chains may be in gel (low-temperature or high-lateral-pressure) or fluid (high-temperature or low-lateral-pressure) states. The system is modeled as a lattice gas with two distinct particle types-each one associated, respectively, with the polar-headgroup and the acyl-chain states-which can be mapped onto an Ashkin-Teller model with the inclusion of cubic terms. The model displays a rich thermodynamic behavior in terms of the chemical potential of counterions (related to added salt concentration) and lateral pressure. In particular, we show the existence of semidissociated thermodynamic phases related to the onset of charge order in the system. This type of order stems from spatially ordered counterion association to the lipid headgroups, in which charged and neutral lipids alternate in a checkerboard-like order. Within the mean-field approximation, we predict that the acyl-chain order-disorder transition is discontinuous, with the first-order line ending at a critical point, as in the neutral case. Moreover, the charge order gives rise to continuous transitions, with the associated second-order lines joining the aforementioned first-order line at critical end points. We explore the thermodynamic behavior of some physical quantities, like the specific heat at constant lateral pressure and the degree of ionization, associated with the fraction of charged lipid headgroups.

Exotic phases induced by strong spin-orbit coupling in ordered double perovskites

We construct and analyze a microscopic model for insulating rocksalt ordered double perovskites, with the chemical formula A(2)BB'O(6), where the B' atom has a 4d(1) or 5d(1) electronic configuration and forms a face-centered-cubic lattice. The combination of the triply degenerate t(2g) orbital and strong spin-orbit coupling forms local quadruplets with an effective spin moment j=3/2. Moreover, due to strongly orbital-dependent exchange, the effective spins have substantial biquadratic and bicubic interactions (fourth and sixth order in the spins, respectively). This leads, at the mean-field level, to three main phases: an unusual antiferromagnet with dominant octupolar order, a ferromagnetic phase with magnetization along the [110] direction, and a nonmagnetic but quadrupolar ordered phase, which is stabilized by thermal fluctuations and intermediate temperatures. All these phases have a two-sublattice structure described by the ordering wave vector Q=2 pi(001). We consider quantum fluctuations and argue that in the regime of dominant antiferromagnetic exchange, a nonmagnetic valence-bond solid or quantum-spin-liquid state may be favored instead. Candidate quantum-spin-liquid states and their basic properties are described. We also address the effect of single-site anisotropy driven by lattice distortions. Existing and possible future experiments are discussed in light of these results.

The Heisenberg antiferromagnet on an anisotropic triangular lattice: linear spin-wave theory

We consider the effect of quantum spin fluctuations on the ground-state properties of the Heisenberg antiferromagnet on an anisotropic triangular lattice using linear spin-wave (LSW) theory. This model should describe the magnetic properties of the insulating phase of the kappa-(BEDT-TTF)(2)X family of superconducting molecular crystals. The ground-state energy, the staggered magnetization, magnon excitation spectra, and spin-wave velocities are computed as functions of the ratio of the antiferromagnetic exchange between the second and first neighbours, J(2)/J(1). We find that near J(2)/J(1) = 0.5, i.e., in the region where the classical spin configuration changes from a Neel-ordered phase to a spiral phase, the staggered magnetization vanishes, suggesting the possibility of a quantum disordered state. in this region, the quantum correction to the magnetization is large but finite. This is in contrast to the case for the frustrated Heisenberg model on a square lattice, for which the quantum correction diverges logarithmically at the transition from the Neel to the collinear phase. For large J(2)/J(1), the model becomes a set of chains with frustrated interchain coupling. For J(2) > 4J(1), the quantum correction to the magnetization, within LSW theory, becomes comparable to the classical magnetization, suggesting the possibility of a quantum disordered state. We show that, in this regime, the quantum fluctuations are much larger than for a set of weakly coupled chains with non-frustrated interchain coupling.

Phase diagram for a class of spin-1/2 Heisenberg models interpolating between the square-lattice, the triangular-lattice, and the linear-chain limits

We study the spin-1/2 Heisenberg models on an anisotropic two-dimensional lattice which interpolates between the square lattice at one end, a set of decoupled spin chains on the other end, and the triangular-lattice Heisenberg model in between. By series expansions around two different dimer ground states and around various commensurate and incommensurate magnetically ordered states, we establish the phase diagram for this model of a frustrated antiferromagnet. We find a particularly rich phase diagram due to the interplay of magnetic frustration, quantum fluctuations, and varying dimensionality. There is a large region of the usual two-sublattice Neel phase, a three-sublattice phase for the triangular-lattice model, a region of incommensurate magnetic order around the triangular-lattice model, and regions in parameter space where there is no magnetic order. We find that the incommensurate ordering wave vector is in general altered from its classical value by quantum fluctuations. The regime of weakly coupled chains is particularly interesting and appears to be nearly critical. [S0163-1829(99)10421-1].

A study of five cervicocephalic relocation tests in three different subject groups

Objective: To compare head relocation accuracy in traumatic ( whiplash), insidious onset neck pain patients and asymptomatic subjects when targeting a natural head posture (NHP) and complex predetermined positions. Design: A case-control study. Setting: University-based musculoskeletal research clinic. Participants: Sixty-three volunteers divided into three groups of similar gender and age: Group 1 (n=21) an asymptomatic group; group 2 (n=20) insidious onset neck pain; group 3 (n=22) a history of whiplash injury. Intervention: Five randomly ordered tests designed to detect relocation accuracy of the head. Outcome measures: A 3-Space Fastrak system measured the mean absolute relocation error of three trials of each relocation test. Results: A significant difference was found between groups in one of the tests targeting the NHP (p=0.001). Post-hoc pairwise comparisons revealed a significant difference (pless than or equal to0.05) between the asymptomatic group and each symptomatic group. The difference between the symptomatic groups just failed to reach significance (p=0.07). None of the other four tests revealed significant differences. Conclusion: The test of targeting the NHP indicates that relocation inaccuracy exists in patients with neck pain with a trend to suggest that the deficit may be greater in whiplash patients. Tests employing unfamiliar postures or more complex movement were not successful in differentiating subject groups.