TY - BOOK ED - Karsten, Andrea ED - Haacke-Werron, Stefanie ID - 32394 TI - 40 Begriffe für eine Schreibwissenschaft. Konzeptuelle Perspektiven auf Praxis und Praktiken des Schreibens ER - TY - JOUR AU - Weich, Tobias AU - Guedes Bonthonneau, Yannick AU - Guillarmou, Colin ID - 32097 JF - Journal of Differential Geometry (to appear) -- arXiv:2103.12127 TI - SRB Measures of Anosov Actions ER - TY - BOOK ED - Verhulst, Pim ED - Mildorf, Jarmila ID - 49720 SN - 978-90-04-54960-9 TI - Word, Sound and Music in Radio Drama VL - 21 ER - TY - CHAP AU - Peckhaus, Volker ED - Pulte, Helmut ED - Nickel, Gregor ID - 44862 T2 - New Perspectives on Neo-Kantianism and the Sciences TI - (Neo-)Kantian Foundation of Foundations: The Göttingen Case ER - TY - CHAP AU - Böttger, Lydia AU - Mischendahl, Anne AU - Niederhaus, Constanze ED - Blumberg, Eva ED - Niederhaus, Constanze ED - Mischendahl, Anne ID - 35902 SN - 978-3-17-037202-3 T2 - Mehrsprachigkeit in der Schule: Sprachbildung im und durch Sachunterricht TI - Konzepte sprachlicher Bildung im Fachunterricht – Gemeinsamkeiten und Unterschiede ER - TY - CHAP AU - Peckhaus, Volker ED - Remenyi, Maria ED - Remmert, Volker ED - Schappacher , Norbert ID - 44861 T2 - Geschichte der Tagungen am MFO, 1944 bis 1960er Jahre TI - Die Neuformierung der Mathematischen Logik im Nachkriegsdeutschland ER - TY - GEN AU - Peckhaus, Volker ID - 37062 T2 - Neue Deutsche Biographie Deutschland Online TI - Fraenkel, Abraham A. ER - TY - CHAP AU - Peckhaus, Volker ED - Hermann, Kay ED - Schwitzer, Boris ID - 44860 T2 - Der Geist der kritischen Schule. Kantisches Denken in der Tradition von Jakob Friedrich Fries und Leonard Nelson im 20. Jahrhundert: Wirkungen und Aktualität TI - Kritische Mathematik und die Axiomatik Hilberts ER - TY - CHAP AU - Kißling, Magdalena AU - Seidel, Nadine ED - Hodaie, Nazli ED - Hofmann, Michael ID - 33429 T2 - Literatur der Postmigration: Grundzüge, Formen und Vertreter_innen TI - Vexierbilder als gegenhegemoniales Moment. Strategien postmigrantischen Erzählens bei Andrea Karimé ER - TY - GEN AB - Despite the fundamental role the Quantum Satisfiability (QSAT) problem has played in quantum complexity theory, a central question remains open: At which local dimension does the complexity of QSAT transition from "easy" to "hard"? Here, we study QSAT with each constraint acting on a $k$-dimensional and $l$-dimensional qudit pair, denoted $(k,l)$-QSAT. Our first main result shows that, surprisingly, QSAT on qubits can remain $\mathsf{QMA}_1$-hard, in that $(2,5)$-QSAT is $\mathsf{QMA}_1$-complete. In contrast, $2$-SAT on qubits is well-known to be poly-time solvable [Bravyi, 2006]. Our second main result proves that $(3,d)$-QSAT on the 1D line with $d\in O(1)$ is also $\mathsf{QMA}_1$-hard. Finally, we initiate the study of 1D $(2,d)$-QSAT by giving a frustration-free 1D Hamiltonian with a unique, entangled ground state. Our first result uses a direct embedding, combining a novel clock construction with the 2D circuit-to-Hamiltonian construction of [Gosset, Nagaj, 2013]. Of note is a new simplified and analytic proof for the latter (as opposed to a partially numeric proof in [GN13]). This exploits Unitary Labelled Graphs [Bausch, Cubitt, Ozols, 2017] together with a new "Nullspace Connection Lemma", allowing us to break low energy analyses into small patches of projectors, and to improve the soundness analysis of [GN13] from $\Omega(1/T^6)$ to $\Omega(1/T^2)$, for $T$ the number of gates. Our second result goes via black-box reduction: Given an arbitrary 1D Hamiltonian $H$ on $d'$-dimensional qudits, we show how to embed it into an effective null-space of a 1D $(3,d)$-QSAT instance, for $d\in O(1)$. Our approach may be viewed as a weaker notion of "simulation" (\`a la [Bravyi, Hastings 2017], [Cubitt, Montanaro, Piddock 2018]). As far as we are aware, this gives the first "black-box simulation"-based $\mathsf{QMA}_1$-hardness result, i.e. for frustration-free Hamiltonians. AU - Rudolph, Dorian AU - Gharibian, Sevag AU - Nagaj, Daniel ID - 50272 T2 - arXiv:2401.02368 TI - Quantum 2-SAT on low dimensional systems is $\mathsf{QMA}_1$-complete: Direct embeddings and black-box simulation ER -