Context: https://twitter.com/renepickhardt/status/1612582052636889088
If a payment going from Alice to Bob has both outbound fees (paid to Alice) and inbound fees (paid to Bob), how do you sensibly negotiate the split between those fees?
Presume first that Alice has complete knowledge about what the demand for the channel is: that is she knows a function Q(f) that perfectly predicts the payment volume that will flow through the channel for a given total fee f, so that the total fees will be f \cdot Q(f), split somehow between Alice and Bob. In that case, if we split the fees as f = a + b where Alice receives a and Bob receives b, then for any given fee b that Bob quotes, Alice can calculate her optimal fee a by solving \frac{\partial}{\partial a} a \cdot Q(a+b) = 0.
If Bob likewise has complete knowledge about the channel demand, he will make the same calculation, resulting in an even split a=b. This will usually not maximise total fees collected, instead both sides will raise their fees above the optimal level, as in doing so they get the benefit of increasing their fee but share the losses of decreasing demand with their channel partner.
For example, if Q(f) = 1000 - 100 \cdot f then f^{opt} = 5 but a^{opt} = b^{opt} = 10/3 so a^{opt}+b^{opt} = 20/3 = 4/3 \cdot f^{opt}, while Q(f^{opt})=1000/2 and Q(a^{opt}+b^{opt}) = 1000/3, so (a^{opt}+b^{opt})\cdot Q(a^{opt}+b^{opt} = 8/9 \ cdot f^{opt}\cdot Q(f^{opt}), and Alice and Bob are only receiving an equal split of fee income, but only achieving 88% of their optimal possible fee income.
Generally speaking, this is a stable outcome: while Alice may reduce a if Bob raises b, even in the new scenario, Bob remains incentivised to lower b back towards b^{opt}.
Without the assumption of perfect knowledge, this changes, of course. In that case Alice and Bob will potentially optimise against different demand predictions Q_A(f) and Q_B(f), with Alice and Bob solving respectively for
which will usually result in differing values for a and b. For example, given Q_A(f) = 1000 - 100\cdot f and Q_B(f) = 600 - 40\cdot f, this resolves to a=5-b/{2} and b = 7.5-a/2 or a=5/3 and b=20/3. Further, at those fee rates, Q_A(a+b)=Q_B(a+b)=1000/3, so channel activity alone isn’t enough for either Alice or Bob to falsify their prediction of demand: if Alice is correct, Bob will make more profit by reducing his fee encouraging more traffic; if Bob is correct, Alice will make more profit by increasing her fee, despite that resulting in a reduction of traffic over the channel.