Abstract:We develop a theory of isometric subgraphs of hypercubes for which a certain inheritance of isometry plays a crucial role. It is well known that median graphs and closely related graphs embedded in hypercubes bear geometric features that involve realizations by solid cubical complexes or are expressed by Euler-type counting formulae for cubical faces. Such properties can also be established for antimatroids, and in fact, a straightforward generalization (“conditional antimatroid”) captures this concept as well as median convexity. The key ingredient for the cube counting formulae that work in conditional antimatroids is a simple cube projection property, which, when letting sets be encoded by sign vectors, is seen to be invariant under sign switches and guarantees linear independence of the corresponding sign vectors. It then turns out that a surprisingly elementary calculus of projection and lifting gives rise to a plethora of equivalent characterizations of set systems bearing these properties, which are not necessarily closed under intersections (and thus are more general than conditional antimatroids). One of these descriptions identifies these particular set systems alias sets of sign vectors as the lopsided sets originally introduced by Lawrence in order to investigate the subgraphs of the n-cube that encode the intersection pattern of a given convex set K with the closed orthants of the n-dimensional Euclidean space. This demonstrates that the concept of lopsidedness in its various disguises is most natural and versatile in combinatorics.

Equitable [[2,10],[6,6]]-partitions of the 12-cube

Equitable [[2, 10], [6, 6]]-partitions of the 12-cube

The classification of orthogonal arrays OA(2048,14,2,7) and some completely regular codes

On degree-$3$ and $(n-4)$-correlation-immune perfect colorings of $n$-cubes

SIC-POVMs and orders of real quadratic fields

Parity of Sets of Mutually Orthogonal Latin Squares

Set partitions, tableaux, and subspace profiles under regular diagonal matrices

Equistarable bipartite graphs

Quatroids and Rational Plane Cubics

Constructions of Pairs of Orthogonal Latin Cubes

Maximality and completeness of orthogonal exponentials on the cube

Optical orthogonal codes from a combinatorial perspective

On orthogonal symmetric chain decompositions

Equitable Colorings of Cartesian Products with Balanced Complete Multipartite Graphs

Local unitary equivalence of absolutely maximally entangled states constructed from orthogonal arrays

Combinatorics of Euclidean spaces over finite fields

Quantum k-uniform states for heterogeneous systems from irredundant mixed orthogonal arrays

Enumeration of quarter-turn symmetric alternating-sign matrices of odd order

Combinatorics of Lopsided Sets

A combinatorial proof of Buryak-Feigin-Nakajima

Classification of Arbitrary-Dimensional Multipartite Pure States under Stochastic Local Operations and Classical Communication Using the Rank of Coefficient Matrix