Symmetries and Motions in Manifolds

In these lectures the relations between symmetries, Lie algebras, Killing vectors and Noether's theorem are reviewed. A generalisation of the basic ideas to include velocity-dependend co-ordinate transformations naturally leads to the concept of Killing tensors. Via their Poisson brackets these tensors generate an {\em a priori} infinite-dimensional Lie algebra. The nature of such infinite algebras is clarified using the example of flat space-time. Next the formalism is extended to spinning space, which in addition to the standard real co-ordinates is parametrized also by Grassmann-valued vector variables. The equations for extremal trajectories (`geodesics') of these spaces describe the pseudo-classical mechanics of a Dirac fermion. We apply the formalism to solve for the motion of a pseudo-classical electron in Schwarzschild space-time.Comment: 19 pages. Lectures at 28th Winter School of Theoretical Physics, Karpacz (Poland, 1992) by J.W. van Holte

\Lambda-buildings and base change functors

We prove an analog of the base change functor of \Lambda-trees in the setting of generalized affine buildings. The proof is mainly based on local and global combinatorics of the associated spherical buildings. As an application we obtain that the class of generalized affine building is closed under ultracones and asymptotic cones. Other applications involve a complex of groups decompositions and fixed point theorems for certain classes of generalized affine buildings.Comment: revised version, 29 pages, to appear in Geom. Dedicat

Scaling of the localization length in linear electronic and vibrational systems with long-range correlated disorder

The localization lengths of long-range correlated disordered chains are studied for electronic wavefunctions in the Anderson model and for vibrational states. A scaling theory close to the band edge is developed in the Anderson model and supported by numerical simulations. This scaling theory is mapped onto the vibrational case at small frequencies. It is shown that for small frequencies, unexpectateley the localization length is smaller for correlated than for uncorrelated chains.Comment: to be published in PRB, 4 pages, 2 Figure

Microstructural Shear Localization in Plastic Deformation of Amorphous Solids

The shear-transformation-zone (STZ) theory of plastic deformation predicts that sufficiently soft, non-crystalline solids are linearly unstable against forming periodic arrays of microstructural shear bands. A limited nonlinear analysis indicates that this instability may be the mechanism responsible for strain softening in both constant-stress and constant-strain-rate experiments. The analysis presented here pertains only to one-dimensional banding patterns in two-dimensional systems, and only to very low temperatures. It uses the rudimentary form of the STZ theory in which there is only a single kind of zone rather than a distribution of them with a range of transformation rates. Nevertheless, the results are in qualitative agreement with essential features of the available experimental data. The nonlinear theory also implies that harder materials, which do not undergo a microstructural instability, may form isolated shear bands in weak regions or, perhaps, at points of concentrated stress.Comment: 32 pages, 6 figure

A Method for Compiling and Executing Expressive Assertions

Programming with assertions constitutes an effective tool to detect and correct programming errors. The ability of executing formal specifications is essential in order to test automatically a program with respect to its assertions. However, formal specifications may describe recursive models which are difficult to identify so current assertion checkers limit, in a considerable way, the expressivity of the assertion language. In this paper, we are interested in showing how transformational synthesis can help to execute “expressive” assertions of the form ∀x(r(x) ⇔ QyR(x, y)) where x is a set of variables to be instantiated at execution time, Q is an existential or universal quantifier and R a quantifier free formula in the language of a particular first-order theory A we call assertion context. The class of assertion contexts is interesting because it presents a balance between expressiveness for writing assertions and existence of effective methods for executing them by means of synthesized (definite) logic programs

Sublocalization, superlocalization, and violation of standard single parameter scaling in the Anderson model

We discuss the localization behavior of localized electronic wave functions in the one- and two-dimensional tight-binding Anderson model with diagonal disorder. We find that the distributions of the local wave function amplitudes at fixed distances from the localization center are well approximated by log-normal fits which become exact at large distances. These fits are consistent with the standard single parameter scaling theory for the Anderson model in 1d, but they suggest that a second parameter is required to describe the scaling behavior of the amplitude fluctuations in 2d. From the log-normal distributions we calculate analytically the decay of the mean wave functions. For short distances from the localization center we find stretched exponential localization ("sublocalization") in both, 1d and 2d. In 1d, for large distances, the mean wave functions depend on the number of configurations N used in the averaging procedure and decay faster that exponentially ("superlocalization") converging to simple exponential behavior only in the asymptotic limit. In 2d, in contrast, the localization length increases logarithmically with the distance from the localization center and sublocalization occurs also in the second regime. The N-dependence of the mean wave functions is weak. The analytical result agrees remarkably well with the numerical calculations.Comment: 12 pages with 9 figures and 1 tabl

Parity-violating Electron Deuteron Scattering and the Proton's Neutral Weak Axial Vector Form Factor

We report on a new measurement of the parity-violating asymmetry in quasielastic electron scattering from the deuteron at backward angles at Q2= 0.038 (GeV/c)2. This quantity provides a determination of the neutral weak axial vector form factor of the nucleon, which can potentially receive large electroweak corrections. The measured asymmetry A=-3.51 +/- 0.57(stat) +/- 0.58(sys)ppm is consistent with theoretical predictions. We also report on updated results of the previous experiment at Q2=0.091 (GeV/c)2, which are also consistent with theoretical predictions.Comment: 4 pages, 2 figures, submitted to Phys. Rev. Let

Differential Cross Section for Higgs Boson Production Including All-Orders Soft Gluon Resummation

The transverse momentum $Q_T$ distribution is computed for inclusive Higgs boson production at the energy of the CERN Large Hadron Collider. We focus on the dominant gluon-gluon subprocess in perturbative quantum chromodynamics and incorporate contributions from the quark-gluon and quark-antiquark channels. Using an impact-parameter $b$-space formalism, we include all-orders resummation of large logarithms associated with emission of soft gluons. Our resummed results merge smoothly at large $Q_T$ with the fixed-order expectations in perturbative quantum chromodynamics, as they should, with no need for a matching procedure. They show a high degree of stability with respect to variation of parameters associated with the non-perturbative input at low $Q_T$. We provide distributions $d\sigma/dy dQ_T$ for Higgs boson masses from $M_Z$ to 200 GeV. The average transverse momentum at zero rapidity $y$ grows approximately linearly with mass of the Higgs boson over the range $M_Z < m_h \simeq 0.18 m_h + 18$~GeV. We provide analogous results for $Z$ boson production, for which we compute $\simeq 25$ GeV. The harder transverse momentum distribution for the Higgs boson arises because there is more soft gluon radiation in Higgs boson production than in $Z$ production.Comment: 42 pages, latex, 26 figures. All figures replaced. Some changes in wording. Published in Phys. Rev. D67, 034026 (2003

Interception of the Bycroft-Gowland Intermediate in the Enzymatic Macrocyclization of Thiopeptides

Thiopeptides are a broad class of macrocyclic, heavily modified peptide natural products that are unified by the presence of a substituted, nitrogen-containing heterocycle core. Early work indicated that this core might be fashioned from two dehydroalanines by an enzyme-catalyzed aza-[4 + 2] cycloaddition to give a cyclic-hemiaminal intermediate. This common intermediate could then follow a reductive path toward a dehydropiperidine, as in the thiopeptide thiostrepton, or an aromatization path to yield the pyridine groups observed in many other thiopeptides. Although several of the enzymes proposed to perform this cycloaddition have been reconstituted, only pyridine products have been isolated and any hemiaminal intermediates have yet to be observed. Here, we identify the conditions and substrates that decouple the cycloaddition from subsequent steps and allow interception and characterization of this long hypothesized intermediate. Transition state modeling indicates that the key amide-iminol tautomerization is the major hurdle in an otherwise energetically favorable cycloaddition. An anionic model suggests that deprotonation and polarization of this amide bond by TbtD removes this barrier and provides a sufficient driving force for facile (stepwise) cycloaddition. This work provides evidence for a mechanistic link between disparate cyclases in thiopeptide biosynthesis