Density computations for real quadratic units

In order to study the density of the set of positive integers for which the negative Pell equation is solvable in integers, we compute the norm of the fundamental unit in certain well-chosen families of real quadratic orders. A fast algorithm that computes 2-class groups rather than units is used. It is random polynomial-time in as the factorization of is a natural part of the input for the values of we encounter. The data obtained provide convincing numerical evidence for the density heuristics for the negative Pell equation proposed by the second author. In particular, an irrational proportion of the real quadratic fields without discriminantal prime divisors congruent to 3 mod 4 should have a fundamental unit of norm .

     

Nonlocal forces of inertia in cosmology

This paper reviews the origin of inertia according to Mach's principle and Weber's law of gravitation. The resulting theory is based on simultaneous nonlocal gravitational interactions between particles in the solar system and others in the remote universe beyond the Milky Way galaxy. It explains the precession of the perihelion of Mercury. A most important implication of the Mach-Weber theory of the force of inertia is the necessity for a large amount of uniformly distributed matter in the galactic universe. This matter could be the source of the cosmic background radiation. Nonlocal inertia forces are compatible with a static universe and also with an expanding universe but the latter would demand slow changes in the mass of particles and the gravitational constant.     

Reducibility behavior of polynomials with varying coefficients

LetK be a number field, and leth∈K[Y] be a polynomial of degreen. Fix an integer 0≤i≤n and compare the set ν of those integersa ofK such thath(Y)−aY ⁱhas a root inK with the set of those integersa, such thath(Y)−aY ⁱis reducible overK. Ifi is coprime ton, then we classify the rare cases where ν is not cofinite in . The main tools are a theorem of Siegel about integral points on algebraic curves and the theory of finite groups.     

Cutting planes,connectivity, and threshold logic

Originating from work in operations research the cutting plane refutation systemCP is an extension of resolution, where unsatisfiable propositional logic formulas in conjunctive normal form are recognized by showing the non-existence of boolean solutions to associated families of linear inequalities. Polynomial sizeCP proofs are given for the undirecteds-t connectivity principle. The subsystemsCP _q ofCP, forq2, are shown to be polynomially equivalent toCP, thus answering problem 19 from the list of open problems of [8]. We present a normal form theorem forCP ₂-proofs and thereby for arbitraryCP-proofs. As a corollary, we show that the coefficients and constant terms in arbitrary cutting plane proofs may be exponentially bounded by the number of steps in the proof, at the cost of an at most polynomial increase in the number of steps in the proof. The extensionCPLE ⁺, introduced in [9] and there shown top-simulate Frege systems, is proved to be polynomially equivalent to Frege systems. Lastly, since linear inequalities are related to threshold gates, we introduce a new threshold logic and prove a completeness theorem.Supported in part by NSF grant DMS-9205181 and by US-Czech Science and Technology Grant 93-205Partially supported by NSF grant CCR-9102896 and by US-Czech Science and Technology Grant 93-205     

Stories about groups and sequences

The main theme of this article is that counting orbits of an infinite permutation group on finite subsets or tuples is very closely related to combinatorial enumeration; this point of view ties together various disparate stories. Among these are reconstruction problems, the relation between connected and arbitrary graphs, the enumeration of N-free posets, and some of the combinatorics of Stirling numbers.Dedicated to Hanfried Lenz on the occasion of his 80th birthday.     

Basic differential forms for actions of Lie groups

A section of a Riemannian -manifold is a closed submanifold which meets each orbit orthogonally. It is shown that the algebra of -invariant differential forms on which are horizontal in the sense that they kill every vector which is tangent to some orbit, is isomorphic to the algebra of those differential forms on which are invariant with respect to the generalized Weyl group of , under some condition.

     

The stability of the exponential equation

We generalize the well-known Baker's superstability result for exponential mappings with values in the field of complex numbers to the case of an arbitrary commutative complex semisimple Banach algebra. It was shown by Ger that the superstability phenomenon disappears if we formulate the stability question for exponential complex-valued functions in a more natural way. We improve his result by showing that the maximal possible distance of an -approximately exponential function to the set of all exponential functions tends to zero as tends to zero. In order to get this result we have to prove a stability theorem for real-valued functions additive modulo the set of all integers .

     

Probing Higgs boson — and supersymmetry-induced CP violation in top quark production by (un-) polarized electron-positron collisions

We consider, both for unpolarized and longitudinally polarized electron beams, the reaction $e^ + e^ - \to t\bar t$ with subsequent semileptonict and nonleptonic $\bar t$ decay and vice versa and investigate optimized angular correlations which are sensitive to CP non-conservation in the $t\bar t$ production vertex. We calculate these correlations for two-Higgs-doublet extensions and the minimal super-symmetric extension of the Standard Model (SM) with CP violation beyond the Kobayashi-Maskawa phase. While the sensitivity of the optimal correlation for tracing dispersive CP effects is enhanced with longitudinally polarized electron beams, we find that the sensitivity of the best correlation for probing absorptive CP effects is almost independent of the polarization degree.     

Bivoltametric titrations using electrodes with innovative geometry

Electrodes with different surface areas were investigated for the determination of reversible, quasireversible, irreversible or electroinactive substrates. Two kinds of electrodes were constructed, a helical electrode with a given asymmetry and a platinum array electrode with a variable area. These electrodes were applied for the cerimetry of ammonium iron(II) sulfate and for the bromatometry of various organic substances. The theoretically derived effects on the shape of the voltametric titration curve are verified experimentally. It is possible to sharpen one side of the peak and to broaden the other side, depending on the system and the side of the peak one is interested in. It is possible to improve the bivoltametric determination of hydroquinone, benzocaine and sulfaguanidine by bromatometry by the directed employment of electrodes of different areas. For the bromatometric determination of electrochemically irreversible substrates the use of the electrode geometries proposed is a way to obtain a sharp bend and a steep decrease of titration curves with low values of the constant current which is a basic requirement for the accuracy.