A note on the acyclicity of the Koszul complex of a module

We prove the vanishing of the Koszul homology group H _μ(Kos(M)_μ), where μ is the minimal number of generators of M. We give a counterexample that the Koszul complex of a module is not always acyclic and show its relationship with the homology of commutative rings.     

Designing a majorization scheme for the recourse function in two-stage stochastic linear programming

We discuss issues pertaining to the domination from above of the second-stage recourse function of a stochastic linear program and we present a scheme to majorize this function using a simpler sublinear function. This majorization is constructed using special geometrical attributes of the recourse function. The result is a proper, simplicial function with a simple characterization which is well-suited for calculations of its expectation as required in the computation of stochastic programs. Experiments indicate that the majorizing function is well-behaved and stable.     

Numerical experiments on billiards

We investigate decay properties of correlation functions in a class of chaotic billiards. First we consider the statistics of Poincaré recurrences (induced by a partition of the billiard): the results are in agreement with theoretical bounds by Bunimovich, Sinai, and Bleher, and are consistent with a purely exponential decay of correlations out of marginality. We then turn to the analysis of the velocity-velocity correlation function: except for intermittent situations, the decay is purely exponential, and the decay rates scale in a simple way with the (uniform) curvature of the dispersing arcs. A power-law decay is instead observed when the system is equivalent to an infinite-horizon Lorentz gas. Comments are given on the behaviour of other types of correlation functions, whose decay, during the observed time scale, appears slower than exponential.     

A topological characterization of classical BRST cohomology

The recent identification of classical BRST cohomology with the vertical cohomology of a certain fibration is used to compute it in terms of the classical observables and the topology of the gauge orbits. When the gauge orbits are compact and orientable, a duality theorem is exhibited.     

Static cylindrically symmetric solution of the Kaluza-Klein equations

In this paper we investigate the (static) solution of the Kaluza-Klein equations for a cylindrically symmetric current distribution. Specifically, we are interested in the fields generated by a long, cylindrical solenoid. We shall examine in some detail the concept of effective mass of a charged test particle. We shall show that, for a certain charge-to(rest)mass ratio of the test particle, the effective mass becomes imaginary at a certain distance from the axis of our solenoid.     

Projections of Gibbs measures may be non-Gibbsian

Consider the + phase of the two dimensional nearest neighbor ferromagnetic Ising model at a temperature belowT _c . Let ₊ be the restriction of this measure to a coordinate axis. We prove that there is no one dimensional translation invariant summable interaction for which ₊ is a Gibbs measure. This is proven by showing that if such an interaction existed, ₊ would have large deviation properties different from those it actually has. Percolation methods are used in the proof.Work supported by the U.S. Army Research Office through the Mathematical Sciences Institute at Cornell and by a NSF grant to Cornell. This work was finished while the author was visiting Rutgers University, being supported by the NSF grant 86-12369     

A confidence interval for the slope of a truncated regression

Summary Bhattacharya, Chernoff and Yang (1983) proposed a nonparametric estimate for the slope of a regression lineY = _o X + V subjected to the truncationYy ₀. The estimate corresponds to the zero-crossing of a random functionS _n (). In this paper an estimate for the asymptotic variance of the estimate of the slope is proposed and the rate of convergence is given. The proofs rest heavily on the local behavior ofS _n () in the neighborhood of the true value _o.