3 papers
math.LO2026
FIID Coloring Random Maps
Justin Hsu, Daniel Sium, Riley Thornton
We show that the percolation components on a square grid can be -colored as a factor of iid so that neighboring components get different colors. Above the critical probability,…
cs.GT2024
Verifying Cake-Cutting, Faster
Noah Bertram, Tean Lai, Justin Hsu
Envy-free cake-cutting protocols procedurally divide an infinitely divisible good among a set of agents so that no agent prefers another's allocation to their own. These protocols…
cs.LO2024
A Categorical Approach to DIBI Models
Tao Gu, Jialu Bao, Justin Hsu +2
The logic of Dependence and Independence Bunched Implications (DIBI) is a logic to reason about conditional independence (CI); for instance, DIBI formulas can characterise CI in pr…