Coverage, Matching, and Beyond: New Results on Budgeted Mechanism Design

We study a type of reverse (procurement) auction problems in the presence of budget constraints. The general algorithmic problem is to purchase a set of resources, which come at a cost, so as not to exceed a given budget and at the same time maximize a given valuation function. This framework captures the budgeted version of several well known optimization problems, and when the resources are owned by strategic agents the goal is to design truthful and budget feasible mechanisms, i.e. elicit the true cost of the resources and ensure the payments of the mechanism do not exceed the budget. Budget feasibility introduces more challenges in mechanism design, and we study instantiations of this problem for certain classes of submodular and XOS valuation functions. We first obtain mechanisms with an improved approximation ratio for weighted coverage valuations, a special class of submodular functions that has already attracted attention in previous works. We then provide a general scheme for designing randomized and deterministic polynomial time mechanisms for a class of XOS problems. This class contains problems whose feasible set forms an independence system (a more general structure than matroids), and some representative problems include, among others, finding maximum weighted matchings, maximum weighted matroid members, and maximum weighted 3D-matchings. For most of these problems, only randomized mechanisms with very high approximation ratios were known prior to our results

Virtual patients design and its effect on clinical reasoning and student experience : a protocol for a randomised factorial multi-centre study

Background Virtual Patients (VPs) are web-based representations of realistic clinical cases. They are proposed as being an optimal method for teaching clinical reasoning skills. International standards exist which define precisely what constitutes a VP. There are multiple design possibilities for VPs, however there is little formal evidence to support individual design features. The purpose of this trial is to explore the effect of two different potentially important design features on clinical reasoning skills and the student experience. These are the branching case pathways (present or absent) and structured clinical reasoning feedback (present or absent). Methods/Design This is a multi-centre randomised 2x2 factorial design study evaluating two independent variables of VP design, branching (present or absent), and structured clinical reasoning feedback (present or absent).The study will be carried out in medical student volunteers in one year group from three university medical schools in the United Kingdom, Warwick, Keele and Birmingham. There are four core musculoskeletal topics. Each case can be designed in four different ways, equating to 16 VPs required for the research. Students will be randomised to four groups, completing the four VP topics in the same order, but with each group exposed to a different VP design sequentially. All students will be exposed to the four designs. Primary outcomes are performance for each case design in a standardized fifteen item clinical reasoning assessment, integrated into each VP, which is identical for each topic. Additionally a 15-item self-reported evaluation is completed for each VP, based on a widely used EViP tool. Student patterns of use of the VPs will be recorded. In one centre, formative clinical and examination performance will be recorded, along with a self reported pre and post-intervention reasoning score, the DTI. Our power calculations indicate a sample size of 112 is required for both primary outcomes

Determination of the characteristic directions of lossless linear optical elements

We show that the problem of finding the primary and secondary characteristic directions of a linear lossless optical element can be reformulated in terms of an eigenvalue problem related to the unimodular factor of the transfer matrix of the optical device. This formulation makes any actual computation of the characteristic directions amenable to pre-implemented numerical routines, thereby facilitating the decomposition of the transfer matrix into equivalent linear retarders and rotators according to the related Poincare equivalence theorem. The method is expected to be useful whenever the inverse problem of reconstruction of the internal state of a transparent medium from optical data obtained by tomographical methods is an issue.Comment: Replaced with extended version as published in JM

Alginate inhibits iron absorption from ferrous gluconate in a randomized controlled trial and reduces iron uptake into Caco-2 cells

Previous in vitro results indicated that alginate beads might be a useful vehicle for food iron fortification. A human study was undertaken to test the hypothesis that alginate enhances iron absorption. A randomised, single blinded, cross-over trial was carried out in which iron absorption was measured from serum iron appearance after a test meal. Overnight-fasted volunteers (n=15) were given a test meal of 200g cola-flavoured jelly plus 21 mg iron as ferrous gluconate, either in alginate beads mixed into the jelly or in a capsule. Iron absorption was lower from the alginate beads than from ferrous gluconate (8.5% and 12.6% respectively, p=0.003). Sub-group B (n=9) consumed the test meals together with 600 mg calcium to determine whether alginate modified the inhibitory effect of calcium. Calcium reduced iron absorption from ferrous gluconate by 51%, from 11.5% to 5.6% (p=0.014), and from alginate beads by 37%, from 8.3% to 5.2% (p=0.009). In vitro studies using Caco-2 cells were designed to explore the reasons for the difference between the previous in vitro findings and the human study; confirmed the inhibitory effect of alginate. Beads similar to those used in the human study were subjected to simulated gastrointestinal digestion, with and without cola jelly, and the digestate applied to Caco-2 cells. Both alginate and cola jelly significantly reduced iron uptake into the cells, by 34% (p=0.009) and 35% (p=0.003) respectively. The combination of cola jelly and calcium produced a very low ferritin response, 16.5% (p<0.001) of that observed with ferrous gluconate alone. The results of these studies demonstrate that alginate beads are not a useful delivery system for soluble salts of iron for the purpose of food fortification

On Tackling the Limits of Resolution in SAT Solving

The practical success of Boolean Satisfiability (SAT) solvers stems from the CDCL (Conflict-Driven Clause Learning) approach to SAT solving. However, from a propositional proof complexity perspective, CDCL is no more powerful than the resolution proof system, for which many hard examples exist. This paper proposes a new problem transformation, which enables reducing the decision problem for formulas in conjunctive normal form (CNF) to the problem of solving maximum satisfiability over Horn formulas. Given the new transformation, the paper proves a polynomial bound on the number of MaxSAT resolution steps for pigeonhole formulas. This result is in clear contrast with earlier results on the length of proofs of MaxSAT resolution for pigeonhole formulas. The paper also establishes the same polynomial bound in the case of modern core-guided MaxSAT solvers. Experimental results, obtained on CNF formulas known to be hard for CDCL SAT solvers, show that these can be efficiently solved with modern MaxSAT solvers

Profiling allele-specific gene expression in brains from individuals with autism spectrum disorder reveals preferential minor allele usage.

One fundamental but understudied mechanism of gene regulation in disease is allele-specific expression (ASE), the preferential expression of one allele. We leveraged RNA-sequencing data from human brain to assess ASE in autism spectrum disorder (ASD). When ASE is observed in ASD, the allele with lower population frequency (minor allele) is preferentially more highly expressed than the major allele, opposite to the canonical pattern. Importantly, genes showing ASE in ASD are enriched in those downregulated in ASD postmortem brains and in genes harboring de novo mutations in ASD. Two regions, 14q32 and 15q11, containing all known orphan C/D box small nucleolar RNAs (snoRNAs), are particularly enriched in shifts to higher minor allele expression. We demonstrate that this allele shifting enhances snoRNA-targeted splicing changes in ASD-related target genes in idiopathic ASD and 15q11-q13 duplication syndrome. Together, these results implicate allelic imbalance and dysregulation of orphan C/D box snoRNAs in ASD pathogenesis

Quantum feedback control of a superconducting qubit: Persistent Rabi oscillations

The act of measurement bridges the quantum and classical worlds by projecting a superposition of possible states into a single, albeit probabilistic, outcome. The time-scale of this "instantaneous" process can be stretched using weak measurements so that it takes the form of a gradual random walk towards a final state. Remarkably, the interim measurement record is sufficient to continuously track and steer the quantum state using feedback. We monitor the dynamics of a resonantly driven quantum two-level system -- a superconducting quantum bit --using a near-noiseless parametric amplifier. The high-fidelity measurement output is used to actively stabilize the phase of Rabi oscillations, enabling them to persist indefinitely. This new functionality shows promise for fighting decoherence and defines a path for continuous quantum error correction.Comment: Manuscript: 5 Pages and 3 figures ; Supplementary Information: 9 pages and 3 figure