arXiv++ Combinatorics

We prove that, up to row and column permutations and complement operations, the only complement minimally non-totally unimodular matrices are the cycle matrices $C_3$ and $C_5$. This settles a conjecture of Chervet, Grappe, and Vallée. As a consequence, every simplicial cone generated by the rows of a totally equimodular matrix admits a regular unimodular Hilbert triangulation.

We introduce a binary matroid approach to the enumeration of mod 2 toric-colorable seeds of fixed Picard number. We organize these matroids by their contraction category and enumerate weak pseudomanifold subcomplexes by a dynamic programming algorithm. The main computational step uses a Gray code traversal of the mod 2 kernel of the ridge-facet incidence matrix. As the main new result, we find that there are 198,846 mod 2 toric-colorable seeds of dimension four and Picard number five. We also check that they all are toric-colorable. Finally, the same framework independently reproduces the Picard number 4 enumeration of Choi, Jang, and Vallée much faster than their previous method.

We introduce a systematic method for constructing set-theoretic operads via iterated application of the power set functor, and use it to uncover a hierarchy connecting several classical operads. Starting from the permutative operad, the first iteration recovers the commutative triassociative operad. The second iteration produces the substitution operad and the composition operad on simplicial complexes, two structures introduced by Ayzenberg and Abramyan--Panov in the theory of polyhedral products; we prove that both are infinitely generated. This hierarchy yields a conceptual explanation for the multiplicity of polyhedral product constructions: the arrows of any cocontinuous cocomplete symmetric monoidal category carry natural algebra structures over both operads, recovering the Cartesian, smash, and join polyhedral products as instances for different monoidal structures on topological spaces. Going further, we construct a new operad on relative simplicial complexes, governed by the join polyhedral product, which contains both the composition and the substitution operads as suboperads. As an application, pairs of piecewise-linear balls without interior vertices with their boundary spheres form a suboperad, extending the stability of the $J$-construction on piecewise-linear~spheres.

Totally equimodular matrices generalize totally unimodular matrices and arise in the context of box-total dual integral polyhedra. This work further explores the parallels between these two classes and introduces foundational building blocks for constructing totally equimodular matrices. Consequently, we present a decomposition theorem for totally equimodular matrices of full row rank. Building on this decomposition theorem, we prove that simplicial cones whose generators form the rows of a totally equimodular matrix sa\-tisfy strong integrality decomposition properties. More precisely, we provide the Hilbert basis for these cones and construct regular unimodular Hilbert triangulations in most cases. We conjecture that cases not covered here do not exist.

Let $K$ be an $(n-1)$-dimensional piecewise linear sphere on $[m]$, where $m\leq n+4$. There are a canonical action of $m$-dimensional torus $T^m$ on the moment-angle complex $\mathcal{Z}_K$, and a canonical action of $\mathbb{Z}_2^m$ on the real moment-angle complex $\mathbb{R}\mathcal{Z}_K$, where $\mathbb{Z}_2$ is the additive group with two elements. We prove that any subgroup of $\mathbb{Z}_2^m$ acting freely on $\mathbb{R}\mathcal{Z}_K$ is induced by a subtorus of $T^m$ acting freely on $\mathcal{Z}_K$. The proof primarily utilizes a suitably modified method of toric wedge induction and the combinatorial structure of a specific binary matroid of rank $4$.

The puzzle method was introduced by Choi and Park as an effective method for finding non-singular characteristic maps over wedged simplicial complexes $K(J)$ obtained from a given simplicial complex $K$. We study further the mod 2 case of the puzzle method. We firstly describe it completely in terms of linear algebraic language which allows us to develop a constructive puzzle algorithm. We also analyze our algorithm and compare its performances with other known algorithms including the Garrison and Scott algorithm.