$\varepsilon$-fractional Core Stability in Hedonic Games

Hedonic Games (HGs) are a classical framework modeling coalition formation of strategic agents guided by their individual preferences. According to these preferences, it is desirable that a coalition structure (i.e. a partition of agents into coalitions) satisfies some form of stability. The most well-known and natural of such notions is arguably core-stability. Informally, a partition is core-stable if no subset of agents would like to deviate by regrouping in a so-called core-blocking coalition. Unfortunately, core-stable partitions seldom exist and even when they do, it is often computationally intractable to find one. To circumvent these problems, we propose the notion of $\varepsilon$-fractional core-stability, where at most an $\varepsilon$-fraction of all possible coalitions is allowed to core-block. It turns out that such a relaxation may guarantee both existence and polynomial-time computation. Specifically, we design efficient algorithms returning an $\varepsilon$-fractional core-stable partition, with $\varepsilon$ exponentially decreasing in the number of agents, for two fundamental classes of HGs: Simple Fractional and Anonymous. From a probabilistic point of view, being the definition of $\varepsilon$-fractional core equivalent to requiring that uniformly sampled coalitions core-block with probability lower than $\varepsilon$, we further extend the definition to handle more complex sampling distributions. Along this line, when valuations have to be learned from samples in a PAC-learning fashion, we give positive and negative results on which distributions allow the efficient computation of outcomes that are $\varepsilon$-fractional core-stable with arbitrarily high confidence.

Paper

Similar papers

Peer review

Reviewer psiE6/10 · confidence 4/52023-06-20

Summary

This paper introduces the concept of an $\epsilon$-fractional core stability, relaxing the standard notion of core stability by allowing at most an $\epsilon$ fraction of all possible outcomes to core-block. They show that for sufficiently small values of $\epsilon$, $\epsilon$-fractional core stability always exists and can be computed in polynomial time for certain important subclasses of hedonic games, bypassing well-known difficulties with the usual notion of core stability. They also provide learning algorithms with PAC-type guarantees for identifying $\epsilon$-fractional core-stable outcomes under a broad class of underlying distributions over coalitions, as well as negative results for arbitrary distributions.

Strengths

The paper makes a concrete contribution in the algorithmic study of core-stability notions in important classes of hedonic games, namely simple fractional and anonymous hedonic games. More precisely, the usual notion of core stability is known to suffer from two major drawbacks: it is not universal, and even when it exists it can be hard compute. As a result, different relaxations have been studied over the years that try to address those issues. This paper lies in this line of work, proposing a natural relaxation that only requires most of the coalitions to not be core-blocking. Moreover, they provide a number of non-trivial positive and negative results under this new concept. As such, I believe it makes concrete contributions in this line of work, the results have been nicely placed into the existing literature, and the paper can bring much interesting future work. Moreover, the paper is well-written and structured, and all the important ideas and techniques and sufficiently exposed in the main body. I did not find any notable issue in the technical part/proofs. The results appear to be sound.

Weaknesses

One notable weakness is that the central definition of the paper (Definition 3.1), albeit quite natural, is not entirely uncontroversial: the fact that most coalitions are not core-blocking may not be sufficient for certain scenarios. That is, it is not clear whether the introduced notion of fractional core stability is an appropriate notion of stability in hedonic games. It would be good to see some more motivation and suitable applications for this definition, as well scenarios wherein this notion fails to provide meaningful guarantees. Besides the issue above, another weakness is that most of the results follow rather directly from prior work and standard techniques, but I don't view this as a basis for rejection.

Questions

Some minor issues: 1. Technically speaking, the term $2^{-n^{1/3}}$ (for example in Theorem 5.1) is sub exponential, so maybe it is worth rephrasing the claims that $\epsilon$ is decreasing exponentially with the number of players (but I leave this up to the authors). 2. There is something off with the citation style; for example, Line 89 reads "Donahue u. Kleinberg" instead of "Donahue and Kleinberg." This also occurs in many places. 3. There are missing punctuation marks in some equations throughout the paper. 4. Regarding the title, maybe it is worth considering either removing the word "epsilon" or replacing "epsilon" with $\epsilon$; currently it reads slightly weird.

Rating

6: Weak Accept: Technically solid, moderate-to-high impact paper, with no major concerns with respect to evaluation, resources, reproducibility, ethical considerations.

Confidence

4: You are confident in your assessment, but not absolutely certain. It is unlikely, but not impossible, that you did not understand some parts of the submission or that you are unfamiliar with some pieces of related work.

Soundness

3 good

Presentation

3 good

Contribution

3 good

Limitations

The authors have adequately addressed the limitations.

Reviewer ot5e7/10 · confidence 3/52023-07-06

Summary

The manuscript at hand proposes a novel relaxation of core stability in coalition formation games, called eps-fractional core stability, which can be viewed as a requirement that a coalition selected uniformly at random from the set of all coalitions (conceptually choices according to some other distribution are also permitted, but the results in the submission are all for uniform selection) witnesses classic core instability with probability at most eps. While this is a relaxation of core stability, just like core stability, it cannot always be achieved, even for uniform distributions, fractional hedonic games and anonymous hedonic games. These impossibility results hold for a constant choice of eps, but on the other hand in these settings, the submission shows that eps-fractional core stable partitions exists for eps growing exponentially in the number of agents.

Strengths

The motivating criticism of previous relaxations of core stability is justified and the proposed model is natural from a certain probably-not-discovering-core-instability perspective. The quality of the writeup is high and I did not find any technical errors.

Weaknesses

I find that it would be justified to contextualise the newly introduced stability notion with respect to more classic ones. For example, from my understanding, eps-fractional core stable outcomes are not even necessarily individually rational which can be viewed as extremely unnatural and should at least be discussed and possibly even somewhat justified. On a related note, I do not really see how the definition reflects the fact that `the probability that groups of agents improve meeting by chance is very low' (l 53). Why would the probability that a coalition meets be uniform in the number of all coalitions. Naively, I would expect something more like the probability of each agent being included in a coalition be i.i.d. with some probability, meaning that small coalitions would be much more likely to meet. I think it would be good it the uniform selection of coalitions from the set of all coalitions could be motivated a bit more. In terms of presentation, I do not understand why the impossibility results are stated as existence of some distribution results. Would it not strengthen the statements if one would simply say that D is the uniform distribution? The authors satisfactorily addressed all weaknesses in the rebuttal period and I have changed my score to reflect this.

Questions

Can you address my concerns above about the naturalness of eps-fractional core stability and the motivation of uniformly selecting coalitions from the set of all coalitions?

Rating

7: Accept: Technically solid paper, with high impact on at least one sub-area, or moderate-to-high impact on more than one areas, with good-to-excellent evaluation, resources, reproducibility, and no unaddressed ethical considerations.

Confidence

3: You are fairly confident in your assessment. It is possible that you did not understand some parts of the submission or that you are unfamiliar with some pieces of related work. Math/other details were not carefully checked.

Soundness

3 good

Presentation

2 fair

Contribution

3 good

Limitations

No concerns.

Reviewer UFzk5/10 · confidence 3/52023-07-07

Summary

This paper introduces and studies the concept of epsilon-fractional core stability in Hedonic Games (HGs), which is a natural relaxation of core stability where a small ratio (or a small probability mass) of coalitions is allowed to core-block. The paper shows that this notion is very flexible and resilient to possible uncertainty of agents’ preferences. The paper provides positive results for two fundamental classes of HGs under reasonable assumptions on the considered distributions. Specifically, the paper designs efficient algorithms returning an epsilon-fractional core-stable partition, with epsilon exponentially decreasing in the number of agents, for two classes of HGs: Simple Fractional and Anonymous. On the negative side, the authors also prove that by allowing arbitrary sampling distributions an epsilon -FC may fail to exist for constant values of epsilon. As discussed in the paper, the concept of epsilon-fractional core stability may stipulate subsequent work, including extending the positive results for simple fractional HGs to the more general class of lambda-bounded distributions, investigating the best guarantee for general distributions, and exploring other HG classes that have not been considered in the paper.

Strengths

+ The new concept of epsilon-fractional core stability is a natural relaxation of core stability, which deserves to be studied as core-stable partitions seldom exist ( and even when they do it is often computationally intractable to find one).

Weaknesses

- The Introduction of the paper immediately dives into technical details, which may overwhelm readers. - There are clear gaps in the results. It will be much better if the results for simple fractional HGs to the more general class of lambda-bounded distributions. As the first work on of epsilon-fractional core stability, I do not view this as a serious drawback.

Questions

Extending the results for simple fractional HGs to lambda-bounded distributions is not a trivial task. Can the authors briefly discuss the difficulties here? The authors answered the question in detail in the rebuttal. Thanks!

Rating

5: Borderline accept: Technically solid paper where reasons to accept outweigh reasons to reject, e.g., limited evaluation. Please use sparingly.

Confidence

3: You are fairly confident in your assessment. It is possible that you did not understand some parts of the submission or that you are unfamiliar with some pieces of related work. Math/other details were not carefully checked.

Soundness

3 good

Presentation

3 good

Contribution

3 good

Limitations

NA

Reviewer eoec5/10 · confidence 2/52023-07-07

Summary

This paper studies the problem of finding a core-stable partition in the hedonic games. As core-stable partitions seldom exist and they are usually hard to compute, the authors propose a relaxed notion of epsilon-fractional core-stable partitions, in which at most epsilon-fraction of all possible coalitions can core-block the partition. The authors show that the existence of epsilon-fractional core-stable partition depends on the distribution of sampling partitions that are allowed to core-block using the notion of lambda-bounded distributions. With constant lambdas, the authors design efficient algorithms to compute a epsilon-fractional core-stable partition.

Strengths

1. This paper is generally well-written and clear. The problem studied in this paper is interesting and relevant to the algorithmic game theory community. 2. This paper provides an almost complete picture of the problem being studied. The results are non-trivial and technically strong.

Weaknesses

1. It is unclear whether Algorithm 1 can only be applied to uniform distributions.

Questions

1. What is the dependence on lambda in Theorem 5.1? Does it only apply to uniform distributions, i.e., when lambda = 1?

Rating

5: Borderline accept: Technically solid paper where reasons to accept outweigh reasons to reject, e.g., limited evaluation. Please use sparingly.

Confidence

2: You are willing to defend your assessment, but it is quite likely that you did not understand the central parts of the submission or that you are unfamiliar with some pieces of related work. Math/other details were not carefully checked.

Soundness

3 good

Presentation

3 good

Contribution

3 good

Limitations

The authors adequately addressed the limitations.

Reviewer 1m1t7/10 · confidence 3/52023-07-27

Summary

This paper is a theory paper analyzing the stability characteristics of the Hedonic Game (HGs). HGs are a class of problems that partition agents considering their preferences. The core stability is the most important characteristic, which measures how well the agents' preferences are fulfilled. Specifically, this paper analyzes the \epsilon-fractional core (\epsilon-FC) stability, which means less than the coalitions of a ratio \epsilon is core-blocked, i.e., the preference was not fulfilled. In short, the paper analyzes famous classes of HGs, simple fractional and anonymous HGs, and shows that we can find \epsilon-FC solutions if \epsilon is large enough under \lambda-bounded distribution, which bounds the size of coalitions so that they are not too unbalanced. The paper also develops algorithms to find the \epsilon-FC solutions for those HG classes.

Strengths

+ Though I am not familiar with HGs, the definition of \epsilon-FC and the settings of simple-fractional and anonymous HGs seems to be natural to many practical scenarios. Therefore, I consider this work to be useful for not only theoretical aspects but also practical applications deemed as HGs. + The theory part is well written, which can be easily understood by readers outside HGs (or even outside game theory, like me; I personally enjoyed reading the paper.)

Weaknesses

- As described in the intros and related work sections, the \epsilon-FC stability is quite similar to PAC stability. [27] has shown PAC stability under \lambda-bounded distribution but in different games (W-games). Since I consider the theoretical aspect regarding the analysis of \epsilon-FC may be similar for many contexts, the theoretical contribution of this paper may be falling in a specific part, in other words, extending the work [27] to different games (i.e., HGs). - Since the existence of \epsilon-FC solutions is bounded by an equation using \epsilon and \lambda relying on the number of agents, in practical scenarios, it might be difficult to find \epsilon-FC for some realistic settings.

Questions

Q. Theoretical difference from [27]. Specifically, do we require notably different derivations and/or algorithms between PAC stability for W-games and \epsilon-FC for HGs? Q. Can we find several practical examples in which cases (i.e., combinations of \lambda, \epsilon, and the number of agents) we can find \epsilon-FC-stabilized partitions? This would be quite useful to understand the usability of the proposed method intuitively.

Rating

7: Accept: Technically solid paper, with high impact on at least one sub-area, or moderate-to-high impact on more than one areas, with good-to-excellent evaluation, resources, reproducibility, and no unaddressed ethical considerations.

Confidence

3: You are fairly confident in your assessment. It is possible that you did not understand some parts of the submission or that you are unfamiliar with some pieces of related work. Math/other details were not carefully checked.

Soundness

4 excellent

Presentation

4 excellent

Contribution

3 good

Limitations

For the theoretical aspect, I did not find notable limitations.

Reviewer psiE2023-08-10

I thank the authors for the detailed response.

Reviewer UFzk2023-08-16

Thank you for the helpful response. I do not have additional questions.

Reviewer ot5e2023-08-16

Thank you for your careful and detailed response. The promised discussion on the relationship to and possibility of including IR sufficiently address this point of concern for me. The response about the statement of the impossibility results also completely alleviate what I now think was just me being confused. Regarding the last point raised by me about the naturalness of the distributions, I appreciate the response of the authors and the fact that the iid inclusion of agents in possible blocking coalitions will be pointed out in the paper. I still disagree with the sentence including `the probability that groups of agents improve meeting by chance is very low' (l 53 of the original submission) and encourage the authors to change its phrasing, possibly in connection with the added remark about iid inclusion of agents in blocking coalitions. However, I trust that this is something that the authors will address appropriately and therefore revise my score to recommend acceptance.

Reviewer 1m1t2023-08-17

Thanks for the detailed responses!

Reviewer eoec2023-08-18

Thank you for the detailed response! I don't have other questions.

Program Chairsdecision2023-09-21

Decision

Accept (poster)

© 2026 NYSGPT2525 LLC