Covariant gaussian approximation in Ginzburg - Landau model

Condensed matter systems undergoing second order transition away from the critical fluctuation region are usually described sufficiently well by the mean field approximation. The critical fluctuation region, determined by the Ginzburg criterion, $\left \vert T/T_{c}-1\right \vert \ll Gi$, is narrow even in high $T_{c}$ superconductors and has universal features well captured by the renormalization group method. However recent experiments on magnetization, conductivity and Nernst effect suggest that fluctuations effects are large in a wider region both above and below $T_{c}$. In particular some "pseudogap" phenomena and strong renormalization of the mean field critical temperature $T_{mf}$ can be interpreted as strong fluctuations effects that are nonperturbative (cannot be accounted for by "gaussian fluctuations"). The physics in a broader region therefore requires more accurate approach. Self consistent methods are generally "non - conserving" in the sense that the Ward identities are not obeyed. This is especially detrimental in the symmetry broken phase where, for example, Goldstone bosons become massive. Covariant gaussian approximation remedies these problems. The Green's functions obey all the Ward identities and describe the fluctuations much better. The results for the order parameter correlator and magnetic penetration depth of the Ginzburg - Landau model of superconductivity are compared with both Monte Carlo simulations and experiments in high $T_{c}$ cuprates.Comment: 24 pages, 7 figure

VASCOMP 2. The V/STOL aircraft sizing and performance computer program. Volume 6: User's manual, revision 3

This report describes the use of the V/STOL Aircraft Sizing and Performance Computer Program (VASCOMP II). The program is useful in performing aircraft parametric studies in a quick and cost efficient manner. Problem formulation and data development were performed by the Boeing Vertol Company and reflects the present preliminary design technology. The computer program, written in FORTRAN IV, has a broad range of input parameters, to enable investigation of a wide variety of aircraft. User oriented features of the program include minimized input requirements, diagnostic capabilities, and various options for program flexibility

Reasoning about transfinite sequences

We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequences of actions and quantitative temporal operators indexed by ordinals replace the standard next-time and until future-time operators. Our aim is to control such systems by designing controllers that safely work on $\omega$-sequences but interact synchronously with the system in order to restrict their behaviors. We show that the satisfiability problem for the logics working on $\omega^k$-sequences is EXPSPACE-complete when the integers are represented in binary, and PSPACE-complete with a unary representation. To do so, we substantially extend standard results about LTL by introducing a new class of succinct ordinal automata that can encode the interaction between the different quantitative temporal operators.Comment: 38 page

System design of the Pioneer Venus spacecraft. Volume 10: Propulsion/orbit insertion subsystem studies

The Pioneer Venus orbiter and multiprobe missions require spacecraft maneuvers for successful accomplishment. This report presents the results of studies performed to define the propulsion subsystems required to perform those maneuvers. Primary goals were to define low mass subsystems capable of performing the required missions with a high degree of reliability for low cost. A review was performed of all applicable propellants and thruster types, as well as propellant management techniques. Based on this review, a liquid monopropellant hydrazine propulsion subsystem was selected for all multiprobe mission maneuvers, and for all orbiter mission maneuvers except orbit insertion. A pressure blowdown operating mode was selected using helium as the pressurizing gas. The forces associated with spacecraft rotations were used to control the liquid-gas interface and resulting propellant orientation within the tank

Massless Three Dimensional Quantum Electrodynamics and Thirring Model Constrained by Large Flavor Number

We explicitly prove that in three dimensional massless quantum electrodynamics at finite temperature, zero density and large number of flavors the number of infrared degrees of freedom is never larger than the corresponding number of ultraviolet. Such a result, strongly dependent on the asymptotic freedom of the theory, is reversed in three dimensional Thirring model due to the positive derivative of its running coupling constant

Density of states of the interacting two-dimensional electron gas

We study the influence of electron-electron interactions on the density of states (DOS) of clean 2D electron gas. We confirm the linear cusp in the DOS around the Fermi level, which was obtained previously. The cusp crosses over to a pure logarithmic dependence further away from the Fermi surface.Comment: RevTeX, 3 pages, no figure

Identifying and analyzing methods for reducing the energy consumption of helicopters

The results are presented of a study to identify those helicopter technology areas which would result in the largest energy (or fuel) savings when applied to large tandem (100 passenger) civil helicopters in the 1985 time frame. Baseline aircraft using 1975 technology in the areas of powerplant, rotor efficiency, parasite drag and structure were sized to a very short haul mission of 100 N.M. and a short haul mission of 200 N.M. A systematic parametric analysis was then conducted to assess the impact of technology improvements. Projections of the technology levels that could be obtained in the 1985 time frame were made and the resources estimated to achieve them. Based on these data, the highest payoff (lowest energy) helicopter technologies are identified

The Dynamical Behaviors in (2+1)-Dimensional Gross-Neveu Model with a Thirring Interaction

We analyze (2+1)-dimensional Gross-Neveu model with a Thirring interaction, where a vector-vector type four-fermi interaction is on equal terms with a scalar-scalar type one. The Dyson-Schwinger equation for fermion self-energy function is constructed up to next-to-leading order in 1/N expansion. We determine the critical surface which is the boundary between a broken phase and an unbroken one in ($\alpha_c,~ \beta_c,~ N_c$) space. It is observed that the critical behavior is mainly controlled by Gross-Neveu coupling $\alpha_c$ and the region of the broken phase is separated into two parts by the line $\alpha_c=\alpha_c^*(=\frac{8}{\pi^2})$. The mass function is strongly dependent upon the flavor number N for $\alpha > \alpha_c^*$, while weakly for $\alpha \alpha_c^*$, the critical flavor number $N_c$ increases as Thirring coupling $\beta$ decreases. By driving the CJT effective potential, we show that the broken phase is energetically preferred to the symmetric one. We discuss the gauge dependence of the mass function and the ultra-violet property of the composite operators.Comment: 19 pages, LaTex, 6 ps figure files(uuencoded in seperate file