---
title: 'Slice Decomposition: Theory & Applications'
url: https://www.emergentmind.com/topics/slice-decomposition
type: topic
---

# Slice Decomposition: Theory & Applications

“Slice decomposition” denotes several non-equivalent constructions that share a common formal theme: an object, parameter space, or function class is partitioned into slice-indexed pieces on which structure becomes stable, computable, or recursively describable. In convex geometry, it is a finite partition of hyperplane-parameter space into “slicing chambers” within which the affine hyperplane sections of a convex polytope have invariant combinatorial type and chamberwise rational metric data [2304.14239]. In combinatorics, it is a bijective decomposition of planar hypermaps obtained by cutting along directed geodesics [2509.06850]. In medical imaging, it is a multi-slice low-rank tensor decomposition for 3D CT volumes that processes short windows of consecutive axial slices [2102.12056]. In quaternionic and Clifford analysis, it refers to Almansi-type or adaptive decompositions of slice-regular functions into harmonic, monogenic, or orthonormal building blocks [2004.06535] [2209.06072] [2105.07041] [2108.00157]. Other uses include presheaf-topos descriptions of slice categories of decomposition spaces [1807.06000], Alexander-primary decompositions in concordance theory [1911.08055] [1910.14629], regular-versus-decomposable sliceness in symplectic topology [2410.21031], and model-theoretic stratifications of \(2^\delta\) by increasing transitive models [2102.11666].

## 1. Terminological scope

The term is therefore domain-specific rather than universal. The following representative meanings are explicit in the literature.

| Domain | Object being decomposed | Output |
|---|---|---|
| Convex geometry | Hyperplane-parameter space of sections of a polytope | Slicing chambers with invariant combinatorial type and rational formulas [2304.14239] |
| Planar hypermaps | Maps cut along directed geodesics | Sequences of elementary slices encoded by DSF walks [2509.06850] |
| 3D medical imaging | CT volumes partitioned into axial windows | Low-rank and sparse tensor components for atlas construction and MAS [2102.12056] |
| Slice-regular analysis | Quaternionic or Clifford-valued functions | Harmonic, monogenic, or adaptive kernel expansions [2004.06535] [2209.06072] [2105.07041] [2108.00157] |
| Higher-category theory | Slice category decomp/\(D\) | Presheaf topos \( \mathrm{Psh}(\mathrm{tw}\,D) \) [1807.06000] |
| Topology and set theory | Concordance groups, Lagrangian sliceness, or \(2^\delta\) | Primary components, decomposable sliceness, or strictly increasing model slices [1911.08055] [2410.21031] [2102.11666] |

This suggests a common pattern: slice decomposition is typically introduced when a global object is too heterogeneous to analyze directly, but becomes tractable after passage to slices on which combinatorics, geometry, or operator theory stabilize.

## 2. Hyperplane-section slice decomposition for convex polytopes

In its most formal geometric sense, slice decomposition is defined for a full-dimensional convex polytope \(P \subset \mathbb{R}^d\) and affine hyperplanes
\[
H(a,b)=\{x\in\mathbb{R}^d:a^\top x=b\},
\qquad
S(a,b)=P\cap H(a,b).
\]
The parameter space of hyperplanes is taken modulo positive scaling, equivalently by unit normals \(a\in S^{d-1}\) and offsets \(b\in\mathbb{R}\), or by rays \(\lambda(a,b)\) in \(\mathbb{R}^{d+1}\), \(\lambda>0\) [2304.14239].

The paper develops two decompositions of the slice space. The first is the cocircuit-plus-central arrangement, described as “translate the rotation.” One considers a cocircuit arrangement in translation space \(t\in\mathbb{R}^d\),
\[
\mathcal{P}(P)=\{\operatorname{aff}(-v_1,\dots,-v_d):v_1,\dots,v_d \text{ affinely independent vertices of }P\},
\]
and, for \(t\) in a region \(R\), the central arrangement
\[
\mathcal{C}(P+t)=\{(v+t)^\perp:v \text{ a vertex of }P\}.
\]
Its chambers \(C(t)\) encode the directions \(u\) for which the central slice \(u^\perp\cap(P+t)\) intersects a fixed set of edges. The second is the sweep-plus-parallel arrangement, described as “rotate the translation.” It uses the sweep arrangement
\[
\mathcal{S}(P)=\{(v_i-v_j)^\perp:i\neq j\}
\]
in normal space \(u\), together with the parallel arrangement
\[
\mathcal{P}_u(P)=\{\beta=\langle u,v\rangle:v \text{ a vertex of }P\},
\]
whose chambers are the open intervals between consecutive support values [2304.14239].

Within each slicing chamber, the sections intersect the same set of edges of \(P\). In the central case they therefore have the same combinatorial type and admit the same triangulations. In the parallel case they are normally equivalent, so the normal fan is constant as well. In both settings, integrals of polynomials over the sections are chamberwise rational functions of the parameters [2304.14239].

The paper records explicit boundary events. In the cocircuit-central decomposition, boundaries occur when \( \langle u,v+t\rangle=0 \) or when \(t\) crosses a cocircuit hyperplane. In the sweep-parallel decomposition, boundaries occur when \( \langle u,v_i-v_j\rangle=0 \) or when \( \beta=\langle u,v_k\rangle \). These are polynomial equalities in the slice parameters [2304.14239].

A central consequence is a finite, combinatorially controlled partition of hyperplane-parameter space. This is the sense in which slice decomposition functions as a classification device: the geometry of sections is constant on chambers, and all changes occur across explicitly described arrangement walls.

## 3. Optimization, bounds, and algorithmics in the polytope setting

Because combinatorial type and triangulations are constant within a slicing chamber, optimization over all sections reduces to chamber enumeration plus chamberwise algebraic optimization. The paper studies objectives including maximizing the number of \(k\)-faces, maximizing \((d-1)\)-dimensional volume, and maximizing \(\int_{S(a,b)} q(x)\,dx\) for a polynomial \(q\) [2304.14239].

A principal complexity result is the bound that a \(d\)-dimensional polytope with \(n\) vertices has at most \(O(n^{2d+1}2^d)\) combinatorial types of hyperplane sections. The sweep decomposition yields the dominant bound: the sweep arrangement has at most \(\binom{n}{2}\) hyperplanes and contributes \(O(n^{2d}2^d)\) cells, while the parallel arrangement contributes \(O(n)\) chambers per sweep region [2304.14239].

For fixed \(d\), the global optimization problems are polynomial-time solvable. The method is to enumerate the chambers, write the objective as a rational function with polynomial constraints, and solve the resulting semialgebraic optimization problem by quantifier-elimination techniques. The paper states that maximizing or minimizing the number of \(k\)-faces, slice volume, integrals of polynomials, central halfspace integrals, and projection integrals is polynomial-time in fixed dimension. In variable dimension the situation changes sharply: maximal-volume slice is \(\#\)P-hard, weighted max \(k\)-face section is NP-hard, and the paper records further hardness conjectures [2304.14239].

The chamberwise formulas are explicit. For an intersected edge \(e=\operatorname{conv}(a,b)\), the slice vertex in the translational setting is
\[
v_e(u,\beta)=\frac{\beta}{\langle u,b-a\rangle}(b-a)+\frac{\langle u,b\rangle a-\langle u,a\rangle b}{\langle u,b-a\rangle}.
\]
Volumes are computed by simplex determinants, and polynomial integrals use the Lasserre–Baldoni formula together with monomial-to-linear-form decompositions [2304.14239].

The examples illustrate the scope of the framework. The 3D permutahedron has an octagon max-volume slice of volume \(14\), a min-volume central slice \(x_1-x_2=0\) of volume \(8\sqrt{2}\), and eight combinatorial types ranging from triangles to decagons. The paper also reports max-volume slices for Platonic solids and nine distinct types of 3D sections of the 4D cross-polytope [2304.14239].

## 4. Directed-geodesic slice decomposition in planar hypermaps

In planar hypermaps, slice decomposition is a bijective method rather than a chamber decomposition. A planar hypermap is a connected planar map whose faces are properly bicolored white and black, and each edge receives a canonical orientation so that the face on its right is white and the face on its left is black. This orientation forces a directed notion of distance and geodesic, and the decomposition cuts along directed leftmost geodesics [2509.06850].

A slice is a planar hypermap with one boundary and three distinguished outer corners \(o,l,r\) in counterclockwise order. Its boundary splits into a left boundary from \(l\) to \(o\), which is a directed geodesic; a right boundary from \(r\) to \(o\), which is the unique directed geodesic; and a base, which is a directed path from \(l\) to \(r\) in type A or from \(r\) to \(l\) in type B. Writing \(\ell(u)=\mathrm{dist}(u,\mathrm{v}(o))\), the slice increment is
\[
\Delta=\ell(r)-\ell(l)\quad\text{for type A},\qquad
\Delta=\ell(l)-\ell(r)\quad\text{for type B}.
\]
Elementary slices have a base consisting of a single edge and are denoted \(A_k\) or \(B_k\) according to type and increment \(k\ge -1\) [2509.06850].

The key enumerative mechanism is the encoding by downward skip-free walks. If \({\bm\pi}=(\pi_0,\dots,\pi_p)\) is a DSF walk, there is a weight-preserving bijection between slices of type A with base condition \({\bm\pi}\) and \(p\)-tuples of elementary A-slices whose increments are the successive step increments \(\pi_i-\pi_{i-1}\); an analogous statement holds for type B. This yields Laurent series
\[
x(z):=\sum_{k\ge -1} a_k z^{-k},\qquad
y(z):=z^{-1}+\sum_{k\ge 0} b_k z^k,
\]
with
\[
x(z)^p=\sum \bar w(\mathcal S)\,z^{-\Delta},\qquad
y(z)^p=\sum \bar w(\mathcal S)\,z^\Delta
\]
over slices of fixed base length \(p\) [2509.06850].

Removing the base edge of an elementary slice gives the recursive system
\[
b_k=\sum_{d\ge 1} t^\circ_d\,P^\circ_{d-1,-k},\qquad
a_k=t\,\delta_{k,-1}+\sum_{d\ge 1} t^\bullet_d\,P^\bullet_{d-1,-k},
\]
or equivalently
\[
[z^{k}]\Big(y(z)-\sum_{d\ge 1}t^\circ_d\,x(z)^{d-1}\Big)=0,\qquad
[z^{-k}]\Big(x(z)-t z-\sum_{d\ge 1}t^\bullet_d\,y(z)^{d-1}\Big)=0.
\]
Under bounded face degrees, \(x(z)\) and \(y(z)\) become Laurent polynomials and the system becomes finite algebraic [2509.06850].

This slice language supports several families of bijective decompositions. Increment \(0\) slices wrap to pointed disks; nonzero increments wrap to trumpets and cornets; cylinders are decomposed by an innermost minimal counterclockwise separating cycle; and disks with a Dobrushin boundary condition are expressed by a blob decomposition and one-way cylinders. The generating functions then admit explicit formulas, and under bounded face degrees the resolvents satisfy the rational parametrization
\[
Y(x(z))=y(z),\qquad X(y(z))=x(z).
\]
The paper presents this as a combinatorial explanation of the algebraicity and rational parametrizability of hypermap generating functions [2509.06850].

The directed character is the essential difference from the classical slice decomposition of maps. The right boundary geodesic is unique, the step set is downward skip-free, and the resulting A/B asymmetry is needed to recover formulas associated with the two-matrix model and the Ising model on random maps [2509.06850].

## 5. Multi-slice low-rank tensor decomposition in medical imaging

In pathological liver CT segmentation, slice decomposition is a data-batching strategy for tensor robust principal component analysis. A 3D CT volume is modeled as a tensor \(X\in\mathbb{R}^{w\times h\times d}\), with frontal slices \(X(:,:,k)\). Instead of decomposing an entire repository tensor at once, each training case \(D_i\in\mathbb{R}^{w\times h\times d}\) is partitioned into \(N_s\) consecutive axial segments of fixed length \(K\),
\[
D_i\to\{D_{i1},D_{i2},\dots,D_{iN_s}\},\qquad D_{ij}\in\mathbb{R}^{w\times h\times K},
\]
and, for segment \(j\),
\[
X_j=[D_{1j},D_{2j},\dots,D_{N_c j}]\in\mathbb{R}^{w\times h\times (K\cdot N_c)}.
\]
Segments are processed with overlap by one neighboring slice at each end, and overlapping reconstructions are averaged. The smallest possible \(K\) is \(2\); in the reported experiments, \(K=5\) was selected [2102.12056].

Each segment-level repository tensor is decomposed by Tensor Principal Component Pursuit,
\[
(\hat L_j,\hat E_j)=\arg\min_{L_j,E_j}\|L_j\|_*+\lambda\|E_j\|_1
\quad\text{subject to}\quad
X_j=L_j+E_j,
\]
where the tensor nuclear norm is defined under the \( \star_M \) framework using an invertible transform \(M\). The paper chooses the DCT as \(M\), reporting that it reduced intensity standard deviation and entropy most and was the fastest among FFT, DWT, and DCT. The decomposition is solved by ADMM with tensor singular value thresholding; the stopping criterion is based on infinity norms with \(\epsilon=10^{-8}\), and the reported parameters are \(\mu_0=10^{-3}\), \(\rho=1.1\), and \(\mu_{\max}=10^{10}\) [2102.12056].

The purpose of the multi-slice scheme is explicitly comparative. Per-slice matrix SVD ignores inter-slice correlations, whereas full-volume decomposition is memory-heavy and less stable because the low-rank assumption weakens when slices vary rapidly through the volume. Multi-slice LRTD uses short windows of consecutive slices to preserve local low-rankness while still coupling information across slices in the DCT transform domain. The low-rank component \(\hat L\) is described as smoother, homogeneous, and vessel-preserving, while the sparse component \(\hat E\) isolates hypodense and hyperdense lesions [2102.12056].

The decomposition is embedded in a multi-atlas segmentation pipeline. Training images are clustered into \(k=3\) clusters by spectral clustering on combined intensity and shape affinities. Within each cluster, a template is initialized by the image with smallest tumor burden, non-rigidly registered by cubic B-spline FFD optimized on normalized mutual information, and updated as the mean of low-rank images for \(N_{\max}=3\) iterations. Tumor-free atlases are then produced by LRTD in the template space and mapped back to original space. For a test image \(I_t\), the cluster with largest NCC to the warped probabilistic atlas is selected, a repository tensor
\[
X_t=[\hat D_1,\dots,\hat D_{N_c},D_t]
\]
is formed, and multi-slice LRTD yields a tumor-free test image \(I_{LR_t}\). Pairwise registration is performed with elastix, labels are propagated, and Joint Label Fusion is followed by Otsu thresholding and morphological opening and closing [2102.12056].

The reported empirical results are tied directly to the slice decomposition design. On 3Dircadb1, conventional MAS achieved DC \(91.83\pm3.00\%\), JI \(84.90\pm4.94\%\), ASD \(2.85\pm1.26\) mm; LRMD-based MAS achieved DC \(95.02\pm1.28\%\), JI \(90.53\pm2.30\%\), ASD \(1.67\pm0.47\) mm; and LRTD-based MAS achieved DC \(95.89\pm0.51\%\), JI \(92.11\pm0.95\%\), ASD \(1.37\pm0.21\) mm, with improvements over both baselines statistically significant at \(p<0.05\). Registration quality by NMI improved to \(0.72\) versus \(0.67\) and \(0.63\). On LiTS2017-Test, the method achieved DC \(95.30\%\), JI \(91.00\%\), ASD \(1.43\) mm, while training on only 20 SLIVER07-Train cases. The end-to-end runtime was reported as approximately 95 minutes per test case, dominated by non-rigid registrations and JLF [2102.12056].

In this setting, “slice decomposition” therefore does not mean a rank prior defined per slice in the spatial domain. The data explicitly distinguishes the notion from classical tensor slice viewpoints: it is a multi-slice batching strategy, with the rank prior defined via transform-domain \(t\)-SVD [2102.12056].

## 6. Analytic, categorical, and topological variants

In Clifford and quaternionic analysis, slice decomposition usually means a representation theorem for slice-regular functions. For slice-regular functions on Clifford algebras, the Almansi-type decomposition states that for a slice-regular \(f\) on a circular domain there exist unique zonal \(m\)-harmonic slice functions \(A\) and \(B\) such that
\[
f(x)=A(x)-x^c B(x),
\]
with
\[
B(x)=f'_s(x),\qquad A(x)=f^\circ(x)+x^c f'_s(x)=(x f)'_s(x).
\]
For polynomials \(f(x)=\sum_{k=0}^d x^k a_k\), this becomes
\[
A(x)=\sum_{k=0}^d P_m^k(x)a_k,\qquad
B(x)=\sum_{k=0}^d P_m^{k-1}(x)a_k,
\]
where \(P_m^k(x)=(x^{k+1})'_s\) are zonal \(m\)-harmonic polynomials [2004.06535].

For slice regular functions of several quaternionic variables, the paper proves \(2^n\) distinct and unique decompositions indexed by subsets \(H\subset\{1,\dots,n\}\). If \(H\) is fixed, then
\[
f(x)=\sum_{K\subset H}(-1)^{|H\setminus K|}\,(\overline{x})_{H\setminus K}\odot \mathcal{S}^H_K(f)(x),
\]
where \(\mathcal{S}^H_K(f)=(x_K\odot f)'_{s,H}\). For slice-regular \(f\), the components are circular in the variables of \(H\) and harmonic in each selected variable. The ordered case \(H=\{1,\dots,m\}\) leads to mean value and Poisson formulas, another proof of Fueter’s theorem in \(\mathbb{H}^n\), and separate biharmonicity \(\Delta_{q_j}^2 f=0\) for \(j=1,\dots,n\) [2209.06072].

A distinct but related quaternionic result decomposes a slice-regular function on an axially symmetric set into two axially monogenic functions. Under the hypothesis that each connected component of the stem domain is simply connected, a slice-regular \(f\) can be written uniquely as
\[
f(q)=f_1(q)-f_2(q),
\]
with \(f_1,f_2\in AM(\Omega)\). This decomposition is then used to prove a local Cauchy-type boundary integral formula on bounded open sets with rectifiable boundary and with no requirement of axial symmetry of the integration domain [2105.07041].

In the slice Hardy space over the quaternionic unit ball, the phrase acquires an adaptive approximation meaning. For \(f\in H^2(B)\) and \(a\in B\),
\[
f=e_a\langle f,e_a\rangle + B_a * \mathcal{S}_a f,
\]
where \(e_a\) is the slice normalized Szegő kernel, \(B_a\) is the slice Blaschke factor, and \(\mathcal{S}_a\) is the slice hyperbolic backward shift. Iterating this identity with a maximal selection principle produces the slice adaptive Fourier decomposition and the adaptive slice Takenaka–Malmquist orthonormal system [2108.00157].

Outside analysis, the phrase appears in categorical, topological, and set-theoretic forms. For a decomposition space \(D\), the slice category of decomposition spaces over \(D\) via CULF maps satisfies
\[
\mathrm{decomp}/D \simeq \mathrm{Psh}(\mathrm{tw}\,D),
\]
so “decomposition-space slices are toposes.” The twisted arrow category \(\mathrm{tw}(D)\) is obtained by edgewise subdivision, and the equivalence identifies each slice category with a presheaf topos [1807.06000].

In symplectic topology, the paper explicitly formulates a “slice decomposition philosophy”: if a Legendrian knot is regularly slice, then it is once-stably decomposably slice. The main theorem states that \(U\prec_{\mathrm{reg}}\Lambda\) implies
\[
S^\pm(U)\prec_{\mathrm{dec}} S^\pm(\Lambda),
\]
so regular sliceness implies once-stably decomposable sliceness after one stabilization [2410.21031].

In smooth concordance theory, “slice decomposition” is used for Alexander-primary decompositions. Kim–Kim–Kim prove that \(T_1/T_2\) has infinite rank and that for infinitely many
\[
\lambda_m(t)=(mt-(m+1))((m+1)t-m),
\]
the quotient \(T_1/(T_1^{\lambda_m}+T_2)\) has infinite rank [1911.08055]. Cha gives a broader formalism of left and right primary decomposition for the smooth concordance group of topologically slice knots, and proves that a large subgroup \(S\subset \mathcal{T}\) decomposes as a direct sum of \(\lambda\)-primary parts indexed by \(\Lambda=\{(m+1)t-m\}\) [1910.14629].

Finally, in set theory, the slicing axioms \(\mathrm{Slice}_\kappa\) assert the existence of a \(\subseteq\)-increasing sequence of transitive models \( \langle M_\alpha\mid \alpha<\kappa\rangle \) such that for every \( \delta\in[\omega,\kappa) \),
\[
2^\delta=\bigcup_{\alpha<\kappa}(2^\delta\cap M_\alpha),
\]
and the inclusions \(2^\delta\cap M_\alpha \subset 2^\delta\cap M_\beta\) are strict for \(\alpha<\beta\). The paper proves that \(\mathrm{Slice}_\kappa\) implies that \(\kappa\) is regular and \(\kappa\le 2^\omega\), that \(\mathrm{Slice}_{\omega_1}\) implies \(\neg MA_{\omega_1}(\sigma\text{-centered})\), and that \(\mathrm{Slice}_{\omega_1}\) is consistent with \(MA(\mathrm{Suslin})\) [2102.11666].

These usages do not collapse to a single definition. What they share is a precise replacement of a global problem by slice-wise pieces with controlled interaction: chambers in convex geometry, geodesic components in map enumeration, local tensor windows in imaging, harmonic or monogenic components in function theory, presheaf fibers in higher-category theory, and primary or model-theoretic strata in topology and set theory.

Source: https://www.emergentmind.com/topics/slice-decomposition