arXiv++ Combinatorics

We study the monoid $\mathcal W$ of based closed walks on the $1$-skeleton of the three-dimensional cube $Q_3$. The fundamental group of this graph is the free group $F_5$. We prove that every additive one-step reading, given by a sum of edge weights in an abelian group, factors through the directed transition counts, and we exhibit two closed walks with equal transition counts and different reduced loop words. Hence commutative aggregation does not determine the reduced loop word. The reduced loop word gives a proper noncommutative recognition quotient. We also determine the shortest closed walk with trivial abelianization but nontrivial degree-two commutator information. Its minimum length in the cube edge metric is $14$. We also obtain a separation between finite and unbounded memory. A two-state reading separates an order pair, while for every $k\geq1$, there is an explicit factorial pair which no $k$-state reading separates. An unbounded stack recovers the reduced loop word on every walk. For integer-valued functions on the vertex set, potential readings vanish on closed walks, while occupation binding is not rectangular. More generally, every occupation-based constraint is rectangular on a class of histories if and only if the occupation vector is constant on that class. Finally, a declared quarter-turn quaternion clock gives a second proper order-sensitive congruence, incomparable with the reduced-word quotient. The obstruction to commutative recovery, and the minimum $14$, remain valid on every hypercube $Q_n$, $n\geq3$.

Let $G$ be a finite connected simple graph with a chosen orientation of its edges. For the edge potential $ψ(t)=\cosh t-1,$ we minimize $\sum_{e\in E^\to}ψ(z_e)$ over each affine class $ω+dC^0(G)\subset C^1(G)$. The minimizer is the unique representative satisfying the nonlinear coclosed equation $δ\sinh z=0,$ and hence defines a nonlinear selector $\Picc:C^1(G)\to C^1(G).$ We show that $\Picc$ is real analytic, identify its image as $\imop \Picc=\Mcc=\operatorname{arsinh}(\kerδ),$ and compute its differential as a weighted Hodge projector. In particular, $\Picc$ agrees with the ordinary Hodge projector $\PiH$ to first order at the origin, and the first nonlinear correction is cubic. Our main global theorem is a graph-theoretic criterion: for every admissible edge potential -- even, $C^2$, strictly convex, and non-quadratic -- the associated nonlinear selector coincides with $\PiH$ on all of $C^1(G)$ if and only if $G$ is a cactus graph. Finally, we work out the two-triangle graph, the smallest connected simple obstruction, and record a self-concordant Newton method for computing $\Picc$.