Statistical Mechanics of semi-classical colored Objects

A microscopic model of deconfined matter based on color interactions between semi-classical quarks is studied. A hadronization mechanism is imposed to examine the properties and the disassembly of a thermalized quark plasma and to investigate the possible existence of a phase transition from quark matter to hadron matter.Comment: Submitted to Phys. Lett.

Quantitative Models and Implicit Complexity

We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Elementary Affine Logic, LFPL (a language for polytime computation close to realistic functional programming introduced by one of us), Light Affine Logic and Soft Affine Logic. The proofs are based on a common semantical framework which is merely instantiated in four different ways. The framework consists of an innovative modification of realizability which allows us to use resource-bounded computations as realisers as opposed to including all Turing computable functions as is usually the case in realizability constructions. For example, all realisers in the model for LFPL are polynomially bounded computations whence soundness holds by construction of the model. The work then lies in being able to interpret all the required constructs in the model. While being the first entirely semantical proof of polytime soundness for light logi cs, our proof also provides a notable simplification of the original already semantical proof of polytime soundness for LFPL. A new result made possible by the semantic framework is the addition of polymorphism and a modality to LFPL thus allowing for an internal definition of inductive datatypes.Comment: 29 page

Green's functions for parabolic systems of second order in time-varying domains

We construct Green's functions for divergence form, second order parabolic systems in non-smooth time-varying domains whose boundaries are locally represented as graph of functions that are Lipschitz continuous in the spatial variables and 1/2-H\"older continuous in the time variable, under the assumption that weak solutions of the system satisfy an interior H\"older continuity estimate. We also derive global pointwise estimates for Green's function in such time-varying domains under the assumption that weak solutions of the system vanishing on a portion of the boundary satisfy a certain local boundedness estimate and a local H\"older continuity estimate. In particular, our results apply to complex perturbations of a single real equation.Comment: 25 pages, 0 figur

Balancing ion parameters and fluorocarbon chemical reactants for SiO2 pattern transfer control using fluorocarbon-based atomic layer etching

In manufacturing, etch profiles play a significant role in device patterning. Here, the authors present a study of the evolution of etch profiles of nanopatterned silicon oxide using a chromium hard mask and a CHF3/Ar atomic layer etching in a conventional inductively coupled plasma tool. The authors show the effect of substrate electrode temperature, chamber pressure, and electrode forward power on the etch profile evolution of nanopatterned silicon oxide. Chamber pressure has an especially significant role, with lower pressure leading to lower etch rates and higher pattern fidelity. The authors also find that at higher electrode forward power, the physical component of etching increases and more anisotropic etching is achieved. By carefully tuning the process parameters, the authors are able to find the best conditions to achieve aspect-ratio independent etching and high fidelity patterning, with an average sidewall angle of 87° ± 1.5° and undercut values as low as 3.7 ± 0.5% for five trench sizes ranging from 150 to 30 nm. Furthermore, they provide some guidelines to understand the impact of plasma parameters on plasma ion distribution and thus on the atomic layer etching process

Uncertainty characteristics of generalized quantum measurements

The effects of any quantum measurement can be described by a collection of measurement operators {M_m} acting on the quantum state of the measured system. However, the Hilbert space formalism tends to obscure the relationship between the measurement results and the physical properties of the measured system. In this paper, a characterization of measurement operators in terms of measurement resolution and disturbance is developed. It is then possible to formulate uncertainty relations for the measurement process that are valid for arbitrary input states. The motivation of these concepts is explained from a quantum communication viewpoint. It is shown that the intuitive interpretation of uncertainty as a relation between measurement resolution and disturbance provides a valid description of measurement back action. Possible applications to quantum cryptography, quantum cloning, and teleportation are discussed.Comment: 8 pages, small additions on cloning and on definitions of delta A_mf, et

Amortised resource analysis with separation logic

Type-based amortised resource analysis following Hofmann and Jost—where resources are associated with individual elements of data structures and doled out to the programmer under a linear typing discipline—have been successful in providing concrete resource bounds for functional programs, with good support for inference. In this work we translate the idea of amortised resource analysis to imperative languages by embedding a logic of resources, based on Bunched Implications, within Separation Logic. The Separation Logic component allows us to assert the presence and shape of mutable data structures on the heap, while the resource component allows us to state the resources associated with each member of the structure. We present the logic on a small imperative language with procedures and mutable heap, based on Java bytecode. We have formalised the logic within the Coq proof assistant and extracted a certified verification condition generator. We demonstrate the logic on some examples, including proving termination of in-place list reversal on lists with cyclic tails

Near-Infrared-Spectroscopy with Extremely Large Telescopes: Integral-Field- versus Multi-Object-Instruments

Integral-field-spectroscopy and multi-object-spectroscopy provide the high multiplex gain required for efficient use of the upcoming generation of extremely large telescopes. We present instrument developments and designs for both concepts, and how these designs can be applied to cryogenic near-infrared instrumentation. Specifically, the fiber-based concept stands out the possibility to expand it to any number of image points, and its modularity predestines it to become the new concept for multi-field-spectroscopy. Which of the three concepts --- integral-field-, multi-object-, or multi-field-spectroscopy --- is best suited for the largest telescopes is discussed considering the size of the objects and their density on the sky.Comment: 8 pages, 4 figures (converted to bitmap), to appear in the proceedings of the Workshop on Extremely Large Telescopes, Sweden, June 1-2, 1999, uses spie.sty (V0.91) and spiebib.bst (V0.91

Nuclear fission: The "onset of dissipation" from a microscopic point of view

Semi-analytical expressions are suggested for the temperature dependence of those combinations of transport coefficients which govern the fission process. This is based on experience with numerical calculations within the linear response approach and the locally harmonic approximation. A reduced version of the latter is seen to comply with Kramers' simplified picture of fission. It is argued that for variable inertia his formula has to be generalized, as already required by the need that for overdamped motion the inertia must not appear at all. This situation may already occur above T=2 MeV, where the rate is determined by the Smoluchowski equation. Consequently, comparison with experimental results do not give information on the effective damping rate, as often claimed, but on a special combination of local stiffnesses and the friction coefficient calculated at the barrier.Comment: 31 pages, LaTex, 9 postscript figures; final, more concise version, accepted for publication in PRC, with new arguments about the T-dependence of the inertia; e-mail: [email protected]