Abstract
Combined with high-resolution atomic-level crystal structures of channel forming peptides, theory has become a powerful tool for illuminating factors influencing permeation. Here, advantages and limitations of the more familiar continuum and molecular modeling techniques are briefly outlined. These methods are applied to issues of permeation in two different channel families: gramicidin and K+ channels. Using structural data, theory provides verifiable atomic-level insights into permeation dynamics, channel conductance and molecular selectivity mechanisms. Not only can theory confirm experimental inference, it can also sometimes provide structural perspectives in advance of experiment.