The action potential — ionic basis
Anchor (Master): Hille, *Ion Channels of Excitable Membranes* (3rd ed., Sinauer 2001) — the canonical reference; Koch, *Biophysics of Computation* (Oxford University Press 1999), Chs. 6-7; Kandel et al., *Principles of Neural Science* (5th ed.) — advanced sections including patch-clamp and Markov-state modelling; Hodgkin & Huxley 1952 (*J. Physiol.* 117, 500-544) — the four foundational papers culminating in the quantitative description; Neher & Sakmann 1976 (*Nature* 260, 799-802) — patch-clamp recording of single-channel currents; Sakmann & Neher 1995 *Single-Channel Recording* (2nd ed., Plenum); Izhikevich, *Dynamical Systems in Neuroscience* (MIT Press 2007) — bifurcation analysis of HH and reduced models
Intuition [Beginner]
Neurons have one fundamental job: get a signal from one end of a long, thin cell to the other quickly and reliably, then pass it on. The signal in question — the action potential — is a sharp electrical pulse that propagates down the axon at speeds between roughly one and one hundred metres per second, depending on the neuron's size and whether the axon is wrapped in myelin insulation. A typical pulse lasts about a millisecond and changes the voltage across the cell membrane by about a hundred millivolts before snapping back. The whole structure of the nervous system is built on millions of these pulses per second running across neurons that are linked together at synapses.
The pulse is not built by sending electrons down a wire the way a copper cable does. Cells are full of salt water on the inside and surrounded by salt water on the outside; the wire would short instantly. Instead, the pulse is built by charged ions moving across the cell membrane through specialised protein channels. The four ions that matter most are sodium (), potassium (), chloride (), and calcium (). The cell membrane is a lipid bilayer that ions cannot cross on their own; the protein channels are the only paths through, and the cell controls those paths.
At rest, the cell uses ATP-driven pumps to push sodium out and potassium in, building up unequal concentrations: lots of sodium outside and very little inside, lots of potassium inside and a little outside. Because each ion carries a charge, moving them around moves charge around, and at equilibrium the inside of the cell sits at a resting potential of about millivolts relative to the outside — a steady-state imbalance maintained by continuous pumping against passive leak.
The unequal concentrations store potential energy in the same way a stretched spring does. Energy gets stored as separation — chemical separation here, not mechanical. When sodium-permeable channels open, sodium ions rush in along their concentration gradient and along the electrical gradient that pulls positive charges toward the negative inside. Both gradients point the same way; the rush is fast.
The action potential is the choreographed opening and closing of those channels. The sequence is rigid. A small initial depolarisation (the inside becoming less negative) triggers sodium channels to open, sodium pours in, and the inside swings positive in a fraction of a millisecond — that is the upstroke of the spike.
Then the sodium channels close themselves automatically through a separate mechanism (inactivation) at almost the same moment that potassium channels open. Potassium flows out, taking positive charge with it, and the inside swings back negative — the repolarisation. The potassium channels are slower to close than they were to open, so the inside actually overshoots its resting value briefly and sits a few millivolts below for a moment — the undershoot or afterhyperpolarisation. Then everything resets to the resting state, ready for the next spike.
Two features of this signal matter most.
First, it is all-or-none. A depolarisation that does not reach a critical threshold (about mV in many neurons) produces no spike at all; the channels never start their cascade. A depolarisation that crosses the threshold produces a full spike, identical in size and shape every time, regardless of how far the initial push exceeded the threshold. The cell does not signal how strong the stimulus was by making bigger spikes; it signals strength by making spikes more often. This is sometimes called a digital code at the spike level, in contrast to the analog graded potentials in dendrites and at synapses where signal size does scale with input.
Second, it propagates. As one patch of membrane spikes, it pulls current from the neighbouring patch, depolarising it past threshold, which spikes in turn. The pulse moves down the axon without losing amplitude — the membrane regenerates the signal at every step. In myelinated axons the pulse leaps from one bare patch of membrane (the node of Ranvier) to the next, skipping the insulated stretches; this is called saltatory conduction and is why myelinated axons conduct fifty times faster than equivalent unmyelinated ones.
So a neuron is, viewed from this scale, a cell that converts incoming graded signals into a digital train of identical pulses and ships them down a long thin process to the next neuron. The action potential is the unit of that conversion. Every act of nervous-system communication — every twitch, every percept, every decision — runs through stacks of these pulses generated by gating proteins that flip open and shut in milliseconds.
Visual [Beginner]
The canonical picture is a voltage trace recorded from inside an axon over a few milliseconds. The trace sits flat at the resting potential of about mV, jumps almost vertically up to a peak near mV in about half a millisecond, falls back through mV in another millisecond, undershoots by ten or fifteen millivolts, and slowly returns to rest. Below the voltage trace, a second pair of curves shows the sodium conductance and potassium conductance: the sodium conductance rises first and falls quickly; the potassium conductance rises later and falls more slowly. The two together reproduce the spike.
A second useful picture is the membrane as a tiny battery in parallel with a tiny capacitor. The battery is the ionic equilibrium; the capacitor is the lipid bilayer (about one microfarad per square centimetre, a quantity Hodgkin and Huxley measured first). Charging and discharging the capacitor as ions flow through opened channels is exactly what the voltage trace records.
Worked example [Beginner]
Start with the resting cell: inside negative, outside positive, sodium concentrated outside, potassium concentrated inside, everything stable.
Step 1. A small depolarising current — say, from an excitatory synapse upstream — nudges the membrane voltage from mV up to mV, then mV.
Step 2. At mV (the threshold), voltage-gated sodium channels start opening. Each channel, when open, lets sodium ions through at a rate determined by the difference between the current voltage and the sodium equilibrium potential ( mV). The driving force is huge: sodium wants in.
Step 3. Sodium rushes in. Each ion carries one positive charge across the membrane. The capacitor charges up — toward the positive direction. The voltage rises. As it rises, more sodium channels open (this is the positive feedback that makes the spike steep). The voltage shoots from mV to mV in about half a millisecond.
Step 4. Two things stop the upstroke. First, the sodium channels inactivate themselves: a second gate inside the channel swings shut, blocking flow even though the activation gate is still open. Second, voltage-gated potassium channels — which respond more slowly to the depolarisation — open. Potassium starts flowing out.
Step 5. Potassium pours out, carrying positive charge to the outside, repolarising the cell. The voltage drops back through zero, then back to , then briefly past it. Why the overshoot? The potassium channels close slowly, so they keep letting potassium out for a few milliseconds after the voltage hits the resting value. The cell sits at about mV (the potassium equilibrium potential) until the potassium channels finally close.
Step 6. Sodium pumps and potassium-channel closure restore the resting state. The cell is now ready for another spike, except that for a millisecond or two the sodium channels are still inactivated and cannot reopen — this refractory period is what enforces a maximum spiking rate and forces the action potential to propagate forward rather than backward along the axon.
What this tells us: the action potential is a stereotyped sequence of channel openings and closings, choreographed by the voltage itself, that uses stored chemical energy (the unequal ion distributions maintained by pumps) to push a millivolt-scale electrical pulse cleanly along an axon. Nothing about the spike is mysterious once you accept that the membrane has channels and the channels know how to respond to voltage.
Check your understanding [Beginner]
Formal definition [Intermediate+]
The membrane of a neuron separates two aqueous compartments with different ionic compositions. For the squid giant axon studied by Hodgkin and Huxley, typical intracellular concentrations are mM, mM, mM, mM; extracellular concentrations are mM, mM, mM, mM. These ratios are maintained by the Na+/K+ ATPase pump at a metabolic cost of roughly one ATP per three sodium ions extruded.
The membrane potential is the voltage across the bilayer, conventionally with respect to the outside as ground. At rest in a mammalian neuron, mV.
The Nernst equilibrium potential for an ion species with charge and concentrations , is the value of at which the electrical force on exactly cancels its chemical-gradient force, so the net flux of through a permeable membrane is zero. From the canonical-ensemble Boltzmann factor 11.04.01 pending applied to an ion in either compartment at temperature — the probability ratio of finding the ion at electrochemical potential vs equals the Boltzmann factor — equilibrium requires , giving
where is the gas constant, is Faraday's constant, and we have rewritten in molar units (, ). At K (mammalian body temperature), mV and mV. The typical equilibrium potentials computed from squid concentrations and body temperature are mV, mV, mV, mV.
When the membrane is permeable to several ions simultaneously, the resting potential is set not by any single Nernst potential but by a permeability-weighted combination. The Goldman-Hodgkin-Katz equation for the resting potential under the constant-field assumption is
where is the permeability of the resting membrane to ion species . At rest, , so sits close to the potassium Nernst potential. During the upstroke of an action potential the sodium permeability rises by orders of magnitude and swings toward the sodium Nernst potential. The peak of the spike approaches but typically does not reach it — repolarising potassium current and sodium inactivation kick in first.
The membrane is treated electrically as a parallel combination of a capacitor (the lipid bilayer, with specific capacitance μF/cm²) and ionic conductances in series with their respective batteries. Kirchhoff's current law at the inner membrane face gives
where is the conductance per unit area of ion and is any externally injected current. The signs are set so that an ionic current is positive when it flows from inside to outside (i.e., the conventional current direction for cations leaving the cell), which makes the right-hand side a driving force multiplied by a conductance in the natural way.
The Hodgkin-Huxley model specialises this to the squid giant axon with three currents — voltage-gated sodium, voltage-gated potassium (the delayed rectifier), and an unspecified leak [Hodgkin & Huxley 1952]:
with maximum conductances and reversal potentials , , chosen to fix the resting potential. The dimensionless gating variables obey first-order kinetics
with empirical voltage-dependent rate functions that Hodgkin and Huxley fit from voltage-clamp data on the squid axon. The interpretation: is the sodium activation (probability that an activation gate is open; the channel needs three of them, hence ), is the sodium inactivation (probability the inactivation gate is open), and is the potassium activation (the potassium channel needs four open gates, hence ). The full state of the system at any time is the four-tuple , and Hodgkin-Huxley's equations are a four-dimensional flow on this domain.
Counterexamples to common slips
- The resting potential is not the Nernst potential of any single ion in general. It is the GHK-weighted average of the relevant ions' equilibrium potentials, weighted by membrane permeabilities. It sits closest to because dominates at rest, but it is not equal to it; the difference is exactly what the Na+/K+ ATPase has to compensate for.
- The all-or-none principle is a property of the spike once threshold is crossed, not of the entire response. Subthreshold depolarisations are graded and decay; only the regenerative part above threshold is stereotyped.
- is the conductance per unit area, not the conductance of a single channel. A single channel is a stochastic gate flipping open and shut; is the population-averaged conductance, justified at the macroscopic scale by the law of large numbers across thousands or millions of channels per square micron.
- The action potential does not "carry" charge from one end of the axon to the other. The ions that enter at one location stay near that location; the action potential is a regenerative wave in which the local ionic transients reignite the same transients in the neighbouring patch. The signal propagates; the matter does not.
- The Hodgkin-Huxley model is non-relativistic, non-quantum, classical. The metalloprotein chemistry inside individual ion channels is genuinely quantum-mechanical (selectivity-filter coordination chemistry, partial-charge interactions); the macroscopic channel-population description averages this out and treats the channel as a stochastic gate with phenomenological rate constants.
Key theorem with proof [Intermediate+]
Theorem (Nernst equation from the canonical ensemble). Let an ion species with charge be distributed between two compartments at temperature , separated by a membrane permeable to but to no other species. Let the inside compartment be at electrical potential and the outside at , with . At thermodynamic equilibrium, the ratio of concentrations satisfies , equivalently
Proof. At fixed , the canonical ensemble 11.04.01 pending gives the probability density for an ion in a small volume around position as proportional to where and is the single-ion energy at . Inside each compartment the energy is dominated by the local electrostatic potential, so the ion density on the inside is and on the outside , with the same proportionality constant (the ion is the same species, the kinetic-energy integral over momenta cancels). The concentration ratio at equilibrium is therefore
Taking logarithms and rewriting in molar units via and :
The proof exploits exactly two pieces of structure: the canonical-ensemble Boltzmann factor (the entire stat-mech foundation of 11.04.01 pending) and the fact that the membrane lets one species cross so equilibrium for that species can be reached. When the membrane is permeable to multiple species, no single-species equilibrium can be achieved (Donnan equilibrium notwithstanding); the steady-state membrane potential is then set by the GHK equation rather than by any one Nernst potential.
Corollary (driving force). The current per unit area carried by ion across a membrane patch with conductance is , with called the driving force.
The driving force vanishes when , which is the operational meaning of the Nernst equation: the equilibrium potential is the value of at which the ion- current changes sign and the channel- flow rate is zero on average. Above , the channel carries current of one sign; below, of the other. This makes voltage-clamp identification of ion species across a current trace unambiguous: identify the species such that the current reverses when the clamped voltage is set to .
Worked example at intermediate level: the resting potential from GHK
Take a model neuron with and the squid concentrations , , , , , (all in mM). At K, mV. The GHK equation gives
close to the measured resting potential of the squid giant axon ( mV; the residual discrepancy is the active contribution of the Na+/K+ pump, which is electrogenic). Notice that sits much closer to mV than to mV — exactly because is twenty-five times larger than at rest. During the spike, transiently rises by three orders of magnitude and the GHK weighted average flips its allegiance to sodium.
Exercises [Intermediate+]
Lean formalization [Intermediate+]
Mathlib does not yet cover the Hodgkin-Huxley system, the Nernst equation as a stat-mech derivation, the cable equation as a parabolic PDE on an axon, or Markov-state channel models. The closest layers are:
Mathlib.Analysis.ODE.PicardLindelof: existence and uniqueness for ODEs satisfying a Lipschitz condition.Mathlib.Analysis.ODE.Gronwall: the Grönwall inequality.Mathlib.MeasureTheory.MeasurableSpace.Basicand the Markov-chain infrastructure: provide the formal foundation a future single-channel patch-clamp model would build on.
There is no Mathlib definition of "ionic current across a membrane", "Hodgkin-Huxley four-variable system", or "Nernst equation". The formalisation pathway from the existing ODE layer through to a verified HH spike is laid out in lean_mathlib_gap in the frontmatter; the load-bearing primary gap is the Nernst derivation, which depends on stat-mech infrastructure that Mathlib has only in fragments.
lean_status: none reflects this. Tyler's review attests intermediate-tier correctness pending external biophysics reviewer recruitment per BIOLOGY_PLAN.md §7.
Full Hodgkin-Huxley analysis: the spike as a limit cycle in [Master]
The Hodgkin-Huxley system defines a smooth flow on governed by the four-dimensional autonomous ODE
with empirical rate functions that Hodgkin and Huxley fit from voltage-clamp data on the squid giant axon at C [Hodgkin & Huxley 1952]. The phase space 02.12.01 is bounded ( stays in a finite range under any biophysical operating regime; are confined by the kinetics themselves), and the flow is smooth, so the Picard-Lindelöf theorem guarantees existence and uniqueness of trajectories from any initial condition.
At constant external current , the four-variable system has either (i) a unique stable equilibrium (the resting state, for low ); (ii) a stable limit cycle (the repetitive-spiking regime, for above a critical value); or (iii) bistable coexistence of both attractors over a narrow window. The classical squid-axon parameters place the transition from (i) to (ii) at μA/cm² for the standard Hodgkin-Huxley constants.
The transition is a Hopf bifurcation 02.12.17 in the four-dimensional system. As crosses the critical value , a pair of complex-conjugate eigenvalues of the Jacobian at the equilibrium crosses the imaginary axis from left to right; the equilibrium loses stability and a limit cycle is born. The bifurcation is subcritical for the classical HH parameters (the limit cycle exists just below and is initially unstable, becoming stable through a fold-of-cycles bifurcation slightly below ), which is why the spike onset is sharp and there is a narrow bistability window: small noise can flip the cell between the silent and the spiking states near threshold. Izhikevich (2007) classifies excitable systems into Type I (saddle-node-on-invariant-circle bifurcation, smooth firing-rate onset from zero) and Type II (Hopf bifurcation, firing rate onset at a finite minimum); the HH squid-axon model is Type II in this classification, and many cortical neurons are Type I.
The four-dimensional flow inherits its richness from the time-scale separation between / (fast, milliseconds) and / (slower, several milliseconds). Reducing to the slow subsystem by averaging the fast dynamics gives a two-dimensional slow flow on that captures the spike-train modulation; reducing instead by adiabatic elimination of (slaving to its instantaneous steady-state ) and combining with into a single recovery variable produces the FitzHugh-Nagumo system [FitzHugh 1961]
a planar caricature of HH that is geometrically tractable while keeping the essential features: a cubic fast nullcline with a region of negative differential conductance (the regenerative-excitability mechanism), a linear slow nullcline whose intersection with the cubic determines the equilibrium and the bifurcation, and an time-scale separation that makes the limit cycle a relaxation oscillation — fast jumps between the outer branches of the cubic punctuated by slow transits along them. The relaxation-oscillation analysis is precisely the Liénard / Van der Pol theory 02.12.14 adapted to the FN-form nonlinearity, with the Hopf bifurcation in playing the role of the bifurcation in the Van der Pol parameter. The Morris-Lecar model (Morris-Lecar 1981 Biophys. J. 35, 193-213) is a planar HH-like model for muscle that admits both Type I (saddle-node-on-invariant-circle) and Type II (Hopf) excitability regimes depending on the calcium-activation steepness, and is the cleanest pedagogical setting in which to see the bifurcation classification.
Single-channel biophysics from patch-clamp [Master]
The voltage-clamp data of Hodgkin and Huxley measured the macroscopic membrane current through populations of millions of channels; the 1976 patch-clamp recordings of Neher and Sakmann [Neher & Sakmann 1976] resolved the individual channel as a discrete molecular gate flipping open and shut. A single voltage-gated sodium channel at a clamped depolarisation opens for a few hundred microseconds at a time, then closes again, with a single-channel conductance - pS that is the same from opening to opening and the same across channels. The macroscopic conductance is the channel density times the open probability times :
For HH, and or . The single-channel measurement directly resolves and (by counting channel openings) , separating the two factors that the macroscopic conductance lumps together.
Open-time and closed-time distributions of patch-clamp records show that the gating dynamics is governed by a continuous-time Markov chain on a finite state space — typically four or five states for the sodium channel: three or four closed states with state-dependent voltage-dependent rate constants, plus an inactivated state accessible only from the open state and recovering slowly. The Hodgkin-Huxley form is approximately reproduced by this Markov chain in the limit where the three closed-to-open transitions have the same voltage dependence, and where the inactivation gate operates independently of activation (the factorisation hypothesis). High-resolution single-channel data show systematic deviations from : closed-state durations are not exponentially distributed (multi-state structure); inactivation depends on the open-state occupancy (a non-factorisable form); and recovery from inactivation goes through multiple intermediate states. The modern conductance-based model is Markov-chain-based throughout (Patlak 1991 Physiol. Rev. 71, 1047-1080; Vandenberg-Bezanilla 1991 Biophys. J. 60, 1511-1533).
The connection to the macroscopic deterministic flow runs through the law of large numbers for finite-state continuous-time Markov chains: the fraction of channels in each state converges, as the channel count grows, to the deterministic occupancy obeying the corresponding deterministic ODE. At physiological channel densities (thousands per square micron in squid axon) the deterministic limit is excellent and Hodgkin-Huxley is well-justified; at low densities (sparse dendritic distributions, single-vesicle release at synapses) stochastic effects matter and conductance-based stochastic simulation algorithms (Gillespie-style for the chain transitions) become necessary (Skaugen-Walløe 1979 Acta Physiol. Scand. 107, 343-363; Fox 1997 Biophys. J. 72, 2068-2074; Goldwyn-Shea-Brown 2011 PLoS Comput. Biol. 7, e1002247).
Active propagation along the axon: the cable equation with HH currents [Master]
Subthreshold spread of voltage along an unmyelinated axon obeys the passive cable equation , with membrane time constant and length constant , derived from Kirchhoff's current law on a cylindrical conductor. The equation is parabolic; signals diffuse, decay exponentially with distance over a scale , and the membrane acts as a low-pass filter. For squid axon (, , , radius μm) the passive length constant is mm and the time constant ms.
Adding the HH ionic currents on the right-hand side gives the active cable equation
a reaction-diffusion PDE in which the diffusion term spreads voltage passively along the axon and the local reaction term regenerates the spike at each location. Hodgkin and Huxley used this equation, with the HH ionic currents, to predict the propagation velocity of the squid action potential from voltage-clamp data alone — about m/s — in agreement with the directly measured value, without fitting any free parameter to the propagation experiment [Hodgkin & Huxley 1952]. The agreement is one of the canonical predictive successes in twentieth-century biology.
Myelinated axons replace the continuous active membrane with discrete nodes of Ranvier (active patches, with high channel density) separated by myelinated internodes (passive insulating sheaths, with low capacitance per unit length and high transverse resistance). The voltage at one node spreads passively along the internode — fast and almost lossless — and triggers regeneration at the next node. The conduction velocity in a myelinated axon scales linearly with diameter () rather than as the square root () of an unmyelinated one, the geometric origin of the fifty-fold speedup at fixed axon diameter. Back-propagation of action potentials into the dendritic tree (Stuart-Sakmann 1994 Nature 367, 69-72) couples the spike output back to dendritic computation and is a central element of synaptic plasticity in cortical pyramidal neurons.
Calcium and the link to plasticity [Master]
The action potential's last act, in many neurons, is to depolarise voltage-gated calcium channels — distinct molecular machines from the sodium channels of the upstroke — and admit a brief calcium current. Intracellular calcium acts as a second messenger: it activates calcium-dependent potassium channels (driving the afterhyperpolarisation), triggers neurotransmitter release at presynaptic terminals (the link to synaptic transmission 17.07.04 pending), and engages calcium-dependent signalling cascades that, on longer timescales, alter the strength of individual synapses. The action potential is therefore not only an information-bearing pulse but also a calcium-delivery event whose calcium load encodes information about firing rate and recent firing history, with consequences for learning and memory through long-term potentiation and depression at the synapses contacted by the spiking neuron.
Modern conductance-based models embed HH-style sodium and potassium currents in a richer ionic-current ensemble: low- and high-voltage-activated calcium currents, calcium-dependent potassium currents (BK and SK), HCN (hyperpolarisation-activated cation) currents, A-type potassium, and others — each with its own gating variables and voltage / calcium dependence. The dynamical-systems machinery developed for HH extends naturally to these higher-dimensional flows, and the bifurcation classification (Type I vs Type II, regular spiking vs bursting, the various codimension-two bifurcations on parameter planes) is the organising scheme for understanding how the diverse firing patterns of real neurons are generated.
Connections [Master]
Nernst equation and the canonical ensemble
11.04.01pending. The action-potential unit is the densest biological application of the canonical-ensemble Boltzmann factor: every equilibrium potential is a stat-mech equilibrium calculation, and the GHK extension is the multi-species generalisation. The reciprocal hook from11.04.01pending back to here is proposed; this unit consumes the canonical-ensemble result as a load-bearing primitive.Maxwell's equations
10.04.01pending. The membrane is a capacitor; the ionic currents are charge transport; the propagating spike is a current pulse with an associated extracellular field. Treating the action potential as a problem in classical electromagnetism on a cellular geometry is the route by which Maxwell's equations enter cellular biology. The cable equation is the relevant simplification — quasi-static (no radiation), one-dimensional (cylindrical symmetry of the axon), with the membrane providing the boundary condition.ODE phase space
02.12.01. The HH four-variable system is one of the most-studied examples of an autonomous flow on a four-dimensional phase space; every classical statement about flows, vector fields, and integral curves applies. The spike is a limit cycle, the resting state is a stable equilibrium, the threshold is a separatrix (in the planar reduction).Limit cycles and Liénard / Van der Pol
02.12.14. The reduction of HH to FitzHugh-Nagumo produces a Liénard-type planar system whose limit cycle is the spike. Relaxation-oscillation asymptotics in the singular limit give analytic expressions for the period and the spike shape.Bifurcation theory
02.12.17. The transition from silence to repetitive firing as varies is a codimension-one bifurcation — supercritical or subcritical Hopf in HH and most Type II neurons; saddle-node-on-invariant-circle in Type I. The bifurcation classification organises the diverse firing patterns of biological neurons.Ion-channel chemistry
15.13.02pending (pending — chem §15 not yet built). Each gating variable of HH is a phenomenological summary of the channel's molecular conformational dynamics; the chem-side unit on ion-channel structure and the selectivity-filter coordination chemistry is the level-below substrate.Membrane structure and transport [17.02] (pending). The lipid bilayer's impermeability to ions and the role of integral membrane proteins as the only paths through is the structural prerequisite for everything in this unit.
Cell signalling and calcium
17.07.04pending (pending). The action potential's calcium load drives second-messenger cascades that connect membrane excitability to gene expression and synaptic plasticity.Systems neuroscience
18.05.02pending (pending — bio §18 not yet built). The action potential is the atomic unit of nervous-system signalling on which the integrated-physiology side builds synaptic transmission, neural circuits, and behaviour.Phil of mind on the neural substrate
20.06.01pending (pending — phil §20 tiered units not yet introduced). The cellular-molecular foundation of cognition: whether neural computation reduces to action-potential trains is the substrate-side of the question phil-of-mind formulates abstractly.Translation
17.05.03pending. Voltage-gated ion channels are membrane proteins produced by translation; their density at the axon membrane depends on translation rates and trafficking efficiency. Conversely, action potentials consume ATP (for Na+/K+ pump activity), and the energy budget of a neuron is dominated by the cost of translation to replace ion channels and synaptic proteins. The action potential and translation are thus linked through the cell's energy budget: each spike has a downstream translational cost.
Historical & philosophical context [Master]
The action potential's modern theory comes out of a roughly seventy-year experimental program from Bernstein's 1902 Untersuchungen zur Thermodynamik der bioelektrischen Ströme [Bernstein 1902] — which proposed that nerve membranes are selectively permeable to potassium at rest and lose that selectivity during activity — through to the molecular cloning of the sodium channel in 1984 (Noda et al. Nature 312, 121-127) and the structural biology of voltage-gated channels at angstrom resolution from the early 2000s onward (the MacKinnon laboratory's crystal structures of bacterial voltage-gated potassium channels — KcsA in 1998, KvAP in 2003 — earned MacKinnon the 2003 Nobel Prize in chemistry).
The decisive midcentury step was the Hodgkin-Huxley voltage-clamp program at Plymouth Marine Laboratory and Cambridge from 1939 (interrupted by the war) through 1952 [Hodgkin & Huxley 1952]. With Bernard Katz, they developed the voltage clamp on the squid giant axon (the squid giant axon being usable as an experimental system was itself a discovery, by Young in 1936), separated the sodium and potassium currents by ionic substitution and pharmacological blockade, fit the empirical rate functions of from voltage-clamp records at various clamped potentials, and showed that the resulting four-variable ODE system predicts the spike shape, threshold, refractory period, and propagation velocity quantitatively. The 1952 series (five papers in Journal of Physiology volumes 116 and 117) is one of the cleanest predictive successes in twentieth-century biology: a model fit to one experiment (voltage-clamp current-voltage relations) predicted, with no free parameters, the outcome of an independent experiment (propagation velocity of an action potential along an unclamped axon). Hodgkin, Huxley, and Eccles shared the 1963 Nobel Prize in physiology or medicine.
The patch-clamp technique developed by Neher and Sakmann in Göttingen from the mid-1970s onward [Neher & Sakmann 1976] resolved single-channel openings as discrete electrical events, opening the molecular and statistical biology of channel gating as a tractable experimental field. Neher and Sakmann shared the 1991 Nobel Prize in physiology or medicine. The structural biology of channels in the 2000s (MacKinnon's KcsA, KvAP, and subsequent voltage-gated sodium-channel structures from Catterall and others) closed the loop between Hodgkin and Huxley's empirical kinetic constants and the atomistic motion of the channel protein: the S4 voltage sensor's charged arginine residues move outward across the membrane under depolarisation, mechanically opening a hydrophobic gate at the cytoplasmic end of the pore.
The Hodgkin-Huxley framework is more than a model of a specific cell. It is the canonical example of how empirical kinetic constants fit at the macroscopic scale predict the dynamics of an excitable cellular system, the cellular-biology analog of phenomenological transport coefficients in stat-mech-of-fluids. The success of the framework — its quantitative agreement with the experimental spike from voltage-clamp data alone — is also a benchmark against which all later mechanistic models of cellular dynamics are calibrated. The price of the success is that the model is phenomenological: are not physical positions of any specific molecular gate; they are dimensionless population averages with the structural origin only inferred. Patch-clamp and structural biology have since identified the molecular meanings, vindicating the inference in broad outline while showing where the four-variable phenomenology breaks down in detail.
Bibliography [Master]
Primary literature.
Hodgkin, A. L. & Huxley, A. F., "A quantitative description of membrane current and its application to conduction and excitation in nerve", J. Physiol. 117 (1952), 500–544.
Hodgkin, A. L., Huxley, A. F. & Katz, B., "Measurement of current-voltage relations in the membrane of the giant axon of Loligo", J. Physiol. 116 (1952), 424–448.
Hodgkin, A. L. & Katz, B., "The effect of sodium ions on the electrical activity of the giant axon of the squid", J. Physiol. 108 (1949), 37–77.
Neher, E. & Sakmann, B., "Single-channel currents recorded from membrane of denervated frog muscle fibres", Nature 260 (1976), 799–802.
Goldman, D. E., "Potential, impedance, and rectification in membranes", J. Gen. Physiol. 27 (1943), 37–60.
Nernst, W., "Die elektromotorische Wirksamkeit der Ionen", Z. Phys. Chem. 4 (1889), 129–181.
Bernstein, J., Untersuchungen zur Thermodynamik der bioelektrischen Ströme, Pflügers Archiv (1902), 173–207.
FitzHugh, R., "Impulses and physiological states in theoretical models of nerve membrane", Biophys. J. 1 (1961), 445–466.
Nagumo, J., Arimoto, S. & Yoshizawa, S., "An active pulse transmission line simulating nerve axon", Proc. IRE 50 (1962), 2061–2070.
Morris, C. & Lecar, H., "Voltage oscillations in the barnacle giant muscle fiber", Biophys. J. 35 (1981), 193–213.
Noda, M. et al., "Primary structure of Electrophorus electricus sodium channel deduced from cDNA sequence", Nature 312 (1984), 121–127.
Doyle, D. A. et al., "The structure of the potassium channel: molecular basis of K+ conduction and selectivity", Science 280 (1998), 69–77.
Jiang, Y. et al., "X-ray structure of a voltage-dependent K+ channel", Nature 423 (2003), 33–41.
Stuart, G. J. & Sakmann, B., "Active propagation of somatic action potentials into neocortical pyramidal cell dendrites", Nature 367 (1994), 69–72.
Textbook and monograph.
Hille, B., Ion Channels of Excitable Membranes, 3rd ed. (Sinauer, 2001).
Kandel, E. R., Schwartz, J. H., Jessell, T. M., Siegelbaum, S. A. & Hudspeth, A. J., Principles of Neural Science, 5th ed. (McGraw-Hill, 2013).
Alberts, B. et al., Molecular Biology of the Cell, 6th ed. (Garland, 2014).
Boron, W. F. & Boulpaep, E. L., Medical Physiology, 3rd ed. (Elsevier, 2017).
Koch, C., Biophysics of Computation: Information Processing in Single Neurons (Oxford University Press, 1999).
Sakmann, B. & Neher, E. (eds), Single-Channel Recording, 2nd ed. (Plenum, 1995).
Izhikevich, E. M., Dynamical Systems in Neuroscience: The Geometry of Excitability and Bursting (MIT Press, 2007).
Dayan, P. & Abbott, L. F., Theoretical Neuroscience: Computational and Mathematical Modeling of Neural Systems (MIT Press, 2001).
Tuckwell, H. C., Introduction to Theoretical Neurobiology, vols. 1-2 (Cambridge University Press, 1988).
Wave 1 biology seed unit, produced manually 2026-05-18 (per docs/plans/BIOLOGY_PLAN.md §6 — densest cross-domain prereq node in any of the five domains; manual production with human-author judgement on cross-cite choices). Status remains draft pending Tyler's review, external mol-cell-bio + computational-neuroscience reviewer recruitment, and the §11 next-actions retro per BIOLOGY_PLAN. The cross-domain prereqs to chem §15 (ion-channel structure) and bio §17.02 (membrane transport) are pending pending-edge registration in manifests/deps.json by the integrator pass; the physics prereqs and exist as draft units pending their own shipping, and the link contract is stress-tested in real conditions per BIOLOGY_PLAN §6.1.