-
A hidden Condorcet domain in Loday's realisation of the associahedron
Authors:
Arkadii Slinko
Abstract:
We prove that Loday's polytopal realisation of the nth Tamari lattice T_n, called associahedron, has 2^{n-1} common points with the permutohedron, which form a maximal never-middle (symmetric) Condorcet domain.
We prove that Loday's polytopal realisation of the nth Tamari lattice T_n, called associahedron, has 2^{n-1} common points with the permutohedron, which form a maximal never-middle (symmetric) Condorcet domain.
△ Less
Submitted 22 January, 2025;
originally announced January 2025.
-
A composition of Condorcet domains
Authors:
Dominic Keehan,
Arkadii Slinko
Abstract:
Inspecting known maximal Condorcet domains on 4 variables classified by Tobias Dittrich we find that 9 out of 18 of them are created using a certain composition of smaller domains. In this paper we describe this composition. We give sufficient conditions for the composition of two Condorcet domain to be a maximal Condorcet domain.
Inspecting known maximal Condorcet domains on 4 variables classified by Tobias Dittrich we find that 9 out of 18 of them are created using a certain composition of smaller domains. In this paper we describe this composition. We give sufficient conditions for the composition of two Condorcet domain to be a maximal Condorcet domain.
△ Less
Submitted 12 December, 2024;
originally announced December 2024.
-
A combinatorial representation of Arrow's single-peaked domains
Authors:
Arkadii Slinko
Abstract:
The most studied class of Condorcet domains (acyclic sets of linear orders) is the class of peak-pit domains of maximal width. It has a number of combinatorial representations by such familiar combinatorial objects like rhombus tilings and arrangements of pseudolines. Arrow's single-peaked domains are peak-pit but do not have maximal width. We suggest how to represent them by means of generalised…
▽ More
The most studied class of Condorcet domains (acyclic sets of linear orders) is the class of peak-pit domains of maximal width. It has a number of combinatorial representations by such familiar combinatorial objects like rhombus tilings and arrangements of pseudolines. Arrow's single-peaked domains are peak-pit but do not have maximal width. We suggest how to represent them by means of generalised arrangements of pseudolines.
△ Less
Submitted 6 December, 2024;
originally announced December 2024.
-
A family of Condorcet domains that are single-peaked on a circle
Authors:
Arkadii Slinko
Abstract:
Fishburn's alternating scheme domains occupy a special place in the theory of Condorcet domains. Karpov (2023) generalised these domains and made an interesting observation proving that all of them are single-picked on a circle. However, an important point that all generalised Fishburn domains are maximal Condorcet domain remained unproved. We fill this gap and suggest a new combinatorial interpre…
▽ More
Fishburn's alternating scheme domains occupy a special place in the theory of Condorcet domains. Karpov (2023) generalised these domains and made an interesting observation proving that all of them are single-picked on a circle. However, an important point that all generalised Fishburn domains are maximal Condorcet domain remained unproved. We fill this gap and suggest a new combinatorial interpretation of generalised Fishburn's domains which provide a constructive proof of single-peakedness of these domains on a circle. We show that classical single-peaked domains and single-dipped domains as well as Fishburn's alternating scheme domains belong to this family of domains while single-crossing domains do not.
△ Less
Submitted 23 October, 2023;
originally announced October 2023.
-
Generalisation of the Danilov-Karzanov-Koshevoy Construction for Peak-Pit Condorcet Domains
Authors:
Arkadii Slinko
Abstract:
Danilov, Karzanov and Koshevoy (2012) geometrically introduced an interesting operation of composition on tiling Condorcet domains and using it they disproved a long-standing problem of Fishburn about the maximal size of connected Condorcet domains. We give an algebraic definition of this operation and investigate its properties. We give a precise formula for the cardinality of composition of two…
▽ More
Danilov, Karzanov and Koshevoy (2012) geometrically introduced an interesting operation of composition on tiling Condorcet domains and using it they disproved a long-standing problem of Fishburn about the maximal size of connected Condorcet domains. We give an algebraic definition of this operation and investigate its properties. We give a precise formula for the cardinality of composition of two Condorcet domains and improve the Danilov, Karzanov and Koshevoy result showing that Fishburn's alternating scheme does not always define a largest peak-pit Condorcet domain.
△ Less
Submitted 16 May, 2020;
originally announced May 2020.
-
Absolute Primes
Authors:
Arkadii Slinko
Abstract:
This is a survey article outlining what is known about absolute primes.
This is a survey article outlining what is known about absolute primes.
△ Less
Submitted 21 November, 2018;
originally announced November 2018.
-
Condorcet Domains, Median Graphs and the Single Crossing Property
Authors:
Clemens Puppe,
Arkadii Slinko
Abstract:
Condorcet domains are sets of linear orders with the property that, whenever the preferences of all voters belong to this set, the majority relation has no cycles. We observe that, without loss of generality, such domain can be assumed to be closed in the sense that it contains the majority relation of every profile with an odd number of individuals whose preferences belong to this domain.
We sh…
▽ More
Condorcet domains are sets of linear orders with the property that, whenever the preferences of all voters belong to this set, the majority relation has no cycles. We observe that, without loss of generality, such domain can be assumed to be closed in the sense that it contains the majority relation of every profile with an odd number of individuals whose preferences belong to this domain.
We show that every closed Condorcet domain is naturally endowed with the structure of a median graph and that, conversely, every median graph is associated with a closed Condorcet domain (which may not be a unique one). The subclass of those Condorcet domains that correspond to linear graphs (chains) are exactly the preference domains with the classical single crossing property. As a corollary, we obtain that the domains with the so-called `representative voter property' (with the exception of a 4-cycle) are the single crossing domains.
Maximality of a Condorcet domain imposes additional restrictions on the underlying median graph. We prove that among all trees only the chains can induce maximal Condorcet domains, and we characterize the single crossing domains that in fact do correspond to maximal Condorcet domains.
Finally, using Nehring's and Puppe's (2007) characterization of monotone Arrowian aggregation, our analysis yields a rich class of strategy-proof social choice functions on any closed Condorcet domain.
△ Less
Submitted 18 May, 2016; v1 submitted 29 July, 2015;
originally announced July 2015.
-
Generalizing the Single-Crossing Property on Lines and Trees to Intermediate Preferences on Median Graphs
Authors:
Adam Clearwater,
Clemens Puppe,
Arkadii Slinko
Abstract:
Demange (2012) generalized the classical single-crossing property to the intermediate property on median graphs and proved that the representative voter theorem still holds for this more general framework. We complement her result with proving that the linear orders of any profile which is intermediate on a median graph form a Condorcet domain. We prove that for any median graph there exists a pro…
▽ More
Demange (2012) generalized the classical single-crossing property to the intermediate property on median graphs and proved that the representative voter theorem still holds for this more general framework. We complement her result with proving that the linear orders of any profile which is intermediate on a median graph form a Condorcet domain. We prove that for any median graph there exists a profile that is intermediate with respect to that graph and that one may need at least as many alternatives as vertices to construct such a profile. We provide a polynomial-time algorithm to recognize whether or not a given profile is intermediate with respect to some median graph. Finally, we show that finding winners for the Chamberlin-Courant rule is polynomial-time solvable for profiles that are single-crossing on a tree.
△ Less
Submitted 25 May, 2015;
originally announced May 2015.
-
Noncoherent initial ideals in exterior algebras
Authors:
Dominic Searles,
Arkadii Slinko
Abstract:
We construct a noncoherent initial ideal of an ideal in the exterior algebra of order 6, answering a question of D. Maclagan (2000). We also give a method for constructing noncoherent initial ideals in exterior algebras using certain noncoherent term orders.
We construct a noncoherent initial ideal of an ideal in the exterior algebra of order 6, answering a question of D. Maclagan (2000). We also give a method for constructing noncoherent initial ideals in exterior algebras using certain noncoherent term orders.
△ Less
Submitted 24 July, 2014;
originally announced July 2014.
-
A Characterization of Ideal Weighted Secret Sharing Schemes
Authors:
Ali Hameed,
Arkadii Slinko
Abstract:
Beimel, Tassa and Weinreb (2008) and Farras and Padro (2010) partially characterized access structures of ideal weighted threshold secret sharing schemes in terms of the operation of composition. They classified indecomposable ideal weighted threshold access structures, and proved that any other ideal weighted threshold access structure is a composition of indecomposable ones. It remained unclear…
▽ More
Beimel, Tassa and Weinreb (2008) and Farras and Padro (2010) partially characterized access structures of ideal weighted threshold secret sharing schemes in terms of the operation of composition. They classified indecomposable ideal weighted threshold access structures, and proved that any other ideal weighted threshold access structure is a composition of indecomposable ones. It remained unclear which compositions of indecomposable weighted threshold access structures are weighted. In this paper we fill the gap. Using game-theoretic techniques we determine which compositions of indecomposable ideal access structures are weighted, and obtain an if and only if characterization of ideal weighted threshold secret sharing schemes.
△ Less
Submitted 17 August, 2013;
originally announced August 2013.
-
Roughly Weighted Hierarchical Simple Games
Authors:
Ali Hameed,
Arkadii Slinko
Abstract:
Hierarchical simple games - both disjunctive and conjunctive - are natural generalizations of simple majority games. They take their origin in the theory of secret sharing. Another important generalization of simple majority games with origin in economics and politics are weighted and roughly weighted majority games. In this paper we characterize roughly weighted hierarchical games identifying whe…
▽ More
Hierarchical simple games - both disjunctive and conjunctive - are natural generalizations of simple majority games. They take their origin in the theory of secret sharing. Another important generalization of simple majority games with origin in economics and politics are weighted and roughly weighted majority games. In this paper we characterize roughly weighted hierarchical games identifying where the two approaches coincide.
△ Less
Submitted 9 May, 2012;
originally announced May 2012.
-
Simplicial Complexes Obtained from Qualitative Probability Orders
Authors:
Paul H. Edelman,
Tatyana Gvozdeva,
Arkadii Slinko
Abstract:
In this paper we inititate the study of abstract simplicial complexes which are initial segments of qualitative probability orders. This is a natural class that contains the threshold complexes and is contained in the shifted complexes, but is equal to neither. In particular we construct a qualitative probability order on 26 atoms that has an initial segment which is not a threshold simplicial com…
▽ More
In this paper we inititate the study of abstract simplicial complexes which are initial segments of qualitative probability orders. This is a natural class that contains the threshold complexes and is contained in the shifted complexes, but is equal to neither. In particular we construct a qualitative probability order on 26 atoms that has an initial segment which is not a threshold simplicial complex. Although 26 is probably not the minimal number for which such example exists we provide some evidence that it cannot be much smaller. We prove some necessary conditions for this class and make a conjecture as to a characterization of them. The conjectured characterization relies on some ideas from cooperative game theory.
△ Less
Submitted 18 August, 2011;
originally announced August 2011.
-
On the Number of Facets of Polytopes Representing Comparative Probability Orders
Authors:
Ilya Chevyrev,
Dominic Searles,
Arkadii Slinko
Abstract:
Fine and Gill (1973) introduced the geometric representation for those comparative probability orders on n atoms that have an underlying probability measure. In this representation every such comparative probability order is represented by a region of a certain hyperplane arrangement. Maclagan (1999) asked how many facets a polytope, which is the closure of such a region, might have. We prove that…
▽ More
Fine and Gill (1973) introduced the geometric representation for those comparative probability orders on n atoms that have an underlying probability measure. In this representation every such comparative probability order is represented by a region of a certain hyperplane arrangement. Maclagan (1999) asked how many facets a polytope, which is the closure of such a region, might have. We prove that the maximal number of facets is at least F_{n+1}, where F_n is the nth Fibonacci number. We conjecture that this lower bound is sharp. Our proof is combinatorial and makes use of the concept of flippable pairs introduced by Maclagan. We also obtain an upper bound which is not too far from the lower bound.
△ Less
Submitted 21 March, 2011;
originally announced March 2011.
-
Hierarchical Simple Games: Representations and Weightedness
Authors:
Tatiana Gvozdeva,
Ali Hameed,
Arkadii Slinko
Abstract:
In many situations, both in human and artificial societies, cooperating agents have different status with respect to the activity and it is not uncommon that certain actions are only allowed to coalitions that satisfy certain criteria, e.g., to sufficiently large coalitions or coalitions which involve players of sufficient seniority. Simmons (1988) formalized this idea in the context of secret sha…
▽ More
In many situations, both in human and artificial societies, cooperating agents have different status with respect to the activity and it is not uncommon that certain actions are only allowed to coalitions that satisfy certain criteria, e.g., to sufficiently large coalitions or coalitions which involve players of sufficient seniority. Simmons (1988) formalized this idea in the context of secret sharing schemes by defining the concept of a (disjunctive) hierarchical access structure. Tassa (2007) introduced their conjunctive counterpart. From the game theory perspective access structures in secret sharing schemes are simple games.
In this paper we prove the duality between disjunctive and conjunctive hierarchical games. We introduce a canonical representation theorem for both types of hierarchical games and characterize disjunctive ones as complete games with a unique shift-maximal losing coalition. We give a short combinatorial proof of the Beimel-Tassa-Weinreb (2008) characterization of weighted disjunctive hierarchical games. By duality we get similar theorems for conjunctive hierarchical games.
△ Less
Submitted 12 March, 2011;
originally announced March 2011.
-
Weighted and Roughly Weighted Simple Games
Authors:
T. Gvozdeva,
A. Slinko
Abstract:
This paper contributes to the program of numerical characterisation and classification of simple games outlined in the classical monograph of von Neumann and Morgenstern (1944). One of the most fundamental questions of this program is what makes a simple game a weighted majority game. The necessary and sufficient conditions that guarantee weightedness were obtained by Elgot (1961) and refined by…
▽ More
This paper contributes to the program of numerical characterisation and classification of simple games outlined in the classical monograph of von Neumann and Morgenstern (1944). One of the most fundamental questions of this program is what makes a simple game a weighted majority game. The necessary and sufficient conditions that guarantee weightedness were obtained by Elgot (1961) and refined by Taylor and Zwicker (1992). If a simple game does not have weights, then rough weights may serve as a reasonable substitute (see their use in Taylor and Zwicker, 1992). A simple game is roughly weighted if there exists a system of weights and a threshold such that all coalitions whose combined weight is above the threshold are winning and all coalitions whose combined weight is below the threshold are losing and a tie-breaking is needed to classify the coalitions whose combined weight is exactly the threshold. Not all simple games are roughly weighted, and the class of projective games is a prime example.
In this paper we give necessary and sufficient conditions for a simple game to have rough weights. We define two functions f(n) and g(n) that measure the deviation of a simple game from a weighted majority game and roughly weighted majority game, respectively. We formulate known results in terms of lower and upper bounds for these functions and improve those bounds. We also investigate rough weightedness of simle games with a small number of players.
△ Less
Submitted 29 December, 2009;
originally announced December 2009.
