---
title: Conjugate Momentum Observer in Robotics & Quantum Sensing
url: https://www.emergentmind.com/topics/conjugate-momentum-observer
type: topic
---

# Conjugate Momentum Observer in Robotics & Quantum Sensing

Searching arXiv for the papers and adjacent terminology to ground the article.
arXiv Search Query: "conjugate momentum observer robotics arXiv"
The available literature suggests that **“Conjugate Momentum Observer”** is not a single standardized term, but a family of closely related constructions whose meaning depends on context. In robotics and control, it most often denotes a **generalized-momentum residual observer** built from the Lagrangian momentum \(p=M(q)\dot q\), used to estimate contact forces, external disturbances, or actuator-side forces without explicit acceleration estimation [2412.03462], [2411.11218], [2411.14596], [2505.03044]. In quantum measurement and sensing, the phrase is better interpreted as an **observer of conjugate variables**—typically position and momentum—implemented through sequential measurements, classically correlated probe-and-measurement schedules, or phase-space positive operator-valued measures rather than a control-theoretic state observer [1105.4976], [2203.03348], [2603.29568]. In other areas, the phrase is potentially misleading: in general relativity, the relevant construction concerns **observer-defined** linear and angular momentum \((P^a,J^{ab})\), not canonical conjugate momentum [1411.4599]; in nuclear many-body theory, the conjugate momentum appears as a second generator coordinate in the dynamical GCM rather than as an engineering observer [2012.11123].

## 1. Terminological scope

A useful way to organize the term is by the object being reconstructed or operationally assigned.

| Domain | Meaning of “momentum” | Representative papers |
|---|---|---|
| Robotics and control | Generalized or conjugate momentum \(p=M(q)\dot q\) | [2412.03462], [2411.11218], [2411.14596], [2505.03044], [2509.17010] |
| Quantum measurement and sensing | Conjugate observables such as \(X\) and \(P\) | [1105.4976], [2203.03348], [2603.29568] |
| General relativity | Observer-defined \((P^a,J^{ab})\), not canonical momentum | [1411.4599] |
| Nuclear many-body theory | Conjugate momentum as a generator coordinate paired with \(q\) | [2012.11123] |

In the robotics literature, the central variable is usually the generalized momentum
\[
p=M\dot q,
\]
or its coordinate-dependent variant in reduced or modal coordinates, and the observer estimates an external generalized force from discrepancies in the momentum balance [2412.03462], [2505.03044]. This usage is explicitly close to generalized or canonical momentum in the Lagrangian sense, although several papers note that they do **not** introduce a Hamiltonian-state observer in canonical phase-space form [2412.03462], [2509.17010].

The quantum-measurement literature uses a different notion of “observer.” There the issue is not estimation from a plant model but operational access to noncommuting variables. Sequential measurement theory shows that every Weyl-Heisenberg covariant phase-space observable can be implemented as a sequential measurement of two conjugate observables [1105.4976], while multi-parameter sensing can estimate small conjugate shifts in position and momentum through classically correlated squeezed probes and matched homodyne measurements [2203.03348]. A later cold-atom formulation extends this logic to quantum gas microscopes by measuring either a Husimi-\(Q\) phase-space distribution or spatially resolved momentum-weighted densities [2603.29568].

## 2. Generalized-momentum observers in robotics

The classical robotics form begins from Euler–Lagrange or floating-base rigid-body dynamics and uses generalized momentum to eliminate explicit acceleration dependence. In the bipedal contact-estimation formulation of “Multi-Momentum Observer Contact Estimation for Bipedal Robots,” the starting point is the floating-base constrained dynamics
\[
M\ddot{q} + C\dot{q} + G + A^{\top}\lambda = B^{\top}\left(\tau_{\text{mot} + \tau_{\text{ext}\right),
\]
with generalized momentum
\[
p = M\dot{q}.
\]
Using \(\dot M=C+C^\top\), the momentum rate is rewritten as
\[
\dot{p} = C^T \dot{q} - G - A^T \lambda + B^T(\tau_{\text{mot} + \tau_{\text{ext}) = \beta + B^T \tau_{\text{ext},
\]
so the unknown term is inferred from a momentum mismatch rather than from \(\ddot q\) [2412.03462]. The baseline observer is written as
\[
\hat{\tau} = B^{-T}K_O(p-\hat{p}), \qquad
\dot{\hat{p}} = \beta + B^T\hat{\tau},
\]
and the actual proposal is to run multiple such observers in parallel under different contact constraints [2412.03462].

For continuum robots, the same principle is transferred to modal generalized coordinates \(\mb c\). The paper “A Modal-Space Formulation for Momentum Observer Contact Estimation and Effects of Uncertainty for Continuum Robots” defines the conjugate or generalized momentum as
\[
\mb p=\frac{\partial \mathcal{L}}{\partial \dot{\mb{c}}=\mb{M}\dot{\mb{c}},
\]
with dynamics
\[
\mb{M}\ddot{\mb{c}+\mb{N}\dot{\mb{c}+\frac{\partial V}{\partial \mb{c}=\bs{\kappa}.
\]
After rewriting the momentum balance, the unknown contact generalized force appears additively, and the residual satisfies
\[
\dot{\mb{r}(t) = \mb{K}_o\left[\bs{\kappa}_c(t)-\mb{r}(t)\right],
\]
so each component is a first-order low-pass filtered estimate of the true contact generalized force [2505.03044]. The paper explicitly states that, in the Lagrangian setting, this “generalized momentum” is exactly the canonical or conjugate momentum associated with the modal generalized coordinates [2505.03044].

A related but distinct development appears in “Generalized Momenta-Based Koopman Formalism for Robust Control of Euler-Lagrangian Systems,” where the state is constructed directly in momentum coordinates,
\[
\boldsymbol{x} =
\begin{bmatrix}
\boldsymbol{q} \\
\boldsymbol{M}(\boldsymbol{q})\boldsymbol{\dot q}
\end{bmatrix}.
\]
The paper does **not** propose a standalone momentum observer; instead it uses a generalized-momentum-based state representation to decouple the actuation channel and then adds a linear Generalized Extended State Observer for lumped disturbances [2509.17010]. This suggests a neighboring usage in which conjugate momentum is the preferred state coordinate rather than the primary observer output.

## 3. Contact, disturbance, and actuator-force estimation

A major robotics use of conjugate-momentum observers is **contact or external-force estimation**. In the bipedal multi-model architecture, one observer is built for each contact hypothesis, with reduced dynamics
\[
\tilde M_i \ddot y_i + \tilde C_i \dot y_i + \tilde G_i = \tilde \tau_{i,\text{mot} + \tilde \tau_{i,\text{ext},
\]
and momentum observer
\[
p_i = \tilde M_i \dot y_i, \qquad
\hat \tau_{i,\text{ext} = K_O(p_i - \hat p_i), \qquad
\dot{\hat p}_i = \beta_i + \hat \tau_{i,\text{ext}.
\]
The active contact mode is inferred from which constrained model produces the smallest residual, augmented by a Markov-style transition model [2412.03462]. Reported contact-mode accuracy is **98.44%** for a single 5 s planar simulation trial at 1 kHz with 70 dB signal-to-noise ratio, and **77.12%** on Sarcos Guardian XO hardware; the paper also reports **76.10%** for direct most-likely mode choice and states that the transition model reduces spurious switching [2412.03462].

The observer has also been adapted to systems in which the unknown is not foot contact but an aerodynamic or propulsion-related generalized force. In “Conjugate Momentum-Based Estimation of External Forces for Bio-Inspired Morphing Wing Flight,” the Aerobat dynamics are written as
\[
M_d(q_d,R_B)\,a_d = h_d(q_d,\dot q_d,R_B,\omega^B) + u_a + u_m + u_f,
\]
with conjugate momentum
\[
p(t) = M_d \dot q_d.
\]
The paper gives the force-estimation equation
\[
r_f(t) = K \left( p(t) - \int_0^t \left( u_a + u_m - \hat{\gamma}(q_d,\dot q_d) + r(s) \right) ds - p(0) \right),
\]
where \(u_f\) is the unknown generalized external force and \(K\) is a fixed diagonal gain matrix [2411.11218]. The reported \(R^2\) values are \(0.7448\) for \(F_x\), \(0.9970\) for \(F_y\), and \(0.9991\) for \(F_z\) under the stated simulation disturbance profile [2411.11218].

A closely related estimator appears in “Conjugate momentum based thruster force estimate in dynamic multimodal robot,” where Harpy’s dynamics are written as
\[
M \bm a + \bm h = B_j\, \bm u_j + B_t\, \bm u_t + B_g\, \bm u_g,
\]
the generalized momentum is
\[
\hat{\bm p} = \hat M \, \hat{\dot{\bm q},
\]
and the residual is defined so that
\[
\dot{ \bm r} = \bm K_0 \left( B_t \, \bm u_t - \bm r \right) = \bm K_0 \left( \dot{\bm p}(t) - \hat{\dot{\bm p}(t)\right).
\]
The estimated body-frame thruster force is then reconstructed by
\[
\hat{\bm u}_t = [J_{t}^{\top}J_t]^{\dagger}J_{t}^{\top} \bm r.
\]
The paper reports normalized RMSE values \(0.115586\), \(0.049212\), and \(0.194566\) for \(F_x\), \(F_y\), and \(F_z\), respectively, in the constraint-model case [2411.14596].

For multimodal legged-aerial locomotion, “Optimization free control and ground force estimation with momentum observer for a multimodal legged aerial robot” uses a Conjugate Momentum Observer to estimate the net generalized ground-contact wrench from the reduced-order body dynamics
\[
\bm M(\bm{q})\dot{\bm{v} + \bm h = \sum_{i \in \mathcal{F} \left[ \bm B_{gi}\bm{u}_{gi} \right] + \bm{u}_t.
\]
With generalized momentum \( \bm p = \bm M(\bm q)\bm v \), the observer residual is designed so that
\[
\bm K \rightarrow \infty \implies \bm r \approx \bm u_g,
\]
and the paper states that the momentum observer tracks the aggregate GRF wrench better than the constrained model, especially in the normal direction and during impulsive contact events [2411.11216].

## 4. Observer-defined momentum in general relativity

In general relativity, the phrase can be misleading. “Observer dependence of angular momentum in general relativity and its relationship to the gravitational-wave memory effect” is not about conjugate momentum in the Hamiltonian sense. It defines a procedure by which observers can locally assign
\[
(P^a, J^{ab})
\]
at a spacetime point using only nearby geometry, with \((P^a,J^{ab})\) regarded as an element of the dual of the Poincaré Lie algebra acting on the tangent space [1411.4599]. The pair is represented by
\[
(\kappa_a,\omega_{ab}) \mapsto P^a \kappa_a - \frac12 J^{ab}\omega_{ab},
\]
and under an origin shift \( \delta x^a \),
\[
J^{ab} \to J^{ab} + 2P^{[a}\delta x^{b]}.
\]

The operational construction uses local curvature data. Observers measure \(R_{abcd}\) and \(\nabla_aR_{bcde}\), form curvature invariants
\[
K_1 \equiv R_{abcd}R^{abcd}, \qquad
\mathcal K_1 \equiv \nabla_a R_{bcde}\nabla^a R^{bcde},
\]
define effective mass and radius,
\[
M = \frac{15\sqrt{5}\, K_1^2}{4\,\mathcal K_1^{3/2}}, \qquad
r = \sqrt{\frac{15K_1}{\mathcal K_1}},
\]
construct a source displacement \(y^a=-rn^a\), a 4-velocity \(u^a\), linear momentum \(P^a=Mu^a\), a spin vector \(S^a\), and finally
\[
J^{ab} = \epsilon^{abcd}u_c S_d + y^a P^b - y^b P^a.
\]
These definitions are chosen so that in stationary vacuum regions near future null infinity they reproduce the expected source charges [1411.4599].

The paper then introduces transport equations for comparing these quantities between observers,
\[
k^a \nabla_a P^b = 0, \qquad
k^a \nabla_a J^{bc} = 2P^{[b}k^{c]},
\]
and shows that curvature induces observer dependence through generalized holonomy [1411.4599]. Bursts of gravitational waves with memory give nontrivial generalized holonomy, so disagreement in angular momentum assignment is closely related to memory. This literature therefore concerns **observer-defined momentum**, not canonical conjugate variables.

## 5. Quantum observers of conjugate variables

In quantum measurement theory, the most direct analogue is a **measurement-theoretic observer** for a conjugate pair such as position and momentum. “Sequential Measurements of Conjugate Observables” provides a structure theorem for covariant instruments and proves that every Weyl-Heisenberg covariant phase-space observable can be implemented as a sequential measurement of two conjugate observables [1105.4976]. For a first instrument \(\mathcal I\) followed by a measurement of \(B\), the sequential observable is
\[
C(X\times Y)=\mathcal I_X^*(B(Y)),
\]
and the marginals are necessarily unsharp, of the form
\[
\widetilde A=A_\sigma,\qquad \widetilde B=B_\tau.
\]
In the standard position-momentum realization on \(L^2(\mathbb R)\), the coupling is the generalized von Neumann interaction \(L=e^{-iQ\otimes P}\), and the resulting joint observable is a covariant phase-space POVM rather than a sharp simultaneous \(Q\)-\(P\) measurement [1105.4976].

“Optimal estimation of conjugate shifts in position and momentum by classically correlated probes and measurements” studies small displacements of a harmonic oscillator with
\[
[X,P]=i, \qquad
D(\mu+i\nu)=e^{-i\nu X-i\mu P}.
\]
The paper shows that independent sets of differently squeezed Gaussian probes, classically correlated with matched quadrature measurements, attain the same asymptotic precision as the best known entangled Gaussian and non-Gaussian schemes for estimating the two displacement parameters [2203.03348]. The effective classically correlated probe ensemble is
\[
\rho_T=\sum_n w_n |n\rangle\langle n|\otimes \rho_n,
\]
with total classical Fisher information
\[
\mathbf C_T=\sum_n w_n \mathbf C_n.
\]
For the equal-weight squeezed-probe strategy,
\[
w_1=w_2=\frac12 \quad\Rightarrow\quad
C_S(1,1)=C_S(2,2)=e^{2r}=C_E(1,1)=C_E(2,2),
\]
matching the entanglement benchmark in the asymptotic regime [2203.03348].

“Phase-space microscopes for quantum gases” recasts the issue operationally for quantum gas microscopes. In the Husimi-\(Q\) mode, the apparatus implements a coherent-state POVM with outcome distribution
\[
P(x_{\rm m}, p_{\rm m})
=
\left|\langle \psi^{(x_{\rm m},p_{\rm m})}_{\rm coh}| \psi_{\rm i}\rangle\right|^2,
\]
which is exactly the Husimi-\(Q\) representation [2603.29568]. The uncertainty tradeoff is explicit:
\[
\Delta p_{\rm m}\sim \hbar/(\alpha\sigma), \qquad
\Delta x_{\rm m}\sim \alpha\sigma,
\]
so \(\Delta x_{\rm m}\Delta p_{\rm m}\sim \hbar\) up to factors of order one [2603.29568]. In the averaged mode, the microscope instead measures spatially resolved momentum-weighted densities such as
\[
\hat{\rho}_{\rm KE}({\bm r})
\equiv
\sum_{i=1}^N \sum_{\alpha=x,y}\frac{1}{2M} \hat{ p}_i^\alpha \delta({\bm r}-\hat{\bm r}_i)\hat{ p}_i^\alpha,
\]
and
\[
\hat{\rho}_{\rm quartic}({\bm r})
\equiv
\sum_{i=1}^N |\hat{\bm p}_i|^2 \delta({\bm r}-\hat{\bm r}_i)|\hat{\bm p}_i|^2.
\]
These protocols are observers of conjugate-variable structure, but not momentum observers in the robotics sense [2603.29568].

## 6. Conjugate momentum as an auxiliary collective variable

In nuclear many-body theory, “Generator coordinate method with a conjugate momentum” extends the generator coordinate method by including both a collective coordinate \(q\) and its conjugate momentum \(p\) as generator coordinates [2012.11123]. The DGCM ansatz is
\[
|\psi\rangle= \iint dqdp\,f(q,p)|q,p\rangle,
\]
with conjugacy condition
\[
\langle q, p| \overleftarrow{\partial}_{q} \overrightarrow{\partial}_{p}-\overleftarrow{\partial}_{p} \overrightarrow{\partial}_{q}| q, p\rangle=i.
\]
If \(|q\rangle\) is generated by a constrained mean-field operator \(\hat Q_0\), one defines
\[
|q,p\rangle\equiv e^{i\hat{Q}_0p}|q\rangle,
\]
which leads, after Fourier transformation in \(p\), to the projector
\[
\hat{P}_{q'}^{(\hat{Q}_0)}\equiv\int dp\,e^{i(\hat{Q}_0-q')p}.
\]
The conjugate momentum here is therefore an auxiliary variable whose integration reconstructs projected collective content, not an externally measured observer signal [2012.11123].

The application to particle-number projection makes the canonical pairing especially explicit. With \(\hat N\) and gauge angle \(\phi\), the DGCM state is
\[
|\psi\rangle_{N_0}=\iint dN d\phi \,f(N,N_0) e^{i(\hat{N}-N_0)\phi}|N\rangle,
\]
and the number projector is
\[
\hat{P}^{N_0}=\int_0^{2\pi}\frac{d\phi}{2\pi}\,e^{i(\hat{N}-N_0)\phi}.
\]
The method significantly lowers the ground-state energy, especially for magic nuclei where the BCS pairing gap vanishes, and the paper suggests it as a simpler alternative to VAP [2012.11123]. This usage is structurally “observer-like” only in the broad sense that the conjugate variable restores missing dynamical information.

## 7. Conceptual synthesis and recurring limitations

Across the cited literature, a common structural pattern emerges: conjugate or generalized momentum is chosen because it exposes unknown forces or conjugate-variable information through a balance law or through a covariant measurement construction. In robotics, the generic form is a momentum balance in which the unknown generalized force enters additively and can be estimated by a stable residual filter [2412.03462], [2505.03044]. In quantum measurement, the analogous object is a covariant phase-space POVM or a classically scheduled multi-run estimator that preserves the operational meaning of simultaneous access to conjugate variables while respecting noncommutativity [1105.4976], [2203.03348], [2603.29568]. In general relativity and DGCM, the term “observer” points instead to local assignment or variational reconstruction rather than to a disturbance observer [1411.4599], [2012.11123].

Several limitations recur. Robotics formulations are model dependent and often sensitive to velocity estimation, contact-mode ambiguity, frictional uncertainty, or poor dynamic-state estimates [2412.03462], [2505.03044], [2411.11218], [2411.14596], [2411.11216]. The continuum-robot formulation cannot localize contact from the momentum observer alone and identifies unobservable wrench directions through the rank properties of the contact Jacobian [2505.03044]. The multimodal legged-aerial and thruster-estimation papers rely heavily on accurate terrain or contact-force knowledge to separate contact from thrust effects [2411.14596], [2411.11216]. Quantum constructions do not evade noncommutativity; they replace sharp simultaneous measurement by unsharp joint measurement, sequential measurement, or many-run asymptotic estimation [1105.4976], [2203.03348], [2603.29568]. The general-relativistic construction is explicitly not about canonical conjugate momentum at all [1411.4599].

Taken together, the literature supports a narrow and a broad reading. In the **narrow** sense, a conjugate momentum observer is a Lagrangian residual observer built from \(p=\partial L/\partial \dot q\), used to estimate external generalized forces. In the **broader** sense, it denotes any operational scheme that reconstructs information encoded in a conjugate pair—whether through generalized momentum in robot dynamics, sequential measurement of \(Q\) and \(P\), classically correlated squeezed-probe estimation of \((\mu,\nu)\), phase-space microscopy, or DGCM augmentation by \((q,p)\).

Source: https://www.emergentmind.com/topics/conjugate-momentum-observer