8

Consider a complete information game being played between two players given five objects. Players have certain preferences over the objects and each simultaneously places a sealed bid-vector to win them. For each object, the highest bidder wins it (ties are broken by giving each player exactly half of the tied object except when both bid $0$, in which case the object is not distributed).

  • Preferences: Suppose player $i$ derives a payoff of $u_{ij} \in \mathbb{R}_{\geq 0}$ when he wins object $j$. If he wins half of $j$, then his payoff is $\frac{1}{2} u_{ij}$. The values $u_{ij}$ are given beforehand.

  • Payoffs: Define $1_{ij}$ as the indicator function that is assigned the value $1$ if player $i$ entirely wins object $j$, value $0.5$ if player $i$ wins half of $j$ and $0$ otherwise.

    Player $i$’s total payoff after the game concludes is given by $\displaystyle \sum_{j \in M} \left(1_{ij} \cdot u_{ij}\right)$ where $M$ is the set of five objects. That is, the sum of payoffs over all objects won.

  • Strategies: Each player begins with $\$ 1$. Player $i$’s strategy bid-vector is given by $B_i = [b_{i1}, b_{i2}, b_{i3}, b_{i4}, b_{i5}]$ such that $\sum_{j=1}^{5} b_{ij} \leq 1$ where $b_{ij}$ denotes the (non-negative) amount he bid for object $j$.

If the preferences $u_{ij}$’s are given beforehand, can we compute the set of all mixed strategy Nash equilibria?


Just to clarify, a Nash Equilibrium is when no player can place a (mixed-strategy) bid-vector that strictly increases his overall payoff.

In the earlier version of this post (pre-edit), I had included some of my thoughts and approach. However, that turned out to be completely incorrect and hence is removed from the post.

The goal obviously is to work out for the case where the number of players and objects are arbitrary. If anyone is interested in that direction, you are welcome.

Rócherz
  • 4,241
  • I think a major difficulty is that the space of strategies is quite big. There are possibly uncountably many mixed equilibrium strategies based on discrete r.v.'s only. – Ma Ye Apr 04 '25 at 09:02
  • @MaYe Indeed so, it's terrifyingly large. However, I am hoping that the identical nature between both players' strategy sets may help. Again, can't really say much. – breakfasttheorist Apr 04 '25 at 09:26
  • Do players know utility functions of their rivals before bidding? Do players observe all of the previous round bids? Can bids be decreased? – Green.H Apr 04 '25 at 09:26
  • 1
    @Green.H Yes, players are aware of each other's utility functions. It's a complete information game. Moreover, players simultaneously bid only once (as I have mentioned in the opening line of the post), so there's no question of observing previous bids. Basically, each player places a bid-vector like [0.2, 0.3, 0.1, 0.1] where the bids add up to at most 1 (0.7, in this case). – breakfasttheorist Apr 04 '25 at 09:28
  • A few more questions: should not the bids be explicitly included into the total payoff function? Are there any restrictions on the utility functions, except that they are positive? – Green.H Apr 04 '25 at 09:39
  • @Green.H The bids are included in the payoff function. The bids of the two players determine $1_{ij}$ which in turn gives the payoff. For instance, if $1$ bids [0, 0.2, 0, 0.5] and $2$ bids [0, 0.2, 0.8, 0], then $1_{12} = 0.5 = 1_{22}$ which says that both players have bid the same for the second object ($j=2$), so each player receives $0.5$ of the object. Now that half gets multiplied with the utility $u_{i2}$ of player $i$. As for restrictions, no, the only restriction is that utilities are non-negative (not necessarily positive). – breakfasttheorist Apr 04 '25 at 09:48
  • So if we focus on object 2 in your example (btw, there are 5 objects in your OP not 4), the total payoff from winning for player $i$ is $u_{i2}/2$ and not $u_{i2}/2 - 0.2$, is it what you are saying? – Green.H Apr 04 '25 at 10:03
  • @Green.H Extremely sorry for the delay; I got a bit busy. As for the payoff, you're right: we do not deduct $0.2$ (or the payment for the object) from the utility. – breakfasttheorist Apr 04 '25 at 12:04
  • If the sum of bid is less than 1, do you add the complement to the total payoff? – Christophe Boilley Apr 05 '25 at 11:23
  • @ChristopheBoilley No, we do not. The money affects the payoff only and only through the bids. Neither do you subtract the bids from the utility (payoff) nor do you add the leftover to the utility (payoff). – breakfasttheorist Apr 05 '25 at 11:24

1 Answers1

2

First note that your payoff is not continuous, because of the zero-payoff when bid is zero. There might happen that no Nash equilibrium exists.

Let's start with a simpler situation, with only 2 objects. We can assume also WLOG that the sum of bids is $1$ for all players.

  • If a player has equal payoffs, they can play any bid-vector provided that all bids are nonzero (for nonzero payoffs), e.g. $0.5$ on each. The other player choose its preferred object (or plays $0.5$ with equal payoffs).
  • If a player has a preferred object with a payoff greater than the double of the other object, they bid $1$ on it. If both players are on this case with the same preferred object, nobody will gain the other object, else the other player bids on the remaining object.
  • If players have different preferred objects, then each one bids only on it.
  • In the last case both players have the same preferred object with a payoff less than the double of the other object. This case needs more details below.

If we allow only bids of the form $\frac kn$ with $n$ fixed, then the strategies with $1$ or $\frac{n-1}{n}$ on the preferred object dominate the others.

The expected value of the payoff for player $1$ becomes $$(1-a_{1,n})a_{2,n}u_{1,2}+(1-a_{1,n})(1-a_{2,n})\frac{u_{1,1}+u_{1,2}}{2}+a_{1,n}a_{2,n}\frac{u_{1,1}}{2}+a_{1,n}(1-a_{2,n})u_{1,1}$$

The first order conditions give: $$a_{2,n}u_{1,2}+(1-a_{2,n})\frac{u_{1,1}+u_{1,2}}{2}=a_{2,n}\frac{u_{1,1}}{2}+(1-a_{2,n})u_{1,1}\\ \iff a_{2,n}=\frac{u_{1,1}-u_{1,2}}{u_{1,2}}$$

Symmetrically, we get $$a_{1,n}=\frac{u_{2,1}-u_{2,2}}{u_{2,2}}$$

But you cannot let $n\to+\infty$, because that would lead each player to bid arbitrarily near $1$ on their preferred choice.

Nevertheless you keep two equilibria when players bid $1$ on different objects (while they prefer the same), but it won't be chosen, since both will try to play the greedy one.

  • Thank you for taking the time to work out the problem and write an answer! Can we say that the mixed NE does not exist for the case of $(n,m) = (2,5)$ or more generally, for $m > n$? I wasn't really thinking of the $m < n$ case as it's not that useful to me. ($m$ is the number of objects and $n$ is the number of people.) – breakfasttheorist Apr 05 '25 at 14:57
  • Continuing my previous comment: Ideally, mixed NE should exist (due to Nash), but given there are several conditions for the fixed point theorem to hold, I am wondering if something is violated like in the case when $n$ is sufficiently large and $m = 2$. (On a side note, I am not (up)voting to avoid this answer being accidentally accepted for the bounty. Once the bounty ends, regardless of whether there is an answer that addresses the question, I will upvote it if I do not forget of course.) – breakfasttheorist Apr 07 '25 at 05:28
  • @breakfasttheorist You can dispose of your bounty as you want. A mixed NE could exist in all cases of your problem, but the condition of continuity is violated, so usual theorems of existence do not hold. – Christophe Boilley Apr 07 '25 at 06:10
  • You are right; the usual theorems of NE do not hold here. However, for the case $(m,n) = (5,2)$ or as such for $m \geq n$ cases, a mixed nash equilibrium may still exist even if the theorems do not hold. I am not sure, but I am hoping someone is able to prove it (or provide a counterexample like you did, but for the cases I am interested in). (As for the bounty, I just wanted to explain to you the reason for not acknowledging your answer in MSE terms (i.e., through upvotes or bounty reward) as I genuinely appreciate your efforts.) – breakfasttheorist Apr 07 '25 at 06:42
  • Just a clarification: Does the utility have to be continuous in terms of the entire array of strategies possible or just the ones that I will possibly play? (For instance: What if I redefine the actions of an agent to be bid-vectors of the form $[b_1, \cdots, b_5] : b_j > 0 \ \forall \ j$?) – breakfasttheorist Apr 07 '25 at 07:47
  • Then you space of bid-vectors would be non-compact, and you would have cases without NE. – Christophe Boilley Apr 07 '25 at 07:50
  • Oh right, closure would then be violated. I see! – breakfasttheorist Apr 07 '25 at 07:54