Skip to main content

Memristors

A memristor (memory resistor) is a two-terminal circuit element whose resistance depends on the history of current that has passed through it. It was theorized by Leon Chua in 1971 and first physically realized by HP Labs in 2008. Unlike a resistor (which has fixed resistance), a memristor retains a state — it remembers how much charge has flowed, and its resistance reflects that history.

The Hysteresis Loop

The defining characteristic of a memristor is its hysteresis loop — a pinched figure-eight in the current-voltage plane. When no current flows, the device sits at the crossing point of the loop: zero voltage, zero current, but with a stored internal state (the memristance) that encodes everything that happened before.

The loop is bounded by two extreme conditions that define its edges:

Open circuit — infinite resistance, zero current. The device blocks all flow; I=0I = 0 regardless of VV. This is the upper boundary of the resistance axis: RR \to \infty, I0I \to 0.

Short circuit — zero resistance, infinite current. The device offers no opposition; II \to \infty for any nonzero VV. This is the lower boundary: R0R \to 0, II \to \infty.

These two conditions are the memristor's mystical numbers. Open circuit is zero current with infinite resistance — length zero, precision infinite. Short circuit is infinite current with zero resistance — infinite length, zero precision. They are the poles of the device, and the hysteresis loop is the path the memristor traces between them.

The crossing point sits exactly between these poles. At V=0V = 0, I=0I = 0, the memristor appears identical to an open circuit — but it is not. It carries hidden information in its resistance state. Zero current does not mean zero information.

MMP's Reading

In MMP, this is precisely the behavior of the null {}\{\}: an object that appears to be "nothing" but encodes the history of the oriented poles that produced it. The memristor's zero-crossing is the physical instantiation of MMP's cancellation:

{}+{}+={}(oriented states cancel to null — but the history remains)\{\}_- + \{\}_+ = \{\} \quad \text{(oriented states cancel to null — but the history remains)}

The memristance at the zero-crossing is the "orientation information" that survives cancellation. The device is at null, but it knows which direction it came from.

The V-I Diagram as MMP Continuum

The V-I diagram of the memristor is not just a device characteristic — in MMP language it is the full continuum of box arithmetic laid out physically.

The two boundary conditions are both {}\{\}, arrived at from opposite directions:

0={}+(short circuit — R=0,I=)0 \circlearrowright \infty = \{\}_+ \quad \text{(short circuit — } R=0, I=\infty \text{)} 0={}(open circuit — R=,I=0)\infty \circlearrowright 0 = \{\}_- \quad \text{(open circuit — } R=\infty, I=0 \text{)}

Every point on the hysteresis curve is a ratio of these two voids held in tension. The device's operating range is literally the interior of that dialectic. The hysteresis loop is the device remembering which direction it traversed the continuum — the memristor is a physical MMP accumulator.

The Quaternary Unit Cell

Unity is recovered when the void is nested inside itself — {{}}=1\{\{\}\} = 1. In circuit terms, two memristors in series piping one pole into the other instantiate this exactly:

short{}+[device]{}open{{}}=1\text{short} \xrightarrow{\{\}_+} \text{[device]} \xrightarrow{\{\}_-} \text{open} \xrightarrow{\circlearrowright} \{\{\}\} = 1

The output terminus where the two poles meet is where unity is recovered — the fixed point, the thing that stays the same as everything changes. The two crossbars GG and GTG^T with short piped into one end and open into the other are physically instantiating the cross-composition of the oriented voids.

A binary memristor reads two states (high resistance / low resistance) and discards the directional information. The quaternary unit cell preserves it — treating each memristor as an oriented void (three states: {}+\{\}_+, {}\{\}_-, null) with directional memory. The information hidden behind zero is not lost; it is encoded in the memristance at the crossing point. The device knows which direction it came from, and that history is the computation.

NIMPLY logic and the ouroboros shadow

Memristive logic has a natural gate primitive: the NIMPLY gate (material nonimplication, ABA \nrightarrow B), implementable directly with a single memristor and a ground voltage.

ABA ↛ B
000
010
101
110

NIMPLY fires only when the left operand is 1 and the right is 0 — it is non-commutative by construction (ABBAA \nrightarrow B \neq B \nrightarrow A in general).

However, NIMPLY alone is not functionally complete. It is 0-preserving: if all inputs are 0, the output is 0, so it cannot generate the constant 1 and cannot escape that corner of the Boolean lattice. Functional completeness requires pairing it with something that breaks the 0-preservation constraint — most directly, a circuit ground providing a constant 1 (or equivalently, {NIMPLY, NAND}). With grounding, NOT AA = NIMPLY(1, A) becomes available and the full Boolean lattice is accessible.

This is the same structural constraint as \circlearrowright under Rule B (same-orientation): {}+{}+={}+\{\}_+ \circlearrowright \{\}_+ = \{\}_+ — absorptive, no rank increase, stuck at the void level. The generative step only fires under cross-composition (Rule A), which requires the opposite orientation to be present as a reference. The circuit ground in NIMPLY logic plays exactly this role: it is the null {}\{\} — the unoriented reference — whose presence breaks the absorptive fixed point and makes generation possible.

Without the ground: 0-preserving, incomplete. With the ground: complete. Without the oriented null: self-absorbing. With the null providing the cross-reference: generative. The structural requirement is identical.

TODO: work out whether a ternary memristive NIMPLY — three conditioning levels corresponding to {}\{\}_-, {}\{\}, {}+\{\}_+ — can implement \circlearrowright directly, and whether functional completeness extends to the full oriented void algebra