--- title: Steiner Product Constructions url: https://www.emergentmind.com/topics/steiner-product type: topic --- # Steiner Product Constructions 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 [1403.4916]. 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 [2507.09396]. 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 [1403.4916]. 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 \(T\). An **oriented Steiner triple system** is such a system together with a choice of one of the two cyclic orderings on each triple \(t=\{a,b,c\}\in T\), written for example as \([a,b,c]\), with the identifications \[ [a,b,c]=[b,c,a]=[c,a,b],\qquad [a,c,b]=[c,b,a]=[b,a,c]. \] Equivalently, the orientation determines a skew-symmetric function \(f:S\times S\to\{-1,0,1\}\) satisfying, for each oriented triple \([x,y,z]\), \[ f(x,y)=f(y,z)=f(z,x)=+1,\qquad f(y,x)=f(z,y)=f(x,z)=-1,\qquad f(x,x)=0 \] [2507.09396]. 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 \(\PolPap(m,\goth M)\) Prażmowska–Prażmowski define the \(m\)-weaving of \({\goth M}=(S,\mathcal L)\) by first taking the layered point set \[ X=S\times C_m. \] They then impose the weight condition \[ \mathcal C=\{(i,j,k)\in C_m^3:i=j=k-1\ \lor\ i=k=j-1\ \lor\ j=k=i-1\}, \] and define the block set \[ {}_\ast=\Bigl\{\{(a,i),(b,j),(c,k)\}:\{a,b,c\}\in\mathcal L,\;(i,j,k)\in\mathcal C\Bigr\}. \] The resulting PSTS is \[ \PolPap(m,{\goth M})=(X,{}_\ast) \] [1403.4916]. An equivalent description is that each point \(a\in S\) is cloned to \((a,0),(a,1),\dots,(a,m-1)\), and each original line \(\{a,b,c\}\) gives rise to the triples \[ \{(a,i),(b,i),(c,i+1)\},\quad \{(a,i),(b,i+1),(c,i)\},\quad \{(a,i+1),(b,i),(c,i)\}, \] for \(i\in C_m\). Thus each original block generates \(3m\) new blocks in the layered system [1403.4916]. The quotient structure is built into the construction. The relation \[ (a,i)\approx(b,j)\quad\Longleftrightarrow\quad a=b \] is a congruence on \(\PolPap(m,\goth M)\), and the natural projection onto the quotient gives \[ \PolPap(m,{\goth M})/\!\approx\;\cong\;{\goth M}. \] Accordingly, the original PSTS appears as a quotient of its weave [1403.4916]. 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 \(C_m\). ## 3. Parameters, basic examples, and scaling laws If \({\goth M}\) is a \((v,b,r,3)\)-configuration with \(vr=3b\), then \(\PolPap(m,{\goth M})\) is a \((vm,bm,r,3)\)-configuration. Equivalently, the weave has \(vm\) points, \(bm\) lines, each point has degree \(r\), and each line has size \(3\); the replication numbers are unchanged, and both new and old systems remain \(3\)-uniform [1403.4916]. The most basic example is the single-line PSTS \({\goth T}\) on three points. In that case, \(\PolPap(m,{\goth T})\) is the familiar “cyclically inscribed triangles” of rank \(m\). In particular, \[ \PolPap(3,{\goth T}) \] is the classical Pappus \(9_3\)-configuration. More generally, \(\PolPap(3,{\goth M})\) always has \(3v\) points and \(3b\) lines. A concrete small case recorded in the source is that \(\PolPap(5,{\goth T})\) has parameters \((15,15,3,3)\) but is not isomorphic to any convolution \({\goth M}_\varepsilon C_m\) [1403.4916]. These formulas show that weaving scales the cardinal parameters linearly in \(m\) 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 \(\goth M\) contains no Pasch (Veblen) configuration, then \(\PolPap(m,\goth M)\) is Pasch-free. More strongly, \(\PolPap(m,\goth M)\) 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 \(a(bc)=(ab)(ac)\). On the positive side, if \(\goth M\) contains a subconfiguration of type \(\Pi^k_\gamma\), then so does \(\PolPap(m,\goth M)\); in particular, Pappus configurations persist [1403.4916]. 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 [1403.4916]. 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** \({\goth M}_\varepsilon{\sf G}\) of a PSTS \(\goth M\) with an abelian group \({\sf G}\), where points are also weighted by group elements and triples are constrained by a sum-to-\(\varepsilon\) condition. For every PSTS \(\goth M\), \[ \PolPap(3,{\goth M})\cong{\goth M}_1C_3, \] and if \(\goth M\) admits a hyperplane which is an anti-clique, then even \[ \PolPap(3,{\goth M})\cong{\goth M}_0C_3. \] However, for \(m>3\), in general \(\PolPap(m,{\goth M})\) is not isomorphic to any \({\goth M}_\varepsilon C_m\). The source gives the explicit example \[ \PolPap(3,\GrasSpace(X,2))\not\cong\GrasSpace(X,2)_0C_3 \quad\text{for }|X|>4 \] [1403.4916]. This establishes that weaving and convolution coincide in a special \(m=3\) regime but diverge beyond it. The source therefore treats them as parallel constructions that nevertheless generate genuinely different examples [1403.4916]. 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 \(V=\mathbb R^S\cong\mathbb R^n\), with basis \(S\) and standard dot product \(\langle s_i,s_j\rangle=\delta_{ij}\). For basis elements \(s\neq t\), one sets \[ s\times t:=f(s,t)\cdot u, \] where \(\{s,t,u\}\) is the unique block containing \(s,t\), and \(f(s,t)=\pm1\) is the orientation function. If \(s=t\), then \(s\times s=0\). The product is then extended bilinearly: \[ a\times b=\sum_{s,t\in S} a_s b_t (s\times t) \] for \(a=\sum_s a_s s\) and \(b=\sum_s b_s s\). In coordinates, one may assemble an \(n\times n\) structure matrix \(M\) by \(M_{ij}=s_i\times s_j\in V\), and then \[ a\times b=\operatorname{tr}([a]^T M [b]) \] [2507.09396]. When \(n=3\), with \(S=\{i,j,k\}\), \(T=\{\{i,j,k\}\}\), and orientation \([i,j,k]\), this Steiner product coincides with the usual vector cross product in \(\mathbb R^3\). In general, it satisfies three basic properties: bilinearity over \(\mathbb R\), skew-symmetry \(a\times b=-(b\times a)\), and orthogonality \[ \langle a,a\times b\rangle=\langle b,a\times b\rangle=0 \] for all \(a,b\in V\) [2507.09396]. The comparison with the usual cross product is precise. The source states that the usual cross product in an inner-product space \(V\) is characterized by bilinearity, orthogonality, and the norm relation \[ |u|^2|v|^2=|u\times v|^2+(u\cdot v)^2. \] 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 \(3\)-point system or exactly the Fano-orientation on \(7\) points, which reproduces the imaginary-octonion cross product. In general, no Jacobi identity or genuine associativity holds [2507.09396]. 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 \(7\), 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 \(21\), a non-Abelian group \(C_7\rtimes C_3\), and two have automorphism group of order \(3\). None are reflexive. The source lists explicit representatives \(O_1,O_2,O_3,O_4\) on \(S=\{1,\dots,7\}\), and records that \(O_1^{op}\cong O_2\) and \(O_3^{op}\cong O_4\) under explicit relabelings. For order \(9\), there are exactly \(16\) non-isomorphic oriented STS(9): seven classes with \(|Aut|=1\), seven with \(|Aut|=3\), one with \(|Aut|=9\), and one with \(|Aut|=27\). 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 \(|Aut|=27\) [2507.09396]. The dynamical analysis starts from a fixed \(w\in V\) and the linear endomorphism \[ L_w(v)=w\times v, \] whose matrix \(A_w\) in the basis \(S\) is skew-symmetric. The iterates \[ v,\ L_w(v),\ L_w^2(v),\dots \] are studied via the growth of the subspace they span. A plateau principle holds: if \[ \dim\langle v,L_w(v),\dots,L_w^k(v)\rangle = \dim\langle v,L_w(v),\dots,L_w^{k+1}(v)\rangle, \] then the span has stabilized for all later iterates. A vector \(v\) is a zero-divisor for \(\times\) if there exists \(w\neq0\) such that \(v\times w=0\) but \(v\notin\langle w\rangle\); equivalently, \(A_w\) has rank \(