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.     

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).     

New examples of Osserman metrics with nondiagonalizable Jacobi operators

Explicit examples of Osserman 4-manifolds with exactly two distinct eigenvalues of the Jacobi operators, α and β=4α≠0, are given. The former has multiplicity two and is a double root of the minimal polynomial of the Jacobi operators.     

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.     

Effects of annealing conditions on the electrical properties of Bi4-xNdxTi3O12 (x = 0.46) thin films processed at low temperature

Neodymium-substituted Bi₄Ti₃O₁₂ (BNdT) thin films were prepared by a chemical solution deposition technique on platinum- coated silicon substrates. All of the samples were annealed at the relatively low temperature of 600 °C by a rapid thermal annealing process in different atmospheres, such as O₂, air, and nitrogen, and vacuum. Irrespective of different annealing atmospheres, all of the BNdT thin films exhibit good ferroelectric properties, such as a saturated hysteresis loop, good fatigue endurance, and low leakage current density. A large remanent polarization (P_r) of ∼48 μC/cm² with an electric field of 240 kV/cm was observed from the BNdT thin film annealed in O₂ atmosphere. The BNdT thin films annealed in nitrogen and vacuum, at reduced oxygen partial pressures, exhibit smaller P_r than that annealed in oxygen. The difference of P_r of the BNdT thin films annealed in different atmospheres may originate from differences in the grain sizes and the number of oxygen vacancies. PACS 77.55.+f; 77.80.-e; 77.80.Fm; 81.15.-z     

Periodic Integrable Systems with Delta-Potentials

In this paper we study root system generalizations of the quantum Bose-gas on the circle with pair-wise delta-function interactions. The underlying symmetry structures are shown to be governed by the associated graded algebra of Cherednik's (suitably filtered) degenerate double affine Hecke algebra, acting by Dunkl-type differential-reflection operators. We use Gutkin's generalization of the equivalence between the impenetrable Bose-gas and the free Fermi-gas to derive the Bethe ansatz equations and the Bethe ansatz eigenfunctions.     

Compact integration operators for Fréchet-space-valued measures

Many operators in Banach spaces occur as the integration operator of a suitable vector measure; their compactness is completely described in [19]. However, many important spaces X in analysis (and integration operators in such spaces) do not fall into this scheme because X is not normable. Characterizing the compactness of integration operators in this setting is the aim of this note. The methods and techniques employed are quite different to the Banach space arguments used in [19].     

On the geometry of infinite cyclic subgroups

In this paper we construct an example of a word metric on an infinite cyclic subgroup. This example shows that subexponential distortion does not obstruct non-trivial growth of connected radii. This answers a question of Gromov [6]. The constructed metric has other pathological properies. Specifically, its asymptotic cone depends on the choice of ultrafilter and scaling sequence. The work has been partially supported by the Swiss National Science Foundation.     

On iteration semigroups of mean-type mappings and invariant means

Summary. Iteration semigroups of weighted quasi-arithmetic mean-type mappings are considered. Existence and uniqueness of a mean which is invariant with respect to a continuous semigroup of mean-type mapping is proved.