10 citations · 12 across the 14 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
math.CO2026
Logical aspects of isomorphism of controllable graphs and cospectrality of distance-regularized graphs
Aida Abiad, Anuj Dawar, Octavio B. Zapata-Fonseca
We consider isomorphism of controllable graphs and cospectrality of distance-regularized graphs (which are known to be distance-regular or distance-biregular) in relation to logica…
quant-ph2026
Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras
Anuj Dawar, Nihil Shah
The Kochen-Specker no-go theorem established that hidden-variable theories in quantum mechanics necessarily admit contextuality. This theorem is formally stated in terms of the par…