(Exploratory results and conceptual conclusions)
1. Motivation
The Erdős–Szekeres monotone subsequence problem admits a striking closed-form solution in two dimensions, revealed via a reformulation as a square-packing problem on a square torus. The resulting extremal function collapses to a single rational formula, a phenomenon that appears highly non-generic: even slight perturbations of the problem (rectangular tori, higher dimensions) lose this simplicity and exhibit piecewise behavior.
The usual heuristic explanation is that symmetry simplifies the problem. However, this slogan does not adequately explain why symmetry sometimes appears to increase structural resolution rather than collapse it, nor why nearby problems rapidly become analytically “mushy”.
The goal of this exploratory work was not to prove new extremal results, but to understand—at the level of mechanisms—how symmetry controls the resolution and stability of extremal regimes in torus packing formulations.
2. Experimental setup (minimal description)
We studied axis-parallel cube packings in periodic boxes (tori) of varying geometry:
- Fully symmetric:
- Mild symmetry ablation:
- Stronger ablation:
For each geometry, we considered packings with
for integer offsets in a fixed range, and numerically approximated the extremal value function via a heuristic optimizer. The precise optimizer is not important here; what matters is that the same algorithm and parameters were used across all geometries, allowing controlled comparison of structural features.
3. Regimes and scale-invariant structure
The extremal value function (or its reciprocal) exhibits piecewise-linear behavior when plotted against n, as expected from parametric linear programming considerations.
A naive clustering of slope changes produces many apparent “clusters”, especially as box dimensions increase. However, this raw cluster count is misleading: fixed absolute thresholds artificially fragment regimes as slope magnitudes scale.
To address this, we introduced two stabilizing ideas:
- Scale-invariant clustering of slopes (thresholds relative to slope scale).
- A distinction between:
- micro-clusters: single-segment or boundary artifacts,
- and macro regimes: clusters containing ≥2 contiguous segments.
Only macro regimes are treated as structurally meaningful. This distinction is essential: much of the perceived “complexity” in asymmetric or higher-dimensional problems arises from micro-fragmentation near regime boundaries, not from the emergence of new mechanisms.
4. Main empirical observations
4.1 Macro regimes are few and stable
Across all geometries tested, the number of macro regimes remained small and bounded:
| Geometry | Macro regimes |
|---|---|
| 7–8 | |
| 5 | |
| 6 |
There is no evidence of regime proliferation with increasing dimension or box size. Apparent growth in total clusters is fully explained by micro-fragmentation.
4.2 Symmetry increases resolution, not simplicity
Contrary to the naive “symmetry simplifies” heuristic, we observed:
- Fully symmetric geometries exhibit more macro regimes, not fewer.
- Breaking symmetry causes merging and blurring of regimes, not proliferation.
In particular, the symmetric case shows the highest number of distinct macro regimes, while mild symmetry ablation collapses several regimes into fewer, broader ones.
This suggests that symmetry acts as a geometric quantization mechanism: it pins competing extremal strategies into distinct, non-interfering configurations. When symmetry is reduced, these strategies deform continuously into one another, and previously sharp phase boundaries expand into transition zones.
4.3 The turning plateau as a balanced extremal mechanism
All geometries exhibit a near-zero-slope macro regime corresponding to a balanced extremal mechanism. Its behavior depends strongly on symmetry:
- In the fully symmetric case, this regime is wide and sharply defined.
- Under symmetry ablation, it narrows or splits, but does not disappear.
This plateau should be understood not as an absence of structure, but as a configuration where multiple coordinate-dominant strategies are exactly or approximately balanced. Symmetry stabilizes this balance; when symmetry is weakened, the balance becomes fragile and localized.
4.4 Configuration-level signatures corroborate regime structure
To ensure that macro regimes are not artifacts of slope analysis alone, we examined coarse, intrinsic signatures of the extremal configurations themselves:
- concentration of mass (Top-10 share),
- inequality (Gini coefficient),
- entropy of normalized weights.
Within each macro regime, these signatures are stable; across regime boundaries, they jump. Moreover:
- Negative-slope regimes correspond to more concentrated (lower-entropy) configurations.
- Positive-slope regimes correspond to more uniform (higher-entropy) configurations.
- Near-zero regimes interpolate between these extremes.
These signatures persist across symmetry ablations, confirming that macro regimes correspond to distinct extremal states, not numerical noise.
5. Conceptual conclusion
The experiments consistently support the following principle:
Symmetry is not primarily a simplifier of extremal problems; it is a stabilizer and classifier of competing extremal mechanisms.
More precisely:
- Multiple extremal mechanisms coexist even in low dimensions.
- In low symmetry, these mechanisms interfere and merge, producing analytically “mushy” behavior.
- High symmetry prevents regime merging by stabilizing phase boundaries and increasing the resolution of the extremal landscape.
- In exceptional cases (such as the 2D square torus), symmetry fully resolves all competing mechanisms into a single orbit type, yielding a clean closed-form solution.
6. Status and limitations
- These results are exploratory and heuristic.
- No optimality proofs or exhaustive searches are claimed.
- Numerical outputs were used to detect structure, not to establish sharp bounds.
- The value lies in mechanism identification and explanatory clarity, not certified computation.
7. Takeaway
The transition from exact formulas to analytical intractability in extremal packing problems is not primarily a function of increasing combinatorial complexity, but of decreasing structural resolution. Competing extremal mechanisms exist even in simple settings, but in highly symmetric problems these mechanisms are sharply separated and stabilized.
Symmetry acts as a geometric optical lens: it keeps distinct extremal strategies in focus by pinning phase boundaries to rigid, invariant configurations. When symmetry is removed, these boundaries lose rigidity, mechanisms bleed into one another, and the landscape collapses into a single, computationally expensive but structurally featureless regime.
From this perspective, the Erdős–Szekeres 2D miracle is not a consequence of simplicity, but of perfect resolution.
Appendix: Notes on the exploratory computations
This note is primarily conceptual. However, the observations about “macro regimes,” symmetry ablation, and regime stability are grounded in a small set of exploratory numerical experiments. This appendix records what was actually computed, at a level sufficient to establish that the discussion is not purely metaphorical, while deliberately stopping short of methodological or quantitative claims.
A. What was varied
The experiments considered axis-parallel cube packings in periodic boxes (tori) of different geometries. Three representative cases were compared:
- a fully symmetric torus of size ,
- a mildly asymmetric torus ,
- and a more strongly asymmetric torus .
For each geometry, the number of cubes was taken to be
where is the volume of the torus and ranges over a fixed set of small integer offsets. The same heuristic optimization procedure, parameter ranges, and stopping criteria were used across all geometries, allowing direct qualitative comparison of structural features as symmetry was progressively ablated.
The purpose of varying geometry was not to optimize performance, but to isolate the effect of symmetry on the structure of extremal behavior.
B. From slopes to regimes
For each geometry, the extremal value function (or its reciprocal) was sampled at integer parameter values, and discrete slopes between consecutive samples were computed. As expected from general parametric optimization considerations, the resulting curves exhibit piecewise-linear behavior.
A naive clustering of slope values produces many apparent “clusters,” especially as slope magnitudes increase with dimension or geometry. To avoid artefacts from scale dependence, slopes were grouped using a scale-invariant threshold, so that clustering depended on relative rather than absolute slope differences.
Clusters consisting of a single segment were treated as boundary artefacts (“micro-clusters”). These typically arise near transitions or at the ends of the sampled range and do not correspond to stable behavior.
A macro regime refers to any cluster spanning two or more consecutive segments, corresponding to a parameter interval over which the same qualitative extremal mechanism appears to dominate. All regime counts quoted in the main text refer exclusively to these macro regimes.
C. Independent corroboration via configuration signatures
To ensure that macro regimes were not artefacts of slope analysis alone, coarse intrinsic signatures of the extremal configurations themselves were examined. These included:
- the fraction of total weight concentrated in the largest coordinates,
- inequality measures such as the Gini coefficient,
- and the entropy of the normalized configuration.
These quantities were not used for optimization. They were computed after the fact as diagnostic summaries of configuration shape.
Empirically, these signatures were stable within macro regimes and changed abruptly across regime boundaries. In particular, regimes with negative slope tended to correspond to more concentrated, lower-entropy configurations, while positive-slope regimes corresponded to more uniform, higher-entropy configurations. Near-zero-slope regimes interpolated between these extremes.
This provided an independent indication that macro regimes correspond to distinct extremal states rather than numerical noise or clustering artefacts.
D. What is not being claimed
No claim is made that these computations identify optimal packings, certify extremality, or establish sharp bounds. The numerical results are not intended to be exhaustive, asymptotic, or reproducible in a formal sense.
Their role is strictly diagnostic: to reveal qualitative structure, test the effect of symmetry ablation, and support or falsify conceptual hypotheses about regime stability and resolution. All substantive conclusions in the main text are qualitative and mechanism-level, not quantitative.
E. Why this level of detail
The intent of this appendix is not to turn the essay into a methods paper, but to make explicit that the discussion of regimes, plateaus, and symmetry effects rests on concrete exploratory work rather than purely rhetorical framing. Readers interested only in the conceptual argument can safely skip this appendix; readers curious about what was actually done should find enough detail here to understand the basis and limits of the claims.