arXiv subjects

Robert Tang

Publications and source records attributed to Robert Tang.

14 recordsLinked to original sources

arXiv2026

MetaRSI / RSI2: A Meta-Recursive Self-Improving System for Recursive Self-Improving Systems Themselves

Recursive self-improvement (RSI) lets a system improve the model-building machinery from its own failures, so every later model inherits the gain. Yet RSI has been validated almost exclusively on coding and formal benchmarks such as science QA and mathematics. This format bound limits RSI to improvement within a machine-checkable slice, not general capability where questions are open and correctness is settled by argument, replication, or measurement. We argue RSI must next operate across real, diverse scientific, engineering, and meta-scientific domains, not where formal evaluation is merely tractable. To that end we present MetaRSI-v1, where improvement is the scheduled composition of three typed operators over one unified paradigm. Data-RSI amplifies existing competence and marks its boundary; Harness-RSI edits a five-slot scaffold without touching weights; Model-RSI internalizes capability into parameters through bounded training. Sharing one loop kernel and artifact vocabulary, they make data, scaffold, and model changes composable rather than exclusive. A two-axis optimizer jointly decides operator order and each operator's proposal policy, while a meta-level policy revises the schedule across terms. We validate MetaRSI-v1 under the field's standard evaluations, on code and closed-form science, with no external teacher: the target model plays every role in its own loop. MetaRSI-v1 reframes self-improvement from a single-surface edit to a composition across the full model-production pipeline, opening two paths: a model route internalizing capability through training, and a harness route leaving weights untouched and thus extending self-improvement to any model reachable through an interface, with Data-RSI redefined as the shared substrate feeding both. The framework further yields refutable laws on where loops exist, how operators compose, and what supervision buys.

cs.LG↗

arXiv2026

Coarse medians and universal quasigeodesic cones

We show that any universal quasigeodesic cone of uniformly coarse median spaces admits a canonical coarse median structure. As an application, we recover a result of Bowditch which states that any hierarchically hyperbolic space admits a coarse median structure compatible with the projections to the hyperbolic factor spaces.

math.MG↗

arXiv2025

Epimorphism classes and relatively maximal metrics in large-scale geometry

We consider epimorphisms and several variant notions -- split, effective, regular, strong, and extremal -- and determine which of these coincide in the metric coarse and coarsely Lipschitz categories. In particular, we characterise extremal epis in the coarsely Lipschitz category via a relative maximality condition on the codomain metric; this can be viewed as a morphism-relative analogue of Rosendal's maximal metrics for topological groups.

math.MG↗

arXiv2025

The metric Rips filtration, universal quasigeodesic cones, and hierarchically hyperbolic spaces

We introduce a flexible, categorical framework for large-scale geometry that clarifies basic behaviour of the metric Rips filtration and streamlines some constructions in geometric group theory. The paper has two main parts. First, we develop the theory of the metric Rips filtration and its colimit in natural coarse categories: informally, we characterise when the Rips colimit produces a canonical large-scale model of a metric space and use this to prove that the quasigeodesic subcategory is closed under colimits in the coarsely Lipschitz category. We also establish adjointness properties of the Rips colimit and use them to characterise extremal metrics and universal morphisms from quasigeodesic sources. Second, we apply this machinery to characterise universal quasigeodesic cones via an explicit Rips-Tuple recipe. In the HHS setting this yields a concrete, canonical model of the total space: an HHS is quasi-isometric to a Rips graph of the space of coarsely consistent tuples in the product of its factor spaces. Moreover, we give a local-to-global criterion that promotes uniformly controlled, factorwise retractions to a canonical global hierarchical retraction. Because the approach is based on universal properties and uniformly controlled coarse data rather than inductive constructions, distance formulae, or hierarchy paths, it applies equally well to arbitrary families of metric spaces equipped with pairwise constraints.

math.MG↗

arXiv2024

Categorical characterisations of quasi-isometric embeddings

We characterise the (closeness classes of) quasi-isometric embeddings as the regular monomorphisms in the coarsely Lipschitz category, formalising the notion that they are isomorphisms onto their image. Furthermore, we prove that the coarsely Lipschitz category is coregular, and hence admits an (Epi, RegMono)--orthogonal factorisation system. Consequently, quasi-isometric embeddings are equivalently characterised as the effective, strong, or extremal monomorphisms. Finally, we prove that the coarsely Lipschitz category is not coexact in the sense of Barr.

math.MG↗

arXiv2022

Detecting danger in gridworlds using Gromov's Link Condition

Gridworlds have been long-utilised in AI research, particularly in reinforcement learning, as they provide simple yet scalable models for many real-world applications such as robot navigation, emergent behaviour, and operations research. We initiate a study of gridworlds using the mathematical framework of reconfigurable systems and state complexes due to Abrams, Ghrist & Peterson. State complexes represent all possible configurations of a system as a single geometric space, thus making them conducive to study using geometric, topological, or combinatorial methods. The main contribution of this work is a modification to the original Abrams, Ghrist & Peterson setup which we introduce to capture agent braiding and thereby more naturally represent the topology of gridworlds. With this modification, the state complexes may exhibit geometric defects (failure of Gromov's Link Condition). Serendipitously, we discover these failures occur exactly where undesirable or dangerous states appear in the gridworld. Our results therefore provide a novel method for seeking guaranteed safety limitations in discrete task environments with single or multiple agents, and offer useful safety information (in geometric and topological forms) for incorporation in or analysis of machine learning systems. More broadly, our work introduces tools from geometric group theory and combinatorics to the AI community and demonstrates a proof-of-concept for this geometric viewpoint of the task domain through the example of simple gridworld environments.

cs.AI↗

arXiv2020

Large-scale geometry of the saddle connection graph

We prove that the saddle connection graph associated to any half-translation surface is 4-hyperbolic and uniformly quasi-isometric to the regular countably infinite-valent tree. Consequently, the saddle connection graph is not quasi-isometrically rigid. We also characterise its Gromov boundary as the set of straight foliations with no saddle connections. In our arguments, we give a generalisation of the unicorn paths in the arc graph which may be of independent interest.

math.GT↗

arXiv2019

Affine diffeomorphism groups are undistorted

The affine diffeomorphism group $\mathrm{Aff}(S,q)$ of a half-translation surface $(S,q)$ comprise the self-diffeomorphisms with constant differential away from the singularities. This group coincides with the stabiliser of the associated Teichm\"uller disc under the action of the mapping class group on Teichm\"uller space. We prove that any finitely generated subgroup of $\mathrm{Aff}(S,q)$ is undistorted in the mapping class group. We also show that the systole map restricted to the associated electrified Nielsen core in the Teichm\"uller disc is a quasi-isometric embedding into the curve complex.

math.GT↗

arXiv2018

Rigidity of the saddle connection complex

For a half-translation surface (S,q), the associated saddle connection complex A(S,q) is the simplicial complex where vertices are the saddle connections on (S,q), with simplices spanned by sets of pairwise disjoint saddle connections. This complex can be naturally regarded as an induced subcomplex of the arc complex. We prove that any simplicial isomorphism $\phi : A(S,q) \to A(S',q')$ between saddle connection complexes is induced by an affine diffeomorphism $F : (S,q) \to (S',q')$. In particular, this shows that the saddle connection complex is a complete invariant of affine equivalence classes of half-translation surfaces. Throughout our proof, we develop several combinatorial criteria of independent interest for detecting various geometric objects on a half-translation surface.

math.GT↗

arXiv2016

Cubical Geometry in the Polygonalisation Complex

We introduce the polygonalisation complex of a surface, a cube complex whose vertices correspond to polygonalisations. This is a geometric model for the mapping class group and it is motivated by works of Harer, Mosher and Penner. Using properties of the flip graph, we show that the midcubes in the polygonalisation complex can be extended to a family of embedded and separating hyperplanes, parametrised by the arcs in the surface. We study the crossing graph of these hyperplanes and prove that it is quasi-isometric to the arc complex. We use the crossing graph to prove that, generically, different surfaces have different polygonalisation complexes. The polygonalisation complex is not CAT(0), but we can characterise the vertices where Gromov's link condition fails. This gives a tool for proving that, generically, the automorphism group of the polygonalisation complex is the (extended) mapping class group of the surface.

math.GT↗

arXiv2016

Veech surfaces and simple closed curves

We study the SL(2,R)-infimal lengths of simple closed curves on half-translation surfaces. Our main result is a characterization of Veech surfaces in terms of these lengths. We also revisit the "no small virtual triangles" theorem of Smillie and Weiss and establish the following dichotomy: the virtual triangle area spectrum of a half-translation surface either has a gap above zero or is dense in a neighborhood of zero. These results make use of the auxiliary polygon associated to a curve on a half-translation surface, as introduced by Tang and Webb.

math.GT↗

arXiv2015

Shadows of Teichm\"uller discs in the curve graph

We consider several natural sets of curves associated to a given Teichm\"uller disc, such as the systole set or cylinder set, and study their coarse geometry inside the curve graph. We prove that these sets are quasiconvex and agree up to uniformly bounded Hausdorff distance. Furthermore, we describe two operations on curves and show that they approximate nearest point projections to their respective targets. Our techniques can be used to prove a bounded geodesic image theorem for a natural map from the curve graph to the filling multi-arc graph associated to a Teichm\"uller disc.

math.GT↗

arXiv2013

Projections in the curve complex arising from covering maps

Let $P : \Sigma \rightarrow S$ be a finite degree covering map between surfaces. Rafi and Schleimer show that there is an induced quasi-isometric embedding $\Pi : \mathcal{C}(S) \rightarrow \mathcal{C}(\Sigma)$ between the associated curve complexes. We define an operation on curves in $\mathcal{C}(\Sigma)$ using minimal intersection number conditions and prove that it approximates a nearest point projection to $\Pi(\mathcal{C}(S))$. We also approximate hulls of finite sets of vertices in the curve complex, together with their corresponding nearest point projections, using intersection numbers.

math.GT↗

arXiv2011

The curve complex and covers via hyperbolic 3-manifolds

Rafi and Schleimer recently proved that the natural relation between curve complexes induced by a covering map between two surfaces is a quasi-isometric embedding. We offer another proof of this result using a distance estimate via hyperbolic 3-manifolds.

math.GT↗