-
Comparing Ways of Obtaining Candidate Orderings from Approval Ballots
Authors:
Théo Delemazure,
Chris Dong,
Dominik Peters,
Magdaléna Tydrichová
Abstract:
To understand and summarize approval preferences and other binary evaluation data, it is useful to order the items on an axis which explains the data. In a political election using approval voting, this could be an ideological left-right axis such that each voter approves adjacent candidates, an analogue of single-peakedness. In a perfect axis, every approval set would be an interval, which is usu…
▽ More
To understand and summarize approval preferences and other binary evaluation data, it is useful to order the items on an axis which explains the data. In a political election using approval voting, this could be an ideological left-right axis such that each voter approves adjacent candidates, an analogue of single-peakedness. In a perfect axis, every approval set would be an interval, which is usually not possible, and so we need to choose an axis that gets closest to this ideal. The literature has developed algorithms for optimizing several objective functions (e.g., minimize the number of added approvals needed to get a perfect axis), but provides little help with choosing among different objectives. In this paper, we take a social choice approach and compare 5 different axis selection rules axiomatically, by studying the properties they satisfy. We establish some impossibility theorems, and characterize (within the class of scoring rules) the rule that chooses the axes that maximize the number of votes that form intervals, using the axioms of ballot monotonicity and resistance to cloning. Finally, we study the behavior of the rules on data from French election surveys, on the votes of justices of the US Supreme Court, and on synthetic data.
△ Less
Submitted 7 May, 2024;
originally announced May 2024.
-
Generalizing Instant Runoff Voting to Allow Indifferences
Authors:
Théo Delemazure,
Dominik Peters
Abstract:
Instant Runoff Voting (IRV) is used in elections for many political offices around the world. It allows voters to specify their preferences among candidates as a ranking. We identify a generalization of the rule, called Approval-IRV, that allows voters more freedom by allowing them to give equal preference to several candidates. Such weak orders are a more expressive input format than linear order…
▽ More
Instant Runoff Voting (IRV) is used in elections for many political offices around the world. It allows voters to specify their preferences among candidates as a ranking. We identify a generalization of the rule, called Approval-IRV, that allows voters more freedom by allowing them to give equal preference to several candidates. Such weak orders are a more expressive input format than linear orders, and they help reduce the cognitive effort of voting.
Just like standard IRV, Approval-IRV proceeds in rounds by successively eliminating candidates. It interprets each vote as an approval vote for its most-preferred candidates among those that have not been eliminated. At each step, it eliminates the candidate who is approved by the fewest voters. Among the large class of scoring elimination rules, we prove that Approval-IRV is the unique way of extending IRV to weak orders that preserves its characteristic axiomatic properties, in particular independence of clones and respecting a majority's top choices. We also show that Approval-IRV is the unique extension of IRV among rules in this class that satisfies a natural monotonicity property defined for weak orders.
Prior work has proposed a different generalization of IRV, which we call Split-IRV, where instead of approving, each vote is interpreted as splitting 1 point equally among its top choices (for example, 0.25 points each if a vote has 4 top choices), and then eliminating the candidate with the lowest score. Split-IRV fails independence of clones, may not respect majority wishes, and fails our monotonicity condition.
The multi-winner version of IRV is known as Single Transferable Vote (STV). We prove that Approval-STV continues to satisfy the strong proportional representation properties of STV, underlining that the approval way is the right way of extending the IRV/STV idea to weak orders.
△ Less
Submitted 17 April, 2024;
originally announced April 2024.
-
The Squared Kemeny Rule for Averaging Rankings
Authors:
Patrick Lederer,
Dominik Peters,
Tomasz Wąs
Abstract:
For the problem of aggregating several rankings into one ranking, Kemeny (1959) proposed two methods: the median rule which selects the ranking with the smallest total swap distance to the input rankings, and the mean rule which minimizes the squared swap distances to the input rankings. The median rule has been extensively studied since and is now known simply as Kemeny's rule. It exhibits majori…
▽ More
For the problem of aggregating several rankings into one ranking, Kemeny (1959) proposed two methods: the median rule which selects the ranking with the smallest total swap distance to the input rankings, and the mean rule which minimizes the squared swap distances to the input rankings. The median rule has been extensively studied since and is now known simply as Kemeny's rule. It exhibits majoritarian properties, so for example if more than half of the input rankings are the same, then the output of the rule is the same ranking.
We observe that this behavior is undesirable in many rank aggregation settings. For example, when we rank objects by different criteria (quality, price, etc.) and want to aggregate them with specified weights for the criteria, then a criterion with weight 51% should have 51% influence on the output instead of 100%. We show that the Squared Kemeny rule (i.e., the mean rule) behaves this way, by establishing a bound on the distance of the output ranking to any input rankings, as a function of their weights. Furthermore, we give an axiomatic characterization of the Squared Kemeny rule, which mirrors the existing characterization of the Kemeny rule but replaces the majoritarian Condorcet axiom by a proportionality axiom. Finally, we discuss the computation of the rule and show its behavior in a simulation study.
△ Less
Submitted 12 April, 2024;
originally announced April 2024.
-
Evaluation of Project Performance in Participatory Budgeting
Authors:
Niclas Boehmer,
Piotr Faliszewski,
Łukasz Janeczko,
Dominik Peters,
Grzegorz Pierczyński,
Šimon Schierreich,
Piotr Skowron,
Stanisław Szufa
Abstract:
We study ways of evaluating the performance of losing projects in participatory budgeting (PB) elections by seeking actions that would have led to their victory. We focus on lowering the projects' costs, obtaining additional approvals for them, and asking supporters to refrain from approving other projects: The larger a change is needed, the less successful is the given project. We seek efficient…
▽ More
We study ways of evaluating the performance of losing projects in participatory budgeting (PB) elections by seeking actions that would have led to their victory. We focus on lowering the projects' costs, obtaining additional approvals for them, and asking supporters to refrain from approving other projects: The larger a change is needed, the less successful is the given project. We seek efficient algorithms for computing our measures and we analyze and compare them experimentally. We focus on the greedyAV, Phragmén, and Equal-Shares PB rules.
△ Less
Submitted 22 December, 2023;
originally announced December 2023.
-
Designing Digital Voting Systems for Citizens: Achieving Fairness and Legitimacy in Participatory Budgeting
Authors:
Joshua C. Yang,
Carina I. Hausladen,
Dominik Peters,
Evangelos Pournaras,
Regula Hänggli Fricker,
Dirk Helbing
Abstract:
Participatory Budgeting (PB) has evolved into a key democratic instrument for resource allocation in cities. Enabled by digital platforms, cities now have the opportunity to let citizens directly propose and vote on urban projects, using different voting input and aggregation rules. However, the choices cities make in terms of the rules of their PB have often not been informed by academic studies…
▽ More
Participatory Budgeting (PB) has evolved into a key democratic instrument for resource allocation in cities. Enabled by digital platforms, cities now have the opportunity to let citizens directly propose and vote on urban projects, using different voting input and aggregation rules. However, the choices cities make in terms of the rules of their PB have often not been informed by academic studies on voter behaviour and preferences. Therefore, this work presents the results of behavioural experiments where participants were asked to vote in a fictional PB setting. We identified approaches to designing PB voting that minimise cognitive load and enhance the perceived fairness and legitimacy of the digital process from the citizens' perspective. In our study, participants preferred voting input formats that are more expressive (like rankings and distributing points) over simpler formats (like approval voting). Participants also indicated a desire for the budget to be fairly distributed across city districts and project categories. Participants found the Method of Equal Shares voting rule to be fairer than the conventional Greedy voting rule. These findings offer actionable insights for digital governance, contributing to the development of fairer and more transparent digital systems and collective decision-making processes for citizens.
△ Less
Submitted 21 March, 2024; v1 submitted 5 October, 2023;
originally announced October 2023.
-
Proportional Aggregation of Preferences for Sequential Decision Making
Authors:
Nikhil Chandak,
Shashwat Goel,
Dominik Peters
Abstract:
We study the problem of fair sequential decision making given voter preferences. In each round, a decision rule must choose a decision from a set of alternatives where each voter reports which of these alternatives they approve. Instead of going with the most popular choice in each round, we aim for proportional representation. We formalize this aim using axioms based on Proportional Justified Rep…
▽ More
We study the problem of fair sequential decision making given voter preferences. In each round, a decision rule must choose a decision from a set of alternatives where each voter reports which of these alternatives they approve. Instead of going with the most popular choice in each round, we aim for proportional representation. We formalize this aim using axioms based on Proportional Justified Representation (PJR), which were proposed in the literature on multi-winner voting and were recently adapted to multi-issue decision making. The axioms require that every group of $α\%$ of the voters, if it agrees in every round (i.e., approves a common alternative), then those voters must approve at least $α\%$ of the decisions. A stronger version of the axioms requires that every group of $α\%$ of the voters that agrees in a $β$ fraction of rounds must approve $β\cdotα\%$ of the decisions. We show that three attractive voting rules satisfy axioms of this style. One of them (Sequential Phragmén) makes its decisions online, and the other two satisfy strengthened versions of the axioms but make decisions semi-online (Method of Equal Shares) or fully offline (Proportional Approval Voting). The first two are polynomial-time computable, and the latter is based on an NP-hard optimization, but it admits a polynomial-time local search algorithm that satisfies the same axiomatic properties. We present empirical results about the performance of these rules based on synthetic data and U.S. political elections. We also run experiments where votes are cast by preference models trained on user responses from the moral machine dataset about ethical dilemmas.
△ Less
Submitted 26 June, 2023;
originally announced June 2023.
-
Propagators for molecular dynamics in a magnetic field
Authors:
Laurens D. M. Peters,
Erik I. Tellgren,
Trygve Helgaker
Abstract:
Ab initio molecular dynamics in a magnetic field requires solving equations of motion with velocity-dependent forces -- namely, the Lorentz force arising from the nuclear charges moving in a magnetic field and the Berry force arising from the shielding of these charges from the magnetic field by the surrounding electrons. In this work, we revisit two existing propagators for these equations of mot…
▽ More
Ab initio molecular dynamics in a magnetic field requires solving equations of motion with velocity-dependent forces -- namely, the Lorentz force arising from the nuclear charges moving in a magnetic field and the Berry force arising from the shielding of these charges from the magnetic field by the surrounding electrons. In this work, we revisit two existing propagators for these equations of motion, the auxiliary-coordinates-and-momenta (ACM) propagator and the Tajima propagator (TAJ), and compare them with a new exponential (EXP) propagator based on the Magnus expansion. Additionally, we explore limits (for example, the zero-shielding limit), the implementation of higher-order integration schemes, and series truncation to reduce computational cost by carrying out simulations of a HeH$^+$ model system for a wide range of field strengths. While being as efficient as the TAJ propagator, the EXP propagator is the only propagator that converges to both the schemes of Spreiter and Walter (derived for systems without shielding of the Lorentz force) and to the exact cyclotronic motion of a charged particle. Since it also performs best in our model simulations, we conclude that the EXP propagator is the recommended propagator for molecules in magnetic fields.
△ Less
Submitted 14 June, 2023;
originally announced June 2023.
-
Participatory Budgeting: Data, Tools, and Analysis
Authors:
Piotr Faliszewski,
Jarosław Flis,
Dominik Peters,
Grzegorz Pierczyński,
Piotr Skowron,
Dariusz Stolicki,
Stanisław Szufa,
Nimrod Talmon
Abstract:
We provide a library of participatory budgeting data (Pabulib) and open source tools (Pabutools and Pabustats) for analysing this data. We analyse how the results of participatory budgeting elections would change if a different selection rule was applied. We provide evidence that the outcomes of the Method of Equal Shares would be considerably fairer than those of the Utilitarian Greedy rule that…
▽ More
We provide a library of participatory budgeting data (Pabulib) and open source tools (Pabutools and Pabustats) for analysing this data. We analyse how the results of participatory budgeting elections would change if a different selection rule was applied. We provide evidence that the outcomes of the Method of Equal Shares would be considerably fairer than those of the Utilitarian Greedy rule that is currently in use. We also show that the division of the projects into districts and/or categories can in many cases be avoided when using proportional rules. We find that this would increase the overall utility of the voters.
△ Less
Submitted 18 May, 2023;
originally announced May 2023.
-
Tri-plane diagrams for simple surfaces in $S^4$
Authors:
Wolfgang Allred,
Manuel Aragón,
Zack Dooley,
Alexander Goldman,
Yucong Lei,
Isaiah Martinez,
Nicholas Meyer,
Devon Peters,
Scott Warrander,
Ana Wright,
Alexander Zupan
Abstract:
Meier and Zupan proved that an orientable surface $\mathcal{K}$ in $S^4$ admits a tri-plane diagram with zero crossings if and only if $\mathcal{K}$ is unknotted, so that the crossing number of $\mathcal{K}$ is zero. We determine the minimal crossing numbers of nonorientable unknotted surfaces in $S^4$, proving that $c(\mathcal{P}^{n,m}) = \max\{1,|n-m|\}$, where $\mathcal{P}^{n,m}$ denotes the co…
▽ More
Meier and Zupan proved that an orientable surface $\mathcal{K}$ in $S^4$ admits a tri-plane diagram with zero crossings if and only if $\mathcal{K}$ is unknotted, so that the crossing number of $\mathcal{K}$ is zero. We determine the minimal crossing numbers of nonorientable unknotted surfaces in $S^4$, proving that $c(\mathcal{P}^{n,m}) = \max\{1,|n-m|\}$, where $\mathcal{P}^{n,m}$ denotes the connected sum of $n$ unknotted projective planes with normal Euler number $+2$ and $m$ unknotted projective planes with normal Euler number $-2$. In addition, we convert Yoshikawa's table of knotted surface ch-diagrams to tri-plane diagrams, finding the minimal bridge number for each surface in the table and providing upper bounds for the crossing numbers.
△ Less
Submitted 16 February, 2023;
originally announced February 2023.
-
Time-Dependent Nuclear-Electronic Orbital Hartree-Fock Theory in a Strong Uniform Magnetic Field
Authors:
Tanner Culpitt,
Laurens D. M. Peters,
Erik I. Tellgren,
Trygve Helgaker
Abstract:
The Born-Oppenheimer (BO) approximation is less accurate in the presence of a strong magnetic field than in the absence of a field. This is due to the complicated and unpredictable response of electronic structure to the field, especially in the mixed regime $B \approx B_0 = 2.35 \times 10^5\,$T. Therefore, it is desirable to explore non-BO methods in magnetic fields. In this work, the nuclear-ele…
▽ More
The Born-Oppenheimer (BO) approximation is less accurate in the presence of a strong magnetic field than in the absence of a field. This is due to the complicated and unpredictable response of electronic structure to the field, especially in the mixed regime $B \approx B_0 = 2.35 \times 10^5\,$T. Therefore, it is desirable to explore non-BO methods in magnetic fields. In this work, the nuclear-electronic orbital (NEO) method is employed to study protonic vibrational excitation energies in the presence of a strong magnetic field. NEO Generalized Hartree-Fock theory and time-dependent Hartree-Fock theory are derived and implemented, accounting for all terms that result as a consequence of the nonperturbative treatment of molecular systems in a magnetic field. The NEO results for HCN and FHF$^-$ with clamped heavy nuclei are compared against the quadratic eigenvalue problem (QEP). Each molecule has three semi-classical modes owing to the hydrogen - two precession modes that are degenerate in the absence of a field and one stretching mode. The NEO-TDHF model is found to perform well - in particular it automatically captures the screening effects of the electrons on the nuclei, which are quantified through the difference in energy of the precession modes.
△ Less
Submitted 21 December, 2022;
originally announced December 2022.
-
Berry Population Analysis: Atomic Charges from the Berry Curvature in a Magnetic Field
Authors:
Laurens D. M. Peters,
Tanner Culpitt,
Erik I. Tellgren,
Trygve Helgaker
Abstract:
The Berry curvature is essential in Born$-$Oppenheimer molecular dynamics, describing the screening of the nuclei by the electrons in a magnetic field. Parts of the Berry curvature can be understood as the external magnetic field multiplied by an effective charge so that the resulting Berry force behaves like a Lorentz force during the simulations. Here we investigate whether these effective charg…
▽ More
The Berry curvature is essential in Born$-$Oppenheimer molecular dynamics, describing the screening of the nuclei by the electrons in a magnetic field. Parts of the Berry curvature can be understood as the external magnetic field multiplied by an effective charge so that the resulting Berry force behaves like a Lorentz force during the simulations. Here we investigate whether these effective charges can provide insight into the electronic structure of a given molecule or, in other words, whether we can perform a population analysis based on the Berry curvature. To develop our approach, we first rewrite the Berry curvature in terms of charges that partially capture the effective charges and their dependence on the nuclear velocities. With these Berry charges and charge fluctuations, we then construct our population analysis yielding atomic charges and overlap populations. Calculations at the Hartree$-$Fock level reveal that the atomic charges are similar to those obtained from atomic polar tensors. However, since we additionally obtain an estimate for the fluctuations of the charges and a partitioning of the atomic charges into contributions from all atoms, we conclude that the Berry population analysis is a useful alternative tool to analyze the electronic structure of molecules.
△ Less
Submitted 14 November, 2022;
originally announced November 2022.
-
Rank Aggregation Using Scoring Rules
Authors:
Niclas Boehmer,
Robert Bredereck,
Dominik Peters
Abstract:
To aggregate rankings into a social ranking, one can use scoring systems such as Plurality, Veto, and Borda. We distinguish three types of methods: ranking by score, ranking by repeatedly choosing a winner that we delete and rank at the top, and ranking by repeatedly choosing a loser that we delete and rank at the bottom. The latter method captures the frequently studied voting rules Single Transf…
▽ More
To aggregate rankings into a social ranking, one can use scoring systems such as Plurality, Veto, and Borda. We distinguish three types of methods: ranking by score, ranking by repeatedly choosing a winner that we delete and rank at the top, and ranking by repeatedly choosing a loser that we delete and rank at the bottom. The latter method captures the frequently studied voting rules Single Transferable Vote (aka Instant Runoff Voting), Coombs, and Baldwin. In an experimental analysis, we show that the three types of methods produce different rankings in practice. We also provide evidence that sequentially selecting winners is most suitable to detect the "true" ranking of candidates. For different rules in our classes, we then study the (parameterized) computational complexity of deciding in which positions a given candidate can appear in the chosen ranking. As part of our analysis, we also consider the Winner Determination problem for STV, Coombs, and Baldwin and determine their complexity when there are few voters or candidates.
△ Less
Submitted 19 September, 2022;
originally announced September 2022.
-
Magnetic-Translational Sum Rule and Approximate Models of the Molecular Berry Curvature
Authors:
Laurens D. M. Peters,
Tanner Culpitt,
Erik I. Tellgren,
Trygve Helgaker
Abstract:
The Berry connection and curvature are key components of electronic structure calculations for atoms and molecules in magnetic fields. They ensure the correct translational behavior of the effective nuclear Hamiltonian and the correct center-of-mass motion during molecular dynamics in these environments. In this work, we demonstrate how these properties of the Berry connection and curvature arise…
▽ More
The Berry connection and curvature are key components of electronic structure calculations for atoms and molecules in magnetic fields. They ensure the correct translational behavior of the effective nuclear Hamiltonian and the correct center-of-mass motion during molecular dynamics in these environments. In this work, we demonstrate how these properties of the Berry connection and curvature arise from the translational symmetry of the electronic wave function and how they are fully captured by a finite basis set of London orbitals but not by standard Gaussian basis sets. This is illustrated by a series of Hartree-Fock calculations on small molecules in different basis sets. Based on the resulting physical interpretation of the Berry curvature as the shielding of the nuclei by the electrons, we introduce and test a series of approximations using the Mulliken fragmentation scheme of the electron density. These approximations will be particularly useful in ab initio molecular dynamics calculations in a magnetic field, since they reduce the computational cost, while recovering the correct physics and up to 95% of the exact Berry curvature.
△ Less
Submitted 22 July, 2022;
originally announced July 2022.
-
Optimized Distortion and Proportional Fairness in Voting
Authors:
Soroush Ebadian,
Anson Kahng,
Dominik Peters,
Nisarg Shah
Abstract:
A voting rule decides on a probability distribution over a set of m alternatives, based on rankings of those alternatives provided by agents. We assume that agents have cardinal utility functions over the alternatives, but voting rules have access to only the rankings induced by these utilities. We evaluate how well voting rules do on measures of social welfare and of proportional fairness, comput…
▽ More
A voting rule decides on a probability distribution over a set of m alternatives, based on rankings of those alternatives provided by agents. We assume that agents have cardinal utility functions over the alternatives, but voting rules have access to only the rankings induced by these utilities. We evaluate how well voting rules do on measures of social welfare and of proportional fairness, computed based on the hidden utility functions.
In particular, we study the distortion of voting rules, which is a worst-case measure. It is an approximation ratio comparing the utilitarian social welfare of the optimum outcome to the social welfare produced by the outcome selected by the voting rule, in the worst case over possible input profiles and utility functions that are consistent with the input. The previous literature has studied distortion with unit-sum utility functions (which are normalized to sum to 1), and left a small asymptotic gap in the best possible distortion. Using tools from the theory of fair multi-winner elections, we propose the first voting rule which achieves the optimal distortion $Θ(\sqrt{m})$ for unit-sum utilities. Our voting rule also achieves optimum $Θ(\sqrt{m})$ distortion for a larger class of utilities, including unit-range and approval (0/1) utilities.
We then take a worst-case approach to a quantitative measure of the fairness of a voting rule, called proportional fairness. Informally, it measures whether the influence of cohesive groups of agents on the voting outcome is proportional to the group size. We show that there is a voting rule which, without knowledge of the utilities, can achieve a $Θ(\log m)$-approximation to proportional fairness, and thus also to Nash welfare and to the core, making it interesting for applications in participatory budgeting. For all three approximations, we show that $Θ(\log m)$ is the best possible.
△ Less
Submitted 21 January, 2024; v1 submitted 31 May, 2022;
originally announced May 2022.
-
Preference Restrictions in Computational Social Choice: A Survey
Authors:
Edith Elkind,
Martin Lackner,
Dominik Peters
Abstract:
Social choice becomes easier on restricted preference domains such as single-peaked, single-crossing, and Euclidean preferences. Many impossibility theorems disappear, the structure makes it easier to reason about preferences, and computational problems can be solved more efficiently. In this survey, we give a thorough overview of many classic and modern restricted preference domains and explore t…
▽ More
Social choice becomes easier on restricted preference domains such as single-peaked, single-crossing, and Euclidean preferences. Many impossibility theorems disappear, the structure makes it easier to reason about preferences, and computational problems can be solved more efficiently. In this survey, we give a thorough overview of many classic and modern restricted preference domains and explore their properties and applications. We do this from the viewpoint of computational social choice, letting computational problems drive our interest, but we include a comprehensive discussion of the economics and social choice literatures as well. Particular focus areas of our survey include algorithms for recognizing whether preferences belong to a particular preference domain, and algorithms for winner determination of voting rules that are hard to compute if preferences are unrestricted.
△ Less
Submitted 18 May, 2022;
originally announced May 2022.
-
In This Apportionment Lottery, the House Always Wins
Authors:
Paul Gölz,
Dominik Peters,
Ariel D. Procaccia
Abstract:
Apportionment is the problem of distributing $h$ indivisible seats across states in proportion to the states' populations. In the context of the US House of Representatives, this problem has a rich history and is a prime example of interactions between mathematical analysis and political practice. Grimmett (2004) suggested to apportion seats in a randomized way such that each state receives exactl…
▽ More
Apportionment is the problem of distributing $h$ indivisible seats across states in proportion to the states' populations. In the context of the US House of Representatives, this problem has a rich history and is a prime example of interactions between mathematical analysis and political practice. Grimmett (2004) suggested to apportion seats in a randomized way such that each state receives exactly their proportional share $q_i$ of seats in expectation (ex ante proportionality) and receives either $\lfloor q_i \rfloor$ or $\lceil q_i \rceil$ many seats ex post (quota). However, there is a vast space of randomized apportionment methods satisfying these two axioms, and so we additionally consider prominent axioms from the apportionment literature. Our main result is a randomized method satisfying quota, ex ante proportionality and house monotonicity - a property that prevents paradoxes when the number of seats changes and which we require to hold ex post. This result is based on a generalization of dependent rounding on bipartite graphs, which we call cumulative rounding and which might be of independent interest, as we demonstrate via applications beyond apportionment.
△ Less
Submitted 19 June, 2024; v1 submitted 22 February, 2022;
originally announced February 2022.
-
Analytic Calculation of the Berry Curvature and Diagonal Born-Oppenheimer Correction for Molecular Systems in Uniform Magnetic Fields
Authors:
Tanner Culpitt,
Laurens D. M. Peters,
Erik I. Tellgren,
Trygve Helgaker
Abstract:
The diagonal nonadiabatic term arising from the Born--Oppenheimer wave-function ansatz contains contributions from a vector and scalar potential. The former is provably zero when the wave function can be taken to be real valued, and the latter, known as the diagonal Born--Oppenheimer correction (DBOC), is typically small in magnitude. Therefore, unless high accuracy is sought, the diagonal nonadia…
▽ More
The diagonal nonadiabatic term arising from the Born--Oppenheimer wave-function ansatz contains contributions from a vector and scalar potential. The former is provably zero when the wave function can be taken to be real valued, and the latter, known as the diagonal Born--Oppenheimer correction (DBOC), is typically small in magnitude. Therefore, unless high accuracy is sought, the diagonal nonadiabatic term is usually neglected when calculating molecular properties. In the presence of a magnetic field, the wave function is generally complex, and the geometric vector potential gives rise to a screening force that is qualitatively important for molecular dynamics. This screening force is written in terms of the Berry curvature and is added to the bare Lorentz force acting on the nuclei in the presence of the field. In this work, we derive analytic expressions for the Berry curvature and DBOC using both first and second quantization formalisms for the case of generalized and restricted Hartree--Fock theories in a uniform magnetic field. The Berry curvature and DBOC are calculated as a function of the magnetic field strength and the bond distance for the ground-state singlets of H$_2$, LiH, BH, and CH$^+$. We also examine the stability and time-reversal symmetry of the underlying self-consistent field solutions. The character of the DBOC and Berry curvature is found to depend upon the magnetic field and varies between molecules. We also identify instances of broken time-reversal symmetry for the dissociation curves of BH and CH$^+$.
△ Less
Submitted 7 February, 2022; v1 submitted 19 November, 2021;
originally announced November 2021.
-
How to Fairly Allocate Easy and Difficult Chores
Authors:
Soroush Ebadian,
Dominik Peters,
Nisarg Shah
Abstract:
A major open question in fair allocation of indivisible items is whether there always exists an allocation of chores that is Pareto optimal (PO) and envy-free up to one item (EF1). We answer this question affirmatively for the natural class of bivalued utilities, where each agent partitions the chores into easy and difficult ones, and has cost $p > 1$ for chores that are difficult for her and cost…
▽ More
A major open question in fair allocation of indivisible items is whether there always exists an allocation of chores that is Pareto optimal (PO) and envy-free up to one item (EF1). We answer this question affirmatively for the natural class of bivalued utilities, where each agent partitions the chores into easy and difficult ones, and has cost $p > 1$ for chores that are difficult for her and cost $1$ for chores that are easy for her. Such an allocation can be found in polynomial time using an algorithm based on the Fisher market.
We also show that for a slightly broader class of utilities, where each agent $i$ can have a potentially different integer $p_i$, an allocation that is maximin share fair (MMS) always exists and can be computed in polynomial time, provided that each $p_i$ is an integer. Our MMS arguments also hold when allocating goods instead of chores, and extend to another natural class of utilities, namely weakly lexicographic utilities.
△ Less
Submitted 3 February, 2022; v1 submitted 21 October, 2021;
originally announced October 2021.
-
Wellbeing supportive design -- Research-based guidelines for supporting psychological wellbeing in user experience
Authors:
Dorian Peters
Abstract:
While human beings have a right to digital experiences that support, rather than diminish, their psychological wellbeing, technology designers lack research-based practices for ensuring psychological needs are met. To help address this gap, we draw on findings from over 30 years of research in psychology (specifically, self-determination theory) that has identified contextual factors shown to supp…
▽ More
While human beings have a right to digital experiences that support, rather than diminish, their psychological wellbeing, technology designers lack research-based practices for ensuring psychological needs are met. To help address this gap, we draw on findings from over 30 years of research in psychology (specifically, self-determination theory) that has identified contextual factors shown to support psychological wellbeing. We translate these findings into a list of 15 heuristics and 30 design strategies to provide technology makers with theoretically grounded, research-based, and actionable ways to support wellbeing in user experience.
△ Less
Submitted 23 August, 2022; v1 submitted 19 September, 2021;
originally announced September 2021.
-
Ab-Initio Molecular Dynamics with Screened Lorentz Forces. Part II. Efficient Propagators and Rovibrational Spectra in Strong Magnetic Fields
Authors:
Laurens D. M. Peters,
Tanner Culpitt,
Laurenz Monzel,
Erik I. Tellgren,
Trygve Helgaker
Abstract:
Strong magnetic fields have a large impact on the dynamics of molecules. In addition to the changes of the electronic structure, the nuclei are exposed to the Lorentz force with the magnetic field being screened by the electrons. In this work, we explore these effects using ab-initio molecular dynamics simulations based on an effective Hamiltonian calculated at the Hartree-Fock level of theory. To…
▽ More
Strong magnetic fields have a large impact on the dynamics of molecules. In addition to the changes of the electronic structure, the nuclei are exposed to the Lorentz force with the magnetic field being screened by the electrons. In this work, we explore these effects using ab-initio molecular dynamics simulations based on an effective Hamiltonian calculated at the Hartree-Fock level of theory. To correctly include these non-conservative forces in the dynamics, we have designed a series of novel propagators that show both good efficiency and stability in test cases. As a first application, we analyze simulations of He and H$_2$ at two field strengths characteristic of magnetic white dwarfs (0.1 $B_0 = 2.35 \times 10^4$ T and $B_0 = 2.35 \times 10^5$ T). While the He simulations clearly demonstrate the importance of electron screening of the Lorentz force in the dynamics, the extracted rovibrational spectra of H$_2$ reveal a number of fascinating features not observed in the field-free case: couplings of rotations/vibrations with the cyclotron rotation, overtones with unusual selection rules, and hindered rotations that transmute into librations with increasing field strength. We conclude that our presented framework is a powerful tool to investigate molecules in these extreme environments.
△ Less
Submitted 10 May, 2021;
originally announced May 2021.
-
Ab-Initio Molecular Dynamics with Screened Lorentz Forces. Part I. Calculation and Atomic Charge Interpretation of Berry Curvature
Authors:
Tanner Culpitt,
Laurens D. M. Peters,
Erik I. Tellgren,
Trygve Helgaker
Abstract:
The dynamics of a molecule in a magnetic field is significantly different form its zero-field counterpart. One important difference in the presence of a field is the Lorentz force acting on the nuclei, which can be decomposed as the sum of the bare nuclear Lorentz force and a screening force due to the electrons. This screening force is calculated from the Berry curvature and can change the dynami…
▽ More
The dynamics of a molecule in a magnetic field is significantly different form its zero-field counterpart. One important difference in the presence of a field is the Lorentz force acting on the nuclei, which can be decomposed as the sum of the bare nuclear Lorentz force and a screening force due to the electrons. This screening force is calculated from the Berry curvature and can change the dynamics qualitatively. It is therefore important to include the contributions from the Berry curvature in molecular dynamics simulations in a magnetic field. In this work, we present a scheme for calculating the Berry curvature numerically, by a finite-difference technique, addressing challenges related to the arbitrary global phase of the wave function. The Berry curvature is calculated as a function of bond distance for H$_2$ at the restricted and unrestricted Hartree--Fock levels of theory and for CH$^{+}$ as a function of the magnetic field strength at the restricted Hartree--Fock level of theory. The calculations are carried out using basis sets of contracted Gaussian functions equipped with London phase factors (London orbitals) to ensure gauge-origin invariance. In the paper, we also interpret the Berry curvature in terms of atomic charges and discuss its convergence in basis sets with and without London phase factors. Calculation of the Berry curvature allows for its inclusion in \textit{ab initio} molecular dynamics simulations in a magnetic field.
△ Less
Submitted 30 April, 2021;
originally announced April 2021.
-
Proportionality and Strategyproofness in Multiwinner Elections
Authors:
Dominik Peters
Abstract:
Multiwinner voting rules can be used to select a fixed-size committee from a larger set of candidates. We consider approval-based committee rules, which allow voters to approve or disapprove candidates. In this setting, several voting rules such as Proportional Approval Voting (PAV) and Phragmén's rules have been shown to produce committees that are proportional, in the sense that they proportiona…
▽ More
Multiwinner voting rules can be used to select a fixed-size committee from a larger set of candidates. We consider approval-based committee rules, which allow voters to approve or disapprove candidates. In this setting, several voting rules such as Proportional Approval Voting (PAV) and Phragmén's rules have been shown to produce committees that are proportional, in the sense that they proportionally represent voters' preferences; all of these rules are strategically manipulable by voters. On the other hand, a generalisation of Approval Voting gives a non-proportional but strategyproof voting rule. We show that there is a fundamental tradeoff between these two properties: we prove that no multiwinner voting rule can simultaneously satisfy a weak form of proportionality (a weakening of justified representation) and a weak form of strategyproofness. Our impossibility is obtained using a formulation of the problem in propositional logic and applying SAT solvers; a human-readable version of the computer-generated proof is obtained by extracting a minimal unsatisfiable set (MUS). We also discuss several related axiomatic questions in the domain of committee elections.
△ Less
Submitted 17 April, 2021;
originally announced April 2021.
-
District-Fair Participatory Budgeting
Authors:
D Ellis Hershkowitz,
Anson Kahng,
Dominik Peters,
Ariel D. Procaccia
Abstract:
Participatory budgeting is a method used by city governments to select public projects to fund based on residents' votes. Many cities use participatory budgeting at a district level. Typically, a budget is divided among districts proportionally to their population, and each district holds an election over local projects and then uses its budget to fund the projects most preferred by its voters. Ho…
▽ More
Participatory budgeting is a method used by city governments to select public projects to fund based on residents' votes. Many cities use participatory budgeting at a district level. Typically, a budget is divided among districts proportionally to their population, and each district holds an election over local projects and then uses its budget to fund the projects most preferred by its voters. However, district-level participatory budgeting can yield poor social welfare because it does not necessarily fund projects supported across multiple districts. On the other hand, decision making that only takes global social welfare into account can be unfair to districts: A social-welfare-maximizing solution might not fund any of the projects preferred by a district, despite the fact that its constituents pay taxes to the city. Thus, we study how to fairly maximize social welfare in a participatory budgeting setting with a single city-wide election. We propose a notion of fairness that guarantees each district at least as much welfare as it would have received in a district-level election. We show that, although optimizing social welfare subject to this notion of fairness is NP-hard, we can efficiently construct a lottery over welfare-optimal outcomes that is fair in expectation. Moreover, we show that, when we are allowed to slightly relax fairness, we can efficiently compute a fair solution that is welfare-maximizing, but which may overspend the budget.
△ Less
Submitted 11 February, 2021;
originally announced February 2021.
-
Defying the Gibbs Phase Rule: Evidence for an Entropy-Driven Quintuple Point in Colloid-Polymer Mixtures
Authors:
V. F. D. Peters,
M. Vis,
Á. González García,
H. H. Wensink,
R. Tuinier
Abstract:
Using a minimal algebraic model for the thermodynamics of binary rod--polymer mixtures, we provide evidence for a quintuple phase equilibrium; an observation that seems to be at odds with the Gibbs phase rule for two-component systems. Our model is based on equations of state for the relevant liquid crystal phases that are in quantitative agreement with computer simulations. We argue that the appe…
▽ More
Using a minimal algebraic model for the thermodynamics of binary rod--polymer mixtures, we provide evidence for a quintuple phase equilibrium; an observation that seems to be at odds with the Gibbs phase rule for two-component systems. Our model is based on equations of state for the relevant liquid crystal phases that are in quantitative agreement with computer simulations. We argue that the appearance of a quintuple equilibrium, involving an isotropic fluid, a nematic and smectic liquid crystal, and two solid phases can be reconciled with a generalized Gibbs phase rule in which the two intrinsic length scales of the athermal colloid--polymer mixture act as additional field variables.
△ Less
Submitted 18 September, 2020;
originally announced September 2020.
-
Proportional Participatory Budgeting with Additive Utilities
Authors:
Dominik Peters,
Grzegorz Pierczyński,
Piotr Skowron
Abstract:
We study voting rules for participatory budgeting, where a group of voters collectively decides which projects should be funded using a common budget. We allow the projects to have arbitrary costs, and the voters to have arbitrary additive valuations over the projects. We formulate an axiom (Extended Justified Representation, EJR) that guarantees proportional representation to groups of voters wit…
▽ More
We study voting rules for participatory budgeting, where a group of voters collectively decides which projects should be funded using a common budget. We allow the projects to have arbitrary costs, and the voters to have arbitrary additive valuations over the projects. We formulate an axiom (Extended Justified Representation, EJR) that guarantees proportional representation to groups of voters with common interests. We propose a simple and attractive voting rule called the Method of Equal Shares that satisfies this axiom for arbitrary costs and approval utilities, and that satisfies the axiom up to one project for arbitrary additive valuations. This method can be computed in polynomial time. In contrast, we show that the standard method for achieving proportionality in committee elections, Proportional Approval Voting (PAV), cannot be extended to work with arbitrary costs. Finally, we introduce a strengthened axiom (Full Justified Representation, FJR) and show that it is also satisfiable, though by a computationally more expensive and less natural voting rule.
△ Less
Submitted 16 October, 2022; v1 submitted 30 August, 2020;
originally announced August 2020.
-
Preferences Single-Peaked on a Tree: Multiwinner Elections and Structural Results
Authors:
Dominik Peters,
Lan Yu,
Hau Chan,
Edith Elkind
Abstract:
A preference profile is single-peaked on a tree if the candidate set can be equipped with a tree structure so that the preferences of each voter are decreasing from their top candidate along all paths in the tree. This notion was introduced by Demange (1982), and subsequently Trick (1989) described an efficient algorithm for deciding if a given profile is single-peaked on a tree. We study the comp…
▽ More
A preference profile is single-peaked on a tree if the candidate set can be equipped with a tree structure so that the preferences of each voter are decreasing from their top candidate along all paths in the tree. This notion was introduced by Demange (1982), and subsequently Trick (1989) described an efficient algorithm for deciding if a given profile is single-peaked on a tree. We study the complexity of multiwinner elections under several variants of the Chamberlin-Courant rule for preferences single-peaked on trees. We show that the egalitarian version of this problem admits a polynomial-time algorithm. For the utilitarian version, we prove that winner determination remains NP-hard, even for the Borda scoring function; however, a winning committee can be found in polynomial time if either the number of leaves or the number of internal vertices of the underlying tree is bounded by a constant. To benefit from these positive results, we need a procedure that can determine whether a given profile is single-peaked on a tree that has additional desirable properties (such as, e.g., a small number of leaves). To address this challenge, we develop a structural approach that enables us to compactly represent all trees with respect to which a given profile is single-peaked. We show how to use this representation to efficiently find the best tree for a given profile for use with our winner determination algorithms: Given a profile, we can efficiently find a tree with the minimum number of leaves, or a tree with the minimum number of internal vertices among trees on which the profile is single-peaked. We also consider several other optimization criteria for trees: for some we obtain polynomial-time algorithms, while for others we show NP-hardness results.
△ Less
Submitted 21 January, 2022; v1 submitted 13 July, 2020;
originally announced July 2020.
-
Ultraprecise optical-frequency stabilization with heterogeneous III-V/Si lasers
Authors:
Liron Stern,
Wei Zhang,
Lin Chang,
Joel Guo,
Chao Xiang,
Minh A. Tran,
Duanni Huang,
Jonathan D. Peters,
David Kinghorn,
John E. Bowers,
Scott B. Papp
Abstract:
Demand for low-noise, continuous-wave, frequency-tunable lasers based on semiconductor integrated photonics has been advancing in support of numerous applications. In particular, an important goal is to achieve narrow spectral linewidth, commensurate with bulk-optic or fiber-optic laser platforms. Here, we report on laser-frequency-stabilization experiments with a heterogeneously integrated III/V-…
▽ More
Demand for low-noise, continuous-wave, frequency-tunable lasers based on semiconductor integrated photonics has been advancing in support of numerous applications. In particular, an important goal is to achieve narrow spectral linewidth, commensurate with bulk-optic or fiber-optic laser platforms. Here, we report on laser-frequency-stabilization experiments with a heterogeneously integrated III/V-Si widely tunable laser and a high-finesse, thermal-noise-limited photonic resonator. This hybrid architecture offers a chip-scale optical-frequency reference with an integrated linewidth of 60 Hz and a fractional frequency stability of 2.5e-13 at 1-second integration time. We explore the potential for stabilization with respect to a resonator with lower thermal noise by characterizing laser-noise contributions such as residual amplitude modulation and photodetection noise. Widely tunable, compact and integrated, cost effective, stable and narrow linewidth lasers are envisioned for use in various fields, including communication, spectroscopy, and metrology.
△ Less
Submitted 4 July, 2020;
originally announced July 2020.
-
Algebraic equations of state for the liquid crystalline phase behavior of hard rods
Authors:
V. F. D. Peters,
M. Vis,
H. H. Wensink,
R. Tuinier
Abstract:
Based on simplifications of previous numerical calculations [Graf and Löwen, Phys. Rev. E \textbf{59}, 1932 (1999)], we propose algebraic free energy expressions for the smectic-A liquid crystal phase and the crystal phases of hard spherocylinders. Quantitative agreement with simulations is found for the resulting equations of state. The free energy expressions can be used to straightforwardly com…
▽ More
Based on simplifications of previous numerical calculations [Graf and Löwen, Phys. Rev. E \textbf{59}, 1932 (1999)], we propose algebraic free energy expressions for the smectic-A liquid crystal phase and the crystal phases of hard spherocylinders. Quantitative agreement with simulations is found for the resulting equations of state. The free energy expressions can be used to straightforwardly compute the full phase behavior for all aspect ratios and to provide a suitable benchmark for exploring how attractive interrod interactions mediate the phase stability through perturbation approaches such as free-volume or van der Waals theory.
△ Less
Submitted 2 June, 2020;
originally announced June 2020.
-
Funding Public Projects: A Case for the Nash Product Rule
Authors:
Florian Brandl,
Felix Brandt,
Matthias Greger,
Dominik Peters,
Christian Stricker,
Warut Suksompong
Abstract:
We study a mechanism design problem where a community of agents wishes to fund public projects via voluntary monetary contributions by the community members. This serves as a model for public expenditure without an exogenously available budget, such as participatory budgeting or voluntary tax programs, as well as donor coordination when interpreting charities as public projects and donations as co…
▽ More
We study a mechanism design problem where a community of agents wishes to fund public projects via voluntary monetary contributions by the community members. This serves as a model for public expenditure without an exogenously available budget, such as participatory budgeting or voluntary tax programs, as well as donor coordination when interpreting charities as public projects and donations as contributions. Our aim is to identify a mutually beneficial distribution of the individual contributions. In the preference aggregation problem that we study, agents report linear utility functions over projects together with the amount of their contributions, and the mechanism determines a socially optimal distribution of the money. We identify a specific mechanism -- the Nash product rule -- which picks the distribution that maximizes the product of the agents' utilities. This rule is Pareto efficient, and we prove that it satisfies attractive incentive properties: it spends each agent's contribution only on projects the agent finds acceptable, and agents are strongly incentivized to participate.
△ Less
Submitted 11 October, 2021; v1 submitted 16 May, 2020;
originally announced May 2020.
-
Ultrahigh-Q AlGaAs-on-insulator microresonators for integrated nonlinear photonics
Authors:
Weiqiang Xie,
Lin Chang,
Haowen Shu,
Justin C. Norman,
Jon D. Peters,
Xingjun Wang,
John E. Bowers
Abstract:
Aluminum gallium arsenide (AlGaAs) and related III-V semiconductors have excellent optoelectronic properties. They also possess strong material nonlinearity as well as high refractive indices. In view of these properties, AlGaAs is a promising candidate for integrated photonics, including both linear and nonlinear devices, passive and active devices, and associated applications. For integrated pho…
▽ More
Aluminum gallium arsenide (AlGaAs) and related III-V semiconductors have excellent optoelectronic properties. They also possess strong material nonlinearity as well as high refractive indices. In view of these properties, AlGaAs is a promising candidate for integrated photonics, including both linear and nonlinear devices, passive and active devices, and associated applications. For integrated photonics low propagation loss is essential, particularly in nonlinear applications. However, achieving low-loss and high-confinement AlGaAs photonic integrated circuits poses a challenge. Here we show an effective reduction of surface-roughness-induced scattering loss in fully etched high-confinement AlGaAs-on-insulator nanowaveguides, by using a heterogeneous wafer-bonding approach and optimizing fabrication techniques. We demonstrate ultrahigh-quality AlGaAs microring resonators and realize quality factors up to 3.52E6 and finesses as high as 1.4E4. We also show ultra-efficient frequency comb generations in those resonators and achieve record-low threshold powers on the order of ~20 uW and ~120 uW for the resonators with 1 THz and 90 GHz free-spectral ranges, respectively. Our result paves the way for the implementation of AlGaAs as a novel integrated material platform specifically for nonlinear photonics, and opens a new window for chip-based efficiency-demanding practical applications.
△ Less
Submitted 29 April, 2020;
originally announced April 2020.
-
Proportionality and the Limits of Welfarism
Authors:
Dominik Peters,
Piotr Skowron
Abstract:
We study two influential voting rules proposed in the 1890s by Phragmén and Thiele, which elect a committee or parliament of k candidates which proportionally represents the voters. Voters provide their preferences by approving an arbitrary number of candidates. Previous work has proposed proportionality axioms satisfied by Thiele's rule (now known as Proportional Approval Voting, PAV) but not by…
▽ More
We study two influential voting rules proposed in the 1890s by Phragmén and Thiele, which elect a committee or parliament of k candidates which proportionally represents the voters. Voters provide their preferences by approving an arbitrary number of candidates. Previous work has proposed proportionality axioms satisfied by Thiele's rule (now known as Proportional Approval Voting, PAV) but not by Phragmén's rule. By proposing two new proportionality axioms (laminar proportionality and priceability) satisfied by Phragmén but not Thiele, we show that the two rules achieve two distinct forms of proportional representation. Phragmén's rule ensures that all voters have a similar amount of influence on the committee, and Thiele's rule ensures a fair utility distribution.
Thiele's rule is a welfarist voting rule (one that maximizes a function of voter utilities). We show that no welfarist rule can satisfy our new axioms, and we prove that no such rule can satisfy the core. Conversely, some welfarist fairness properties cannot be guaranteed by Phragmén-type rules. This formalizes the difference between the two types of proportionality. We then introduce an attractive committee rule, the Method of Equal Shares, which satisfies a property intermediate between the core and extended justified representation (EJR). It satisfies laminar proportionality, priceability, and is computable in polynomial time. We show that our new rule provides a logarithmic approximation to the core. On the other hand, PAV provides a factor-2 approximation to the core, and this factor is optimal for rules that are fair in the sense of the Pigou--Dalton principle.
△ Less
Submitted 31 October, 2022; v1 submitted 26 November, 2019;
originally announced November 2019.
-
Approval-Based Apportionment
Authors:
Markus Brill,
Paul Gölz,
Dominik Peters,
Ulrike Schmidt-Kraepelin,
Kai Wilker
Abstract:
In the apportionment problem, a fixed number of seats must be distributed among parties in proportion to the number of voters supporting each party. We study a generalization of this setting, in which voters can support multiple parties by casting approval ballots. This approval-based apportionment setting generalizes traditional apportionment and is a natural restriction of approval-based multiwi…
▽ More
In the apportionment problem, a fixed number of seats must be distributed among parties in proportion to the number of voters supporting each party. We study a generalization of this setting, in which voters can support multiple parties by casting approval ballots. This approval-based apportionment setting generalizes traditional apportionment and is a natural restriction of approval-based multiwinner elections, where approval ballots range over individual candidates instead of parties. Using techniques from both apportionment and multiwinner elections, we identify rules that generalize the D'Hondt apportionment method and that satisfy strong axioms which are generalizations of properties commonly studied in the apportionment literature. In fact, the rules we discuss provide representation guarantees that are currently out of reach in the general setting of multiwinner elections: First, we show that core-stable committees are guaranteed to exist and can be found in polynomial time. Second, we demonstrate that extended justified representation is compatible with committee monotonicity (also known as house monotonicity).
△ Less
Submitted 30 March, 2022; v1 submitted 19 November, 2019;
originally announced November 2019.
-
A narrow-linewidth III-V/Si/Si3N4 laser using multilayer heterogeneous integration
Authors:
Chao Xiang,
Warren **,
Joel Guo,
Jonathan D. Peters,
MJ Kennedy,
Jennifer Selvidge,
Paul A. Morton,
John E. Bowers
Abstract:
Silicon nitride (Si3N4), as a complementary metal-oxide-semiconductor (CMOS) material, finds wide use in modern integrated circuit (IC) technology. The past decade has witnessed tremendous development of Si3N4 in photonic areas, with innovations in nonlinear photonics, optical sensing, etc. However, the lack of an integrated laser with high performance prohibits the large-scale integration of Si3N…
▽ More
Silicon nitride (Si3N4), as a complementary metal-oxide-semiconductor (CMOS) material, finds wide use in modern integrated circuit (IC) technology. The past decade has witnessed tremendous development of Si3N4 in photonic areas, with innovations in nonlinear photonics, optical sensing, etc. However, the lack of an integrated laser with high performance prohibits the large-scale integration of Si3N4 waveguides into complex photonic integrated circuits (PICs). Here, we demonstrate a novel III-V/Si/Si3N4 structure to enable efficient electrically pumped lasing in a Si3N4 based laser external cavity. The laser shows superior temperature stability and low phase noise compared with lasers purely dependent on semiconductors. Beyond this, the demonstrated multilayer heterogeneous integration provides a practical path to incorporate efficient optical gain with various low-refractive-index materials. Multilayer heterogeneous integration could extend the capabilities of semiconductor lasers to improve performance and enable a new class of devices such as integrated optical clocks and optical gyroscopes.
△ Less
Submitted 1 November, 2019;
originally announced November 2019.
-
Ultra-efficient frequency comb generation in AlGaAs-on-insulator microresonators
Authors:
Lin Chang,
Weiqiang Xie,
Haowen Shu,
Qifan Yang,
Boqiang Shen,
Andreas Boes,
Jon D. Peters,
Warren **,
Songtao Liu,
Gregory Moille,
Su-Peng Yu,
Xingjun Wang,
Kartik Srinivasan,
Scott B. Papp,
Kerry Vahala,
John E. Bowers
Abstract:
Recent advances in nonlinear optics have revolutionized the area of integrated photonics, providing on-chip solutions to a wide range of new applications. Currently, the state of the art integrated nonlinear photonic devices are mainly based on dielectric material platforms, such as Si3N4 and SiO2. While semiconductor materials hold much higher nonlinear coefficients and convenience in active inte…
▽ More
Recent advances in nonlinear optics have revolutionized the area of integrated photonics, providing on-chip solutions to a wide range of new applications. Currently, the state of the art integrated nonlinear photonic devices are mainly based on dielectric material platforms, such as Si3N4 and SiO2. While semiconductor materials hold much higher nonlinear coefficients and convenience in active integration, they suffered in the past from high waveguide losses that prevented the realization of highly efficient nonlinear processes on-chip. Here we challenge this status quo and demonstrate an ultra-low loss AlGaAs-on-insulator (AlGaAsOI) platform with anomalous dispersion and quality (Q) factors beyond 1.5*10^6. Such a high quality factor, combined with the high nonlinear coefficient and the small mode volume, enabled us to demonstrate a record low Kerr frequency comb generation threshold of ~36 uW for a resonator with a 1 THz free spectral range (FSR), ~100 times lower compared to that in previous semiconductor platform. Combs with >250 nm broad span have been generated under a pump power lower than the threshold power of state of the art dielectric micro combs. A soliton-step transition has also been observed for the first time from an AlGaAs resonator. This work is an important step towards ultra-efficient semiconductor-based nonlinear photonics and will lead to fully integrated nonlinear photonic integrated circuits (PICs) in near future.
△ Less
Submitted 21 September, 2019;
originally announced September 2019.
-
ConTrOn: Continuously Trained Ontology based on Technical Data Sheets and Wikidata
Authors:
Kobkaew Opasjumruskit,
Diana Peters,
Sirko Schindler
Abstract:
In engineering projects involving various parts from global suppliers, one common task is to determine which parts are best suited for the project requirements. Information about specific parts' characteristics is published in so called data sheets. However, these data sheets are oftentimes only published in textual form, e.g., as a PDF. Hence, they have to be transformed into a machine-interpreta…
▽ More
In engineering projects involving various parts from global suppliers, one common task is to determine which parts are best suited for the project requirements. Information about specific parts' characteristics is published in so called data sheets. However, these data sheets are oftentimes only published in textual form, e.g., as a PDF. Hence, they have to be transformed into a machine-interpretable format. This transformation process still requires a lot of manual intervention and is prone to errors. Automated approaches make use of ontologies to capture the given domain and thus improve automated information extraction from the data sheets. However, ontologies rely solely on experiences and perspectives of their creators at the time of creation and cannot accumulate knowledge over time on their own. This paper presents ConTrOn -- Continuously Trained Ontology -- a system that automatically augments ontologies. ConTrOn tackles terminology problems by combining the knowledge extracted from data sheets with an ontology created by domain experts and external knowledge bases such as WordNet and Wikidata. To demonstrate how the enriched ontology can improve the information extraction process, we selected data sheets from spacecraft development as a use case. The evaluation results show that the amount of information extracted from data sheets based on ontologies is significantly increased after the ontology enrichment.
△ Less
Submitted 16 June, 2019;
originally announced June 2019.
-
Improved second harmonic performance in periodically poled LNOI waveguides through engineering of lateral leakage
Authors:
Andreas Boes,
Lin Chang,
Markus Knoerzer,
Thach G. Nguyen,
Jon D. Peters,
John E. Bowers,
Arnan Mitchell
Abstract:
In this contribution we investigate the impact of lateral leakage for linear and nonlinear optical waveguides in lithium niobate on insulator (LNOI). Silicon nitride (SiN) loaded and direct patterned lithium niobate cross-sections are investigated. We show that lateral leakage can take place for the TE mode in LNOI ridge waveguides (X-cut lithium niobate), due to the birefringence of the material.…
▽ More
In this contribution we investigate the impact of lateral leakage for linear and nonlinear optical waveguides in lithium niobate on insulator (LNOI). Silicon nitride (SiN) loaded and direct patterned lithium niobate cross-sections are investigated. We show that lateral leakage can take place for the TE mode in LNOI ridge waveguides (X-cut lithium niobate), due to the birefringence of the material. This work gives guidelines for designing waveguides in LNOI that do not suffer from the lateral leakage effect. By applying these design considerations, we avoided the lateral leakage effect at the second harmonic wavelength of a nonlinear optical waveguide in LNOI and demonstrate a peak second harmonic generation conversion efficiency of ~1160% W-1cm-2.
△ Less
Submitted 11 September, 2019; v1 submitted 5 June, 2019;
originally announced June 2019.
-
Digital Availability of Product Information for Collaborative Engineering of Spacecraft
Authors:
Diana Peters,
Philipp M. Fischer,
Philipp M. Schäfer,
Kobkaew Opasjumruskit,
Andreas Gerndt
Abstract:
In this paper, we introduce a system to collect product information from manufacturers and make it available in tools that are used for concurrent design of spacecraft. The planning of a spacecraft needs experts from different disciplines, like propulsion, power, and thermal. Since these different disciplines rely on each other there is a high need for communication between them, which is often re…
▽ More
In this paper, we introduce a system to collect product information from manufacturers and make it available in tools that are used for concurrent design of spacecraft. The planning of a spacecraft needs experts from different disciplines, like propulsion, power, and thermal. Since these different disciplines rely on each other there is a high need for communication between them, which is often realized by a Model-Based Systems Engineering (MBSE) process and corresponding tools. We show by comparison that the product information provided by manufacturers often does not match the information needed by MBSE tools on a syntactic or semantic level. The information from manufacturers is also currently not available in machine-readable formats. Afterwards, we present a prototype of a system that makes product information from manufacturers directly available in MBSE tools, in a machine-readable way.
△ Less
Submitted 22 May, 2019;
originally announced May 2019.
-
Truthful Aggregation of Budget Proposals
Authors:
Rupert Freeman,
David M. Pennock,
Dominik Peters,
Jennifer Wortman Vaughan
Abstract:
We consider a participatory budgeting problem in which each voter submits a proposal for how to divide a single divisible resource (such as money or time) among several possible alternatives (such as public projects or activities) and these proposals must be aggregated into a single aggregate division. Under $\ell_1$ preferences -- for which a voter's disutility is given by the $\ell_1$ distance b…
▽ More
We consider a participatory budgeting problem in which each voter submits a proposal for how to divide a single divisible resource (such as money or time) among several possible alternatives (such as public projects or activities) and these proposals must be aggregated into a single aggregate division. Under $\ell_1$ preferences -- for which a voter's disutility is given by the $\ell_1$ distance between the aggregate division and the division he or she most prefers -- the social welfare-maximizing mechanism, which minimizes the average $\ell_1$ distance between the outcome and each voter's proposal, is incentive compatible (Goel et al. 2016). However, it fails to satisfy the natural fairness notion of proportionality, placing too much weight on majority preferences. Leveraging a connection between market prices and the generalized median rules of Moulin (1980), we introduce the independent markets mechanism, which is both incentive compatible and proportional. We unify the social welfare-maximizing mechanism and the independent markets mechanism by defining a broad class of moving phantom mechanisms that includes both. We show that every moving phantom mechanism is incentive compatible. Finally, we characterize the social welfare-maximizing mechanism as the unique Pareto-optimal mechanism in this class, suggesting an inherent tradeoff between Pareto optimality and proportionality.
△ Less
Submitted 21 January, 2022; v1 submitted 1 May, 2019;
originally announced May 2019.
-
On the K-theoretic fundamental classes of Deligne-Lusztig varieties
Authors:
Thomas Hudson,
Dennis Peters
Abstract:
In this paper we express the class of the structure sheaves of the closures of Deligne--Lusztig varieties as explicit double Grothendieck polynomials in the first Chern classes of appropriate line bundles on the ambient flag variety. This is achieved by viewing such closures as degeneracy loci of morphisms of vector bundles.
In this paper we express the class of the structure sheaves of the closures of Deligne--Lusztig varieties as explicit double Grothendieck polynomials in the first Chern classes of appropriate line bundles on the ambient flag variety. This is achieved by viewing such closures as degeneracy loci of morphisms of vector bundles.
△ Less
Submitted 7 February, 2020; v1 submitted 17 April, 2019;
originally announced April 2019.
-
Pareto-Optimal Allocation of Indivisible Goods with Connectivity Constraints
Authors:
Ayumi Igarashi,
Dominik Peters
Abstract:
We study the problem of allocating indivisible items to agents with additive valuations, under the additional constraint that bundles must be connected in an underlying item graph. Previous work has considered the existence and complexity of fair allocations. We study the problem of finding an allocation that is Pareto-optimal. While it is easy to find an efficient allocation when the underlying g…
▽ More
We study the problem of allocating indivisible items to agents with additive valuations, under the additional constraint that bundles must be connected in an underlying item graph. Previous work has considered the existence and complexity of fair allocations. We study the problem of finding an allocation that is Pareto-optimal. While it is easy to find an efficient allocation when the underlying graph is a path or a star, the problem is NP-hard for many other graph topologies, even for trees of bounded pathwidth or of maximum degree 3. We show that on a path, there are instances where no Pareto-optimal allocation satisfies envy-freeness up to one good, and that it is NP-hard to decide whether such an allocation exists, even for binary valuations. We also show that, for a path, it is NP-hard to find a Pareto-optimal allocation that satisfies maximin share, but show that a moving-knife algorithm can find such an allocation when agents have binary valuations that have a non-nested interval structure.
△ Less
Submitted 12 November, 2018;
originally announced November 2018.
-
GD358: three decades of observations for the in-depth asteroseismology of a DBV star
Authors:
Agnes Bischoff-Kim,
J. L. Provencal,
P. A. Bradley,
M. H. Montgomery,
H. L. Shipman,
Samuel T. Harrold,
B. Howard,
W. Strickland,
D. Chandler,
D. Campbell,
A. Arredondo,
R. Linn,
D. P. Russell,
D. Doyle,
A. Brickhouse,
D. Peters,
S. -L. Kim,
X. J. Jiang,
Y-N. Mao,
A. V. Kusakin,
A. V. Sergeev,
M. Andreev,
S. Velichko,
R. Janulis,
E. Pakstiene
, et al. (16 additional authors not shown)
Abstract:
We report on the analysis of 34 years of photometric observations of the pulsating helium atmosphere white dwarf GD358. The complete data set includes archival data from 1982-2006, and 1195.2 hours of new observations from 2007- 2016. From this data set, we extract 15 frequencies representing g-mode pulsation modes, adding 4 modes to the 11 modes known previously. We present evidence that these 15…
▽ More
We report on the analysis of 34 years of photometric observations of the pulsating helium atmosphere white dwarf GD358. The complete data set includes archival data from 1982-2006, and 1195.2 hours of new observations from 2007- 2016. From this data set, we extract 15 frequencies representing g-mode pulsation modes, adding 4 modes to the 11 modes known previously. We present evidence that these 15 modes are ell = 1 modes, 13 of which belong to a consecutive sequence in radial overtone k. We perform a detailed asteroseismic analysis using models that include parameterized, complex carbon and oxygen core composition profiles to fit the periods. Recent spectroscopic analyses place GD358 near the red edge of the DBV instability strip, at 24,000 plus or minus 500 K and a log g of 7.8 plus or minus 0.08 dex. The surface gravity translates to a mass range of 0.455 to 0.540 solar masses. Our best fit model has a temperature of 23,650 K and a mass of 0.5706 solar masses. That is slightly more massive than suggested by most the recent spectroscopy. We find a pure helium layer mass of 10^-5.50, consistent with the result of previous studies and the outward diffusion of helium over time.
△ Less
Submitted 27 October, 2018;
originally announced October 2018.
-
Almost Envy-Free Allocations with Connected Bundles
Authors:
Vittorio Bilò,
Ioannis Caragiannis,
Michele Flammini,
Ayumi Igarashi,
Gianpiero Monaco,
Dominik Peters,
Cosimo Vinci,
William S. Zwicker
Abstract:
We study the existence of allocations of indivisible goods that are envy-free up to one good (EF1), under the additional constraint that each bundle needs to be connected in an underlying item graph. If the graph is a path and the utility functions are monotonic over bundles, we show the existence of EF1 allocations for at most four agents, and the existence of EF2 allocations for any number of ag…
▽ More
We study the existence of allocations of indivisible goods that are envy-free up to one good (EF1), under the additional constraint that each bundle needs to be connected in an underlying item graph. If the graph is a path and the utility functions are monotonic over bundles, we show the existence of EF1 allocations for at most four agents, and the existence of EF2 allocations for any number of agents; our proofs involve discrete analogues of the Stromquist's moving-knife protocol and the Su--Simmons argument based on Sperner's lemma. For identical utilities, we provide a polynomial-time algorithm that computes an EF1 allocation for any number of agents. For the case of two agents, we characterize the class of graphs that guarantee the existence of EF1 allocations as those whose biconnected components are arranged in a path; this property can be checked in linear time.
△ Less
Submitted 20 May, 2022; v1 submitted 28 August, 2018;
originally announced August 2018.
-
Simulation of morphogen and tissue dynamics
Authors:
M. D. Peters,
L. D. Wittwer,
A. Stopka,
D. Barac,
C. Lang,
D. Iber
Abstract:
Morphogenesis, the process by which an adult organism emerges from a single cell, has fascinated humans for a long time. Modelling this process can provide novel insights into development and the principles that orchestrate the developmental processes. This chapter focusses on the mathematical description and numerical simulation of developmental processes. In particular, we discuss the mathematic…
▽ More
Morphogenesis, the process by which an adult organism emerges from a single cell, has fascinated humans for a long time. Modelling this process can provide novel insights into development and the principles that orchestrate the developmental processes. This chapter focusses on the mathematical description and numerical simulation of developmental processes. In particular, we discuss the mathematical representation of morphogen and tissue dynamics on static and grow- ing domains, as well as the corresponding tissue mechanics. In addition, we give an overview of numerical methods that are routinely used to solve the resulting systems of partial differential equations. These include the finite element method and the Lattice Boltzmann method for the discretisation as well as the arbitrary Lagrangian-Eulerian method and the Diffuse-Domain method to numerically treat deforming domains.
△ Less
Submitted 11 June, 2018;
originally announced June 2018.
-
Heterogeneously integrated GaAs waveguides on insulator for efficient frequency conversion
Authors:
Lin Chang,
Andreas Boes,
Xiaowen Guo,
Daryl T. Spencer,
MJ. Kennedy,
Jon D. Peters,
Nicolas Volet,
Jeff Chiles,
Abijith Kowligy,
Nima Nader,
Daniel D. Hickstein,
Eric J. Stanton,
Scott A. Diddams,
Scott B. Papp,
John E. Bowers
Abstract:
Tremendous scientific progress has been achieved through the development of nonlinear integrated photonics. Prominent examples are Kerr-frequency-comb generation in micro-resonators, and supercontinuum generation and frequency conversion in nonlinear photonic waveguides. High conversion efficiency is enabling for applications of nonlinear optics, including such broad directions as high-speed optic…
▽ More
Tremendous scientific progress has been achieved through the development of nonlinear integrated photonics. Prominent examples are Kerr-frequency-comb generation in micro-resonators, and supercontinuum generation and frequency conversion in nonlinear photonic waveguides. High conversion efficiency is enabling for applications of nonlinear optics, including such broad directions as high-speed optical signal processing, metrology, and quantum communication and computation. In this work, we demonstrate a gallium-arsenide-on-insulator (GaAs) platform for nonlinear photonics. GaAs has among the highest second- and third-order nonlinear optical coefficients, and use of a silica cladding results in waveguides with a large refractive index contrast and low propagation loss for expanded design of nonlinear processes. By harnessing these properties and develo** nanofabrication with GaAs, we report a record normalized second-harmonic efficiency of 13,000% W-1cm-2 at a fundamental wavelength of 2 um. This work paves the way for high performance nonlinear photonic integrated circuits (PICs), which not only can transition advanced functionalities outside the lab through fundamentally reduced power consumption and footprint, but also enables future optical sources and detectors.
△ Less
Submitted 29 May, 2018; v1 submitted 23 May, 2018;
originally announced May 2018.
-
Power generation from a radiative thermal source using a large-area infrared rectenna
Authors:
Joshua Shank,
Emil A. Kadlec,
Robert L. Jarecki,
Andrew Starbuck,
Stephen Howell,
David W. Peters,
Paul S. Davids
Abstract:
Electrical power generation from a moderate temperature thermal source by means of direct conversion of infrared radiation is important and highly desirable for energy harvesting from waste heat and micropower applications. Here, we demonstrate direct rectified power generation from an unbiased large-area nanoantenna-coupled tunnel diode rectifier, called a rectenna. Using a vacuum radiometric mea…
▽ More
Electrical power generation from a moderate temperature thermal source by means of direct conversion of infrared radiation is important and highly desirable for energy harvesting from waste heat and micropower applications. Here, we demonstrate direct rectified power generation from an unbiased large-area nanoantenna-coupled tunnel diode rectifier, called a rectenna. Using a vacuum radiometric measurement technique with irradiation from a temperature-stabilized thermal source, a generated power density of 8 nW/cm$^2$ is observed at a source temperature of 450C for the unbiased rectenna across an optimized load resistance. The optimized load resistance for the peak power generation for each temperature coincides with the tunnel diode resistance at zero bias and corresponds to the impedance matching condition for a rectifying antenna. Current voltage measurements of a thermally illuminated large-area rectenna show current zero crossing shifts into the second quadrant indicating rectification. Photon-assisted tunneling in the unbiased rectenna is modeled as the mechanism for the large short-circuit photocurrents observed where the photon energy serves as an effective bias across the tunnel junction. The measured current and voltage across the load resistor as a function of the thermal source temperature represents direct current electrical power generation.
△ Less
Submitted 8 January, 2018;
originally announced January 2018.
-
Group Activity Selection on Social Networks
Authors:
Ayumi Igarashi,
Robert Bredereck,
Dominik Peters,
Edith Elkind
Abstract:
We propose a new variant of the group activity selection problem (GASP), where the agents are placed on a social network and activities can only be assigned to connected subgroups (gGASP). We show that if multiple groups can simultaneously engage in the same activity, finding a stable outcome is easy as long as the network is acyclic. In contrast, if each activity can be assigned to a single group…
▽ More
We propose a new variant of the group activity selection problem (GASP), where the agents are placed on a social network and activities can only be assigned to connected subgroups (gGASP). We show that if multiple groups can simultaneously engage in the same activity, finding a stable outcome is easy as long as the network is acyclic. In contrast, if each activity can be assigned to a single group only, finding stable outcomes becomes computationally intractable, even if the underlying network is very simple: the problem of determining whether a given instance of a gGASP admits a Nash stable outcome turns out to be NP-hard when the social network is a path or a star, or if the size of each connected component is bounded by a constant. We then study the parameterized complexity of finding outcomes of gGASP that are Nash stable, individually stable or core stable. For the parameter `number of activities', we propose an FPT algorithm for Nash stability for the case where the social network is acyclic and obtain a W[1]-hardness result for cliques (i.e., for standard GASP); similar results hold for individual stability. In contrast, finding a core stable outcome is hard even if the number of activities is bounded by a small constant, both for standard GASP and when the social network is a star. For the parameter `number of players', all problems we consider are in XP for arbitrary social networks; on the other hand, we prove W[1]-hardness results with respect to the parameter `number of players' for the case where the social network is a clique.
△ Less
Submitted 7 December, 2017;
originally announced December 2017.
-
Simulating Organogenesis in COMSOL: Tissue Mechanics
Authors:
M. D. Peters,
D. Iber
Abstract:
During growth, tissue expands and deforms. Given its elastic properties, stresses emerge in an expanding and deforming tissue. Cell rearrangements can dissipate these stresses and numerous experiments confirm the viscoelastic properties of tissues [1]-[4]. On long time scales, as characteristic for many developmental processes, tissue is therefore typically represented as a liquid, viscous materia…
▽ More
During growth, tissue expands and deforms. Given its elastic properties, stresses emerge in an expanding and deforming tissue. Cell rearrangements can dissipate these stresses and numerous experiments confirm the viscoelastic properties of tissues [1]-[4]. On long time scales, as characteristic for many developmental processes, tissue is therefore typically represented as a liquid, viscous material and is then described by the Stokes equation [5]-[7]. On short time scales, however, tissues have mainly elastic properties. In discrete cell-based tissue models, the elastic tissue properties are realized by springs between cell vertices [8], [9]. In this article, we adopt a macroscale perspective of tissue and consider it as homogeneous material. Therefore, we may use the "Structural Mechanics" module in COMSOL Multiphysics in order to model the viscoelastic behavior of tissue. Concretely, we consider two examples: first, we aim at numerically reproducing published [10] analytical results for the sea urchin blastula. Afterwards, we numerically solve a continuum mechanics model for the compression and relaxation experiments presented in [4].
△ Less
Submitted 19 October, 2017; v1 submitted 2 October, 2017;
originally announced October 2017.
-
Electrically detected magnetic resonance of carbon dangling bonds at the Si-face 4H-SiC/SiO$_2$ interface
Authors:
Gernot Gruber,
Jonathon Cottom,
Robert Meszaros,
Markus Koch,
Gregor Pobegen,
Thomas Aichinger,
Dethard Peters,
Peter Hadley
Abstract:
SiC based metal-oxide-semiconductor field-effect transistors (MOSFETs) have gained a significant importance in power electronics applications. However, electrically active defects at the SiC/SiO$_2$ interface degrade the ideal behavior of the devices. The relevant microscopic defects can be identified by electron paramagnetic resonance (EPR) or electrically detected magnetic resonance (EDMR). This…
▽ More
SiC based metal-oxide-semiconductor field-effect transistors (MOSFETs) have gained a significant importance in power electronics applications. However, electrically active defects at the SiC/SiO$_2$ interface degrade the ideal behavior of the devices. The relevant microscopic defects can be identified by electron paramagnetic resonance (EPR) or electrically detected magnetic resonance (EDMR). This helps to decide which changes to the fabrication process will likely lead to further increases of device performance and reliability. EDMR measurements have shown very similar dominant hyperfine (HF) spectra in differently processed MOSFETs although some discrepancies were observed in the measured $g$-factors. Here, the HF spectra measured of different SiC MOSFETs are compared and it is argued that the same dominant defect is present in all devices. A comparison of the data with simulated spectra of the C dangling bond (P$_\textrm{bC}$) center and the silicon vacancy (V$_\textrm{Si}$) demonstrates that the P$_\textrm{bC}$ center is a more suitable candidate to explain the observed HF spectra.
△ Less
Submitted 25 September, 2017;
originally announced September 2017.
-
Condorcet's Principle and the Preference Reversal Paradox
Authors:
Dominik Peters
Abstract:
We prove that every Condorcet-consistent voting rule can be manipulated by a voter who completely reverses their preference ranking, assuming that there are at least 4 alternatives. This corrects an error and improves a result of [Sanver, M. R. and Zwicker, W. S. (2009). One-way monotonicity as a form of strategy-proofness. Int J Game Theory 38(4), 553-574.] For the case of precisely 4 alternative…
▽ More
We prove that every Condorcet-consistent voting rule can be manipulated by a voter who completely reverses their preference ranking, assuming that there are at least 4 alternatives. This corrects an error and improves a result of [Sanver, M. R. and Zwicker, W. S. (2009). One-way monotonicity as a form of strategy-proofness. Int J Game Theory 38(4), 553-574.] For the case of precisely 4 alternatives, we exactly characterise the number of voters for which this impossibility result can be proven. We also show analogues of our result for irresolute voting rules. We then leverage our result to state a strong form of the Gibbard-Satterthwaite Theorem.
△ Less
Submitted 27 July, 2017;
originally announced July 2017.
-
Fair Division of a Graph
Authors:
Sylvain Bouveret,
Katarína Cechlárová,
Edith Elkind,
Ayumi Igarashi,
Dominik Peters
Abstract:
We consider fair allocation of indivisible items under an additional constraint: there is an undirected graph describing the relationship between the items, and each agent's share must form a connected subgraph of this graph. This framework captures, e.g., fair allocation of land plots, where the graph describes the accessibility relation among the plots. We focus on agents that have additive util…
▽ More
We consider fair allocation of indivisible items under an additional constraint: there is an undirected graph describing the relationship between the items, and each agent's share must form a connected subgraph of this graph. This framework captures, e.g., fair allocation of land plots, where the graph describes the accessibility relation among the plots. We focus on agents that have additive utilities for the items, and consider several common fair division solution concepts, such as proportionality, envy-freeness and maximin share guarantee. While finding good allocations according to these solution concepts is computationally hard in general, we design efficient algorithms for special cases where the underlying graph has simple structure, and/or the number of agents -or, less restrictively, the number of agent types- is small. In particular, despite non-existence results in the general case, we prove that for acyclic graphs a maximin share allocation always exists and can be found efficiently.
△ Less
Submitted 6 June, 2017; v1 submitted 29 May, 2017;
originally announced May 2017.