The Foundational Significance of Leggett's Non-local Hidden-Variable Theories

Laudisa (Found. Phys. 38:1110-1132, 2008) claims that experimental research on the class of non-local hidden-variable theories introduced by Leggett is misguided, because these theories are irrelevant for the foundations of quantum mechanics. I show that Laudisa's arguments fail to establish the pessimistic conclusion he draws from them. In particular, it is not the case that Leggett-inspired research is based on a mistaken understanding of Bell's theorem, nor that previous no-hidden-variable theorems already exclude Leggett's models. Finally, I argue that the framework of Bohmian mechanics brings out the importance of Leggett tests, rather than proving their irrelevance, as Laudisa supposes.

Genetic basis and variable phenotypic expression of Kallmann syndrome: towards a unifying theory.

Idiopathic hypogonadotropic hypogonadism (IHH) is defined by absent or incomplete puberty and characterised biochemically by low levels of sex steroids, with low or inappropriately normal gonadotropin hormones. IHH is frequently accompanied by non-reproductive abnormalities, most commonly anosmia, which is present in 50-60% of cases and defines Kallmann syndrome. The understanding of IHH has undergone rapid evolution, both in respect of genetics and breadth of phenotype. Once considered in monogenic Mendelian terms, it is now more coherently understood as a complex genetic condition. Oligogenic and complex genetic-environmental interactions have now been identified, with physiological and environmental factors interacting in genetically susceptible individuals to alter the clinical course and phenotype. These potentially link IHH to ancient evolutionary pressures on the ancestral human genome.

Conditional manipulation of sex ratios by ant workers: A test of kin selection theory

Variable queen mating frequencies provide a unique opportunity to study the resolution of worker-queen conflict over sex ratio in social Hymenoptera, because the conflict is maximal in colonies headed by a singly mated queen and is weak or nonexistent in colonies headed by a multiply mated queen. In the wood ant Formica exsecta, workers in colonies with a singly mated queen, but not those in colonies with a multiply mated queen, altered the sex ratio of queen-laid eggs by eliminating males to preferentially raise queens. By this conditional response to queen mating frequency, workers enhance their inclusive fitness.

Variable queen number in ant colonies: no impact on queen turnover, inbreeding, and population genetic differentiation in the ant Formica selysi.

Variation in queen number alters the genetic structure of social insect colonies, which in turn affects patterns of kin-selected conflict and cooperation. Theory suggests that shifts from single- to multiple-queen colonies are often associated with other changes in the breeding system, such as higher queen turnover, more local mating, and restricted dispersal. These changes may restrict gene flow between the two types of colonies and it has been suggested that this might ultimately lead to sympatric speciation. We performed a detailed microsatellite analysis of a large population of the ant Formica selysi, which revealed extensive variation in social structure, with 71 colonies headed by a single queen and 41 by multiple queens. This polymorphism in social structure appeared stable over time, since little change in the number of queens per colony was detected over a five-year period. Apart from queen number, single- and multiple-queen colonies had very similar breeding systems. Queen turnover was absent or very low in both types of colonies. Single- and multiple-queen colonies exhibited very small but significant levels of inbreeding, which indicates a slight deviation from random mating at a local scale and suggests that a small proportion of queens mate with related males. For both types of colonies, there was very little genetic structuring above the level of the nest, with no sign of isolation by distance. These similarities in the breeding systems were associated with a complete lack of genetic differentiation between single- and multiple-queen colonies, which provides no support for the hypothesis that change in queen number leads to restricted gene flow between social forms. Overall, this study suggests that the higher rates of queen turnover, local mating, and population structuring that are often associated with multiple-queen colonies do not appear when single- and multiple-queen colonies still coexist within the same population, but build up over time in populations consisting mostly of multiple-queen colonies.

Modeling sequencing errors by combining Hidden Markov models.

Among the largest resources for biological sequence data is the large amount of expressed sequence tags (ESTs) available in public and proprietary databases. ESTs provide information on transcripts but for technical reasons they often contain sequencing errors. Therefore, when analyzing EST sequences computationally, such errors must be taken into account. Earlier attempts to model error prone coding regions have shown good performance in detecting and predicting these while correcting sequencing errors using codon usage frequencies. In the research presented here, we improve the detection of translation start and stop sites by integrating a more complex mRNA model with codon usage bias based error correction into one hidden Markov model (HMM), thus generalizing this error correction approach to more complex HMMs. We show that our method maintains the performance in detecting coding sequences.

The reasons for discrepancies in target volume delineation : a SASRO study on head-and-neck and prostate cancers.

PURPOSE: To understand the reasons for differences in the delineation of target volumes between physicians. MATERIAL AND METHODS: 18 Swiss radiooncology centers were invited to delineate volumes for one prostate and one head-and-neck case. In addition, a questionnaire was sent to evaluate the differences in the volume definition (GTV [gross tumor volume], CTV [clinical target volume], PTV [planning target volume]), the various estimated margins, and the nodes at risk. Coherence between drawn and stated margins by centers was calculated. The questionnaire also included a nonspecific series of questions regarding planning methods in each institution. RESULTS: Fairly large differences in the drawn volumes were seen between the centers in both cases and also in the definition of volumes. Correlation between drawn and stated margins was fair in the prostate case and poor in the head-and-neck case. The questionnaire revealed important differences in the planning methods between centers. CONCLUSION: These large differences could be explained by (1) a variable knowledge/interpretation of ICRU definitions, (2) variable interpretations of the potential microscopic extent, (3) difficulties in GTV identification, (4) differences in the concept, and (5) incoherence between theory (i.e., stated margins) and practice (i.e., drawn margins).

Variable viral clearance despite adequate ganciclovir plasma levels during valganciclovir treatment for cytomegalovirus disease in D+/R- transplant recipients.

ABSTRACT: BACKGROUND: Valganciclovir, the oral prodrug of ganciclovir, has been demonstrated equivalent to iv ganciclovir for CMV disease treatment in solid organ transplant recipients. Variability in ganciclovir exposure achieved with valganciclovir could be implicated as a contributing factor for explaining variations in the therapeutic response. This prospective observational study aimed to correlate clinical and cytomegalovirus (CMV) viral load response (DNAemia) with ganciclovir plasma concentrations in patients treated with valganciclovir for CMV infection/disease. METHODS: Seven CMV D+/R- transplant recipients (4 kidney, 2 liver and 1 heart) were treated with valganciclovir (initial dose was 900-1800 mg/day for 3-6.5 weeks, followed by 450-900 mg/day for 2-9 weeks). DNAemia was monitored by real time quantitative PCR and ganciclovir plasma concentration was measured at trough (Ctrough) and 3 h after drug administration (C3h) by HPLC. RESULTS: Four patients presented with CMV syndrome, two had CMV tissue-invasive disease after prophylaxis discontinuation, and one liver recipient was treated pre-emptively for asymptomatic rising CMV viral load 5 weeks post-transplantation in the absence of prophylaxis. CMV DNAemia decreased during the first week of treatment in all recipients except in one patient (median decrease: -1.2 log copies/mL, range: -1.8 to 0) despite satisfactory ganciclovir exposure (AUC0-12 = 48 mg.h/L, range for the 7 patients: 40-118 mg.h/L). Viral clearance was obtained in five patients after a median of time of 34 days (range: 28-82 days). Two patients had recurrent CMV disease despite adequate ganciclovir exposure (65 mg.h/L, range: 44-118 mg.h/L). CONCLUSIONS: Valganciclovir treatment for CMV infection/disease in D+/R- transplant recipients can thus result in variable viral clearance despite adequate ganciclovir plasma concentrations, probably correlating inversely with anti-CMV immune responses after primary infection.

Interactive Epistemology and Reasoning: On the Foundations of Game Theory

Game theory describes and analyzes strategic interaction. It is usually distinguished between static games, which are strategic situations in which the players choose only once as well as simultaneously, and dynamic games, which are strategic situations involving sequential choices. In addition, dynamic games can be further classified according to perfect and imperfect information. Indeed, a dynamic game is said to exhibit perfect information, whenever at any point of the game every player has full informational access to all choices that have been conducted so far. However, in the case of imperfect information some players are not fully informed about some choices. Game-theoretic analysis proceeds in two steps. Firstly, games are modelled by so-called form structures which extract and formalize the significant parts of the underlying strategic interaction. The basic and most commonly used models of games are the normal form, which rather sparsely describes a game merely in terms of the players' strategy sets and utilities, and the extensive form, which models a game in a more detailed way as a tree. In fact, it is standard to formalize static games with the normal form and dynamic games with the extensive form. Secondly, solution concepts are developed to solve models of games in the sense of identifying the choices that should be taken by rational players. Indeed, the ultimate objective of the classical approach to game theory, which is of normative character, is the development of a solution concept that is capable of identifying a unique choice for every player in an arbitrary game. However, given the large variety of games, it is not at all certain whether it is possible to device a solution concept with such universal capability. Alternatively, interactive epistemology provides an epistemic approach to game theory of descriptive character. This rather recent discipline analyzes the relation between knowledge, belief and choice of game-playing agents in an epistemic framework. The description of the players' choices in a given game relative to various epistemic assumptions constitutes the fundamental problem addressed by an epistemic approach to game theory. In a general sense, the objective of interactive epistemology consists in characterizing existing game-theoretic solution concepts in terms of epistemic assumptions as well as in proposing novel solution concepts by studying the game-theoretic implications of refined or new epistemic hypotheses. Intuitively, an epistemic model of a game can be interpreted as representing the reasoning of the players. Indeed, before making a decision in a game, the players reason about the game and their respective opponents, given their knowledge and beliefs. Precisely these epistemic mental states on which players base their decisions are explicitly expressible in an epistemic framework. In this PhD thesis, we consider an epistemic approach to game theory from a foundational point of view. In Chapter 1, basic game-theoretic notions as well as Aumann's epistemic framework for games are expounded and illustrated. Also, Aumann's sufficient conditions for backward induction are presented and his conceptual views discussed. In Chapter 2, Aumann's interactive epistemology is conceptually analyzed. In Chapter 3, which is based on joint work with Conrad Heilmann, a three-stage account for dynamic games is introduced and a type-based epistemic model is extended with a notion of agent connectedness. Then, sufficient conditions for backward induction are derived. In Chapter 4, which is based on joint work with Jérémie Cabessa, a topological approach to interactive epistemology is initiated. In particular, the epistemic-topological operator limit knowledge is defined and some implications for games considered. In Chapter 5, which is based on joint work with Jérémie Cabessa and Andrés Perea, Aumann's impossibility theorem on agreeing to disagree is revisited and weakened in the sense that possible contexts are provided in which agents can indeed agree to disagree.