Verifying proofs in constant depth

In this paper we initiate the study of proof systems where verification of proofs proceeds by NC circuits. We investigate the question which languages admit proof systems in this very restricted model. Formulated alternatively, we ask which languages can be enumerated by NC functions. Our results show that the answer to this problem is not determined by the complexity of the language. On the one hand, we construct NC proof systems for a variety of languages ranging from regular to NP-complete. On the other hand, we show by combinatorial methods that even easy regular languages such as Exact-OR do not admit NC proof systems. We also present a general construction of proof systems for regular languages with strongly connected NFA's

Spin-current induced electric field

We theoretically predict that a pure steady state spin-current without charge-current can induce an electric field. A formula for the induced electric field is derived and we investigate its characteristics. Conversely, a moving spin is affected by an external electric field and we present a formula for the interaction energy.Comment: 4 pages, 2 figure

Spin diffusion at finite electric and magnetic fields

Spin transport properties at finite electric and magnetic fields are studied by using the generalized semiclassical Boltzmann equation. It is found that the spin diffusion equation for non-equilibrium spin density and spin currents involves a number of length scales that explicitly depend on the electric and magnetic fields. The set of macroscopic equations can be used to address a broad range of the spin transport problems in magnetic multilayers as well as in semiconductor heterostructure. A specific example of spin injection into semiconductors at arbitrary electric and magnetic fields is illustrated

The absence of ABCA1 decreases soluble ApoE levels but does not diminish amyloid deposition in two murine models of Alzheimer disease.

J Biol Chem. 2005 Dec 30;280(52):43243-56. Epub 2005 Oct 5. The absence of ABCA1 decreases soluble ApoE levels but does not diminish amyloid deposition in two murine models of Alzheimer disease. Hirsch-Reinshagen V, Maia LF, Burgess BL, Blain JF, Naus KE, McIsaac SA, Parkinson PF, Chan JY, Tansley GH, Hayden MR, Poirier J, Van Nostrand W, Wellington CL. Department of Pathology and Laboratory Medicine, University of British Columbia, Vancouver, British Columbia V4Z 5H5, Canada. Abstract ABCA1, a cholesterol transporter expressed in the brain, has been shown recently to be required to maintain normal apoE levels and lipidation in the central nervous system. In addition, ABCA1 has been reported to modulate beta-amyloid (Abeta) production in vitro. These observations raise the possibility that ABCA1 may play a role in the pathogenesis of Alzheimer disease. Here we report that the deficiency of ABCA1 does not affect soluble or guanidine-extractable Abeta levels in Tg-SwDI/B or amyloid precursor protein/presenilin 1 (APP/PS1) mice, but rather is associated with a dramatic reduction in soluble apoE levels in brain. Although this reduction in apoE was expected to reduce the amyloid burden in vivo, we observed that the parenchymal and vascular amyloid load was increased in Tg-SwDI/B animals and was not diminished in APP/PS1 mice. Furthermore, we observed an increase in the proportion of apoE retained in the insoluble fraction, particularly in the APP/PS1 model. These data suggested that ABCA1-mediated effects on apoE levels and lipidation influenced amyloidogenesis in vivo. PMID: 16207707 [PubMed - indexed for MEDLINE

Single-hole properties in the tt-JJ and strong-coupling models

We report numerical results for the single-hole properties in the $t$-$J$ model and the strong-coupling approximation to the Hubbard model in two dimensions. Using the hopping basis with over $10^6$ states we discuss (for an infinite system) the bandwidth, the leading Fourier coefficients in the dispersion, the band masses, and the spin-spin correlations near the hole. We compare our results with those obtained by other methods. The band minimum is found to be at ($\pi/2,\pi/2$) for the $t$-$J$ model for $0.1 \leq t/J \leq 10$, and for the strong-coupling model for $1 \leq t/J \leq 10$. The bandwidth in both models is approximately $2J$ at large $t/J$, in rough agreement with loop-expansion results but in disagreement with other results. The strong-coupling bandwidth for t/J\agt6 can be obtained from the $t$-$J$ model by treating the three-site terms in first-order perturbation theory. The dispersion along the magnetic zone face is flat, giving a large parallel/perpendicular band mass ratio.Comment: 1 RevTeX file with epsf directives to include 8 .eps figures 8 figure files encoded using uufile

Spin Transport in Two Dimensional Hopping Systems

A two dimensional hopping system with Rashba spin-orbit interaction is considered. Our main interest is concerned with the evolution of the spin degree of freedom of the electrons. We derive the rate equations governing the evolution of the charge density and spin polarization of this system in the Markovian limit in one-particle approximation. If only two-site hopping events are taken into account, the evolution of the charge density and of the spin polarization is found to be decoupled. A critical electric field is found, above which oscillations are superimposed on the temporal decay of the total polarization. A coupling between charge density and spin polarization occurs on the level of three-site hopping events. The coupling terms are identified as the anomalous Hall effect and the recently proposed spin Hall effect. Thus, an unpolarized charge current through a sheet of finite width leads to a transversal spin accumulation in our model system.Comment: 15 pages, 3 figure

Dissipation effects in spin-Hall transport of electrons and holes

We investigate the spin-Hall effect of both electrons and holes in semiconductors using the Kubo formula in the correct zero-frequency limit taking into account the finite momentum relaxation time of carriers in real semiconductors. This approach allows to analyze the range of validity of recent theoretical findings. In particular, the spin-Hall conductivity vanishes for vanishing spin-orbit coupling if the correct zero-frequency limit is performed.Comment: 5 pages, no figures, version to appear in Phys. Rev.

Characterization of halogen-bridged binuclear metal complexes as hybridized two-band materials

We study the electronic structure of halogen-bridged binuclear metal (MMX) complexes with a two-band Peierls-Hubbard model. Based on a symmetry argument, various density-wave states are derived and characterized. The ground-state phase diagram is drawn within the Hartree-Fock approximation, while the thermal behavior is investigated using a quantum Monte Carlo method. All the calculations conclude that a typical MMX compound Pt_2(CH_3CS_2)_4I should indeed be regarded as a d-p-hybridized two-band material, where the oxidation of the halogen ions must be observed even in the ground state, whereas another MMX family (NH_4)_4[Pt_2(P_2O_5H_2)_4X] may be treated as single-band materials.Comment: 16 pages, 11 figures embedded, to be published in Phys. Rev.

Parenting through grief: A cross-sectional study of recently bereaved adults with minor children

Background: Grieving adults raising parentally-bereaved minor children experience persistently elevated symptoms of depression and grief. However, the factors associated with their mental health outcomes are not well understood. Aim: To investigate the psychosocial and demographic characteristics associated with grief distress and depressive symptom severity in bereaved adults with minor children. Design: Cross-sectional, web-based survey. Setting/participants: Eight hundred forty-five bereaved adults raising minor (age <18 years) children who had experienced the death of a co-parent. Primary outcomes were grief distress (Prolonged Grief Disorder-13), depressive symptoms (Patient-Reported Outcomes Measurement Information System-Depression), and widowed parenting self-efficacy (WPSES). Results: Mean grief scores were 33.5; mean depression scores were 58.3. Among the 690 individuals more than 6 months bereaved, 132 (19.3%) met criteria for prolonged grief disorder. In adjusted models, participants reporting higher grief scores were more recently bereaved, identified as mothers, non-Caucasian, had lower education and income, and had not anticipated their co-parent’s death. The statistical modeling results for depression scores were similar to grief scores except that depression was not associated with anticipation of co-parent death. Parents reporting lower WPSES scores had higher grief and depression scores. Retrospective assessments of more intense parenting worries at the time of co-parent death were also associated with higher grief and depression scores. Conclusions: For bereaved adults with minor children, unanticipated co-parent death was linked with higher grief distress but not symptoms of depression. Addressing parenting concerns may represent a common pathway for improving the mental health of parentally-bereaved families

DDW Order and its Role in the Phase Diagram of Extended Hubbard Models

We show in a mean-field calculation that phase diagrams remarkably similar to those recently proposed for the cuprates arise in simple microscopic models of interacting electrons near half-filling. The models are extended Hubbard models with nearest neighbor interaction and correlated hopping. The underdoped region of the phase diagram features $d_{{x^2}-{y^2}}$ density-wave (DDW) order. In a certain regime of temperature and doping, DDW order coexists with antiferromagnetic (AF) order. For larger doping, it coexists with $d_{{x^2}-{y^2}}$ superconductivity (DSC). While phase diagrams of this form are robust, they are not inevitable. For other reasonable values of the coupling constants, drastically different phase diagrams are obtained. We comment on implications for the cuprates.Comment: 7 pages, 3 figure