Quasidominance Condition: Controlled Domination

• The quasidominance condition is a versatile concept enforcing controlled domination constraints across diverse areas like graph theory, ideal theory, and universal algebra.
• It encapsulates structured limitations, such as k-quasiperfect domination in graphs and exact factor-lifting properties in sharp domains, bridging theory with measurable criteria.
• Its applications extend to matrix dynamics, probability, and potential theory, providing a unifying framework for controlled domination principles in complex systems.

The expression quasidominance condition does not denote a single standardized concept across the arXiv literature. In the cited papers it is used, or explicitly identified as a useful label, for several distinct formal conditions: a bounded-overlap domination requirement in graph theory, a Schreier-type ideal factor-lifting property in integral domains, an intermediate near-unanimity condition in universal algebra, singular-value criteria equivalent to dominated splitting for matrix sequences, and several dominance or tail-control conditions in matrix theory, probability, and potential theory (Cáceres et al., 2014, Ahmad et al., 2011, Lipparini, 2021, Sun et al., 27 Jan 2025). This suggests a common organizing idea—controlled domination subject to upper constraints—but the technical content depends entirely on the surrounding discipline.

1. Terminological scope and formal patterns

In the supplied literature, the same label is attached to conditions that are formally unrelated. What unifies them is not a shared definition, but a recurring schema: one asks that an object dominate another while preserving a bounded multiplicity, an exact factorization, an eventual tail pattern, or an integrable majorant.

Area	Ambient object	Formal core
Graph theory	$S\subseteq V(G)$	$\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$
Ideal theory	nonzero ideals of $D$	$I\supseteq AB \Rightarrow I=A'B'$ or $I^*=(HJ)^*$ with enlarged factors
Universal algebra	$(n+2)$-ary term $u$	identities (Eq. 3.1)–(Eq. 3.3)
Matrix cocycles	bounded $B:\mathbb Z\to M(2,\mathbb C)$	(SVG) + (FI)
qpr-sequences	$q_1\cdots q_n\in\{A,S,N\}^n$	once $N$ appears, the tail is all $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$0
Potential theory	family $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$1	$\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$2 with $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$3 plus structural hypotheses

Because these notions live in different subjects, direct transfer of results between them is generally impossible. The same phrase therefore functions as a cross-disciplinary label rather than a universally fixed term.

2. Graph-theoretic quasidominance

In graph theory, the relevant notion is $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$4-quasiperfect domination. For a finite, undirected, simple, connected graph $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$5 and $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$6, a set $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$7 is a $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$8-quasiperfect dominating set if it is dominating and satisfies the quasidominance condition

$\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$9

The minimum cardinality of such a set is the $D$0-quasiperfect domination number $D$1, also written in the paper as $D$2 (Cáceres et al., 2014).

This condition interpolates between two classical extremes. When $D$3, every vertex outside $D$4 has exactly one neighbor in $D$5, so one recovers perfect domination: $D$6 When $D$7, the upper bound is vacuous for dominating sets, and ordinary domination is recovered: $D$8 Accordingly, the parameters form the decreasing chain

$D$9

The paper interprets this chain as measuring how far a graph is from being perfectly dominated, and calls it short when $I\supseteq AB \Rightarrow I=A'B'$0 (Cáceres et al., 2014).

Several structural facts govern these parameters. If $I\supseteq AB \Rightarrow I=A'B'$1, then the tail stabilizes: $I\supseteq AB \Rightarrow I=A'B'$2 There are also local constraints that are frequently used in proofs: if a vertex $I\supseteq AB \Rightarrow I=A'B'$3 satisfies $I\supseteq AB \Rightarrow I=A'B'$4, then necessarily $I\supseteq AB \Rightarrow I=A'B'$5; if $I\supseteq AB \Rightarrow I=A'B'$6 is a clique and $I\supseteq AB \Rightarrow I=A'B'$7, then $I\supseteq AB \Rightarrow I=A'B'$8. The paper further gives a $I\supseteq AB \Rightarrow I=A'B'$9–$I^*=(HJ)^*$0 integer programming formulation with the adjacency matrix $I^*=(HJ)^*$1, characteristic vector $I^*=(HJ)^*$2, and all-ones vector $I^*=(HJ)^*$3: $I^*=(HJ)^*$4 with objective $I^*=(HJ)^*$5 (Cáceres et al., 2014).

The principal structural theorem identifies broad graph classes in which the chain is short: if $I^*=(HJ)^*$6 satisfies any of the following, then $I^*=(HJ)^*$7: $I^*=(HJ)^*$8, $I^*=(HJ)^*$9, $(n+2)$0 is a cograph, or $(n+2)$1 is claw-free. The paper develops these cases in detail. For connected cographs, explicit values of $(n+2)$2 are obtained via the join decomposition $(n+2)$3; for claw-free graphs, broad realizability results for pairs $(n+2)$4 are established; and for extremal maximum degree families, the paper shows that the perfect domination number may vary widely even when the chain is short. Canonical examples include paths, cycles, complete graphs, stars, complete bipartite graphs, and wheels, all of which are analyzed explicitly (Cáceres et al., 2014).

3. Ideal-theoretic quasidominance: sharp and *-sharp domains

In multiplicative ideal theory, the phrase refers to a Schreier-type factor-lifting property. For an integral domain $(n+2)$5, the paper "A Schreier Domain Type Condition" introduces the class of sharp domains: $(n+2)$6 is sharp if for all nonzero ideals $(n+2)$7,

$(n+2)$8

The paper explicitly identifies this condition with what is being called the quasidominance condition, and emphasizes that it strengthens the pre-Schreier and quasi-Schreier properties by requiring factor-lifting for all nonzero ideals, not merely principal or invertible ones (Ahmad et al., 2011).

A central characterization is the colon-factorization criterion: $(n+2)$9 for every two nonzero ideals $u$0. This gives canonical enlargements from any inclusion $u$1 by taking

$u$2

The valuation-theoretic description is equally strong: for a valuation domain $u$3, sharpness is equivalent to pseudo-Dedekindness and to the value group $u$4 being a complete subgroup of $u$5. From this the paper derives the global structural theorem: if $u$6 is sharp, then each localization $u$7 at a maximal ideal is a valuation domain whose value group is a complete subgroup of $u$8; consequently, $u$9 is a Prüfer domain of Krull dimension at most $B:\mathbb Z\to M(2,\mathbb C)$0. Further consequences include

$B:\mathbb Z\to M(2,\mathbb C)$1

and under additional hypotheses one gets Dedekind behavior, for example in TV, Noetherian, Krull, or countable settings (Ahmad et al., 2011).

The companion paper extends this framework to star operations. Let $B:\mathbb Z\to M(2,\mathbb C)$2 be a star operation on an integral domain $B:\mathbb Z\to M(2,\mathbb C)$3. The domain is **-sharp* if for all nonzero ideals $B:\mathbb Z\to M(2,\mathbb C)$4 with $B:\mathbb Z\to M(2,\mathbb C)$5, there exist nonzero ideals $B:\mathbb Z\to M(2,\mathbb C)$6 such that

$B:\mathbb Z\to M(2,\mathbb C)$7

This is presented as the star-operation analogue of the same quasidominance pattern (Ahmad et al., 2011).

The *-sharp theory inherits many of the structural features of the sharp case, but now filtered through the star operation. If $B:\mathbb Z\to M(2,\mathbb C)$8 and $B:\mathbb Z\to M(2,\mathbb C)$9 is $q_1\cdots q_n\in\{A,S,N\}^n$0-sharp, then $q_1\cdots q_n\in\{A,S,N\}^n$1 is $q_1\cdots q_n\in\{A,S,N\}^n$2-sharp. If $q_1\cdots q_n\in\{A,S,N\}^n$3 is stable and of finite character and $q_1\cdots q_n\in\{A,S,N\}^n$4 is *-sharp, then every localization $q_1\cdots q_n\in\{A,S,N\}^n$5 at a maximal $q_1\cdots q_n\in\{A,S,N\}^n$6-ideal is a valuation domain with value group a complete subgroup of the reals; in particular, $q_1\cdots q_n\in\{A,S,N\}^n$7 is a Prüfer $q_1\cdots q_n\in\{A,S,N\}^n$8-multiplication domain and the $q_1\cdots q_n\in\{A,S,N\}^n$9-dimension is at most $N$0. The paper also identifies important special cases: $N$1-sharp is equivalent to complete integral closure, $N$2-sharp is equivalent to $N$3-sharp, every Krull domain is $N$4-sharp, and under TV or countability hypotheses one obtains *-Dedekind or Krull conclusions. Polynomial and Nagata-type extensions are analyzed as well: $N$5 is $N$6-sharp if and only if $N$7 is $N$8-sharp, and this is also equivalent to sharpness of the localization $N$9 (Ahmad et al., 2011).

4. Quasidominance as an intermediate near-unanimity condition

In universal algebra, the term is used for the condition that the paper equates with Lipparini’s $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$00-near-unanimity term. Fix $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$01. A term $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$02 of arity $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$03 witnesses quasidominance if it satisfies the identities

$\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$04

$\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$05

and

$\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$06

The paper proves that this condition is strictly intermediate between having an $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$07-ary near-unanimity term and having an $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$08-ary near-unanimity term, with the precise implications

$\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$09

and both implications are strict (Lipparini, 2021).

Strictness is witnessed in two directions. For the failure of the reverse implication on the right, the variety $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$10 has an $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$11-ary near-unanimity term but is not $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$12-distributive, whereas quasidominance would force that level of congruence distributivity. For the failure of the reverse implication on the left, the paper constructs a Boolean term-reduct with operation

$\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$13

which satisfies the quasidominance identities but admits no $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$14-ary near-unanimity term (Lipparini, 2021).

The main structural payoff is exact control of congruence identities. Every variety with quasidominance is $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$15 and $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$16, where $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$17 denotes $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$18-distributivity and $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$19 denotes $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$20-modularity. These bounds are sharp: the paper constructs a family $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$21 for which quasidominance holds but $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$22 fails and $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$23 fails. The proofs proceed by extracting directed Jónsson/Gumm chains from the identities above and then converting them into Day terms. The paper also relates the condition to other Maltsev and Taylor notions: quasidominance implies $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$24 and therefore implies Taylor, with the standard finite-idempotent CSP consequences that accompany near-unanimity polymorphisms (Lipparini, 2021).

5. Singular-value quasidominance for $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$25-sequences

In the study of bounded matrix sequences $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$26, the paper "Equivalent Conditions for Domination of $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$27-sequences" does not formally name a quasidominance condition, but the supplied data identifies the pair (SVG)+(FI) as functioning in precisely that role. Write

$\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$28

for the singular values. The relevant conditions are:

$\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$29

the singular-value gap condition (SVG), and

$\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$30

the fast invertibility condition (FI). The main theorem states that a bounded sequence $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$31 has dominated splitting if and only if it satisfies both (SVG) and (FI) (Sun et al., 27 Jan 2025).

Dominated splitting is formulated for possibly singular sequences by requiring one-dimensional subspaces $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$32 with $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$33-invariance, domination of the form

$\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$34

uniform separation $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$35, and uniform nondegeneracy of blocks. Under dominated splitting, one gets a uniform exponential singular-value gap: $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$36 Conversely, from (SVG)+(FI) the paper constructs invariant line fields as limits of most contracted and most expanded directions, proves uniform separation, and recovers the domination estimate (Sun et al., 27 Jan 2025).

This formulation clarifies the relationship with classical invertible settings. For bounded $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$37-sequences, domination reduces to uniform hyperbolicity and (SVG) is equivalent to uniform exponential growth. For bounded $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$38-sequences with determinants uniformly bounded away from zero, domination is equivalent to (SVG) alone; in the general $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$39 setting, however, (FI) is necessary, and the paper gives an example where (SVG) holds but uniform separation fails. The same work also proves an Avalanche Principle for possibly singular matrices: under local gap and local alignment assumptions, the sequence has dominated splitting and the quantity $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$40 is approximated by a telescoping combination of one-step and two-step terms with error bounded by $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$41 (Sun et al., 27 Jan 2025).

6. Other specialized meanings

A further usage appears in the theory of quasi principal rank characteristic sequences of symmetric matrices. If $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$42 with symbols in $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$43, the paper proves the N Theorem: if $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$44 for some $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$45, then $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$46 for all $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$47. Equivalently, once $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$48 appears, the sequence is an $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$49-tail, so the substrings $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$50 and $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$51 cannot occur. Over fields of characteristic $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$52, this tail property together with the terminal constraint $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$53 completely characterizes attainable qpr-sequences (Fallat et al., 2017).

In probability theory, the paper on strong laws for pairwise positively quadrant dependent random variables does not use the term directly, but the supplied data identifies a quasi-dominance requirement in the form of stochastic domination or necessary tail control. Under pairwise PQD and the dependence summability condition

$\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$54

if

$\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$55

for some finite $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$56 and $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$57, then necessarily

$\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$58

equivalently $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$59. In the sufficiency results cited there, the relevant domination hypothesis is that the sequence is stochastically dominated by a random variable $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$60: $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$61 Here the notion is not algebraic or combinatorial; it is a tail-comparison condition controlling large deviations in dependent sequences (Silva, 2020).

In potential theory, Riihentaus extends domination results of Domar and Rippon from subharmonic to quasinearly subharmonic functions. Let $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$62 be a family of $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$63-quasinearly subharmonic functions with $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$64, where $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$65 is Lebesgue measurable. Under structural hypotheses on increasing functions $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$66—including the inequality

$\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$67

and the convergence condition

$\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$68

together with local integrability of $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$69 on compact sets, the family is locally uniformly bounded and the upper semicontinuous regularization of

$\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$70

is $\forall v\in V\setminus S,\ 1\le |N(v)\cap S|\le k$71-quasinearly subharmonic. In this setting the quasidominance idea is a domination-by-majorant principle strong enough to guarantee regularity of the envelope (Riihentaus, 2011).

Taken together, these usages show that quasidominance condition functions as a mathematically portable label rather than a single doctrine. In graph theory it bounds the number of dominators; in ideal theory it forces exact factor-lifting; in universal algebra it isolates a half-step between two near-unanimity arities; in matrix dynamics it becomes quantified singular-value separation; in qpr theory it is an irreversible tail phenomenon; and in probability and potential theory it appears as tail or majorant control. The phrase therefore names a family of analogous strategies—domination with additional quantitative restraint—rather than a unique formalism.