Birkhoff Center Depth in Polytopes & Dynamics

• Birkhoff center depth is a multifaceted concept that measures the distance to a system’s canonical recurrent core, defined as the Chebyshev radius in matrix geometry and via ordinal stabilization in dynamics.
• In the polytope setting, it identifies the barycenter Jₙ as the unique Chebyshev center, with all permutation matrices equidistant under permutation-invariant norms.
• In dynamical systems, it stratifies recurrent points and competitive flows into ordered equilibria or unordered invariant cells, linking metric and topological invariants.

Birkhoff center depth is used in recent literature for several distinct but structurally related notions centered on extremal or recurrent cores. In the geometry of the Birkhoff polytope, it denotes the Chebyshev radius of the polytope—the minimal bounding-ball radius, also called “center depth” in that setting—under a specified matrix norm, with the barycenter $J_n=\frac1n\mathbf1\mathbf1^\top$ as the distinguished center (Bouthat et al., 2023). In dynamical systems, the Birkhoff center is the closure of recurrent points, $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$, and recent work studies both its geometric stratification in competitive flows and a transfinite ordinal “depth” obtained by iterating Birkhoff-type derivative operators (Sheng et al., 2023). Across these settings, the common theme is a reduction to a canonical core fixed by symmetry or recurrence.

1. Basic objects and competing meanings of “depth”

In the polyhedral setting, the underlying object is the Birkhoff polytope

$$\mathcal{B}_n=\Omega_n:=\{A\in\mathbb{R}^{n\times n}:A\mathbf{1}=\mathbf{1},\;A^\top\mathbf{1}=\mathbf{1},\;A\ge 0\},$$

the compact convex set of all $n\times n$ doubly stochastic matrices. Its extreme points are the permutation matrices, its dimension is $(n-1)^2$, and every $D\in\Omega_n$ admits a Birkhoff decomposition $D=\sum_{i=1}^r\alpha_iP_i$ with permutation matrices $P_i$, $\alpha_i\ge0$, and $\sum_i\alpha_i=1$. The matrix

$B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$0

is the barycenter of $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$1, with every entry equal to $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$2, and is the uniform convex combination of all permutation matrices (Bouthat et al., 2023).

For operator $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$3-norms, the induced metric is

$B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$4

The Chebyshev center $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$5 and Chebyshev radius $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$6 of $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$7 are

$B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$8

In that context, “center depth” refers precisely to this Chebyshev radius, i.e. the smallest $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$9 such that a ball of radius $$\mathcal{B}_n=\Omega_n:=\{A\in\mathbb{R}^{n\times n}:A\mathbf{1}=\mathbf{1},\;A^\top\mathbf{1}=\mathbf{1},\;A\ge 0\},$$0 centered at the Chebyshev center contains $$\mathcal{B}_n=\Omega_n:=\{A\in\mathbb{R}^{n\times n}:A\mathbf{1}=\mathbf{1},\;A^\top\mathbf{1}=\mathbf{1},\;A\ge 0\},$$1 (Bouthat et al., 2023).

In dynamical systems, the terminology changes. For a flow $$\mathcal{B}_n=\Omega_n:=\{A\in\mathbb{R}^{n\times n}:A\mathbf{1}=\mathbf{1},\;A^\top\mathbf{1}=\mathbf{1},\;A\ge 0\},$$2, the Birkhoff center is

$$\mathcal{B}_n=\Omega_n:=\{A\in\mathbb{R}^{n\times n}:A\mathbf{1}=\mathbf{1},\;A^\top\mathbf{1}=\mathbf{1},\;A\ge 0\},$$3

For a homeomorphism $$\mathcal{B}_n=\Omega_n:=\{A\in\mathbb{R}^{n\times n}:A\mathbf{1}=\mathbf{1},\;A^\top\mathbf{1}=\mathbf{1},\;A\ge 0\},$$4 on a compact metric space, the Birkhoff center is

$$\mathcal{B}_n=\Omega_n:=\{A\in\mathbb{R}^{n\times n}:A\mathbf{1}=\mathbf{1},\;A^\top\mathbf{1}=\mathbf{1},\;A\ge 0\},$$5

The paper “Realizing Arbitrary Depth” defines a transfinite depth by iterating a Birkhoff derivative $$\mathcal{B}_n=\Omega_n:=\{A\in\mathbb{R}^{n\times n}:A\mathbf{1}=\mathbf{1},\;A^\top\mathbf{1}=\mathbf{1},\;A\ge 0\},$$6 on closed subsets via

$$\mathcal{B}_n=\Omega_n:=\{A\in\mathbb{R}^{n\times n}:A\mathbf{1}=\mathbf{1},\;A^\top\mathbf{1}=\mathbf{1},\;A\ge 0\},$$7

and setting

$$\mathcal{B}_n=\Omega_n:=\{A\in\mathbb{R}^{n\times n}:A\mathbf{1}=\mathbf{1},\;A^\top\mathbf{1}=\mathbf{1},\;A\ge 0\},$$8

This depth is ordinal-valued and measures the stage at which the derivation stabilizes at the Birkhoff center (Akin, 31 May 2026).

2. Center depth of the Birkhoff polytope under operator $$\mathcal{B}_n=\Omega_n:=\{A\in\mathbb{R}^{n\times n}:A\mathbf{1}=\mathbf{1},\;A^\top\mathbf{1}=\mathbf{1},\;A\ge 0\},$$9-norms

For the operator norms induced by the vector $n\times n$0-norms, the central result is a complete characterization: for every $n\times n$1, the Chebyshev center of $n\times n$2 is unique and equals the barycenter,

$n\times n$3

and the center depth is

$n\times n$4

The same work establishes the normalization

$n\times n$5

using the Birkhoff decomposition and permutation invariance of the norm (Bouthat et al., 2023).

A broader structure theorem is proved for any permutation-invariant norm $n\times n$6 and any convex permutation-invariant constraint set $n\times n$7. If a Chebyshev center $n\times n$8 exists, then

$n\times n$9

is also a Chebyshev center, and

$(n-1)^2$0

In particular, when $(n-1)^2$1, the only admissible center on the $(n-1)^2$2-ray is $(n-1)^2$3 itself, so

$(n-1)^2$4

A key corollary is equidistance to all permutations: $(n-1)^2$5 Thus the farthest points from the center are exactly the extreme points of the polytope (Bouthat et al., 2023).

For specific values of $(n-1)^2$6, the radius is explicit: $(n-1)^2$7 For $(n-1)^2$8, $(n-1)^2$9 is the orthogonal projector onto $D\in\Omega_n$0, so its spectral norm is $D\in\Omega_n$1. For $D\in\Omega_n$2 and $D\in\Omega_n$3, one has

$D\in\Omega_n$4

for every permutation matrix $D\in\Omega_n$5. Moreover, for $D\in\Omega_n$6,

$D\in\Omega_n$7

For $D\in\Omega_n$8 and $D\in\Omega_n$9, the exact formula is

$D=\sum_{i=1}^r\alpha_iP_i$0

The paper also gives general bounds for $D=\sum_{i=1}^r\alpha_iP_i$1: $D=\sum_{i=1}^r\alpha_iP_i$2 These bounds are tight at $D=\sum_{i=1}^r\alpha_iP_i$3. A conjectured exact formula is stated for general $D=\sum_{i=1}^r\alpha_iP_i$4 and $D=\sum_{i=1}^r\alpha_iP_i$5, based on an optimization over $D=\sum_{i=1}^r\alpha_iP_i$6 determined by a root $D=\sum_{i=1}^r\alpha_iP_i$7 of an explicit scalar equation (Bouthat et al., 2023).

3. Center depth under Schatten $D=\sum_{i=1}^r\alpha_iP_i$8-norms

For $D=\sum_{i=1}^r\alpha_iP_i$9, the Schatten norm is

$P_i$0

where $P_i$1 are the singular values. These norms are unitarily invariant, hence permutation invariant, monotone in $P_i$2, and strictly convex for $P_i$3 (Bouthat et al., 2023).

The Chebyshev center and radius of the Birkhoff polytope under $P_i$4 are completely explicit: $P_i$5 and the center is unique for every $P_i$6. The calculation reduces to the $P_i$7-ray. Since the singular values of $P_i$8 are $P_i$9 with multiplicity $\alpha_i\ge0$0 and $\alpha_i\ge0$1 with multiplicity $\alpha_i\ge0$2,

$\alpha_i\ge0$3

whose minimum is attained at $\alpha_i\ge0$4. As in the operator-norm setting, every permutation matrix lies at the same distance from the center: $\alpha_i\ge0$5 The same result holds whether one minimizes over all $\alpha_i\ge0$6 or restricts the center to $\alpha_i\ge0$7 (Bouthat et al., 2023).

The Frobenius case $\alpha_i\ge0$8 yields a second, more detailed formula. For any $\alpha_i\ge0$9,

$\sum_i\alpha_i=1$0

where

$\sum_i\alpha_i=1$1

is the minimal trace, identified with the assignment problem value for cost matrix $\sum_i\alpha_i=1$2. This exhibits an intrinsic connection between the minimal enclosing Frobenius ball and the assignment problem; the quantity $\sum_i\alpha_i=1$3 can be computed in $\sum_i\alpha_i=1$4 via the Hungarian algorithm. For $\sum_i\alpha_i=1$5, one has $\sum_i\alpha_i=1$6 and $\sum_i\alpha_i=1$7, so $\sum_i\alpha_i=1$8 (Bouthat et al., 2023).

The norm profile on $\sum_i\alpha_i=1$9 is also explicit: $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$00 with equality on the left iff $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$01, and on the right iff $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$02 is a permutation matrix. Thus $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$03 is the unique closest point of $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$04 to the origin for all Schatten $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$05, while permutations are the farthest (Bouthat et al., 2023).

A useful contrast emerges with operator norms. For the operator $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$06 norm, the radius is $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$07; for the Frobenius norm, the radius is $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$08. Both are centered at $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$09, but the scale of the center depth depends strongly on the chosen norm (Bouthat et al., 2023).

4. The Birkhoff center in competitive dynamical systems

For strongly competitive flows on $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$10, the Birkhoff center is studied as a recurrent geometric object rather than a metric minimizer. The setting assumes a solid cone $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$11 inducing a partial order $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$12 and a strong order $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$13. A set is unordered if no two distinct points are related by $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$14, and strongly ordered if any two distinct points are related by $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$15. Under the standing hypotheses of strong competitiveness and dissipation—namely, the existence of a compact global attractor $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$16 uniformly attracting compact sets—the paper proves a sharp order-structure dichotomy for connected components of the Birkhoff center (Sheng et al., 2023).

The principal statement is: $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$17 Then exactly one of the following holds:

1. $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$18 is unordered; or
2. $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$19 consists of strongly ordered equilibria.

This dichotomy is complemented by a canonical countable pairwise disjoint family $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$20 of invariant open $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$21-cells such that every unordered connected component of $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$22 lies on one of these cells. More precisely, if $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$23 is unordered, then there exist $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$24 and $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$25 such that

$B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$26

where $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$27 and $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$28 are invariant unordered open $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$29-cells constructed from one-sided boundaries of repulsion basins. For $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$30, the relevant lower cell is built from

$B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$31

with analogous upper constructions $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$32, $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$33 (Sheng et al., 2023).

The central geometric mechanism is the joint cone-boundary intersection principle: $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$34 Combined with a connecting lemma and an absorbing principle, this prevents connected recurrent sets from crossing the cone boundary except at the base recurrent point. The consequence is that recurrence in strongly competitive systems is forced into either dynamically trivial ordered equilibrium components or codimension-one unordered sheets.

The same paper proves an analogous statement for supports of invariant probability measures. If $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$35 is invariant and $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$36 is a connected component of $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$37, then either $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$38 consists of strongly ordered equilibria or $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$39 lies on one element of $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$40. In dimension $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$41, this yields

$B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$42

because supports of ergodic measures are either equilibria or compact invariant sets lying on invariant $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$43-cells, and continuous flows on compact $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$44-manifolds have zero measure-theoretic entropy. The paper explicitly notes that it does not introduce a numeric depth invariant, but its decomposition theorems suggest an “effective depth $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$45” phenomenon: recurrent and statistical behavior is confined either to equilibrium sets or to invariant codimension-one cells (Sheng et al., 2023).

5. Transfinite Birkhoff center depth and ordinal realization

A different notion of Birkhoff center depth is developed for compact metric dynamical systems $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$46 with $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$47 a homeomorphism. The paper introduces several one-step derivative operators on closed subsets: $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$48

$B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$49

$B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$50

and the Cantor–Bendixson derivative

$B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$51

Assuming $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$52 has no periodic isolated points, the general inclusions are

$B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$53

The transfinite derivation is defined by

$B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$54

for limit ordinals $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$55, and the depth is

$B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$56

For compact metric spaces, all such depths are countable ordinals (Akin, 31 May 2026).

The main theorem states that every countable ordinal is realizable as Birkhoff center depth. Specifically, for every countable ordinal $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$57 there exists a dynamical system $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$58 such that, for every ordinal $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$59, the derived subsystem $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$60 is a nontrivial simple system and

$B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$61

Consequently,

$B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$62

Here a simple system means: $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$63 is countable; there is a fixed point $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$64 which is the unique recurrent point; and every non-isolated point is an $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$65-limit point of some isolated point. In any nontrivial simple system,

$B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$66

and in totally simple systems this equality persists at every derived stage (Akin, 31 May 2026).

The realization theorem is obtained from three constructions with precise ordinal arithmetic:

• Attachment $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$67: if $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$68 is totally simple, then

$B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$69

• Stretched suspension $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$70: if $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$71 is totally simple, then

$B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$72

• Pointed union $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$73: if each $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$74 is totally simple, then

$B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$75

The master construction is

$B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$76

which yields for each countable $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$77,

$B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$78

The paper emphasizes that noncommutativity of ordinal addition is essential: if one uses attachment at successor stages instead, then $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$79 for infinite $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$80, so the construction fails to realize the intended higher depths (Akin, 31 May 2026).

6. Comparative perspective and recurrent misconceptions

The literature shows that “Birkhoff center depth” is not a single invariant shared across all contexts. In the geometry of the Birkhoff polytope, it is a metric circumradius: the minimal radius of a ball centered at the Chebyshev center that contains $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$81. In competitive dynamics, the relevant result is not a numeric depth but a stratification of $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$82 into ordered equilibrium components and unordered invariant $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$83-cells. In general topological dynamics, depth is an ordinal stabilization index for transfinite Birkhoff derivatives (Bouthat et al., 2023).

A common misunderstanding is to conflate enclosing-ball geometry with inscribed-ball geometry. The polytope papers study smallest enclosing balls—Chebyshev centers and radii—not incenters or inradii. The Schatten-norm paper explicitly states that no incenter/inradius results are developed there (Bouthat et al., 2023). Another possible confusion is between the dynamical Birkhoff center and the Birkhoff polytope: they share a historical name but belong to different domains, respectively recurrence theory and matrix convexity.

The available results nevertheless exhibit a common structural pattern. In the polytope setting, permutation symmetry forces the center onto the $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$84-ray and ultimately to $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$85. In competitive flows, order-theoretic constraints and the joint cone-boundary principle force recurrent components into a dichotomy between equilibrium order and codimension-one unordered cells. In the ordinal setting, repeated removal of wandering or isolated layers stabilizes at the recurrent core, and arbitrary countable ordinal complexity can occur (Sheng et al., 2023).

This suggests a broad unifying interpretation: Birkhoff center depth measures, in a norm-dependent, order-theoretic, or transfinite sense, how far a system lies from its canonical recurrent or symmetric core. In the Birkhoff polytope the core is the barycenter $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$86; in competitive flows it is the stratified Birkhoff center $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$87; and in topological dynamics it is the fixed stage of the transfinite derivation $B(\Phi)=\overline{R(\Phi)}=\{x:x\in\omega(x)\}$88 (Akin, 31 May 2026).