Comb product

From Polytope Wiki
Jump to navigation Jump to search
Comb product
The square tiling is the honeycomb product of two apeirogons (outlined in cyan).
Rank formula[note 1][1]
Dimension formula
Element formula[note 2]
Algebraic properties
Algebraic structureCoummutative semigroup[note 3]
IdentityRay[note 4]
Uniquely factorizableYes[note 5][1]

The comb product (also honeycomb product or topological product[1]), is an operation on polytopes, defined on both abstract polytopes and polytopes realized in Euclidean space. Given an input n-polytope P and m-polytope Q, the comb product produces a new polytope of rank . If P is realized in Euclidean d-space and Q in e-space, the comb product is in Euclidean -space. The comb product generally produces skew polytopes even if both operands are planar; however, if both base polytopes are tilings, then the result is also a valid tiling.

The comb product is one of four common polytope products along with the prism product, direct sum, and pyramid product. While the other three polytope products are closed over convex polytopes, the comb product's tendency to produce skew polytopes means that it is more or less useless in convex geometry. It is however important in the study of abstract polytopes, tilings, and regular skew polytopes.

The comb product of two polytopes is known as a duocomb, and a multicomb for more than two polytopes. The comb product of a regular polytope with itself is regular. For example, the comb product of two squares is the square duocomb, a regular skew polyhedron.

Definition[edit | edit source]

Abstract polytopes[edit | edit source]

If is an abstract polytope of rank and is an abstract polytope of rank , then the honeycomb product is defined to be:[1]

with the order:

Hypertopes[edit | edit source]

The definition of the comb product is considerably simpler for hypertopes. For two hypertopes A  and B  with types in the natural numbers, then the honeycomb product is:


This can be thought of as the cartesian product with the modification that it merges types whose pairs sum to the same value.

Notes[edit | edit source]

  1. For .
  2. For .
  3. It forms a monoid on partial orders but its identity is not an abstract polytope.
  4. Not an abstract polytope.
  5. With the exception of the annihilator.

References[edit | edit source]

  1. 1.0 1.1 1.2 1.3 1.4 Gleason, Ian; Hubard, Isabel (2018). "Products of abstract polytopes" (PDF). Journal of Combinatorial Theory, Series A. 157: 287–320. doi:10.1016/j.jcta.2018.02.002.