Understanding High Temperature Superconductors: Progress and Prospects

I review progress in measurements of the dynamic spin susceptibility in the normal state which yield a new phase diagram and discuss microscopic calculations which yield qualitative, and in many cases, quantitative agreement with the measured changes in the quasiparticle, transport, magnetotransport, and optical properties of the cuprate superconductors as one varies doping and temperature provided one describes the systems as nearly anti-ferromagnetic Fermi liquids in which the effective magnetic interaction between planar quasiparticles mirrors the dynamic spin susceptibility measured in NMR and INS experiments. Together with the demonstration that the NAFL pairing potential leads inexorably to a d_x2-y2,pairing state, this work provides a "proof of concept" for the NAFL description of high Tc materials. I review Eliashberg calculations of the mean-field behavior found in overdoped systems and discuss the extent to which the crossovers to pseudoscaling and pseudogap behavior found in the effective magnetic interaction and quasiparticle behavior in the optimally doped and underdoped systems may be derived microscopically. I conclude with a tentative scenario for the dependence of Tc on doping level and imperfections in different systems.Comment: 6 pages, 1 figure. To appear in a special issue of Physica C of the M2S-HTSC-V Conference held Feb. 28-Mar. 4, 1997, in Beijing, Chin

Nearly Antiferromagnetic Fermi Liquids: A Progress Report

I describe recent theoretical and experimental progress in understanding the physical properties of the two dimensional nearly antiferromagnetic Fermi liquids (NAFL's) found in the normal state of the cuprate superconductors. In such NAFL's, the magnetic interaction between planar quasiparticles is strong and peaked at or near the commensurate wave vector, $Q \equiv (\pi,\pi)$. For the optimally doped and underdoped systems, the resulting strong antiferromagnetic correlations produce three distinct magnetic phases in the normal state: mean field above $T_{cr}$, pseudoscaling between $T_{cr}$ and $T_*$, and pseudogap below $T_*$. I present arguments which suggest that the physical origin of the pseudogap found in the quasiparticle spectrum below $T_{cr}$ is the formation of a precursor to a spin-density-wave-state, describe the calculations based on this scenario of the dynamical spin susceptibility, Fermi surface evolution, transport, and Hall effect, and summarize the experimental evidence in its support.Comment: LATEX + PS figures. To appear in the proceedings of the Euroconference on "Correlations in Unconventional Quantum Liquids," Evora, Portugal, October 199

Superconducting states of pure and doped graphene

We study the superconducting phases of the two-dimensional honeycomb lattice of graphene. We find two spin singlet pairing states, s-wave and an exotic $p+ip$ that is possible because of the special structure of the honeycomb lattice. At half filling, the $p+ip$ phase is gapless and superconductivity is a hidden order. We discuss the possibility of a superconducting state in metal coated graphene.Comment: 4 pages, 6 figure

The Securities and Exchange Commission and Accounting Principles

In this thesis we address the problem of optimal code generation for irregular architectures such as Digital Signal Processors (DSPs). Code generation consists mainly of three interrelated optimization tasks: instruction selection (with resource allocation), instruction scheduling and register allocation. These tasks have been discovered to be NP-hard for most architectures and most situations. A common approach to code generation consists in solving each task separately, i.e. in a decoupled manner, which is easier from a software engineering point of view. Phase-decoupled compilers produce good code quality for regular architectures, but if applied to DSPs the resulting code is of significantly lower performance due to strong interdependences between the different tasks. We developed a novel method for fully integrated code generation at the basic block level, based on dynamic programming. It handles the most important tasks of code generation in a single optimization step and produces an optimal code sequence. Our dynamic programming algorithm is applicable to small, yet not trivial problem instances with up to 50 instructions per basic block if data locality is not an issue, and up to 20 instructions if we take data locality with optimal scheduling of data transfers on irregular processor architectures into account. For larger problem instances we have developed heuristic relaxations. In order to obtain a retargetable framework we developed a structured architecture specification language, xADML, which is based on XML. We implemented such a framework, called OPTIMIST that is parameterized by an xADML architecture specification. The thesis further provides an Integer Linear Programming formulation of fully integrated optimal code generation for VLIW architectures with a homogeneous register file. Where it terminates successfully, the ILP-based optimizer mostly works faster than the dynamic programming approach; on the other hand, it fails for several larger examples where dynamic programming still provides a solution. Hence, the two approaches complement each other. In particular, we show how the dynamic programming approach can be used to precondition the ILP formulation. As far as we know from the literature, this is for the first time that the main tasks of code generation are solved optimally in a single and fully integrated optimization step that additionally considers data placement in register sets and optimal scheduling of data transfers between different registers sets

Neutron stars: A cosmic hadron physics laboratory

A progress report is given on neutron stars as a cosmic hadron physics laboratory. Particular attention is paid to the crustal neutron superfluid, and to the information concerning its properties which may be deduced from observations of pulsar glitches and postglitch behavior. Current observational evidence concerning the softness or stiffness of the high density neutron matter equation of state is reviewed briefly, and the (revolutionary) implications of a confirmation of the existence of a 0.5 ms pulsar at the core of (Supernova) SN1987A are discussed

Averaged initial Cartesian coordinates for long lifetime satellite studies

A set of initial Cartesian coordinates, which are free of ambiguities and resonance singularities, is developed to study satellite mission requirements and dispersions over long lifetimes. The method outlined herein possesses two distinct advantages over most other averaging procedures. First, the averaging is carried out numerically using Gaussian quadratures, thus avoiding tedious expansions and the resulting resonances for critical inclinations, etc. Secondly, by using the initial rectangular Cartesian coordinates, conventional, existing acceleration perturbation routines can be absorbed into the program without further modifications, thus making the method easily adaptable to the addition of new perturbation effects. The averaged nonlinear differential equations are integrated by means of a Runge Kutta method. A typical step size of several orbits permits rapid integration of long lifetime orbits in a short computing time

Optimal hybrid propulsion systems thrust trajectories in a patched-conic N-body force field

Euler-Lagrange equations for approximating optimal thrust trajectories for limited hybrid propulsion system in N-body dynamic environmen