An exponential lower bound to the size of bounded depth frege proofs of the pigeonhole principle

We prove lower bounds of the form exp(n^{ε d}), ε_d > 0, on the length of proofs of an explicit sequence of tautologies, based on the Pigeonhole Principle, in proof systems using formulas of depth d, for any constant d. This is the largest lower bound for the strongest proof system, for which any superpolynomial lower bounds are known.     

A comparison of spin relaxation and local motion between symmetrically and asymmetrically ring-substituted bisphenol units in dissolved polycarbonates

Carbon-13 and proton spin-lattice relaxation times were measured at two field strengths on solutions 10% by weight of two polycarbonates in C₂D₂Cl₄ from ?20 to +120°C. The first polycarbonate is an asymmetrically substituted form with one chlorine on one of the two phenylene aromatic rings of the bisphenol unit, whereas the second polycarbonate is symmetrically substituted with two chlorines on each of the two rings. The nuclear spin relaxation data are interpreted in terms of several local motions likely in these polymers. Segmental motion was described by the Hall–Helfand correlation function. Segmental motion in the monosubstituted polycarbonate is somewhat slower than in unsubstituted polycarbonate, whereas segmental motion in the tetrasubstituted polycarbonate is considerably slower. Phenylene ring rotation is observed in unsubstituted polycarbonate and in the monosubstituted polycarbonate above 40°C. Below 40°C in the monosubstituted species, and at all temperatures in the tetrasubstituted species, ring rotation is replaced by ring libration as the predominant motion contributing to spin lattice relaxation. In addition, the rotational motion of the two types of rings in the asymmetric monosubstituted form are very similar although not identical. The substituted ring is slightly less mobile than the rings of unsubstituted polycarbonate. This indicates a strong coupling of ring motion, although the coupling leads to less than synchronous motion. Methyl group rotation is present in both polymers and is little affected by the various structural modifications.     

The effect of solvent upon molecularly thin rotaxane film formation

We have investigated variations in molecularly thin rotaxane films deposited by solvent evaporation, using atomic force microscopy (AFM). Small changes in rotaxane structure result in significant differences in film morphology. The addition of exo-pyridyl moietes to the rotaxane macrocycle results in uniform domains having orientations corresponding to the underlying substrate lattice, while a larger, less symmetric molecule results in a greater lattice mismatch and smaller domain sizes. We have measured differences in film heights both as a function of the solvent of deposition and as a function of surface coverage of rotaxanes. Based on these observations we describe how the use of solvents with higher hydrogen-bond basicity results in films which are more likely to favour sub-molecular motion.     

An Enhancement of the Drezner—Wesolowsky Algorithm for Single-Facility Location with Maximin of Rectilinear Distance

In this note, we examine the algorithm of Drezner and Wesolowsky for locating a facility with maximin rectilinear distance to a given set of demand points. The concept of the closest-point constraint is introduced as a technique for increasing the efficiency of the algorithm. This potential increase in efficiency is demonstrated by an example.     

Resonant-induced transparency and coupled modes in layered metamaterials

We present an overview of some of our work on transmission properties and mode characteristics of layered metamaterials and their potential applications. In particular, we will show how layered metamaterials exhibit unusual transmission properties and unconventional features of guided modes, such as resonance-induced transparency in multilayer structures and slope reversal of dispersion curves in coupled waveguides. PACS 78.67.-n; 73.21.Ac; 61.46.+w; 42.25.Bs; 42.82.Et