Lopsided Sets: Asymmetry in Mathematics

• Lopsided sets are families of objects defined by inherent asymmetry relative to a symmetric baseline, appearing in fields like combinatorics and astrophysics.
• In combinatorics, lopsided (ample) sets satisfy the Dress–Pajor inequality and are realized as weakly convex cubihedra within the ℓ1-metric framework.
• Other domains use lopsidedness to capture imbalances such as unequal sum/difference sets, dominant monomials in amoeba theory, and anisotropic satellite distributions.

Searching arXiv for the cited papers to ground the article. Lopsided sets is a polysemous technical term whose meaning depends strongly on context. In combinatorics and discrete geometry, it denotes families of sign vectors $L \subseteq \{-1,+1\}^E$ introduced by Lawrence and independently rediscovered by Dress under the name ample sets; these families satisfy equality cases in the Dress–Pajor inequality and admit geometric realizations as weakly convex cubihedra in the intrinsic $\ell_1$-metric (Bandelt et al., 29 Mar 2026). In additive combinatorics, the phrase refers to subsets of $\mathbb Z/n\mathbb Z$ for which the sumset and difference set have unequal sizes (Hemmady et al., 2016). In amoeba theory, lopsidedness is the dominance of one monomial magnitude over the sum of the others, yielding outer approximations to polynomial amoebas (Forsgård et al., 2016). In observational astrophysics, a “lopsided set” is a satellite system whose projected angular distribution around an isolated host departs significantly from isotropy (Heesters et al., 2024). The common thread is asymmetry relative to a natural symmetric baseline, but the underlying objects, metrics, and theorems are domain-specific.

1. Terminological scope

In the cited literature, the term appears in several technically distinct senses.

Domain	Underlying object	Lopsidedness criterion
Combinatorics and cube complexes	$L \subseteq \{-1,+1\}^E$	Equality in Dress’s criterion; equivalent to Lawrence lopsidedness
Additive combinatorics	$A \subseteq \mathbb Z/n\mathbb Z$	$|A+A| \neq |A-A|$
Amoeba theory	$x \in \mathbb R^n$ for a Laurent polynomial $f$	One monomial strictly dominates the others
Astrophysics	Satellite system around a host galaxy	Angular distribution is significantly asymmetric

The combinatorial meaning is historically primary in the supplied corpus. Lawrence introduced lopsided sets in 1983 through the study of intersection patterns of convex sets with orthants of $\mathbb R^E$, while Dress later defined ample sets by equality in a combinatorial inequality and the two notions coincide (Bandelt et al., 29 Mar 2026). The other usages retain the same qualitative intuition—deviation from balance, isotropy, or non-dominance—but they do not describe the same mathematical structure.

2. Combinatorial lopsided sets and Dress’s ampleness

Let $E$ be finite and let $\ell_1$0 denote the set of sign vectors $\ell_1$1. For $\ell_1$2 and $\ell_1$3, the paper defines the projection and full-fiber operators

$\ell_1$4

$\ell_1$5

These induce two simplicial complexes on $\ell_1$6: $\ell_1$7

$\ell_1$8

Here $\ell_1$9 records shattered sets and $\mathbb Z/n\mathbb Z$0 strongly shattered sets (Bandelt et al., 29 Mar 2026).

The fundamental inequality is the Dress–Pajor inequality

$\mathbb Z/n\mathbb Z$1

Dress called $\mathbb Z/n\mathbb Z$2 ample when

$\mathbb Z/n\mathbb Z$3

The paper also states that ample sets satisfy the “sparseness” equality $\mathbb Z/n\mathbb Z$4, as proved in earlier work, and that Lawrence’s lopsidedness condition is equivalent to ampleness (Bandelt et al., 29 Mar 2026).

Lawrence’s formulation uses the complement $\mathbb Z/n\mathbb Z$5: $\mathbb Z/n\mathbb Z$6 is lopsided if for all $\mathbb Z/n\mathbb Z$7 with $\mathbb Z/n\mathbb Z$8 and $\mathbb Z/n\mathbb Z$9, either $L \subseteq \{-1,+1\}^E$0 or $L \subseteq \{-1,+1\}^E$1. This condition encodes a global asymmetry in the occupancy of hypercube fibers. The paper further recalls a family of equivalent characterizations from earlier work, including superisometry of all fibers, superconnectivity, hereditary Euler characteristic $L \subseteq \{-1,+1\}^E$2, and total asymmetry (Bandelt et al., 29 Mar 2026).

The examples in the paper illustrate both sides of the dichotomy. For $L \subseteq \{-1,+1\}^E$3, the set $L \subseteq \{-1,+1\}^E$4 is ample, with $L \subseteq \{-1,+1\}^E$5, while $L \subseteq \{-1,+1\}^E$6 with the two constant maps removed is not ample: $L \subseteq \{-1,+1\}^E$7 lies strictly between the sizes of the shattered and strongly shattered complexes (Bandelt et al., 29 Mar 2026).

3. Cubihedra, $L \subseteq \{-1,+1\}^E$8 geometry, and metric characterizations

The central geometric realization associates to $L \subseteq \{-1,+1\}^E$9 the cubihedron

$A \subseteq \mathbb Z/n\mathbb Z$0

where $A \subseteq \mathbb Z/n\mathbb Z$1 is viewed as a cube complex. The vertices of $A \subseteq \mathbb Z/n\mathbb Z$2 are precisely $A \subseteq \mathbb Z/n\mathbb Z$3, its $A \subseteq \mathbb Z/n\mathbb Z$4-skeleton is the induced subgraph $A \subseteq \mathbb Z/n\mathbb Z$5 in the hypercube graph, and its facets are the maximal faces contained in $A \subseteq \mathbb Z/n\mathbb Z$6 (Bandelt et al., 29 Mar 2026).

The ambient metric is the $A \subseteq \mathbb Z/n\mathbb Z$7 metric

$A \subseteq \mathbb Z/n\mathbb Z$8

If $A \subseteq \mathbb Z/n\mathbb Z$9 is connected, $|A+A| \neq |A-A|$0 carries an intrinsic path metric $|A+A| \neq |A-A|$1. The paper calls a subset $|A+A| \neq |A-A|$2 weakly convex if it is complete and Menger-convex, equivalently if the intrinsic path metric equals the ambient $|A+A| \neq |A-A|$3 metric on $|A+A| \neq |A-A|$4. Weak convexity is therefore a path-$|A+A| \neq |A-A|$5-isometric condition (Bandelt et al., 29 Mar 2026).

A principal theorem gives the metric characterization of ampleness. For $|A+A| \neq |A-A|$6, the following are equivalent:

1. $|A+A| \neq |A-A|$7 is ample.
2. $|A+A| \neq |A-A|$8 is weakly convex.
3. $|A+A| \neq |A-A|$9 is sign-convex.
4. $x \in \mathbb R^n$0 is sign-convex.
5. $x \in \mathbb R^n$1 is isometric in $x \in \mathbb R^n$2 and every face of $x \in \mathbb R^n$3 is gated in $x \in \mathbb R^n$4.
6. $x \in \mathbb R^n$5 and the ambient $x \in \mathbb R^n$6 metric coincide on $x \in \mathbb R^n$7.
7. For any two parallel faces of $x \in \mathbb R^n$8 with barycenters $x \in \mathbb R^n$9, one has $f$0 (Bandelt et al., 29 Mar 2026).

This theorem relocates ampleness from a counting identity to a metric-geometric property of cube complexes. In particular, ample sets are exactly those sign-vector families whose cubihedra are isometric subspaces of $f$1-spaces in the sense used by the paper. The non-ample six-vertex example above becomes a solid hexagon whose intrinsic metric exceeds the ambient $f$2 metric on certain pairs, explicitly demonstrating failure of weak convexity (Bandelt et al., 29 Mar 2026).

4. Barycenter systems, orthants, and oriented-matroid-like structure

Faces of the hypercube are encoded by barycenter sign vectors in $f$3. If

$f$4

then the barycenter $f$5 satisfies $f$6 for $f$7 and $f$8 for $f$9. The set $\mathbb R^E$0 of barycenters of all faces of $\mathbb R^E$1 is upward closed under the partial order $\mathbb R^E$2, and the paper emphasizes the identity

$\mathbb R^E$3

for any $\mathbb R^E$4 (Bandelt et al., 29 Mar 2026).

The paper introduces the signed-circuit axiom (SCA): a subset $\mathbb R^E$5 satisfies SCA if for all $\mathbb R^E$6 and $\mathbb R^E$7 with $\mathbb R^E$8, there exists $\mathbb R^E$9 such that $E$0 and

$E$1

For upward closed $E$2, SCA is equivalent to $E$3-convexity, and on such sets $E$4-convexity is equivalent to sign-convexity (Bandelt et al., 29 Mar 2026).

This leads to a barycenter characterization: for $E$5 and $E$6, the following are equivalent: $E$7 is weakly convex, $E$8 is sign-convex, $E$9 is $\ell_1$00-convex, $\ell_1$01 satisfies SCA, $\ell_1$02 is an isometric subgraph of the grid graph $\ell_1$03, and $\ell_1$04 is ample with $\ell_1$05 and $\ell_1$06 (Bandelt et al., 29 Mar 2026).

The oriented-matroid analogy is made through cocircuits. The minimal elements of $\ell_1$07 under $\ell_1$08 form

$\ell_1$09

and $\ell_1$10. The paper states that $\ell_1$11 is ample if and only if $\ell_1$12 satisfies SCA, equivalently if $\ell_1$13 does, and similarly for the complementary circuit system $\ell_1$14 (Bandelt et al., 29 Mar 2026).

The resemblance to oriented matroids is structural rather than complete. SCA is presented as an analogue of weak elimination, but ample sets do not require global symmetry $\ell_1$15, nor the existence of the zero covector. The paper situates them instead within the broader framework of COMs, with ample sets characterized as those COMs whose cells are cubes (Bandelt et al., 29 Mar 2026).

5. Realizability, projection, and related constructions

Lawrence’s original orthant-intersection viewpoint is recovered through the construction

$\ell_1$16

where

$\ell_1$17

The paper proves that $\ell_1$18 is ample if and only if there exists a weakly convex $\ell_1$19, equivalently a compact weakly convex $\ell_1$20, such that $\ell_1$21. One direction uses $\ell_1$22; the converse derives ampleness from weak convexity of coordinate-hyperplane sections and superisometric fibers (Bandelt et al., 29 Mar 2026).

Projection provides another equivalent characterization. If $\ell_1$23, let $\ell_1$24 denote the orthogonal projection of $\ell_1$25 to $\ell_1$26, and let $\ell_1$27 be the cubihedron of the projected sign family $\ell_1$28. Then $\ell_1$29 is ample if and only if

$\ell_1$30

equivalently if

$\ell_1$31

(Bandelt et al., 29 Mar 2026).

These results connect lopsided sets to several established structures. The paper explicitly places them at the intersection of hypercube combinatorics, cube complexes, and $\ell_1$32-embeddability; it also notes earlier connections to median graphs, CAT(0) cube complexes, convex geometries, antimatroids, and conditional antimatroids (Bandelt et al., 29 Mar 2026). A plausible implication is that ampleness functions as a unifying criterion for when discrete hypercube data admit faithful $\ell_1$33-geometric realization without distortion under passage to faces, fibers, and projections.

6. Other established uses of “lopsided sets”

In additive combinatorics, a subset $\ell_1$34 is called lopsided when its sumset

$\ell_1$35

and difference set

$\ell_1$36

have different sizes. The paper distinguishes sum-dominated sets, difference-dominated sets, and balanced sets. For random $\ell_1$37 formed by including each residue independently with probability $\ell_1$38, it proves a phase transition near $\ell_1$39: if $\ell_1$40, then $\ell_1$41 almost surely; if $\ell_1$42, then $\ell_1$43; and if $\ell_1$44 with $\ell_1$45 prime, then $\ell_1$46 almost surely (Hemmady et al., 2016). Here “lopsided” means imbalance between additive and subtractive expansion rather than a sign-vector property.

In amoeba theory, lopsidedness is defined pointwise for a Laurent polynomial

$\ell_1$47

For $\ell_1$48, write

$\ell_1$49

Then $\ell_1$50 is lopsided at $\ell_1$51 if there exists $\ell_1$52 such that

$\ell_1$53

The lopsided amoeba $\ell_1$54 is the set where $\ell_1$55 is not lopsided, and it contains the true amoeba $\ell_1$56. Purbhoo’s approximation scheme uses cyclic resultants $\ell_1$57, with $\ell_1$58 converging uniformly to $\ell_1$59 as $\ell_1$60; the paper then develops fast dyadic algorithms for computing $\ell_1$61 and reports speedups from $\ell_1$62 to roughly $\ell_1$63 relative to general resultant computation in the examples shown (Forsgård et al., 2016). In this setting, lopsidedness is a dominance inequality that certifies non-membership in the amoeba.

In observational astrophysics, lopsidedness refers to angular asymmetry in the projected distribution of satellite dwarf galaxies around an isolated host. The cited study analyzes 47 MATLAS systems and 21 ELVES systems using six metrics calibrated against $\ell_1$64 isotropic Monte Carlo realizations per host, with only angular positions randomized and radial distances fixed. The preferred diagnostic is the wedge metric

$\ell_1$65

with a meta-$\ell_1$66-value to control scanning over opening angles $\ell_1$67. Under this metric, about $\ell_1$68 of tested systems are significantly lopsided, compared to the $\ell_1$69 null expectation at $\ell_1$70; combining all six metrics raises the fraction to about $\ell_1$71 (Heesters et al., 2024). The paper further reports that outer satellites dominate the signal and that restricting all systems to satellites within $\ell_1$72 kpc reduces the wedge-significant fraction from $\ell_1$73 to $\ell_1$74 (Heesters et al., 2024). Here the term names a statistically significant anisotropy in phase-space projection.

Across these domains, the same word marks an excess on one side of a benchmark: imbalance between orthants, between sumset and difference-set sizes, between monomial contributions, or between angular sectors. This suggests a family resemblance centered on asymmetry detection, but the formal definitions are not interchangeable.