---
title: Animated S-Stacks in Visualization
url: https://www.emergentmind.com/topics/animated-s-stacks
type: topic
---

# Animated S-Stacks in Visualization

Searching arXiv for the cited papers and topic terminology to ground the article.
Animated S-Stacks denote sequenced, stacked animated transitions between scatter plots drawn from different $2$D projections of the same multivariate dataset. In this usage, each stack element is a scatter plot panel, such as a SPLOM cell, a grand tour frame, or a DR-derived projection, and the stack is the ordered set of panels traversed by an analyst. The central technical problem is correspondence preservation: animation is used to maintain a mental map by moving points smoothly between successive panels during axis swaps or projection changes [2401.04692]. In a broader visualization-systems sense, the same phrase can also refer to staged, stacked-in-time transition specifications assembled from animation steps or keyframes, as formalized by Gemini and Gemini2 for single-view statistical graphics [2009.01429; 2108.04385]. A distinct mathematical usage appears in higher and derived geometry, where “animated $S$-stacks” means stacks of anima on a site $S$; that meaning belongs to homotopy theory and logarithmic geometry rather than information visualization [2105.08479; 2601.15256]. Context therefore determines whether the term refers to animated multiview scatter-plot navigation, staged chart transitions, or stacks valued in spaces.

## 1. Definition and terminological scope

In multivariate visualization, Animated S-Stacks are sequenced, stacked animated transitions between scatter plots of different dimension pairs from the same underlying dataset. A transition maps one panel’s axes $D_1 \times D_2$ to the next panel’s axes $D_3 \times D_4$, preserving point identity across the sequence [2401.04692]. This formulation naturally covers SPLOM navigation, grand-tour frame-to-frame changes, and transitions to or from DR-derived projections.

The paper "Comparative Evaluation of Animated Scatter Plot Transitions" identifies six transition techniques that can serve as the per-step animation in such a stack: spline-based straight lines (STR), bundled splines (BUN), time-offset splines (TIM), and rotation-based staged rotation (STA), perspective rotation (PER), and orthographic rotation (ORT) [2401.04692]. Within this framework, a stack is not a static arrangement but an ordered traversal of views, with each step designed to preserve correspondence and support traceability.

A second, related meaning arises in declarative animation systems. Gemini defines transitions as compositions of steps over visual components such as marks, axes, legends, view, and pause, with synchronization and concatenation operators that permit staged animated sequences [2009.01429]. Gemini2 extends this to keyframe-oriented transition design, treating an animation as a sequence of chart keyframes connected by per-pair animation specifications [2108.04385]. This suggests a useful distinction between Animated S-Stacks as scatter-plot panel sequences and Animated S-Stacks as staged animation plans for statistical graphics more generally.

By contrast, in higher category theory and derived geometry, “animated $S$-stacks” means stacks of anima or spaces on a classical site $S$, satisfying descent conditions and modeled via simplicial presheaves or diagrammatic localizers [2105.08479]. In logarithmic derived geometry, the phrase expands further to animated and spectral log stacks built from animated log rings and $\mathbb{E}_\infty$-log rings [2601.15256]. These are unrelated to visualization except by lexical overlap.

## 2. Transition models for scatter-plot stacks

The visualization literature underlying Animated S-Stacks distinguishes spline-based and rotation-based transitions. Spline-based methods directly interpolate point positions in $2$D screen space. STR uses linear interpolation from start $s=(x_0,y_0)$ to end $e=(x_1,y_1)$ with base duration $1\,\mathrm{s}$, constant speed, and an orthographic camera [2401.04692]. BUN uses cluster-aware cubic splines, with clusters at start and end detected via DBSCAN; points sharing a $(C_{\text{start}}, C_{\text{end}})$ pair follow bundled trajectories determined by common control points along the segment connecting cluster centroids $M_1 \to M_2$ [2401.04692]. TIM retains clustered spline paths but executes cluster-pair groups sequentially in staggered temporal blocks, with total duration $200\%$ of base [2401.04692].

Rotation-based methods embed the transition in a $3$D cube. For a $1$D transition, the “new” axis is encoded as depth $z$, then rotated about the unchanged axis so that depth is swapped into $x$ or $y$ [2401.04692]. A $2$D transition is composed from two such $1$D swaps in either horizontal-first (hf) or vertical-first (vf) order. STA consists of three sequential stages: orthographic-to-perspective camera morph to reveal depth, $3$D cube rotation to swap axes, and perspective-to-orthographic camera morph to hide depth again, with total duration $250\%$ of base [2401.04692]. PER overlaps perspective change and rotation continuously during a base-duration transition, whereas ORT performs pure $3$D rotation under an orthographic camera so that $z$ is never visually revealed [2401.04692].

These techniques instantiate distinct perceptual hypotheses. Spline methods privilege explicit path continuity in the image plane, whereas rotation methods privilege a geometric model of axis exchange via a common $3$D embedding. The empirical comparison in [2401.04692] specifically evaluates their suitability for tracing individual points and clusters under ecologically realistic dot densities and overplotting.

## 3. Mathematical formulation and parameterization

The STR transition uses linear interpolation,
$$
x(t) = (1-t)x_0 + tx_1,\qquad y(t) = (1-t)y_0 + ty_1,
$$
which also describes stage morphs in staged rotation [2401.04692]. BUN and TIM use cubic Bézier or spline interpolation,
$$
P(t) = (1-t)^3 P_0 + 3(1-t)^2 t P_1 + 3(1-t)t^2 P_2 + t^3 P_3,
$$
where $P_0=s$, $P_3=e$, and $P_1,P_2$ are cluster-defined control points [2401.04692].

Rotation-based techniques rely on standard rotation matrices. The conceptual $2$D rotation matrix is
$$
R(\theta)=
\begin{pmatrix}
\cos\theta & -\sin\theta\\
\sin\theta & \cos\theta
\end{pmatrix},
$$
while the $3$D cube embedding employs $R_x(\theta)$, $R_y(\theta)$, and $R_z(\theta)$ to realize axis swaps [2401.04692]. For $1$D swaps, the rotation axis is the unchanged coordinate; for $2$D swaps, two rotations are composed in either hf or vf order. The implementation in [2401.04692] uses matrices, though quaternion-based spherical linear interpolation,
$$
\mathrm{slerp}(q_0,q_1;t)=
\frac{\sin((1-t)\Omega)}{\sin\Omega}q_0+
\frac{\sin(t\Omega)}{\sin\Omega}q_1,\qquad
\Omega=\arccos(\langle q_0,q_1\rangle),
$$
is identified there as a robust alternative for smooth orientation blending.

Projection is either orthographic,
$$
\begin{pmatrix}
x'\\
y'
\end{pmatrix}
=
\begin{pmatrix}
x\\
y
\end{pmatrix},
$$
with $z$ ignored visually, or perspective,
$$
x' = f\frac{x}{z},\qquad y' = f\frac{y}{z},
$$
with focal length $f$ or an equivalent perspective parameter blended over time [2401.04692]. STA introduces a staged depth-axis expansion schedule over total duration $T$, with expansion, rotation, and collapse phases and a piecewise blend parameter $p(t)$ that mixes orthographic and perspective projections [2401.04692]. PER uses continuous co-evolution of a perspective blend parameter $p(t)$ and a rotation angle $\theta(t)$ over the same interval.

The paper fixes base duration at $1\,\mathrm{s}$ for most methods, TIM at $200\%$ of base, and STA at $250\%$ of base, with constant speed and no variation in temporal distortion [2401.04692]. This fixed parameterization is important because the reported rankings concern a particular speed regime rather than an unconstrained family of animations.

## 4. Empirical evaluation of traceability

The evaluation in [2401.04692] is a preregistered, within-subjects, crowdsourced user study with $170$ participants, approximately $50$ minutes per participant, attention checks, and exclusion criteria; rejected submissions were replaced to keep $N=170$. The point traceability task required following one highlighted point across a single transition and clicking its final resting position; error was Euclidean distance in normalized plot coordinates $[0,1]\times[0,1]$ [2401.04692]. The cluster traceability task required following a highlighted cluster and classifying the interaction as remained, merged, or split, with proportion correct as the accuracy metric [2401.04692].

The point task used the auto-mpg dataset with $398$ points and $8$ attributes under realistic overplotting conditions. The cluster task used a synthetic generative model with $600$ points in $5$ clusters of $80$ points each plus $200$ distractors, with controlled split, merge, and remain interactions [2401.04692]. The six animation techniques were tested across $1$D and $2$D transitions; for rotation-based $2$D transitions, hf and vf orders were considered, whereas spline-based $2$D transitions changed both axes simultaneously (bo) [2401.04692]. Each animation had $12$ point tasks and $12$ cluster tasks, with $4$ training tasks with feedback prior to each block [2401.04692].

Because Shapiro–Wilk indicated non-normality, the analysis used Wilcoxon signed-rank tests with Bonferroni correction and rank-biserial correlation $r_c$ as effect size; subjective Likert ratings on speed, path clarity, and preference were analyzed with $\chi^2$ tests of independence [2401.04692]. This methodological choice matters because the principal findings are based on rank and distributional comparisons rather than Gaussian assumptions.

The main result is that rotation-based animations significantly outperform spline-based animations for point traceability: median error for rotations is $0.264$ versus $0.298$ for splines, with Wilcoxon exact $p \ll 0.0001$ and $r_c=0.725$ [2401.04692]. ORT and STA significantly outperform all other techniques for tracing individual points; PER and STR form a middle tier; BUN and TIM perform worst [2401.04692]. For cluster traceability, no significant differences were found across animations, and the overall mean accuracy was $84.5\%$, with ceiling effects suggested as an explanation [2401.04692].

The study also reports direction and rotation-order effects. In the main study, $1$D vertical motion yielded lower error than horizontal, but a follow-up study reversed the pattern; similarly, in $2$D transitions vf outperformed hf in the main study, while hf outperformed vf in the follow-up, and bo was consistently worst [2401.04692]. The paper attributes these reversals to probable data-distribution confounds, such as discrete versus continuous axes and unique value counts [2401.04692]. A conservative conclusion is therefore that simultaneous both-axis swaps are undesirable for point tracing, while the optimal sequential order may depend on the distributional properties of the specific dimensions.

## 5. Design guidance and implementation patterns

The reported results yield explicit guidelines for designing Animated S-Stacks in scatter-plot systems. ORT is recommended by default for point-focused transitions because it yielded the best traceability and is simpler to implement than staged perspective variants [2401.04692]. STA is recommended when revealing depth helps explain the axis exchange, with a duration of approximately $2.5\times$ the base duration [2401.04692]. For $2$D swaps, sequential axis exchanges are preferred over simultaneous changes, and the first axis to swap should be chosen with attention to data characteristics, especially the number of continuous or varied values, to reduce overplotting during rotation [2401.04692].

Additional guidance concerns timing and auxiliary visual encodings. The paper recommends a base duration of $1\,\mathrm{s}$, constant speed, and smooth ease-in-out for camera blends and rotations while keeping per-point speed approximately constant within each stage [2401.04692]. Pre-animation highlighting of the target point or cluster is helpful; temporary halos or brief trails are proposed as plausible aids, but persistent trails are discouraged in cluttered views because they increase overdraw [2401.04692]. BUN and TIM are discouraged when point traceability is critical in high-density plots, and STR is described as acceptable if rotation is infeasible, though with lower expected accuracy than ORT or STA [2401.04692].

The same paper provides a D3.js plug-in and demo code encapsulating STR, BUN, TIM, STA, PER, and ORT, including camera handling and path generation, with DBSCAN-based clustering options for BUN and TIM [2401.04692]. A typical pattern is data join followed by a transition call configured with mode, duration, order, easing, and clustering parameters. For S-Stacks across SPLOM panels, neighboring panels are traversed by iterating panel $i$ to panel $i+1$ transitions [2401.04692]. This operationalizes the concept of a stack as a reusable interaction pattern rather than a one-off animated effect.

Gemini and Gemini2 generalize these ideas from scatter plots to statistical graphics at large. Gemini defines a transition grammar in which a step is the basic unit of change over components such as marks, axes, legends, view, and pause; steps are combined with synchronization and concatenation operators to create staged transition plans [2009.01429]. The specification formalism includes step, change, timing, staggering, and enumerator constructs, together with a ranking cost function,
$$
\mathrm{Complexity} = \sum_{s\in \mathrm{Stages}} \max(0, W(s)-C(\mathrm{duration}(s))+B(s)),
$$
where $W(s)$ aggregates per-change weights, $C(t)$ is a sigmoid perceptual-capacity function, and $B(s)$ applies bundling penalties or discounts [2009.01429]. These constructs provide a language for authoring animated step stacks with perceptual constraints such as object constancy, unavailable scales, unavailable encodings, and overflow avoidance.

Gemini2 moves from step composition to keyframe-oriented staging. It represents an animation as
$$
\mathrm{Animation}:=\{(k_1,k_2,\dots,k_N),(g_{1\to2},g_{2\to3},\dots,g_{N-1\to N})\},
$$
where each $k_i$ is a Vega-Lite chart keyframe and each $g_{i\to i+1}$ is a Gemini animation spec [2108.04385]. Candidate stage orders are scored by heuristic semantic rules,
$$
S(S)=\sum_r s_r I_r(S),
$$
and full multi-pair animations are ranked by summed Gemini complexity,
$$
C(H)=\sum_{j=1}^{N-1} f_{\mathrm{complexity}}(g_{j\to j+1}) .
$$
This supports semantically coherent staged transitions that Gemini alone cannot express, especially when transient intermediate keyframes are needed [2108.04385]. A plausible implication is that the scatter-plot notion of an Animated S-Stack and the grammar/keyframe notion can be unified as two levels of abstraction: per-step geometric correspondence at the panel level and global stage orchestration at the system level.

## 6. Related meanings in higher and derived geometry

Outside visualization, “animated $S$-stacks” has an established meaning in homotopy theory: stacks of anima, equivalently spaces or $\infty$-groupoids, on a classical site $S$ [2105.08479]. An animated presheaf is a presheaf of anima, modeled as a simplicial presheaf up to weak equivalence, and an $\infty$-stack is a presheaf $F:S^{op}\to \mathrm{Spaces}$ satisfying descent [2105.08479]. For a covering family with Čech nerve $U_\bullet \to U$, the descent condition is
$$
F(U)\simeq \mathrm{holim}_{[n]\in\Delta} F(U_n),
$$
while hyperdescent requires the same for every hypercover [2105.08479]. The paper "Higher stacks as diagrams" shows that the homotopy theory of non-hypercomplete animated $S$-stacks can be presented either as the Čech-localized model category of simplicial presheaves or diagrammatically via a smallest localizer $W_\infty$ on the $2$-category $\mathrm{Dia}(S)$ of diagrams in $S$ [2105.08479].

The core equivalence is implemented by a nerve functor
$$
N:\mathrm{Dia}(S)\to s\mathrm{PSh}(S)
$$
and a Grothendieck construction
$$
\int_\amalg : S^\amalg,\Delta^{op}\to \mathrm{Dia}(S),
$$
with natural weak equivalences $N\int_\amalg X \to X$ and $\int_\amalg N(D)\to D$ [2105.08479]. Consequently, the non-hypercomplete $\infty$-topos of animated $S$-stacks admits both a simplicial-presheaf and a purely combinatorial diagrammatic presentation. This meaning of the term is categorical and unrelated to animated visualization, except that both domains are concerned with structured transitions between local views.

A further specialization appears in derived logarithmic geometry. The paper "Derived logarithmic deformation theory and moduli stacks of derived logarithmic structures" develops animated log rings, $\mathbb{E}_\infty$-log rings, spectral log stacks, and derived log Deligne–Mumford stacks [2601.15256]. An animated prelog ring $(A,M,\alpha)$ is an animated log ring if the map
$$
\alpha^{-1}GL_1(A)\to GL_1(A)
$$
is an equivalence [2601.15256]. The paper constructs moduli functors
$$
RLog_{(S,\mathcal{L})}: \mathrm{SpDM}^{op}_{/S}\to \mathrm{Ani},
$$
establishes étale descent, cotangent complexes, and Artin representability, and defines $\infty$-root stacks as inverse limits over root constructions [2601.15256]. Here again, “animated” means derived or simplicial enrichment rather than time-varying graphics.

The coexistence of these meanings creates an avoidable source of ambiguity. In visualization, Animated S-Stacks are about preserving perceptual correspondence across projections; in higher and log geometry, animated $S$-stacks are sheaf-theoretic objects valued in spaces [2401.04692; 2105.08479; 2601.15256]. Technical writing benefits from making the intended domain explicit.

## 7. Limitations, confounds, and open directions

For scatter-plot Animated S-Stacks, several limitations remain open. Cluster traceability showed no significant differences across transition types, likely because the chosen speed regime created ceiling effects in which clusters behaved as perceptual entities regardless of animation type [2401.04692]. The study fixed speed profiles and did not vary temporal distortion, leaving open whether alternative easing schedules or stage timing could differentiate cluster performance [2401.04692]. Direction effects reversed under axis swaps in a follow-up study of $N=30$, suggesting sensitivity to data distributions and discretization rather than stable perceptual asymmetries [2401.04692]. Desktop-only evaluation, modest panel sizes, and within-subject sessions of approximately $50$ minutes also limit generalization to mobile or prolonged analytical use [2401.04692].

Gemini’s and Gemini2’s limitations are of a different kind. Gemini targets transitions between two single-view statistical graphics with at most one $x$-axis and one $y$-axis, and does not support richer multi-view or layered scenarios without extension [2009.01429]. Some desired designs are not expressible because the grammar does not assign separate timing to distinct low-level properties within a single step, requiring decomposition into multiple steps [2009.01429]. Gemini2 expands expressiveness through independent keyframes, but remains bounded by GraphScape’s single-view Cartesian scope and hand-tuned heuristic rule weights [2108.04385]. This suggests that a full theory of Animated S-Stacks for modern dashboards or linked views remains incomplete.

In the higher-categorical usage, a principal open problem is extension from Čech-local to hypercover-local diagrammatic localizers. The paper [2105.08479] presents the smallest localizer $W_\infty$ corresponding to Čech descent, but notes that an axiomatic characterization of the analogous hypercover-localizer remains open. In derived logarithmic geometry, the agenda shifts to deformation-theoretic representability, root-stack constructions, and cotangent-complex comparison after $p$-completion [2601.15256]. These are unrelated research programs, but they underscore that the phrase “Animated S-Stacks” now spans several advanced literatures with incompatible definitions.

Taken together, the current evidence supports a narrow but clear conclusion for visualization practice: when the task is point traceability across a sequence of scatter-plot projections, Animated S-Stacks should preferentially use orthographic or staged rotations, avoid simultaneous two-axis swaps, and treat spline bundling or temporal offsets with caution in dense views [2401.04692]. At the systems level, declarative grammars and keyframe recommenders provide a complementary language for composing such steps into longer staged sequences [2009.01429; 2108.04385]. In mathematics, however, the same phrase denotes sheaf-theoretic stacks of anima or their logarithmic derived analogues, and the term must be interpreted accordingly [2105.08479; 2601.15256].

Source: https://www.emergentmind.com/topics/animated-s-stacks