Jump to content

Birkhoff algorithm

From Wikipedia, the free encyclopedia

Birkhoff's algorithm (also called Birkhoff-von-Neumann algorithm) is an algorithm for decomposing a bistochastic matrix into a convex combination of permutation matrices. It was published by Garrett Birkhoff in 1946.[1][2]: 36  It has many applications. One such application is for the problem of fair random assignment: given a randomized allocation of items, Birkhoff's algorithm can decompose it into a lottery on deterministic allocations.

Terminology

[edit]

A bistochastic matrix (also called: doubly-stochastic) is a matrix in which all elements are greater than or equal to 0 and the sum of the elements in each row and column equals 1. An example is the following 3-by-3 matrix: A permutation matrix is a special case of a bistochastic matrix, in which each element is either 0 or 1 (so there is exactly one "1" in each row and each column). An example is the following 3-by-3 matrix: A Birkhoff decomposition (also called: Birkhoff-von-Neumann decomposition) of a bistochastic matrix is a presentation of it as a sum of permutation matrices with non-negative weights. For example, the above matrix can be presented as the following sum: Birkhoff's algorithm receives as input a bistochastic matrix and returns as output a Birkhoff decomposition.

Tools

[edit]

A permutation set of an n-by-n matrix X is a set of n entries of X containing exactly one entry from each row and from each column. A theorem by Dénes Kőnig says that:[3][2]: 35 

Every bistochastic matrix has a permutation-set in which all entries are positive.

The positivity graph of an n-by-n matrix X is a bipartite graph with 2n vertices, in which the vertices on one side are n rows and the vertices on the other side are the n columns, and there is an edge between a row and a column iff the entry at that row and column is positive. A permutation set with positive entries is equivalent to a perfect matching in the positivity graph. A perfect matching in a bipartite graph can be found in polynomial time, e.g. using any algorithm for maximum cardinality matching. Kőnig's theorem is equivalent to the following:

The positivity graph of any bistochastic matrix admits a perfect matching.

A matrix is called scaled-bistochastic if all elements are non-negative, and the sum of each row and column equals c, where c is some positive constant. In other words, it is c times a bistochastic matrix. Since the positivity graph is not affected by scaling:

The positivity graph of any scaled-bistochastic matrix admits a perfect matching.

Algorithm

[edit]

Birkhoff's algorithm is a greedy algorithm: it greedily finds perfect matchings and removes them from the fractional matching. It works as follows.[4]: app.B 

  1. Let i = 1.
  2. Construct the positivity graph GX of X.
  3. Find a perfect matching in GX, corresponding to a positive permutation set in X.
  4. Let z[i] > 0 be the smallest entry in the permutation set.
  5. Let P[i] be a permutation matrix with 1 in the positive permutation set.
  6. Let X := Xz[i] P[i].
  7. If X contains nonzero elements, Let i = i + 1 and go back to step 2.
  8. Otherwise, return the sum: z[1] P[1] + ... + z[2] P[2] + ... + z[i] P[i].

The algorithm is correct because, after step 6, the sum in each row and each column drops by z[i]. Therefore, the matrix X remains scaled-bistochastic. Therefore, in step 3, a perfect matching always exists.

Run-time complexity

[edit]

By the selection of z[i] in step 4, in each iteration at least one element of X becomes 0. Therefore, the algorithm must end after at most n2 steps. However, the last step must simultaneously make n elements 0, so the algorithm ends after at most n2n + 1 steps, which implies .

In 1960, Joshnson, Dulmage and Mendelsohn showed that Birkhoff's algorithm actually ends after at most n2 − 2n + 2 steps, which is tight in general (that is, in some cases n2 − 2n + 2 permutation matrices may be required).[5]

Application in fair division

[edit]

In the fair random assignment problem, there are n objects and n people with different preferences over the objects. It is required to give an object to each person. To attain fairness, the allocation is randomized: for each (person, object) pair, a probability is calculated, such that the sum of probabilities for each person and for each object is 1. The probabilistic-serial procedure can compute the probabilities such that each agent, looking at the matrix of probabilities, prefers his row of probabilities over the rows of all other people (this property is called envy-freeness). This raises the question of how to implement this randomized allocation in practice? One cannot just randomize for each object separately, since this may result in allocations in which some people get many objects while other people get no objects.

Here, Birkhoff's algorithm is useful. The matrix of probabilities, calculated by the probabilistic-serial algorithm, is bistochastic. Birkhoff's algorithm can decompose it into a convex combination of permutation matrices. Each permutation matrix represents a deterministic assignment, in which every agent receives exactly one object. The coefficient of each such matrix is interpreted as a probability; based on the calculated probabilities, it is possible to pick one assignment at random and implement it.

Extensions

[edit]

The problem of computing the Birkhoff decomposition with the minimum number of terms has been shown to be NP-hard, but some heuristics for computing it are known.[6][7] This theorem can be extended for the general stochastic matrix with deterministic transition matrices.[8]

Budish, Che, Kojima and Milgrom[9] generalize Birkhoff's algorithm to non-square matrices, with some constraints on the feasible assignments. They also present a decomposition algorithm that minimizes the variance in the expected values.

Vazirani[10] generalizes Birkhoff's algorithm to non-bipartite graphs.

Valls et al.[11] showed that it is possible to obtain an -approximate decomposition with permutations.

See also

[edit]

References

[edit]
  1. ^ Birkhoff, Garrett (1946), "Tres observaciones sobre el algebra lineal [Three observations on linear algebra]", Univ. Nac. Tucumán. Revista A., 5: 147–151, MR 0020547.
  2. ^ a b Lovász, László; Plummer, M. D. (1986), Matching Theory, Annals of Discrete Mathematics, vol. 29, North-Holland, ISBN 0-444-87916-1, MR 0859549
  3. ^ Kőnig, Dénes (1916), "Gráfok és alkalmazásuk a determinánsok és a halmazok elméletére", Matematikai és Természettudományi Értesítő, 34: 104–119.
  4. ^ Aziz, Haris (2020). "Simultaneously Achieving Ex-ante and Ex-post Fairness". arXiv:2004.02554 [cs.GT].
  5. ^ Johnson, Diane M.; Dulmage, A. L.; Mendelsohn, N. S. (1960-09-01). "On an Algorithm of G. Birkhoff Concerning Doubly Stochastic Matrices". Canadian Mathematical Bulletin. 3 (3): 237–242. doi:10.4153/cmb-1960-029-5. ISSN 0008-4395.
  6. ^ Dufossé, Fanny; Uçar, Bora (May 2016). "Notes on Birkhoff–von Neumann decomposition of doubly stochastic matrices" (PDF). Linear Algebra and Its Applications. 497: 108–115. doi:10.1016/j.laa.2016.02.023.
  7. ^ Dufossé, Fanny; Kaya, Kamer; Panagiotas, Ioannis; Uçar, Bora (2018). "Further notes on Birkhoff–von Neumann decomposition of doubly stochastic matrices" (PDF). Linear Algebra and Its Applications. 554: 68–78. doi:10.1016/j.laa.2018.05.017. ISSN 0024-3795. S2CID 240083300.
  8. ^ Ye, Felix X.-F.; Wang, Yue; Qian, Hong (2016). "Stochastic dynamics: Markov chains and random transformations". Discrete and Continuous Dynamical Systems - Series B. 21 (7): 2337–2361. doi:10.3934/dcdsb.2016050.
  9. ^ Budish, Eric; Che, Yeon-Koo; Kojima, Fuhito; Milgrom, Paul (2013-04-01). "Designing Random Allocation Mechanisms: Theory and Applications". American Economic Review. 103 (2): 585–623. CiteSeerX 10.1.1.649.5582. doi:10.1257/aer.103.2.585. ISSN 0002-8282.
  10. ^ Vazirani, Vijay V. (2020-10-14). "An Extension of the Birkhoff-von Neumann Theorem to Non-Bipartite Graphs". arXiv:2010.05984 [cs.DS].
  11. ^ Valls, Victor; Iosifidis, Georgios; Tassiulas, Leandros (Dec 2021). "Birkhoff's Decomposition Revisited: Sparse Scheduling for High-Speed Circuit Switches" (PDF). IEEE/ACM Transactions on Networking. 29: 2399–2412. doi:10.1109/TNET.2021.3088327.