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.^[1]

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}. \]

The product exists when the port spaces are compatible and the required feedback resolvent is invertible. It is associative wherever the relevant intermediate products are defined, so a network can be assembled section by section.^[2]

The recognition invariant is partitioned input/output operators + declared internal port connection + solvable feedback loop + internal-variable elimination + external composite operator.

Structural Signature¶

Two linear maps or operators partitioned into compatible input/output blocks.
External ports to retain in the composite description.
Internal ports connected pairwise with declared orientation.
Coupled linear equations for the internal channel variables.
A loop product such as \(A_{12}B_{21}\).
Invertibility of the corresponding identity-minus-loop operator.
A block-resolvent formula eliminating internal variables.
An external scattering or transfer operator as output.
Dependence on block order and port convention.
Associativity on the domain where all products exist.
Preservation of contractivity or unitarity under appropriate hypotheses.
Extension from finite matrices to bounded operators on compatible Hilbert spaces.

What It Is Not¶

The Redheffer star product is not ordinary matrix multiplication. Multiplication composes one-way maps with matching whole spaces; the star product closes bidirectional internal ports and sums repeated round trips through a feedback resolvent. It is not the deformation-quantization star product, convolution, dot product, or the number-theoretic Redheffer matrix.

It is also not globally defined on every pair of block operators: failure of the feedback inverse signals an ill-posed or resonant interconnection.

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.^[3] Generalized star products assemble graph scattering matrices from subgraph scattering data.^[4]

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¶

Partition each subsystem by external and intended internal ports.
Verify block dimensions or Hilbert-space domains and codomains.
Write the two subsystem input/output equations.
Impose the port-connection equalities and orientations.
Collect the internal variables into a feedback linear system.
Check invertibility of the identity-minus-loop operator.
Eliminate the internal variables and read off the external block operator.
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.

Examples¶

Layered optics. Star-multiplying the scattering matrices of adjacent layers incorporates all reflections between them and yields the stack's external reflection and transmission.

Feedback interconnection. A plant and controller partitioned by exogenous and feedback channels combine through a Redheffer product when the closed internal loop is well posed.

Resonance. If \(I-A_{12}B_{21}\) is singular, an internal circulating mode prevents a unique external input/output operator at that parameter.

Structural Tensions¶

Modular composition versus internal resonance.
Associativity versus partial domain of definition.
Compact block formula versus convention sensitivity.
External equivalence versus hidden internal fields.
Stable scattering representation versus transfer-matrix conditioning.
Finite matrices versus operator-domain subtleties.

Structural–Framed Character¶

Interface connection, feedback closure, and elimination are structural. Block operators, scattering ports, Hilbert spaces, resolvents, and passivity are mathematical-physical frame.

Structural Core vs. Domain Accent¶

The portable core is hiding a solvable internal coupling while preserving the module's external interface. The constitutive accent is the Redheffer block-resolvent operation on scattering or system operators.

Coupling is the proposed immediate parent. Feedback, Composition, Encapsulation, Interface, Elimination, Recursion, and Associativity are related.

The prospective queue contains one strict edge to prime:coupling. No live DAG mutation is authorized.

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

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

Not to Be Confused With¶

Ordinary matrix product.
Schur complement alone.
Moyal or deformation star product.
Redheffer matrix.
Cascade with no internal feedback.
A product claimed to exist when the feedback resolvent is singular.

References¶

[1] Raymond M. Redheffer, “Inequalities for a Matrix Riccati Equation,” Journal of Mathematics and Mechanics 8, no. 3 (1959): 349–367. registry ↩

[2] Raymond M. Redheffer, “On the Relation of Transmission-Line Theory to Scattering and Transfer,” Journal of Mathematics and Physics 41 (1962): 1–41, doi:10.1002/sapm19624111. registry ↩

[3] Thomas Kailath, Linear Systems (Prentice Hall, 1980), chapter 17, “A Scattering Theory Approach,” including the star-product calculus of scattering operators. registry ↩

[4] Vadim Kostrykin and Robert Schrader, “The Generalized Star Product and the Factorization of Scattering Matrices on Graphs,” Journal of Mathematical Physics 42 (2001): 1563–1598, arXiv:math-ph/0008022. registry ↩