Steiner Product Constructions

• Steiner Product is a term for two constructions from Steiner triple systems: a weaving product that generates new incidence structures and a bilinear product defining a skew-symmetric map.
• The weaving product produces layered partial Steiner triple systems that preserve the quotient structure while selectively omitting configurations like Pasch, Fano, and Desargues.
• The bilinear Steiner product, derived from oriented systems, generalizes the vector cross product and exhibits rich spectral dynamics and classification properties.

Searching arXiv for papers on “Steiner product” and closely related usages in Steiner triple systems. First search: phrase “Steiner product” on arXiv. Second search: “weaving partial Steiner triple systems” to verify the combinatorial usage. Third search: “oriented Steiner triple systems Steiner products dynamics” to verify the bilinear-algebraic usage. In the cited arXiv literature, the term Steiner product is used for two distinct constructions built from Steiner triple systems. In incidence geometry, Prażmowska–Prażmowski introduce the weaving or Steiner product $\PolPap(m,\goth M)$, which associates to a partial Steiner triple system another partial Steiner triple system in such a way that the original system appears as a quotient (Prażmowska et al., 2014). In algebraic and dynamical work, Kettinger–Peterson use Steiner product for an anticommutative bilinear operation on $\mathbb R^n$ defined from an oriented Steiner triple system, with formal similarities to the vector cross product (Kettinger et al., 12 Jul 2025). The shared terminology reflects a common combinatorial substrate—Steiner triples—but the two constructions act on different categories: one produces new incidence structures, the other a skew-symmetric bilinear map.

1. Incidence-geometric setting: partial Steiner triple systems and orientation data

For the weaving construction, the ambient object is a partial Steiner triple system (PSTS) ${\goth M}=(S,\mathcal L)$, where $\mathcal L\subset\binom S3$ and every pair of points of $S$ lies on at most one block. The input also includes the cyclic group $C_m=\{0,1,\dots,m-1\}$ of order $m>2$, written additively (Prażmowska et al., 2014).

For the bilinear construction, the ambient object is a Steiner triple system $(S,T)$, meaning that every $2$-subset of $S$ lies in exactly one triple in $\mathbb R^n$0. An oriented Steiner triple system is such a system together with a choice of one of the two cyclic orderings on each triple $\mathbb R^n$1, written for example as $\mathbb R^n$2, with the identifications

$\mathbb R^n$3

Equivalently, the orientation determines a skew-symmetric function $\mathbb R^n$4 satisfying, for each oriented triple $\mathbb R^n$5,

$\mathbb R^n$6

(Kettinger et al., 12 Jul 2025).

These two starting points differ in a structurally significant way. The weaving product only requires a PSTS, so uniqueness of the containing block is needed only where it exists. The bilinear Steiner product requires a full Steiner triple system together with orientation data, because the product of two basis elements is defined through the unique third point in their block.

2. The weaving product $\mathbb R^n$7

Prażmowska–Prażmowski define the $\mathbb R^n$8-weaving of $\mathbb R^n$9 by first taking the layered point set

${\goth M}=(S,\mathcal L)$0

They then impose the weight condition

${\goth M}=(S,\mathcal L)$1

and define the block set

${\goth M}=(S,\mathcal L)$2

The resulting PSTS is

${\goth M}=(S,\mathcal L)$3

(Prażmowska et al., 2014).

An equivalent description is that each point ${\goth M}=(S,\mathcal L)$4 is cloned to ${\goth M}=(S,\mathcal L)$5, and each original line ${\goth M}=(S,\mathcal L)$6 gives rise to the triples

${\goth M}=(S,\mathcal L)$7

for ${\goth M}=(S,\mathcal L)$8. Thus each original block generates ${\goth M}=(S,\mathcal L)$9 new blocks in the layered system (Prażmowska et al., 2014).

The quotient structure is built into the construction. The relation

$\mathcal L\subset\binom S3$0

is a congruence on $\mathcal L\subset\binom S3$1, and the natural projection onto the quotient gives

$\mathcal L\subset\binom S3$2

Accordingly, the original PSTS appears as a quotient of its weave (Prażmowska et al., 2014).

This quotient mechanism is central to the combinatorial meaning of the construction. The weave does not merely enlarge a system by replication; it enlarges it in a way that preserves the original collinearity pattern modulo the layer coordinate in $\mathcal L\subset\binom S3$3.

3. Parameters, basic examples, and scaling laws

If $\mathcal L\subset\binom S3$4 is a $\mathcal L\subset\binom S3$5-configuration with $\mathcal L\subset\binom S3$6, then $\mathcal L\subset\binom S3$7 is a $\mathcal L\subset\binom S3$8-configuration. Equivalently, the weave has $\mathcal L\subset\binom S3$9 points, $S$0 lines, each point has degree $S$1, and each line has size $S$2; the replication numbers are unchanged, and both new and old systems remain $S$3-uniform (Prażmowska et al., 2014).

The most basic example is the single-line PSTS $S$4 on three points. In that case, $S$5 is the familiar “cyclically inscribed triangles” of rank $S$6. In particular,

$S$7

is the classical Pappus $S$8-configuration. More generally, $S$9 always has $C_m=\{0,1,\dots,m-1\}$0 points and $C_m=\{0,1,\dots,m-1\}$1 lines. A concrete small case recorded in the source is that $C_m=\{0,1,\dots,m-1\}$2 has parameters $C_m=\{0,1,\dots,m-1\}$3 but is not isomorphic to any convolution $C_m=\{0,1,\dots,m-1\}$4 (Prażmowska et al., 2014).

These formulas show that weaving scales the cardinal parameters linearly in $C_m=\{0,1,\dots,m-1\}$5 while leaving local incidence degree unchanged. A plausible implication is that the construction is especially suited to producing larger PSTS families without changing the local valency profile.

4. Preservation and non-preservation of classical configurations

A major part of the theory is the selective destruction or retention of distinguished subconfigurations.

Prażmowska–Prażmowski prove the following preservation and non-preservation theorems. If $C_m=\{0,1,\dots,m-1\}$6 contains no Pasch (Veblen) configuration, then $C_m=\{0,1,\dots,m-1\}$7 is Pasch-free. More strongly, $C_m=\{0,1,\dots,m-1\}$8 contains no Fano subconfiguration and is anti-Fano, in the sense that no three “diagonal” points of any quadrangle are collinear. It contains no Desargues configuration, and more strongly no three focuses of two perspective triangles are collinear. It also has no miter-configuration, equivalently no realization of the identity $C_m=\{0,1,\dots,m-1\}$9. On the positive side, if $m>2$0 contains a subconfiguration of type $m>2$1, then so does $m>2$2; in particular, Pappus configurations persist (Prażmowska et al., 2014).

The resulting pattern is highly asymmetric. Pasch, Fano, Desargues, and miter are excluded, whereas Pappus-type figures may survive. This suggests that weaving is not a generic “configuration amplifier,” but a construction with a specific bias toward anti-Pasch, anti-Fano, and anti-Desarguesian behavior.

The source summarizes this effect geometrically: weaving destroys most classical collineation configurations yet preserves Pappus-type figures (Prażmowska et al., 2014). In the language of configuration theory, that places the construction among methods for generating controlled negative examples while retaining some projective-like incidence behavior.

5. Relation to convolution and neighboring product constructions

The weaving product is explicitly compared with the convolution $m>2$3 of a PSTS $m>2$4 with an abelian group $m>2$5, where points are also weighted by group elements and triples are constrained by a sum-to-$m>2$6 condition. For every PSTS $m>2$7,

$m>2$8

and if $m>2$9 admits a hyperplane which is an anti-clique, then even

$(S,T)$0

However, for $(S,T)$1, in general $(S,T)$2 is not isomorphic to any $(S,T)$3. The source gives the explicit example

$(S,T)$4

(Prażmowska et al., 2014).

This establishes that weaving and convolution coincide in a special $(S,T)$5 regime but diverge beyond it. The source therefore treats them as parallel constructions that nevertheless generate genuinely different examples (Prażmowska et al., 2014).

The broader significance is methodological. Since the original system is recovered as a quotient, while the new system frequently acquires anti-Pasch and anti-Desarguesian behavior, weaving provides a way to enlarge incidence structures without losing track of their source geometry.

6. The bilinear Steiner product from oriented Steiner triple systems

Kettinger–Peterson define a different Steiner product on the real vector space $(S,T)$6, with basis $(S,T)$7 and standard dot product $(S,T)$8. For basis elements $(S,T)$9, one sets

$2$0

where $2$1 is the unique block containing $2$2, and $2$3 is the orientation function. If $2$4, then $2$5. The product is then extended bilinearly: $2$6 for $2$7 and $2$8. In coordinates, one may assemble an $2$9 structure matrix $S$0 by $S$1, and then

$S$2

(Kettinger et al., 12 Jul 2025).

When $S$3, with $S$4, $S$5, and orientation $S$6, this Steiner product coincides with the usual vector cross product in $S$7. In general, it satisfies three basic properties: bilinearity over $S$8, skew-symmetry $S$9, and orthogonality

$\mathbb R^n$00

for all $\mathbb R^n$01 (Kettinger et al., 12 Jul 2025).

The comparison with the usual cross product is precise. The source states that the usual cross product in an inner-product space $\mathbb R^n$02 is characterized by bilinearity, orthogonality, and the norm relation

$\mathbb R^n$03

The Steiner product satisfies the first two conditions but in general fails the third. The only cases when the norm relation also holds are the trivial $\mathbb R^n$04-point system or exactly the Fano-orientation on $\mathbb R^n$05 points, which reproduces the imaginary-octonion cross product. In general, no Jacobi identity or genuine associativity holds (Kettinger et al., 12 Jul 2025).

This algebraic Steiner product is therefore best understood as a combinatorially defined skew bilinear operation with cross-product-like features, rather than as a Lie bracket or an alternative algebra multiplication.

7. Classification and dynamics of the algebraic Steiner product

For order $\mathbb R^n$06, there is a unique non-oriented STS, the Fano plane, and Kettinger–Peterson show that there are exactly four non-isomorphic oriented STS(7). Two have automorphism group of order $\mathbb R^n$07, a non-Abelian group $\mathbb R^n$08, and two have automorphism group of order $\mathbb R^n$09. None are reflexive. The source lists explicit representatives $\mathbb R^n$10 on $\mathbb R^n$11, and records that $\mathbb R^n$12 and $\mathbb R^n$13 under explicit relabelings. For order $\mathbb R^n$14, there are exactly $\mathbb R^n$15 non-isomorphic oriented STS(9): seven classes with $\mathbb R^n$16, seven with $\mathbb R^n$17, one with $\mathbb R^n$18, and one with $\mathbb R^n$19. Eight are reflexive, while the other eight split into four opposite-pairs. The source also gives an explicit oriented-triple list for the unique class with $\mathbb R^n$20 (Kettinger et al., 12 Jul 2025).

The dynamical analysis starts from a fixed $\mathbb R^n$21 and the linear endomorphism

$\mathbb R^n$22

whose matrix $\mathbb R^n$23 in the basis $\mathbb R^n$24 is skew-symmetric. The iterates

$\mathbb R^n$25

are studied via the growth of the subspace they span. A plateau principle holds: if

$\mathbb R^n$26

then the span has stabilized for all later iterates. A vector $\mathbb R^n$27 is a zero-divisor for $\mathbb R^n$28 if there exists $\mathbb R^n$29 such that $\mathbb R^n$30 but $\mathbb R^n$31; equivalently, $\mathbb R^n$32 has rank $\mathbb R^n$33. The spectral theorem for real skew matrices yields purely imaginary eigenvalues $\mathbb R^n$34 and an odd-dimensional nullspace, with $\mathbb R^n$35 orthogonally conjugate to block-diagonal form with $\mathbb R^n$36 rotation blocks and zero blocks. Writing

$\mathbb R^n$37

with $\mathbb R^n$38 in the $\mathbb R^n$39-plane for $\mathbb R^n$40 and $\mathbb R^n$41, and letting $\mathbb R^n$42 be the number of nonzero $\mathbb R^n$43, the source states:

• $\mathbb R^n$44 if $\mathbb R^n$45, and $\mathbb R^n$46 if $\mathbb R^n$47;
• the normalized iterates $\mathbb R^n$48 converge to a vector in the smallest $\mathbb R^n$49-plane containing $\mathbb R^n$50;
• the long-time average of normalized iterates tends to $\mathbb R^n$51;
• ultimately the trajectory cycles through a $\mathbb R^n$52-cycle $\mathbb R^n$53 in a $\mathbb R^n$54-plane perpendicular to $\mathbb R^n$55 (Kettinger et al., 12 Jul 2025).

In dimension $\mathbb R^n$56, choosing the orientation that matches the multiplication table of the octonions makes the Steiner product exactly the restriction of $\mathbb R^n$57. In dimension $\mathbb R^n$58, the highly symmetric class with $\mathbb R^n$59 provides examples with zero-divisors, varied rank patterns, and a spectral decomposition into three $\mathbb R^n$60 rotation blocks plus a $\mathbb R^n$61-dimensional nullspace (Kettinger et al., 12 Jul 2025).

Taken together, these results show that Steiner product is not a single invariant notion but a family name for constructions that translate Steiner-triple combinatorics into either incidence-geometric products or skew bilinear dynamics. The combinatorial weaving product emphasizes quotient structure and the controlled exclusion of configurations such as Pasch, Fano, Desargues, and miter, whereas the algebraic Steiner product emphasizes skew-symmetric multilinear structure, classification of oriented systems, and spectral dynamics of the induced operators.