Imagine you've been building model cities out of Lego bricks for decades — snap-together pieces with a finite number of connection points. Compact gauge theories on a lattice work this way: the group is finite-volume, representations are finite-dimensional, and the Hilbert space at each link is manageable. Now someone asks you to build with clay instead of Lego. The pieces can deform continuously, every joint has infinitely many configurations, and the usual trick of truncating to a finite basis no longer works without breaking the symmetry you care about. That's the jump from compact to non-compact gauge groups on a lattice, and this paper shows how to make that jump exactly for the simplest non-compact case: SL(2,ℝ) in one spatial dimension. The committed claim: the authors construct the first Kogut-Susskind lattice Hamiltonian with exact, untruncated SL(2,ℝ) gauge invariance, including both pure gauge and dynamical fermion sectors. This is not a numerical approximation or a group-truncation scheme — the non-compact symmetry is retained exactly on every link and site. Two key structural differences from the compact case emerge: the Casimir operators on gauge links have a continuous spectrum (no discrete electric flux quantum numbers), and the matter fields live in infinite-dimensional unitary representations, which the authors realize via a synthetic extra dimension — a continuous coordinate attached to each lattice site. The ladder here is unusual because the paper is not trying to beat a numerical benchmark. It is building new theoretical infrastructure. The closest prior art is the well-studied compact-group KS formulation (U(1) Schwinger model, SU(2), SU(3) lattice QCD), plus the quantization of Jackiw-Teitelboim gravity from a BF-theory perspective. The paper shows that restricting to the positive semigroup SL⁺(2,ℝ) in the pure gauge sector exactly reproduces known JT gravity results — a nontrivial consistency check, not a competition. For the interacting theory with dynamical fermions, the model is new and has no direct predecessor to compare against numerically. Architecturally, this sits in the Hamiltonian lattice gauge theory family — not Monte Carlo, not tensor networks, not variational. The key structural moves are: (1) replacing Peter-Weyl decomposition (which relies on compactness) with the Plancherel decomposition for SL(2,ℝ), giving a continuous integral over principal series representations; (2) introducing a synthetic continuous dimension at each matter site to host the infinite-dimensional representation; (3) proving exact integrability for static charges and solving the two-body problem analytically in the strong self-interaction limit. The model is purely analytical — no numerics, no simulation, no hardware. The entire paper is pen-and-paper construction plus consistency checks. Integrity is strong for what this is: a theoretical construction paper. The validation is internal mathematical consistency — the pure gauge sector reproducing JT gravity, the constraint algebra closing, and the exactly solvable limits matching expected physics. There is no external benchmark or independent numerical simulation, which is appropriate: the object being constructed didn't exist before. The honest limitation is that no one has simulated the interacting fermion model, even classically, so the physical predictions of the full theory remain untested. The milestone question points toward quantum simulation. The entire motivation for Hamiltonian lattice formulations is eventual implementation on quantum hardware or tensor-network simulators. For compact groups (U(1), SU(2)), small lattice simulations are now running on ~10-50 qubits. The non-compact case is harder: the continuous Casimir spectrum means you cannot simply digitize the gauge links into a finite register without breaking the symmetry. The authors do not propose a specific digitization scheme. The gap between 'exact Hamiltonian on paper' and 'simulable on hardware' is the main open distance. The obvious next experiment the authors did not run: a tensor-network or quantum-simulation study of the interacting fermion model, even on 2-3 sites. The synthetic extra dimension makes this expensive — each matter site carries a continuous degree of freedom that must be discretized for any numerical treatment. The honest read is (a): they ran out of scope, not compute. This is a 22-page theory paper staking out the formalism; numerical exploration is the natural follow-on, likely a separate collaboration.
