Update mathematical expressions in match_transport.md

[enzodipasquale]

No description provided.

[netlify]

✅ Deploy Preview for lustrous-melomakarona-3ee73e ready!

Name	Link
🔨 Latest commit	28402eb
🔍 Latest deploy log	https://app.netlify.com/projects/lustrous-melomakarona-3ee73e/deploys/69cd068d98b6230008259105
😎 Deploy Preview	https://deploy-preview-317--lustrous-melomakarona-3ee73e.netlify.app
📱 Preview on mobile	Toggle QR Code... Use your smartphone camera to open QR code link.

---

To edit notification comments on pull requests, go to your Netlify project configuration.

[mmcky]

I've reviewed the mathematical fix in this PR and confirm it is correct.

The original proof had two bugs:

1. Wrong alpha formula: The original alpha = (|x-y| + |x'-y|) / (|x-y'| - |x'-y|) is not generally in (0,1). A quick check with x=0, x'=2, y'=5, y=6 gives alpha = 10, and the denominator can even be zero.

2. Reversed convex decomposition: The original wrote |x-y| and |x'-y'| as combinations of |x-y'| and |x'-y|, but the proof needs the opposite direction -- expressing the crossed distances as combinations of the uncrossed ones -- so that strict concavity of h yields the desired inequality.

The fix is sound:

• The new alpha = (|x-y'| - |x'-y'|) / (|x-y| - |x'-y'|) simplifies to (x'-x) / ((y-y') + (x'-x)), which is always in (0,1).
• The convex combination identities hold and are verified algebraically.
• Applying strict concavity of h and adding the two resulting inequalities correctly yields h(|x-y'|) + h(|x'-y|) > h(|x-y|) + h(|x'-y'|), proving uncrossing strictly reduces cost.

The presentation is also improved by breaking the final inequality chain into clear, individually justified steps.

[mmcky]

thanks @enzodipasquale for this update.

It looks great. We really appreciate the review and feedback.

Thanks @thomassargent30 and @HumphreyYang for approvals and feedback.