research
A Violated Equality Reveals Which Message Could Not Have Arrived
A linear test certifies whether observed multi-agent behavior fits a declared communication schedule under explicit assumptions.
Summary
A linear test certifies whether observed multi-agent behavior fits a declared communication schedule under explicit assumptions.
For a fixed sequence of senders, recipients, message alphabets and output times, the achievable deterministic protocols are finite. This paper turns membership into a linear program and shows how a separating inequality excludes impossible behavior. Under its operational assumptions, violated equalities identify both the output statistic and the input that could not have reached the relevant agents. The result is a mathematical certificate for modeled communication schedules, not a general detector for deployed agent collusion.
Why it matters
A linear test certifies whether observed multi-agent behavior fits a declared communication schedule under explicit assumptions.
Limits and context
- Under its operational assumptions, violated equalities identify both the output statistic and the input that could not have reached the relevant agents.
- The result is a mathematical certificate for modeled communication schedules, not a general detector for deployed agent collusion.
Key claims
A linear test certifies whether observed multi-agent behavior fits a declared communication schedule under explicit assumptions.
Qualification: Under its operational assumptions, violated equalities identify both the output statistic and the input that could not have reached the relevant agents.
Evidence: source-2026-10-19-020
Sources
- arXiv preprint 2610.23631, original v1arXiv · primary research
Corrections
No corrections have been recorded for this story.