Search arXiv⌕ Search

arXiv · 2611.03991

Balance in Inequality: Testing the Physical Equilibrium, Precession, and Structural Stability of Magic Gems

Abstract

A magic square exemplifies balance in inequality: its $n^2$ entries $\{1,\dots,n^2\}$ are distinct, yet every row, column, and main diagonal sums to $μ_n=n(n^2+1)/2$. Lifting centred grid cells into $\mathbb{R}^3$ as radial vectors $\mathbf{p}_{ij}(λ)=(x_j,y_i,λz_{ij})$ and taking their convex hull---the Magic Gem $\mathcal{G}_λ(S)$---asks: when does line-sum equality suffice for equilibrium in 3D, and when a nonlinear realization breaks balance, how can an opposing inequality restore it? We test this across all $880$ order-$4$ magic squares in four regimes. For radial spokes from $O$, natural lengths balance identically, while unit spokes break equilibrium on all $832$ non-associative squares in 3D and on all squares in 2D, where the ring-radius ratio $r_2/r_1=\sqrt{5}$ bounds the resultant below by the Pell convergent $9/4\approx\sqrt{5}$. By length--weight duality, balance is restored via tip weights $\mathbf{w}^*>\mathbf{0}$ on $S^2$ or power-law spoke scaling ($r^{α^*}$ in 2D and $(\mathbf{V}_3)_z=0$ in 3D). In 3D rotation, equal point masses make every semi-magic square an axisymmetric top with spherical-top transition $λ_{\mathrm{iso}}=(n^2+1)^{-1/2}$, whereas entry masses $m_{ij}=s_{ij}$ expose the quadrupole $Q_{xy}=\sum z_{ij}x_jy_i$, triggering $180^\circ$ Dzhanibekov flips on $824$ squares. Passing to the uniform solid hull $\mathcal{G}_0(S)$ shifts the centroid off $O$ on $829$ squares; re-engaging the opposing core $\mathcal{G}_1(S)$ restores balance via two-density inclusions, nested wireframes, or the $K_{n^2}$ strut network, while all $880$ hulls unfold into non-overlapping nets with $f_0-1$ glue tabs. Finally, $λ=1/5$ stabilizes $74.5\%$ of facets on a table, and alternating $\mathcal{G}_λ(S)$ with its mirror twin $\mathcal{G}_λ(r^2\overline{S})=-\mathcal{G}_λ(S)$ locks chiral blocks into a vertical tower.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Kyle Elliott Mathewson. 2026-11-02. Balance in Inequality: Testing the Physical Equilibrium, Precession, and Structural Stability of Magic Gems. https://arxiv.org/abs/2611.03991

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Many Antipodal Pairs Force Many Neighboring Pairs

Let $X=\{x_1,\dots,x_n\}\subset \mathbb{R}^2$ be a finite set of points of diameter at most $1$. It is natural to expect that if many pairs $(x_i,x_j)$ lie at distance close to $1$ from each other, then some clustering phenomenon must occur, implying that a significant number of these pairs are also very close to each other. %For $0<\varepsilon<1$, we call a pair $(x_i,x_j)$ $\varepsilon$-antipodal if $\|x_i-x_j\|\ge 1-\varepsilon$ and $\varepsilon$-neighboring if $\|x_i-x_j\|\le \varepsilon$. We prove that there exists a universal constant $c>0$ such that for all $0<\varepsilon<1$, whenever $n$ is large enough, we have: \[ \big|\{(i,j):\|x_i-x_j\|\le \varepsilon\}\big| \geq c\cdot \varepsilon^{1/2}\cdot \big|\{(i,j):\|x_i-x_j\|\geq 1-\varepsilon\}\big|. \] This confirms a recent conjecture of Steinerberger, who asked whether the $\varepsilon^{1/2}$ ratio is the best possible. We also study a two-parameter version of Steinerberger's question by considering the number of pairs at distance at most $\varepsilon_1$ and at distance at least $1-\varepsilon_2$. We show that in this case the optimal ratio is $\varepsilon_1^2\cdot\varepsilon_2^{-3/2}$ when $\varepsilon_1\leq\varepsilon_2$, and $\varepsilon_1^{1/2}$ otherwise. The proof proceeds by introducing an auxiliary graph associated with the set $X$ and reducing the problem to bounding the largest eigenvalue of its adjacency matrix. Our main result is the outcome of human--AI interactions using ChatGPT 5.4.

math.MG↗

Monge's transport problem in synthetic Lorentzian spacetimes

We prove the existence of solutions to the Lorentzian Monge problem on synthetic Lorentzian spacetimes that satisfy the forward timelike measure contraction property $TMCP^+(K,N)$. The cost for this problem is the time separation function $\ell(x,y)$ (the Lorentz distance), which represents the maximum amount a particle can age when traveling from $x$ to $y$. The solution is based on the needle decomposition technique, and amounts to a reduction of the full problem to its one-dimensional counterparts. As an application of needle decomposition, we introduce the blended $TMCP$ condition, and obtain a quantitative refinement of the synthetic Hawking singularity theorem. We additionally prove a timelike nonbranching reversibility theorem for $TCD_p(K,N)$ spacetimes, showing that forward $p$-essentially nonbranching spacetimes are backward $p$-essentially nonbranching.

math.MG↗

Metric foundations of geometry

A metric space is called all-set-homogeneous if every isometry between two of its subsets extends to an isometry of the whole space. We classify all-set-homogeneous length spaces: besides the classical examples, they include the universal metric trees of finite valence.

math.MG↗