P-Divisibility in Quantum Systems and Arithmetic

• P-divisibility is a context-sensitive concept defining either positivity conditions in quantum dynamics or prime-power divisibility in arithmetic settings.
• In open quantum systems, it mandates that intermediate maps are positive and trace-preserving, distinguishing it from the stricter CP-divisibility condition.
• In arithmetic geometry, p-divisibility governs local-global divisibility, invoking p-adic valuations, cohomological obstructions, and congruence laws.

P-divisibility is not a uniform term across mathematics and mathematical physics. In open quantum systems it denotes a positivity-based divisibility property of a dynamical map: for every $t\ge s\ge 0$, there exists an intermediate propagator $V_{t,s}$ such that $\Lambda_t=V_{t,s}\Lambda_s$ and $V_{t,s}$ is positive and trace-preserving. In arithmetic, algebraic geometry, modular forms, coding theory, and related areas, the corresponding expression is usually $p$-divisibility for a fixed prime $p$, meaning divisibility by $p$ or $p^n$, often formulated through local-global principles, $p$-adic valuations, or congruence laws. The common motif is factorization or divisibility constrained by an ambient structure—positivity in dynamics, Galois cohomology in arithmetic, alterations in geometry, or $p$-adic integrality in generating functions (Théret et al., 21 Feb 2025, Bhatt, 2012).

1. Quantum-dynamical P-divisibility

In the open-systems literature, P-divisibility is weaker than CP-divisibility and stronger than mere positivity of the one-parameter family itself. If $V_{t,s}$0 is the reduced dynamics, P-divisibility requires positive trace-preserving intermediate maps $V_{t,s}$1 for all $V_{t,s}$2, whereas CP-divisibility requires each $V_{t,s}$3 to be completely positive. Operationally, P-divisibility preserves states of the system alone, while CP-divisibility preserves states even after embedding into an arbitrary ancilla extension (Théret et al., 21 Feb 2025).

For two-level systems governed by a time-local master equation with rates $V_{t,s}$4, $V_{t,s}$5, and $V_{t,s}$6, the qubit characterization is explicit. The dynamical map is P-divisible at time $V_{t,s}$7 if and only if

$V_{t,s}$8

and, whenever

$V_{t,s}$9

one also has

$\Lambda_t=V_{t,s}\Lambda_s$0

The same paper proves equivalence, for qubits, between several criteria that had appeared separately in the literature: positivity of intermediate propagators, trace-norm contraction on Hermitian operators, a Bloch-ball geometric criterion, and Kossakowski’s positivity condition. In the same model class, the hierarchy is

$\Lambda_t=V_{t,s}\Lambda_s$1

with reverse implications failing in general. Two special regimes collapse the hierarchy: if the instantaneous fixed point lies on the Bloch sphere, P-divisibility coincides with CP-divisibility; if the dynamics is unital, P-divisibility coincides with the BLP no-information-backflow condition (Théret et al., 21 Feb 2025).

Geometrically, the qubit criterion is encoded by the inward-pointing condition of the infinitesimal Bloch vector field on the sphere. Writing

$\Lambda_t=V_{t,s}\Lambda_s$2

P-divisibility is equivalent to $\Lambda_t=V_{t,s}\Lambda_s$3 for all $\Lambda_t=V_{t,s}\Lambda_s$4. This reduction to a one-variable quadratic is one of the reasons the two-level case admits a complete classification (Théret et al., 21 Feb 2025).

2. Tensor powers, stability, and finite-step analogues

A central structural theorem concerns the second tensor power. For a time-local family $\Lambda_t=V_{t,s}\Lambda_s$5, the map $\Lambda_t=V_{t,s}\Lambda_s$6 is CP-divisible if and only if $\Lambda_t=V_{t,s}\Lambda_s$7 is P-divisible; equivalently, $\Lambda_t=V_{t,s}\Lambda_s$8 is P-divisible if and only if it is CP-divisible. Thus CP-divisibility of the single-copy dynamics is stable under passage to two identical noninteracting copies, and P-divisibility of the doubled dynamics is already strong enough to recover complete positivity of the original intermediate propagators (Benatti et al., 2016).

The same work isolates an important limitation. For time-dependent generators, positivity of $\Lambda_t=V_{t,s}\Lambda_s$9 at each fixed time does not imply complete positivity of $V_{t,s}$0. The distinction is between pointwise positivity of the tensor square and P-divisibility of the tensor-square propagators $V_{t,s}$1. The former is too weak, whereas the latter is equivalent to CP-divisibility of the original family (Benatti et al., 2016).

A different but related use of divisibility appears in stochastic maps. There the question is finite-step factorization: given a stochastic matrix $V_{t,s}$2, does there exist a stochastic matrix $V_{t,s}$3 such that $V_{t,s}$4? This is a positive, probability-preserving midpoint factorization, but not a continuous-time P-divisibility condition. The distinction is explicit: finite divisibility asks for a prescribed stochastic root, whereas embeddability asks for a full continuous-time semigroup representation $V_{t,s}$5. The decision problem for stochastic square roots is NP-complete, and the same hardness extends to nonnegative matrices and CPTP maps (Bausch et al., 2014).

This separation matters conceptually. In the quantum Markovianity literature, P-divisibility is a two-time property of all propagators $V_{t,s}$6. In the complexity-theoretic literature on stochastic matrices, divisibility is a single finite factorization problem. The two notions are adjacent but not interchangeable (Bausch et al., 2014).

3. Local-global $V_{t,s}$7-divisibility in arithmetic geometry

In arithmetic, $V_{t,s}$8-divisibility usually concerns whether divisibility by a prime power can be detected locally. For an elliptic curve $V_{t,s}$9, the local-global divisibility problem for $p$0 asks whether a point $p$1 satisfying

$p$2

for all but finitely many places $p$3 must already satisfy

$p$4

The cohomological obstruction is the first local cohomology group

$p$5

and vanishing of this group rules out counterexamples (Paladino et al., 2011).

For elliptic curves over number fields, the decisive obstruction identified in the 2011 refinement is $p$6-rational $p$7-torsion. If $p$8 does not contain $p$9 and $p$0 has no torsion point of exact order $p$1, then local divisibility by $p$2 for all but finitely many places is equivalent to global divisibility by $p$3, for every $p$4. The proof proceeds through the structure of the mod-$p$5 Galois image $p$6, diagonal and triangular decompositions of the higher image $p$7, and vanishing results for $p$8 using Sah’s theorem and inflation-restriction (Paladino et al., 2011).

The precursor for $p$9 had already shown a sharper obstruction than rational $p$0-isogenies. If $p$1, $p$2 does not contain the degree-$p$3 subfield of $p$4, and local-global divisibility by $p$5 fails, then $p$6 must have a $p$7-rational point of exact order $p$8. Over $p$9, this reduces the possible exceptional primes for divisibility by $p^n$0 to $p^n$1 (Paladino et al., 2011).

The framework extends beyond elliptic curves. For a commutative algebraic group $p^n$2 with $p^n$3, sufficient conditions for local-global divisibility by $p^n$4 and for $p^n$5 are given in terms of the Galois module $p^n$6. If $p^n$7 is very strongly irreducible, or a direct sum of very strongly irreducible modules, and

$p^n$8

then local-global divisibility by $p^n$9 holds in $p$0 and $p$1. For principally polarized abelian varieties, this implies divisibility by $p$2 in the Weil–Châtelet group and local-global divisibility by $p$3 in $p$4 for all $p$5 (Paladino, 2016).

4. Cohomological, geometric, and automorphic $p$6-divisibility

A geometric formulation appears in coherent cohomology. For a proper morphism $p$7 of noetherian schemes with $p$8 affine, there exists an alteration $p$9 such that

$p$0

By iteration, higher coherent cohomology classes become arbitrarily $p$1-divisible after passing to successive proper covers. When the base has dimension at most $p$2, the result strengthens to killing $p$3-torsion after proper surjective cover. Properness is essential: the paper gives nonproper counterexamples where neither killing nor $p$4-divisibility can occur by proper covers (Bhatt, 2012).

In modular-form theory, $p$5-divisibility is tied to Fourier coefficients and degree-lowering via the Siegel operator. For Siegel modular forms, the paper on $p$6-divisibility transposition shows that complete mod-$p$7 vanishing of positive-definite Fourier coefficients in degree $p$8 descends under $p$9 to determinant-selective vanishing in degree $V_{t,s}$00. More precisely, the constructed forms satisfy

$V_{t,s}$01

while

$V_{t,s}$02

The degree-1 endpoint recovers Wilton-type congruence phenomena for $V_{t,s}$03 mod $V_{t,s}$04 as the shadow of a higher-degree pattern (Nagaoka, 2022).

The Hermitian analogue has the same structure. For $V_{t,s}$05, $V_{t,s}$06, and $V_{t,s}$07, there exist Hermitian modular forms $V_{t,s}$08 and $V_{t,s}$09 with

$V_{t,s}$10

such that all positive definite Fourier coefficients of $V_{t,s}$11 vanish mod $V_{t,s}$12, while in degree $V_{t,s}$13 the coefficients vanish mod $V_{t,s}$14 whenever $V_{t,s}$15. The proof uses explicit Hermitian Eisenstein coefficients, generalized Bernoulli numbers, Ikeda’s local polynomials, and a functional equation forcing local vanishing at a suitable prime $V_{t,s}$16 (Nagaoka, 2023).

5. $V_{t,s}$17-adic valuation frameworks: exponentials, codes, and representation counts

A large body of $V_{t,s}$18-divisibility results is formulated as lower bounds on $V_{t,s}$19-adic valuations. One abstract source is Dwork’s lemma for exponentials of power series. If

$V_{t,s}$20

then full integrality follows from the condition

$V_{t,s}$21

The truncated versions show that weaker, finite-order control on $V_{t,s}$22 still implies quantitative lower bounds on the valuations of the coefficients of $V_{t,s}$23. In particular, if the Dwork condition is imposed only up to degree $V_{t,s}$24, the coefficients $V_{t,s}$25 of $V_{t,s}$26 still satisfy explicit bounds of the form

$V_{t,s}$27

under suitable hypotheses on the critical and higher coefficients. These bounds are then applied to subgroup-counting and permutation-representation problems (Krattenthaler et al., 2014).

In coding theory, divisibility is attached directly to Hamming weights. A linear code $V_{t,s}$28 is $V_{t,s}$29-divisible if every codeword has weight divisible by $V_{t,s}$30, and its $V_{t,s}$31-adic valuation is

$V_{t,s}$32

For trace codes $V_{t,s}$33, the exact value of $V_{t,s}$34 is given by a minimization formula involving base-$V_{t,s}$35 digit sums and Teichmüller power sums built from a generalized generator matrix over $V_{t,s}$36. This extends Ward’s divisibility criterion from ordinary generator matrices over $V_{t,s}$37 to trace constructions over extension fields and yields applications to abelian codes and Artin–Schreier equations (Huang et al., 19 May 2026).

A further valuation-theoretic instance is the number of linear representations of an Abelian $V_{t,s}$38-group. For $V_{t,s}$39, the non-modular case $V_{t,s}$40 exhibits essentially sharp linear lower bounds in $V_{t,s}$41, expressed in terms of the invariant factors of $V_{t,s}$42 and the $V_{t,s}$43-adic behavior of $V_{t,s}$44. In the modular cyclic case $V_{t,s}$45, the valuation becomes quadratic: $V_{t,s}$46 with equality when $V_{t,s}$47. Here $V_{t,s}$48-divisibility is not a factorization property but a growth law for the $V_{t,s}$49-adic order of representation counts (Wang, 2017).

6. Related notions and terminological neighbors

Several neighboring literatures use “divisibility” in ways that are adjacent to, but distinct from, either quantum P-divisibility or arithmetic $V_{t,s}$50-divisibility. On Markoff-like cubic surfaces over $V_{t,s}$51, the divisibility statement concerns orbit sizes under Vieta involutions: for generic parameters with $V_{t,s}$52 and $V_{t,s}$53, every nontrivial orbit has size divisible by $V_{t,s}$54. The proof is an orbit-averaging argument based on functions $V_{t,s}$55 satisfying

$V_{t,s}$56

which forces $V_{t,s}$57 in $V_{t,s}$58 (Courcy-Ireland et al., 2 Sep 2025).

In combinatorial $V_{t,s}$59-series, the phrase may indicate congruence rather than factorization. For the type $V_{t,s}$60 $V_{t,s}$61-analogue of the $V_{t,s}$62-Whitney numbers of the second kind,

$V_{t,s}$63

so the two-parameter structure collapses modulo $V_{t,s}$64 to a binomial coefficient times a pure power of $V_{t,s}$65. The paper explicitly treats this as polynomial congruence modulo the ideal generated by $V_{t,s}$66, not as ordinary divisibility by a fixed integer $V_{t,s}$67 (Corcino et al., 2022).

Graph theory uses yet another vocabulary. A graph is 2-divisible if every induced subgraph can be partitioned into two parts with strictly smaller clique number, and perfectly divisible if every induced subgraph can be partitioned into a perfect induced subgraph and a remainder of smaller clique number. Every $V_{t,s}$68-free graph is 2-divisible, while every bull-free graph that is either odd-hole-free or $V_{t,s}$69-free is perfectly divisible. These are structurally different notions, but they illustrate how “divisibility” often denotes recursive decomposability rather than arithmetic divisibility (Chudnovsky et al., 2017).

The same caution applies to partition congruences. The function $V_{t,s}$70, the number of partitions with designated summands, satisfies

$V_{t,s}$71

and the paper proves the stronger identity

$V_{t,s}$72

Here the divisibility phenomenon is a Ramanujan-type congruence for coefficients of a generating function, not a dynamical or local-global divisibility principle (Chen et al., 2012).

Taken together, these usages suggest that “P-divisibility” is best treated as a context-sensitive term. In open quantum systems it is a precise positivity condition on intermediate propagators. In arithmetic and adjacent areas, the lowercase form $V_{t,s}$73-divisibility usually refers instead to prime-power divisibility, $V_{t,s}$74-adic valuation, or congruence modulo $V_{t,s}$75. The unifying theme is not a single formal definition, but the presence of a divisibility constraint controlled by a deeper ambient structure—positivity, Galois action, alterations, Fourier expansion, or valuation theory.