Multiplicative Primitivity: Theory & Applications

• Multiplicative primitivity is a property where finite multiplicative operations overcome obstructions like periodicity and reducibility to yield full generation or complete positivity.
• It underlies the theory of primitive roots in cyclic groups, enabling explicit construction of generators through factorization and modular exponentiation techniques.
• The concept extends to matrices and quantum channels, ensuring that repeated multiplications produce entrywise positive products or complete state spanning with applications in ergodicity and algorithm design.

Multiplicative primitivity is a context-dependent notion describing when finite multiplicative operations attain a maximal reachability property. In elementary number theory, it is realized by a primitive root $g$ modulo a prime $p$, namely an element of $(\mathbb Z/p\mathbb Z)^\times$ with order $p-1$, so that every nonzero residue is a power of $g$ (Gamboa et al., 2022). In matrix theory, a tuple or set of nonnegative matrices is multiplicatively primitive when some finite product, or an appropriate Hurwitz product, is entrywise positive (Nej, 2024, Blondel et al., 2013). In quantum information, the term appears both in the classical primitivity theory of channels and in a stronger notion for randomized quantum trajectories, where repeated left-multiplication by Kraus operators must generate a spanning set from every pure state (Ahiable et al., 2021, Benoist et al., 30 Mar 2026). Across these settings, the common theme is that multiplication eventually eliminates local obstructions such as periodicity, reducibility, or nongenerating behavior.

1. Primitive roots and multiplicative order

For a prime $p$, the ring of integers modulo $p$ is

$\mathbb Z/p\mathbb Z=\{0,1,2,\dots,p-1\},$

and its nonzero residues

$(\mathbb Z/p\mathbb Z)^\times=\{1,2,\dots,p-1\}$

form a group under multiplication modulo $p$ (Gamboa et al., 2022). If $p$0, its order is

$p$1

and Fermat’s little theorem guarantees that this minimum exists and satisfies $p$2 (Gamboa et al., 2022). A primitive root modulo $p$3 is an element $p$4 of order $p$5, equivalently an element for which

$p$6

(Gamboa et al., 2022).

Several standard structural facts govern this notion. The order of any element divides $p$7; $p$8; and if $p$9 and $(\mathbb Z/p\mathbb Z)^\times$0 with $(\mathbb Z/p\mathbb Z)^\times$1, then $(\mathbb Z/p\mathbb Z)^\times$2 (Gamboa et al., 2022). In the broader setting of a finite cyclic group $(\mathbb Z/p\mathbb Z)^\times$3 with identity $(\mathbb Z/p\mathbb Z)^\times$4, the multiplicative order of $(\mathbb Z/p\mathbb Z)^\times$5 is the least positive $(\mathbb Z/p\mathbb Z)^\times$6 such that $(\mathbb Z/p\mathbb Z)^\times$7, and an element is a generator precisely when its order is $(\mathbb Z/p\mathbb Z)^\times$8 (Dwivedi, 2014).

For general moduli $(\mathbb Z/p\mathbb Z)^\times$9, the unit group is $p-1$0. An element $p-1$1 is a primitive root modulo $p-1$2 when its index, or order,

$p-1$3

equals $p-1$4 (Zhong et al., 2019). This recovers the prime case when $p-1$5, but the data also emphasize order classes more generally: one studies

$p-1$6

so that primitive roots correspond to the special case $p-1$7 (Zhong et al., 2019).

2. Constructive existence and algorithmic search

A central constructive result is that every prime number has a primitive root (Gamboa et al., 2022). The proof begins by factoring

$p-1$8

where the $p-1$9 are distinct primes. For each prime-power divisor $g$0, one considers the congruence $g$1. Using the fact that a nonzero polynomial of degree $g$2 over a field has at most $g$3 roots, together with the splitting behavior of $g$4, one shows that $g$5 has exactly $g$6 distinct roots in $g$7, while $g$8 has exactly $g$9 roots. Hence there exists $p$0 such that $p$1 but $p$2, forcing $p$3 (Gamboa et al., 2022).

Once elements $p$4 with $p$5 are obtained, one forms

$p$6

Because the orders $p$7 are pairwise relatively prime, the coprime-order lemma gives

$p$8

so $p$9 is a primitive root (Gamboa et al., 2022). The associated search routine is explicit: findRootModP(q,n,p) scans $p$0 until it finds an $p$1 satisfying

$p$2

and primitiveRootAux recursively combines such witnesses (Gamboa et al., 2022).

The constructive character of the method is matched by explicit complexity remarks. The basic implementation factors $p$3 by trial division up to $p$4, performs a linear scan of at most $p$5 candidates for each prime-power factor, computes two modular exponentiations at each step by repeated squaring, and multiplies the resulting witnesses. The stated overall cost is polynomial in $p$6, “actually about $p$7” (Gamboa et al., 2022).

When the complete factorization $p$8 is known, more refined order and primitive-root algorithms are available (Dwivedi, 2014). The classical multiplicative-order and randomized primitive-root procedures require $p$9 modular exponentiations, for total bit complexity

$\mathbb Z/p\mathbb Z=\{0,1,2,\dots,p-1\},$0

Using the paper’s K-Exponentiation subroutine, which computes the complement exponents $\mathbb Z/p\mathbb Z=\{0,1,2,\dots,p-1\},$1 in a balanced binary-tree fashion, the dependence on $\mathbb Z/p\mathbb Z=\{0,1,2,\dots,p-1\},$2 is reduced from linear to logarithmic. The modified multiplicative-order and primitive-root algorithms run in expected time

$\mathbb Z/p\mathbb Z=\{0,1,2,\dots,p-1\},$3

(Dwivedi, 2014). The worked examples $\mathbb Z/p\mathbb Z=\{0,1,2,\dots,p-1\},$4 and $\mathbb Z/p\mathbb Z=\{0,1,2,\dots,p-1\},$5 in both papers illustrate the same underlying principle: factor $\mathbb Z/p\mathbb Z=\{0,1,2,\dots,p-1\},$6, produce elements of the relevant prime-power orders, and combine them into a generator (Gamboa et al., 2022, Dwivedi, 2014).

3. Arithmetic extensions: finite fields, fixed-order classes, and near-primitive roots

The primitive-root paradigm extends from $\mathbb Z/p\mathbb Z=\{0,1,2,\dots,p-1\},$7 to finite fields. For a prime $\mathbb Z/p\mathbb Z=\{0,1,2,\dots,p-1\},$8 and integer $\mathbb Z/p\mathbb Z=\{0,1,2,\dots,p-1\},$9, the multiplicative group

$(\mathbb Z/p\mathbb Z)^\times=\{1,2,\dots,p-1\}$0

is cyclic of order $(\mathbb Z/p\mathbb Z)^\times=\{1,2,\dots,p-1\}$1, and a primitive element is an $(\mathbb Z/p\mathbb Z)^\times=\{1,2,\dots,p-1\}$2 whose order is exactly $(\mathbb Z/p\mathbb Z)^\times=\{1,2,\dots,p-1\}$3 (Huang et al., 2013). Huang and Narayanan describe a deterministic algorithm which, in time polynomial in $(\mathbb Z/p\mathbb Z)^\times=\{1,2,\dots,p-1\}$4 and $(\mathbb Z/p\mathbb Z)^\times=\{1,2,\dots,p-1\}$5, either outputs an element that is provably a generator or declares failure. The method embeds $(\mathbb Z/p\mathbb Z)^\times=\{1,2,\dots,p-1\}$6 into a specially chosen extension $(\mathbb Z/p\mathbb Z)^\times=\{1,2,\dots,p-1\}$7, generates multiplicative relations on a factor base using a variant of Joux’s relation-generation technique, computes a Smith normal form for the resulting relation lattice, and extracts an element of order divisible by almost all of $(\mathbb Z/p\mathbb Z)^\times=\{1,2,\dots,p-1\}$8; exponentiation then yields a generator of $(\mathbb Z/p\mathbb Z)^\times=\{1,2,\dots,p-1\}$9 (Huang et al., 2013).

Another extension studies not only primitive roots but all units of a fixed order $p$0. Zhong and Cai prove that

$p$1

and derive the general identity

$p$2

for the corresponding sums (Zhong et al., 2019). In particular, $p$3, $p$4 for $p$5, and $p$6 whenever $p$7 (Zhong et al., 2019). This places primitive roots inside a broader stratification of $p$8 by multiplicative order.

A different arithmetic relaxation replaces exact generation by large order. For a prime $p$9, an integer $p$00 is termed a near-primitive root when $p$01 for some $p$02 (Agrawal et al., 2020). Agrawal and Pollack show that if $p$03 are multiplicatively independent, then for almost all primes $p$04, at least one of

$p$05

satisfies

$p$06

(Agrawal et al., 2020). More generally, for multiplicatively independent integers $p$07 and

$p$08

they prove that for almost all primes $p$09 there exists $p$10 with

$p$11

and hence for every $p$12 one can construct an explicit finite set $p$13 of size

$p$14

such that for almost all $p$15 some element of $p$16 has order exceeding $p$17 (Agrawal et al., 2020). This suggests that multiplicative primitivity in arithmetic is often studied both in exact and approximate forms.

4. Matrix products, $p$18-primitivity, and complexity

For a single nonnegative matrix $p$19, classical primitivity means that $p$20 entrywise for some positive integer $p$21, and the least such $p$22 is the exponent of $p$23 (Nej, 2024). A direct multiplicative generalization considers a finite set

$p$24

and declares it primitive when there exists a product

$p$25

The length of the shortest positive product is

$p$26

(Blondel et al., 2013).

The survey on $p$27-primitivity formulates the notion for tuples $p$28 of nonzero nonnegative matrices using Hurwitz products (Nej, 2024). For a multi-index $p$29, the $p$30-Hurwitz product is the sum of all words containing exactly $p$31 copies of $p$32, and $p$33 is $p$34-primitive if there exists $p$35, not all zero, such that

$p$36

Equivalently, there is at least one word of length $p$37 whose ordinary product is entrywise positive. The corresponding exponent is

$p$38

(Nej, 2024).

Graph-theoretic formulations are central in both accounts. For a single matrix, primitivity is equivalent to irreducibility together with the condition that the greatest common divisor of all cycle lengths in its digraph equals $p$39 (Nej, 2024). For a $p$40-tuple, one forms a $p$41-colored multidigraph $p$42 on $p$43, placing a color-$p$44 arc $p$45 whenever $p$46. Then $p$47 is $p$48-primitive if and only if for every ordered pair $p$49 there exists a directed walk from $p$50 to $p$51 using exactly $p$52 arcs of color $p$53 for some fixed positive integers $p$54 (Nej, 2024). In the language of sets of matrices, the path-product lemma asserts that $p$55 exactly when there is a path from $p$56 to $p$57 in the sequence of digraphs $p$58 (Blondel et al., 2013).

Known bounds show both classical continuity with Perron–Frobenius theory and genuinely new asymptotic behavior. For one matrix, Wielandt’s bound gives

$p$59

For $p$60, Shader and Suwilo proved

$p$61

More generally, the maximal exponent of a primitive $p$62-tuple in $p$63 grows as $p$64 for fixed $p$65 (Nej, 2024).

Algorithmically, the situation bifurcates. Protasov’s dichotomy yields a polynomial-time test for $p$66-primitivity under mild full-support assumptions, and consequently deciding $p$67-primitivity is in $p$68 for fixed $p$69 in the usual bit model (Nej, 2024). By contrast, for general finite sets of matrices, primitivity is decidable but NP-hard as soon as the set contains three matrices; unless $p$70, there is no polynomial-time algorithm for deciding it (Blondel et al., 2013). The shortest positive product can be superpolynomial in the dimension, with lower bounds of the form

$p$71

for infinitely many dimensions $p$72 when $p$73, while a general upper bound is $p$74 (Blondel et al., 2013). Under the additional assumption that each matrix has no zero row and no zero column, there is a polynomial-time characterization via Protasov–Voynov block obstructions, and every primitive family admits a positive product of length $p$75; any bound on synchronizing automata immediately transfers to this setting (Blondel et al., 2013).

5. Quantum channels and operator-theoretic variants

In quantum information theory, primitivity first appears for completely positive trace-preserving maps. A quantum channel $p$76 is primitive if there exists $p$77 such that for every nonzero positive semidefinite $p$78,

$p$79

in the sense of strict positive definiteness. The least such $p$80 is the index of primitivity

$p$81

(Ahiable et al., 2021). For a column-stochastic matrix $p$82, primitivity means that $p$83 entrywise for some $p$84, and the least such $p$85 is

$p$86

(Ahiable et al., 2021).

For entanglement breaking channels, these two notions are tightly linked. If

$p$87

is a Holevo form, the associated stochastic matrix is

$p$88

The nonzero part of the spectrum of $p$89 coincides, with multiplicity, with the nonzero spectrum of any such $p$90 (Ahiable et al., 2021). Moreover, $p$91 primitive together with $p$92 implies that $p$93 is primitive; conversely, primitivity of $p$94 forces $p$95 and primitivity of $p$96. The indices satisfy

$p$97

and if the Holevo rank is $p$98, then classical Wielandt theory yields

$p$99

(Ahiable et al., 2021).

A newer and stronger notion, explicitly named multiplicative primitivity, arises in the study of randomized quantum trajectories (Benoist et al., 30 Mar 2026). Given a Kraus decomposition

$(\mathbb Z/p\mathbb Z)^\times$00

define

$(\mathbb Z/p\mathbb Z)^\times$01

For a unit vector $(\mathbb Z/p\mathbb Z)^\times$02, one recursively defines $(\mathbb Z/p\mathbb Z)^\times$03, and $(\mathbb Z/p\mathbb Z)^\times$04 is multiplicatively primitive if for every pure-state ray $(\mathbb Z/p\mathbb Z)^\times$05 there exists $(\mathbb Z/p\mathbb Z)^\times$06 such that

$(\mathbb Z/p\mathbb Z)^\times$07

(Benoist et al., 30 Mar 2026). The comparison theorem is one-sided in general: $(\mathbb Z/p\mathbb Z)^\times$08 In dimension $(\mathbb Z/p\mathbb Z)^\times$09, primitivity implies multiplicative primitivity; for $(\mathbb Z/p\mathbb Z)^\times$10, the strictness question remains open (Benoist et al., 30 Mar 2026).

This strengthened condition is used to analyze invariant measures for randomized quantum trajectories. If $(\mathbb Z/p\mathbb Z)^\times$11 is multiplicatively primitive and the randomization measure dominates Haar measure on the Kraus-unitary group, then the induced Markov chain on projective space is $(\mathbb Z/p\mathbb Z)^\times$12-irreducible with respect to Fubini–Study volume, has a unique invariant measure $(\mathbb Z/p\mathbb Z)^\times$13, and satisfies

$(\mathbb Z/p\mathbb Z)^\times$14

If almost every Kraus operator in the randomization is invertible, then $(\mathbb Z/p\mathbb Z)^\times$15; under irreducibility and non-singular randomization, a Wasserstein convergence theorem gives exponential mixing (Benoist et al., 30 Mar 2026). In this operator-theoretic usage, multiplicative primitivity is therefore an ergodicity condition stronger than ordinary primitivity but weaker than positivity improving.

6. Related formulations and current directions

The phrase also appears in adjacent multiplicative-generation problems. In the cyclic group $(\mathbb Z/p\mathbb Z)^\times$16, Walker studies sets

$(\mathbb Z/p\mathbb Z)^\times$17

and their product sets

$(\mathbb Z/p\mathbb Z)^\times$18

For $(\mathbb Z/p\mathbb Z)^\times$19, there exists a constant $(\mathbb Z/p\mathbb Z)^\times$20 depending only on $(\mathbb Z/p\mathbb Z)^\times$21 such that

$(\mathbb Z/p\mathbb Z)^\times$22

while $(\mathbb Z/p\mathbb Z)^\times$23 has density at least $(\mathbb Z/p\mathbb Z)^\times$24 (Walker, 2015). This is not the primitive-root problem, but it is a multiplicative covering theorem in the same ambient group.

The terminology of primitivity also appears in free groups. For the free group $(\mathbb Z/p\mathbb Z)^\times$25, a word $(\mathbb Z/p\mathbb Z)^\times$26 is primitive when it belongs to some basis of $(\mathbb Z/p\mathbb Z)^\times$27, equivalently when $(\mathbb Z/p\mathbb Z)^\times$28 is a free factor (Puder, 2011). A second criterion is measure preservation of the word map $(\mathbb Z/p\mathbb Z)^\times$29 for every finite group $(\mathbb Z/p\mathbb Z)^\times$30. The paper proves that primitivity implies measure preservation, and for $(\mathbb Z/p\mathbb Z)^\times$31 the two properties are equivalent (Puder, 2011). This suggests an abstract parallel: in both free-group and quantum settings, primitivity can be reformulated through an induced probabilistic uniformity property.

Open problems are explicit in several of the cited works. In $(\mathbb Z/p\mathbb Z)^\times$32-primitivity, open directions include the Beasley–Kirkland conjecture for 3-colored tournaments and classification problems for strongly connected tournaments that are $(\mathbb Z/p\mathbb Z)^\times$33-primitive but fail to be $(\mathbb Z/p\mathbb Z)^\times$34-primitive (Nej, 2024). For entanglement breaking channels, the continuity of the channel–matrix correspondence, the relation between $(\mathbb Z/p\mathbb Z)^\times$35 and Holevo rank in realistic settings, extensions beyond the entanglement breaking case, and the tightness of the bound $(\mathbb Z/p\mathbb Z)^\times$36 are listed as open problems (Ahiable et al., 2021). In randomized quantum trajectories, the main unresolved structural question stated in the data is whether multiplicative primitivity is strictly stronger than classical primitivity in dimensions $(\mathbb Z/p\mathbb Z)^\times$37 (Benoist et al., 30 Mar 2026).

A persistent misconception is that multiplicative primitivity names a single invariant notion. The literature instead uses the term for several rigorously defined but nonidentical reachability properties: maximal order in cyclic groups, positivity of matrix products, positivity or spanning under iteration of quantum channels, and basis-membership phenomena in free groups (Gamboa et al., 2022, Nej, 2024, Ahiable et al., 2021, Benoist et al., 30 Mar 2026, Puder, 2011). What unifies these usages is not a common formal definition but a common structural pattern: finite multiplication overcomes the relevant obstruction and yields full generation, full positivity, or full support.