Type-D ASEP Tracy-Widom Marginals
Prior state unknown→proved
Do the one-species current marginals of type-D ASEP have the predicted Tracy-Widom long-time asymptotics despite the model's two-species interactions?
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review