---
title: Canonical Separable Reciprocal Cost
url: https://www.emergentmind.com/topics/canonical-separable-reciprocal-cost
type: topic
---

# Canonical Separable Reciprocal Cost

The canonical separable reciprocal cost is a uniquely specified, mathematically rigid penalty function for quantifying the deviation of positive vectors from a neutral (zero-defect) configuration in the positive orthant $(\mathbb{R}_{>0})^n$. Its fundamental form is characterized by a combination of normalization, a nonlinear composition law, and local quadratic calibration. This structure grounds optimal finite-data decision procedures and induces a singular Hessian geometry in both statistical and information-theoretic contexts.

## 1. Definition and Uniqueness

The canonical separable reciprocal cost arises from the one-dimensional function
\[
J: (0, \infty) \longrightarrow [0, \infty), \quad J(x) = \frac{1}{2}(x + x^{-1}) - 1.
\]
This function is then extended to $(\mathbb{R}_{>0})^n$ in a separable manner:
\[
J_n(x_1, ..., x_n) = \sum_{i=1}^n J(x_i).
\]
Given scale maps $\iota_S$ and $\iota_O$, the cost between a signal $s$ and an observation $o$ is
\[
c(s, o) = J\left( \frac{\iota_S(s)}{\iota_O(o)} \right).
\]

The uniqueness of $J$ is proved by requiring:
- **Normalization**: $J(1)=0$
- **Recognition Composition Law (RCL)**: For all $x,y>0$,
  \[
  J(xy) + J(x/y) = 2J(x) + 2J(y) + 2J(x)J(y)
  \]
- **Local quadratic calibration**: $J_{\log}''(0)=1$ with $J_{\log}(t) = J(e^t)$

The only continuous, non-constant solution to these conditions is $J(x)$ above [2602.05753, 2603.20205].

## 2. Axiomatic Foundation: Recognition Composition Law and Rigidity

The Recognition Composition Law (RCL) is the central axiom that rigorously determines the admissible cost function. RCL, together with normalization, enforces reciprocity: $J(x) = J(1/x)$.

Expressing $J$ in logarithmic coordinates and applying the RCL, one finds the associated function $h(t) = 1 + J(e^t)$ must solve the functional equation
\[
h(s+t) + h(s-t) = 2 h(s) h(t).
\]
Quadratic calibration selects the specific hyperbolic-cosine solution $h(t) = \cosh(t)$, so $J(e^t) = \cosh(t) - 1$. This is the sole admissible function with the prescribed normalization and calibration—demonstrating that the cost is rigidly determined by the axioms, and any deviation (e.g., dropping calibration or continuity) results in a broader family or pathological solutions [2602.05753].

## 3. Multidimensional Generalization and Hessian Geometry

The cost is extended to the multidimensional setting using a weighted geometric mean:
\[
R(x) = \prod_{i=1}^n x_i^{\alpha_i}, \qquad \varphi(x) = \frac{1}{2}\left(R + R^{-1}\right) - 1.
\]
Setting $\alpha_i = 1/n$ yields the permutation-symmetric form,
\[
\varphi(x) = \frac{1}{2}\left( \left(\prod_{i=1}^n x_i\right)^{1/n} + \left(\prod_{i=1}^n x_i\right)^{-1/n} \right) - 1.
\]
In logarithmic coordinates $t_i = -\ln x_i$, defining $S = \alpha \cdot t$, one finds $\varphi(x) = \cosh S - 1$, so the potential depends only on the scalar $S$ [2604.06957].

The induced Hessian metric in log-coordinates, $g_{ij}(t) = \partial_{ij}\varphi(t) = \cosh S\,\alpha_i\alpha_j$, has rank one everywhere, with the null distribution $\{v : \alpha \cdot v = 0\}$ forming an $(n-1)$-dimensional integrable subspace. In the original coordinates, the corresponding Hessian metric is generically pseudo-Riemannian, degenerating along hypersurfaces defined by $R=1$ and $\tanh S = \sum_i \alpha_i$ [2604.06957].

## 4. Decision Procedures and the Coercive Projection Theorem

A canonical maximal procedure for certifying neutral configurations from aggregated window-sum data is constructed and proven optimal within its class. For a configuration $x\in(\mathbb{R}_{>0})^n$ and observed "window-sums" $w$, the procedure $\Phi^*$ decomposes as
\[
\Phi^* = A \circ B \circ P,
\]
where:

- $A$: Aggregation/reconstruction—locally inverts the window map to obtain $y = \log x$ if the data lie on the identifiability locus (full-rank Jacobian or invertible Hankel matrix).
- $P$: Projects $y$ to mean-zero under the conservation constraint: $P(y) = y - \frac{1}{n} (\sum_i y_i)(1,...,1)$.
- $B$: Applies the separable cost and decides:
  \[
  B(P(y))=
  \begin{cases}
    \texttt{zero} & \text{if } \mathcal{B}(P(y))=0 \\
    \texttt{nonzero} & \text{otherwise}
  \end{cases}
  \]
  with $\mathcal{B}(P(y))=\sum_{i=1}^{n} J(e^{(P(y))_i})$ [2603.20205].

On the identifiability locus, $\Phi^*$ resolves all and only those cases that can be decided from finite data, and agrees with any other sound certification rule wherever defined. This maximality is a direct consequence of the structure forced by the canonical cost.

## 5. Relations to Divergences and Information Geometry

The canonical separable reciprocal cost connects to several general divergence concepts:
- **Symmetrized Itakura–Saito divergence**: For $R$ as above,
  \[
  \frac{1}{2}[D_{\text{IS}}(1\|R) + D_{\text{IS}}(R\|1)] = \varphi(x)
  \]
  where $D_{\text{IS}}(p\|q) = (p/q) - \ln(p/q) - 1$.

- **Bregman divergence**: In logarithmic coordinates, $\varphi(t) = \cosh S - 1$ is convex, and its Bregman divergence locally agrees with the Hessian metric.

- **Fisher–Rao metric realization**: The Hessian metric $g_{ij}(t) = \cosh S\,\alpha_i \alpha_j$ arises as the Fisher information metric for Gaussian models whose mean depends on $S$ via a suitable transformation [2604.06957].

## 6. Illustrative Special Cases and Stability

Special instances include:
- **Exponential sum signals**: For $y_n = \sum_{i=1}^d A_i \mu_i^n$, Prony methods demonstrate invertibility of the window map.
- **$\varepsilon$-tolerant noise model**: If observed windows deviate by at most $\varepsilon$, the inverse function theorem and Lipschitz properties of $B$ yield explicit stability bounds: “zero-defect” is certified only if the true defect falls within $O(\varepsilon^2)$.
- **Sharpness at identifiability barrier**: If two distinct signals yield identical window-sums but have different neutral status, no sound procedure can resolve the case conclusively [2603.20205].

## 7. Structural and Geometric Properties

Key properties of the canonical cost $J(x)$:
- **Symmetry**: $J(x) = J(1/x)$.
- **Unique minimizer and nonnegativity**: $J(x) \geq 0$, with equality iff $x=1$.
- **Strict convexity in log-space**: $J(e^t) = \cosh t - 1$.
- **Separable structure (d'Alembert law)**: $J(xy) + J(x/y) = 2J(x)J(y) + 2J(x) + 2J(y)$.
- **Bregman divergence form**: $J(e^t) = D_\Phi(t,0)$ for $\Phi(t) = \cosh t$.
- **Minimality**: No alternative $F\neq J$ can satisfy the prescribed axioms [2602.05753].

The associated geometry is intrinsically degenerate in logarithmic space and pseudo-Riemannian in the original variables, with explicit singularity loci. The metric structure and divergence relations provide a multifaceted characterization useful in statistical certification, optimization, and informational geometry contexts [2604.06957].

---

**References:**  
[2602.05753]  
[2603.20205]  
[2604.06957]

Source: https://www.emergentmind.com/topics/canonical-separable-reciprocal-cost