🤖 AI Summary
This work addresses the lack of rigorous geometric theory explaining the expressive power of Mixture-of-Experts (MoE) architectures, particularly how sparse routing enhances model capacity. It establishes the first theoretical connection between MoE and tropical geometry by modeling the Top-k routing mechanism as a k-th elementary symmetric tropical polynomial. This formulation reveals that sparsity inherently induces combinatorial depth, and the paper introduces the notions of effective capacity and combinatorial resilience to characterize MoE’s expressiveness on low-dimensional manifold data. Leveraging hyper-simplex normal fan decomposition and the manifold hypothesis, the study proves that MoE avoids capacity collapse and that its expressive power scales with the combinatorial number C(N, k), thereby providing a rigorous theoretical foundation for the topological advantages of conditional computation.
📝 Abstract
While Mixture-of-Experts (MoE) architectures define the state-of-the-art, their theoretical success is often attributed to heuristic efficiency rather than geometric expressivity. In this work, we present the first analysis of MoE through the lens of tropical geometry, establishing that the Top-$k$ routing mechanism is algebraically isomorphic to the $k$-th elementary symmetric tropical polynomial. This isomorphism partitions the input space into the Normal Fan of a Hypersimplex, revealing that \textbf{sparsity is combinatorial depth} which scales geometric capacity by the binomial coefficient $\binom{N}{k}$. Moving beyond ambient bounds, we introduce the concept of \textit{Effective Capacity} under the Manifold Hypothesis. We prove that while dense networks suffer from capacity collapse on low-dimensional data, MoE architectures exhibit \textit{Combinatorial Resilience}, maintaining high expressivity via the transversality of routing cones. In this study, our framework unifies the discrete geometry of the Hypersimplex with the continuous geometry of neural functions, offering a rigorous theoretical justification for the topological supremacy of conditional computation.