Convexified Shape Layers & Depth Ordering

• The paper presents a vectorization framework that decomposes quantized raster images into scalable vector shape layers with an explicit, energy-driven depth order.
• It employs curvature-based convexification via variational inpainting to remove pixelation while preserving boundary smoothness and accurate occlusion relationships.
• The pipeline integrates combinatorial graph construction, efficient Bézier curve fitting, and SVG export, achieving lower MSE and faster performance compared to previous methods.

Convexified shape layers with depth ordering is a framework for image vectorization that decomposes a color-quantized raster image into scalable vector shape layers with an explicit, energy-driven global depth order. The methodology integrates combinatorial graph construction, convexification via variational inpainting, and scalable SVG export with layer semantics. This approach addresses both the removal of pixelization and the preservation of boundary smoothness while simultaneously encoding relative depth relationships among segmented shapes. The pipeline leverages curvature-based inpainting to convexify occluded shapes, following a depth order inferred by pairwise covered-area measures, and outputs vector graphics amenable to editing and semantic grouping (Law et al., 2024).

1. Depth-Ordering Energy

Given an image grid $\Omega \subset \mathbb{Z}^2$ and a $K$-color quantization $f:\Omega\to\{c_\ell\}_{\ell=1}^K$, each connected component $S_i \subset \Omega$ of a single color defines a shape layer with binary mask $\chi_i(x) = 1_{S_i}(x)$. The pairwise covered-area measure for $i \neq j$ is

$$A(i,j) = \frac{\int_\Omega \chi_i(x)\,\chi_j^{\rm Conv}(x)\,dx}{\int_\Omega \chi_i(x)\,dx} \in [0,1],$$

where $\chi_j^{\rm Conv}$ is the convex hull mask of $S_j$. This quantifies the fraction of $S_i$'s area occluded by $K$0's convex hull. The depth-ordering energy is then

$K$1

Thresholding $K$2 by $K$3 leads to directed edges in a shape graph: if $K$4, $K$5 is above $K$6; if $K$7, $K$8 above $K$9; otherwise, no order is set. The resulting directed graph $f:\Omega\to\{c_\ell\}_{\ell=1}^K$0, with nodes for each $f:\Omega\to\{c_\ell\}_{\ell=1}^K$1, may have cycles. Cycles are broken by identifying the edge $f:\Omega\to\{c_\ell\}_{\ell=1}^K$2 in each cycle maximizing the convex-hull symmetric difference

$f:\Omega\to\{c_\ell\}_{\ell=1}^K$3

and removing edges accordingly until $f:\Omega\to\{c_\ell\}_{\ell=1}^K$4 is acyclic. A topological sort extracts the linear order $f:\Omega\to\{c_\ell\}_{\ell=1}^K$5. These steps involve combinatorial operations: Graham scan for convex hulls $f:\Omega\to\{c_\ell\}_{\ell=1}^K$6, raster intersections for area calculations, and no continuous optimization.

2. Curvature-Based Convexification via Inpainting

Given the total order $f:\Omega\to\{c_\ell\}_{\ell=1}^K$7, each $f:\Omega\to\{c_\ell\}_{\ell=1}^K$8 is convexified into $f:\Omega\to\{c_\ell\}_{\ell=1}^K$9, constrained to only grow into occluded regions

$S_i \subset \Omega$0

where $S_i \subset \Omega$1 groups small, spurious regions. The minimization target is Euler’s elastica energy,

$S_i \subset \Omega$2

for positive $S_i \subset \Omega$3 and curvature $S_i \subset \Omega$4, promoting smooth, near-convex boundaries into $S_i \subset \Omega$5.

The sharp-interface elastica formulation is approximated with a Modica–Mortola diffuse interface:

• The phase field $S_i \subset \Omega$6 satisfies $S_i \subset \Omega$7 inside, $S_i \subset \Omega$8 outside.
• The double-well potential $S_i \subset \Omega$9 penalizes intermediate values.

Diffuse elastica energy: $\chi_i(x) = 1_{S_i}(x)$0 subject to $\chi_i(x) = 1_{S_i}(x)$1 on $\chi_i(x) = 1_{S_i}(x)$2 and $\chi_i(x) = 1_{S_i}(x)$3 on $\chi_i(x) = 1_{S_i}(x)$4. As $\chi_i(x) = 1_{S_i}(x)$5, this $\chi_i(x) = 1_{S_i}(x)$6-converges to sharp-interface elastica plus fidelity at inpainting data $\chi_i(x) = 1_{S_i}(x)$7.

The solver introduces $\chi_i(x) = 1_{S_i}(x)$8 and splits the problem into two linear subproblems, each efficiently solved by FFT due to the choice of Laplacian discretization and Dirichlet boundary conditions. Thresholding $\chi_i(x) = 1_{S_i}(x)$9 yields the convexified region $i \neq j$0.

3. Bézier Curve Fitting and SVG Layered Export

The boundary of $i \neq j$1 is extracted as the zero-level set $i \neq j$2, then sampled into a closed, ordered set of points $i \neq j$3. Discrete curvature,

$i \neq j$4

is computed at each sample to identify curvature extrema above threshold $i \neq j$5, which demarcate Bézier curve segments.

For each segment, cubic Bézier curves with control points $i \neq j$6 are fitted via least-squares minimization,

$i \neq j$7

with $i \neq j$8 the normalized arc-length parameter of each point. Segments with Hausdorff distance exceeding a threshold $i \neq j$9 are subdivided and re-fitted recursively.

SVG export creates one <path> element per fitted Bézier, grouped by shape-layer index $$A(i,j) = \frac{\int_\Omega \chi_i(x)\,\chi_j^{\rm Conv}(x)\,dx}{\int_\Omega \chi_i(x)\,dx} \in [0,1],$$0. Layers are ordered in SVG z-order according to reverse $$A(i,j) = \frac{\int_\Omega \chi_i(x)\,\chi_j^{\rm Conv}(x)\,dx}{\int_\Omega \chi_i(x)\,dx} \in [0,1],$$1 (bottom-to-top). Each path is filled with its original color $$A(i,j) = \frac{\int_\Omega \chi_i(x)\,\chi_j^{\rm Conv}(x)\,dx}{\int_\Omega \chi_i(x)\,dx} \in [0,1],$$2 and full opacity; SVG <g> wrappers encode grouping for semantic units.

4. Algorithmic Workflow and Computational Complexity

The vectorization procedure follows:

1. Color quantization (K-means) yielding $$A(i,j) = \frac{\int_\Omega \chi_i(x)\,\chi_j^{\rm Conv}(x)\,dx}{\int_\Omega \chi_i(x)\,dx} \in [0,1],$$3.
2. Extraction of shape layers $$A(i,j) = \frac{\int_\Omega \chi_i(x)\,\chi_j^{\rm Conv}(x)\,dx}{\int_\Omega \chi_i(x)\,dx} \in [0,1],$$4; denoising forms $$A(i,j) = \frac{\int_\Omega \chi_i(x)\,\chi_j^{\rm Conv}(x)\,dx}{\int_\Omega \chi_i(x)\,dx} \in [0,1],$$5.
3. For all $$A(i,j) = \frac{\int_\Omega \chi_i(x)\,\chi_j^{\rm Conv}(x)\,dx}{\int_\Omega \chi_i(x)\,dx} \in [0,1],$$6: compute convex hulls, $$A(i,j) = \frac{\int_\Omega \chi_i(x)\,\chi_j^{\rm Conv}(x)\,dx}{\int_\Omega \chi_i(x)\,dx} \in [0,1],$$7, and $$A(i,j) = \frac{\int_\Omega \chi_i(x)\,\chi_j^{\rm Conv}(x)\,dx}{\int_\Omega \chi_i(x)\,dx} \in [0,1],$$8; build directed graph $$A(i,j) = \frac{\int_\Omega \chi_i(x)\,\chi_j^{\rm Conv}(x)\,dx}{\int_\Omega \chi_i(x)\,dx} \in [0,1],$$9.
4. Remove cycles in $\chi_j^{\rm Conv}$0 by deleting maximal $\chi_j^{\rm Conv}$1 edges; topologically sort to obtain $\chi_j^{\rm Conv}$2.
5. For each $\chi_j^{\rm Conv}$3 (following $\chi_j^{\rm Conv}$4): construct occlusion mask $\chi_j^{\rm Conv}$5; solve diffuse elastica $\chi_j^{\rm Conv}$6 with FFT splitting; extract $\chi_j^{\rm Conv}$7; sample boundary and curvature extrema; fit cubic Béziers.
6. Export SVG, stacking layers by $\chi_j^{\rm Conv}$8.

Computational complexity per stage:

• Convex hull per shape: $\chi_j^{\rm Conv}$9.
• Pairwise measures: $S_j$0.
• Cycle removal: $S_j$1.
• Inpainting: $S_j$2 per shape.
• Bézier fitting: linear in boundary length.

For typical settings ($S_j$3–$S_j$4, image size $S_j$5), the entire pipeline executes in tens of seconds on modern CPUs. The iterative elastica solver converges in $S_j$6–$S_j$7 iterations, with $S_j$8-convergence ensuring alignment with the sharp-interface elastica minimizer as $S_j$9.

5. Empirical Comparison with Prior Layered Vectorization Methods

Quantitative and qualitative performance was assessed against LIVE [Ma et al. 2022], DiffVG [Li et al. 2020], and LIVSS [Wang et al. 2024] on benchmark scenes (e.g., $S_i$0 pixels). Representative numeric results:

Method	# Bézier Curves	MSE↓	PSNR↑	Time (s)
Ours (≈7 layers)	93	13.4	41.6 dB	37
LIVE (32 paths)	128	28.6	38.3 dB	20,640
DiffVG (128 paths)	517	71.4	34.4 dB	194
LIVSS	200–500	–	–	888

This framework accurately recovers the correct depth ordering of occluded regions, yields fewer Bézier segments per semantic shape, produces lower rasterization error (MSE) than LIVE and DiffVG, and executes $S_i$1–$S_i$2 faster than LIVE in experimental runs.

Limitations include instability for quantizations generating very small noisy shapes (mitigated by pre-grouping), potential over-convexification of highly concave objects, and sensitivity to pairwise area cues where T-junctions are ambiguous.

6. Theoretical and Practical Implications

By convexifying image shape layers and establishing explicit, globally consistent depth orderings, this approach offers a principled tool for producing editable vector representations, compatible with human visual perceptual biases (e.g., boundary smoothness, convex completion). The integration of variational inpainting and combinatorial depth inference differentiates this pipeline from previous layer-based vectorization techniques.

The methodology is closely tied to $S_i$3-convergence theory (ensuring the diffuse interface energy converges to the elastica), links to raster-to-vector learning paradigms, and provides a foundation for further integration of learned depth cues, interactive layer annotation, or GPU-accelerated elastica solvers. Grouping of shape layers for semantic vectorization is also considered, suggesting directions for future work in semantic abstraction and user-guided editing (Law et al., 2024).