Packing Non-Zero A-Paths In Group-Labelled Graphs

Let G=(V,E) be an oriented graph whose edges are labelled by the elements of a group Γ and let A⊂V. An A-path is a path whose ends are both in A. The weight of a path P in G is the sum of the group values on forward oriented arcs minus the sum of the backward oriented arcs in P. (If Γ is not abelian, we sum the labels in their order along the path.) We are interested in the maximum number of vertex-disjoint A-paths each of non-zero weight. When A = V this problem is equivalent to the maximum matching problem. The general case also includes Mader's S-paths problem. We prove that for any positive integer k, either there are k vertex-disjoint A-paths each of non-zero weight, or there is a set of at most 2k −2 vertices that meets each of the non-zero A-paths. This result is obtained as a consequence of an exact min-max theorem. These results were obtained at a workshop on Structural Graph Theory at the PIMS Institute in Vancouver, Canada. This research was partially conducted during the period the first author served as a Clay Mathematics Institute Long-Term Prize Fellow.     

Study of the peak effect phenomenon in single crystals of 2H-NbSe2

The weakly pinned single crystals of the hexagonal 2H-NbSe₂ compound have emerged as prototypes for determining and characterizing the phase boundaries of the possible order-disorder transformations in the vortex matter. We present here a status report based on the ac and dc magnetization measurements of the peak effect phenomenon in three crystals of 2H-NbSe₂, in which the critical current densities vary over two orders of magnitude. We sketch the generic vortex phase diagram of a weakly pinned superconductor, which also utilizes theoretical proposals. We also establish the connection between the metastability effects and pinning.     

Improving the Fundamental Theorem of Algebra

Theorems 2 and 3 establish the minimum algebraic conditions necessary for a field to be algebraically closed, and they can therefore be said to “optimize” the Fundamental Theorem of Algebra. But each specific“degree implication” is a first-order consequence of the axioms for fields, and could have been discovered two centuries ago; the existence of these finitary relationships appears to have been unsuspected by practically everyone, with one important exception.     

Metric spaces with discrete topological fundamental group

With a certain natural topology, the fundamental group of a locally path connected metric space X becomes discrete if and only if X is semilocally simply connected. We include some related material and offer a counterexample to a similar result.     

New Non-Linear Inequalities for Flag-Vectors of 4-Polytopes

In this paper we prove four new (infinite) lists of quadratic inequalities, and four cubic inequalities, for the flag f-vectors of 4-polytopes. These extend and supplement the only four currently known non-linear inequalities, which were proved by Bayer in 1987. The new lists of inequalities for flag f-vectors yield new lists of inequalities for f-vectors of 4-polytopes. Using the latter, we managed to improve an estimate discovered by Hoppner and Ziegler concerning upper bounds of f₁ in terms of f₀ and f₃.