The Core of the Participatory Budgeting Problem

In participatory budgeting, communities collectively decide on the allocation of public tax dollars for local public projects. In this work, we consider the question of fairly aggregating the preferences of community members to determine an allocation of funds to projects. This problem is different from standard fair resource allocation because of public goods: The allocated goods benefit all users simultaneously. Fairness is crucial in participatory decision making, since generating equitable outcomes is an important goal of these processes. We argue that the classic game theoretic notion of core captures fairness in the setting. To compute the core, we first develop a novel characterization of a public goods market equilibrium called the Lindahl equilibrium, which is always a core solution. We then provide the first (to our knowledge) polynomial time algorithm for computing such an equilibrium for a broad set of utility functions; our algorithm also generalizes (in a non-trivial way) the well-known concept of proportional fairness. We use our theoretical insights to perform experiments on real participatory budgeting voting data. We empirically show that the core can be efficiently computed for utility functions that naturally model our practical setting, and examine the relation of the core with the familiar welfare objective. Finally, we address concerns of incentives and mechanism design by developing a randomized approximately dominant-strategy truthful mechanism building on the exponential mechanism from differential privacy

Engineering a Plant Polyketide Synthase for the Biosynthesis of Methylated Flavonoids

Homoeriodictyol and hesperetin are naturally occurring O-methylated flavonoids with many health-promoting properties. They are produced in plants in low abundance and as complex mixtures of similar compounds that are difficult to separate. Synthetic biology offers the opportunity to produce various flavonoids in a targeted, bottom-up approach in engineered microbes with high product titers. However, the production of O-methylated flavonoids is currently still highly inefficient. In this study, we investigated and engineered a combination of enzymes that had previously been shown to support homoeriodictyol and hesperetin production in Escherichia coli from fed O-methylated hydroxycinnamic acids. We determined the crystal structures of the enzyme catalyzing the first committed step of the pathway, chalcone synthase from Hordeum vulgare, in three ligand-bound states. Based on these structures and a multiple sequence alignment with other chalcone synthases, we constructed mutant variants and assessed their performance in E. coli toward producing methylated flavonoids. With our best mutant variant, HvCHS (Q232P, D234 V), we were able to produce homoeriodictyol and hesperetin at 2 times and 10 times higher titers than reported previously. Our findings will facilitate further engineering of this enzyme toward higher production of methylated flavonoids.</p

Engineering a Plant Polyketide Synthase for the Biosynthesis of Methylated Flavonoids

Homoeriodictyol and hesperetin are naturally occurring O-methylated flavonoids with many health-promoting properties. They are produced in plants in low abundance and as complex mixtures of similar compounds that are difficult to separate. Synthetic biology offers the opportunity to produce various flavonoids in a targeted, bottom-up approach in engineered microbes with high product titers. However, the production of O-methylated flavonoids is currently still highly inefficient. In this study, we investigated and engineered a combination of enzymes that had previously been shown to support homoeriodictyol and hesperetin production in Escherichia coli from fed O-methylated hydroxycinnamic acids. We determined the crystal structures of the enzyme catalyzing the first committed step of the pathway, chalcone synthase from Hordeum vulgare, in three ligand-bound states. Based on these structures and a multiple sequence alignment with other chalcone synthases, we constructed mutant variants and assessed their performance in E. coli toward producing methylated flavonoids. With our best mutant variant, HvCHS (Q232P, D234 V), we were able to produce homoeriodictyol and hesperetin at 2 times and 10 times higher titers than reported previously. Our findings will facilitate further engineering of this enzyme toward higher production of methylated flavonoids.</p

Engineering a plant polyketide synthase for the biosynthesis of methylated flavonoids

Homoeriodictyol and hesperetin are naturally occurring O-methylated flavonoids with many health-promoting properties. They are produced in plants in low abundance and as complex mixtures of similar compounds that are difficult to separate. Synthetic biology offers the opportunity to produce non-methylated flavonoids in a targeted, bottom-up approach in engineered microbes with high product titers. However, the production of these O-methylated flavonoids is currently still highly inefficient. In this study, we investigated and engineered a combination of enzymes that had previously been shown to support homoeriodictyol and hesperitin production from fed cinnamic acid precursors. We determined the crystal structures of the enzyme catalyzing the first committed step of the pathway, chalcone synthase from Hordeum vulgare in three ligand-bound states. Based on these structures and a multiple sequence alignment with other chalcone synthases, we constructed mutant variants and assessed their performance in Escherichia coli towards producing methylated flavonoids. With our best mutant variant, HvCHS (Q232P, D234V), we were able to produce homoeriodictyol and hesperetin at 2 times and 10 times higher titers than previously reported. Our findings will facilitate the further engineering of this enzyme towards higher production of methylated flavonoids

Towards linking correctness conditions for concurrent objects and contextual trace refinement

Correctness conditions for concurrent objects describe how atomicity of an abstract sequential object may be decomposed. Many different concurrent objects and proof methods for them have been developed. However, arguments about correctness are conducted with respect to an object in isolation. This is in contrast to real-world practice, where concurrent objects are often implemented as part of a programming language library (e.g., java.util.concurrent) and are instantiated within a client program. A natural question to ask, then is: How does a correctness condition for a concurrent object ensure correctness of a client program that uses the concurrent object? This paper presents the main issues that surround this question and provides some answers by linking different correctness conditions with a form of trace refinement

Mapping species distributions: A comparison of skilled naturalist and lay citizen science recording

To assess the ability of traditional biological recording schemes and lay citizen science approaches to gather data on species distributions and changes therein, we examined bumblebee records from the UK’s national repository (National Biodiversity Network) and from BeeWatch. The two recording approaches revealed similar relative abundances of bumblebee species but different geographical distributions. For the widespread common carder (Bombus pascuorum), traditional recording scheme data were patchy, both spatially and temporally, reflecting active record centre rather than species distribution. Lay citizen science records displayed more extensive geographic coverage, reflecting human population density, thus offering better opportunities to account for recording effort. For the rapidly spreading tree bumblebee (Bombus hypnorum), both recording approaches revealed similar distributions due to a dedicated mapping project which overcame the patchy nature of naturalist records. We recommend, where possible, complementing skilled naturalist recording with lay citizen science programmes to obtain a nation-wide capability, and stress the need for timely uploading of data to the national repository