Searcharxiv⌕ Search

arXiv subjects

Peter Scott

Publications and source records attributed to Peter Scott.

At least 19 recordsLinked to original sources

Multiplicative vs. Additive State Coupling in Learned Optimizer Schedules

We learn schedules for a continuous penalty relaxation of MAX-CUT by backpropagating through an unrolled classical solver. A state-blind schedule generalizes to instances substantially larger than those used for training. A state-adaptive bilinear schedule also generalizes out of distribution, outperforming its untrained baseline across 15 seeds ($t=4.1$). By contrast, an additive ablation with identical inputs and output heads is statistically indistinguishable from the bilinear model in distribution but performs worse than its own baseline out of distribution ($t=-11.7$). This separation appears without regularization and persists across a $30$ round weight-decay sweep: the bilinear advantage remains significant at every tested value, whereas the additive model never recovers. The results in this setting isolate how solver state enters the schedule, rather than state adaptivity alone, as the architectural distinction associated with out-of-distribution transfer.

cs.LG↗

Graph Coarsening Enables Escaping Local Optima in Compute-Constrained Nonconvex MAX-CUT

Because its binary optimization landscape contains exponentially many local optima, MAX-CUT is highly sensitive to initialization. We study Particle Polynomial Relaxation (PPR), a moment-based nonconvex continuous reformulation possessing an advantageous optimization landscape. We warm-start PPR with Combinatorial Multigrid (CMG), a spectral graph-coarsening method that produces structure-aware initial solutions in near-linear time without training data. On \texttt{t2g20} ($n=400$), benchmark instance with known exact optimum, the combined CMG+PPR pipeline reaches $97.5\%$ of optimum on average and $98.4\%$ on the best run. An extended variant with discrete local-search refinement reaches the published optimum on all sixty Biq Mac instances evaluated by a recent neural branch-and-bound method. Using a sparse CSR representation, the same approach scales to G-set instances with up to $20{,}000$ vertices reducing memory requirements by up to $3333\times$ while maintaining a consistent improvement over the CMG warm start. Gains are largest on sparse weighted graphs; on dense graphs we complement the pipeline with spectral sparsification.

cs.LG↗

Adapted almost invariant sets and splittings of groups

We prove relative versions of many earlier results about almost invariant sets and splittings of groups. In particular, we prove a relative version of the algebraic torus theorem, and we prove the existence and uniqueness of relative versions of algebraic regular neighbourhoods and of JSJ decompositions.

math.GT↗

Comparing decompositions of Poincaré duality pairs

Analogues of JSJ decompositions were developed for Poincaré duality pairs in [19]. These decompositions depend only on the group. Our focus will be on describing the edge splittings of these decompositions more precisely. We use our results to compare these decompositions with two other closely related decompositions.

math.GR↗

Canonical decompositions for Poincaré duality pairs

The authors previously described an algebraic analogue of the JSJ-decomposition of a 3-manifold. This analogue is defined for any finitely presented, one-ended group. We study this analogue in the special case of Poincaré duality pairs.

math.GR↗

Simplicial energy and simplicial harmonic maps

We introduce a combinatorial energy for maps of triangulated surfaces with simplicial metrics and analyze the existence and uniqueness properties of the corresponding harmonic maps. We show that some important applications of smooth harmonic maps can be obtained in this setting.

math.GT↗

The homeomorphism problem for closed 3-manifolds

We give a more geometric approach to an algorithm for deciding whether two hyperbolic 3-manifolds are homeomorphic. We also give a more algebraic approach to the homeomorphism problem for geometric, but non-hyperbolic, 3-manifolds.

math.GT↗

Splittings and C-complexes

The intersection pattern of the translates of the limit set of a quasi-convex subgroup of a hyperbolic group can be coded in a natural incidence graph, which suggests connections with the splittings of the ambient group. A similar incidence graph exists for any subgroup of a group. We show that the disconnectedness of this graph for codimension one subgroups leads to splittings. We also reprove some results of Peter Kropholler on splittings of groups over malnormal subgroups and variants of them.

math.GR↗

Minimal cubings

We combine ideas of Scott and Swarup on good position for almost invariant subsets of a group with ideas of Sageev on constructing cubings from such sets. We construct cubings which are more canonical than in Sageev's original construction. We also show that almost invariant sets can be chosen to be in very good position.

math.GR↗

Regular Neighbourhoods and Canonical Decompositions for Groups

We find canonical decompositions for finitely presented groups which specialize to the classical JSJ-decomposition when restricted to the fundamental groups of Haken manifolds. The decompositions that we obtain are invariant under automorphisms of the group. A crucial new ingredient is the concept of a regular neighbourhood for a finite family of almost invariant subsets of a group. An almost invariant set is an analogue of an immersion.

math.GR↗

Canonical splittings of groups and 3-manifolds

We introduce the notion of a `canonical' splitting over Z or ZxZ for a finitely generated group G. We show that when G happens to be the fundamental group of an orientable Haken manifold M with incompressible boundary, then the decomposition of the group naturally obtained from canonical splittings is closely related to the one given by the standard JSJ-decomposition of M. This leads to a new proof of Johannson's Deformation Theorem.

math.GT↗

Splittings of groups and intersection numbers

We prove algebraic analogues of the facts that a curve on a surface with self-intersection number zero is homotopic to a cover of a simple curve, and that two simple curves on a surface with intersection number zero can be isotoped to be disjoint.

math.GT↗

Configurations of curves and geodesics on surfaces

We study configurations of immersed curves in surfaces and surfaces in 3-manifolds. Among other results, we show that primitive curves have only finitely many configurations which minimize the number of double points. We give examples of minimal configurations not realized by geodesics in any hyperbolic metric.

math.GT↗

The symmetry of intersection numbers in group theory

For suitable subgroups of a finitely generated group, we define the intersection number of one subgroup with another subgroup and show that this number is symmetric. We also give an interpretation of this number.

math.GT↗

Simple Closed Geodesics in Hyperbolic 3-Manifolds

This paper determines which orientable hyperbolic 3-manifolds contain simple closed geodesics. The Fuchsian group corresponding to the thrice-punctured sphere generates the only example of a complete non-elementary orientable hyperbolic 3-manifold that does not contain a simple closed geodesic. We do not assume that the manifold is geometrically finite or that it has finitely generated fundamental group.

math.GT↗

A Geometric Characteristic Splitting in all Dimensions

We prove the existence of a geometric characteristic submanifold for non-positively curved manifolds of any dimension greater than or equal to three. In dimension three, our result is a geometric version of the topological characteristic submanifold theorem due to Jaco, Shalen and Johannson.

math.GT↗