{"id":"palomar/PALOMAR-2026-09-09-000002","url":"https://github.com/Arthur742Ramos/correlated-swap-regret-lean/tree/5a3ca60f6390d88cef38c767e8952eb47c7b3dfa","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-09-09-000002-v1.json","repo":"https://github.com/Arthur742Ramos/correlated-swap-regret-lean","tags":["cs.GT","msc:91A26","msc:91A10","game-theory","swap-regret","correlated-equilibrium","lean"],"score":0,"title":"Verified external-to-swap regret reduction and correlated-equilibrium solver","trust":"high","domain":"cs.GT","source":"palomar","authors":["Arthur Freitas Ramos","David Barros Hulak","Ruy Jose Guerra Barretto de Queiroz"],"reviews":0,"subject":"cs.GT","summary":"A finite Cesaro/Markov reduction turns one external regret learner per recommendation into a quantitative swap-regret bound. Applied to the pinned regret-matching and regret-matching+ algorithm, the development proves an approximate correlated-equilibrium guarantee for actual simultaneous play, with an explicit finite stationarity term. A rational refinement and exact coordination run make the construction executable.","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"verified":true,"discussed":0,"published":"2026-09-09","reactions":{},"formalized":true,"formalizes":[{"title":"From External to Internal Regret","identifier":"https://www.jmlr.org/papers/v8/blum07a.html","relationship":"formalizes"}]}