---
title: 'Axes of Correspondence: Data, Neural & Algebra'
url: https://www.emergentmind.com/topics/axes-of-correspondence
type: topic
---

# Axes of Correspondence: Data, Neural & Algebra

to=arxiv_search.search  仲博ি  心博json
{"query":"\"axes of correspondence\" correspondence analysis tensor HOSVD ICA word embeddings soft-matching neural representational comparison", "max_results": 10}】【”】【assistant to=arxiv_search.search մեկնաբանություն  大发快三是不是json
{"query":"Lusztig Correspondence Howe Correspondence finite reductive dual pairs 1906.01158", "max_results": 5}】【：】【“】【assistant to=arxiv_search.search մեկնաբանություն  大发娱乐json
{"query":"Partial Soft-Matching Distance Neural Representational Comparison Partial Unit Correspondence 2602.19331", "max_results": 5}】【。analysis to=arxiv_search.search  天天中彩票中了json
{"query":"Axis Tour Word Tour ICA transformed embeddings 2401.06112", "max_results": 5}
“Axes of correspondence” is not a single universally fixed term. Across several technical literatures, it denotes the directions, units, generators, or invariant supports through which a correspondence becomes explicit: principal factor axes in Correspondence Analysis, mode-wise HOSVD axes in multiway contingency analysis, matched neurons or coordinate axes in representational comparison, reordered ICA components in word embeddings, object-centric task axes in robotic manipulation, double axes in Matsuo algebras, and rigid invariant loci for correspondences of curves [1512.04052][2111.04343][2602.19331][2401.06112][2103.10524][2004.11180][1203.1108]. A common theme is that correspondence is treated not merely as a relation between whole objects, but as a structured alignment resolved into factor directions, eigenspaces, semantically meaningful units, or invariant geometric data.

## 1. Correspondence Analysis and principal factor axes

In Correspondence Analysis (CA), the axes of correspondence are the principal factor directions obtained from the geometry of profiles under the $\chi^2$ metric. Starting from a nonnegative matrix $k_{IJ}$, CA passes to frequencies $f_{IJ}$, row masses $f_I$, and column masses $f_J$. For a row $i \in I$, the column profile is
\[
f^i_J = \{ f^i_j = f_{ij}/f_i = (k_{ij}/k)/(k_i/k) ; f_i \neq 0 ; j \in J \},
\]
and the analysis is carried out on these profiles rather than on raw counts [1512.04052].

The resulting factor space is orthonormal, and the axes are ordered by decreasing eigenvalue, or inertia. The paper states that “Correspondence factor analysis provides a latent semantic or principal axes mapping” [1512.04052]. Its inertia decomposition is written as
\[
M^2(N_J(I)) = \sum_{\alpha=1..\nu} \lambda_\alpha = \sum_{i \in I} f_i \rho^2(i),
\]
with
\[
\lambda_\alpha = \sum_{i \in I} f_i F^2_\alpha(i)
\qquad\text{and}\qquad
\rho^2(i) = \sum_{\alpha=1..\nu} F^2_\alpha(i).
\]
Here $\lambda_\alpha$ is the inertia explained by axis $\alpha$, $F_\alpha(i)$ is the coordinate of point $i$ on that axis, and $\rho^2(i)$ is the squared distance of $i$ from the origin in factor space [1512.04052].

Interpretation in CA is contribution-driven. The paper emphasizes that “Inertia is more important than projection (i.e., position) per se,” and defines absolute and relative contributions such as $f_j F^2_\alpha(j)$ and $\frac{f_j F^2_\alpha(j)}{\lambda_\alpha}$ for pointwise interpretation of an axis [1512.04052]. This makes the axes semantic only in relation to the masses that generate them.

A further claim of the high-dimensional study is that CA is particularly suitable for “an orthonormal mapping, or scaling, of power law distributed data,” including dimensions up to around one million. As dimensionality increases, the paper reports concentration of the cloud, decreasing mean absolute contribution to inertia, and effective simplification of the geometry around a small number of dominant directions [1512.04052].

## 2. Multiway correspondence: mode-wise axes and generalized barycenters

The tensor extension of CA replaces the row/column duality of a matrix by a family of mode-wise point clouds. For a $d$-way contingency tensor
\[
F \in \mathbb{R}^{n_1 \times \cdots \times n_d},
\]
the unfolding $F^{(\mu)}$ along mode $\mu$ defines a point cloud $\mathcal{X}_\mu$ whose rows correspond to the categories of that mode and whose columns correspond to all combinations of the remaining modes [2111.04343]. The axes of correspondence are therefore no longer only row and column axes; each tensor mode has its own axes.

The tensor analogue of the SVD is given by the Tucker model and HOSVD:
\[
X = (U_1,\dots,U_d)C,
\]
where $U_\mu \in \mathbb{R}^{n_\mu \times r_\mu}$ is an orthonormal factor matrix for mode $\mu$, $C$ is the core tensor, and $r_\mu$ is the multilinear rank. The mode-$\mu$ principal component matrix is
\[
Y_\mu = U_\mu \Sigma_\mu.
\]
Accordingly, the columns of $U_\mu$ are the axes for mode $\mu$, and the rows of $Y_\mu$ are the coordinates of the points of mode $\mu$ projected on those axes [2111.04343].

A central structural result is that the axes are coupled across modes. For general order $d$, the paper gives
\[
Y_{\mu} = X^{(\mu)} \bigl(Y_d \otimes_K \cdots \otimes_K Y_{\mu+1} \otimes_K Y_{\mu-1}\otimes_K \cdots \otimes_K Y_1\bigr) (B^{(\mu)})^T,
\]
with $B = (\Sigma_1^{-1},\dots,\Sigma_d^{-1})\,C$ [2111.04343]. This means that one mode’s principal coordinates are linear combinations of Kronecker products of the others, so the mode-wise axes are not isolated decompositions.

To recover genuine CA geometry, the paper introduces CA-style marginals
\[
f^\mu_{i_\mu}=\sum_{i_1,\dots,i_{\mu-1},i_{\mu+1},\dots,i_d} F_{i_1\cdots i_d},
\qquad
D_\mu = \operatorname{diag}(\sqrt{f^\mu}),
\]
and the isometry
\[
\nu(F) = (D_1^{-1},\dots,D_d^{-1})F.
\]
Under this metric, the barycentric relation survives in tensor form. The authors define
\[
W_\mu = D_\mu Y_\mu, \qquad Z_\mu = D_\mu^{-2}W_\mu,
\]
and prove generalized barycentric formulas in which each scaled coordinate of one mode is a weighted barycenter of coordinates from the other modes [2111.04343]. The reported advantages are that MWCA keeps each mode separate, reveals global relationships among all modes at once, and preserves the CA-type barycentric interpretation; the reported limitations are dependence on the chosen tensor approximation, possible sign flips of bases, and the fact that classical matricized CA can expose relations specific to a chosen unfolding more sharply [2111.04343].

## 3. Axis-level correspondence in learned representations

In neural representational comparison, the question of axes of correspondence is posed explicitly as a question about which individual units or coordinate axes line up across systems, and which do not. The partial soft-matching framework argues that rotation-invariant similarity measures such as CKA, RSA, and CCA-style methods discard axis identity and are therefore blind to this question. Its central contribution is a partial optimal transport formulation of soft-matching that allows only a fraction $s \in [0,1]$ of the total mass to be matched, leaving the rest unmatched. The transport plan $T^\star$ then induces a ranking of units: row sums and column sums indicate how much each unit participates in cross-system alignment, and near-zero sums identify effectively unmatched units [2602.19331].

This changes the interpretation of representational correspondence from a forced global matching to a partition into aligned and unmatched subpopulations. The paper is explicit that partial OT does not satisfy the triangle inequality, so it is not a proper metric in the strict sense, but it is proposed as a comparative tool. Its empirical results are organized around robustness to outliers, ranking of neurons and voxels by alignment quality, improved precision of homologous alignment in fMRI, and the observation that matched deep-network units tend to have similar maximally exciting images whereas unmatched units show divergent patterns [2602.19331]. Most directly for the axis question, the authors rotate one representation by an orthogonal matrix $Q$ and show that rotation consistently reduces alignment at all thresholds, including among the most highly matched units; they interpret this as evidence for “privileged representational axes” [2602.19331].

A related but distinct use of the term appears in ICA-transformed word embeddings. There, ICA yields semantically interpretable components, but “ICA does not determine any meaningful order among the axes”: any permutation of the components is equally valid [2401.06112]. Axis Tour addresses this by defining an axis embedding from the top $k$ words on each ICA axis and solving a TSP-like ordering problem so that neighboring axes have high cosine similarity. The objective is semantic continuity rather than new decomposition. The paper reports that Axis Tour shifts the histogram of adjacent-axis cosine similarities toward more positive values, gives a Spearman correlation of $0.43$ between skewness and local semantic continuity compared with $0.04$ for Skewness Sort, and at $p=100$ yields average downstream performance of $0.46$ on Analogy, $0.51$ on Similarity, and $0.63$ on Categorization, compared with PCA’s $0.45$, $0.48$, and $0.61$ [2401.06112]. At full dimension $p=300$, all methods coincide because Axis Tour, Random Order, and Skewness Sort are orthogonal reparameterizations of the same ICA space [2401.06112].

## 4. Object-centric task axes in robotic manipulation

In robotics, axes of correspondence arise as object-centric directions used to parameterize modular controllers. The task-axes-controller framework is designed for manipulation tasks with large variation in object shape, size, and geometry and without access to CAD models. Rather than learning a monolithic image-to-action policy, the method composes controllers for reaching, forcing, aligning, and rotating, each defined relative to semantically meaningful object properties inferred from vision [2103.10524].

The paper uses three controller families: position controllers parameterized by $(x_d, u)$, force controllers parameterized by $(f_d, u)$, and rotation controllers parameterized by $(r_d, u)$. With current end-effector translation $x_c \in \mathbb{R}^3$, rotation $R_c \in SO(3)$, and force $f_c \in \mathbb{R}^3$, the position error is
\[
\delta_x(x_d, u, x_c) = \mathcal{P}(u) (x_d - x_c),
\qquad
\mathcal{P}(u) = u u^\top,
\]
and the rotational correction is
\[
\delta_R(r_d, u, R_c) = \cos^{-1}( (R_c u)^\top r_d) ((R_c u) \times r_d).
\]
These formulas make the axis $u$ a literal geometric constraint on translation or alignment [2103.10524].

The visual side is bootstrapped by multi-view dense correspondence learning. A dense descriptor network $\phi$ is used together with reference pixels $p_r^i$ so that corresponding pixels in a new image are obtained by nearest-neighbor matching in descriptor space,
\[
p^i = \argmin_{p} \| \phi(p^i_r) - \phi(p) \|_2,
\]
after which depth yields the 3D keypoint $x_d^i$ [2103.10524]. For axes, the method constructs a candidate axes set $A \coloneqq \{a^1, a^2, \cdots\}$ containing object axes and world axes, and associates each position target with each candidate axis instead of relying on hand-crafted axis selection [2103.10524].

The system is evaluated on Button Press, Block Tumble, and Door Open. Mean success over $15$ environment variations is reported as follows: for Button Press, EE-Space $0.98$, TAC (Manual) $1.0$, TAC (Keypoints+Axes) $1.0$; for Block Tumble, EE-Space $0.487$, TAC (Manual) $0.96$, TAC (Keypoints+Axes) $0.932$; for Door Opening, EE-Space $0.0$, TAC (Manual) $0.97$, TAC (Keypoints+Axes) $0.94$ [2103.10524]. The paper attributes this improvement to the object-centric inductive bias and to the modular separation of perception and control.

## 5. Representation-theoretic correspondences and algebraic axes

In finite reductive character theory, correspondence does not refer to geometric axes, but to compatible parametrizations indexed by semisimple and unipotent data. For a finite reductive dual pair $(G,G')$ of symplectic and orthogonal type over $\mathbb F_q$ with $q$ odd, the Howe correspondence is defined from the decomposition of the Weil representation restricted to $G \times G'$, while the Lusztig correspondence identifies a Lusztig series $\mathcal E(G,s)$ with unipotent characters of the centralizer $C_{G^*}(s)^F$. The main theorem proves that these correspondences commute up to twisting by the sign character, and as a consequence the Howe correspondence can be described explicitly in Lusztig’s parametrization for classical groups [1906.01158]. A plausible implication is that, in this setting, correspondence is resolved into semisimple labels and unipotent parameters rather than into literal coordinate directions.

A genuinely axis-based algebraic usage appears in Matsuo algebras. There, an axial algebra is a commutative non-associative algebra generated by idempotents called axes, subject to a fusion law. In the Matsuo algebra $M_\eta(\mathcal F)$ attached to a $3$-transposition group, each basis element is a single axis satisfying the Jordan-type fusion law $J(\eta)$, and for orthogonal single axes $a,b$ with $ab=0$, the sum
\[
x:=a+b
\]
is again an idempotent, called a double axis [2004.11180]. The paper proves that if $\eta \neq 1$, then $x$ satisfies the Monster-type fusion law $M(2\eta,\eta)$, with eigenspaces
\[
M_1(x)=\langle a,b\rangle,\qquad M_0(x)=M_{0,0},\qquad M_{2\eta}(x)=M_{\eta,\eta},\qquad M_\eta(x)=M_{\eta,0}\oplus M_{0,\eta},
\]
and Miyamoto involution
\[
\tau_{a+b}=\tau_a\tau_b.
\]
It also classifies primitive subalgebras generated by single and double axes in small ranks and introduces the flip construction, which yields infinite series $Q_k(\eta)$, $2Q_k(\eta)$, and $3Q_k(\eta)$ of axial algebras of Monster type [2004.11180].

## 6. Correspondence in algebraic geometry: cobordism and invariant forms

A correspondence-based reformulation of bivariant ideas appears in algebraic cobordism. Instead of indexing a theory by a morphism $X \to Y$, the bi-variant theory $\mathbb{M}^{*,\#}(X,Y)$ is indexed by a pair $(X,Y)$ and built from isomorphism classes of correspondences
\[
[X \xleftarrow{p} V \xrightarrow{s} Y; E],
\]
where $p$ is proper, $s$ is smooth or quasi-smooth, and $E$ is a vector bundle on $V$ [2207.00269]. Product is defined by fiber product and direct sum of pulled-back bundles, and the theory carries product, pushforward, pullback, units, base-change compatibilities, and a projection formula. The paper proves that
\[
\mathbb{M}^{*,\#}(X,pt)\cong \omega^{*}_{\#}(X)
\qquad\text{and}\qquad
\mathbb{M}^{*}(X,pt)\cong \omega_{*}(X),
\]
so the theory is a correspondence-based bi-variant extension of Lee–Pandharipande cobordism of bundles and Levine–Morel algebraic cobordism [2207.00269].

For correspondences of curves, the relevant invariant object is a differential form rather than a bundle class. A correspondence is a tuple
\[
X=(Y,X,\theta_1,\theta_2),
\]
with morphisms $\theta_1,\theta_2 : X \to Y$. A nonzero form $\omega\in 2K(Y)^{\otimes v}$ is invariant if $\theta_1^*\omega=\theta_2^*\omega$ and semi-invariant if $\theta_1^*\omega=\lambda\,\theta_2^*\omega$ for some $\lambda\in k^\times$ [1203.1108]. The paper studies the associated group $G_X$ of semi-invariant classes and the conductor
\[
C_{Y,\omega} := \#\bigl(\operatorname{support}(\operatorname{div}\omega)\bigr).
\]
When $\deg\theta_1>\deg\theta_2$ and both maps are tamely ramified, Theorem 1.1 gives a bound on the conductor determined by the genera and the degrees, and Proposition 2.1 shows that $G_X$ has rank at most $1$ [1203.1108].

On $\mathbb P^1$, under the hypotheses that the maps are tamely ramified, conjugate to maps completely ramified at a point, and satisfy $\deg\theta_1 \ge 14\deg\theta_2$, Theorem 1.2 shows that any primitive semi-invariant form is flat: either a weight-$1$ form of type $(t-a)\,dt$ or a weight-$2$ form of type $(t-a)(t-b)\,(dt)^2$ [1203.1108]. In the number-field setting, Theorem 1.3 states that if $G_{X_p}$ is non-trivial and generated by primitives of weight $1$ for infinitely many places $p$, then the pair is conjugate to a pair obtained by composing a common endomorphism with multiplicative maps [1203.1108]. The same discussion situates these results alongside multiplicative, Chebyshev, and Lattès classifications. In the paper’s geometric interpretation, the support of $\operatorname{div}(\omega)$ acts as the invariant skeleton of the correspondence; this is the sense in which the support pattern functions as the correspondence’s “axis” [1203.1108].

Across these literatures, “axes of correspondence” therefore denotes a family of structurally similar but mathematically distinct devices. In CA and MWCA, the axes are orthonormal factor directions and mode-wise principal components; in neural and lexical models, they are matched or ordered coordinate directions; in robotics, they are semantically meaningful control directions inferred from correspondences; in axial algebras, they are idempotent generators governed by fusion laws; and in algebraic geometry, the corresponding invariant may be a cobordism correspondence or the support of a semi-invariant form. This suggests a shared technical pattern: a correspondence becomes most informative when it can be resolved into explicit directional, eigenspace, or support data rather than treated as a purely existential relation.

Source: https://www.emergentmind.com/topics/axes-of-correspondence