From hierarchies to well-foundedness

We highlight that the connection of well-foundedness and recursive definitions is more than just convenience. While the consequences of making well-foundedness a sufficient condition for the existence of hierarchies (of various complexity) have been extensively studied, we point out that (if parameters are allowed) well-foundedness is a necessary condition for the existence of hierarchies e.g. that even in an intuitionistic setting (Π01−CA0)α⊢wf(α)where(Π01−CA0)α stands for the iteration of Π01 comprehension (with parameters) along some ordinal α and wf(α) stands for the well-foundedness of α.

The anisotropic λ -deformed SU(2) model is integrable

The all-loop anisotropic Thirring model interpolates between the WZW model and the non-Abelian T-dual of the anisotropic principal chiral model. We focus on the SU(2) case and we prove that it is classically integrable by providing its Lax pair formulation. We derive its underlying symmetry current algebra and use it to show that the Poisson brackets of the spatial part of the Lax pair, assume the Maillet form. In this way we procure the corresponding r and s matrices which provide non-trivial solutions to the modified Yang–Baxter equation.

Generalised integrable λ- and η-deformations and their relation

We construct two-parameter families of integrable λ -deformations of two-dimensional field theories. These interpolate between a CFT (a WZW/gauged WZW model) and the non-Abelian T-dual of a principal chiral model on a group/symmetric coset space. In examples based on the SU(2) WZW model and the SU(2)/U(1) exact coset CFT, we show that these deformations are related to bi-Yang–Baxter generalisations of η-deformations via Poisson–Lie T-duality and analytic continuation. We illustrate the quantum behaviour of our models under RG flow. As a byproduct we demonstrate that the bi-Yang–Baxter σ-model for a general group is one-loop renormalisable.

All-loop anomalous dimensions in integrable λ-deformed σ-models

We calculate the all-loop anomalous dimensions of current operators in λ-deformed σ-models. For the isotropic integrable deformation and for a semi-simple group G we compute the anomalous dimensions using two different methods. In the first we use the all-loop effective action and in the second we employ perturbation theory along with the Callan–Symanzik equation and in conjunction with a duality-type symmetry shared by these models. Furthermore, using CFT techniques we compute the all-loop anomalous dimension of bilinear currents for the isotropic deformation case and a general G . Finally we work out the anomalous dimension matrix for the cases of anisotropic SU(2) and the two couplings, corresponding to the symmetric coset G/H and a subgroup H, splitting of a group G.

Integrable high order UWB pulse photonic generator based on cross phase modulation in a SOA-MZI

We propose and experimentally demonstrate a potentially integrable optical scheme to generate high order UWB pulses. The technique is based on exploiting the cross phase modulation generated in an InGaAsP Mach-Zehnder interferometer containing integrated semiconductor optical amplifiers, and is also adaptable to different pulse modulation formats through an optical processing unit which allows to control of the amplitude, polarity and time delay of the generated taps.

Referential hierarchies: A new look at some historical and typological patterns

This paper proposes a diachronic typology for the various patterns that have been referred to as Hierarchical Alignment or Inverse Alignment. Previous typological studies have tried to explain such patterns as grammatical reflections of a universal Referential Hierarchy, in which first person outranks second person outranks third person and humans outrank other animates outrank inanimates. However, our study shows that most of the formal properties of hierarchy-sensitive constructions are essentially predictable from their historical sources. We have identified three sources for hierarchical person marking, three for direction marking, two for obviative case marking, and one for hierarchical constituent ordering. These sources suggest that there is more than one explanation for hierarchical alignment: one is consistent with Givón’s claim that hierarchical patterns are a grammaticalization of generic topicality; another is consistent with DeLancey’s claim that hierarchies reflect the deictic distinction between present (1/2) and distant (3) participants; another is simply a new manifestation of a common asymmetrical pattern, the use of zero marking for third persons. More importantly, the evolution of hierarchical grammatical patterns does not reflect a consistent universal ranking of participants – at least in those cases where we can see (or infer) historical stages in the evolution of these properties, different historical stages appear to reflect different hierarchical rankings of participants, especially first and second person. This leads us to conclude that the diversity of hierarchical patterns is an artifact of grammatical change, and that in general, the presence of hierarchical patterns in synchronic grammars is not somehow conditioned by some more general universal hierarchy.

Decomposing hierarchical alignment: Co-arguments as conditions on alignment and the limits of referential hierarchies as explanations in verb agreement

Apart from common cases of differential argument marking, referential hierarchies affect argument marking in two ways: (a) through hierarchical marking, where markers compete for a slot and the competition is resolved by a hierarchy, and (b) through co-argument sensitivity, where the marking of one argument depends on the properties of its co-argument. Here we show that while co-argument sensitivity cannot be analyzed in terms of hierarchical marking, hierarchical marking can be analyzed in terms of co-argument sensitivity. Once hierarchical effects on marking are analyzed in terms of co-argument sensitivity, it becomes possible to examine alignment patterns relative to referential categories in exactly the same way as one can examine alignment patterns relative to referential categories in cases of differential argument marking and indeed any other condition on alignment (such as tense or clause type). As a result, instances of hierarchical marking of any kind turn out not to present a special case in the typology of alignment, and there is no need for positing an additional non-basic alignment type such as “hierarchical alignment”. While hierarchies are not needed for descriptive and comparative purposes, we also cast doubt on their relevance in diachrony: examining two families for which hierarchical agreement has been postulated, Algonquian and Kiranti, we find only weak and very limited statistical evidence for agreement paradigms to have been shaped by a principled ranking of person categories.

The use and performance of memory hierarchies: a survey;

Bibliography: p. 47-65.

Tool support for executable documentation of Java class hierarchies

While object-oriented programming offers great solutions for today's software developers, this success has created difficult problems in class documentation and testing. In Java, two tools provide assistance: Javadoc allows class interface documentation to be embedded as code comments and JUnit supports unit testing by providing assert constructs and a test framework. This paper describes JUnitDoc, an integration of Javadoc and JUnit, which provides better support for class documentation and testing. With JUnitDoc, test cases are embedded in Javadoc comments and used as both examples for documentation and test cases for quality assurance. JUnitDoc extracts the test cases for use in HTML files serving as class documentation and in JUnit drivers for class testing. To address the difficult problem of testing inheritance hierarchies, JUnitDoc provides a novel solution in the form of a parallel test hierarchy. A small controlled experiment compares the readability of JUnitDoc documentation to formal documentation written in Object-Z. Copyright (c) 2005 John Wiley & Sons, Ltd.

On the construction of correlation functions for the integrable supersymmetric fermion models

We review the recent progress on the construction of the determinant representations of the correlation functions for the integrable supersymmetric fermion models. The factorizing F-matrices (or the so-called F-basis) play an important role in the construction. In the F-basis, the creation (and the annihilation) operators and the Bethe states of the integrable models are given in completely symmetric forms. This leads to the determinant representations of the scalar products of the Bethe states for the models. Based on the scalar products, the determinant representations of the correlation functions may be obtained. As an example, in this review, we give the determinant representations of the two-point correlation function for the U-q(gl(2 vertical bar 1)) (i.e. q-deformed) supersymmetric t-J model. The determinant representations are useful for analyzing physical properties of the integrable models in the thermodynamical limit.

Dominance hierarchies and health: Constructing personal zones of spiritual power and healing in modern medicine

Ethological studies of animals in groups and sociobiology indicate that hierarchies of dominance amongst some species ensure the survival of the group. When transferred to human groups, dominance hierarchies suggest a crucial role played by recasting the scope of such hierarchies of dominant and subordinate members to included hyper-dominant beings. A recognition of such beings as even more dominant than the socially dominant members of a hierarchy facilitates the empowerment of the socially subordinate members. Religious belief and practice works to establish such hyper-dominant beings (gods, goddesses, and so forth) as superior members of human groups. Doing so is a means of ensuring the survival of the species and, thus, enhancing healing and human health. The doctor-patient relationship is examined from such a point of view, with an emphasis on whether the hierarchy created by the relationship allows consideration of alternative and complementary forms of medical treatment.