---
title: Basic Adjoint Relationship (BAR)
url: https://www.emergentmind.com/topics/basic-adjoint-relationship-bar
type: topic
---

# Basic Adjoint Relationship (BAR)

Searching arXiv for the cited BAR-related papers to ground the article in the current literature.
The expression **Basic Adjoint Relationship (BAR)** is used in several technically distinct ways across contemporary mathematics, probability, operator theory, numerical analysis, and higher algebra. In stochastic-process and queueing theory, BAR denotes a stationary weak-form identity that couples an interior generator to boundary terms and serves as a characterization tool for stationary distributions [1510.01249]. In operator-theoretic and algorithmic-differentiation settings, BAR denotes an adjoint or transpose relation that moves derivatives or linear maps to a dual pairing, typically in the form of reversed adjoints or transposed Jacobians [1308.2427]. In recent work on matrix functions and neural ordinary differential equations, BAR is a reverse-mode differentiation principle derived from resolvent calculus or operator-adjoint identities [2109.04913]. In higher algebra, the same phrase is used for the adjoint-pair mechanism underlying derived and classical bar/cobar constructions [2507.15133]. These usages are not interchangeable, but they share a common structural theme: a relation that transfers a forward operation to a dual, backward, or boundary-corrected object.

## 1. Terminological scope and structural pattern

A recurrent feature of BAR across the cited literature is that it identifies a dual object by requiring compatibility with a bilinear pairing, a stationary identity, or an adjunction. In stochastic models, the pairing is between test functions and stationary or boundary measures; in operator theory and algorithmic differentiation, it is an inner-product identity that defines the adjoint map; in higher algebra, it is a representability statement for a pairing that produces an adjoint functor [1510.01249].

The operator-theoretic form is especially explicit in the statement
\[
(AB)^* \supset B^*A^*,
\]
for densely defined closable operators with dense product domain [1308.2427]. The algorithmic-differentiation form is expressed by
\[
\langle \nabla F \cdot v^{(1)},\, y_{(1)} \rangle = \langle v^{(1)},\, \nabla F^* \cdot y_{(1)} \rangle,
\qquad \nabla F^*=\nabla F^T,
\]
which identifies the adjoint map with the transpose of the Jacobian [1905.00578]. In reflected diffusions and queueing networks, BAR instead takes the form of a stationary weak equation such as
\[
\int_E Lf\,d\pi+\sum_{i=1}^d\int_{F_i}D_i f\,d\nu_i=0,
\qquad f\in C_b^2(E),
\]
or its queueing analog
\[
E[\mathcal A f(X)] = 0
\]
with additional jump terms or Palm corrections [2607.03639].

This suggests a family resemblance rather than a single universal definition. The shared content is the transfer of a forward relation—evolution, differentiation, multiplication, or pairing—to a dual object that encodes stationary, reverse, or adjoint information.

## 2. BAR in stochastic processes: stationary identities for reflected diffusions and queueing networks

In semimartingale reflected Brownian motion (SRBM) on the orthant \(E=\mathbb R_+^d\), with drift \(\mu\), covariance \(\Sigma\), and reflection matrix \(R=(R_1,\dots,R_d)\), the interior generator is
\[
Lf=\mu\cdot\nabla f+Q:D^2f,\qquad Q=\Sigma/2,
\]
and the oblique boundary derivative on face \(F_i=\{x:x_i=0\}\) is
\[
D_i f=R_i\cdot\nabla f.
\]
The BAR is the weak stationarity identity
\[
\int_E Lf\,d\pi+\sum_{i=1}^d\int_{F_i}D_i f\,d\nu_i=0, \qquad f\in C_b^2(E),
\]
where \(\pi\) is an interior measure and \(\nu_i\) are boundary occupation measures [2607.03639]. For the true stationary regime, this identity follows from Itô’s formula, and the converse question is whether the BAR determines the stationary distribution.

For generalized Jackson networks, the BAR is an exact stationary identity for the Markov process
\[
X^{(n)}(t) = \big(L^{(n)}(t), R_e^{(n)}(t), R_s^{(n)}(t)\big),
\]
with a drift operator
\[
\mathcal{A}f(x) = -\sum_{i\in \mathcal E}\frac{\partial f}{\partial u_i}(x) -\sum_{j\in \mathcal J}\frac{\partial f}{\partial v_j}(x)\,1(\ell_j>0),
\]
and a jump sum over arrival and service-completion events [1510.01249]. A key step is to choose exponential test functions so that the jump term disappears in expectation, reducing the BAR to a tractable derivative identity. After diffusion scaling, the stationary moment generating functions asymptotically satisfy the SRBM BAR
\[
\gamma(\theta)\varphi(\theta) + \sum_{j=1}^d b_j\,\gamma_j(\theta)\varphi_j(\theta) =0,
\qquad \theta\le 0,
\]
with
\[
\gamma(\theta)=\frac12\langle\theta,\Sigma\theta\rangle+\langle\mu,\theta\rangle,
\qquad
\gamma_j(\theta)=\langle R^{(j)},\theta\rangle
\]
[1510.01249].

The multiclass extension under static-buffer-priority (SBP) disciplines retains the same philosophy—derive the heavy-traffic limit directly from a stationary equation—but the state is a piecewise deterministic Markov process, and the BAR must incorporate Palm expectations of jump increments:
\[
E[\mathcal A f(X)] + \sum_{\ell\in \mathcal E} \lambda_\ell E_{e,\ell}\!\left[\Delta f(X_+,X_-)\right] + \sum_{k\in \mathcal K} \alpha_k E_{s,k}\!\left[\Delta f(X_+,X_-)\right] = 0.
\]
The use of Palm distributions resolves a queue-length truncation difficulty that appears to be unavoidable in the multiclass setting [2302.05791]. Under stability, state space collapse, and a tight-matrix condition, the limiting stationary law is the stationary distribution of an SRBM with effective reflection matrix
\[
R = A_L - A_{LH}A_H^{-1}A_{HL}
\]
[2302.05791].

Within this probabilistic tradition, BAR is therefore both a characterization principle and a proof method. It replaces limit-interchange arguments by direct stationary analysis, and it converts asymptotic steady-state questions into transform equations and boundary identities [1510.01249].

## 3. Signed BAR uniqueness and the Harrison–Reiman class

A central recent development is the signed-measure uniqueness problem for the BAR of multidimensional reflected diffusions. In the signed setting one allows finite signed measures \(\bar\pi,\bar\nu_i\), leading to the linear identity
\[
\int_E Lf\,d\bar\pi+\sum_{i=1}^d\int_{F_i}D_i f\,d\bar\nu_i=0, \qquad f\in C_b^2(E).
\]
The question is whether every signed BAR tuple is a scalar multiple of the stationary one [2607.03639].

For stable Harrison–Reiman data with a nonsingular \(M\)-matrix reflection matrix, the answer is affirmative. Under the assumptions
\[
R_{ii}>0,\qquad R_{ij}\le 0\ (i\ne j),\qquad R^{-1}\ge 0,
\qquad R^{-1}\mu<0,
\]
every finite signed BAR tuple is a scalar multiple of the stationary BAR tuple:
\[
\bar\pi=c\pi_0,\qquad \bar\nu_i=c\nu_i^0,\quad i=1,\dots,d.
\]
Equivalently, the vector space of finite signed BAR tuples is one-dimensional [2607.03639].

The proof strategy proceeds through the resolvent identity
\[
\int_E(\lambda R_\lambda h-h)\,d\bar\pi=0,\qquad h\in C_0(E),\ \lambda>0,
\]
where
\[
R_\lambda h(x)=\int_0^\infty e^{-\lambda t}P_t h(x)\,dt.
\]
The technical obstacle is that \(R_\lambda h\) need not be \(C_b^2(E)\) up to corners. The solution combines pathwise differentiability of the reflected diffusion, feasible directional differentiability of the probabilistic resolvent, tangent projections
\[
\mathsf L_x v = v - R_A R_{AA}^{-1}v_A,
\]
with
\[
\mathsf L_x R_i=0,\qquad i\in I(x),
\]
and a one-sided mollification
\[
g_\varepsilon(x)=\int \rho(w)\,g(x+\varepsilon w)\,dw,
\qquad \operatorname{supp}\rho\subset (1,2)^d,
\]
which remains strictly inside the orthant [2607.03639].

The same paper shows that the nonsingular \(M\)-matrix assumption is structural rather than technical. In the larger completely-\(\mathcal S\) class, a singular proper principal block \(R_{AA}\) permits lower-dimensional boundary gauges, and under exponential ergodicity together with a one-step regulator bound, these produce nonzero zero-mass signed BAR tuples:
\[
\bar\pi(E)=0,\qquad \bar\pi\ne 0.
\]
The zero-mass interior BAR coordinates contain an infinite-dimensional subspace [2607.03639]. This yields a sharp dichotomy: finite signed uniqueness holds in the stable Harrison–Reiman \(M\)-matrix class and fails in a natural completely-\(\mathcal S\) extension.

## 4. BAR in operator theory and adjoint linear algebra

In unbounded-operator theory, BAR refers to the relation between the adjoint of a product and the product of the adjoints. For densely defined closable operators \(A\) and \(B\) with dense \(D(AB)\), the basic inclusion is
\[
(AB)^* \supset B^*A^*.
\]
This inclusion may be strict, and much of the theory concerns conditions under which equality holds:
\[
(AB)^* = B^*A^*.
\]
The analysis is tied to closures of products, dense domains for \(B^*A^*\), and closedness conditions on \(AB\), \(\overline{AB}\), and \(B^*A^*\) [1308.2427].

One clean sufficient criterion is: if \(A\) and \(B\) are densely defined, \(B\) is closed, and \(B^{-1}\in B(H)\), then
\[
(AB)^* = B^*A^*.
\]
In particular, this holds when \(B\) is unitary [1308.2427]. Another sufficient theorem states that if \(T,S\) are densely defined, \(S\) is closed, and \(\operatorname{codim}R(S)<\infty\), then
\[
(TS)^* = S^*T^*.
\]
These formulas are used to sharpen criteria for self-adjointness and normality of products and to clarify operator-product questions for Dirac operators [1308.2427].

In the linear-algebraic and algorithmic-differentiation setting, BAR is the inner-product identity that defines adjoints by transposition:
\[
\langle \nabla F \cdot v^{(1)},\, y_{(1)} \rangle = \langle v^{(1)},\, \nabla F^* \cdot y_{(1)} \rangle.
\]
Applied to BLAS-level primitives, this yields the standard reverse-mode formulas. For the matrix-vector product
\[
y=Ax,
\]
the tangent relation
\[
y^{(1)} = A^{(1)}x + A x^{(1)}
\]
induces the adjoint propagation
\[
x_{(1)} = A^T y_{(1)}, \qquad A_{(1)} = y_{(1)} x^T.
\]
For the matrix-matrix product
\[
Y=AX,
\]
one obtains
\[
A_{(1)} = Y_{(1)}X^T, \qquad X_{(1)} = A^T Y_{(1)}.
\]
For linear systems \(Ax=b\), the adjoint sensitivity of the solve is another transpose solve [1905.00578].

These two literatures differ in emphasis. The unbounded-operator literature studies domain, closure, and self-adjointness subtleties, whereas the AD literature treats BAR as a constructive reverse-mode rule. The common feature is the reversal of operator order under adjunction.

## 5. BAR in reverse-mode differentiation, matrix functions, and dynamical systems

For generic matrix functions
\[
C=f(A),
\]
with \(A\in \mathbb R^{n\times n}\) square and \(f\) holomorphic near every eigenvalue of \(A\), BAR is a reverse-mode differentiation formula that maps the incoming adjoint \(\overline{C}\) to the adjoint \(\overline{A}\) directly, without differentiating through a particular factorization component-by-component [2109.04913]. Using the contour representation
\[
f(A)=\frac{1}{2\pi i}\int_{\Gamma} f(\lambda)\,(\lambda I-A)^{-1}\,d\lambda,
\]
and differentiating the resolvent, the paper derives
\[
\overline{A} = \frac{1}{2\pi i}\int_{\Gamma} f(X)\, \mathrm{Res}(X)^{T}\, \overline{C}\, \mathrm{Res}(X)^{T} \,dX,
\qquad \mathrm{Res}(X)=(A-XI)^{-1}.
\]
When \(A=UDU^{-1}\) is diagonalizable, this reduces to the divided-difference formula
\[
\overline{A} = U\Bigl( F \circ \bigl(U^{-1}\,\overline{C}^{\,T}\,U\bigr) \Bigr)U^{-1},
\]
where \(F\) is the matrix of divided differences of \(f\) on the eigenvalues [2109.04913]. The same template yields closed-form adjoints for the positive-part map \(A\mapsto A_+\), the nearest correlation matrix routine, and a regularized regression construction [2109.04913].

In neural ordinary differential equations, BAR denotes the operator-adjoint or integration-by-parts identity relating the forward sensitivity equation
\[
\dot{\eta}(t) = f_z|_*\eta(t) + f_\theta|_*\zeta(t)
\]
to the adjoint equation
\[
\dot{a}(t) = -a(t)\frac{\partial f}{\partial z}|_*,
\qquad
a(t_f) = -\frac{\partial L}{\partial z(t_f)}|_*.
\]
For terminal-only loss and time-independent parameter \(\theta\), the gradient is
\[
\frac{dJ(\theta)}{d\theta} = -\int_{t_0}^{t_f}a(t)\frac{\partial f}{\partial \theta}|_*dt.
\]
A central claim of the paper is that the loss gradient is not an ODE but an integral, and that the traditional continuous adjoint formulation is not generally equivalent to backpropagation through the actual discretized solver unless the backward discrete scheme uses the same discrete scheme as the forward solver [2402.15141].

In hybrid multibody dynamical systems, trajectories and sensitivities are piecewise smooth and discontinuous at events. There the BAR is the bilinear identity
\[
\frac{d\psi}{d\rho}
=
\left(\frac{d\psi}{dx}\right)^{\!T} \frac{dx}{d\rho}
=
\lambda^{T}X,
\]
which must remain valid across jumps [1802.07188]. If the direct sensitivity jump is
\[
X^+ = \mathsf S_{\text{eve}}\,X^-,
\]
then preservation of the pairing
\[
(\lambda^+)^T X^+ = (\lambda^-)^T X^-
\]
forces the adjoint jump condition
\[
\lambda^- = \mathsf S_{\text{eve}}^T \lambda^+.
\]
The paper validates this framework on a five-bar mechanism and reports agreement of direct and adjoint sensitivities to within less than \(0.01\%\) in the cost-function sensitivity [1802.07188].

Across these examples, BAR functions as a reverse-mode principle. It transports sensitivity information through analytic functional calculus, continuous-time dynamics, or event-driven jumps by an adjoint pairing.

## 6. Bar/cobar adjunctions and categorical BAR

In higher algebra, the phrase **Basic Adjoint Relationship** is used for the adjoint-pair mechanism behind bar and cobar constructions. The central idea is that a twisted-arrow-type object represents a pairing, and that representability yields an adjunction [2507.15133].

For an ordinary small category \(I\), the paper recalls that for a complete and cocomplete \(\infty\)-category \(\mathcal C\) one obtains an adjunction
\[
\xymatrix{\mathcal{C}^{I} \ar@<3pt>[rrr]^{\barlurie_{\mathcal{C}\, :=\, \pi_{2,!} \pi_1^*}} & & &  \ar@<3pt>[lll]^{\cobarlurie_{\mathcal{C}\, :=\, \pi_{1,*} \pi_2^*}}  \mathcal{C}^{I^{\op}} }
\]
with \(\pi_{1,*}\pi_2^*\) right adjoint [2507.15133]. This is the derived bar/cobar pair in the sense of Lurie, and here **bar is left adjoint** while **cobar is right adjoint**.

The same work isolates a different adjunction, called the classical bar/cobar adjunction,
\[
\xymatrix{ \mathcal{C}^{I}  \ar@<3pt>[rr]^{\cobarconst} & &  \ar@<3pt>[ll]^{\barconst} \mathcal{C}^{I}  },
\]
where \(\barconst\) is a fully faithful “bar” embedding and \(\cobarconst\) is its left adjoint [2507.15133]. Thus the variance is reversed relative to the derived case: in the classical setting, **bar** is the right-hand fully faithful functor and **cobar** is its left adjoint.

The abstract framework employs cofibrations of \(\infty\)-operads, Day convolution, and relative operadic Kan extensions. The derived adjunction is expressed as a representability identity
\[
\Hom(\barlurie X,Y)\cong \Hom(X,\cobarlurie Y),
\]
while the classical one takes the form
\[
\Hom\bigl(\widetilde{\pi_1^*}X,\,Y\bigr)\cong \Hom\bigl(X,\,\cobarconst(Y)\bigr).
\]
Within this framework, the paper recovers classical comparison maps, including the Szczarba and Hess–Tonks maps, and relates Lurie’s constructions to the classical bar of Eilenberg–MacLane, Kan’s loop group, and Adams cobar [2507.15133].

This usage of BAR is categorically remote from stochastic and operator-theoretic BAR, but the formal pattern is recognizable: a pairing becomes represented by adjoint functors.

## 7. Disambiguation and common confusions

The multiplicity of meanings attached to BAR creates several recurrent confusions. The first is terminological: BAR in reflected diffusions and queueing theory is a stationary identity for measures, not an adjoint operator formula. Its variables are typically test functions, generators, and boundary measures, rather than Hilbert-space adjoints or Jacobian transposes [2607.03639].

A second confusion arises within adjoint-based computation. In neural ODEs, the cited paper argues that the loss gradient is an integral rather than an ODE, and that the continuous adjoint is not generally the adjoint of the discrete solver unless the same discrete scheme is used forward and backward [2402.15141]. This is a stronger claim than the standard continuous-time formal derivation and should be read in the paper’s specific operator-adjoint sense.

A third confusion concerns the distinction between an adjoint representation and a basic adjoint relationship. In non-perturbative gauge theory, the “adjoint” or “octet” channel of the static \(q\bar q\) potential refers to the adjoint representation in the decomposition
\[
[N]\otimes[\bar N] = [S]\oplus[Ad],
\]
and the corresponding potential is extracted by projecting the temporal-gauge kernel onto the adjoint color sector [1304.2542]. This is not a BAR in the probabilistic, operator-theoretic, or categorical senses.

A plausible implication is that BAR is best treated as a context-dependent technical term rather than a single cross-disciplinary definition. What unifies the usages is a structural idea—transfer to a dual object, often through a pairing—but the actual meanings, hypotheses, and applications are domain-specific.

Source: https://www.emergentmind.com/topics/basic-adjoint-relationship-bar