-
Committee Monotonic Proportional Representation: A New Voting Rule and Impossibility Results
Authors:
Haris Aziz,
Patrick Lederer,
Angus Ritossa
Abstract:
We study committee voting rules under ranked preferences, which map the voters' preference relations to a subset of the alternatives of predefined size. In this setting, the compatibility between proportional representation and committee monotonicity is a fundamental open problem that has been mentioned in several works. We design a new multi-winner voting rule called the Solid Coalition Refinemen…
▽ More
We study committee voting rules under ranked preferences, which map the voters' preference relations to a subset of the alternatives of predefined size. In this setting, the compatibility between proportional representation and committee monotonicity is a fundamental open problem that has been mentioned in several works. We design a new multi-winner voting rule called the Solid Coalition Refinement (SCR) Rule that simultaneously satisfies committee monotonicity and Dummett's PSC as well as one of its variants called inclusion PSC. This is the first rule known to satisfy both of these properties. Moreover, we show that this is effectively the best that we can hope for as other fairness notions adapted from approval voting such as Rank-JR and Rank-PJR+ are incompatible with committee monotonicity.
△ Less
Submitted 28 June, 2024;
originally announced June 2024.
-
REVEAL-IT: REinforcement learning with Visibility of Evolving Agent poLicy for InTerpretability
Authors:
Shuang Ao,
Simon Khan,
Haris Aziz,
Flora D. Salim
Abstract:
Understanding the agent's learning process, particularly the factors that contribute to its success or failure post-training, is crucial for comprehending the rationale behind the agent's decision-making process. Prior methods clarify the learning process by creating a structural causal model (SCM) or visually representing the distribution of value functions. Nevertheless, these approaches have co…
▽ More
Understanding the agent's learning process, particularly the factors that contribute to its success or failure post-training, is crucial for comprehending the rationale behind the agent's decision-making process. Prior methods clarify the learning process by creating a structural causal model (SCM) or visually representing the distribution of value functions. Nevertheless, these approaches have constraints as they exclusively function in 2D-environments or with uncomplicated transition dynamics. Understanding the agent's learning process in complicated environments or tasks is more challenging. In this paper, we propose REVEAL-IT, a novel framework for explaining the learning process of an agent in complex environments. Initially, we visualize the policy structure and the agent's learning process for various training tasks. By visualizing these findings, we can understand how much a particular training task or stage affects the agent's performance in test. Then, a GNN-based explainer learns to highlight the most important section of the policy, providing a more clear and robust explanation of the agent's learning process. The experiments demonstrate that explanations derived from this framework can effectively help in the optimization of the training tasks, resulting in improved learning efficiency and final performance.
△ Less
Submitted 27 June, 2024; v1 submitted 20 June, 2024;
originally announced June 2024.
-
Fair Lotteries for Participatory Budgeting
Authors:
Haris Aziz,
Xinhang Lu,
Mashbat Suzuki,
Jeremy Vollen,
Toby Walsh
Abstract:
In pursuit of participatory budgeting (PB) outcomes with broader fairness guarantees, we initiate the study of lotteries over discrete PB outcomes. As the projects have heterogeneous costs, the amount spent may not be equal ex ante and ex post. To address this, we develop a technique to bound the amount by which the ex-post spend differs from the ex-ante spend -- the property is termed budget bala…
▽ More
In pursuit of participatory budgeting (PB) outcomes with broader fairness guarantees, we initiate the study of lotteries over discrete PB outcomes. As the projects have heterogeneous costs, the amount spent may not be equal ex ante and ex post. To address this, we develop a technique to bound the amount by which the ex-post spend differs from the ex-ante spend -- the property is termed budget balanced up to one project (BB1). With respect to fairness, we take a best-of-both-worlds perspective, seeking outcomes that are both ex-ante and ex-post fair. Towards this goal, we initiate a study of ex-ante fairness properties in PB, including Individual Fair Share (IFS), Unanimous Fair Share (UFS) and their stronger variants, as well as Group Fair Share (GFS). We show several incompatibility results between these ex-ante fairness notions and existing ex-post concepts based on justified representation. One of our main contributions is a randomized algorithm which simultaneously satisfies ex-ante Strong UFS, ex-post full justified representation (FJR) and ex-post BB1 for PB with binary utilities.
△ Less
Submitted 11 April, 2024; v1 submitted 8 April, 2024;
originally announced April 2024.
-
Characterising Solar Magnetic Reconnection in Confined and Eruptive Flares
Authors:
Kanniah Balamuralikrishna,
John Y. H. Soo,
Norhaslinda Mohamed Tahrin,
Abdul Halim Abdul Aziz
Abstract:
Magnetic reconnection is a fundamental mechanism through which energy stored in magnetic fields is released explosively on a massive scale, they could be presented as eruptive or confined flares, depending on their association with coronal mass ejections (CMEs). Several previous works have concluded that there is no correlation between flare duration and flare class, however, their sample sizes ar…
▽ More
Magnetic reconnection is a fundamental mechanism through which energy stored in magnetic fields is released explosively on a massive scale, they could be presented as eruptive or confined flares, depending on their association with coronal mass ejections (CMEs). Several previous works have concluded that there is no correlation between flare duration and flare class, however, their sample sizes are skewed towards B and C classes; they hardly represent the higher classes. Therefore, we studied a sample without extreme events in order to determine the correlation between flare duration and flare type (confined and eruptive). We examined $33$ flares with classes between M5 to X5 within $45^{\circ}$ of the disk centres, using data from the Atmospheric Imaging Assembly (AIA) and the Helioseismic and Magnetic Imager (HMI). We find that the linear correlation between flare class against flare duration by full width half maximum (FWHM) in general is weak ($r=0.19$); however, confined flares have a significant correlation ($r=0.58$) compared to eruptive types ($r=0.08$). Also, the confined M class flares' average duration is less than half of the eruptive flares. Similarly, confined flares have a higher correlation ($r=0.89$) than eruptive flares ($r=0.60$) between flare classes against magnetic reconnection flux. In this work, a balanced sample size between flare types is an important strategy for obtaining a reliable quantitative comparison.
△ Less
Submitted 20 December, 2023;
originally announced December 2023.
-
Envy-free House Allocation under Uncertain Preferences
Authors:
Haris Aziz,
Isaiah Iliffe,
Bo Li,
Angus Ritossa,
Ankang Sun,
Mashbat Suzuki
Abstract:
We study the envy-free house allocation problem when agents have uncertain preferences over items and consider several well-studied preference uncertainty models. The central problem that we focus on is computing an allocation that has the highest probability of being envy-free. We show that each model leads to a distinct set of algorithmic and complexity results, including detailed results on (in…
▽ More
We study the envy-free house allocation problem when agents have uncertain preferences over items and consider several well-studied preference uncertainty models. The central problem that we focus on is computing an allocation that has the highest probability of being envy-free. We show that each model leads to a distinct set of algorithmic and complexity results, including detailed results on (in-)approximability. En route, we consider two related problems of checking whether there exists an allocation that is possibly or necessarily envy-free. We give a complete picture of the computational complexity of these two problems for all the uncertainty models we consider.
△ Less
Submitted 18 December, 2023;
originally announced December 2023.
-
Nash Welfare and Facility Location
Authors:
Alexander Lam,
Haris Aziz,
Toby Walsh
Abstract:
We consider the problem of locating a facility to serve a set of agents located along a line. The Nash welfare objective function, defined as the product of the agents' utilities, is known to provide a compromise between fairness and efficiency in resource allocation problems. We apply this welfare notion to the facility location problem, converting individual costs to utilities and analyzing the…
▽ More
We consider the problem of locating a facility to serve a set of agents located along a line. The Nash welfare objective function, defined as the product of the agents' utilities, is known to provide a compromise between fairness and efficiency in resource allocation problems. We apply this welfare notion to the facility location problem, converting individual costs to utilities and analyzing the facility placement that maximizes the Nash welfare. We give a polynomial-time approximation algorithm to compute this facility location, and prove results suggesting that it achieves a good balance of fairness and efficiency. Finally, we take a mechanism design perspective and propose a strategy-proof mechanism with a bounded approximation ratio for Nash welfare.
△ Less
Submitted 6 October, 2023;
originally announced October 2023.
-
Computational complexity of $k$-stable matchings
Authors:
Haris Aziz,
Gergely Csáji,
Ágnes Cseh
Abstract:
We study deviations by a group of agents in the three main types of matching markets: the house allocation, the marriage, and the roommates models. For a given instance, we call a matching $k$-stable if no other matching exists that is more beneficial to at least $k$ out of the $n$ agents. The concept generalizes the recently studied majority stability. We prove that whereas the verification of…
▽ More
We study deviations by a group of agents in the three main types of matching markets: the house allocation, the marriage, and the roommates models. For a given instance, we call a matching $k$-stable if no other matching exists that is more beneficial to at least $k$ out of the $n$ agents. The concept generalizes the recently studied majority stability. We prove that whereas the verification of $k$-stability for a given matching is polynomial-time solvable in all three models, the complexity of deciding whether a $k$-stable matching exists depends on $\frac{k}{n}$ and is characteristic to each model.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
-
Proportionally Representative Clustering
Authors:
Haris Aziz,
Barton E. Lee,
Sean Morota Chu,
Jeremy Vollen
Abstract:
In recent years, there has been a surge in effort to formalize notions of fairness in machine learning. We focus on clustering -- one of the fundamental tasks in unsupervised machine learning. We propose a new axiom ``proportional representation fairness'' (PRF) that is designed for clustering problems where the selection of centroids reflects the distribution of data points and how tightly they a…
▽ More
In recent years, there has been a surge in effort to formalize notions of fairness in machine learning. We focus on clustering -- one of the fundamental tasks in unsupervised machine learning. We propose a new axiom ``proportional representation fairness'' (PRF) that is designed for clustering problems where the selection of centroids reflects the distribution of data points and how tightly they are clustered together. Our fairness concept is not satisfied by existing fair clustering algorithms. We design efficient algorithms to achieve PRF both for unconstrained and discrete clustering problems. Our algorithm for the unconstrained setting is also the first known polynomial-time approximation algorithm for the well-studied Proportional Fairness (PF) axiom (Chen, Fain, Lyu, and Munagala, ICML, 2019). Our algorithm for the discrete setting also matches the best known approximation factor for PF.
△ Less
Submitted 15 August, 2023; v1 submitted 26 April, 2023;
originally announced April 2023.
-
Best-of-Both-Worlds Fairness in Committee Voting
Authors:
Haris Aziz,
Xinhang Lu,
Mashbat Suzuki,
Jeremy Vollen,
Toby Walsh
Abstract:
The best-of-both-worlds paradigm advocates an approach that achieves desirable properties both ex-ante and ex-post. We launch a best-of-both-worlds fairness perspective for the important social choice setting of approval-based committee voting. To this end, we initiate work on ex-ante proportional representation properties in this domain and formalize a hierarchy of notions including Individual Fa…
▽ More
The best-of-both-worlds paradigm advocates an approach that achieves desirable properties both ex-ante and ex-post. We launch a best-of-both-worlds fairness perspective for the important social choice setting of approval-based committee voting. To this end, we initiate work on ex-ante proportional representation properties in this domain and formalize a hierarchy of notions including Individual Fair Share (IFS), Unanimous Fair Share (UFS), Group Fair Share (GFS), and their stronger variants. We establish their compatibility with well-studied ex-post concepts such as extended justified representation (EJR) and fully justified representation (FJR). Our first main result is a polynomial-time algorithm that simultaneously satisfies ex-post EJR, ex-ante GFS and ex-ante Strong UFS. Subsequently, we strengthen our ex-post guarantee to FJR and present an algorithm that outputs a lottery which is ex-post FJR and ex-ante Strong UFS, but does not run in polynomial time.
△ Less
Submitted 25 December, 2023; v1 submitted 6 March, 2023;
originally announced March 2023.
-
Matching Algorithms under Diversity-Based Reservations
Authors:
Haris Aziz,
Sean Morota Chu,
Zhaohong Sun
Abstract:
Selection under category or diversity constraints is a ubiquitous and widely-applicable problem that is encountered in immigration, school choice, hiring, and healthcare rationing. These diversity constraints are typically represented by minimum and maximum quotas on various categories or types. We undertake a detailed comparative study of applicant selection algorithms with respect to the diversi…
▽ More
Selection under category or diversity constraints is a ubiquitous and widely-applicable problem that is encountered in immigration, school choice, hiring, and healthcare rationing. These diversity constraints are typically represented by minimum and maximum quotas on various categories or types. We undertake a detailed comparative study of applicant selection algorithms with respect to the diversity goals.
△ Less
Submitted 18 February, 2023;
originally announced February 2023.
-
Phenomenological analysis of simple ion channel block in large populations of uncoupled cardiomyocytes
Authors:
Radostin D. Simitev,
Antesar Al Dawoud,
Muhamad H. N. Aziz,
Rachel Myles,
Godfrey L. Smith
Abstract:
Current understanding of arrhythmia mechanisms and design of anti-arrhythmic drug therapies hinges on the assumption that myocytes from the same region of a single heart have similar, if not identical, action potential waveforms and drug responses. On the contrary, recent experiments reveal significant heterogeneity in uncoupled healthy myocytes both from different hearts as well as from identical…
▽ More
Current understanding of arrhythmia mechanisms and design of anti-arrhythmic drug therapies hinges on the assumption that myocytes from the same region of a single heart have similar, if not identical, action potential waveforms and drug responses. On the contrary, recent experiments reveal significant heterogeneity in uncoupled healthy myocytes both from different hearts as well as from identical regions within a single heart. In this work, a methodology is developed for quantifying the individual electrophysiological properties of large numbers of uncoupled cardiomyocytes under ion channel block in terms of the parameters values of a conceptual fast-slow model of electrical excitability. The approach is applied to a population of nearly 500 rabbit ventricular myocytes for which action potential duration (APD) before and after the application of the drug nifedipine was experimentally measured (Lachaud et al., 2022, Cardiovasc. Res.). To this end, drug action is represented by a multiplicative factor to an effective ion conductance, a closed form asymptotic expression for APD is derived and inverted to determine model parameters as functions of APD and dAPD (drug-induced change in APD) for each myocyte. Two free protocol-related quantities are calibrated to experiment using an adaptive-domain procedure based on an original assumption of optimal excitability. The explicit APD expression and the resulting set of model parameter values allow (a) direct evaluation of conditions necessary to maintain fixed APD or dAPD, (b) predictions of the proportion of cells remaining excitable after drug application, (c) predictions of stimulus period dependency and (d) predictions of dose-response curves, the latter being in agreement with additional experimental data.
△ Less
Submitted 17 January, 2023;
originally announced January 2023.
-
Proportional Fairness in Obnoxious Facility Location
Authors:
Haris Aziz,
Alexander Lam,
Bo Li,
Fahimeh Ramezani,
Toby Walsh
Abstract:
We consider the obnoxious facility location problem (in which agents prefer the facility location to be far from them) and propose a hierarchy of distance-based proportional fairness concepts for the problem. These fairness axioms ensure that groups of agents at the same location are guaranteed to be a distance from the facility proportional to their group size. We consider deterministic and rando…
▽ More
We consider the obnoxious facility location problem (in which agents prefer the facility location to be far from them) and propose a hierarchy of distance-based proportional fairness concepts for the problem. These fairness axioms ensure that groups of agents at the same location are guaranteed to be a distance from the facility proportional to their group size. We consider deterministic and randomized mechanisms, and compute tight bounds on the price of proportional fairness. In the deterministic setting, not only are our proportional fairness axioms incompatible with strategyproofness, the Nash equilibria may not guarantee welfare within a constant factor of the optimal welfare. On the other hand, in the randomized setting, we identify proportionally fair and strategyproof mechanisms that give an expected welfare within a constant factor of the optimal welfare.
△ Less
Submitted 11 January, 2023;
originally announced January 2023.
-
Approval-Based Voting with Mixed Goods
Authors:
Xinhang Lu,
Jannik Peters,
Haris Aziz,
Xiaohui Bei,
Warut Suksompong
Abstract:
We consider a voting scenario in which the resource to be voted upon may consist of both indivisible and divisible goods. This setting generalizes both the well-studied model of multiwinner voting and the recently introduced model of cake sharing. Under approval votes, we propose two variants of the extended justified representation (EJR) notion from multiwinner voting, a stronger one called EJR f…
▽ More
We consider a voting scenario in which the resource to be voted upon may consist of both indivisible and divisible goods. This setting generalizes both the well-studied model of multiwinner voting and the recently introduced model of cake sharing. Under approval votes, we propose two variants of the extended justified representation (EJR) notion from multiwinner voting, a stronger one called EJR for mixed goods (EJR-M) and a weaker one called EJR up to 1 (EJR-1). We extend three multiwinner voting rules to our setting -- GreedyEJR, the method of equal shares (MES), and proportional approval voting (PAV) -- and show that while all three generalizations satisfy EJR-1, only the first one provides EJR-M. In addition, we derive tight bounds on the proportionality degree implied by EJR-M and EJR-1, and investigate the proportionality degree of our proposed rules.
△ Less
Submitted 22 November, 2022;
originally announced November 2022.
-
Fair Allocation of Two Types of Chores
Authors:
Haris Aziz,
Jeremy Lindsay,
Angus Ritossa,
Mashbat Suzuki
Abstract:
We consider the problem of fair allocation of indivisible chores under additive valuations. We assume that the chores are divided into two types and under this scenario, we present several results. Our first result is a new characterization of Pareto optimal allocations in our setting, and a polynomial-time algorithm to compute an envy-free up to one item (EF1) and Pareto optimal allocation. We th…
▽ More
We consider the problem of fair allocation of indivisible chores under additive valuations. We assume that the chores are divided into two types and under this scenario, we present several results. Our first result is a new characterization of Pareto optimal allocations in our setting, and a polynomial-time algorithm to compute an envy-free up to one item (EF1) and Pareto optimal allocation. We then turn to the question of whether we can achieve a stronger fairness concept called envy-free up any item (EFX). We present a polynomial-time algorithm that returns an EFX allocation. Finally, we show that for our setting, it can be checked in polynomial time whether an envy-free allocation exists or not.
△ Less
Submitted 24 May, 2023; v1 submitted 2 November, 2022;
originally announced November 2022.
-
Fair Division of Indivisible Goods: Recent Progress and Open Questions
Authors:
Georgios Amanatidis,
Haris Aziz,
Georgios Birmpas,
Aris Filos-Ratsikas,
Bo Li,
Hervé Moulin,
Alexandros A. Voudouris,
Xiaowei Wu
Abstract:
Allocating resources to individuals in a fair manner has been a topic of interest since ancient times, with most of the early mathematical work on the problem focusing on resources that are infinitely divisible. Over the last decade, there has been a surge of papers studying computational questions regarding the indivisible case, for which exact fairness notions such as envy-freeness and proportio…
▽ More
Allocating resources to individuals in a fair manner has been a topic of interest since ancient times, with most of the early mathematical work on the problem focusing on resources that are infinitely divisible. Over the last decade, there has been a surge of papers studying computational questions regarding the indivisible case, for which exact fairness notions such as envy-freeness and proportionality are hard to satisfy. One main theme in the recent research agenda is to investigate the extent to which their relaxations, like maximin share fairness (MMS) and envy-freeness up to any good (EFX), can be achieved. In this survey, we present a comprehensive review of the recent progress made in the related literature by highlighting different ways to relax fairness notions, common algorithm design techniques, and the most interesting questions for future research.
△ Less
Submitted 21 June, 2023; v1 submitted 18 August, 2022;
originally announced August 2022.
-
Task Allocation using a Team of Robots
Authors:
Haris Aziz,
Arindam Pal,
Ali Pourmiri,
Fahimeh Ramezani,
Brendan Sims
Abstract:
Task allocation using a team or coalition of robots is one of the most important problems in robotics, computer science, operational research, and artificial intelligence. In recent work, research has focused on handling complex objectives and feasibility constraints amongst other variations of the multi-robot task allocation problem. There are many examples of important research progress in these…
▽ More
Task allocation using a team or coalition of robots is one of the most important problems in robotics, computer science, operational research, and artificial intelligence. In recent work, research has focused on handling complex objectives and feasibility constraints amongst other variations of the multi-robot task allocation problem. There are many examples of important research progress in these directions. We present a general formulation of the task allocation problem that generalizes several versions that are well-studied. Our formulation includes the states of robots, tasks, and the surrounding environment in which they operate. We describe how the problem can vary depending on the feasibility constraints, objective functions, and the level of dynamically changing information. In addition, we discuss existing solution approaches for the problem including optimization-based approaches, and market-based approaches.
△ Less
Submitted 20 July, 2022;
originally announced July 2022.
-
Coordinating Monetary Contributions in Participatory Budgeting
Authors:
Haris Aziz,
Sujit Gujar,
Manisha Padala,
Mashbat Suzuki,
Jeremy Vollen
Abstract:
We formalize a framework for coordinating funding and selecting projects, the costs of which are shared among agents with quasi-linear utility functions and individual budgets. Our model contains the classical discrete participatory budgeting model as a special case, while capturing other useful scenarios. We propose several important axioms and objectives and study how well they can be simultaneo…
▽ More
We formalize a framework for coordinating funding and selecting projects, the costs of which are shared among agents with quasi-linear utility functions and individual budgets. Our model contains the classical discrete participatory budgeting model as a special case, while capturing other useful scenarios. We propose several important axioms and objectives and study how well they can be simultaneously satisfied. We show that whereas welfare maximization admits an FPTAS, welfare maximization subject to a natural and very weak participation requirement leads to a strong inapproximability. This result is bypassed if we consider some natural restricted valuations, namely laminar single-minded valuations and symmetric valuations. Our analysis for the former restriction leads to the discovery of a new class of tractable instances for the Set Union Knapsack problem, a classical problem in combinatorial optimization.
△ Less
Submitted 22 February, 2023; v1 submitted 13 June, 2022;
originally announced June 2022.
-
Random Rank: The One and Only Strategyproof and Proportionally Fair Randomized Facility Location Mechanism
Authors:
Haris Aziz,
Alexander Lam,
Mashbat Suzuki,
Toby Walsh
Abstract:
Proportionality is an attractive fairness concept that has been applied to a range of problems including the facility location problem, a classic problem in social choice. In our work, we propose a concept called Strong Proportionality, which ensures that when there are two groups of agents at different locations, both groups incur the same total cost. We show that although Strong Proportionality…
▽ More
Proportionality is an attractive fairness concept that has been applied to a range of problems including the facility location problem, a classic problem in social choice. In our work, we propose a concept called Strong Proportionality, which ensures that when there are two groups of agents at different locations, both groups incur the same total cost. We show that although Strong Proportionality is a well-motivated and basic axiom, there is no deterministic strategyproof mechanism satisfying the property. We then identify a randomized mechanism called Random Rank (which uniformly selects a number $k$ between $1$ to $n$ and locates the facility at the $k$'th highest agent location) which satisfies Strong Proportionality in expectation. Our main theorem characterizes Random Rank as the unique mechanism that achieves universal truthfulness, universal anonymity, and Strong Proportionality in expectation among all randomized mechanisms. Finally, we show via the AverageOrRandomRank mechanism that even stronger ex-post fairness guarantees can be achieved by weakening universal truthfulness to strategyproofness in expectation.
△ Less
Submitted 14 June, 2022; v1 submitted 29 May, 2022;
originally announced May 2022.
-
Algorithmic Fair Allocation of Indivisible Items: A Survey and New Questions
Authors:
Haris Aziz,
Bo Li,
Herve Moulin,
Xiaowei Wu
Abstract:
The theory of algorithmic fair allocation is within the center of multi-agent systems and economics in the last decade due to its industrial and social importance. At a high level, the problem is to assign a set of items that are either goods or chores to a set of agents so that every agent is happy with what she obtains. Particularly, in this survey, we focus on indivisible items, for which absol…
▽ More
The theory of algorithmic fair allocation is within the center of multi-agent systems and economics in the last decade due to its industrial and social importance. At a high level, the problem is to assign a set of items that are either goods or chores to a set of agents so that every agent is happy with what she obtains. Particularly, in this survey, we focus on indivisible items, for which absolute fairness such as envy-freeness and proportionality cannot be guaranteed. One main theme in the recent research agenda is about designing algorithms that approximately achieve the fairness criteria. We aim at presenting a comprehensive survey of recent progresses through the prism of algorithms, highlighting the ways to relax fairness notions and common techniques to design algorithms, as well as the most interesting questions for future research.
△ Less
Submitted 17 February, 2022;
originally announced February 2022.
-
How to make the toss fair in cricket?
Authors:
Haris Aziz
Abstract:
In the sport of cricket, the side that wins the toss and has the first choice to bat or bowl can have an unfair or a critical advantage. The issue has been discussed by International Cricket Council committees, as well as several cricket experts. In this article, I outline a method to make the toss fair in cricket. The method is based on ideas from the academic fields of game theory and fair divis…
▽ More
In the sport of cricket, the side that wins the toss and has the first choice to bat or bowl can have an unfair or a critical advantage. The issue has been discussed by International Cricket Council committees, as well as several cricket experts. In this article, I outline a method to make the toss fair in cricket. The method is based on ideas from the academic fields of game theory and fair division.
△ Less
Submitted 12 January, 2022;
originally announced January 2022.
-
Obvious Manipulability of Voting Rules
Authors:
Haris Aziz,
Alexander Lam
Abstract:
The Gibbard-Satterthwaite theorem states that no unanimous and non-dictatorial voting rule is strategyproof. We revisit voting rules and consider a weaker notion of strategyproofness called not obvious manipulability that was proposed by Troyan and Morrill (2020). We identify several classes of voting rules that satisfy this notion. We also show that several voting rules including k-approval fail…
▽ More
The Gibbard-Satterthwaite theorem states that no unanimous and non-dictatorial voting rule is strategyproof. We revisit voting rules and consider a weaker notion of strategyproofness called not obvious manipulability that was proposed by Troyan and Morrill (2020). We identify several classes of voting rules that satisfy this notion. We also show that several voting rules including k-approval fail to satisfy this property. We characterize conditions under which voting rules are obviously manipulable. One of our insights is that certain rules are obviously manipulable when the number of alternatives is relatively large compared to the number of voters. In contrast to the Gibbard-Satterthwaite theorem, many of the rules we examined are not obviously manipulable. This reflects the relatively easier satisfiability of the notion and the zero information assumption of not obvious manipulability, as opposed to the perfect information assumption of strategyproofness. We also present algorithmic results for computing obvious manipulations and report on experiments.
△ Less
Submitted 14 June, 2022; v1 submitted 2 November, 2021;
originally announced November 2021.
-
Strategyproof and Proportionally Fair Facility Location
Authors:
Haris Aziz,
Alexander Lam,
Barton E. Lee,
Toby Walsh
Abstract:
We focus on a simple, one-dimensional collective decision problem (often referred to as the facility location problem) and explore issues of strategyproofness and proportionality-based fairness. We introduce and analyze a hierarchy of proportionality-based fairness axioms of varying strength: Individual Fair Share (IFS), Unanimous Fair Share (UFS), Proportionality (as in Freeman et al, 2021), and…
▽ More
We focus on a simple, one-dimensional collective decision problem (often referred to as the facility location problem) and explore issues of strategyproofness and proportionality-based fairness. We introduce and analyze a hierarchy of proportionality-based fairness axioms of varying strength: Individual Fair Share (IFS), Unanimous Fair Share (UFS), Proportionality (as in Freeman et al, 2021), and Proportional Fairness (PF). For each axiom, we characterize the family of mechanisms that satisfy the axiom and strategyproofness. We show that imposing strategyproofness renders many of the axioms to be equivalent: the family of mechanisms that satisfy proportionality, unanimity, and strategyproofness is equivalent to the family of mechanisms that satisfy UFS and strategyproofness, which, in turn, is equivalent to the family of mechanisms that satisfy PF and strategyproofness. Furthermore, there is a unique such mechanism: the Uniform Phantom mechanism, which is studied in Freeman et al. (2021). We also characterize the outcomes of the Uniform Phantom mechanism as the unique (pure) equilibrium outcome for any mechanism that satisfies continuity, strict monotonicity, and UFS. Finally, we analyze the approximation guarantees, in terms of optimal social welfare and minimum total cost, obtained by mechanisms that are strategyproof and satisfy each proportionality-based fairness axiom. We show that the Uniform Phantom mechanism provides the best approximation of the optimal social welfare (and also minimum total cost) among all mechanisms that satisfy UFS.
△ Less
Submitted 28 November, 2023; v1 submitted 2 November, 2021;
originally announced November 2021.
-
Fairness Concepts for Indivisible Items with Externalities
Authors:
Haris Aziz,
Warut Suksompong,
Zhaohong Sun,
Toby Walsh
Abstract:
We study a fair allocation problem of indivisible items under additive externalities in which each agent also receives values from items that are assigned to other agents. We propose several new fairness concepts. We extend the well-studied envy-freeness up to one item (EF1) and envy-freeness up to any item (EFX) to this setting, and we propose a new fairness concept called general fair share (GFS…
▽ More
We study a fair allocation problem of indivisible items under additive externalities in which each agent also receives values from items that are assigned to other agents. We propose several new fairness concepts. We extend the well-studied envy-freeness up to one item (EF1) and envy-freeness up to any item (EFX) to this setting, and we propose a new fairness concept called general fair share (GFS). We undertake a detailed study and present algorithms for finding fair allocations.
△ Less
Submitted 29 November, 2022; v1 submitted 18 October, 2021;
originally announced October 2021.
-
Individually Rational Land and Neighbor Allocation: Impossibility Results
Authors:
Haris Aziz
Abstract:
We consider a setting in which agents are allocated land plots and they have additive preferences over which plot they get and who their neighbor is. Strategyproofness, Pareto optimality, and individual rationality are three fundamental properties in economic design. We present two impossibility results showing that the three properties are incompatible in this context.
We consider a setting in which agents are allocated land plots and they have additive preferences over which plot they get and who their neighbor is. Strategyproofness, Pareto optimality, and individual rationality are three fundamental properties in economic design. We present two impossibility results showing that the three properties are incompatible in this context.
△ Less
Submitted 5 June, 2021;
originally announced June 2021.
-
Modelling and simulation of electrical propagation in transmural slabs of scarred left ventricle tissue
Authors:
Peter Mortensen,
Muhamad H. N. Aziz,
Hao Gao,
Radostin D. Simitev
Abstract:
We report three-dimensional and time-dependent numerical simulations of the propagation of electrical action potentials in a model of rabbit ventricular tissue. The simulations are performed using a finite-element method for the solution of the monodomain equations of cardiac electrical excitation. The parameters of a detailed ionic ventricular cell model are re-fitted to available experimental da…
▽ More
We report three-dimensional and time-dependent numerical simulations of the propagation of electrical action potentials in a model of rabbit ventricular tissue. The simulations are performed using a finite-element method for the solution of the monodomain equations of cardiac electrical excitation. The parameters of a detailed ionic ventricular cell model are re-fitted to available experimental data and the model is then used for the description of the transmembrane current and calcium dynamics. A region with reduced conductivity is introduced to model a myocardial infarction scar. Electrical activation times and density maps of the transmembrane voltage are computed and compared with experimental measurements in rabbit preparations with myocardial infarction obtained by a panoramic optical map** method.
△ Less
Submitted 19 May, 2021;
originally announced May 2021.
-
Estimation of Parameters for an Archetypal Model of Cardiomyocyte Membrane Potentials
Authors:
Muhamad H. N. Aziz,
Radostin D. Simitev
Abstract:
Contemporary realistic mathematical models of single-cell cardiac electrical excitation are immensely detailed. Model complexity leads to parameter uncertainty, high computational cost and barriers to mechanistic understanding. There is a need for reduced models that are conceptually and mathematically simple but physiologically accurate. To this end, we consider an archetypal model of single-cell…
▽ More
Contemporary realistic mathematical models of single-cell cardiac electrical excitation are immensely detailed. Model complexity leads to parameter uncertainty, high computational cost and barriers to mechanistic understanding. There is a need for reduced models that are conceptually and mathematically simple but physiologically accurate. To this end, we consider an archetypal model of single-cell cardiac excitation that replicates the phase-space geometry of detailed cardiac models, but at the same time has a simple piecewise-linear form and a relatively low-dimensional configuration space. In order to make this archetypal model practically applicable, we develop and report a robust method for estimation of its parameter values from the morphology of single-stimulus action potentials derived from detailed ionic current models and from experimental myocyte measurements. The procedure is applied to five significant test cases and an excellent agreement with target biomarkers is achieved. Action potential duration restitution curves are also computed and compared to those of the target test models and data, demonstrating conservation of dynamical pacing behaviour by the fine-tuned archetypal model. An archetypal model that accurately reproduces a variety of wet-lab and synthetic electrophysiology data offers a number of specific advantages such as computational efficiency, as also demonstrated in the study. Open-source numerical code of the models and methods used is provided.
△ Less
Submitted 25 February, 2022; v1 submitted 14 May, 2021;
originally announced May 2021.
-
Multi-Robot Task Allocation -- Complexity and Approximation
Authors:
Haris Aziz,
Hau Chan,
Ágnes Cseh,
Bo Li,
Fahimeh Ramezani,
Chenhao Wang
Abstract:
Multi-robot task allocation is one of the most fundamental classes of problems in robotics and is crucial for various real-world robotic applications such as search, rescue and area exploration. We consider the Single-Task robots and Multi-Robot tasks Instantaneous Assignment (ST-MR-IA) setting where each task requires at least a certain number of robots and each robot can work on at most one task…
▽ More
Multi-robot task allocation is one of the most fundamental classes of problems in robotics and is crucial for various real-world robotic applications such as search, rescue and area exploration. We consider the Single-Task robots and Multi-Robot tasks Instantaneous Assignment (ST-MR-IA) setting where each task requires at least a certain number of robots and each robot can work on at most one task and incurs an operational cost for each task. Our aim is to consider a natural computational problem of allocating robots to complete the maximum number of tasks subject to budget constraints. We consider budget constraints of three different kinds: (1) total budget, (2) task budget, and (3) robot budget. We provide a detailed complexity analysis including results on approximations as well as polynomial-time algorithms for the general setting and important restricted settings.
△ Less
Submitted 23 March, 2021;
originally announced March 2021.
-
Optimal Kidney Exchange with Immunosuppressants
Authors:
Haris Aziz,
Agnes Cseh,
John P. Dickerson,
Duncan C. McElfresh
Abstract:
Algorithms for exchange of kidneys is one of the key successful applications in market design, artificial intelligence, and operations research. Potent immunosuppressant drugs suppress the body's ability to reject a transplanted organ up to the point that a transplant across blood- or tissue-type incompatibility becomes possible. In contrast to the standard kidney exchange problem, we consider a s…
▽ More
Algorithms for exchange of kidneys is one of the key successful applications in market design, artificial intelligence, and operations research. Potent immunosuppressant drugs suppress the body's ability to reject a transplanted organ up to the point that a transplant across blood- or tissue-type incompatibility becomes possible. In contrast to the standard kidney exchange problem, we consider a setting that also involves the decision about which recipients receive from the limited supply of immunosuppressants that make them compatible with originally incompatible kidneys. We firstly present a general computational framework to model this problem. Our main contribution is a range of efficient algorithms that provide flexibility in terms of meeting meaningful objectives. Motivated by the current reality of kidney exchanges using sophisticated mathematical-programming-based clearing algorithms, we then present a general but scalable approach to optimal clearing with immunosuppression; we validate our approach on realistic data from a large fielded exchange.
△ Less
Submitted 3 March, 2021;
originally announced March 2021.
-
Efficient, Fair, and Incentive-Compatible Healthcare Rationing
Authors:
Haris Aziz,
Florian Brandl
Abstract:
Rationing of healthcare resources has emerged as an important issue, which has been discussed by medical experts, policy-makers, and the general public. We consider a rationing problem where medical units are to be allocated to patients. Each unit is reserved for one of several categories and each category has a priority ranking of the patients. We present an allocation rule that respects the prio…
▽ More
Rationing of healthcare resources has emerged as an important issue, which has been discussed by medical experts, policy-makers, and the general public. We consider a rationing problem where medical units are to be allocated to patients. Each unit is reserved for one of several categories and each category has a priority ranking of the patients. We present an allocation rule that respects the priorities, complies with the eligibility requirements, allocates the largest feasible number of units, and does not incentivize agents to hide that they qualify through a category. The rule characterizes all possible allocations that satisfy the first three properties and is polynomial-time computable.
△ Less
Submitted 26 September, 2021; v1 submitted 8 February, 2021;
originally announced February 2021.
-
Cutoff stability under distributional constraints with an application to summer internship matching
Authors:
Haris Aziz,
Anton Baychkov,
Peter Biro
Abstract:
We introduce a new two-sided stable matching problem that describes the summer internship matching practice of an Australian university. The model is a case between two models of Kamada and Kojima on matchings with distributional constraints. We study three solution concepts, the strong and weak stability concepts proposed by Kamada and Kojima, and a new one in between the two, called cutoff stabi…
▽ More
We introduce a new two-sided stable matching problem that describes the summer internship matching practice of an Australian university. The model is a case between two models of Kamada and Kojima on matchings with distributional constraints. We study three solution concepts, the strong and weak stability concepts proposed by Kamada and Kojima, and a new one in between the two, called cutoff stability. Kamada and Kojima showed that a strongly stable matching may not exist in their most restricted model with disjoint regional quotas. Our first result is that checking its existence is NP-hard. We then show that a cutoff stable matching exists not just for the summer internship problem but also for the general matching model with arbitrary heredity constraints. We present an algorithm to compute a cutoff stable matching and show that it runs in polynomial time in our special case of summer internship model. However, we also show that finding a maximum size cutoff stable matching is NP-hard, but we provide a Mixed Integer Linear Program formulation for this optimisation problem.
△ Less
Submitted 25 October, 2023; v1 submitted 4 February, 2021;
originally announced February 2021.
-
Participatory Funding Coordination: Model, Axioms and Rules
Authors:
Haris Aziz,
Aditya Ganguly
Abstract:
We present a new model of collective decision making that captures important crowd-funding and donor coordination scenarios. In the setting, there is a set of projects (each with its own cost) and a set of agents (that have their budgets as well as preferences over the projects). An outcome is a set of projects that are funded along with the specific contributions made by the agents. For the model…
▽ More
We present a new model of collective decision making that captures important crowd-funding and donor coordination scenarios. In the setting, there is a set of projects (each with its own cost) and a set of agents (that have their budgets as well as preferences over the projects). An outcome is a set of projects that are funded along with the specific contributions made by the agents. For the model, we identify meaningful axioms that capture concerns including fairness, efficiency, and participation incentives. We then propose desirable rules for the model and study, which sets of axioms can be satisfied simultaneously. An experimental study indicates the relative performance of different rules as well as the price of enforcing fairness axioms.
△ Less
Submitted 27 January, 2021;
originally announced January 2021.
-
Approximate and Strategyproof Maximin Share Allocation of Chores with Ordinal Preferences
Authors:
Haris Aziz,
Bo Li,
Xiaowei Wu
Abstract:
We initiate the work on maximin share (MMS) fair allocation of m indivisible chores to n agents using only their ordinal preferences, from both algorithmic and mechanism design perspectives. The previous best-known approximation is 2-1/n by Aziz et al. [IJCAI 2017]. We improve this result by giving a simple deterministic 5/3-approximation algorithm that determines an allocation sequence of agents,…
▽ More
We initiate the work on maximin share (MMS) fair allocation of m indivisible chores to n agents using only their ordinal preferences, from both algorithmic and mechanism design perspectives. The previous best-known approximation is 2-1/n by Aziz et al. [IJCAI 2017]. We improve this result by giving a simple deterministic 5/3-approximation algorithm that determines an allocation sequence of agents, according to which items are allocated one by one. By a tighter analysis, we show that for n=2,3, our algorithm achieves better approximation ratios, and is actually optimal. We also consider the setting with strategic agents, where agents may misreport their preferences to manipulate the outcome. We first provide a O(\log (m/n))-approximation consecutive picking algorithm, and then improve the approximation ratio to O(\sqrt{\log n}) by a randomized algorithm. Our results uncover some interesting contrasts between the approximation ratios achieved for chores versus goods.
△ Less
Submitted 27 December, 2020;
originally announced December 2020.
-
Computing Welfare-Maximizing Fair Allocations of Indivisible Goods
Authors:
Haris Aziz,
Xin Huang,
Nicholas Mattei,
Erel Segal-Halevi
Abstract:
We analyze the run-time complexity of computing allocations that are both fair and maximize the utilitarian social welfare, defined as the sum of agents' utilities. We focus on two tractable fairness concepts: envy-freeness up to one item (EF1) and proportionality up to one item (PROP1). We consider two computational problems: (1) Among the utilitarian-maximal allocations, decide whether there exi…
▽ More
We analyze the run-time complexity of computing allocations that are both fair and maximize the utilitarian social welfare, defined as the sum of agents' utilities. We focus on two tractable fairness concepts: envy-freeness up to one item (EF1) and proportionality up to one item (PROP1). We consider two computational problems: (1) Among the utilitarian-maximal allocations, decide whether there exists one that is also fair; (2) among the fair allocations, compute one that maximizes the utilitarian welfare. We show that both problems are strongly NP-hard when the number of agents is variable, and remain NP-hard for a fixed number of agents greater than two. For the special case of two agents, we find that problem (1) is polynomial-time solvable, while problem (2) remains NP-hard. Finally, with a fixed number of agents, we design pseudopolynomial-time algorithms for both problems. We extend our results to the stronger fairness notions envy-freeness up to any item (EFx) and proportionality up to any item (PROPx).
△ Less
Submitted 24 September, 2022; v1 submitted 7 December, 2020;
originally announced December 2020.
-
The Vigilant Eating Rule: A General Approach for Probabilistic Economic Design with Constraints
Authors:
Haris Aziz,
Florian Brandl
Abstract:
We consider the problem of probabilistic allocation of objects under ordinal preferences. We devise an allocation mechanism, called the vigilant eating rule (VER), that applies to nearly arbitrary feasibility constraints. It is constrained ordinally efficient, can be computed efficiently for a large class of constraints, and treats agents equally if they have the same preferences and are subject t…
▽ More
We consider the problem of probabilistic allocation of objects under ordinal preferences. We devise an allocation mechanism, called the vigilant eating rule (VER), that applies to nearly arbitrary feasibility constraints. It is constrained ordinally efficient, can be computed efficiently for a large class of constraints, and treats agents equally if they have the same preferences and are subject to the same constraints. When the set of feasible allocations is convex, we also present a characterization of our rule based on ordinal egalitarianism. Our results about VER do not just apply to allocation problems but to all collective choice problems in which agents have ordinal preferences over discrete outcomes. As a case study, we assume objects have priorities for agents and apply VER to sets of probabilistic allocations that are constrained by stability. VER coincides with the (extended) probabilistic serial rule when priorities are flat and the agent proposing deterministic deferred acceptance algorithm when preferences and priorities are strict. While VER always returns a stable and constrained efficient allocation, it fails to be strategyproof, unconstrained efficient, and envy-free. We show, however, that each of these three properties is incompatible with stability and constrained efficiency.
△ Less
Submitted 8 July, 2021; v1 submitted 20 August, 2020;
originally announced August 2020.
-
Random Assignment Under Bi-Valued Utilities: Analyzing Hylland-Zeckhauser, Nash-Bargaining, and other Rules
Authors:
Haris Aziz,
Ethan Brown
Abstract:
The Hylland-Zeckhauser (HZ) rule is a well-known rule for random assignment of items. The complexity of the rule has received renewed interest recently with Vazirani and Yannakakis (2020) proposing a strongly polynomial-time algorithm for the rule under bi-valued utilities, and making several general insights. We study the rule under the case of agents having bi-valued utilities. We point out seve…
▽ More
The Hylland-Zeckhauser (HZ) rule is a well-known rule for random assignment of items. The complexity of the rule has received renewed interest recently with Vazirani and Yannakakis (2020) proposing a strongly polynomial-time algorithm for the rule under bi-valued utilities, and making several general insights. We study the rule under the case of agents having bi-valued utilities. We point out several characterizations of the HZ rule, drawing clearer relations with several well-known rules in the literature. As a consequence, we point out alternative strongly polynomial-time algorithms for the HZ solution. We also give reductions from computing the HZ solution to computing well-known solutions based on leximin or Nash social welfare. An interesting contrast is that the HZ rule is group-strategyproof whereas the unconstrained competitive equilibrium with equal incomes rule is not even strategyproof. We clarify which results change when moving from 1-0 utilities to the more general bi-valued utilities. Finally, we prove that the closely related Nash bargaining solution violates envy-freeness and strategyproofness even under 1-0 utilities.
△ Less
Submitted 2 March, 2021; v1 submitted 28 June, 2020;
originally announced June 2020.
-
Simultaneously Achieving Ex-ante and Ex-post Fairness
Authors:
Haris Aziz
Abstract:
We present a polynomial-time algorithm that computes an ex-ante envy-free lottery over envy-free up to one item (EF1) deterministic allocations. It has the following advantages over a recently proposed algorithm: it does not rely on the linear programming machinery including separation oracles; it is SD-efficient (both ex-ante and ex-post); and the ex-ante outcome is equivalent to the outcome retu…
▽ More
We present a polynomial-time algorithm that computes an ex-ante envy-free lottery over envy-free up to one item (EF1) deterministic allocations. It has the following advantages over a recently proposed algorithm: it does not rely on the linear programming machinery including separation oracles; it is SD-efficient (both ex-ante and ex-post); and the ex-ante outcome is equivalent to the outcome returned by the well-known probabilistic serial rule. As a result, we answer a question raised by Freeman, Shah, and Vaish (2020) whether the outcome of the probabilistic serial rule can be implemented by ex-post EF1 allocations. In the light of a couple of impossibility results that we prove, our algorithm can be viewed as satisfying a maximal set of properties. Under binary utilities, our algorithm is also ex-ante group-strategyproof and ex-ante Pareto optimal. Finally, we also show that checking whether a given random allocation can be implemented by a lottery over EF1 and Pareto optimal allocations is NP-hard.
△ Less
Submitted 28 June, 2020; v1 submitted 6 April, 2020;
originally announced April 2020.
-
Achieving Envy-freeness and Equitability with Monetary Transfers
Authors:
Haris Aziz
Abstract:
When allocating indivisible resources or tasks, an envy-free allocation or equitable allocation may not exist. We present a sufficient condition and an algorithm to achieve envy-freeness and equitability when monetary transfers are allowed. The approach works for any agent valuation functions (positive or negative) as long as they satisfy superadditivity. For the case of additive utilities, we pre…
▽ More
When allocating indivisible resources or tasks, an envy-free allocation or equitable allocation may not exist. We present a sufficient condition and an algorithm to achieve envy-freeness and equitability when monetary transfers are allowed. The approach works for any agent valuation functions (positive or negative) as long as they satisfy superadditivity. For the case of additive utilities, we present a characterization of allocations that can simultaneously be made equitable and envy-free via payments.
△ Less
Submitted 18 March, 2020;
originally announced March 2020.
-
Participatory Budgeting: Models and Approaches
Authors:
Haris Aziz,
Nisarg Shah
Abstract:
Participatory budgeting is a democratic approach to deciding the funding of public projects, which has been adopted in many cities across the world. We present a survey of research on participatory budgeting emerging from the computational social choice literature, which draws ideas from computer science and microeconomic theory. We present a mathematical model for participatory budgeting, which c…
▽ More
Participatory budgeting is a democratic approach to deciding the funding of public projects, which has been adopted in many cities across the world. We present a survey of research on participatory budgeting emerging from the computational social choice literature, which draws ideas from computer science and microeconomic theory. We present a mathematical model for participatory budgeting, which charts existing models across different axes including whether the projects are treated as "divisible" or "indivisible" and whether there are funding limits on individual projects. We then survey various approaches and methods from the literature, giving special emphasis on issues of preference elicitation, welfare objectives, fairness axioms, and voter incentives. Finally, we discuss several directions in which research on participatory budgeting can be extended in the future.
△ Less
Submitted 1 March, 2020;
originally announced March 2020.
-
A Probabilistic Approach to Voting, Allocation, Matching, and Coalition Formation
Authors:
Haris Aziz
Abstract:
Randomisation and time-sharing are some of the oldest methods to achieve fairness. I make a case that applying these approaches to social choice settings constitutes a powerful paradigm that deserves an extensive and thorough examination. I discuss challenges and opportunities in applying these approaches to settings including voting, allocation, matching, and coalition formation.
Randomisation and time-sharing are some of the oldest methods to achieve fairness. I make a case that applying these approaches to social choice settings constitutes a powerful paradigm that deserves an extensive and thorough examination. I discuss challenges and opportunities in applying these approaches to settings including voting, allocation, matching, and coalition formation.
△ Less
Submitted 24 February, 2020;
originally announced February 2020.
-
A characterization of proportionally representative committees
Authors:
Haris Aziz,
Barton E. Lee
Abstract:
A well-known axiom for proportional representation is Proportionality of Solid Coalitions (PSC). We characterize committees satisfying PSC as possible outcomes of the Minimal Demand rule, which generalizes an approach pioneered by Michael Dummett.
A well-known axiom for proportional representation is Proportionality of Solid Coalitions (PSC). We characterize committees satisfying PSC as possible outcomes of the Minimal Demand rule, which generalizes an approach pioneered by Michael Dummett.
△ Less
Submitted 13 July, 2021; v1 submitted 21 February, 2020;
originally announced February 2020.
-
From Matching with Diversity Constraints to Matching with Regional Quotas
Authors:
Haris Aziz,
Serge Gaspers,
Zhaohong Sun,
Toby Walsh
Abstract:
In the past few years, several new matching models have been proposed and studied that take into account complex distributional constraints. Relevant lines of work include (1) school choice with diversity constraints where students have (possibly overlap**) types and (2) hospital-doctor matching where various regional quotas are imposed. In this paper, we present a polynomial-time reduction to t…
▽ More
In the past few years, several new matching models have been proposed and studied that take into account complex distributional constraints. Relevant lines of work include (1) school choice with diversity constraints where students have (possibly overlap**) types and (2) hospital-doctor matching where various regional quotas are imposed. In this paper, we present a polynomial-time reduction to transform an instance of (1) to an instance of (2) and we show how the feasibility and stability of corresponding matchings are preserved under the reduction. Our reduction provides a formal connection between two important strands of work on matching with distributional constraints. We then apply the reduction in two ways. Firstly, we show that it is NP-complete to check whether a feasible and stable outcome for (1) exists. Due to our reduction, these NP-completeness results carry over to setting (2). In view of this, we help unify some of the results that have been presented in the literature. Secondly, if we have positive results for (2), then we have corresponding results for (1). One key conclusion of our results is that further developments on axiomatic and algorithmic aspects of hospital-doctor matching with regional quotas will result in corresponding results for school choice with diversity constraints.
△ Less
Submitted 16 February, 2020;
originally announced February 2020.
-
Integrability and linearizability conditions for a cubic Lotka-Volterra systems
Authors:
Hersh M. Saber,
Waleed H. Aziz
Abstract:
The main objective of this work is to investigate the integrability and linearizability problems around a singular point at the origin of the family of differential systems Particularly we are interested in the three-dimensional cubic Lotka-Volterra systems for (1:-1:1) resonant. We give a complete set of necessary conditions for both integrability and linearizability problems. The local existence…
▽ More
The main objective of this work is to investigate the integrability and linearizability problems around a singular point at the origin of the family of differential systems Particularly we are interested in the three-dimensional cubic Lotka-Volterra systems for (1:-1:1) resonant. We give a complete set of necessary conditions for both integrability and linearizability problems. The local existences of two independent first integrals guarantee that these conditions are sufficient as well. Furthermore, we use the Darboux method of integrability and some other techniques to show that the system admits two independent first integrals at the origin.
△ Less
Submitted 14 January, 2020;
originally announced January 2020.
-
Developments in Multi-Agent Fair Allocation
Authors:
Haris Aziz
Abstract:
Fairness is becoming an increasingly important concern when designing markets, allocation procedures, and computer systems. I survey some recent developments in the field of multi-agent fair allocation.
Fairness is becoming an increasingly important concern when designing markets, allocation procedures, and computer systems. I survey some recent developments in the field of multi-agent fair allocation.
△ Less
Submitted 12 June, 2020; v1 submitted 21 November, 2019;
originally announced November 2019.
-
Facility Location Problem with Capacity Constraints: Algorithmic and Mechanism Design Perspectives
Authors:
Haris Aziz,
Hau Chan,
Barton E. Lee,
Bo Li,
Toby Walsh
Abstract:
We consider the facility location problem in the one-dimensional setting where each facility can serve a limited number of agents from the algorithmic and mechanism design perspectives. From the algorithmic perspective, we prove that the corresponding optimization problem, where the goal is to locate facilities to minimize either the total cost to all agents or the maximum cost of any agent is NP-…
▽ More
We consider the facility location problem in the one-dimensional setting where each facility can serve a limited number of agents from the algorithmic and mechanism design perspectives. From the algorithmic perspective, we prove that the corresponding optimization problem, where the goal is to locate facilities to minimize either the total cost to all agents or the maximum cost of any agent is NP-hard. However, we show that the problem is fixed-parameter tractable, and the optimal solution can be computed in polynomial time whenever the number of facilities is bounded, or when all facilities have identical capacities. We then consider the problem from a mechanism design perspective where the agents are strategic and need not reveal their true locations. We show that several natural mechanisms studied in the uncapacitated setting either lose strategyproofness or a bound on the solution quality for the total or maximum cost objective. We then propose new mechanisms that are strategyproof and achieve approximation guarantees that almost match the lower bounds.
△ Less
Submitted 21 November, 2019;
originally announced November 2019.
-
Proportionally Representative Participatory Budgeting with Ordinal Preferences
Authors:
Haris Aziz,
Barton E. Lee
Abstract:
Participatory budgeting (PB) is a democratic paradigm whereby voters decide on a set of projects to fund with a limited budget. We consider PB in a setting where voters report ordinal preferences over projects and have (possibly) asymmetric weights. We propose proportional representation axioms and clarify how they fit into other preference aggregation settings, such as multi-winner voting and app…
▽ More
Participatory budgeting (PB) is a democratic paradigm whereby voters decide on a set of projects to fund with a limited budget. We consider PB in a setting where voters report ordinal preferences over projects and have (possibly) asymmetric weights. We propose proportional representation axioms and clarify how they fit into other preference aggregation settings, such as multi-winner voting and approval-based multi-winner voting. As a result of our study, we also discover a new solution concept for approval-based multi-winner voting, which we call Inclusion PSC (IPSC). IPSC is stronger than proportional justified representation (PJR), incomparable to extended justified representation (EJR), and yet compatible with EJR. The well-studied Proportional Approval Voting (PAV) rule produces a committee that satisfies both EJR and IPSC; however, both these axioms can also be satisfied by an algorithm that runs in polynomial-time.
△ Less
Submitted 9 December, 2020; v1 submitted 3 November, 2019;
originally announced November 2019.
-
A polynomial-time algorithm for computing a Pareto optimal and almost proportional allocation
Authors:
Haris Aziz,
Herve Moulin,
Fedor Sandomirskiy
Abstract:
We consider fair allocation of indivisible items under additive utilities. When the utilities can be negative, the existence and complexity of an allocation that satisfies Pareto optimality and proportionality up to one item (PROP1) is an open problem. We show that there exists a strongly polynomial-time algorithm that always computes an allocation satisfying Pareto optimality and proportionality…
▽ More
We consider fair allocation of indivisible items under additive utilities. When the utilities can be negative, the existence and complexity of an allocation that satisfies Pareto optimality and proportionality up to one item (PROP1) is an open problem. We show that there exists a strongly polynomial-time algorithm that always computes an allocation satisfying Pareto optimality and proportionality up to one item even if the utilities are mixed and the agents have asymmetric weights. We point out that the result does not hold if either of Pareto optimality or PROP1 is replaced with slightly stronger concepts.
△ Less
Submitted 28 June, 2020; v1 submitted 2 September, 2019;
originally announced September 2019.
-
The Constrained Round Robin Algorithm for Fair and Efficient Allocation
Authors:
Haris Aziz,
Xin Huang,
Nicholas Mattei,
Erel Segal-Halevi
Abstract:
We consider a multi-agent resource allocation setting that models the assignment of papers to reviewers. A recurring issue in allocation problems is the compatibility of welfare/efficiency and fairness. Given an oracle to find a welfare-achieving allocation, we embed such an oracle into a flexible algorithm called the Constrained Round Robin (CRR) algorithm, that achieves the required welfare leve…
▽ More
We consider a multi-agent resource allocation setting that models the assignment of papers to reviewers. A recurring issue in allocation problems is the compatibility of welfare/efficiency and fairness. Given an oracle to find a welfare-achieving allocation, we embed such an oracle into a flexible algorithm called the Constrained Round Robin (CRR) algorithm, that achieves the required welfare level. Our algorithm also allows the system designer to lower the welfare requirements in order to achieve a higher degree of fairness. If the welfare requirement is lowered enough, a strengthening of envy-freeness up to one item is guaranteed. Hence, our algorithm can be viewed as a computationally efficient way to interpolate between welfare and approximate envy-freeness in allocation problems.
△ Less
Submitted 31 July, 2019;
originally announced August 2019.
-
Almost Group Envy-free Allocation of Indivisible Goods and Chores
Authors:
Haris Aziz,
Simon Rey
Abstract:
We consider a multi-agent resource allocation setting in which an agent's utility may decrease or increase when an item is allocated. We take the group envy-freeness concept that is well-established in the literature and present stronger and relaxed versions that are especially suitable for the allocation of indivisible items. Of particular interest is a concept called group envy-freeness up to on…
▽ More
We consider a multi-agent resource allocation setting in which an agent's utility may decrease or increase when an item is allocated. We take the group envy-freeness concept that is well-established in the literature and present stronger and relaxed versions that are especially suitable for the allocation of indivisible items. Of particular interest is a concept called group envy-freeness up to one item (GEF1). We then present a clear taxonomy of the fairness concepts. We study which fairness concepts guarantee the existence of a fair allocation under which preference domain. For two natural classes of additive utilities, we design polynomial-time algorithms to compute a GEF1 allocation. We also prove that checking whether a given allocation satisfies GEF1 is coNP-complete when there are either only goods, only chores or both.
△ Less
Submitted 16 July, 2019;
originally announced July 2019.
-
Weighted Maxmin Fair Share Allocation of Indivisible Chores
Authors:
Haris Aziz,
Hau Chan,
Bo Li
Abstract:
We initiate the study of indivisible chore allocation for agents with asymmetric shares. The fairness concept we focus on is the weighted natural generalization of maxmin share: WMMS fairness and OWMMS fairness. We first highlight the fact that commonly used algorithms that work well for the allocation of goods to asymmetric agents, and even for chores to symmetric agents do not provide good appro…
▽ More
We initiate the study of indivisible chore allocation for agents with asymmetric shares. The fairness concept we focus on is the weighted natural generalization of maxmin share: WMMS fairness and OWMMS fairness. We first highlight the fact that commonly used algorithms that work well for the allocation of goods to asymmetric agents, and even for chores to symmetric agents do not provide good approximations for allocation of chores to asymmetric agents under WMMS. As a consequence, we present a novel polynomial-time constant-approximation algorithm, via linear program, for OWMMS. For two special cases: the binary valuation case and the 2-agent case, we provide exact or better constant-approximation algorithms.
△ Less
Submitted 18 June, 2019;
originally announced June 2019.
-
Strategyproof Multi-Item Exchange Under Single-Minded Dichotomous Preferences
Authors:
Haris Aziz
Abstract:
We consider multi-item exchange markets in which agents want to receive one of their target bundles of resources. The model encompasses well-studied markets for kidney exchange, lung exchange, and multi-organ exchange. We identify a general and sufficient condition called weak consistency for the exchange mechanisms to be strategyproof even if we impose any kind of distributional, diversity, or ex…
▽ More
We consider multi-item exchange markets in which agents want to receive one of their target bundles of resources. The model encompasses well-studied markets for kidney exchange, lung exchange, and multi-organ exchange. We identify a general and sufficient condition called weak consistency for the exchange mechanisms to be strategyproof even if we impose any kind of distributional, diversity, or exchange cycle constraints. Within the class of weakly consistent and strategyproof mechanisms, we highlight two important ones that satisfy constrained Pareto optimality and strong individual rationality. Several results in the literature follow from our insights. We also derive impossibility results when constrained Pareto optimality is defined with respect to more permissive individual rationality requirements.
△ Less
Submitted 8 July, 2020; v1 submitted 26 May, 2019;
originally announced May 2019.