Local Complementation: Multi-Domain Insights

• Local complement is a concept that assigns local operations to recover or extend global structures, with definitions varying across graph theory, Banach spaces, lattices, geometry, quantum foundations, and algebra.
• It involves concrete procedures such as toggling edges in vertex neighborhoods, establishing finite-dimensional retraction operators, and defining greatest local elements to instantiate orthocomplementation.
• This multifaceted concept facilitates structure reconstruction from local data, leading to implications in computational complexity, extension theory, and equivalence classifications in various mathematical domains.

In contemporary research, local complement and local complementation do not denote a single universal construction. In graph theory, the term refers to complementing the induced subgraph on the neighborhood of a chosen vertex. In Banach space theory, it denotes a uniform finite-dimensional retraction property of a subspace. In locality theory on lattices, the closest formal notion is the greatest element local to a given element. In geometry and topology, several papers use complements of deleted subspaces or divisors whose global structure is recovered or decomposed through local strata and local cohomology. Related complement constructions also appear in quantum foundations, combinatorics, and algebraic extension theory (Concha-Vega, 31 Mar 2025, Avilés et al., 2021, Clavier et al., 2020, Bøgvad et al., 2017).

Domain	Meaning of “local complement” or closest notion	Representative source
Graph theory	Complement the induced subgraph on a vertex neighborhood	(Concha-Vega, 31 Mar 2025, Traldi, 2011)
Banach spaces	Local $\lambda$-complementation of a subspace in a superspace	(Avilés et al., 2021, Castillo et al., 2011)
Lattices and posets	Greatest element local to $a$: $\Psi^\top(a)=\grt(a^\top)$	(Clavier et al., 2020)
Arrangement and divisor complements	Global complement analyzed via flats, local cohomology, or fiberwise vanishing	(Bøgvad et al., 2017, Arinkin et al., 2011)
Quantum foundations	Complementarity between global Bell observables and local observables	(Wang et al., 2016, Fritz, 2011)
Algebra and combinatorics	Internal complements, deformation of complements, or complements assembled from local toggles	(Agore et al., 2012, Dequêne et al., 2022)

1. Graph-theoretic local complementation

In graph theory, local complementation is an operation on an undirected simple graph that acts around a chosen vertex $v$: one looks at the neighborhood $N(v)$, replaces the induced subgraph on $N(v)$ by its complement, and leaves all other adjacencies unchanged. Equivalently, for a graph $G$, the local complementation at $v$ is the graph $G*v$ with edge set

$E(G*v)=E(G)\ \triangle\ \binom{N_G(v)}{2},$

so an edge $a$0 is toggled precisely when both $a$1 and $a$2 are neighbors of $a$3. For a sequence $a$4, repeated local complementation is defined inductively by

$a$5

The associated decision problem, the Local Complementation Problem (LCP), asks whether a given edge $a$6 is present in $a$7. The paper proves that $a$8 is $a$9-complete, while on complete graphs and star graphs the problem lies in $\Psi^\top(a)=\grt(a^\top)$0; it also conjectures $\Psi^\top(a)=\grt(a^\top)$1-completeness for circle graphs (Concha-Vega, 31 Mar 2025).

A linear-algebraic formulation over $\Psi^\top(a)=\grt(a^\top)$2 encodes a simple graph $\Psi^\top(a)=\grt(a^\top)$3 by its zero-diagonal symmetric adjacency matrix $\Psi^\top(a)=\grt(a^\top)$4. For a symmetric matrix $\Psi^\top(a)=\grt(a^\top)$5, the simple local complement $\Psi^\top(a)=\grt(a^\top)$6 is obtained by toggling $\Psi^\top(a)=\grt(a^\top)$7 whenever $\Psi^\top(a)=\grt(a^\top)$8 and $\Psi^\top(a)=\grt(a^\top)$9. In this setting, the equivalence relation on simple graphs generated by local complementation coincides with the equivalence relation generated by modified inversion: first toggle some diagonal entries to obtain an invertible symmetric matrix, invert it, and then toggle every nonzero diagonal entry of the inverse to return to a zero-diagonal symmetric matrix. The main theorem states

$v$0

for zero-diagonal symmetric $v$1-matrices $v$2 (Traldi, 2011).

The same paper places local complementation in the circuit theory of $v$3-regular multigraphs. If $v$4 is an Euler system of a $v$5-regular multigraph $v$6, then the interlacement graph $v$7 changes by simple local complementation under Kotzig’s $v$8-transformations of Euler systems. This identifies local complementation not merely as an isolated graph operation, but as a shadow of Euler-system transformations and of inversion identities for relative interlacement matrices (Traldi, 2011).

2. Local complementation in Banach space theory

Let $v$9 be Banach spaces and let $N(v)$0. The classical definition says that $N(v)$1 is locally $N(v)$2-complemented in $N(v)$3 if for every finite-dimensional subspace $N(v)$4 and every $N(v)$5, there exists an operator

$N(v)$6

such that

$N(v)$7

This is weaker than the existence of a bounded projection $N(v)$8, but it controls all finite-dimensional pieces uniformly. The paper "Local complementation in Banach spaces and its preservation under free constructions" proves categorical characterizations of this property: extension into dual spaces, existence of a morphism $N(v)$9 with $N(v)$0 extending the canonical embedding $N(v)$1, and exact or approximate local morphic retractions on finite subsets. Its main conceptual theorem states that Lipschitz-local complementation is equivalent to classical local complementation: $N(v)$2 The same paper shows preservation of local complementation under free constructions, including Lipschitz-free spaces, free Banach lattices, and free $N(v)$3-convex Banach lattices (Avilés et al., 2021).

A complementary formulation appears in "Local complementation and the extension of bilinear mappings". There, for an embedding $N(v)$4, local complementation means that there exists $N(v)$5 such that for every $N(v)$6 there exists a retract

$N(v)$7

This is equivalent to local splitting of the exact sequence

$N(v)$8

equivalently to splitting of the dual sequence

$N(v)$9

and to uniform extension of finite-rank operators from $G$0 to $G$1. The same paper proves that local complementation of $G$2 is equivalent to the existence of linear continuous extension operators for bilinear and multilinear forms, and introduces local $G$3-complementation for tensor norms $G$4, linked to extension of $G$5-integral bilinear forms. A structural theorem states: $G$6 Thus, in Banach space theory, local complementation is a finite-dimensional extension property with strong consequences for bilinear extension theory and for Hilbertian structure (Castillo et al., 2011).

3. Locality relations and orthocomplements in bounded lattices

In the lattice-theoretic locality framework, the phrase local complement is not introduced as a separate formal term; the closest object is the greatest element local to a given element. A locality relation on a set $G$7 is a symmetric binary relation $G$8, and for $G$9 the polar set is

$v$0

For a bounded lattice $v$1, locality is required to interact with order so that each polar $v$2 is a lattice ideal. The paper defines

$v$3

the greatest element local to $v$4, and identifies this as the relevant “local complement” object (Clavier et al., 2020).

The decisive hypotheses are separating locality and strongly separating locality. Separating locality requires

$v$5

and existence of $v$6 for every $v$7. Strong separation adds

$v$8

Under these conditions, Theorem 5.15 proves that

$v$9

is an orthocomplementation. Conversely, every orthocomplementation $G*v$0 determines a strongly separating locality relation by

$G*v$1

The paper therefore establishes a bijection

$G*v$2

In this framework, set complement $G*v$3 on $G*v$4 and orthogonal complement $G*v$5 in Euclidean or Hilbert-space subspace lattices become instances of the same construction (Clavier et al., 2020).

This formulation also recasts standard complement identities in locality language. In an orthocomplemented lattice,

$G*v$6

and if $G*v$7 is antitone and involutive, then De Morgan identities hold: $G*v$8 The paper’s point is that these are not added externally; they are recovered from the local structure encoded by the polar sets and the existence of greatest local elements (Clavier et al., 2020).

4. Complements of deleted strata in geometry and topology

A distinct use of complement language concerns spaces obtained by deleting a divisor or subspace and then analyzing the result through local strata. For a hyperplane arrangement $G*v$9 in $E(G*v)=E(G)\ \triangle\ \binom{N_G(v)}{2},$0, with complement

$E(G*v)=E(G)\ \triangle\ \binom{N_G(v)}{2},$1

and open inclusion $E(G*v)=E(G)\ \triangle\ \binom{N_G(v)}{2},$2, the paper "Length and decomposition of the cohomology of the complement to a hyperplane arrangement" studies the perverse sheaf $E(G*v)=E(G)\ \triangle\ \binom{N_G(v)}{2},$3. Its main theorem states

$E(G*v)=E(G)\ \triangle\ \binom{N_G(v)}{2},$4

where $E(G*v)=E(G)\ \triangle\ \binom{N_G(v)}{2},$5 is the intersection lattice, $E(G*v)=E(G)\ \triangle\ \binom{N_G(v)}{2},$6 its Möbius function, and $E(G*v)=E(G)\ \triangle\ \binom{N_G(v)}{2},$7 the Poincaré polynomial. The simple factors are

$E(G*v)=E(G)\ \triangle\ \binom{N_G(v)}{2},$8

one for each flat $E(G*v)=E(G)\ \triangle\ \binom{N_G(v)}{2},$9, and in the Grothendieck group

$a$00

The paper explicitly interprets these $a$01 as local-cohomology-type objects supported on flats, so the global complement is decomposed into local contributions attached to strata (Bøgvad et al., 2017).

For a hyperplane-like divisor $a$02 in a smooth connected complex manifold, with complement $a$03, the paper "Intersection cohomology of a rank one local system on the complement of a hyperplane-like divisor" introduces condition A. If $a$04 is a resolution, $a$05 is obtained by deleting exactly the components around which the pulled-back local system has nontrivial monodromy, and both $a$06 and $a$07 satisfy condition A, then

$a$08

Here the difficult intersection cohomology of the complement is replaced by ordinary cohomology on a resolution, with the local input encoded by fiberwise vanishing over edges of the divisor (Arinkin et al., 2011).

A related geometric reconstruction problem appears in "The complement of a subspace in a classical polar space". For a thick, nondegenerate, embeddable polar space $a$09 of rank at least $a$10, and a proper subspace $a$11 contained in a hyperplane, the complement

$a$12

carries a partial parallelism

$a$13

The paper introduces deep points and deep lines and proves that the ambient polar space can be reconstructed from the complement. This suggests a common pattern: a global complement often becomes accessible precisely because local incidence, local cohomology, or local monodromy data retain the missing structure (Petelczyc et al., 2018).

5. Local complementarity in quantum foundations

In "Nonlocality as a consequence of complementarity", complementarity is defined as noncommutativity of observables. In the Bell setting for a bipartite system, the local observables are product observables

$a$14

whereas the Bell operator

$a$15

is a global observable. The paper quantifies complementarity between the global Bell observable and local observables by

$a$16

For generalized two-qubit Bell operators it derives

$a$17

with equality achieved by a normalized CHSH-type Bell operator, and for two qudits

$a$18

Its central claim is that if $a$19, then Bell nonlocality disappears: a theory in which the global Bell observable commutes with the relevant local observables is local in terms of Bell inequalities (Wang et al., 2016).

A different conclusion emerges in the broader no-signaling setting. "Nonlocality with less Complementarity" distinguishes several notions of complementarity for a pair of observables $a$20: joint distribution, symmetric nondisturbance of measurements, asymmetric nondisturbance of measurements, and absence of an uncertainty relation. For quantum projective measurements, the first three are equivalent to commutativity. Beyond quantum theory, however, the paper constructs two toy theories with PR-box correlations and maximal CHSH violation. In one theory, the corresponding local observables are pairwise jointly measurable; in the other, the state space is classical and all measurements are mutually nondisturbing in the sense that if a measurement sequence contains the same observable twice, those two outcomes coincide with certainty. At the same time, the paper notes that if asymmetric nondisturbance holds for all pairs in a no-signaling theory, then one obtains a local realistic model. A common misconception is therefore corrected: some standard forms of local complementarity are not necessary for nonlocality outside quantum theory, even though they coincide with commutativity inside quantum theory (Fritz, 2011).

6. Combinatorial and algebraic complement constructions

The paper "Charmed roots and the Kroweras complement" develops a complement action on nonnesting partitions that is explicitly assembled from local rules. For a standard Coxeter element $a$21 of $a$22, the classical complement on noncrossing partitions is

$a$23

On the nonnesting side, the $a$24-Kroweras complement is defined by the toggle product

$a$25

where the toggles are taken in the inversion order of the $a$26-sorting word of the long element. The paper introduces $a$27-charmed roots and constructs a unique support-preserving equivariant bijection

$a$28

satisfying

$a$29

Here the global complement action is built from local toggles, and the local path rules depend on whether a root is $a$30-charmed or $a$31-ordinary (Dequêne et al., 2022).

In ring-theoretic graph constructions, locality enters through local rings. The paper "Divisor graph of complement of Gamma(R)" studies the complement $a$32 of the zero-divisor graph of a finite commutative principal ideal ring with unity. If $a$33 is a local ring, then

$a$34

is a divisor graph. More generally, for products $a$35 of two local rings, the paper gives several necessary-and-sufficient results under diameter assumptions, and proves that if

$a$36

then the zero-divisor graph $a$37 is a complete bipartite graph and hence a divisor graph (Kumar et al., 2017).

In Hopf algebra and Lie algebra extension theory, the relevant notion is an internal algebraic complement. For a Hopf subalgebra $a$38, a right complement $a$39 is defined by bijectivity of the multiplication map

$a$40

For a Lie subalgebra $a$41, a complement $a$42 satisfies

$a$43

The paper "Classifying complements for Hopf algebras and Lie algebras" proves that once one complement is fixed, all other complements are obtained by deformation maps $a$44; the isomorphism classes are classified by the quotient sets

$a$45

The associated factorization index

$a$46

counts the isomorphism classes of complements, and the paper constructs a $a$47-dimensional Hopf algebra whose factorization index over the group algebra is arbitrarily large (Agore et al., 2012).

Across these settings, the term local complement remains domain-specific. In some areas it is a concrete operation, in others a local extension property, a greatest local element, a complement recovered from local strata, or a complement action assembled from local moves. The literature therefore supports no single universal definition; instead, it exhibits a recurrent structural theme in which a global complement is controlled, classified, or generated by local data.