IFS Encyclopedia

Mekhontsev Wedge

Fractal dimension: 3
Boundary dimension: 2 (polyhedral)

Visualization

Open in IFStile ↗
AIFS program
@
$n=Wedge
$dim=3
a=-1
b=[0,-1,0,1,0,0,0,0,1]
c=[1,0,0,0,0,-1,0,1,0]
h0=1
h1=[1,1,1]
h2=b*a*c^2*[-4,-4,0]
h3=b*c*b^3*a*[0,-4,-4]
h4=b^3*a*c^3*[0,0,-4]
h5=c^2*a*[-4,0,0]
h6=b*[0,-4,0]
h7=b^3*c*[-4,0,-4]
A=2^-1*(h0|h1|h2|h3|h4|h5|h6|h7)*A

Overview

The Mekhontsev Wedge is a convex polyhedron discovered by Dmitry Mekhontsev using IFStile, first published in the Tiling Facebook group in 2026 and subsequently featured by Ed Pegg on Wolfram Community. It is a non-trivial self-similar convex polyhedron: a rep-8-tile in which eight half-scale congruent copies tile the original shape exactly.

The polyhedron has:

satisfying Euler’s formula VE+F=69+5=2V - E + F = 6 - 9 + 5 = 2.

It is topologically equivalent to a triangular prism. A cube is a trivial convex rep-8-tile (8 half-scale cubes fill a cube), but the Wedge is the first example with a non-cuboid shape.

Geometry

The six vertices, in a coordinate system where the full shape spans [0,2]×[0,2]×[0,1][0,2] \times [0,2] \times [0,1], are:

v0=(0,0,0),v1=(2,0,0),v2=(2,2,0),v_0 = (0,0,0), \quad v_1 = (2,0,0), \quad v_2 = (2,2,0), v3=(1,1,1),v4=(2,1,1),v5=(2,2,1).v_3 = (1,1,1), \quad v_4 = (2,1,1), \quad v_5 = (2,2,1).

The shape has a right-angle corner at the origin and tapers toward v3=(1,1,1)v_3 = (1,1,1). As a convex polyhedron its boundary consists of five flat polygonal faces, so the boundary has Hausdorff dimension exactly 2.

Self-Similarity

In the AIFS encoding the scalar a=1a = -1 is negation, and

b=(010100001),c=(100001010)b = \begin{pmatrix} 0 & -1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 1 \end{pmatrix}, \qquad c = \begin{pmatrix} 1 & 0 & 0 \\ 0 & 0 & -1 \\ 0 & 1 & 0 \end{pmatrix}

are 90° rotations around the zz- and xx-axes respectively. The eight maps h0,,h7h_0, \ldots, h_7 compose these rotations with translations to orient and place the eight half-scale sub-wedges. The contraction factor is 12\tfrac{1}{2}, so the Hausdorff dimension of the (solid) attractor is:

d=log8log2=3.d = \frac{\log 8}{\log 2} = 3.

References

Similar

Jerusalem Cube
3dself-similaralgebraic
Menger Sponge
3dself-similaralgebraic
Octahedron Fractal
3dself-similaralgebraic
Edit this page on GitHub ↗