---
title: Basis Interaction Operator Overview
url: https://www.emergentmind.com/topics/basis-interaction-operator
type: topic
---

# Basis Interaction Operator Overview

Searching arXiv for recent and directly relevant papers on “Basis Interaction Operator” and adjacent formulations.
A **Basis Interaction Operator** is an operator-level construct in which the essential action of a system is represented through interactions among basis elements rather than through raw coordinates, fixed sensor values, or an unstructured ambient representation. In recent arXiv usage, the term and closely related constructions appear in several distinct settings: as a coefficient-space map between learned input and output bases in Hilbert-space operator learning; as a sparse generator extracted from a degenerate parent operator subspace to reveal Hamiltonian structure, symmetries, and interaction geometry; and as an operator-basis tensor-network object encoding mode transformations in linear optical circuits [2410.00171] [2603.03826] [2502.01737]. The literature does not supply a single universal formal definition; instead, it exhibits a common structural pattern in which a carefully chosen basis makes the physically or computationally relevant interaction law explicit.

## 1. Conceptual scope and defining pattern

In **Basis-to-Basis (B2B) operator learning**, the operative object is a finite-dimensional map between coefficient vectors after separate bases have been learned for the input and output Hilbert spaces. For linear operators, that map is a matrix \(A\) obtained from paired coefficient data \((\alpha_n,\beta_n)\) through
\[
\min_A \frac{1}{N}\sum_{n=1}^{N}\|\beta_n-A\alpha_n\|^2,
\]
and the reconstructed output is
\[
\hat{\mathcal{T}}f(y)=\sum_{j=1}^{\ell}(A\alpha)_j\, h_j(y).
\]
In that setting, the finite-dimensional coefficient-space transformation is the object that plays the role of a basis interaction operator [2410.00171].

In **O-Sensing**, the phrase **basis interaction operator** or **basis interaction structure** refers to sparse generators extracted from a large degenerate operator subspace determined by low-energy eigenstate constraints. The distinguished generator is then identified as the Hamiltonian by maximizing spectral entropy, while the remaining sparse generators encode intrinsic symmetries, geometric symmetries, and other conserved quantities [2603.03826].

In the **operator-basis Matrix Product State** formalism for optical circuits, the interaction is encoded directly at the operator level. The transformed ladder operator
\[
\mathcal{U}(a_i)=\sum_{k=1}^M u_k^i\, a_k
\]
is represented in a reduced local operator basis, and the interferometer matrix entries \(u_k^i\) specify how basis operators propagate and combine. The paper does not define a separate named object called a Basis Interaction Operator, but the interaction law is explicit in the operator-basis tensors and their contraction rules [2502.01737].

| Setting | Basis interaction object | Role |
|---|---|---|
| B2B operator learning | Matrix \(A\) | Maps input coefficients \(\alpha\) to output coefficients \(\beta\) |
| O-Sensing | Sparse basis of \(\mathcal K\) and entropy-selected Hamiltonian | Separates Hamiltonian from symmetries and reveals interaction geometry |
| Optical operator-basis MPS | Local operator-basis tensors with entries \(u_k^i\) | Encodes mode-to-mode propagation and amplitude contraction |

The unifying idea is that the operator is not treated as an opaque transformation. Instead, its action is factorized through a basis in which the relevant interaction structure becomes sparse, diagonal, local, or otherwise computationally tractable.

## 2. Coefficient-space basis interaction in Hilbert-space operator learning

B2B operator learning formulates operator learning on Hilbert spaces of functions as a two-stage problem: first learn basis functions for the input space \(\mathcal{G}\) and output space \(\mathcal{H}\), then learn the map between the corresponding coefficient vectors [2410.00171]. For the input space, the representation is
\[
f(x)=\sum_{j=1}^{k}\alpha_j\, g_j(x\mid \theta_j),
\]
while the output is written as
\[
(\mathcal{T}f)(y)=\sum_{j=1}^{\ell}\beta_j\, h_j(y\mid \vartheta_j).
\]
The central reduction is therefore
\[
\alpha \mapsto \beta.
\]

A notable feature is that coefficients are not inferred by an auxiliary neural network. They are computed by least squares. Given samples \(\{(x_i,f(x_i))\}_{i=1}^m\), the input coefficients solve
\[
\min_{\alpha}\frac{1}{m}\sum_{i=1}^{m} \left\|f(x_i)-\sum_{j=1}^{k}\alpha_j g_j(x_i\mid \theta_j)\right\|_2^2,
\]
with closed-form solution
\[
\alpha = (G^\top G)^{-1}G^\top \mathbf{f},
\]
where \(G_{ij}=g_j(x_i\mid \theta_j)\). The same construction is used for the output coefficients \(\beta\). Because the coefficients are obtained by projection, sample locations \(x_i\) and \(y_i\) do not need to be fixed across functions. This is the basis-level mechanism behind the claim that B2B circumvents fixed-sensor requirements.

For linear operators, the matrix \(A\in\mathbb{R}^{\ell\times k}\) is the cleanest realization of a basis interaction operator. It summarizes how coordinates in the learned input basis are transformed into coordinates in the learned output basis. The paper further proves a linearity result: if \(f_3=af_1+bf_2\) and \(\mathcal{T}\) is linear, then
\[
\hat{\mathcal{T}}f_3 = a\hat{\mathcal{T}}f_1 + b\hat{\mathcal{T}}f_2.
\]
This gives a direct operator-theoretic justification for representing the learned transformation by a single coefficient-space matrix.

The same framework extends to nonlinear operators by keeping the learned bases fixed and replacing the matrix \(A\) by a neural coefficient-to-coefficient map,
\[
\hat{\beta} = \hat{\mathcal{T}}(\alpha\mid \phi).
\]
The decomposition into basis learning and coefficient learning is preserved; only the interaction law in coefficient space ceases to be linear.

The paper also derives variants directly analogous to spectral factorizations. For compact linear operators,
\[
\mathcal{T}f=\sum_i \sigma_i \langle f,v_i\rangle u_i,
\]
and for compact self-adjoint operators,
\[
\mathcal{T}v_i=\lambda_i v_i,\qquad \mathcal{T}f=\sum_i \lambda_i \alpha_i v_i.
\]
In these cases the basis interaction becomes diagonal in the singular or eigen basis. This suggests that the most analytically transparent form of a basis interaction operator is often the one in which the chosen basis aligns with the operator’s spectral structure.

Empirically, B2B is evaluated on seven benchmark tasks: anti-derivative operator, derivative operator, 1D Darcy flow, 2D Darcy flow on an L-shaped domain, elastic plate / plane stress elasticity, parameterized heat equation, and Burger’s equation. The paper reports that it demonstrates a two-orders-of-magnitude improvement in accuracy over existing approaches on several benchmark tasks, including about \(1.06\times 10^{-2}\) MSE on the anti-derivative problem versus \(2.20\times 10^{-1}\) for the best DeepONet baseline shown, and \(8.63\times 10^{-4}\) MSE on the derivative problem [2410.00171].

## 3. Sparse basis interaction structure in Hamiltonian and symmetry recovery

O-Sensing treats Hamiltonian learning as an operator-identification problem in a large, geometry-agnostic local basis [2603.03826]. Hermitian operators are expanded as
\[
O=\sum_{i=1}^{N_{\mathcal W}} c_i W_i,
\]
where \(\mathcal W\) contains few-body Pauli strings up to three sites. Given sampled low-energy eigenstates \(\{|\Psi_\alpha\rangle\}\), the eigenvalue condition is imposed through the zero-variance constraint
\[
\langle \Delta O^2\rangle_\alpha = \langle \Psi_\alpha|O^2|\Psi_\alpha\rangle - \langle \Psi_\alpha|O|\Psi_\alpha\rangle^2 =0 .
\]
This yields quadratic forms
\[
\mathbf c^T M^\alpha \mathbf c = 0,
\]
with covariance matrices
\[
M_{ij}^{\alpha} = \langle \Psi_\alpha|W_iW_j|\Psi_\alpha\rangle - \langle \Psi_\alpha|W_i|\Psi_\alpha\rangle \langle \Psi_\alpha|W_j|\Psi_\alpha\rangle .
\]

The resulting **parent operator subspace**
\[
\mathcal{K} = \left\{ O=\sum_i c_i W_i \,\middle|\, \forall \alpha,\ M^\alpha \mathbf c = 0 \right\}
\]
is generally highly degenerate. It contains the parent Hamiltonian, symmetries, and dense mixtures of many local terms. The key problem is therefore not existence of solutions but selection of a physically meaningful basis within \(\mathcal K\).

O-Sensing resolves this by searching for a **maximally sparse operator basis**. If \(K_0\) is an initial basis of \(\mathcal K\), the method seeks an invertible change of basis \(R\) such that \(K=K_0R\) minimizes support:
\[
\min_{R\in \mathrm{GL}(D_{\mathcal K})}\quad \sum_{j=1}^{D_{\mathcal K}} \|(K_0R)_j\|_0
\quad \text{s.t.}\quad
\|(K_0R)_j\|_2 = 1 \quad \forall j .
\]
Because the exact \(\ell_0\) problem is NP-hard, the implemented algorithm uses a two-stage relaxation: global exploration via \(\ell_3\)-spikiness,
\[
\max_{A\in O(D_{\mathcal K})} \ \|K_0A\|_3^3 ,
\]
followed by local refinement through \(\ell_1\)-minimization,
\[
\min_{\mathbf q} \left\| \sum_{l=1}^{D_{\mathcal K}} q_l \mathbf v_l \right\|_1
\quad \text{subject to}\quad
\sum_{l=1}^{D_{\mathcal K}} |q_l|^2 = 1 .
\]

In this framework, a basis interaction operator is not merely a matrix between coefficient vectors. It is a sparse generator in the recovered basis of conserved operators. The Hamiltonian is then chosen by maximizing spectral entropy,
\[
p_k = \frac{d_k}{\sum_j d_j}, \qquad
S(O) = -\sum_k p_k \ln p_k ,
\]
where \(d_k\) is the multiplicity of the \(k\)-th distinct eigenvalue of \(O\) within the sampled low-energy subspace. The intuition stated in the paper is that symmetry operators often have lower entropy because of larger degeneracies, whereas the Hamiltonian produces a more resolved spectrum.

For Heisenberg models on connected Erdős–Rényi graphs, the recovered sparse basis includes the parent Hamiltonian
\[
H=\sum_{\langle i,j\rangle\in G} J_{ij}\,\boldsymbol{\sigma}_i\cdot\boldsymbol{\sigma}_j,
\]
global symmetry or redundancy operators such as
\[
A=\sum_i \sigma_i^z,
\]
families \(B_i,C_{ij},D_{ij},E\), and, when graph automorphisms are present, geometric conserved operators such as
\[
F = \boldsymbol{\sigma}_m\cdot\boldsymbol{\sigma}_n,
\qquad
G = (\boldsymbol{\sigma}_m\cdot\boldsymbol{\sigma}_n - 1)\sigma_k^z.
\]
The support of the recovered Hamiltonian in the local basis reveals the interaction graph directly.

The paper also establishes a learnability phase diagram across graph densities, including a pronounced **confusion regime**. There, parsimony can favor a dual description on the complement graph. The corresponding alternative operator is
\[
H' = \sum_{i\neq j} (\sigma_i^x \sigma_j^x + \sigma_i^y \sigma_j^y) - H,
\]
and the analytic parsimony crossover occurs around
\[
N_e \approx 0.535 P,\qquad P=\binom{N_v}{2}.
\]
This is an important limitation: sparsity fixes the basis ambiguity only when the physical Hamiltonian is also the parsimonious representative.

## 4. Operator-basis interaction in linear optical circuits

The operator-basis MPS formalism for optical circuits is a Heisenberg-picture tensor-network representation of bosonic ladder operators [2502.01737]. Instead of working in a local Fock-state basis, it represents the evolved output operator directly:
\[
\mathcal{U}(a_i)=\sum_{k=1}^M u_k^i\, a_k,
\]
where \(\mathcal U=\{u_k^i\}\in SU(M)\) is the interferometer matrix. The paper interprets this as a basis-interaction idea because the entries \(u_k^i\) encode how input-mode operators are routed into output-mode operators.

Each transformed ladder operator is written as a product of augmented \(2\times 2\) blocks and recast as
\[
\mathcal{U}(a_i) = \sum_{\sigma_1+\cdots+\sigma_M=1} A^{[1]}_{i\,\sigma_1} A^{[2]}_{i\,\sigma_2}\cdots A^{[M]}_{i\,\sigma_M} \bigotimes_{k=1}^M (\hat a_k^\dagger)^{\sigma_k}.
\]
Here \(\sigma_k\in\{0,1\}\) distinguishes identity and creation-operator basis elements. The tensors \(A^{[m]}_{i,\sigma}\) are explicitly specified in the paper, and for intermediate sites \(A^{[m]}_{i,1}\) is nilpotent of index \(2\). This nilpotence enforces the rule that incompatible basis-operator configurations vanish.

The graphical language introduced in the paper makes the interaction law combinatorial. White squares represent identity components, green squares represent non-identity components, horizontal concatenation represents matrix multiplication, stacking represents tensor products, and merging corresponds to multiplication of the corresponding \(\mathcal A\) tensors. If two green squares overlap at the same position, the product vanishes. If they are compatible, their occupations add. The interferometer matrix therefore becomes the local coefficient system governing how operator-basis lines propagate and merge.

For a product of input operators \(a_{\bar i}=a_{i_1}a_{i_2}\cdots a_{i_n}\), the evolution is
\[
\mathcal{U}(a_{\bar i}) = \sum_{\sum_{k=1}^M n_k=n} \mathcal{A}_{\bar i^{[1]} n_1} \mathcal{A}_{\bar i^{[2]} n_2} \cdots \mathcal{A}_{\bar i^{[M]} n_M} \bigotimes_{k=1}^M (\hat a_k^\dagger)^{n_k}.
\]
A key algebraic statement is that nonzero entries of tensor products of local \(A\)-matrices are products of selected interferometer coefficients:
\[
\bigotimes_{k=1}^n A^{[m]}_{i_k,\sigma_k^{(m)}}\Big|_{\{\sigma_k^{(m)}\}=\mathbf s}
\;\longrightarrow\;
\prod_{\{k:s_k=1\}} u_m^{i_k}.
\]

For Boson Sampling-like input states, the photon-counting amplitude is
\[
\alpha_{\bar n} = \mathcal{A}_{\bar i^{[1]} n_1} \mathcal{A}_{\bar i^{[2]} n_2} \cdots \mathcal{A}_{\bar i^{[M]} n_M},
\]
and in the one-photon-per-input case this contraction reproduces the permanent of the relevant submatrix of \(\mathcal U\). The total cost of the graphical contraction is
\[
c = n \sum_{i=1}^{n-1}\binom{n}{i}\binom{n-i}{1} = n^2(2^{n-1}-1) = \mathcal O(n^2 2^n),
\]
matching the best known classical complexity for the permanent via Ryser’s algorithm. The result is not a sub-Ryser algorithm; it is a tensor-network formulation whose complexity coincides with the best known classical benchmark.

The same basis-level formalism extends to partial distinguishability and photon loss. For distinguishability, each photon acquires an internal two-level label,
\[
a \rightarrow \sqrt{\eta}\,a + \sqrt{1-\eta}\,\hat a^{\perp\dagger},
\]
and the local operator basis is enlarged by direct sums without changing bond dimension. For loss, interferometer entries are modified as
\[
u_j^i \rightarrow \tilde u_j^i=\lambda_j^i u_j^i, \qquad |\lambda_j^i|<1,
\]
with an extra environmental output channel. The same operator-basis machinery then computes amplitudes conditioned on a fixed number of lost photons.

## 5. Broader operator-basis constructions related to interaction structure

Several adjacent literatures do not use the exact phrase **Basis Interaction Operator**, but they develop closely related operator-basis architectures in which interaction content is encoded by a distinguished basis.

In chiral perturbation theory, the amplitude/operator basis is built from on-shell **soft blocks**, defined as local contact amplitudes satisfying Adler’s zero,
\[
\lim_{p_i\to 0} B(p_1,\dots,p_i,\dots,p_N)=0\qquad \forall i,
\]
together with flavor tensors. The paper establishes a direct correspondence
\[
\text{Soft block } B_i \;\Longleftrightarrow\; \text{Invariant operator } O_i,
\]
and constructs explicit purely mesonic even- and odd-parity bases at \(O(p^6)\) and \(O(p^8)\) for \(N=6\) and arbitrary \(N_f\) [2209.00198]. In that setting, the basis is interaction-resolving because each independent on-shell amplitude corresponds to one independent low-energy operator coefficient.

In heavy-particle EFT, an operator basis is the set of effective Lagrangian operators that remain after removing redundancies from integration by parts, heavy-fermion equations of motion, gauge-field equations of motion, and total derivatives. One line of work shows that the independent basis is spanned by highest-weight operators of the Schrödinger algebra that are neutral scalars after tensor products are combined, while another constructs the basis with Hilbert-series methods through mass dimension \(d\le 8\) for NRQED and NRQCD/HQET, and a further refinement shows how reparameterization invariance recovers Lorentz constraints through order \(1/M^4\) [1804.01534] [1704.00008] [1810.02356]. In these EFT applications, the “interaction operator” is a basis element of the effective Lagrangian rather than a coefficient-space map.

A more representation-theoretic example is the covariant basis induced by parity for the \((j,0)\oplus(0,j)\) Lorentz representation. There the basis always contains the identity, chirality, the Lorentz generators \(M_{\mu\nu}\), symmetric traceless tensors \(S^{\mu_1\cdots\mu_{2j}}\) and \(\chi S^{\mu_1\cdots\mu_{2j}}\), and for \(j>1\) higher-rank Weyl-like tensors. The resulting inventory of covariant operators shows that the unique antisymmetric rank-2 structure is \(M_{\mu\nu}\), implying a single Pauli term and a single gyromagnetic factor \(g\) in the Poincaré projector formalism [1307.4711].

In mathematical physics, the Bender–Dunne basis operators furnish a different kind of basis-centric operator construction. For
\[
\mathsf{T}_{-m,n}=2^{-n}\sum_{k=0}^n {n \choose k} \mathsf{q}^k \mathsf{p}^{-m} \mathsf{q}^{n-k},
\]
the relevant question is not basis learning or sparsification but whether the formal Weyl-ordered expressions with inverse momentum powers define genuine Hilbert-space operators. The paper proves, by explicit construction of a dense domain, that for fixed positive integers \(m\) and \(n\), \(\mathsf T_{-m,n}\) is densely defined on \(L^2(\mathbb R)\) [1509.00340].

This suggests a broader taxonomy: basis interaction operators are part of a family of basis-dependent operator constructions in which the chosen basis is used to expose locality, symmetry, analyticity, spectral structure, or computational sparsity.

## 6. Common themes, limitations, and recurring misconceptions

A first misconception is that **Basis Interaction Operator** denotes a universally standardized mathematical object. The surveyed literature does not support that interpretation. In B2B learning, the central object is the coefficient map \(A\); in O-Sensing, it is a sparse conserved generator inside a parent operator subspace; and in optical tensor networks, the interaction is encoded by local operator-basis tensors and interferometer coefficients rather than by a separately named operator [2410.00171] [2603.03826] [2502.01737].

A second misconception is that a basis formulation removes ambiguity automatically. O-Sensing shows the opposite: the eigenstate constraints determine a highly degenerate parent operator subspace \(\mathcal K\), and any basis rotation within that subspace is admissible before sparsity is imposed. The sparse basis therefore functions as a kind of gauge fixing, and the confusion regime near the complement-graph crossover shows that parsimony itself can be ambiguous [2603.03826].

A third misconception is that basis interaction formulations imply unrestricted functional-analytic regularity. The Bender–Dunne analysis establishes only that \(\mathsf T_{-m,n}\) is a bona fide densely defined linear operator on \(L^2(\mathbb R)\). It is not shown there to be bounded, self-adjoint, or even closable [1509.00340]. More generally, changing to a basis-adapted representation does not by itself settle questions of domain, closure, or spectrum.

A fourth misconception is that basis interaction methods necessarily exceed existing computational complexity limits. The optical operator-basis MPS achieves a significant complexity bridge, but its central result is equality with the best known classical permanent algorithm:
\[
\mathcal O(n^2 2^n),
\]
not an asymptotic improvement beyond that benchmark [2502.01737].

Finally, interpretability and accuracy need not coincide. In B2B learning, the SVD and eigen-decomposition variants are more interpretable but generally do not match B2B’s accuracy, while DeepONet can be competitive on the parameterized heat equation, where end-to-end training may help when there is no clean input-function-space structure [2410.00171]. Basis interaction operators are therefore best viewed as structured representations whose value depends on how well the selected basis aligns with the operator’s actual geometry, symmetry, or spectrum.

Source: https://www.emergentmind.com/topics/basis-interaction-operator