Nota: a pergunta foi editada, já que a resposta de Stan aborda o que é efetivamente uma pergunta diferente:
Alguém conhece algum algoritmo ou pode explicar matematicamente como o brilho (EV) é executado no pós-processamento? Ele ajusta o nível de brilho / RBG / contraste para cada pixel? Está relacionado ao histograma?
Quais são os aspectos técnicos da compensação de exposição para uma imagem subexposta no pós-processamento?
Pode ser simples multiplicar todos os valores de pixel (por exemplo, brilho, contraste não é um termo que se aplica a pixels individuais) e aplicar um deslocamento. Se isso for feito após a remoção de degelo, basta multiplicar os valores vermelho, verde e azul pelo mesmo fator.
O processo de compensação de exposição é um pouco mais complexo no contexto da conversão RAW, pois os sensores de câmera são dispositivos lineares inerentes, enquanto a maioria dos conversores RAW aplica uma curva de tom não linear para tentar emular a curva S contrastante que você obtém com o filme.
Portanto, o melhor momento para fazer a compensação da exposição é antes que ela seja aplicada. Isso basicamente significa usar a função EC do seu conversor RAW, não espere até que você exporte o Photoshop, pois a curva não linear quase certamente já será aplicada até então.
A situação é ainda mais complexa, pois alguns conversores RAW * usavam perfis de cores "trançados", que fazem com que o matiz / saturação seja mapeado para diferentes valores, dependendo da intensidade. Isso é feito para produzir cores mais agradáveis à custa da precisão e pode afetar os resultados da compensação de exposição.
Alguns conversores RAW também oferecem ferramentas para recuperar destaques e aumentar as sombras. Eles fazem ajustes locais (ou seja, levam em conta muito mais do que valores de pixels individuais). Se você quiser conhecer os detalhes desses algoritmos, provavelmente terá que esperar e esperar que um desenvolvedor do Lightroom apareça aqui.
* quando digo "alguns conversores RAW", estou basicamente falando sobre o Lightroom / ACR, como esse foi o único que eu estudei, outros conversores RAW avançados provavelmente fazem o mesmo.