Concept

Singular matrix — where it appears

A network matrix that cannot be inverted, meaning the netlist does not determine its own node voltages rather than that the arithmetic failed. It is refused by name here rather than answered, because a large plausible number returned for a network with no answer is worse than no answer.

Named by 8 essays across one field — each of them below, with the objects they name alongside it.

A network solved, and checked: a bridge, which no series-parallel reduction reaches. Node potentials from modified nodal analysis. The branch currents are then recomputed from each element's own law and summed at every node; the residual is 2.7e-16 of the largest current in the circuit, which is floating-point rounding and nothing else.

What a network answers, and how the answer is checked

A circuit has exactly one answer and a matrix finds it. The part that matters is not that the answer exists but that it can be checked twice, by routes that share no arithmetic — and that a circuit with no answer is refused by name rather than returned as a large plausible number.

networks · Nodal analysis
A network the solver will answer, and should not be asked, into 0.01 Ω. computed by solving, not by drawing at 61 spreads. A hundredth of an ohm either side of a wire whose resistance is made smaller and smaller, into 0.01 Ω — an element written where the right answer is no element at all. The solution stays exact: 0.499999998422607 at the last spread before the refusal, against 0.500000000000000. What grows is the current-law residual, as the 0.96 power of the spread. The solve is refused at a spread of 2.5e+8, where the smallest pivot falls under 1e-12; the residual tolerance of 1e-7 would have been reached at about 3.3e+9. Two guards written for unrelated reasons, arriving within a decade of one another.

The answer that is perfect and absurd

A network with a wire written into it as a small resistance returns the right node voltage to fifteen figures, passes both verifications with a residual of two parts in ten to the sixteenth, and reports two hundred thousand amperes. The solver refuses it one decade further on, and by then it has been answering for eight decades.

networks · Singular network
Fourteen decades of imbalance, fourteen digits gone, and a matrix in perfect health. computed by solving, not by drawing. A Wheatstone bridge walked towards balance, with the relative error of the solved output against a closed form that cannot lose digits. The condition number of the nodal matrix is 505.0 at every imbalance and the smallest pivot is 2.0e-3 of the matrix norm — orders above the 1e-12 at which this solver refuses to answer at all. Neither number moves, and the answer still loses one digit per decade of imbalance, reaching 33% at δ = 1e-15. The bound drawn over it is the round-off divided by the imbalance, which the measurement stays under at every point. The third curve is the same closed form written as ½ − 1/(2+δ) — algebraically identical, and it loses its digits at the same rate, which is where the loss lives: in the subtraction of two nearly equal numbers, not in the matrix.

The matrix that is ill, and the answer that is not

Every other essay here treats the solve as exact, and it is not. A bridge walked towards balance loses one digit per decade of imbalance and has none left at a part in 10¹⁵ — on a matrix whose condition number never moves and whose smallest pivot stays four orders above the threshold this solver refuses at. A feedback amplifier does the opposite: the solver declines to answer at a gain of 10⁹, one decade after it returned an answer that was exact to the last bit.

networks · Conditioning
Inside the passband the matrix is worst at the edge, and at no ripple peak. computed by solving, not by drawing. The condition number of a 5th-order Chebyshev filter's nodal matrix at every frequency from a hundredth of its cutoff to ten times it. It is 4.004e+3 at direct current, rises to 1.5868e+7 at 964.0 Hz — located by golden section rather than read off the sweep — falls to 4.970e+6 at 1520 Hz and rises again through the stopband. The maximum is above every ripple peak (the highest is at 897.9 Hz) and within 3.6 per cent of the half-power frequency: the worst-conditioned place in the passband is where the filter stops passing and starts blocking, which is a place the response curve has no feature at. It is a local maximum: above the band κ climbs again, reaching 2.702e+7 at ten times the cutoff, because the susceptances in the matrix grow with the frequency and κ counts them. Nothing about any of these numbers says whether a digit is actually lost anywhere.

Where the matrix is worst, and where the answer is not

When a solve stops being exact has been answered with two networks at direct current. Swept along the frequency axis, a resistive chain's nodal matrix has a condition number of 4.00×10³ at direct current and 1.59×10⁷ at 964 Hz — a maximum at the band edge, at no ripple peak and at no feature the response has. It predicts nothing. The solution vector is right to three units of round-off everywhere, the response taken out of it loses four decades into the stopband, and the same filter written at 400 kΩ instead of 10 Ω has a condition number 1.4×10⁹ times larger and returns the same twelve digits.

networks · Conditioning
One gain takes the equivalent resistance from 5 kΩ through infinity to negative. computed by solving, not by drawing. A 5 V source drives a node through 10 kΩ; the node also reaches 10 kΩ whose far end is held at A times the node's own voltage. The Thévenin resistance looking into that node is r1 in parallel with r2/(1 − A), which the solve returns to a part in a billion without being told: 5 kΩ at no gain, 10 kΩ at unity where r2 takes no current at all, and unbounded at A = 2.00 where the two conductances cancel. Above that it is negative. The open-circuit voltage follows it, because the short-circuit current is 500.0 µA at every gain — a short across the controlling node leaves the dependent source nothing to be controlled by — so the open-circuit voltage is simply the short-circuit current times whatever the resistance is, and reaches 150.0 volts from a five-volt source inside the range drawn.

The resistor that is not made of the resistors

Exact outside and wrong within reduced six elements to one source and one resistor and found the resistor two ways that agreed to the last bit. Put a dependent source in the network and one of those routes stops working, because setting the sources dead kills the independent ones and leaves the dependent one where it is. On a bootstrap of two ten-kilohm resistors the Thévenin resistance runs from five kilohms through infinity to minus ten, the open-circuit voltage of a five-volt source reaches 225, and above one gain the equivalent's resistor is negative — which the netlist refuses to stamp, correctly, because a negative resistance is a controlled source and not a resistor.

networks · Equivalent circuit
The circuit does not care which node is called zero, and the matrix does. computed by solving, not by drawing. The condition number of the nodal matrix for a 12-section chain, against which of its nodes was taken as the reference. The network, its elements and its physics are identical in every case — only a label has moved — and every branch voltage and branch current comes back the same to 1.1e-13. The condition number runs from 5.25e+4 at "n6" to 1.72e+5 at "n12", a factor of 3.28, which is 0.52 decimal digits of the arithmetic's own margin.

The node that is not in the circuit

Nodal analysis needs a node to call zero and no circuit contains one. Moving it changes every node voltage by the same amount and no branch voltage or branch current at all — to a part in ten to the fourteenth on a well-behaved chain. What it does change is the matrix: the condition number of a twelve-section chain moves by a factor of 3.3 with the reference, and on a star whose resistances span nine decades by 8.0. Measured against the same matrix solved in twice the precision, the worst reference costs four decimal digits of the answer, and it is the reference the condition number named before the error was looked at.

networks · Nodal analysis
The bootstrap reduced both ways: Thévenin's resistance diverges at A = 2, Norton's conductance crosses zero there. computed by solving, not by drawing at 121 gains, R₁ = R₂ = 10 kΩ. The Norton current is Vs/R₁, 0.500 mA, at every gain to a part in a billion (dashed, at 1), because shorting the node also shorts the bootstrap's input. The Norton conductance times R₁ is a straight line, 2 at A = 0 through zero at A = 2 to −1 at A = 3 (solid). The Thévenin resistance over R₁ is its reciprocal (faint, clipped at ±3): 0.5, 1 at A = 1, infinite at A = 2, −1 at A = 3. One network, two coordinate systems, and only one of them is singular exactly where the network is interesting.

The reduction that stays finite

The bootstrap's Thévenin pair diverges at A = 2: its resistance and its open-circuit voltage both pass through infinity and the solve that finds them refuses. Its Norton pair does not. The short-circuit current is Vs/R₁, 0.5 mA, at every gain to a part in a billion, and the conductance is a straight line through zero. A bench that drives a current and reads a volt loses the network for every gain from 1.992 to 2.008; a bench that drives a volt and reads a current sees it to a nanosiemens throughout. A 0.1% error in the gain moves the conductance by a constant 0.1 µS and the resistance by an amount that diverges at the pole — and four hundred bootstraps built from 0.1% parts to sit on it have conductances within ±0.3 µS of zero and resistances that are a median 10.6 MΩ, 196 of them negative.

networks · Equivalent circuit
What a simulator's small conductance reports: at 10⁻¹² S a resistive divider reads 5 V, 1 µA into a capacitor reads 1 MV with a residual at machine precision, and the slope says which of those belongs to the circuit. computed by solving, not by drawing on the nodal matrix at direct current, with a conductance g from each node to ground. A divider of two 1 kΩ on 10 V (flat, 5 V at every g); 1 µA into a capacitor, which the solver refuses without g and which reads I/g with it (slope −1, 1 MV at 10⁻¹² S, 100 mV at 10⁻⁵ S); a biased stage behind a coupling capacitor, 100 mV (flat until g is comparable with its 1 MΩ); and two capacitors in series on 10 V, whose node reads 0 mV at every g, since a conductance to ground is the only thing at that node and it has nothing to divide against. Every one of these passes Kirchhoff's law with g included to machine precision. The residual has no way to tell these answers apart.

The conductance added so it would invert

A solver that refuses a node with no direct-current path can be made to answer by adding a tiny conductance from every node to ground, which is what a circuit simulator does. Kirchhoff's law then holds to machine precision, and the numbers are of three kinds. A real divider's node is exact at any conductance. 1 µA into a capacitor reads a megavolt at 10⁻¹² S, ten times that at 10⁻¹³, and is purely the reciprocal of what was added. A floating 9 V source reads ±4.5 V, a centre tap nobody built, and follows the ratio of two conductances that do not exist. Scaling the conductance finds the first kind and misses the third. One test current per node finds them all, because a node held only by what was added has a resistance to ground near one over it.

networks · Singular network

Named alongside it

The objects these essays reach for when they reach for this one.

VerificationModified nodal analysisNumerical errorKirchhoffs current lawModel refusalClosed formComponent toleranceConditioningNegative resistanceOutput impedanceThevenin equivalentBisection

All concepts