Admissibility via natural dualities

It is shown that admissible clauses and quasi-identities of quasivarieties generated by a single finite algebra, or equivalently, the quasiequational and universal theories of their free algebras on countably infinitely many generators, may be characterized using natural dualities. In particular, axiomatizations are obtained for the admissible clauses and quasi-identities of bounded distributive lattices, Stone algebras, Kleene algebras and lattices, and De Morgan algebras and lattices.

The Exploitation of Versatile Building Blocks for the Self-Assembly of Novel Molecular Magnets

Using molecular building blocks to self-assemble lattices supporting long-range magnetic order is currently an active area of solid-state chemistry. Consequently, it is the realm of supramolecular chemistry that synthetic chemists are turning to in order to develop techniques for the synthesis of structurally well-defined supramolecular materials. In recent years we have investigated the versatility and usefulness of two classes of molecular building blocks, namely, tris-oxalato transition-metal (M. Pilkington and S. Decurtins, in “Magnetoscience—From Molecules to Materials,” Wiley–VCH, 2000), and octacyanometalate complexes (Pilkington and Decurtins, Chimia 54, 593 (2001)), for applications in the field of molecule-based magnets. Anionic, tris-chelated oxalato building blocks are able to build up two-dimensional honeycomb-layered structural motifs as well as three-dimensional decagon frameworks. The discrimination between the crystallization of the two- or three-dimensional structures relies on the choice of the templating counterions (Decurtins, Chimia 52, 539 (1998); Decurtins et al. Mol. Cryst. Liq. Cryst. 273, 167 (1995); New J. Chem. 117 (1998)). These structural types display a range of ferro, ferri, and antiferromagnetic properties (Pilkington and Decurtins, in “Magnetoscience—From Molecules to Materials”). Octacyanometalate building blocks self-assemble to afford two new classes of cyano-bridged compounds namely, molecular clusters and extended three dimensional networks (J. Larionova et al., Angew. Chem. Int. Ed. 39, 1605 (2000); Pilkington et al., in preparation). The molecular cluster with a MnII9MoV6 core has the highest ground state spin value, S=51/2, reported to-date (Larionova et al., Angew. Chem. Int. Ed. 39, 1605 (2000)). In the high-temperature regime, the magnetic properties are characterized by ferromagnetic intracluster coupling. In the magnetic range below 44 K, the magnetic cluster signature is lost as possibly a bulk behavior starts to emerge. The three-dimensional networks exhibit both paramagnetic and ferromagnetic behavior, since the magnetic properties of these materials directly reflect the electronic configuration of the metal ion incorporated into the octacyanometalate building blocks (Pilkington et al., in preparation). For both the oxalate- and cyanide-bridged materials, we are able to manipulate the magnetic properties of the supramolecular assemblies by tuning the electronic configurations of the metal ions incorporated into the appropriate molecular building blocks (Pilkington and Decurtins, in “Magnetoscience—From Molecules to Materials,” Chimia 54, 593 (2000)).

Numerical corrections to the strong coupling effective Polyakov-line action for finite T Yang-Mills theory

We consider a three-dimensional effective theory of Polyakov lines derived previously from lattice Yang-Mills theory and QCD by means of a resummed strong coupling expansion. The effective theory is useful for investigations of the phase structure, with a sign problem mild enough to allow simulations also at finite density. In this work we present a numerical method to determine improved values for the effective couplings directly from correlators of 4d Yang-Mills theory. For values of the gauge coupling up to the vicinity of the phase transition, the dominant short range effective coupling are well described by their corresponding strong coupling series. We provide numerical results also for the longer range interactions, Polyakov lines in higher representations as well as four-point interactions, and discuss the growing significance of non-local contributions as the lattice gets finer. Within this approach the critical Yang-Mills coupling β c is reproduced to better than one percent from a one-coupling effective theory on N τ = 4 lattices while up to five couplings are needed on N τ = 8 for the same accuracy.

Exact Unification and Admissibility

A new hierarchy of "exact" unification types is introduced, motivated by the study of admissible rules for equational classes and non-classical logics. In this setting, unifiers of identities in an equational class are preordered, not by instantiation, but rather by inclusion over the corresponding sets of unified identities. Minimal complete sets of unifiers under this new preordering always have a smaller or equal cardinality than those provided by the standard instantiation preordering, and in significant cases a dramatic reduction may be observed. In particular, the classes of distributive lattices, idempotent semigroups, and MV-algebras, which all have nullary unification type, have unitary or finitary exact type. These results are obtained via an algebraic interpretation of exact unification, inspired by Ghilardi's algebraic approach to equational unification.

Skolemization for Substructural Logics

The usual Skolemization procedure, which removes strong quantifiers by introducing new function symbols, is in general unsound for first-order substructural logics defined based on classes of complete residuated lattices. However, it is shown here (following similar ideas of Baaz and Iemhoff for first-order intermediate logics in [1]) that first-order substructural logics with a semantics satisfying certain witnessing conditions admit a “parallel” Skolemization procedure where a strong quantifier is removed by introducing a finite disjunction or conjunction (as appropriate) of formulas with multiple new function symbols. These logics typically lack equivalent prenex forms. Also, semantic consequence does not in general reduce to satisfiability. The Skolemization theorems presented here therefore take various forms, applying to the left or right of the consequence relation, and to all formulas or only prenex formulas.

Nonperturbative estimate of the heavy quark momentum diffusion coefficient

We estimate the momentum diffusion coefficient of a heavy quark within a pure SU(3) plasma at a temperature of about 1.5Tc. Large-scale Monte Carlo simulations on a series of lattices extending up to 1923×48 permit us to carry out a continuum extrapolation of the so-called color-electric imaginary-time correlator. The extrapolated correlator is analyzed with the help of theoretically motivated models for the corresponding spectral function. Evidence for a nonzero transport coefficient is found and, incorporating systematic uncertainties reflecting model assumptions, we obtain κ=(1.8–3.4)T3. This implies that the “drag coefficient,” characterizing the time scale at which heavy quarks adjust to hydrodynamic flow, is η−1D=(1.8–3.4)(Tc/T)2(M/1.5  GeV)  fm/c, where M is the heavy quark kinetic mass. The results apply to bottom and, with somewhat larger systematic uncertainties, to charm quarks.

Evolution of mylonitic microfabrics (EMM), a computer application for educational purposes

`Evolution of mylonitic microfabrics' (EMM) is an interactive Filemaker Pro 3.0 application that documents a series of see-through deformation experiments on polycrystalline norcamphor. The application comprises computer animations, graphics and text explanations designed to give students and researchers insight into the interaction and dynamic nature of small-scale, mylonitic processes like intracrystalline glide, dynamic recrystallization and strain localization (microshearing). EMM shows how mylonitic steady state is achieved at different strain rates and temperatures. First, rotational mechanisms like glide-induced vorticity, subgrain rotation recrystallization and rigid-body rotation bring grains' crystal lattices into orientations that are favorable for intracrystalline glide. In a second stage, selective elimination of grains whose lattices are poorly oriented for glide involves grain boundary migration. This strengthens the texture. Temperature and strain rate affect both the relative activity of different strain accommodation mechanisms and the rate of microfabric change. Steady-state microfabrics are characterized by stable texture, grain size and shape-preferred orientations of grains and domains. This involves the cyclical generation and elimination of dynamically recrystallized grains and microshear zones.