1000/1000

Hot
Most Recent

Submitted Successfully!

To reward your contribution, here is a gift for you: A free trial for our video production service.

Thank you for your contribution! You can also upload a video entry or images related to this topic.

Do you have a full video?

Are you sure to Delete?

Cite

If you have any further questions, please contact Encyclopedia Editorial Office.

HandWiki. Perfect Division. Encyclopedia. Available online: https://encyclopedia.pub/entry/32855 (accessed on 07 October 2024).

HandWiki. Perfect Division. Encyclopedia. Available at: https://encyclopedia.pub/entry/32855. Accessed October 07, 2024.

HandWiki. "Perfect Division" *Encyclopedia*, https://encyclopedia.pub/entry/32855 (accessed October 07, 2024).

HandWiki. (2022, November 04). Perfect Division. In *Encyclopedia*. https://encyclopedia.pub/entry/32855

HandWiki. "Perfect Division." *Encyclopedia*. Web. 04 November, 2022.

Copy Citation

An exact division, also called even division or consensus division, is a division of a heterogeneous resource ("cake") to several subsets such that each of n people with different tastes agree about the valuations of the pieces.:127 For example, consider a cake which is half chocolate and half vanilla. Alice values only the chocolate and George values only the vanilla. The cake is divided to three pieces: one piece contains 20% of the chocolate and 20% of the vanilla, the second contains 50% of the chocolate and 50% of the vanilla, and the third contains the rest of the cake. This is a consensus division, as both Alice and George value the three pieces as 20%, 50% and 30% respectively. As the example illustrates, a consensus division is not necessarily fair. For example, if the 20% piece is given to Alice and the 50% is given to George, this is obviously unfair to Alice. In the theory of cake, consensus divisions are often used as subroutines for creating fair divisions. Consensus divisions always exist, but they cannot be found by discrete protocols (with a finite number of queries). In some cases, exact divisions can be found by moving-knife protocols. Near-exact divisions can be found by discrete protocols.

chocolate
subroutines
moving-knife

Let [math]\displaystyle{ w_1, w_2, \ldots, w_k }[/math] be *k* weights whose sum is 1. Assume that all *n* partners value the cake *C* as 1.

An **exact division** (aka **consensus division**) in the ratios [math]\displaystyle{ w_1, w_2, \ldots, w_k }[/math] is a partition of the cake to *k* pieces: [math]\displaystyle{ C = X_1 \sqcup \cdots \sqcup X_k }[/math], such that for every partner *i* and every piece *j*:

- [math]\displaystyle{ V_i(X_j)=w_j }[/math]

I.e., there is a consensus among all partners that the value of piece *j* is exactly [math]\displaystyle{ w_j }[/math].^{[1]}^{:127}

For every [math]\displaystyle{ \varepsilon\gt 0 }[/math], An **[math]\displaystyle{ \varepsilon }[/math]-near-exact division** in the ratios [math]\displaystyle{ w_1, w_2, \ldots , w_k }[/math] is a division in which:

- [math]\displaystyle{ |V_i(X_j)-w_j| \lt \varepsilon }[/math]

I.e., there is a consensus among all partners that the value of piece *j* is *nearly-exactly* [math]\displaystyle{ w_j }[/math], where the difference is less than [math]\displaystyle{ \varepsilon }[/math].^{[1]}^{:127}

A **perfect division** is a division in which a resource is divided among *n* partners with subjective valuations, giving each partner exactly 1/*n* of the resource according to the valuations of *all* partners. It is a special case of exact division in which all weights are 1/*n*.

A cake is called *piecewise-homogeneous* if it can be divided to *R* regions, such that all partners agree that the value density in each region is uniform. For example, consider a circular cake in which each of its 4 quarters has a different topping. The partners may value each of the toppings differently, but do not distinguish between different pieces having the same topping. This means that the value of each piece to each partner only depends on the *amount* they get from each region.

Saying that the cake is piecewise-homogeneous is equivalent to saying that the valuations of the partners are *piecewise-constant*: each piece of the cake is homogeneous if and only if it is the intersection of *n* pieces of the *n* partners.

whenever the cake is piecewise-homogeneous (and the valuations are piecewise-constant), a consensus division can be achieved in the following way:

- Divide each region to
*k*sub-regions, such that sub-region*j*contains exactly [math]\displaystyle{ w_j }[/math] of the regions. - Let piece
*j*be the union of the*j*-th sub-regions in all*R*regions. This defines a consensus division with the given weights.

This algorithm can be generalized to slightly more general families of value measures, such as piecewise linear.^{[2]}

The number of required cuts is [math]\displaystyle{ k R }[/math], where *R* is the number of regions.

When the value measures are countably-additive and non-atomic, a consensus partition exists for every set of weights whose sum is 1. This is a corollary of the Dubins–Spanier convexity theorem.

Woodall^{[3]} showed that it is possible to construct such a division of an interval cake as a countable union of intervals.

INTUITION: Consider the division procedure for piecewise-homogeneous cakes described above. In general, the cake is not piecewise-homogeneous. However, because the value measures are continuous, it is possible to divide the cake to smaller and smaller regions such that the regions become more and more homogeneous. When [math]\displaystyle{ R\to \infty }[/math], this process converges to a consensus division.

Fremlin showed that it is possible to construct such a division as a *finite* union of intervals.

Stromquist and Woodall^{[4]} showed that it is possible with the *minimal* number of intervals; see Stromquist–Woodall theorem.

Suppose the cake is an interval made of *n* districts (sub-intervals), and each of the *n* partners values only a single district. Then, a consensus division of the cake to *k* subsets requires [math]\displaystyle{ n\cdot (k-1) }[/math] cuts, since each of the districts must be cut to *k* pieces which are equal in the eyes of the partner that values this district. Hence, it is an interesting question whether it is **always** possible to attain a consensus division with this exact number of cuts.

Two partners can achieve a consensus division using Austin moving-knife procedure.

The simplest case is when the weights are 1/2, i.e. they want to cut a piece that both of them agree to be half the cake value. This is done as follows. One partner moves two knives over the cake from left to right, always keeping the value between the knives as exactly 1/2. It is possible to prove (by the intermediate value theorem) that at some point, the value of the piece between the knives to the other partner will also be exactly 1/2. The other partner calls "stop!" at that point and the piece is cut.

The same protocol can be used to cut a piece that both player agree that its value is exactly [math]\displaystyle{ 1/n }[/math].

By combining several such pieces, it is possible to achieve a consensus division with any ratios that are rational numbers. But this may require a large number of cuts.

A better way to achieve a consensus division is to identify the two endpoints of the cake and treat it like a circle. I.e, when the right knife gets to the right side, it immediately goes to the left side, and the piece-between-the-knives is now actually the union of the piece to the right of the right knife and the piece to the left of the left knife. This way, it is possible to find a consensus division for every [math]\displaystyle{ p\in[0,1] }[/math]. One partner moves the knives cyclically around the cake, always keeping the value between them at exactly *p*. It is possible to prove that at some point, the value of the piece between the knives to the other partner will also be exactly *p*.^{[5]} The other partner calls "stop!" at that point and the piece is cut. This requires only two cuts.

By repeatedly applying the above procedure, it is possible to achieve a consensus division to two partners and any number of subsets. The number of cuts is [math]\displaystyle{ 2(k-1) }[/math], where [math]\displaystyle{ k }[/math] is the number of subsets.

As of 2015, there is no known generalization of this moving-knife procedure to more than 2 partners.^{[6]}

Suppose the cake is an interval of value 1. It should be divided into [math]\displaystyle{ k=2 }[/math] subsets, each of which has a value of exactly 1/2 to all *n* partners. We want to use the minimal number of cuts, which is [math]\displaystyle{ n(k-1)=n }[/math].

A division like this always exists.^{[7]} This is a direct corollary of the Hobby–Rice theorem. This can also be proved based on the Borsuk-Ulam theorem:^{[8]}

- Every partition of an interval using [math]\displaystyle{ n }[/math] cuts can be represented as a vector of length [math]\displaystyle{ n+1 }[/math], in which the elements are the lengths of the sub-intervals.
- Every element of the vector can be either positive (if it belongs to piece #1) or negative (if it belongs to piece #2).
- The set of all partitions is the sphere [math]\displaystyle{ S^n }[/math].
- Define a [math]\displaystyle{ V: S^n \to \mathbb{R}^n }[/math] in the following way: for every partition x, [math]\displaystyle{ V(x) }[/math] is a vector whose i-th element is the value of piece #1 in that partition according to partner i, minus 1/2.
- The function V is continuous. Moreover, for all x, [math]\displaystyle{ V(x)+V(-x)=0 }[/math].
- Hence, by the Borsuk-Ulam theorem, there exists an x such that [math]\displaystyle{ V(x)=0 }[/math]. In that partition, all partners value piece #1 (and piece #2) as exactly 1/2.

A consensus division to two subsets can be found based on Tucker's lemma, which is the discrete version of Borsuk-Ulam theorem.^{[9]}

Although the partners' preferences are modeled with measures, the proofs do not require the value measures to be additive over subsets. The value measures may as well be continuous set functions defined on the Borel sigma-algebra and satisfying all the properties of measures except countable additivity. Thus it is not required that partners' valuations over subsets of the cake be additively separable.^{[9]}

The existence theorem of the previous subsection can be generalized from [math]\displaystyle{ k=2 }[/math] pieces to an arbitrary number of pieces. This was proved by Noga Alon in his 1987 paper about the necklace splitting problem.

There are [math]\displaystyle{ n }[/math] different measures on the interval, all absolutely continuous with respect to length. The measure of the entire necklace, according to measure [math]\displaystyle{ i }[/math], is [math]\displaystyle{ k\cdot a_i }[/math]. Then it is possible to partition the interval to [math]\displaystyle{ k }[/math] parts (not necessarily contiguous), such that the measure of each part, according to measure [math]\displaystyle{ i }[/math], is exactly [math]\displaystyle{ a_i }[/math]. At most [math]\displaystyle{ (k-1)n }[/math] cuts are needed, and this is optimal.

The existence theorem of the previous subsection is generalized to arbitrary weights by the Stromquist–Woodall theorem.

The Stone–Tukey theorem states that given n measurable "objects" in n-dimensional space, it is possible to divide all of them in half (with respect to their measure, i.e. volume) with a single (*n* − 1)-dimensional hyperplane.

Stated differently: if the cake is the space [math]\displaystyle{ \mathbb{R}^n }[/math], and the value measures of the partners are finite and vanish on any [math]\displaystyle{ n-1 }[/math] dimensional hyperplane, then there is a half-space whose value is exactly 1/2 to each partner. Hence there exists a consensus division using a *single* cut.

The original version of this theorem works only if the number of dimensions of the cake is equal to the number of partners. E.g, it is not possible to use this theorem to divide a 3-dimensional sandwich to 4 or more partners.

However, there are generalizations that enable such a division. They do not use a hyperplane knife but rather a more complicated polynomial surface.^{[10]}

For any given [math]\displaystyle{ \varepsilon \gt 0 }[/math], one can give each partner a piece such that all partners believe that the values they have differ by less than [math]\displaystyle{ \varepsilon }[/math], i.e., for every *i* and every *j*:^{[1]}^{:127}

- [math]\displaystyle{ |V_i(X_j)-w_j| \lt \varepsilon }[/math]

The near-exact division procedure has two steps: *crumbing* and *packing*.

**Crumbing step**: the goal is to cut the cake to tiny bits ("crumbs") such that each partner assigns a sufficiently small value to each crumb. This is done in the following way. Let *k* be a certain constant. Ask partner #1 cut the cake to *k* pieces that he values as 1/*k*. Ask partner #2 to trim pieces as needed (using at most *k*-1 cuts) such that each piece has a value of at most 1/*k*. These new pieces of course still have a value of at most 1/*k* for partner #1. Continue with partners #3, #4, …, #*n*. Finally all *n* partners value each resulting crumb as at most 1/*k*.

**Packing step**: the goal here is to partition the crumbs to *n* subsets, such that the sum of values in each subset *j* is near *w*_{j}. Here is an intuitive explanation of the packing step for two partners (Alice and George) when the weights are 1/2.^{[1]}^{:68–71}

- Get an empty bowl.
- Insert into the bowl one of the crumbs.
- If the value in the bowl becomes more than 1/2 to either partner, give the bowl to that partner and give the other crumbs to the other partner.
- Otherwise (the value in the bowl is less than 1/2 to both partners), if the value in the bowl is larger for Alice than for George, then find a crumb whose value for George is more than its value for Alice (such a crumb must exist because the sum of values of all crumbs is 1 both for Alice and for George). Add this crumb to the bowl and return to step 2.

It is possible to prove by induction, that the difference in the valuation of the bowl between Alice and George is always at most 1/*k*. Hence, when one of the partners receives the bowl, its value for both partners is between than 1/2-1/*k* and 1/2+1/*k*.

Formally, each piece can be represented as a vector of values, one per partner. The length of each vector is bounded, i.e. for each such vector *v*: [math]\displaystyle{ ||v||\leq \sqrt{n}/k }[/math]. Our goal is to create, for each partner *j*, a vector all whose elements are near *w*_{j}. To do this, we have to divide the vectors to subsets, such that the sum of vectors in each subset *j* is sufficiently close to a vector all whose elements are *w*_{j}. This is possible thanks to a theorem by V.Bergström,^{[1]}^{[11]}^{:126–128}

The Crumb-and-Pack procedure is a subroutine in the Robertson-Webb protocol. The latter protocol generates a division which is both near-exact and envy-free cake-cutting.

A different explanation of the crumb-and-pack procedure is provided by Brams and Taylor.^{[12]}

Any algorithm for consensus division relies on the value measures reported by the partners. If the partners know how the algorithm works, they may have an incentive to lie about their value measures in order to receive more than their weight. In order to prevent this, a truthful mechanism should be used.^{[2]}^{[13]}

The simplest truthful division mechanism is: select a single partner at random (with probabilities determined by the weights) and give him the entire cake. This mechanism is trivially truthful because it asks no questions. Moreover, it is consensus in expectation: the expected value of each partner is exactly its weight, and this is true according to all value measures. However, the resulting division is of course not a consensus division.

A better truthful mechanism, which works for the case in which all weights are 1/*n*, can be built given any existing algorithm (or oracle) for finding a consensus division:

- Ask each partner to report his value measure.
- Use the existing algorithm/oracle to generate a partition in which all
*n*pieces are exactly 1/*n*according to the value functions reported by the partners. - Perform a random permutation on the consensus partition and give each partner one of the pieces.

Here, the expected value of each partner is still 1/*n* regardless of the reported value function, so the mechanism is still truthful – no partner can gain anything from lying. Moreover, a truthful partner is guaranteed a value of exactly 1/*n* with probability 1 (not only in expectation). Hence the partners have an incentive to reveal their true value functions.

It is impossible to achieve an exact division with a finite number of queries, even if there are only 2 partners and the weights are exactly 1/2.^{[1]}^{:103–104} This means that the best we can achieve using a discrete algorithm is a near-exact division.

**Proof**: When the protocol is at step *k*, it has a collection of at most *k* pieces. To provide an exact division, the protocol must find an *exact subset* – a subset of the pieces which both partners value as exactly 1/2. We are going to prove that, for every *k*, there are situations in which at step *k* there is no exact subset, and hence the protocol might have to continue endlessly.

Initially, there is only one piece which both partners value as 1, so there is obviously no exact subset. After one step, at most one partner (say, Alice) has had an option to cut the cake. Even if Alice cuts the cake to two pieces that are equal in her opinion, they may be different in George's opinion, so again there is no exact subset.

Suppose now that we are at step *k* and there are *k* pieces. Without loss of generality, we may assume that each piece has a non-zero value to both partners. This is because, if Alice (for example) cuts a piece which she values as 0, it is possible that George also values the same piece as 0, so we can discard this piece and continue with the other pieces.

The total number of different subsets now is 2^{k}, and by the induction assumption none of them is exact. At step *k*, the protocol can ask either Alice or George to cut a certain piece to two pieces. Suppose w.l.o.g. that the cutter is George and that he cuts piece X to two sub-pieces: X1 and X2. Now, the total number of subsets is 2^{k+1}: half of them already existed and by assumption they are not exact, so the protocol's only chance of finding an exact subset is to look at the new subsets. Each new subset is made of an old subset in which the piece X has been replaced with either X1 or X2. Since George is the cutter, he can cut in a way which makes one of these subsets an exact subset for him (e.g. if a certain subset containing piece X had a value of 3/4, George can cut X such that X1 has a value of 1/4 in his opinion, so that the new subset has a value of exactly 1/2). But, George does not know Alice's valuation and cannot take it into account when cutting. Therefore, there is an uncountable infinity of different values that the pieces X1 and X2 can have for Alice. Since the number of new subsets is finite, there is an infinite number of cases in which no new subset has a value of 1/2 for Alice, hence no new subset is exact.

An exact division with equal weights ([math]\displaystyle{ 1/n }[/math]) is, in particular, also proportional, envy-free and equitable.

However, it is not necessarily Pareto efficient, since in many cases it is possible to take advantage of the subjective valuations and divide the resources such that all partners receive more than their fair share of [math]\displaystyle{ 1/n }[/math].

Exact divisions are much easier if the participants cooperate in establishing entitlements rather than competing as in fair division. Some authors refer to this as **consensus division** or **consensus halving**.^{[14]}

Name | Type | Cake | Valuations^{[15]} |
#partners (n) | #subsets (k) | #cuts | weights |
---|---|---|---|---|---|---|---|

Austin | Moving-knife procedure | Interval | Con | 2 | Many | [math]\displaystyle{ 2(k-1) }[/math] (optimal) | Any |

Piecewise-homogeneous | Discrete procedure | Piecewise-homogeneous | Con+Add+Pwl | Many | Many | Num. of districts | Any |

Dubins–Spanier | Existence proof | Any | Con+Add | Many | Many | Unbounded | Any |

Consensus-halving | Infinite procedure | Interval | Con | Many | 2 | n (optimal) | Equal |

Necklace-splitting | Existence proof | Interval | Con(+Add?) | Many | Many | [math]\displaystyle{ n(k-1) }[/math] (optimal) | Equal |

Stromquist-Woodall | Existence proof | Circle | Con+Add | Many | 2 | [math]\displaystyle{ 2n-2 }[/math] (optimal for some weights) | Any |

Stone–Tukey | Existence proof | n-dimensional | Con(+Add?) | n | 2 | 1 half-plane | Equal |

Crumb-and-pack | Near-exact procedure | Any | Con+Add | Many | Many | Unbounded | Any |

- Template:Cite Robertson Webb 1998
- Chen, Yiling; Lai, John K.; Parkes, David C.; Procaccia, Ariel D. (2013). "Truth, justice, and cake cutting". Games and Economic Behavior 77 (1): 284–297. doi:10.1016/j.geb.2012.10.009. http://nrs.harvard.edu/urn-3:HUL.InstRepos:8896229.
- Woodall, D.R (1980). "Dividing a cake fairly". Journal of Mathematical Analysis and Applications 78: 233–247. doi:10.1016/0022-247x(80)90225-5. https://dx.doi.org/10.1016%2F0022-247x%2880%2990225-5
- Stromquist, Walter; Woodall, D.R (1985). "Sets on which several measures agree". Journal of Mathematical Analysis and Applications 108: 241–248. doi:10.1016/0022-247x(85)90021-6. https://dx.doi.org/10.1016%2F0022-247x%2885%2990021-6
- Fischer, Daniel. "Consensus division of a cake to two people in arbitrary ratios". Math.SE. https://math.stackexchange.com/q/1333054. Retrieved 23 June 2015.
- There is a generalization which gives each of n partners, a piece worth exactly [math]\displaystyle{ 1/n }[/math] for him. But this is not a consensus division, because the partners may not agree on the value of the other pieces besides the piece allocated to them. See Austin moving-knife procedures#Many partners.
- Goldberg, Charles H.; West, Douglas B. (1985). "Bisection of Circle Colorings". SIAM Journal on Algebraic and Discrete Methods 6: 93–106. doi:10.1137/0606010. https://dx.doi.org/10.1137%2F0606010
- Alon, Noga; West, Douglas B. (1986). "The Borsuk-Ulam theorem and bisection of necklaces". Proceedings of the American Mathematical Society 98 (4): 623. doi:10.1090/s0002-9939-1986-0861764-9. https://dx.doi.org/10.1090%2Fs0002-9939-1986-0861764-9
- Simmons, Forest W.; Su, Francis Edward (2003). "Consensus-halving via theorems of Borsuk-Ulam and Tucker". Mathematical Social Sciences 45: 15–25. doi:10.1016/S0165-4896(02)00087-2. https://dx.doi.org/10.1016%2FS0165-4896%2802%2900087-2
- B. Grünbaum (1960). "Partitions of mass–distributions and convex bodies by hyperplanes". Pacific J. Math. 10 (4): 1257–1261. doi:10.2140/pjm.1960.10.1257. https://dx.doi.org/10.2140%2Fpjm.1960.10.1257
- V. Bergström (1930). "Zwei Sätze über ebene Vectorpolygone". Hamburgische Abhandlungen 8: 205–219.
- Brams, Steven J.; Taylor, Alan D. (1996). Fair Division. pp. 131–133. ISBN 978-0-521-55644-6.
- Mossel, Elchanan; Tamuz, Omer (2010). Truthful Fair Division. Lecture Notes in Computer Science. 6386. pp. 288–299. doi:10.1007/978-3-642-16170-4_25. ISBN 978-3-642-16169-8. https://dx.doi.org/10.1007%2F978-3-642-16170-4_25
- de Longueville, Mark; Živaljević, Rade T. (2008). "Splitting multidimensional necklaces". Advances in Mathematics 218 (3): 926–939. doi:10.1016/j.aim.2008.02.003. https://dx.doi.org/10.1016%2Fj.aim.2008.02.003
- Pre-requisites on the value functions of the partners. Less pre-requisites mean that the result is more general. Con=Continuous is the most general; Con+Add=Additive is less general; Con+Add+Pwl=Piecewise-linear is the least general.

More

Information

Subjects:
Others

Contributor
MDPI registered users' name will be linked to their SciProfiles pages. To register with us, please refer to https://encyclopedia.pub/register
:

View Times:
340

Entry Collection:
HandWiki

Update Date:
04 Nov 2022