3 papers
math.CO2025
Asymptotic size of the Karp-Sipser Core in Configuration Model
Arnab Chatterjee, Joon Hyung Lee, Haodong Zhu
We study the asymptotic size of the Karp-Sipser core in the configuration model with arbitrary degree distributions. The Karp-Sipser core is the induced subgraph obtained by iterat…
quant-ph2025
Quantum Physics using Weighted Model Counting
Dirck van den Ende, Joon Hyung Lee, Alfons Laarman +1
Weighted model counting (WMC) has proven effective at a range of tasks within computer science, physics, and beyond. However, existing approaches for using WMC in quantum physics o…
math.CO2025
Counting homomorphisms in antiferromagnetic graphs via Lorentzian polynomials
Joonkyung Lee, Jaeseong Oh, Jaehyeon Seo
An edge-weighted graph , possibly with loops, is said to be antiferromagnetic if it has nonnegative weights and at most one positive eigenvalue, counting multiplicities. The num…