Polymatroids on Stallings Core Graphs

• The paper introduces a polymatroid framework on Stallings core graphs to encode structural, algebraic, and probabilistic invariants of free group subgroups.
• It unifies classical bounds such as the strengthened Hanna Neumann inequality and Wise’s cyclic bound by associating submodular rank functions to graph data.
• The methods yield new lower bounds on stable invariants and probabilistic upper limits on subgroup mappings via random homomorphisms, bridging group theory and combinatorial optimization.

Polymatroids on Stallings core graphs provide a functional and combinatorial framework for encoding and analyzing structural, algebraic, and probabilistic invariants of subgroups of free groups. This theory reformulates and unifies a variety of classical and recent group-theoretic bounds, especially those related to the Hanna Neumann Conjecture and its generalizations, by associating submodular rank functions—polymatroids—to graph-theoretic, homological, and action-theoretic data on Stallings core graphs. The resulting methods yield new lower bounds on stable invariants for subgroups, and new upper bounds on the probability that words or subgroups map to prescribed subgroups under random homomorphisms into finite groups, bridging group theory, random mapping, invariant theory, and combinatorial optimization (Shomroni, 31 Dec 2025).

1. Stallings Core Graphs and Their Structure

Let $F = \mathrm{Free}(B)$ denote the free group on a finite generating set $B$. For every finitely generated subgroup $H \leq F$, the associated Stallings core graph $\Gamma_H$ is constructed as a finite, $B$-labeled covering of the bouquet $\Omega_B$—the wedge of $|B|$ loops labeled by $B$—with all “hanging trees” and isolated tree components pruned away. The immersion

$\iota: \Gamma_H \longrightarrow \Omega_B$

is uniquely specified by the subgroup $H$. Vertices $B$0 correspond to cosets $B$1 accessible by closed loops, and for each $B$2 there is a set $B$3 of directed $B$4-edges, each with specified source $B$5 and target $B$6 in $B$7. The core property ensures that, except possibly at a chosen basepoint, no vertex is a leaf.

2. Definition and Properties of Polymatroids on Core Graphs

Given a (possibly disconnected) finite $B$8-labeled core graph $B$9, one defines a $H \leq F$0-polymatroid as a system of set functions

$H \leq F$1

subject to the following axioms for all $H \leq F$2:

• Monotonicity: $H \leq F$3,
• Submodularity: $H \leq F$4.

Moreover, the structure map between edge sets and vertex sets via source and target must preserve or dominate rank differences: $H \leq F$5 for all $H \leq F$6, and similarly for $H \leq F$7. When equality holds, the polymatroid is called lossless.

This abstract formalism allows the encoding of various geometric or algebraic quantities, such as vertex sets, edge sets, covering numbers, or invariants of lifts, into a unified structure.

3. The Main Γ–Polymatroid Theorem and its Consequences

The key structural result is the Γ–polymatroid theorem. For any connected $H \leq F$8-core graph $H \leq F$9 with fundamental group $\Gamma_H$0 and $\Gamma_H$1-polymatroid $\Gamma_H$2, assume

• $\Gamma_H$3; or
• $\Gamma_H$4 is cyclic, $\Gamma_H$5 with $\Gamma_H$6 a non-power word, and $\Gamma_H$7 is compact (no ground element is a co-loop).

Then there exists $\Gamma_H$8 and $\Gamma_H$9 so that

$B$0

In particular, if $B$1 for all $B$2, then $B$3.

Implications:

• For the Euler–characteristic polymatroid, this yields the Friedman–Mineyev lower bound in the strengthened Hanna Neumann inequality.
• For $B$4 encoding covering counts (preimages in coverings), this reproduces Wise’s rank-1 (cyclic) bound for non-power words.
• For $B$5 measuring stable primitivity rank, the theorem formalizes the Gap Theorem: $B$6 for non-abelian $B$7, and $B$8 for a cyclic $B$9.

4. Probabilistic Applications: Random Homomorphisms and Invariant Sets

Let $\Omega_B$0 be a uniformly random homomorphism and $\Omega_B$1 act on a finite set $\Omega_B$2. Constructing polymatroids on the solution set of systems $\Omega_B$3, one obtains powerful upper bounds on the probability of prescribed invariant configurations.

The Reiter–Chen–Yeung type bound states: for $\Omega_B$4 as above, and any locally recoverable labeling $\Omega_B$5,

$\Omega_B$6

for any orbit $\Omega_B$7 of $\Omega_B$8. In particular, the expected number of invariant points under $\Omega_B$9 is $|B|$0.

Specializing, for symmetric groups $|B|$1, let $|B|$2 denote the expected number of $|B|$3-element subsets of $|B|$4 fixed by $|B|$5. Then for fixed $|B|$6,

$|B|$7

as $|B|$8, with $|B|$9 the $B$0–stable compressed rank of $B$1. A similar formula holds for the Grassmannian action of $B$2.

Problem	Bound via Polymatroid	Stable Invariant
$B$3	Strengthened HN bound	Euler–characteristic
Random fixed points	$B$4	Compressed rank $B$5
Cover-lifts	Wise–type bound	Counting polymatroid

5. Worked Example: Polymatroids for a “Theta” Graph

Consider $B$6 and $B$7. The Stallings core $B$8 is a theta-shaped graph with two loops and one extra edge.

• The trivial polymatroid: $B$9, $\iota: \Gamma_H \longrightarrow \Omega_B$0 for all $\iota: \Gamma_H \longrightarrow \Omega_B$1.
  • For each edge $\iota: \Gamma_H \longrightarrow \Omega_B$2, $\iota: \Gamma_H \longrightarrow \Omega_B$3 and $\iota: \Gamma_H \longrightarrow \Omega_B$4, which makes $\iota: \Gamma_H \longrightarrow \Omega_B$5 sharp by the theorem.
• The random-cover counting polymatroid: $\iota: \Gamma_H \longrightarrow \Omega_B$6 and $\iota: \Gamma_H \longrightarrow \Omega_B$7 defined as the logarithms of the number of partial lifts over $\iota: \Gamma_H \longrightarrow \Omega_B$8 or $\iota: \Gamma_H \longrightarrow \Omega_B$9, respectively.
  • This formulation yields Wise’s bound on the number of lifts, replacing simple cardinality counts by geometric or probabilistic enumeration.

6. Open Questions and Conjectures

Several conjectures and open questions are posed based on the structure afforded by the polymatroid formalism:

• $H$0–Hanna–Neumann conjecture: For any subfield $H$1 and algebraic f.g. right-submodule $H$2 not contained in a free summand,

  $H$3

• Stability of primitivity ranks: Proposed equalities $H$4 and $H$5 suggest alignment between “stable” and one–step invariants.
• Integer-valued stable compressed ranks: Whether $H$6 for all $H$7, and whether $H$8 genuinely depends on $H$9, remain unresolved. A conjecture posits $B$00 for all $B$01.

A plausible implication is that the minimal complexity of $B$02-covers is governed by the compressed-rank lattice, indicating a deep underlying discrete structure in subgroup actions and coverings.

7. Synthesis and Unified Perspective

Polymatroids on Stallings core graphs subsume previously distinct threads: group-theoretic intersection inequalities, probabilistic behavior of group actions, enumerative invariants of coverings, and module-theoretic bounds. By encoding covering counts, fixed point decay, and linear-algebraic dependencies into polymatroid rank functions, a single framework yields gap theorems for group invariants and precise decay rates for the measure of invariant configurations under random mappings or actions. This flexible approach facilitates both the verification of classical results—such as the strengthened Hanna Neumann and Wise’s cyclic inequalities—and the formulation of new probabilistic, algebraic, and stability conjectures for subgroups and their actions (Shomroni, 31 Dec 2025).