AS² Construction in Algebra & Physics

• AS² Construction is a framework that uses inductive and categorical techniques to build complex algebraic, combinatorial, and geometric objects with specified regularity and symmetry.
• It underpins diverse applications from constructing Artin–Schelter regular algebras and combinatorial 2-factors to generating nested magic squares and holographic wormhole cosmologies.
• The method extends classical approaches by incorporating spherical helices, Langford sequences, and gluing procedures, offering both precise control and new challenges across mathematics and physics.

The AS${}^2$ construction refers to several technically rigorous and innovative frameworks in modern mathematics and theoretical physics, all unified by their highly structured, inductive, or categorical approach to building complex algebraic or geometric objects with prescribed properties. Notably, it appears in: (1) the construction of Artin–Schelter regular algebras from acyclic spherical helices in the context of noncommutative algebra, (2) the creation of large families of 2-factors in the middle layer of the discrete cube, (3) the generation of magic squares with all possible subsquares via extended Langford sequences, and (4) the assembly of spacetime cosmologies in three-dimensional gravity with heavy-particle content via gluing procedures on wormholes and AdS tubes. Each usage deploys inductive or categorical machinery, often drawing on deep combinatorial, geometric, or homological principles.

1. AS${}^2$ Construction of Artin–Schelter Regular Algebras

In noncommutative algebraic geometry, the AS${}^2$ construction synthesizes Artin–Schelter regular (AS-regular) algebras from acyclic spherical helices in pretriangulated differential graded (dg) categories. Let $\mathcal{C}$ be an idempotent-complete, proper, pretriangulated dg-category over a field $\mathbb{k}$ with a Serre functor $\mathbb{S}:\mathcal{C}\rightarrow\mathcal{C}$. An object $S$ is $d$-spherical if $\mathbb{S}(S)\simeq S[d]$ and $\operatorname{Hom}^i(S,S)=\mathbb{k}$ for $i=0$ or $i=d$, zero otherwise. A spherical helix is a bi-infinite sequence $(\dots,S_{i-1},S_i,S_{i+1},\dots)$ satisfying $$S_{i-\ell}\simeq T_{S_{i-\ell+1}}\circ\dots\circ T_{S_{i-1}}(S_i)[-d-1]$$, with $T_S$ the spherical twist functor. The helix is acyclic if $\operatorname{Hom}^{\neq 0}(S_i,S_j)=0$ for all $i<j$.

From any foundation of $\ell$ consecutive spherical objects, one considers the directed subcategory $\mathcal{A}$ and the invertible bimodule $$\theta=\mathcal{A}^*[-d-1]\simeq\mathbb{S}^{-1}[d+1]$$. The graded tensor algebra $$T_{\mathcal{A}}(\theta)=\bigoplus_{n\geq 0}\theta^{\otimes_{\mathcal{A}} n}$$ is then assembled, grading by both cohomological degree and tensor length. Extracting a strictly $\mathbb{Z}$-graded algebra $A$ by grouping $\ell$-periodic morphism spaces yields a connected, degree-one-generated, finite global dimension $D=d+1$ algebra with Gorenstein parameter $\ell$:

• $$A_r\simeq\operatorname{Hom}_{\mathcal{C}}(S_1,S_{1+r})$$
• Multiplication is composition in $\mathcal{C}$.

The main theorem asserts that for an acyclic spherical helix, the resulting $A$ is an Artin–Schelter regular algebra of dimension $D$ with Gorenstein parameter $\ell$. The Ext-spectrum is concentrated: $\operatorname{Ext}_A^p(\mathbb{k},A)=0$ for $p\neq D$, $$\operatorname{Ext}_A^D(\mathbb{k},A)\simeq\mathbb{k}(\ell)$$. This framework generalizes classical constructions: for $\mathcal{C}=D^b(\operatorname{coh}\mathbb{P}^d)$ and $S_i=\mathcal{O}_{\mathbb{P}^d}(i)$, the helix produces the polynomial ring $\mathbb{k}[x_0,\ldots,x_d]$; similarly, quadratic twists can yield noncommutative projective planes and Sklyanin algebras (Okawa et al., 2020).

2. AS${}^2$ Construction of 2-Factors in the Middle Layer Cube

The AS${}^2$ construction in combinatorics gives an explicit, inductive method for creating a vast family of 2-factors in the bipartite, middle-layer graph $Q_{2n+1}(n,n+1)$: vertices are bitstrings of length $2n+1$ with exactly $n$ or $n+1$ ones; edges connect vertices differing in one bit.

The base case starts with $Q_2(1,2)$, forming a single path. For $Q_3(1,2)$, the union of two such paths and matchings yields a unique $6$-cycle. The inductive step relies on a parameter sequence $\alpha_{2n}\in\{0,1\}^{n-1}$, generating a critical permutation and bijection $f_{\alpha_{2n}}$ between upper layers. For every $n$, an explicit family $\mathcal{C}_{2n+1}$ of 2-factors is formed by closing cycles using $$\mathcal{P}_{2n}(n,n+1)\circ 0\cup f_{\alpha_{2n}}(\mathcal{P}_{2n}(n,n+1))\circ 1\cup M_{2n+1}^{FL}$$.

Parameter sequences $\alpha_{2n}$ control the cycle structure: all cycles have length divisible by $4n+2$; the number and lengths of cycles vary combinatorially, with a total count $2^{\binom{n}{2}}$. In the all-zero $\alpha$ case, cycles correspond bijectively to plane trees; cycle-structure encodes subtle parity and combinatorial information—central for applications to Hamiltonicity and the open middle-levels conjecture (Mütze et al., 2011).

3. AS${}^2$ Construction of Magic Squares with All Subsquares

In the theory of combinatorial designs and additive magic squares, the AS${}^2$ construction realizes Abe's conjecture by producing, for every odd $n\equiv\pm3\,(\!\mod18)$, a magic square containing a general magic subsquare of every possible order $3\leq k\leq n-2$.

The mechanism centers on $k$-extended Langford sequences of defect $d$ and length $m$, $L_k^m(d)$, encoding pairings of entries in $\{1,\dots,2m+1\}\setminus\{k\}$ by difference. From such a sequence, a collection of zero-sum triples is built, each triple leading to three $3\times3$ quasi-magic matrices $M_{i,j}$ with controlled row/column/diagonal sums. The full $n\times n$ square is assembled blockwise, partitioning into regions (corners, strips, interior), filled to achieve a $QMR^*(n,n)$ pattern. After a constant shift, the result is a magic square $MS(n)$ of the consecutive integers $1,\dots,n^2$.

Every $k\times k$ subsquare can be extracted (by congruence class modulo $3$) to obtain a magic subsquare, demonstrating maximum nesting of the structure and resolving existence for all $n\equiv\pm3\,(\!\mod18)$. For $n=21$, the construction is explicitly detailed (Li et al., 2017).

4. AS${}^2$ Construction in 3D Gravity and Wormhole Cosmologies

The AS${}^2$ construction, as generalized by Van Raamsdonk and Vilar López, provides exact solutions to three-dimensional gravity incorporating heavy matter particles and nontrivial topologies, encoding dual conformal field theory (CFT) states with closed baby universe cosmologies.

The starting point is a spatial slice $\Sigma$ as a compact hyperbolic surface with conical defects; the deficit angles $\delta$ relate to the masses $m$ of point particles via $\delta=8\pi G m$. The spacetime metric interpolates between a Lorentzian closed universe cosmology (big-bang/crunch) and a Euclidean wormhole geometry: $ds^2 = du^2 + \cosh^2(u/\ell)d\Sigma^2$

$ds^2 = -dt^2 + \cos^2(t/\ell)d\Sigma^2$

Euclidean tubular regions ("chewed AdS${}_3$") are attached by surgery along extremal geodesic surfaces; the matching is governed by Israel junction conditions (induced metric and extrinsic curvature continuity). This produces solutions with $n$ AdS tubes connected to wormhole boundaries, generalizing the construction of Antonini–Sasieta–Swingle.

Homogeneous, isotropic cosmologies emerge in the continuum by gluing triangulated hyperbolic surfaces, with effective dust density $\rho$. The Friedmann equation in $2+1$ dimensions admits explicit solutions for scale factor $a(t)=\cos(t/\ell)$.

A necessary criterion for the Euclidean cosmological saddle to dominate the dual CFT path integral is either order-$c$ entanglement entropy (per Ryu–Takayanagi) or minimal on-shell action compared to competitor saddles. The original AS${}^2$ geometry, with only two tubes, generally fails this criterion: the action remains larger than that of locally contractible (pairwise or multi-point) gluing saddles, which typically dominate unless combinatorial factors (from multi-universe extensions) counteract the action excess. In toy thin-shell models, the action difference grows logarithmically, rendering the non-cosmological saddle dominant (Raamsdonk et al., 15 Jan 2026).

5. Comparison to Prior Methods and Generalizations

In noncommutative algebra, the AS${}^2$ construction generalizes earlier works:

• Bondal–Polishchuk (BP93): twisted homogeneous coordinate rings from exceptional collections of line bundles, replaced in AS${}^2$ by spherical collections and twists.
• Van den Bergh (VdB11): noncommutative quadrics via graded matrix factorizations and Calabi–Yau hypersurfaces, realized as helices on higher-rank spherical bundles.

In combinatorics, the AS${}^2$ method extends explicit inductive and parameter-controlled constructions beyond previous existence results, achieving exponential families of objects with controlled structure.

In 3D gravity, the extension enables arbitrary numbers of tubes and complex dust configurations, yielding broader classes of cosmologies and wormhole geometries than the original Antonini–Sasieta–Swingle implementation.

6. Significance, Limitations, and Implications

The AS${}^2$ construction in various domains provides systematic avenues for generating objects with stringent regularity or nesting constraints: regular algebras, combinatorial factors, multi-scale additive squares, and holographic spacetime states. Its categorical and combinatorial toolkit brings both precise control and deep insight into structure and symmetries.

Significant limitations exist in holography: unless many tubes are added or large combinatorial multiplicities are exploited, cosmological saddles are generically subdominant to locally minimal-action gluing configurations. This suggests that cosmological phases in AdS/CFT require further structure, ensemble averaging, or high-order entanglement engineering. In combinatorial settings, the parameter-dependent bijections expose maximal tree-like structures and cycle decompositions, but Hamiltonicity remains elusive in the cube's middle layer.

A plausible implication is that such constructions, modular and inductive at their core, may underlie generalized approaches to regularity, symmetry, and nesting in both algebraic and geometric frameworks across mathematics and physics.