4 papers
Topology of the Set of Entangled State
Maximilian Illmer, Tim Netzer, Michael M. Wolf
We investigate the topology of the set of entangled bipartite density operators acting on . We start by showing that $\mathsf E…
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…
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…
A note on polynomial equations over algebras
Maximilian Illmer, Tim Netzer
We provide sufficient conditions for systems of polynomial equations over general (real or complex) algebras to have a solution. This generalizes known results on quaternions, octo…