---
title: Dual Quaternion Guidance (DQG)
url: https://www.emergentmind.com/topics/dual-quaternion-guidance-dqg
type: topic
---

# Dual Quaternion Guidance (DQG)

Dual Quaternion Guidance (DQG) can be understood as a family of guidance, control, estimation, and trajectory-generation methods for 3D rigid bodies in which position and attitude are represented by unit dual quaternions and manipulated directly through dual-quaternion kinematics, graph operators, or optimization procedures. Across recent literature, this viewpoint appears in multi-agent formation control, pose-following, virtual-structure control, SE(3) synchronization, coordinate transformation, and learning-based tracking, with the common feature that rigid motion is handled as a single algebraic object rather than as separate rotation and translation variables [2508.10519] [2308.09507] [2504.05560].

## 1. Scope and conceptual identity

In the cited literature, DQG is not a single standardized algorithm but a coherent geometric paradigm. In multi-agent formation control, it denotes Laplacian-based coordination laws on unit dual quaternion directed graphs (UDQDGs), where desired relative poses appear as edge weights and the closed-loop objective is a prescribed relative formation rather than mere consensus [2508.10519]. In virtual-structure control, it denotes a cluster-space controller in which a robot formation is treated as a single rigid body whose pose is a unit dual quaternion and whose geometry variables are regulated alongside pose [2504.05560]. In pose-following, it denotes a path-following law on \(SE(3)\) in which the full pose error is expressed as a dual quaternion and the path parameter is itself controlled [2308.09507].

This suggests that DQG is best regarded as an umbrella term for guidance strategies on \(SE(3)\) formulated natively in dual quaternion algebra. Within that umbrella, the same representation supports at least five technical roles. It acts as a state variable for rigid-body pose, as an error variable for feedback design, as an edge weight in graph-based coordination, as an optimization variable in synchronization and calibration, and as a latent or equivariant representation in learning-based rigid-motion modeling [2602.00324] [2410.21217] [2310.07623].

A central historical point is the relation to consensus. The dual-quaternion formation law of [2508.10519] reduces to the classical Olfati-Saber and Murray consensus law \(\dot{x}(t) = -Lx(t)\) when desired relative configurations are trivial identities and states are real, and it reduces to Savino et al.’s dual quaternion consensus protocol when all agents are required to converge to the same pose. DQG therefore generalizes consensus from identical-state agreement to arbitrary desired relative configurations in full pose space [2508.10519].

## 2. Algebraic and kinematic foundations

The common algebraic object is the dual quaternion
\[
\hat q = q_s + q_d \epsilon,
\]
where \(q_s,q_d\in\mathbb Q\) and \(\epsilon^2=0\). A unit dual quaternion satisfies
\[
|\hat q| = 1
\quad\Longleftrightarrow\quad
|q_s| = 1,\qquad q_s^* q_d + q_d^* q_s = 0,
\]
and the unit set is written as
\[
\hat{\mathbb U} := \left\{\hat q = q_s + q_d \epsilon \in \hat{\mathbb Q}\,\middle|\, |q_s|=1,\ q_s^*q_d + q_d^*q_s = 0 \right\}.
\]
Equivalent formulations also appear in real-vector form as
\[
\Omega := \Big\{ (\overrightarrow{\tilde{q}_s},\overrightarrow{\tilde{q}_d})\in\mathbb{R}^8 \;\Big|\; \|\overrightarrow{\tilde{q}_s}\|_2^2 = 1,\ \overrightarrow{\tilde{q}_d}^\top \overrightarrow{\tilde{q}_s}=0 \Big\},
\]
which is the unit dual quaternion manifold used in projection algorithms [2508.10519] [2510.20425].

Several cited works write the rigid-body pose in equivalent unit dual quaternion forms. One standard expression is
\[
\hat q = q_s + \frac{1}{2} p^w q_s\,\epsilon,
\]
where \(q_s\in\mathbb U\) is a unit quaternion for attitude and \(p^w\) is a vector quaternion for translation. Another is
\[
\tilde{q} = \overline{q} + \varepsilon \frac{1}{2}\,\overline{p}\,\overline{q},
\]
with \(\overline{q}\in H_1\) and \(\overline{p}\in h_1\). A third equivalent form used in \(SE(3)\) synchronization is
\[
x = \left(1 + \frac{\epsilon}{2}\mathbf{t}\right) q \in \mathrm{UDQ}.
\]
All three encode the same geometric content: rotation in the standard part and translation in the dual part [2508.10519] [2504.05560] [2602.00324].

The kinematic equation that turns this representation into a guidance framework is the dual-quaternion twist relation
\[
\dot{\tilde{q}} = \frac{1}{2}\,\tilde{q}\,\tilde{\Omega}(\omega,v),
\]
with the twist written in one cited formulation as
\[
\tilde{\Omega}(\omega,v) = \overline{\omega} + \varepsilon\,Ad_{\overline{q}^*}\,\overline{v}.
\]
For pose-following, the dual twist is also written as
\[
\hat{\omega}(t) = [0,\bm{\omega}(t)] + \varepsilon[0,\dot{\bm{p}}(t) + \bm{p}(t)\times\bm{\omega}(t)],
\]
with pose kinematics
\[
\dot{\hat{q}}(t) = \tfrac{1}{2}\,\hat{\omega}(t)\circ\hat{q}(t).
\]
These equations place DQG directly on \(SE(3)\) rather than on separate translational and rotational state spaces [2504.05560] [2308.09507].

Error representation follows the same pattern. For tracking or following, the pose error is expressed as a relative dual quaternion such as
\[
\hat{q}_e(t) = \hat{q}(t)\circ\hat{q}_d^*(\theta(t)),
\]
or, in multi-agent settings, as relative products \(\hat z_i^* \hat z_j\). This unified error variable is the basis for geometric feedback, Laplacian coupling, and synchronization objectives [2308.09507] [2508.10519].

## 3. Graph-based guidance and formation control

The graph-theoretic core of DQG is the unit dual quaternion directed graph
\[
\Phi = (G,\, \hat{\mathbb U},\, \varphi),
\]
where \(G=(V,E)\) is a directed interaction graph and each edge \((i,j)\in E\) carries a desired relative configuration
\[
\varphi(i,j)=\hat q_{d_{ij}}\in\hat{\mathbb U}.
\]
The associated UDQDG Laplacian is
\[
\hat L = \hat D - \hat A,
\]
with dual quaternion adjacency entries \(\hat a_{ij} = \hat q_{d_{ij}}\) on edges and zero otherwise. This Laplacian is the direct analogue of the scalar graph Laplacian, but its off-diagonal entries are rigid motions rather than real scalars [2401.05132] [2508.10519].

A desired relative configuration scheme is reasonable, or balanced, when there exists a formation vector \(\hat q_d = (\hat q_{d_1},\dots,\hat q_{d_n})^\top\in\hat{\mathbb U}^n\) such that
\[
\hat q_{d_{ij}} = \hat q_{d_i}^* \hat q_{d_j}, \quad \forall (i,j)\in E.
\]
On a directed graph with a directed spanning tree, this is equivalent to a cycle condition: for every cycle, the product of appropriately oriented edge weights equals the identity. It is also equivalent to a Laplacian similarity relation with the real Laplacian of the underlying graph,
\[
\hat L = \hat Q^* L \hat Q
\quad\text{or equivalently}\quad
\hat Q \hat L \hat Q^* = L,
\]
depending on the convention used for \(\hat Q=\operatorname{diag}(\hat q_{d_1},\dots,\hat q_{d_n})\). This is the structural statement that a balanced dual quaternion formation problem is, after a diagonal dual quaternion change of coordinates, a classical Laplacian problem [2401.05132] [2508.10519].

The formation-control law developed in [2508.10519] is
\[
\dot{z}(t) = -\hat K \hat L\, z(t),
\]
with \(\hat K=\hat Q^* K \hat Q\) and \(K\in\mathbb R^{n\times n}\) a positive diagonal matrix. In component form,
\[
\dot{\hat z}_i
= \hat k_i\left(\sum_{j\in \mathcal N_i}
\hat q_{d_{ij}} \hat z_j
- d_i \hat z_i
\right).
\]
Under a directed spanning tree and a reasonable desired relative configuration scheme, the closed-loop system globally and asymptotically converges to the desired relative formation up to a right-multiplicative constant dual quaternion, and the convergence is \(R\)-linear with rate driven by the second smallest eigenvalue of the real matrix \(KL\) [2508.10519].

The same section of the literature clarifies a common misconception: DQG in formation control is not restricted to pose consensus. When \(\hat q_{d_{ij}}\equiv \hat 1\), the law reduces to consensus; when \(\hat q_{d_i}\) are distinct, agents converge to different positions and orientations that realize a prescribed formation. The graph-theoretic development of dual quaternion adjacency, logarithm adjacency, and dual quaternion Laplacian matrices provides the spectral machinery for that generalization, including Hermitian structure for certain adjacency models and positive semidefiniteness of dual quaternion Laplacians [2204.01229].

## 4. Estimation, synchronization, and manifold projection

A second major branch of DQG concerns estimation problems in which valid \(SE(3)\) poses must be recovered or maintained under noise, discretization, or optimization. In SE(3) synchronization, absolute poses \(x_i\in\mathrm{UDQ}\) are estimated from noisy relative measurements by solving
\[
\min_{x\in\mathrm{UDQ}^n} \|C - x x^*\|_F^2,
\]
equivalently
\[
\max_{x\in\mathrm{UDQ}^n} x^* C x,
\]
where \(C\) is a Hermitian dual quaternion measurement matrix. The resulting two-stage pipeline uses a spectral initializer computed via the power method on the Hermitian dual quaternion measurement matrix, followed by a dual quaternion generalized power method (DQGPM) with per-iteration projection,
\[
y^k = C x^{k-1},\qquad x^k = \Pi(y^k).
\]
The reported guarantees are an estimation error bound for the spectral estimator and, for DQGPM, a finite-iteration error bound together with linear error contraction up to an explicit noise-dependent threshold [2602.00324].

Projection is therefore not an auxiliary detail but a foundational operation. The projection problem under the \(2^R\)-norm is posed as
\[
\min_{\hat q}\ \frac12\|\hat q-\hat a\|_{2^R}^2
\quad\text{subject to}\quad |\hat q|=1,
\]
with
\[
\|\hat q\|_{2^R} := \sqrt{|\tilde q_s|^2 + |\tilde q_d|^2}.
\]
Recent work studies this projection systematically, identifies several distinct cases based on the relationship between the standard and dual parts in vector form, and formulates the unit dual quaternion set as
\[
\Omega := \Big\{ (\overrightarrow{\tilde{q}_s},\overrightarrow{\tilde{q}_d})\in\mathbb{R}^8 \;\Big|\; \|\overrightarrow{\tilde{q}_s}\|_2^2 = 1,\ \overrightarrow{\tilde{q}_d}^\top \overrightarrow{\tilde{q}_s}=0 \Big\}.
\]
In discrete formation-control implementations, the same need appears in the projected iteration
\[
z(k+1)
= \mathrm{proj}_{\hat{\mathbb U}^n}\left(
z(k) - \alpha_k \hat K \hat L z(k)
\right),
\]
which preserves the unit dual quaternion constraint during numerical integration [2510.20425] [2508.10519].

A related estimation theme arises in symmetric similarity 3D coordinate transformation. There the dual quaternion algorithm is formulated as an EIV or CEIV problem with constraints
\[
r^T r = 1,\qquad r^T s = 0,
\]
and a modified misclosure vector is introduced to address severe ill-conditioning in the symmetric CEIV system. The paper’s principal methodological conclusion is that QA and DQA give identical transformation parameters and precision when properly modeled, and that claims that DQA yields more precise parameters than QA are not supported. This is an important corrective to any overgeneralized claim that dual quaternion formulations automatically improve estimation accuracy; the benefit may lie instead in unified representation, symmetry handling, or algorithmic convenience [2410.21217].

At the matrix-algebra level, the dual complex adjoint matrix provides another estimation and control tool. It maps dual quaternion matrices to structured dual complex matrices, preserves addition, multiplication, unitary and Hermitian structure, supports standard right eigenvalue analysis, gives a direct solution to the Hand-Eye calibration problem, and reduces dual quaternion linear systems to dual complex systems. For DQG, this supplies efficient eigenvalue computation and linear-system machinery for dual quaternion operators that arise in synchronization and formation guidance [2407.12635].

## 5. Tracking, virtual structures, learning, and trajectory generation

In virtual-structure control for UAV groups, the formation is treated as a single rigid body whose cluster pose is encoded by
\[
\tilde{q} = \overline{q} + \varepsilon \frac{1}{2}\,\overline{p}\,\overline{q}.
\]
The controller separates a pose control module from a geometry-based adaptive strategy. For the pose subsystem, the commanded cluster angular and linear velocities are
\[
\overline{\omega} = Ad_{\overline{\delta q}^*}\,\overline{\omega}_d + \operatorname{sign}(\delta q_0)\big( K_{\omega,p}(\rho)\,\delta q + \eta_0\,K_{\omega,i}(\rho)\,\eta \big),
\]
\[
v = v_d + K_{v,p}(\rho)\,\delta p + K_{v,i}(\rho)\,\xi,
\]
with integral states governed by additional differential equations. Geometry variables such as distances \(d_i\) and angles \(\alpha\) are regulated separately, and the resulting cluster-space twist is mapped to individual robot velocities by Jacobian-based relations. For 2R and 3R formations, gains are scheduled as functions of distance or inertia, so the controller explicitly adapts to formation geometry [2504.05560].

Pose-following extends dual quaternion tracking by adding a path parameter \(\theta(t)\) and controlling progression along a geometric reference with a moving frame. The full pose error is
\[
\hat{q}_e(t) = \hat{q}(t)\circ\hat{q}_d^*(\theta(t)),
\]
with dual twist error
\[
\hat{\omega}_e(t) = \hat{\omega}(t) + \dot{\theta}(t)\,\mathrm{Ad}_{\hat{q}_e(t)}\hat{\omega}_d^*(\theta(t)).
\]
The feedback term is a Lie-group PD law,
\[
\hat{U}_{\mathrm{FB}}(t)
= -2\,\hat{\bm{k}}_p\odot\ln(\lambda\hat{q}_e(t))
- \hat{\bm{k}}_v\odot\hat{\omega}_e(t),
\]
combined with a feedforward cancellation term and a path-speed controller
\[
U_\theta(x_\Gamma(t))
= -k_\theta\big(\dot{\theta}(t) - \theta_{vd}(\theta(t))\big)
+ \dot{\theta}(t)\,\mathring{\theta}_{vd}(\theta(t)).
\]
The reported result is almost global asymptotic stability of pose-following, together with the practical advantage that progression along the path can slow down when the body is far from the reference pose and speed up when it is close [2308.09507].

Learning-based DQG introduces online disturbance compensation while preserving the same geometric structure. In the velocity-level trajectory-tracking controller of [2601.03097], pose is represented by a unit dual quaternion
\[
Q = q + \varepsilon \frac{1}{2}\,\widetilde{p}\circ q,
\]
and the nominal geometric feedback law is augmented with GP mean predictions for unknown rotational and translational disturbances. A Lyapunov-based analysis establishes probabilistic ultimate boundedness of the pose tracking error under bounded GP uncertainty. The simulation scenarios explicitly include correlated rotational and translational effects arising from magnetometer perturbations, which are precisely the type of coupled disturbances that motivate a dual quaternion representation [2601.03097].

A further extension appears in rigid-motion learning. Dual quaternion models are translation and rotation equivariant and better learn object trajectories than real-valued or quaternion-only networks. On 3DPW, the reported metrics for Dual Quaternion CoRPoF are \(15.23 \pm .002\) VIM, \(0.266 \pm .001\) FDE, and \(0.103 \pm .006\) validation loss, compared with \(16.35 \pm .009\), \(0.271 \pm .002\), and \(0.105 \pm .010\) for Quaternion CoRPoF and \(16.76 \pm .003\), \(0.317 \pm .001\), and \(0.118 \pm .004\) for real CoRPoF. This suggests that, within learning-based DQG, the algebra can serve not only for control but also for equivariant prediction of future rigid motion [2310.07623].

## 6. Applications, implementation, advantages, and caveats

The application range explicitly discussed in the cited literature includes autonomous mobile robots, unmanned aerial vehicles, autonomous underwater vehicles, small satellite constellations, geodesy, hand-eye calibration, multi-scan point-set registration, and robot manipulation [2508.10519] [2410.21217] [2602.00324]. In software, a notable implementation platform is DQ Robotics, which exposes dual quaternion poses, geometric primitives, Jacobians, constrained kinematic controllers, and adjoint operations across MATLAB, Python, and C++. Reported average times for dual quaternion multiplication are \(0.22\,\mu\text{s}\) in C++, \(0.82\,\mu\text{s}\) in Python bindings, \(8.94\,\mu\text{s}\) in MATLAB, and \(31.42\,\mu\text{s}\) in a native Python implementation, which supports real-time deployment claims for DQ-based control loops [1910.11612].

The technical advantages repeatedly emphasized are unified representation of rotation and translation, absence of Euler-angle singularities, scalar-like algebra compared with matrix formulations, natural relative pose encoding through multiplication and conjugation, and direct compatibility with screw-theoretic interpolation and twist propagation [2508.10519] [2303.13395]. These strengths explain why DQG appears in both graph-based formation problems and path-based tracking problems: in each case, the controller acts on one object that already lives on \(SE(3)\).

Trajectory generation introduces explicit design trade-offs. Interpolation methods include SEP(LERP), DLB, ScLERP, and KenLERP. SEP(LERP) decouples rotation and translation; DLB linearly blends dual quaternions and renormalizes; ScLERP performs screw linear interpolation
\[
\text{ScLERP}(\hat{\zeta}_A,\hat{\zeta}_B;t)
= \hat{\zeta}_A(\hat{\zeta}_A^{-1}\hat{\zeta}_B)^t;
\]
and KenLERP introduces a bias parameter \(\beta\) to interpolate between fully coupled and fully decoupled behavior. A common misconception is that dual quaternion interpolation implies a single canonical motion law. The cited literature instead presents several options with different trade-offs between computational cost, aesthetic factors, and coupling dependency [2303.13395].

The main caveats are equally consistent across the literature. Dual quaternion multiplication is non-commutative; spectral theory for dual quaternion matrices is more intricate than for real or complex matrices; implementation often requires custom arithmetic, projection operators, or specialized adjoint constructions; and some estimation problems can be highly ill-conditioned without devices such as modified misclosure vectors or carefully chosen projection steps [2508.10519] [2410.21217] [2407.12635]. Another objective caution is that dual quaternion formulations do not automatically dominate alternative representations in every metric: in symmetric similarity transformation, DQA and QA produce identical transformation parameters and covariance results when properly modeled [2410.21217].

Taken together, these results establish DQG as a mature geometric framework rather than a narrowly defined controller. Its unifying principle is that guidance, coordination, estimation, and interpolation for rigid-body motion are all performed directly in dual quaternion space, so that the algebra of the representation and the geometry of \(SE(3)\) remain aligned throughout the modeling and control pipeline.

Source: https://www.emergentmind.com/topics/dual-quaternion-guidance-dqg