# The Lie Group Basis of Neuronal Membrane Architecture: Why the Hodgkin–Huxley Equations Take Their Form

## TL;DR

This paper explains why the Hodgkin–Huxley equations have their specific mathematical form by linking them to fundamental physical symmetries in ion channel dynamics.

## Contribution

It shows that the structure of the equations arises from three physical symmetries using Lie group theory, providing a theoretical foundation.

## Key findings

- Gating variables must be bounded due to the compactness of conformational state space.
- Voltage dependencies must be exponential due to scaling invariance of membrane conductance.
- Exponents must be integers and kinetics first-order due to temporal translation invariance.

## Abstract

The Hodgkin–Huxley equations have successfully described neuronal excitability for over seventy years, yet their mathematical structure remains empirically justified rather than theoretically explained. Why are gating variables bounded between 0 and 1? Why does sodium conductance depend on m3h rather than other combinations? Why does potassium depend on n4? Why do all rate functions contain exponential voltage dependencies? Why are the kinetics first-order? We demonstrate that these structural features arise naturally from three fundamental physical symmetries governing ion channel dynamics: the compactness of conformational state space, the scaling invariance of membrane conductance, and temporal translation invariance. Using Lie group theory, we show that these symmetries uniquely determine a mathematical structure in which: (1) gating variables are necessarily bounded, (2) voltage dependencies must be exponential, (3) exponents must be integers, and (4) kinetics must be first-order. The Hodgkin–Huxley equations, rather than mere empirical fits, emerge from fundamental symmetry principles. This framework establishes that neural electrophysiology obeys the same theoretical principles as modern physics, where symmetries constrain the form of dynamical equations. It further provides a principled basis for interpreting deviations from classical behavior as manifestations of additional symmetries or symmetry breaking.