Phase diagram and spectral properties of a new exactly integrable spin-1 quantum chain

The spectral properties and phase diagram of the exactly integrable spin-1 quantum chain introduced by Alcaraz and Bariev are presented. The model has a U(1) symmetry and its integrability is associated with an unknown R-matrix whose dependence on the spectral parameters is not of a different form. The associated Bethe ansatz equations that fix the eigenspectra are distinct from those associated with other known integrable spin models. The model has a free parameter t(p). We show that at the special point t(p) = 1, the model acquires an extra U(1) symmetry and reduces to the deformed SU(3) Perk-Schultz model at a special value of its anisotropy q = exp(i2 pi/3) and in the presence of an external magnetic field. Our analysis is carried out either by solving the associated Bethe ansatz equations or by direct diagonalization of the quantum Hamiltonian for small lattice sizes. The phase diagram is calculated by exploring the consequences of conformal invariance on the finite-size corrections of the Hamiltonian eigenspectrum. The model exhibits a critical phase ruled by the c = 1 conformal field theory separated from a massive phase by first-order phase transitions.

WRITING ELECTRONIC FERROMAGNETIC STATES IN A HIGH-TEMPERATURE PARAMAGNETIC NUCLEAR SPIN SYSTEM

In this paper, we use Nuclear Magnetic Resonance (NMR) to write electronic states of a ferromagnetic system into high-temperature paramagnetic nuclear spins. Through the control of phase and duration of radio frequency pulses, we set the NMR density matrix populations, and apply the technique of quantum state tomography to experimentally obtain the matrix elements of the system, from which we calculate the temperature dependence of magnetization for different magnetic fields. The effects of the variation of temperature and magnetic field over the populations can be mapped in the angles of spin rotations, carried out by the RF pulses. The experimental results are compared to the Brillouin functions of ferromagnetic ordered systems in the mean field approximation for two cases: the mean field is given by (i) B = B(0) + lambda M and (ii) B = B(0) + lambda M + lambda`M(3), where B(0) is the external magnetic field, and lambda, lambda` are mean field parameters. The first case exhibits second order transition, whereas the second case has first order transition with temperature hysteresis. The NMR simulations are in good agreement with the magnetic predictions.

Thermodynamic characterization of the palm tree Roystonea regia peroxidase stability

The structural stability of a peroxidase, a dimeric protein from royal palm tree (Roystonea regia) leaves, has been characterized by high-sensitivity differential scanning calorimetry, circular dichroism, steady-state tryptophan fluorescence and analytical ultracentifugation under different solvent conditions. It is shown that the thermal and chemical (using guanidine hydrochloride (Gdn-HCl)) folding/unfolding of royal palm tree peroxidase (RPTP) at pH 7 is a reversible process involving a highly cooperative transition between the folded dimer and unfolded monomers, with a free stabilization energy of about 23 kcal per mol of monomer at 25 degrees C. The structural stability of RPTP is pH-dependent. At pH 3, where ion pairs have disappeared due to protonation, the thermally induced denaturation of RPTP is irreversible and strongly dependent upon the scan rate, suggesting that this process is under kinetic control. Moreover, thermally induced transitions at this pH value are dependent on the protein concentration, allowing it to be concluded that in solution RPTP behaves as dimer, which undergoes thermal denaturation coupled with dissociation. Analysis of the kinetic parameters of RPTP denaturation at pH 3 was accomplished on the basis of the simple kinetic scheme N ->(k) D, where k is a first-order kinetic constant that changes with temperature, as given by the Arrhenius equation; N is the native state, and D is the denatured state, and thermodynamic information was obtained by extrapolation of the kinetic transition parameters to an infinite heating rate. Obtained in this way, the value of RPTP stability at 25 degrees C is ca. 8 kcal per mole of monomer lower than at pH 7. In all probability, this quantity reflects the contribution of ion pair interactions to the structural stability of RPTP. From a comparison of the stability of RPTP with other plant peroxidases it is proposed that one of the main factors responsible for the unusually high stability of RPTP which enhances its potential use for biotechnological purposes, is its dimerization. (c) 2008 Elsevier Masson SAS. All rights reserved.

Density-Profile Processes Describing Biological Signaling Networks: Almost Sure Convergence to Deterministic Trajectories

We introduce jump processes in R(k), called density-profile processes, to model biological signaling networks. Our modeling setup describes the macroscopic evolution of a finite-size spin-flip model with k types of spins with arbitrary number of internal states interacting through a non-reversible stochastic dynamics. We are mostly interested on the multi-dimensional empirical-magnetization vector in the thermodynamic limit, and prove that, within arbitrary finite time-intervals, its path converges almost surely to a deterministic trajectory determined by a first-order (non-linear) differential equation with explicit bounds on the distance between the stochastic and deterministic trajectories. As parameters of the spin-flip dynamics change, the associated dynamical system may go through bifurcations, associated to phase transitions in the statistical mechanical setting. We present a simple example of spin-flip stochastic model, associated to a synthetic biology model known as repressilator, which leads to a dynamical system with Hopf and pitchfork bifurcations. Depending on the parameter values, the magnetization random path can either converge to a unique stable fixed point, converge to one of a pair of stable fixed points, or asymptotically evolve close to a deterministic orbit in Rk. We also discuss a simple signaling pathway related to cancer research, called p53 module.

Surfactant degradation by a catechol-driven Fenton reaction

The addition of 0.5 mM catechol is shown to accelerate the degradation and mineralization of the anionic surfactant DOWFaX (TM) 2A1 (sodium dodecyldiphenyloxide disulfonate) under conventional Fenton reaction conditions (Fe(II) plus H(2)O(2) at pH 3). The catalytic effect causes a 3-fold increase in the initial rate (up to ca. 20 min) of conversion of the surfactant to oxidation products (apparent first-order rate constants of 0.021 and 0.061 min(-1) in the absence and presence of catechol, respectively). Although this catalytic rate increase persists for a certain amount of time after complete disappearance of catechol itself (ca. 8 min), the reaction rate begins to decline slowly after the initial 20 min towards that observed in the absence of added catechol. Total organic carbon (TOC) measurements of net mineralization and cyclic voltammetric and high performance liquid chromatographic (HPLC) measurements of the initial rate of reaction of catechol and the surfactant provide insight into the role of catechol in promoting the degradation of the surfactant and of degradation products as the eventual inhibitors of the Fenton reaction. (C) 2010 Elsevier B.V. All rights reserved.

Thermoanalytical Characterization and Dissolution Profiles Studies of Metronidazole Tablets

In the present study dissolution tests and thermoanalytical (TA) techniques were applied to metronidazole tablets from five laboratories (R, G, SA, SB, SC) available on the Brazilian market. The TA profiles indicated that in some formulations interactions between components led to eutectic products with lower melting points than metronidazole. The formulations SB and SC showed dissolution profiles that did not agree with published standards, confirming the TA results. All dissolution data were mathematically compared with kinetic models of release, demonstrating the main release mechanism was first order in all the tablets. The formulations were statistically compared by ANOVA and post-hoc tests (Tukey and Newman-Keuls), reveling significant differences in dissolution efficiency (DE).

Pt film electrodes prepared by the Pechini method for electrochemical decolourisation of Reactive Orange 16

Electrochemical decolourisation of Reactive Orange 16 was carried out in an electrochemical flow-cell, using as working electrodes a Pt thin film deposited on a Ti substrate (Pt/Ti) prepared by the Pechini method and a pure platinum (Pt) foil. Using the Pt/Ti electrodes better results for dye decolourisation were obtained under milder conditions than those used for pure Pt. For the Pt electrode, colour removal of 93 % (lambda = 493 nm) was obtained after 60 min, at 2.2 V vs. RHE, using 0.017 mol L(-1) NaCl + 0.5 mol L(-1) H(2)SO(4) solution. For the Pt/Ti electrode there was better colour removal, 98%, than for the Pt electrode. Moreover, we used 0.017 mol L(-1) NaCl solution and the applied potential was 1.8 V. Under this condition after 15 min of electrolysis, more than 80% of colour was removed. The rate reaction constant, assuming a first order reaction, was 0.024 min(-1) and 0.069 min(-1), for Pt and Pt/Ti electrodes, respectively.

Quenching of excited states of red-pigment zinc protoporphyrin IX by hemin and natural reductors in dry-cured hams

Zinc protoporphyrin IX (ZnPP), the major red pigment in hams dry-cured without nitrates/nitrites, is an efficient photosensitizer, which upon absorption of visible light forms short-lived excited singlet state ((1)ZnPP*) and by intersystem crossing yields the very reactive triplet-excited state ((3)ZnPP*). Using nano-second laser flash photolysis and transient absorption spectroscopy NADH, ascorbic acid, hemin and dehydroascorbic acid were each found to be efficient quenchers of (3)ZnPP*. The deactivation followed, in homogeneous dimethyl sulfoxide (DMSO) or DMSO:water (1:1) solutions, second-order kinetics. The rate constant for ascorbic acid and NADH for reductive quenching of (3)ZnPP* was at 25 A degrees C found to be 7.5 +/- A 0.1 x 10(4) L mol(-1) s(-1) and 6.3 +/- A 0.1 x 10(5) L mol(-1) s(-1), respectively. The polyphenols catechin and quercetin had no effect on (3)ZnPP*. The quenching rate constant for oxidative deactivation of (3)ZnPP* by dehydroascorbic acid and hemin was at 25 A degrees C: 1.6 +/- A 0.1 x 10(5) L mol(-1) s(-1) and 1.47 +/- A 0.1 x 10(9) L mol(-1) s(-1), respectively. Oxidized glutathione did not act as an oxidative quencher for (3)ZnPP*. After photoexcitation of ZnPP to (1)ZnPP*, fluorescence was only found to be quenched by the presence of hemin in a diffusion-controlled reaction. The efficient deactivation of (3)ZnPP* and (1)ZnPP* by the metalloporphyrin (hemin) naturally present in meat may accordingly inherently protect meat proteins and lipids against ZnPP photosensitized oxidation.

Photocatalytic Decolorization of Commercial Acid Dyes using Solar Irradiation

This work investigates the solar heterogeneous photocatalytic degradation of three commercial acid dyes: Blue 9 (C.I. 42090), Red 51 (C.I. 45430), and Yellow 23 (C.I. 19140). TiO(2) P25 from Degussa was used as the photocatalyst. The dyes were completely degraded within 120 min of treatment in the following increasing order of removal rate: Blue 9 < Yellow 23 < Red 51. The photocatalytic color removal process was well described by a two-first-order in-series reaction, followed by another first-order reaction. Photolytic experiments showed that this process is quite inefficient and highly selective towards Red 51 only. The dyes` solution was completely decolorized and organic matter removals up to 99% were achieved with photocatalysis. The lack of selectivity and the possibility of using solar light to excite the photocatalyst are promising results regarding the feasibility of this technology.

Design/Evaluation of A Methodology For Performance Optimization Of Indexable Carbide Inserts

In this project, two broad facets in the design of a methodology for performance optimization of indexable carbide inserts were examined. They were physical destructive testing and software simulation.For the physical testing, statistical research techniques were used for the design of the methodology. A five step method which began with Problem definition, through System identification, Statistical model formation, Data collection and Statistical analyses and results was indepthly elaborated upon. Set-up and execution of an experiment with a compression machine together with roadblocks and possible solution to curb road blocks to quality data collection were examined. 2k factorial design was illustrated and recommended for process improvement. Instances of first-order and second-order response surface analyses were encountered. In the case of curvature, test for curvature significance with center point analysis was recommended. Process optimization with method of steepest ascent and central composite design or process robustness studies of response surface analyses were also recommended.For the simulation test, AdvantEdge program was identified as the most used software for tool development. Challenges to the efficient application of this software were identified and possible solutions proposed. In conclusion, software simulation and physical testing were recommended to meet the objective of the project.

Fred: An approach to generating real, correct, reusable programs from proofs

In this paper we describe our system for automatically extracting "correct" programs from proofs using a development of the Curry-Howard process. Although program extraction has been developed by many authors, our system has a number of novel features designed to make it very easy to use and as close as possible to ordinary mathematical terminology and practice. These features include 1. the use of Henkin's technique to reduce higher-order logic to many-sorted (first-order) logic; 2. the free use of new rules for induction subject to certain conditions; 3. the extensive use of previously programmed (total, recursive) functions; 4. the use of templates to make the reasoning much closer to normal mathematical proofs and 5. a conceptual distinction between the computational type theory (for representing programs)and the logical type theory (for reasoning about programs). As an example of our system we give a constructive proof of the well known theorem that every graph of even parity, which is non-trivial in the sense that it does not consist of isolated vertices, has a cycle. Given such a graph as input, the extracted program produces a cycle as promised.

On Arbitrary Selection Strategies for Basic Superposition

For first-order Horn clauses without equality, resolution is complete with an arbitrary selection of a single literal in each clause [dN 96]. Here we extend this result to the case of clauses with equality for superposition-based inference systems. Our result is a generalization of the result given in [BG 01]. We answer their question about the completeness of a superposition-based system for general clauses with an arbitrary selection strategy, provided there exists a refutation without applications of the factoring inference rule.

Monodic temporal resolution

Until recently, First-Order Temporal Logic (FOTL) has been only partially understood. While it is well known that the full logic has no finite axiomatisation, a more detailed analysis of fragments of the logic was not previously available. However, a breakthrough by Hodkinson et al., identifying a finitely axiomatisable fragment, termed the monodic fragment, has led to improved understanding of FOTL. Yet, in order to utilise these theoretical advances, it is important to have appropriate proof techniques for this monodic fragment.In this paper, we modify and extend the clausal temporal resolution technique, originally developed for propositional temporal logics, to enable its use in such monodic fragments. We develop a specific normal form for monodic formulae in FOTL, and provide a complete resolution calculus for formulae in this form. Not only is this clausal resolution technique useful as a practical proof technique for certain monodic classes, but the use of this approach provides us with increased understanding of the monodic fragment. In particular, we here show how several features of monodic FOTL can be established as corollaries of the completeness result for the clausal temporal resolution method. These include definitions of new decidable monodic classes, simplification of existing monodic classes by reductions, and completeness of clausal temporal resolution in the case of monodic logics with expanding domains, a case with much significance in both theory and practice.

Monodic Temporal Resolution

First-order temporal logic is a coincise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics have identified important enumerable and even decidable fragments. In this paper we present the first resolution-based calculus for monodic first-order temporal logic. Although the main focus of the paper is on establishing completeness result, we also consider implementation issues and define a basic loop-search algorithm that may be used to guide the temporal resolution system.

Handling Equality in Monodic Temporal Resolution

First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments including the guarded fragment with equality. In this paper, we specialise the monodic resolution method to the guarded monodic fragment with equality and first-order temporal logic over expanding domains. We introduce novel resolution calculi that can be applied to formulae in the normal form associated with the clausal resolution method, and state correctness and completeness results.