But it is not easy to extract properties of \(\mathcal{C}\) from this construction, and there is essentially no literature on properties of \(\mathcal{C}\). Here is one of many special cases one might study. Take the \(d\)-dimensional discrete torus \(Z^d_N\) and change each edge to two directed edges, giving \(2dN^d\) dirccted edges. A uniform random Eulerian circuit will have \(2d\) excursions from the origin: write the lengths of these excursions in increasing order as \(L_1 \le L_2 \le \ldots \le L_{2d}\).
Conjecture. Fix \(d \ge 3\). Each \(L_i\) is either \(O(1)\) or \(\Omega(N^d)\). More precisely, for \(\omega_N \to \infty\) arbitrarily slowly, \[ P ( \mbox{ some } L_i \in (\omega_N, N^d/\omega_N) )\to 0 \mbox{ as } N \to \infty . \] The conjecture arises by analogy with simple RW on the torus, whose excursion lengths are either \(O(1)\) or \(\Omega(N^d)\). For \(d=2\) the analogy suggests that the short lengths in the random Eulerian circuit might be \(O(\log N)\) instead of \(O(1)\).