arXiv++ Combinatorics

We study subhomogeneity of the minimal operator system over a polyhedral cone, or equivalently the size of irreducible Arveson boundary points of free polyhedra. We obtain a complete classification in dimension three for cones (equivalently, dimension two for polytopes): cones with three extreme rays are 1-subhomogeneous, cones with four extreme rays are 2-subhomogeneous, and cones with at least five extreme rays are not subhomogeneous. In the last case, we construct irreducible Arveson boundary points at every even matrix level. We prove that subhomogeneity passes to faces and face quotients. We also determine the size of irreducible Arveson boundary points of free polyhedra over products of two simplices, obtaining a dichotomy between the product of two segments and all remaining cases. As applications, we classify n-dimensional cones with n+1 extreme rays. More generally, when every facet omits at most two extreme rays, we show that subhomogeneity occurs exactly for direct sums of simplicial cones and three-dimensional four-ray cones. We also construct, for a range of fixed dimensions and ray counts, cones exhibiting both subhomogeneous and non-subhomogeneous behavior.

We develop a framework to analyse invariant decompositions of elements of tensor product spaces. Namely, we define an invariant decomposition with indices arranged on a simplicial complex, and which is explicitly invariant under a group action. We prove that this decomposition exists for all invariant tensors after possibly enriching the simplicial complex. As a special case we recover tensor networks with translational invariance and the symmetric tensor decomposition. We also define an invariant separable decomposition and purification form, and prove similar existence results. Associated to every decomposition there is a rank, and we prove several inequalities between them. For example, we show by how much the rank increases when imposing invariance in the decomposition, and that the tensor rank is the largest of all ranks. Finally, we apply our framework to nonnegative tensors, where we define a nonnegative and a positive semidefinite decomposition on arbitrary simplicial complexes with group action. We show a correspondence to the previous ranks, and as a very special case recover the nonnegative, the positive semidefinite, the completely positive and the completely positive semidefinite transposed decomposition.

Motivated by a problem from behavioral economics, we study subgroups of permutation groups that have a certain strong symmetry. Given a fixed permutation, consider the set of all permutations with disjoint inversion sets. The group is called non-nudgable, if the cardinality of this set always remains the same when replacing the initial permutation with its inverse. It is called nudgable otherwise. We show that all full permutation groups, standard dihedral groups, half of the alternating groups, and any abelian subgroup are non-nudgable. In the right probabilistic sense, it is thus quite likely that a randomly generated subgroup is non-nudgable. However, the other half of the alternating groups are nudgable. We also construct a smallest possible nudgable group, a 6-element subgroup of the permutation group on 4 elements.

Studying inequalities between subgraph- or homomorphism-densities is an important topic in graph theory. Sums of squares techniques have proven useful in dealing with such questions. Using an approach from real algebraic geometry, we strengthen a Positivstellensatz for simple quantum graphs by Lovász and Szegedy, and we prove several new Positivstellensätze for nonnegativity of quantum multigraphs. We provide new examples and counterexamples.