Nonreciprocal Random Networks

• Nonreciprocal random networks are systems with inherently asymmetric interactions where the influence between nodes is direction-dependent, leading to diverse graph-theoretic and dynamical behaviors.
• They exhibit complex percolation and oscillator synchronization phenomena, with insights from degree anti-correlation, 'volcano transitions', and the role of quenched disorder.
• Engineered implementations harness these principles in electrical networks using complex coupling synthesis, gyrators, and advanced quantization methods for circuit design.

Nonreciprocal random networks are systems in which directed interactions are disordered or heterogeneous and the influence of node $i$ on node $j$ is not constrained to match the reverse influence of $j$ on $i$. In graph-theoretic form this is the condition $P_{i\to j}\neq P_{j\to i}$ for some ordered pairs (Steinbock, 5 Sep 2025); in dynamical models it appears as a nonsymmetric random coupling matrix ${\mathbf M}^T\ne \mathbf M$ (Pazó et al., 2023), antisymmetric cross-species couplings $K_{AB}=-K_{BA}=K$ (R et al., 4 Sep 2025), or quenched directed bonds with $J_{ij}=-J_{ji}$ on a fraction of lattice edges (Grodzinski et al., 19 Jun 2026). The topic spans directed random graph ensembles, percolation, oscillator populations, disordered spin systems, random wave transport, and nonreciprocal electrical networks. Across these settings, the central issue is not merely the presence of asymmetry, but how asymmetry is distributed across pairs, embedded in structure, and coupled to disorder.

1. Definitions, reciprocity, and representation dependence

A basic random-network formulation assigns a directed link probability $P_{i\to j}$ to each ordered pair $i\neq j$, with nonreciprocity defined by $j$0 (Steinbock, 5 Sep 2025). For adjacency matrices $j$1, one standard reciprocity measure is

$j$2

where $j$3 is the average adjacency entry and $j$4 is the fraction of links that are reciprocated. In the two-probability nonreciprocal ensemble, the mean reciprocity is approximately

$j$5

which is negative whenever $j$6; the ensemble is therefore anti-reciprocal rather than merely nonreciprocal (Steinbock, 5 Sep 2025).

A complementary benchmark comes from pairwise-symmetric random networks. If connection probabilities satisfy $j$7, the relative occurrence of reciprocal connections compared with an Erdős–Rényi graph of the same mean density,

$j$8

reduces to

$j$9

Hence any non-degenerate heterogeneity in symmetric pairwise probabilities forces $j$0, while only the completely homogeneous case gives $j$1 (Hoffmann et al., 2016). This establishes a sharp distinction between asymmetric random networks, which can be anti-reciprocal, and symmetric-but-heterogeneous networks, where reciprocal overrepresentation is mathematically generic.

Randomness is also representation-dependent. In projected bipartite models, a completely random bipartite graph with independent Bernoulli edges can yield a projected monopartite network whose single-link probability

$j$2

and large-$j$3 degree distribution are Erdős–Rényi-like, yet whose clustering and higher-order statistics remain systematically non-random because projection induces correlations through shared latent memberships (Baybusinov et al., 2023). This suggests that in nonreciprocal settings as well, observed pairwise statistics need not determine the effective higher-order structure.

2. Directed random graph ensembles and percolation structure

A canonical graph ensemble for nonreciprocal random networks assigns exactly two possible link probabilities, $j$4 and $j$5, to opposite directions of each node pair, so that if $j$6, then $j$7, with self-loops excluded (Steinbock, 5 Sep 2025). The ensemble has two limiting organizations. In the unstructured case, the assignment of which direction receives $j$8 or $j$9 is random for each unordered pair, so nodes are statistically indistinguishable. In the structured fully transitive case,

$i$0

and node position in the ordering becomes a genuine structural variable.

In the unstructured sparse regime,

$i$1

both in-degree and out-degree converge to Poisson distributions with mean

$i$2

At finite $i$3, however, the joint degree statistics are not trivial. The exact generating function

$i$4

implies

$i$5

Thus finite-size in- and out-degrees are anti-correlated even when the marginals look Erdős–Rényi-like.

Percolation in the unstructured model collapses to the directed Erdős–Rényi result with effective mean degree $i$6. The subcritical reachability equation yields the threshold

$i$7

Above threshold, the giant out-component and giant in-component satisfy

$i$8

and the giant strongly connected component obeys

$i$9

The structured transitive ensemble behaves differently at every level. Writing $P_{i\to j}\neq P_{j\to i}$0, node $P_{i\to j}\neq P_{j\to i}$1 has Poisson out-degree and in-degree distributions with means

$P_{i\to j}\neq P_{j\to i}$2

There is therefore no single degree distribution for an actual node. If one averages over $P_{i\to j}\neq P_{j\to i}$3, the result is a mixed Poisson–uniform law rather than an ordinary Poisson distribution, and the averaged “typical node” acquires

$P_{i\to j}\neq P_{j\to i}$4

even though the node-wise covariance averaged over the network is zero. This noncommutation of node- and ensemble-averaging is one of the paper’s main methodological warnings.

To analyze connectivity in both structured and unstructured cases, the percolation problem can be formulated through self-consistent reachability probabilities. In the locally tree-like subcritical regime, if $P_{i\to j}\neq P_{j\to i}$5 is the probability that node $P_{i\to j}\neq P_{j\to i}$6 can reach node $P_{i\to j}\neq P_{j\to i}$7 by some directed path, then

$P_{i\to j}\neq P_{j\to i}$8

In the continuum limit this becomes an integral equation for $P_{i\to j}\neq P_{j\to i}$9, and above threshold it leads to node-dependent cumulative giant-component probabilities ${\mathbf M}^T\ne \mathbf M$0, ${\mathbf M}^T\ne \mathbf M$1, and ${\mathbf M}^T\ne \mathbf M$2 (Steinbock, 5 Sep 2025).

For the structured transitive network, the percolation threshold is no longer ${\mathbf M}^T\ne \mathbf M$3 but the nonlinear critical curve

${\mathbf M}^T\ne \mathbf M$4

equivalently,

${\mathbf M}^T\ne \mathbf M$5

The giant out- and in-components obey implicit equations

${\mathbf M}^T\ne \mathbf M$6

so ${\mathbf M}^T\ne \mathbf M$7, but in general

${\mathbf M}^T\ne \mathbf M$8

The transitive structure therefore enlarges the unpercolated region and invalidates naive one-parameter reductions based on a single averaged degree distribution.

3. Random nonreciprocal couplings in oscillator populations

A different but closely related class of nonreciprocal random networks is realized by populations of heterogeneous phase oscillators with quenched random couplings,

${\mathbf M}^T\ne \mathbf M$9

where the intrinsic frequencies $K_{AB}=-K_{BA}=K$0 are drawn from a symmetric unimodal distribution $K_{AB}=-K_{BA}=K$1 centered at zero, $K_{AB}=-K_{BA}=K$2 is a global coupling strength, and the random couplings $K_{AB}=-K_{BA}=K$3 can be synchronizing or anti-synchronizing (Pazó et al., 2023). The relevant order parameter is not the usual global synchronization amplitude, which remains small through the transition, but the local field

$K_{AB}=-K_{BA}=K$4

The “volcano transition” refers to a change in the distribution of these local fields from being peaked at the origin to having a ring-shaped maximum away from zero, associated with a quasi-glassy state.

Nonreciprocity is introduced by decomposing the random coupling matrix into symmetric and antisymmetric parts,

$K_{AB}=-K_{BA}=K$5

with $K_{AB}=-K_{BA}=K$6. Here $K_{AB}=-K_{BA}=K$7 is fully symmetric, $K_{AB}=-K_{BA}=K$8 corresponds to uncorrelated mirror couplings, and $K_{AB}=-K_{BA}=K$9 is fully antisymmetric. The mirror-entry correlation is

$J_{ij}=-J_{ji}$0

with variance

$J_{ij}=-J_{ji}$1

Two analytically tractable low-rank random matrix models expose how the detailed organization of nonreciprocity affects collective dynamics. In Model 1, each oscillator carries two $J_{ij}=-J_{ji}$2-dimensional random binary vectors $J_{ij}=-J_{ji}$3, and

$J_{ij}=-J_{ji}$4

The matrix $J_{ij}=-J_{ji}$5 has rank $J_{ij}=-J_{ji}$6, except at $J_{ij}=-J_{ji}$7 where the rank drops to $J_{ij}=-J_{ji}$8. In Model 2, the antisymmetric part is built from independent random vectors,

$J_{ij}=-J_{ji}$9

so $P_{i\to j}$0 and $P_{i\to j}$1 are statistically independent, and $P_{i\to j}$2 has rank $P_{i\to j}$3, except at $P_{i\to j}$4 where it reduces to $P_{i\to j}$5.

Because only the first harmonic appears in the continuity equation for the phase density, the Ott–Antonsen ansatz closes the dynamics. The resulting linear stability problem shows that the volcano transition survives only when reciprocity is sufficiently strong, but the threshold is model-dependent. In Model 1,

$P_{i\to j}$6

and the transition exists only for $P_{i\to j}$7; if $P_{i\to j}$8, the relevant eigenvalues are purely imaginary and there is no volcano transition. In Model 2,

$P_{i\to j}$9

so the transition exists for the wider range $i\neq j$0, including some negatively correlated mirror couplings. The central inference is explicit in the paper: the same mirror-correlation coefficient can have different dynamical consequences depending on how the random matrix is constructed.

Full-rank Gaussian random couplings exhibit the same qualitative suppression of the volcano transition by nonreciprocity, but not the same quantitative thresholds. In the reciprocal case $i\neq j$1, numerical simulations place the transition below the low-rank extrapolation $i\neq j$2; for $i\neq j$3, the transition persists, the critical coupling increases as $i\neq j$4 decreases, the volcano width shrinks as reciprocity weakens, and the numerical divergence occurs near $i\neq j$5. Low-rank solvable models are therefore analytically revealing but not quantitatively universal.

4. Quenched disorder, nonreciprocal bonds, and nonequilibrium criticality

Nonreciprocal random networks also arise as spatially extended nonequilibrium spin systems. One formulation is the kinetic random-field nonreciprocal Ising model, a two-species system with spins $i\neq j$6, same-species ferromagnetic coupling $i\neq j$7, antisymmetric cross-species coupling

$i\neq j$8

and a site-dependent bimodal random field

$i\neq j$9

(R et al., 4 Sep 2025). The dynamics are single-spin-flip Glauber kinetics,

$j$00

In mean-field form, the magnetizations obey

$j$01

The relevant phase diagnostics are

$j$02

Here $j$03 measures overall alignment amplitude, while $j$04 measures rotation in the $j$05 plane. The characteristic nonequilibrium ordered state is the swap phase, a limit cycle in which the two species oscillate out of phase.

Its onset changes qualitatively with disorder strength. For $j$06, the disordered fixed point loses stability through a supercritical Hopf bifurcation and the limit cycle emerges continuously. For $j$07, the transition occurs through a saddle-node-of-limit-cycle (SNLC) bifurcation, with discontinuous jumps in $j$08 and $j$09, hysteresis, and a dip in the Binder cumulant. The change between these regimes is a nonequilibrium tricritical, or Bautin, point. The paper reports $j$10 in mean-field theory, $j$11 in effective-field theory, and a tricritical window $j$12 in 3D kinetic Monte Carlo. Finite-size scaling of the susceptibility yields $j$13 at $j$14, and $j$15 and $j$16 at $j$17 and $j$18, respectively, consistent with continuous and first-order regimes. In the first-order regime the swap phase survives only above a threshold nonreciprocity $j$19, which increases monotonically with disorder. At high disorder and subcritical nonreciprocity, the model also exhibits a droplet-induced swap phase cycling through eight metastable states.

A second spatially extended formulation places quenched nonreciprocity directly on a 2D square-lattice Ising ferromagnet. For each nearest-neighbor pair $j$20,

$j$21

so reciprocal ferromagnetic bonds are mixed with nonreciprocal bonds satisfying $j$22 (Grodzinski et al., 19 Jun 2026). The Glauber flip rate is

$j$23

This model has a continuous nonequilibrium transition between an ordered ferromagnetic phase and a disordered paramagnetic phase, with the transition line extending to $j$24 at finite disorder density. Numerically the zero-temperature threshold is near $j$25, while discrete mean-field theory gives

$j$26

A gauge-invariance argument shows that

$j$27

for all $j$28: disorder-averaged long-range correlations can survive only if reciprocal bonds percolate, and the square-lattice percolation threshold is $j$29.

The most distinctive result is dynamical. Unlike equilibrium disordered Ising models, the zero-temperature disordered phase remains active rather than freezing. Because nonreciprocity destroys the relation between local selfish energy changes and a global energy function, deterministic $j$30 flips can persist in steady state. The paper identifies explicit $j$31 nonreciprocal plaquette motifs with zero boundary field that execute an 8-step deterministic cycle, and more generally an infinite family of such motifs. Rare low-disorder regions locally order and reverse on broad timescales, producing a stretched-exponential autocorrelation tail

$j$32

In the ordered phase, domain growth crosses over from curvature-driven

$j$33

to logarithmic activated coarsening

$j$34

Taken together, these results show that quenched nonreciprocity can both suppress static order and sustain athermal dynamics.

5. Random wave transport and localization in nonreciprocal media

In wave systems, nonreciprocal random networks appear as disordered propagation media whose transfer structure is direction-dependent. A representative case is one-dimensional random layered media composed of alternating layers, some magneto-optical, with random layer thicknesses and transfer-matrix dynamics (Bliokh et al., 2011). The transmission coefficient for left incidence is

$j$35

and the standard transmission decrement is

$j$36

In the localized regime,

$j$37

Under the short-wavelength condition

$j$38

the layer phases are effectively random, and the localization length is governed primarily by interfaces: $j$39 Nonreciprocity arises only when there are two uncoupled modes $j$40 such that time reversal maps $j$41. Then reciprocal waves can have different transmittances,

$j$42

In the Faraday geometry, with magnetization parallel to propagation, the eigenmodes are circularly polarized and the wavenumber becomes

$j$43

The localization decrement acquires a first-order magneto-optical correction,

$j$44

so the typical transmission difference is exponentially amplified as

$j$45

Numerically, the paper reports strong resonance splitting, with wavelength shift roughly

$j$46

large compared with the resonance width.

In the Voigt geometry, magnetization is transverse to propagation and the first-order magneto-optical effect enters mainly through phase rather than propagation constant. After phase averaging, the averaged localization decrement is reciprocal to $j$47, and nonreciprocity survives mainly in individual TM-polarized transmission resonances. The estimated resonance shift is much smaller,

$j$48

Disorder therefore does not have a uniform effect: in one geometry it strongly amplifies broadband nonreciprocal transport, while in the other it leaves only weak resonance-level asymmetry.

6. Engineered nonreciprocal electrical networks: synthesis and quantization

Nonreciprocal networks are also studied as designed electrical systems rather than stochastic graphs. For lossless two-port microwave networks, coupling-matrix synthesis can be extended from reciprocal to nonreciprocal cases by allowing complex couplings (Zhang et al., 2014). The general lossless condition is

$j$49

so the admittance matrix is skew-Hermitian symmetric rather than purely imaginary. For any lossless two-port, even when nonreciprocal,

$j$50

while the phases may differ,

$j$51

Minimum-order synthesis is obtained by choosing the polynomial ratio

$j$52

often with $j$53, so that

$j$54

The crucial building block is the generalized lossless complex inverter with admittance matrix

$j$55

which reduces to a real inverter when $j$56 is real and to a gyrator when $j$57 is purely imaginary. Complex similarity transformations

$j$58

convert the initial nonreciprocal transversal matrix into folded or star topologies, and phase rotations remove unnecessary complex phases. The final realization uses real inverters plus the minimum number of gyrators, equal to the nonreciprocity order of $j$59. In the second-order example treated explicitly in the paper, all but one coupling can be made reciprocal/real, leaving a single gyrator.

At the Hamiltonian level, exact quantization of nonreciprocal quasi-lumped electrical networks requires a geometric formulation that does not assume purely node-flux coordinates (Parra-Rodriguez et al., 2024). The branch state is represented by fluxes and charges,

$j$60

on an initial manifold

$j$61

Kirchhoff laws together with transformer and gyrator constraints define a linear Pfaffian system

$j$62

The fundamental object is the pre-symplectic two-form

$j$63

which, after immersion to the constrained manifold, yields a reduced form

$j$64

The resulting coordinates $j$65 are generally mixtures of flux- and charge-type variables.

When $j$66, the paper applies the Faddeev–Jackiw method to classify zero modes as removable superfluous variables, gauge modes, or non-homogeneous-rank singularities. After reduction to a nondegenerate symplectic form, canonical quantization proceeds via

$j$67

The same formalism extends to transmission lines, multiport blackboxes, and frequency-dependent nonreciprocal linear systems. For example, nonreciprocal admittances of the form

$j$68

and gyrator blocks

$j$69

can be incorporated into an exact enlarged Hamiltonian description. The framework also extends Caldeira–Leggett constructions to dissipative nonreciprocal multiports and yields a non-divergent input-output theory with intrinsic ultraviolet cutoff, explicitly relevant to superconducting circuits and chiral waveguide QED.

Taken together, these engineered-network results show that nonreciprocity is compatible with both exact synthesis and canonical quantization, provided the network is formulated in terms of the correct complex couplings or reduced symplectic manifold rather than by reciprocal circuit heuristics.