Min. Birkhoff Decomposition
Overview
The Minimum Birkhoff Decomposition problem seeks to express a doubly stochastic matrix as a minimal convex combination of permutation matrices. This problem arises in various applications including assignment problems, scheduling, and quantum physics.
Problem Description
Definitions:
- A doubly stochastic matrix $D \in \mathbb{R}^{n \times n}$ has non-negative entries where all rows and columns sum to one
- A permutation matrix $P_i$ is a doubly stochastic matrix with binary entries
- Let $P_1, \ldots, P_{n!}$ denote all possible $n \times n$ permutation matrices
Optimization Problem:
For a given doubly stochastic matrix $D$, find:
$$ \underset{\lambda_i \in [0,1]}{\text{minimize}} \qquad \sum_{i=1}^{n!} |\lambda_i|^0 $$
subject to: $$ D = \sum_{i=1}^{n!} \lambda_i P_i, \qquad \sum_{i=1}^{n!} \lambda_i = 1 $$
where $0^0 = 0$ by convention.
Goal: Find the smallest number of permutation matrices whose convex combination equals $D$.
Performance
Runtime to reach best-known objective
Sorted instances vs total runtime. A point (x, y) means x instances were solved within y seconds. Solid line + filled circle = proven exact; dashed line + open diamond = heuristic. Lower-right is better.
Time-to-solution (TTS) to reach best-known objective
Same as the runtime cactus but uses the reported Time-to-Solution rather than total runtime. Solid = exact, dashed = heuristic.
Solution quality (performance profile)
Share of instances each group brings within a given optimality gap of the best-known objective. Higher is better; the value at “best” is the share solved exactly.
Runtime scaling with instance size
Fastest feasible runtime (log scale) per instance versus Matrix n — shows how each group scales.
Submissions
(8)
| Method | Submitter | Type | Date | Instances |
|---|---|---|---|---|
| PartitionedQAOA-EFCFW-Simulator | Stephen DiAdamo | Quantum sim | 20260805 | 4 |
| BirkhoffPlus | Víctor Valls | Classical | 2026-08-05 | 360 |
| PartitionedQAOA-EFCFW | Stephen DiAdamo | Quantum HW | 2026-08-05 | 3 |
| E-FCFW | George Pennington (1), Naeimeh Mohseni (2) | Quantum HW | 2026-08-04 | 131 |
| MIP | Maximilian Schicker | Classical | 2026-01-10 | 80 |
| CPLEX | V. Valls | Classical | 2025-03-09 | 100 |
| BlendedFW | V. Valls | Classical | 2025-03-09 | 280 |
| BirkhoffPlus | V. Valls | Classical | 2025-03-09 | 280 |