Automated proving and analysis of geometric theorems in coordinate-free form by using the anticommutative Gröbner basis method

Some geometric theorems can be stated in coordinate-free form as polynomials in Grassman algebra and can be proven by the anticommutative Gröbner basis method. In this article, we analyze some properties of both sets of hypotheses and conclusions of the theorem.     

Effective field and the Bloch-Siegert shift at bichromatic excitation of multiphoton EPR

The dynamics of multiphoton transitions in a two-level spin system excited by transverse microwave and longitudinal RF fields with the frequencies ω_mw and ω_rf, respectively, is analyzed. The effective time-independent Hamiltonian describing the “dressed” spin states of the “spin + bichromatic field” system is obtained by using the Krylov-Bogoliubov-Mitropolsky averaging method. The direct detection of the time behavior of the spin system by the method of nonstationary nutations makes it possible to identify the multiphoton transitions for resonances ω₀ = ω_mw + rω_rf (ω₀ is the central frequency of the EPR line, r = 1, 2), to measure the amplitudes of the effective fields of these transitions, and to determine the features generated by the inhomogeneous broadening of the EPR line. It is shown that the Bloch-Siegert shifts for multiphoton resonances at the inhomogeneous broadening of spectral lines reduce only the nutation amplitude but do not change their frequencies.     

Germanium growth on Br-terminated Si(1 0 0)

The consequences of Ge deposition on Br-terminated Si(1 0 0) were studied with scanning tunneling microscopy at ambient temperature after annealing at 650 K. One monolayer of Br was sufficient to prevent the formation of Ge huts beyond the critical thickness of 3 ML. This is possible because Br acts as a surfactant whose presence lowered the diffusivity of Ge adatoms. Hindered mobility was manifest at low coverage through the formation of short Ge chains. Further deposition resulted in the extension and connection of the Ge chains and gave rise to the buildup of incomplete layers. The deposition of 7 ML of Ge resulted in a rough surface characterized by irregularly shaped clusters. A short 800 K anneal desorbed the Br and allowed Ge atoms to reorganize into the more energetically favorable “hut” structures produced by conventional Ge overlayer growth on Si(1 0 0).     

Energy losses of dipoles traveling relative to a moving medium

We consider the radiation from nonoscillating dipoles traveling with constant velocity directed parallel or antiparallel to the velocity of a homogeneous transparent moving medium. It is assumed that the medium in its rest frame is isotropic and has no spatial dispersion. We obtain expressions for the radiative energy losses and estimate the polarization energy losses of electric and magnetic dipoles of different orientations. In particular, it is shown that the energy loss of a source is negative if it moves in the direction of the medium motion and the source velocity is less than the medium velocity. Estimates for the energy losses of dipoles in the cases of an electron beam and a flow of a weakly dispersive medium are given. __________ Translated from Izvestiya Vysshikh Uchebnykh Zavedenii, Radiofizika, Vol. 49, No. 6, pp. 502–512, June 2006.     

Conditional independence models for seemingly unrelated regressions with incomplete data

We consider normal ≡ Gaussian seemingly unrelated regressions (SUR) with incomplete data (ID). Imposing a natural minimal set of conditional independence constraints, we find a restricted SUR/ID model whose likelihood function and parameter space factor into the product of the likelihood functions and the parameter spaces of standard complete data multivariate analysis of variance models. Hence, the restricted model has a unimodal likelihood and permits explicit likelihood inference. In the development of our methodology, we review and extend existing results for complete data SUR models and the multivariate ID problem.     

Dependence of the H2-H2 Interaction on the Monomer Bond Lengths: Steps Toward an Accurate ab initio Estimate

We compute the vibrational coupling between two H₂ molecules from ab initio quantum chemical calculations of the H₂-H₂ potential carried out at the full configuration interaction level of theory using the atom-centered aug-cc-pVTZ basis set for hydrogen. We compare the full configuration interaction results with those obtained using two variants of coupled cluster theory and find that a fully iterative treatment of connected triples may be required to estimate the H₂-H₂ vibrational coupling accurately using coupled cluster theory.     

Influence of Azimuthal Structure of Surface Waves on Efficiency of their Excitation by Tubular Electron Beams

The excitation of eigen surface waves by tubular electron beams in cylindrical discharge devices is studied. The influence of the wave‐field azimuthal structure on the excitation efficiency and nonlinear stage of the plasmabeam instability is investigated both numerically and analytically. Analytical expressions for the saturation amplitude and excitation efficiency of the wave under study are derived. They are found to agree well with results obtained by numerical modelling of the plasma‐beam interaction presented in this paper. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Method of lines with boundary elements for 1‐D transient diffusion‐reaction problems

Time‐dependent differential equations can be solved using the concept of method of lines (MOL) together with the boundary element (BE) representation for the spatial linear part of the equation. The BE method alleviates the need for spatial discretization and casts the problem in an integral format. Hence errors associated with the numerical approximation of the spatial derivatives are totally eliminated. An element level local cubic approximation is used for the variable at each time step to facilitate the time marching and the nonlinear terms are represented in a semi‐implicit manner by a local linearization at each time step. The accuracy of the method has been illustrated on a number of test problems of engineering significance. © 2005 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 2006