  Sensory observations about the world are invariably ambiguous. Inference
about the world's latent variables is thus an important computation for the
brain. However, computational constraints limit the performance of these
computations. These constraints include energetic costs for neural activity and
noise on every channel. Efficient coding is one prominent theory that describes
how such limited resources can best be used. In one incarnation, this leads to
a theory of predictive coding, where predictions are subtracted from signals,
reducing the cost of sending something that is already known. This theory does
not, however, account for the costs or noise associated with those predictions.
Here we offer a theory that accounts for both feedforward and feedback costs,
and noise in all computations. We formulate this inference problem as
message-passing on a graph whereby feedback serves as an internal control
signal aiming to maximize how well an inference tracks a target state while
minimizing the costs of computation. We apply this novel formulation of
inference as control to the canonical problem of inferring the hidden scalar
state of a linear dynamical system with Gaussian variability. The best solution
depends on architectural constraints, such as Dale's law, the ubiquitous law
that each neuron makes solely excitatory or inhibitory postsynaptic
connections. This biological structure can create asymmetric costs for
feedforward and feedback channels. Under such conditions, our theory predicts
the gain of optimal predictive feedback and how it is incorporated into the
inference computation. We show that there is a non-monotonic dependence of
optimal feedback gain as a function of both the computational parameters and
the world dynamics, leading to phase transitions in whether feedback provides
any utility in optimal inference under computational constraints.
