Showing 1–42 of 42 results for author: Lackner, M

Antiproton annihilation at rest in thin solid targets and comparison with Monte Carlo simulations

Authors: Claude Amsler, Horst Breuker, Marcus Bumbar, Matti Cerwenka, Giovanni Costantini, Rafael Ferragut, Markus Fleck, Marco Giammarchi, Angela Gligorova, Giulia Gosta, Eric David Hunter, Carina Killian, Bernadette Kolbinger, Viktoria Kraxberger, Naofumi Kuroda, Moritz Lackner, Marco Leali, Giancarlo Maero, Valerio Mascagna, Yasuyuki Matsuda, Stefano Migliorati, Daniel James Murtagh, Amit Nanda, Lilian Nowak, Simon Rheinfrank , et al. (11 additional authors not shown)

Abstract: The mechanism of antiproton-nucleus annihilation at rest is not fully understood, despite substantial previous experimental and theoretical work. In this study we used slow extracted, sub-keV antiprotons from the ASACUSA apparatus at CERN to measure the charged particle multiplicities and their energy deposits from antiproton annihilations at rest on three different nuclei: carbon, molybdenum and… ▽ More The mechanism of antiproton-nucleus annihilation at rest is not fully understood, despite substantial previous experimental and theoretical work. In this study we used slow extracted, sub-keV antiprotons from the ASACUSA apparatus at CERN to measure the charged particle multiplicities and their energy deposits from antiproton annihilations at rest on three different nuclei: carbon, molybdenum and gold. The results are compared with predictions from different models in the simulation tools Geant4 and FLUKA. A model that accounts for all the observed features is still missing, as well as measurements at low energies, to validate such models. △ Less

Submitted 9 July, 2024; originally announced July 2024.

Comments: 25 pages + 2 cover pages, 16 figures

Report number: CERN-EP-2024-182

A Semi-automatic Cranial Implant Design Tool Based on Rigid ICP Template Alignment and Voxel Space Reconstruction

Authors: Michael Lackner, Behrus Puladi, Jens Kleesiek, Jan Egger, Jianning Li

Abstract: In traumatic medical emergencies, the patients heavily depend on cranioplasty - the craft of neurocranial repair using cranial implants. Despite the improvements made in recent years, the design of a patient-specific implant (PSI) is among the most complex, expensive, and least automated tasks in cranioplasty. Further research in this area is needed. Therefore, we created a prototype application w… ▽ More In traumatic medical emergencies, the patients heavily depend on cranioplasty - the craft of neurocranial repair using cranial implants. Despite the improvements made in recent years, the design of a patient-specific implant (PSI) is among the most complex, expensive, and least automated tasks in cranioplasty. Further research in this area is needed. Therefore, we created a prototype application with a graphical user interface (UI) specifically tailored for semi-automatic implant generation, where the users only need to perform high-level actions. A general outline of the proposed implant generation process involves setting an area of interest, aligning the templates, and then creating the implant in voxel space. Furthermore, we show that the alignment can be improved significantly, by only considering clipped geometry in the vicinity of the defect border. The software prototype will be open-sourced at https://github.com/3Descape/Cranial_Implant_Design △ Less

Submitted 19 March, 2024; originally announced April 2024.

Comments: 6 pages

Enabling the Digital Democratic Revival: A Research Program for Digital Democracy

Authors: Davide Grossi, Ulrike Hahn, Michael Mäs, Andreas Nitsche, Jan Behrens, Niclas Boehmer, Markus Brill, Ulle Endriss, Umberto Grandi, Adrian Haret, Jobst Heitzig, Nicolien Janssens, Catholijn M. Jonker, Marijn A. Keijzer, Axel Kistner, Martin Lackner, Alexandra Lieben, Anna Mikhaylovskaya, Pradeep K. Murukannaiah, Carlo Proietti, Manon Revel, Élise Rouméas, Ehud Shapiro, Gogulapati Sreedurga, Björn Swierczek , et al. (4 additional authors not shown)

Abstract: This white paper outlines a long-term scientific vision for the development of digital-democracy technology. We contend that if digital democracy is to meet the ambition of enabling a participatory renewal in our societies, then a comprehensive multi-methods research effort is required that could, over the years, support its development in a democratically principled, empirically and computational… ▽ More This white paper outlines a long-term scientific vision for the development of digital-democracy technology. We contend that if digital democracy is to meet the ambition of enabling a participatory renewal in our societies, then a comprehensive multi-methods research effort is required that could, over the years, support its development in a democratically principled, empirically and computationally informed way. The paper is co-authored by an international and interdisciplinary team of researchers and arose from the Lorentz Center Workshop on ``Algorithmic Technology for Democracy'' (Leiden, October 2022). △ Less

Submitted 30 January, 2024; originally announced January 2024.

An Experimental Comparison of Multiwinner Voting Rules on Approval Elections

Authors: Piotr Faliszewski, Martin Lackner, Krzysztof Sornat, Stanisław Szufa

Abstract: In this paper, we experimentally compare major approval-based multiwinner voting rules. To this end, we define a measure of similarity between two equal-sized committees subject to a given election. Using synthetic elections coming from several distributions, we analyze how similar are the committees provided by prominent voting rules. Our results can be visualized as ``maps of voting… ▽ More In this paper, we experimentally compare major approval-based multiwinner voting rules. To this end, we define a measure of similarity between two equal-sized committees subject to a given election. Using synthetic elections coming from several distributions, we analyze how similar are the committees provided by prominent voting rules. Our results can be visualized as ``maps of voting rules'', which provide a counterpoint to a purely axiomatic classification of voting rules. The strength of our proposed method is its independence from preimposed classifications (such as the satisfaction of concrete axioms), and that it indeed offers a much finer distinction than the current state of axiomatic analysis. △ Less

Submitted 22 January, 2024; originally announced January 2024.

Free-Riding in Multi-Issue Decisions

Authors: Martin Lackner, Jan Maly, Oliviero Nardi

Abstract: Voting in multi-issue domains allows for compromise outcomes that satisfy all voters to some extent. Such fairness considerations, however, open the possibility of a special form of manipulation: free-riding. By untruthfully opposing a popular opinion in one issue, voters can receive increased consideration in other issues. We study under which conditions this is possible. Additionally, we study f… ▽ More Voting in multi-issue domains allows for compromise outcomes that satisfy all voters to some extent. Such fairness considerations, however, open the possibility of a special form of manipulation: free-riding. By untruthfully opposing a popular opinion in one issue, voters can receive increased consideration in other issues. We study under which conditions this is possible. Additionally, we study free-riding from a computational and experimental point of view. Our results show that free-riding in multi-issue domains is largely unavoidable, but comes at a non-negligible individual risk for voters. Thus, the allure of free-riding is smaller than one could intuitively assume. △ Less

Submitted 12 October, 2023; originally announced October 2023.

Comments: This is an extended version of the publication with the same name in the proceedings of AAMAS 2023

Repeated Fair Allocation of Indivisible Items

Authors: Ayumi Igarashi, Martin Lackner, Oliviero Nardi, Arianna Novaro

Abstract: The problem of fairly allocating a set of indivisible items is a well-known challenge in the field of (computational) social choice. In this scenario, there is a fundamental incompatibility between notions of fairness (such as envy-freeness and proportionality) and economic efficiency (such as Pareto-optimality). However, in the real world, items are not always allocated once and for all, but ofte… ▽ More The problem of fairly allocating a set of indivisible items is a well-known challenge in the field of (computational) social choice. In this scenario, there is a fundamental incompatibility between notions of fairness (such as envy-freeness and proportionality) and economic efficiency (such as Pareto-optimality). However, in the real world, items are not always allocated once and for all, but often repeatedly. For example, the items may be recurring chores to distribute in a household. Motivated by this, we initiate the study of the repeated fair division of indivisible goods and chores, and propose a formal model for this scenario. In this paper, we show that, if the number of repetitions is a multiple of the number of agents, there always exists a sequence of allocations that is proportional and Pareto-optimal. On the other hand, irrespective of the number of repetitions, an envy-free and Pareto-optimal sequence of allocations may not exist. For the case of two agents, we show that if the number of repetitions is even, it is always possible to find a sequence of allocations that is overall envy-free and Pareto-optimal. We then prove even stronger fairness guarantees, showing that every allocation in such a sequence satisfies some relaxation of envy-freeness. Finally, in case that the number of repetitions can be chosen freely, we show that envy-free and Pareto-optimal allocations are achievable for any number of agents. △ Less

Submitted 19 December, 2023; v1 submitted 4 April, 2023; originally announced April 2023.

Comments: 31 pages. Extended version of accepted AAAI-24 paper

Proportionality in Approval-Based Participatory Budgeting

Authors: Markus Brill, Stefan Forster, Martin Lackner, Jan Maly, Jannik Peters

Abstract: The ability to measure the satisfaction of (groups of) voters is a crucial prerequisite for formulating proportionality axioms in approval-based participatory budgeting elections. Two common - but very different - ways to measure the satisfaction of a voter consider (i) the number of approved projects and (ii) the total cost of approved projects, respectively. In general, it is difficult to decide… ▽ More The ability to measure the satisfaction of (groups of) voters is a crucial prerequisite for formulating proportionality axioms in approval-based participatory budgeting elections. Two common - but very different - ways to measure the satisfaction of a voter consider (i) the number of approved projects and (ii) the total cost of approved projects, respectively. In general, it is difficult to decide which measure of satisfaction best reflects the voters' true utilities. In this paper, we study proportionality axioms with respect to large classes of approval-based satisfaction functions. We establish logical implications among our axioms and related notions from the literature, and we ask whether outcomes can be achieved that are proportional with respect to more than one satisfaction function. We show that this is impossible for the two commonly used satisfaction functions when considering proportionality notions based on extended justified representation, but achievable for a notion based on proportional justified representation. For the latter result, we introduce a strengthening of priceability and show that it is satisfied by several polynomial-time computable rules, including the Method of Equal Shares and Phragmèn's sequential rule. △ Less

Submitted 18 October, 2023; v1 submitted 7 February, 2023; originally announced February 2023.

Towards an automated data cleaning with deep learning in CRESST

Authors: G. Angloher, S. Banik, D. Bartolot, G. Benato, A. Bento, A. Bertolini, R. Breier, C. Bucci, J. Burkhart, L. Canonica, A. D'Addabbo, S. Di Lorenzo, L. Einfalt, A. Erb, F. v. Feilitzsch, N. Ferreiro Iachellini, S. Fichtinger, D. Fuchs, A. Fuss, A. Garai, V. M. Ghete, S. Gerster, P. Gorla, P. V. Guillaumon, S. Gupta , et al. (40 additional authors not shown)

Abstract: The CRESST experiment employs cryogenic calorimeters for the sensitive measurement of nuclear recoils induced by dark matter particles. The recorded signals need to undergo a careful cleaning process to avoid wrongly reconstructed recoil energies caused by pile-up and read-out artefacts. We frame this process as a time series classification task and propose to automate it with neural networks. Wit… ▽ More The CRESST experiment employs cryogenic calorimeters for the sensitive measurement of nuclear recoils induced by dark matter particles. The recorded signals need to undergo a careful cleaning process to avoid wrongly reconstructed recoil energies caused by pile-up and read-out artefacts. We frame this process as a time series classification task and propose to automate it with neural networks. With a data set of over one million labeled records from 68 detectors, recorded between 2013 and 2019 by CRESST, we test the capability of four commonly used neural network architectures to learn the data cleaning task. Our best performing model achieves a balanced accuracy of 0.932 on our test set. We show on an exemplary detector that about half of the wrongly predicted events are in fact wrongly labeled events, and a large share of the remaining ones have a context-dependent ground truth. We furthermore evaluate the recall and selectivity of our classifiers with simulated data. The results confirm that the trained classifiers are well suited for the data cleaning task. △ Less

Submitted 7 January, 2023; v1 submitted 1 November, 2022; originally announced November 2022.

Comments: 12 pages, 8 figures, 6 tables

Journal ref: Eur. Phys. J. Plus 138, 100 (2023)

How to Sample Approval Elections?

Authors: Stanisław Szufa, Piotr Faliszewski, Łukasz Janeczko, Martin Lackner, Arkadii Slinko, Krzysztof Sornat, Nimrod Talmon

Abstract: We study the multifaceted question of how to sample approval elections in a meaningful way. Our analysis aims to discern the properties of various statistical cultures (both established and new ones). Based on the map-of-elections framework by Szufa et al. [2020], we graphically represent statistical cultures; and, by that, provide an intuitive understanding of their differences and properties. We study the multifaceted question of how to sample approval elections in a meaningful way. Our analysis aims to discern the properties of various statistical cultures (both established and new ones). Based on the map-of-elections framework by Szufa et al. [2020], we graphically represent statistical cultures; and, by that, provide an intuitive understanding of their differences and properties. △ Less

Submitted 3 July, 2022; originally announced July 2022.

Comments: Accepted to IJCAI 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.

Comments: 116 pages, feedback welcome

Fairness in Participatory Budgeting via Equality of Resources

Authors: Jan Maly, Simon Rey, Ulle Endriss, Martin Lackner

Abstract: We introduce a family of normative principles to assess fairness in the context of participatory budgeting. These principles are based on the fundamental idea that budget allocations should be fair in terms of the resources invested into meeting the wishes of individual voters. This is in contrast to earlier proposals that are based on specific assumptions regarding the satisfaction of voters with… ▽ More We introduce a family of normative principles to assess fairness in the context of participatory budgeting. These principles are based on the fundamental idea that budget allocations should be fair in terms of the resources invested into meeting the wishes of individual voters. This is in contrast to earlier proposals that are based on specific assumptions regarding the satisfaction of voters with a given budget allocation. We analyse these new principles in axiomatic, algorithmic, and experimental terms. △ Less

Submitted 20 February, 2023; v1 submitted 16 May, 2022; originally announced May 2022.

Exact methods and lower bounds for the Oven Scheduling Problem

Authors: Marie-Louise Lackner, Christoph Mrkvicka, Nysret Musliu, Daniel Walkiewicz, Felix Winter

Abstract: The Oven Scheduling Problem (OSP) is a new parallel batch scheduling problem that arises in the area of electronic component manufacturing. Jobs need to be scheduled to one of several ovens and may be processed simultaneously in one batch if they have compatible requirements. The scheduling of jobs must respect several constraints concerning eligibility and availability of ovens, release dates of… ▽ More The Oven Scheduling Problem (OSP) is a new parallel batch scheduling problem that arises in the area of electronic component manufacturing. Jobs need to be scheduled to one of several ovens and may be processed simultaneously in one batch if they have compatible requirements. The scheduling of jobs must respect several constraints concerning eligibility and availability of ovens, release dates of jobs, setup times between batches as well as oven capacities. Running the ovens is highly energy-intensive and thus the main objective, besides finishing jobs on time, is to minimize the cumulative batch processing time across all ovens. This objective distinguishes the OSP from other batch processing problems which typically minimize objectives related to makespan, tardiness or lateness. We propose to solve this NP-hard scheduling problem via constraint programming (CP) and integer linear programming (ILP) and present corresponding models. For an experimental evaluation, we introduce a multi-parameter random instance generator to provide a diverse set of problem instances. Using state-of-the-art solvers, we evaluate the quality and compare the performance of our CP- and ILP-models. We show that our models can find feasible solutions for instances of realistic size, many of those being provably optimal or nearly optimal solutions. Finally, we derive theoretical lower bounds on the solution cost of feasible solutions to the OSP; these can be computed within a few seconds. We show that these lower bounds are competitive with those derived by state-of-the-art solvers. △ Less

Submitted 23 March, 2022; originally announced March 2022.

Axiomatic characterizations of consistent approval-based committee choice rules

Authors: Martin Lackner, Piotr Skowron

Abstract: We prove axiomatic characterizations of several important multiwinner rules within the class of approval-based committee choice rules. These are voting rules that return a set of (fixed-size) committees. In particular, we provide axiomatic characterizations of Proportional Approval Voting, the Chamberlin--Courant rule, and other Thiele methods. These rules share the important property that they sa… ▽ More We prove axiomatic characterizations of several important multiwinner rules within the class of approval-based committee choice rules. These are voting rules that return a set of (fixed-size) committees. In particular, we provide axiomatic characterizations of Proportional Approval Voting, the Chamberlin--Courant rule, and other Thiele methods. These rules share the important property that they satisfy an axiom called consistency, which is crucial in our characterizations. △ Less

Submitted 21 September, 2023; v1 submitted 20 December, 2021; originally announced December 2021.

Comments: We were made aware of a gap in the proof of Theorem 1 (we do not show transitivity of the constructed ranking, Def. 1). We withdraw the paper for now

Liquid Democracy with Ranked Delegations

Authors: Markus Brill, Théo Delemazure, Anne-Marie George, Martin Lackner, Ulrike Schmidt-Kraepelin

Abstract: Liquid democracy is a novel paradigm for collective decision-making that gives agents the choice between casting a direct vote or delegating their vote to another agent. We consider a generalization of the standard liquid democracy setting by allowing agents to specify multiple potential delegates, together with a preference ranking among them. This generalization increases the number of possible… ▽ More Liquid democracy is a novel paradigm for collective decision-making that gives agents the choice between casting a direct vote or delegating their vote to another agent. We consider a generalization of the standard liquid democracy setting by allowing agents to specify multiple potential delegates, together with a preference ranking among them. This generalization increases the number of possible delegation paths and enables higher participation rates because fewer votes are lost due to delegation cycles or abstaining agents. In order to implement this generalization of liquid democracy, we need to find a principled way of choosing between multiple delegation paths. In this paper, we provide a thorough axiomatic analysis of the space of delegation rules, i.e., functions assigning a feasible delegation path to each delegating agent. In particular, we prove axiomatic characterizations as well as an impossibility result for delegation rules. We also analyze requirements on delegation rules that have been suggested by practitioners, and introduce novel rules with attractive properties. By performing an extensive experimental analysis on synthetic as well as real-world data, we compare delegation rules with respect to several quantitative criteria relating to the chosen paths and the resulting distribution of voting power. Our experiments reveal that delegation rules can be aligned on a spectrum reflecting an inherent trade-off between competing objectives. △ Less

Submitted 14 December, 2021; originally announced December 2021.

Comments: Accepted at AAAI 2022

Participatory Budgeting with Donations and Diversity Constraints

Authors: Jiehua Chen, Martin Lackner, Jan Maly

Abstract: Participatory budgeting (PB) is a democratic process where citizens jointly decide on how to allocate public funds to indivisible projects. This paper focuses on PB processes where citizens may give additional money to projects they want to see funded. We introduce a formal framework for this kind of PB with donations. Our framework also allows for diversity constraints, meaning that each project… ▽ More Participatory budgeting (PB) is a democratic process where citizens jointly decide on how to allocate public funds to indivisible projects. This paper focuses on PB processes where citizens may give additional money to projects they want to see funded. We introduce a formal framework for this kind of PB with donations. Our framework also allows for diversity constraints, meaning that each project belongs to one or more types, and there are lower and upper bounds on the number of projects of the same type that can be funded. We propose three general classes of methods for aggregating the citizens' preferences in the presence of donations and analyze their axiomatic properties. Furthermore, we investigate the computational complexity of determining the outcome of a PB process with donations and of finding a citizen's optimal donation strategy. △ Less

Submitted 30 April, 2021; originally announced April 2021.

Perpetual Voting: The Axiomatic Lens

Authors: Martin Lackner, Jan Maly

Abstract: Perpetual voting was recently introduced as a framework for long-term collective decision making. In this framework, we consider a sequence of subsequent approval-based elections and try to achieve a fair overall outcome. To achieve fairness over time, perpetual voting rules take the history of previous decisions into account and identify voters that were dissatisfied with previous decisions. In t… ▽ More Perpetual voting was recently introduced as a framework for long-term collective decision making. In this framework, we consider a sequence of subsequent approval-based elections and try to achieve a fair overall outcome. To achieve fairness over time, perpetual voting rules take the history of previous decisions into account and identify voters that were dissatisfied with previous decisions. In this paper, we look at perpetual voting rules from an axiomatic perspective and study two main questions. First, we ask how simple such rules can be while still meeting basic desiderata. For two simple but natural classes, we fully characterize the axiomatic possibilities. Second, we ask how proportionality can be formalized in perpetual voting. We study proportionality on simple profiles that are equivalent to the apportionment setting and show that lower and upper quota axioms can be used to distinguish (and sometimes characterize) perpetual voting rules. Furthermore, we show a surprising connection between a perpetual rule called Perpetual Consensus and Frege's apportionment method. △ Less

Submitted 30 April, 2021; originally announced April 2021.

Comments: Scheduled for oral presentation at COMSOC 2021

Phragmén's Voting Methods and Justified Representation

Authors: Markus Brill, Rupert Freeman, Svante Janson, Martin Lackner

Abstract: In the late 19th century, Swedish mathematician Lars Edvard Phragmén proposed a load-balancing approach for selecting committees based on approval ballots. We consider three committee voting rules resulting from this approach: two optimization variants - one minimizing the maximal load and one minimizing the variance of loads - and a sequential variant. We study Phragmén's methods from an axiomati… ▽ More In the late 19th century, Swedish mathematician Lars Edvard Phragmén proposed a load-balancing approach for selecting committees based on approval ballots. We consider three committee voting rules resulting from this approach: two optimization variants - one minimizing the maximal load and one minimizing the variance of loads - and a sequential variant. We study Phragmén's methods from an axiomatic point of view, focusing on properties capturing proportional representation. We show that the sequential variant satisfies proportional justified representation, which is a rare property for committee monotonic methods. Moreover, we show that the optimization variants satisfy perfect representation. We also analyze the computational complexity of Phragmén's methods and provide mixed-integer programming based algorithms for computing them. △ Less

Submitted 4 February, 2023; v1 submitted 24 February, 2021; originally announced February 2021.

Comments: To be published in Mathematical Programming

Theory Manual for the Tuned Mass Damper Module in FAST v8

Authors: William La Cava, Matthew A. Lackner

Abstract: This manual describes the theory underlying new functionality in FAST 8 that simulates the addition of tuned mass dampers in the nacelle for structural control. This manual describes the theory underlying new functionality in FAST 8 that simulates the addition of tuned mass dampers in the nacelle for structural control. △ Less

Submitted 3 August, 2020; originally announced August 2020.

Comments: 9 pages. This is the original version from March 31, 2015

Multi-Winner Voting with Approval Preferences

Authors: Martin Lackner, Piotr Skowron

Abstract: Multi-winner voting is the process of selecting a fixed-size set of representative candidates based on voters' preferences. It occurs in applications ranging from politics (parliamentary elections) to the design of modern computer applications (collaborative filtering, dynamic Q&A platforms, diversifying search results). All these applications share the problem of identifying a representative subs… ▽ More Multi-winner voting is the process of selecting a fixed-size set of representative candidates based on voters' preferences. It occurs in applications ranging from politics (parliamentary elections) to the design of modern computer applications (collaborative filtering, dynamic Q&A platforms, diversifying search results). All these applications share the problem of identifying a representative subset of alternatives -- and the study of multi-winner voting is the principled analysis of this task. This book provides a thorough and in-depth look at multi-winner voting based on approval preferences. One speaks of approval preferences if voters express their preferences by providing a set of candidates they approve. Approval preferences thus separate candidates in approved and disapproved ones, a simple, binary classification. The corresponding multi-winner voting rules are called approval-based committee (ABC) rules. Due to the simplicity of approval preferences, ABC rules are widely suitable for practical use. Recent years have seen a rising interest in ABC voting. While multi-winner voting has been originally a topic studied by economists and political scientists, a significant share of recent progress has occurred in the field of computational social choice. This discipline is situated in the intersection of artificial intelligence, computer science, economics, and (to a lesser degree) political science, combining insights and methods from these distinct fields. The goal of this book is to present fundamental concepts and results for ABC voting and to discuss the recent advances in computational social choice. The main focus is on axiomatic analysis, algorithmic results, and relevant applications. △ Less

Submitted 29 August, 2022; v1 submitted 3 July, 2020; originally announced July 2020.

Comments: This is a draft of the upcoming book "Multi-Winner Voting with Approval Preferences" published by Springer

Journal ref: SpringerBriefs in Intelligent Systems, Springer International Publishing, 2023

Exact and Metaheuristic Approaches for the Production Leveling Problem

Authors: Johannes Vass, Marie-Louise Lackner, Nysret Musliu

Abstract: In this paper we introduce a new problem in the field of production planning which we call the Production Leveling Problem. The task is to assign orders to production periods such that the load in each period and on each production resource is balanced, capacity limits are not exceeded and the orders' priorities are taken into account. Production Leveling is an important intermediate step between… ▽ More In this paper we introduce a new problem in the field of production planning which we call the Production Leveling Problem. The task is to assign orders to production periods such that the load in each period and on each production resource is balanced, capacity limits are not exceeded and the orders' priorities are taken into account. Production Leveling is an important intermediate step between long-term planning and the final scheduling of orders within a production period, as it is responsible for selecting good subsets of orders to be scheduled within each period. A formal model of the problem is proposed and NP-hardness is shown by reduction from Bin Backing. As an exact method for solving moderately sized instances we introduce a MIP formulation. For solving large problem instances, metaheuristic local search is investigated. A greedy heuristic and two neighborhood structures for local search are proposed, in order to apply them using Variable Neighborhood Descent and Simulated Annealing. Regarding exact techniques, the main question of research is, up to which size instances are solvable within a fixed amount of time. For the metaheuristic approaches the aim is to show that they produce near-optimal solutions for smaller instances, but also scale well to very large instances. A set of realistic problem instances from an industrial partner is contributed to the literature, as well as random instance generators. The experimental evaluation conveys that the proposed MIP model works well for instances with up to 250 orders. Out of the investigated metaheuristic approaches, Simulated Annealing achieves the best results. It is shown to produce solutions with less than 3% average optimality gap on small instances and to scale well up to thousands of orders and dozens of periods and products. The presented metaheuristic methods are already being used in the industry. △ Less

Submitted 15 June, 2020; originally announced June 2020.

Comments: Instance set is published under https://dbai.tuwien.ac.at/staff/jvass/production-leveling/

Approval-Based Shortlisting

Authors: Martin Lackner, Jan Maly

Abstract: Shortlisting is the task of reducing a long list of alternatives to a (smaller) set of best or most suitable alternatives. Shortlisting is often used in the nomination process of awards or in recommender systems to display featured objects. In this paper, we analyze shortlisting methods that are based on approval data, a common type of preferences. Furthermore, we assume that the size of the short… ▽ More Shortlisting is the task of reducing a long list of alternatives to a (smaller) set of best or most suitable alternatives. Shortlisting is often used in the nomination process of awards or in recommender systems to display featured objects. In this paper, we analyze shortlisting methods that are based on approval data, a common type of preferences. Furthermore, we assume that the size of the shortlist, i.e., the number of best or most suitable alternatives, is not fixed but determined by the shortlisting method. We axiomatically analyze established and new shortlisting methods and complement this analysis with an experimental evaluation based on synthetic and real-world data. Our results lead to recommendations which shortlisting methods to use, depending on the desired properties. △ Less

Submitted 2 May, 2022; v1 submitted 14 May, 2020; originally announced May 2020.

A Mathematical Analysis of an Election System Proposed by Gottlob Frege

Authors: Paul Harrenstein, Marie-Louise Lackner, Martin Lackner

Abstract: In 1998 a long-lost proposal for an election law by Gottlob Frege (1848--1925) was rediscovered in the Thüringer Universitäts- und Landesbibliothek in Jena, Germany. The method that Frege proposed for the election of representatives of a constituency features a remarkable concern for the representation of minorities. Its core idea is that votes cast for unelected candidates are carried over to the… ▽ More In 1998 a long-lost proposal for an election law by Gottlob Frege (1848--1925) was rediscovered in the Thüringer Universitäts- und Landesbibliothek in Jena, Germany. The method that Frege proposed for the election of representatives of a constituency features a remarkable concern for the representation of minorities. Its core idea is that votes cast for unelected candidates are carried over to the next election, while elected candidates incur a cost of winning. We prove that this sensitivity to past elections guarantees a proportional representation of political opinions in the long run. We find that through a slight modification of Frege's original method even stronger proportionality guarantees can be achieved. This modified version of Frege's method also provides a novel solution to the apportionment problem, which is distinct from all of the best-known apportionment methods, while still possessing noteworthy proportionality properties. △ Less

Submitted 4 September, 2020; v1 submitted 8 July, 2019; originally announced July 2019.

Comments: To appear in Erkenntnis

Incomplete Preferences in Single-Peaked Electorates

Authors: Zack Fitzsimmons, Martin Lackner

Abstract: Incomplete preferences are likely to arise in real-world preference aggregation scenarios. This paper deals with determining whether an incomplete preference profile is single-peaked. This is valuable information since many intractable voting problems become tractable given single-peaked preferences. We prove that the problem of recognizing single-peakedness is \NP-complete for incomplete profiles… ▽ More Incomplete preferences are likely to arise in real-world preference aggregation scenarios. This paper deals with determining whether an incomplete preference profile is single-peaked. This is valuable information since many intractable voting problems become tractable given single-peaked preferences. We prove that the problem of recognizing single-peakedness is \NP-complete for incomplete profiles consisting of partial orders. Despite this intractability result, we find several polynomial-time algorithms for reasonably restricted settings. In particular, we give polynomial-time recognition algorithms for weak orders, which can be viewed as preferences with indifference. △ Less

Submitted 14 April, 2020; v1 submitted 1 July, 2019; originally announced July 2019.

Comments: This work is based on a conference paper by Martin Lackner (AAAI 2014) and a follow-up conference paper by Zack Fitzsimmons (TARK 2015)

Journal ref: Journal of Artificial Intelligence Research 67 (2020) 797-833

On Rational Delegations in Liquid Democracy

Authors: Daan Bloembergen, Davide Grossi, Martin Lackner

Abstract: Liquid democracy is a proxy voting method where proxies are delegable. We propose and study a game-theoretic model of liquid democracy to address the following question: when is it rational for a voter to delegate her vote? We study the existence of pure-strategy Nash equilibria in this model, and how group accuracy is affected by them. We complement these theoretical results by means of agent-bas… ▽ More Liquid democracy is a proxy voting method where proxies are delegable. We propose and study a game-theoretic model of liquid democracy to address the following question: when is it rational for a voter to delegate her vote? We study the existence of pure-strategy Nash equilibria in this model, and how group accuracy is affected by them. We complement these theoretical results by means of agent-based simulations to study the effects of delegations on group's accuracy on variously structured social networks. △ Less

Submitted 20 November, 2018; v1 submitted 22 February, 2018; originally announced February 2018.

Comments: 17 pages, 3 figures. This paper (without Appendix) appears in the proceedings of AAAI'19

Utilitarian Welfare and Representation Guarantees of Approval-Based Multiwinner Rules

Authors: Martin Lackner, Piotr Skowron

Abstract: To choose a suitable multiwinner voting rule is a hard and ambiguous task. Depending on the context, it varies widely what constitutes the choice of an ``optimal'' subset of alternatives. In this paper, we provide a quantitative analysis of multiwinner voting rules using methods from the theory of approximation algorithms---we estimate how well multiwinner rules approximate two extreme objectives:… ▽ More To choose a suitable multiwinner voting rule is a hard and ambiguous task. Depending on the context, it varies widely what constitutes the choice of an ``optimal'' subset of alternatives. In this paper, we provide a quantitative analysis of multiwinner voting rules using methods from the theory of approximation algorithms---we estimate how well multiwinner rules approximate two extreme objectives: a representation criterion defined via the Approval Chamberlin--Courant rule and a utilitarian criterion defined via Multiwinner Approval Voting. With both theoretical and experimental methods, we classify multiwinner rules in terms of their quantitative alignment with these two opposing objectives. Our results provide fundamental information about the nature of multiwinner rules and, in particular, about the necessary tradeoffs when choosing such a rule. △ Less

Submitted 31 August, 2020; v1 submitted 4 January, 2018; originally announced January 2018.

Comments: This work is based on the short paper titled "A quantitative analysis of multi-winner rules" that appeared in the proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019)

Journal ref: Artificial Intelligence, Volume 288, November 2020, 103366

Multiwinner Elections with Diversity Constraints

Authors: Robert Bredereck, Piotr Faliszewski, Ayumi Igarashi, Martin Lackner, Piotr Skowron

Abstract: We develop a model of multiwinner elections that combines performance-based measures of the quality of the committee (such as, e.g., Borda scores of the committee members) with diversity constraints. Specifically, we assume that the candidates have certain attributes (such as being a male or a female, being junior or senior, etc.) and the goal is to elect a committee that, on the one hand, has as… ▽ More We develop a model of multiwinner elections that combines performance-based measures of the quality of the committee (such as, e.g., Borda scores of the committee members) with diversity constraints. Specifically, we assume that the candidates have certain attributes (such as being a male or a female, being junior or senior, etc.) and the goal is to elect a committee that, on the one hand, has as high a score regarding a given performance measure, but that, on the other hand, meets certain requirements (e.g., of the form "at least $30\%$ of the committee members are junior candidates and at least $40\%$ are females"). We analyze the computational complexity of computing winning committees in this model, obtaining polynomial-time algorithms (exact and approximate) and NP-hardness results. We focus on several natural classes of voting rules and diversity constraints. △ Less

Submitted 21 November, 2017; v1 submitted 17 November, 2017; originally announced November 2017.

Comments: A short version of this paper appears in the proceedings of AAAI-18

A dwarf planet class object in the 21:5 resonance with Neptune

Authors: Matthew J. Holman, Matthew J. Payne, Wesley Fraser, Pedro Lacerda, Michele T. Bannister, Michael Lackner, Ying-Tung Chen, Hsing Wen Lin, Kenneth W. Smith, Rositako Kotanekova, David Young, K. Chambers, S. Chastel, L. Denneau, A. Fitzsimmons, H. Flewelling, Tommy Grav, M. Huber, Nick Induni, Rolf-Peter Kudritzki, Alex Krolewski, R. Jedicke, N. Kaiser, E. Lilly, E. Magnier , et al. (11 additional authors not shown)

Abstract: We report the discovery of a $H_r = 3.4\pm0.1$ dwarf planet candidate by the Pan-STARRS Outer Solar System Survey. 2010 JO$_{179}$ is red with $(g-r)=0.88 \pm 0.21$, roughly round, and slowly rotating, with a period of $30.6$ hr. Estimates of its albedo imply a diameter of 600--900~km. Observations sampling the span between 2005--2016 provide an exceptionally well-determined orbit for 2010 JO… ▽ More We report the discovery of a $H_r = 3.4\pm0.1$ dwarf planet candidate by the Pan-STARRS Outer Solar System Survey. 2010 JO$_{179}$ is red with $(g-r)=0.88 \pm 0.21$, roughly round, and slowly rotating, with a period of $30.6$ hr. Estimates of its albedo imply a diameter of 600--900~km. Observations sampling the span between 2005--2016 provide an exceptionally well-determined orbit for 2010 JO$_{179}$, with a semi-major axis of $78.307\pm0.009$ au, distant orbits known to this precision are rare. We find that 2010 JO$_{179}$ librates securely within the 21:5 mean-motion resonance with Neptune on hundred-megayear time scales, joining the small but growing set of known distant dwarf planets on metastable resonant orbits. These imply a substantial trans-Neptunian population that shifts between stability in high-order resonances, the detached population, and the eroding population of the scattering disk. △ Less

Submitted 15 September, 2017; originally announced September 2017.

Consistent Approval-Based Multi-Winner Rules

Authors: Martin Lackner, Piotr Skowron

Abstract: This paper is an axiomatic study of consistent approval-based multi-winner rules, i.e., voting rules that select a fixed-size group of candidates based on approval ballots. We introduce the class of counting rules and provide an axiomatic characterization of this class based on the consistency axiom. Building upon this result, we axiomatically characterize three important consistent multi-winner r… ▽ More This paper is an axiomatic study of consistent approval-based multi-winner rules, i.e., voting rules that select a fixed-size group of candidates based on approval ballots. We introduce the class of counting rules and provide an axiomatic characterization of this class based on the consistency axiom. Building upon this result, we axiomatically characterize three important consistent multi-winner rules: Proportional Approval Voting, Multi-Winner Approval Voting and the Approval Chamberlin--Courant rule. Our results demonstrate the variety of multi-winner rules and illustrate three different, orthogonal principles that multi-winner voting rules may represent: individual excellence, diversity, and proportionality. △ Less

Submitted 23 October, 2019; v1 submitted 8 April, 2017; originally announced April 2017.

Comments: Presented at the 19th ACM Conference on Economics and Computation (EC 2018)

Committees providing EJR can be computed efficiently

Authors: Luis Sánchez-Fernández, Edith Elkind, Martin Lackner

Abstract: We identify a whole family of approval-based multi-winner voting rules that satisfy PJR. Moreover, we identify a subfamily of voting rules within this family that satisfy EJR. All these voting rules can be computed in polynomial time as long as the subalgorithms that characterize each rule within the family are polynomial. One of the voting rules that satisfy EJR can be computed in $O(n m k)$. We identify a whole family of approval-based multi-winner voting rules that satisfy PJR. Moreover, we identify a subfamily of voting rules within this family that satisfy EJR. All these voting rules can be computed in polynomial time as long as the subalgorithms that characterize each rule within the family are polynomial. One of the voting rules that satisfy EJR can be computed in $O(n m k)$. △ Less

Submitted 18 April, 2017; v1 submitted 2 April, 2017; originally announced April 2017.

MSC Class: 91A35 ACM Class: I.2.11; F.2

Optimal Average Satisfaction and Extended Justified Representation in Polynomial Time

Authors: Piotr Skowron, Martin Lackner, Edith Elkind, Luis Sánchez-Fernández

Abstract: In this short note, we describe an approval-based committee selection rule that admits a polynomial-time algorithm and satisfies the Extended Justified Representation (EJR) axiom. This rule is based on approximately maximizing the PAV score, by means of local search. Our proof strategy is to show that this rule provides almost optimal average satisfaction to all cohesive groups of voters, and that… ▽ More In this short note, we describe an approval-based committee selection rule that admits a polynomial-time algorithm and satisfies the Extended Justified Representation (EJR) axiom. This rule is based on approximately maximizing the PAV score, by means of local search. Our proof strategy is to show that this rule provides almost optimal average satisfaction to all cohesive groups of voters, and that high average satisfaction for cohesive groups implies extended justified representation. △ Less

Submitted 2 April, 2017; originally announced April 2017.

The Condorcet Principle for Multiwinner Elections: From Shortlisting to Proportionality

Authors: Haris Aziz, Edith Elkind, Piotr Faliszewski, Martin Lackner, Piotr Skowron

Abstract: We study two notions of stability in multiwinner elections that are based on the Condorcet criterion. The first notion was introduced by Gehrlein: A committee is stable if each committee member is preferred to each non-member by a (possibly weak) majority of voters. The second notion is called local stability (introduced in this paper): A size-$k$ committee is locally stable in an election with… ▽ More We study two notions of stability in multiwinner elections that are based on the Condorcet criterion. The first notion was introduced by Gehrlein: A committee is stable if each committee member is preferred to each non-member by a (possibly weak) majority of voters. The second notion is called local stability (introduced in this paper): A size-$k$ committee is locally stable in an election with $n$ voters if there is no candidate $c$ and no group of more than $\frac{n}{k+1}$ voters such that each voter in this group prefers $c$ to each committee member. We argue that Gehrlein-stable committees are appropriate for shortlisting tasks, and that locally stable committees are better suited for applications that require proportional representation. The goal of this paper is to analyze these notions in detail, explore their compatibility with notions of proportionality, and investigate the computational complexity of related algorithmic tasks. △ Less

Submitted 27 January, 2017; originally announced January 2017.

Proportional Rankings

Authors: Piotr Skowron, Martin Lackner, Markus Brill, Dominik Peters, Edith Elkind

Abstract: In this paper we extend the principle of proportional representation to rankings. We consider the setting where alternatives need to be ranked based on approval preferences. In this setting, proportional representation requires that cohesive groups of voters are represented proportionally in each initial segment of the ranking. Proportional rankings are desirable in situations where initial segmen… ▽ More In this paper we extend the principle of proportional representation to rankings. We consider the setting where alternatives need to be ranked based on approval preferences. In this setting, proportional representation requires that cohesive groups of voters are represented proportionally in each initial segment of the ranking. Proportional rankings are desirable in situations where initial segments of different lengths may be relevant, e.g., hiring decisions (if it is unclear how many positions are to be filled), the presentation of competing proposals on a liquid democracy platform (if it is unclear how many proposals participants are taking into consideration), or recommender systems (if a ranking has to accommodate different user types). We study the proportional representation provided by several ranking methods and prove theoretical guarantees. Furthermore, we experimentally evaluate these methods and present preliminary evidence as to which methods are most suitable for producing proportional rankings. △ Less

Submitted 5 December, 2016; originally announced December 2016.

Proportional Justified Representation

Authors: Luis Sánchez-Fernández, Edith Elkind, Martin Lackner, Norberto Fernández, Jesús A. Fisteus, Pablo Basanta Val, Piotr Skowron

Abstract: The goal of multi-winner elections is to choose a fixed-size committee based on voters' preferences. An important concern in this setting is representation: large groups of voters with cohesive preferences should be adequately represented by the election winners. Recently, Aziz et al. (2015a;2017) proposed two axioms that aim to capture this idea: justified representation (JR) and its strengthenin… ▽ More The goal of multi-winner elections is to choose a fixed-size committee based on voters' preferences. An important concern in this setting is representation: large groups of voters with cohesive preferences should be adequately represented by the election winners. Recently, Aziz et al. (2015a;2017) proposed two axioms that aim to capture this idea: justified representation (JR) and its strengthening extended justified representation (EJR). In this paper, we extend the work of Aziz et al. in several directions. First, we answer an open question of Aziz et al., by showing that Reweighted Approval Voting satisfies JR for $k=3, 4, 5$, but fails it for $k\ge 6$. Second, we observe that EJR is incompatible with the Perfect Representation criterion, which is important for many applications of multi-winner voting, and propose a relaxation of EJR, which we call Proportional Justified Representation (PJR). PJR is more demanding than JR, but, unlike EJR, it is compatible with perfect representation, and a committee that provides PJR can be computed in polynomial time if the committee size divides the number of voters. Moreover, just like EJR, PJR can be used to characterize the classic PAV rule in the class of weighted PAV rules. On the other hand, we show that EJR provides stronger guarantees with respect to average voter satisfaction than PJR does. △ Less

Submitted 29 November, 2016; originally announced November 2016.

Comments: Accepted at the 31st AAAI Conference on Artificial Intelligence (AAAI-17)

Longest increasing subsequences and log concavity

Authors: Miklós Bóna, Marie-Louise Lackner, Bruce Sagan

Abstract: Let $π$ be a permutation of $[n]=\{1,\dots,n\}$ and denote by $\ell(π)$ the length of a longest increasing subsequence of $π$. Let $\ell_{n,k}$ be the number of permutations $π$ of $[n]$ with $\ell(π)=k$. Chen conjectured that the sequence $\ell_{n,1},\ell_{n,2},\dots,\ell_{n,n}$ is log concave for every fixed positive integer $n$. We conjecture that the same is true if one is restricted to consid… ▽ More Let $π$ be a permutation of $[n]=\{1,\dots,n\}$ and denote by $\ell(π)$ the length of a longest increasing subsequence of $π$. Let $\ell_{n,k}$ be the number of permutations $π$ of $[n]$ with $\ell(π)=k$. Chen conjectured that the sequence $\ell_{n,1},\ell_{n,2},\dots,\ell_{n,n}$ is log concave for every fixed positive integer $n$. We conjecture that the same is true if one is restricted to considering involutions and we show that these two conjectures are closely related. We also prove various analogues of these conjectures concerning permutations whose output tableaux under the Robinson-Schensted algorithm have certain shapes. In addition, we present a proof of Deift that part of the limiting distribution is log concave. Various other conjectures are discussed. △ Less

Submitted 27 November, 2015; originally announced November 2015.

Comments: 15 pages, 2 figures

MSC Class: 05A05 (Primary); 05A20; 05E99 (Secondary)

The Complexity of Pattern Matching for $321$-Avoiding and Skew-Merged Permutations

Authors: Michael H. Albert, Marie-Louise Lackner, Martin Lackner, Vincent Vatter

Abstract: The Permutation Pattern Matching problem, asking whether a pattern permutation $π$ is contained in a permutation $τ$, is known to be NP-complete. In this paper we present two polynomial time algorithms for special cases. The first algorithm is applicable if both $π$ and $τ$ are $321$-avoiding; the second is applicable if $π$ and $τ$ are skew-merged. Both algorithms have a runtime of $O(kn)$, where… ▽ More The Permutation Pattern Matching problem, asking whether a pattern permutation $π$ is contained in a permutation $τ$, is known to be NP-complete. In this paper we present two polynomial time algorithms for special cases. The first algorithm is applicable if both $π$ and $τ$ are $321$-avoiding; the second is applicable if $π$ and $τ$ are skew-merged. Both algorithms have a runtime of $O(kn)$, where $k$ is the length of $π$ and $n$ the length of $τ$. △ Less

Submitted 18 December, 2016; v1 submitted 20 October, 2015; originally announced October 2015.

MSC Class: 05A05; 68Q25

Journal ref: Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 2, Permutation Patterns 2015, Permutation Patterns (December 21, 2016) dmtcs:1308

Runs in labelled trees and map**s

Authors: Marie-Louise Lackner, Alois Panholzer

Abstract: We generalize the concept of ascending and descending runs from permutations to rooted labelled trees and map**s, i.e., functions from the set $\{1, \dots, n\}$ into itself. A combinatorial decomposition of the corresponding functional digraph together with a generating functions approach allows us to perform a joint study of ascending and descending runs in labelled trees and map**s, respecti… ▽ More We generalize the concept of ascending and descending runs from permutations to rooted labelled trees and map**s, i.e., functions from the set $\{1, \dots, n\}$ into itself. A combinatorial decomposition of the corresponding functional digraph together with a generating functions approach allows us to perform a joint study of ascending and descending runs in labelled trees and map**s, respectively. From the given characterization of the respective generating functions we can deduce bivariate central limit theorems for these quantities. Furthermore, for ascending runs (or descending runs) we gain explicit enumeration formulae showing a connection to Stirling numbers of the second kind. We also give a bijective proof establishing this relation, and further state a bijection between map**s and labelled trees connecting the quantities in both structures. △ Less

Submitted 2 July, 2020; v1 submitted 20 July, 2015; originally announced July 2015.

Comments: 22 pages, 5 figures

MSC Class: 05A15; 05A16; 05A19

Journal ref: Discrete Mathematics, Volume 343, Issue 9, September 2020, 111990

On the Likelihood of Single-Peaked Preferences

Authors: Marie-Louise Lackner, Martin Lackner

Abstract: This paper contains an extensive combinatorial analysis of the single-peaked domain restriction and investigates the likelihood that an election is single-peaked. We provide a very general upper bound result for domain restrictions that can be defined by certain forbidden configurations. This upper bound implies that many domain restrictions (including the single-peaked restriction) are very unlik… ▽ More This paper contains an extensive combinatorial analysis of the single-peaked domain restriction and investigates the likelihood that an election is single-peaked. We provide a very general upper bound result for domain restrictions that can be defined by certain forbidden configurations. This upper bound implies that many domain restrictions (including the single-peaked restriction) are very unlikely to appear in a random election chosen according to the Impartial Culture assumption. For single-peaked elections, this upper bound can be refined and complemented by a lower bound that is asymptotically tight. In addition, we provide exact results for elections with few voters or candidates. Moreover, we consider the Pólya urn model and the Mallows model and obtain lower bounds showing that single-peakedness is considerably more likely to appear for certain parameterizations. △ Less

Submitted 28 January, 2019; v1 submitted 20 May, 2015; originally announced May 2015.

MSC Class: 05A05; 05A99; 91B14

Journal ref: Soc Choice Welf (2017)

Structure in Dichotomous Preferences

Authors: Edith Elkind, Martin Lackner

Abstract: Many hard computational social choice problems are known to become tractable when voters' preferences belong to a restricted domain, such as those of single-peaked or single-crossing preferences. However, to date, all algorithmic results of this type have been obtained for the setting where each voter's preference list is a total order of candidates. The goal of this paper is to extend this line o… ▽ More Many hard computational social choice problems are known to become tractable when voters' preferences belong to a restricted domain, such as those of single-peaked or single-crossing preferences. However, to date, all algorithmic results of this type have been obtained for the setting where each voter's preference list is a total order of candidates. The goal of this paper is to extend this line of research to the setting where voters' preferences are dichotomous, i.e., each voter approves a subset of candidates and disapproves the remaining candidates. We propose several analogues of the notions of single-peaked and single-crossing preferences for dichotomous profiles and investigate the relationships among them. We then demonstrate that for some of these notions the respective restricted domains admit efficient algorithms for computationally hard approval-based multi-winner rules. △ Less

Submitted 11 February, 2016; v1 submitted 2 May, 2015; originally announced May 2015.

Comments: A preliminary version appeared in the proceedings of IJCAI 2015, the International Joint Conference on Artificial Intelligence

The computational landscape of permutation patterns

Authors: Marie-Louise Bruner, Martin Lackner

Abstract: In the last years, different types of patterns in permutations have been studied: vincular, bivincular and mesh patterns, just to name a few. Every type of permutation pattern naturally defines a corresponding computational problem: Given a pattern P and a permutation T (the text), is P contained in T? In this paper we draw a map of the computational landscape of permutation pattern matching with… ▽ More In the last years, different types of patterns in permutations have been studied: vincular, bivincular and mesh patterns, just to name a few. Every type of permutation pattern naturally defines a corresponding computational problem: Given a pattern P and a permutation T (the text), is P contained in T? In this paper we draw a map of the computational landscape of permutation pattern matching with different types of patterns. We provide a classical complexity analysis and investigate the impact of the pattern length on the computational hardness. Furthermore, we highlight several directions in which the study of computational aspects of permutation patterns could evolve. △ Less

Submitted 14 February, 2014; v1 submitted 2 January, 2013; originally announced January 2013.

Comments: 23 pages, to appear in Journal of Pure and Applied Mathematics, Special Issue for Permutation Patterns 2012

Journal ref: Pure Mathematics and Applications, 24 (2): 83-101, 2013

Computational Aspects of Nearly Single-Peaked Electorates

Authors: Gábor Erdélyi, Martin Lackner, Andreas Pfandler

Abstract: Manipulation, bribery, and control are well-studied ways of changing the outcome of an election. Many voting rules are, in the general case, computationally resistant to some of these manipulative actions. However when restricted to single-peaked electorates, these rules suddenly become easy to manipulate. Recently, Faliszewski, Hemaspaandra, and Hemaspaandra studied the computational complexity o… ▽ More Manipulation, bribery, and control are well-studied ways of changing the outcome of an election. Many voting rules are, in the general case, computationally resistant to some of these manipulative actions. However when restricted to single-peaked electorates, these rules suddenly become easy to manipulate. Recently, Faliszewski, Hemaspaandra, and Hemaspaandra studied the computational complexity of strategic behavior in nearly single-peaked electorates. These are electorates that are not single-peaked but close to it according to some distance measure. In this paper we introduce several new distance measures regarding single-peakedness. We prove that determining whether a given profile is nearly single-peaked is NP-complete in many cases. For one case we present a polynomial-time algorithm. In case the single-peaked axis is given, we show that determining the distance is always possible in polynomial time. Furthermore, we explore the relations between the new notions introduced in this paper and existing notions from the literature. △ Less

Submitted 21 July, 2017; v1 submitted 12 November, 2012; originally announced November 2012.

Comments: Published in the Journal of Artificial Intelligence Research (JAIR). A short version of this paper appeared in the proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2013). An even earlier version appeared in the proceedings of the Fourth International Workshop on Computational Social Choice 2012 (COMSOC 2012)

Journal ref: Journal of Artificial Intelligence Research (JAIR), 58: 297-337 (2017)

A Fast Algorithm for Permutation Pattern Matching Based on Alternating Runs

Authors: Marie-Louise Bruner, Martin Lackner

Abstract: The NP-complete Permutation Pattern Matching problem asks whether a $k$-permutation $P$ is contained in a $n$-permutation $T$ as a pattern. This is the case if there exists an order-preserving embedding of $P$ into $T$. In this paper, we present a fixed-parameter algorithm solving this problem with a worst-case runtime of $\mathcal{O}(1.79^{\mathsf{run}(T)}\cdot n\cdot k)$, where… ▽ More The NP-complete Permutation Pattern Matching problem asks whether a $k$-permutation $P$ is contained in a $n$-permutation $T$ as a pattern. This is the case if there exists an order-preserving embedding of $P$ into $T$. In this paper, we present a fixed-parameter algorithm solving this problem with a worst-case runtime of $\mathcal{O}(1.79^{\mathsf{run}(T)}\cdot n\cdot k)$, where $\mathsf{run}(T)$ denotes the number of alternating runs of $T$. This algorithm is particularly well-suited for instances where $T$ has few runs, i.e., few ups and downs. Moreover, since $\mathsf{run}(T)<n$, this can be seen as a $\mathcal{O}(1.79^{n}\cdot n\cdot k)$ algorithm which is the first to beat the exponential $2^n$ runtime of brute-force search. Furthermore, we prove that under standard complexity theoretic assumptions such a fixed-parameter tractability result is not possible for $\mathsf{run}(P)$. △ Less

Submitted 16 March, 2015; v1 submitted 23 April, 2012; originally announced April 2012.

A W[1]-Completeness Result for Generalized Permutation Pattern Matching

Authors: Marie-Louise Bruner, Martin Lackner

Abstract: The NP-complete Permutation Pattern Matching problem asks whether a permutation P (the pattern) can be matched into a permutation T (the text). A matching is an order-preserving embedding of P into T. In the Generalized Permutation Pattern Matching problem one can additionally enforce that certain adjacent elements in the pattern must be mapped to adjacent elements in the text. This paper studies… ▽ More The NP-complete Permutation Pattern Matching problem asks whether a permutation P (the pattern) can be matched into a permutation T (the text). A matching is an order-preserving embedding of P into T. In the Generalized Permutation Pattern Matching problem one can additionally enforce that certain adjacent elements in the pattern must be mapped to adjacent elements in the text. This paper studies the parameterized complexity of this more general problem. We show W[1]-completeness with respect to the length of the pattern P. Under standard complexity theoretic assumptions this implies that no fixed-parameter tractable algorithm can be found for any parameter depending solely on P. △ Less

Submitted 14 January, 2013; v1 submitted 9 September, 2011; originally announced September 2011.

Comments: The contents of this paper have been integrated in the more comprehensive paper "The computational landscape of permutation patterns", arXiv:1301.0340

MSC Class: 68Q25 ACM Class: F.2.2