Theorem 27: Ignorance-Conditioned Volitional Formations
Avijjāpaccayā saṅkhārā — From the Nonattainment of Nirvanic Tranquility to Directed Volitional Formation
Abstract
This theorem connects the opening formula of the twelve links of dependent origination—“with ignorance as condition, volitional formations come to be”—to the dynamic tranquility of Theorem 26. Within a system in which Theorem 26 holds, the present state’s nonmembership in the set 𝒩⊤(t), a member of the time-indexed zero-residual-suffering family, is defined as “operational ignorance.” Volitional formation is not identified with biological activity in general; it is defined as a model-relative volitional contribution that strictly decreases the nonattainment residual through the actual control actuator.
The Lyapunov inequality of Condition 26-A directly proves only a positive Lyapunov-residual descent rate whenever tranquility remains unrealized. Attributing that descent to the agent’s volitional formation additionally requires Condition 27-A, which separates natural drift from the actual control input. Under that condition, the policy-selected volitional signal and its effective state action are nonzero in ignorance. Within the tranquility set, the positive ignorance-conditioned transverse contribution vanishes, while tangential bodily, neural, evaluative, and feedback activity may continue.
1. The Pāli Original Formula and Scope
The Pāli formula is avijjāpaccayā saṅkhārā: “with ignorance as condition, volitional formations come to be.” Saṅkhārā is plural; this paper adopts Bhikkhu Bodhi’s widely used rendering volitional formations and models the relevant component as a volitional actuator contribution.
In the analysis of the Pāli originals, however, avijjā is explained as not knowing suffering, its origin, its cessation, and the way leading to its cessation. SN 12.2 also defines saṅkhārā as bodily, verbal, and mental volitional formations. The present theorem reduces neither complete meaning to set nonmembership or a single control component. Avijjā27 is a model-relative, operational notion of ignorance within the mathematics of Theorem 26; Saṅkhārā27 is not claimed to be coextensive with the triad of the Pāli originals, but is a model-relative, ignorance-conditioned actuator contribution on the designated closed loop.
2. Structure Inherited from Theorems 24 and 26
Let 𝕃 be the lattice of abstraction levels, with greatest element ⊤, interpreted as emptiness. The typed permanent-zero-suffering proposition PZS(a,x,T) from Theorem 24 means that some admissible policy, starting from x(T)=x, keeps the nonnegative evaluation Va=0 Lebesgue-almost everywhere forever.
In Theorem 26, let ℬalive⊂X⊤ be the forward-invariant set on which biological activity is sustained, and let π⊤0 be the single Borel-measurable Markov feedback simultaneously optimal for every initial pair. The zero-residual-suffering family is
Under Condition 26-A, 𝒩⊤(t) is nonempty, closed, and forward invariant. There exist c1,c2,λ>0 and a time-varying Lyapunov function W⊤ such that
D+tW⊤(x(t),t)≤−λW⊤(x(t),t).
Equation (26.3), which combines Theorems 24 and 26, states that PZS is impossible below emptiness, while at the highest abstraction level PZS(⊤,x,T)⇔x∈𝒩⊤(T).
Note on the base (Mini13). This paper is based on TomabechiFourDharmaSealsMini13. There, Theorem 26 is stated as a single Condition 26-A (zero-suffering set and stability), whose content comprises three displayed equations: the quadratic sandwich (26.A), the strict descent (26.B), and a continuity bound on the residual value in terms of distance (26.C). This paper uses only (26.A) and (26.B); (26.C) is not needed. Closedness of 𝒩⊤(t) follows from the zero-set representation 𝒩⊤(t)=ℬalive∩{x | W⊤(x,t)=0} of the continuous W⊤. The permanent-zero-suffering proposition is the predicate of Mini13 §13 (Theorem 24), abbreviated PZS in this paper. The combination of Theorems 24 and 26 (permanent zero suffering is impossible below emptiness; at a=⊤, PZS(⊤,x,T)⇔x∈𝒩⊤(T)) is cited here as (26.3).
The present theorem does not address failure of Condition 26-A itself. It assumes a system in which Condition 26-A holds and calls the present state’s nonmembership in 𝒩⊤(t) the nonattainment of Nirvanic Tranquility. If the assumptions of Theorem 26 fail, the conclusions below cannot be derived from (26.A) and (26.B).
3. Definitions of Operational Ignorance and Volitional Formation
3.1 Typed Operational Ignorance
Define the type-safe state domain
For every (a,x)∈𝔛27 and T≥0, define typed operational ignorance in the present system by
Equation (26.3) immediately gives
At the highest abstraction level, define the Lyapunov ignorance residual by
By (26.A) and the closedness of 𝒩⊤(t), for x∈ℬalive,
Ign27(x,t)>0 ⇔ Avijjā27(⊤,x,t).
3.2 Lyapunov-Residual Descent Rate
Along a closed-loop trajectory x(t) under π⊤0, suppose that t↦W⊤(x(t),t) is locally Lipschitz on every compact time interval. The right upper Dini derivative is then finite (hence t↦W⊤(x(t),t) is absolutely continuous on every compact interval and differentiable almost everywhere). Define the Lyapunov-residual descent rate by
Des27(t)>0 means that the trajectory cannot remain on the same ignorance-residual level and instead strictly decreases the residual. At this stage, the decrease is not attributed to the agent’s volitional formation.
3.3 Definition of Volitional Formation through the Actual Actuator
Let X⊤⊂ℝn and U⊂ℝm. Suppose that, on the relevant region, the actual system is control-affine, with physical drift f0 and actual actuator map G(x,t)∈ℝn×m:
Assume that there is an independently fixed admissible reference feedback utr(t,x) taking values in the same input space as the designated input u0. It represents baseline life maintenance, temporal change, and motion tangent to the tranquility set. Define
F⊤tr(x,t):=f0(x,t)+G(x,t)utr(t,x).
Let W⊤ be C1 in time and state on an open neighborhood containing the trajectory. Let x(·) be absolutely continuous and satisfy the closed-loop equation above almost everywhere, and let Gη27 be measurable and finite-valued. Finally, assume that the reference closed loop alone does not change the residual level:
Consequently, Gη27 is not an arbitrary relabeling of natural drift. It is the effective state action obtained by comparing the designated and reference inputs under the same drift and the same actual actuator.
Under Condition 27-A, define the model’s volitional-formation predicate at Lebesgue-almost every time by
This is not volitional formation in its full sense in the Pāli originals. It is the existence of an actual-actuator contribution that positively decreases the ignorance residual.
4. Theorem 27 — Ignorance-Conditioned Volitional Formations
Under the standing assumptions of Theorem 26—especially the existence of π⊤0 and its simultaneous optimality for every initial pair—Condition 26-A, and the local-Lipschitz regularity in Section 3.2, every closed-loop trajectory of π⊤0 satisfies, at every time t,
⇒ Des27(t)≥λIgn27(x(t),t)≥λc1dist(x(t),𝒩⊤(t))2>0. (27.6)
Thus, while Nirvanic Tranquility remains unrealized, the ignorance residual has a strictly positive descent rate on the designated closed loop. Condition 24-A is not required for this highest-level conclusion; it is required only for the below-⊤ branch of (27.2).
If Condition 27-A also holds, then the right upper Dini derivative equals the ordinary trajectory derivative for Lebesgue-almost every time, and
Avijjā27(⊤,x(t),t) ⇒ −∇xW⊤TGη27>0
⇒ Saṅkhārā27(x(t),t) ∧ η27≠0 ∧ Gη27≠0. (27.7)
If, at a time when operational ignorance holds, ‖GT∇xW⊤‖≤L27 for some L27>0, then
Conversely, if x(T)∈𝒩⊤(T) at some time T, then
−∇xW⊤TGη27=0 for Lebesgue-almost every t≥T. (27.9)
What vanishes here is the positive ignorance-conditioned actuator contribution—not necessarily η27 itself, nor all biological activity, evaluation, optimal feedback, or tangential motion within the tranquility set. Tangential or actuator-null components of η27 may remain.
Consequently, on the designated closed loop at the highest abstraction level, the first equivalence holds at every time, while the second holds almost everywhere under Condition 27-A:
Avijjā27(⊤,x(t),t) ⇔ Saṅkhārā27(x(t),t) (a.e., under Condition 27-A). (27.10)
Assume Avijjā27(⊤,x(t),t). By (27.2), x(t)∉𝒩⊤(t). Since the set is closed, its distance from x(t) is positive; hence (26.A) gives
Multiplying (26.B) by minus one yields
This is (27.6). At this stage natural drift may still be responsible for the descent, so the rate is not yet called volitional formation.
Under Condition 27-A, u0=utr+η27, and the chain rule gives, for almost every time,
A locally Lipschitz function is differentiable almost everywhere, and at those points its right upper Dini derivative equals its ordinary derivative. Hence, in ignorance, −∇W⊤TGη27≥λW⊤>0. The definition gives Saṅkhārā27, while η27≠0 and Gη27≠0. Moreover, the Cauchy–Schwarz inequality gives
which proves (27.8).
Finally, if x(T)∈𝒩⊤(T), forward invariance gives x(t)∈𝒩⊤(t) for every t≥T. Equation (26.A) makes W⊤ identically zero along that trajectory, so its right upper Dini derivative vanishes at every future time. Under Condition 27-A, the chain rule also makes the actual-actuator residual contribution vanish almost everywhere. This proves (27.9), and combining the two cases gives (27.10). ∎
5. Mathematical Interpretation and Rigor
⇒ positive Lyapunov-residual descent rate
+ actual-actuator attribution (Condition 27-A)
⇒ nonzero directed volitional formation
(on the designated highest-level closed loop, a.e. under Condition 27-A).
5.1 The Proven Direction Is Not a Direction Away from Tranquility
Under the designated policy π⊤0, which inherits (26.B), W⊤ decreases. What the theorem directly proves is therefore Lyapunov descent toward zero residual when tranquility remains unrealized. It does not assert that ignorance necessarily moves the state away from tranquility. A partially informed policy may instead be directed toward an erroneous LUB; that possibility falls within the scope of Theorems 20 and 21 but requires a separate observation-and-belief model.
5.2 Volitional Formation Does Not Mean the Cessation of All Activity
By Theorem 23, a complete life–environment state may continue to change even in tranquility. By Theorem 26, the evaluation function and π⊤0 also continue to operate. Equation (27.9) sets only the Lyapunov-residual descent rate and the positive ignorance-conditioned actuator contribution to zero. It does not erase motion tangent to the tranquility family, life maintenance, responsiveness to others, or free-will capacity.
5.3 Theorem 26 Alone Does Not Prove a Nonzero Control Input
−D+tW⊤>0 establishes strict residual descent, but the descent cannot automatically be attributed to the agent’s control input. Condition 27-A compares the designated input u0 with a reference input utr under the same natural drift f0 and the same actual actuator G. It thereby types η27 as an actual input difference rather than a relabeled drift.
Let ẋ=−x, let the admissible input set be U={0}, and let V⊤(x)=x2. Then J⊤,ρ*(x)=x2/(ρ+2), 𝒩⊤={0}, W⊤=x2, and Ẇ⊤=−2W⊤. Thus a strict descent of the form used in Theorem 26 holds, although the actual input is identically zero and convergence is caused entirely by natural drift. Under Condition 27-A, u0=utr=0, so Gη27=0, while the required reference-field identity (27.A2) fails outside the zero set. Volitional formation is therefore not inferred in this system.
5.4 Extension Below Emptiness
By (27.2), every below-emptiness state satisfying Condition 24-A falls under typed operational ignorance. To infer an instantaneous nonzero control at each such layer, however, one must separately supply a layerwise Lyapunov function and an actual-actuator attribution corresponding to Condition 27-A. The positive residual value of Theorem 24 alone does not imply a nonzero control input at every instant.
6. Symbols and Dependencies
| Symbol | Meaning |
|---|---|
| Avijjā27 | typed operational ignorance: no admissible policy can maintain permanent zero suffering from the current typed initial pair |
| Ign27=W⊤ | the Lyapunov ignorance residual at the highest abstraction level |
| Des27 | the Lyapunov-residual descent rate −D+tW⊤; it does not by itself denote volition |
| u0, utr, η27 | the designated optimal input, the independently fixed reference input, and their input difference |
| Gη27 | the effective state action of the input difference through the actual actuator |
| Saṅkhārā27 | model-relative volitional formation, defined by −∇W⊤TGη27>0 |
| Dependency | Role in Theorem 27 |
|---|---|
| Theorem 24 and Condition 24-A | the below-⊤ branch of (27.2): impossibility of permanent zero suffering and positive optimal residual value |
| Standing assumptions and Condition 26-A of Theorem 26 ((26.C) is not needed) | the designated highest-level policy, zero-residual-suffering set, closedness, forward invariance, Lyapunov sandwich, and strict descent |
| Regularity in Section 3.2 | definition of the Dini derivative as a finite residual-descent rate |
| Condition 27-A | attribution of residual descent to the difference between designated and reference inputs through the actual actuator |
7. Conclusion
Within the present system, nonattainment of Nirvanic Tranquility can be represented as typed operational ignorance. At the highest abstraction level, a state outside the zero-suffering invariant set has a positive Lyapunov ignorance residual and a strictly positive residual-descent rate. Under Condition 27-A, the actual-actuator volitional signal that positively contributes to that descent is nonzero. Thus the stated model establishes a conditional implication corresponding to “with ignorance as condition, volitional formations come to be.”
Tranquility is nevertheless neither physical stasis nor the extinction of every action. What ceases is the positive residual contribution conditioned by operational ignorance; tangential and relational activities of life and freedom may continue. The theorem establishes a model-theoretic analogue of the conditional relation of the Pāli originals under the stated assumptions; it neither proves nor exhausts the meanings, in the Pāli originals, of avijjā and saṅkhārā. This is the minimal form of Theorem 27 that remains consistent with the dynamic tranquility of Theorem 26.