From the 1 of 4 linked papers with an AI index.
4 papers
Unification of Quantum Graph Properties
Gian Luca Spitzer
The paper proposes a new definition of subsets of a quantum set and uses it to give unified, natural definitions of quantum graph properties such as colourings, connected component…
Going deep and going wide: Counting logic and homomorphism indistinguishability over graphs of bounded treedepth and treewidth
Isolde Adler, Eva Fluck, Tim Seppelt +1
We study the expressive power of first-order logic with counting quantifiers, especially the -variable and quantifier-rank- fragment, using homomorphism indistinguishability.…
Homomorphism Indistinguishability Relations induced by Quantum Groups
Tim Seppelt, Gian Luca Spitzer
Homomorphism indistinguishability is a way of characterising many natural equivalence relations on graphs. Two graphs and are called homomorphism indistinguishable over a g…
Quantum Graph Theory by Example
Gian Luca Spitzer, Ion Nechita
Quantum graphs have been introduced by Duan, Severini, and Winter to describe the zero-error behaviour of quantum channels. Since then, quantum graph theory has become a field of s…