Abstract:The signaling dimension of any given physical system represents its classical simulation cost, that is, the minimum dimension of a classical system capable of reproducing all the input/output correlations of the given system. The signaling dimension landscape is vastly unexplored; the only non-trivial systems whose signaling dimension is known -- other than quantum systems -- are the octahedron and the composition of two squares. Building on previous results by Matsumoto, Kimura, and Frenkel, our first result consists of deriving bounds on the signaling dimension of any system as a function of its Minkowski measure of asymmetry. We use such bounds to prove that the signaling dimension of any two-dimensional system (i.e. with two-dimensional set of admissible states, such as polygons and the real qubit) is two if and only if such a set is centrally symmetric, and three otherwise, thus conclusively settling the problem of the signaling dimension for such systems. Guided by the relevance of symmetries in the two dimensional case, we propose a branch and bound division-free algorithm for the exact computation of the symmetries of any given polytope, in polynomial time in the number of vertices and in factorial time in the dimension of the space. Our second result then consist of providing an algorithm for the exact computation of the signaling dimension of any given system, that outperforms previous proposals by exploiting the aforementioned bounds to improve its pruning techniques and incorporating as a subroutine the aforementioned symmetries-finding algorithm. We apply our algorithm to compute the exact value of the signaling dimension for all rational Platonic, Archimedean, and Catalan solids, and for the class of hyper-octahedral systems up to dimension five.

On the Diameter of a 2-Sum of Polyhedra

On the Combinatorial Diameters of Parallel and Series Connections

Polytope Extensions with Linear Diameters

On the Circuit Diameter of Some Combinatorial Polytopes

Characterizing the integer points in 2-decomposable polyhedra by closedness under operations

On the Combinatorial Complexity of Approximating Polytopes

Equidistant Smoothing of Polyhedra with Arbitrary Topologies

A Spectral Approach to Polytope Diameter

Relative Stanley-Reisner theory and Upper Bound Theorems for Minkowski sums

On the Length of Monotone Paths in Polyhedra

Filling a triangulation of the 2-sphere

From spherical separation center set to the upper and lower bound theorems

On the Circuit Diameter Conjecture for Counterexamples to the Hirsch Conjecture

The signaling dimension of two-dimensional and polytopic systems

Polyak's convexity theorem, Yuan's lemma and S-lemma: extensions and applications

Flip distance and triangulations of a polyhedron

Geometric Combinatorics of Polynomials I: The Case of a Single Polynomial

Higher Secondary Polytopes for Two-Dimensional Zonotopes

On the enumeration of subcells within hypercubes and its application to the Borsuk-Ulam theorem

A worst-case optimal algorithm to compute the Minkowski sum of convex polytopes

Complete Description of Matching Polytopes with One Linearized Quadratic Term for Bipartite Graphs