3 papers
quant-ph2026
Topology of the Set of Entangled State
Maximilian Illmer, Tim Netzer, Michael Wolf +1
We investigate the topology of the set of entangled bipartite density operators acting on . We start by showing that $\mathsf E…
math.LO2026
Quantifier Elimination and Invariant Theory: Applications to Quaternions, Octonions, and Other Algebras
Maximilian Illmer
We build on our previous paper \cite{constructive} by using the general method introduced there in conjunction with invariant theory. This yields quantifier elimination results for…
math.LO2025
Constructive Quantifier Elimination with a Focus on Matrix Rings
Maximilian Illmer, Tim Netzer
We give a sufficient condition for a model theoretic structure to 'inherit' quantifier elimination from another structure . This yields an alternative proof of one of the ma…