Choice Mechanisms Research Articles

Formal verification and synthesis of mechanisms for social choice

Formal verification and synthesis of mechanisms for social choice

Analysis of Chinese Time-Honored Restaurant Selection Embedded in Customers’ Nostalgia: based on Contextual Analysis Model

Revitalizing China's old restaurant brands is of great significance to the cultural self-confidence of the Chinese nation. In this study, nine old brands in Beijing, Shanghai and Guangzhou were selected, and a total of 543 valid questionnaires were obtained to analyze consumers' willingness to choose old brands. Specifically, based on consumers' perceived attractiveness and visit resistance to old firms, the authors used the contextual analysis model in the hierarchical linear model to explore the perturbation mechanism of the two nostalgic emotions in consumers' choices. The results of the analysis are as follows: first, perceived attractiveness has a positive effect on customer choice, while visit resistance has a negative effect on customer choice. Second, individual nostalgia has a positive effect on customer choice and plays a moderating role in the relationship between attractiveness, visit resistance and choice. Third, urban nostalgia also plays an important role in the relationship between attractiveness, visit resistance and choice. Overall, based on the contextual analysis model, this paper discovered the intrinsic choice mechanism of consumers for Chinese old restaurants, which can play a guiding role for their development.

Indirect evidence of an early mating advantage in wild cooperatively breeding male banded mongooses

Promiscuous females reduce male reproductive control. Males can attempt to monopolise access to these females, but distractions and sneaky rivals mean extra copulations cannot always be blocked. By mating first, males can obtain a headstart in sperm competition, but this may be negated by sperm storage and cryptic female choice mechanisms. We carry out an indirect rare test of an early mating advantage in a population of free-living wild animals. Using Bayesian GLMM analysis of a long-term life history database spanning 17 years, we show that banded mongoose males who interacted with females in earlier days of oestrus had a higher chance of siring their offspring compared with later rivals. An early mating advantage would intensify initial male-male competition and hence selection for male choice, as any initial mistake identifying preferred mating partners could see paternity lost to rivals.

Quality of Hospices Used by Medicare Advantage and Traditional Fee-for-Service Beneficiaries

Although enrollment in both hospice care and Medicare Advantage (MA) have grown substantially, little is known about the quality of hospice care received by MA beneficiaries relative to traditional Medicare fee-for-service (FFS) beneficiaries. To compare hospice enrollment and the quality of hospices serving MA and FFS beneficiaries. This population-based cross-sectional study used Medicare enrollment and claims data from January 1, 2018, through December 31, 2019, and Hospice Quality Reporting Program (HQRP) data released between November 1, 2020, and August 30, 2022, to compare the probability of enrolling in hospice before death and the probability of using high- vs low-quality hospices between MA and FFS beneficiaries. Two sample populations were assessed: (1) all Medicare beneficiaries who died in 2018 or 2019, and (2) all Medicare hospice enrollees in 2018 and 2019, excluding beneficiaries with hospice use in 2017. Data were analyzed between April 1, 2023, and April 30, 2024. MA enrollment was assessed 6 months prior to death for decedents and in the month of hospice admission for hospice enrollees. MA beneficiaries were further classified by plan type: regular MA, special needs plan (SNP), and Medicare-Medicaid plan (MMP). For decedents, the outcome of interest was the prevalence of any hospice use in the last 6 months of life. For hospice enrollees, the outcome of interest was 9 HQRP measures of hospice quality. Data from 4 215 648 decedents (51.6% female; mean [SD] age, 80.1 [11.6] years) and 2 211 826 hospice enrollees (56.6% female; mean [SD] age, 82.4 [10.5] years) were included. In the decedent sample, beneficiaries enrolled in every type of MA plan were significantly more likely than beneficiaries enrolled in FFS to use hospice care in the last 6 months of life (regular MA beneficiaries were 3.4 percentage points more likely to use hospice; MA SNP beneficiaries, 2.4 percentage points; and MA MMP beneficiaries, 3.6 percentage points). Regular MA and FFS beneficiaries enrolled in hospices of similar quality. However, beneficiaries in SNPs and MMPs were significantly more likely than FFS beneficiaries to use hospices with inferior quality (eg, MA SNP beneficiaries were 4.3 [95% CI, 3.9-4.7] percentage points more likely to use a hospice with a low Consumer Assessment of Healthcare Providers and Systems (CAHPS) global rating, and MA MMP beneficiaries were 6.8 [95% CI, 6.0-7.7] percentage points more likely). When beneficiaries entered hospice from the same hospital or nursing home the results were attenuated: the MA SNP beneficiaries entering from the same hospital were 0.9 (95% CI, 0.5-1.4) percentage points more likely to use a hospice with a low CAHPS global rating, and MA MMP beneficiaries were 3.8 (95% CI, 2.4-5.1) percentage points more likely; MA SNP beneficiaries entering from the same nursing home were 2.8 (95% CI, 2.3-3.3) percentage points more likely to use a hospice with a low CAHPS global rating, and MA MMP beneficiaries were 1.9 (95% CI, 0.9-2.9) percentage points more likely. These results suggest that referral networks were an important mechanism of the hospice quality choice. These findings suggest that policymakers should consider policies for MA programs that incentivize referrals to high-quality hospices and approaches to educating beneficiaries on identifying high-quality hospice care.

Molecular, cellular, and developmental organization of the mouse vomeronasal organ at single cell resolution.

We have generated single cell transcriptomic atlases of vomeronasal organs (VNO) from juvenile and adult mice. Combined with spatial molecular imaging, we uncover a distinct, previously unidentified class of cells that express the vomeronasal receptors (VRs) and a population of canonical olfactory sensory neurons in the VNO. High-resolution trajectory and cluster analyses reveal the lineage relationship, spatial distribution of cell types, and a putative cascade of molecular events that specify the V1r, V2r, and OR lineages from a common stem cell population. The expression of vomeronasal and olfactory receptors follow power law distributions, but there is high variability in average expression levels between individual receptor and cell types. Substantial co-expression is found between receptors across clades, from different classes, and between olfactory and VRs, with nearly half from pairs located on the same chromosome. Interestingly, the expression of V2r, but not V1r, genes is associated with various transcription factors, suggesting distinct mechanisms of receptor choice associated with the two cell types. We identify association between transcription factors, surface axon guidance molecules, and individual VRs, thereby uncovering a molecular code that guides the specification of the vomeronasal circuitry. Our study provides a wealth of data on the development and organization of the accessory olfactory system at both cellular and molecular levels to enable a deeper understanding of vomeronasal system function.

Molecular, cellular, and developmental organization of the mouse vomeronasal organ at single cell resolution

We have generated single cell transcriptomic atlases of vomeronasal organs (VNO) from juvenile and adult mice. Combined with spatial molecular imaging, we uncover a distinct, previously unidentified class of cells that express the vomeronasal receptors (VRs) and a population of canonical olfactory sensory neurons in the VNO. High-resolution trajectory and cluster analyses reveal the lineage relationship, spatial distribution of cell types, and a putative cascade of molecular events that specify the V1r, V2r, and OR lineages from a common stem cell population. The expression of vomeronasal and olfactory receptors follow power law distributions, but there is high variability in average expression levels between individual receptor and cell types. Substantial co-expression is found between receptors across clades, from different classes, and between olfactory and VRs, with nearly half from pairs located on the same chromosome. Interestingly, the expression of V2r, but not V1r, genes is associated with various transcription factors, suggesting distinct mechanisms of receptor choice associated with the two cell types. We identify association between transcription factors, surface axon guidance molecules, and individual VRs, thereby uncovering a molecular code that guides the specification of the vomeronasal circuitry. Our study provides a wealth of data on the development and organization of the accessory olfactory system at both cellular and molecular levels to enable a deeper understanding of vomeronasal system function.

Declarative Approaches to Outcome Determination in Judgment Aggregation

Judgment aggregation (JA) offers a generic formal framework for modeling various settings involving information aggregation by social choice mechanisms. For many judgment aggregation rules, computing collective judgments is computationally notoriously hard. The central outcome determination problem, in particular, is often complete for higher levels of the polynomial hierarchy. This complexity barrier makes it challenging to develop practical exact algorithms to outcome determination. Taking on this challenge, in this work we develop practical exact algorithms for outcome determination under a range of the most central JA rules—namely Kemeny, Slater, MaxHamming, Young, Dodgson, Reversal scoring, Condorcet, Ranked agenda, and LexiMax—by harnessing the declarative approach, in particular, Boolean satisfiability (SAT) and integer programming techniques. For the Kemeny, Slater, MaxHamming, Young, and Dodgson rules, we detail direct approaches based on maximum satisfiability (MaxSAT) and integer programming. For the Reversal scoring, Condorcet, Ranked agenda, and LexiMax rules, we develop iterative algorithms, including algorithms based on the counterexample-guided abstraction refinement (CEGAR) paradigm, making use of recent advances in incremental MaxSAT solving and preferential SAT-based reasoning. We provide an open-source implementation of the algo- rithms, and empirically evaluate them using real-world preference data. We compare the performance of our implementation to a recent approach which makes use of declarative solver technology for answer set programming (ASP). The results demonstrate that our approaches scale significantly beyond the reach of the ASP-based algorithms for all of the judgment aggregation rules considered.

Segregation and school composition in Washington, D.C. following the implementation of a unified school lottery

ABSTRACT The global expansion of choice programmes fuels debates about the equity potential of school choice policies and mechanisms. In 2014, Washington, D.C. pioneered a citywide lottery and enrolment system to match students with preferred institutions and distribute access to seats in high-demand schools. While unified lottery and enrolment systems impact a vast number of students and influence educational opportunities across continents, little evidence exists on the efficacy of these systems or the link between centralized lotteries and changes in school composition or segregation. Using longitudinal data and an interrupted time series analysis, this study examines the relationship between D.C.’s centralized lottery system and student distribution. We find unchanged desegregation trends systemwide and annual increases in segregation in schools located in wealthier and lower-income wards after the adoption of the lottery system. We raise questions about the way school-designated preference structures give the appearance of numerous school options for families, while keeping access to meaningful choices superficial. Across international contexts, these systems may aid desegregation efforts and enhance equity by randomizing school matches, preventing cream skimming, and offering a baseline of school information, but additional research is needed to better understand their substantive outcomes.

Concepts of reproductive behaviour and motherhood in Soviet cinema of the 1920–1930s

The article examines representations of motherhood and reproductive behaviour in Soviet cinema from Revolution 1917 to the mid-1930s (films “Children are the Flowers of Life”, “The Road to Happiness”, “Katka's Reinette Apples”, “Bed and Sofa”, etc.) through the study of the reproductive choice mechanism, demonstration of pregnancy, childbirth and child care. Conclusions are drawn about the presence of several main conceptual frameworks, such as happy Soviet motherhood as opposed to pre-revolutionary motherhood; the unreliability of the parental function of the biological father, but the support of the collective and the acquisition of a new partner, which means the creation of a two-parents family; transition from the demonstration of medical instruments and the process of childbirth to the withdrawal of this segment; etc.

Does Proximity to MRT Stations Affect Online Shopping Use? An Analysis Using Data from Japan and New York

The rapid growth of the e-commerce market in the retail sector has led to a greater demand for home delivery services in recent years. In order to develop policies to address the issues related to delivery demand, it is critical to understand the demand mechanism of online shopping. Furthermore, the relationship between proximity to mass rapid transit and shopping mode choice mechanisms has not been studied, although, in the field of urban design, accessibility to mass rapid transit is known to affect travel behaviors. We focus on the relationship between proximity to mass rapid transit stations and the shopping mode choice mechanism and estimate structural equation models, considering in-person and online shopping propensities as the latent variables. We use the two datasets. One is from a web-based survey of online shoppers in Japan. The other is the 2019 NYC Citywide Mobility Survey data. The results based on Japanese survey data indicate a clear difference in shopping mode choice mechanisms between MRT-dependent neighborhoods and non-MRT-dependent neighborhoods, while such a difference is limited in NYC. Furthermore, the study reveals how individual and household characteristics and accessibility indicators affect online shopping propensity based on the type of neighborhood and city/country.

Contribution of amygdala to dynamic model arbitration under uncertainty.

Intrinsic uncertainty in the reward environment requires the brain to run multiple models simultaneously to predict outcomes based on preceding cues or actions, commonly referred to as stimulus- and action-based learning. Ultimately, the brain also must adopt appropriate choice behavior using reliability of these models. Here, we combined multiple experimental and computational approaches to quantify concurrent learning in monkeys performing tasks with different levels of uncertainty about the model of the environment. By comparing behavior in control monkeys and monkeys with bilateral lesions to the amygdala or ventral striatum, we found evidence for dynamic, competitive interaction between stimulus-based and action-based learning, and for a distinct role of the amygdala. Specifically, we demonstrate that the amygdala adjusts the initial balance between the two learning systems, thereby altering the interaction between arbitration and learning that shapes the time course of both learning and choice behaviors. This novel role of the amygdala can account for existing contradictory observations and provides testable predictions for future studies into circuit-level mechanisms of flexible learning and choice under uncertainty.

Cryptic female choice in response to male pheromones in Drosophila melanogaster

Females control the paternity of their offspring by selectively mating with males they perceive to be of high quality. In species where females mate with multiple males in succession, females may bias offspring paternity by favoring the sperm of one male over another, a process known as cryptic female choice.1 While evidence of cryptic female choice exists in multiple taxa, the mechanisms underlying this process have remained difficult to unravel.2 Understanding cryptic female choice requires demonstration of a female-driven post-mating bias in sperm use and paternity and a causal link between this bias and male cues.3 In this study, we present evidence of cryptic female choice in female Drosophila melanogaster. Through experiments utilizing transgenic males expressing fluorescent sperm, we observed that exposure to attractive males between matings prompts females to expel the ejaculate of their initial mate more rapidly than in the presence of less attractive males. While doing so, females exhibit a bias in sperm storage against their first mate, thereby favoring the paternity of their subsequent mate. Our findings reveal that females adjust the timing of ejaculate expulsion in response to male pheromones in their environment, specifically heptanal and 11-cis-vaccenyl acetate, which are sensed by females through specific odorant receptors. We provide a cryptic female choice mechanism allowing a female to modulate the share of paternity of her first mate depending on the sensing of the quality of potential mates in her environment. These findings showcase that paternity can be influenced by events beyond copulation.

Molecular, Cellular, and Developmental Organization of the Mouse Vomeronasal organ at Single Cell Resolution.

We have generated single cell transcriptomic atlases of vomeronasal organs (VNO) from juvenile and adult mice. Combined with spatial molecular imaging, we uncover a distinct, previously unidentified class of cells that express the vomeronasal receptors and a population of canonical olfactory sensory neurons in the VNO. High resolution trajectory and cluster analyses reveal the lineage relationship, spatial distribution of cell types, and a putative cascade of molecular events that specify the V1r, V2r, and OR lineages from a common stem cell population. The expression of vomeronasal and olfactory receptors follow power law distributions, but there is high variability in average expression levels between individual receptor and cell types. Substantial co-expression is found between receptors across clades, from different classes, and between olfactory and vomeronasal receptors, with nearly half from pairs located on the same chromosome. Interestingly, the expression of V2r, but not V1r, genes is associated with various transcription factors, suggesting distinct mechanisms of receptor choice associated with the two cell types. We identify association between transcription factors, surface axon guidance molecules, and individual VRs, thereby uncovering a molecular code that guides the specification of the vomeronasal circuitry. Our study provides a wealth of data on the development and organization of the accessory olfactory system at both cellular and molecular levels to enable a deeper understanding of vomeronasal system function.

Natural variation in sexual traits and gene expression between selfing and outcrossing Arabidopsis lyrata suggests sexual selection at work.

Flowering plants show significant diversity in sexual strategies, profoundly impacting the evolution of sexual traits and associated genes. Sexual selection is one of the primary evolutionary forces driving sexual trait variation, particularly evident during pollen-pistil interactions, where pollen grains compete for fertilization and females select mating partners. Multiple mating may intensify competition among pollen donors for siring, while in contrast, self-fertilization reduces sire-sire competition, relaxing the sexual selection pressure. Traits involved in male-male competition and female choice are well described, and molecular mechanisms underlying pollen development and pollen-pistil interactions have been extensively studied in the model species Arabidopsis thaliana. However, whether these molecular mechanisms are involved in sexual selection in nature remains unclear. To address this gap, we measured intrinsic pollen performance and its interaction with female choice, and investigated the associated gene expression patterns in a selfing and an outcrossing population of Arabidopsis lyrata. We found that pollen germination and pollen tube growth were significantly higher in outcrossers than selfers, and this difference was accompanied by changes in expression of genes involved in vesicle transport and cytoskeleton. Outcrosser mother plants showed a negative impact on pollen tube growth compared to selfer mother plants, together with a difference of expression for genes involved in auxin and stress response, suggesting a potential mechanism for female choice through molecular crosstalk at the post-pollination stage. Our study provides insight on the impact of sexual selection on the evolution of sexual gene expression in plants.

Improving Time to Antibiotics for Long-Bone Open Fractures: A Quality Improvement Initiative.

Open fractures, which are exposed to the external environment, are at a high risk of infection. Administering antibiotics within 60 minutes of emergency department (ED) arrival is crucial to prevent infection. However, this is difficult to achieve due to high ED patient volumes. The purpose of our project was to improve time to antibiotics for patients presenting with long-bone open fractures at a Level 1 trauma center ED. We used the Lean Six Sigma Define, Measure, Analyze, Improve, and Control project framework to guide our efforts. Our interventions composed of developing educational initiatives, creating an electronic medical record order set, and restructuring the ED workflow to prioritize long-bone open fractures for immediate evaluation and antibiotic administration in our critical care zone. After our intervention, the time to antibiotics for long-bone open fractures improved significantly, decreasing from 76 to 40 minutes ( p < .001), with the percentage of patients receiving antibiotics within 60 minutes of ED arrival increasing from 64% to 92% ( p < .001). Age, sex, mechanism of injury, antibiotic choice, and location of the open fracture remained consistent between the two groups. Our results highlight the successful application of process improvement methodologies in improving antibiotic administration time for long-bone open fractures.

A practical method to draw from multivariate extreme value distributions

Generating random draws from multivariate extreme value (MEV) distributions plays an important role in the microsimulation of travel behaviors, which can effectively avoid heavy computational burdens from simulation based on calculated probability values, particularly in simulations for a large population or choice behaviors from a large choice set. However, there are few practical and effective methods for drawing from MEV distributions. This paper proposes a simple and computationally efficient approach for drawing from MEV distributions in the nested logit (NL), cross-nested logit (CNL), and paired combinatorial logit (PCL) models. The proposed approach to draw from the MEV distribution for a CNL model provides a new perspective to understand the underlying choice mechanism of the CNL model. To our knowledge, this is the first study to draw from an MEV distribution in the PCL model. Random draws from the proposed approach approximately follow the standard Gumbel distribution, which is the marginal distribution of NL/CNL/PCL models, and approximate correlations among alternatives well. Simulation results of NL/CNL/PCL models show that the proposed approach provides high-level accuracy in recovering model parameters with the overall mean absolute percentage bias being less than 3%. The proposed approach is computationally more efficient than similar ones because it only needs to draw from Gumbel distributions. The proposed approach can be used to simulate NL/CNL/PCL models with a large choice set or a multiple discrete-continuous generalized extreme value model in various application settings such as joint destination-mode choices, time use allocations, etc.

The active time model of concurrent choice.

The following paper describes a steady-state model of concurrent choice, termed the active time model (ATM). ATM is derived from maximization principles and is characterized by a semi-Markov process. The model proposes that the controlling stimulus in concurrent variable-interval (VI) VI schedules of reinforcement is the time interval since the most recent response, termed here "the active interresponse time" or simply "active time." In the model after a response is generated, it is categorized by a function that relates active times to switch/stay probabilities. In the paper the output of ATM is compared with predictions made by three other models of operant conditioning: melioration, a version of scalar expectancy theory (SET), and momentary maximization. Data sets considered include preferences in multiple-concurrent VI VI schedules, molecular choice patterns, correlations between switching and perseveration, and molar choice proportions. It is shown that ATM can account for all of these data sets, while the other models produce more limited fits. However, rather than argue that ATM is the singular model for concurrent VI VI choice, a consideration of its concept space leads to the conclusion that operant choice is multiply-determined, and that an adaptive viewpoint-one that considers experimental procedures both as selecting mechanisms for animal choice as well as tests of the controlling variables of that choice-is warranted.

A Novel Real-Time Coordinated Ridesharing Route Choice Mechanism

A Novel Real-Time Coordinated Ridesharing Route Choice Mechanism

Exploring the Pedestrian Route Choice Behaviors by Machine Learning Models

To investigate pedestrian route choice mechanisms from a perspective distinct from that employed in discrete choice models (DCMs), this study utilizes machine learning models and employs SHapley Additive exPlanations (SHAP) for model interpretation. The data used in this paper come from several pedestrian flow experiments with two routes, which were recorded by UAV. Our findings indicate that logistic regression (similar to a binary logit model) exhibits good computational efficiency but falls short in predictive accuracy when compared to other machine learning models. Among the 12 machine learning models assessed, by calculating the new indicator named OP, we find that eXtreme Gradient Boosting (XGB) and Light Gradient Boosting (LGB) strike the best balance between accuracy and computational efficiency. Regarding feature contribution, our analysis reveals that bottlenecks exert the most significant influence on pedestrian route choice behavior, followed by the time it takes pedestrians to return from the end of the route to the origin (reflecting pedestrian characteristics and attitudes). While the pedestrian density of the shorter route contributes less compared to bottlenecks and return time, it exhibits a threshold effect, meaning that once the density of the shorter route surpasses a certain threshold, most pedestrians opt for the longer route.

Redistribution Methods for Income Equality in the United States

&#x0D; &#x0D; &#x0D; &#x0D; Redistribution for income equality is a contentious issue, with advocates citing increased economic stability and skeptics fearing potential negative impacts on economic growth. The United States (U.S.) faces notably high income inequality compared to the Organisation for Economic Co-operation and Development (OECD) average, with wealth concentrated in the top brackets. This paper critically examines the existing U.S. redistribution methods, including the taxation system and welfare programs, highlighting challenges such as the lack of tax progressiveness in top brackets and limited redistribution compared to European counterparts. Based on this overview, the study evaluates alternative redistribution strategies, including wealth and business taxes. The paper compares theory with insights from pilot programs in other countries. Finally, the paper argues for a universal basic income (UBI) set at per-capita welfare spending, positing that this approach can empower individuals to escape poverty traps, enhance productivity, and introduce a choice mechanism for welfare consumption. Ultimately, this research seeks to propose the most effective and feasible income redistribution policies for the U.S. to bridge the income inequality gap.&#x0D; &#x0D; &#x0D; &#x0D;