A note on the Σ1 spectrum of a theory

Let T be a suitable system of classical set theory. We will show, that the Σ₁ spectrum of T, i.e. the set of ordinals having good Σ₁ definition in T is an initial segment of the ordinals. Received: 11 October 1999 / Published online: 12 December 2001     

Codes with a Certain Weight-preserving Transitive Group of Automorphisms

We determine all linear codes C containing the constant code E, for which there is a weight-preserving group of semilinear automorphisms which acts transitively on the set of nontrivial cosets of E in C. Michael Giudici - The author holds an Australian Postdoctoral Fellowship.     

An efficient electrophilic N-amination utilizing in situ generated chloramine under phase transfer conditions

An efficient, one-pot, phase transfer N-amination technology was developed. The protocol utilizes chloramine, an inexpensive and safe electrophilic aminating agent potentially viable for commercial manufacturing.     

Cochains and homotopy type

Finite type nilpotent spaces are weakly equivalent if and only if their singular cochains are quasi-isomorphic as E_∞ algebras. The cochain functor from the homotopy category of finite type nilpotent spaces to the homotopy category of E_∞ algebras is faithful but not full.     

Growth of copper phthalocyanine on hydrogen passivated vicinal silicon(1 1 1) surfaces

Using ultra-high vacuum scanning tunneling microscopy (UHV-STM), we show that copper-phthalocyanine (CuPc) grows in a well ordered manner on hydrogen passivated vicinal silicon surfaces. CuPc grows one-dimensionally parallel to the monatomic steps on the vicinal silicon surface. Surprisingly, elongated clusters of the CuPc parallel to the step directions are formed even on the middle of the terraces well away from the step edges. The one-dimensional growth mode continues even after the full monolayer coverage on the substrate which results in strongly oriented growth mode of a thin film of CuPc on the vicinal silicon surfaces.     

Electrical detection of nuclear spin echoes

We show, via a straightforward calculation, that it is feasible to detect nuclear spin echoes in a ferromagnetic thin film by electrical means. The detection scheme is based on the deflection of the electronic magnetization when the nuclear magnetization reforms during an echo. This deflection is observed as a time-dependent magnetoresistive signal.     

Traces on the skein algebra of the torus

For a surface F, the Kauffman bracket skein module of F×[0,1], denoted K(F), admits a natural multiplication which makes it an algebra. When specialized at a complex number t, nonzero and not a root of unity, we have Kt(F), a vector space over C. In this paper, we will use the product-to-sum formula of Frohman and Gelca to show that the vector space Kt(T²) has five distinct traces. One trace, the Yang-Mills measure, is obtained by picking off the coefficient of the empty skein. The other four traces on Kt(T²) correspond to the four singular points of the moduli space of flat SU(2)-connections on the torus.     

On the moduli spaces of multipolygonal linkages in the plane

One can form a polygonal linkage by identifying initial and terminal points of two free linkages. Likewise, one can form a multipolygonal linkage by identifying initial and terminal points of three free linkages. The geometric and topological properties of moduli spaces of multipolygonal linkages in the plane are studied. These spaces are compact algebraic varieties. Some conditions under which these spaces are smooth manifolds, cross products or disjoint unions of moduli spaces of polygonal linkages, or connected, are determined. Dimensions in smooth manifold cases and some Euler characteristics are computed. A classification of generic multiquadrilateral linkages is also made.     

Isotone relations revisited

We propose a new approach towards proving that the fixed point property for ordered sets is preserved by products. This approach uses a characterization of fixed points in products via isotone relations. First explorations of classes of isotone relations are presented. These first explorations give us hope that this approach could lead to advances on the Product Problem.     

On testing the divisibility of lacunary polynomials by cyclotomic polynomials

An algorithm is described that determines whether a given polynomial with integer coefficients has a cyclotomic factor. The algorithm is intended to be used for sparse polynomials given as a sequence of coefficient-exponent pairs. A running analysis shows that, for a fixed number of nonzero terms, the algorithm runs in polynomial time.