Realms: A Structure for Consolidating Knowledge about Mathematical Theories

Since there are different ways of axiomatizing and developing a mathematical theory, knowledge about a such a theory may reside in many places and in many forms within a library of formalized mathematics. We introduce the notion of a realm as a structure for consolidating knowledge about a mathematical theory. A realm contains several axiomatizations of a theory that are separately developed. Views interconnect these developments and establish that the axiomatizations are equivalent in the sense of being mutually interpretable. A realm also contains an external interface that is convenient for users of the library who want to apply the concepts and facts of the theory without delving into the details of how the concepts and facts were developed. We illustrate the utility of realms through a series of examples. We also give an outline of the mechanisms that are needed to create and maintain realms.Comment: As accepted for CICM 201

Comment on "Magnetoviscosity and relaxation in ferrofluids"

It is shown and discussed how the conventional system of hydrodynamic equations for ferrofluids was derived. The set consists of the equation of fluid motion, the Maxwell equations, and the magnetization equation. The latter was recently revised by Felderhof [Phys. Rev. E, v.62, p.3848 (2000)]. His phenomenological magnetization equation looks rather like corresponding Shliomis' equation, but leads to wrong consequences for the dependence of ferrofluid viscosity and magnetization relaxation time on magnetic field.Comment: 6 pages, 1 figure, Submitted to Phys. Rev.

Dissipation in ferrofluids: Mesoscopic versus hydrodynamic theory

Part of the field dependent dissipation in ferrofluids occurs due to the rotational motion of the ferromagnetic grains relative to the viscous flow of the carrier fluid. The classical theoretical description due to Shliomis uses a mesoscopic treatment of the particle motion to derive a relaxation equation for the non-equilibrium part of the magnetization. Complementary, the hydrodynamic approach of Liu involves only macroscopic quantities and results in dissipative Maxwell equations for the magnetic fields in the ferrofluid. Different stress tensors and constitutive equations lead to deviating theoretical predictions in those situations, where the magnetic relaxation processes cannot be considered instantaneous on the hydrodynamic time scale. We quantify these differences for two situations of experimental relevance namely a resting fluid in an oscillating oblique field and the damping of parametrically excited surface waves. The possibilities of an experimental differentiation between the two theoretical approaches is discussed.Comment: 14 pages, 2 figures, to appear in PR

Personal identity (de)formation among lifestyle travellers: A double-edged sword?

This article explores the personal identity work of lifestyle travellers – individuals for whom extended leisure travel is a preferred lifestyle that they return to repeatedly. Qualitative findings from in-depth semi-structured interviews with lifestyle travellers in northern India and southern Thailand are interpreted in light of theories on identity formation in late modernity that position identity as problematic. It is suggested that extended leisure travel can provide exposure to varied cultural praxes that may contribute to a sense of social saturation. Whilst a minority of the respondents embraced a saturation of personal identity in the subjective formation of a cosmopolitan cultural identity, several of the respondents were paradoxically left with more identity questions than answers as the result of their travels

Generation of vortices and observation of Quantum Turbulence in an oscillating Bose-Einstein Condensate

We report on the experimental observation of vortex formation and production of tangled vortex distribution in an atomic BEC of Rb-87 atoms submitted to an external oscillatory perturbation. The oscillatory perturbations start by exciting quadrupolar and scissors modes of the condensate. Then regular vortices are observed finally evolving to a vortex tangle configuration. The vortex tangle is a signature of the presence of a turbulent regime in the cloud. We also show that this turbulent cloud has suppression of the aspect ratio inversion typically observed in quantum degenerate bosonic gases during free expansion.Comment: to appear in JLTP - QFS 200

Minimalistic Neutrino Mass Model

We consider the simplest model which solves the solar and atmospheric neutrino puzzles, in the sense that it contains the smallest amount of beyond the Standard Model ingredients. The solar neutrino data is accounted for by Planck-mass effects while the atmospheric neutrino anomaly is due to the existence of a single right-handed neutrino at an intermediate mass scale between 10^9 GeV and 10^14 GeV. Even though the neutrino mixing angles are not exactly predicted, they can be naturally large, which agrees well with the current experimental situation. Furthermore, the amount of lepton asymmetry produced in the early universe by the decay of the right-handed neutrino is very predictive and may be enough to explain the current baryon-to-photon ratio if the right-handed neutrinos are produced out of thermal equilibrium. One definitive test for the model is the search for anomalous seasonal effects at Borexino.Comment: 19 pages, 3 figures, references added, results unchange

Differential transcriptomic responses to heat stress in surface and subterranean diving beetles

Subterranean habitats are generally very stable environments, and as such evolutionary transitions of organisms from surface to subterranean lifestyles may cause considerable shifts in physiology, particularly with respect to thermal tolerance. In this study we compared responses to heat shock at the molecular level in a geographically widespread, surface-dwelling water beetle to a congeneric subterranean species restricted to a single aquifer (Dytiscidae: Hydroporinae). The obligate subterranean beetle Paroster macrosturtensis is known to have a lower thermal tolerance compared to surface lineages (CTmax 38 °C cf. 42–46 °C), but the genetic basis of this physiological diference has not been characterized. We experimentally manipulated the thermal environment of 24 individuals to demonstrate that both species can mount a heat shock response at high temperatures (35 °C), as determined by comparative transcriptomics. However, genes involved in these responses difer between species and a far greater number were diferentially expressed in the surface taxon, suggesting it can mount a more robust heat shock response; these data may underpin its higher thermal tolerance compared to subterranean relatives. In contrast, the subterranean species examined not only diferentially expressed fewer genes in response to increasing temperatures, but also in the presence of the experimental setup employed here alone. Our results suggest P. macrosturtensis may be comparatively poorly equipped to respond to both thermally induced stress and environmental disturbances more broadly. The molecular fndings presented here have conservation implications for P. macrosturtensis and contribute to a growing narrative concerning weakened thermal tolerances in obligate subterranean organisms at the molecular level.Perry G. Beasley-Hall, Terry Bertozzi, Tessa M. Bradford, Charles S. P. Foster, Karl Jones, Simon M.Tierney, William F. Humphreys, Andrew D.Austin, Steven J. B. Coope

Group Formation

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/68807/2/10.1177_104649647300400206.pd

From Coherent Modes to Turbulence and Granulation of Trapped Gases

The process of exciting the gas of trapped bosons from an equilibrium initial state to strongly nonequilibrium states is described as a procedure of symmetry restoration caused by external perturbations. Initially, the trapped gas is cooled down to such low temperatures, when practically all atoms are in Bose-Einstein condensed state, which implies the broken global gauge symmetry. Excitations are realized either by imposing external alternating fields, modulating the trapping potential and shaking the cloud of trapped atoms, or it can be done by varying atomic interactions by means of Feshbach resonance techniques. Gradually increasing the amount of energy pumped into the system, which is realized either by strengthening the modulation amplitude or by increasing the excitation time, produces a series of nonequilibrium states, with the growing fraction of atoms for which the gauge symmetry is restored. In this way, the initial equilibrium system, with the broken gauge symmetry and all atoms condensed, can be excited to the state, where all atoms are in the normal state, with completely restored gauge symmetry. In this process, the system, starting from the regular superfluid state, passes through the states of vortex superfluid, turbulent superfluid, heterophase granular fluid, to the state of normal chaotic fluid in turbulent regime. Both theoretical and experimental studies are presented.Comment: Latex file, 25 pages, 4 figure

Creating the cultures of the future: cultural strategy, policy and institutions in Gramsci. Part one: Gramsci and cultural policy studies: some methodological reflections

Gramsci’s writings have rarely been discussed and used systematically by scholars in cultural policy studies, despite the fact that in cultural studies, from which the field emerged, Gramsci has been a major source of theoretical concepts. Cultural policy studies were, in fact, theorised as an anti-Gramscian project between the late 1980s and the early 1990s, when a group of scholars based in Australia advocated a major political and theoretical reorientation of cultural studies away from hegemony theory and radical politicisation, and towards reformist-technocratic engagement with the policy concerns of contemporary government and business. Their criticism of the ‘Gramscian tradition’ as inadequate for the study of cultural policy and institutions has remained largely unexamined in any detail for almost twenty years and seems to have had a significant role in the subsequent neglect of Gramsci’s contribution in this area of study. This essay, consisting of three parts, is an attempt to challenge such criticism and to provide an analysis of Gramsci’s writings, with the aim of proposing a more systematic contribution of his work to the theoretical development of cultural policy studies. In Part One, I question the use of the notion of ‘Gramscian tradition’ made by its critics and challenge the claim that it was inadequate for the study of cultural policy and institutions. In parts Two and Three, I consider Gramsci’s specific writings on questions of cultural strategy, policy and institutions, which have so far been overlooked by scholars, arguing that they provide further analytical insights to those offered by his more general concepts. More specifically, in Part Two, I consider Gramsci’s pre-prison writings and political practice in relation to questions of cultural strategy and institutions. I argue that the analysis of these early texts, which were written in the years in which Gramsci was active in party organisation and leadership, is fundamental not only for understanding the nature of Gramsci’s early and continued involvement with questions of cultural strategy and institutions, but also as a key for deciphering and interpreting cultural policy themes that he later developed in the prison notebooks, and which originated in earlier debates. Finally, in Part Three, I carry out a detailed analysis of Gramsci’s prison notes on questions of cultural strategy, policy and institutions, which enrich the theoretical underpinnings for critical frameworks of analysis as well as for radical practices of cultural strategy, cultural policy-making and cultural organisation. I then answer the question of whether Gramsci’s insights amount to a theory of cultural policy