The Boolean Prime Ideal Theorem Plus Countable Choice Do Not Imply Dependent Choice

Two Fraenkel-Mostowski models are constructed in which the Boolean Prime Ideal Theorem is true. In both models, AC for countable sets is true, but AC for sets of cardinality 2 and the 2m = m principle are both false. The Principle of Dependent Choices is true in the first model, but false in the second. Mathematics Subject Classification: 03E25, 03E35, 04A25.     

The uniform modulus of continuity of iterated Brownian motion

LetX be a Brownian motion defined on the line (withX(0)=0) and letY be an independent Brownian motion defined on the nonnegative real numbers. For allt0, we define theiterated Brownian motion (IBM),Z, by setting . In this paper we determine the exact uniform modulus of continuity of the process Z.Research supported by NSF grant DMS-9122242.     

Whitehead test modules

A (right -) module is said to be a Whitehead test module for projectivity (shortly: a p-test module) provided for each module , implies is projective. Dually, i-test modules are defined. For example, is a p-test abelian group iff each Whitehead group is free. Our first main result says that if is a right hereditary non-right perfect ring, then the existence of p-test modules is independent of ZFC + GCH. On the other hand, for any ring , there is a proper class of i-test modules. Dually, there is a proper class of p-test modules over any right perfect ring.

A non-semisimple ring is said to be fully saturated (-saturated) provided that all non-projective (-generated non-projective) modules are i-test. We show that classification of saturated rings can be reduced to the indecomposable ones. Indecomposable 1-saturated rings fall into two classes: type I, where all simple modules are isomorphic, and type II, the others. Our second main result gives a complete characterization of rings of type II as certain generalized upper triangular matrix rings, . The four parameters involved here are skew-fields and , and natural numbers . For rings of type I, we have several partial results: e.g. using a generalization of Bongartz Lemma, we show that it is consistent that each fully saturated ring of type I is a full matrix ring over a local quasi-Frobenius ring. In several recent papers, our results have been applied to Tilting Theory and to the Theory of -modules.

     

Prox-regular functions in variational analysis

The class of prox-regular functions covers all l.s.c., proper, convex functions, lower- functions and strongly amenable functions, hence a large core of functions of interest in variational analysis and optimization. The subgradient mappings associated with prox-regular functions have unusually rich properties, which are brought to light here through the study of the associated Moreau envelope functions and proximal mappings. Connections are made between second-order epi-derivatives of the functions and proto-derivatives of their subdifferentials. Conditions are identified under which the Moreau envelope functions are convex or strongly convex, even if the given functions are not.

     

Computing the Fukui function from ab initio quantum chemistry: approaches based on the extended Koopmans’ theorem

The extended Koopmans’ theorem is related to Fukui function, which measures the change in electron density that accompanies electron attachment and removal. Two approaches are used, one based on the extended Koopmans’ theorem differential equation and the other based directly on the expression of the ionized wave function from the extended Koopmans’ theorem. It is observed that the Fukui function for electron removal can be modeled as the square of the first Dyson orbital, plus corrections. The possibility of useful generalizations to the extended Koopmans’ theorem is considered; some of these extensions give approximations, or even exact expressions, for the Fukui function for electron attachment.     

Repeat Space Theory Applied to Carbon Nanotubes and Related Molecular Networks. I

The present article is the first part of a series devoted to extending the Repeat Space Theory (RST) to apply to carbon nanotubes and related molecular networks. Four key problems are formulated whose affirmative solutions imply the formation of the initial investigative bridge between the research field of nanotubes and that of the additivity and other network problems studied and solved by using the RST. All of these four problems are solved affirmatively by using tools from the RST. The Piecewise Monotone Lemmas (PMLs) are cornerstones of the proof of the Fukui conjecture concerning the additivity problems of hydrocarbons. The solution of the fourth problem gives a generalized analytical formula of the pi-electron energy band curves of nanotube (a, b), with two new complex parameters c and d. These two parameters bring forth a broad class of analytic curves to which the PMLs and associated theoretical devices apply. Based on the above affirmative solutions of the problems, a central theorem in the RST, called the asymptotic linearity theorem (ALT) has been applied to nanotubes and monocyclic polyenes. Analytical formulae derived in this application of the ALT illuminate in a new global context (i) the conductivity of nanotubes and (ii) the aromaticity of monocyclic polyenes; moreover an analytical formula obtained by using the ALT provides a fresh insight into Hückel’s (4n+2) rule. The present article forms a foundation of the forthcoming articles in this series. The present series of articles is closely associated with the series of articles entitled ‘Proof of the Fukui conjecture via resolution of singularities and related methods’ published in the JOMC.     

Effective atom volumes for implicit solvent models: comparison between Voronoi volumes and minimum fluctuation volumes

An essential element of implicit solvent models, such as the generalized Born method, is a knowledge of the volume associated with the individual atoms of the solute. Two approaches for determining atomic volumes for the generalized Born model are described; one is based on Voronoi polyhedra and the other, on minimizing the fluctuations in the overall volume of the solute. Volumes to be used with various parameter sets for protein and nucleic acids in the CHARMM force field are determined from a large set of known structures. The volumes resulting from the two different approaches are compared with respect to various parameters, including the size and solvent accessibility of the structures from which they are determined. The question of whether to include hydrogens in the atomic representation of the solute volume is examined. Copyright 2001 John Wiley & Sons, Inc. J Comput Chem 22: 1857-1879, 2001     

Numerical examination of performance of some exchange-correlation functionals for molecules containing heavy elements

The performance of 17 exchange-correlation functionals for molecules containing heavy elements are numerically examined through four-component relativistic density DFT calculations. The examined functionals show the similar accuracy as they do for the molecules containing light elements only except for bond lengths. LDA and OP86 produce good results for bond lengths and frequencies but bad bond energies. Different functionals do not show much different performance for bond energies except LDA. BP86 and GP86 produce results with average accuracy while LYP does not perform well. Although encouraging results are obtained with functional B97GGA-1, other heavily parameterized and meta-GGA functionals do not produce impressive results.     

Proof of the Fukui conjecture via resolution of singularities and related methods. II $$^{\star}$$

The present article is a direct continuation of the first part of this series. We reduce a proof of the Fukui conjecture (concerning the additivity problem of the zero-point vibrational energies of hydrocarbons) to that of a proposition related to the theory of algebraic curves, so that we can focus on the key mechanism of the additivity phenomena. Namely, by establishing what is called the Basic Piecewise Monotone Theorem (BPMT), we reduce a proof of the Fukui conjecture to that of a proposition, called the Local Analyticity Proposition, Version 1 (LAP1), which admits a proof via resolution of singularities. By LAP1, the essential part of the mechanism of the asymptotic linearity phenomena is extracted and is elucidated by using tools from the mathematical theory of algebraic curves, whose language is of vital importance in analyzing the crux of the additivity mechanism. Dedicated to the memory of Prof. Kenichi Fukui (1918–1998).     

On the role of localized molecular orbitals in the formation of bond dipoles

The hypothesis of the classical chemistry about bond dipoles resulting from shifts of separate pairs of electrons is proved using the non-canonical method of molecular orbitals (MOs). To this end, a relation is sought between the total charge distribution inside an individual chemical bond of a polyatomic molecule and the square of the respective single localized MO (LMO). General expressions for these MOs are obtained directly on the basis of the Brillouin theorem without invoking additional localization criteria. The two characteristics under comparison are presented in an explicit algebraic form in terms of meaningful components. Reshaping of square of the ‘own’ LMO of the given bond is shown to play the decisive role in the formation of secondary dipoles of initially homopolar bonds (e.g. of C–C and C–H bonds in substituted alkanes), as well as of bonds of relatively low initial polarity. Thus, representability of these dipoles by shifts of the ‘own’ pairs of electrons of respective bonds is supported. For bonds of a high initial polarity, the secondary dipoles are shown to originate mainly from contributions of LMOs of other bonds extending over the antibonding basis orbital of the given bond. Moreover, the actual secondary bond dipole takes an opposite direction vs. that predicted by the shift of the respective ‘own’ pair of electrons in this case. The latter result serves to account for the known low nucleofugality of highly electronegative heteroatoms in the S_N2 reactions.