Induced Representations of Abelian Groups of Finite Rank

We prove that any irreducible faithful representation of an almost torsion-free Abelian group G of finite rank over a finitely generated field of characteristic zero is induced from an irreducible representation of a finitely generated subgroup of the group G.     

Density-Functional Theory Calculations of Normal Modes and Raman Intensities for Tetraazaporphin

The structure, harmonic frequencies, and nonresonance Raman intensities for porphin, tetraazaporphin (TAP), and three of its isotopomers are calculated by the density-functional theory of B3LYP/6-31G(d). Scaling of force constants for porphin in nonredundant natural coordinates is performed. The scaling factors obtained were used to predict the force field and normal modes of TAP and three of its isotopomers. Two alternative methods are used to carry out reliable assignment of the TAP frequencies: wavenumber-linear scaling method and frequency-shift method. There is good agreement between the frequencies predicted within the framework of the three methods used. The conservativeness of the out-of-plane B _2g - and B _3g -modes for porphin and TAP is examined. The Raman spectrum for TAP is simulated. A refinement of the assignment of the experimental frequencies for TAP of even symmetry types on the basis of the calculations performed is made.     

In-Situ Intrinsic Interface Strength Measurement at Elevated Temperatures and its Relationship to Interfacial Structure

A previously developed laser spallation technique has been modified to measure the tensile strength of thin film interfaces in-situ at temperatures up to 1100°C. Tensile strengths of Nb/A-plane sapphire, FeCrAl/A-plane sapphire and FeCrAlY/A-plane sapphire were measured up to 950°C. The measured strengths at high temperatures were substantially lower compared with their corresponding strengths at ambient temperature. For example, at 850°C, the interface tensile strength for the Nb/sapphire (151 ± 17 MPa), FeCrAl/sapphire (62 ± 8 MPa) and FeCrAlY/sapphire (82 ± 11 MPa) interface systems were lower by factors of approximately, 3, 5, and 8, respectively, over their corresponding ambient values. These results underscore the importance of using such in-situ measured values under operating conditions as the failure criterion in any life prediction or reliability models of such coated systems where local interface temperature excursions are expected. The results on alloy film interfaces also demonstrate that the presence of Y increases the strength of FeCrAl/Al₂O₃ interfaces.     

Semiempirical calculation of the fine structure of the indium ion

The fine-structure parameters of a series of configurations of the first ion of indium and the gyromagnetic ratios in intermediate coupling are calculated by a semiempirical method in the single-configuration approximation.     

Use of the two-moment boundary condition in the problem of rarefied gas slip over a solid cylindrical surface

The slip velocity of a rarefied gas nonuniform in temperature and mass velocity is calculated for gas slip over the surface of a right circular cylinder. The calculation uses the two-moment boundary condition in an approximation linear in Knudsen number. Corrections to the slip velocity that are due to the interface curvature, volume temperature stresses, and nonuniform temperature distribution in the Knudsen layer are studied as func-tions of the accommodation coefficients in the first two moments of the distribution function. The Bhatnagar-Gross-Krook model of the Boltzmann kinetic equation is employed as the basic equation for the gas state.     

Reply to Nathan: How to reconstruct the causal argument

Nicholas Nathan tries to resist the current version of the causal argument for sense-data in two ways. First he suggests that, on what he considers to be the correct re-construction of the argument, it equivocates on the sense of proximate cause. Second he defends a form of disjunctivism, by claiming that there might be an extra mechanism involved in producing veridical hallucination, that is not present in perception. I argue that Nathan’s reconstruction of the argument is not the appropriate one, and that, properly interpreted, the argument does not equivocate on proximate cause. Furthermore, I claim that his postulation of a modified mechanism for hallucinations is implausibly ad hoc.     

On the bounded version of Hilbert's tenth problem

 The paper establishes lower bounds on the provability of 𝒟=NP and the MRDP theorem in weak fragments of arithmetic. The theory I ⁵ E ₁ is shown to be unable to prove 𝒟=NP. This non-provability result is used to show that I ⁵ E ₁ cannot prove the MRDP theorem. On the other hand it is shown that I ¹ E ₁ proves 𝒟 contains all predicates of the form (∀i≤|b|)P(i,x)^Q(i,x) where ^ is =, <, or ≤, and I ⁰ E ₁ proves 𝒟 contains all predicates of the form (∀i≤b)P(i,x)=Q(i,x). Here P and Q are polynomials. A conjecture is made that 𝒟 contains NLOGTIME. However, it is shown that this conjecture would not be sufficient to imply 𝒟=N P. Weak reductions to equality are then considered as a way of showing 𝒟=NP. It is shown that the bit-wise less than predicate, ≤₂, and equality are both co-NLOGTIME complete under FDLOGTIME reductions. This is used to show that if the FDLOGTIME functions are definable in 𝒟 then 𝒟=N P. Received: 13 July 2001 / Revised version: 9 April 2002 / Published online: 19 December 2002 Key words or phrases: Bounded Arithmetic – Bounded Diophantine Complexity     

Numerical Modeling of Interior Ballistics Processes in Light Gas Guns

An improved procedure for modeling the operation of a light-gas gun is proposed. The motion of working bodies in both the firing chamber and the light-gas chamber is studied within the framework of the mechanics of heterogeneous media. The problem of barrel heating taking into account its melting and removal of thermal ablation products into the medium inside the bore is solved in a coupled formulation. Heat and mass transfer and friction on the barrel surface are calculated using empirical dependences. The deformable piston is considered compressible and elastoviscoplastic. Allowance is made for the presence of a clearance between the lateral surface of the piston and the barrel bore walls and the associated gas flow between the firing and the light-gas chamber. Calculation results are given.     

Stationary entanglement between macroscopic mechanical oscillators

We show that the optomechanical coupling between an optical cavity mode and two movable cavity mirrors is able to entangle two different macroscopic oscillation modes of the mirrors. This continuous variable entanglement is maintained by the light bouncing between the mirrors and is robust against thermal noise. In fact, it could be experimentally demonstrated using present technology. Received 2 September 2002 / Received in final form 10 October 2002 Published online 7 January 2003