pith. sign in

arxiv: 2506.13235 · v2 · submitted 2025-06-16 · 🧮 math.GR · math.GT· math.MG

Isoperimetric profiles of lamplighter-like groups

Corentin Correia , Vincent Dumoncel This is my paper

Pith reviewed 2026-05-19 09:47 UTC · model grok-4.3

classification 🧮 math.GR math.GTmath.MG
keywords isoperimetric profileslampshuffler groupsamenable groupslamplighter groupshalo productsregular mapsgeometric group theoryexponential growth
0
0 comments X

The pith

Lampshuffler groups have isoperimetric profiles determined by those of the base amenable group H through lamplighter subgraph embeddings.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that for a finitely generated amenable group H meeting mild extra conditions, the isoperimetric profile of the lampshuffler group Shuffler(H), built as the semidirect product of the finitary symmetric group on H with H, stands in a precise relation to the profile of H alone. The relation is obtained by embedding suitable lamplighter subgraphs inside the lampshuffler to control boundary growth and produce matching upper bounds. This yields sharp results precisely when H has exponential growth and its profile is already known, including the Brieussel-Zheng family, and improves earlier bounds. The same embedding technique extends to the broader class of halo products. If the relation holds, geometric invariants of these wreath-like groups become computable directly from the base group and can be used to decide questions about regular maps between them.

Core claim

For finitely generated amenable H with the stated mild assumptions, the isoperimetric profile of Shuffler(H) = FSym(H) ⋊ H is related to the profile of H, with the relation sharp for all exponential-growth groups whose profiles are known. The proof obtains the optimal upper bound by locating suitable lamplighter subgraphs inside the lampshuffler; the same method works for many halo products.

What carries the argument

Suitable lamplighter subgraphs embedded inside lampshufflers, used to bound boundary growth from above and thereby relate the two isoperimetric profiles.

If this is right

  • The estimates refine earlier upper bounds obtained by Erschler-Zheng and by Saloff-Coste-Zheng.
  • The lamplighter-subgraph method extends directly to many halo products.
  • The resulting profile comparisons decide the existence of regular maps between the groups in question.
  • Sharpness holds for every exponential-growth group whose isoperimetric profile is already known.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same subgraph technique may yield profile relations for other semidirect-product constructions built from finitary permutations.
  • If the mild assumptions on H can be weakened, the relation could apply to a larger class of amenable groups.
  • Profile comparisons obtained this way offer a new route to distinguish geometric properties of different halo products.

Load-bearing premise

That the chosen lamplighter-subgraph embeddings inside the lampshuffler control boundary growth tightly enough to deliver the claimed upper bound, once H is finitely generated and amenable.

What would settle it

An explicit calculation, for a concrete Brieussel-Zheng group H whose profile is known, showing that the isoperimetric profile of Shuffler(H) deviates from the relation predicted by the profile of H.

read the original abstract

Given a finitely generated amenable group $H$ satisfying some mild assumptions, we relate isoperimetric profiles of the lampshuffler group $\mathsf{Shuffler}(H)=\mathsf{FSym}(H)\rtimes H$ to those of $H$. Our results are sharp for all exponential growth groups for which isoperimetric profiles are known, including Brieussel-Zheng groups. This refines previous estimates obtained by Erschler and Zheng and by Saloff-Coste and Zheng. The most difficult part is to find an optimal upper bound, and our strategy consists in finding suitable lamplighter subgraphs in lampshufflers. This novelty applies more generally for many examples of halo products, a class of groups introduced recently by Genevois and Tessera as a natural generalisation of wreath products. Lastly, we also give applications of our estimates on isoperimetric profiles to the existence problem of regular maps between such groups.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript claims that for a finitely generated amenable group H satisfying mild assumptions, the isoperimetric profiles of the lampshuffler group Shuffler(H) = FSym(H) ⋊ H are related to those of H. Sharp upper and lower bounds are obtained for all exponential-growth groups with known profiles (including Brieussel-Zheng groups) via explicit lamplighter-subgraph embeddings in the upper-bound argument and appeals to known profile results for the lower bound. The work refines earlier estimates of Erschler-Zheng and Saloff-Coste-Zheng, extends the strategy to halo products, and derives applications to the existence of regular maps between such groups.

Significance. If the central claims hold, the paper supplies a sharp, explicit relation between isoperimetric profiles of Shuffler(H) and H that improves on prior work and applies to a natural generalization of wreath products. The use of verifiable graph embeddings for the upper bound and the generality of the lamplighter-subgraph technique to halo products constitute clear strengths. The applications to regular maps between groups add concrete value beyond the profile estimates themselves.

minor comments (3)
  1. [§1] §1 (Introduction): the phrase 'mild assumptions' on H is invoked before the precise list is given; moving the enumerated list to the first paragraph would improve readability.
  2. [§3.2] §3.2: the comparison |∂_Shuffler S| ≤ C |∂_subgraph S| is stated after the embedding construction; a forward reference from the statement of the main theorem would clarify the logical flow.
  3. [§2] Notation: the isoperimetric profile is denoted I_G without an explicit reminder of the standard definition (e.g., inf |∂S|/|S| over finite S); adding a one-line recall in §2 would help readers from adjacent fields.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive evaluation of the manuscript, accurate summary of the main results relating isoperimetric profiles of Shuffler(H) to those of H, and recommendation to accept. We appreciate the recognition of the improvements over prior estimates by Erschler-Zheng and Saloff-Coste-Zheng, the use of lamplighter-subgraph embeddings, and the extensions to halo products along with applications to regular maps.

Circularity Check

0 steps flagged

Derivations self-contained via explicit subgraph embeddings and boundary comparisons

full rationale

The paper establishes relations between isoperimetric profiles of Shuffler(H) and H through direct mathematical arguments: constructing lamplighter subgraphs inside the lampshuffler group and comparing their Følner sets and boundaries in the respective Cayley graphs. These steps rely on explicit embeddings and standard isoperimetric inequalities rather than any fitted parameters, self-definitional loops, or load-bearing self-citations. External known profiles (e.g., for Brieussel-Zheng groups) serve as independent benchmarks. No equation or claim reduces by construction to its own inputs; the upper-bound control on boundary growth follows from the embedding construction itself and does not presuppose the target profile relation.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard definitions of isoperimetric profiles, amenability, and wreath/halo products from prior literature; no new free parameters, invented entities, or ad-hoc axioms are introduced beyond the usual background of geometric group theory.

axioms (2)
  • standard math Standard properties of finitely generated amenable groups and their Cayley graphs (finitely generated, left-invariant metrics, Følner sequences exist).
    Invoked throughout to relate profiles of H to those of the lampshuffler.
  • domain assumption Existence of known isoperimetric profiles for the cited exponential-growth examples (Brieussel-Zheng groups).
    Used to claim sharpness; these are external results cited in the paper.

pith-pipeline@v0.9.0 · 5691 in / 1661 out tokens · 35067 ms · 2026-05-19T09:47:03.488342+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. On quantitative orbit equivalence for lamplighter-like groups

    math.GR 2026-04 unverdicted novelty 7.0

    Shuffler(Z^{k+ℓ}) and Shuffler(Z^k) are L^p orbit equivalent if and only if p < k/(k+ℓ), via a new notion of orbit equivalence of pairs and stability results for permutational halo products.