Riesz Decomposition: Theory & Applications

• Riesz Decomposition Property is a refinement tool in ordered algebraic systems that ensures every positive element can be decomposed into subordinate parts within vector lattices, effect algebras, and po-groups.
• It underpins key structural theorems and representation results in fields such as quantum theory, logic, and operator algebras, enabling precise analysis of ordered relations.
• Variants like RDP₁ and RDP₂ impose additional conditions such as commutativity and disjointness, providing finer classification criteria for lattice-ordered groups and complex algebraic structures.

The Riesz Decomposition Property (RDP) is a structured refinement property for partially ordered algebraic systems, central to the theory of vector lattices, effect algebras, partially ordered groups, and their applications in logic, quantum theory, and operator algebras. RDP expresses the existence of precise decompositions for additive equalities and interpolations within ordered structures, enabling a fine-grained analysis of order relations and facilitating algebraic and representational results in diverse domains.

1. Classical Definitions of the Riesz Decomposition Property

In an ordered vector space $(X, X_+)$, the Riesz Decomposition Property states that if $x_1, x_2, z \in X_+$ with $z \le x_1 + x_2$, there exist $z_1, z_2 \in X_+$ such that $z = z_1 + z_2$, $z_1 \le x_1$, and $z_2 \le x_2$. This positive-cone decomposition is equivalently formulated in the four-point form: for $x_1, x_2, x_3, x_4 \in X$ with $x_1, x_2 \le x_3, x_4$, there exists $z$ with $x_1, x_2 \le z \le x_3, x_4$ (Kalauch et al., 2018).

In effect algebras, the property is formulated as follows: $(E;+,0,1)$ has RDP if, whenever $a_1+a_2 = b_1+b_2$ are defined, there exist $c_{ij}\in E$ ($i,j=1,2$) such that $a_i = c_{i1} + c_{i2}$ and $b_j = c_{1j} + c_{2j}$ for all $i,j$ (Dvurecenskij et al., 2012). The RDP thus enables "refinement" or "interpolation" of decompositions, which is foundational for the structure theory of ordered systems.

2. Strengthenings and Variants: RDP, RDP₁, RDP₂, and Riesz Interpolation

For a partially ordered group $(G, +, \le)$, several versions of the Riesz decomposition property are distinguished:

• Riesz Interpolation Property (RIP): For any $a_1, a_2 \le b_1, b_2$, there exists $c$ with $a_1, a_2 \le c \le b_1, b_2$.
• RDP: For all $a_1, a_2, b_1, b_2 \in G^+$ with $a_1+a_2 = b_1+b_2$, there exist $c_{ij} \in G^+$ such that

$$a_1 = c_{11} + c_{12}, \quad a_2 = c_{21} + c_{22}, \quad b_1 = c_{11} + c_{21}, \quad b_2 = c_{12} + c_{22}.$$

• RDP₁: Strengthens RDP by requiring commutativity in the induced decompositions (Dvurečenskij, 2015, Dvurečenskij et al., 2016).
• RDP₂: Further requires that $c_{12}$ and $c_{21}$ in the decomposition satisfy $c_{12} \wedge c_{21} = 0$, i.e., they are disjoint; this corresponds precisely to the group being lattice-ordered (an $\ell$-group).

The hierarchy in the directed non-Abelian case is:

$RDP_2 \implies RDP_1 \implies RDP \implies RIP.$

For Abelian groups, these collapse to the same property (Dvurečenskij, 2015).

3. Riesz Decomposition Property in Algebraic Structures

RDP is fundamental in effect algebras, partially ordered groups (especially with interpolation), and related algebraic systems:

• Effect Algebras: If $(E;+,0,1)$ is an effect algebra with RDP, it can be embedded as an interval in an Abelian interpolation group with a strong unit. If $E$ is atomic, $\sigma$-orthocomplete, and has RDP, then $E$ is necessarily a (possibly infinite) product of finite MV-chains, i.e., a $\sigma$-complete MV-effect algebra (Dvurecenskij et al., 2012).
• Pseudo-Effect Algebras: Removing the commutativity requirement (as in pseudo-effect algebras) and assuming $\sigma$-completeness, atomicity, and RDP, one recovers the commutative effect algebra situation: any such pseudo-effect algebra is commutative and becomes an MV-effect algebra (Dvurecenskij et al., 2012).
• Po-Groups and MV-algebras: Every effect algebra with RDP is (up to isomorphism) an interval in an Abelian interpolation group with a strong unit; conversely, these intervals always have RDP (Dvurecenskij et al., 2012, Dvurečenskij, 2015). The RDP₂ property characterizes lattice-ordering: $G$ is an $\ell$-group iff $G$ is directed and satisfies RDP₂ (Dvurečenskij, 2015, Dvurečenskij et al., 2016).

4. Lexicographic Products and Preservation of RDP

Lexicographic products of partially ordered groups $H \lex G$ encapsulate nuanced behavior regarding RDP and its variants:

• Preservation Results: If $H$ and $G$ are directed and $H$ is linearly ordered, then $H \lex G$ has RDP$_i$ for $i \in \{\emptyset, 1, 2\}$ iff $G$ does (Dvurečenskij, 2015, Dvurečenskij et al., 2016). For general (non-linear) $H$, even strong antilattice properties can replace linearity to ensure that $H \lex G$ has RDP iff both factors do (Dvurečenskij, 2015).
• Limits and Counter-Examples: Failure to satisfy totality or required antilattice conditions in $H$ can cause loss of the RDP in the product. RDP₂ in the lexicographic product holds if and only if $H$ is totally ordered and $G$ is an $\ell$-group, i.e., both factors must be highly structured (Dvurečenskij, 2015, Dvurečenskij et al., 2016).
• Applications: Lexicographic pseudo-effect algebras and perfect MV-algebras arise as intervals in lexicographic products. Infinitesimal elements, corresponding to the "gap" between provability and truth in Łukasiewicz logic, are isolated via these constructions (Dvurečenskij, 2015, Dvurečenskij et al., 2016).

5. RDP in Pre-Riesz Spaces and Multi-wedged Structures

RDP extends naturally to broader categories, such as pre-Riesz spaces and multi-wedged spaces:

• Pre-Riesz Spaces: An ordered vector space $X$ has RDP if, intuitively, every decomposition of a positive element into two subbounds admits subordinate decompositions under refinement. In this setting, RDP guarantees weak pervasiveness: whenever two elements have a non-zero meet in some vector lattice cover, there exists a positive pre-image in $X$ subordinate to both. However, neither RDP implies pervasiveness, nor does pervasiveness imply RDP (Kalauch et al., 2018).
• Multi-wedged Spaces: The classical RDP is generalized to the $(\alpha, \beta)$-Riesz decomposition property in a multi-wedged space $(E, \mathcal W)$: whenever equality is achieved between sums of vectors associated to wedges, there exists a representing table of decompositions with each summand in the appropriate wedge (Schwanke et al., 2016). This is essential for the structure theory of Dedekind complete multi-lattices and the establishment of Riesz–Kantorovich formulas in this setting.

6. Applications and Representational Significance

RDP underpins several key algebraic and analytic constructions:

• State Spaces: In $\sigma$-complete atomic MV-effect algebras with RDP, every state admits a unique decomposition as a convex combination of extremal states, which are Dirac (point) measures on each coordinate. This simplex structure is crucial for understanding measurement in quantum theory and probabilistic interpretations (Dvurecenskij et al., 2012).
• Pseudo-Effect Algebras: Representation theorems assert that intervals in directed po-groups with RDP (and its strengthenings) precisely correspond to effect and pseudo-effect algebras with the respective decomposition properties (Dvurečenskij, 2015).
• Operator Theory: In multi-wedged spaces possessing the appropriate RDP, spaces of positively bounded operators have Dedekind completeness and Riesz–Kantorovich-type formulae for multi-suprema/infima (Schwanke et al., 2016).

7. Structure Theorems and Broader Implications

The algebraic and categorical significance of RDP permeates numerous representation theorems and classification results:

Structure	Necessary/Sufficient for RDP?	Notable Theorems
Lattice-ordered group	RDP₂	$G$ is an $\ell$-group iff directed and RDP₂ (Dvurečenskij, 2015, Dvurečenskij et al., 2016)
Effect algebra	RDP	Embeddable as interval in Abelian interpolation group (Dvurecenskij et al., 2012)
Pseudo-effect algebra	RDP₁, RDP₂	Characterized as intervals in po-groups (Dvurečenskij, 2015)
Multi-wedged vector space	$(\alpha, \beta)$-RDP	Dedekind completeness, operator lattice structure (Schwanke et al., 2016)
Pre-Riesz space	RDP $\implies$ weak pervasiveness	Pervasiveness and weak pervasiveness characterized (Kalauch et al., 2018)

The Riesz Decomposition Property provides essential algebraic control over decompositional and interpolation phenomena in ordered settings. It is pivotal in the representation theory of non-classical logics, foundations of quantum mechanics, functional analysis, and the structure theory of operator algebras, enabling deep connections between combinatorial refinement, convexity, and the order-theoretic fabric of mathematics.