
The atomic nucleus is composed of two different kinds of fermions, protons
and neutrons. If the protons and neutrons did not interact, the Pauli exclusion
principle would force the majority fermions (usually neutrons) to have a higher
average momentum. Our highenergy electron scattering measurements using 12C,
27Al, 56Fe and 208Pb targets show that, even in heavy neutronrich nuclei,
shortrange interactions between the fermions form correlated highmomentum
neutronproton pairs. Thus, in neutronrich nuclei, protons have a greater
probability than neutrons to have momentum greater than the Fermi momentum.
This finding has implications ranging from nuclear few body systems to neutron
stars and may also be observable experimentally in twospin state, ultracold
atomic gas systems.

We show that if a polynomial filled Julia set has empty interior, then it is
computable.

It has been previously shown by two of the authors that some polynomial Julia
sets are algorithmically impossible to draw with arbitrary magnification. On
the other hand, for a large class of examples the problem of drawing a picture
has polynomial complexity. In this paper we demonstrate the existence of
computable quadratic Julia sets whose computational complexity is arbitrarily
high.

We associate determinant lines to objects of the extended abelian category
built out of a von Neumann category with a trace. Using this we suggest
constructions of the combinatorial and the analytic L^2 torsions which, unlike
the work of the previous authors, requires no additional assumptions; in
particular we do not impose the determinant class condition. The resulting
torsions are elements of the determinant line of the extended L^2 cohomology.
Under the determinant class assumption the L^2 torsions of this paper
specialize to the invariants studied in our previous work. Applying a recent
theorem of D. Burghelea, L. Friedlander and T. Kappeler we obtain a Cheeger 
Muller type theorem stating the equality between the combinatorial and the
analytic L^2 torsions.

We establish an equivariant generalization of the Novikov inequalities which
allow to estimate the topology of the set of critical points of a closed basic
invariant form by means of twisted equivariant cohomology of the manifold. We
apply these inequalities to study cohomology of the fixed points set of a
symplectic torus action. We show that in this case our inequalities are
perfect, i.e. they are in fact equalities.