Redheffer Star Product

An associative partial product on compatibly partitioned linear operators that closes connected input/output ports, eliminates the resulting internal feedback variables, and returns the external scattering operator of the composite system.

Version

v2 · 2026-09-06 · History

Domain-specific #

2639

Origin domain

mathematics

Subdomain

operator theory

Aliases

Redheffer product, Redheffer star-product, Generalized feedback interconnection

Core Idea

Suppose two linear subsystems are represented by block operators mapping incoming port variables to outgoing port variables. Connecting an output block of each subsystem to the corresponding input block of the other creates internal feedback variables. The Redheffer star product solves those coupled internal equations and returns the block operator relating only the remaining external ports.

In one common convention, the formula contains resolvents such as

\[ (I-A_{12}B_{21})^{-1} \quad\text{and}\quad (I-B_{21}A_{12})^{-1}. \]

Scope of Application

The product composes scattering matrices for layered media, microwave and transmission networks, optical stacks, radiative transfer, neutron transport, quantum graphs, and waveguides. In control theory it expresses generalized feedback interconnections and linear fractional transformations. Generalized star products assemble graph scattering matrices from subgraph scattering data.

The same algebra can preserve passivity, contractivity, or unitarity when the component operators and connection satisfy the relevant energy conditions.

Clarity

State the ordering and direction of every port, the domain and codomain of each block, the exact star-product convention, and the required inverse. Different literatures permute scattering blocks and may call related linear fractional transformations the star product; formulas cannot be compared safely without the wiring diagram.

Manages Complexity

Internal multiple scattering would otherwise require tracking an infinite sequence of round trips. The resolvent sums that recursion algebraically, while associativity allows modular network assembly and reuse of subsystem models without reopening their interiors.

Abstract Reasoning

1. Partition each subsystem by external and intended internal ports.
2. Verify block dimensions or Hilbert-space domains and codomains.
3. Write the two subsystem input/output equations.
4. Impose the port-connection equalities and orientations.
5. Collect the internal variables into a feedback linear system.
6. Check invertibility of the identity-minus-loop operator.
7. Eliminate the internal variables and read off the external block operator.
8. Verify associativity, passivity, or unitarity only under their stated hypotheses.

Knowledge Transfer

The portable pattern is compositional elimination: connect modules at an interface, solve away the hidden internal exchange, and expose a new module with the same external contract. The proposed immediate parent is Coupling.

Relationships to Other Abstractions

Current abstraction Redheffer Star Product Domain-specific

Parents (1) — more general patterns this builds on

• Redheffer Star Product is a kind of Coupling Prime

  Coupling is the proposed immediate parent.

Hierarchy path (1) — routes to 1 parentless root

• Redheffer Star Product → Coupling

Neighborhood in Abstraction Space

Redheffer Star Product sits in a sparse region of the domain-specific corpus (85^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

• Positive-definite kernel — 0.80
• Quantum Operation — 0.80
• Matrix exponential — 0.80
• Strictly Singular Operator — 0.80
• Analytic semigroup — 0.80

Computed from structural-signature embeddings · 2026-09-08